Let o be f(5). Let s be o*30/(-444) + 0. Which is bigger: -2 or s?
s
Let t = -21.2 - -26.2. Suppose -2*g = -4*s - 32, -12*g + 14*g - 50 = -2*s. Which is smaller: t or g?
t
Let w = -7811 - -46759/6. Let u = w - -374/21. Is u > 0?
False
Suppose 5*d = 3*d - 2*y - 128, -5*y + 88 = -d. Let i = d + 106. Let b = i + -49. Are -68/7 and b non-equal?
True
Let a be 10/27 - 3/9. Let i(c) = 4*c**3 - 5*c**2 + c - 5. Let q be i(4). Let p = 175 - q. Is p less than a?
True
Let y = 1/1452 - 451577/7260. Let s = 64 - 2. Let n = s + y. Which is smaller: 1 or n?
n
Let k = 3255.7 - 3556. Let t = -301 - k. Suppose 3*r - 3*b = 9, 0*r + r + 3*b - 7 = 0. Which is smaller: t or r?
t
Let g be (5 - 7)*-1 + 3*(-3471)/(-9). Which is bigger: g or 3473/3?
g
Let d = -7.466 - 5.534. Which is smaller: d or -94?
-94
Let v = 11679 - 408802/35. Do 0 and v have the same value?
False
Let t = 66 - 66.058. Let h = 0.358 + t. Which is smaller: h or 7/5?
h
Let g = -3446 - -2883. Is 0 greater than or equal to g?
True
Let t be -1*(-8)/(-56)*(-10 + 3). Which is smaller: t or -36/275?
-36/275
Let i be (2/(4/(-134)))/(-5 + 4). Is i greater than or equal to 69?
False
Let s = 15996022/612459 + -2/36027. Which is smaller: s or 27?
s
Suppose 52*t - 1791 = -127*t - 20*t. Which is smaller: 618/73 or t?
618/73
Let x = 6008/2495 + -4/499. Which is greater: 1 or x?
x
Let p(g) = g**3 + 11*g**2 - 57*g - 26. Let c = 112 + -127. Let x be p(c). Which is smaller: x or -69?
x
Let n be 5 - (79170/10)/(-13). Is 613 less than n?
True
Let m = 3036 - 4944. Are -1908 and m equal?
True
Let r = -206 - -200. Let p be ((-5247)/(-22))/(-3)*1/r. Which is smaller: p or 13?
13
Let u(r) = -r**3 - 16*r**2 - 13*r + 27. Let q be u(-15). Let a be (207/(-21))/((-20)/14). Let d = 7/2 - a. Is q at least d?
True
Let z be -7 + 4 - (-97 - -94). Which is smaller: z or 1/54127?
z
Let l = -242.6 - -247. Let v = 1.5 + -6. Let a = l + v. Which is smaller: 1/7 or a?
a
Suppose 3*w = 4*m + 13, 5*w - 8 - 12 = 5*m. Let o be (-2 - m)/(0 + (-328)/38384). Let v = o + -117. Which is bigger: v or 1?
1
Let d = 0.03716 - -30.96284. Which is greater: d or -154?
d
Let k be 203/11 + 306/561. Suppose 798 = k*s + 2*s. Is s bigger than 4?
True
Let d be 8*(50/(-255))/(8/3). Suppose -8*y + 6 = -14*y. Are y and d unequal?
True
Let i be (17 - (-7 - (-14 - 1)))/(5 - 2). Let r be ((-1)/(-2))/(1/8). Suppose -z + 10 = z, i*z - 27 = r*q. Is -3 equal to q?
True
Let i(c) = -c**2 - 17*c + 141. Let o be i(-23). Suppose -30*l + 33*l = -f + o, -l - 3*f = -9. Which is greater: 1/301 or l?
1/301
Let o = -585 - -294. Let r = 290.9 + o. Let y = 523 + -1549/3. Is r < y?
True
Let s be ((-3)/(-27) - (-21025)/1044)*12. Is 233 bigger than s?
False
Let q = -8657/3345 - 8/669. Let d = -4 + 9. Suppose 5*w + 5*a + 14 = 2*w, -d = 5*a. Which is greater: q or w?
q
Suppose 5*p - 43 = t, -6*p - 4*t + 17 = -5*p. Let v be (-4)/(3/p*(-1)/(-13)). Is v at most -155?
True
Let b = -1.95 + -0.05. Let z be ((-7)/147)/(4/(-210)). Which is greater: b or z?
z
Suppose 3*j = 6*j + 6. Let f be -1 + (-50)/j - 4. Let z be 3/f*10/(-12). Do z and -1 have the same value?
False
Let a be ((-22)/55)/((-4)/(-310)). Are a and 0.13 nonequal?
True
Suppose -8*n - 47 = 49. Suppose 2 = -4*p + 58. Let d = n + p. Are d and 1 non-equal?
True
Let z be (3/2)/(24/32). Let c be (-2)/z*22 - (-16)/8. Let f be (-4)/c - (-468)/(-15). Which is bigger: -32 or f?
f
Suppose -108*b - 66*b + 86966 - 532232 = 0. Which is bigger: -2562 or b?
b
Let x be ((-8)/8*8 - -15)*(-6)/(-42). Which is smaller: x or -1/10477?
-1/10477
Let v be (526/2367)/(1/180). Does 40 = v?
True
Suppose 9*q - 6 = 5*q - d, -5*q + 3 = -d. Which is smaller: 1/212 or q?
1/212
Let p be (-13 - -104)/91 - ((-372)/(-10) + 0). Suppose -2*z - x = -6*z - 148, -74 = 2*z + 4*x. Which is smaller: p or z?
z
Suppose -a + 3*a = 8, 0 = 5*o - 4*a - 9. Suppose -o*x + 44 = 119. Let q be (-5)/((-5)/2) + 36/x. Is 0.4 greater than q?
True
Suppose 0 = -7*w + 5*w + 4104. Let k be w/(-2060) + 3 + -2. Is k equal to -1?
False
Let n be (-17)/5 - 21/(-7). Which is smaller: -56.8 or n?
-56.8
Let n = 0.1488 - 1.1488. Which is smaller: n or 5?
n
Let l = 516.8 - 458.8. Is l smaller than 5/6?
False
Let l(p) = p**2 - 17*p + 33. Let o be l(17). Suppose -3*n - 13 = -5*f + 22, -2*f + o = -5*n. Let s be (-27)/(-99)*f/(-6). Which is bigger: s or -1?
s
Suppose 0 = 2*n - 12*n. Suppose n = -2*v + 136 - 40. Let k be v/(-24)*6/(-4). Which is smaller: 15/7 or k?
15/7
Let f = -8614 + 3075200/357. Let j(u) = u**3 - u**2 - 13*u + 21. Let g be j(2). Is g at most as big as f?
True
Let m be 65/(-195)*(0 + 1 - 1). Suppose k = -m*k + 6. Suppose 0 = -k*i + 103 + 143. Which is greater: 42 or i?
42
Let a(t) = 2*t**2 + 30*t - 144. Let i(f) = -3*f**2 - 58*f + 287. Let h(d) = -5*a(d) - 3*i(d). Let j be h(10). Which is smaller: 1/131 or j?
j
Let o be (-2)/(2535/(-1270) - -2). Is -517 equal to o?
False
Let i = -1 - -1.2. Let l = 0 + i. Let q = 10905 - 10911. Is l >= q?
True
Let g be (-10)/55 + 171/33. Suppose 6*d - 9*d - 12 = -3*b, 0 = 2*d - g*b + 20. Let j be 22/99 + (-230)/954. Which is smaller: j or d?
j
Let a(w) = 5*w**2 - 125*w - 129. Let k be a(26). Is 1/3331 at most as big as k?
True
Let o = -75.82 + 75.62. Does -2297 = o?
False
Suppose 2*y - 5*q - 480 = 0, y - 288 + 39 = -2*q. Which is greater: 981/4 or y?
981/4
Let k be (-6 - (-174)/8)/((-153)/(-36)) + -3. Is k greater than -1/89?
True
Let v = -41.934 - 0.066. Let o = v + 40.99. Let q = o - -1.03. Is q less than 2/3?
True
Suppose 25779 - 24791 = -38*v. Let u = 1 + -1. Which is smaller: u or v?
v
Let t(b) = b + 1. Let s be t(0). Let o be 24/144*(-126)/(-854). Which is smaller: o or s?
o
Let b = -157750/7 + 2012574493/89306. Which is greater: b or 0?
0
Let k be (12/8 - 3) + 10/(-4). Let o be (k*(-2)/(-1))/(-2). Suppose 28 = 4*f - v, 0*f + 21 = 3*f + o*v. Is f greater than 8?
False
Suppose -j = 2*m + 1032 + 96, 2*m = -8. Which is smaller: j or -1125?
-1125
Suppose -248*c + 31 = -229*c + 126. Is c at most 205?
True
Let f = 38560 - 38559. Which is smaller: f or -4/257?
-4/257
Let i = 82.24 + 0.76. Let o = 62 - i. Let g = o + 25. Is g > -0.14?
True
Let m = 221 + -334. Let c = -597.1 - -597. Which is smaller: m or c?
m
Let v = 84.4 + -6.4. Let k = v - 166. Does k = 1?
False
Let r be 2*-50 + 2 + -18 + 24. Let m be (-637)/14*(0 + 2). Is m at most as big as r?
False
Suppose -n + 114 = -3*t, 3*n - 3*t - 321 = -t. Suppose n = -h + q + 3*q, 3*q + 70 = -h. Which is bigger: h or -84?
-84
Suppose 240*m - 99 = 237*m. Suppose -83*j + 80*j = -m. Which is greater: j or 10?
j
Let l be (-10459)/(10/(100/165)). Let v = l + 634. Let x(w) = w**3 + 7*w**2 + 6*w + 1. Let b be x(-6). Which is smaller: v or b?
v
Let r = 0.5597 - -12.4403. Which is smaller: 52 or r?
r
Let i be 8340/(-6930) - (-96)/84. Let y = 0.048 - -22.952. Which is bigger: y or i?
y
Let f(j) be the first derivative of -3*j**4/4 + 2*j**3 + 6*j**2 + 20*j + 285. Let p be f(6). Is p at most as big as -340?
True
Let i(x) = -3*x**3 + 18*x**2 - 49*x - 4. Let s be i(4). Which is bigger: -100 or s?
-100
Let b(g) = 2*g + 13. Let l be b(-2). Let r = -8 - -13. Suppose -25 = -r*k - 0. Which is greater: k or l?
l
Let q(v) = -1520*v - 8181. Let t be q(-5). Are t and -4072/7 nonequal?
True
Let o be (-3591)/(-228)*32/28. Let m(w) = 2*w**2 + 8*w + 7. Let p be m(-5). Is o equal to p?
False
Let r(j) = -133*j - 2313. Let u be r(-17). Let g be 3/12 + (-836)/16. Let v = g + 0. Are v and u equal?
True
Let d(h) = -28*h. Let i be d(-6). Let u = 1120 - 951. Is u greater than i?
True
Let k = 463 - 1041. Let r = -10984/19 - k. Suppose 0 = h + 4*n - 1, -3*h = h + 5*n - 4. Is h != r?
True
Let u be ((-20)/(-8) - 1)*(1 - (-2785)/3). Is 1396 smaller than u?
False
Suppose -6*j + 3*j = -2*h, 0 = -4*h + j. Is h greater than or equal to 14/115?
False
Let w be (-95 - 7)/(((-24)/(-18))/4). Which is smaller: w or 4?
w
Let u(j) = 213*j - 2338. Let k be u(5). Do k and -1276 have the same value?
False
Let q be 2 + 12/1 + -5. Let i be (q/(-213))/3*-3. Is i smaller than 0?
False
Let k be -85 - -95 - (0 - 61885/(-6189)). Which is bigger: 0 or k?
k
Let m = 52 - -334. Let f = m - 388. Is 1.25 smaller than f?
False
Let h be (-3 - (1 - 4))*-1. Let t = -25336/927 - 2/927. Let n = t + 580/21. Does h = n?
False
Let t = 9/2618 - -2/77. Let o be ((-444)/272)/((-36)/(-8)). Let 