aller: -97 or q?
-97
Let a = 41130 + -41130. Which is smaller: a or 4/797?
a
Let i = -8215 - -8222.589. Let y = i - 7.55. Is y at least as big as 4?
False
Let l = 2882 + -2889. Let n = -0.3 + -0.1. Which is smaller: l or n?
l
Let j = -34.306 - -33.456. Which is bigger: j or -15/28?
-15/28
Suppose 2*t = -6, -d + 2*t - 15 = 7*t. Suppose -62 = -12*m + 8*m - 5*y, 4*y - 46 = -3*m. Let p be 60/1365*21/m. Which is smaller: p or d?
d
Let f be ((-26)/(-728))/(89/8). Suppose h + 4*d - 21 = 0, -3*d = 3*h - 4*d + 2. Which is bigger: f or h?
h
Suppose k - 6 = 1. Let x be k*(4 - (-48)/(-14)). Suppose 5*z - 14 + x = 0. Does 4 = z?
False
Let w = 95 - 94.66. Let k = w + -0.14. Let n = 4.2 - k. Which is smaller: -14 or n?
-14
Let p = -512.773 - -513. Let s = p - 0.277. Is s at least -4?
True
Let y = 14.6501 + 0.3199. Let j = y - 14.8. Which is bigger: j or -2?
j
Let g = -515.2 - -101.2. Let t = -144 - g. Which is greater: -2/5 or t?
t
Suppose 2*a - 864 = -3*g + a, -4*a = -5*g + 1423. Which is bigger: 860/3 or g?
g
Let y = -155 - -83. Let q = 1152 - 1026. Let c be (146/12)/((-21)/q). Are y and c unequal?
True
Let p be (4868/12)/(3/(-9)). Which is smaller: -1218 or p?
-1218
Let b(c) be the second derivative of 2*c**3/3 - 137*c**2/2 + 74*c. Let l be b(31). Suppose 3*t + 30 + 3 = 0. Is t not equal to l?
True
Let j be ((-902)/(-16))/((-196)/(-16)). Let h = -5/49 + j. Suppose -2*r + 5*r = 12. Which is greater: h or r?
h
Let v be (-3)/(72/13252)*((-10)/(-5) + -5). Are 1656 and v unequal?
True
Let r(c) = -10*c**2 + 133*c + 26. Let a be r(-12). Which is bigger: a or -3006?
-3006
Let j be 188/(-940)*778/1. Which is greater: 12 or j?
12
Let m(c) = -c + 55. Suppose -3*o - 47 = o + 3*t, 0 = 2*o + 3*t + 31. Let q be m(o). Suppose -a + 64 = -f + 6, a + 4*f = q. Which is greater: a or 60?
60
Let b be 48/10 - 11/(-385)*7. Suppose x + 2*u = -b, 10*x - 4*u = 5*x + 3. Is x > 38.7?
False
Let v = -534 + 396. Let s = -143 - v. Which is greater: -9 or s?
s
Let r be ((-2)/(-8))/((-652890)/(-217640) - 3). Let u = -1855 - r. Is -42 equal to u?
False
Let u = -15.376 - -14.376. Is 4.907 greater than u?
True
Suppose -l + 1500 = 2*r, l + 12 = 3*l. Is r <= 748?
True
Let t(q) = -q**3 + 20*q**2 + 211*q - 115. Let w be t(23). Which is bigger: 3152 or w?
3152
Let m be ((-4)/(-32))/(((-14)/(-16))/7). Which is smaller: m or 59/73?
59/73
Let f = 4309 - 4310. Is f not equal to -1.015?
True
Let q(m) = 2*m**3 - 5*m**2 - 42*m - 8. Let p be q(6). Which is greater: p or -97?
p
Suppose 0 = -5*f - 33 - 22. Let c(m) = 2*m + 24. Let x be c(f). Suppose x*s + 19 = 21. Do -1/11 and s have the same value?
False
Let o = -553.8891 + -0.1109. Let y = 554.2 + o. Is 4/9 <= y?
False
Suppose -15*v = 2660 - 19925. Let i = -19560/17 + v. Which is smaller: i or 1?
i
Let p(s) = 113*s - 4680. Let n be p(41). Which is smaller: -131 or n?
-131
Let o = -42041 + 330778587/7868. Which is smaller: o or 1?
o
Let b(c) = 10*c + 6. Let n = -677 + 675. Let k be b(n). Are 1/4 and k nonequal?
True
Let w = -4830 + 4231. Does w = -600?
False
Let k be (-2 - (-33)/27) + 1. Let u = -593.043 - -593. Let w = u + 1.943. Which is smaller: k or w?
k
Let t = -39096/7 - -5546. Let o(h) = -h**2 + 3*h - 10. Let m be o(7). Are m and t equal?
False
Let p(v) = -2*v + 7. Let i be p(-9). Let o be 4/(-8) - i/(-10). Suppose j + o*s = s + 6, -4*j + 25 = 5*s. Which is bigger: 1 or j?
j
Let f(s) = -3*s**3 + 64*s**2 - 10*s + 68. Let t be f(21). Which is smaller: t or 298?
298
Suppose 20*w - 26290 = -26310. Is -396.1 bigger than w?
False
Let c = 638 + -4468/7. Let m = 135197/34 + -3976. Is c at least m?
False
Let y = -94 + 160. Let h be 1380/(-154) - 12/y. Let u = 4561 - 4571. Is u less than or equal to h?
True
Let f be 8/24 - 807/(-9). Suppose -7*k = -5*k + f. Let p be (18/k)/(2/(-13)). Do 3 and p have the same value?
False
Let c = -1084 - -352. Which is bigger: c or -0.1?
-0.1
Suppose 88 = 4*p + 72, -4*p = -2*o - 2542. Is -1261 bigger than o?
True
Let q be 11/228*(-32)/(-7392)*42. Suppose 4*b = -0*b - 4. Is q at most as big as b?
False
Let j = 242 + -734/3. Which is greater: -3 or j?
j
Let n be (-16)/40*(-2 - -7). Let m be 186 - n/(0 + -1). Let o = m - 1672/9. Is o >= -2?
True
Let p(i) = -3*i + 50. Let o be p(12). Let k be (-3)/(-6) - (-13 + o). Which is greater: k or -149?
k
Let l be ((1 - 2)*-5)/((-120)/(-48)). Suppose 0 = -2*a - 8, -5*r + l*a - 5 = -13. Is r bigger than 2?
False
Let z(j) = 303*j + 1351. Let b be z(-4). Is -2 less than b?
True
Let m(u) = 5089520*u**3 - 2*u**2 - u + 11. Let w be m(4). Let b = 736473831313/2261 - w. Let s = b + 120/19. Which is smaller: 1 or s?
s
Suppose -9*c - 8*c = 663. Let i be (-13)/c - (-1 - (0 - 2)). Which is smaller: -0.008 or i?
i
Let g = 33.678 - 33.6. Let y = -0.032 - g. Are -0.14 and y unequal?
True
Suppose -30*f + 15 = -25*f. Let u(w) = 2*w**3 + 18*w**2 - 9*w - 23. Let l be u(-8). Let h = 182 - l. Is h greater than f?
True
Let g(h) = -h**2 + 49. Let j be g(8). Let r(a) = -3*a - 46. Let z be r(j). Let u = -39/20 - -6/5. Is u > z?
True
Let a(h) = -590*h + 2869. Let t be a(5). Let s(w) = -19*w + 7*w - 5 - 3*w. Let c be s(5). Is t at least as big as c?
False
Let w(k) = k**2 + 13*k + 38. Let o be w(-11). Suppose o*y + 84 = 20*y. Which is smaller: y or -0.2?
-0.2
Suppose -558*j + 634*j = 76. Is j bigger than -2/9915?
True
Let k(t) = 18*t - 218. Let f(h) = -h**3 - 11*h**2 - 18*h + 9. Let w be f(-9). Let u be k(w). Is -47 bigger than u?
True
Suppose -13*k = 2*y - 9*k + 38, -4*y - 2*k - 88 = 0. Let j be (y/(-207))/(2 + 74/4). Is 1 smaller than j?
False
Let v = -4096040406 - -225276080857/55. Let q = v + 111673. Let i = q + -126/11. Which is greater: -3 or i?
i
Let r = 7 - -2. Let t be (r/3)/(18/12). Let m(o) = 4*o - 8. Let l be m(t). Which is smaller: l or 4?
l
Let c be 1/(12/(-9)) - -1 - 10/8. Is 13/657 >= c?
True
Let z = -1.996 + 1.98. Let k = 126.584 - 127. Let v = z - k. Is -0.8 greater than or equal to v?
False
Suppose -96 = -0*q - 6*q. Suppose -a - q = -11. Let c be 4/14 + (2370/42)/a. Which is greater: -57/5 or c?
c
Let y = 1.6 + 2.4. Let r(s) = 5*s**3 - 410*s**2 - 38. Let x be r(82). Which is smaller: y or x?
x
Let v be (-16)/44*1605/180. Which is smaller: v or -3?
v
Let w(o) = -o**3 + 6*o**2 + 12*o - 30. Let y be w(5). Which is smaller: y or 45?
45
Let j(v) = 200*v**2 - 259*v - 2379. Let z be j(-9). Is 16152 at most z?
True
Let o = 280 - 2519. Let l = 24665/11 + o. Is 3 at most l?
True
Let i be (9140/(-16) - 1) + (-84)/48. Is -572 less than i?
False
Suppose -a + 24 - 21 = 0. Let j(o) = -o**3 - 12*o**2 + o + 14. Let z = -24 + 12. Let p be j(z). Which is smaller: p or a?
p
Let a = -2688 - -3000. Is 314 <= a?
False
Let y = -7443 - -7447. Is y equal to -1071?
False
Suppose 4*b - 6*b + 10 = 0. Suppose 4*g = -5*y - 28, -g - 12 = -b*g. Let r be ((-1)/2)/(-6*2/y). Do 19 and r have the same value?
False
Let u = -3 + 2.8. Let i be (49/((-3675)/(-90)))/(6/(-195)). Is u > i?
True
Let i = 2.64 + -2.34. Which is smaller: i or 0.111?
0.111
Let b = -112 + 48. Suppose 9*w - 6*w = 219. Let g = b + w. Which is smaller: 7 or g?
7
Let r = 0.0745 - 2.2945. Which is smaller: 1/7 or r?
r
Let k = 24101 + -23231. Is 16 greater than or equal to k?
False
Suppose -3*q + 42 = 2*i, 2*i = 3*i + 4*q - 31. Let a be (-5 + 2)/(1 - i). Let j(s) = s**2 - s - 3. Let u be j(-1). Is u != a?
True
Let q(r) = -5*r**2 + 9*r + 3. Let f(n) = 10*n**2 - n - 1. Let y be f(-1). Suppose -3*b - y + 4 = 0. Let m be q(b). Is -35 at most m?
True
Let i = -3633431/741750 - 1/10750. Is -4 at most as big as i?
False
Let a be (900/27)/(3/(-198)). Is a bigger than -2200?
False
Let q(i) = 22 + 12 - 8 - 10*i - 1. Let p be q(10). Is -75 less than p?
False
Suppose 0 = 32*x + 16 + 176. Let y be (360/26)/6 - x/(-3). Are -32 and y non-equal?
True
Let i(f) = 5*f - 83 - 2*f**2 + f**2 + 14*f + 4*f**2 - 4*f**2. Let n be i(9). Is n smaller than -26?
False
Let j = -1112/9 - -5569/45. Is 1 smaller than j?
False
Let x = -4338 + 4339. Is 0.2259 greater than or equal to x?
False
Let r = 48 + -45.9. Let p = -13.9 - r. Let w = 3.28 + -3.58. Which is greater: p or w?
w
Let i = -12496 + 12495. Which is greater: -28/53 or i?
-28/53
Let u be (560/25)/16 + (-9090)/(-25). Is u at least as big as 10?
True
Suppose 85216 = 81*a + 271273. Is a equal to -2297?
True
Suppose -12*c + 15*c - 267 = 0. Let 