 and b unequal?
True
Let q be (-3)/(3/2) + -8. Let k = q + 15. Let d be 1/k*(0 - 2). Is d smaller than 1?
True
Let u = -13.3 - -10. Let a = 0.8 + u. Let g = 0.5 + a. Which is smaller: g or 0.1?
g
Let g(u) = u**3 - 2*u**2 + u - 10. Let o be g(3). Which is smaller: o or 2/11?
2/11
Let v = 13 + -14. Is 1/5 < v?
False
Let y be 10/18*(-348)/203. Are 0 and y non-equal?
True
Suppose 2*p + 3*p - 20 = 0, -m + 2*p = 8. Suppose -2*h - a = 2, -4*h - 4 = -m*a + 3*a. Are 1 and h unequal?
True
Let r(b) = -b**2 - 4*b - 3. Suppose -2*q - 5 = -1. Let d be r(q). Which is smaller: d or -3/10?
-3/10
Let a = -916/9 + 102. Which is smaller: a or 6/11?
a
Let r(c) = -c**3 + 2*c**2 + 2. Let b be r(2). Let k(n) = 2*n + 2. Let f be k(-2). Let h = f + 4. Is b at least as big as h?
True
Let u = 2 - 3. Let a = u + 0.9. Is 7 equal to a?
False
Let n(j) = j**3 - 18*j**2 - j + 21. Let g be n(18). Is g greater than 8?
False
Let y be (-16)/4 + 0 + -19. Is -23 less than or equal to y?
True
Suppose -2*u = 4*h - 4*u + 28, 3*h + 4*u = 1. Let j = h - -6. Let i = -1 + j. Which is greater: 3 or i?
3
Let t be (-200)/(-14) - (-8)/(-28). Suppose -4*b - 5*y - 18 = -0*b, 5*b + 2*y = -t. Let i = 2 - 4. Is i at least b?
True
Let s = 5 - 5. Let w be (-3009)/11*(-2)/6. Let z = 91 - w. Is s bigger than z?
True
Suppose -14 = 5*c - 4. Let u be (-8)/1*c/4. Which is smaller: 3 or u?
3
Let f = -27.1 + 27. Is 0.02 smaller than f?
False
Suppose -3*k - 2 = 13. Suppose -9 = 4*y + 4*m - 5*m, 5*y - 2*m + 9 = 0. Is k less than y?
True
Let c be (-38)/7*20/(-44). Let f = c + -24/11. Let y = -2 - -1. Are y and f equal?
False
Let z = -4066 + 31487105/7744. Let l = z + -216857/193600. Let t = -296/175 - l. Are t and 0 non-equal?
True
Let r = -2.06 - -0.06. Let u = 0 + r. Which is smaller: u or -2/11?
u
Let q be 29/(-10) - (3 + -6). Is -1 greater than or equal to q?
False
Let y(a) = -a**3 - 4*a**2 + 4*a - 3. Suppose 5*q - 35 = 2*f, -3 = 3*f + 2*q + 2. Let r be y(f). Let j be 2/((-1 + 9)/r). Which is smaller: 1 or j?
j
Suppose 0 = 6*k + k. Which is bigger: k or -3/4?
k
Let q(z) = 4*z**2 + z - 6. Let u be q(2). Is u >= 13?
False
Let o = -0.02 + -2.98. Let g = -0.68 - -0.6. Let y = 0.28 + g. Is y <= o?
False
Suppose -4*l + 7 = h - 1, 5*h - 4*l + 8 = 0. Suppose h = k - 2*k. Which is bigger: k or 4/3?
4/3
Let t be (-6)/(-3) + -2 + 3. Let q = 3 - t. Is 1/10 at least q?
True
Suppose -3*p + 126 = 5*j, -5*j + 53 = 2*p - 76. Is j != 27?
False
Let j = 0 + 0. Let w = j - 25. Let g = -51/2 - w. Which is greater: 0 or g?
0
Let v(n) be the third derivative of 0*n**3 + 0 + 1/4*n**4 - 1/60*n**5 - 2*n**2 + 0*n. Let w be v(6). Which is greater: w or 1?
1
Let v be ((-8)/16)/((-1)/2). Which is bigger: -1/14 or v?
v
Let i be ((-32)/18)/(12/72). Is -12 at most as big as i?
True
Let c(z) = z**3 - 7*z**2 - 8*z - 2. Let v be c(8). Let q be (-190)/57 + v/(-6). Let u = -4 + 0. Which is smaller: q or u?
u
Let s be (-99)/42 + 4 + -2. Which is smaller: -1 or s?
-1
Let y be 2/(-8) + 21/(-12). Let x(c) = -c + 2. Let j be x(-5). Suppose -5*g - j*a - 18 = -3*a, -4*a = 8. Is g at least as big as y?
True
Let b be ((-3)/10)/((-4)/5). Let u be (-210)/(-140)*4/(-6). Is b smaller than u?
False
Let m = -2.13 - -0.13. Let k = -2 - -2.1. Let h = -0.1 + k. Which is smaller: h or m?
m
Suppose 6*x - 42 = 3*x. Which is smaller: 13 or x?
13
Let s be (-4)/(-14) - (-638)/(-77). Which is smaller: s or -7?
s
Let l be ((-4)/(-32))/((-3)/(-24)). Which is greater: -2/63 or l?
l
Let d = 52148861/3 - 25987515276/1495. Let q = 1/345 + d. Which is bigger: q or 1?
1
Let y be (9 - 1)/2*-2. Let b(g) = g**3 + 8*g**2 + g + 4. Let u be b(y). Let l = 2 + -5. Do u and l have different values?
True
Let s = 2801482 - 154086089/55. Let z be (419/(-2))/((-2)/((-24)/30)). Let q = z - s. Is q >= -2?
True
Let h = 26 + -14. Let a be (18/30)/(h/70). Is 5 less than a?
False
Let i = 1016 + -1017. Let n = 0 - -0.1. Are n and i equal?
False
Let s = -112 - -122. Which is smaller: -1 or s?
-1
Let q = -5 - -7. Suppose 4*u - 3*k = -30, 0 = -u + q*k - 3*k - 4. Suppose -3*v + 5 = -5*r + r, 0 = -r - 2*v - 15. Is u less than or equal to r?
True
Let c be 18/1 - (-1)/(-3). Let y = c + -19. Let x be 0/(-2) + (-4)/2. Is x greater than or equal to y?
False
Suppose s - 1 + 5 = 0. Let f = 0 - s. Suppose -5*c + 3*g = f*g - 18, -18 = -3*c - 3*g. Which is smaller: 4 or c?
c
Let j = 513/5 + -105. Which is greater: j or -3?
j
Suppose -11 = 4*p + 53. Let n be p/15 + (-10)/(-25). Is 0 at least n?
True
Let h = 19 - 3. Does 16 = h?
True
Suppose 22 = -4*w + 26. Let j(x) = -2*x**2 - 2 - x**2 + x + x**3 - 2. Let u be j(3). Is u at most w?
True
Let g = 3 + 3. Let u(c) = -c + 1. Let j be u(g). Which is greater: -4 or j?
-4
Let f = -45 + 44. Is f less than 4?
True
Let d(v) = -v - 2. Let x be d(0). Let f be 4*(7 - 3)/x. Is f at least -7?
False
Suppose 5*n + 12 + 8 = 0. Let m be n/12*2/(-1). Which is smaller: m or -5/3?
-5/3
Let m = -83080/153 + 543. Let l = 295/1683 - m. Which is greater: -1 or l?
l
Suppose 4*c + 4 = 28. Does 7 = c?
False
Let l be 4*(-2)/(-4) + 0. Is 3 at least l?
True
Let c(w) = w - 6. Let f be c(0). Let x be (-8)/(-3) + f/2. Do x and 1 have different values?
True
Let n = 16 - 12. Is n at least as big as -0.1?
True
Suppose o + 3*b + 2 + 2 = 0, -4*b - 32 = -2*o. Suppose o*y + 15 = 13*y. Let k be (-5)/(0 + -1) - 1. Which is smaller: y or k?
y
Let c = 328/5 + -68. Is -1 less than c?
False
Let o = -16719/182 + -115/26. Let i = o - -96. Is i <= 1?
True
Let u be (-3 + 2 - 12) + -4. Let c = u + 21. Which is smaller: 2 or c?
2
Let z = 15 - 7. Let n = -16.4 - -8.2. Let a = n + z. Which is greater: a or -4?
a
Let d = 18 - 19. Let a = -0.3 - -1.3. Let i = a - -1. Which is greater: i or d?
i
Let m be 1 - ((-2)/7 - -1). Let l(p) = 4*p - 1. Let w be l(-1). Let v = w + 4. Is m less than or equal to v?
False
Let j be 5 + 0 + 134/(-26). Which is greater: 0 or j?
0
Let h be (1 + -2)/(98/4). Which is greater: 0 or h?
0
Let s = -2 + -3. Let p = -6 - s. Are -1/3 and p non-equal?
True
Let w = 251/203 - 11/29. Which is smaller: 0 or w?
0
Let f = 59 - 59. Let z = -95 - -1046/11. Which is bigger: f or z?
z
Suppose k + 2 = -0*k. Let t = -3 - k. Is 2/15 less than t?
False
Let o = 315 + -12601/40. Let m = -23/40 + o. Which is greater: m or 0?
0
Suppose -3 - 1 = -f. Let s be (-27)/(-66)*f/(-3). Let h = s - 4/33. Which is greater: -1 or h?
h
Suppose 3*g = 2*w + 15, -5*w + 0*g = -4*g + 34. Does 0 = w?
False
Let i(w) = w**2 + 2*w - 1. Let d be i(-3). Let b be ((-1)/(-2))/(d/16). Let q(u) = u**2 - 6*u + 4. Let g be q(b). Which is smaller: g or -0.1?
g
Let p(n) = -4*n + 6. Let o be p(3). Which is smaller: o or -7?
-7
Let p be (-343)/(-6)*(-3)/(-2). Let x = 2633/28 - p. Let s = x - 341/42. Which is bigger: s or 0?
s
Let s(b) = -4*b**3 - 2*b**2 + 1. Suppose 0*o - 3 = 3*o. Let d be s(o). Is 3 at most d?
True
Suppose 7 + 1 = 4*o. Let q = -15 - -21. Let x be (0 - 1)/(q/(-18)). Is o equal to x?
False
Let a(g) = g**2 + 6*g + 7. Let m be a(-5). Let c be ((-1)/(-3))/(m/(-12)). Which is bigger: c or 2?
2
Let w = 48 + -595/12. Let t = w - -9/4. Which is bigger: -1 or t?
t
Let m be 3*(-2 - (-40)/24). Let x = -5501/20 + 275. Which is smaller: m or x?
m
Let r be (-4 - -3) + 0 + 31. Suppose 2*d + d = -r. Is d greater than 0.1?
False
Let o be (-1)/(((-98)/4)/(-7)). Is 0.1 at most o?
False
Suppose 5*r = -63 + 8. Is r less than or equal to 2/5?
True
Suppose 2*f - 3 - 1 = 0. Let r be (f/6)/(33/18). Suppose -5*g - 8 = -3. Is r != g?
True
Let x(a) = a**3 - 4*a**2 + 2*a + 1. Let r be x(3). Let v be (-2)/(-6)*(-6)/r. Let g be (v/8)/(6/8). Which is smaller: -1 or g?
-1
Let y(d) = 2*d**2 + 5*d + 10. Let o(z) = z**2 + 2*z + 5. Let s(n) = 5*o(n) - 3*y(n). Let a be s(-4). Suppose -4 = 5*j + 1. Is a greater than j?
False
Let p = -30 - -16. Let f = 17 + p. Which is bigger: 1 or f?
f
Let m = 64 + -51. Are m and 11 nonequal?
True
Let l be (9/6 + -2)*10. Is l smaller than 1?
True
Let p = -19 - -17. Let u(r) = 3*r - 1. Let j be u(2). Suppose j*o + 25 = -0*o - 5*h, 0 = 5*o + h + 9. Is p greater than or equal to o?
False
Let o = 3.98 - 4. Let k = 3.02 + o. Let f = 3.1 - k. Which is smaller: 0 or f?
0
Let n = -794 + 113540/143. Do 0 and n have different values?
True
Let s(g) = -9 - 3*g + 2*g + 13. Let u be s(3). Which is greater: u or 2?
2
Let d(b) = b**3 + 3*b**2 + 2*b 