t l be -4 + 2 - h/15. Does l = 0?
False
Suppose -3*r = -1 - 11. Let y be (1 + -9)*r/(-8). Let t be (2 - (-15)/(-9))*3. Is y greater than t?
True
Let c be ((-6)/10)/((-9)/(-6)). Suppose 0*d = -4*d + 12. Suppose -d*i = -z + 2, -z + 6*z = 5*i. Which is bigger: c or z?
c
Let d be (-15)/30 + 9/12. Suppose -5*u + 20 = 0, 0 = 6*r - r - 2*u - 2. Suppose 0 = 2*v + r*v - 4. Is v at most as big as d?
False
Let h(x) = -x**2 + 5*x - 6. Let d be h(5). Let c = -2 - d. Suppose 0*z - c = -z. Do z and 2 have the same value?
False
Let q = -160 + 482/3. Is q >= 19/10?
False
Let y(z) = 7*z**3 + 2*z**2 + 2*z + 1. Let m be y(-1). Let r be m/(4/(-8) + -1). Let k = r + -3. Which is greater: -2/9 or k?
k
Let d = 105 + -71. Let z be 8/(-16) - (-71)/2. Which is smaller: z or d?
d
Let o(a) = -67*a - 32. Let t be o(3). Is t > -232?
False
Let x = 143 + -180. Is -37 at least as big as x?
True
Let s = -43 - -37. Let r be (0 + 0)*(2 + s + 5). Let w(j) = -j**3 - 10*j**2 - 7*j + 11. Let y be w(-9). Is y at least r?
False
Suppose 4*q = 4*t - 200, 6*q + 5*t = 2*q - 182. Let u be (1/26)/(12/q). Let l = 0 - -0.1. Is l at least as big as u?
True
Let j = -417/16 - -26. Let a(v) = v**2 + v - 1. Let u(q) = -7*q**2 - q + 12. Let h(b) = -6*a(b) - u(b). Let c be h(6). Which is smaller: j or c?
j
Suppose -3*p - 7 = 4*w, 5*w = -p - p - 7. Let l = -1/663 + -1765/1989. Which is smaller: l or w?
w
Let l be 2 + (2 - 1) - 60/22. Let q = 30 + -29. Which is smaller: l or q?
l
Let t be (4 - -3) + (-1)/(-1)*1. Suppose -t*d - 132 = -2*d. Does d = -20?
False
Let w = 26 + -27.2. Let d = 1.4 + w. Is d <= -1?
False
Let u(v) = v**2 - 7*v - 43. Let a be u(-30). Which is smaller: 1/4 or a?
1/4
Suppose -110 = -2*b - 32. Let y = 36 + b. Are y and 75 unequal?
False
Let x = -1155 - -1153. Let v be (18/(-5))/(204/40). Which is smaller: x or v?
x
Suppose -30*o + 29*o + 3*i = -41, -5*o = -3*i - 181. Which is greater: 36 or o?
36
Let x(a) = a**3 - 18*a**2 + 34*a - 42. Let w be x(16). Suppose -5*o = -4*b - 18, -3*o - 6*b + b - 4 = 0. Let m be o*1/(-4)*2. Is w >= m?
False
Let p(b) = b**3 + 21*b**2 - 24*b - 22. Let u be p(-22). Which is smaller: u or 21?
21
Let r be -7 - -7 - (3 + -5)/(-1). Suppose 4*y = -0*y. Let l = y - 3. Which is smaller: r or l?
l
Let r be ((-70)/25)/(1/(-5)). Let q = r - 1. Let b = q + -6. Which is smaller: b or 6?
6
Suppose 0 = 6*d + 3 + 51. Let u be (36/8)/d*0. Which is bigger: u or 9/8?
9/8
Let u(b) = -b**3 + 6*b**2 - 3*b. Let z be u(5). Suppose 5 = -2*l + 3*l. Suppose -l*s = z + 5. Is -3 at most as big as s?
True
Let g = 6.9 + 23.1. Let l = -43 + g. Let o = 12 + l. Which is smaller: -6/5 or o?
-6/5
Let m = -2536 - -2541. Let g = -6.94 + 7. Which is greater: m or g?
m
Let s be ((-26)/32 - -1)/(1110/(-20)). Which is greater: s or -1?
s
Let t be ((-29340)/160)/((-3)/(-4)). Does -244 = t?
False
Let w(o) = o**3 + 8*o**2 - 23*o + 7. Let n be w(-10). Let d = n + -37. Let i = 1 + -1. Is d bigger than i?
False
Suppose -13 - 59 = -9*l. Does 1 = l?
False
Let s be (18/4)/((-69)/(-644)). Let k = -1 + 0. Which is bigger: k or s?
s
Let i = -1.454 + -0.046. Let k = 2.1 + i. Is 1 less than or equal to k?
False
Suppose -3*p + 120 + 586 = -4*w, 2*w + 698 = 3*p. Let u be (-6)/(-36) + p/(-12). Let v = u + 17. Does v = 3?
False
Let f be (-84)/(-48) + (-3)/4. Let n be 1 + 3/f + 0. Suppose -n*g + 2*g = -16. Which is bigger: 9 or g?
9
Suppose -d - 15 - 15 = 0. Let w be (-3)/(-40) + 6/d. Suppose -3*u = -i - 9, 5*i - 21 = -5*u - 6. Do w and i have the same value?
False
Let i(p) = -11*p - 23. Let v(k) = -5*k - 11. Let j(t) = 4*i(t) - 9*v(t). Let b be j(-7). Let y be (-2)/40*16/(-18). Is y greater than b?
True
Let z be (-5 + (-2962)/(-592))*-2. Is z greater than 1?
False
Let d be (-8)/6 + (-2)/(-3). Let z be (20/(-12) - -2)*-6. Is d equal to z?
False
Let a = 1095304/229 + -4783. Is a less than or equal to 0?
True
Let j be ((-10)/(-4))/((-3)/(-6)). Let s be 3/(1830/274) - 2/j. Which is smaller: 1 or s?
s
Let u = 301/26 + -2055/182. Let p(y) = -y**2 - 2*y - 3. Let i be p(-5). Is i at least u?
False
Let f = 1974/5 - 36966/95. Which is smaller: f or 5?
5
Let y be 45/10*8/9. Let d be 58/18 - 2/9. Suppose -2*s + p + 6 = d*s, p = -s + 6. Which is smaller: y or s?
s
Suppose -2*o - 284 = -2*x, 3*x - x = 3*o + 283. Let c = 151 - x. Which is smaller: 47/6 or c?
47/6
Let o(h) = -7*h + 20*h**2 - 8 - h - 21*h**2. Let p be o(-6). Let l be -1*p + 55/11. Which is bigger: l or -3/13?
l
Let r = -0.032 + 0.07. Let w = r + -0.018. Which is smaller: w or -0.1?
-0.1
Suppose -3*d + 2*n = -11, 1 = 3*d + n + 2. Let v be 5/(10/6)*d/(-3). Which is smaller: -1/20 or v?
v
Let w = 0.72 + 0.08. Let a(y) = y**3 + 2*y**2 - 3*y - 5. Let v be a(-5). Let s = -66 - v. Which is greater: s or w?
w
Suppose 2*c - 5*c = 0. Suppose 4*i + 4*u = -72, -3*i + 2*u + 3 = 32. Let a = i + c. Is a at least -14?
True
Let p(i) = i**3 + 21*i**2 - 20*i + 38. Let m be p(-22). Let h(x) = x**2 + 9*x + 9. Let c be h(-6). Are m and c unequal?
True
Suppose -2*y - b - 30 = 0, 0 = -3*y + 8*y - 5*b + 45. Which is greater: 10 or y?
10
Let q(k) = -k**3 + 2*k**2 + 4*k - 5. Let o = -12 - -16. Let m be q(o). Let l be (3/9)/((-1)/m). Is 2/7 at most as big as l?
True
Suppose 16*i - 108 = -11*i. Which is smaller: i or -10?
-10
Let w(g) = -g - 11. Let x be w(19). Let a(r) = -6*r + 6. Let o be a(6). Is o less than or equal to x?
True
Let b = 5194 + -5183. Let p be 136/(-7)*2/(-4). Which is smaller: b or p?
p
Suppose -59*p + 4*q = -58*p + 4, -2*q = -2*p + 10. Which is smaller: p or 117/14?
p
Suppose 4 = 3*l - 4*l. Let k be 1/(-3)*-3*3. Let o = k + l. Which is greater: o or -2?
o
Let p = -629 - -629. Let b = -0.045 - 39.955. Is b != p?
True
Let z be ((-69)/315)/(-1) + (-8)/24. Suppose 5*v + 0*p + 5 = -2*p, 0 = -4*v + 5*p + 29. Is v less than z?
False
Let o(g) be the first derivative of 2*g**2 + 3 + 5/3*g**3 + 1/4*g**4 - g. Let y be o(-4). Is y less than 0?
True
Let y be (25 - 13)*(-2)/(-6). Suppose p = y*p - 9. Suppose -2*s + p = 5*g - 0*g, 6 = -2*s + 4*g. Which is smaller: -2/31 or s?
s
Let n(r) = -r**2 - 6*r + 1. Let j be n(-4). Let o be (0 + 0)/1 - 24. Let z be o/(-9) + 3/j. Which is smaller: -0.2 or z?
-0.2
Let o be 6/(-9) - (-2)/(-4). Let y be (3 + (-9)/6)*1/(-3). Let c = y - o. Which is smaller: c or 2?
c
Let r be (-4)/((-8)/110) - (5 - 0). Is -2/5 at least r?
False
Suppose 6 = 5*v + 3*k - 34, -2*v = -3*k + 5. Suppose 5*q = -0*g + 5*g + v, -4*q = 0. Let f = -25/21 - 8/21. Are f and g non-equal?
True
Let z = -10.24 - -10. Let y = z + -10.76. Let g = -7 - y. Which is smaller: -2 or g?
-2
Let v be 108/(-6)*(-4)/6. Suppose -4*i = -7*i + v. Suppose i*g = g. Is -2 < g?
True
Let k = 36 + -52. Let u = -7 + k. Let n = 22.9 + u. Which is smaller: n or 1?
n
Let g = 22061/4 + -5420. Is g at least 95?
True
Suppose 5*o = 3*g + 18 + 29, -89 = 5*g - 3*o. Let v = 0 - -0.2. Is g at most as big as v?
True
Let x(u) be the second derivative of -2*u**3/3 - u**2/2 - 14*u. Let s be x(-1). Suppose 10 + 2 = 3*m. Is m greater than s?
True
Let t(j) = 2*j**2 + 99*j - 81. Let k be t(-49). Is k smaller than -130?
False
Let b = -6 + 5.99. Let k = 165 - 166.01. Let v = k - b. Is v smaller than -1.6?
False
Let r be 1*(1 - 0) + -1. Let v = 2146 + -87980/41. Is r less than or equal to v?
True
Let q be 2/14 + 5820/(-4970) + 1. Which is smaller: q or 0?
q
Let h be (-268)/1474*22/4. Which is smaller: h or 3/323?
h
Let p(l) = -21*l - 21. Let b(i) = -6*i - 6. Let y(f) = 18*b(f) - 5*p(f). Let v be y(-4). Let s = v - -1. Which is smaller: 11 or s?
s
Let q be -4 - ((0 - 0) + 10 + -15). Which is bigger: q or 2/39?
q
Let r = 3.94 + -4. Let t = -0.56 - r. Let u be (-4)/30 - (-12)/36. Which is greater: u or t?
u
Suppose -3*g + 25 = -5*n, g + 3*g + 10 = -2*n. Let i be (1 - 3) + g + 1. Let w be 1*i/2*-2. Does 2/3 = w?
False
Let z = 5 - 1. Let p = -1.87 + -0.13. Which is bigger: z or p?
z
Let a(g) = -g**3 - 29*g**2 + 11*g - 3. Let w be a(-29). Which is smaller: -1 or w?
w
Let r = 57.53 - 0.33. Let m = 49 - r. Let w = m + 8. Is 0 < w?
False
Let n(z) = -6*z + 3*z + 3*z - 10 + 3*z. Let b be n(4). Suppose b*l + 8 + 0 = 0. Does l = 1?
False
Suppose -2049 = 10*r - 7*r. Let s = 3404/5 + r. Do -1 and s have the same value?
False
Let h be 77/28 - (-1)/4. Suppose -7 + h = -m. Suppose s + 2*r = r, r + m = -5*s. Are s and -4 equal?
False
Let h = 1/