(-2)/12*4. Is -4/7 at most as big as x?
False
Let f = -71 - -60. Which is bigger: f or -9?
-9
Let a be 6/10 - 42/70. Which is smaller: -7 or a?
-7
Let q = -5 - -17. Let o = -8 + q. Is 5 at most o?
False
Suppose 0 = 4*d + 3 + 1. Let b(s) = -5*s - 1 + 3 - 5 - s**2. Let z be b(-4). Which is smaller: d or z?
d
Let y = 2/149 + -157/596. Suppose -11*h = -13*h. Suppose h = -c - 3*c + 24. Which is greater: y or c?
c
Let v = -124/3 - -42. Is -6/11 < v?
True
Let j(n) = 5*n - 22. Let q be j(4). Which is greater: -6/7 or q?
-6/7
Let j = 4 + -3. Let w be (0/1)/(1 - 0). Let t be 60/(-68) + j + w. Is t greater than or equal to 0?
True
Let r(v) = 49*v**3 + 2*v - 1. Let f be r(1). Suppose -4*w - f = -22. Which is greater: -8 or w?
w
Suppose -3*o + 0*q + 9 = -4*q, -2*o - q + 6 = 0. Let t be ((-5)/o)/(3/(-9)). Suppose -t*s = 2*h - 10, 0 = -4*s + 4*h - 1 + 9. Which is smaller: 1 or s?
1
Let a be 0 - 0 - (-120)/(-495). Which is bigger: a or 0?
0
Let d be 2 + 3/2*2. Let p(z) = -z**2 + 6*z. Let v be p(d). Let k = 8 - 3. Is v less than k?
False
Let j = 515 - 238. Suppose -4*q + j = k, 6*k + 146 = 2*q + 4*k. Let m be (-2)/(-5) - 18/q. Is 1 less than m?
False
Let f(o) = -2*o - 9. Let h be f(-7). Let d = h - 6. Which is greater: -2 or d?
d
Let s be (0 + -1)/(-1) + (-264)/261. Is s at least -1?
True
Let x be (-102)/27 + 4/(-18). Let d = x + 4. Let h = 1 - d. Are h and 2/5 equal?
False
Let t(n) = -n**2 - 5*n - 2. Let v be t(-5). Let x be (-44)/(-8) - v/4. Let s be 3*x/(-99) + 0. Is s equal to -1?
False
Let b be 94170/55 - 4/22. Let m be (-2)/2 + b/20. Let c = 85 - m. Is c smaller than -1?
False
Let h be (-1 - (-101)/(-33)) + 4. Which is smaller: -1 or h?
-1
Let x be 3/(-36)*3/3. Let b = 1/12 - x. Which is smaller: 1 or b?
b
Let q = 128/9 - 14. Which is smaller: q or 4?
q
Let q = 9 - 5. Let k be (4/12)/((-1)/(-12)). Let t = k - q. Which is bigger: t or 1?
1
Let v be ((-8)/(-50))/(4/10). Suppose p + p - 2 = 0. Suppose k = -5*z - 0*z + p, -z = -4*k + 4. Is v at least k?
False
Suppose 4 + 10 = -s + 2*x, 0 = 4*x - 16. Let a = s - -2. Let m be 3 - 2*(-9)/(-6). Does m = a?
False
Let f = -3/2851 - 116870/19957. Let x = f + 6. Are 0 and x unequal?
True
Suppose -f - 3*f - 24 = -4*h, f - 18 = -5*h. Let o(g) = g**2 + 3*g + 1. Let v be o(f). Let k = -253/20 - -49/4. Which is greater: k or v?
k
Let p be 1 + 2 - (-50168)/7. Let x = p + -6915. Let y = -254 + x. Is 0 at most y?
True
Suppose 4*v - 23 = -7. Suppose 4*r - v*c + 4 = -0*c, -2 = -2*r - 2*c. Suppose 2*h + 3*h = r. Which is greater: h or -1?
h
Suppose -5*z - 2*l - 153 = 0, -4*z - 58 = -2*z + 4*l. Which is bigger: z or -28?
-28
Let g = 0 + 0.1. Let y = 0 - -0.5. Let q = y + -0.6. Which is smaller: q or g?
q
Suppose -2*w = 2*w - 8. Suppose 0*p - 2*p - 3*z - 9 = 0, 0 = 4*p + w*z + 14. Are -4 and p equal?
False
Let r(z) = -z**3 - 7*z**2 + 9*z + 9. Let g be r(-8). Let v be 57/63 + -3 + 2. Which is bigger: g or v?
g
Suppose 0 = -3*d - 13 + 73. Let z = d + -20. Which is smaller: z or 1?
z
Let l be ((-1)/(-2))/((-466)/(-4)). Let v = -937/1165 + l. Let m(y) = -y**3 + 6*y**2 - y + 4. Let q be m(6). Is q at least as big as v?
False
Let o(x) = 2*x - 12. Let g be o(7). Suppose -5*m - g*a = a + 16, a - 23 = 4*m. Is -7 >= m?
False
Let j be 6/(-88) + (-2)/(-8). Let n = -1 - 0. Do n and j have the same value?
False
Let y(k) = -k - 1. Let b be y(0). Let n = b + 1. Let d = -11/3 - -49/15. Is d > n?
False
Let l(t) = -t**2 + 3*t + 3. Let j be l(3). Let w be 1*2/(-6) + 1. Which is greater: w or j?
j
Let s = 0.12 + -0.02. Which is smaller: s or -2?
-2
Let u = -11.6 - -5. Is u > -1?
False
Let d be -5 + 0 + (-16)/(-4). Let h = -1/7819 - -719689/2666279. Let i = h - 14/31. Which is smaller: d or i?
d
Let l(n) = n**2 + 16*n. Let y(q) = -q**2 - 17*q. Let a(z) = 4*l(z) + 3*y(z). Let p be a(-13). Are p and 0.06 nonequal?
True
Let v(z) = -7*z**2 + 2*z + 3. Let t be v(-1). Which is greater: t or -22/3?
t
Let r be (-3)/6 - 7/14. Which is bigger: r or 3/14?
3/14
Let o = 0.05 - 2.05. Let w be 124/7 + 8/28. Let z = w - 17. Which is greater: o or z?
z
Let g(s) = -2*s - 11. Let q be g(-12). Suppose n = -5*l + 3*n - 3, l + 3*n = q. Is l equal to 2?
False
Let z(u) = -u**2 - 6*u - 9. Let q be z(-5). Is -3 less than or equal to q?
False
Let i be ((-1)/(-4))/(7/(-8)). Suppose 0 = 4*h + 2*n - 2, 3*h - h - 13 = -5*n. Is h not equal to i?
True
Suppose 4*y + q = 2*y + 5, 0 = 3*y + 2*q - 6. Suppose y*s + 0 + 4 = 0. Is 3/7 less than s?
False
Let v(p) = p**3 + 12*p**2 + 5. Let x be v(-12). Suppose 4 + 1 = -x*o. Is -1/4 at most as big as o?
False
Let z = -18 + 310/17. Is z > 0?
True
Let m be 15 + (-6)/4*24/(-18). Are 17 and m unequal?
False
Let n = 5217/17 + -307. Which is smaller: 1 or n?
n
Let x be 1*(44/33)/(1/(-9)). Is x greater than or equal to -12?
True
Suppose 0 = -2*g + 4*y + 22, 0*g + 3*g - 25 = 4*y. Suppose d = g*d + 4. Let b = 2 + -3. Is b smaller than d?
False
Let t be 2/(2988/3219) - 2. Let x be (-2*(-1)/(-83))/2. Let y = x - t. Which is bigger: y or -1?
y
Suppose 2 = -f, 4*q - 36 = 2*q + 5*f. Which is bigger: 12 or q?
q
Let y = -20 - -34. Let f = 13.83 - y. Which is smaller: f or -0.1?
f
Let z = -16/3 - -20/3. Suppose 0 = 4*n - 10 + 2. Is n != z?
True
Let c be 1 + 3 + 0/2. Suppose c*y = 5*w - 19, 0*y - 5*y - 5*w + 10 = 0. Let a be ((-1)/(-2))/((-1)/4). Is a at least as big as y?
False
Let f = 9 - 9. Let o(a) = -a**3 + a**2 + a + 11. Let u be o(f). Suppose 7 = -3*b - w, -3*w + u = -3*b - 5*w. Which is smaller: 1/8 or b?
b
Let u = 1 + -1. Let k = -7664/2111055 - -2/667. Let d = -10556/9495 - k. Which is bigger: d or u?
u
Let p = -1.26 - -1.36. Let x(i) = i - 5. Let v be x(4). Is v smaller than p?
True
Let j be (0/(4 + -5))/(2 + 1). Which is bigger: -12/23 or j?
j
Let m(a) = 66*a**2 + 5*a + 6. Let w be m(-1). Which is bigger: w or 66?
w
Let j = -10 - -4. Is -6 < j?
False
Let v be (-4)/(-60)*(-1563)/(-14). Let f = v - 83/10. Is -1 <= f?
True
Let c = -0.02 - -0.62. Let q = c + 3.4. Let j = -5 + q. Are -1 and j unequal?
False
Suppose 0 = -10*a - 31 + 311. Which is smaller: a or 29?
a
Let d be -3 + 1 + 3 + 9. Let f = -7 + d. Let m = -7 - -11. Are m and f equal?
False
Let n be 5/(-5)*(0 + 1). Let o be (-47)/9 - (-2)/9. Let r be n/3 + o/3. Is r greater than -1?
False
Let l = -5.11 + 0.11. Let m = 4.8 + l. Let f = m - -0.4. Which is greater: f or 2/3?
2/3
Suppose -14 = 5*c + 1, q = -3*c - 9. Let d = 8 - 6. Let z be -2*1*1 + d. Do z and q have different values?
False
Suppose -3*b - 69 = -4*r, 2*r = 5*b + r + 98. Does -19 = b?
True
Suppose -4*h + 68 = 4*i, -h = 5*i - 11 - 22. Is h <= -2?
False
Let g = -0.11 + -4.89. Let w = 0 - -0.1. Which is smaller: w or g?
g
Let h be -76*2/(-3)*90/(-80). Which is bigger: -58 or h?
h
Let x = -3 - -9. Let j be 16/12*x/(-4). Suppose -4*p - 3 - 1 = 0. Is p at most as big as j?
False
Let v = -77 + 76. Which is smaller: 5 or v?
v
Suppose -5*r + 2 = -3. Let i = -5/28 - -10/7. Are r and i non-equal?
True
Let f = -0.12 - -7.12. Let a = f + -7.04. Let z = 2.04 + a. Which is greater: z or 0?
z
Let r = 4 - 3. Let j = -14 - -20. Let d = 7 - j. Is d greater than or equal to r?
True
Let x = -3/214 - -1183/428. Is 4 at least as big as x?
True
Let l(y) be the first derivative of y**2 + 8*y - 1. Let d be l(-6). Let t(n) = n**2 + 3*n. Let k be t(d). Is k greater than 5?
False
Let j = 26 - 22. Are j and 14/5 equal?
False
Let t be 31/(-3) + 0 + -1. Let u = -11 - t. Which is greater: 0 or u?
u
Let t = 13 + -9. Let r = t - 4.2. Is -1/4 greater than or equal to r?
False
Suppose a - 3*a + 16 = 0. Suppose -32 = d - 38. Which is greater: a or d?
a
Suppose -c = 4*c + 240. Let n be c/28 - (-2)/(-7). Let y(f) = -f**2 - 5*f - 5. Let b be y(-4). Are b and n unequal?
True
Let w = -199 + 199.1. Let f = -3 + 3.5. Which is smaller: f or w?
w
Suppose -8 = -2*m - 4. Suppose 0*c + 3*y = -m*c - 2, -3*c = 3*y. Which is bigger: c or 6?
6
Let a = -1969/21 - -836/7. Let m = a - 25. Let c = -4 + 4.1. Is m greater than c?
True
Suppose 2*d - 15 = 3*f, -3*f - 17 - 4 = -4*d. Suppose d*r = -3*r. Which is smaller: 2/15 or r?
r
Suppose 1 - 11 = 2*m, s + 2*m = -13. Let f be s/(-15) - 4/20. Which is bigger: -1 or f?
f
Let z = 29 - 40. Let j = z + 12. Which is smaller: j or -7/4?
-7/4
Let w = -0.12 + 0.09. Let z = 7.03 + w. Let i = z + -6. Which is smaller: -2 or i?
-2
Let n = -1 + 4. Suppo