t j be (-6)/z*(-2 - (-12)/(-2)). Which is greater: 15 or j?
15
Let w = 0.23272 - -28.76728. Which is smaller: w or -393?
-393
Suppose 0 = -569*x + 606*x + 833980. Which is smaller: x or -22539?
x
Let a(n) = 4*n**2 + 36*n + 14. Let q(k) = k**2 + 12*k + 5. Let u(t) = 6*a(t) - 17*q(t). Let y be u(-2). Is -7 < y?
True
Let l(i) = i**3 + 14*i**2 - 15*i - 15. Let s be l(-15). Let d be (0 - -1)/5 + -11 + (-5848)/(-510). Which is smaller: s or d?
s
Suppose 8*o = 337 - 9. Let c = -43 + o. Let k be ((-8)/(-20))/(c - 0). Is k <= -1?
False
Let j = 0.00463 + -1012.00463. Do j and -1 have different values?
True
Suppose 2*t - 4829 = -3*c, -3*c - 405 + 7656 = 3*t. Suppose 0 = -6*m + 1238 + t. Let x = -7313/12 + m. Is 1 less than x?
False
Let f be (-2)/66*(-25)/525. Let l = -2749/15939 - f. Suppose -t + 8 = -2*h, -t + 2*h - 5*h - 12 = 0. Is t less than or equal to l?
False
Suppose 0 = -56*f + 53*f + 87. Suppose -2*b + 40 = -a, -16*a = b - 19*a - 10. Is b at least f?
False
Suppose -5*l - 4*d = 57, -4*l + 509*d - 56 = 507*d. Is 0 at least l?
True
Let w be ((-1178)/(-27))/(5/30)*9/(-6). Is -392 > w?
True
Suppose 0 = -7*v + 9807 + 6965. Is v > 2395?
True
Let t = 8 + -14. Let z = t - -11. Let k = -1552 + 1552.03. Is k greater than or equal to z?
False
Let f be ((-6285)/(-5725) - 0) + 18/(-30). Which is smaller: 1 or f?
f
Suppose a - 2*g = 20, 5*g + 3 - 8 = -3*a. Suppose -a*w = -28 - 172. Which is greater: -4 or w?
w
Suppose 12 = 3*a - 0. Suppose 8*p - 7*p = -a*p. Is -2/425 <= p?
True
Let m(b) = -2*b**2 - 5*b + 28. Let r be m(3). Let f(i) = i - 3. Let h be f(r). Is h less than -100/13?
True
Let n = 6/5689 + 12862817/11378. Is n > 1130?
True
Let o = -20 - -11. Let i(j) be the third derivative of -j**5/60 + 5*j**4/12 - 31*j**3/6 - 12*j**2. Let z be i(3). Is z at least as big as o?
False
Suppose 6*s - 5*s = 2*i + 9, 5*s = 15. Let k(p) = 2*p + 5. Suppose -3*y - 2*y - 30 = 0. Let v be k(y). Which is smaller: i or v?
v
Let x = -2663351/8868 + -62/739. Let b = x - -300. Suppose -f - 1 = -0*f. Is f greater than b?
False
Let v be 2/(-1*3/(-96)). Let r(u) = 11*u + 1. Let a be r(1). Let m be (-51)/(-2)*(v/a)/(-8). Does -16 = m?
False
Let o = 8.241 - 0.241. Let u = o - 8.3. Is u != 13?
True
Let j be 69 + (-33975)/540 + (14/(-6) - -1). Which is smaller: j or 0.176?
0.176
Let h be (14/(-4))/(2/(-28)). Suppose 0 = -4*m + h - 17. Let q be -27*9/27*(3 + -4). Which is smaller: q or m?
m
Suppose -155*a + 160*a - 50 = 0. Let z be ((-20)/50)/((-2)/a)*2. Is z greater than -6/11?
True
Let b(x) be the second derivative of x**5/20 - 3*x**4/4 - 5*x**3/2 - 15*x**2/2 - 6*x. Let h be b(10). Is h at most -63?
True
Suppose -15*v - 6158 = -1388. Let y = -965/3 - v. Which is bigger: y or -3?
-3
Let z = -386 - -384. Let i be (-3 - -3)*(-3 - z)*-1. Which is bigger: -2/207 or i?
i
Let m = 485 + -520. Let p be m/56 - 3/8. Is 4/39 < p?
False
Let n(v) = -v**2 + 23*v - 109. Let x be n(7). Suppose -5 = -5*u - z, -3*z - 51 = x*u - 54. Is u greater than 1/6?
True
Let x = -89.1 + 76.1. Is x <= -17/5?
True
Let n be 18/3*(4*1 - 225/90). Is n at most 13?
True
Let g be -8 + 3 - (-18 - -3). Suppose -2*t + 5 = 5*v, 0 = t + v + 4*v - g. Is t greater than or equal to -6?
True
Suppose -310*w = -289*w + 29211. Which is smaller: w or -1393?
-1393
Let s = 39984 - 39985. Let x be ((-3)/(117/12))/(-26). Which is smaller: x or s?
s
Let q = -20.68 + 29.68. Which is smaller: -182 or q?
-182
Suppose -n - 2*y = -27, 0 = -n + 10*y - 8*y + 39. Is n < 35?
True
Let k be 90/20 - 31760/(-32). Is 1002 at least as big as k?
True
Suppose 4*r + 2*k - 21348 = 0, -5*k = -11*r + 13*r - 10642. Is r <= 5341?
True
Let f(w) = -4*w**3 + 4*w**2 - 2*w - 2. Suppose 6*c + 6 = 3*c. Let v be f(c). Let b be 4 - (-2)/(8/v). Is b bigger than 16?
True
Let t = -208 - -298. Let d = 12 - t. Is d < -77?
True
Let b = 31.4 + 1.6. Let q = -1 - b. Is q >= -1?
False
Let l(v) = 4*v**2 - 2*v - 37. Let g be l(7). Let w be (-5)/(-1 + (-75)/g). Let i = w - 36/11. Which is smaller: i or 1?
i
Let q(s) = -s**2 - 27*s + 1570. Let u be q(37). Is u > -10?
False
Let n be 2 + 19756/10406 - 8/2. Which is smaller: n or 1?
n
Let l be ((-3)/(-4))/(13*3/790). Let y be (-31)/2 + (-4 - -4). Let u = y + l. Is u != 0?
True
Let f = -264 - -4229/16. Suppose 2*h = -3*u + 2*u - 39, -4*u + 20 = 0. Let n = 21 + h. Is f less than n?
False
Let j = -74.2 - -91. Let p = -16.4 + j. Is p equal to -4/7?
False
Let m(c) = -2*c + 79. Let n be m(32). Suppose n*l + 3838 = -4*l. Which is smaller: l or -201?
l
Let q be 21/9*(-60 + 63). Is q bigger than -359?
True
Let n be (-6)/(-16) + (-74)/(-16) - -2. Let c be (n + 5943/(-854))/1. Does c = -1?
False
Let d = 31 + 5. Let m = d - 14. Let s = m + -23. Which is bigger: s or 1.4?
1.4
Let v be (-15)/((-12)/(-2)*(-9)/36). Suppose -22*n - 108 = -v*n. Let c(i) = -5*i - 30. Let t be c(n). Which is greater: 17 or t?
17
Let n(y) = 4*y + 19. Let q(x) = x + 2. Let k(u) = -n(u) + 5*q(u). Let s be k(10). Which is smaller: s or 2/145?
2/145
Let y = -6202 + 6296. Which is greater: y or 81?
y
Suppose -2*q = 5*c - 4*c - 21, -4*c = -2*q + 6. Let n be (0 - 1)/q*-3*-3. Which is bigger: -10/51 or n?
-10/51
Let f = -625 + 475. Let l be (44/8)/((-3)/f). Are l and 275 equal?
True
Let k(a) = 7*a**3 + 27*a**2 + 39*a + 211. Let u(v) = -3*v**3 - 14*v**2 - 20*v - 105. Let q(b) = -2*k(b) - 5*u(b). Let z be q(-15). Is z not equal to 3/169?
True
Let q(y) = 2*y**3 - 61*y**2 - 35*y - 7. Let s be q(31). Which is bigger: s or 4?
4
Let z be (-8)/(-10) + 33/15. Suppose 3*s = s - m + 15, 5*m - 40 = -z*s. Let b = s - 4. Is -1/12 greater than b?
False
Let d = 0.06576 + -0.16186. Is 3 > d?
True
Let l = -50970 + 50870.956. Let a = l - -0.044. Let n = 113 + a. Which is greater: 0.2 or n?
n
Let l(i) = -i**3 - 2*i**2 + 4*i - 3. Let p be l(-3). Let w(v) = v**3 + 4*v**2 + 4*v - 10. Let s be w(p). Are s and -106 nonequal?
False
Let j = 10880 + -10872.4. Which is greater: j or -17?
j
Let b(m) = -13*m + 167. Let k be b(15). Let q be 44/154 - (-8)/k. Which is smaller: q or -2/173?
-2/173
Let o = -9.9 - 4.1. Let t be 6/(-8) - (16 + (-5071)/308). Which is smaller: o or t?
o
Suppose 0 = -108*d + 112*d + 4. Let q(l) = 4*l**2 - 5*l - 3. Let o be q(d). Suppose 2*u - 25 = -3*s + 6, -5*s = -5*u + 15. Which is bigger: o or u?
u
Suppose 4*o = 2*x - 26, -5*x = 3*o - 36 - 29. Let j = -14 + x. Which is smaller: -12/7 or j?
-12/7
Let m(l) = -l**3 - 7*l**2 + 19*l + 13. Let t be m(-9). Let c(h) = h**2 - 12*h + 4. Let d be c(t). Let k(y) = 5*y + 2. Let x be k(-6). Is d greater than x?
False
Let w = -2708 + 2701. Let a = -17 + 8. Do w and a have the same value?
False
Let c = 524 + -1234. Let r = -713 - c. Which is greater: r or -31?
r
Let m = 19 - 35. Let z = -17 - m. Let w = 0 - z. Is w <= -1/54?
False
Let d be 7/(-2) - (-3)/6. Let f(b) = b**3 + 2*b**2 + 2*b + 2. Let x be f(d). Let g be 21/(-9)*(3080/49)/11. Is g > x?
False
Suppose 6*n + 8090 = -0*n - 4*n. Which is greater: -813 or n?
n
Let i be (-2)/4*(-21 - (-25)/5). Suppose -38*x + 40*x - 4 = 0. Suppose x*b = 4*w + 18, 5*w + 17 = -3. Do b and i have the same value?
False
Let g be 2565/(-504) - (-52)/(-182). Which is smaller: g or -4?
g
Let p = -514.427 + 514. Let m = p + -0.073. Is 0.1 > m?
True
Suppose -2*p - 181 = 3*y, 6*p = p - 3*y - 430. Let x be (-2)/(((-28)/(-21))/(166/3)). Is x less than p?
False
Suppose 76*h - 13420 = 108. Is 173 smaller than h?
True
Suppose -j + 3 = 0, 0 = 3*k - 4*j - 39 + 12. Let q(b) = -b**3 - 5*b**2 - b + k + 18 - 27 + 8. Let o be q(-4). Which is smaller: -2 or o?
-2
Suppose -2*s + 15*z = 20*z - 16, -3*z = -5*s - 22. Let x be (s - -2)*-3*7/42. Which is smaller: 11/10 or x?
x
Let t(i) = -10*i**2 - 7*i - 16. Let n be t(-2). Which is greater: n or -16?
-16
Let a = 52 + -62. Let w be 14/5*(23/2 + -12). Which is bigger: w or a?
w
Let p(y) = y**2 + 20*y - 21. Let t be p(-21). Let m(w) = -5*w**2 + 6*w**2 - 17 + t*w**2 + 13*w. Let o be m(-12). Which is greater: -30 or o?
o
Let q = 0.1259 - -147.0741. Let x = -145 + q. Which is bigger: 0.1 or x?
x
Let r be (-9)/(-4) - (5 + -3). Let j = 2 + 34. Suppose 0 = -11*t + 23*t - j. Which is greater: r or t?
t
Let o be (-1 - 224)*69/(-115). Let h be (-9)/(o/6) + (-558)/10. Let d = h - -56. Which is smaller: -1 or d?
-1
Let s be (64/(-6))/(-2)*(-9)/246. Let t be 6 + -7 + 2 + (-2)/(-1) + -4. Which is bigger: t 