 - l. Is 1 <= b?
False
Let g(z) = 3*z**3 - z**2 - 2*z - 1. Let h be g(2). Suppose h = 4*o - 5*l, 2*l = 5*o - 0*l - 6. Suppose -3*a = -o*a - 3. Do a and -1 have the same value?
False
Let s = 3373 + -3369. Let d = -13 - -14.2. Is s > d?
True
Let s = 3035 + -5114. Is -2080 at least s?
False
Let d = -1017 + 1027.46. Let b = -0.46 + d. Which is smaller: 0 or b?
0
Suppose -5 = -v, -4*l + l - 2*v = 521. Let a be (-12)/8 + l/(-12). Let z = a + -13. Which is smaller: 0.6 or z?
z
Suppose -7 = n - 2*j, -n - j = 4*n + 13. Suppose -3*b + 15 + 36 = 0. Suppose -d + b = 3*t - 5*d, 2*t + 5*d + 27 = 0. Which is bigger: t or n?
t
Let q = 0.3 + -1.3. Let s = -140 + 135. Do q and s have the same value?
False
Let s(q) = 3*q + 9 - 3 + 3*q - 5*q. Let i be s(-10). Is i >= -4?
True
Let d = -2 - -2.3. Let j = -0.49 + d. Let k = 0.16 + j. Which is greater: -0.1 or k?
k
Let n be (-6)/(-81)*(-3)/6. Let v = 1 + -1. Are n and v nonequal?
True
Let x = 7 + 24. Suppose 5*c - 4*c + 16 = 0. Let n = x + c. Which is smaller: 16 or n?
n
Let s = -0.63 + 14.63. Is 3 equal to s?
False
Let c(l) = l**2 + 8*l + 9. Let g be c(-7). Let m = 4 - 3. Let z be g/(-1) - (-12 - m). Is z smaller than 12?
True
Suppose 2*h = h - 1. Let t be h/(6 - 0 - -2). Let x = -0.987 + -0.013. Which is smaller: x or t?
x
Let x = 10 - 16. Let h be (110/x)/(-5) + 0. Is -0.1 at most h?
True
Let y(o) = -o + 10. Let j be y(10). Suppose v + v = j. Suppose 3 = -i - v. Is i at most as big as 1?
True
Let n be -5*24/(-30) - -6. Which is greater: n or 14?
14
Let q = -271.6 + 274. Which is greater: q or -17?
q
Let p(i) = -i**3 + 4*i**2 - 3*i - 3. Let t(k) = -1 + 2 + k - 4*k. Let c be t(-1). Let j be p(c). Are j and -14 non-equal?
True
Suppose 84*b + 128 = 83*b. Which is bigger: -124 or b?
-124
Let g(z) = -2*z**3 + 8*z**2 - 5*z - 2. Let v be g(5). Let w = 70 + v. Is w smaller than -2?
True
Suppose 0*c + 4*c = 0. Suppose -5*j = -c*j. Let a = 13/28 - 5/7. Which is greater: a or j?
j
Let k(n) = -n**3 - 5*n**2 + 7*n + 5. Let v = -4 + -5. Let s = v + 3. Let r be k(s). Which is smaller: r or 2?
r
Suppose k - 5*k - 3*h - 91 = 0, -2*h - 24 = k. Let v = -17 - k. Let a = -12 + 17. Is a greater than or equal to v?
True
Suppose -2*u = -0*q + 2*q - 10, 2*q - 3*u = 0. Let n be 1 - (54/21)/q. Suppose -4 = -6*l + 2. Which is smaller: n or l?
n
Let l = 1432 - 1429. Which is bigger: -220 or l?
l
Suppose 0 = 4*f + 1 + 11. Let i = -770 + 776. Which is smaller: f or i?
f
Let r(b) = -7*b**2 - 3*b + 8. Let i be r(4). Let g = 1042/9 + i. Are 0.1 and g nonequal?
True
Let v be 7*2 - (69/21 + -3). Which is smaller: 13 or v?
13
Suppose -37*r + 31*r = -6. Is r less than or equal to 1/227?
False
Let n be 4/6 + 68/6. Let a be (-325)/(-104) - 1/8. Suppose -4*x = -2*w + w - 55, a*x - 5*w = 54. Are x and n equal?
False
Let d = 36908/13 + -224164/65. Let c = -1075 - -468. Let g = d - c. Are -4 and g nonequal?
True
Let v(i) = i**2 + 9*i - 3. Let h be v(-9). Let n be 1/(h/57 - 0). Suppose -35 = x - 17. Which is greater: x or n?
x
Let b be (8/(-20) + 0)*-20. Suppose b*y - 3*y = 30. Let n be (-2)/4*4/y. Is 1 not equal to n?
True
Suppose 3*q + 6*q = 0. Suppose -c - d = 0, -2*c + d = -q*d. Which is bigger: 1/7 or c?
1/7
Let f(p) be the first derivative of p**4/12 + p**3/2 + p**2 + 3*p + 9. Let z(q) be the first derivative of f(q). Let s be z(-2). Is s > 2/21?
False
Let p = -92 - -3. Let s = -99 - p. Which is bigger: -7 or s?
-7
Let s(t) = t**3 + 8*t**2 + 6*t - 7. Let y be s(-7). Let l be 0 + (-2)/1 + y. Let f be (-9)/21 + (0 - (-75)/(-21)). Which is bigger: f or l?
l
Let c(w) = -4 - 2 + 5*w + 2 - w. Let z be c(7). Do 24 and z have the same value?
True
Let s = -0.444 - -0.344. Is s != -0.33?
True
Let b = -1 + 1. Let j = 613 + -612. Is j equal to b?
False
Let v(t) = -61*t - 377. Let q be v(-6). Which is bigger: q or -39/4?
-39/4
Let s(u) = u**2 + 6*u - 10. Let q be s(-7). Let h = -6 - -4. Do h and q have the same value?
False
Let d(n) = n**2 - 10*n + 3. Let y be d(9). Let f be y/27 - (-78)/(-135). Let k = 15 + -15. Which is greater: f or k?
k
Suppose -6 = 2*v - 38. Let k = -5 - v. Is k bigger than -83/4?
False
Let k be (-12)/(-40) - (-6)/(-10). Which is smaller: k or 1?
k
Let g = 7618/5 + -1517. Let h(o) = -58*o - 516. Let n be h(-9). Is n equal to g?
False
Let v(x) = x**2 - x + 1. Suppose 2*o = 3*o. Let r be v(o). Suppose w = -3*t + 5, -3*t + 2*t = 3*w + r. Which is smaller: 1 or t?
1
Let x = 0 - -3. Let s = 0 + x. Let h = 0.05 - -0.25. Are h and s unequal?
True
Let g = -86 - -89. Is g smaller than -26/3?
False
Let x(d) = -d**3 + 8*d**2 - 8*d + 4. Let z be x(7). Let g be 3/z - -2 - -139. Let n = -1541/11 + g. Is 0 > n?
True
Let f(v) = v**2 + 2*v - 2. Let u be f(-4). Let p = -3 + u. Suppose c = 2*b + 6, p*b - 4*c + 4 = -5. Are -1 and b non-equal?
True
Suppose 3*r + 9*r + 0*r = -0*r. Suppose -2*v + 5*u - 26 = 0, 2*u - 12 = 2*v + 4*u. Which is smaller: v or r?
v
Let r = -105 + 101. Which is greater: -28/3 or r?
r
Suppose -166 = -s - 0*s. Let l = s - 1164/7. Which is bigger: 8 or l?
8
Suppose 0*q - 2*q = 3*m - 3, -m = 4*q - 1. Suppose -3*s - 53 = 1. Let g be (-8)/(-36) + (-14)/s. Is g at least q?
True
Suppose 50*k = 47*k + 264. Which is smaller: k or 87?
87
Let p = -9 - -11. Suppose v + p + 9 = 2*f, -3 = -2*v - f. Which is bigger: v or 6/29?
6/29
Let z(p) = -p + 8. Let l be z(4). Let n be l/3 + -1 - 3410/10140. Is n less than or equal to 0?
True
Let n = 1/4302 + -258133/55926. Is n smaller than -4?
True
Let u = -187.1 - -187. Suppose -3*v + v = -10. Is u > v?
False
Suppose 143*q = 135*q - 1400. Which is smaller: q or -2?
q
Let t = -379.96 - -380.1. Let k = 0 + -3. Is t bigger than k?
True
Let g = -24.5 + 14.6. Let q = 5.9 + g. Let n = 40/7 + -134/21. Which is greater: q or n?
n
Let c = 16.56 - 16.5. Does -19 = c?
False
Let n = -34 - -33.5. Suppose -11 = -s + z - 4*z, 1 = z. Let v = -8 + s. Is n equal to v?
False
Suppose -p + 10 = -3*m + p, 4*p = m + 10. Let r be m + (1 - 44/(-52)). Which is smaller: r or 4?
r
Let o be 0 + 3 - (-36)/(-7). Suppose 0 = -2*w + 10 - 12. Which is greater: o or w?
w
Let x = 1242/5 + -83224/335. Which is smaller: x or 1?
x
Let o = -16 - -27. Let r be ((-11)/(-5))/(21/105). Let x = r - o. Do -1/3 and x have the same value?
False
Let f = 2 + 62. Let y = -63 + f. Which is bigger: -1.5 or y?
y
Let l be ((-105)/(-25) + -5)/(2/(-45)). Suppose f = l + 3. Is 21 at least f?
True
Let w be (1 - 2/4) + 4340/(-8432). Is w <= -1?
False
Let b = 53.9 - 57. Let o = 5.4 + b. Let x = -3.3 + o. Which is bigger: x or -3/2?
x
Let o be -6*((-8)/12)/2. Let x be (8 + -7)/(2/o). Which is smaller: x or -0.1?
-0.1
Let r = -4.28 + 3.957. Which is smaller: r or 0?
r
Let q be -14*(1 - 4)/(-6). Let i = q - -8. Let j = 21/4 + -181/36. Which is bigger: i or j?
i
Let m(r) = -r**3 + 18*r**2 - 37*r + 81. Let h be m(16). Is h smaller than 13.9?
True
Let y(x) = -32*x**3 + 1. Let z be y(1). Which is greater: z or -0.4?
-0.4
Let u be 5/(-35)*0*1*-1. Suppose 2*d + 4*q - 314 + 98 = 0, u = -3*d - 5*q + 324. Which is bigger: d or 107?
d
Let c = -15961/1061042 - 1/5386. Is c at least as big as 1?
False
Let f = -1427 + 1410. Is 6 equal to f?
False
Let t = -0.089 + 0.089. Is t bigger than -6?
True
Let o = -14.1 - -15. Let b = -124 + 124.59. Let h = -0.49 + b. Which is bigger: o or h?
o
Let c = -365/22 + 6703/286. Is 6 != c?
True
Let o = 233 + -222. Is o at least as big as 37/3?
False
Let o be (-61)/(-639)*(406/(-4) - -2). Let h = o + -1/639. Is h greater than or equal to -10?
True
Suppose -6*l + l + 30 = 0. Let u(b) = -5*b**3 - 4*b**2 + 4*b - 9. Let x be u(l). Let r be 3*(x/(-405) + -3). Are -1 and r unequal?
True
Let c be (-1311)/(-230) - (-12)/(-2). Let m be (-2 - -2) + 1 + 0. Which is bigger: c or m?
m
Let x(n) = -6*n. Let a be x(-3). Suppose 0*d - a = -6*d. Suppose 19 = o - 4*l, -l - d = -0*o - 2*o. Which is smaller: o or 3/20?
o
Let s be (2/4)/(5/30). Suppose 4*b - m = 41, -m = 2*m + s. Suppose 0 = 5*u - 2*u - 4*r - 38, b = -2*r. Is u != 5?
True
Let w be (0 - 5)*((-126)/(-35) - 2). Let g = 1/82 - 308/41. Which is smaller: g or w?
w
Suppose w + 0*w + 1 = 0, -5*w + 265 = -3*x. Let v = x - -87. Which is smaller: -5 or v?
-5
Let z be (20/(-15))/(-1*(-3)/(-495)). Is 1539/7 greater than z?
False
Let z be -2*-68*(-1 - 54/(-24)). Is -2 < z?
True
Suppose -8*k + 4*g = -4*k + 864, -4*g + 207 =