s smaller: -9 or r?
-9
Let q(z) = -2*z**2 + 2*z + 2. Let k be q(3). Is -10 at least as big as k?
True
Let y = 61/20 - 103/10. Let p = y + 7. Which is bigger: -0.1 or p?
-0.1
Suppose -3 + 4 = -c. Let k be -1 - (-1 + (0 - c)). Which is smaller: -3 or k?
-3
Let u be (-141)/(-63) + (-3)/(-7). Which is greater: u or 4?
4
Let l = -26 + 19. Which is smaller: l or -1/4?
l
Let s = -1.8 + -0.2. Let l = -2.2 - s. Let f = 1.2 + l. Which is smaller: f or -1?
-1
Let p be (1/(-73))/((-2)/4). Which is bigger: 0 or p?
p
Suppose -3*c + p = -5*c, 2*p = -2*c - 4. Let m(s) = -s**3 + s**2 + 3*s - 3. Let b be m(2). Let h be (-1*b/(-2))/c. Which is bigger: h or 2?
2
Let o be (-2 - 1) + 1 - -7. Suppose 0 = -4*i + o*i + 3. Let s = i + 3. Which is greater: 2 or s?
2
Let w be (-1)/(-5) + (-23)/65. Which is greater: w or 1?
1
Let p(k) = -k + 7. Let i be p(5). Suppose -y + 2*q = -i*q - 14, -3*q + 1 = 5*y. Are 2 and y nonequal?
False
Let q = -69 + 68. Let x = -0.02 - -2.02. Let j = x + -1. Is q at most j?
True
Let q = 3.1 + -18.1. Which is bigger: q or 1?
1
Let i = -25 - -25. Which is smaller: -1/118 or i?
-1/118
Let c be 4/((-16)/12) - -3. Suppose 7*f - 2*f = c. Which is greater: f or -1?
f
Let o(d) = -d - 8. Let w = 15 - 24. Let p be o(w). Which is greater: 0 or p?
p
Let f = 19 + -18. Does -1/5 = f?
False
Let w(b) = -b**3 + b**2 + 6*b - 6. Let x be w(3). Is -10 at least x?
False
Let b be 4/(-3)*-18 - 3. Suppose 5*w + 0*w = 2*r - 60, -3*r - 4*w + 44 = 0. Which is bigger: b or r?
b
Let h = -3 - 8. Let p(z) = -z**3 - 12*z**2 - 11*z + 2. Let c be p(h). Which is greater: -1 or c?
c
Let d = 5 + 1. Let j = d - 2. Which is greater: 3 or j?
j
Let t(u) = -u + 6. Let f(d) = d**2 - 9*d + 12. Let l be f(8). Suppose 0 = l*m - 33 + 9. Let s be t(m). Which is bigger: 2/3 or s?
2/3
Let o = 4 + -4. Let r(v) = v**3 + 6. Let s be r(o). Is 5 smaller than s?
True
Let m = -0.93 + 0.93. Which is smaller: m or 0.06?
m
Let r(j) = -j**3 - 7*j**2 - 7*j. Let w be r(-6). Suppose -3*v + w*v = 0. Suppose 0 = -b - 4*p - 11, 2*b - 5*p = -b + 18. Is v greater than or equal to b?
False
Let m(d) = 2*d + 2. Let c be m(-2). Let r(a) = a. Let z be r(2). Let t be (-2 - c) + z/(-8). Are t and 0 non-equal?
True
Let b be 2 + 32/(-18) + 0. Let o = 2 + -2. Suppose v + v - 2 = o. Which is bigger: b or v?
v
Let n(s) = -s**2 + s - 4. Let l be n(0). Let q(x) = 2*x + 5. Let a be q(l). Which is smaller: a or -3/2?
a
Let b be 6/(-21) - (-74)/14. Let f be 6 + (2 - -1)/(-1). Is f at least b?
False
Let b(g) = 5*g + 18. Let l be b(-9). Which is smaller: l or -29?
-29
Let v = 8.78 + 0.22. Let d = 9.8 - v. Let k = 0.9 - d. Which is smaller: k or -4?
-4
Let d = 0.05 - 0.07. Let t = d - 0.28. Which is bigger: 2 or t?
2
Let j = 3/295 - -109/18290. Is j greater than or equal to 0?
True
Let k = -1.4 - -0.9. Let t = -0.2 - -0.2. Let p = t + -0.1. Which is greater: k or p?
p
Let k = 10 + -3. Let r = k - 5. Is r < -2?
False
Let d = 2/2193 - -5111/6579. Do 2 and d have the same value?
False
Let p = 29.008 + -0.008. Do 2/7 and p have different values?
True
Let m = -132 - -114. Which is smaller: m or -17?
m
Suppose -10 = -5*b - 5. Let n(s) = -s**3 - 3*s**2 - 3*s - 1. Let t be n(-2). Let q be 4/2 + 0 - t. Is q not equal to b?
False
Let w = 1363/44 - 162/11. Let t = w + -16. Which is bigger: 0 or t?
t
Let r = -0.2 + -5.8. Let c = -0.02 - -0.02. Is r less than c?
True
Let q(w) = 6*w + 3. Let m be q(4). Which is smaller: m or 28?
m
Suppose 4*z + 12 = -4*v, -3*z = 4*v - 2*v + 9. Which is smaller: 3/46 or v?
v
Let c be ((-5)/(-4))/(2/8). Let u(h) = h**2 - 12*h + 22. Let x be u(10). Are c and x nonequal?
True
Suppose 0 = -3*m - 5 + 2. Let z be 16/9 + 2/9. Let r = m + z. Is r at least as big as 3/5?
True
Suppose 5*m = 3*m + 10. Suppose 0 = -3*i - 2 + 20. Which is bigger: m or i?
i
Let l(i) be the first derivative of -3*i**2/2 - 2*i + 3. Let s be l(-4). Let y be ((-8)/(-20))/(12/s). Is y at least -1?
True
Let b(y) = 10*y**2 + 4*y**3 - 2 + 4 + 10*y + y**2 - 3*y**3. Let t be b(-10). Which is greater: t or -1?
t
Let k = -13/20 + 31/60. Is k smaller than 2/17?
True
Let p be 134/(-8)*(7 + -3). Let r = -605/9 - p. Which is greater: r or -3/4?
r
Suppose -3*y + 4 = -2*s + 14, -5*s = 5*y + 25. Let k = -1/12 - 5/4. Is s less than k?
False
Let s(l) = 2*l - 4. Let j be s(6). Let o be (8/36)/(j/6). Let u be (2/2)/(-2 - -1). Is o bigger than u?
True
Let h be (-10)/(-66)*1 - (-8)/(-24). Is -1 < h?
True
Suppose -2 + 1 = y - 2*c, 3*y - 5*c + 3 = 0. Suppose -3*o + 4*i - 8*i - 4 = 0, -3*i = 3*o + 3. Which is greater: y or o?
o
Let z = -0.032 + 0.992. Let h = 3 + -2.96. Let i = z + h. Is -0.6 > i?
False
Suppose 4*v - 6*v + 18 = 0. Let n be (-103)/1179 + 2/v. Let m = n - 1/655. Is -1 at least m?
False
Let f = 53 - -28. Is f >= 80?
True
Let z be 22/(-30) + (-2)/(-6). Which is greater: z or 18?
18
Let n = 3 - 4. Let v be (18/(-24))/(n/8). Which is smaller: v or 7?
v
Let v = 942/1165 - 2/233. Let w = -1 + 1. Which is bigger: w or v?
v
Let l = 141 + -136. Which is bigger: l or 3?
l
Let s = -9 - -5. Is s >= 1?
False
Suppose -3*a - 2 = 4*u, 1 + 3 = -5*u - 3*a. Let f = -38433/14 + 2743. Let p = f - -12/7. Are u and p nonequal?
True
Let k = -83/5 + 727/45. Are -1 and k unequal?
True
Suppose 4*d - 4 = -o - 16, 4*o + 18 = -d. Let y be (5/15)/((-2)/6). Let b be y*((-1 - -2) + 2). Which is bigger: d or b?
d
Suppose 0 = -2*w + 10 + 14. Suppose -5*i + 2*i + t = -2, -w = -3*t. Suppose -5*c = -3*c - i. Is c at least as big as 4?
False
Let g = -5.2 + 3. Let t = g - -2. Are 4 and t nonequal?
True
Suppose 5*s - 60 = -35. Which is bigger: s or 4?
s
Let w be 0/(9/(-4) - (-63)/(-84)). Suppose p = 2*p. Suppose p = -o - w*o. Which is smaller: -1 or o?
-1
Let b(t) = 65*t**2 - 65*t**2 + t**3 - t + 2. Let o be b(0). Is 3 greater than or equal to o?
True
Let a be (-68)/(-18) - (2 + -1 + 3). Is -8 > a?
False
Let u be ((-342)/(-27))/((-2)/3). Let z be (u/38)/((-1)/(-10)). Which is greater: z or -1?
-1
Let b be (-3)/5*1 - 2/5. Which is bigger: -3/7 or b?
-3/7
Let x = -2045/833 + 40/17. Which is smaller: x or 0?
x
Let u(k) = 2*k + 1. Let p be u(-1). Let b = -7 + 7.5. Which is bigger: p or b?
b
Let d = -0.3 + -0.2. Let o = -4.6 + 4. Let b = d - o. Which is greater: 3 or b?
3
Let x be (36/8 + -5)/(-32). Do x and 0 have the same value?
False
Let b be (-1 + 0)/((-8)/(-16)). Is -4 at most b?
True
Let q = 8 + -4. Let n = -5 + q. Is 1 at least n?
True
Let a be (5 - 2) + (-1 - 10). Let b be 33/(-44) - (-2)/a. Is b >= -2/55?
False
Let y = 49/2 - 26. Let x(r) = r + 1. Let p be x(-1). Suppose -4*g - 2*w + 4*w = p, 2*w = -4. Is g smaller than y?
False
Let r = 59.9 - 63. Let l = -3 - r. Is l < 7?
True
Let f(j) = j + 2. Let m be f(2). Let n be 22/(-5)*10/(-12). Which is bigger: m or n?
m
Let x(o) = -o**2 + 4*o + 2. Let h be x(4). Suppose 13 = -h*j + 2*i + i, -5*j - 19 = -3*i. Which is greater: -3/5 or j?
-3/5
Let n be ((-1)/(-8))/((-102)/12). Let q = -4/17 + n. Is q at least as big as -2/7?
True
Let n = 8/5 - 2/5. Which is greater: n or 1?
n
Let v be ((-2)/(-8))/((-3)/4). Suppose -3*f - 5*t = 2 + 3, 4*f = t + 1. Is f less than v?
False
Let k = 1 - 2. Let g = -31 + -30. Let x = 425/7 + g. Is k < x?
True
Let n = 2/83 + -419/166. Let q = -21 + 18. Are n and q unequal?
True
Let y be 1/(-3)*(-15 - -17). Is -2 equal to y?
False
Let c be (-127)/(-88) + 8/44. Let y = 23/24 - c. Which is bigger: -1 or y?
y
Let k(o) = -o**3 - 9*o**2 - 9*o - 7. Let n be k(-8). Suppose 0 = -4*v + 295 + 69. Let j = -1002/11 + v. Is n != j?
True
Suppose 368 = 12*m + 4*m. Are m and 24 non-equal?
True
Let u = 23 - 24. Let w = 3.1 - 3. Is w less than u?
False
Let x(k) = -5*k + 1. Let o be x(2). Let c be (9/6)/(o/(-12)). Let a be (-2 - -2)/(1 + 0). Is a less than or equal to c?
True
Let l(j) = -5*j**3 - 9*j**2 - 5*j + 1. Let s(z) = 4*z**3 + 8*z**2 + 5*z. Let t(p) = 3*l(p) + 4*s(p). Let y be t(-4). Are y and -2/9 non-equal?
True
Let n be ((-5)/75)/(2/9). Let o be (-4)/6 - 11/(-3). Suppose -k = 3*t + o, 1 + 8 = -3*k. Which is smaller: t or n?
n
Suppose 3*c = 4*m + 28, -4*m + 26 = 5*c - 10. Let j = -10 + c. Suppose -2*i = -0*i + 6. Does i = j?
False
Suppose -5*r + 0 = -20. Suppose 8 = 2*m - r. Let y = -3 + m. Is 3 at least as big as y?
True
Let x = 41 + -59. Let j = x - -69/4. Let p = -2.2 - -2. Is p at least j?
True
Let j = -278 + 2783/10. Is j s