ller: o or 0?
0
Suppose 3*q = 2*x + 9, -3*x - 8 = -2*q + 3*q. Suppose q = 5*t - 14. Let p be (1 + 1)*t/6. Is p at most as big as 0?
False
Let i be 0 - (1/12)/((-66)/(-18)). Is i greater than or equal to 1?
False
Suppose 15*w + 8 = 19*w. Are w and 2 non-equal?
False
Let z be 6/(-10) - 4/10. Let k(b) = -b + 1. Let y be k(z). Let t be (-130)/(-78) + 4/3. Which is greater: y or t?
t
Let i be (-2)/4*16/24. Let b = -0.01 + 0.01. Is i at least b?
False
Let i = -5 + -2. Let f = 1.146 + -0.146. Which is smaller: i or f?
i
Suppose 0 = 5*m - 6 + 1. Are 8/9 and m non-equal?
True
Let l = 83 - 83. Are 3/38 and l unequal?
True
Let c = 0.1 - 0.1. Let j = -23 + 23.14. Let m = j + -0.04. Is m at most as big as c?
False
Let j = -3 - -4. Let a = -1/57 - 217/627. Are j and a equal?
False
Let y be -65*(48/20)/6. Let i = y + 29. Which is smaller: 4 or i?
i
Let t = -13 + 13. Let j(n) = -2*n**3 - n + 2. Let f be j(2). Let g be -1*(-2)/f*1. Do t and g have the same value?
False
Let m = -2 - -2. Suppose 3*p - 7*p + 4 = m. Let l be (-3)/6*(-4)/6. Do p and l have different values?
True
Let h = 1.93 - -0.07. Is h greater than 0.11?
True
Let o = -27/91 + 2/13. Suppose -1 - 7 = -4*g. Let p = g - 3. Do p and o have different values?
True
Suppose -4*m - 41 = 2*p - 11, 44 = -5*m + 4*p. Let c = m + 5. Let q be 5 - (3 + 2) - 2. Is c greater than or equal to q?
False
Suppose 3*x - 2*h - 10 = 0, -x - h + 1 = -9. Does 10 = x?
False
Let v(c) be the second derivative of c**3/6 - 4*c**2 + 2*c. Let n = -41 + 47. Let h be v(n). Which is greater: h or 0?
0
Let r be (2 - 0) + 0 + 2. Let a = 4 - r. Let h = 387/5 - 77. Which is smaller: h or a?
a
Let c be (-327)/465 + (-9)/(-15). Let l = c - 3/31. Suppose i + 5 = -4*i. Is i greater than or equal to l?
False
Let f be 2/(2*-1)*(-20)/40. Let t = -97444 + 28258649/290. Let h = 1/58 - t. Which is smaller: f or h?
h
Suppose -11 = -4*t + h, -3*h + 5*h = 2*t - 4. Suppose -2*f + g = -t*g - 32, -2*f = 5*g + 13. Which is bigger: 7 or f?
7
Let n be (-520)/(-6) - 1/(-3). Let l be n/(-27) - (-6)/2. Are l and -1 nonequal?
True
Let l be (2/(-6))/((-3)/9). Let m = 1 - l. Suppose x + 2 = 5*r + 22, -20 = 5*x + 5*r. Does m = x?
True
Let f = 9 + -2. Which is bigger: f or 8?
8
Suppose -21 = -5*h - 1, -2*w = -h - 26. Which is smaller: w or 27/2?
27/2
Let w(p) = p**3 - 2*p**2 + 1. Let n be w(1). Suppose -2*i + h + 0*h - 1 = 0, 2*i + 5*h - 29 = n. Let b be (36/(-14) - -2)/(-2). Is i > b?
True
Suppose 3*r - r = -2. Suppose -5 = a + 5*p, 0 = 3*p - 1 + 4. Which is bigger: a or r?
a
Let r be (-2 + 2)/(18 + -17). Which is greater: r or -2/243?
r
Let x = 410/3 - 137. Suppose 2*b = -5*z - 23, -4*b - 1 = 2*z - z. Is b bigger than x?
True
Let p be (0 + 1)/(3/9). Suppose 3*l = -3*j, -2*j + 12 = p*j - l. Is 1 < j?
True
Let m = 30 - 39. Which is smaller: -6 or m?
m
Suppose 4*y + 2*a = 0, 3*y + 0*a = a - 10. Let z be (y/(-8))/((-1)/2). Which is greater: z or 1/2?
1/2
Let p = 2/1523 - -21300/16753. Which is greater: p or 2?
2
Let m = 452/11 - 41. Are m and 1 nonequal?
True
Let j(k) = k - 8. Let i be j(7). Let p = i - -5. Is p equal to 5?
False
Let o = 9 - -2. Are 11 and o non-equal?
False
Let f = -0.92 + 1. Let z = f - 1.08. Let g = -1 - z. Which is smaller: g or 0.2?
g
Let q be (-2)/7 - 38/14. Let f be (q + -1)*(-2)/4. Let g(o) = -o**2 + 2*o + 1. Let v be g(f). Which is smaller: -1/8 or v?
-1/8
Let w be (2 - (-4)/(-3))*6. Suppose 3 = w*u - 1. Let f = -2 + 0. Which is smaller: f or u?
f
Let l = 0 - -1. Suppose 4*c + w = 2*w - 4, 2*w - 8 = -c. Is c > l?
False
Suppose i + 0*i = -34. Let s be i/(-153) + (-25)/(-9). Which is bigger: 22/9 or s?
s
Suppose -2*b = 4*c + 2*b - 52, b - 49 = -3*c. Suppose -2 = -w - c. Let g be 4/6 + w/15. Which is bigger: 0 or g?
0
Let c = 120 - 364/3. Suppose -t = t + 4*u + 10, -t - 11 = 4*u. Suppose i - t + 3 = 0. Is i >= c?
False
Let p be (-4)/(3/1 + -2). Suppose j - 8 = 3*j. Is p at most as big as j?
True
Suppose -2*i + 3*k = 21, -3*k + 3 = 2*i + 2*i. Let w = 9 + i. Let b be (w + -7)*(-3)/7. Do b and 1 have different values?
True
Suppose -3*y - 49 = -2*l - 6*y, 0 = -l - 2*y + 22. Let j = 21 - l. Let g be 2/(-4) - j/14. Which is bigger: -1 or g?
g
Let k = 26 + -37. Is k smaller than -10?
True
Let w = -0.51 - -23.51. Let v = 21.9 - w. Let b = v - -0.1. Which is bigger: b or -0.2?
-0.2
Let m = 1.45 + -0.15. Let p = m - 0.3. Let i = -132 - -130. Is p less than i?
False
Suppose 4*t + 22 = 3*n - 1, -4*t = 8. Which is smaller: 9/2 or n?
9/2
Suppose -3*t = -2*x - 2, -2*t - 5*x + 15 = 1. Suppose t*n + 5 = -n + l, 3 = n + 2*l. Let p be (-1)/(-1) + (-2)/((-66)/(-39)). Which is bigger: n or p?
p
Let c = -2.06 - -2. Let o = c - 0.34. Is o <= -1?
False
Let x = -111 + 132. Is 18 bigger than x?
False
Suppose 5*p - 3*p = -2. Let f = 2 + p. Is f greater than 3/5?
True
Let m(i) = -i**3 - 5*i**2 - 10*i - 6. Let t be m(-6). Let g be (-24)/t - (-4)/6. Is g < 0.04?
False
Suppose n = 4*w - 17, 0*w = 2*w - 5*n - 31. Let m = -118/33 - -10/11. Let r = m + w. Is r < 0?
False
Suppose -3*b + 9 + 0 = 3*a, a + 1 = -5*b. Let s be b + (-5)/(10/(-3)). Which is bigger: 2 or s?
2
Let o(j) = -2*j - 1. Let k be o(-2). Let w = 1/661 + 1981/1322. Which is greater: k or w?
k
Let k = -1 + -1. Let w be -4*3/6*k. Let p(h) = h**2 - 5*h. Let g be p(w). Which is bigger: -5 or g?
g
Suppose 9 = 5*n - 3*k + 7*k, 3*k = -12. Suppose 4*c = 5*y + 2, n = 2*y - 4*c + 1. Let i be (-1)/2 + 3/(-2). Are y and i nonequal?
False
Let a = -7 + 13. Let n be ((-171)/(-133))/((-2)/(-7)). Which is smaller: a or n?
n
Let i = 0.1 - -0.2. Let w = 2.3 - i. Let m = 1.9 - w. Which is smaller: 0 or m?
m
Suppose -2*v - 2*v + 48 = 0. Let l be v/(-15) - 74/(-105). Is l smaller than -0.1?
False
Let c = 3 - -2. Let f(l) = -l - 3. Let s be f(6). Let o be (-2 + 0)*s/3. Is c at least o?
False
Let y be (1 + 2)*2/(-27). Let j(m) = m**3 + 48*m**2 - 47*m + 98. Let p be j(-49). Do y and p have different values?
True
Let z = -0.02 - 0.28. Is z > -4?
True
Let b be -2 - 2/(6/9 - 0). Which is greater: -4 or b?
-4
Let g be 3*452/30 - 0. Let a = g + -45. Is -1 at most a?
True
Suppose -945 = 8*r - r. Let h be (-8)/(-6)*r/(-10). Which is smaller: 17 or h?
17
Let s = 7 + -13. Let j be s/18*9/(-2). Is j at least 1?
True
Let d be (1 - 1) + -4 + 4. Suppose -5*x - 2 + 7 = d. Let r be 0/(-3 + 1/x). Which is smaller: r or 2/17?
r
Let b(s) = s**3 + 4*s**2 + 6*s + 13. Let o be b(-3). Suppose d - 6 + 1 = 0. Which is smaller: o or d?
o
Let f = 11 + -11. Is -9/4 less than or equal to f?
True
Let z be (-2)/3 + 4/(-3). Let c be 1 + (8/20 - 2). Is c less than z?
False
Suppose 3*v - 4*v + 18 = -3*r, 3*v - 2*r = 26. Let d = v - 5. Which is smaller: -2 or d?
-2
Let n = 29.61 - 0.61. Is n less than -1?
False
Let a = 45 - 32. Which is greater: 11 or a?
a
Let w = -6 - -8. Let n = 0 - w. Let a = 14 + -15. Which is smaller: a or n?
n
Let x = 3 - 5. Let s = -1.9 - x. Let m = -9.1 - -9. Which is greater: m or s?
s
Let m be (36/(-114))/(0 - -2). Is -1 <= m?
True
Let u = 5 + -3. Suppose 0 = -2*t + 6. Is u bigger than t?
False
Let q = -2 - -2. Let v(d) = -7*d - 7. Let b(t) = -15*t - 14. Let f(z) = -6*b(z) + 13*v(z). Let s be f(-7). Is q != s?
False
Let o be 2 + -2 - (0 + -4). Suppose -o*x - 4 = -2*x. Suppose 5*v = -4*s + 16, 3*v - 16 = 2*v - 4*s. Is v bigger than x?
True
Let z be (30/20)/(3/(-6)). Do -7 and z have different values?
True
Let j = -1 - -1.1. Is -2 at most as big as j?
True
Let f = 1 + -2. Let v = -165 + 1317/8. Which is smaller: f or v?
f
Let c be (6/10)/((-2)/(-10)). Let w(f) = f**2 - 4*f + 2. Let s be w(c). Which is smaller: s or 2/7?
s
Suppose -i + 3*h = 1, i + 4*h = -4*i + 52. Let g = i - 5. Suppose 2*c + g*b + 14 = -b, -4*c + 8 = -b. Is c greater than or equal to 2?
False
Let a = -1 - 1. Let h(j) = -6*j - 68. Let z be h(-11). Is a < z?
False
Let a = 50 + -46. Is a bigger than 5?
False
Let f = -2 - -3. Suppose -j = 6 - 3. Let l = 2 + j. Do f and l have different values?
True
Let s = 153 + -153. Which is bigger: s or 1/8?
1/8
Let c be (1 - 0) + (-76)/10. Let r = -137/20 - c. Let s = 7 + -6. Is s at most as big as r?
False
Let t = 3.08 - 0.08. Let m = t + -2.9. Is -1/2 < m?
True
Let z = -47/4 + 233/20. Which is smaller: z or 1?
z
Let r = 1007.8 - 921. Let z = r + -98. Let p = -11 - z. Do -1/3 and p have the same value?
False
Let r be (-116)/(-14) - (-2)/(