aller: -24 or m?
m
Let k = -325 + 152. Does k = -174?
False
Let g be (-39)/18 + 2 + (-18300)/360. Is g less than or equal to -34?
True
Let n be 12/(-9) + 0 - -2. Let v = -10 - -5. Let d = 5.1 + v. Which is smaller: d or n?
d
Let b = -2748 + 2745. Is -135 less than b?
True
Let b = 170 + -169. Which is greater: b or -1/472?
b
Let i be (527/124)/(342/(-16)). Let n = 413 + -7439/18. Let f = i - n. Is 1 bigger than f?
True
Let a be (-31)/((-31)/10) - -487. Is a at most as big as 497?
True
Suppose -6*w + 2*w = -20. Suppose d = 2*l + 29, -2*d - w*l + 76 = -3*l. Which is smaller: 36 or d?
d
Let s be 30/40*(-2)/3. Let d = 21 - 35. Let c = d + 14.14. Which is smaller: s or c?
s
Let k = -1825/3 - -608. Let d be -1 + (1 - -1 - 1). Are d and k equal?
False
Let t(j) = j**3 + 6*j**2 + 8*j - 3. Let n be 0 + ((-8)/2 - (-5 + 5)). Let d be t(n). Let k be (0 - 2) + 12/(-9). Which is greater: d or k?
d
Let i = 5.93 + -8.03. Let b = -86 - -81.1. Let d = b + i. Which is greater: d or 0?
0
Let k be ((-208)/(-500) - (-2)/(-5))*1. Which is smaller: k or -1?
-1
Let p(c) = -2*c**3 + 42*c**2 + c - 46. Let h be p(21). Which is bigger: -14 or h?
-14
Let m be (-2)/(-6) + 23/12. Let l = 17.1 + -8. Let s = 8.1 - l. Which is greater: m or s?
m
Let o(g) = g + 31. Let t be o(-62). Let f(v) = -34*v + 1. Let i be f(1). Is t less than or equal to i?
False
Let f = 19528 - 800696/41. Which is greater: -1 or f?
-1
Let x = 0.67 - -0.03. Let i be -9 + -1 + (-798)/(-76). Which is greater: x or i?
x
Let c(u) = 3*u**3 - 4*u**2 + 5*u - 3. Let q be c(2). Let y = q - 14. Does -2/25 = y?
False
Let x be 7/((-3)/(-3 + 2334)). Let s = x - -1495727/275. Which is greater: 0 or s?
s
Let a(d) = 2*d**3 + 12*d**2 - d - 22. Let q be a(-5). Is q <= 30?
False
Suppose 3*w - 4*a = -9, -4*a = -w + 1 + 4. Let p = 231 - 15. Let f be (-2)/7 - p/28. Are f and w equal?
False
Let w = -76 + 78. Let j = w - 16. Is -15 not equal to j?
True
Let y(x) = 5*x - 14. Let u be y(13). Do u and 51 have different values?
False
Let x(w) = -17*w**2 + 51*w + 8. Let y be x(-4). Which is smaller: y or -469?
-469
Let t be 2 + (12/18)/(6/9). Which is bigger: t or 123?
123
Let l be (175/(-196) - -1)/((-6)/4). Suppose f = -0*f. Which is greater: l or f?
f
Let d be -9 - (685/(-5) + -10). Is d less than or equal to 140?
True
Suppose 5*b - 35 = -0*b. Suppose 25 = -5*w, 4*w + 33 - b = 3*x. Suppose -15 = -x*y - 3*y, 4*y = 5*d + 2. Is d less than 3/4?
False
Let h be ((-10)/30)/((-14)/(-12)). Which is greater: h or -552?
h
Suppose 0 = -7*h - 0. Let a be (-18)/(-864) - h/2. Which is smaller: 2/7 or a?
a
Let l be (-1 - -4 - 0)/1. Suppose 47 = -5*i + 5*g + 7, 5*i + l*g + 56 = 0. Let t(n) = n + 22. Let u be t(i). Does 12 = u?
True
Suppose z - 53 = -3*p, 15*p - 22 = 14*p + 4*z. Let g(t) be the first derivative of -t**4/4 + t**3/3 + 16*t - 4. Let m be g(0). Is m at most as big as p?
True
Let o = 0.2 - 0.3. Let m = -0.0995 - 0.1005. Is o less than m?
False
Suppose 0*x + 3*x = 0. Let v = -65 - 70. Let f = -1217/9 - v. Which is smaller: x or f?
f
Let s = 0.244 - 2.244. Is -10 <= s?
True
Let n(j) = 8*j**2 + 6*j + 8. Let q be n(-2). Suppose 2*d + 8 = 3*l - 9, -5*l + q = -3*d. Let m = 9 + -2. Which is smaller: m or d?
d
Let o be ((-885)/8)/(3/4). Does o = -148?
False
Suppose -7*j + 9*j = -12. Which is bigger: -3 or j?
-3
Let c = -46279/96720 - -28/465. Let a = 1/624 + c. Which is smaller: a or 0?
a
Suppose 89 = -5*u + b, 4*u + 47 = 3*b - 22. Let m be (-34)/(5 - 0 - 3). Which is smaller: m or u?
u
Suppose 35 = -10*q + 5. Suppose 2*f + 16 = -4*m, -11 = 5*m + 4. Let z be (-13 + 16)/(q/f). Is z <= 2?
True
Let o = 32 - 31. Let s = 13 - o. Does 14 = s?
False
Let n(u) = 3*u - 2. Let g be n(7). Let k be g/(-6) - 7/21. Is k at least as big as -0.1?
False
Suppose 4*o = -4*o + 72. Let t be o/(-86)*-2*(-2)/(-6). Is -1 > t?
False
Let z be (-2)/19 - (-250)/2375. Is z <= 8/489?
True
Suppose 5*k = 3*i + 457, -i + 6*k = 2*k + 164. Let s = -1006/7 - i. Which is smaller: s or 1?
s
Let b(c) = 13*c + 110. Let o be b(-8). Is 75/16 not equal to o?
True
Let i = -1384.22 - -1400. Let r = 16 - i. Let n = r - 0.22. Which is bigger: 1 or n?
1
Suppose -78 + 3 = b. Let d be b/(-342) + -1*4/24. Is 1 at most as big as d?
False
Let g = -1248 + 834. Let w be (g/70)/(-3) - 14/35. Do w and 1 have the same value?
False
Let n = 3 + -0.9. Which is smaller: n or -7/5?
-7/5
Let a(g) = -g**3 - 6*g**2 - 3*g. Let v be a(-5). Let f be 52/(-30) + (-4)/v. Let h = -9/2 - -4. Which is smaller: f or h?
f
Let r = 1018 - 1031.14. Let o = r - -0.14. Let x = 13 + o. Is x at most as big as -4?
False
Suppose -2*a + 3 = 2*g - 5, 0 = a + 3*g - 4. Suppose 0 = -a*v - 7 - 9. Are v and -4 unequal?
False
Let n = -4.6 - 0.4. Let c(h) = h + 4. Let r be c(1). Is n < r?
True
Suppose -24 = -x - l, -3*x - 32*l = -33*l - 60. Which is greater: x or 29?
29
Let x(g) = -g**2 + 40*g - 239. Let f be x(26). Which is greater: 122 or f?
f
Let u = -39 - -32. Let t be (u + 4 - 1) + 2. Does -6/7 = t?
False
Let g be 1*5*(-56)/20. Let k be g/(-4)*4/7. Suppose k*i = 5*l - 44, l - 4 + 0 = 2*i. Is l at least as big as 9?
True
Let c = 24 - 23.86. Let u = c + -3.14. Is -24 at most as big as u?
True
Let y = 3072 + -95252/31. Which is smaller: y or -1?
-1
Suppose -3*t + 2*k - 5*k = -18, k - 10 = -5*t. Let f(w) = 12*w**2 + w. Let u be f(t). Let o = u + -23/2. Which is bigger: o or 3?
3
Suppose 0 - 1 = -s. Let l = 34 - 34. Suppose l - 4 = -p. Is s bigger than p?
False
Let y(d) = -8*d**2 + 52*d - 7. Let o be y(6). Suppose 45 = q + 2*q. Which is greater: o or q?
o
Suppose -9*m + 13 = 4. Which is bigger: -1/211 or m?
m
Let u(l) = -2*l + 13. Let f = -48 + 54. Let y be u(f). Which is greater: y or -0.01?
y
Let o(l) = 3*l - 1 - 2 - 6 - 1. Let k be o(9). Suppose -5*f = k + 13. Which is smaller: f or -0.1?
f
Let o(t) = 4*t**2 + t - 1. Let a be o(1). Suppose -5*g = z + a, -3*g - 40 = -5*z + 2*g. Let q = z + -11. Which is smaller: q or -6?
-6
Suppose 0 = j - 291 + 237. Suppose -2*m - 144 = 2*h - j, -2*h + 3*m - 65 = 0. Is -39 greater than h?
True
Let f be (-132)/(-330)*55/(-2). Which is greater: -10 or f?
-10
Let y be 978/489 + (-357)/353 + -1. Which is greater: y or 1?
1
Suppose -2*q + 8 = 0, -4*c - 2*q = 3*q - 40. Is c at most 70/11?
True
Let d = 0 + -2. Let h = 36 + -80. Let n = h - -44.1. Which is bigger: n or d?
n
Let d be 3/(-2)*(3 - -3). Let a be (24/d)/((-2)/(-3)). Which is greater: 3 or a?
3
Let p = 126/23 - 7480/1357. Let a = -89/885 - p. Which is smaller: 1 or a?
a
Suppose 4*i - 2*l = 146, -i + 3*l + 26 = -23. Which is smaller: i or 32?
32
Suppose 5*n + 20 = 9*n. Let j(r) = -5 - r**2 - 2 + 3*r - 11*r. Let t be j(-6). Do n and t have the same value?
True
Let x be (-14)/35 + (-5139)/15 - -2. Is x greater than or equal to -342?
True
Let f = 0.01 + -0.22. Let d = f + 0.31. Let x = -0.8 + d. Is x less than or equal to 0.1?
True
Let v = 75.122 - 0.122. Let x = v - 75.2. Is x less than -12?
False
Let x be -6*(-46)/(-8) - (-12)/8. Which is smaller: x or -34?
-34
Let u be (-2)/7 + 51/7. Let y = 14 - u. Suppose 0 = -5*h - 3*n + 35, 4*n + 0*n = -h + y. Which is greater: 6 or h?
h
Suppose -2*v + 3*r + 49 = 0, -v - 94 = -6*v - 2*r. Suppose 0*p = 4*p - v. Which is greater: p or 0?
p
Let l be (-12)/128*-292 - (-3)/12. Is 27 > l?
False
Let s(m) = -m**3 + 17*m**2 + 21*m - 15. Let g be s(18). Suppose 0*j - j - g = 0. Let r be (-6)/j + (-126)/(-26). Is 4 > r?
False
Suppose 3*a = -4 + 34. Suppose -5*p - 2 = 2*z - p, 2*z - 2*p - a = 0. Is z > 4?
False
Let h be ((-594)/11396)/((-2)/(-12)). Let j = h + 1/37. Is j <= -10?
False
Let t = 7.37 + 0.13. Let v = 4.4 - t. Is -1 less than v?
False
Let a = -9.9 - 2.1. Let b be ((-12)/(-16))/((-28)/(-8) + -2). Do a and b have the same value?
False
Let k be (12/2)/(39/26). Suppose 3*m - 2*n - 57 = 9, -k*m = -5*n - 81. Is m < 26?
True
Suppose -2*j + 3*l = -2, -3*j - 8 = 2*j - l. Let m be 1/j + (-1)/(-2). Let v = -881/8 - -9659/88. Is m > v?
True
Suppose 4*t = b - 325735, -1302940 = -4*b - t - 0*t. Let o = b + -53746043/165. Let d = 14/11 - o. Which is bigger: 0 or d?
0
Let v(g) = -g**2 + 8*g - 15. Let u be v(8). Is u <= -8?
True
Let o = -1712 + 1707. Which is smaller: -4.7 or o?
o
Let d = -19 - -11. Let y = -95.7 + 96. Which is bigger: d or y?
y
Let i be 0 + 29 - (-3 - -1). Suppose -5*w - m + i = 10, -17 = -4*w - m. Let o(h) =