2*c. Let x be (-6)/9 - p/3. Suppose -2 = -x*o + 2. Is -2 < o?
True
Let k = -65 - -65. Which is bigger: 6/11 or k?
6/11
Suppose -4*x - 152 - 40 = 0. Let z = -278974/5845 + 12/835. Let r = z - x. Is -1 smaller than r?
True
Let s = 17 - 17.2. Let b = 0.06 - -0.34. Is s bigger than b?
False
Suppose -7*x = -3*x. Let r be 10/25 - 47/(-570). Let a = 6/19 - r. Which is bigger: a or x?
x
Let n = -29 - -33. Let z(b) = -3*b**3 + b**2 - b - 1. Let o be z(-1). Is o at most n?
True
Let d = -100 - -61. Which is smaller: -2/7 or d?
d
Let w = -6.95 + -0.05. Let m = w + 1. Let c = -6.1 - m. Is -1/4 > c?
False
Let b be (-5)/(-2) - (-2 - -5). Which is smaller: -2/17 or b?
b
Suppose -2*w + 3*p = -12, 7*w + 4*p = 4*w - 16. Is w at least as big as 9/7?
False
Suppose -4*t + 8 = 16. Which is smaller: 1 or t?
t
Suppose -7*n + 2*n + 13 = 2*r, -2*n - 14 = -4*r. Suppose -v - r = -5*v, -t - v = 5. Let f = 52/9 + t. Do f and -1 have the same value?
False
Let g = 23 - 22. Is 2 at least as big as g?
True
Let z = 23 - 16. Let u = 12 - z. Which is smaller: -2/9 or u?
-2/9
Suppose -7*d + 12*d + 25 = 0. Are d and 0.1 non-equal?
True
Let s = -5 - -5.4. Let h = s + 0.3. Is -1 at most as big as h?
True
Let j be 2 + (-1)/(-1) + -4. Do 2/27 and j have the same value?
False
Let k(l) = -l + 7. Let z be k(9). Suppose 11 = -j - 0*j. Let p be z/j - 2/11. Which is greater: p or 2/3?
2/3
Suppose -3*b - 4*p = -1 + 6, -30 = -4*b + 2*p. Which is greater: b or 2?
b
Let y(h) = h**2 + 13*h + 14. Let d be y(-11). Let o(j) = -7*j**3 - j + 1. Let u be o(1). Let l = d - u. Which is smaller: l or -7?
-7
Let g(f) = f**2 + 5*f - 5. Let s be g(-6). Suppose -s = -b + 7. Does b = 9?
False
Let l be 2 + -5 + 1 - -7. Let n be 6/(-9) - l/(-3). Let p be (2/(-10))/(n/6). Is p at most 0?
True
Let y be (-4)/(-6) - 14609/(-168). Let p = y + -88. Which is bigger: p or 0?
0
Suppose 0*h = 4*h - 20. Suppose -3*u - c = -u + h, 2*c = 6. Is u smaller than -5?
False
Let y = -291 + 410. Is y less than or equal to 120?
True
Let b = -51 - -355/7. Which is greater: -0.8 or b?
b
Suppose 0 = -3*w + 3*b + 9, 4*w + b - 3 = 2*b. Suppose 4*p + w + 8 = 0. Is -1 at least as big as p?
True
Let p(i) = -i**2 + 5*i. Let y be p(6). Let c be ((-2)/3)/((-4)/y). Which is bigger: c or -3/4?
-3/4
Let k = -161/3 - -54. Let o = -1/89 + 278/979. Which is smaller: o or k?
o
Let b(n) = 2*n**2 + 4*n + 8. Let a be b(-8). Suppose 0*f - 4*f + a = 0. Let t be 2 - 5 - f/(-8). Which is smaller: 0.1 or t?
0.1
Suppose -8*b = -6*b + 76. Which is smaller: -37 or b?
b
Let i be (-1 + 5)*(2 + -3). Let u = 5 + i. Suppose 3*c - 7 = -u. Is c at least as big as 4/3?
True
Let t = 4 - 1. Let p be t*(-2)/27 - 0. Let s(d) = d - 6. Let z be s(6). Which is bigger: z or p?
z
Let s be ((-8)/10)/((-4)/(-30)). Let k(p) = p**2 + 6*p. Let d be k(s). Which is smaller: d or -2/5?
-2/5
Let i be (0/2 - 8) + 3. Let b = i - -6. Suppose 3*x + b = -5. Which is smaller: x or 0.1?
x
Let q = -0.44 + 0.04. Let i = q - -0.7. Let u = 0.1 - i. Is u bigger than 1/4?
False
Let k(f) = f**2 + 5*f. Let q be k(0). Which is bigger: q or 55?
55
Let x = 0.11 - 0.32. Let d = x - 0.09. Is d at least -1/2?
True
Let g = 33 + -23. Suppose 2*p = 26 + g. Is 17 equal to p?
False
Suppose 0 = h - 4, 5*h + 268 = -m - 3*m. Let j be (-4)/(-6) - m/(-27). Let r be (-3 - j)*(-1)/7. Are r and 1 non-equal?
True
Suppose 4*t - 7 = -3. Let b = 95 - 95. Is t < b?
False
Let f = -0.08 + 3.58. Let i = 3 - f. Let q = 0.5 + i. Is q > 1?
False
Suppose 3*h = -0*h. Let l = -43/3 + 13. Which is bigger: h or l?
h
Suppose 5*x - 57 = -17. Let h = x + -6. Suppose -5*k = 5 - 20. Is k != h?
True
Let i = 0 - 2. Suppose 0*n = n - 3*b - 14, -3*b = 5*n - 34. Let d be -1 + 1 - (-2)/n. Which is bigger: d or i?
d
Let k be ((-4)/(-3))/((-4)/(-6)). Is 0 less than k?
True
Let i be ((-2 + 1)*2)/(-2). Suppose -4*z + c = -i, 0 = -5*z + 2*c + 3*c + 5. Suppose m = 2 - z. Is 2 < m?
False
Suppose -6*r + 25 = 1. Which is smaller: 2 or r?
2
Let b = 5 + -4. Let q be 2/3 - 404/1590. Let c = 2/159 - q. Which is smaller: b or c?
c
Suppose -4 = 2*c - 2. Is c at most as big as 4?
True
Let y = 33 + -14. Which is greater: 20 or y?
20
Let h be 2/(-60) - 6/(-30). Let k(u) = u**3 + 4*u**2 + 4*u + 2. Let y be k(-3). Is h at most as big as y?
False
Let r = 41.2 - 35. Let k = 6 - r. Is 0 < k?
False
Suppose -15*i + 20*i - 10 = 0. Let x = 3 - 2.8. Which is smaller: x or i?
x
Suppose 0 = 2*d - 6, 0*d - 4 = -x - 2*d. Let t(g) = g**3 - 2*g**2 - 4*g + 4. Let i be t(3). Let h be i/6 - x/4. Which is bigger: 1/4 or h?
h
Let d = -1/166 + -323/1494. Let j(o) = -3*o - 6. Let i be j(-4). Suppose 2*z + 4*c - i = 0, -4 = -z + 3*c - 6. Does d = z?
False
Suppose -6 + 14 = -4*h. Which is greater: 3/7 or h?
3/7
Suppose -2*p = -4*x - p + 139, 0 = p - 5. Let v be x/((-6)/2) + -1. Is v at least -13?
True
Let q = -28 + 314/11. Let o = -1 + 3. Which is greater: q or o?
o
Let a = -0.08 + 0.98. Let g = -0.04 + -0.06. Let z = g - a. Which is smaller: z or -3/4?
z
Suppose 7 = 2*u - 4*d - 7, -7 = 3*u + d. Let t(f) be the second derivative of -f**3/6 - 2*f. Let s be t(-1). Is s >= u?
True
Suppose 4*q + k = 4, 5*q = 5*k - 0 - 20. Is q less than -2/23?
False
Suppose -b + 6 = 2*b. Suppose 0 = 2*g + b - 4. Is g > 2/3?
True
Let y(w) be the second derivative of -w**5/20 + 11*w**4/12 - 3*w**3/2 - 3*w**2 - 3*w. Let r be y(10). Suppose -r*j + 1 = -3. Is -1 not equal to j?
True
Suppose 5*g = 25, -3*q + g - 2*g = 1. Let u = q + 2. Which is smaller: u or -1?
-1
Let q = -0.12 - -0.12. Is 0.2 at most as big as q?
False
Let s be (0 - 2/(-6))*1. Let j = 893/6 + -307/2. Let g = -4 - j. Is s > g?
False
Let q = -91 + 77. Is -2/7 smaller than q?
False
Let i = 6103/353706 - 15/706. Let w = -1495/2004 + i. Are w and 0 non-equal?
True
Let b(i) = -2*i - 3. Let m be b(-3). Let p = m + -3. Let n(f) = -f**3 - f**2 - f + 2. Let y be n(p). Which is smaller: 3/4 or y?
3/4
Let m be (-1)/18*(-8048)/(-4). Let d = 103 + -215. Let k = d - m. Which is greater: k or -3?
k
Let l = -51 + 21. Let z be (-2)/(-4) - (-21)/l. Which is greater: z or 1?
1
Let i = -5 - -5. Let n = -3 - -2. Let x be 2 + (-1)/(n/(-4)). Which is greater: x or i?
i
Let u = 4 - 4.04. Let d = u + -0.06. Is d at least -0.2?
True
Let k = 8 - 20. Let f = -19 - -4. Let s be (k/f + -1)*2. Which is smaller: s or -1?
-1
Let h = 9 + -7. Let i = -0.3 + 0.1. Is i >= h?
False
Let c(z) = z**2 - 16*z - 16. Let b be c(17). Which is smaller: -2/81 or b?
-2/81
Let c = 32/155 - -6/31. Let d = -2.9 + 6.7. Let k = d + -4. Are c and k nonequal?
True
Let o = 1.5 - 1.3. Which is bigger: 1.8 or o?
1.8
Let s = 18.7 + -18. Let b = -0.3 + s. Let q = b + -1.4. Which is smaller: 1/5 or q?
q
Let z = 31 + -17. Do 14 and z have different values?
False
Let v = -2/239 - 938/2151. Which is greater: -2 or v?
v
Suppose -73 = 5*f + 37. Is -21 > f?
True
Let x = 68 + -137/2. Which is smaller: x or -2?
-2
Suppose -3*z - 3*z - 12 = 0. Is -5 less than z?
True
Let j(b) be the first derivative of -b**4/4 - 2*b**3/3 + 7*b**2/2 + 2*b - 7. Let z be j(-4). Let f be (7/(-4))/(1/(-4)). Which is smaller: z or f?
z
Let u be 3 - (0 + -1)*-2. Suppose -2*n - 4*n + 30 = 0. Let i be ((-4)/(-5))/(10/n). Which is bigger: u or i?
u
Let l be 2/(-4) + (-1)/(-5). Let b(k) = k**2 - 3*k - 2. Let r be b(-1). Let t be (-1)/((-2)/(r/(-1))). Does t = l?
False
Let c = -1 + 0. Let r = -1 - c. Let q(p) = -p**3 + 2*p**2 - 2*p + 2. Let k be q(1). Do k and r have the same value?
False
Let q(w) = -2*w - 7 + 0 - 6 - 2*w. Let m be q(-6). Are 11 and m unequal?
False
Let i(z) be the first derivative of z**2/2 + 7*z - 3. Let t be i(-3). Let f be ((-3)/2)/((-1)/2). Is f > t?
False
Let t(d) be the second derivative of d**3/6 + d**2 - d. Let j be t(-7). Let m = -1 - j. Are m and 3 equal?
False
Let o be -1*((-19 - 3) + -3). Let b be 2/(-10)*(-5)/o. Which is greater: -1 or b?
b
Let v = 0.2 - -5.8. Let b = 8 + -3. Let f = b - v. Which is smaller: 0.1 or f?
f
Let c be (1/(-3))/(20/6). Which is greater: 1 or c?
1
Let c = 2.06 + -0.06. Let w = 1 - -2. Let t = 4 - w. Is c >= t?
True
Let n = -8.06 + 8. Let j = n + -0.04. Is j less than 0.4?
True
Let h(b) = b**3 + 8*b**2 + 6*b - 7. Let x be h(-7). Let y = 3 - 4. Which is smaller: y or x?
y
Let l(w) = -w**2 + w + 7. Let y be l(3). Are y and 2/67 equal?
False
Suppose -3*j + j - a = 7, j = a - 5. Suppose 0 = 