
t
Let p(k) = -k**3 + 5*k**2 - 52*k + 126. Let c be p(3). Which is smaller: c or -17?
-17
Let v = 7 - -1. Suppose -5*f + 2*w + 33 = 0, -3*w = 5*f - 7*f + 22. Let a be (-44)/(-10)*(-2)/(-6)*f. Which is smaller: a or v?
a
Let r(b) = -b**2 + 61*b + 1933. Let x be r(-23). Let l be -2*73/(-142) - 1. Which is bigger: l or x?
x
Let s be 18 - (-3 + 14) - (-33)/(-5). Is s at least as big as 1564?
False
Let n = 696.753 + -697. Let t = -83 - -83.053. Let l = n - t. Which is greater: l or 1.6?
1.6
Let v(q) = q**3 - 6*q**2 - 8*q + 3. Let u be v(7). Let c be (-20)/8 - (6/u - 0). Is c < 14/43?
True
Suppose 0 = 2*v + 2*p - 1194 + 4456, 0 = 3*v - 5*p + 4901. Let o = 256225/157 + v. Is 0 > o?
False
Suppose -19*d - 1665 = -2216. Which is smaller: -45 or d?
-45
Let m be (-38848)/5549 - (-32 - (-29 + 4)). Which is bigger: 1 or m?
1
Let z = -23.08 - -22. Let j = -0.08 - z. Let p be 7 + 7/(-7) - 56/9. Which is smaller: p or j?
p
Let v = -2023 - -2021. Suppose 7*d - 3*d + 4 = 0. Let r be -14 + d - 4/v. Are r and -35/3 nonequal?
True
Suppose 0 = 4706*a - 4700*a + 252. Suppose 0*m + 80 = -2*m. Is a not equal to m?
True
Suppose w = 12*u + 20474, 16012 = 5*w + u - 86846. Is 20569 > w?
False
Let l = -229 - -469. Let r be -3 + 916/l - (-4)/(-6). Are r and -0.4 equal?
False
Suppose 4*o + i = -8691 + 3881, 5*i - 4798 = 4*o. Which is smaller: -1211 or o?
-1211
Let b be (-121 + (-7 - -4))/1. Let n be (-79)/b + 9/(-36). Which is smaller: n or -1?
-1
Suppose -3*y - 2*y + 33 = -3*l, y = 3. Let v = 37 + -47. Let h = -17 - v. Which is smaller: h or l?
h
Suppose 281 = -85*v + 366. Is v at most as big as -9752?
False
Let u(r) = r**3 + 20*r**2 - 4*r - 48. Let a be u(-20). Let t = a - 25. Suppose 4*p = -t - 29. Do p and -8 have different values?
True
Let r be ((-15)/(-6))/(-5) + (-32595)/(-410). Is r less than or equal to -17?
False
Let n be 8/28 - 57642/(-2093). Let h = n + -229668/8257. Are -1 and h non-equal?
True
Let o(t) = -5*t - 11. Let u(h) = -1. Let f(l) = -o(l) + 5*u(l). Let i be f(-12). Let b be (36/i)/(4/6). Which is greater: -3 or b?
b
Let f(r) = -r**2 + 41*r + 275. Let u be f(46). Let o = 317/7 - u. Is o < 427?
True
Let s = -290.0353 - -0.0353. Let o = s + 289.89. Are -4 and o unequal?
True
Let r be 1 + (-1 - (-1)/(-2)). Let m = -25.5204 - -0.2204. Let l = m + 25.4. Which is smaller: l or r?
r
Suppose -257 = l - 5*l - 5*r, -l = -3*r - 43. Let j = 75 + -18. Is j at most l?
True
Suppose 3*u - r + 24 = -29, -2*r = 4*u + 54. Let g be (8/u)/((-28)/8). Let w = -0.43 + 0.03. Which is bigger: g or w?
g
Let x be ((80/(-14))/8)/((-10284)/(-7)). Which is smaller: -1 or x?
-1
Suppose -2*k = k - t + 64, -2*k - 2*t = 32. Let g = k - -14. Let p be 1/g + (-198)/(-540). Which is smaller: -1 or p?
-1
Let s be (0 + 16)*2375/20. Suppose -g - 4*g + 5*o - s = 0, 0 = 2*g - o + 763. Are -383 and g equal?
True
Let d be (119/1 + 20/20)*27/(-27). Is d smaller than -121?
False
Let p = -7709960 - -2922077204/379. Let t = -834463/7580 + p. Let l = 429/4 + t. Which is smaller: 4 or l?
l
Let t = 217815 + -61206165/281. Is 0 not equal to t?
True
Let q = 307/371 - 6/53. Let z = -505 - -562. Suppose -57*y + 0 + z = 0. Which is bigger: y or q?
y
Suppose -3*c = -8*c + 35. Let t(l) = -l**3 + 7*l**2 + 3*l - 17. Let u be t(c). Let b be (82/u)/(10/(-20)). Which is bigger: b or -40?
-40
Suppose -2*t + 115 = -7*t. Let q = 3897 - 6190. Let i = q + 6811/3. Which is greater: i or t?
i
Let f = 360959/7497 + -2348/49. Are f and 1 unequal?
True
Suppose -46*h + 48*h - 836 = 0. Suppose 5*a = -4*v + 8*v + 836, -2*v - h = 5*a. Which is greater: -208 or v?
-208
Suppose -20*i + 9*i + 30*i = 8835. Which is greater: i or 3717/8?
i
Let u = 0.78 - 0.7. Let j = 0.166 - -0.914. Let t = u - j. Which is bigger: 0.04 or t?
0.04
Let i = 23705 - 80549605/3398. Which is greater: i or -1?
i
Let w = 0.75 - 9.15. Let z = -8.474 - w. Let d = z - 0.726. Which is smaller: -0.2 or d?
d
Let a = -3.821 + 0.381. Let f = a + 4.44. Is 112/5 not equal to f?
True
Let l = -12940 - -6892. Let m be l/(-3036) - (1 + 1). Which is greater: m or 0?
0
Suppose 3 = 4*m - m. Let r be (18/(-132))/(m/(-10)). Suppose 9*j = 3*j + 8*j. Is j != r?
True
Let z be 3 - (0 + (1 - 0/3)). Let s be (z - -2) + (-5 - -82)*-1. Do -73 and s have the same value?
True
Suppose 2*j - 3*b = 6, 2*j + 8 = -2*b + 4. Let v = -2591 + 1447. Let k be (v/381 + 1 + 2)*2. Which is smaller: j or k?
k
Let s(f) = -f + 22. Let a be s(6). Let r be (-4)/10 + (a/(-10) - 2). Let j(z) = -3*z - 5. Let n be j(r). Is n > 1/2?
True
Suppose 275 + 5377 = 36*n. Which is bigger: 53 or n?
n
Let h = 5411/9 + -600. Let l be (3 + 15)*((-5)/5 - -4). Let i be 4/l - (-58)/(-783). Which is bigger: i or h?
h
Let z = -0.362 - 2.828. Let t = z + 2.19. Which is bigger: t or 0.033?
0.033
Suppose t - 314 = 4*m, 2*m + 3*t - 9*t + 168 = 0. Which is smaller: -79 or m?
-79
Suppose -5872 + 578 = 6*c + 3832. Are c and -1521 non-equal?
False
Suppose -d = 0, 78 = 4*b + 2*d - 38. Let a be (-49503)/(-1827) - (-4)/(-42). Is a less than or equal to b?
True
Suppose 4 - 12 = -2*t. Suppose -2*o + 4*d = 2, 4*o - 5*d + 0*d + t = 0. Which is smaller: -12/11 or o?
-12/11
Let u = 22 + -20. Suppose -3*b = -3*i - 198, -117 = -u*b - 0*b - i. Is b at least as big as -2?
True
Let s be 5/(110/43) + -2. Let w be ((-6 - -6)/(-3))/(2/(-2)). Is w <= s?
False
Let a = 142.58 - 144. Let y = -72.58 + a. Is -1 bigger than y?
True
Let u be 8/(-48) + 5223/18. Let l be (-10)/(-15) + (u/(-102) - -2). Is -2/5 >= l?
False
Suppose -9*l + 218 = -61. Let b(o) = 35*o + 73. Let v be b(-1). Is v > l?
True
Let r(s) = 13*s + 6. Let w be r(0). Suppose -w = 4*u + 3*x, 4*x = 3*u - u - 8. Is u bigger than 4/33?
False
Let k be -15*(5 + 5)*(-3)/(-108). Suppose -12*z + z - 55 = 0. Which is bigger: z or k?
k
Let n = -307 - -315. Let i be ((n/(-2825))/(-2))/((-134)/335). Which is bigger: i or 0.1?
0.1
Let d be 58/957*(-41628)/130. Let p = -97/5 - d. Which is smaller: p or 1?
p
Suppose 0 = c - 5*c - 4. Let p = -3479/78 - -251/6. Let h = 373/130 + p. Which is smaller: h or c?
c
Let y(l) = l**3 - 10*l**2 + 8*l + 68. Let r be y(8). Suppose r*g - 8*g + 100 = 2*u, 0 = -2*g + 4. Are u and 0.05 equal?
False
Let g = -4.51 + 0.61. Let q = g - -4.2. Let t = 1.7 + q. Which is smaller: t or 6?
t
Let j be (1 + -6 - (-197 - -193))*(-4763 - -2). Is 4763 less than j?
False
Let l = 521 - 431. Let j = -89 + l. Which is smaller: j or 18.2?
j
Let m(j) = -j**2 + 13*j - 12. Let n be m(12). Let w be (148/4 - n)*1. Suppose 39*i = w*i + 102. Which is smaller: 52 or i?
i
Let b(x) = -5*x - 25. Let r be (-15)/(105/28) + 1. Let p be b(r). Which is bigger: -16 or p?
p
Let h = 2214.33 + -194.33. Which is smaller: h or -0.3?
-0.3
Let u(w) = -w**2 + 3*w - 4. Let y be u(4). Suppose 217*k - 213*k + 8 = 5*l, 10 = -2*k + l. Is y >= k?
False
Let u = 531 + -524. Suppose 0*d = 5*d + c - u, -c = -2. Which is smaller: d or 3/11?
3/11
Let w = 5569 - 5569.1. Let o = -7.7 - 118.3. Which is greater: o or w?
w
Let f(m) = -m**3 + 10*m**2 - 8*m - 12. Let y be f(9). Let s be y/(4*(-12)/(-5504)). Is -343 less than s?
False
Suppose -37 = 6*p - 79. Let o be 6/((42/20)/p). Which is greater: o or 17?
o
Let h = -21 + 21.06. Let r = h - 9.26. Let v = -6.2 - r. Which is bigger: v or 2/53?
v
Let h = 50 + -42. Suppose -4*p = h + 8. Let b be (-2 + 4)/((-68)/(-16) + p). Is b greater than 8?
False
Let k(s) = 6*s**2 - 32*s + 10. Suppose -z = d - 2, -d - 26*z + 23*z = 4. Let p be k(d). Which is smaller: p or 3/53?
p
Let f(w) = -5*w - 68. Let n be f(-10). Let c be 4/n - (-1611)/(-405). Which is smaller: -0.04 or c?
c
Let n(i) = 9*i + 26. Let u be n(1). Suppose 0 = -6*r - 29*r - u. Which is bigger: r or -42/17?
r
Let t = 40 + -30. Let f be (-40)/(-175) - (-2)/t. Is 2/7 equal to f?
False
Suppose -u + 3*m = m - 822 - 925, 3*m = 0. Which is greater: 3493/2 or u?
u
Suppose -5*t - 2*z = 0, -2*z - z - 15 = 0. Let i be (-720)/63 - 4/(t - 4). Is -10 at most as big as i?
True
Let f = -8891 + 8917. Which is greater: -0.5 or f?
f
Let s(t) = t**3 + 13*t**2 + 49*t - 30. Let d be s(-13). Which is smaller: d or -665?
d
Let q = -164 - -165.4. Let u be (-4 - -9) + 203/(-20). Let b = u - -19/4. Is q at least as big as b?
True
Let n be 0 + 6*((-1326)/60)/13. Is -11 less than or equal to n?
True
Let o be (-160)/(-211000)*-45*2/6. Which is smaller: o or -1?
-1
Supp