(-63)/l) + (-2)/(-9). Does z = -9?
False
Let o(n) = -5*n**2 - 10*n + 54. Let a be o(8). Let t = a + 176. Which is bigger: -171 or t?
t
Let o = -3854 - -3510. Is -342 <= o?
False
Let h be 3 + (48/(-6) - -4). Suppose 0*b - 2 = 2*b. Let x be b - (1 - -3 - 1). Is x >= h?
False
Let k(n) = -n**3 - 3*n**2 + 3*n - 2. Let d be k(-4). Let q(l) = 30 - 8*l - 60 + 25 + 5*l. Let t be q(d). Is -13 greater than or equal to t?
False
Let a be 1/(-2) - ((-610)/100 - -6). Let c = -17 + 15.64. Let q = -1.3 - c. Is a <= q?
True
Let g(u) = u**2 - 24*u + 66. Let c be g(21). Suppose 9 = -25*y + 29*y + c*j, -2*j = 5*y - 6. Which is smaller: y or 3/127?
y
Let m be (65*-1)/((912/209)/16). Is -237 at most as big as m?
False
Let w = -30718 + 22139. Do w and -8578 have different values?
True
Let d be (6/(-232))/(168/(-224)). Which is smaller: d or -29?
-29
Suppose -20*i + 0 = -28*i + 8. Let c be 4/3*(3 + -6). Let v be c/182*(-3)/6. Which is smaller: i or v?
v
Suppose 5*c - 10 = 10*v - 5*v, v + 20 = -5*c. Let t = 35 + -51. Which is smaller: c or t?
t
Suppose 6*k - 20 = k. Suppose -4*f - y + 4 = 0, -f - k = -3*y + 8. Let c be (-33 - 1104/(-32))/((-7)/2). Is c at least as big as f?
False
Let v be (4/(-3))/((-11)/33). Let r(m) = -m**2 - 2. Let c(s) = -3*s**2 - 25. Let x(h) = c(h) - 4*r(h). Let o be x(v). Which is greater: -4/9 or o?
-4/9
Suppose 7*g - 394 = 9*g. Let s = g - -209. Are -0.7 and s equal?
False
Let f be 1*0*(-1)/6. Let q be (-2)/27*(-2 + f). Which is bigger: -1 or q?
q
Let t be (-18326)/1479 + 98/21. Which is smaller: 1/5 or t?
t
Let c = 88617/730 - 607/5. Let x be (5786/(-3212))/(2*(-5)/2 - 24). Let z = c - x. Which is greater: z or 2/3?
2/3
Let d(j) be the third derivative of j**6/120 - 31*j**5/60 - j**4/8 + 47*j**3/3 - 61*j**2 - 1. Let m be d(31). Which is smaller: m or -14/31?
-14/31
Let c = -23 - -27. Suppose -2 = 5*v + 3*d + 73, 0 = -c*v - d - 67. Which is bigger: -16 or v?
-16
Let d = 20.9 - 20. Let s = -274 + 175. Let o = 493/5 + s. Is o > d?
False
Let y = -637 - -632. Let k = 158 + -151.92. Let o = -0.08 + k. Which is smaller: o or y?
y
Suppose 664 = -5*y + 2*b - 101, -4*y - 3*b = 635. Let z be (9/(-4))/(y/(-40) - 4). Is -4 greater than z?
False
Let o be (-1*3/780)/((-4)/21815). Let v = o + -280/13. Which is smaller: -1 or v?
-1
Let a(q) = q**2 + 16*q - 18. Let y be a(-16). Let x be y*2/12*-2. Let h = x - -4. Is 10 less than h?
False
Let p(o) = o**3 + 74*o**2 - 113*o - 1126. Let m be p(-75). Which is smaller: -2 or m?
-2
Suppose -148 = 7*w - 3*w. Suppose 105 = 42*c - 117 + 1776. Is c < w?
False
Suppose -5*v = 10, -4*g + 4*v = -395 + 59. Is 87 greater than g?
True
Suppose w + 2*w + 2*t = 264, -285 = -3*w + 5*t. Let m be ((-24)/w)/(92/43518). Let s = -632/5 - m. Is 1 less than s?
False
Let f = 10590 - 10114. Do -7 and f have the same value?
False
Let m = -2545 - -2592. Is -3.8 smaller than m?
True
Suppose 398*a - 580*a - 436254 = 0. Which is smaller: a or -2396?
a
Suppose 3*w - c - 48 = w, 3*c = -12. Suppose -125*y + 4239 = -78*y + 110*y. Does w = y?
False
Let p be (3*(-112)/(-126))/((-26)/(-3)). Suppose 3*d = -3*z - 3, 3*d = -0*d + 2*z + 17. Suppose 0 = -2*a - d + 5. Is a != p?
True
Suppose 0 = -y - 26 + 24. Let l(o) = o + 6. Let b be l(5). Is y greater than b?
False
Let r = -3156.06 + 3123. Let k = -9.06 - r. Which is smaller: k or -0.1?
-0.1
Let k(z) = z**2 - 10*z + 20. Let r be k(12). Let p be (-3 - (3 - 6))/(3/(-3)). Suppose 213 = 5*c + 3*w - 0*w, p = c - 2*w - 40. Which is smaller: c or r?
c
Let s be 14/18*(-40)/7. Suppose 5*v = 0, -4*v + 9*v = 5*f + 2*v + 15. Is f less than s?
False
Suppose -5*i - 2*l - 109 = 0, 0*i - 3*l = -i - 15. Suppose -w + 2*w - o = -18, 5*w + o = -72. Let v be 12/(-14)*(0 - i/w). Is 1 > v?
False
Let a be 166/5*20930/(-644). Which is smaller: -14016/13 or a?
a
Suppose 0 = -3*j - 3*r + 21, 2*j - 2 = r - 3. Let t be (-198)/(-56) + -3 + j/(-7). Which is greater: t or -5/2?
t
Let b be (1 - 2)*0*1. Suppose -9*d = 5*k - 5*d - 13, -4*k + d + 2 = b. Is k at least as big as -19.2?
True
Suppose -2*c + 2*a + 700 = -1990, -3*c + 4049 = -5*a. Which is smaller: c or 5355/4?
c
Let l(k) = -2*k**3 - 3*k + 4. Suppose 4*m = 8*m - 8. Let x be l(m). Let u = 19 + x. Is u != 4/5?
True
Let v = -1150 + 10352/9. Which is greater: v or -148/9?
v
Suppose 4*a + 98 = n + 37, -3*a = -5*n + 271. Let r = n + -37. Let l = -0.1 - -0.2. Which is smaller: l or r?
l
Suppose -47*p + 45*p + 3*b + 29 = 0, p + 2*b - 32 = 0. Which is smaller: p or 9?
9
Let t be 1795/718 + (-118)/16. Do -6 and t have different values?
True
Let j be (-4)/38 - 81725/(-4750). Which is smaller: j or 17?
17
Suppose -5*q = 10, -2398*q = -i - 2397*q + 643. Which is bigger: 5765/9 or i?
i
Let t(p) = -p**2 - p - 1. Let s be t(-3). Suppose 5*m - 16 + 6 = 0, -3*j + 4*m = -7. Suppose -4*l = -16, -2 - 10 = 4*g + j*l. Is s >= g?
True
Let o(x) = -171*x - 2120. Let w be o(-12). Do -21 and w have the same value?
False
Suppose -7*v + 8*v = -3. Let n = 13.12 - -3.88. Which is bigger: n or v?
n
Let d be 26/(-618)*(-2994)/(-1260)*10 - -1. Which is bigger: d or 1?
1
Suppose -4*a = f - 108, -a + 218*f = 221*f - 38. Which is greater: 236/9 or a?
236/9
Suppose -2 = -y - 3. Let k = 57 + -49. Let s be k/(-10) - ((-15680)/(-3025) + -6). Do s and y have the same value?
False
Let j(r) = r**3 + 7*r**2 - 7*r + 17. Let v be j(-9). Let t = 27 + v. Let i = t - -75. Which is smaller: i or 19?
19
Let u be (21/63)/(4/(-12)). Is -15/907 at most as big as u?
False
Suppose -2*m = 0, -4*w + 3976*m - 39320 = 3979*m. Is w != -9829?
True
Let u = -10715 + 10351. Which is smaller: -3/4 or u?
u
Let t = 0.042789 + -23.983789. Let s = t - 0.059. Let l be 2 + (-3)/((-4)/(1 - 3)). Do s and l have the same value?
False
Suppose 0 = 2*g + 3*r + 4 - 11, r = 5*g - 43. Let a be g*119/478 + -2. Which is smaller: -1 or a?
-1
Let g be (-1002)/(-21) - (2 - (-16)/(-7)). Suppose g = -3*c - c. Let m(b) = 3*b + 26. Let w be m(c). Which is bigger: -5 or w?
-5
Suppose -4*j - 4*q + 176 = 0, 268 = 4*j + 5*q + 97. Suppose j = 27*t - 113. Is t at least as big as -51?
True
Suppose 5*j - c - 832 = c, c + 333 = 2*j. Suppose -26 - j = 6*w. Suppose u - 2*u - 3*z = 21, u - 2*z + 41 = 0. Is u at least w?
False
Let f(x) = 43*x**3 + x**2 + 4*x + 6. Let d be f(-2). Let i be ((-1)/3)/(3/9). Let l be i/(-5) + d/810. Is 0.2 greater than or equal to l?
True
Let o = 1337635/1947 - -2152/177. Let t = o - 700. Suppose 2 = -2*h - 0. Are h and t unequal?
True
Let t be 2/4 + (-37)/(-2). Let p = t - 16. Suppose p = y, 2*x + 4*y = -7 + 17. Which is greater: x or -9/8?
x
Let i be 24*(-8)/(96/9). Let f be (-83)/5 - (-132)/(-330). Is f not equal to i?
True
Let g = -90887/11448151 - -20/2453. Which is greater: g or -1?
g
Suppose -l + 117 = 4*z + 37, -5*z + 370 = 5*l. Suppose -75*o = -l*o - 24. Do 17 and o have the same value?
False
Suppose -49 = -9*v - 49. Let b = -539 + 145. Is v not equal to b?
True
Suppose 8*m - 6*m = -18. Let o(w) = -w**3 - 11*w**2 - 16*w + 20. Let b be o(m). Suppose b*n - 2*q + 43 = -n, -29 = n + 3*q. Do n and 0.2 have the same value?
False
Let k = 17 + -9. Suppose k*q = 9*q. Let t be (-5)/15*(-54)/(-342). Is t greater than or equal to q?
False
Let n(v) = v**3 - v**2 - 2*v. Let y be n(2). Suppose -16*o + y*o + 80 = 0. Which is smaller: 0.06 or o?
0.06
Let f be (-10)/3 + 2 - 18/(-567)*42. Let u be 2/(-3) - (-4)/6. Is u less than f?
False
Let l = 0.255 - -134.745. Let q = l + -135.66. Which is bigger: -1 or q?
q
Let h be (-20)/2 - 20/630*-657. Is 5/9 greater than or equal to h?
False
Let s = 37.598 - 37.2522. Is s >= 6?
False
Let t(z) be the first derivative of 14*z**2 + 16*z + 35. Let p be t(-4). Let u = p - -73. Which is smaller: u or -3?
u
Let d(p) = 177*p + 2759. Let q be d(11). Is 4706 <= q?
True
Let w = -1/3015 - -171857/6030. Which is greater: 30 or w?
30
Let f be 2/(-10) - (568/(-40) + 15). Is 12093 at most as big as f?
False
Let m(s) = -2*s**2 - 23*s - 59. Suppose 0 = 3*c - 9, 5*c + 7 = -4*q - 2. Let k be m(q). Are 19 and k nonequal?
True
Let i(d) = d**2 + 19*d + 18. Let b be i(-18). Let p = 43.2832 + -0.2832. Which is greater: b or p?
p
Let c be (10/12*(-39)/(-65))/((-1)/(-3628)). Which is greater: c or 1816?
1816
Let k be 4*-1 + 2 + 6. Suppose 0 = -n - k*n + 3*q + 60, -2*q - 10 = 0. Suppose -344*a = -353*a + 108. Is n at most as big as a?
True
Let k