-3?
False
Let d be (-2 - -1) + 2 + -10. Is d not equal to -8?
True
Let c be (-24)/(-4)*(-2)/4. Is c less than 4?
True
Let p(c) = c**2 + 5*c + 3. Let x be p(-4). Is x smaller than 5?
True
Suppose 5*l - q - 20 = 0, l = -5*q + q + 25. Let k be (-1)/l + 36/5. Let s = 5 - k. Which is smaller: -1 or s?
s
Suppose -3*i + 0*i - 3*c + 3 = 0, 4*i + 2*c = 10. Suppose i*f = 6*f + 2. Do f and -6/7 have different values?
True
Let y be 2/(-9)*(-6)/(-18). Are y and 1 non-equal?
True
Let z be 6*(-4)/((-240)/(-44)). Is -5 greater than z?
False
Let d = -787 - -792. Let t = 5 + -2. Let o be 6/4*8/t. Which is smaller: o or d?
o
Suppose -5*m - 22 - 3 = 0. Let h = 8 + m. Let b = 1094/7 + -156. Which is bigger: b or h?
h
Let k(h) = h**2 - 8*h + 6. Let r be k(7). Let f(y) = 2*y**3 - y**2 + y + 3. Let m be f(-2). Let n = m + 77/4. Is n at least as big as r?
True
Let z = 1021/14 - 73. Which is smaller: z or 0?
z
Let b be 17888/7470*1/(-2). Let w = -2/747 + b. Which is smaller: -2 or w?
-2
Let b be 20/(-8)*(-1 + 3). Let u = -0.03 - 0.97. Does u = b?
False
Let x(p) = 31 + p - p**2 - 31. Let o be x(1). Is o bigger than -3/7?
True
Suppose -2*o = 3*o - 70. Let a be o/63 + 1/9. Which is greater: a or -1?
a
Let i(h) = h**3 + 3*h**2 - 3*h + 2. Let f be (-12)/(-3)*(-1 - 0). Let x be i(f). Let q be x + (-2 - -1) + 4. Is q greater than or equal to 0?
True
Let f(p) = p - 18. Let h be f(17). Which is smaller: h or -8?
-8
Let b be 5/2 - (-1)/2. Suppose 4*c - b = 3*c. Suppose -o + c*l + l + 3 = 0, -3*l - 6 = 3*o. Is o bigger than -3/8?
False
Suppose -7 = -3*f + 4*f. Let z = 7 + f. Which is greater: -6/19 or z?
z
Let z be (72/(-400))/(12/(-10)). Which is bigger: z or 0?
z
Let g be ((-21)/15)/(((-16)/(-10))/(-2)). Let z(w) = -w**3 + 5*w**2 + 8*w - 9. Let s be z(6). Which is bigger: s or g?
s
Let c = 0.16 + -0.06. Which is bigger: -2/21 or c?
c
Suppose -4*d + 9*d = 0. Let t(u) = -u**3 - 5*u**2 + 2*u + 6. Let r be t(-5). Let b(x) = x + 4. Let o be b(r). Are d and o equal?
True
Let r be (-33)/(-22)*692/(-3). Let y = 1724/5 + r. Is -1 > y?
True
Suppose -d = 2*k + 7, -k - 7 + 2 = 2*d. Let g be k/(-12) - (-9)/12. Let v be 1*-2 + 27/12. Which is smaller: v or g?
v
Let w = -77 + 74. Which is smaller: -4/11 or w?
w
Suppose -2*p = -5*z + 442, -2*z - 5*p + 145 = -55. Let b be (-4)/(-2)*207/z. Is b at most 4?
False
Let w = -30 + 21. Let c(k) = -k**2 - 10*k. Let b be c(w). Which is bigger: 1 or b?
b
Let u = -0.6 - -0.4. Let i = -0.1 - u. Which is bigger: -1 or i?
i
Let p be 56/(-21)*(-3)/(-36). Let k(r) = -2*r**3 + 2*r**3 + r**3. Let s be k(-1). Do s and p have different values?
True
Let g = -3/7 + 2/21. Suppose 0 = -6*t + t + 15. Is g bigger than t?
False
Suppose -3*m + 59 = -13. Which is greater: m or 23?
m
Let k = 4656 + -65113/14. Let a = k - 25/7. Which is smaller: a or 3?
a
Let g = -190 - -190.97. Let u = g + 0.03. Which is bigger: u or -1/4?
u
Suppose 0 = 2*h + 1 - 19. Which is bigger: h or 2/5?
h
Let h(w) = w**3 + 5*w**2 + w + 4. Let i be h(-5). Which is bigger: i or -6/5?
i
Let r = -8 - -10. Let d(p) = -p**2 + 3*p + 2. Let t be d(r). Which is greater: t or 5?
5
Let z be (-11)/20 + 1/(-4). Let l be 233/(-260) + (-2)/(-8). Let t = z - l. Which is smaller: 1 or t?
t
Let i be (-48)/(-26)*(-6)/(-8). Which is greater: i or 0?
i
Let w = -32 + 30. Are -11/8 and w non-equal?
True
Let z be -4*(33/(-12) - -2). Let l(i) = 4 - 1 - i + z. Let d be l(6). Is d bigger than -2/5?
True
Let y = -304 + 289.7. Let h = y - -14. Which is smaller: 1 or h?
h
Let k(a) = -a - 1. Let x be k(-5). Suppose -4*p = -x*u - 4, -3*p = -4*u + 3 - 8. Do p and -2 have the same value?
False
Suppose 5*j - 10 = 3*x, -2*j + 5 = -5*x + 1. Suppose -4*p + 8 = -y, -4*y + 2*p = 3*p + 49. Let z = 10 + y. Is z greater than or equal to x?
False
Let y be (3/9)/((-1)/3). Let x = y + 3. Suppose -3*v = -4*s + 13, 4*s + 6 = -4*v - x. Is s equal to 4?
False
Let f(q) = q**2. Let j be f(0). Suppose 2*o - 3*a = 4*o - 25, 0 = 4*o + 3*a - 41. Let i be 1/(1 - o/(-6)). Are j and i equal?
False
Let w(u) = -2*u - 23. Let p be w(-7). Which is smaller: p or -8?
p
Let h = 232 + -511/2. Let w = h - -25. Are w and 0.07 equal?
False
Let l be (-416)/(-112) + (0 - 4). Let z(n) = -n**2 - 5*n - 4. Let p be z(-4). Suppose 5*h + 0*h + 5 = p. Which is bigger: l or h?
l
Let m(l) = l**2 - 2. Let a be m(2). Let c be (2 - a)*1/2. Suppose 7*r - 3*r - 4 = 0. Which is smaller: c or r?
c
Let n = -0.3 + -0.7. Suppose z - 1 = -0*z. Is n equal to z?
False
Suppose -y = 2*y - 144. Let r be (3/6)/((-4)/y). Let q be (1 - r/(-9))*-6. Are q and 0 non-equal?
True
Let z be 4/6*(-3)/5. Suppose 3*g = 2*h + 7*g - 16, -2*g = -4*h + 22. Let c = h - 6. Which is smaller: c or z?
z
Let q be -2 - (-2 - 1 - 1). Let b be (-20)/(-15)*(-3)/q. Is -2 greater than or equal to b?
True
Let n be (4/6)/((-57)/36). Is 1 <= n?
False
Let m = -0.39 + 0.31. Is -2/11 > m?
False
Suppose -6*q - z + 13 = -2*q, -10 = -4*q + 2*z. Suppose 2*x - 15 = -4*u - q*x, 2*x - 6 = -3*u. Do u and 2 have the same value?
False
Let n = -554.07 + 547. Let i = n - -7. Which is smaller: 1 or i?
i
Let f(x) = x**3 + 2*x**2 - x + 3. Let y be f(-3). Let a = y + 3. Is a less than or equal to 0.2?
True
Let r = -4 + 6. Let b = -0.1 + 2.1. Let u = b + -1. Which is smaller: u or r?
u
Let u(k) = 2*k**2 - 2*k - 5. Let n be u(3). Is 28/5 bigger than n?
False
Suppose 0 = 6*g - g. Let v be 2/((0 - -2)*22). Which is smaller: v or g?
g
Let u be 2/(-7) - (-29)/7*-5. Is u >= -22?
True
Let d = -1 - -8. Let q be (7/14)/(1/14). Let z be q - 0*(-1)/(-3). Is z not equal to d?
False
Suppose -a - 2*z = -0*a, 5*a + z - 27 = 0. Does a = 6?
True
Let z = 12 + -7. Let n be ((-22)/(-8) - 2) + 25/4. Which is bigger: z or n?
n
Suppose 0 = -5*w + w + 24. Let h be (-1*(-3)/w)/(-1). Let s = 229/3 - 77. Does s = h?
False
Let d(q) = -5*q**3 + 2*q**2 - q. Let w be d(1). Let j be (2/4)/((-1)/10). Is j greater than w?
False
Suppose -3*q = -3*c, -5*c - 8 = 5*q - 2*c. Which is bigger: q or 4?
4
Let z be (-7)/35 + 14/(-30). Let s = -2 - -3. Let t = s + -1.3. Is z > t?
False
Suppose 4*t + 23 = 5*q - 51, -4*t - 66 = -q. Let s = t - -15. Is s >= 1/4?
False
Suppose -2*i = -0*i - 8. Suppose 0 = -i*k + 7 + 13. Which is smaller: k or -1?
-1
Let z = 20.3 + -20. Let d(c) = -21*c - 8. Let k be d(-6). Let p = 592/5 - k. Which is smaller: z or p?
z
Let i = 2.6 + -3. Is 0 > i?
True
Let d = -8 + -4. Is d greater than -1/2?
False
Suppose -2*v = -2*p - 3 - 1, v - 3 = 0. Let d be p/(-2) + 95/150. Which is smaller: 0.1 or d?
0.1
Let p = -49 + 49. Let l = 2 + -1. Let t be (-4)/(-114)*3/l. Does p = t?
False
Let a(q) = 4*q - 11. Let y be a(6). Is y greater than 13?
False
Let b = 4 + -2. Suppose b*k = -k. Let c = -239 + 2153/9. Is c >= k?
True
Suppose -5*n - 192 = -13*n. Is n less than or equal to 27?
True
Let x be (-6)/5 + (-4)/(-20). Is x less than -2/3?
True
Suppose 7*g = 11*g. Suppose -2*s - 2 + 14 = g. Which is bigger: s or 5?
s
Let w(y) = 0*y + y - 4*y + y. Let v = -3 - -4. Let x be w(v). Are x and -2 unequal?
False
Let u(d) = -2*d + 9. Let h be u(6). Let r be 2/(-7) + 18/14. Suppose s + 2 = r. Which is bigger: s or h?
s
Let i(j) = -j**3 + 4*j**2 - 4*j + 2. Let s be i(2). Suppose t = 3*x - 6, 4 = s*x - 0*x - t. Which is smaller: x or 6/5?
6/5
Let l = -0.7 + 4.7. Let m = -4.1 + l. Let g be 20/45*6/8. Are m and g non-equal?
True
Let x = -0.029 + 5.729. Let c = -5 + x. Which is smaller: c or 1?
c
Let m(o) = o**3 - 11*o**2 + 27*o - 2. Let x be m(7). Is x > -26/3?
False
Let k = -0.4 - -0.2. Let s = 0 - k. Let b(x) = x**3 + 3*x**2 - 1. Let v be b(-3). Which is smaller: v or s?
v
Let b = 2.2 + -2.29. Let s = -3.91 + b. Is 0 equal to s?
False
Let j(d) = -13*d**2 + 25*d + 2. Let y be j(2). Let q be ((-1)/3)/((-11)/(-6)). Which is smaller: y or q?
q
Let r = -23 - -22. Which is greater: r or 2/5?
2/5
Let u = 1/324 + 101/81. Are 1 and u non-equal?
True
Suppose 0*z - 3*z + 8 = d, -4*d - 5*z = -11. Let f = 10 - 10.07. Let v = f - -4.07. Do d and v have the same value?
False
Let l = 44 + -24. Let m = 22 - l. Let d be (2 - 1) + 3/(-4). Is d at most as big as m?
True
Let f = 5/302 - 20551/906. Let a = -4/30497 - 14333506/640437. Let m = a - f. Is 1 >= m?
True
Let z be 1/7*(1 + -3). Let n = -0.2 - -0.1. Let u = n + -0.1. Which is smaller: z or u?
z
Let y be (-6 - -4)*2*-1. Suppose 5*z - 5 = y*v, 3*v + 2*z + 