= 686. Are r and 125 equal?
False
Let j = -308.3 + 305.8. Let p = 5 + -16/3. Which is greater: p or j?
p
Suppose 8 = -3*x - 16. Suppose 4*z - 24*r - 6 = -26*r, 2*r = -3*z + 4. Let q be z + 3 - (9 + x). Is 3 < q?
True
Let r(s) = -3*s**2 + 155*s + 18. Let q be r(52). Which is smaller: q or -1?
q
Let v = -6210/7 - -885. Let z(h) = h**2 - 3*h + 37 + 9*h - 45. Let t be z(-7). Is t at least v?
True
Let h = 1349 + -1210. Which is bigger: 3 or h?
h
Let h(c) = c**2 + 5*c + 4. Let x be h(-5). Suppose 5*w + x - 14 = 0. Let s = 282 - 286. Does s = w?
False
Suppose -14*j - 148 = -78. Let s = -1203/2900 + 11/116. Let q = s + 89/200. Is j equal to q?
False
Suppose 259*z + 35 - 189 - 623 = 0. Is z greater than or equal to -89/11?
True
Let x = 111869/441 - 2288/9. Which is bigger: -2 or x?
x
Let c(l) = 3*l**3 + l. Let j be c(1). Let a be 13/(65/6)*(-10)/(-3). Let o be (-4)/(-8) + (-2 - -2) + a. Which is bigger: j or o?
o
Let j(z) = 132*z - 3859. Let v be j(16). Is v > -1755?
True
Let b = -30280 - -30198. Does b = -1226/15?
False
Let a = 193 - 127. Let q = 64 - a. Let f be (-16)/(-10) + q + 48/(-30). Which is smaller: -7/10 or f?
f
Let i = 7.94 + -8. Suppose -5*n + 22 = w - 0, -10 = 5*n. Let p be (-38)/(-10) + (28 - w). Is p greater than or equal to i?
False
Let i = -123 - -94. Let w = -27 - i. Suppose 5*d + 42 = w*d. Is d <= -13?
True
Let s(v) be the third derivative of v**6/120 - 11*v**5/20 + v**4/12 - 65*v**3/6 + 5*v**2 - 8. Let x be s(33). Which is bigger: x or -2/41?
x
Suppose -5*s = -s + 48. Suppose 3*c + 4*u = -73, 5*c + 36*u - 34*u + 75 = 0. Is s at least c?
False
Let k be ((-2)/3)/(2/(-30)). Let d be 2/12 - (-5)/k. Do d and -0.04 have the same value?
False
Let d(r) = 2*r**3 - r**2 + 10. Let u be d(8). Let n be -1*(-8)/u*-5 + 0. Which is smaller: n or 1?
n
Suppose -z = -2*u - 3104, 7760 = -137*u + 132*u + 4*z. Which is smaller: -1546 or u?
u
Suppose 2*c - 18 + 104 = 4*f, 4*c + 252 = -2*f. Which is bigger: -33 or c?
-33
Suppose 9355 - 20880 = 155*u + 33270. Let l be 196/(-91) - 2/(-13). Is l not equal to u?
True
Suppose 187*y = 185*y - 98. Let b = y - -50. Is 2/123 less than or equal to b?
True
Let m = 45/6217 - 311999/41386569. Is 0 at least m?
True
Let g = 4566/11 - 173849/418. Which is bigger: g or 0?
0
Let s = 20.55 + -111.43. Let l = 1.98 + s. Let a = l - -89. Which is bigger: -4 or a?
a
Let h = -61431 + 61380. Let t = 0.7 + -0.5. Which is smaller: t or h?
h
Let g = -16 - -17. Which is smaller: -24/115 or g?
-24/115
Suppose -5*i - 279 - 856 = 0. Let g = -234 - i. Which is bigger: g or 0?
0
Let i be 2288/3*(-1080)/8160. Which is greater: i or -100?
-100
Let d(w) be the second derivative of -w**5/10 + w**4/3 + w**3 + w**2/2 + 40*w. Let h be d(3). Let l = 949/4 + -139495/588. Which is smaller: h or l?
l
Let m be 88744/8876 + -7 - 3. Let b = m - -377242/6657. Is b less than or equal to -0.1?
False
Let m = -492 - 151. Let z = 649.77 + m. Let t = 7 - z. Do 1/4 and t have the same value?
False
Suppose 2*f - 2*s = 656, -5*f + 4*s + 1705 - 69 = 0. Is f less than 323?
False
Suppose 4*z + 513 + 1037 = -6*i, -3*i - 751 = -z. Which is bigger: -2799/11 or i?
i
Let c(r) = r**3 + 10*r**2 + r + 8. Let a be c(-8). Let g = 915 - 847. Suppose -70*u = -g*u - a. Which is smaller: u or 63?
63
Let t = 91 - 87. Suppose -d + 12 = 2*d, -4*k - t = -d. Which is bigger: k or 7/18?
7/18
Let x(q) = -q**3 - 20*q**2 + 479*q + 102. Let p be x(-34). Which is bigger: p or 7.713?
7.713
Let g = -1145.651 + 1145. Let k = 0.209 + -0.16. Let r = g - k. Which is bigger: r or -1?
r
Let j be ((-16)/32)/(5 + 11/(-2)). Is j at least as big as -3/89?
True
Let c = 67/3 - 22. Let d(w) = 826*w + 13225. Let p be d(-16). Is p > c?
True
Suppose -10 = -2*x + 8. Let q = -931 + 1025. Suppose 164 - q = 10*a. Is x less than or equal to a?
False
Let i = -3553 - -2493. Which is smaller: -1062 or i?
-1062
Let f = -344 - -345. Let x be (56/406)/((-1)/(-8)) - f. Is x smaller than -1?
False
Suppose -t - 23 = -3*l, -5*t + l - 41 = 18. Which is greater: t or -55?
t
Suppose -20*y + 35*y - 25155 = 0. Which is greater: y or -1/3?
y
Let t = -256.36 - -253. Let i = t + 3.56. Is i smaller than -26?
False
Let j = -58/463 + 7248/50467. Let s be -4 + 7 - 25/9. Which is smaller: s or j?
j
Suppose -2*h = 3*d + 6, -5*d = -h + 5 + 5. Let j(q) = -8*q**2 - 4*q - 3. Let f be j(d). Which is smaller: f or -28?
-28
Let s = -104.62 + 101.62. Is 521 greater than or equal to s?
True
Let z(r) = 7*r**2 + 35*r + 51. Let b(s) = 19*s**2 + 106*s + 150. Let y(g) = -4*b(g) + 11*z(g). Let t be y(40). Which is greater: -1/652 or t?
t
Let d be 11 - 9 - (-1 + 3). Suppose -2*v - 5*y + 117 = -d*y, 4*v + y = 189. Let u = -25 + v. Which is bigger: u or 20?
u
Let i(y) = 2*y**2 - 2*y - 13. Let q be i(3). Let c be 3/(-4) + q/(-1). Which is smaller: -144 or c?
-144
Let t = -1197 - -1261.9. Let q = t + -64. Which is smaller: q or -1?
-1
Let n = 12.4 + -12.37. Suppose q - 13 = 2*u + 3*u, 5*u = -2*q - 4. Suppose 4*t = 2*g + 6, -4*g + 24 = q*t - 2*t. Which is smaller: t or n?
n
Let n = 49.3 - -28.7. Let f = n + -78. Is f at most -0.05?
False
Suppose -37*v = -36*v + 3. Let p = v - 8. Let b be ((-6)/18)/(p/(-3)). Is -2 equal to b?
False
Suppose 5*l - 5*b + b - 33 = 0, -3*l + 23 = -4*b. Suppose 0 = -2*a + z - 33, 5*a + l*z = 4*a - 33. Is a > 0.01?
False
Let s = 500 - 219. Let z be (-27)/15*(1640/(-12) - 20). Is s <= z?
True
Let k(v) = -2*v + 7. Let r(w) = -1. Let y(h) = -k(h) - 2*r(h). Let a be y(3). Let s = -54 + 701/13. Is a at most as big as s?
False
Let y be ((-10)/2)/(-3 - -2). Suppose -y*m + 23 = -5*g - 17, 5*g = 2*m - 25. Is g at least -58/13?
True
Let n = 67.4 + -4866.4. Is n at most as big as 1?
True
Let n = -2230 + 176188/79. Let z(p) = 13*p - 287. Let r be z(22). Which is smaller: n or r?
r
Let g = -3.267 + 4.267. Let n = -0.85 + 0.15. Let l = n - -1.7. Is l at least as big as g?
True
Suppose -21 = -2*n + 9*n. Let r(v) = -3*v + 6. Let z be r(4). Let i(b) = -b**3 - 7*b**2 - 7*b - 4. Let m be i(z). Which is smaller: n or m?
n
Let l = -960177/7 + 136795. Is l > -374?
True
Let p = -7160 - -5092. Which is smaller: -6206/3 or p?
-6206/3
Let n(h) = -2*h**3 + 67*h**2 - 44*h - 33. Let v be n(33). Let c = v - -397. Are c and 4/11 nonequal?
True
Let z be 22*((-165)/135 - (-4)/18). Let u = -5 - -31. Let v be 3 + 0 + 1 - u. Is z > v?
False
Let f(a) = 373*a - 706. Let v be f(4). Which is smaller: v or 787?
v
Let j = -3 - 48. Let y = 26 + j. Let g = y - -27. Which is bigger: g or 6?
6
Let d be (-85)/17 + (-5)/(-5233)*5231. Which is bigger: d or 0?
0
Let c = -3991991727/1526 - -2615984. Let k = 1/654 - c. Let i = -1850/3 - -616. Is k > i?
True
Suppose -96 = -4*h + h. Let a = h + -34. Let q be -6 + 19 - 2/a. Is q less than 3?
False
Suppose -7*a = k - 195, -310 = -2*k + 25*a - 29*a. Are 244 and k equal?
False
Let p = -9989 + 10629. Is p not equal to 11?
True
Let c be (-7)/56*2*-1220. Let d = c + -1219/4. Is 3 <= d?
False
Let j be (1/(-4))/(5/40). Let k be 24/16 - (-34)/4. Let b be k/35 - (-170)/(-56). Are b and j unequal?
True
Let v = -1478 - -1479. Suppose 3*y - 15 = 3*q, 10*y - 12*y = -3*q - 15. Is v at most as big as y?
False
Let b be 2/(-4) + (-9)/(72/(-68)). Suppose -4*p = -3*d - b, -3*d + 3*p - 6 = -d. Let k be (-2)/11 - (-123)/616. Which is greater: k or d?
k
Let u be (-66)/(-15)*2/(-4)*-5. Let r be 4*(6 - 7) - (-1 - u). Let w be (-8)/51*126/r. Which is smaller: -1 or w?
w
Let m = 31 - 28. Suppose 0*r - 3 = m*r. Let q be -2*(-2)/12*2/10. Are q and r unequal?
True
Let t(y) = 53*y**2 - 332*y + 1625. Let g be t(5). Is 1290 not equal to g?
False
Let a = 23423 - 23216. Which is bigger: a or 204?
a
Let n = -6026 + 6026. Do n and 1/1029 have the same value?
False
Let x = -20.44 + 9.44. Are 2/209 and x equal?
False
Let k be 1 + 4 - 6 - -92. Let u = 76 - k. Let h be (-3)/(-2)*-14*u/9. Is h at least as big as 33?
True
Let l be 1/(4/(-8)*-2). Let n = 171 + -128. Let q = n + -42. Is l greater than q?
False
Suppose 0 = l - 12. Let y = l + -19. Suppose 60*g + 137 = -43. Which is greater: g or y?
g
Let p(m) = -m**2 - 7*m + 329. Let q be p(-22). Does -1/8668 = q?
False
Let r = 1101 - 1053. Let q(b) = -48*b - 49. Let v be q(-2). Is r >= v?
True
Let s be (-24)/2*(-7 + 3)/(-4). Let g be (s/26)/1*(-68)/102. Which is greater: -4/9 or g?
g
Let i be (-2)/10 - 704/(-120). Let k = 1