
False
Let f = -8 - -5. Let l = 1 + f. Let p = -347/7 - -49. Which is bigger: p or l?
p
Let z = -102 - -102. Is z at least -5/29?
True
Let l be (-10)/(-15) + (-2)/3. Let w = -1 - -4. Do w and l have different values?
True
Let g be ((-12)/15)/2 + (-352)/(-5). Do g and 71 have the same value?
False
Let r = -17/6 - -61/21. Let a(z) = -z**2 + 5*z + 1. Let x be a(5). Which is smaller: r or x?
r
Let v(c) = -2*c. Let u be v(-2). Let m = 6 - u. Let o be 3 - (m/1 + 1). Is o greater than -1/4?
True
Let j = -210/223 - 27139/2676. Let f = -3347/36 + 740/9. Let o = f - j. Is 1 bigger than o?
True
Let r = 3.1 - -1.9. Let i = 5.4 - r. Which is smaller: -0.2 or i?
-0.2
Let m = 14 - 14.2. Let h = 2/101 + 95/303. Which is smaller: h or m?
m
Let l = -57 + 59. Which is smaller: 7/10 or l?
7/10
Let l = 7 + -2. Suppose -l*i + 3*i = 0. Suppose -2*o + 2*q + 4 + 0 = 0, 0 = -3*o + 4*q + 9. Which is bigger: i or o?
i
Let n be (1*(-5)/10)/((-62)/(-8)). Which is smaller: n or 1?
n
Let c(l) = l**2 + 9*l + 12. Let w be c(-8). Suppose 0 = -4*j - y - 5, -w*y = -3*j - j. Which is smaller: j or -3/2?
-3/2
Suppose 0 = -0*o - 2*o + 32. Suppose -34*v + 38*v = 68. Which is bigger: v or o?
v
Let m(f) = -f + 9. Let y be m(9). Suppose 2 = -k, y*w = 3*w - 4*k - 14. Let u be w/(-6) + 38/78. Which is smaller: 0 or u?
0
Let g = 3 + 2. Suppose -g*y = 5*w + 3 + 2, w = y + 7. Which is smaller: 8/3 or w?
8/3
Let m = -1/6 - 5/42. Which is smaller: -1 or m?
-1
Let w = 1 - 4. Suppose -35 = 54*v - 19*v. Is v less than or equal to w?
False
Suppose 0 = -2*p - 6*w + w - 27, 0 = 3*p + 2*w + 13. Let x be (-13 - -19)/(6/8). Which is smaller: x or p?
p
Suppose -468 = -5*c + 17*c. Is -40 less than or equal to c?
True
Suppose 3*f = -4*s + 8, -f - f - 2 = -s. Is -3 greater than f?
False
Let f(m) = -m**3 - 3*m**2 - 2*m. Let h be f(-3). Let r(i) = -i**2 + 8*i - 9. Let p be r(h). Is p at least 2?
True
Suppose -2 = -u - 0*u. Is 3 <= u?
False
Let m = 6.9 - 6.8. Let k = 2.48 + 0.02. Let i = -2 + k. Is m bigger than i?
False
Let z(g) = 3*g + 9. Let r be z(-5). Let m = 6 + r. Which is greater: 3 or m?
3
Let j(t) = 10*t + 1. Let f be j(2). Let d be f/(-15) - 2/(-5). Let c(b) = -b - 2. Let q be c(-2). Which is greater: d or q?
q
Let v(n) = -4*n + 2. Let x be v(4). Let h = 8 + x. Let w be (2 - 0) + 16/h. Which is bigger: -2 or w?
w
Let a = -3 + 6. Suppose 2*r = z + 5, -a*r + z + 11 = -4*z. Let q(n) = n**2 - 2*n. Let v be q(r). Which is smaller: v or -2?
-2
Let l(y) = -3*y**2 + y + 1. Let m be l(2). Is m at least -9?
True
Let v = 0.03 + 0.27. Let n = v - 0.2. Let p = 0.1 + 0.9. Is n <= p?
True
Suppose 3*v + v = 4*f + 4, -2*f - 17 = -5*v. Let p = 7 - f. Suppose 0 = 5*o + p*s - 1, s = 4*s + 9. Is o at least as big as 3?
False
Let r(p) = -6*p - 2. Suppose 0 = 2*w - 0*w + 12. Let k(g) = -7*g - 2. Let q(f) = w*r(f) + 5*k(f). Let v be q(-2). Is 0 >= v?
True
Let w = 4 + -4. Which is smaller: -1 or w?
-1
Suppose 4*i = -i + 50. Suppose 0 = -5*q - 25, 2*w + 4 = -4*q - i. Which is smaller: w or 5?
w
Let t = 4 + -2. Let c(h) = -3*h + 1. Let p be c(t). Is -6 greater than or equal to p?
False
Let r = -87 + 85. Is -13/5 at least r?
False
Let i(j) = -j**3 + 2*j**2 - 4*j + 2. Let a be i(2). Let b be 2/(-2) - (3 + a). Suppose 5*r = -4*p + 16, -2*p = -p + b*r - 4. Is 4 > p?
False
Let m = -5/16 - -79/48. Let l = -3 - -4. Is m at most as big as l?
False
Let w(x) = x**3 + x**2 - 2*x. Let t be w(-2). Suppose -4*z - 2 = -5*z. Let u be (-3)/z + (-2)/(-4). Is u less than or equal to t?
True
Let l = 2/2837 - -2677/226960. Is -1 less than or equal to l?
True
Suppose -4*n + 28 = 4*g, 2*g + g = -5*n + 29. Let p = n - 1. Which is greater: 2 or p?
p
Let z = -1765176 + 1830487688/1037. Let g = -4/61 - z. Is g at least as big as -1?
True
Suppose -j + 5 - 7 = 0. Let w = j - -4/3. Let i be 2 - 2 - (1 - 0). Is w less than i?
False
Suppose f - 6*f = -40. Let b be 22/f - (-12)/(-16). Let v = -1 + 4. Is v < b?
False
Let h be (-4 - -25) + (1 - 2). Do 20 and h have the same value?
True
Let b = 15 - 10. Let k be (6/(-8))/(1/4). Let x = b + k. Which is greater: x or 1?
x
Let t = 18 - 21. Which is smaller: t or -5?
-5
Let h be 7/(-14)*(-1 + 3). Which is bigger: h or 2/39?
2/39
Let j = -16 + 13. Which is greater: 0.2 or j?
0.2
Suppose 0*i - 25 = 2*i + j, 4*j + 56 = -4*i. Is -10 at least as big as i?
True
Let x(w) = -w**3 + 8*w**2 - 7*w - 7. Let l be x(7). Suppose 9 = 4*z - 3. Suppose m = z, 4*m = 2*j + 38 - 12. Is j < l?
False
Let a = -3911/9 + 434. Let f = -1/18 - a. Is -3 less than f?
True
Let o be (-14)/6 + 1 + 2. Let v = -0.24 - -0.19. Is v bigger than o?
False
Let q = -9249/23 - 41103/161. Let w = 656 + q. Is -2 less than or equal to w?
True
Let o = -0.22 - -0.2. Let d = o + 2.02. Let a = 1.9 - d. Which is greater: a or -0.2?
a
Let b be (-5)/(125/(-65)) + -3. Which is bigger: b or 1?
1
Let z = 1.3 + 7.7. Let q = z - 8.94. Let i = 0.06 - q. Is -3 at most as big as i?
True
Suppose 12*n = 9*n - 21. Are -7 and n non-equal?
False
Let h = -31.6 + 33.63. Let g = h + -0.03. Let z be (-15)/(-10) + -2*1. Which is smaller: g or z?
z
Let g = -1 - 14. Let f be (g/6)/(1/(-2)). Suppose -3*h + f = 2*h. Which is smaller: h or 0?
0
Let v = 51 - 54. Suppose 3*z + 9 = -q, -4*z = -z + 5*q - 3. Is v at least as big as z?
True
Let f = -0.01 - -0.12. Is -0.1 greater than or equal to f?
False
Let f be 2 + 34/(-17) + (-27)/4. Is f less than or equal to -6?
True
Let a = -0.81 - -0.9. Let l = -5.09 + a. Which is smaller: l or -1/4?
l
Let v(z) = -z**3 - z**2 + z + 2. Let n be v(0). Let q = -2 + n. Which is smaller: -10/7 or q?
-10/7
Let t be (3 - 1) + (-2)/(-2). Let v be (-3 - 8/(-28)) + t. Suppose 3 + 2 = -5*k. Is k smaller than v?
True
Let q(g) = -2*g**2 - 18*g - 6. Let s be q(-9). Let w be ((-8)/18)/(1/12). Let p = s - w. Is -2 less than p?
True
Let r be (-2)/(-4)*(-6167)/(-56). Let x = r + -55. Which is smaller: -1 or x?
-1
Let a = 0 + -2. Let d = -7 + 3. Which is smaller: a or d?
d
Let g = -2.2 - -0.8. Let h = g + -4.6. Let o = 6.1 + h. Which is greater: -1/5 or o?
o
Let z = -5 + 2. Let x = 15 - 15.5. Let o = -0.7 - x. Is z at least as big as o?
False
Suppose -2*x - 4 = -4*x. Let r be (-4 + 4 - -2)/x. Let m = -260 + 2858/11. Is m <= r?
True
Let x = 1.4 + -1. Let s = 3.8 + -4. Let r = x + s. Is -0.2 > r?
False
Let w(v) = v**3 - 5*v**2 - 5*v - 6. Let d be w(6). Which is bigger: -3/13 or d?
d
Let t = -2/5 + 19/35. Let u(s) = s**3 + 6*s**2 + 5*s + 5. Let h be u(-5). Let o = h - 4. Is o bigger than t?
True
Suppose u + 18 = -j, 12*j = 5*u + 10*j + 69. Let y = -1 + 0. Which is smaller: u or y?
u
Suppose 15*q = 6*q + 9. Are q and -2/41 equal?
False
Let x(r) = -r**3 - 2*r**2 - 2*r - 1. Let o = 4 - 6. Let g be x(o). Which is bigger: -0.1 or g?
g
Let q = 1.9 - 9.9. Let i = -88/3 + 30. Which is greater: i or q?
i
Let o(u) = -5*u. Let q(i) = -i + 1. Let c be q(4). Let r be o(c). Suppose -b = 3*y - 1, -3*y + 6*b - 3*b - r = 0. Which is greater: -2 or y?
y
Let q = 1.058 - 0.058. Let s = -0.2 + 3.2. Which is smaller: s or q?
q
Suppose -2*g + 0 = -8. Suppose r + 0 - g = 0. Suppose 4*a = 16 + r. Which is bigger: a or 3?
a
Let k = 28 + -24. Which is smaller: 2 or k?
2
Let k = -11 - -7. Let r be (-1)/k - (-7)/4. Let n = -100 + 100. Which is greater: r or n?
r
Let q(a) = -3*a + 70. Let s be q(23). Let v(j) be the third derivative of j**4/12 + j**3/3 - j**2. Let n be v(-2). Is n bigger than s?
False
Let r = 57 - 54. Suppose -3*k + k + 10 = 0. Are k and r equal?
False
Suppose 13 = -2*n - 3*t, -t = -n + 2*t - 2. Let c be n*2/8 + 1. Which is smaller: 0 or c?
c
Let j be 28/6 - (-4)/(-6). Let r be (-42)/(-70) + j/10. Let c be ((-1)/(-2))/(1/2). Is c at most as big as r?
True
Let x(l) = -4*l**3 - l**2. Let w be x(-2). Is 27 greater than w?
False
Suppose -5*c - 12 + 47 = 0. Let x = c - 9. Let n be (45/20)/(x/(-8)). Does -0.1 = n?
False
Let w(a) = a**3 - 3*a**2 - 11*a + 6. Let i be w(5). Which is bigger: -1/69 or i?
i
Let p = -0.39 - 0.01. Let g = -0.3 - p. Let s = g - 1.1. Which is smaller: 1/4 or s?
s
Let y = 569001/383005 - -1/10943. Let w = y + -6/5. Is w less than 1?
True
Let k be (14/3)/((-16)/114). Suppose 5*i - 165 = -0*i. Let x = i + k. Which is smaller: 2/7 or x?
x
Let d = 7 - 9. Which is greater: d or 1?
1
Let a = 66 + -66.19. Let d = -0.04 + -0.05. Let s = a - d. Do -4 and s have different valu