q)/(24/(-48)). Let v be (-2 + h/18)*2. Which is greater: 0 or v?
0
Let w(p) = p**3 + 52*p**2 + 11*p - 2229. Let z be w(-51). Is z equal to 2?
False
Let u(z) = z**2 + 15*z + 28. Let i = -85 - -85. Let j be u(i). Is 30 less than j?
False
Let o = -21382 - -21370. Let j(h) = -3*h - 6. Let m be j(-4). Suppose -m*y = -4*y + 28. Which is greater: y or o?
o
Let w be 52230/105 - (-4)/7. Let m = 497 - w. Is m at least 1/68?
False
Suppose -8*a + 11*a - i = -247, 0 = 2*i + 4. Let d = -82 - a. Let o = -0.4 - -0.2. Is o less than or equal to d?
True
Suppose 6*o + 3*j = 15, o + 9 = -j + 14. Is o bigger than -6/325?
True
Suppose 0 = -26*p + 24*p + 6. Suppose p*o - 12 = 6. Let x be ((-9)/o)/3*0. Is 1 less than x?
False
Let d(m) = -m**2 + 31*m - 72. Let t be d(21). Let l = 108 - t. Is l not equal to -2/19?
True
Suppose 18 = i + 4. Let v be (0 - -2)*1/(-2). Let o be v + i + 0/(-1)*1. Which is greater: 1 or o?
o
Let f = -7 + -32. Let x = f + 43. Suppose -5*q = -5*y + 225, 9*y - x*y - 4*q - 222 = 0. Is y > 41?
True
Let u(m) = 7 - 14*m + 13*m + 5. Let n be u(7). Suppose v - i = -n*i - 5, 4*i = 4*v. Is v <= -3/25?
True
Let h be (-63605)/45 + 1 + 13 + 113/(-9). Is h greater than -1419?
True
Let m = 877.623 + -878. Let i = m - -0.177. Which is greater: 97 or i?
97
Let m = -39 - 0. Let l be (((-588)/((-36)/(-6)))/(45/(-36)))/(-2). Which is bigger: l or m?
m
Let g = -6.93 - -7.014. Is 1/3 smaller than g?
False
Let s = -0.1667 + 0.2667. Do s and -36.2 have different values?
True
Let a = 2/20234020059 - -8072753493591862/6697460639529. Let f = 3616/3 - a. Are 1 and f nonequal?
True
Suppose 2*c - 67 - 25 = 2*n, 0 = 20*n - 16*n. Suppose 36 + 7 = s. Is c bigger than s?
True
Suppose 187 = 3*t - z - 208, -2*t + 266 = 2*z. Let h be (-3 - (-412)/t)/((-2)/3). Which is smaller: h or -5?
-5
Suppose 5*r + 56400 = 54920. Which is bigger: r or -295?
-295
Suppose z = 5*z - 24. Let w be 54/4*z/9. Let j be (1*((-90)/4)/5)/(555/(-925)). Is j != w?
True
Let v(u) = -3*u**2 + 66*u - 239. Let q be v(18). Which is smaller: 97 or q?
q
Suppose 0 = 3*q - 21, 18*f - 5*q + 13208 = 21*f. Is 4394 bigger than f?
True
Suppose 328*u - 333*u - 18 = -3*z, -6 = -4*u - z. Which is smaller: u or 12717?
u
Suppose 0 = -2*w - l - 1, -130*w - 4*l - 1 = -125*w. Is 8/4543 greater than or equal to w?
True
Let d = -22423 - -22423.1. Is 7/1256 at least d?
False
Let w be 30/(720/(-168))*1/(-7). Is -7/1164 greater than or equal to w?
False
Let u = 380/67 - 298769/52595. Let t = u + -48621/5495. Are t and -10 nonequal?
True
Let r(d) = -1897*d - 11381. Let b be r(-6). Is b at least as big as 140/197?
True
Let g = -33125 - -33710. Which is greater: g or 571?
g
Let i = 1389/17 - 152807/1870. Let r(h) = h**3 + 3*h**2 + 3*h + 1. Let j be r(-2). Which is smaller: i or j?
j
Let l(k) = -k**2 + 3*k + 20. Let w be l(6). Let o(g) = w*g + g + 6 - 2*g. Let n be o(-5). Is n at most 0?
False
Let r be 8/(-12) - 974/(-264). Let n be 20/165*-3*9. Let i = r + n. Which is bigger: 20 or i?
20
Let k = 291 - 429. Let t be k/7 + 2/(-7). Let a(d) = -2*d**2 - 15*d - 12. Let s be a(-8). Is t bigger than s?
False
Let g = -9352456/565257 + 2/51387. Is g bigger than -18?
True
Suppose 0 = -4*d + o, -4*d = 5*o - 2*o. Let l = -148/21 - -1297/336. Let s = l - -1629/496. Which is smaller: d or s?
d
Let u(d) = 0*d**3 - 8 - 4*d**3 - 8*d**2 + 2*d**3. Let y be u(-4). Let k(x) = -x**2 + x + 4. Let s be k(-3). Is y != s?
False
Let v(z) = 43 - 23*z - 12 + 13. Let u be v(4). Is u at most -50?
False
Suppose -4*n - 38 = -38. Let x be 20/(-30)*(-5)/(-4) + n. Let h be (-4)/(-2)*(-21)/14. Which is greater: x or h?
x
Let b = -34526.18 - -34526. Is -3/16 less than or equal to b?
True
Let d = 287 + -288. Let n be 64/(-8)*d - 9. Is -2.39 < n?
True
Let m = -19397.9327 + 19398. Which is bigger: -1/7 or m?
m
Let t be ((-6)/(-18))/(3/(-18))*(-14)/28. Does -3/172 = t?
False
Suppose 4*x - 12066 = 3*l, 4*x - 5362 = 4*l + 6710. Is 3012 less than x?
False
Let y be (338/7)/2 - 12/672*14. Are y and 23 unequal?
True
Let t = 0.10802 + -0.10642. Are t and -4 nonequal?
True
Let o = 0.16231 - 39.16231. Is 20 > o?
True
Let x = 693 + -529. Suppose 4*w = -g + 161, -4*w = 2*g + 2*g - x. Which is bigger: w or 38?
w
Let n = -171.06755 + -0.09245. Let t = n + 159. Let z = -0.16 - t. Which is smaller: z or 0?
0
Suppose 0 = 2*t - 69 + 59. Suppose 21 = 5*q + 3*j, q - 3*q + t*j = -27. Are 22 and q equal?
False
Let a be 34 + (-38 - (-4878)/1206). Let p be (-4)/(-2) - 1/1. Is a smaller than p?
True
Let k = -44.963 + -0.037. Let c = k + 57. Which is greater: 7/3 or c?
c
Let k(w) = -7*w**3 + 2*w - 1. Suppose 3*f - 9*f - 24 = 0, 5*f = -3*m - 17. Let b be k(m). Let d = 5 - 10. Are b and d unequal?
True
Let o be 1798/(-290) - 8/10. Which is bigger: o or -47?
o
Let i be 1/(-6) + 10/(-12). Let d be (-32)/14 - (-76)/266. Let f be ((-1)/(-25))/((-4)/(-2 + d)). Which is smaller: i or f?
i
Suppose -79*i + 8 = -77*i. Let m be (17/(-51))/(i/222). Which is smaller: m or -19?
-19
Let d = 137 - 69. Suppose -d*c - 6 = -70*c. Let w = -8 + 14. Is c at least w?
False
Suppose 4 = -2*o - 2*o + 3*w, 0 = o - w + 2. Suppose 86503*q = 86504*q - 5. Are o and q non-equal?
True
Let t = -22270667/122 - -182548. Which is bigger: t or 3?
3
Suppose -10202 = -178*v + 276*v + 53498. Is v greater than or equal to -646?
False
Let a = 892/1306233 + -350520318892/777208635. Let r = a + 451. Which is bigger: r or 1?
1
Suppose -7*a - 7 = -42. Suppose 12 = -0*p - 3*p - a*n, -3*n = -2*p - 8. Let f be (-5 + (0 - -4))/(p/(-3)). Do f and -0.2 have the same value?
False
Let u = -883.94 + 892.1418. Let s = 0.0082 + u. Let i = s - 8.4. Is 0.2 >= i?
True
Let m = 12519 + -10593. Which is smaller: m or 7701/4?
7701/4
Let k(p) = p + 11. Let t be k(-11). Suppose x - 115 = 3*f, 3*f + 215 = x + x. Let w be (-1)/4 - (x/35 - 3). Is t greater than or equal to w?
True
Suppose 3*k - 26 = 4*k. Let t = -0.013 - -31.013. Let m = t - 31.1. Which is bigger: m or k?
m
Let a = -638 + 638. Suppose 0 = -2*i - i + 9. Suppose -k + 3*g = -7, -i*g = -5*k - 0*k + 11. Which is smaller: a or k?
a
Let w(a) = -2*a**3 - 13*a**2 + 23*a - 28. Let v be w(-8). Let p be 116/(-200) + (-2)/(-4). Let s = p + -19/75. Is v greater than s?
False
Let s = 25553 - 76071279/2977. Which is bigger: -1 or s?
s
Suppose -2*s - 20 = 4*m - 2*m, 0 = -s - 4*m - 10. Let v be -5 + 12 + 9*s. Is -81 at least as big as v?
True
Let t(p) = -4*p + 40. Suppose -4*a - 2*n = -32, 0 = a - 6*a + 2*n + 49. Let o be t(a). Let w be (-1)/o + (-174)/(-408). Which is bigger: -1 or w?
w
Let o = 345 - 316. Is o != 375/13?
True
Suppose -593*d + 8127 = -600*d. Which is smaller: -1157 or d?
d
Let g be 24350 - (0 + 63/(-9) + 15 + -4). Is g at most 24345?
False
Let i = -262 - 64. Let j = i - -324. Which is bigger: 56 or j?
56
Let j(d) = 184*d + 709. Let y be j(-16). Which is smaller: -2237 or y?
-2237
Let u(m) = 3*m - 1903. Let n be u(-7). Is n < -1924?
False
Suppose 8*l = 72 - 16. Suppose l*z = -2*z + 180. Suppose 3*j + 5*n = -96, 2*j + n = -51 - z. Is j greater than -37?
False
Suppose 2*s + 5*b = 1221, -b = -4*s + b + 2454. Let y be 4 + (s/(-123) - (-14)/21). Does y = 0?
False
Let t be (150/495)/(4/6). Suppose 80 = 4*z + z + 4*j, 0 = -z - 3*j + 27. Let w be z/(-40)*(-8)/(-6). Is w not equal to t?
True
Let i = -0.229 + 27.429. Let l = 13.2 - i. Which is bigger: l or 0.02?
0.02
Let x = -42090 + 41776. Let u = -1066 + 751. Is u at least x?
False
Let u = -252 - -268. Let w be (u/(-6))/(-1*(-2)/(-3)). Is 21/5 < w?
False
Let y be 17 + -14 - (-304)/(-100). Let h = 4 - 22. Let p be 12/h - 4/(-6). Which is bigger: p or y?
p
Let w be 4/30*-641 - (-161)/2415. Which is greater: w or -84?
-84
Suppose -27*t + 25 = -0 - 2. Which is greater: -15/41 or t?
t
Suppose -5*o + 8 = -2. Suppose -o*d - 3*d + 470 = -3*w, -376 = -4*d + 2*w. Suppose 8*t = -d + 14. Which is greater: t or -12?
t
Let c = -167705 + 167705.1. Suppose -2*n - 14 = -r, 6*r - 34 = 4*n + r. Let u = -12 - n. Is u < c?
True
Let m be (-2)/8 + 55/44 - 2. Let f be (0/5 + 2)*1/m. Is f less than -14?
False
Let g = 301.61 - 301.31. Which is smaller: g or 1582?
g
Suppose -3*v = -4*v + h + 15, 3*h = -v + 3. Let t(w) = -w - 7. Let k be t(v). Is -1/2 bigger than k?
True
Suppose 0 = -16*a - 3*a. Let l = -931/24 - -155/4. Is l < a?
True
Let x(v) = -2*v**2 - 16*v + 23. Let t be x(-9). Let