 + 2*y - 6. Let k be ((-27)/18)/((-2)/4). Is k at most m?
True
Let q(u) = -u**3 + 8*u**2 + 4*u - 19. Let b be q(8). Suppose -5*x + b = -17. Is 6 > x?
False
Let z(a) = -a. Let p(d) = -d**2 - 3*d + 2. Let w(x) = p(x) - 5*z(x). Let q be w(4). Are q and -6 nonequal?
False
Let h = -3/4 - -17/4. Which is greater: -1/5 or h?
h
Suppose 0 = -4*f + 2 + 14. Let i be ((-2)/3)/(6/(-45)). Is i greater than f?
True
Let x = -13704/11 + 1226. Let d = 53 - 33. Let s = x + d. Are -1 and s equal?
False
Let s(n) = n**3 - 6*n**2 - n + 8. Let x be s(6). Suppose -x*q = -0*q + 8. Is -4 > q?
False
Suppose -5*q - 982 = 3*d, -3 = d - 4*d. Let w = 2165/11 + q. Which is bigger: w or 0?
0
Let h = -2121/11 + 193. Let n = -1 + 1. Which is bigger: n or h?
h
Let j = -27 + 27.66. Let r = j - -3.42. Let p = 4 - r. Which is smaller: p or -1?
-1
Let u = 1 - -7. Let o = u - 7.2. Is 2/7 not equal to o?
True
Let j = 2.8 + -3. Let i = -0.03 + 0.07. Let x = i - -0.06. Which is greater: x or j?
x
Let y be -9 + 1 + -4*(-4)/8. Which is greater: y or -9?
y
Let b = -2.3 + 3.4. Let a = 1.1 - b. Let o = -1.2 + 0.6. Is o smaller than a?
True
Let w = 0.98 - 19.98. Is w greater than -1?
False
Suppose 0 = 5*s + 3*q - 112, 3*s = -2*q + 40 + 28. Let u = s + -24. Which is greater: u or -0.2?
-0.2
Let n = 0.6 + -1.6. Let c = 213/52 + -15/4. Let m = -2/13 - c. Which is bigger: m or n?
m
Let h(j) = j**2 - j - 2. Let n be h(-2). Suppose 10 = -n*b - 18. Is b > -8?
True
Suppose 0 = o - 6*o - 390. Let l be (-1)/o*-1*-4. Is 0 not equal to l?
True
Let p(r) = -4*r**3 - r. Let w be p(-1). Let d(h) = -h**3 + 7*h**2 + 8*h + 3. Let t be d(8). Suppose 4*c - 10 = -3*m, 0*c + 3*m - 6 = -t*c. Is c at least w?
False
Let o be 10/6*(-6)/(-45). Is -1 < o?
True
Let i = -3 + 2. Let y = -2 + 2. Let p = y - 0.2. Which is smaller: i or p?
i
Let n = 23 + -22. Which is smaller: -2/73 or n?
-2/73
Let i(n) = -2*n**3 + 4*n**3 + 10 - 3*n**3 + n**2. Let m be i(0). Suppose 3*s = -2*s + m. Which is greater: 3 or s?
3
Let z(m) be the first derivative of -3/2*m**2 + 2 - m. Let c be z(-2). Is 3 < c?
True
Let c = 7 - 7. Let r(u) = -3*u + 3. Let n be r(6). Which is greater: c or n?
c
Let m(p) be the third derivative of p**4/24 + 7*p**3/6 + p**2. Let w be m(-7). Is 0 equal to w?
True
Suppose 6*g = 3*g - 699. Let n = g + 2565/11. Which is smaller: -1 or n?
-1
Let y(t) = t - 2. Let i be y(3). Let s be 0/(4 - (2 + i)). Which is greater: 4/3 or s?
4/3
Let i be ((-42)/4)/((-2)/(-4)). Let y = 25393/5 - 5058. Let j = y + i. Which is smaller: j or 0?
j
Let o = 23 + -19. Which is smaller: -2 or o?
-2
Suppose 4*l - 2*l = t - 5, -l = 4*t - 2. Let x(a) = a**2 + 5*a - 5. Let z be x(2). Suppose -2*c - t = z. Which is greater: c or -6?
c
Let l be 1 + (3*-4)/(-4). Suppose -5*h - 22 = l*i, 0 = -4*h - 0*h + 5*i + 7. Is h greater than -2?
False
Let z(m) = -m - 4. Let u be z(-9). Suppose 0 = -2*v + 2*k - u - 15, 0 = -4*v + 3*k - 41. Which is smaller: v or -10?
v
Let z be ((-1)/((-3)/12))/58. Which is greater: -1 or z?
z
Suppose j - 43*q - 17 = -48*q, 2*q - 10 = 0. Let v = -5 + -5. Which is smaller: j or v?
v
Let l = -25.8 - -26. Let f = -1.2 + 1. Do f and l have different values?
True
Suppose -3*a - 5 = -2. Let g be 146/6 - (1 + a). Let n = g + -24. Which is bigger: n or -0.5?
n
Suppose 2*s - 4*h - 50 = 0, 77 + 33 = 4*s - 3*h. Are 29 and s equal?
True
Let f = 1/1573 - -51902/11011. Let d = f - 356/77. Is -1 >= d?
False
Let j = -2 - -2. Suppose -4*k = -12, 7*k - 4*k = -3*m + 24. Let n be 1/m + (-2)/6. Is j less than or equal to n?
False
Suppose 2*k + 3 = n, k = -2*n - 0*n + 1. Suppose -2*w - x = 0, 3*w - 4*w - 3 = -x. Does w = n?
False
Let n = 69 + -63.4. Let f = n - 6. Which is greater: -2/3 or f?
f
Let q = -8675/16 + 542. Is q smaller than -2?
False
Let z be 237/33 - 4/22. Is z greater than or equal to -0.5?
True
Let p(x) = x**3 + 3*x**2 - 1. Let b be p(-2). Suppose -3*s = -b*g + 30, 10 = 7*g - 2*g + 3*s. Let c be (5/2)/g*0. Is 1 >= c?
True
Let o = -2 - -2. Let k = 1 - -1. Suppose 3 = k*h - 5*h. Which is bigger: h or o?
o
Let c = 0.21 - 1.21. Is -1 smaller than c?
False
Let y(z) = z**2 - 15*z - 8. Let s be y(16). Which is bigger: s or 9?
9
Let p = 3 - 9. Let t = -6 - p. Which is greater: t or 0.4?
0.4
Let z be (12/10)/(4/20). Suppose z*v = 5*v. Which is bigger: -1 or v?
v
Let g be 1/(1 + 1)*0. Let i = 0.396 - -0.204. Which is greater: i or g?
i
Let c = 28/9 - 10/3. Which is bigger: 0.2 or c?
0.2
Let o = 20 + -20. Which is bigger: 1 or o?
1
Let a = 0.49 - -0.55. Let k = 0.04 - a. Is 2/3 equal to k?
False
Let f(p) = -p**2 - 5*p + 5. Let r be f(-6). Let a = -5 - -5. Suppose 4 = -2*z - a. Which is smaller: z or r?
z
Let l(w) = -1 + 9 - 3*w - 4. Let k be l(3). Which is smaller: -6 or k?
-6
Suppose 0 = 3*w - 0*w + 6. Let z be ((-1)/(-4))/(3/(-6)). Which is greater: w or z?
z
Let d = -0.7 + 0.7. Suppose 3*g - m - 6 = 0, m + 6 = -m. Suppose 0 = 5*v + 3*h + g, v = -2*h + 1 - 4. Which is bigger: d or v?
v
Let c = -1.08 - -0.78. Is c at most as big as 7?
True
Suppose 5*p - 7 + 22 = 0. Let y = p - -5. Let g be (-2)/(2 + -3) + 0. Is g < y?
False
Suppose 3*r + 2*r - z = 16, 3*z + 3 = 0. Which is smaller: r or 3/2?
3/2
Suppose 0 = -0*a - 4*a + 8. Suppose w + r - 4 = 0, 0*w + 4*w + 8 = a*r. Let v be 36/17 - (-2)/(-1). Is w at most v?
True
Let w(f) = -f - 5. Let i be w(-3). Let l be i/(-2) - 4/2. Is -1 greater than l?
False
Suppose 6 = 3*k - 3. Suppose -3*d - 24 = 5*m - 2*m, 4*m + 29 = -k*d. Which is greater: m or -0.2?
-0.2
Let p(n) = 11*n + 37. Let u be p(0). Is 35 > u?
False
Let u be (1/2)/(-1 - -2). Is u less than -2?
False
Suppose 5*u = 25, -3*f - 7 - 1 = -u. Let o = 0 + f. Let q(m) = -m - 18. Let i be q(-16). Which is bigger: i or o?
o
Let j be (-2)/(-1) + (-5)/(15/51). Which is smaller: -2/5 or j?
j
Let b = -10.1 + 10.2. Which is smaller: b or 36?
b
Let w(t) = t**3 - 5*t**2 - 1. Let x be w(5). Is x less than -1/56?
True
Suppose 4*c - 2*f = 10, -4*f - f = 2*c + 1. Which is smaller: 25/8 or c?
c
Suppose -j - 3 - 5 = 0. Let y(q) = q**3 + 10*q**2 + 11*q - 1. Let t be y(j). Let k = -116/3 + t. Which is bigger: k or 1?
1
Let r = -19 - -22. Are r and 3/2 unequal?
True
Let g = -7 - -6. Let i = 57.9 - 61. Let v = i - -3. Are g and v equal?
False
Suppose 2*j = j - 51. Is -51 less than j?
False
Let i = 2.8 - 3. Let s = i - -0.3. Let n = 0.19 + 0.81. Is n at least s?
True
Suppose -17*c = -15*c + 2. Let d = -2 + 0. Is d smaller than c?
True
Let p = 61/18 - 17/6. Let h = -231 + 2072/9. Let c = h + p. Which is bigger: 1 or c?
1
Let t = 85/4 + -1125/52. Which is greater: t or 0?
0
Let w = -90666/35 + 2590. Let c = 33073/35 - 945. Let f = w - c. Is f < -1?
False
Let v be (3/4)/((-1)/(-4)). Suppose 0 = -2*z + 4. Let p be (v/9)/(z/6). Which is smaller: p or -2/11?
-2/11
Suppose -5 = 18*g - 23*g. Which is smaller: 28 or g?
g
Suppose 2 = 4*d - 2. Let s be 3/((-75)/2)*-20. Which is greater: d or s?
s
Let a be 62/4*(-4)/(-506). Let q = a - 7/23. Let x be 1/3*6/4. Is x >= q?
True
Let z = 7 + -3. Suppose -z*n - 4 + 12 = 0. Suppose 3*p + 6 = p + 5*v, -p + 2*v - 2 = 0. Is p at least as big as n?
True
Suppose 16*n + 20 = 18*n. Which is greater: n or 1?
n
Let d be 376/92 - (-8)/(-92). Let o = 9 - 5. Does o = d?
True
Let b = -0.011 - -21.011. Let a = b + -19. Is a at most 1?
False
Let x be (-55)/(-2) - (-1)/2. Suppose 4*s = x + 28. Suppose w + 4*t - s = t, 3*w + 4*t - 27 = 0. Is 5 less than or equal to w?
True
Suppose 11 = f - 8. Is f bigger than 1?
True
Suppose -d + 2*d + 30 = 0. Let o be 2/(-3) + (-44)/d. Do o and 0 have different values?
True
Suppose 5*j + 3*q - 2 = -1, 9 = -3*q. Let y = 7 - j. Which is greater: y or 4?
y
Let f(l) = -l**2 - 16. Let v be f(0). Which is smaller: -17 or v?
-17
Let t(h) = 6*h + 7. Let w be t(-2). Is w greater than or equal to -5?
True
Let q be 130/(-50) - (-1 + -2). Do q and 0.7 have the same value?
False
Let k = 0 - -1. Let i = 21 - 33. Let m = 13 + i. Is k less than m?
False
Let p = 6.7 + -8. Which is greater: 0 or p?
0
Let a(l) = 2*l**2 + 2*l - 2. Let o be a(2). Is o > 8?
True
Suppose -o - 12 = -2*p, 3*o = 4*o + 4. Let n be ((-2)/p)/((-3)/12). Which is smaller: 3 or n?
n
Let c = 459/8 + -351/8. Which is smaller: 14 or c?
c
Let x(w) = -w**3 + 3*w**2 + w - 2. Let s be x(3). Is s less than -3/22?
False
Let j be (-12)/14*21/(-3). Suppose -4*g + r = 8, -j*g - 2*r 