 z(i) = i**3 + 3*i**2 - 5*i - 1. Let o be z(-4). Suppose 3*q + 0*q = 5*l - 7, -3*l + 3*q + o = 0. Let h = 4 + l. Is 6 <= h?
True
Suppose -t = -2*t + 3. Suppose 4*q - t*q = 0. Suppose q = 2*c + 2*c - 16. Which is greater: 0 or c?
c
Suppose -p - 3 = 3*j - 16, -5*j = p - 21. Is 1 at most p?
True
Let d = 0.1 - -5.9. Let h = 8 - d. Let k = -30/13 + 236/91. Which is smaller: h or k?
k
Suppose 0 = 2*x + 2*u + 16, -2*x + 11*u + 14 = 7*u. Is -4 < x?
True
Let q = 19.83 - -0.17. Let v = q - 11. Are -0.1 and v equal?
False
Let n = -26.8 - -29. Let m = n + 15.8. Which is greater: -1 or m?
m
Let p = 8 + -5. Let t be 2/4 + 14/(-4). Let u(f) = -f. Let q be u(t). Is q equal to p?
True
Let b be ((-4)/(-10))/((-1)/5). Let q be (32/20)/(b/(-5)). Which is greater: 3 or q?
q
Let k = 12 - 4. Let x = k + -14. Which is smaller: x or -4?
x
Let d(p) be the second derivative of -p**4/12 - 3*p**3/2 + 3*p**2 - 2*p. Let j be d(-7). Let k be 28/j - (1 - 0). Which is bigger: -1 or k?
k
Let x(r) = r**2 + r + 2. Let d be x(3). Let g be -223*(-2)/d - 0. Let c = g - 32. Which is smaller: c or 0?
c
Let v be 16/8*(0 + 1/(-4)). Let g(j) = j - 4. Suppose -4*h - 3*c - 6 + 3 = 0, -7 = h + 2*c. Let s be g(h). Is v at most s?
False
Let w = 20/9 + -55/18. Is -1 < w?
True
Let b = 1070071/14581138 + 2/50983. Let j = -1067 + 23479/22. Let q = b - j. Is q greater than 0?
False
Let x = -24 - -24. Suppose -s + x*s + 11 = -2*u, -5*s - 5 = 5*u. Which is smaller: -0.3 or u?
u
Let b = 12 - 20. Let f be 2/b - (-5)/4. Which is smaller: -1/9 or f?
-1/9
Suppose 0 = -5*y + 4*v - 295, -2*y = -3*y + v - 59. Which is smaller: -60 or y?
-60
Let x be 2/5 + 1 + 2/(-5). Which is smaller: 3/37 or x?
3/37
Let m(n) = -n**3 + 5*n**2 - n + 7. Let z be m(5). Let l be z*(-1)/2*1. Is 1 bigger than l?
True
Let b = 0.14 - 0.04. Let m be 4/3 + (-1 - 1). Which is bigger: m or b?
b
Let u = 162 - 160.06. Let i = u + 0.06. Is -2/3 at least as big as i?
False
Let c = 82 + -573/7. Suppose 2*u = -0*u + 12. Let k = -6 + u. Is k at least c?
False
Let d(n) = -n - 7. Let f be d(-7). Let m = 19 - 12. Suppose -2*h - m = -f*h - i, -4*h = 5*i - 7. Is 0 at most as big as h?
False
Let b be (-4)/(-8)*6 - 171/11. Is -13 less than b?
True
Let z be (-3 - 2*-1) + -1. Let f(k) be the second derivative of k**3/6 - 3*k**2/2 - k. Let y be f(3). Which is bigger: y or z?
y
Let i(b) = 14*b**3 + 32*b**2 + 7*b + 5. Let m(g) = 5*g**3 + 11*g**2 + 2*g + 2. Let a(t) = -4*i(t) + 11*m(t). Let p be a(-6). Is 1 not equal to p?
True
Let w(p) = p**2 - 7*p - 7. Let b be w(8). Which is smaller: 6/7 or b?
6/7
Let r = 108610/287 - -1060/41. Let a = -403 + r. Which is greater: 2 or a?
2
Suppose -5*r + h + 2*h + 215 = 0, -135 = -4*r - 5*h. Is 40 less than r?
False
Let f be (-182)/(-21) - (-2)/(-3). Let z be (2*-1)/(f + -3). Let j = -17/28 + 3/28. Is j != z?
True
Let c be (5 + -6)*1*5. Is c smaller than -9/2?
True
Let r(p) = p**3 + 3*p**2 + 3. Let t(b) = -b**2 + 1. Let y(o) = r(o) - 3*t(o). Let d be y(-6). Suppose x = 2 - 3. Are x and d equal?
False
Let s be 4/24 + (-946)/4650. Let y = s + -1/310. Are 0 and y equal?
False
Suppose -2*r + 2*t + 5 = -7, 4*r = -t + 14. Is 0.03 at most as big as r?
True
Let d(y) = 2*y - 6. Let t be d(5). Let w be (6/t)/((-4)/8). Which is greater: 1 or w?
1
Let n = -6 + 5.7. Let x = n - 0.2. Let w = x + 0.4. Is w greater than -2/13?
True
Let l be 1 - 6*2/(-4). Which is smaller: l or -0.05?
-0.05
Suppose 3*h + 4 = 5*h. Let o be ((-2)/12)/(h/8). Which is greater: -0.1 or o?
-0.1
Let a be -55*2*2/15 - 3. Are -17 and a nonequal?
True
Let s be 3/(-5) - 63/(-135). Is -1 at most as big as s?
True
Let t be (1/(-4))/(2 + -3). Let p = -3 + 3. Let j(x) = -x**3 + x. Let h be j(p). Which is greater: t or h?
t
Let z be ((-21)/(-12) + -2)*2. Let h(t) = 8*t + 1. Let j be h(-7). Let k = 273/5 + j. Is z != k?
True
Let u = 0.18 - 0.88. Let v = u - 0.3. Let y = v + 1.1. Is y less than -0.2?
False
Let m be (-5)/(-45)*-3 + 14/15. Let t be (4/5)/(2/10). Suppose t*z = -z. Is z not equal to m?
True
Let c(d) be the second derivative of d**4/12 + d**3/6 - d**2/2 + d. Let z be c(1). Are z and 3 unequal?
True
Let q = -0.4 + 0.3. Let c = q - -0.1. Let j = c + -0.1. Is j < -2/5?
False
Let x be (-2 + 4)*(-52)/(-56). Is 2 >= x?
True
Let i = -40 - -38.8. Which is smaller: 2 or i?
i
Suppose 16 = -2*c - 2*f, -13 = 5*c - 3*c + f. Suppose 5*s - 4*o = -14, 0*s + 3*s + o = -5. Let d be (s/(-4))/(1/(-10)). Does c = d?
True
Suppose -o = -0*o + 5, x = 4*o + 23. Suppose a = x*a - 2. Suppose -4*q + 0*q + 4 = 0. Is q >= a?
True
Suppose -4*t = -o + 45, -5*o + t = -o - 135. Is 34 < o?
False
Let v(y) = y**2 - 2*y - 4. Let b be v(3). Let l = -595/22 + 53/2. Which is bigger: b or l?
l
Let x(n) = -n - 4. Let i be x(-4). Is i smaller than -1/7?
False
Let c(y) = 5*y**3 - 5*y**2 + 5*y - 1. Let b(s) = 9*s**3 - 10*s**2 + 9*s - 2. Let x(h) = 4*b(h) - 7*c(h). Let r be x(5). Let q = r - 4. Is 3/5 != q?
True
Let t(q) = q + 12. Let a be t(-14). Is -1 less than or equal to a?
False
Let x be (1 + -2)*1*(16 - 16). Which is bigger: x or 1?
1
Suppose -28 = -4*g - 4. Let o be -1 - (g + -2)*-4. Is o greater than 14?
True
Let q be (6/8)/(804/32). Let b = 59/268 + q. Is b != 0?
True
Let z(k) = -3 + 3*k + 10 - 4*k. Let h = 13 - 6. Let w be z(h). Which is greater: -2/11 or w?
w
Let o = 196 - 193. Let q = -2.4 - -0.4. Let j = -3 - q. Is o less than j?
False
Let y be (63/6)/(-7)*2. Is 6 less than or equal to y?
False
Let k = -19 - -18. Is k greater than -1/7?
False
Let w = 18449/50 - 369. Which is bigger: 1 or w?
1
Let k be 1/(10/(-36)) + 3. Suppose 4*f + 4 = 0, 0*m + 3*f = -5*m - 23. Let l be ((-6)/(-3))/(m/2). Which is smaller: l or k?
l
Let i = -0.76 + 0.8. Which is bigger: -2 or i?
i
Suppose -3*m - 62 = 2*h, 4*h + 144 = -0*m + 4*m. Is h not equal to -34?
False
Let g(l) = -4*l. Let i be g(-2). Is i greater than or equal to 8?
True
Let n = 147 - 1031/7. Which is bigger: n or -9?
n
Suppose -4*x = -14 + 6. Let y = 1 + x. Are y and 1 non-equal?
True
Let j(m) = -m. Let p be j(-6). Let n = 13 - 9. Which is smaller: p or n?
n
Let m(n) = -4*n - 1. Let d be m(-1). Suppose -3*v = -d + 6. Let s be 3/5 - (0 + 1). Is v >= s?
False
Let w = 15 + -21. Let j = w - -6.1. Let s = -0.1 - -0.2. Do j and s have different values?
False
Let i = 17.1 + -17. Which is smaller: i or 1/19?
1/19
Let m(g) = -g**2 + 4*g + 7. Let y be m(5). Let u = 1 + -191. Let s = 575/3 + u. Which is smaller: s or y?
s
Suppose 4*d - 5 = 7. Suppose -z + 2*z - 4 = 0. Is z < d?
False
Let k = 5 + -5. Let r = k + 0. Let v = r - 2. Is -1 greater than v?
True
Let v(s) = 4*s - 1. Let n be v(1). Let d = -6 + 8. Let j be (14/6 - d)*12. Is j bigger than n?
True
Let y = 92 + -92. Let r = -1 + 0.2. Which is greater: y or r?
y
Let d = -2.3 - -2. Is 10 at least as big as d?
True
Suppose 0 = -17*l + 20*l + 3. Which is smaller: 11 or l?
l
Let s be (-2)/(-2)*(-2)/2. Which is smaller: s or -2/3?
s
Suppose -3*l - 13 = 2*t - 3, -4*t - 3*l = 14. Which is bigger: -1 or t?
-1
Suppose 0 = 2*m - 8 - 0. Which is smaller: 3 or m?
3
Let w be 3 - -37*1/(-13). Let c be 0*2/8*-2. Is c less than w?
True
Let r(l) = l**3 + 11*l**2 - 10*l + 24. Let o be r(-12). Which is smaller: o or 1/9?
o
Let k = -9 - -5. Let h = 7 + k. Let l = h + -2.9. Which is bigger: 0.2 or l?
0.2
Let j = 6 + -7. Let i = j - 0.6. Let h = 2 + i. Is h at most as big as 2/7?
False
Let u = 11 - 9. Which is smaller: -9 or u?
-9
Let l(d) = -d**3 + 9*d**2 - 8*d + 3. Suppose 32 = 4*u - 6*h + 4*h, -3*h + 16 = 2*u. Let b be l(u). Which is greater: 4 or b?
4
Let k(h) = 13*h. Let i be k(-1). Let o(l) = -l**2 - 12*l + 14. Let g be o(i). Which is smaller: 0.2 or g?
0.2
Let y be 27/6 - (-1)/(-2). Let w = 1201/119 + -69/7. Let t = w - 25/34. Which is smaller: y or t?
t
Let w be ((-12)/(-162))/(14/12). Let i = w + -218/1449. Do 1 and i have different values?
True
Let u(g) = -16*g - 11. Let k be u(-3). Is 34 smaller than k?
True
Suppose y + 8 = -2*l - 0*l, -5*l = -5*y + 20. Which is greater: y or 163?
163
Let r = -14 - -13. Let z be ((-1)/(-12))/(0 - r). Which is bigger: 0 or z?
z
Let u be 2/1*(-1)/2. Let t = -31 - -52. Let i be (-4)/t*(-6)/(-4). Are u and i equal?
False
Let f(z) = z**2 - 4*z - 5. Let s be f(5). Suppose s*c + c = 0. Let k be 3/(-6)*c/(-3). Are k and 0 non-equal?
False
Let g = 8 - 21. Which is smaller: -14 or g?
-14
L