gger: m or 24?
24
Let y be 1*2/(2*1). Let a = -0.02242 - 0.10758. Is y bigger than a?
True
Suppose 0 = 4*h - 14*h + 150. Let o be (2 - ((-99)/h - -5))*-15. Which is smaller: o or -57?
-57
Let o(s) = s**2 + 13*s + 18. Let q be o(-11). Let n be (-6)/(2*q/8). Let l(u) = -u**3 + 4*u**2 - 4*u + 37. Let p be l(n). Are p and -60 unequal?
True
Let v(t) be the third derivative of -t**6/120 + 3*t**5/20 - 3*t**4/8 + 17*t**3/6 - 53*t**2. Let f be v(8). Suppose -2*n - n + 21 = 0. Is f smaller than n?
False
Suppose 8*i - 50 = -2*i. Let n be 175/15*(-4)/(-1190)*i. Which is bigger: 1 or n?
1
Suppose -5*u + 97 = -5*x + 17, 0 = 2*x + 2*u + 40. Let i(h) = -h**3 - 6*h**2 - 7*h - 10. Let o be i(-5). Suppose o = 5*f + 11 + 79. Is f less than x?
False
Let w(q) = -q**3 - 6*q**2 + q + 5. Let f be w(-6). Let n be f/(-2) - 70/(-28). Suppose n*v = -2 - 1. Is v at most as big as -1/26?
True
Let w be ((-612)/24 + 10 + 15)/((-2)/8). Suppose -3*r - 4*b = b + 34, 4*b = -r - 9. Which is smaller: w or r?
r
Let p = -58.1791 + -0.1209. Let t = p + 58.34. Is t greater than -1/7?
True
Suppose 35 = 7*a - 14. Let r = 90 - a. Is 83 bigger than r?
False
Suppose -5*s + 2*s = -p + 7, -3*s + 4*p = 19. Let q be (78/(-7 - s))/((-1)/22). Let b be (-3)/((-36)/q) - 1/(-6). Is b less than 24?
False
Let z = -19.765 - 0.235. Let f = 5.8 - 10.8. Is f at most z?
False
Suppose -40 - 46 = -k. Let n = -85 + k. Let l = -3/4 + 43/60. Which is smaller: l or n?
l
Let r = -1.6 + 73.6. Let d = r - 73. Do -2 and d have different values?
True
Let r be (267/(-54) + 5)/(9/(864/(-16))). Suppose 2*m - u - 13 = -2*m, 3 = -m - u. Let c be m/(-3)*(-3 - 0). Is c smaller than r?
False
Suppose r - 6*r - 31 = -c, -4*c = 5*r - 99. Which is bigger: 35 or c?
35
Let r be (1 - 37)/((-2)/2)*(-4522)/(-102). Which is greater: 1603 or r?
1603
Let w be (-1)/(-4)*(1 + 1). Suppose 4*o - 2*y = 459 - 85, -4*y + 264 = 3*o. Suppose 4*n + 0*n = -o. Which is greater: n or w?
w
Let l be (9/30*-8)/(3/20). Let m(a) = a**2 - 8*a + 12. Let r be m(6). Let p be (r - 1)*8/(32/60). Do p and l have the same value?
False
Let l = 608 - 606. Suppose -s = -5*s - l*m + 206, 4*s - 5*m = 227. Which is greater: s or 259/5?
s
Suppose 23 = -5*q - 2*z, 0 = -2*q + 2*z + 3*z + 14. Let j = 8 - q. Let t = 9 - -1. Which is smaller: t or j?
t
Let m = -673 - 2672. Which is smaller: -3346 or m?
-3346
Let n = 458 + -292. Let a = 256 - 401. Let z = a + n. Which is bigger: -2 or z?
z
Let d(j) = j**2 - 21*j - 45. Let c be d(-2). Which is bigger: c or 1/6569?
c
Let w = -4 + 4. Let i be (2 + -1)*1*(-638 + -5). Let g = -37938/59 - i. Which is smaller: g or w?
g
Let n = 67111/23 + -2923. Which is greater: n or -5?
-5
Let w = 1520/98649 + 2/873. Let x = -0.05392 - 303.84608. Let b = x - -304. Which is bigger: b or w?
b
Suppose -491*v + 5*i + 73 = -493*v, -3*i - 38 = v. Let r be -26 - ((-2 - -2) + 1). Does r = v?
False
Let w(v) = 4*v - 44. Let j = 37 + -20. Suppose -j*m + 187 = -0*m. Let b be w(m). Which is greater: b or -2/141?
b
Let u = -38 - -41. Let b(k) = -k**2 + 2*k + 6. Let h be b(u). Let a = 587/9 + -65. Is h at most as big as a?
False
Let q(b) = b**2 + 22*b + 91. Let m be q(-25). Which is bigger: 1152/7 or m?
m
Let k = 1 + -1.1. Let z be 11*-1 - 3375/(-765). Let r = 295/68 + z. Which is bigger: k or r?
k
Let o(q) = 2*q + 23. Let r be o(3). Let x be (0 - 0) + r + -28. Which is greater: -4/29 or x?
x
Suppose -s = -t + 4, 0 = t + 9*s - 4*s + 26. Which is bigger: t or 766?
766
Suppose 4*b = 2*y + 186, -3*b - 3*y - 101 = -263. Is 29 less than or equal to b?
True
Let w = 87.63 - 87.53. Are w and 1406 unequal?
True
Let j(a) = -3*a**3 - 7*a**2 + 21*a - 7. Suppose 5*p - 6*m + m - 45 = 0, 3*m + 15 = 0. Let g be j(p). Do g and -0.1 have the same value?
False
Let q(z) = -z**2 - 227*z + 9426. Let g be q(37). Which is greater: g or -354?
g
Let l(a) = -a**3 - 3*a**2 + 9*a - 6. Let h be l(-5). Let s be h + 0 + (-1180)/(-1380). Which is smaller: s or -1?
-1
Let y be 46/(0/(-5) - (-1095)/(-60)). Is -4 != y?
True
Suppose -49 = -4*p + o, -35 = -2*p + o - 8. Let i = -40 + p. Is i != -152/5?
True
Let j(w) = 25*w - 174. Let k be j(12). Are 136 and k equal?
False
Suppose 0*j + 5*h = -3*j - 105, -2*j - 2*h - 70 = 0. Let r = -36 - j. Which is smaller: 1/583 or r?
r
Suppose z + 10*z = 66. Let t be z/(-6 + 60/5). Let y be 4 + -2 + (-2)/2. Do t and y have different values?
False
Suppose 3*d = 4 - 4. Suppose -2*x = i - d*i - 1, 2*x = 5*i + 7. Let l be (-32)/2728 - (-2)/(-11). Are x and l nonequal?
True
Let h = 2006/15 + -24317/180. Is 0 at least h?
True
Let i = 334 + -339. Let f be 26/168 - i/60. Is -1 less than or equal to f?
True
Let n(d) = 4*d - 61. Let g be n(21). Which is smaller: g or 12?
12
Let h = 3103 + 226. Is 3329 < h?
False
Let l be 118294/266 - (-4)/14. Let j be -5 + (-5)/l + 5*1. Is -1 >= j?
False
Let y = -8/14709 + -9575471/161799. Is y >= -58?
False
Suppose 0 = -243*f + 238*f + 291*f - 46046. Suppose -157 = -l + 4*b, -5*l - 3*b = -2*l - 486. Is l smaller than f?
False
Let m = 38492314/41 - 938837. Let l = 0 - 0. Which is bigger: m or l?
l
Let p = 223 - 242.1. Let m = 13.1 + p. Which is greater: m or 2?
2
Let i be 21/35 + (-152)/95. Are i and -2/777 non-equal?
True
Suppose d + v + 100 = 0, 22*d + 4*v - 200 = 24*d. Which is smaller: -101 or d?
-101
Let d = 267297/26 + -10282. Is 4 bigger than d?
True
Let g = -477 - -823. Let k = -354.5 + g. Is k < 0?
True
Let c = 3352.2 - 3375.3. Let i = 0.07 + 0.93. Which is bigger: i or c?
i
Let f be (-7600)/11292 - (-26)/39. Which is smaller: 0 or f?
f
Let z = -108 - -109. Let h be (-1)/(-4) + (-39)/(-4). Let p be (4/5)/(548/h). Is p < z?
True
Let u = 17 - 11. Let x = u + -4. Let d(y) = -220*y + 6160. Let w be d(28). Which is greater: w or x?
x
Let x = -2487 + 2351. Which is greater: -0.03 or x?
-0.03
Let y(g) = -g**2 + 14*g + 18. Let z be y(15). Let w(s) = -s**2 - 9*s - 12. Let h be w(-6). Suppose i = -h + 13. Do i and z have the same value?
False
Let c(n) = -2*n**2 + 30*n + 14. Let r be c(-14). Which is smaller: r or -788?
r
Let a be (-13 - (-228)/24)*10/70. Let s = -17/54 + 733/3186. Which is smaller: a or s?
a
Let l = -0.351 + 0.156. Let w = -0.095 - l. Let j = -12309/794 + 1/397. Is j not equal to w?
True
Let r = -12.202 - -13.262. Which is bigger: r or -39?
r
Let q(a) = a**3 - 12*a**2 - 28*a. Let l = 109 - 54. Let d = l + -41. Let r be q(d). Which is greater: r or 1/8?
1/8
Suppose 5*f = 15, 39*v + 117 = 34*v - f. Is -119/5 greater than v?
True
Let d = -15 + 1. Let s = d - -5.3. Let x = 8.6 + s. Is 2/7 >= x?
True
Suppose 3*w + 2*f = -3*f - 14, -5*f - 22 = 4*w. Let c = 1331 + -3326. Let d = c - -9928/5. Which is bigger: w or d?
w
Suppose -13*m + 196 + 272 = 0. Let w be (44/(-16) - -2)/((-9)/m). Is w not equal to 2?
True
Let c = 132 + -132.7. Let l = 680 + -680. Is l >= c?
True
Suppose 257 = -14*k + 7985. Let b = k - 558. Suppose 4 = -r + 6. Which is greater: b or r?
r
Let z = -975613/48 - -20326. Is 2 not equal to z?
True
Let z = 25.555 + -26.555. Let x = 74 + -273. Is x less than or equal to z?
True
Suppose -2094*a + 60465 = -2109*a. Which is greater: a or -4030?
-4030
Let b = 5/301 + -943/2408. Which is smaller: -0.09 or b?
b
Let u(o) be the first derivative of o**4/4 + o**3 + 9*o**2/2 + 13*o - 120. Let l be u(-2). Are -2/589 and l equal?
False
Suppose 3*h - 2051 = -s, -177*h - 4*s = -176*h - 669. Are 683 and h nonequal?
True
Let m = 178 - -191. Let w = -664 + m. Is w > -295?
False
Suppose -11*x + 8*x = 150. Let z(l) = -49*l**3 + l**2 + 9*l - 10. Let q be z(1). Which is smaller: q or x?
x
Let y be (26/81)/((432/234)/(-12)). Is y < -1?
True
Let c(x) = 3*x**3 - 23*x**2 + 54*x - 35. Let z be c(8). Does z = 471?
False
Let l = -198 + 63. Let u = l + 137. Suppose t = 4*p + 26, -3*t + 40 = u*t - 2*p. Is 2/7 less than t?
True
Suppose 7935 + 1545 = 60*g. Do 155 and g have different values?
True
Let g(y) = 5 - 5*y - 3 + 6 - 4. Let w be g(0). Suppose 2*k + 4 = -w*n, 2*n + 4*k + 8 = n. Is n > -3?
True
Let a = -71974 - -71929. Let h = -54 - -8. Which is smaller: h or a?
h
Let a be (-13)/(2/(1 + -3)). Suppose -7 = -12*h + a*h. Let r(n) = -n**2 + 15*n - 6. Let d be r(15). Which is smaller: d or h?
h
Let n = -0.2 + 0. Let d = -9.45 - -7.05. Which is greater: d or n?
n
Let b = -373.2 + 377.2. Let l be 2/(-4) + (-245)/10. Let y be 1*1*(-2)/l. Is y equal