 -0.9 + v. Is g < -0.1?
False
Let b be (-6 - -7)*((-45)/(-10) - 4). Let y be 1/3 - 4/(-6). Which is smaller: y or b?
b
Let d = -1 - -3. Suppose -7 = -5*z + 23. Let h be 9 - z - 1/1. Is d > h?
False
Let d be (-42)/112*(-14)/(-3). Which is smaller: -2 or d?
-2
Suppose -3*k = 2*k. Let l = -30 - -31. Is k not equal to l?
True
Let h = -22 + 7. Let n be (-7)/(-2) - (-30)/h. Is 2 greater than n?
True
Let x = 21.72 - 22. Let j = x - 0.02. Let k = 2 + -4. Is k smaller than j?
True
Suppose 0 = 5*h - 4*o + 31, -h - 4*o + 22 = -3*h. Suppose 29 = -2*b + 3*i, 0*i = 3*b - 3*i + 39. Let q be (4/(-5))/((-2)/b). Is h not equal to q?
True
Suppose 4*j + 47 = 5*t, 3*t - 3*j + 3 - 30 = 0. Let q be 9 - (0 - -1)/(-1). Which is greater: t or q?
t
Let f be ((-2)/5)/(2/1). Let h = 83 - 82. Is f > h?
False
Let p = -1 + 2. Which is smaller: -2/11 or p?
-2/11
Let q = 1849/25 + -74. Which is greater: 1 or q?
1
Let h = 0.1 + 0.1. Let i = h - 0.2. Is i <= -0.1?
False
Suppose -2*h + 2*n - 6 = -0*n, h + 2*n - 6 = 0. Which is smaller: -3 or h?
-3
Let x = 134 - 136. Is -12/5 <= x?
True
Let n = 0.2 - 0.4. Let k = 0.1 - n. Let m = -0.3 + k. Is -0.3 at most m?
True
Let h = 139 - 79. Which is greater: 0 or h?
h
Let y be -3*((-7)/9 - -1). Let z be -3 + 4 + 4/(-28). Which is smaller: z or y?
y
Let f = -21/16 + -183/80. Which is smaller: f or -3?
f
Let o = 407.15 + -407. Let f = -7/3 + 11/6. Which is smaller: f or o?
f
Let v = 22 + -14. Let t = -7 + v. Is t less than -5?
False
Suppose 5*y + 6 - 16 = 0. Suppose 0 = y*v - 4*v - 12. Let z(j) = -j**2 - 7*j - 3. Let a be z(v). Is a greater than 2?
True
Let a = 48 + -1010/21. Let u be (1 + -1)/(3 + -4). Which is smaller: u or a?
a
Suppose 5*v + 4 = 34. Let q be (-2)/v*(-2 + 1). Is q <= 2?
True
Let g = 3 + -1. Suppose -5*u - 10 = k, 2*u = -5*k + 3*u + g. Let y(q) = q + 14. Let t be y(-13). Is t bigger than k?
True
Let u be 5/25 + 2/(-5). Let b(v) = v**2 + 11*v + 11. Let l be b(-10). Does u = l?
False
Suppose a = -a. Let y = -31 + 5. Let u = 103/4 + y. Which is smaller: a or u?
u
Let c be (-4)/(-8) - (-22)/4. Suppose 0*v - 4*v = 5*m + 21, -c = 2*m + v. Does 2/7 = m?
False
Let j = 0.11 - 1.11. Let c = j + 1.1. Is c at least as big as 1/6?
False
Let j(g) = -4*g - 16. Let c be j(-5). Are c and 2 nonequal?
True
Suppose -c + 3*l = -12, -3*l - 12 = 2*c + c. Suppose -g = -m - 5 + 2, c = -4*g + 5*m + 13. Suppose 0 = g*v + v. Which is smaller: v or -1/2?
-1/2
Let s = -137 - 99. Let x be s/(-105) - 6/(-21). Let c = 11/5 - x. Which is smaller: -1 or c?
-1
Let l be ((-2)/(-8))/(1/(-14)). Let t = l - -3. Which is smaller: 0 or t?
t
Let t = 12 + -12. Which is smaller: -2/3 or t?
-2/3
Suppose 5*x = d - 5*d + 88, 5*x = 4*d + 112. Suppose 2*r + 11 = -z + 4, -4*r + 4*z = x. Which is bigger: 0 or r?
0
Suppose 2*o - 2*l - 4 = 0, 23 = 5*o + 5*l - 17. Let p(w) = -w**3 + 3*w**2 + 5*w + 5. Let z be p(o). Let s = z - -41/2. Is s < 0?
False
Let f(k) = -k**2 + 5*k - 1. Let x be f(3). Which is greater: x or 32/9?
x
Let m(u) = u**2 + 9*u - 9. Let v be m(-10). Let n be (-4 - 20/(-2))*v. Are 6 and n equal?
True
Let s be 1/(-2)*(4 + -2). Suppose 3*x = -10 - 71. Let h = x + 188/7. Are h and s unequal?
True
Let k be 1 - ((-32)/(-33) + 0). Suppose 0 = f + 3*i, -2*i = -5*i. Is k != f?
True
Let z(w) = w - 4. Let l be z(-6). Let u be 3 - 1 - (l - -16). Does -5 = u?
False
Let w be (2/(-5))/(3/(-5)). Suppose -3*g + 2*v - 1 + 12 = 0, -2*v = -4*g + 14. Suppose -g*f + 7 = -u, 2*u - 1 = f - 0. Are u and w unequal?
True
Let y = 2 - 1. Let a = 0.234 + -0.034. Which is bigger: a or y?
y
Let l = 44/63 + -5/9. Which is smaller: l or -4?
-4
Suppose 3 = -5*w - 12. Let f = w - -6. Suppose 0 = f*b - 1 - 2. Which is greater: b or -2/5?
b
Let h = -3 + 2.98. Is 2 <= h?
False
Suppose u = 2 + 3. Let c = -6 + u. Which is bigger: 1 or c?
1
Let i(f) = f**3 - 10*f**2 + 11*f - 13. Suppose 0 = -g - y + 4, 0*g = 2*g - 4*y - 38. Let p be i(g). Which is greater: 4 or p?
p
Let k = -0.015 + 0.015. Let t = -35 - -23. Which is greater: t or k?
k
Let j be 1/(-2) - 3/2. Suppose -36 = q + 3*o, 3*q - o = 74 - 212. Let v be (-39)/q - 2/(-15). Which is smaller: v or j?
j
Let v be 3/(-2) - 2/(-132). Let i = -20/11 - v. Which is bigger: 1 or i?
1
Suppose -i + 2*m + 2 = -m, 3*i - 6 = -3*m. Let h be (8/10)/(i/15). Suppose r - h = -2*d, -4*r = -2*d - 2*r + 12. Which is bigger: d or 5?
5
Let d = 19.4 + -20. Let m = 1.1 - 0.1. Is m bigger than d?
True
Suppose 2*a + 15 = -3*r, 1 = -r - 4. Suppose a = 3*o - 4*o. Is o > 2/9?
False
Let q = -9.2 + 9.2. Let w(y) = -y**2 + 3*y - 2. Let x be w(2). Suppose x = -n + 1 - 4. Are n and q non-equal?
True
Suppose 7*x - 4*x + 69 = 0. Let v = x + 71/3. Does 0 = v?
False
Let i be 4/(((-10)/3)/((-77)/21)). Which is bigger: 5 or i?
5
Let i = -868.974 - -871. Let b = i + -0.066. Let y = b - -0.04. Is y bigger than 0.2?
True
Let i be (-11)/8 + (-1)/(-8). Suppose 6 = -5*u - 2*x - 0, -4*u - 4*x = 0. Does i = u?
False
Let o = 1.01 + -1. Let f(y) = 12*y**3 + y**2 - y. Let d be f(1). Let r = 13 - d. Which is bigger: r or o?
r
Let f be 3/(-3)*3/195. Let c = f + 327/130. Is c at least 2?
True
Let p = -3 + 3. Let j = 0 - p. Let c be 2 + j + -2 + 4. Is c bigger than 4?
False
Suppose -4*a + 8*a = 28. Is a less than 5?
False
Suppose -75 = -2*x - 3*x. Let k = x + -15. Let v be 0 - (-1 + (-2)/(-3)). Which is bigger: v or k?
v
Suppose 6 = -f - f. Let m(c) = 2*c**2 + 10*c - 2. Let n be m(-5). Is n greater than f?
True
Let x(f) = f - 4. Let q be x(5). Which is greater: 1/9 or q?
q
Let o = -11/108 - 4/27. Which is greater: o or 8?
8
Let w(a) = -5*a**2 + 2*a - 1. Let o be w(1). Suppose 0 = -q - 0*q - 6. Let f = q + 4. Is f not equal to o?
True
Let j = -0.3 - -0.4. Let g be (-7)/(-14) + (-2)/8. Is j bigger than g?
False
Let q = 37 - 38. Let u = -0.5 + 1. Let d = -1.5 - u. Which is bigger: d or q?
q
Let g = -1.9 + 2.5. Let k = g + 0.2. Which is bigger: k or -0.1?
k
Let t = -15 + -6. Let h = 43/2 + t. Which is smaller: h or 2/7?
2/7
Let l be ((-4)/6)/((-10)/(-15)). Suppose 0 = -3*z + 4*z + 2. Do l and z have the same value?
False
Suppose -i - 8 = -3*i. Let s = -10 - -13. Which is greater: s or i?
i
Suppose -4*g + 94 = 54. Is 7 equal to g?
False
Let o = 1 + 1. Let b be (6/9)/(o/3). Are -3/7 and b equal?
False
Suppose -3*p + 6 = -3. Let r = 3 - p. Let o be 24/616 - 2/11. Which is greater: o or r?
r
Suppose -r = -3*r + 10, -4*x - 5*r + 25 = 0. Let t(u) = -u + 10. Let a be t(8). Suppose a*i - i = x. Is -3/5 less than i?
True
Suppose 3*x - 3*w + 32 = -2*x, -4*x - 5*w = -4. Which is smaller: -5 or x?
-5
Let z(b) = 10 + b + 2 + 3 + 0. Let k be z(-7). Is k at most 9?
True
Let q be (-8)/6 - (-3)/9. Is -2 greater than q?
False
Suppose z = 2*z + 6. Let q(t) = t + 2. Let r(w) = -w - 3. Let m(v) = -4*q(v) - 5*r(v). Let k be m(z). Is k not equal to 2?
True
Let s(z) = -z**3 - 9*z**2 - z - 4. Let k be s(-9). Which is smaller: k or 7?
k
Suppose 4*q = j + 28, -7*q = -6*q - 2*j. Suppose 1 = -g + 5, -2*c + g = -q. Is c > 5?
True
Let u = -4 + 3.97. Let w = u + -0.07. Let x = -1.4 + 1.44. Which is bigger: x or w?
x
Let i = -4 - -4. Suppose i*r - 4 = 4*r. Which is smaller: -2 or r?
-2
Let o be 2/5*40/552. Are 0 and o unequal?
True
Let f = -6 - 0. Let y(k) = 5*k**2 - 7*k - 1. Let q(u) = u**2 + 1. Let l(o) = -6*q(o) + y(o). Let t be l(f). Is t less than 2/9?
True
Suppose -5*m + 2*m - 45 = 0. Let y be (-2)/m - 16/(-60). Is y greater than or equal to 1.3?
False
Let f be ((-3)/(-40))/(2/(-8)). Let v = 11 + -11. Are v and f equal?
False
Suppose 4*y - 20 = 0, -y - 7 = 3*c - 5*c. Let b be ((-6)/4)/(c - 0). Which is bigger: 1 or b?
1
Let h(z) = -z - 6. Let o be h(0). Let x = o + 6. Let q be (-1)/(x - 1) + -2. Is q less than or equal to -1/3?
True
Let b = 3 + -2. Let h be 4 + (4/(-2))/b. Suppose 5*c + 5 = -5*z, 11 = -2*c - h*c + 3*z. Is -2/3 at most c?
False
Let a = 1 - 1. Let p = 41 - 31. Suppose a = s - 4*s + 2*v + p, 5*v + 25 = 4*s. Is -1 at most s?
True
Let w = 6 - 5.9. Let s = -0.87 - w. Let i = s - 0.03. Is i > 0.2?
False
Suppose -5*p + 3*p + 4*v = 2, -v - 24 = 3*p. Let j(h) = -h**3 + 2. Let w be j(2). Which is bigger: p or w?
w
Suppose 18 = 5*l + 2*o - 5, -o + 10 = 2*l. Suppose u = -l*j + 6, 4*u = j + 2*u + 5. Which is smaller: -1 or j?
-1
Let g = -10 + 9. Let w = 1.1 + g. Which is greater: 6 or w?
6
Suppose -2*q - 2*q - 68 = 0. Let f = q 