5440 - 840. Let s = j - 204. Which is smaller: 0.24 or s?
s
Let i be (-4 - 5 - -4) + 18. Suppose m - 10 = -i. Which is smaller: m or 5?
m
Suppose -295*b - 120 = -277*b - 1362. Suppose -2*s + 40 = -98. Is b smaller than s?
False
Suppose 32*l + 4674 = 6 - 3300. Is l < -231?
True
Suppose 39*v - 432 = -4*d + 43*v, 5*d + v - 570 = 0. Which is smaller: d or 111?
111
Let t = 13 + -10. Suppose -l - 2*l = 2*w - 130, -3*w = 3*l - 135. Suppose -t*i = 10 + 2, 0 = -4*n + 2*i - l. Is -14 less than n?
True
Let y = -2298 - -2310.55. Which is smaller: y or 1?
1
Let z be -21 - -158 - (-4)/1. Let a = -31 + z. Is 111 greater than a?
True
Let z = 2/51 + 247/204. Let p(u) = u**3 - 3*u**2 + u + 3. Let v be p(3). Suppose -v = -n - 2*n. Is z greater than or equal to n?
False
Let n = 39/4 - 557/44. Suppose -t + 14 = -4*k, 1 = 5*t + 11. Which is greater: n or k?
n
Let o(w) = -9 + w**2 + 65 - 8 + 17*w. Let t be o(-17). Which is greater: t or 49?
49
Suppose -5*h + 286 = -0*h + 4*y, 2*h - 3*y = 96. Let v = -61 + h. Which is bigger: -3 or v?
-3
Let p(u) = -4*u - 71. Let j be p(-17). Which is smaller: -156/67 or j?
j
Suppose 65061 - 3746166 = 5*o. Let d = o - -18409674/25. Let q = -166 + d. Which is bigger: q or 1?
1
Let t = 1166783851 + -492385113297/422. Let d = t + 5517. Are d and 1 non-equal?
True
Let w be 6/(-15)*70/2. Suppose 0 = -71*g - 36*g - 1391. Is g greater than or equal to w?
True
Let j be (-472108)/(-252) + 2/9. Let t = j - 1894. Which is smaller: -1/3 or t?
t
Let u = 3314 + -76214/23. Suppose 0 = 3*t - 3 - 0. Do t and u have the same value?
False
Suppose -354*z - 1437 = -5685. Which is bigger: 285/2 or z?
285/2
Let u be 13779/(-11196) - 10*4/(-32). Let c(j) = j**3 - 3*j**2 + 4*j - 5. Let o be c(2). Which is bigger: u or o?
u
Let v = -11279 - -2560. Is 1 < v?
False
Let m = 401.06 - 396. Let x = -0.06 + m. Is 1/3 equal to x?
False
Let k(f) = -2*f**2 - 49*f + 67. Let d be k(-25). Let n be (393/7 - 0) + (-6)/d. Suppose x + 2*x - 3*s - 153 = 0, -2*x = 5*s - 130. Are x and n unequal?
True
Let z be (225/(-18) - -8 - -5)*4282. Is 2141 at most z?
True
Let o(m) = 54*m + 82. Let b(g) = g**2 - 11*g - 212. Let k be b(-10). Let q be o(k). Which is bigger: -29 or q?
q
Let h be (-1)/(-15) + (-303970)/4584975. Which is greater: 1 or h?
1
Let b(m) = -4*m - 6. Let p be b(-2). Suppose -32 = 3*j + 4*o, j - o = p*j + 10. Which is greater: -9 or j?
j
Let v be (-28)/(-10)*648/28. Let j be 390/(-75)*30/24*-10. Is v < j?
True
Suppose -z + 10*k - 6*k = -17, -2*z + 2*k = -4. Is -316 <= z?
True
Suppose -2*p + 10 = -4*x, -2*p + 21 + 109 = 16*x. Suppose w = 4*w + 12, -3*w + 39 = 3*b. Let n = 1 + b. Which is bigger: n or p?
n
Let w = 344 + -326. Suppose w*b + 252 = 14*b. Is b smaller than -63?
False
Suppose 7 = 3*o - 8*o - 4*x, 15 = 3*o - 4*x. Let v(b) = -b**3 - 13*b**2 - 13*b + 106. Let w be v(-11). Suppose o - 8 = -w*n. Is -8 at least n?
False
Let m be (472 - 474)*1*-1*(-903)/14. Suppose 0 = -q - 35 - 94. Is m bigger than q?
False
Suppose 0*d - 1 = -d. Suppose 52*w = 34*w - 18. Let l be 230/1380 - (w - 143/(-102)). Which is bigger: l or d?
d
Let d be 68/44 + (-12)/22. Which is smaller: d or -1/1497?
-1/1497
Let h be (-4 + 1)*3/(9/861). Let m = h - -858. Suppose -u + 3*v + 5 = 17, 16 = -u + 4*v. Is m != u?
True
Let q = -2 - -1.9. Let a = 137.64 + -216.64. Is q < a?
False
Let g = 63/40 + -4301/2680. Let k = -164 + 169. Suppose k*l + 6 = 1. Which is smaller: g or l?
l
Let g = 11 + -24. Let m = 831 - 817.9. Let c = m + g. Is c greater than 2/25?
True
Let u = -10011 + 9706. Does u = 0.1?
False
Let g(w) = 46*w + 3807. Let v be g(-34). Is v bigger than 1/4?
True
Let r = 1/72 + 277/792. Let g = -67 + 91. Let v = -24.1 + g. Are v and r unequal?
True
Suppose -79 = 4*r + 4*n + 285, 3*n - 9 = 0. Let i be ((-24)/(-10))/(1 - r/(-100)). Let l = -39 + i. Which is bigger: l or -2/23?
l
Let q = 530 - 490. Let y be 1*q/8 + -517. Which is greater: y or -511?
-511
Let u be ((-26)/8)/(((-9)/(-36))/1). Let b be 0 + -4 + (-6)/((-36)/(-6)). Is b < u?
False
Let t be ((-260)/350)/((-1)/(-65)). Let j = t - -48. Which is smaller: -29 or j?
-29
Suppose 3*l + 2*l = 0. Let n be 2584/880 - ((-891)/121 - -7). Which is greater: n or l?
n
Let n be (284886/(-918))/(((-164)/394)/(-2)). Let a = -1491 - n. Which is smaller: 1 or a?
a
Let t = 2595 - 2555. Suppose 5*l = -4*n - 4, 3*n = -5*l + 3 - 6. Suppose l = -5*u + 2*w - 5, 5*u + w = 6*w - 20. Which is smaller: t or u?
u
Let i = -594 + -4. Let b = i - -571. Is -0.08 bigger than b?
True
Let h = -4.59 - -3.87. Let j = h - -0.52. Is -191 equal to j?
False
Let f = -326/325 + 2/25. Let a = -10/29 - -11/116. Which is smaller: f or a?
f
Let g = 244 - 361. Let h = -120 - g. Let d be 1/(-4)*2*1. Which is bigger: h or d?
d
Let g = 1281 - 1282. Let a be ((-20)/(-6))/(8/372). Suppose -3*h + k - a = 0, 2*h + 2*k + 94 = 5*k. Is g greater than h?
True
Suppose 3*h + 3*m = 108, -18*h + 3*m - 75 = -20*h. Is 305/9 bigger than h?
True
Let q = -18182 + 18181. Is q at least -4/915?
False
Let n(b) = b**3 + 6*b**2 + 4*b + 1. Let i be n(-4). Let p(l) = -32*l - 41. Let w be p(-2). Suppose -2*s - w = -57. Is s equal to i?
True
Let o be 2 + -6 + 4233/391. Is o smaller than 8?
True
Let v = 2/308275 + 776544719/924825. Are 840 and v equal?
False
Let k(j) = -7*j**3 - 3*j**2 - j - 8. Let m = -65 + 66. Let r(n) = n**3 - n**2. Let p(c) = m*k(c) + 6*r(c). Let x be p(-9). Which is greater: x or 1/3?
x
Let r = 248 - 264. Let o be 66/r - (-21)/(-28). Which is smaller: o or -5?
-5
Let s(l) = -l**3 + 18*l**2 + 10*l + 16. Let r be s(18). Let c = 195 - r. Which is greater: -3.87 or c?
c
Let s = -620 - -619. Which is greater: s or 39/97?
39/97
Suppose -4*v + 0*v = 0. Let d(a) = -5*a - 46. Let x be d(10). Let m be (x/(-56))/4 + (-933)/2079. Which is smaller: m or v?
m
Suppose q - 26 = 65. Let f = q - 93. Suppose 20 = -g - 4*y, -g + 3*g - 4 = 3*y. Is g != f?
True
Let v = 5 + -11. Let q = v + 16. Let b = -101.841 - -101.741. Is q greater than b?
True
Let m = 12259 - 11810. Which is bigger: 441 or m?
m
Let t(z) = -2*z**3 - 6*z**2 - 7*z - 8. Let w be t(-3). Let c = w - 51. Do -1/3 and c have the same value?
False
Let l(b) = b**3 + 12*b**2 - 6*b - 70. Let n be l(-12). Suppose -n*o - o = 3*p + 33, o + 2*p = -10. Let z = -0.2 + 0.1. Is z <= o?
False
Let t = 71 - 33. Let r = t - 2. Suppose 0 = -10*u - r - 44. Which is bigger: -7 or u?
-7
Let p be (81/(-12))/((-9)/(-270)*18/15). Is p greater than -2/17?
False
Let p = -8138 - -1061. Which is greater: p or -7078?
p
Let q = 3709.23 - 3654. Are q and 1/3 equal?
False
Suppose -7*j = -2*j + 30. Suppose -4*n = 4*c, 2*n - 4*c = c + 21. Suppose 0 = u - 5, -2*g - n = -6*g - 3*u. Is j less than g?
True
Let d = -8303 - -5228. Let f = 3077.954 + d. Let y = f - -0.046. Is y != -2/27?
True
Let l = 170 + -3562/21. Let m = 64/21 - l. Let q be 3*(-2)/(-6) + 3. Is m >= q?
False
Let d be (-595)/(-30) + (3 - (-34)/(-12)). Which is smaller: 124 or d?
d
Let t = -10 + 5. Let p be (-35400)/5500 + (-16)/(-440). Which is smaller: p or t?
p
Let j = 55583/12 + -4647. Let q = 3768 - 11261/3. Let d = j + q. Which is smaller: 0 or d?
d
Let i = 4533.26 - -58.74. Which is smaller: i or -1?
-1
Suppose 0 = -42*f + 28*f - 462. Is -31 smaller than f?
False
Let p(l) = -l**2 + 2*l + 1. Let t be p(0). Let h be 2/25 + (-416)/3950. Is h less than t?
True
Let i = -34 + 77. Suppose i*k = 49*k + 66. Which is bigger: k or -4?
-4
Let a(h) = 64*h**2 - 3*h. Let v be a(-4). Let b be (v/42)/(2/3). Let l = b - 38. Which is smaller: l or -7/4?
-7/4
Let c = 67 - 47. Let b be (10/c)/((-4)/(-16)). Is b greater than or equal to -1?
True
Let s(z) = z**3 - 21*z**2 - 5*z + 73. Let c be s(20). Let p = c + 277. Is p at least as big as -149?
False
Suppose -2*s + 35 = -n, -4*s - 2 + 81 = -5*n. Suppose z + 0*x - 10 = 3*x, 2*x + s = 3*z. Let w = 2.655 - 10.655. Which is greater: w or z?
z
Suppose 22112 = -a + 3*q - 6484, 2*a - 4*q = -57176. Which is bigger: -28573 or a?
a
Let u be (2 + (3 - 4))*-23. Let x = u - -33. Let z be 5/(-3) + x/15. Is -4 at most as big as z?
True
Let v(s) = 116*s + 366. Let y(c) = -77*c - 244. Let k(f) = -5*v(f) - 7*y(f). Let d be k(-4). Does d = 130/3?
False
Suppose 9 = 5*m + 5*x + 14, -3*m = x + 1. Suppose 0 = 23*i - 19*i - 3*j - 166, m = i + 5*j - 53. Is 43 greater than i?
False
Let t(h) = -h**3 - 6*h**2 - 4*h - 