 + 40. Let b be (2 - 1)*(7 + 0). Let n be (-1)/b*c/(-2). Is 0 less than or equal to n?
True
Let o be 2/13 + 1316/910. Which is greater: o or -2?
o
Suppose -3*a + 29 = -2*l - 2*l, -3*a - 11 = 4*l. Let j be (a/(-27))/((-8)/33). Let s = j + 1/24. Are 2 and s nonequal?
True
Let g be 836/(-5) - 2/(-10). Let a = g + 1167/7. Suppose -v = v + 2. Is v < a?
True
Let a = -22/7 + 67/28. Is -2 >= a?
False
Let a = -8269/4136121 - 2/9171. Let c = -245/451 + a. Which is smaller: c or -1?
-1
Let x = 3 + -2. Which is bigger: x or 1/18?
x
Let x = 33 + -46. Let j = x - -38/3. Which is bigger: j or -8?
j
Let t = -3 - -2. Let y = -123 + 985/8. Is y at least as big as t?
True
Let o be ((-4)/110)/(-1*(-2)/(-10)). Which is greater: o or 4?
4
Let n = 17 + -39. Is n at most -43/2?
True
Let r be 2*3*2/(-30). Let x = 3/20 + r. Which is smaller: x or 0?
x
Let m = 38 + -39.7. Let i = 0.6 + -0.9. Let n = m + i. Which is smaller: n or -0.1?
n
Suppose 0 = -3*i - z - 129, 172 = -4*i - 2*z - z. Which is smaller: -42 or i?
i
Let b be 1/4 + (13/(-20) - 3). Which is smaller: b or -0.3?
b
Let h(r) = -r**3 - 8*r**2 - 9*r - 3. Let t be h(-4). Which is smaller: -30 or t?
t
Let m = -1 + 2. Let k = 71 - 75. Let h = k + m. Which is smaller: -0.1 or h?
h
Let r be 14/(10/(3 - -2)). Which is greater: 29/4 or r?
29/4
Let w = 1.8 + -2. Let h = w - -1.2. Which is greater: h or -0.07?
h
Let b be (-14)/(-3) + 2/6. Let q = b - 2. Suppose -q*r + 0 = -3. Is 2/7 bigger than r?
False
Let i be (-9)/(-3) - (2 - 0). Let h = 11 - 10. Are i and h nonequal?
False
Suppose -10 + 44 = 5*o + 4*k, -2*k = -2. Let w = 8 - o. Suppose w + 1 = -3*c. Which is smaller: c or 0?
c
Suppose -2 - 2 = -y. Let h = 3 - 3. Suppose -2*l - 5*r + 26 = h, l + r + 4 - 11 = 0. Which is greater: y or l?
y
Let v(c) = c**3 - 3*c**2 - 5*c + 4. Let y = -6 + 10. Let t be v(y). Suppose 6 = -t*g + 3*g. Are 2 and g non-equal?
False
Let a be (-287)/77 - 4/(-1). Which is greater: a or 0?
a
Let n(v) = v**3 - 5*v**2 - 5*v - 5. Let m(x) = -x**3 + x + 6. Let u be m(0). Let p be n(u). Let o be 0 - p - (-6 - -8). Is -3 bigger than o?
False
Suppose 2 = 3*s - s. Let a be 4/(-10) + s/15. Which is smaller: 3/11 or a?
a
Let g = -4.2 - -22.2. Let m = -15 + g. Which is smaller: m or 5?
m
Let d(a) = -a**3 + 2*a**2 + 8*a + 1. Let p be d(4). Let c be (3 - -1)/(1 - -1). Which is bigger: c or p?
c
Suppose -882 = 4*c - 5*t, 0*c = -4*c + 3*t - 878. Let q = -1530/7 - c. Is -1 not equal to q?
True
Let n = -3 - -3.2. Let p = 17 + -12. Let y = p + -4.9. Which is smaller: y or n?
y
Suppose -n - 31 = -5*i - 0*n, 2*i - 8 = -4*n. Let u = i - 3. Which is smaller: 5/3 or u?
5/3
Let w = 62 - 247/4. Do -6/11 and w have the same value?
False
Let a be -2 - (-7 + -1)*1. Let c = 4 - a. Let l be (1 - 2) + c/(-2). Which is bigger: 2/17 or l?
2/17
Let l be 1/((-74)/414 - (-4)/18). Which is smaller: 25 or l?
l
Let z = 0.044 + -0.244. Is z at most 1?
True
Let i = -10 - -21. Let n(y) = -y + 12. Let k be n(i). Is k equal to 1?
True
Let q(p) = -p**2 + 10*p - 2. Let r(o) = 2*o**2 - 20*o + 5. Let j(z) = -5*q(z) - 2*r(z). Let m be j(10). Which is bigger: -1/2 or m?
m
Let j be (-38)/42 + 5 + -4 + 0. Is -1 less than j?
True
Suppose -57 = -v + 3*m, -m + 5*m + 196 = 4*v. Let h be (12/v)/(4/(-20)). Which is smaller: -1 or h?
h
Suppose -5*v + 184 = 59. Let s be 394/130 + 5/v. Let u = -436/143 + s. Is u greater than or equal to 0?
True
Let s(i) = 2*i - 39. Let a be s(19). Which is smaller: -4/5 or a?
a
Let o be -2 + -1 - -2 - -1. Suppose o*a + 3*a - 3 = 0. Let v = 26/11 - 152/55. Are v and a equal?
False
Let b(c) = 8*c**3 + 2*c**2 - 3*c + 2. Let m be b(1). Which is smaller: m or 2?
2
Let f be 172/16 - 2/(-8). Let g = 21/2 - f. Let i = -1 - -1. Which is smaller: i or g?
g
Suppose 2*n + 110 - 30 = 0. Let r be (-1)/((-18)/n) - -2. Is r bigger than 2?
False
Let x be (-1)/(-4) - (-8)/(-32). Which is smaller: x or 1/10?
x
Let r = -161/3 - -55. Is 2 < r?
False
Let f be 6/3*1 + -2. Let m be ((-4)/(-6))/((-1)/(-3)). Let g = 1 - m. Are f and g equal?
False
Let w = -2.903 + -0.097. Is -3 less than w?
False
Suppose 0*s = -s + 3. Are s and 2 equal?
False
Let p(x) = x**3 - 7*x**2 + 10. Let n be p(7). Which is smaller: -1/2 or n?
-1/2
Let z(k) = -k**2 - 7*k + 1. Let q be z(-8). Which is smaller: q or -9?
-9
Let y be (28/(-105))/((-12)/(-10)). Is -1 greater than y?
False
Let t(p) = -p**3 - 6*p**2 - 7*p - 5. Let z be t(-5). Suppose 6*n - z*n - 4 = 0. Let w = -4 + n. Which is bigger: -1 or w?
w
Let j(w) = w**3 - 10*w**2 + 9*w + 6. Let c be j(9). Let n = c - 0. Let g be 2/4 - 7/n. Which is greater: g or -1/3?
-1/3
Let v = -2 - 5. Let p = v + 13. Is 5 > p?
False
Let m = 3.6 + -4. Let i = m + 0.2. Let t = -0.3 - i. Is t < -6?
False
Let l = -10 - -8. Is l != -5?
True
Let r be 14/(-6)*(-12)/126. Let p(l) = l**2 - 6*l + 1. Let f be p(6). Let a = 2 - f. Is a at most as big as r?
False
Let y be 0/(3/((-6)/2)). Let c(w) = -4*w**3 + y - 1 + 2. Let g be c(1). Are -3 and g non-equal?
False
Let n(g) = 3*g - 11. Let a(c) = 10*c - 32. Let o(p) = -2*a(p) + 7*n(p). Let w be o(10). Do -3 and w have different values?
False
Suppose -5*z = -5*u + 10, -u = -2*z - 5*u + 8. Suppose 4*l + z*l = 0. Let m be 2 - 6*(-2)/(-8). Do m and l have different values?
True
Suppose 4*j = 4*x - 16, -4*j = x - j + 12. Suppose -2 = 2*a - x. Let k(y) = -2*y - 1. Let m be k(a). Which is smaller: -2/7 or m?
-2/7
Let i be (1*3)/(-4 + 7). Let n be ((-1382)/658)/1 - -2. Let d = n - 2/47. Which is greater: d or i?
i
Let l(k) = k**3 - 3*k**2 - 5*k + 2. Let z be l(4). Let s be 48/30*(-1)/z. Is 2 smaller than s?
False
Let x = -6 + 6. Let j = -35 + 33. Which is bigger: x or j?
x
Suppose 5*x - 5*l = -0*l - 20, -12 = -2*x - 3*l. Suppose 57 + 52 = -m - 5*t, t = x. Let j = m + 761/7. Which is bigger: 1 or j?
1
Let y be 2/8 - 3/60. Suppose -4*v - 4*w - 16 = 0, w + 3 = -v - v. Suppose 0 = -a + v. Which is smaller: a or y?
y
Let d be (-30)/(-4) + 9/(-6). Let h(f) = f**3 - 5*f**2 - 6*f - 4. Let x be h(d). Let p be 6/(-4)*8/3. Is x at most p?
True
Let v = 7.3 + -7. Let d be (0 + 4)*1/10. Which is greater: v or d?
d
Let a be (6/(-5))/(1/(-10)). Suppose 2*y + 2*x = -2*x + a, -y + x = 3. Is y at most 2?
True
Let m be 9/3 - 9/3. Let p be (m - 0)/(12 + -13). Is 1/25 at least p?
True
Let z(m) = -3*m**3 + 2*m + 1. Let s be z(-1). Which is greater: 17/8 or s?
17/8
Let f(c) = 2*c**2. Let v be f(-1). Let y = -309/4 + 78. Which is bigger: v or y?
v
Let j = 83 - 84. Is -6/13 greater than or equal to j?
True
Let r = 39.78 - 29.6. Let i = -0.18 + r. Which is bigger: 0 or i?
i
Let h(a) = 17*a + 50. Let y be h(-6). Is y <= -51?
True
Let p = 1 + -2. Let k = 2 + -1. Let a = 0 + k. Is p not equal to a?
True
Let b = 15 + -10. Suppose 5*x + 4*a - 3*a = -33, b*x = -4*a - 42. Is x < -6?
False
Let l(c) = c - 2. Let r be l(3). Let a be (r/(-6))/(10/15). Are a and 2 non-equal?
True
Let j = -6 + 11. Let q = -1 + 4. Suppose j = 5*t, 7*l + q*t - 7 = 3*l. Is 2 < l?
False
Let w be 34/365*-2 - 1. Let a = 1/73 - w. Which is smaller: a or 1?
1
Suppose o - 3 - 3 = 0. Suppose -d + 5 = -o*d. Which is bigger: d or 2?
2
Let p = 30 + -13. Suppose 3*w - 11 = l, p = 3*l - 6*l + 5*w. Is -1/4 smaller than l?
True
Suppose u = 5*u - 4*j - 16, 0 = 5*u - 4*j - 15. Let l be (-10)/(-3) - (0 + 4). Which is bigger: l or u?
l
Let c = 47 - 139/3. Is c greater than 4?
False
Let o = -16 - -20. Let c be ((-5)/(-10))/(o/6). Are 2 and c non-equal?
True
Let k = 1 - 2. Let s = 5765/4 - 1380. Let l = s + -61. Which is greater: l or k?
l
Let v = 25 - 32. Let z(q) = -q**3 - 7*q**2 + q + 7. Let g be z(v). Which is bigger: g or 3?
3
Let x = 3 - 0. Let n be x - 1/(-2)*0. Suppose 5*z + 8 = n*y, -4*y = -z + 5*z. Which is smaller: y or -2/23?
-2/23
Let q be 159/33 + -3 - 2. Let f be (-18)/36*(-1 + 1). Is q at least as big as f?
False
Let v = 3/59 + -13/1416. Which is smaller: 0 or v?
0
Suppose 2*v + 0*v = -2. Let w be 2/157 - (2 - 2). Let l = 300/1099 + w. Is v at most l?
True
Let u = 10 - 7. Suppose 0 = -4*r, 0*o - 3*r = -2*o + 8. Suppose 0 = o*g + g - 10. Is u smaller than g?
False
Let w(x) be the first derivative of -x**2/2 + 8*x - 3. Let f be w(12). Which is bigger: f or -10/3?
-10/3
Let t = -383/20 + 77/4. Which is greater: 0 or t?
t
Suppose 3*a - 33 = 2*a. Suppose 4*k = -a + 9. Is 3 less than or equal to k?
False
Let t = -552 + 1159