pose -2*m + 0*m = -60. Let r be 7/(-25) + (-6)/m. Let s = r + 134/175. Are s and 1 equal?
False
Let l(d) = d**3 + 7*d**2 - d - 7. Let n be l(-7). Is n less than or equal to -10?
False
Let j = -10 + 14. Suppose -6 - 2 = -j*i. Which is bigger: i or 3?
3
Let x = -5 + -4. Let k be ((-3)/x)/(1/1). Suppose 1 = -m + 3. Is m at most as big as k?
False
Let s = 0.7 - 0.61. Which is greater: s or -0.7?
s
Suppose 3*x - x = 4. Is x at most 1?
False
Let w be ((-126)/(-12))/(-7)*16/150. Which is smaller: -0.1 or w?
w
Let b be 57*(-10)/(-15) - 3. Which is greater: 34 or b?
b
Let u = -0.8 - 0.2. Which is greater: 1 or u?
1
Let i = 1.09 - 0.09. Let b(t) = t - 1. Let n be b(3). Suppose -4*o = -0*o - 4*s - 12, -3*s = -n*o + 10. Is o != i?
True
Suppose 0*f - 5*f = -5. Is f at most as big as -12/5?
False
Let t = -39 - -50. Is 10 at least as big as t?
False
Let m be (-11)/22 - 2/4. Is -1/2 at least m?
True
Let t be (-4)/(-14) - 0/2. Suppose -4*w + 24 = -0*w. Suppose 5*y - 10 = 4*i, 0 = -3*i + 4*y - 2 - w. Is i equal to t?
False
Let v be (-4)/(-8) + (-1427)/2037. Let u = v + -4/291. Let b = -1/28 + u. Which is bigger: b or 1?
1
Let w(q) = q**2 - 12*q - 15 - 33*q + 58*q. Let u be w(-13). Which is smaller: u or -16?
-16
Let o = 183/4 - 46. Are -1/4 and o unequal?
False
Let d = -0.3 - -4.3. Let r = 2 - d. Which is smaller: 2/5 or r?
r
Suppose 5*d = c - 14, c = 4*d - 2*c + 20. Let o = 3 - d. Which is greater: 6 or o?
6
Suppose 4*k + 4 = 36. Suppose 3 = 5*y + k. Let i be ((-1)/18)/((-2)/8). Which is smaller: i or y?
y
Suppose 4*i + 8 = 24. Let r(n) = -5*n**2 + 5. Let k be r(i). Let g = k - -305/4. Which is smaller: 0 or g?
0
Let q(b) = -b - 10. Let z = 17 - 28. Let l be q(z). Is 1 less than or equal to l?
True
Let s(y) = y**3 + 16*y**2 - 2*y - 17. Let w be s(-16). Let v be -3 + 4 - 19/w. Is v bigger than 0?
False
Let o = 85 - 763/9. Let k = -1 + 2. Let j be k - -1 - (-2)/(-2). Is j < o?
False
Suppose 0 = 9*m - 4*m - 65. Let w be (-3)/1 + m/5. Is w at least -7?
True
Let v = -0.34 + 0.3. Let u = v - -0.34. Let m = -0.7 - u. Which is greater: m or -3?
m
Let q(m) = -m**3 - 4*m**2 - 4*m + 4. Let w be q(-4). Suppose w = 3*y + y. Suppose -4*t - 22 = -3*r, 0*t + y*t = -r - 18. Which is greater: r or 0?
r
Let n = 0 + -2. Let w = n + 3. Which is smaller: w or 2?
w
Let m = -47/2 - -23. Suppose -3*f + 3 + 1 = 4*y, -3*y = -3*f + 18. Which is smaller: y or m?
y
Let y be ((-1)/2)/((-8)/(-16)). Are -5/4 and y non-equal?
True
Let g(c) = -c + 5. Let x(y) = -2*y - 11. Let w be x(-8). Suppose 6 = -w*k + 31. Let j be g(k). Which is smaller: -0.1 or j?
-0.1
Let u = 8/3 - 53/21. Let l(s) = 4*s - 3. Let w be l(3). Let y = 10 - w. Does u = y?
False
Let r = -20.976 + -0.024. Let q = r + 29. Which is greater: q or 0.1?
q
Let z = -133 + 126. Suppose 12 = 7*b - 3*b, 2*b + 26 = -4*r. Which is smaller: z or r?
r
Let a(b) be the second derivative of b**4/12 + b**3/2 - 9*b**2/2 - 3*b. Let o be a(-5). Is 1/9 smaller than o?
True
Let i be 2 + 9/(-3) + 1. Let c be (1/(i + -1))/1. Let p be 7 + 3/c + 1. Is 6 >= p?
True
Suppose 7 = 5*z - 4*w + 2, -2*z = -w - 5. Suppose -u + 10 = u. Are u and z equal?
True
Let z be 4 - 6/((-6)/(-2)). Suppose n - z*n = -3. Let m(j) = j**3 - 4*j**2 + 2*j + 3. Let c be m(n). Do c and 1/4 have the same value?
False
Suppose 1 = b - 2. Let m = -4 + 0. Let j = m + 6. Is b less than or equal to j?
False
Let o = 5.4 + -6. Suppose -y + 24 - 5 = 0. Suppose -y*k = -17*k + 2. Is k < o?
True
Let x = 333 + -3672/11. Is 0 < x?
False
Suppose 5*m = -2*x, 0 = -0*x - 3*x - 4*m. Suppose 4*p + 1 - 5 = x. Is p equal to 1/3?
False
Let j(i) = -i. Let s be j(-1). Let t be s/(38/70) - 2. Let h = t + -29/57. Are h and 0 nonequal?
True
Suppose 2*l - 4 = -0. Suppose 0 = 6*v - 9 + 3. Is v not equal to l?
True
Let b(x) be the third derivative of -x**4/24 - 5*x**3/6 + 2*x**2. Let d be b(-8). Suppose 1 + 0 = -4*n - l, 3 = -d*l. Which is smaller: n or 1?
n
Let c = -4 - -7. Let x = -0.12 - -5.12. Let y = c - x. Which is bigger: -1/4 or y?
-1/4
Let c be (3 - 0) + (-3)/(-3). Let g be (c + -2)/(2/4). Which is smaller: g or -2/7?
-2/7
Suppose 0*g = -2*g + 32. Suppose 31 = 2*a - 3*w + 11, 2*a = 2*w + g. Are a and 5 non-equal?
True
Let u = -42.6 - -48. Let y = u - 5. Let d = -8 + 9. Are y and d unequal?
True
Let t(r) = -5*r - 10. Let w(y) = -y - 1. Let k(q) = -t(q) + 4*w(q). Let b be k(-4). Suppose 6 = -b*n + 4. Which is bigger: 0 or n?
0
Let y(n) = -n**2 - 4*n - 4. Let c be y(-3). Suppose 15 = -5*b, h = -b - b - 4. Let a be h - (c + 3)/2. Which is bigger: a or 1/3?
a
Let m = 517/1790 + 2/179. Let f = 6/5 + m. Is -0.1 > f?
False
Let r be 6*8/((-16)/3). Are -9 and r unequal?
False
Let y = -0.19 - -0.17. Let w = 0.02 + y. Is w at most as big as -8/7?
False
Let d = 152 + -157. Which is smaller: d or -32/7?
d
Suppose v - 4 = 5*v. Let u = 1234/1143 + 4/127. Let r = 188/153 - u. Which is smaller: v or r?
v
Let r = 64/33 + -14/11. Which is smaller: -2/3 or r?
-2/3
Suppose 0 = -7*d + 2*d + 45. Suppose -23 = 4*u - 5*z, -4*u + u - d = -z. Let l be -1 - 1*(-2)/10. Is l at least u?
True
Let p = -8 - -5. Let x be (p/14)/(6/12). Are 1 and x equal?
False
Let u = -6537/304 + 1/304. Let j = 22 + u. Let y be (-1)/(-3)*(-3)/(-12). Which is smaller: y or j?
y
Suppose -2*h - 20 = -7*h. Is 0 >= h?
False
Suppose -8*q - 105 = -11*q. Is 33 greater than or equal to q?
False
Let w be (-2)/(-8) + 4475/20. Let c be w/522 - (-4)/(-18). Let h = 57/145 + c. Which is bigger: 1 or h?
1
Let d = 0.63 - -5.37. Which is greater: 1/9 or d?
d
Suppose 1 + 2 = -r. Suppose -9 - 19 = -4*f. Let c = 6 - f. Which is smaller: c or r?
r
Let v = -1014 - -41577/41. Is v bigger than 1?
False
Suppose 52 = 4*c + 5*n, 24 = 2*c - 2*n + 4*n. Let f = -8 + c. Are f and -2/7 non-equal?
True
Suppose 7 - 3 = s. Suppose 0 = 3*t - 2*g - 6 + 2, -s*g = -16. Suppose -t*m = -2*m. Which is greater: 1 or m?
1
Let c(k) = 2*k**2 - 4*k - 2. Let y be c(4). Which is smaller: y or 12?
12
Let m be (68/(-8) - -4)*(4 + 0). Which is smaller: m or -5?
m
Let r = -13.5 - -12. Let l = r + 1.4. Which is smaller: l or 1?
l
Let n = 4 + -3. Let f = 0 - -1. Is f equal to n?
True
Let c(f) = f**2 - 2*f + 2. Let n be c(2). Suppose j = -n, 0 = -p + 3*j + 18 - 1. Suppose 4*o = 3*o + 3, 5*o - p = -4*t. Which is smaller: t or -2?
-2
Let v = -84 - -250/3. Suppose 0 = 5*a - 0*b + 3*b, -2*b = 2*a. Which is bigger: a or v?
a
Suppose 0 + 9 = 3*m - 3*f, 0 = -2*f - 4. Which is greater: m or 3?
3
Suppose 3*j = 5*n - 25, 4*n + 17 = -9*j + 4*j. Let y(z) = -z**3 + 6*z**2 - 5*z - 5. Let s be y(5). Are j and s equal?
True
Let v be (-2)/9 + 820/45. Is 18 >= v?
True
Suppose 0 = -3*m + 7*m + 24. Suppose 0 = -o - o + 8. Let s = o + m. Is -1/4 >= s?
True
Let u = 4 - 0. Suppose a - 4*a = 0, 4*g - u*a = 4. Is 1/2 <= g?
True
Let d = 4 + -2. Let g(s) = s**3 + 2*s**2 - s. Let b be g(-2). Let i = b - d. Is 0 bigger than i?
False
Let a(d) = d + 14. Let g be a(-6). Suppose -l - 14 = n - 5*n, g = -2*l - 2*n. Let q(v) = -v**2 - 7*v - 5. Let y be q(l). Do -1 and y have the same value?
False
Let h be -2 + 1 + 3 + -2. Let p(r) = -r**2 + 4*r + 1. Let x be p(3). Suppose -5*z = 3*t + 12, h*t = -3*z + x*t + 16. Is z less than 0?
False
Let z be (-6)/8*(-4)/(-12)*-9. Which is bigger: 2 or z?
z
Let r be 7064/44 - (-18)/(-33). Is r at most 159?
False
Let b = 0 - 0.3. Let c(f) = f**2 + 2*f + 25. Let y be c(0). Suppose 10 = -k - k, 0 = 5*m - 5*k - y. Is m > b?
True
Let w = -37 - -37. Is 0.1 greater than or equal to w?
True
Suppose 9*v - 5*v - 120 = 0. Let j be 8/20*v/(-2). Which is bigger: j or -5?
-5
Let w be (181/(-2))/(-1*2). Let d = 46 - w. Let a = 2 - 0. Which is smaller: a or d?
d
Let l be 21*-2 + 9/12*-4. Is -45 greater than or equal to l?
True
Let g be (2 + -1)*(-3 + 1). Let t = 0 - -2. Let u = t + -3. Is u greater than g?
True
Let q be 2*6/4 - 3. Which is smaller: -2 or q?
-2
Let f = -39 - -39.17. Let x = -21.07 + 21. Let c = f + x. Which is smaller: 0.7 or c?
c
Let a(t) = -t**2 - 20*t - 6. Let v = 8 - 17. Let w be a(v). Let r = w + -653/7. Does r = 1?
False
Suppose -9 = -3*c - 4*y + y, -5*y + 19 = 3*c. Let j(z) = -z**3 + z**2 + z + 15. Let x be j(0). Suppose 2*r = 7*r + x. Is r equal to c?
False
Suppose 38 = -0*i - i + 5*c, -4*i = -4*c + 120. Let b be (-4)/(-14) + 29/i. Which is smaller: -1 or b?
-1
Let n be -3*(-1)/(-21)*-8. Which is big