n 0?
False
Let n = 311 - 3113/10. Is n at least as big as -2?
True
Suppose -5*n + 4 + 1 = 0. Is n less than or equal to 2?
True
Let r = -24 - -35. Let g(t) = t - 12. Let c be g(r). Which is bigger: c or 1/7?
1/7
Suppose 2*x + 7 = x. Is x < -9?
False
Suppose -2*p - p = -a + 12, 0 = 2*a - p - 9. Suppose a*j - l = 8*j, -3*j - 2*l = 0. Which is smaller: j or -1/4?
-1/4
Suppose 5*d + 2 = -y, y - 5 = -d - y. Which is smaller: -2 or d?
-2
Suppose 5*y + 65 = -0*y - 2*g, -4*g + 52 = -4*y. Let c be y*(2 - 1)*-1. Suppose -4*a + 4*r = 8, -a + 3 = -5*r + c. Which is bigger: -1 or a?
a
Let j(u) = u**3 - 3*u**2 + u. Let h = -18 - -21. Let c be j(h). Is 3 greater than or equal to c?
True
Suppose t - 4 = 0, 22 = m + 2*m + 4*t. Suppose -4*j - m = -6. Which is smaller: 2 or j?
j
Let c = -1081/4 - -268. Is c at most -1?
True
Let j = -5 + 3. Let g be -3 + 1 - (8 - -2). Let y be (-27)/g + (-6)/3. Are j and y equal?
False
Let u be (-16)/(-10) - (-2)/5. Let x = -4 + u. Let r be (1 - 1) + x + 4. Is 3 > r?
True
Let h(c) = -c**3 - 8*c**2 - 3. Let w be h(-8). Let o(v) = v + 8. Let k be o(-4). Let s = -7 + k. Is w at most s?
True
Let l = 1081 + -44319/41. Which is greater: 0 or l?
l
Suppose -12 = -7*m + 3*m. Suppose w = m*g + 7, 0 = 4*w - 6*w - 4*g + 4. Is w bigger than 4?
False
Let x be 20/((-4)/(-4 + 2)). Let q = x - 8. Let w be ((-12)/(-75))/(q/(-5)). Which is greater: 0 or w?
0
Suppose -2*c + 0*o - o + 518 = 0, 0 = -5*c - 3*o + 1297. Let v = c + -1291/5. Are -2 and v equal?
False
Let u = 2.1 + -2. Let b = u - 0. Let y be 9/(0 + 1)*(2 - 1). Which is smaller: b or y?
b
Let o(a) be the second derivative of -a**3/6 + a. Let u be o(-6). Suppose u*w - 10 = w. Is w not equal to -2/3?
True
Let h be (6/32)/(15/10). Is -1 at most as big as h?
True
Let d = -2928/11 + 266. Let f = 0.05 + -0.05. Is f equal to d?
False
Let m = 6 - 0. Suppose -h + 6*h = 0. Which is smaller: h or m?
h
Let u = 5.2 - 1.2. Is u > -1?
True
Let j = -3.5 - -17.5. Let v = j + -12. Let l = 0 + 1. Is l greater than v?
False
Suppose -2 = 5*h + 3. Let v be (8/(-20))/((-6)/(-5)). Which is smaller: v or h?
h
Suppose 4*q = 7*y - 2*y - 24, -3*y + 3*q + 15 = 0. Let u be (-35)/11 - y/(-22). Is u at most as big as -3?
True
Let n = -0.04 + 0.14. Let t = 93668/24795 + -513/145. Let g = t - 1/57. Is g bigger than n?
True
Let l(y) = 5*y**3 + 1. Let r be l(-1). Let c = -5 + 2. Is r bigger than c?
False
Let w be (-1)/(-2)*1*4. Let l(q) = 6 - 2*q**2 - 8 + q + 3*q + q**2. Let h be l(w). Is 5 less than or equal to h?
False
Let i = 36 + -51/2. Let y = -85/8 + i. Which is smaller: -0.1 or y?
y
Suppose 2*n = -3*n - 15, 5*b - 5*n = -25. Let z be (b/12)/(28/(-12)). Is z != 0?
True
Let s = 81 + -90.3. Let w = s + 9. Is w bigger than -0.3?
False
Let q = -17/770 + -6/77. Which is smaller: q or 0?
q
Let l = 2.95 - 3. Let t = -3.05 - l. Let w = 4 + t. Which is smaller: -2 or w?
-2
Let i(s) = -s**3 + 7*s**2 - 2*s + 14. Let d be i(7). Which is smaller: -7/6 or d?
-7/6
Let c = -1 - -1.2. Is c smaller than -34?
False
Suppose -z + 15 = -6*z. Is z at least -11/3?
True
Let d = -2887/19 + 152. Which is greater: d or 0?
d
Suppose -9*z + 15*z - 24 = 0. Is 8/3 at least z?
False
Let l = 201 - 197.11. Let d = l + 0.11. Let x = 4 - d. Which is bigger: 0.1 or x?
0.1
Let n be 1 - ((-4)/8)/(-1). Let v = 0 + 1. Do n and v have different values?
True
Let n = -700/13 - -54. Which is smaller: n or -1?
-1
Suppose -4*q = -5*m + 23, 3*q + 9 = -m + 2*m. Let a be 1/(22/(-106)) + (-4)/22. Let d = a - q. Is d greater than or equal to 1?
False
Let o(j) be the first derivative of -3 + 2*j**2 + 2/3*j**3 + 3*j. Let s be o(-2). Is 2 less than or equal to s?
True
Suppose -16 = -2*g - 0*g. Let c = 7 - g. Which is bigger: -1/3 or c?
-1/3
Suppose -3 + 1 = -c. Suppose 2 = -c*t - 0*t. Which is smaller: t or -1/4?
t
Let d = 24 - 50. Let v = 25 + d. Let p be 2/(-9) + 2/6. Are p and v unequal?
True
Let a(k) = 4*k - 2. Let i be a(1). Which is bigger: 3 or i?
3
Suppose 11*u + 7 + 4 = 0. Which is smaller: -7/6 or u?
-7/6
Let g(z) = 2*z**3 + 2*z**2 - 7*z + 2. Let a be g(-7). Let c be 2/5 + a/630. Let o = c + -1/21. Is o at least as big as 2?
False
Suppose -p + 4*s - 99 = -253, 5*p - 3*s - 804 = 0. Let k be -2 + (-2320)/(-14) + -2. Let c = p - k. Which is smaller: c or 1?
c
Let a(g) = 2*g**2 - 2*g + 2. Let z = -6 + 8. Let s be a(z). Which is greater: s or 5?
s
Suppose 3*v + 3 = -0. Let o(x) = -7*x**2 + 4*x + 4. Let w(y) = -8*y**2 + 5*y + 5. Let t(f) = 5*o(f) - 4*w(f). Let c be t(v). Are -3 and c unequal?
False
Let v = 111 - 110. Let l(x) = x**3 - x + 3. Let z be l(0). Which is smaller: v or z?
v
Let r be 3/24 + 2/(-4). Which is greater: r or 0?
0
Let w = -51 + 32. Which is smaller: w or -20?
-20
Suppose -2*i - 11 = -4*u + 3*i, 0 = -4*u - i - 7. Which is greater: u or 1/6?
1/6
Let r(f) = 4*f**2 + f. Let y be r(1). Suppose -3*m - 2*g = 2, 6*m = m + 5*g + y. Let i = -4.02 - -0.02. Which is smaller: m or i?
i
Let w = 2.3 - 2.8. Which is bigger: w or -1?
w
Let u = 0.07 - 0.06. Which is bigger: u or 0?
u
Let k = 2 + 2. Let o be -8*(10/k)/5. Is o equal to -4?
True
Suppose -1 + 2 = u. Which is smaller: 1/8 or u?
1/8
Let i = 159 + -39. Do 120 and i have the same value?
True
Let z = -9 - 7. Let d be 2 + -16 + (-1 - 0). Which is smaller: z or d?
z
Let a = 2 - 1. Let u = 3.1 + 0.9. Is u at least a?
True
Let w(p) = 2*p + 5. Let g be w(-6). Is -7 greater than or equal to g?
True
Let n = -41 + 39. Which is smaller: n or -5/7?
n
Let m be -2 + 2 + (-16)/(-10). Is 3 < m?
False
Let c = 103 - 70. Which is bigger: 34 or c?
34
Let i = -0.2 + 1.6. Let p = i - 3.4. Is p not equal to -0.2?
True
Let x(z) = 6*z**2. Let q be x(-2). Suppose 0 = -5*c + y + q, -2*y = -3*c + 2*y + 11. Which is bigger: 4 or c?
c
Suppose -24*m - 6 = -26*m. Let g(w) = -w + 1. Let o be g(-3). Suppose -4*d = -5*d + o. Which is smaller: d or m?
m
Let s be -7 - (4 + (-6)/(-3)). Is -13 at most as big as s?
True
Suppose -1 - 3 = 2*o. Let x be o - ((-3)/3 + -8). Let w be 14/(-8)*1*-4. Is x equal to w?
True
Let n(t) = -t**2 - t - 1. Let q be n(-1). Do q and 1/13 have the same value?
False
Let m(o) = -o**3 + 6*o**2 + 14*o + 15. Let w be m(8). Are -0.13 and w non-equal?
True
Let f = 0.013 + 16.987. Which is greater: 1 or f?
f
Let q = -11 - -8. Let c be 1*(0 + -1) - 3. Is q less than or equal to c?
False
Let m = -31 - -92/3. Which is smaller: m or 21?
m
Let s = 11.6 + -15.6. Which is smaller: 14 or s?
s
Let d = 9 + -2. Let s be 21/d*1/3. Let z be (-2)/(-42) - (-7)/(-21). Which is smaller: z or s?
z
Let q be (-1)/(-4) + (1314/24 - 3). Is q greater than or equal to 51?
True
Let y(a) = a**3 + a**2 - a. Let q be y(-1). Let d be q/(-4) + 15/12. Let f be 2/1*d/22. Which is greater: 0 or f?
f
Let w = -5 - -8. Suppose 7 = -a + 2*c, -c = w*a - 0*a. Is a at least as big as 1/7?
False
Let l(m) = -m**2 - 2*m + 22. Let s be l(0). Is 43/2 <= s?
True
Let d be (-446)/18*(-6)/4. Let j = 37 - 0. Let t = d - j. Is -1 <= t?
True
Suppose -6 = 2*h, -3*l - 2*h + 18 = -6*h. Suppose 0 = t - 3*a + 9, -1 = -2*t + a + 1. Which is smaller: l or t?
l
Let v = 74.4 + -2.4. Is 1 at least as big as v?
False
Let g(c) = c + 8. Let j be g(0). Suppose y = -3*y - j. Let d be (5 - 0) + y + 0. Which is greater: 4 or d?
4
Suppose 3*y = 6 - 18. Which is smaller: -2 or y?
y
Let v be (-20)/120*((-46)/(-28) + -1). Are v and 0 unequal?
True
Let z(m) = 3*m. Let h be z(1). Let q be (h - 1) + 3842/(-14). Let g = -272 - q. Are 0 and g equal?
False
Let v = -2 - 0. Let n = -3 - v. Suppose -2 = 4*h - 2*h. Is h > n?
False
Suppose 7*n = 4*n - 39. Let o be (-1 + -12)*(-1 - -2). Is o less than or equal to n?
True
Let o = 0.63 + 4.37. Which is bigger: o or 0.3?
o
Let t = -7 + 14. Let x(v) be the first derivative of -v**3/3 + 4*v**2 - 8*v - 3. Let m be x(t). Is -1 at most as big as m?
True
Suppose -2*n = 0, -3*k + 6*k + n = 27. Suppose -h - k = 2*h. Let j be 1 + 7*h/15. Which is smaller: -1 or j?
-1
Suppose 6 = -o + 3*o. Let i = 6 + -1. Suppose i*m = 3*x + 3, -6*x - 5 = -x - o*m. Is -1/3 <= x?
False
Let k be ((-2)/(-9))/((-10)/(-12)). Suppose -7 = -5*n - 2. Is n at most k?
False
Let y = 212 + -1906/9. Let h be (5 + -5)/(6/2). Is h bigger than y?
False
Let b be (-1 + 0 + 0)/4. Suppose -5*z - 2*q + 21 = 0, 6*z - 11*z + 2*q = -9. Is z greater than or equal to b?
True
Let n = 6 + -11. Let j = -6 - n. L