0. Let s be x(-10). Let d be (s/2)/(7 - 6). Is 1 less than or equal to d?
False
Let f(w) = w + 5. Let c be f(-6). Let h = 1/12 + -41/60. Which is bigger: c or h?
h
Suppose 2*r - 3*r - 4 = 0. Let h(j) = j**2 + 4*j + 2. Let i be h(r). Let v be 3 - (21/9 + 0). Is v != i?
True
Let u(k) = -k**2 - 8*k - 3. Let n be u(-7). Suppose 3*w - 2 = 2*w - i, 5*w + n*i = 7. Which is smaller: w or 3/7?
w
Let p = 31/6 + -35/6. Let b = 1.1 - 0.2. Let s = 7.9 - b. Is p >= s?
False
Suppose n + 3 = -7*x + 4*x, 15 = -4*x - 5*n. Let k be (-26)/6 - 2/(-6). Let l be -2 + -2 + (-2 - k). Which is bigger: x or l?
x
Let c = 16 + -1. Is c at least 13?
True
Suppose 5*y + 4 = -4*v, -5 = 2*y + 4*v - 1. Which is smaller: y or -2/5?
-2/5
Let k = 0.089 + -0.093. Is k equal to 0?
False
Let n be 1 - 3/(9/(-12)). Suppose n*w - 26 = -11. Which is greater: 2 or w?
w
Let q be 4/(-6) - (-300)/(-36). Which is greater: q or -8?
-8
Let o be 3/(-2) - 24/(-16). Which is greater: o or -4/13?
o
Let c be (-10)/20 - (-1 + (-10)/12). Let h be (-1)/(-3) - (-1)/(-3). Is c at least as big as h?
True
Suppose a - 36 = 4*r, -2*r - 4*a - 18 = a. Let j = 41 + -49. Is r greater than j?
False
Let h = 4 - -1. Suppose -h = -4*v - v. Let i = 24 + -71/3. Which is smaller: i or v?
i
Let f be 49 - (2/(-13) - (-135)/117). Is f greater than 48?
False
Let a(n) = n**2 - 5*n + 6. Let m be a(4). Suppose 3*s = 3*j - 12, -j - 4*s - 2 = -1. Do j and m have the same value?
False
Let z = -0.3 + 0.4. Which is greater: -3/2 or z?
z
Let r(w) = -w**3 + 5*w**2 + 6*w. Let i be r(6). Suppose p = -5*x + 6*p + 20, i = 2*p + 8. Which is smaller: x or 1/5?
x
Let s(k) = 2*k - 15. Let u be s(10). Let r(d) = -d + u*d**3 + d**3 - 5*d**3 - 1. Let y be r(-1). Are -1 and y unequal?
False
Let t be (-11)/(-3) + (-2)/3. Let r = 1 - t. Suppose -2*v = 3*s + 6, 2*v + v - 2*s = -9. Do r and v have the same value?
False
Suppose r = -3*a + 7*a + 9, -5*r = -4*a - 29. Let x(w) be the first derivative of -2*w**3/3 + w**2/2 + w - 2. Let y be x(-1). Is a < y?
False
Suppose 0 = 5*u - 5*s, -6 = -4*u - s + 9. Let l be u/(-2) + 18/(-4). Let p be 3*-1*(-2)/l. Which is greater: p or -2?
p
Let f = -11 - 0. Is -13 >= f?
False
Let g(r) = 9*r + 0 - 3*r**2 - 5*r**2 - r**2 - 9 - r**3. Let j be g(-10). Which is bigger: j or 0?
j
Let l = 2.03 - 0.03. Let m be (-6)/8 - (-10)/20. Is l at least as big as m?
True
Suppose -8 = -2*q, -2*q + 4*q - 36 = -4*g. Let k = g - 8. Which is smaller: 1/21 or k?
k
Let w = 142/3 - 1538/33. Let s = w - 2/33. Let z be 6/(3/(-1)) + 3. Is z bigger than s?
True
Let a(c) = -5*c + 1. Let p be a(1). Let g(t) = t**3 + 5*t**2 + 4*t. Let w be g(p). Let x = 55/4 + -14. Is w <= x?
False
Suppose -5*v + 3*x - 8*x = -10, -1 = v - 2*x. Let b be ((0 - -2) + -12)*v. Let y be (-1)/5 + 8/b. Are -2 and y equal?
False
Suppose -3*z = 2*y + 3, -y = -0*y - z - 6. Suppose y*t - q = -13, -5*t = -2*q + 4*q + 18. Let j = 4 + t. Which is smaller: -2/9 or j?
-2/9
Let j be (-3)/(0 + -3) - 9/15. Let k be (1/2)/(2/4). Is j < k?
True
Suppose 0 = 4*j - 16*j + 36. Let s = -1 - -4. Suppose -5*f = -s - 12. Is j greater than or equal to f?
True
Suppose 3*u - 15 = 0, 0 = -p - u + 4 + 5. Let o be -2 + 0 + -1 + 3. Suppose 2*b - 5*f + 0 + p = o, -8 = 4*b + 3*f. Is -3 >= b?
False
Suppose -5*x + 17 = -3. Which is bigger: x or 6?
6
Let r = -2290 - -2288.991. Let z = -0.049 - r. Let g = z + 0.04. Is 1/4 at least as big as g?
False
Suppose 2*j = 3*h + 10, -2*j - h + 0*h - 6 = 0. Are 1/4 and j nonequal?
True
Suppose 4*u + 2*w + 18 = 0, -2*u + 4*w + 3 = u. Let v(o) = o**2 - 4*o + 4. Let b be v(3). Let t be 12*b*u/6. Is -6 > t?
False
Let b = -5.45 + 0.05. Let v = 8.5 + b. Let r = -3 + v. Is -0.2 >= r?
False
Suppose -5*d = 3*n + 54, 2*d + 5*n + 44 = 11. Let q = d + 8. Is 0.1 greater than q?
True
Let y be (2/(-8))/((-10)/8). Suppose -18 = -h - 2*r, 3*h + 26 = -r + 65. Suppose 5*a + j = -4, 3*a + 4*j - j = -h. Which is smaller: y or a?
a
Let b = -257/4 + 64. Suppose o = -o - 2. Is b bigger than o?
True
Suppose 0 = -3*w - 0*m - 3*m + 6, -5*w + 18 = m. Suppose -5*o - w - 6 = 0. Is -2 equal to o?
True
Suppose -h + 4*n + 9 = 0, -n - 7 = -h + n. Let f = h + -5. Which is bigger: f or -2/11?
f
Let j be (-2 - 54/(-4))/2. Let s = 25/4 - j. Is 2 greater than s?
True
Let k(b) = -5*b**3 - 6*b**2 - b + 3. Let h(i) = 6*i**3 + 6*i**2 + 2*i - 3. Let y(z) = -6*h(z) - 7*k(z). Let t be y(5). Let n = 1 + -5. Which is greater: t or n?
t
Let u(l) = l - 1. Let y be u(-4). Let t = 7 + y. Let o be (1/t*-2)/1. Is 0 at most o?
False
Let q = 132 - -267. Let w = q - 9175/23. Is -1 greater than or equal to w?
False
Let a = 18 - 33. Let y be (-3)/(a/4*-2). Let p be -3 + 2 - (-3 + 1). Are p and y unequal?
True
Let n = 2 + -3. Suppose -x - 6 = -5*v, -2 = 2*x + 4*v - 4. Let b = x - n. Do b and 0.2 have the same value?
False
Let b = -1 + 0.8. Which is bigger: -2/7 or b?
b
Let l be (4*(-2 - -1))/(-2). Let c be l/(-7) - (-12)/(-7). Is c less than -2?
False
Let k = 1.06 + 0.14. Let h = 0.2 - k. Does h = -0.3?
False
Let a = 8.05 - 0.05. Let k = 10 - a. Let y = 0 + k. Which is greater: y or -0.1?
y
Suppose 90 = 7*t - 2*t. Let n = t - 13. Is 5 less than n?
False
Suppose 5*z + 5 = -2*s, z = 4*s + 6*z + 5. Let w(u) = -u + 4. Let q be w(6). Let f = q - s. Which is smaller: -1 or f?
f
Let y(c) = 43*c**2 + 3*c - 4. Let q be y(3). Let m be q/651 + (-2)/3. Is m at most as big as 0?
True
Let d = 28 - 40. Are d and -5 unequal?
True
Let p = -0.78 + -1.62. Is p < 0.1?
True
Let l be -2*(-2)/1 - 2. Which is greater: l or 3?
3
Suppose 3*v = 5*v + 6. Is -11/6 at most v?
False
Suppose -2*k = -4*k - 6. Let y be 4/14 + (-470)/(-70). Suppose 7 = -g - 3*d - 0*d, g - 4*d = y. Is g > k?
True
Let q = -105 - -107. Which is bigger: 63 or q?
63
Suppose 0 = 2*l - 5*l + 6. Suppose j - 2*j = -l. Are 4 and j equal?
False
Let j be 33/22 + 311/2. Let w = 1724/11 - j. Which is greater: 1 or w?
1
Suppose 0 = -6*t + 2*t - 4*i - 36, -3*t + 13 = -5*i. Suppose -p - n = 4, -n - 9 = 4*p + 10. Which is smaller: t or p?
p
Let x be (8/12)/(-2)*-63. Is x greater than or equal to 19?
True
Let a = -13 - -17. Let n(w) be the third derivative of -w**5/60 + w**4/8 + 2*w**2. Let c be n(a). Which is smaller: -2 or c?
c
Let f = -5 + 8. Let n(w) = 2*w**2 + 13*w + 16. Let b be n(-5). Which is smaller: f or b?
b
Let s = -1.2 + 2. Let v = s + 0.2. Does -2 = v?
False
Let m = -501163/7 - -71426. Let x(t) = t**3 + 11*t**2 - 2*t - 11. Let p be x(-9). Let g = p + m. Which is smaller: g or 1?
g
Let n = -4.4 + 2.5. Let l = 2 + n. Is 2 greater than l?
True
Let d = -13 - -14. Let j be 3/(-2)*2/12. Which is smaller: j or d?
j
Let a = -31.1 - -29. Let l = a - -2. Is l at most as big as -4?
False
Let v be (-6)/10 + (-21)/75. Let m = v - -542/275. Which is bigger: m or -0.2?
m
Let h be 2/(-7) + (-23)/(-7). Let g(u) = u**2 + 4. Let r(n) = n - 1. Let x(k) = -g(k) - 6*r(k). Let o be x(-6). Which is bigger: o or h?
h
Let n be 3 + (24/14)/((-16)/(-56)). Let v be 44/(-6) + (-1)/(-3). Let g = n + v. Is g greater than 0?
True
Let q(c) be the third derivative of -c**3/6 + 2*c**2. Let o(l) = l**2 + l - 7. Let h(d) = o(d) - 5*q(d). Let x be h(-2). Is x at most -2/5?
False
Let m be (6/(-4))/(2/((-8)/9)). Is -0.016 less than m?
True
Suppose 3*m - 21*m - 180 = 0. Is m <= -12?
False
Suppose 0*a - a = -24. Let p be 2*-2*(-3)/a. Do 4 and p have different values?
True
Let c be (4/((-4)/(-5)))/1. Let z be ((-2)/3)/(2/(-15)). Is c at most z?
True
Let s = 17.3 - 18. Let k = 1 + s. Let j = k + -0.3. Which is bigger: j or -3?
j
Let c = -34.3 - -27.46. Let u = c + -0.16. Suppose -4*q + 10 = 4*d - 10, -4*q = -3*d + 15. Which is smaller: q or u?
u
Suppose -4*n + 19 = -25. Are n and 10 nonequal?
True
Let v = -118 + 588/5. Let w = -7 - -6. Is w <= v?
True
Let v = 0.54 + -1.04. Is v <= -1?
False
Let c(g) = g**3 + 7*g**2 + 11*g. Let d be c(-5). Is d at least -31/8?
False
Let h = 6 + -4. Let z be (4/(-12))/(h/12). Do -1/2 and z have different values?
True
Let j be (4/(-8))/((-1)/2). Suppose -2*d - w - 2*w = -4, w = 3*d - 6. Suppose -2*p + 5*p = d*b, 0 = -4*b + 12. Is p less than or equal to j?
False
Let c = 1.946 - -0.054. Which is smaller: -3 or c?
-3
Let k = 1.32 - 0.12. Let z = 0.2 - k. Let g = z - -0.9. Which is bigger: 0.3 or g?
0.3
Let z(u) = u**2 - 6*u + 2. Suppose -d + 1 - 4 = -j, -4*j - d + 27 = 0. Let l be z(j). Is 