 (2 + -2). Is g smaller than -4?
False
Let s(q) = -2*q**3 + 7*q**2 + 6*q + 8. Let w be s(6). Let t = 539/4 + w. Which is smaller: t or -2?
-2
Let i be -3 + (1 - -8) + -2. Suppose 3*c + 1 = 10. Is i less than or equal to c?
False
Let n = 1772 + -12378/7. Which is greater: n or 3?
n
Let w(a) = -a**3 + 2*a**2 + 2. Let j be w(2). Suppose 0 = 5*x - 2*m + 4, -x - j*x - 4*m = -8. Are 2/3 and x nonequal?
True
Let q = -17/4 - -9/2. Is -0.1 != q?
True
Let j = 2.6 + -2.6. Which is smaller: j or -5?
-5
Suppose 0 = j + 4*u + 13, 2*j + 0*u + 14 = 4*u. Let d(v) = 2*v + 15. Let o be d(j). Which is smaller: 0 or o?
o
Let y = -3 + 2. Let u(c) = -c**3 + 3*c**2 + 4*c - 1. Let g(k) = 2*k**3 - 4*k**2 - 5*k + 2. Let z(v) = 2*g(v) + 3*u(v). Let j be z(y). Which is greater: 0 or j?
0
Let y(p) = p**3 + 5*p**2 - 7*p - 5. Let m = -13 - -7. Let a be y(m). Is a greater than or equal to 2?
False
Let h = 8 + -17. Which is greater: -0.4 or h?
-0.4
Suppose l - 2*k = -15, 3*k - 14 - 1 = 0. Let p be -1 - -2 - l/(-7). Is p less than -0.08?
False
Let a = 11 - 18. Let f = a + 7.1. Is 3/7 less than f?
False
Let c(g) be the first derivative of g**3/3 + 3*g**2/2 + 2*g - 4. Let r be c(-3). Which is smaller: 2/3 or r?
2/3
Let s be 2/6 - ((-70)/25 + 3). Which is greater: -1 or s?
s
Suppose -3*j - 24 = -0*j. Let g = -7 - j. Is 1/17 bigger than g?
False
Suppose -4*r - 12 = 0, 3*u + 0*r = -4*r - 42. Let k = -2 - 7. Is k greater than or equal to u?
True
Let w(k) = -k + 8. Let u = 2 - -6. Let o be w(u). Is o greater than 0?
False
Let r = -50 - -50. Is r at most as big as 0?
True
Let j be (8/(-24))/(22/(-6)). Let x(n) = -n**2 - 7*n - 5. Let s be x(-6). Is j less than s?
True
Suppose 2*h - 2 - 4 = 0. Suppose h*r + 4 - 7 = 0. Are 0 and r non-equal?
True
Let m(k) = k - 5. Let d be m(8). Suppose 1 = 2*r - d. Which is smaller: r or 3?
r
Suppose -4*v - 5*k = -19, -9 = -2*v - k - 4. Which is smaller: -1/247 or v?
-1/247
Let l be 2/6 + 40/24. Suppose -l = a + a. Is a > 0.4?
False
Let r be -2 - ((-370)/(-38))/(-5). Is 0.1 at least as big as r?
True
Let n = -0.1 + 0.9. Let s = n - 1. Let v = -0.13 + 0.03. Which is greater: s or v?
v
Let z be (-2)/(-3) + (610/(-225) - -2). Which is bigger: 0 or z?
0
Let m = 0.3 - 0.2. Let x = -1 + 1.03. Is x greater than or equal to m?
False
Let b be (-12 - -12)/(1 + 1 - 3). Let h = 3 - 5. Let u(l) = l**3 + 3*l**2 + 3*l. Let n be u(h). Is n greater than or equal to b?
False
Let c(o) be the third derivative of o**5/60 + o**4/3 + 5*o**3/3 - o**2. Let r be c(-7). Is r at least 3?
True
Let y = 37 + -36. Which is greater: 0 or y?
y
Let i = -5.5 - 1.5. Let q = i - -8. Are q and 4 unequal?
True
Let s = 0.8 - 1. Let w = 12316/3 + -4148. Let i = -42 - w. Which is smaller: i or s?
s
Let z = 2970 - 282136/95. Let x = z - -1/19. Which is bigger: -1 or x?
x
Let l = -21.4 + 21. Which is bigger: l or -0.1?
-0.1
Let z(u) = u + 7. Let k be z(-7). Suppose 5*q + 2 - 7 = k. Which is greater: q or 2/33?
q
Let i be -3*3/(-6) - 1. Let p = 10.3 - 1.3. Which is bigger: p or i?
p
Let g = -10 - -12. Suppose 4*l - g*l + 4*x = -26, l = 2*x - 9. Which is bigger: l or -10?
-10
Let h be (-11)/(-3) + (-1)/(-3). Suppose -4*a + 24 = -4*k, -k = -3*a - 4*k + 6. Suppose -h + 0 = -a*z. Which is smaller: -2/21 or z?
-2/21
Let r = 57.9 + -58. Which is greater: r or 4/7?
4/7
Suppose y = 3*v + 20, v - 15 = -3*y - 5. Let z be ((-2)/y)/(52/20). Which is smaller: z or -1?
-1
Let b(x) = -x**3 - 3*x**2 + x - 1. Let t be b(-3). Which is smaller: -13/3 or t?
-13/3
Suppose -2*w = -w + 5*g - 23, -3*g = -5*w + 3. Suppose -5*y = 3*a + 10, 41 = -y - 5*a + 17. Is w < y?
False
Let f = -2.4 + 6.4. Let m = 8/5 - 29/15. Which is smaller: f or m?
m
Let y = -0.04 + 0.04. Let l = y + 1. Suppose 3*k + r + 2*r - 9 = 0, k - r - 7 = 0. Which is greater: k or l?
k
Suppose -4*r - 50 = -2. Which is greater: -14 or r?
r
Suppose -b + 2*b = 3. Suppose 0 = -2*m - b*v + 4*v - 3, 0 = 3*m + v - 8. Let q be (-32)/(-14)*m + -2. Which is greater: q or 1?
1
Let c be -4*(-1)/(2 + -12). Let r = -4 - -3. Is r smaller than c?
True
Let m = 15.7 + -15.74. Which is greater: -5/3 or m?
m
Let k be (-20)/(-8)*16/44. Which is smaller: 2 or k?
k
Let q be (-2)/4 - (-322)/(-35). Let z = -19/2 - q. Let i be (2/4)/((-2)/(-4)). Which is smaller: z or i?
z
Let p = -3.97 + -0.03. Let n = p + 4. Let t = 48 - 55. Are n and t equal?
False
Let b = 15 - 16. Is b greater than -4?
True
Let n = -6 + 8. Suppose n*t + 3*t = 10. Which is bigger: 5/2 or t?
5/2
Let o = 8 - 9. Let b = o - -1.3. Which is greater: b or 1?
1
Let g = -5.84 + -0.16. Let q = -37 + 53. Let z = 17 - q. Is z >= g?
True
Suppose 4*t = t + 3*r - 9, -3*r = 5*t - 17. Let v = 13 + -4. Let a be (-20)/39 - (-6)/v. Which is smaller: a or t?
a
Let o be (15/(-2))/3*(-104)/286. Let u(g) = g**3 + 3*g**2 - 2. Let v be u(-2). Is o less than or equal to v?
True
Let l(i) = 2*i + 23. Let x be l(-10). Is x at least as big as 16/9?
True
Suppose 5*l = 69 - 9. Suppose -4 = 4*y - l. Let x(f) = f**3 - 2*f**2 + f + 1. Let n be x(2). Is y equal to n?
False
Let b be 2/(-4) - 4724/40. Let c = 119 + b. Which is smaller: -7 or c?
-7
Suppose 5*u = -x + 19, -3*u - 4*x + 19 = -6. Suppose -5*q = 5, -c - 5*q = -0*c + u. Suppose 1 = -c*a + 3*a. Is 2/5 less than or equal to a?
True
Suppose -4*l + 1 = -3. Which is smaller: 0.8 or l?
0.8
Let f = -184/33 + 20/3. Let z = -29/44 - f. Which is smaller: z or -1?
z
Suppose 2*r - 3 = 9. Let q be (3/9)/((-7)/(-42)). Is r <= q?
False
Let z = 0.4 + 0.3. Let f be 1/4 - (-15)/4. Let p = f - 4. Are p and z equal?
False
Suppose 5*s + 7 = d + 30, -3*s = -3*d - 9. Suppose d*p + 4 = a - 5, -4 = p. Is a equal to -2/7?
False
Let o = 52 - 56. Let m(i) = -3*i + 1. Let r be m(2). Which is greater: o or r?
o
Suppose -2*j + 4*j = 2*o, -4*o + 3*j = -1. Let u be (2/(-4))/(o/(-2)). Which is smaller: 0 or u?
0
Let d(j) = -3*j - 4. Let q be d(-3). Suppose 2*z + 0*z = 2*w + 6, 1 = q*z + 2*w. Let y = 0 - z. Is y equal to -2/5?
False
Let d be ((-2)/7 + 0)/(16/(-28)). Let v(x) = x + 5. Let z be v(-4). Which is greater: z or d?
z
Let h = -57/13 + 194/65. Is 0 bigger than h?
True
Let p be (12/4)/(-15)*-3. Do -2 and p have different values?
True
Let n be 9/2 + 1/1. Which is bigger: n or 6?
6
Let v be 3/(-1) - (-2 + -3). Suppose -v*b = 5*b + 35. Which is smaller: -9/2 or b?
b
Let u(a) be the third derivative of a**5/60 + a**4/8 + a**3/6 - 7*a**2. Let p be u(0). Is -2/39 at least p?
False
Let l = -26 + 39. Let d = l - 14. Are d and 0.5 equal?
False
Suppose 4 = 3*q - 5*q. Suppose -5*g = 2*u - 1, -7 = -4*u + 3*g - 8*g. Suppose 3 = -u*m - 0*m. Are m and q equal?
False
Let c be (-3)/(-15) - (-13)/(-40). Which is smaller: c or 0.2?
c
Let q(r) = 2*r + 1. Let p(w) = w**3 + 4*w**2 + 2*w - 4. Let h be p(-3). Let t be q(h). Which is bigger: -6 or t?
t
Let l = 1081/13 + -85. Which is greater: -2 or l?
l
Let o(j) = -j + 10. Let w be o(8). Let k = 5.6 - 6. Let v = 0.3 + k. Which is smaller: v or w?
v
Suppose 3 = f - 4*f. Let a = f - -9. Which is smaller: 5 or a?
5
Let j = 0.29 + -0.39. Let q = -14 + 23. Let u = -6 + q. Which is smaller: j or u?
j
Let s be ((-36)/4)/3 - -2. Let a be (4 - (2 - s))/1. Which is smaller: a or 2/15?
2/15
Suppose 0 = 4*c - 4 - 0. Is c at least as big as -1/172?
True
Let a = 3 + -3. Let c = -76/7 - -691/63. Which is bigger: c or a?
c
Suppose -o - 2*i - 1 = 0, -4*i = -4*o + o - 13. Let s = o - -3. Let a(u) = -u**2 - 4*u + 1. Let v be a(-4). Is s equal to v?
False
Let g be 0 - (0 - (-2)/11). Are 1 and g equal?
False
Let i(f) = f - 10. Let y be i(7). Let c be -1*(2 + 0) - -2. Let w = c - y. Are w and 2 nonequal?
True
Suppose 7*i = 4*i - 6. Is -6/7 < i?
False
Suppose 2*a - 2 = 2. Let z(p) = 3*p + 10 - 4 + 1 - 4*p. Let m be z(6). Which is smaller: a or m?
m
Suppose -3 = 3*g - 9. Let t = 40 + -43. Let x be (g/4)/(t/(-6)). Which is bigger: x or 2/13?
x
Let r be (-3 + 1)/(3/(-6)). Suppose p - r = -3*p. Let d = 0 + p. Is d smaller than 2/11?
False
Let l = 2.53 + -2.7. Let r = 0.2 + l. Let g = r + 0.97. Is g greater than 0.7?
True
Suppose 2*s = 3*s - 8. Let t = s + -14. Let u be (-3)/(-14)*(-8)/t. Is u at most as big as 0?
False
Suppose 3 + 1 = -4*q. Is q at most 1/37?
True
Let g be (4 + 1)*3/5. Let k = -4 + g. Let s(d) = -2*d - 1. Let n be s(k). Is n <= 3/7?
False
Suppose 5 + 5 = -2*l. Let i = 19 + -9. Suppose -2*v - 2 = i. 