 as big as y?
True
Let f = 6.9 + 0.1. Let w = -6 + f. Are w and -3 unequal?
True
Let x = -0.8 - 1.2. Which is smaller: x or 12/11?
x
Let j be 6 + -1 - (-2)/1. Let y(x) = x**2 - 7*x + 2. Let g be y(j). Is 2 > g?
False
Let y = -14 - -8. Is -4 greater than or equal to y?
True
Suppose 7*q - 8 = 3*q. Is 1 < q?
True
Let g = 0 - 0.5. Let t = 11 + -11.1. Which is smaller: t or g?
g
Let b = 6 + -8. Let l be 8/b*(-3)/(-6). Is l at least as big as -2?
True
Let t = 3 - 1. Suppose t = -2*q - 0. Let z be 1/4 + (-2)/8. Which is smaller: q or z?
q
Let c = 139 - 143. Which is smaller: c or -37/7?
-37/7
Let z = 3 + -1. Suppose 0*l = 3*l - o - 9, -7 = l + 3*o. Is z <= l?
True
Let z = 8 - -31. Is 0.2 at least z?
False
Let x be ((-2)/6)/(72/162). Suppose -9 = -3*b, 0*z = -2*z + b + 3. Suppose 4*o - 16 = 4*v, o + 4*v = z*o - 18. Which is greater: x or o?
x
Let v = -148 + 162.24. Let p = v + -14. Let d = 0.04 - p. Is -0.3 bigger than d?
False
Let b be 4*3*2/12. Let u be 6/(-10)*(-1 + 0). Is u greater than or equal to b?
False
Suppose -2*q + 12 = 2*q. Suppose -q*k - 9 - 3 = 5*y, -2*y = 3*k + 3. Let h be y*(-16)/30 - 1. Is h at least as big as 1?
False
Let s = 4 + -2. Let g = 9/14 - -6/7. Which is smaller: s or g?
g
Let l = 0.139 - 0.339. Let g = 0.3 + 0.5. Let b = g - -0.2. Which is smaller: b or l?
l
Let g(f) = -f - 2. Let y be g(-3). Let k = 99 + -696/7. Which is greater: k or y?
y
Let o = -1.2 + 1.15. Which is smaller: o or 0.1?
o
Suppose -6 = 2*u, 3*n - 66 = -5*u + 243. Let x be n/(-48) + (2 - 0). Which is bigger: x or -1?
x
Let w = -75 + 70. Are -1 and w non-equal?
True
Let u(p) = p**3 - p**2 - p - 1. Let q be u(2). Which is smaller: 1/12 or q?
1/12
Let g(h) = -5*h - 13. Let c be g(-3). Is c at least as big as 5/4?
True
Suppose u = -2, -q = 3*q + 3*u + 14. Which is smaller: q or 1.5?
q
Let w = 104 - 117. Which is smaller: -15 or w?
-15
Let s be 12/8*(-20)/3. Let m = 7 + s. Are -3 and m non-equal?
False
Suppose 10 - 4 = 2*o. Let j(d) = d**3 + 4*d**2 - d - 1. Let s be j(-4). Let c = 5 - s. Is o greater than or equal to c?
True
Let q be 1 - 1 - (3 - 4). Suppose -4 = -5*d + q. Is 2/5 at least as big as d?
False
Let p = 17 + -25. Let y = -13 - p. Is y at least as big as -3?
False
Let b = -32 + 162/5. Which is smaller: -3 or b?
-3
Let z = 23 - 30. Let g = 24.1 - 24. Which is greater: z or g?
g
Suppose -4*a - 25 + 5 = 0. Which is smaller: a or -2?
a
Let j(k) = k**3 + 4*k**2 + 4*k + 1. Let f be j(-3). Suppose -4*c = -2*i + 22 - 0, -5*i - 3*c = 10. Let w be (-18)/6 - i/(-1). Do w and f have the same value?
True
Let o(v) = -v**2 - 4*v + 1. Let w be o(-4). Let f = 3 - w. Suppose 0 = z - 4*z + 4*k + 1, 4*z = 2*k - f. Is z <= -1?
True
Let o be ((-8)/5)/(6/15). Is o smaller than -5?
False
Let o be ((-2)/(-6))/((-2)/12). Let s be o*3/(-63)*3. Let m = 4.7 + -5. Which is smaller: m or s?
m
Suppose 0 = -4*p + 6*p - 6. Which is greater: p or 4?
4
Let s = 1/27 - 35/216. Is s greater than or equal to 1?
False
Let b = 7 - 1. Let g be 1 - (b/(-3) - 0). Suppose 0 = -3*z - g + 6. Is 2 greater than or equal to z?
True
Let v(i) = i - 3. Let j be v(6). Suppose -m + 14 = 5*z, -3*m = m - j*z + 13. Which is smaller: m or -3?
-3
Suppose -4*s + 4*x - 16 = 0, 2*s + 0*x = x - 4. Are 2/25 and s non-equal?
True
Let s(a) be the first derivative of a**3/3 - 5*a**2/2 - 5*a - 1. Let d be s(6). Let g(h) = h**2 - 5*h + 1. Let i be g(5). Is i < d?
False
Suppose f = 26 - 24. Is 1/2 <= f?
True
Suppose 12 = 20*k - 17*k. Is 36/7 less than k?
False
Let c be ((-4)/(-12))/(1/3). Which is greater: 10 or c?
10
Let h = 3 + -1. Suppose 15 = -0*a + 5*a. Which is bigger: h or a?
a
Suppose -2*m - 25 = -65. Let f be 2 - 4 - m/8. Does -5 = f?
False
Let q = 1.3 + -0.7. Let h = 2.6 - q. Let f = -4 + h. Is -1 <= f?
False
Suppose 2*d = -4*c + 4 + 2, 3*c - 5 = -d. Let r(n) = -n**3 + 5*n**2 - 4*n + 3. Let p be r(4). Suppose 5 + 1 = p*i. Is c greater than i?
False
Let d = 0.01 - 0.51. Let i = d - -0.5. Let n = -1 - i. Which is bigger: 0.5 or n?
0.5
Let g = -6642/13 + 121648/247. Let o = g - 3798/95. Let w = o - -59. Which is bigger: w or 2?
2
Let q = -619/7 + 88. Let n = -2.2 + 0.2. Which is greater: q or n?
q
Suppose -5*q = 3*x, -x + 11 = -0*q - 2*q. Do q and 0 have the same value?
False
Let d be ((-2)/4)/(3 - (-2 + -4)). Which is bigger: -0.1 or d?
d
Let n = 80 + -95. Let g = -24 - -10. Is g < n?
False
Let y(h) = 2*h - 10. Let o be y(8). Suppose -o*v - 1 = -7*v. Is -1/20 at most v?
True
Let m be -1 - ((1 - 1) + 2). Which is greater: -1 or m?
-1
Suppose 2*r + 2*r = 3*t, 3*r + t = -13. Let b = -7 - r. Let s = b + 4. Does -2/7 = s?
False
Let y be 14/2 - (-6)/3. Let g be (-2 + 18)*((-36)/(-8))/9. Which is smaller: y or g?
g
Suppose -3*n + 3*m = 6, 5*n - 8 = -5*m + 2. Which is smaller: n or -3?
-3
Suppose 0*b = -4*b + 12, -4*k = 3*b - 9. Suppose k = 3*o + 2*o. Let s be 0*(-2 + 1 + o). Which is smaller: -1/2 or s?
-1/2
Let i be 2/4 + 31/(-54). Let m(y) = -y**2 - 29*y - 101. Let b be m(-25). Is i at most as big as b?
False
Suppose 7*t = 4*t - 33. Which is smaller: -10 or t?
t
Let u(q) = -q**2 + 14*q + 5. Let i be u(14). Suppose 0*y = i*y - 10. Is y equal to 4?
False
Let u be 3/9*(-1)/(-37). Let z = -227/555 + u. Suppose 0 = -n - 2*n - 3. Is z less than n?
False
Let w = 10 - 22. Let x(n) = 5*n - 2. Let a be x(-2). Is a less than w?
False
Let f = -49 - -50. Is f at least as big as -9/5?
True
Let w = 1/63 + -446/315. Is w less than -2?
False
Let f = 1/43 + -93/301. Suppose 0 = 3*a - x, 3*x = 4*a - 3*a + 8. Is f equal to a?
False
Suppose 2*v - 28 = 14. Which is smaller: v or 18?
18
Let r = 8 + -4. Let h = r - 2. Which is bigger: h or 18/7?
18/7
Let l = 0 - 0.1. Let a = 16 + -16.9. Let d = a + l. Do d and -0.4 have different values?
True
Let n = -51 + 352/7. Which is bigger: n or -2?
n
Let a(q) = -q**3 + 3*q**2 - 2*q + 3. Let y be a(3). Let r be y - (104/(-6))/4. Is r at least 1?
True
Let z(k) = k**3 - 8*k**2 - 3*k. Let d = 7 + 2. Let f be z(d). Let t be (f/48)/(-3 + 0). Which is smaller: -1 or t?
-1
Suppose 5*k = -5*t, 4*k - 9 = -t - 0*t. Suppose 3*b - 9 = -0*b + 3*u, -5*u = k*b + 15. Which is bigger: -1 or b?
b
Suppose -2 = 3*z + 3*k - 5*k, 0 = 2*z - k + 1. Suppose 0*s + s = z. Suppose -4*v = v + l - 8, s = 5*v - 3*l + 4. Are 1 and v equal?
True
Let j = 7 - 4. Let c be 50/84 - 2/j. Let u = c + -19/28. Which is bigger: u or -1?
u
Let n = -4.06 - -0.06. Let o = 3.96 + n. Let c = -0.04 - o. Which is smaller: c or -1/5?
-1/5
Let h be 3/27*40/12. Does h = 0?
False
Let c = 41 + -60. Do c and -20 have the same value?
False
Suppose 4*j - 4 = 4*w + 12, -10 = w - 3*j. Is w <= -2/61?
True
Suppose 1 = -5*j + i, 0 = 5*j - j - 3*i + 3. Suppose j = r + 3*r - 12. Is 1 bigger than r?
False
Let o = 215/2 + -105. Suppose 5*w + 1 - 16 = 0. Which is smaller: o or w?
o
Let z(n) = n - 4. Let l be z(6). Suppose 3 = -l*x - x. Do x and 1/14 have different values?
True
Suppose 0 = -3*n - 7*b + 4*b + 18, -15 = -n - 4*b. Suppose -n*v = -0*v. Is v smaller than 1?
True
Let g(m) = -3*m**2 - 4*m. Let r be g(-3). Let n be ((-4)/(-10))/(12/r). Is n greater than or equal to 0?
False
Suppose 6*l - 204 = 2*l. Are 50 and l unequal?
True
Let c = -1.03 + 0.03. Let s = 2.06 + -0.06. Let v = 2 - s. Is c smaller than v?
True
Suppose -3*o + 8 = -4*o. Let r(l) = l**3 + 7*l**2 + 8*l + 5. Let c be r(-6). Is o at most c?
True
Suppose m = -0*m - 14. Let s = -10 - m. Let g be (s/(-30))/((-6)/9). Which is smaller: g or -1?
-1
Let u = -5/2 + 9/4. Let g = 0 - u. Which is smaller: -4 or g?
-4
Let c = -2.98 + 3. Is c bigger than 0?
True
Let m = 13 + -15. Are m and -7 nonequal?
True
Suppose 3*r = 8*r - 15. Suppose -r*t = -7*t + 3*j - 14, 2 = 4*t + 5*j. Is t not equal to -7/3?
True
Let v = 4 - 7. Let x(l) = l**3 - l**2. Let m be x(-1). Which is smaller: v or m?
v
Let c = 187/403 + -12/31. Is 1 greater than c?
True
Let t = 63 + -56.3. Let p = t - 7. Is 0 bigger than p?
True
Let z be (-4)/(2 - 32/12). Let y(h) = -h + 6. Let j be y(z). Let n = 46/51 - 4/17. Which is greater: n or j?
n
Let m be 1 + 2 + -2 + 0. Suppose -2*u + 19 = 3*y, 2*u - 5*y + 33 = 6*u. Is u less than or equal to m?
False
Let z = -3.4 - -0.4. Which is smaller: z or 5?
z
Suppose 5*u + 15 = 0, -2*w + u - 5 = -4*w. Let h be ((-2)/(-5))/(w/(-40)). Which is smaller: -1 or h?
h
Let c = -33 + 35. Is 0 smaller than c?
True
Let y 