q(y) = y**2 - 31*y - 222. Let m be q(37). Let z be 2*(-5)/40*m. Which is smaller: 5/28 or z?
z
Suppose -495 + 147 = -2*b + 470. Which is smaller: 407 or b?
407
Let u(q) = q**3 + 10*q**2 - 20*q - 37. Let a be u(9). Is 1320 not equal to a?
True
Suppose 3*d - 4*d - 1963 = 4*b, -8*b - 9803 = 5*d. Is d at least -1961?
True
Let l(o) = -o**3 - 14*o**2 + 17*o - 10. Let r be l(-15). Let h be (r/30)/(7/(126/(-44))). Which is smaller: h or 2?
h
Let p be (-849)/(-15) - (-4)/10. Suppose 3*t - p = 2*t. Suppose 2*k = -5*d - 0*d + t, 24 = 2*d + 2*k. Which is bigger: 12 or d?
12
Let w = -1382 + 1761. Are w and 2 non-equal?
True
Suppose -4891 = -3*x - 4*r, 4*x = 3*r + 4960 + 1528. Which is smaller: 1624 or x?
1624
Let w be 2/(-86)*-8*220/65560. Do 1 and w have different values?
True
Let m(y) = 5*y**2 - 552*y + 598. Let x be m(91). Is 2/5 >= x?
True
Let v = -29 + 79. Let p = -14238 + 14288. Is v != p?
False
Let x(h) = -5 + 41 + 16*h + 14. Let w be x(-3). Is 4 less than w?
False
Let u be (5/(-2))/(30/(-24)). Let g be 3*(u + -3 + 2). Let r = 8 + -6. Which is greater: g or r?
g
Let l = 1692 - 1693. Which is greater: l or 4/1177?
4/1177
Let w = 2.137 + 6.863. Suppose k = 2*l + 4*k - 25, -4*k + 15 = -l. Suppose 3*m = -2*y - 7, -l*m - 2*y = -3 + 16. Which is greater: m or w?
w
Let j = -6039 + 4040. Which is greater: j or -2000?
j
Let h(k) = -k**3 + 5*k**2 + k + 2. Let q be h(5). Suppose 8*i - 4 = q*i. Let a = -15/41 + 981/328. Which is greater: i or a?
i
Suppose 28 = -2*v + 72. Let s(x) = -8 - x - 12 + v - 6. Let n be s(-13). Which is bigger: 26/3 or n?
n
Let d = -31.194 + -2.806. Let f = -4.4 - -37.4. Let n = f + d. Are n and -2/3 nonequal?
True
Suppose -28*k - 1382 - 15894 = 0. Which is smaller: -604 or k?
k
Let h be 5/25 + (294357/(-280) - 0)/(-3). Which is greater: 352 or h?
352
Let g = -137 - -91. Let v be (g/(-6))/((-5)/15). Let i = 21 + v. Is 2/19 bigger than i?
True
Let b = -4671 - -4671.01. Which is greater: b or -51?
b
Suppose 16*l = 14*l + 18. Suppose -12*k + 9*k = l. Let x be k - (-2 - (-8 + 2)). Which is smaller: x or -4?
x
Let s be 0 + (243/(-2))/3. Suppose 16*i = 49*i + 6*i + 1599. Is s less than i?
False
Let k = -1004 - -6001/6. Let n = 155171 - 155169. Do k and n have different values?
True
Let r = -45 + 48.9. Let d = r - 2.9. Let q(v) = v**2 - 8*v - 11. Let m be q(-5). Is m smaller than d?
False
Let b = -9071 - -9978099/1100. Is 0 < b?
False
Let y be (-176)/24*24/328. Which is bigger: 0 or y?
0
Suppose -2*r - 3*r + 240 = 0. Let z be 0 + 3/(((-45)/(-6))/5). Suppose z*n - r = -32. Which is smaller: 3 or n?
3
Let g be (1*4)/(6/3). Let h = -497589/7 + 70872. Let l = -211 - h. Is g at least l?
True
Let j = 5642/3 - 1881. Is -20/93 <= j?
False
Let k be (-1 + -1)*6*(-6)/9. Let n = -35 - k. Let y be (-32 - 11) + 2/(-2)*-1. Which is smaller: y or n?
n
Let t = 16058 + -16068. Is t less than -366/37?
True
Let b = -24.47 + 25.47. Which is smaller: b or 7/178?
7/178
Let i = 39 - 35. Suppose -4 = -i*s - 2*c + 2, -s = 2*c. Suppose -4*y + 44 = 4*l, 3*l + 4*y - 2*y = 28. Which is greater: s or l?
l
Suppose 4*l - 145 = -l. Suppose 14*c - 324 = 26*c. Let m = l + c. Is m bigger than 7?
False
Let j be (-10280)/14 - (4 + (-330)/77). Let p = j - -720. Let d be (-22)/2 - (1 + 1). Is p <= d?
True
Let f = 462.0004 + -0.0004. Let j = f - 462. Is -32.6 at most j?
True
Let q = -27264 - -60935039/2235. Which is smaller: 0 or q?
q
Let x = -2739 + 24737/9. Let b = 407/36 - x. Which is smaller: 2/9 or b?
2/9
Let d be ((-3)/(-2) - 6)/3*4/(-3). Is d > 89/36?
False
Suppose -4*j - 49 = 3*f + 48, -4*j + 176 = -4*f. Which is smaller: f or -1034/27?
f
Let a be (-30 - -41) + (-3450)/297. Is 0 at most a?
False
Let q be ((-125)/175)/(5/(-7)). Let w = 299081/10 - 29778. Let l = w + -130. Is q > l?
True
Let b(h) = 5*h**3 + h**2 - 2*h + 26. Let s be b(13). Let x be (-4)/(-3) - 14833/s. Which is smaller: x or 0?
0
Let o = 74 + -133. Let l = o - -83. Let i = l - 16. Which is smaller: i or 1?
1
Let l = 56.14 - -2.16. Let b = -58.33 + l. Is b less than or equal to -2/13?
False
Let v = -2876 - -658605/229. Are v and -2/7 unequal?
True
Let g be 9 - 14 - -1*15/1. Suppose 6*n - 12 = r + g*n, -n = 3. Is 2/207 bigger than r?
True
Let n = 1.717 - 1.805. Is n bigger than -0.3?
True
Let m be (90/75)/(3/1270). Are 504 and m unequal?
True
Let z = 1793 - 1762. Let x = -30 + 127. Suppose x + 63 = 5*q. Is q at least as big as z?
True
Suppose -63*h - 5783 - 20258 = -4747. Is -342 <= h?
True
Let q = 12 + 8. Suppose -5*w = -4*a + 20, -2*w - 2*a + 6*a = q. Suppose 2*d + 14 - 12 = w. Which is bigger: d or -44?
d
Let a = -2.09 - -16.19. Let i = a + -16.1. Which is bigger: -0.06 or i?
-0.06
Let u be (0 - -2)*(39/(-6) - -4). Let b be (104/(-12))/(u/75). Is 130 less than or equal to b?
True
Let l(f) = f**2 - 2*f. Let w(c) = c**2 - 17*c - 6. Let r be w(17). Let d be (-2)/(r/3 + 1). Let k be l(d). Which is greater: -2/9 or k?
k
Let g(z) be the third derivative of z**5/60 - 25*z**4/24 + 41*z**3/6 - 13*z**2 - z. Let x be g(15). Which is bigger: -217/2 or x?
-217/2
Let k(s) = -2*s**2 - 23*s + 16. Let v be k(-12). Suppose b - 1 = -3*d, -3*b = b - v. Let h = 78 - 53. Which is greater: h or d?
h
Let h be ((-3)/((-144)/23))/((-7006)/380). Let y = -7/744 + h. Let d = 174/1469 - y. Is d greater than or equal to 1?
False
Suppose 5*x + 7*x = 24. Suppose 0 = -4*j + x*j - 3*j. Suppose -3*t + 6*t - 3*u - 24 = j, 3*u = 2*t - 14. Are 6 and t nonequal?
True
Suppose -r = 12 - 17. Suppose 0*y + 550 = -r*y. Is -112 >= y?
False
Let b(y) = 6*y + y**2 + 3*y**2 + 2 - 4*y. Let g be b(-1). Suppose -g = -20*m + 16*m. Which is smaller: m or -1/52?
-1/52
Let v(b) = -b**3 + 24*b**2 - 23*b + 15. Let s be v(23). Let f be (-324)/s + 12/20. Is -21 > f?
False
Suppose 0 = -4*h + 2*y - 74 + 82, 0 = -5*y - 30. Is h at least -16/157?
False
Let n(u) = -3*u**3 - u**2 - u + 1. Let w be n(-1). Suppose 0 = -26*m + 28*m - w. Let q be (m - 0) + -2 - 2/9. Is -1/9 greater than or equal to q?
True
Let q = -15948545/674856 + 41233/927. Let b = 146/7 - q. Is 0.2 greater than b?
True
Let t = 75 - 75. Suppose t*n - 3*n + 4*z - 6 = 0, 0 = 3*n + 3*z - 15. Suppose -3*m - 4*r = -16, 3*m - n*r = -5*r + 12. Is m less than or equal to 12/29?
True
Let b = 32 + -29. Suppose -460 = -5*m - 5*i, m - 4*i + 188 = b*m. Suppose 9*j - 6*j = -m. Does j = -31?
False
Suppose 4*z - 2*v + 1065 - 1673 = 0, -3*z - v + 441 = 0. Is 152 greater than or equal to z?
True
Let a = -16 - -62. Let i(g) = -g**2 - 95*g + 1136. Let p be i(10). Let t = p - a. Do 39 and t have the same value?
False
Let v be (14 + -2)/(1269/(-18)). Let w = v - -129/1034. Is w >= 1?
False
Let u be (31 - 30)/((-2)/4 + 1). Let z(q) = -25*q + 50. Let h be z(u). Are h and -5/63 nonequal?
True
Suppose 2 + 3 = 5*l. Suppose 5*r - 26 + l = 0. Let o be 42 + -27 - 26 - -1*(-1 + 2 - -6). Are o and r unequal?
True
Let m(z) = -z**2 - 25*z - 80. Let f be m(-21). Suppose -2*i = -0*i - 3*p + 136, f*p = 5*i + 326. Which is bigger: i or -59?
-59
Let a be (-2 + 3)/1*10/(0 + 10). Which is greater: 2/20219 or a?
a
Suppose z = 3*d + 255, -3*d - 39*z + 35*z - 210 = 0. Which is smaller: -2/239 or d?
d
Let z = 433/9 + -10888/225. Suppose 17 = 5*f - o + 4*o, 2*f + 10 = 3*o. Is f < z?
False
Let c be (-1395)/(-63) + -2*2/28. Suppose 11*g + 0 - c = 0. Suppose g*n - 5 = -1. Are 9/13 and n equal?
False
Let k = -19 + 39. Suppose 5600*w - 255 = 5583*w. Is k > w?
True
Let m be (-876)/(-52) - 65/13. Is 11 equal to m?
False
Let n = 26592 + -9719. Is 16874 at least as big as n?
True
Let h be ((-18)/13)/(15/10). Let g(s) = s + 2. Let k be g(1). Let w be -1*(0 + k) - -3. Is w < h?
False
Let z be (2 + (-192)/(-40) + -7)/(-114). Which is bigger: z or -1?
z
Suppose 3*j - f + 4*f = -84, 3*f + 136 = -5*j. Let t be ((-152)/j + (-12)/(-78))/(-5). Is t at least -6/7?
False
Let l be (-1759555)/1225 - 12/28. Which is greater: l or -1436?
-1436
Let g = 332 + -327. Suppose -2*b + 4*k = b + 1051, 0 = -g*b - k - 1767. Is b greater than -352?
False
Suppose 3*i - 340 - 528 = -u, -12 = -3*i. Is 852 bigger than u?
False
Let i = 5 + -78. Let j = -72.53 - i. Let l = j + -2.47. Are 0 and l nonequal?
True
Let v = -223 + -196. Does v = -418?
False
Let k be ((8/20)/(-2))/(4/(-935)). Let i = -859/20 + k. Do i and 3 have the same value?
False
Let f = 2655 + -2654. Does f = -282?
False
Let t