21
Let j = -1485 - -1485.1. Let u be (0 - 1)*(-4)/404. Is u bigger than j?
False
Suppose 0 = -5*z + 5*u + 150, -4*z + u + 201 = 78. Suppose -q = 2*x - 50, -4*x + 98 = -4*q + 7*q. Which is bigger: z or x?
z
Let d = -114/5 - -12391/545. Let j be ((-10)/4)/5*(196 - 220) + -13. Which is smaller: d or j?
j
Let h be (-7 + -2)*(-5 - 0). Suppose -i - 2*b = -h + 15, -3*i + b + 111 = 0. Suppose -8*t - t = -i. Is t < 1?
False
Let j = 19492.463 + -19364.4. Let c = -0.063 + j. Which is smaller: c or 0.3?
0.3
Let g = -23 - 6. Let h = 13 + g. Let s = -13 - h. Which is greater: s or 0.09?
s
Suppose 75*u + 2484 = 21*u. Let h(x) = -5*x**2 + 2*x + 4. Let c be h(-3). Is c smaller than u?
True
Let d be 5/(184/80 + 3/15) + 624. Does 1876/3 = d?
False
Suppose -r - 39 + 40 = 0. Let k(a) = -2*a**3 + 3*a**2 - 3*a + 1. Let g be k(3). Let l be g/3*(-1)/5. Which is greater: l or r?
l
Let n = -65.056 - -65. Let i = n - 0.644. Which is smaller: i or -6?
-6
Let h be (-32)/179856*-44991 - 8. Which is smaller: 1 or h?
h
Suppose -z + 14 = 5*s, 12 = -6*s + 10*s + z. Let h be (s*39)/(-3 + (-15)/(-10)). Which is smaller: h or -49?
h
Suppose -2*g - 102 - 54 = 0. Suppose 20*q - 11*q - 1350 = 0. Suppose -4*t + 3*t + 5*y - 82 = 0, -4*y = 2*t + q. Which is smaller: g or t?
g
Let l be (-449)/(-5) + 7/35. Let z = l + -88. Let k(r) = 3*r + 3. Let d be k(0). Is z >= d?
False
Let y be 123/((-32841)/178) - 1/3*-2. Suppose -2*p - 110 = -7*p. Are p and y unequal?
True
Let d = 81.4 + -81. Let g = d - 2.4. Let p be 2 - 26/(4 - 2). Which is bigger: p or g?
g
Let p = -1.05 + -62.95. Let i be (62/12)/31*(-7 + 9). Which is greater: i or p?
i
Suppose 217*c = 133*c + 84. Which is greater: c or 13/3405?
c
Suppose -p + 1194 = -u + 385, 0 = 4*u + 6*p + 3296. Which is smaller: u or -818?
-818
Let z = -1.4 + 4.6. Let t = 1.7 - z. Let j = t - 1.5. Is 1/2 >= j?
True
Let t be ((-239)/478 - (-26)/8)*1336/(-6). Which is smaller: -611 or t?
t
Suppose 3*z - 26 = -2*l, -4*l = -6*z + z + 14. Suppose 4*s + z = -6. Let t be 30/(-105)*7/s. Is t <= -5/14?
False
Let u be 11/((-660)/(-84)) - 2/5. Let g be (-20)/(-30) - 4466/(-6). Let v = g - 19373/26. Is u less than v?
False
Suppose 9*n - 174 = -966. Let w be (-3 + 1935/646)*n. Let u = -10/19 + w. Is u at most 1?
True
Let l = 28.373 + -28.5. Let k = l + 0.127. Let b = -5 + 19. Which is smaller: b or k?
k
Let m = -37 + 20. Let k be 10/(15 + m - (12 - 1)). Are -1 and k equal?
False
Let y = -294 + 294. Suppose y = 2*i - 3*x + 640, 16*x = 4*i + 14*x + 1296. Which is greater: -328 or i?
i
Let u be (6/2)/((-258)/4). Let x be 4*-8 - 21/(-3). Let c be 2*(1 + -3 - x/10). Is c at least u?
True
Suppose -8 = 6*z - 2*z, 0 = -2*l - 5*z - 18. Let a be 6/(4/8*l). Let w be 12/a - (2 + (-608)/100). Is w at most -1?
False
Let g = 888 - 888. Suppose 89*m - 43*m + 46 = g. Which is smaller: m or -3/17?
m
Let a = 6.1 - -0.4. Let g = a - 6.38. Which is smaller: 16 or g?
g
Let i(f) = -11*f + 114. Let s(q) = -5*q - 1. Let b(v) = -i(v) - 5*s(v). Let t be b(3). Is t greater than or equal to 1/54?
False
Let u(z) = -3*z**3 - 10*z**2 + 12*z + 29. Let k = -56 + 51. Let h be u(k). Which is smaller: h or -3/2?
-3/2
Let n be 4/6 - (4/(-12) + -3). Suppose 3*z = -x - 13 - 3, -x - n*z = 16. Suppose -u = 1, s - 5*u = -13 + 2. Is s > x?
False
Suppose 16 = 4*i + k, 5*k + 2 = -2*i + 10. Suppose -i*g - c = -23, -g + c - 1 = -3. Suppose -3*t = 5*d + 19 + g, 0 = -2*t + 2*d. Which is greater: -3/2 or t?
-3/2
Let w = 1482769 + -83038619/56. Let i = -468/7 - w. Let l = 2 + -4. Which is smaller: i or l?
i
Suppose -y + 152 = 3*y. Let u = -2082/13 - -12419/26. Let d = -317 + u. Which is smaller: d or y?
d
Let r(v) = v**3 + 2*v**2 - 5*v - 7. Let l be r(-2). Let n be 17/l + -4 + 0 + -2. Which is smaller: n or -11/2?
-11/2
Let w(g) = -g**3 + 13*g**2 - 14*g + 1. Let t be w(12). Let d = 37 - t. Let o be 6 + (-3 + 3 + -5 - (-17)/(-51)). Is d equal to o?
False
Let x = 14670 - 14632. Do -75 and x have different values?
True
Let g = 286 + -230. Let t = g + -59. Do 2 and t have the same value?
False
Suppose 0 = -6*u + 575 + 4465. Suppose -306 - u = -6*y. Which is smaller: 192 or y?
y
Let h = 123 - 339. Let s be 0 + 1 - h/(-168). Suppose 0 = -5*i + 6*b - 4*b - 4, 4*b - 8 = -2*i. Is s bigger than i?
False
Let s be (1796/10)/(11*20/550). Let j = -257 + s. Is 191 less than or equal to j?
True
Let c be ((-106)/(-24) + (-4)/(-16))*-3. Let h be 4/c + 3128/12075. Suppose -1 = -o - 0*o. Which is greater: h or o?
o
Suppose -y - 8 = -3*y. Suppose -280 = -0*c + y*c. Let h = 71 + c. Which is smaller: h or -3/23?
-3/23
Let i be 20/(-15)*3*(-402)/(-8). Let s = i - -200. Which is smaller: -3/56 or s?
s
Let a = 24 - 23.38. Let o = -3.62 + a. Which is smaller: o or -7?
-7
Let j(l) = 2*l**3 - 173*l**2 - 255*l + 250. Let o be j(88). Is 1040 at least o?
False
Let a(f) = 11*f + 431. Let p be a(-39). Let r = 7445/34 - 219. Does p = r?
False
Let m = 177 + -177. Suppose s - 3*r = -4 - 6, -2*s - 2*r + 4 = m. Which is smaller: 4/211 or s?
s
Suppose 515 = 2*u + 4*g + 533, -u + 3*g - 19 = 0. Suppose 34 + 1 = -5*a. Which is smaller: a or u?
u
Let v = 487874/11 + -44484. Is -133 at most as big as v?
True
Let j = -1515.3 - -1490.5. Is j less than or equal to -2/7?
True
Let r = -1638.06 - -1638. Is r less than or equal to 0.251?
True
Suppose 2*t - 4 = 0, -3*n + 7*n = -3*t + 38. Suppose 0 = 16*u - 3 + 19. Let k be 16 + -10 + (-2)/u. Is n less than or equal to k?
True
Suppose -3*w + 4*m - 5276 = 0, 2*w + 4*m + 2301 = -1203. Are -1757 and w unequal?
True
Let i(h) = 4*h + 18. Let f be i(-3). Let t be 18/f*3/(-9). Which is smaller: t or -3/215?
t
Let c(y) = 3*y**3 + 31*y**2 + 8*y - 13. Let o be c(-10). Let d be 20/7*63/18. Let g = d + -4. Which is smaller: g or o?
g
Let y be 12 + 5928/(-36) - 3/27*3. Which is greater: y or -148?
-148
Let y(n) = n**2 + 17*n - 140. Let h be y(6). Let l(m) = 82*m + 165. Let r be l(h). Let x = -72 + 148. Which is smaller: x or r?
r
Let j be ((-3)/(-1))/((284895/(-52))/(-45)). Is j smaller than 1?
True
Let t = -5 + 14. Let z = -4751 - -4751.02. Is z greater than t?
False
Suppose -w - 10 = 2*y, y - 13 = -0*y - 5*w. Let h(g) = g**2 + g - 35. Let r be h(y). Suppose 3*f - f - 2*b = 10, 0 = -5*f + 4*b + 25. Is f < r?
True
Let u be (45 - 133)/((-4)/26). Suppose o - 5*o - u = 0. Is o less than or equal to -143?
True
Let r = -118 + 120. Suppose -5*o = 15, -r*f - 2*o = -o - 47. Is f not equal to 26?
True
Suppose -15*b + 5 = -20*b. Let t be b/(-10) + (-4067)/70. Is 2 less than t?
False
Let m(w) = -11*w**2 + 3. Let h be m(3). Let b be h/(-20) + 1/5. Let r be (-1)/((2 - (-4 - -8))/8). Is b greater than r?
True
Let h = -1269 - -1459.2. Let d = -190 + h. Which is bigger: d or 44?
44
Let l = -79043/72446 - -1/6586. Which is bigger: 217 or l?
217
Let i = 325/428 - 1/107. Suppose -3*w - 4*z + 1 = 0, 2 + 3 = -4*w + z. Let p be (32/112 - (-4)/(-14))/w. Which is smaller: p or i?
p
Let j be ((-18)/(-15))/((-8)/170). Suppose -43*l + 350 - 1468 = 0. Is l > j?
False
Let k = 2 - -11. Let n = -246 - -258. Is k at least n?
True
Suppose 5*m - 12 = -7*m. Let d be 12600/1365 - 9*1. Is d less than m?
True
Let j = -5492/3 - -1830. Is 1845/4 greater than j?
True
Let z be 2/6*(-42)/(-7) - (-112 - -93). Which is smaller: z or -46?
-46
Let w = 0 - 1. Let o(x) = -2*x + 53. Let r be o(4). Let t be 0 + (r/(-54))/(35/(-4)). Which is bigger: t or w?
t
Let m(h) = -2*h**2 + 5*h + 1. Let b be m(7). Let d = b - -39. Let k(x) = x**3 + 24*x**2 + 25*x + 42. Let z be k(d). Is z < -2/41?
True
Let z = 68/7 + -1205/119. Let k = 13 - 13. Let q(a) = -a**3. Let w be q(k). Is w at least as big as z?
True
Suppose -13*z + 3*z = 110. Let o be 18/(-15) + z/(-55). Are -19/9 and o equal?
False
Let f be 7138/258*(84/1112)/(-7). Is f <= 0?
True
Suppose -10*s + 4*s = -612. Let p = 66 - s. Let f = 27 - 83/3. Do p and f have the same value?
False
Let i = 68 - 77. Let d be -160 - (i/(-12) - 18/(-8)). Which is greater: d or -164?
d
Let z = -32376 + 32035. Is -342 less than z?
True
Let l = -13.259 + 764.259. Which is bigger: 2/21 or l?
l
Suppose -4*a + 2044 = 3*a. Suppose -4*w = 4*r + r - 308, 4*w + a = 5*r. Let z be -1*r/(-325)*10/(-4). Is 0 less than or equal to z?
False
Let q(s) = -2*s**3 - 3*s**2 + 7*s + 6. Let w be q(-4). Let i = w + -75. Let g = 6 - 22. Which is greater: i or g?
g
Let x = -9323/3 