
Let g = -8 + 4. Let d = 1 + g. Let o = d + 2.8. Is 2 bigger than o?
True
Let t be (-8)/(-8)*(1 + -1). Which is smaller: 1/4 or t?
t
Let z(p) = p**3 - 6*p**2 - 7*p. Let f be 6 - (1 + -3 + 1). Let j be z(f). Is j != 1/4?
True
Let t be 1/2 - 1/(-2). Let c be -4*(0 + 1)/(-22). Which is bigger: c or t?
t
Let a = 50 + -51. Is a != -1/155?
True
Suppose 4*z - s - 17 = 0, 3*z + 1 = -2*s - 0. Let a be 2/z + (0 - 0). Is 2 at most as big as a?
False
Let g = -4018/3 + 1367. Let q = -27 + g. Is q >= 2?
False
Let h = 0.37 - 0.37. Suppose -3*p + 2*p - 7 = y, -4 = -3*p + 2*y. Which is bigger: p or h?
h
Let l = -362.09 + 358. Let t = -0.09 - l. Let z = t - 2. Which is greater: 0.2 or z?
z
Let l(t) = -t**3 - 2*t**2 + 1. Let c be l(1). Let b be (-1 - 2/c)/2. Let o be (-1 + b)/(-1 - -2). Is o greater than or equal to 1/4?
False
Let m = -7/6 - -1. Which is greater: 0 or m?
0
Let z(p) = -p + 4. Let c be z(3). Let f = -0.1 - -0.12. Is f > c?
False
Let i = 3.1 + -0.1. Let g = i - 3.1. Is g > -0.1?
False
Suppose 0*o - 4 = -4*o. Which is smaller: o or 2?
o
Let t = -7 + 12. Which is greater: 4 or t?
t
Let m = 12 - 5. Suppose -2*y + 2*w = -y + m, -2*w = y - 1. Which is smaller: y or 1/3?
y
Let f(l) = l**2 - 3*l + 6. Let x be f(5). Suppose x = 5*g - 34. Let z = 9 - g. Which is greater: z or 2/15?
2/15
Let t(n) = n**2 - 7*n + 2. Suppose -24 = -6*w + 2*w. Let y be t(w). Is -2 at most as big as y?
False
Let r be (8/28)/((-6)/(-14)). Which is greater: 1/5 or r?
r
Suppose 4*z + r - 6*r - 37 = 0, 3*r + 30 = 5*z. Let l = 2 - -1. Is z less than or equal to l?
True
Let m = 21 + -190/9. Suppose 0*h - 2*h + 6 = 0. Let i be ((-2)/(-6))/(h/9). Which is smaller: m or i?
m
Suppose 10 - 1 = i - 2*f, 0 = 4*f + 16. Let d(t) = t**3 + t**2 - t + 1. Let l be d(0). Is i > l?
False
Let k = 381/34 - -90/17. Let a = 16 - k. Does 0 = a?
False
Let z be 2/(-4) + 37/(-6). Let b = z + 77/12. Let n(h) = h**2 - 8*h - 1. Let l be n(8). Which is smaller: b or l?
l
Let i(p) = -19*p**3 - 4*p + 3. Let c be i(2). Let h be 4/(-6)*(-2830)/(-12). Let j = c - h. Is j bigger than 0?
True
Suppose 5*x + 0 = -v + 4, 2 = -4*v - 2*x. Let d be 1 - 0/v*1. Let a = -1195/9 - -133. Which is bigger: d or a?
d
Let h(t) = t - 9. Let l be h(9). Which is smaller: l or -1?
-1
Let s(z) = 2*z + 29. Let u be s(-13). Suppose 3*x = 5 - 2. Is u at least x?
True
Let p = -0.62 + 0.02. Let k = -1.6 - p. Let r = 0 - k. Is r > 2/5?
True
Suppose 2*x = -3 - 1. Suppose -3*t + u - 24 = -6*t, 3*t - 24 = -3*u. Let n = -9 + t. Which is smaller: n or x?
x
Suppose 0*y = 3*y - 3. Let j be 1 + y + (-19)/(-7). Let g = j + -151/35. Which is greater: 0.1 or g?
g
Let b = 9/5896 + 83711/1608. Let r = b + -52. Which is smaller: 0 or r?
0
Let d = -37.02 + 36. Let c = 0.02 + d. Which is bigger: -1/4 or c?
-1/4
Let r(n) = n**2 + 4*n - 2. Let j be r(-4). Let y = 62 + -188/3. Which is greater: j or y?
y
Suppose -3*m + 12 = 3*l, -2*l - 9 = -m + 2*l. Suppose 56 = m*w - w. Let j be (3/w)/(15/(-20)). Is j > 1?
False
Let c = 7.7 - 7.2. Is -0.11 < c?
True
Let m(l) = l**3 + 2*l**2 - 2*l + 2. Let c be m(-3). Let w be 5/10*c*2. Is w less than or equal to 2/37?
True
Suppose 4*t - 16 = -4*a, -3*t - 5*a + 10 + 12 = 0. Let l(j) = -j - 2. Let r be l(-4). Let y be 1/(-3) + r/6. Is y equal to t?
False
Suppose 1 = -b - 0. Suppose -30 = -0*q - 5*q. Suppose q = -u + 4. Do u and b have different values?
True
Let b = -3/289 - -424/13005. Which is greater: -1 or b?
b
Let j(u) = -4*u - 18. Let i be j(-7). Are i and 8 nonequal?
True
Let b(o) = 4*o + 36. Let a be b(-13). Which is smaller: -18 or a?
-18
Let w(b) = -2*b**2 + b + 3. Let r be w(5). Which is bigger: -43 or r?
r
Let h = 0.21 - 0.29. Let v = 0.1 - 0.08. Let g = h - v. Are g and -2 unequal?
True
Let k be 14/(-6) + 0 - 55/(-55). Let z(w) be the first derivative of -w**4/4 + 2*w**3 - 3*w**2 + 4*w + 2. Let o be z(5). Which is smaller: o or k?
k
Suppose -2*a - 6 = -2. Let r = -0.46 - -4.66. Let o = r - 4. Which is greater: o or a?
o
Let n = 0.41 - 0.03. Are 2/7 and n equal?
False
Suppose 24*l + 21 = 31*l. Suppose 5*f - f = 12. Is l smaller than f?
False
Let r be (6/(-16))/((-42)/(-8)). Let h = -11/42 + r. Let a be ((-2)/(-4) - 0) + -1. Which is bigger: h or a?
h
Suppose -3*c - c - 4 = 0. Let k be (8 - 5)*2/(-4). Which is greater: c or k?
c
Suppose -5*m + 15 = 5. Let p = 0 + m. Which is smaller: p or 3/4?
3/4
Let w = 0.16 - 0.36. Suppose -4 = 3*t - 1, -5*b + 4*t = 171. Let c be (2/5)/(b/25). Is c less than w?
True
Suppose -3*s + 6 = -4*c + 2, -s - 5*c = 5. Let d = -4 - -4.3. Let o = d + -2.3. Is o less than or equal to s?
True
Suppose -56 + 12 = 2*t. Let u be t/(-6) - (-4)/(-6). Suppose -2*k + 2*y = -2, -5*k - 4*y = -7*y - 9. Is u >= k?
True
Let s be 32/18 + 6/27. Let z(n) = -3*n**2 + 6*n**2 + 9 - 7*n - s*n**2. Let t be z(6). Is 2 greater than t?
False
Suppose -4*f = 4*n - 4, 6*f = -2*n + f - 1. Suppose -t = n*t. Which is bigger: t or -1?
t
Let q = 18 + -16. Let b = 2 - 2.2. Which is smaller: q or b?
b
Let t = -5.3 - -5. Let z = -0.4 - t. Let w = 18 - 18. Is z > w?
False
Suppose -8*o - 65 = -3*o. Is o at least as big as -13?
True
Let h = -15.8 + 16. Are h and -3 equal?
False
Suppose -23 = -2*a - 5*y, -5*a + 2*y - y + 17 = 0. Suppose 0 = -a*o - o + 25. Let l = o + -1. Is 5 at least l?
True
Let v(c) = -c**3 - 4*c**2 - 4*c + 8. Let q be v(-4). Let s be (-2)/(0 - 3/6). Suppose -m = -s*k - q, -3*m = 2*m + 4*k. Which is bigger: 5 or m?
5
Let x = 24 + -15. Let b = -11 + x. Is -1/3 smaller than b?
False
Suppose -3*x - n = -2*x - 1, -3*n = -12. Which is smaller: x or -4?
-4
Let b = -47 + 48. Let g = 1.97 + 0.03. Let n = g - b. Is n > 3?
False
Suppose -23 = v - 22. Which is bigger: v or 2/5?
2/5
Let s = -0.3 + -2.7. Let r = 0 - s. Let a = r + -2.9. Is 0.03 equal to a?
False
Let n be (-2)/9 - (-8)/36. Suppose -2*z = -0*z - 4. Suppose n = 2*m + z + 2. Is -3 at most m?
True
Let r(b) = -b**2 - 3*b + 2. Let j be r(-3). Let q = -5 + j. Which is smaller: q or -4?
-4
Suppose 4*b = -0*b - 8. Let l = b - -7. Suppose l*y - w - 2 = 0, y - 2 = 2*y - w. Which is bigger: y or 2/25?
y
Let u be (-133)/35 + 1/(-5). Let y = u - -5. Let v be ((-10)/(-6))/y - 2. Is 0 bigger than v?
True
Suppose -3*y + 2*y + 1 = 0. Suppose -4*p + 16 = 0, -4*q + 7*q + p = -5. Let x be 3/(-2)*(-4 - q). Is x smaller than y?
False
Suppose -n + 2*n - 20 = 0. Let z be 86/(-18) - n/90. Is 2 at most as big as z?
False
Let r = -7 - -7. Let n be 0/(-3) - 2/(-2). Let h = 1 - n. Does r = h?
True
Let j be 44/36 - (-7)/(63/(-2)). Is j less than -14?
False
Let z be ((-9)/((-135)/(-10)))/2. Let l be (2 - (-2 + 2)) + -1. Let f be 0 + 2 + l + -3. Is f != z?
True
Let s = 3 + 8. Suppose -31 + s = 5*u. Is u greater than or equal to 0.1?
False
Suppose -1 = -2*c + 19. Suppose -5*g + 15 = -c. Let f be ((-2)/8)/(g/(-20)). Is -2/7 equal to f?
False
Let b = 0 - 1. Which is smaller: b or -3?
-3
Let c = 29 + -23. Which is bigger: 4 or c?
c
Let t = 245/4 - 61. Which is smaller: t or -0.36?
-0.36
Let k = -2 - -3. Let b be (-15)/18*4/15. Which is smaller: b or k?
b
Suppose o = -3*o + 20. Is o >= -1?
True
Suppose 1 = x + 5. Let q be (2 + x)/(2/28). Let l be 2/7 + 22/q. Which is smaller: l or 0?
l
Let c be 2/(74/(-109)) - -3. Let m = c - 43/111. Is m != -5?
True
Let k be ((-8)/18)/(350/(-15)). Are -1 and k unequal?
True
Let k = -3 + 16. Suppose -10*a = -k*a. Is a greater than 2?
False
Suppose f + 8 = 5*f. Are 10/17 and f equal?
False
Let b be 3 - (-6)/((-8)/4). Let k(a) = a - 1. Let v be k(0). Which is smaller: v or b?
v
Suppose 3*a - 30 = -3*a. Which is smaller: a or 60/13?
60/13
Let y = 0 + 0. Let u be 1 + y - (-2 + 1). Suppose 12 = 5*g + 2. Is g at least as big as u?
True
Let i be ((-12)/21)/((-4)/6). Which is greater: 2 or i?
2
Let s = -0.8 - -0.3. Let h = s - 0.5. Which is smaller: h or -0.1?
h
Let q = -0.124 - -5.124. Is q greater than or equal to 7?
False
Suppose 9*f + 61 = -182. Which is smaller: f or -26?
f
Let u be (-12)/9*117/(-6). Is 26 less than or equal to u?
True
Suppose 5*x + 20 = 5*b + 9*x, 4*b + 3*x = 15. Which is smaller: b or 6/47?
b
Let z = 114 + -1939/17. Which is greater: 1 or z?
1
Let i = -22 - -19. Is 0.2 at most i?
False
Let j(q) = -2*q - 7. Let h be j(10). Is h not equal to 2?
True
Suppose 0*u - 2*u = 0. Let y(z) = z**3 - 5*z**2 + z - 7. Let s be y(5). Let i be 1 + s + 3/12. Is i at