an g?
True
Let k(n) = n + 7. Let z be (-1 + 0)*16/2. Let m be k(z). Let j be (-6)/((3 + -1)*m). Which is bigger: j or 0.1?
j
Let n be (8/(-6))/(2072/84). Suppose 2*t = t + 1. Is n < t?
True
Suppose -m + 3 = 2*m. Let y be m/(1 + 1 + -3). Is y <= 0?
True
Suppose 4*z - 2 = 2. Is 1/20 at least as big as z?
False
Let a = -137/580 + -2/145. Which is smaller: a or 0?
a
Let c be (-1)/(1/((-5)/25)). Suppose -17 = 5*b + 4*q, 2*b - q - 3 + 2 = 0. Is b > c?
False
Let f be ((-2)/(-3))/(10/(-6)). Let u = -0.2 + 0.1. Does u = f?
False
Let a = 7 - 5. Let y = -14/5 - -33/10. Which is smaller: y or a?
y
Let l(i) = i**3 - 10*i**2 - 23*i - 18. Let m be l(12). Is 1 at least m?
True
Let n(c) = -c - 4. Let d be n(-4). Suppose -a + 2 = -d*a. Which is bigger: 3 or a?
3
Let t be (1 - 1) + (-24)/24. Which is greater: t or 0?
0
Suppose 0 = -0*h + 3*h - 9. Which is smaller: h or 5/3?
5/3
Suppose -4*x + 5*x + 2*q = -3, -5*x = 2*q - 17. Suppose 4*p - 2*h = -10, -2*h + 9 + 1 = 5*p. Suppose -3*c - 9 = p, 3*o + x*c = -0*c - 15. Is o <= 0?
True
Let m = 88 - 95.8. Let r = m - -8. Which is greater: r or -4?
r
Let p = -123.09 + 126. Let o = 0.09 + p. Which is smaller: o or 2/5?
2/5
Let c(s) = -s + 14. Let x be c(0). Which is smaller: 6 or x?
6
Suppose 2*g + 4*n + 4 = 0, -2*g + 3*g + 2 = 2*n. Let a = g + 5. Suppose -1 = a*t + 2. Which is smaller: t or -0.1?
t
Let b = 0.15 + -6.15. Let i = b - -5.8. Let w = i - -1.2. Is w bigger than 2?
False
Let n = -3967/10 + 397. Is -1 at most n?
True
Let c = -41 + 41. Let t be -1*2 + 3 + 0. Let b be 36/10 - t - 2. Which is smaller: c or b?
c
Let t = -5 - -9. Let a be t/(-14) - (-6)/(-28). Is a < 1?
True
Let k = 15 + -8. Let q(r) = r**3 - 8*r**2 + 6*r + 6. Let o(g) = -g**3 + 8*g**2 - 6*g - 6. Let y(v) = -6*o(v) - 5*q(v). Let f be y(k). Which is smaller: -2 or f?
-2
Suppose -17 + 13 = -2*j. Let i be (-3 - -5) + (-1004)/5. Let a = -198 - i. Which is smaller: a or j?
a
Let y = -15 + 18. Suppose -3*n - 5 = -17. Which is smaller: y or n?
y
Suppose 3*d - 3 = -12, o + 4*d = -11. Let v = o + 0. Let u be (-4)/6*1/3. Is v equal to u?
False
Let h be 6/4 + 7/2. Which is greater: h or 4?
h
Let k(r) = 4*r**3 - 2*r**2 - 2*r + 1. Let h be k(-2). Let q be (-18)/h - (-22)/77. Which is smaller: q or 0.1?
0.1
Let q = 1 - 3. Let v = -2.995 - 0.005. Is q > v?
True
Let t = 1 + 2. Let r = -1.7 + 3.7. Let k = r - t. Is k at least 4?
False
Let o = -0.92 + -0.08. Which is smaller: 3 or o?
o
Let z be (-2)/(-2) - -1 - 0. Suppose -3*x - 2*q = -4, q = z*x - 7*x + 2. Is x > 1/10?
False
Let r(t) = t**2 + 4*t + 3. Let u be r(-2). Let v = -3 + 9. Is v equal to u?
False
Let n = -21.97 + 22. Which is smaller: 0.3 or n?
n
Let q = 10 + -6. Let t(w) = w**2 + 8*w + 8. Let i be t(-7). Suppose 5*z - i = q. Is 1 at least as big as z?
True
Suppose 5*b + 15 = 4*o, 2*b + 15 = 2*o - 3*b. Let i(p) = p**2 - 5*p + 1. Let k be i(5). Let h be k/(-2) - 14/(-12). Is h bigger than o?
True
Suppose 3*b - 5*j = -28, 4*j = -5*b - 1 + 16. Which is bigger: b or -9?
b
Suppose -3*j - 2 = 2*m + 3, -3*m - j - 18 = 0. Which is greater: m or -2?
-2
Let z = -0.117 - -4.817. Let q = z - 5. Which is bigger: q or 0.2?
0.2
Suppose 3*g + 2*q - 31 = 0, 5*g - 10 = q + 46. Is g equal to -2?
False
Let n = 1.3 + -1.4. Which is smaller: -42 or n?
-42
Suppose 4*a = 53 + 27. Suppose 0 = -p - 4*p - a. Let y = 3 + p. Is -3/4 != y?
True
Let r = -28 + 20. Let s = r - -8. Let t = s + -2. Which is bigger: t or 2?
2
Suppose 5*t = 4*t. Let u be -1 - (t - (-10)/(-6)). Let v = 1 + -1. Do u and v have the same value?
False
Suppose 5*k - 93 = 3*h, -2*h + 5*h = -k + 33. Is k at least as big as 19?
True
Let g = -588 - -6488/11. Does g = 3?
False
Let x = 15/8 + -97/56. Let b = 11/28 - x. Suppose -1 = -j - 5*g - 0, 5*g = -5*j + 5. Is b < j?
True
Let h be 2 - ((-192)/(-28))/3. Which is smaller: h or 12?
h
Let i = 19 - 14. Let o(k) = -3*k - 1. Let v(r) = -r - 1. Let l(d) = -o(d) + 2*v(d). Let t be l(i). Does 5 = t?
False
Let t(k) = -k**3 - 8*k**2 - 8*k - 6. Let x be t(-7). Which is greater: x or 7/3?
7/3
Let l = 47 + -46.6. Are -1 and l equal?
False
Let d be 1*(-774)/148 - 2. Let n = d + -10/37. Which is bigger: n or -9?
n
Let k(l) = -l**3 + 21*l**2 + 20*l + 50. Let m be k(22). Which is bigger: 1 or m?
m
Let c = 52/7 + -54/7. Which is greater: 1 or c?
1
Suppose b + 5 = 4*p - 2*p, 4*b - 19 = -5*p. Suppose -p*j = 2 + 1. Which is greater: j or -1/2?
-1/2
Let g be (-12)/(-4)*(-1)/(-2). Is g < 3?
True
Let r = -39 - -38.98. Do 2 and r have different values?
True
Suppose 0 = -3*w - 2*i - 28, -5*w - 34 = -3*i - 0*i. Let l(v) = v**3 + 8*v**2 - 6*v + 9. Let f be l(-9). Let x be (w/f)/(6/(-3)). Which is smaller: 1 or x?
x
Suppose 0 = -0*i + i - 37. Which is smaller: 36 or i?
36
Suppose 4*s - 15 = 7*s. Let d be 8/s + 4/(-10). Let f = -0.1 - 0. Is d at least f?
False
Let n = -4 - -5. Suppose q - 1 = n. Suppose -q*u - 3*u = 5. Which is bigger: -1/4 or u?
-1/4
Let s(x) be the first derivative of 1/2*x**2 - 1/3*x**3 + 0*x + 2. Let p be s(0). Which is greater: -1/3 or p?
p
Let k be (18/21)/(9/42). Is 0 equal to k?
False
Let x = -42 + 38. Suppose 14 = 3*a + 2. Suppose -3*g - 5 = a. Is g smaller than x?
False
Let i = 0 - 0.1. Let k = 21/16 - 23/48. Is i at most k?
True
Let p = 3.9 + -4. Let r = 0.1 - 0.4. Let n = r - p. Are -2 and n non-equal?
True
Suppose 3*j - 6 = 4*c, j + c = 4*c + 2. Is 4 <= j?
False
Suppose 5*x = 5*i + 29 + 6, i - 20 = -2*x. Which is bigger: -1/4 or x?
x
Let a = 0.1 + -0.2. Suppose 36 = -8*h + 76. Which is smaller: h or a?
a
Suppose 5*i + 24 = 3*s - s, 4*s - 4 = -i. Suppose -12*v - 20 = -8*v. Which is smaller: i or v?
v
Suppose 5*o = 3*o - 6. Let s = -2 - o. Let f = 17 + -16. Is f greater than s?
False
Suppose 5*w + 3*i - 9 = 0, -w + 3*w - 4*i - 14 = 0. Suppose 2*u = 5*u + w. Are u and -1 equal?
True
Let l = 13 - -1. Let s = 11 - l. Which is smaller: 0.1 or s?
s
Let o = 0 - 6. Let b be 1 - 0/((-2)/2). Let d be (2 - b)/(15/o). Does d = 0?
False
Let s(l) = -7*l**3 - l**2 + 7*l - 14. Let b(m) = -20*m**3 - 2*m**2 + 21*m - 41. Let i(v) = -6*b(v) + 17*s(v). Let w be i(6). Is 2 not equal to w?
False
Let d(b) = 0*b - 4 + 0*b + 5 + 45*b**2. Let t be d(1). Let w be -1 + 3/t*14. Which is smaller: 1 or w?
w
Let c be (0 - 8) + -23 + 21. Which is bigger: c or -3?
-3
Let c = 0.6 - -0.2. Let z = 1 - c. Is z bigger than -1?
True
Let w = -3/2 - -4/3. Which is smaller: w or -1?
-1
Suppose 1 = 2*u - 3*u, 5*u + 10 = q. Are q and 4 nonequal?
True
Suppose -2*s = -w - 2*w, 0 = -s + 3. Let z be (1/(-1) - -3) + -4. Let h(g) = -g**3 - 3*g**2 - 3*g. Let x be h(z). Is x <= w?
True
Let s = 9 + -7. Suppose -3*g + 4*v = -8, -s = -3*g + 3*v - 2*v. Which is smaller: g or 2/25?
g
Let q = 103/84 + -8/7. Suppose 0 = 5*a - p, -p - 4 = a - 2*p. Is a <= q?
False
Let m(h) = -h**3 + 9*h**2 - 4*h + 8. Let k be m(8). Let q be k/28*(-12)/(-15). Is 1 bigger than q?
False
Let k = 89/2 + -46. Let q = 28 - 16. Suppose 2*x = -4*n - 0*n - q, -4*x - 19 = 3*n. Is n equal to k?
False
Let q = 11603/20 - 580. Which is greater: q or -1/3?
q
Let q = -0.42 + 0.02. Let k = 0.6 + q. Let f = -11 + 12. Which is greater: f or k?
f
Suppose 0*q - 225 = -5*q + 5*n, 5*n - 25 = 0. Do 50 and q have the same value?
True
Let m(z) = z + 6. Let w be m(-6). Suppose -1 + w = h. Is 3/8 less than h?
False
Let v(i) = i**2 - 5*i + 6. Let t be v(5). Suppose -4*n - 10 + t = 0. Which is greater: n or -0.4?
-0.4
Let y = -92 - -40. Which is smaller: -1 or y?
y
Let s be 2/(6/(-9)) + -1. Let v = -2 - s. Suppose v = -3*f - 1. Is f > -1?
False
Let p(h) = 1 - h**3 + 3*h**2 - 4*h**2 + 2*h**2 + h - 2. Let y = 1 + 0. Let d be p(y). Which is bigger: d or 3/7?
3/7
Let i = -42 + 44. Does i = -0.11?
False
Let h = 0.08 + -0.38. Let l = h + 0.2. Let w be (-2)/(-18) - (-437)/(-855). Do l and w have different values?
True
Suppose f = 2*y + 4, 3*y + y = 5*f - 2. Let z(q) = q**2 - 4. Let i be z(y). Suppose -5*u = -0*u + i*b + 5, 3*u = 2*b + 12. Which is smaller: u or 3?
u
Suppose 0 = 2*d + 3*u + 1, 4*d - 5*u = 9. Does 0 = d?
False
Let h = -1 - 4. Let l = 5.01 + h. Let r = 4.1 + -4. Is l less than r?
True
Let s = -10 + -12. Does s = -22?
True
Suppose 3*t + 27 + 6 = 3*n, t = 5*n - 11. Which is smaller: -9 or t?
t
Let r(u) = u**2 + 6*u + 1. Let p be r(-5). Let b = 10 - 2. Let w = 3 - b. Is w bigger than p?
False
Let r = -16/9 - -4/3. Let z 