-1). Suppose 2*g + 0*g - 2*p = -z, 4*p = 8. Is g not equal to 2/15?
True
Let p = 13 + -14. Is -7/3 smaller than p?
True
Let o = 187873 + -3004863/16. Suppose 69 = c - 0*c. Let g = c - o. Which is smaller: -1 or g?
-1
Let r(a) = a**3 + 5*a**2 - 5*a + 7. Let z be r(-6). Suppose -3 = -2*n - z. Let g(b) = b**3 + 4*b**2 + 3*b + 1. Let q be g(-3). Is n greater than q?
False
Let c = -9.9 + -0.1. Let g = c - -12. Which is smaller: -0.4 or g?
-0.4
Let w be 4 - 0 - -134*(-2)/24. Which is greater: -7 or w?
-7
Let y = 6 - 0. Suppose 3*o + 4*u = 53, -30 = -4*o + 4*u - y. Which is smaller: 12 or o?
o
Suppose -8*l + 8 = -4*l. Let x(m) = -m**2 - 4*m. Let s be x(-4). Suppose 5*a + 5*q - 25 = 0, s*q + 3 = q. Is a less than l?
False
Let q(r) = -2*r + 2. Let o be q(8). Let y = o + 9. Is -5 at most as big as y?
True
Let w = 21 - 15. Is w > 6?
False
Let b = 87.7 + -81. Let x = -1.6 - 5.4. Let q = b + x. Which is smaller: q or 2/7?
q
Suppose -n - 5 + 4 = 0. Suppose 3*m = 2*f - 24, -f + 16 = -3*m - 8. Let k be (1/34)/(2/m). Which is smaller: k or n?
n
Suppose 5*z + 3 + 17 = 0, -5*n - z + 56 = 0. Suppose -2*c - 1 = 5, -5*c - n = 3*g. Suppose 2*h + 3*h = 2*b - 15, -10 = -2*b. Is h at most as big as g?
True
Let u = -26 + 18. Which is bigger: -7 or u?
-7
Let y = 0.1 - 0.1. Let w = y + -2. Let d = 3 + w. Is -0.3 at least d?
False
Let a = -31 - -32. Is a at most 2/17?
False
Suppose -x = -4*x. Suppose x = -h - 1. Suppose -9 + 1 = 4*l. Which is bigger: l or h?
h
Let q = -2 + 5. Let a be (2 - 2/(-6))/(-1). Let b = a + 2. Which is greater: b or q?
q
Let j(u) = u - 4. Let m be j(5). Is -1/129 > m?
False
Let s = -8 - -7.9. Is s at most as big as -1.6?
False
Let w = 0 + -0.1. Let d = -33 - -35. Are d and w unequal?
True
Let w be 1/2*0/(-3). Suppose -s = -w*s. Which is bigger: s or -1?
s
Let k = -0.8 + -0.2. Suppose 0 = 2*v - 2 - 2. Suppose b - 3 = c - v, 2*b = 5*c - 10. Is k less than b?
True
Let j = -5 + 1. Let m = j + 8. Suppose 0 = 4*l + 5*r - 11, 3*r = 5*l - 8 - 15. Does l = m?
True
Let x = 96/5 + -369/20. Are 2 and x equal?
False
Let q = 2.4 - -0.6. Let c = q + -4. Is -2 != c?
True
Let k be ((-7)/2 - (-39)/26)/1. Which is bigger: k or -0.05?
-0.05
Suppose -v + 106 = 889. Let c be 3/(v/264) - -1. Let z = -181/609 - c. Which is smaller: z or 0?
z
Suppose 3 + 13 = 4*j. Let n = -13 - -18. Suppose -n = j*b + b. Which is greater: b or -3?
b
Let k = 0.8 - -1.8. Let d = -0.6 + k. Let f = 6 - d. Is 0 less than or equal to f?
True
Suppose 14*l - 8*l = -48. Which is smaller: l or -9?
-9
Suppose f + 2*f = 0. Suppose -3*p + 3 = -r - 13, 3*p - 5*r - 20 = 0. Suppose 26 = w - p*x, -w + 5*x = -6*w - 20. Which is smaller: f or w?
f
Let z = 0.22 - 1.22. Let w = 1.06 + 0.04. Let b = w - 1. Which is smaller: z or b?
z
Let f be (84/378)/(0 + (-2)/(-3)). Is 0 >= f?
False
Let r = -5 + 9. Let t = -6 - -3. Let j = r + t. Which is bigger: 2/7 or j?
j
Let l = 6 - 1. Let b = l - 10. Let g = b - -4. Which is smaller: -2 or g?
-2
Let j(t) = -2*t**2 + 12*t + 14. Let z be j(7). Let c = -1 - 0. Are z and c non-equal?
True
Let y = 14 + -16. Let n = -11 - -10. Is y < n?
True
Let x be ((-9)/(-2))/((-6)/8). Suppose a - 3 = -0*a. Suppose a*q - 6*q = 21. Is x less than or equal to q?
False
Let q = -4 + 7. Suppose -2*h = k + 2*k + 3, -3*h + 3*k + 18 = 0. Is q bigger than h?
False
Let u be (-1)/(2*2/(-8)). Suppose 2*j = -2*t, j = -u*j + t + 4. Is 2 < j?
False
Let o(k) = 7*k**2 + k - 13. Let n be o(2). Let a = 0 - -17. Is n at least a?
True
Let r = 198 - 197. Let j = -2.9989 + -0.0711. Let c = -0.07 - j. Is r < c?
True
Let o = -0.065 + -0.035. Let p = -1.1 - -0.1. Let g = p + 1. Are o and g non-equal?
True
Suppose 3*f + 24 = 2*m, 4*m + 0*f - 42 = 3*f. Is m less than 9?
False
Let q = 2.6 - 2.8. Which is greater: q or 7/8?
7/8
Let x = -185 + 1297/7. Let v(w) = -w**3 + 4*w**2 - 4*w + 4. Let h be v(3). Let m = h + -2. Is x less than m?
False
Suppose 4*b + a + 8 = -a, 5*a - 16 = 2*b. Suppose 0 = 2*g + g. Suppose -26 = z + 5*c, -3*z + c + g*c = -2. Which is smaller: b or z?
b
Suppose -3*f - 11 + 17 = 0. Suppose 5*q + 0 = -15. Let o be 5 + q - (-3)/(-2). Is o at least f?
False
Let k be (-2)/4*(-1 + 9). Let z be (3/(-2))/((-6)/(-16)). Let o = z - k. Is o <= 3/5?
True
Let k(h) = 3*h - 1. Let j be k(2). Suppose 3*y - y - 28 = 0. Let o = y - 8. Is o at least as big as j?
True
Let q(w) = -w - 6. Let k be q(-5). Which is smaller: k or 3/7?
k
Let m be 0/2 - (-3 + 1). Suppose 5*t + 3 = 13. Let r = m - t. Is 1 > r?
True
Suppose -3*x - 4*f - 44 = 0, 0 = -4*x - 0*x - f - 50. Suppose 2*z + 0*z = -2. Let a be (z/2)/(3/x). Which is greater: 1 or a?
a
Suppose 15*o = 22*o - 7. Is o at least as big as -4/107?
True
Let d(k) = k**3 - 7*k**2 - k + 10. Let c be d(7). Let m = 2 - c. Let y be (-3)/1 + 0 + m. Which is greater: y or -3?
-3
Let s(f) = f + 5. Let m be s(-7). Which is greater: -2/3 or m?
-2/3
Let u be 2*15*-1 + 7 + -6. Is -27 at least as big as u?
True
Let m = -8 - -2. Let r = 5.649 + -0.049. Let q = r + m. Which is smaller: 1 or q?
q
Let y = 4.5 + -3. Let k = y - 1.5. Is k > -4/11?
True
Let n be (-2)/3 + 3/(-9). Is n greater than -5/12?
False
Let c = -835/6 - -145. Which is smaller: c or 6?
c
Let v = -0.9 + 12.9. Let a = -12 + v. Let i = -69/574 - -2/41. Which is greater: i or a?
a
Suppose -z + 11 = -5*p, 2*p + 2 = -2. Let l be (6 - 5)*z/(-21). Which is greater: -1 or l?
l
Let n be ((-6)/4)/(7/14). Is n bigger than -4?
True
Let m(v) = v**2 - 9*v + 12. Let f be m(8). Suppose -8 = -f*s - 0*s. Which is bigger: s or 3?
3
Let s = 1448 - 108598/75. Is -1 equal to s?
False
Suppose 0 = 2*c + 4*r - 5 - 5, 5*c - 4*r - 25 = 0. Let g be ((-10)/1)/(-3 + 1). Suppose -c = -0*t - g*t. Are 1/13 and t equal?
False
Let a = 33 + -34. Is a less than -12/7?
False
Let k = -10 + 10. Which is smaller: k or 0.1?
k
Let k(c) = c**3 + 6*c**2 + 4*c - 6. Let y be k(-5). Let q be (19856/4108 - 3) + -2. Let j = -1/79 - q. Which is smaller: j or y?
y
Let x be (-44)/(-45) - 4/(-18). Let o = 151 + -150. Is x != o?
True
Suppose 0 = l + 2*q - 9, 0 = -2*l - 0*q + 4*q - 22. Suppose -10*j + 6 = -13*j. Let t be (3 + j)*l/1. Which is smaller: t or -3?
-3
Let r = -1 - -1. Let u(m) = m**2 - m - 12. Let o be u(r). Let g be (-2)/3 - 2/o. Do g and 0.1 have the same value?
False
Suppose 0*s + 15 = 3*s, -3*l + 48 = -3*s. Is 20 at least l?
False
Let o = -7069/93 - -76. Do 1 and o have the same value?
False
Let q = 4.4 - 26.4. Is -1 less than q?
False
Let n = -8.9 + 9. Which is greater: n or 28?
28
Suppose -7 = 4*g + 1. Is g <= -9/7?
True
Let d be (-3 - -4 - -4)*1. Suppose d*t = 8*t. Is t at most as big as 0?
True
Let o = -43/70 - -3/14. Which is smaller: -9 or o?
-9
Let q be ((-27)/(-150))/(4*(-6)/5). Which is smaller: -1 or q?
-1
Suppose 3*g - h = 4*h - 6, -24 = -4*g - 4*h. Which is bigger: g or 5/2?
g
Suppose m + 0*s + 3 = -s, 2*s + 16 = 3*m. Is 14/19 at most as big as m?
True
Suppose 3*d - x - 24 = -4*x, 5*d + 5 = 4*x. Let l(p) = 7*p + 3. Let q(w) = 6*w + 2. Let c(z) = 5*l(z) - 6*q(z). Let k be c(d). Are k and 0 non-equal?
False
Let j = -34.21 + 34. Let t = j + 11.21. Let w = -18 + t. Which is bigger: w or 1?
1
Let f be (91/(-28))/((-171)/24). Let p = 4/19 + f. Do p and -0.09 have the same value?
False
Let g(k) = k**3 - 6*k**2 - 7*k + 4. Let s be g(7). Let q(y) = -y + 5. Let o be q(s). Is 1 less than or equal to o?
True
Let d = -12 - -20. Let v be (6 - d) + (1 - 1). Let l be ((-6)/8)/(2/8). Which is smaller: v or l?
l
Let m be (2 + 287)/(6/12). Let u = 292 - m. Let l = 9436/33 + u. Is -1 >= l?
False
Let g = -9.3 + 11. Let w = -0.3 - g. Is -2 greater than w?
False
Let b be (-2)/(-1) - (2 - 9). Let y(c) = -c**2 + 11*c - 12. Let s be y(b). Which is smaller: s or -1?
-1
Suppose -h + 4*x + 10 = 0, -3*h - h - 40 = 4*x. Let m be (h/(-165))/(3/(-15)). Which is bigger: 0 or m?
0
Let o = -3 + 6. Suppose -5*p - 4 = 2*g - 8, -o*g + p = 28. Is g at least as big as -8?
True
Suppose 3*i + 2*i + 164 = -g, -4*g + 136 = -4*i. Which is smaller: i or -35?
-35
Let v be (-2)/3*(-2)/(-6)*3. Which is smaller: v or -43?
-43
Suppose 0 = -m + 5*m. Let x be (-2 + m)*2/(-16). Is -2 > x?
False
Suppose 0 = -3*o + 5*w - 8 - 5, -6 = -4*o - 5*w. Let r = 2 + 6. Let j = r - 7.7. Which is smaller: o or j?
o
Let d = 0.03 + 4.97. Let f = 3 - d. Let n = 39 + -40. Which is bigger: f or n?
n
Let j be (1/2)/((-424)/(-