 r?
-1
Let w be 1 + -3 - ((-2 - -2) + -2). Suppose 78*q - 76*q - 16 = w. Which is greater: q or 9?
9
Let d(r) be the third derivative of -r**4/24 + 5*r**3/6 + 10*r**2. Let k be d(0). Suppose 0 = 10*l - k*l - 40. Is l at most as big as 8?
True
Let j be ((-4)/10)/(10/8*203/(-1015)). Let u = 0.1 + 0.9. Let k = u + -2. Is j smaller than k?
False
Suppose 0 = 4*x - 5*z - 913, -5*x - 4*z = z - 1175. Let c be ((-1085)/(-325) + 5)/(x/5). Let o = c + -3/116. Which is smaller: -11 or o?
-11
Let z = 30819 + -30818. Which is bigger: 3/17873 or z?
z
Let c = 9516 + -9396. Is 120 bigger than c?
False
Let q be (36/8)/(0 - -6). Let w = -63 - -41. Let u = -22.2 - w. Is u greater than q?
False
Let z = -1163 - -3520/3. Let s be (-13*1 - (-10 + 0)) + 14. Which is smaller: z or s?
z
Suppose -5*z - 15 = -2*y, 5*y - 21 = 7*z + 11. Is z != 42/733?
True
Let o = 573/4 + -16689/116. Let x be 200/48 - (-1)/(-6). Suppose -2*t + 7*b - 22 = 2*b, 5*b - 16 = -x*t. Which is smaller: t or o?
t
Let o be 628*(-132)/(-7632) + -11. Are o and -1 equal?
False
Suppose -4 = 4*b, 0 = 5*m + 3*b + 2*b + 705. Let s = -61 - m. Which is smaller: s or 80?
s
Let a = 21632/29 + -746. Suppose 10*t = -30 - 0. Let w be t/9 + 5/((-45)/(-12)). Which is smaller: a or w?
a
Suppose -5*f = -5*b + 100, -4*f - 11 = -27. Suppose -b*h = -16*h + 5976. Is -748 greater than or equal to h?
False
Let j(a) = a**2 - 5*a - 6. Let v = 97 - 91. Let o be j(v). Suppose 4*n - 9 + 85 = o. Which is smaller: n or -17?
n
Suppose z + 4*z + g = 56, 3*z + 3*g = 24. Suppose -4*p - 5 + 41 = 0. Suppose 0 = -p*d + 7*d + 6. Is z at least as big as d?
True
Let z be 11*(-8)/(-176) + 55/(-2). Which is smaller: z or -4?
z
Let c be -1*(2313/27 + -16 - 1/(-3)). Which is greater: -59 or c?
-59
Suppose 6*k + 0 = -0. Let u be (k + 0)/((-6)/(-6)). Is -3/17 equal to u?
False
Let w(d) be the second derivative of d**4/12 - 11*d**3/3 - 127*d**2/2 + d - 13. Let m be w(16). Which is smaller: -225 or m?
-225
Let j = -0.34796 - -0.34796. Which is bigger: j or 64?
64
Let n = -157.374 + 0.374. Let f = 11.9811 - 11.9811. Which is bigger: n or f?
f
Suppose 2*q = -4*n + 24, 4*q + 129*n - 126*n - 28 = 0. Suppose -8*x + 3*x + 3*c - 8 = 0, 0 = -2*x + 2*c - q. Which is bigger: x or -2/307?
-2/307
Let l = -2 + 2.08. Let d = 2.92 + l. Let b = 11547843/4 - 2886961. Which is smaller: d or b?
b
Let a(q) = 6*q - 21. Let c be a(18). Suppose -6*s = c - 27. Which is greater: s or -6?
-6
Let b = -4799/21 + 1604/7. Suppose 4*z + 7 = 5*l, 2 - 1 = -z + l. Is z <= b?
False
Let d be (90118/8192 - 1) + 3540/(-354). Which is smaller: d or -1?
-1
Let s = 10493 + -10350. Which is greater: s or 1/3?
s
Let l = -4445/13 - -8805493/25753. Let b = -25601/75278 + l. Let x = b + -3/19. Which is smaller: x or 0?
x
Let y(h) = -h**3 + 18*h**2 - 46*h - 27. Let a be y(14). Which is bigger: a or -12?
a
Suppose 3*i = 97867 - 93172. Is i at least as big as -1/4?
True
Let r = 0.111 + -0.011. Which is greater: -934 or r?
r
Let r = 20 - 29. Let i be (-40)/10 - (-3 + -9)/(-4). Let g = i - r. Are 4/7 and g unequal?
True
Let r(o) = o**3 - 4*o**2 - 7*o + 18. Let y be r(5). Suppose 0*u - 2*u - y = 0, 294 = 2*m + 2*u. Which is smaller: m or 150?
150
Let q = 2849 - 2848. Is q bigger than -2/7453?
True
Suppose -55 = -9*z + 53. Suppose -13*j - z = 1. Let d = 361/2407 + -4/29. Is d <= j?
False
Suppose -84*d + 10721 = -2478 - 3853. Is 203 smaller than d?
False
Let f be (104/(-208))/((-170)/28). Which is greater: -1/2 or f?
f
Let l(i) = i**2 + 4*i - 7. Let s be l(-4). Let o be (1 - (-17)/s)*42/18. Is o at least as big as -3?
False
Let o be -2*(-3)/(-6) + (-31 - -1). Let v(l) = l**2 + 3*l - 8. Let h be v(-7). Suppose -155 = h*f - 15*f. Are o and f nonequal?
False
Suppose 3*u - 6 + 21 = 3*j, 2*u + 6 = 0. Let w be ((-1)/(-2)*0)/j. Which is bigger: w or 1/201?
1/201
Let c be (16 + 6 + -4)/((-6)/4). Let h be 256/12 - (-1 + c/(-9)). Is h greater than 17?
True
Let d(a) = -3*a**2 - 4*a - 2. Let k be d(-4). Let b = -279/8 - k. Suppose -m - 47*c - 3 = -48*c, -6 = 4*m - 2*c. Which is smaller: m or b?
b
Suppose 5 - 17 = -3*s. Let o(i) = -i**2 + 10. Let n be o(-3). Let a be (-63)/3 + s + n. Which is greater: a or -17?
a
Let m be 73/((-2993)/(-738)) - 21. Let d be (-1 - -7)*2/3. Let i be -1 - d*(2 + 0). Is m at most as big as i?
False
Suppose -4*r - 2*f + 37 + 9 = 0, 0 = -3*r - 4*f + 47. Suppose -7 = -5*k - 4*b - 0, 3*k + r = 2*b. Which is greater: k or -1/211?
-1/211
Suppose 0 = 5*a + 2*c - 38, 20*a - 17*a - 3*c = 27. Let x = -2.6 - -8.6. Which is smaller: x or a?
x
Suppose 21 = -3*l, -50 = -w - 71*l + 74*l. Which is smaller: -94 or w?
-94
Let w = 560 + -1185. Let f = -652 - w. Which is smaller: f or 1?
f
Suppose -16 = -k + r - 2, 2*r = -5*k + 56. Suppose 4*i + 12 = 4*b + 3*i, -2*b + 5*i = k. Let d be 90/b + 8/(-16). Which is smaller: 0.2 or d?
0.2
Suppose 5*j + 0*j + 78 = 2*x, -28 = 2*j - 4*x. Let l(w) = 2*w**3 - 9*w**2 + 6*w - 8. Let n be l(5). Suppose n*m + 60 = 43*m. Which is smaller: j or m?
j
Let c = 713/176 + 69/16. Which is bigger: c or 8?
c
Let f be (2/5)/((-2)/10). Let z = 397 + -390. Is f not equal to z?
True
Let s be 3483/(-2091) - 155/(-93). Is 1 > s?
True
Let b = 21 + 67. Let h be 2 + 4 + b/(-17). Is h less than 1?
True
Let f be (-6)/(-2) + 2 + -1 + -1. Suppose -4*b = 4*k - 8*k + 388, 2*b + 179 = -f*k. Which is smaller: -91 or b?
b
Let u(g) = -18*g - 176. Let a be u(-10). Let f = 15 + -13. Suppose 2*z - f = -a*t + 12, 4*z = -t. Is 3 bigger than t?
False
Suppose 2*q - 31*c = -28*c + 41, -3*q + 51 = -c. Is q greater than 42?
False
Let u = 0.09 + -0.19. Let g be (15 - -4)/(38 - (2 + 2)). Let w = 1/2 - g. Which is greater: w or u?
w
Let m(j) be the third derivative of -j**4/12 - 3*j**3/2 + 31*j**2. Let x be m(-7). Suppose -4*k - 5*r = -45, 8 + x = k + 3*r. Is k > 28/3?
True
Let b = 4 - 3.4. Let j be (-484)/20 - (-21)/63*(-36)/(-10). Is j >= b?
False
Let l be (-172)/602 - (-954)/7. Suppose 0 = d - 3*v + 27 + 32, l = -2*d - 3*v. Is -63 less than d?
False
Let l be (-4)/(5*((-12)/5 - -2)). Let v(x) = x**3 - 5*x**2 + 6*x. Let t be v(3). Which is smaller: t or l?
t
Suppose 0 = -89*z - 469971 - 19796. Which is smaller: -5504 or z?
-5504
Let r(d) = -5*d + 81. Let a be r(16). Let i be (-1)/(a/(-2) + 176/(-12)). Is -1 >= i?
False
Let a = 40 + 8. Let y = 90 - 149. Let v = y + a. Which is greater: -1 or v?
-1
Let r be (6 - 3)*(-7)/(105/(-50)). Let v be -16*r/(-40)*(-2)/(-4). Which is smaller: -30 or v?
-30
Let u = -3/10615 - -85511/2091155. Is 1 at least u?
True
Let b(s) = s**3 + 3*s**2 + 4*s + 4. Let k be b(-2). Suppose -3*n + l = 235 + 273, -l + 4 = k. Let i be 91/n + 6/(-4) + 2. Is i bigger than -1?
True
Suppose 2312*w + 31488 = 2300*w. Which is smaller: w or -2625?
-2625
Let r be 92235052/27671745 - (-10)/(-3). Is r <= -1?
False
Let o = -17339/5 + 3468. Which is greater: 0.0206 or o?
o
Suppose 114500 = 6*w + w + 18*w. Which is bigger: 4581 or w?
4581
Suppose 50 = 5*q + 45. Let u be q - 6 - ((-24)/(-2) - -240). Is u equal to -257?
True
Let z be ((-17)/(-17) - -15) + -14. Let t = -1/17 - -173/51. Which is bigger: z or t?
t
Suppose -4*w - 3*o = 1, 4*w - 2*o = 2*w - 4. Which is smaller: -243 or w?
-243
Let m = -3/17699 + 22538/28548487. Which is bigger: -1 or m?
m
Let g be ((-58)/(-145) + 8/5)/549. Let u = g - 14288/3843. Which is bigger: u or -2?
-2
Let r(h) be the first derivative of -h**4/4 + h**3 + h**2 - 5*h + 4009. Suppose 2 - 5 = -s. Let g be r(s). Which is bigger: g or -1/18?
g
Let u = -123 - -123. Let z be u/(6 - 12)*1/2. Is z at least as big as 1/182?
False
Let b = 261 + -259. Let i(j) = 26*j**2 - 4*j + 10. Let s be i(b). Is s bigger than 106?
False
Let x(b) = -2*b - 22. Let r be x(-14). Suppose -3*a - 537 = -3*k, r*k - 558 = 3*a + 10*k. Are a and -182 nonequal?
False
Let s = 5.08 + 37.72. Let j = 9.8 - s. Is -0.1 != j?
True
Let k = 285 + 1081. Suppose -k = 10*t + 14. Is -2/3 at least as big as t?
True
Let o(i) = 7*i**3 + 35*i**2 + 5*i + 4. Suppose 0 = 4*h, x = -7*h + 3*h - 4. Let n be o(x). Does n = 94?
False
Suppose n + 23 = 2*n. Suppose -4*y + 36 = 5*u, 5*y - 1 = -u + n. Let w = -1236 - -1226. Is u at least w?
True
Suppose -5 = o - 36. Suppose 4*w + o = 15. Let z(j) = -j - 4. Let x be z(w). Is -4/55 at most x?
True
Let g be -1 + -6 + 3564/9. Let y be ((-124)/(-3) - -2)/(1/9). Which is bigger: g or y?
y
Le