 8*b + 16 = 0. Does -1/41 = b?
False
Let x(f) = f**2 - 6*f + 7. Let l be x(4). Which is smaller: -9/4 or l?
-9/4
Let d(j) = j**2 + 7*j + 8. Let c be d(-6). Suppose c*n - 1 = -13. Let h be (-9)/n*(-2 + 0). Is h > -4?
True
Let a(t) = t**2 - 4*t - 21. Let l be a(-5). Which is bigger: 23 or l?
l
Let j(k) = -k + 1. Let h be j(2). Let x = h - 1. Which is smaller: x or -2/3?
x
Let d be (2/4)/((-21)/(-14)). Suppose 2*k + 5*z + 19 + 6 = 0, -2*z - 10 = 0. Is k greater than d?
False
Let b be -15*(2/6 - 0). Let h be -1*(3 - (-16)/b). Which is greater: 1 or h?
1
Suppose 0 = -5*k + 22 + 8. Let c be (0 + k)*(-20)/(-6). Suppose -j - c = -5*y - 6*j, j = -3*y + 14. Is y greater than or equal to 5?
True
Let g = 8.9 - 14.8. Let i = 6 + g. Is i at least as big as -2?
True
Let g(b) = b + 1. Let t(a) = -2*a - 10. Let z(l) = -3*g(l) - t(l). Let q be z(5). Suppose -q = 3*x + 10. Are x and -5/2 nonequal?
True
Let l(b) = b - 3. Let a be l(3). Let f = 1 - 7. Let o be a/2 + f/27. Is 1 at least as big as o?
True
Let l = 3 - 2. Let f be (11 - 9) + l + -2. Is -1/9 less than or equal to f?
True
Let z be -4 - 2 - (-8 + 3). Let s be (-1)/(-4) - 141/84. Which is greater: z or s?
z
Let v be 0 + -1*0/(-1). Which is smaller: -7/8 or v?
-7/8
Let u(i) = i + 2. Suppose d + 3 = -0*d. Let f be u(d). Let w be 12/(-9) + (-2)/(-6). Are f and w nonequal?
False
Let r(t) = t**3 - 2*t**2 + 3*t - 3. Let j be r(2). Is 5/2 greater than or equal to j?
False
Let b be ((-1236)/(-8))/((-6)/40). Let h be b/12 - (-3)/(-18). Let f be (-2)/5 + h/(-40). Is f != 3?
True
Let x(u) = -u**3 + 5*u**2 - 5*u + 4. Let i be 2*6*4/12. Let v be x(i). Suppose 7*o - 3*o = v. Is -1/6 >= o?
False
Suppose 3*x - h - 7 = 10, 7 = 3*x + 4*h. Suppose -x*n + 11 = -49. Let s be (2/(-3))/((-20)/n). Is 0 at most s?
True
Let z = 116 - 175. Let l = z - -355/6. Which is smaller: -1 or l?
-1
Let d = -76 - -78. Which is smaller: 0.2 or d?
0.2
Let i be (-2)/6*(-1 + -5). Suppose -3*p = -i*p - 6. Suppose p*v - 16 = k + 3*v, 0 = 5*v - 25. Which is greater: k or 1/5?
1/5
Let t(n) be the third derivative of -n**4/24 - n**3/3 - 3*n**2. Let o be t(0). Let q be 0*1/3 - o. Which is smaller: -3/4 or q?
-3/4
Let c = 0.032 - -4.768. Let f = c + -5. Let p = -2.2 - f. Is p bigger than -0.1?
False
Let c be (-3)/1*42/(-9). Suppose c - 2 = 4*y. Suppose 3*v + 3 = 12. Is y at most as big as v?
True
Let j = -15 + 16. Let f be 3/(-6)*1*-2. Are f and j unequal?
False
Suppose 0 = 2*o - o. Suppose o = -r - 5. Let m = r + 8. Is m at least as big as 5/2?
True
Suppose 1 = -3*u + 13. Let r(s) = -s**3 + 4*s**2 + 1. Let v be r(u). Which is bigger: v or -2/19?
v
Suppose -n + 5*a + 23 = 0, -3*n + 18 = 3*a - a. Let u = n - 3. Are 5 and u unequal?
False
Let g be (4/6)/(2 + 0). Let x = 646 - 645.9. Is g at most x?
False
Let d be (-4)/74 + (3 - 3). Suppose 49*s - 7*s = 5*s. Which is greater: d or s?
s
Suppose 2*w - 13 = -3*u, -5*u + w = 2*w - 17. Let x = -1 + u. Is x > 3?
False
Let x(r) = r**3 - r**2 + 25. Let q be x(0). Let u be ((-8)/(-10))/(290/q). Is 0 smaller than u?
True
Let p = -0.03 + -0.97. Let i = 0.39 - -0.11. Which is smaller: p or i?
p
Let g = -59 - -42. Is -17 equal to g?
True
Let l(u) = 3*u**3 - 9*u**2 + 8*u + 12. Let c(s) = 16*s**3 - 45*s**2 + 41*s + 61. Let n(f) = -2*c(f) + 11*l(f). Let m be n(8). Is -6 smaller than m?
False
Let n(k) = -3*k + 20. Let r be n(8). Let m be (r/(-42))/((-2)/6). Let w = 1.1 - 0.1. Is m smaller than w?
True
Let h be (-4)/31*(-3)/(-6). Let k = -5 - -5. Which is bigger: k or h?
k
Let z = -2 + -7. Let t = 11 + z. Is t greater than or equal to 5?
False
Suppose -15 = 3*p - 3*r, -3*p + 0*r - 2*r + 10 = 0. Suppose 0*s + 4*s + 4*l + 4 = 0, -3*s + 4*l - 3 = p. Which is smaller: s or -1/4?
s
Suppose v + 3*v = -d - 15, 0 = -3*d - 4*v - 37. Which is smaller: 0.1 or d?
d
Let t be (-4)/16 - (-17)/4. Suppose 4*y = t*z + 6 + 2, -2*z = -5*y + 16. Suppose 5*a = -3*c, c - y*a = -9*a. Is 2 at least as big as c?
True
Suppose 0 = 3*u - 0*u - 36. Suppose -s - s = -2*p - u, 5*s + 3*p = 30. Is 6 < s?
False
Let r be ((-2)/(-1))/(0 - -1). Suppose 3*s + r*b + 0 - 3 = 0, 3*b + 1 = s. Let a be -6*(-8)/(-210)*-5. Which is bigger: s or a?
a
Let k be (8/2)/(67*2). Let j = k + 2609/134. Let v = -20 + j. Is -2 greater than v?
False
Let o = 86 + -87. Which is greater: o or -5/16?
-5/16
Let q = -4.4 - -4.61. Let n = -6.79 - q. Which is smaller: n or 2?
n
Let y = 25 + -5. Let m = y + -22. Are m and -7/5 non-equal?
True
Let x = -1.8 + 0.8. Is 3 at most as big as x?
False
Let w = -581618557/625026042 - -3531/78383. Let p = w - 3/886. Does 0 = p?
False
Let d be (-13)/7 - (-5 + 2) - 1. Is d at least as big as -1?
True
Let m = 29 - 26. Is 3 bigger than m?
False
Let d(k) = -2*k - 5. Let c be d(-2). Are 1 and c non-equal?
True
Let t = 12.16 - 12. Let n = t - 0.22. Which is smaller: n or 0.2?
n
Let c = -86 + 86. Which is bigger: -12/37 or c?
c
Let m be 12/(-3483)*(-2)/8*-6. Which is smaller: m or 1?
m
Let t = 12 - 9. Suppose 4*b + b = -4*u + 32, 2*b + 4 = 4*u. Does t = u?
True
Let a be (-1)/(-1)*(-6)/39. Let o = -7 - -8. Is o greater than or equal to a?
True
Suppose 0 = -m + 4*t + 6, -8*t - 4 = -3*m - 3*t. Let f = 126 + -126. Which is greater: f or m?
f
Let r = 5.6 + -3.7. Let f = 2.15 + -0.15. Let p = r - f. Is p <= 1?
True
Let n = 0 - 0. Suppose -4*x + n*x - 38 = 2*l, -2*x = 5*l + 15. Let o be 10/4 + 5/x. Are o and 2 equal?
True
Let x = 58796 - 412270/7. Let t = x - -100. Let h be (-6)/(-15) - 48/70. Which is smaller: h or t?
h
Let r = -7 - -9. Suppose 5*q = r*q - 33. Let t be q*1/9 + 1. Which is smaller: 1 or t?
t
Suppose -94*w + 18 = -92*w. Which is bigger: 12 or w?
12
Let j be 20/25*(-166)/(-4). Let u = j + -33. Does u = -1?
False
Let o = -3 - -8. Let j = -8 + o. Let k be 1 - 1 - j/(-12). Is 1 > k?
True
Let k = 4 - -11. Suppose 0 = 5*p - 0*p - k. Is p at least as big as 3?
True
Suppose 0 = -0*z - 2*z - 120. Let k be (2 + z/28)*15. Is k less than or equal to -3?
False
Let x = -0.1 + -0.9. Let v = x - -1.1. Suppose 0*m = -2*m. Which is greater: v or m?
v
Suppose d + 2*n - 6 = -3*n, -2*d - 6 = n. Let o = 2 + d. Let z be 4/3 + 0 + -2. Is o < z?
True
Let n be ((1950/(-9))/13)/((-1)/3). Which is smaller: n or 51?
n
Let p = 21/44 - 5/11. Is 0 at most as big as p?
True
Suppose -6 = -2*l + l. Suppose 5*i = -3*s - 21, 0 = 5*s + 2*i - l + 22. Let r = 1 - 2. Which is smaller: s or r?
s
Let r = -20 + 14. Let j = -4.7 + 0.7. Let n = j - r. Is 0.1 equal to n?
False
Let o(r) = r**3 + 6*r**2 + 6*r + 6. Let w be o(-4). Which is smaller: w or 15?
w
Let y be -1*(-4 - -3)*11. Which is smaller: y or 12?
y
Let g be (0 + 1)/(-1 + 0). Let q = g - 0. Let s = -3 - -3. Which is greater: q or s?
s
Suppose -v + 12 = -4*v. Suppose 5*p - 2*c + 68 + 16 = 0, 5*c + 105 = -5*p. Let g = 13 + p. Which is greater: v or g?
v
Let f = 35 - 34. Which is smaller: f or 2/109?
2/109
Let n(f) = -f**3 - 8*f**2 - f - 5. Let c be n(-8). Let q be (c/(-15))/(3/101). Let b = q + 19/3. Which is smaller: b or -1?
-1
Let t(n) = 2*n**3 - 4*n**2 + 3*n - 2. Let o be t(2). Let m be (-168)/(-15)*(-5 + 0). Let w be (3/(-2))/(21/m). Is o at least w?
True
Suppose 0*z - z = -3. Suppose -4*j + 4 = 4*i, -2*j - z*i + 1 = -j. Do 1 and j have different values?
False
Let z be (2/(-28))/((-2)/(-16)). Let t = z - -15/14. Is 0.2 at least t?
False
Let c be (-1 - -2)*(-4)/(-7). Let s be ((-18)/3)/(0 + -2) + -2. Is s >= c?
True
Let s be ((-3)/(-5))/((-5)/(-75)). Let z be ((-6)/s)/(4/18). Is z at most -4?
False
Suppose -b = b - 14. Suppose 0 = 3*v + 11 + b. Are v and -8 unequal?
True
Let y = 116 + -116.1. Let t = 0.4 - 0.3. Let s = t + 0.9. Is y greater than s?
False
Let o(b) = b**2 + 4*b + 2. Let y be o(-4). Suppose 56 = -5*w - 0*w + v, -w - 9 = y*v. Are -11 and w equal?
True
Let b be 72/16*2/(-51)*3. Which is greater: b or -2?
b
Suppose c - 2 = 2*f - 3, 0 = -3*c + 3*f. Suppose -2 = -3*z + c. Let u = -30 - -179/6. Which is greater: z or u?
z
Let m = -9 + 0. Does m = -6?
False
Let n(h) = -h**2 - 3*h - 1. Let u be n(-2). Suppose -2*o - 5 = -17. Let p = u - o. Which is smaller: p or -4?
p
Let j = 3 + -4. Let z = -904000293/796 + 1135679. Let f = -2/199 - z. Which is smaller: j or f?
j
Let t = 33 + -17. Let c be 18/(-42)*(-14)/t. Does -1 = c?
False
Suppose 0 = -b - p + 44, 3*b - 5*p - 15 = 117. Is 44 greater than b?
False
Let v be 1*((0 - 1) +