 3*m + 39. Let j = l + -565/7. Is j less than -3?
False
Suppose -2*l = l + 6. Let i = l + 4. Let s = i - -2. Is 3 at most as big as s?
True
Let y(p) be the first derivative of 3*p**4/4 - p**3/3 - p**2/2 - 4. Let j be y(-1). Suppose -3*q = -2*f + 8, -4 = 2*q + q - f. Which is smaller: j or q?
j
Let i be (2/(-5))/(-2 + 0). Are -2 and i nonequal?
True
Let j = 653/89 + -1/267. Let p(t) = -2*t. Let b be p(4). Let w = j + b. Is -2 != w?
True
Suppose -3*i = -o - 23 + 1, -2*o - 19 = -i. Let r = o + 12. Let h = r - 6. Are -1 and h non-equal?
False
Let n(r) = r**2 + 16*r - 27. Let u be n(-19). Is 30 at most as big as u?
True
Suppose -5*x - 2 = -6*x. Suppose 4*r - x*r + 3 = -n, 0 = 3*r - 4*n - 12. Which is bigger: r or 2/7?
2/7
Let c(m) be the third derivative of -m**6/120 - 7*m**5/60 + 7*m**4/24 - 4*m**3/3 + 7*m**2. Let u be c(-8). Is 0 greater than u?
False
Let m(v) = 8*v**2 + 2*v - 4. Let c be m(4). Let s be (-6)/(-12) - 58/c. Which is smaller: s or 0?
0
Let v = -9 + 17. Suppose -5*a = -v*a - 459. Let o = 1073/7 + a. Which is bigger: o or 0?
o
Let p = 5 - -1. Let c be (p/(-8))/(5/(-20)). Let o be -3 - -4 - 2*-1. Are o and c non-equal?
False
Suppose -34*b + 58*b = 28*b. Which is greater: b or -2/7?
b
Let i = 14 + -4. Which is greater: i or 0.1?
i
Let q = -38 + 39. Which is greater: 5/8 or q?
q
Let n be (4/(-48))/((-7)/(-21)). Is 5.4 != n?
True
Let l be 4/(-10) - 2/(-1). Let b = l - 2. Is -1 <= b?
True
Let j = -1 + 2. Let i be 15/9 + 4/12. Are i and j nonequal?
True
Let r = 283/4 + -70. Let d = -11 - -13. Suppose -3 = -5*q + d, -o + 2 = 2*q. Is o >= r?
False
Suppose -5*i + 47 = -43. Suppose 0 = -4*d + 5*z - i, -4*d = -3*d + 4*z - 6. Are d and -1 equal?
False
Let d = 58 + -37. Let l be (-8)/d + (-8)/28. Is l less than or equal to 0.03?
True
Let v(n) = -4*n + 21. Let h(u) = 2*u - 10. Let i(a) = -5*h(a) - 2*v(a). Let x be i(8). Which is smaller: -9 or x?
-9
Suppose 25*j + 12 = 13*j. Let w = 0.22 - 0.3. Let c = w - -0.38. Which is smaller: j or c?
j
Suppose w + 3*r - 8 = -5, r = 4*w - 12. Do 3 and w have different values?
False
Let j be 38*(0 + 10/12). Let r(x) = -33*x**2 + 1. Let o be r(1). Let t = j + o. Which is greater: -4 or t?
t
Suppose 15 = 3*s - 0*s, 2*j = 3*s - 99. Is -42 less than j?
False
Let u be -2*(66/20 - (-6)/30). Is -7 greater than u?
False
Let h = 8 + -3. Is h at most 3?
False
Let v = 3.9 - 4.1. Which is bigger: 1 or v?
1
Let w = 2 - 1. Let l be (-27)/(-12) + (-4)/16. Suppose -3*k + l*y = -10, 0*k + 4*y = k. Which is smaller: w or k?
w
Let t = -9 + 4. Let d = 2 + t. Are d and -2 non-equal?
True
Let a(r) = r**2 + 4*r - 7. Let d be a(-5). Suppose 8 = -w - 4*b + 2*b, -9 = -3*w + 5*b. Is d less than w?
False
Let l = -0.892 - 0.208. Is 2/17 greater than l?
True
Let i = -3/1282 + 2759/83330. Is -1/3 != i?
True
Let o be 14/(-4) + (-4)/(-8). Is -3 at least as big as o?
True
Suppose 3*q + 9 + 5 = -d, 0 = 4*q + 5*d + 15. Is q at most -5?
True
Let l(i) = 3*i**2 - 3*i. Let s(z) = z. Let y(p) = -l(p) - 2*s(p). Let v be y(-1). Suppose -2*n - d = 4, n - 5*d + 13 = -0*d. Is v less than n?
True
Let q be (-3)/(-12) - 15/(-4). Suppose -q*u = -5*a - 23, 5*a + 11 = -0*a - 2*u. Let m = a - -3. Is 0 >= m?
True
Let a(f) = f + 6. Let q be a(-5). Is 5/8 greater than q?
False
Suppose 2*m + 0*m = 10. Let g(f) = f**3 - 4*f**2 - 6*f - 1. Let x be g(m). Is x greater than -5?
False
Let i = -293/300 + 39/25. Which is smaller: i or 0?
0
Let n = 19 - 20. Let u be (n - 0)*(-9 + 9). Is u less than or equal to -2/5?
False
Let f = 73 - 85. Is -11 bigger than f?
True
Let y be (-3 - -5)/(9 + 0). Suppose 2*r + 2*r - 4*b + 8 = 0, -3*b = 4*r + 1. Which is smaller: y or r?
r
Let h be -3 - ((-204)/28 - -4). Which is greater: -6 or h?
h
Let x be (2 + (-5)/2)*-14. Let u be 58/8 - (11 - x). Which is bigger: u or 2?
u
Let y = 0.1 + -4.1. Let n = y + 5. Which is smaller: n or -1/4?
-1/4
Let i = -17465/19 - -919. Let j be ((-196)/(-38))/((-4)/(-1)). Let p = j - i. Which is smaller: p or 1?
1
Let l(m) = 18*m - 3. Suppose 2*n - 1 = -4*r + 27, -4*n + 4*r = 4. Let d be l(n). Let b = 623/9 - d. Is 1 smaller than b?
False
Suppose 0 = -6*d + 3*d. Suppose -4*b = -3*b - 22. Suppose -m + v + 3 = -d, -5*v - b = 2*m. Which is greater: m or -1/4?
-1/4
Suppose 6 = 4*y - g + 6*g, -3*g + 8 = -2*y. Which is smaller: -1/250 or y?
y
Let n(x) = -x + 7. Let m be n(8). Which is bigger: m or -1/10?
-1/10
Suppose 4*m - 5*t - 12 = 3*m, 5*m - 5*t - 20 = 0. Let n = 1 + m. Suppose -3*y + j - n*j = 14, 5*y + 26 = -4*j. Is -1 <= y?
False
Suppose 4*c = c. Suppose 0 = -4*t + g - 2, 0 = -c*t - t + g - 2. Which is smaller: t or -1/2?
-1/2
Let u = 0.2 + 2.8. Let z = -0.06 - 1.94. Let h = 1 + z. Are u and h equal?
False
Suppose 4*u - 8 = -24. Let i be ((-3)/u)/((-1)/(-8)). Suppose z - 4*y + i = -0*y, 3*y = 5*z - 4. Which is bigger: z or -2?
z
Suppose -3*m - 3*a + 41 + 46 = 0, -5*a - 25 = 0. Which is smaller: 36 or m?
m
Let c(q) = 2*q**2 - 1. Let f be c(-1). Let u be (-68)/(-144) - f/4. Let h(x) = 2*x**2 - 1. Let g be h(1). Does u = g?
False
Let q = 5 - 2. Suppose -q*d - 3*s = -0*d + 9, 0 = 4*d + 3*s + 8. Is 6 smaller than d?
False
Suppose 2*c + 2*c = 3*j - 1085, -3*j - 1336 = 5*c. Let b = -2961/11 - c. Which is bigger: 0 or b?
0
Let o(b) = -b**3 - 5*b**2 - 2*b - 7. Let n be o(-5). Suppose 4*t + n = -1. Does -1/3 = t?
False
Let h(u) = -4*u + 3. Let y(j) = 5*j - 3. Let p(w) = 6*h(w) + 5*y(w). Let x be p(7). Let o be (1/x*6)/(-1). Are -1 and o nonequal?
True
Let d = -1 - -4. Suppose 2*o + 11 = -5*n + d*o, 4*n = -5*o - 3. Let h be 0 - n*10/(-4). Is h > -5?
False
Let y(j) be the first derivative of -j**4/12 + 2*j**3/3 + j**2 - 3*j + 2. Let s(d) be the first derivative of y(d). Let k be s(4). Which is greater: 0 or k?
k
Let j be (-6)/(-4 - -1) + -3. Which is bigger: -12 or j?
j
Suppose 2*p = 3 + 1. Let y = -1 - -1. Are y and p equal?
False
Let a = -0.1 + 0.2. Are 13 and a non-equal?
True
Let g = 22 - 27. Do g and -7 have the same value?
False
Suppose 27 = 3*m + 2*a + 5, -4*m + a + 44 = 0. Let g = m - 13. Which is smaller: 0.1 or g?
g
Let o be (-6)/((-30)/4*2/(-20)). Which is bigger: -7 or o?
-7
Let m(l) = 4*l**2 - 2*l - 1. Let g be m(-1). Let t be (0 - 2)*(-40)/g. Suppose t - 1 = -5*n. Is n <= -8/3?
True
Let b = -0.6 - -0.5. Let y = -6 - -6.1. Which is smaller: b or y?
b
Let m(l) = 5*l**2 - 29*l - 9. Let b be m(7). Which is smaller: b or 32?
32
Suppose -2*f + c + 2 = -0, -6 = -f - 2*c. Let n be (-10)/6*(-2)/5. Is n equal to f?
False
Let u(g) = -3*g. Let b be u(-1). Let c be (1 - 1)/(5 - 3). Suppose c = -b*j + 1 + 8. Is 3 >= j?
True
Let r be 1 - ((1 - -1) + -2). Is -2 bigger than r?
False
Let d be 2 - (-2 + 2 - 1). Suppose 0 = 3*b + d*q - 18, 5*b - 29 - 15 = 2*q. Which is smaller: 9 or b?
b
Suppose -5*l + 0*l + 45 = 0. Let c(f) = -f**2 + 8*f + 13. Let w be c(9). Suppose -t = -w*a - l, 0*a - 7 = -3*a - 2*t. Which is bigger: a or 0?
0
Let a be 3/(-9) - (-10)/18. Which is bigger: a or -1.2?
a
Suppose 4*d + i = -1, -d = -0*d + 5*i + 5. Let f = -1 + 1. Let y = d + f. Which is smaller: y or 2?
y
Suppose 0*a - 16 = -5*l + 4*a, -l = 2*a - 6. Suppose -l*f + 16 = -0*f. Suppose 6 = 2*b + f*v, -3*v = b - 3*b - 8. Which is smaller: 0 or b?
b
Let v = -19 + 19. Let s = -2.3 + -2.8. Let w = -5 - s. Is v greater than w?
False
Let i = 2/171 - 1543/342. Which is greater: 2/3 or i?
2/3
Let w = -6 + 4. Let m(f) = 2*f - 11. Let o be m(8). Suppose 5 = -o*j - 10. Is w != j?
True
Let h(d) = 18*d + 175. Let g be h(-10). Let a = -477/130 + 1/390. Which is bigger: a or g?
a
Let d = -15 + 12. Is 2 less than d?
False
Suppose 3*c = -2*n + 2, -2*c + 3*n - 1 = -11. Suppose 2 = m - c*m. Are m and -1 equal?
False
Let w(q) = q**2 + 11*q + 10. Let b(r) = r - 11. Let h be b(0). Let f be w(h). Which is bigger: f or 9?
f
Suppose 2*a = 2*y + 24, 3*y + 28 = 6*a - 11*a. Which is smaller: -12 or y?
-12
Suppose 15 = -5*z, -7*d = -2*d + 5*z. Let p be 1/d - 4/6. Is p >= 0?
False
Let o = -495/13 + 38. Is -1 at least as big as o?
False
Let s = 3 + -1. Let y(n) = -3*n - 3. Let m be y(-2). Is m <= s?
False
Let l(i) = -20*i**2 + 20*i - 29. Let d(g) = -7*g**2 + 7*g - 10. Let q(h) = 17*d(h) - 6*l(h). Let s be q(0). Let p be 4/s - 1/(-1). Does p = 3/4?
False
Let w = 11.02 + -11. Let q = 0.02 - w. Is 0.2 bigger than q?
True
Suppose 3 = f - 1. Suppose -f*t = -t. Do t and -1/9 have di