e
Suppose -n = 5*n. Does n = -2?
False
Suppose 5 = -s - 4*r, 2*r = -s + r - 5. Let l(h) = h - 1. Let j be l(-3). Is j bigger than s?
True
Let l(z) = -z**3 - 6*z**2 - 5*z. Suppose 2*x + 15 = -x. Let a be l(x). Let k be -3*(-1)/6*0. Are k and a unequal?
False
Let c(q) = 4*q - 3*q - 4*q**2 + 5*q**2 - 7*q - 2. Let r be (1 + 1)/(2/6). Let d be c(r). Is -1/2 smaller than d?
False
Let r be (1 + (-365)/375)/((-4)/6). Do r and -1 have the same value?
False
Let x = -8/23 + 147/92. Is x less than 0?
False
Let c be 4/(-2) - (-1 + 2). Let w(n) = -n - 1. Let z(v) = v + 1. Let k(r) = c*z(r) - 4*w(r). Let l be k(-3). Do l and 0 have the same value?
False
Let o = 7/15 + -2/15. Let c = -2 - -2. Which is greater: o or c?
o
Suppose -6*w + 17*w = -66. Which is smaller: -3 or w?
w
Let o = 2323/6 - 388. Let c be 0 + (-3 - (-2 + -1)). Is o at least as big as c?
False
Let m(s) = -s**2 + 27*s - 1. Let b be m(27). Suppose r + 9 = -3*u, 3*r - 9 = 5*u + 20. Suppose -3 = r*k, 5*k + 1 = -4*t - 0. Is b at least t?
False
Let i = -1498/11 - -136. Suppose 4*r - 26 = -2. Suppose 0 = -3*b + 12 - r. Which is bigger: i or b?
b
Let h = 0 - -2. Let a(d) = d**2 - 3*d**2 - 4*d + 12*d + 3*d**h + 7. Let j be a(-7). Which is greater: j or -1/3?
j
Let p(a) = -38*a**3 + a**2 + a + 1. Let y be p(-1). Suppose 14 - y = 5*w. Let f be ((w/(-2))/(-5))/3. Is f smaller than 1?
True
Let q = 13 + -12.9. Is 2/55 >= q?
False
Let l = -165 + 279. Which is greater: -1/3 or l?
l
Suppose 3*s + s = 0. Suppose s - 14 = -h + 2*g, 0 = -h - 3*g + 9. Let z = 8 - h. Do -6 and z have the same value?
False
Let h(m) = -m**3 - 6*m**2 + 4. Let r be h(-6). Let k = 79 - 75. Is k at most r?
True
Let a = 3/46 - 315/598. Is -1 at least a?
False
Let y be (15/(-4))/((-12)/(-48)). Which is smaller: -16 or y?
-16
Let p = 7 - 17. Let k be (12/p)/((-2)/5). Let z(o) = -2*o. Let y be z(-1). Is k at least as big as y?
True
Suppose 3*z - 11 = -4*p, z + 3*p + 1 = -2. Suppose -r + k - 6 = 0, k - z = -r - k. Let s be ((-2)/(-8))/(39/52). Is s less than r?
False
Let l = 17242 - 758699/44. Let f = l + 10/11. Which is greater: -0.07 or f?
-0.07
Suppose 0*d - 5*d - 5*k + 30 = 0, -2*k + 7 = -3*d. Suppose 0 = -3*o - d + 7. Which is greater: -1 or o?
o
Let v = 60 + -28. Which is greater: v or 1?
v
Let d = 9 + -8. Let c be (-6)/(-4)*d/(-3). Which is bigger: -1 or c?
c
Suppose 5*k = 2*k + 54. Suppose 3*m - w = 3 + 7, 2*m + 5*w - k = 0. Which is smaller: m or 3?
3
Let k(s) = s + 8. Let c be k(-6). Suppose h = 8 - 7. Is c > h?
True
Let w = -76 + 74. Which is greater: w or 1?
1
Let b = 1.9 + -0.9. Let q = 0.3 + -0.2. Let z = 0.1 - q. Which is greater: b or z?
b
Let u = -931 + -2262. Let q = u - -92609/29. Let i = q - 26/203. Which is smaller: -2 or i?
-2
Let a = -9 - -7. Let y be 6/(-10) - 28/70. Does a = y?
False
Let f = -20 - -22. Suppose -f*l = -3*r, 2*l - r - 5 = 3*l. Which is smaller: -7/4 or l?
l
Let t = 0.02 + 0.58. Let p = t + -1.6. Let g = -2.05 - -0.05. Is p at most as big as g?
False
Suppose 2*w + 5*l + 12 = 0, 5*w - l - 8 = -4*l. Does w = 4?
True
Let t(b) = -b**3 - 7*b**2 - 7*b - 8. Let l = 10 + -16. Let k be t(l). Let x be ((-3 - -1) + 2)/k. Is 2/5 at most x?
False
Let f = 24.5 + -23.47. Let b = 0.09 - 0.12. Let z = f + b. Which is smaller: z or 2/7?
2/7
Let c(q) = -4*q**2 - 12*q + 18. Let k(o) = -3*o**2 - 12*o + 17. Let m(l) = 2*c(l) - 3*k(l). Let v be m(-13). Let d be 6/(-10) - (-2)/(-5). Is v bigger than d?
False
Let i be (-15)/(-45) - 50/114. Suppose a + 3*a - 2*h = 2, -h = 4*a - 11. Suppose 0 = a*z - b + 5*b + 8, 5*z + 2*b + 4 = 0. Which is smaller: z or i?
i
Suppose 5*q = -2*u + 6*u + 5, -4*u - 20 = 0. Let k = 2 + -1. Is k < q?
False
Let j = -62 + 440/7. Let i = -8/7 + j. Which is bigger: -2 or i?
i
Let q be (0 - (-171)/(-24))/3. Let p = q - -17/8. Is p < -1?
False
Let n = 50 - 86. Are 1/4 and n equal?
False
Suppose 5*q + 1 = 3*z, 10 = 2*z + q - 2*q. Let o = z - 1. Let r be o + -4 + 34/(-20). Which is greater: 0 or r?
r
Let x be -1*(-2 + 1)/1. Which is smaller: 4/9 or x?
4/9
Suppose -8*w + 3*u = -3*w - 5, 3*u = 3*w - 9. Let o be w/6*(-16 - 2). Let h be (0 - -6)/2 + 2. Do o and h have the same value?
False
Let t(i) = -2*i + 1. Let x be t(1). Let c = -23 - -23. Is c bigger than x?
True
Let y(j) = -j**2 + 6*j - 3. Let w be y(5). Let x be (-2 - -1)*(-2 - w). Suppose -5*q - x + 19 = 0. Do 3 and q have the same value?
True
Suppose -4*t = 3*q - 6434130, 6 = -0*q + 3*q. Let u = -1066456369/663 + t. Let x = 14/39 + u. Is -1 greater than x?
False
Let f(j) = j**2 + 9*j - 30. Let i be f(-8). Is -38 > i?
False
Let o = -73 + 76. Which is smaller: o or -2?
-2
Let z be 5/15 + (-40)/(-6). Is 0 <= z?
True
Suppose 2*g - 4*z = 4*g + 34, g + 3*z = -22. Let a(c) = -c - 3. Let x(l) = l**3 - 6*l**2 + l - 3. Let s be x(6). Let j be a(s). Is j greater than or equal to g?
True
Let o(b) = -b + 4. Let a be o(5). Is 1/74 greater than or equal to a?
True
Suppose 0*o - 5 = o. Let w(t) = -5*t**3 - 2*t + 2. Let y be w(1). Is o < y?
False
Let j(c) = -c**3 + 5*c - 2. Let y be j(3). Let r be 6/3 - (-36)/y. Is 0 > r?
True
Let j = 21161656/3663 - 51998/9. Let d = -2/37 - j. Does d = 0?
False
Let x = 1.99 - -0.01. Let a = x - 1.9. Do 0.1 and a have different values?
False
Let f(c) = c**2 - 5*c - 5. Let m be f(5). Is m smaller than -6?
False
Suppose 4*j + 9 - 1 = 0. Let o be (12/10)/(2/5). Suppose -3*g = -v + 2, -4*g + 4 + 0 = -o*v. Which is greater: v or j?
j
Let n = -12 + 21. Suppose 0 = -3*r - n, 5*f - 5*r = 28 + 17. Suppose -f*u + u = 0. Is u >= 0?
True
Let r = 0 + 0.1. Let o = -0.5 + -1.5. Let i = -7 - o. Which is smaller: r or i?
i
Let w(j) = -j**3 + 5*j**2 - 5*j + 25. Let x be w(5). Which is smaller: -3 or x?
-3
Let l = -0.2 - 0.8. Is -1 at most l?
True
Let g = -10561/64 - -165. Which is bigger: g or -1?
g
Suppose 3*b + 0*b = 0. Suppose -t + 3 = -3*f, 6*f + 4 = 2*f + t. Let h be -2 + 10/3 + f. Does b = h?
False
Let w(q) = -q - 3. Let p be w(-10). Suppose -p = -5*x + 18. Is x greater than 4?
True
Let x(t) be the third derivative of t**6/120 + t**5/12 + t**4/6 - t**3/3 - 3*t**2. Let p be x(-4). Let z be 9/(-5) - p/(-10). Is -2 bigger than z?
False
Let u(b) = -b**3 + 5*b**2 - b - 3. Let w be u(5). Is -8 <= w?
True
Let b be 2/(-6) - 8175/414. Let x = -121/6 - b. Is 0 at most as big as x?
False
Let j be (-138)/(1/(-2) - 0). Let b = j - 2201/8. Let s = -3/8 + b. Which is smaller: -0.1 or s?
-0.1
Let w = -1658/7 - -236. Is w at most -2?
False
Suppose 143 = 4*p - 1. Which is smaller: p or 35?
35
Suppose 3*b + 22 = 4*q + b, 4*q = -2*b + 10. Suppose -5*i + q*h - 20 = -h, 0 = 3*i + 5*h - 12. Which is smaller: -2/39 or i?
i
Let m = -1 + 0. Suppose -4*z - 13 = 3*f, 3*z + 3*f + 8 = -f. Which is greater: m or z?
m
Suppose 4*n - 1731 = -1707. Let y be (-2)/(-56) + (-2)/(-8). Is y less than n?
True
Suppose 3*c + 1 = 2*c. Let t be 1185/4900 + c/4. Let a = t - -512/2695. Which is bigger: a or 0?
a
Let q(h) = 12*h + 3. Let z be q(1). Which is smaller: z or 16?
z
Let x = 24 + -26. Let s = 0.1 + -1.1. Let g = s - -1.1. Is g > x?
True
Let w = 83 - 912/11. Let q = 2.1 + -2. Which is greater: q or w?
q
Suppose -2*z - 56 = -0*z. Let d = 41 + z. Suppose 0 = 3*r - 2 - d. Which is smaller: r or 4?
4
Let l(m) = -3*m**2 - m. Let x be l(1). Is x equal to -1/2?
False
Let o(j) = j**2 - 5*j - 9. Let a be o(7). Suppose 2*x - 2*s = 3*x - 13, -2*x + 30 = a*s. Suppose 11 = -p + 4*z, -3*p - 3*z + x*z = -7. Which is smaller: p or 4?
4
Let d = -0.11 - -2.11. Let j = -3 + d. Which is greater: -14 or j?
j
Let q(k) = -6*k + 4. Let a(h) = 7*h - 3. Let b(y) = 5*a(y) + 6*q(y). Let f be b(4). Which is smaller: 4 or f?
4
Let r(o) = 5*o**3 - 3*o**2 + 10*o - 2. Let v(w) = -6*w**3 + 3*w**2 - 11*w + 2. Let p(f) = -7*r(f) - 6*v(f). Let x be p(-4). Is x smaller than 3/2?
False
Let s = -7.2 + 7.5. Is 2 bigger than s?
True
Let u = -15/28 + 2/7. Let l = -1 + 1. Let h = -0.2 - l. Is h less than u?
False
Suppose 3*q - 4*t = -5*t - 2, -3*q = -4*t + 7. Suppose -4*k = -0*k + j - 17, -3*k = -3*j + 6. Which is smaller: k or q?
q
Let h = 111/1016 - -2/127. Let u = h + -13/40. Suppose 0 = -z + 6*z - 0*z. Which is smaller: z or u?
u
Let b = 33 - 40. Are -33/4 and b nonequal?
True
Let y = -8/63 - -851/252. Is y at most as big as 1?
False
Let b(r) = r**3 - 8*r**2 + 5*r + 5. Let w be b(7). Which is smaller: -7 or w?
w
Let c be (