ppose -x + 7 = 6*x. Is x > -2?
True
Let g = 0 - -0.3. Let k = -6.9 + 3.8. Let j = k + 3. Is j > g?
False
Let z be (-10 - 0) + 1 - -3. Let p = -13/2 - z. Is 0.8 not equal to p?
True
Let o = -20167/27 - -747. Let u be (-4)/8*2*-1. Is u equal to o?
False
Suppose 2*q - 3*n - 6 = 0, -q - 1 = 4*n - 4. Let p(a) = 2*a - 3. Let i be p(3). Let j = q - i. Which is smaller: j or 3/5?
j
Let j be (1 + 6)*24/28. Suppose y = -y + j. Suppose -y*n + 0*n = -3. Which is smaller: 2 or n?
n
Let l = -1.8 - -1.6. Let t = -12 + 8. Which is smaller: l or t?
t
Let a = 36.9 + -37. Suppose 2*o + 25 - 11 = 0. Is o >= a?
False
Let k = 3 - 1. Let t = k + 0. Are t and 2 equal?
True
Let z = -1 + 1. Let g = -2 - z. Let a = -2.1 - g. Is a >= 1?
False
Let f(y) = y**3 - 6*y**2 - 6*y - 7. Let r be f(7). Let h = r + 4. Let c(j) = 3*j**3 - j**2 + 2*j - 1. Let b be c(1). Which is bigger: b or h?
h
Suppose 0 = -41*o + 37*o - 40. Which is smaller: o or -9?
o
Suppose 0 = o - 2*o - 3. Let v be 20/110 - (3/(-165) - -2). Is v < o?
False
Let i = -189/85 - 3/17. Are i and -2 nonequal?
True
Let t be (-300)/24 - (0 - 4). Which is greater: -9 or t?
t
Let p be ((-24)/(-14))/((-39)/(-26)). Is 2 not equal to p?
True
Suppose -317 - 391 = -12*s. Which is smaller: 58 or s?
58
Let c(p) = -p**2 + 2. Let r be c(0). Suppose -a = g - 0*g + 6, 0 = -2*g + r*a - 12. Let q(z) = -2*z - 9. Let f be q(g). Is f < 2?
False
Let j = -1 + 2. Let y be j/(-1) + (3 - 5). Is y <= -3?
True
Suppose 57 = -5*b - 13. Does -63/5 = b?
False
Suppose -4*b = -3*m - 12, -3*m = -m - 3*b + 9. Suppose -d + 3*u + 7 = 0, 4*u + 3 = 5*d + 1. Which is smaller: d or m?
d
Let d = 6 + 1. Let i(w) = 0 + w - 2 - 7. Let x be i(d). Do x and -1 have the same value?
False
Let o(c) = c**2 + 5*c + 1. Suppose 0 = -5*k + 5*q, q - 8 = 2*k + 3*q. Let v be o(k). Let u = 7 + v. Is 2 <= u?
True
Let w = 0.034 + 21.766. Let r = w + -22. Which is bigger: -3 or r?
r
Let p be 2004/9*(-65)/(-28). Let l = -1567/3 + p. Let k = 117/28 + l. Are 0 and k non-equal?
True
Let u(v) = -v**2 + 8*v - 7. Let q be u(7). Suppose 4*x = 5*p + 3 - 0, p + 5*x - 11 = q. Which is bigger: p or -6?
p
Suppose 0 = -2*x + 3*x - 5. Let g be 65/100 + 3/x. Is 1 greater than g?
False
Let r = 1 + -0.4. Let g = -1.6 + r. Let s = -13.9 + 14. Which is greater: g or s?
s
Let s be (-2316)/(-33) + (-2)/11. Is 70 less than s?
False
Suppose -3*c + 4*j = -0*j - 10, -2*j - 12 = -5*c. Let g(a) = 2*a + 0*a - 5*a**c - 3*a - 1. Let h be g(-1). Are h and -4 equal?
False
Let u be 2*1*(-7)/14. Let p = 4 - 9. Let d(w) = w**3 + 4*w**2 - 6*w - 7. Let c be d(p). Which is smaller: u or c?
c
Let m be ((-66)/176)/(2 - (-1)/(-2)). Is -2/29 <= m?
False
Let h(q) = -q**2 + 8*q + 4. Let c be h(9). Is c at most as big as -6?
False
Let y = -2/27 - 23/54. Which is smaller: y or -1?
-1
Suppose 0 = -120*h + 118*h. Is -3 > h?
False
Let l be (31 + 1 - 4)/11. Is 3 < l?
False
Let f = 6 + -11. Let w = -1.067 - -0.067. Which is bigger: f or w?
w
Let h = -1.8 + 8.8. Let d = 6.9 - h. Which is smaller: d or 0.3?
d
Let k = 4 - 2. Suppose k*x = x. Which is greater: x or 1/6?
1/6
Let p be 27/(2/(-4)*2). Let s be p/18 + 3/2. Let a be 60/(-27) - 4/(-2). Which is bigger: a or s?
s
Let u = -13 - -2. Is -11 < u?
False
Let b = -116 + 117. Is b greater than 2/9?
True
Suppose 2*f + 2 = 3*f. Suppose -l + f*a = -12, 4*l - 3*l + 3*a = 12. Let h be l/(-9)*9/(-42). Which is smaller: h or -1?
-1
Let o be 5 + -5 + 3*-1. Let k be o - 4/14 - -3. Do k and 2/3 have the same value?
False
Let p be (1 + 0)/((-3)/(-57)). Suppose 3*u - 3*f = -f + 5, u - 5*f = p. Is 1 at most as big as u?
False
Suppose 15 = 2*p - 15. Is p at most 15?
True
Suppose 5*n - 45 = -3*v - 13, 2*v - 28 = -5*n. Let r be 1/(-3)*12/v. Suppose 2*w + j - 2 = 0, 2*w + j = 5*w - 3. Is r less than w?
True
Suppose d - 4 = -1. Let u be -1 - (1/1 - d). Is -1 > u?
False
Let n be (-32)/10 - -3 - (-42)/10. Let q(f) = 1 + f - 4 + 0. Let z be q(n). Which is greater: 1/6 or z?
z
Let x = -4 - -3. Let c be 0 + 4/12*x. Are c and 1 unequal?
True
Let l be (-3)/6 + 9/6. Let z be 9/(-35) - (-4)/10. Is z >= l?
False
Let i = -10 - -13. Let t = i - 2. Is t equal to 6?
False
Let l(v) = v + 4. Let o be l(-4). Suppose o = -4*y - 9 + 37. Suppose -1 - y = 2*r + 2*i, -4*i - 16 = -r. Is -2 != r?
True
Let q = -89/4 + 22. Suppose 2*w = 2*r + 4, -2*w = r + r - 8. Is r equal to q?
False
Let d = 232 - 923/4. Let f be -2*(1 - 7/2). Let z = f + -3. Do z and d have the same value?
False
Suppose 2*z - 5*k + 7 = 0, -4*k = -9*k + 15. Let w = 0.2 - 0.1. Which is greater: z or w?
z
Suppose 0*v + v - 1 = 0. Let h = 29/99 - 1/9. Which is smaller: h or v?
h
Let o be (5/(-9))/(1/39). Let u = o + 331/15. Let v = -58.4 - -58. Is u < v?
False
Suppose 131 = 6*s - 247. Is s greater than 63?
False
Let f be 1266/(-10) - 3 - 0. Let d = f - -130. Is d less than -2/5?
False
Suppose -4*w - 3*g - 23 = 0, -2*g = -w + 7 + 1. Let r = -14 + 14. Is r greater than or equal to w?
True
Let h be ((-6)/(-112))/(6 + -3). Let u = h - -51/280. Which is smaller: 1 or u?
u
Suppose 0 = -b + 3*d - 15, 4*b - 7 = b - 4*d. Suppose -2*n + 5 = -7*n. Let y be (-1)/n - (11 + -7). Is y not equal to b?
False
Let k = 87 - 87. Is -9 at least as big as k?
False
Let q = -0.2 + 0.2. Let g = -0.6 + -1.4. Let f = g + 3. Is f smaller than q?
False
Let x = -82 - -92. Which is smaller: x or 9?
9
Let f be (-745)/(-10) + 2/4. Let z = 373/5 - f. Which is greater: -1 or z?
z
Suppose -3*q = -8*q + 5. Let h be (1 - q)*(-1)/(-2). Which is smaller: h or 1/7?
h
Let h = -0.61 - -0.41. Are -0.2 and h equal?
True
Suppose 2*g = 5*g + 9. Let p = 0 + -2. Which is smaller: g or p?
g
Suppose 6*i = 2*i + 12. Suppose 0 = 3*o - i*q + 6, 8*q = -3*o + 3*q + 18. Let j be -4 - 20/(15/(-3)). Is j > o?
False
Let f = 2 + -13. Let s = -8 - f. Is -0.2 at most as big as s?
True
Let a be (-4)/(-2) - 18/8. Which is smaller: a or -10?
-10
Let z be 4/(-18) + 207/(-162). Let v be 563/187 + (8 - 11). Let m = v - -368/561. Is z less than m?
True
Let x = -6 + 10. Suppose -f = -x*w - w, 3*w = 3*f. Let p be 76/60 + (-9)/15. Which is smaller: f or p?
f
Let c(h) = h - 4. Let z be c(0). Let n(r) = -r**3 - 7*r**2 - 7*r - 2. Let l be n(-6). Let g = l + z. Is g != 0?
False
Suppose 0 = 5*v - 2*v - 4*k - 26, -10 = 2*k. Suppose 5*i + 35 = 5*a, -3*i + 3 + 0 = -a. Suppose 2*o = 2*w - v, 4*w + 4*o + 0 = -a. Which is bigger: 5 or w?
5
Suppose 0 = -a - 18 - 5. Is -19 at most as big as a?
False
Let n(h) = 6*h**2. Suppose 3*a = -5*k - 3, a + 0*a = 3*k - 1. Let b be n(a). Is b >= 6?
True
Let m = 126 + -2015/16. Suppose -q - q = -2. Which is bigger: m or q?
q
Let s(r) = r**3 + 5*r**2 + 2*r - 4. Suppose 2*k + j + 12 = -2*k, -2*k - 2*j = 0. Let f be s(k). Let t be 20/(-8)*f/35. Is t bigger than -6?
True
Let w = -12 - -19. Suppose w - 1 = 3*s. Which is bigger: 1 or s?
s
Let m = -4 - -9. Let z be 7/39 + m/(-15). Which is bigger: 0.1 or z?
0.1
Let a(y) = -2*y - 1. Let s be a(-3). Suppose -2*c = f - 10, -3*c + s*c - 10 = 2*f. Which is greater: c or 6?
6
Let a(n) = 2*n**2 - 4*n + 1. Let c = -11 + 15. Let u be a(c). Suppose 2*y + 25 = 5*g, -g = -4*y - 2*g - u. Are -3 and y non-equal?
True
Let r be (-3 - 1) + (-36)/(-7). Which is greater: r or 0.1?
r
Let g = 4 - 7. Let n = 0.14 - 0.14. Let d = g - n. Which is greater: d or 1/3?
1/3
Let m be 3 + ((-204)/33 - -3). Is m equal to -3/7?
False
Let y(x) = x**2 - x + 2. Let l be y(0). Suppose -8 = -0*u - u + 2*k, -4*u - 8 = l*k. Which is smaller: u or -1/22?
-1/22
Let w(d) = 2*d - 3. Let f be w(2). Let m be -2 - (f + 1 - 4). Are m and 0 equal?
True
Suppose -4*x + 10 = t, 3*x = 3*t + 4*x + 14. Which is smaller: -7 or t?
-7
Let w = -4 + 6. Which is smaller: w or 11/2?
w
Let d = 15 - 15. Which is bigger: 7 or d?
7
Suppose 0 = -5*x - 33 + 8. Let y = -12 + 6. Let q = y - x. Do -1 and q have different values?
False
Let c = -43 + 61. Suppose 0 = -5*x + 2*z, -x + 6*z + c = 2*z. Is -1 equal to x?
False
Let n be 1/(2/(-2)) + (-708)/(-732). Is -2 >= n?
False
Let v = 6 + -4. Suppose -4*b - v = 2. Let a = 1/50 - -19/50. Is b equal to a?
False
Let u = 16 + -19.8. Let d = 0.2 - u. Let v = -4.1 + d. Is -2/3 >= v?
False
Let a be 21/(-6)*(-96)/28. Suppose 5*x + a + 3 = 0. Is x bigger than -5?
True
Suppose -l + 25 = 4*l. Suppose w - 6 = -b + 3*b, 5*w - 15 = l*b. Let m = 1 - 5. Which is greater: m or b?
b
Let x be 2/5 + (-72