q?
False
Suppose 0 = -6*n + 61 - 43. Suppose -3*y = -j - 8, 40 = -5*j - n*y + 5*y. Which is bigger: j or -5?
-5
Let v = -318 - -1293/4. Let j be ((-1)/(-3))/((-3)/(-54)). Which is bigger: j or v?
j
Let d(o) = 2*o + 3. Let j be d(-2). Let x be (-4)/(-7)*j/1. Let r(q) = q**2 - q - 30. Let g be r(-5). Which is smaller: x or g?
x
Let g = 2.4 + 0.6. Let i be (3/(-45))/(8/(-170)). Let a = i + -7/4. Is g > a?
True
Let u(a) = a**3 + a + 2. Let h be u(-1). Let r be h + -2 - -5 - 51/15. Is r at most 17?
True
Let f = -350/11 - -17828/561. Let o(u) = -2*u**2 - 12*u - 1. Let z be o(-6). Which is greater: z or f?
f
Suppose 177 = 3*c - 156. Which is bigger: c or 112?
112
Suppose -3*n = -0*f - f - 43, 0 = 2*n + 2*f - 26. Let v be 8/3*(-6)/(-1). Which is smaller: n or v?
n
Let i(r) = 9*r**3 - 10*r**3 + 2*r**2 + 0*r**2 + 2*r. Let z be i(2). Suppose -z*b + q - 6 = 15, 5*q - 25 = 0. Which is smaller: -6 or b?
-6
Let q(l) = -l - 1. Let x(h) = -4*h - 17. Let f(n) = -5*q(n) + x(n). Let b be f(13). Is 3/23 smaller than b?
True
Let a = -0.202 + -0.098. Is 24 at least a?
True
Suppose -8*z - 38 = -134. Let k be (-9)/(-42)*(z/(-9) - 0). Which is bigger: 7/6 or k?
7/6
Suppose 30*f - 33*f = -21. Let a(t) = t**2 - 5*t - 2. Let b be a(f). Let i = 6 - -5. Which is bigger: b or i?
b
Suppose w + 15 = 2*q - 5, 4 = -q + 4*w. Let d(t) = t + 12. Let h be d(0). Is q bigger than h?
False
Let o = -20.029 - -19.8. Which is smaller: o or -2?
-2
Suppose 0 = 4*b + 9 - 1. Let y be b*2/4*-1. Suppose -3*f = -3*t + 6, t - 1 = y. Is -4/7 greater than f?
False
Let f be 1045/(-45) + (-2)/(-9). Let m be -42*(1 - (-42)/(-27)). Let o = m + f. Which is greater: 2/5 or o?
2/5
Let o = 274 + -49. Which is bigger: 226 or o?
226
Suppose -25*b + x = -28*b + 51, 0 = 5*b - 2*x - 74. Which is greater: 19 or b?
19
Let m(l) = -2*l**3 + 40*l**2 + 43*l - 22. Let z be m(21). Which is smaller: z or 1/1460?
z
Let m = -254 - -196. Suppose -60 = 5*v + 20. Let k be m/60 - v/24. Which is smaller: k or 0?
k
Suppose -2*v + 24620 = -0*v. Let k = -86372/7 + v. Let j = k - -8296/287. Is j <= -1?
False
Suppose -3*g - 13 - 14 = 0. Let a(u) = -u**3 - 10*u**2 - 10*u - 5. Let c be a(g). Suppose 5*t = -5*r + 30, 2*t - c*r + 6 = -6. Which is greater: t or 11/6?
t
Suppose 5*t = 3*d - 11, d - 1 = 3*t + 8. Let a be (0/(2 + d - 2))/2. Let o = 574/25 - 23. Is o < a?
True
Let k(y) = y**3 - 23*y**2 + 61*y - 32. Let d be k(20). Is -1/4 bigger than d?
True
Suppose -5*n + 147 = -2*h, -n = 16*h - 13*h + 229. Is h smaller than 7?
True
Let v be (-5)/1 - (-15 - -37). Which is bigger: v or -19?
-19
Let y be -2*(-1 - 1/(-2)). Let x be -13 + 8 + (-3578)/(-28). Let u = x + -123. Which is bigger: y or u?
y
Let x(k) = k**2 + 2*k - 7. Let f be x(-7). Suppose 0*g = -2*g + 4*p - f, -2*g - 3*p = 28. Let q(b) = b**3 - 6*b**2 + 3*b + 5. Let o be q(4). Is g at most o?
False
Let v be -2 + (-6)/((-9)/3). Suppose 3*s = -4*q - 8 - 10, v = -3*s + 5*q + 9. Let j = 34 - 34.3. Does j = s?
False
Let c = -9 + 23. Suppose -6*j = 14 - c. Does j = 2/59?
False
Let x = -31/136 - -6/17. Let l be 736/(-10) + 24/(-10) + 2. Let m = 75 + l. Which is bigger: x or m?
m
Let j = 341 - 322. Which is greater: j or 132/7?
j
Let j(f) = -f**3 - 5*f**2 + 4*f + 7. Let t be j(-7). Let n = t - 55. Which is smaller: n or 23?
n
Let g(w) = w**3 + 8*w**2 - w - 8. Suppose 32 = 2*s - 6*s. Let d be g(s). Is d equal to -6/17?
False
Let u be 32/(-22) + (5 - 4) + 1. Which is smaller: u or 0?
0
Suppose -14*k + 5*k + 2790 = 0. Is k equal to 310?
True
Suppose -282 = -7*s - 289. Which is bigger: -2/189 or s?
-2/189
Suppose n = -3*n + 184. Suppose -2*l - 28 = r - 3*r, -2*r + n = 4*l. Which is bigger: r or 16?
r
Let q = 56 - 31. Let y(o) = -o**2 - 7*o - 1. Let r be y(-6). Suppose -3*i + 103 = -5*t, -3*i + 155 = 2*i - r*t. Is q at least as big as i?
False
Let o be (8/(-24))/((-2)/180). Let y be ((-48)/18)/4*o. Which is smaller: -23 or y?
-23
Let p be 7/((-364)/(-760)) + 2. Let v = p - 9517/572. Let t = v - 8/11. Is 0 bigger than t?
True
Let r be -7 + -9 - 6/(-2). Suppose -2*j + 128 - 12 = 0. Suppose -b - 16 = i, 0 = -0*b - 4*b - 2*i - j. Is b at least r?
True
Let t = -1367 + 1366. Is t less than or equal to -57/10?
False
Let r = -2519 + 284651/113. Which is smaller: 1 or r?
r
Let k be (-8)/10*5/(-34). Let s = k - -145/68. Is s > 1?
True
Let c = 0.45 + -75.45. Let q = 74.9 + c. Is q at most 3/5?
True
Let p = 10 + -9. Let l be 286/6 - (4 - p). Let c = l - 45. Which is smaller: -4 or c?
-4
Let q = -154 + 319. Which is bigger: 164 or q?
q
Let h = -687.6 + 695. Is h greater than 3?
True
Let a = 14.6 - -0.4. Let v be ((-27)/12)/(2/16*-1). Let d be v/(-6) - 114/(-42). Is d at most a?
True
Let z be (-2)/1 + (-13727)/(-6006). Let h = z - 1/78. Is 0 at most h?
True
Let h = -1/19427 + -2642009/1223901. Let u = h - -22/9. Suppose -v - v + 4*m - 2 = 0, -3*v + m + 17 = 0. Is u less than or equal to v?
True
Let l = 6735 - 6735. Let r = 1 + 10. Let z = r - 56/5. Are l and z equal?
False
Let u = 0.11 - 0.01. Let b = 0.6 - u. Let y = -0.57 - -0.47. Is b >= y?
True
Let x(d) = d + 6. Let s be x(-9). Let t be s/(-11)*(-28)/42. Which is smaller: -2 or t?
-2
Let d = 0.75 - 0.55. Let b = -57.08 - -57. Is b < d?
True
Suppose -i + f = 2*f, 2 = -f. Let h be i/8*(21 - 1). Suppose -4*k - 12 = 3*d - 0*k, 2*d + h*k + 15 = 0. Is -5 at least d?
False
Let u = 1199/3 - 401. Which is smaller: -4 or u?
-4
Let w be 1/3 + (-24)/12. Which is smaller: w or -0.3?
w
Suppose -217*u = -233*u - 16. Which is greater: -1/32 or u?
-1/32
Suppose -31*s + 27*s - 32 = 0. Let p be s/(-16)*(1 + 34/(-26)). Are 1 and p equal?
False
Let p = 4.88 - 64.68. Let t = p - -59. Is t less than or equal to 2?
True
Let r be 36/2 - (2 - 2). Let l = r - 14. Let t be (-1)/(l*3/(-57)). Which is smaller: 5 or t?
t
Let b = -230 - -228. Which is smaller: b or -1.7?
b
Let w = 67 - 94. Let m = w + 8. Which is smaller: -16 or m?
m
Let r = -6/113 - 279/1130. Let d be 207/(-210) - 4/(-10). Let x = r - d. Which is smaller: x or 4?
x
Suppose 25*w - 13*w - 36 = 0. Let r = 0.2 - 0.2. Let s = r - 1. Which is smaller: s or w?
s
Let a be 2 + -2 + -2 + 1. Let v be a/(-2) - (-93)/(-114). Let z = 23/133 + v. Is -1 greater than or equal to z?
False
Let i(t) = t - 51. Let j(f) = -f + 52. Let q(c) = 3*i(c) + 4*j(c). Let v be q(7). Is v equal to 2/7?
False
Let r(w) = w**2 - 5*w - 65. Let k be r(-6). Is k != 38/25?
True
Let i be 5*(0 + (-2)/2). Let h = 29004/5 + -5807. Is h >= i?
False
Let m(u) = 20*u**2 + u. Let f be m(-1). Let r = f - 19. Let w be (1/1)/1*r. Is 7 at most w?
False
Suppose 25*y - 18*y - 28 = 0. Let r = 20 - 45. Let x = -21 - r. Is x < y?
False
Suppose -9 = 26*r - 425. Which is greater: 13 or r?
r
Let r = -247 - -246. Are -1/98 and r nonequal?
True
Suppose 47*t - 3513 = 5182. Which is smaller: t or 183?
183
Let h be 40713/107055 - 2/6. Let m = -2/793 + h. Suppose 5*c - 22 = -5*s + 2*s, -4*c = -s - 21. Which is bigger: s or m?
m
Let p = 14.003 + 0.097. Let v = p + -14. Which is bigger: 2 or v?
2
Suppose -89*b - 1144 = -b. Which is bigger: -8 or b?
-8
Suppose -6*j - 127 = 29. Let a = 168 + -166. Is j less than a?
True
Let k(t) = t**2 - 43*t + 95. Let v be k(40). Which is greater: v or -29?
v
Let l = 20 + -31.2. Let o = -2.1 + -1.1. Let h = l - o. Which is greater: h or -2/11?
-2/11
Let i = 3 + 3. Let a = -6 + i. Let j be (16/32)/(6/(-4)). Is j not equal to a?
True
Let o be (-66)/(-99) + (-5)/3 + 426. Which is smaller: 428 or o?
o
Let c be ((-4)/(-2))/((-17)/24055*10). Is -284 >= c?
False
Let d = 1877 + -1964. Do -88 and d have the same value?
False
Let n = 5.925 - -0.075. Let a = 25.2 + -31. Let j = a + n. Which is bigger: j or -0.5?
j
Let h be 4 - (0/(-1))/9. Let s be 0/(2 + -2 - 3). Let y be s - -2*(-2)/18. Which is smaller: y or h?
y
Let i be 42/12*4/84. Let q be 2/(-10) + (-8)/(-40). Which is bigger: q or i?
i
Let y be (-2*2/12)/((-5)/(-135)). Are y and -6 unequal?
True
Let v = 6 - 6.4. Let x = v - -0.4. Let a = x - -0.1. Which is smaller: a or -1/16?
-1/16
Let j be (0 + 1)/(-2)*-10. Let w = -9/2 + j. Is -71 equal to w?
False
Let k(c) = -9*c - 6*c + 4*c. Let g be k(-1). Let s(q) = -13*q**3 - q**2 - q - 1. Let x be s(-1). Do x and g have the same value?
False
Suppose -167*n = -150*n + 34. Let p = 6.6 + -6. Which is smaller: p or n?
n
Let t = -23 - -35. Let b = 965.94 + -954. Le