 r?
True
Let j(a) = 11*a**2 + a + 31. Let z be j(5). Let b = z + -310. Which is smaller: 3/56 or b?
3/56
Let n = 19089 - 18283. Which is smaller: 5636/7 or n?
5636/7
Let h = -58 + 63. Let v be (h/(-15))/((-2)/(-6)*-1). Suppose 4*y = v + 11. Is y at most 4?
True
Let t = -234 - -725. Let j = 490.002 - t. Let c = 0.002 - j. Is -47 <= c?
True
Let p be (-56)/(-7) + -4 + 10/(-3). Suppose 4*x + 20 = 4*f, 4*f - 2*f - 5*x - 7 = 0. Let k(r) = r**2 - 8*r + 10. Let b be k(f). Which is smaller: b or p?
b
Let z(o) = 12*o + 8. Let m be z(26). Suppose -16*t = -21*t + m. Which is smaller: t or 65?
t
Let x = 619/23 - 16909/483. Which is smaller: x or -7?
x
Suppose -22*n - 203 = -907. Suppose 20 = h + 3*z, -5*h + 60 + 40 = z. Suppose m = 5*v - n, -m - 3 - h = -2*v. Which is greater: -15 or m?
-15
Let q = 1908 + -1861. Which is bigger: q or 596/13?
q
Let i = 659.9 + -658.9. Which is smaller: i or 1257?
i
Let x be ((-4)/(-12))/((-2)/(-44)). Let j = 488 + 441. Let l = 935 - j. Which is smaller: l or x?
l
Let s = 0.0887 + 418.9113. Let u = s + -419.06. Let j = 4 + -2. Which is greater: u or j?
j
Let x be (-48)/(-216) - 2290/18. Let q(u) = 2*u**3 - 49*u**2 - 29*u - 28. Let d be q(25). Which is smaller: x or d?
d
Let m = -3.184 + 3.064. Let i = -0.3 + 0.27. Let c = i - -0.03. Is m < c?
True
Suppose 0 = -162*b - 375 - 435. Which is smaller: 0.39 or b?
b
Let v be (-15 + 18)/((-6)/21 + (-17925)/(-62958)). Which is smaller: -2997 or v?
v
Let w = -40 - -15. Let a = w + 19. Let n be (800/105)/(-5)*3. Is n smaller than a?
False
Let r(h) = 9*h**2 + 12*h + 12. Let q be r(-1). Suppose q*s + 271 = -566. Is s at least 2?
False
Let u(c) = c**3 + 4*c**2 - c - 2. Let l be u(-2). Suppose 1 = 7*z + l. Which is smaller: 1/201 or z?
z
Let w = -19459 + 19472. Suppose 5*x + 0*x - 40 = 0. Suppose 0 = -f - 2*p + 14, 5*p + x + 11 = 2*f. Is f bigger than w?
False
Let q(t) = 351*t**2 + 4056*t + 23. Let s be q(-11). Is s at least -2121?
False
Let k = 3483 + -484139/139. Suppose -3*i - 2*u - 2 = 0, 3*i + 1 = 2*i - u. Which is bigger: k or i?
i
Let r = 0.1041 - -0.8959. Which is greater: r or 7151?
7151
Let x(c) = -c**2 - 4*c + 3. Let i be x(-5). Let m be (-25 - 8/i)/(-1). Suppose -4*l = -2*a + 28, l - 4*l - a - m = 0. Which is smaller: -6 or l?
l
Let z = 19481 - 19480.9. Which is greater: z or -1724.5?
z
Let c(t) = -2*t**3 - 3*t**2 + 3*t - 2. Let i be c(-4). Suppose -1848*o + 90 = -1803*o. Which is greater: i or o?
i
Let o = 78 + -79. Let y be o/(-5) - 1610/50. Suppose -5*r - 192 = r. Is y > r?
False
Let q be 10/12 - (-31)/6. Let h(b) = -3*b**2 + 19*b + 7. Let i be h(q). Is i at most 12?
False
Let s(k) = 22*k - 75. Let f be s(5). Suppose 0 = -29*l + 36*l - f. Is l >= -1?
True
Suppose 3*q - 18*a = -10*a + 51, 3*q + 3*a + 15 = 0. Which is smaller: q or 2/3787?
2/3787
Let p(f) = f**3 + 4*f**2 + 3*f + 123. Let n be p(0). Suppose z = 122 - n. Let j = -4/227 + 1179/2497. Do j and z have different values?
True
Suppose 5*t - 10 = 0, 5*r = 32*t - 27*t + 25. Let z = -19 - -21. Which is bigger: r or z?
r
Let v = -38 + 11. Let p be v/(-33)*(-26)/6. Is -3 less than or equal to p?
False
Let p = -189737/91 + 2085. Suppose -3*b + 17 = -17*j + 21*j, 2*b - 5*j = -27. Is b smaller than p?
True
Let d = 28246.8 - 28248. Suppose -i + 2 = -0. Are i and d nonequal?
True
Let h(m) = 85*m - 7. Let v be h(1). Let k be 1/(-2 - (1 + v/(-27))). Let j be (-40)/(-21) + (12/k)/(-2). Is 3 not equal to j?
True
Let s = -13.01 - -13.5. Let q = -0.19 + s. Which is bigger: q or -8?
q
Let v = 256.0082 + -256. Let a = v - 0.2682. Is 0.04 greater than or equal to a?
True
Let s(a) = -a**3 + 12*a**2 - 13*a - 68. Let n be s(10). Suppose x - 3 = 0, -l - 2 + 7 = n*x. Do l and 12/61 have the same value?
False
Suppose 0 = -1644*h + 1735*h - 999271. Is 10981 <= h?
True
Let d be 0 + (10/(-25)*-10 - (-14 - -3526)). Is d at most as big as -3508?
True
Suppose 3*f - 43 = 5. Let j be 5 + -2*2/f. Suppose 68 = 5*v - v + 44. Which is greater: j or v?
v
Let u be 99/264 + 3910/(-16). Do u and -245 have different values?
True
Suppose 2*f = -f + 5*c - 38, 5*c - 54 = 4*f. Let u be 89/15 + (f - 110/(-11)). Is -2/5 <= u?
True
Let t(a) = a**2 - 84*a - 1373. Let c be t(-14). Which is greater: c or -4/93?
-4/93
Let z = -1736 + 4554. Is z at most 2818?
True
Suppose g = -5*q + 46, 3*g + q + 77 - 229 = 0. Suppose 364*m - 362*m + 4*x = 122, 5*x = 20. Let c = g - m. Is c < -12/19?
True
Let q(m) = m**3 + 15*m**2 + 14*m. Let v be q(-14). Let h(n) = -n**3 - 6*n**2 - 3*n + 4. Let u be h(-6). Suppose 3*d - u + 10 = v. Is -1 greater than d?
False
Suppose 16*x - 43 + 27 = 0. Suppose 228*r + x = 229*r. Let q be (-2)/(-3) - 26/40. Which is bigger: q or r?
r
Let y = -4100/1859 - -4/169. Let q = 73 - 75. Which is smaller: y or q?
y
Suppose 63*b = 67*b - 108. Suppose 0 = -15*j + 18*j + b. Which is greater: 7 or j?
7
Suppose -4*h + t - 9 = -7*h, -4*t + 10 = -h. Suppose -h*r + 356 = 390. Is -9 smaller than r?
False
Let u be (13/39)/((-1)/21). Let m be u/(-6) - (-30)/(-20). Is 0.138 greater than or equal to m?
True
Let c be (-240)/(-312) + 4/(-26). Let t = -41 + 41. Which is smaller: t or c?
t
Let a = 0 - 1. Let t = 261 + 3. Let h = t + -264. Do h and a have the same value?
False
Let t(o) = -2*o - 9. Let l(n) be the second derivative of n**3/2 + 5*n**2 + 3*n. Let z(w) = 7*l(w) + 6*t(w). Let c be z(-3). Is c at least as big as 3/2?
False
Let i = -8842/5 - -1768. Is i > 2673?
False
Let s(n) = -3*n + 8. Let o be s(4). Let i be ((-4)/(-10))/(o/284). Let y = i - -28. Is -6 at most as big as y?
True
Let o = 1/1341 - -1637/2682. Are o and -5 equal?
False
Let a = -55 - 74. Let k = a + 77. Is 1/4 greater than k?
True
Let h = 173 + -98. Let c be (2/4)/(120/240). Let j(b) = 73*b**2 - 3*b + 4. Let t be j(c). Is t at most h?
True
Let v(k) = -k**3 + 14*k**2 + 15*k + 18. Let n be v(15). Let b = 17 - n. Is -16/25 != b?
True
Let x = -105 + 74. Let n(y) = -y - 33. Let l be n(x). Let d be 2/2 - (-13)/(-7). Is d at most as big as l?
False
Let z = -2 - -7. Let g be 2/z - (-1044)/90. Let t = g - 6. Which is greater: t or 7?
7
Let x(w) = -w**3 - 8*w**2 + 2. Let h be x(-8). Let u be 0 - 44/(-70) - 120/(-210). Which is bigger: u or h?
h
Suppose 17*r + 6281 = -2525. Let f = r + 515. Which is smaller: f or -13?
-13
Let v(l) = 3*l**2 - 11*l - 19. Let s = 7 + -2. Let p(m) = -4*m**2 + 16*m + 28. Let r(u) = s*p(u) + 7*v(u). Let y be r(-2). Which is greater: 4 or y?
y
Let g = -376 - -378.83. Let n = -3.022 - g. Let f = n + -0.148. Do -1/2 and f have different values?
True
Suppose -7*g + 3*g + 891 = -p, -3*g = 4*p - 654. Let t = 441/2 - g. Do -11 and t have the same value?
False
Let u(k) = -k**3 + 13*k**2 + 32*k - 22. Let c be u(15). Let q be ((-5376)/1116)/c - 4/(-6). Let m be 4/(-2) + (-6)/(-6). Which is greater: q or m?
q
Let q = -1221 + 1221.3. Let w = -1070 + 18280/17. Let b = 382/85 - w. Which is smaller: q or b?
b
Let c(t) = -4*t**3 + 2*t + 2. Suppose 7*z = 6 - 13. Let y be c(z). Let u be (150/(-9) + 2)*6/y. Which is bigger: -24 or u?
u
Suppose -k + 2*i - 94 = k, -k - 4*i - 62 = 0. Let t = k + 849/17. Let w = -13/5 + 21/10. Which is bigger: t or w?
t
Suppose 0 = -244*d - 247 + 979. Let r be (-845)/(-11) + (-6)/(-33). Is r < d?
False
Let j be (-27)/15*(-4)/42. Are j and 22 equal?
False
Let k be (-1)/7*(-6)/727776*-49. Which is smaller: 1 or k?
k
Let g = -12376 - -74305/6. Is g != 1?
True
Let y = 8672363238219/19123401704 - 471/8736136. Let h = -1401/199 + y. Let g = h + -446. Is 1 != g?
True
Let n = 420 - 420. Let s = 541 + -216. Let w be ((-52)/s)/(36/10). Which is bigger: n or w?
n
Let t = 6.251 - 1.251. Let h = 165/8 + -21. Is h greater than t?
False
Let o be (-10)/50 + 3/(30/512). Which is smaller: 13 or o?
13
Suppose -5*j - 88 = 52. Let x(b) = -7*b - 197. Let c be x(j). Do 2/1131 and c have different values?
True
Let u = 153 + -157. Let d be u/(-3)*(-2)/292. Let o = -6 + 6.1. Which is smaller: o or d?
d
Let f be (78/117)/(3*3/(-54)). Is -103/22 greater than f?
False
Let b = 294382 - 2057350/7. Which is bigger: b or 475?
475
Let k(h) = -40*h - 17. Suppose b + 25 = -4*b, 2*m - 7 = -b. Let a be k(m). Is a at least as big as -257?
True
Suppose i + 6858 = 4*t, -3*i = 4*t - 291 - 6543. Are 1714 and t non-equal?
True
Let k(n) = -n**2 - 17*n - 11. Let f be k(-16). Let p be f + (-6 - (-85)/50). Suppose -3*a -