 = d**2 + d + 3. Let w be j(0). Suppose 2*m = -w*m. Are 1 and m nonequal?
True
Let i = -0.53 + -0.44. Let w = i + -0.03. Which is smaller: w or 0.4?
w
Suppose -2*q = -q + 3. Let j = -9 - q. Let v be 5/(-15) + 4/j. Is 0 less than or equal to v?
False
Suppose -350 = -2*z + 2*q - 0*q, q = 2*z - 349. Let p = z + -1215/7. Suppose 0 = -9*n + 4*n. Are n and p nonequal?
True
Let s be (2 + -4)*(-2)/12. Is -1 >= s?
False
Let g = 1.088 + -0.088. Which is greater: -0.41 or g?
g
Let a = 0.1 - 0.1. Let h = 3 - 2.9. Let v = h + 0.1. Is v at least a?
True
Let f be (-2)/(-11) - 0/2. Suppose 3*b + 4*j - 13 = 0, 5*b + 15 = 2*b + 3*j. Which is greater: b or f?
f
Let g(s) = -3*s - 4. Let z be g(-2). Let l be (-3)/20*(1 + -5). Do l and z have the same value?
False
Let n = -376002 - -6764651/18. Let g = n - -188. Which is smaller: -0.2 or g?
-0.2
Suppose -2*t + 12 = -z, -z + 6*z = 3*t - 25. Let u be z/5 - (-51364)/102410. Let s = u - -2/539. Which is greater: s or 0?
s
Let y = -3 - -2. Let n be 3/2*8/546. Let z = n + -9/91. Is z less than or equal to y?
False
Let b be (-3)/18 - (-2)/12. Let i be 30/(-9)*(-9)/6. Let o be 0/(i/((-10)/(-4))). Does b = o?
True
Suppose 0*w + w = 5. Let q be (1 - 2) + (1 - w). Is 1 equal to q?
False
Let o be (-12)/85*-2 + (-105)/(-175). Does o = 2?
False
Let k be -4 - -6 - (-22)/(-1). Let x be (16/k)/((-2)/(-70)). Let p be (2/(-5))/(x/(-20)). Is 1 < p?
False
Let w(y) = -y**3 - 4*y**2 - 3*y - 5. Let s be w(-4). Let l = 10 - s. Is 3 > l?
False
Let u be 78/36 + (-1)/6. Suppose 8 = -2*k + u*i, k = 4*k - 2*i + 11. Let v be (k/(-1))/(-2 - -1). Which is smaller: v or -4?
-4
Let k = -0.6 - 0.4. Suppose -5*n + 12 - 7 = 0. Which is smaller: n or k?
k
Let t be -4 - (2 + -3 - 1). Let g = -5 - t. Which is greater: g or -2?
-2
Let z = -7 - -1. Let x = -4.8 + 4.7. Which is bigger: z or x?
x
Let a be (-6)/(-9) + 33/(-9). Let h = -2 - a. Which is smaller: 0.2 or h?
0.2
Suppose -2*i - 3*u - 12 = 0, -i + u - 24 = 3*i. Let k = 5 + -1. Let z = k + i. Is z <= -2?
True
Let w = 1.1 - 0.1. Let m = 0.15 + -4.15. Which is smaller: w or m?
m
Let p = 7 + -17. Which is smaller: p or -11?
-11
Let m(x) = -x**2 + 4*x + 59. Let b be m(10). Let o be (-4)/(-3)*1/10. Is o smaller than b?
False
Let r be ((-15)/4)/((-3)/8). Suppose 5*c - 12 = -2*x + 6*x, 5*x = 5*c - r. Suppose 0 = -a - 0*a + x. Which is smaller: a or 1?
1
Let g be (-80)/(-14) - 6/(-21). Let j(k) = -7*k**2 + k**2 - k**3 + 0*k**2 - g*k. Let x be j(-5). Which is smaller: 1 or x?
1
Let w = 0.5 - 0.5. Let i = 1 + -1. Let l = i + w. Which is greater: -2/9 or l?
l
Suppose s + 5 = -8. Let h(k) = k**3 + 12*k**2 - 12*k + 11. Let p be h(s). Is -1 > p?
True
Let s = -26 + 26. Which is smaller: s or -8?
-8
Let c = -7 + 7.3. Let r = -0.1 + c. Which is bigger: -2/9 or r?
r
Let y be 3*(-5)/((-660)/8). Is y smaller than 0?
False
Let s be -1 + 0 + 0 + 2. Let b be 2/5 + (-7010)/11025. Let z = b - -2/147. Which is smaller: s or z?
z
Let j = -141 + 141.05. Let o be 1 - 139/4 - 0. Let q = o - -34. Which is smaller: q or j?
j
Let c = 0.219 + -0.019. Which is smaller: 4 or c?
c
Let p(j) = -2*j - 9. Let r be p(-6). Suppose 2*c = -3*b + r*c + 71, -c = b - 29. Suppose -3*d + 3*s + 0 = -12, -4*s - b = 5*d. Is -1/12 equal to d?
False
Suppose -3*j + 3*l = -57, -2*l = 5*j - 3*j - 34. Suppose -4*r + 82 = j. Let y be (-6)/(-4)*r/18. Do y and 0 have the same value?
False
Let t = 1 - 3. Let q be -4 + 4 - 8/t. Suppose 3*b - 4 = -0*v + v, 0 = -3*v + q*b - 7. Which is greater: v or -3?
v
Suppose -2*z + 0*n = -4*n + 16, 3*n = 5*z + 19. Let f = -12 + 23. Suppose -4*v = 3*a, -v + a = -a + f. Is z greater than v?
True
Suppose -2*y + 72 = -0*q + 4*q, 20 = -5*y. Let j be 2 - 1/(q/42). Which is smaller: j or 0?
j
Let f = -5 + -1077. Let y = f - -9748/9. Which is bigger: y or 0?
y
Let f(d) be the second derivative of -7/2*d**2 + 3*d + 1/6*d**3 + 0. Let j be f(11). Are j and 5 unequal?
True
Let r = -528.03 + 531. Let y = 0.03 + r. Which is smaller: y or 1?
1
Let u be (2/2)/((-1)/(-2)). Suppose 2*p + 8 = -4*t + 2*t, -6 = 2*p. Is t >= u?
False
Let c = -6310/19 - -332. Is c less than 0?
True
Suppose 0 = -3*j - 2*j + 30. Let c(f) = 5*f**2 + 2*f + 6. Let m(y) = y**2 + y. Let h(g) = j*m(g) - c(g). Let u be h(-5). Which is smaller: -1/4 or u?
u
Let m = 2 + 0. Let o be 4 - 4 - (-2)/4. Which is greater: o or m?
m
Let i be ((-6)/(-10))/(168/80). Let n = 758/5 + -151. Is n at least as big as i?
True
Suppose -4*y - 1 = -2*y - u, 0 = -2*u - 10. Is -3/2 at least as big as y?
True
Let j(n) = n**3 + 6*n**2 + n + 2. Let x(w) = w**3 + 5*w**2 + 1. Let v(a) = 3*j(a) - 4*x(a). Let o be v(-3). Is o >= 1?
True
Let a be (-2 - -1) + 1 + -2. Let y be (-3 - a) + 4/1. Let h be (-3 - (-6 - -2)) + 2. Is h greater than y?
False
Let u = -4459/402110 - -5/509. Let c = 4581/790 - u. Let o = c + -81/20. Which is greater: o or 2?
2
Let s = 0.1 + -0.2. Let q = -0.11 - -0.11. Let u = q - s. Is u >= -2/5?
True
Let q be 5*(1 - 212/220). Which is smaller: 0.1 or q?
0.1
Suppose 51 = 4*b + 3*t, 0*b + 2*b - 21 = 3*t. Let h be b/8 - 51/38. Is 0 at least as big as h?
False
Let q(f) = 12*f + 13. Let c be q(-4). Let j be ((-30)/c)/((-1)/(-7)). Let t(z) = -z**3 - 4*z**2 + 5*z + 5. Let d be t(-5). Which is smaller: d or j?
d
Let z = 14 - 15. Which is smaller: z or -2/11?
z
Suppose 6*i + 20 = i + r, 0 = -5*i - 5*r - 50. Is i less than or equal to -5?
True
Suppose -2*w = -3*w + 4. Are 0 and w non-equal?
True
Suppose 2*k = 6*k + 12. Is 2 > k?
True
Let z = 1010 + -56557/56. Which is smaller: z or 0?
0
Let j = -6 + 6.16. Let s = -0.2 + j. Let v = s - 0.96. Are 2 and v non-equal?
True
Let f(l) = -l**2 - 2*l - 3. Let k be f(-2). Let h = -1 - k. Suppose s + h = -y, -3*s - y - 5 = y. Which is smaller: s or 2/11?
s
Suppose 2*t = 3*t - 2. Let f be (1 - 2)*(-1 + t). Let v = -1 + -1. Is f >= v?
True
Let s(p) = -p**2 + 11*p + 27. Let k be s(13). Which is smaller: k or -4/31?
-4/31
Let c(q) = -q**2 - 8*q + 12. Let a be c(-9). Suppose -2*t - 4 = -4*d - 4*t, 0 = -a*d + 3*t + 12. Is d at most as big as 2?
True
Let z be 0/((-12)/(7 - 3)). Let s = 343/5 + -68. Which is greater: s or z?
s
Let i be ((-8)/6)/(3/18). Suppose -4*x - 22 - 12 = -2*z, 2*z - 6 = 0. Is i < x?
True
Let v(o) = o**2 - 2*o - 30. Let z be v(7). Which is bigger: z or 1?
z
Let g = 1374 - 8961/7. Let k = -94 + g. Are -1 and k nonequal?
True
Let k be ((-12)/(-16))/((-123)/(-8)). Is 1 smaller than k?
False
Suppose 1 = 3*l - d - 0, 0 = l - 4*d - 15. Which is bigger: l or 1/10?
1/10
Let o be (-4 - 16)*(-3)/6 + 1. Which is greater: o or 2?
o
Let g be ((-1)/(-3))/(2/18). Let v be (-1 - -2)*(-12 - -6). Let z = 8 + v. Which is greater: z or g?
g
Suppose 0 = -0*n + 5*n + 5. Let p be 3*1 - (6 - 9). Let f be p/8*24/63. Which is greater: n or f?
f
Suppose -5*t + 2*r = 105, 7*t - 2*t = -5*r - 140. Is t at most as big as -24?
False
Let x = 9.2 + -0.2. Let l = -0.17 - -0.27. Which is smaller: x or l?
l
Suppose -4*r = -2 - 10. Which is smaller: 0.1 or r?
0.1
Suppose -4*m = h - 34, 0 = -0*m + 2*m - 10. Suppose 4*w + 54 = h. Which is smaller: w or -9?
w
Let b = 0 + 0. Which is smaller: 3/4 or b?
b
Let w = 5 - 22. Let s = w - -16. Does -1 = s?
True
Let c = -2 + 0.8. Let k = 1 + c. Is -2 < k?
True
Let u = -1 - -11. Let k(m) = m - 14. Let v be k(u). Let w be v/(-6) - (-2)/(-3). Which is smaller: w or -1/5?
-1/5
Suppose -d + 2 = 2*s - 7, -20 = -5*s. Which is smaller: d or 1/20?
1/20
Suppose 4*z + 6 = 5*z. Let x be (-4)/z*-15 - 1. Which is greater: 10 or x?
10
Let c(x) = x**2 + 5*x - 22. Let u be c(-9). Which is smaller: u or 1/3?
1/3
Let j be -2 + (1 - -4) + -2. Which is bigger: -2/13 or j?
j
Let o = 81 + -73. Is 8 < o?
False
Let o be 1/(-1*8) - (-819)/(-4200). Which is greater: o or -1?
o
Suppose 4*o = -i - 30, -13 = 2*i - 5*o - 5. Which is bigger: i or -12?
-12
Let p = -0.39 - -0.2. Let k = p - -0.09. Which is bigger: k or 0.1?
0.1
Suppose -x + 3 = -4*x. Let i be x/((5/(-3))/5). Suppose -5*y - 3 = q - 4*q, 2*q = -i*y + 2. Which is greater: -2 or y?
y
Let s = 113 + -905/8. Let d = -9 - 1. Let i be d/(-20)*0/2. Is i > s?
True
Suppose -5*u - 38 - 39 = -4*n, 0 = -2*n + 5*u + 41. Which is bigger: n or 17?
n
Let q = 7.3 + -9. Is -0.1 at least as big as q?
True
Let o = 9 + -9. Let p = -9 - -21. Let z be p/(-9)*3/14. Does o = z?
False
Let o(f) = f + 7. Let k be o(-8). Which is small