 be d(-1). Is -5 <= g?
True
Let q(l) be the first derivative of l**3/3 - 5*l**2/2 + 2*l + 2. Let j be q(4). Let k = j - -1. Which is bigger: k or -2/13?
-2/13
Let u(o) be the first derivative of o**4/4 - o**3 - o**2 + 3*o - 1. Let i(n) = n**2 - n - 3. Let s be i(3). Let d be u(s). Is d less than -3?
False
Let p be (-4)/(3*1/3). Let i be p/(-1) - (5 + -3). Suppose i*z + 0*z = -6. Is z at most -4?
False
Suppose 0*y = 5*y + 5. Let g be (-429)/455 - y/(-5). Which is smaller: g or -1?
g
Let x = 8 + -4. Suppose -u = -x, u = 3*y + 4*u - 3. Do y and -4 have the same value?
False
Let i be (-1)/(-1 - (-8)/10). Suppose -3*k = f - i*k - 7, 3*k = -f - 13. Is f at most as big as 1/6?
True
Let q = 13.8 - 14. Is -14 greater than q?
False
Let m = 543/8 + -339/5. Is m bigger than 0?
True
Let c = 8 + -14. Let q = 7 + c. Is -2/3 at most as big as q?
True
Let h = -52 - -38. Is h smaller than -11?
True
Let u = -2/9823 + -28561/4459642. Let d = u - 651/4540. Are d and -1 equal?
False
Let b(j) = 2*j**2 + 6*j - 4. Let d be b(-5). Suppose 5*l = -2*w - d, -3*w + 5 - 14 = 0. Let u = 1 + l. Do u and 0 have the same value?
False
Let h = -5 - -4. Which is bigger: -2 or h?
h
Let k = 5 - 4.2. Let m = -0.72 + k. Is -1 greater than m?
False
Let l(q) = 2 + q**2 - q + 3*q - 5*q. Let o be l(3). Which is smaller: 4 or o?
o
Let t(b) = 2*b + 5. Let o be t(3). Let l = o + -10. Let p = 3 + -4. Which is bigger: l or p?
l
Let c be 7940/6550*10/(-32). Let w = 1/262 + c. Is -1 at most w?
True
Let r be 112/(-26) + 2 - -2. Which is bigger: -1 or r?
r
Suppose 0*d = d - 20. Suppose 0*x - 3*o = -2*x - 18, -5*o = -d. Suppose -3*a + 0*a - 6 = 0. Which is smaller: a or x?
x
Suppose k + 2*d - 34 + 0 = 0, -5*k = 2*d - 162. Suppose n + 47 = 5*j + 7, -3*n = 4*j - k. Is 7 less than or equal to j?
True
Suppose -9*t - 208 + 10 = 0. Are t and -23 unequal?
True
Let k = 2 + 8. Let f = 59 - 50. Let p = k - f. Is p at most as big as 2/9?
False
Let k(v) = 4*v + 11. Let m(y) = 5*y + 11. Let h(c) = -4*k(c) + 3*m(c). Let z be h(-6). Which is smaller: -0.1 or z?
z
Let b be 8268/22 - (3 + -3). Let t = -446 + b. Let d = -70 - t. Does d = -1?
False
Let d = 0.1 - 0.1. Let h = -0.42 - -0.32. Which is greater: d or h?
d
Let q(p) = 2*p**2 + 6*p. Let r be q(-4). Suppose -r*f = -k - 3*f - 20, 0 = -k + f - 4. Does k = -3?
False
Let k(h) = 3*h - 71. Let d be k(29). Let j = 5 + 12. Which is greater: d or j?
j
Suppose -4*p + 0*p + 5*l - 16 = 0, p = -2*l - 4. Let r = -9 - -4. Is r at least as big as p?
False
Let q be (-16)/(-8)*1/15. Suppose 2*g + 2*g = 20. Suppose -g = 5*m - 3*m + l, 5*m = -l - 8. Is q at most m?
False
Let p = -0.03 - 14.97. Let n = p + 17. Which is smaller: n or 3?
n
Let p be -1 + 2 + (-39)/(-3). Suppose 3*x - i = -x - 11, -5*x + i = p. Which is smaller: 0 or x?
x
Suppose 7 = 2*q - 3. Let t(p) = -p**3 + 6*p**2 - 4*p + 1. Let u be t(5). Which is smaller: u or q?
q
Let h = 2 + 1. Let d(g) = -g + 6. Let i be d(h). Suppose -i*p + 3*y = -3, -5 = -3*p + 2*y - y. Is 1 < p?
True
Let c = 1.98 + -2. Let q = c - -0.02. Is 1/3 less than q?
False
Let n = 0.02 - -2.08. Is n less than or equal to 2/5?
False
Let v = 0.21 - 0.21. Let l = 2.01 - 0.01. Let u = -2.3 + l. Are u and v equal?
False
Let b be ((-3)/24 + -1)/3. Which is smaller: 0 or b?
b
Let x(w) = -w**3 - 10*w**2 - 2. Let d be x(-10). Which is greater: 2/5 or d?
2/5
Let k be (3/(-26))/(2/(-4)). Is -1 less than or equal to k?
True
Let p = 46 - 43. Which is greater: -2 or p?
p
Let j(z) = -z**3 - 4*z**2 - z - 2. Let c be 4/(-14) - (-26)/(-7). Let h be j(c). Suppose -5*u = 2*l - 9, 0 = 5*u - 11*l + 6*l - 30. Is h at least as big as u?
False
Let q = 1.1 - 1.14. Let h = q - -1.04. Which is greater: 4 or h?
4
Let l = 8 - 24. Let w be ((-2)/5)/(l/20). Let v = -3 + 4. Which is smaller: v or w?
w
Let k be -1 - 520/9 - (-112)/(-504). Is 1 less than k?
False
Suppose 5*d + 22 - 102 = 0. Let c be 1/(-4) + 4/d. Let b be (-2 - 0) + (c - -1). Is b greater than or equal to -1/4?
False
Let z = -1 - -0.8. Let x = 1.8 + -0.7. Let i = 1 - x. Is z > i?
False
Let t = 7 + -5. Let y = -8 - -23. Suppose 4*l - 8 - 10 = t*h, -5*l - 5*h = y. Which is greater: -1 or l?
l
Suppose 0 = 13*a - 2*a + 44. Suppose -5*f + 5 = -4*g + 3, -3*f = -2*g. Are a and g unequal?
True
Let w = 6.4 - 6. Let j = 4 - 4.3. Let f = j + w. Which is smaller: f or -1?
-1
Let x be (-12)/(-9)*6/4. Suppose 4*l + b = x, -l + 4 + 1 = -2*b. Which is smaller: -3 or l?
-3
Let b = -55 - -54. Which is smaller: -23 or b?
-23
Let n = -14 + 11. Which is greater: 1/2 or n?
1/2
Let o(y) = y + 2. Let j be o(-2). Suppose 2*h = 4*a - 3*h + 49, a = -2*h + 4. Let b be 9/(-21)*a/9. Is j at least b?
False
Suppose -5*v = 4*w + 17, -3*w + 4 = 5*v + 18. Let z = -0.01 + -0.04. Let j = 0.05 - z. Which is bigger: w or j?
j
Let j(n) = n**2 + 11*n + 11. Let w be j(-10). Let r be -6 - -8 - w*-1. Let u = -6 + r. Which is smaller: u or -5/2?
u
Let r = 1619160451535/13302 - 121723082. Let i = r - -1/1478. Which is smaller: i or 0?
0
Suppose -3 = 3*c + 15. Let q be (2/c)/(1/(-3)). Is 2 at most q?
False
Let t be 4/(4/(-6) - 408/(-558)). Is t bigger than 61?
True
Suppose 5*t + 5 = -j, 5*t - t + 4 = -2*j. Which is smaller: t or 2?
t
Let o = -0.4 + -3.6. Which is bigger: 2/7 or o?
2/7
Let y be 4/6*(-18)/(-4). Let o = 1 + y. Suppose 4*z - 2*u - 16 = 0, -3*z + 7*z + o*u = -8. Which is smaller: 4/7 or z?
4/7
Suppose -u + 5*u = 32. Suppose -5*x + u = 3. Let v = -58 - -172/3. Which is greater: x or v?
x
Let d(l) = -l**3 + 7*l**2 + l - 2. Let v be (-12 + -2)*(-2)/4. Let s be d(v). Suppose -5*f = -y + 21, -s = 2*y - 4*f - 23. Does y = 0?
False
Let y = -28/3 - -94/9. Is 2 >= y?
True
Let k be (-2 + 3/9)/((-2)/(-12)). Is -2 at least k?
True
Let b be 64/24*6/4. Which is greater: 2/5 or b?
b
Let p = -31 + 27. Which is greater: 7 or p?
7
Suppose -8 = 5*j - 28. Suppose 0 = 4*d - 4*g - 32, 3*d = g + 4*g + 32. Is d at most j?
True
Suppose 31 = 4*m - 5*c, -c + 0 = 3. Are 6 and m non-equal?
True
Let m(u) = u**3 - 3*u**2 + 3*u + 4. Let v be m(2). Is v >= 9/2?
True
Suppose 0 = -c + 3*k + 15, 5*c - 19 = 3*k - 2*k. Let f = c + -6. Is -3 < f?
False
Let w(d) = -2*d**3 + 3*d**2 - 2. Let q be w(2). Which is smaller: q or -5?
q
Let q(c) = -c**2 + 5*c + 6. Let l = -9 - -13. Let i be q(l). Is 10 equal to i?
True
Let c(n) = n + 2. Let l be c(3). Let f be 9*(2 - l/3). Suppose -o - 750 + 754 = 0. Is o greater than or equal to f?
True
Let x = -53/4 - -13. Which is smaller: 0 or x?
x
Suppose -5 = i, -i = 2*f + f - 7. Suppose 0 = 4*u + 2*a + f, -4*u + 20 = -0*a - 4*a. Let k be u*2 + (-21)/9. Which is smaller: 0 or k?
k
Let f = 0.3 + -1.3. Let v be (7 - (-4)/2)*1. Let i be ((-3)/v)/(12/9). Do f and i have different values?
True
Let l = -180 + 185. Is 4 at least l?
False
Let g = 2.6 + 0.8. Let s = -4 + g. Let x = 0.4 - s. Which is smaller: -2 or x?
-2
Let f = 16/9 - 4/9. Let i = -33 + 32. Which is smaller: f or i?
i
Let f = -3448219/36840 + -1/7368. Let j(p) = 5*p**2 + 7*p + 4. Let c be j(-5). Let o = f + c. Which is smaller: o or 1?
o
Suppose 0 = 5*f + 29 + 6. Let q = -8 - -2. Which is smaller: q or f?
f
Suppose 3*a - 3*v + 0 = 18, -v + 10 = 3*a. Let s = -2 - a. Let o be s/((-6)/2) + 1. Is o greater than or equal to 3?
True
Suppose 0*c + 4 = 2*c. Let v = 13 - 11. Let h = c - v. Is h less than 2/3?
True
Let r = 1363/748 - -111/68. Which is greater: r or 3?
r
Let z = 53 - 478/9. Is -1 greater than z?
False
Let t = 0.9 + -0.6. Let j = t - 0.4. Which is smaller: -6 or j?
-6
Let s be 10/12*(-8)/(-5). Is s smaller than -4?
False
Let g = -13 - -18. Suppose 2*s + g = -21. Which is greater: -14 or s?
s
Let g = -77149/6 + 12898. Let m = 81/2 - g. Suppose -1 + 1 = 8*b. Is b bigger than m?
False
Let s = 1138/849 + -2/283. Let b = -2 - -4. Suppose 0 = -f + 3*f + b*a + 4, -20 = -4*f + 3*a. Which is greater: f or s?
f
Let r be (-35)/30*(-24)/(-210). Let v(o) = o + 4. Let t be v(-5). Is t < r?
True
Suppose 3*l - 33 = 2*g - 0*g, 0 = 3*g + 4*l + 7. Let k be 66/g + (-4)/6. Let r = -0.54 - 0.46. Which is bigger: r or k?
r
Let k = -226 - -457/2. Let i(w) = 2*w**3 + w**2. Let a be i(1). Which is bigger: a or k?
a
Let y(b) = 31*b + 30. Let a be y(-4). Is a greater than or equal to -94?
True
Suppose 3*w + 0*w + l = -2, w + 3*l = 2. Let c(h) = 2*h**2 - 2*h - 1. Let s be c(w). Let f = s - 4. Is 0 less than f?
False
Le