an 80.4?
False
Let x be 2 + -3 - (-3)/(-7). Let h(d) = d**2 - 24*d - 83. Let s be h(27). Let c be (-2 + 5)/3 - s/(-1). Is x < c?
True
Suppose 4*v - b = b + 876, -3*v = 2*b - 671. Let h = v + 67. Is h at most 289?
True
Let v be -14 + (-1920)/(-136) + 45/51. Is -1/69 greater than or equal to v?
False
Suppose -11 - 13 = v. Let h be v/582*2*3/(-36). Which is smaller: -1 or h?
-1
Let m(x) = 243*x - 19. Let z be m(1). Suppose -8*c + 1471 + 321 = 0. Is z <= c?
True
Suppose -20*z + 17*z - 591 = 0. Let m = z + 257. Which is bigger: m or 2/7?
m
Let q(u) = -u**3 + 16*u**2 + 17*u - 4. Suppose -g - o + 21 = 0, 24 = 5*g - 5*o - 41. Let s be q(g). Let b be (34/(-30))/(1/3). Is b at least s?
True
Let j = -2/289 - -295/867. Suppose 5*k + 2 = -2*p, 0 = -k - 2*k - p - 1. Are j and k equal?
False
Let u(o) = -o**3 - 6*o**2 + 7*o + 4. Let i be u(-7). Let b = -9 + i. Let d be -5 - (9 + -8) - (-7)/5. Which is smaller: b or d?
b
Let w = -108 - -122. Suppose -w*g + 302 + 482 = 0. Suppose -8*k - g = 16. Are -9 and k unequal?
False
Let q = -12645 + 13816. Is 1171 bigger than q?
False
Suppose -2*d - 586 = 2*r, 4*d + 0 = 20. Let j = r + 297. Which is smaller: j or -2/37?
j
Suppose 0 = 5*q + u - 233, -105 = -5*q + 2*u + 134. Suppose -152 = 7*z - q. Which is bigger: z or 1?
1
Let o = 3761/180393 - 2/1149. Are o and 1 unequal?
True
Let f = -11175 + 11177. Which is smaller: -3801 or f?
-3801
Let y be (3/12*-4)/(-1). Suppose 0 = 4*w - 5*k + 515, -5*w = 2*k - 0*k + 652. Let i be -2 - y*12*15/w. Is i not equal to -2?
True
Let x = 12867/2 - 7636. Let s = -1226 - x. Which is bigger: s or -25?
s
Let q(j) = -9*j**2 + j**3 + 5*j**2 - 9*j + 0*j**3. Let s be q(4). Let v be 5/4 + -2 - 351/s. Is v != 1?
True
Suppose 68*x - 73534 = 14662. Which is smaller: x or 1306?
x
Let i be 3 + (-38)/14 - 56724/(-406). Which is bigger: 134 or i?
i
Let k = 674481 - 1429899463/2120. Let x = 1/265 + k. Does 1 = x?
False
Let i = -311/842 + -55/421. Which is smaller: i or -4679?
-4679
Let i = 66.001 - 66. Let z = 0.012 + i. Let t = z - 0.313. Is t at least as big as 13?
False
Let f(v) = 4*v**3 + 18*v**2 - 17*v + 10. Let r(h) = 2*h**3 + h**2 + h + 1. Let b(c) = f(c) - 3*r(c). Let s be b(7). Is s at least as big as 4?
False
Let d = -38047822/8223 + 4627. Is -1 bigger than d?
False
Suppose 10*p - 3*p = 490. Suppose 0 = 6*z - 4*z + 2*k + 20, 4*z - 2*k + p = 0. Let x be (-30)/(-8) + -1 + z/(-12). Which is greater: 10 or x?
10
Let b = 0.0171 - 0.0171. Is -11704 less than b?
True
Let m = -38 - -72. Let p = -42791 + 42792. Which is bigger: m or p?
m
Let o(r) = r + 2. Let t be o(6). Suppose -234 + 34 = -25*l. Is t at most l?
True
Let w be (93*(-10)/60)/((-10)/(-3100)). Which is greater: -4804 or w?
-4804
Suppose 0*n = 3*n - 75. Let x = n + -23. Let b = -175 - -535/3. Which is smaller: x or b?
x
Let q be (-1 + -4)*(48/5)/(-2). Let i(k) = 0 + 28*k - 31*k + q. Let n be i(12). Is n <= -13?
False
Let b(h) = h**3 + h**2 - h - 1. Let y(u) = -3*u**3 + 23*u**2 - 21*u - 22. Let z(d) = 2*b(d) + y(d). Let c be z(24). Which is smaller: c or -2/285?
-2/285
Let j = 22679 + -22658. Which is greater: j or 2/1269?
j
Suppose 266*x + 5*k - 1215 = 269*x, -3*x - 1218 = -4*k. Which is smaller: x or -412?
-412
Let r = 259251 + -3885157/15. Let h = 240 - r. Is h != -1?
True
Suppose -4*b - 5*u = -0*b - 231, -2*u + 60 = b. Let q be (-48)/(-10)*(-385)/(-33). Is q <= b?
False
Let a = 37684573/1526 - 24695. Which is smaller: a or 0?
0
Let t = 8/3487 + -7849/4941079. Which is smaller: t or 1?
t
Let z(m) = -22*m**2 - 2*m - 1. Let n be z(-1). Let v be 5*110/175*7. Suppose 0*a + o + v = -a, -3 = o. Is n equal to a?
False
Let k = -283 - -330. Is k bigger than -122?
True
Let o = -10.771 + 10.445. Is o >= -2?
True
Let i be ((-12)/36)/((-2)/60). Let u(f) = -f + 10. Let k be u(i). Suppose -3*q - q + 11 = -x, k = 2*q + 5*x - 11. Is q at most as big as -1?
False
Let k(a) = a**3 - 8*a**2 - 8*a - 5. Let x be k(8). Let v = x - -81. Suppose -9 = -v*t - 93. Which is smaller: -3 or t?
t
Let z = 11/15 - -17/45. Let o(d) = 5*d - 9. Let m be o(4). Suppose 11 = r + m. Which is smaller: z or r?
r
Suppose 81*n + 2*v = 86*n + 13, v - 4 = 0. Is n at most 1765?
True
Let n = -623 - -625. Suppose -c - 2*l = 179, 0*c - 5*c + n*l = 895. Is c bigger than -177?
False
Suppose 4*u - 27 + 3 = 0. Suppose -u*q = 2*q - 3*q. Let n(c) = -c**3 + 2*c**2 + c - 1. Let v be n(q). Are 1/100 and v equal?
False
Suppose -3*c + 7*c = 40. Let j be ((-4)/c)/((-7)/(-210)). Is j at most -11?
True
Let l(c) = 4*c**3 + 435*c**2 - 1312*c + 3. Let n be l(3). Let z(m) = -2*m**3 - 7*m**2 - 4*m - 4. Let b be z(-5). Are b and n nonequal?
True
Let i = -140927/13 + 10842. Which is bigger: i or 0?
i
Let b = 2/753 - -6271/1506. Let a be -544 - (8 + (-4)/1). Let d = -543 - a. Is b < d?
True
Suppose -h = -3*m - 13545, 0 = -4*h - 557*m + 553*m + 54132. Is h != 0.1?
True
Let y be (15 - 2) + 8240/(-640). Which is greater: -0.0237 or y?
y
Let n be (-3042)/2366 - ((-27)/21 + -1). Is n <= 11/740?
False
Suppose 7*w - 10 = 2*w. Suppose i = -4*k + 8*k + w, k = i + 1. Which is smaller: 2/85 or k?
k
Suppose 0 = 13*w + w - 336. Let t = w - 79. Is t at least -56?
True
Let l(c) = -2*c**2 + 4*c - 3. Let h be l(3). Let g be 62/14 + 68/(-28) + 3. Let d be -4 + h/(-15)*g. Which is smaller: 2/23 or d?
d
Suppose -3*d + 5*c - 10 = 2*d, d + 2*c = -11. Let x = -155 - -86. Let p = -67 - x. Is p at most as big as d?
False
Let l(y) = 39*y**3 - 24*y + 42. Let u be l(2). Does u = -0.1?
False
Let d be (-2)/(-24)*546/3. Let n = d - 31/2. Let p = 27 + -26.1. Is n <= p?
True
Suppose 0 = 2*b + 256*b - 258. Which is smaller: b or 1/13388?
1/13388
Let g = -14375 - -10164. Let j = -4185.79 - g. Let z = j + -1.21. Is z smaller than 0?
False
Let l = -8067 + 8842. Is 1 >= l?
False
Let i = -57 - -444. Let y = i + -339. Which is bigger: y or 2/7?
y
Let n be (16/222)/(38/(-171)). Suppose -3*r - 4 = -7*r. Is r < n?
False
Let i be (-22)/(-11) + (2 - 2) + -42. Let m be 120/(-13)*30/i. Is m less than 7?
True
Let n be ((-5)/(-25))/(12/10). Let d be -1 + 28/35 - (-1)/(-5). Does d = n?
False
Let l = 17 + -63. Let d = l - -179/4. Let i = -14 - -13. Do d and i have the same value?
False
Let p(u) = -36*u - 63. Let i be p(-2). Let o be (-21)/i + (-715)/33. Is o <= -18?
True
Let d be (-52)/390 - (-1 - (-34)/(-30)). Suppose 58 = 5*n + d*k, -5*k = -16 - 4. Let g be (66/825)/(2/n + 0). Which is smaller: g or 9.1?
g
Suppose -3*s + 5*f = 2 + 30, 24 = -3*s + 3*f. Let d be ((s/20)/1)/(2/4). Is -80/9 > d?
False
Let c(i) = i**3 - 6*i**2 + 2. Let d be c(6). Suppose -d*q = 452 - 56. Let h be (10/16)/((-33)/q). Which is bigger: h or 5?
5
Let u = 4354 - 4354. Let o = -22 + -12. Which is smaller: o or u?
o
Let k be 6/(-45) - (-92036)/420. Suppose k = -10*i - 171. Suppose 3*s = 5*d + 2*s + 201, 0 = d + 3*s + 37. Do i and d have different values?
True
Let w be (-2)/5 - (-1418)/(-30). Let p = -18338 - -220643/12. Let r = w + p. Is r equal to 1?
False
Let o(k) = -k - 2. Let n be o(-5). Suppose n*y = -y - 16. Let j be (35/(-15))/(55/90). Which is greater: y or j?
j
Let l = 12940 + -12972. Which is bigger: l or -1015/33?
-1015/33
Let f(n) = 10*n**2 - 4*n - 28. Let c be f(-4). Suppose -5*h = -2*i + i - c, -3*i = 2*h + 410. Which is smaller: -135 or i?
i
Let g be ((3/(-12))/((-3)/(-36)))/(-1). Suppose -g*k + 24*n - 123 = 23*n, 3*k + 4*n + 108 = 0. Do k and -39 have the same value?
False
Let m be ((-2)/3)/((-988)/(-228)). Which is smaller: m or 14.5?
m
Let a = 310.43 + -305. Which is smaller: -1 or a?
-1
Let z = -84 + 219. Let d = z - 135.3. Is d != 6?
True
Let s be 2/(-6)*(54 + 3). Let f be 3210/(-336) - 8 - (-3 - (-43)/14). Which is greater: s or f?
f
Let b(t) = 3*t - 21. Let x = -52 - -67. Let i be b(x). Let d = 74 - i. Which is greater: d or 51?
51
Let f = -12866 + 4628. Which is greater: -1 or f?
-1
Suppose 3652 = u - 12*u. Let f = u - -330. Is -2/3 greater than or equal to f?
True
Let u(r) = 3*r + 5 - 42*r**2 - 4*r + 41*r**2 + 1. Let g be u(-3). Let c = 1221/91 - 180/13. Is g greater than c?
True
Let m = -249.99 - 3.01. Let c = m - -236. Let j be 3/(2 - (-1 + 2)). Which is bigger: c or j?
j
Let r = 77 + -120. Let m = r + 40. Let y(t) = 6*t. Let o be y(-1). Which is smaller: m or o?
o
Let w = -588 + 585.207. Let k = w - -0.793. Is -195 at least k?
False
Let x = 560 - 778. Let n 