< m?
False
Let w(d) = -d + 9. Let p be w(0). Let x = -2 + p. Which is greater: 8 or x?
8
Let h be (-35)/(-228) + 0 - 6/36. Are h and 1 unequal?
True
Let t be -5 - -3 - (-5 - -2). Are 4/17 and t nonequal?
True
Let c = 224 - 226.01. Let u = 0.09 + -0.1. Let o = u - c. Which is smaller: -1 or o?
-1
Let q = -311/4 + 77. Let w be 6/8 - (-3)/12. Suppose 2*t = -1 - w. Is t <= q?
True
Let m = 7 - 10. Let r be (-3)/m*(-2 - -3). Is 1/2 less than r?
True
Let y be 4/(-45)*(75/(-6))/1. Which is greater: 2 or y?
2
Let l(f) = f**3 - 6*f**2 - 6*f - 3. Let z be l(7). Let y be 18/z - 1/2. Is y less than or equal to 3?
False
Let h = -5 + 5. Suppose h = 5*a - 3 - 7. Is 2 at least a?
True
Let q = 30 + -20. Which is greater: 1/3 or q?
q
Let m = 2 + -7/3. Which is smaller: 5 or m?
m
Let g = -113.3 - -118. Let c = g + 0.3. Are c and 2/5 equal?
False
Let k = 3.5 - 10. Let j = 6 + k. Is j greater than or equal to -2/7?
False
Suppose 2*b + 2*b + 4*l + 12 = 0, 0 = b + 5*l + 23. Which is greater: -1 or b?
b
Suppose 0*v + 14 = 2*v. Is v less than 5?
False
Let j(d) = -d**2 + 6*d - 2. Let y be j(5). Let i = y + -2. Which is smaller: i or -2/31?
-2/31
Suppose 2*r = d + 3, 3*d + r - 24 = -d. Let u(s) = -s**3 + 4*s**2 + 2*s + 7. Let o be u(d). Is -6 < o?
False
Suppose 12 = 3*s + 4*l, 2*s + 4*l = -0*s + 4. Let v be (-1)/(1 - s/(-12)). Are 0 and v nonequal?
True
Let i = 2.9 + -3. Let k(a) = a**3 - 2*a**2 + 2. Let t be k(0). Let v(c) = c**2 - 3*c + 5. Let p be v(t). Is i less than or equal to p?
True
Let w(x) = x**3 + 5*x**2 + 5*x + 3. Let q be w(-4). Let b = -1 - 0. Let a = -1 + b. Which is smaller: q or a?
a
Let k(h) = -h + 11. Let m be k(5). Suppose 4*j - 3*f - 7 = 0, 2 = -3*j - 4*f + 26. Suppose j*n - 5 = 19. Are n and m unequal?
False
Let z(d) = d**3 + 15*d**2 + 12*d - 19. Let g be z(-14). Let k = g + -12. Is -7/2 at most as big as k?
True
Let s = 1031/7 - 147. Which is greater: s or 1?
1
Let q = -0.4 - -0.3. Let f = 0.1 - q. Let z = 4.1 + -4. Which is greater: z or f?
f
Let o = 30 + -29.77. Which is smaller: o or 1/4?
o
Suppose -3*s = 3*f - 9, -f = -4*f - s + 7. Suppose 5*a - 3*v = 21, -f*a + 2 = -0*a + 2*v. Is a >= 2?
True
Let n(i) = i + 6. Let s be n(0). Suppose 75 = -5*h - 5*l, 4*h = 3*l - 5 - 34. Let o be h/(-18) - 4/s. Are o and -2 nonequal?
True
Let a be 1/(-2)*(-6 - 0). Suppose -5 = l, l = -a*w - 3*l - 41. Let q = w + 5. Are q and -3 equal?
False
Let g(w) = w - 6. Let l be g(5). Let j(u) = -u**3 + 6*u**2 - 5*u. Let b be j(5). Let m be (3*1)/(l - b). Is m != -3?
False
Let w = 50 + -10. Let f be (-2)/4 - (-25)/w. Is -1 at most f?
True
Let n be (-92)/(-14) - 33/(-77). Let a = n + -8. Are 2/15 and a non-equal?
True
Suppose w = -3*s - 11, w - 6*s = -4*s + 4. Let r be (2/3)/(w + -3). Do 1 and r have the same value?
False
Let n(h) = -h**2 + 27*h - 56. Let o be n(25). Let g = -9 - -5. Which is greater: o or g?
g
Suppose 0 = -t - 3 - 3. Let r be 2/4 - (-7)/t. Which is smaller: r or 0?
r
Let f = -10.7 + 9. Let h = f - -2. Let k = 0 - -0.2. Do k and h have different values?
True
Suppose 4*x = -2*j + 5 + 5, 5*j + 14 = 3*x. Suppose 2*h = x*h. Which is bigger: 1/3 or h?
1/3
Suppose -4*r + r = -24. Let f be (r/10)/(12/150). Are f and 1 non-equal?
True
Suppose -8*v = -9*v. Let z = -11 - -8. Let y = z - v. Is -3 at least y?
True
Suppose 0 = b - r - 124, b + 6*r - 99 = 2*r. Let j = -21448/5 + 4171. Let a = b + j. Is a < 1?
True
Let x be 134/420 - (-10)/(-35). Which is greater: x or 0?
x
Let t be (-243)/95 - (-1 - 3). Let x = t + -16/19. Which is greater: x or 0?
x
Let n(v) = -v**3 + 9*v**2 + 2*v - 13. Let m be n(9). Suppose -21*j + 17*j + 24 = 0. Which is greater: j or m?
j
Let k = 10.8 - 11.8. Let w = -2/15 + -1/5. Which is smaller: k or w?
k
Let b be -2 - (-1 + 1 + -2). Let w = -1 + b. Is w greater than 0?
False
Suppose -5*z + 62 = -3*a, -z = -4*z - 2*a + 22. Let t be ((-8)/z)/((-3)/(-15)). Let b(v) = -v - 17. Let h be b(-13). Is h at least as big as t?
True
Let z be 2*9/22*1. Let s = 38/33 - z. Is 0.06 at least as big as s?
False
Suppose -w = -3*q + 123, -w + 5*q - 158 + 37 = 0. Are w and -126 equal?
True
Let x = 1 + -3. Is x less than or equal to 0.5?
True
Let x(l) = -l**3 - 7*l**2 + l + 9. Let i be x(-7). Suppose 36 = -i*p + 2*o, -4*o = -3*o. Let f be (-3)/p - 5/(-6). Is f at most 2?
True
Suppose -4*w - 5*v = 17097, w + w = -v - 8541. Let p be (-4)/(-10) + w/2070. Let o = 1/207 - p. Are 1 and o unequal?
True
Let y be (-3)/2*4/(-6). Suppose -3*s = -3*q, 5*s = 3*q - y + 3. Let h = -164/335 + 6/67. Which is greater: q or h?
q
Let s = 2.98 - 3. Let z = -1.28 + s. Which is greater: -1 or z?
-1
Let z(x) = -x**2 + 9*x - 8. Let b be z(6). Suppose -15 - b = -5*f, -4*a - 4 = 4*f. Let g be (1/4)/((-3)/a). Which is greater: 0 or g?
g
Let c = 0 + 3. Suppose 5*u - 17 = -0*t - t, 0 = -3*u + 2*t + 18. Are c and u equal?
False
Let j(h) = h**2 + 8*h - 8. Let k be j(-9). Let a = 1 + k. Let t be 0/((-1)/(a/(-2))). Which is smaller: t or -1?
-1
Let s = -1.4 - -1.6. Which is smaller: s or 0?
0
Let y = 77/4 + -19. Let d = -1.14 + 0.14. Which is smaller: y or d?
d
Suppose 5*s - s - 5*n - 22 = 0, -2 = -2*s - 2*n. Which is smaller: s or 2?
2
Suppose -3*k + 5*k = 0. Suppose -m + 7 + 1 = k. Let o be ((-6)/m)/((-5)/(-20)). Which is greater: o or -2?
-2
Let q = -9/157 - -5365/471. Let v = q - 103/9. Is v less than or equal to -1?
False
Let f(y) = 6*y - y**2 - y - 3 + 0*y**2. Suppose 0*x + 8 = 2*x. Let h be f(x). Which is bigger: h or 2?
2
Let v be 3 - (3 - 1052/(-8)). Let d = v - -134. Which is bigger: d or 4?
4
Let b(w) = w**2 + 5*w + 11. Suppose 0 = -4*i - 0*r + 3*r - 26, -2*i + 2*r = 12. Let o be b(i). Suppose -4*y - o = y. Is y bigger than -6?
False
Let j = -0.3 - 0.5. Is j greater than or equal to 0?
False
Let i be 459/(-324) + (-2)/6. Which is greater: i or 3/4?
3/4
Let t = -58 + 57. Let m = -5/2 + 39/14. Which is bigger: m or t?
m
Let r = 1.96 + -5.88. Let x = r + -0.08. Let a = -4 - x. Is a smaller than 1?
True
Suppose -13*s = -16*s + 6. Are s and 0.01 equal?
False
Suppose 0 = 4*l + s + 24, -3*l + s = -3*s + 37. Let z = -8 - -2. Is z at most as big as l?
False
Let y = 15 + -14. Is -6 equal to y?
False
Let l be (-8)/2*5/10. Let w be ((-10)/3)/(2/(-6)). Suppose -d + w = -6*d. Is l at least d?
True
Let p(d) = 2*d**2 - d. Suppose -y - 4*y + 5 = 0. Let f be p(y). Let r = 1 + f. Which is greater: 2/7 or r?
r
Let j = 19 - 16. Which is greater: -1 or j?
j
Suppose 1 = 4*t - 15. Let s = 13 + -8. Which is smaller: t or s?
t
Let y be (57/6 - 3)/(1/(-2)). Which is smaller: y or -11?
y
Let y = -38.1 + -13.9. Is 0 at most as big as y?
False
Suppose 4*h = -1 + 29. Let k = 7 - 3. Suppose 0 = t - k*w + 12, 2*w + 55 = 5*t + 5*w. Which is smaller: h or t?
h
Let h = 1 - -2. Is h greater than or equal to 15/4?
False
Suppose 0 = -5*x + 3*t - 1 + 27, -3*x + 14 = -t. Suppose 0 = -4*g - 5*d - 17, -5*d = 15 + 10. Suppose g*o - x*o = -2. Which is smaller: -1 or o?
-1
Let b(p) = 3*p**2 + 29*p - 1. Let k be b(-9). Is -16 != k?
True
Let z be 1/(-3 - 220/(-72)). Is 19 greater than z?
True
Let m(z) = -4*z**3 + 1 - 6*z + 0*z**3 + 3*z**3 + 7*z**2. Suppose 3*w + 12 = 30. Let n be m(w). Do -1/6 and n have different values?
True
Let w = 423 - 423. Let m(v) = -2*v - 4. Let l be m(-3). Are w and l equal?
False
Let m = -5 - 0. Let x(h) = h**2 + 6*h + 5. Let b be x(m). Is b >= 1?
False
Let i = -0.1 + -1.3. Is i greater than or equal to -1?
False
Let r = 1/94 + 181/658. Let f = 0.06 - 0.86. Let v = f + -2.2. Which is bigger: r or v?
r
Suppose 5*a - 24 - 11 = 0. Let g be (-2)/7 - (-9)/a. Let j be (1 - 5 - (-6 - -5)) + 3. Is j at most g?
True
Let x = -251/3 - -83. Let h = -7 - -4. Let j = -8 - h. Is x greater than j?
True
Suppose 22 = -q - 5*k - 2, 3*q = 4*k + 23. Is q >= 3/7?
True
Suppose 2*y + 4*x - 20 = 0, -2*x + 14 = 2*y - 8. Let p = y - 21. Do p and -8 have the same value?
False
Let u = 2 + -11. Let x be (-150)/u + 6/18. Is x at least as big as 17?
True
Let u(m) = m**2 + 2*m + 2. Let d be u(-3). Suppose -60 = -d*y + 30. Let o be (-12)/(-16)*16/y. Are 2 and o equal?
False
Let f be (-1)/(-1) - (-66)/(-63). Which is smaller: f or 1?
f
Let u(a) = -a - 5. Let n be u(-6). Which is greater: -1 or n?
n
Let l be 10/5*(-1 + 3). Suppose -l*i - 7 = 1. Is i smaller than -4?
False
Let g = 91/165 - 5/33. Do g and -1 have the same value?
False
Suppose 