s smaller: 0 or l?
l
Let g = -2926/5 - -587. Let s = 8 + -6. Is g greater than s?
False
Let s(i) = i**3 - 7*i**2 + 3*i. Let b be s(5). Is b > -35?
False
Let h = 0.1 + -3. Let c = -3 - h. Which is smaller: c or -3?
-3
Let c = -12 + 4. Let d = c + 7.8. Is -4 < d?
True
Let i(s) = -3*s + 9. Let m be i(3). Suppose -4*g - 3 = -15. Is m at most as big as g?
True
Let i = -30 - -34.09. Let r = -0.09 + i. Let p = -344 - -344. Which is smaller: r or p?
p
Let v(f) be the second derivative of -f**3/6 - 2*f**2 - 2*f. Let x be v(-8). Do 3 and x have the same value?
False
Let m(x) = 8*x + 5. Let b be m(-5). Let h = -15 - b. Let d be (-6)/h*(5 + -7). Is -1 greater than or equal to d?
False
Let h = -11/30 - -4/15. Which is greater: h or 1?
1
Let y(t) = -6*t + 36. Let m be y(7). Suppose -6 = -5*s + 4*q - 1, 0 = -3*s + 2*q + 3. Let j = -5 - s. Is j smaller than m?
False
Let j(i) = -i**3 - i**2 + 3. Let u be j(0). Suppose m - 4 = u*g, -4*m - 8 + 24 = 2*g. Is 2/5 greater than g?
True
Let m be (-778)/(-5) - 4/(-10). Let j be 1/2 + 10/m. Let a = j + -16/13. Which is greater: a or 0?
0
Let p = 1297/133 - 69/7. Suppose -5*d + 4 = -s, d - 3 = -5*s + 3*d. Is s bigger than p?
True
Suppose -s = -2*l - 0 + 12, 3*l - 16 = s. Is s < 1?
True
Let s = -1.2 - -1.2. Let u = 2 + -2.1. Let t = s + u. Is 0 less than t?
False
Let y(i) = -i**3 + 5*i**2 - 5*i - 4. Let v be y(2). Let t be ((-3)/(-4))/(6/(-4)). Which is greater: v or t?
t
Let r = -9671/96 + 403/4. Is r at least -1?
True
Let y(j) = -2*j + 1. Let u be y(1). Which is smaller: u or 2/57?
u
Suppose 0*p = p - 1. Do p and 2/25 have different values?
True
Let v(a) = -6*a - 13. Let q be v(-2). Which is smaller: 1/115 or q?
q
Let n = 10300/3 - 3496. Let v = n - -62. Let r = -1 - -2. Which is smaller: v or r?
v
Let q be 8/(-12) - (-10)/(-3). Let x = 3 + q. Is 1 at most x?
False
Let i = 1.96 - -0.04. Let z = i - 2.8. Let x = -0.2 + z. Which is smaller: 3/5 or x?
x
Let g be 1/4 + (-6 - 321/(-60)). Suppose -5*d = i - 2*d - 2, 2*i - 4 = -5*d. Which is bigger: i or g?
i
Suppose -z - u + 2 = 0, -5*z - u = -1 - 1. Let n be (2/21)/((-105)/(-49)). Which is bigger: n or z?
n
Let o = -2176 + 1141. Let y be 6/(-10) - 531/o. Is 1 < y?
False
Let r = 31 - 98. Let f = -7003/152 - 400/19. Let b = r - f. Which is greater: -1 or b?
b
Let x = 27 - 30. Which is bigger: x or -2?
-2
Let y = 0 - 0.2. Let l = 1.1 - 0.1. Let g = l - 0.9. Is g greater than or equal to y?
True
Let j be ((-2)/5)/((-3)/5). Let s = -130 - -131. Is s > j?
True
Let y be (22/8)/(12/(-72)). Is y greater than or equal to -16?
False
Let d(y) = -y**3 - 5*y**2 + y - 13. Let h be d(-6). Let o = h + -43/3. Which is greater: 2 or o?
o
Suppose -b - 8 = 8. Which is bigger: -17 or b?
b
Let q = 4 - -2. Suppose -4*s = -s - q. Is 3 greater than or equal to s?
True
Suppose -n + 3 = -4*n. Suppose -4*v = -t - 6, -v - t + 5*t + 9 = 0. Let d = v + n. Is d not equal to 1?
True
Suppose 0 = -5*s + q - 2, 2*q + q = 6. Which is bigger: 2/3 or s?
2/3
Let h(j) be the second derivative of -j**3/6 - 4*j**2 + 3*j. Let y be h(-4). Is -3 smaller than y?
False
Suppose 2*g - 5*g = -6. Let v = 1 + -1. Let j be (-1 - v)*g/2. Which is greater: -1/3 or j?
-1/3
Suppose 3*n - 11 = i, 0 = -4*i + 4*n - 2*n + 6. Let t be (1 + -1)/((-4)/(-2)). Suppose t - 5 = -c. Is i at most c?
True
Let c(g) = -g + 27. Let d be c(17). Suppose -4*k - 22 - d = 3*z, -2*k - 24 = 2*z. Which is smaller: z or -17?
-17
Let u = -35.3 - -34. Is 1 greater than or equal to u?
True
Let r(g) = -g**3 - 8*g**2 - 7*g - 3. Let u be r(-7). Let o(w) = 4*w + 8. Let n be o(-3). Is n smaller than u?
True
Let c = 2 - 0. Is 10/13 bigger than c?
False
Let w(c) = c**2 + 2*c - 29. Let o be w(4). Suppose 1 + 9 = -5*f. Are o and f nonequal?
True
Suppose -6*o + 4*s = -2*o - 124, 0 = -4*s - 20. Does o = 26?
True
Suppose -8 = -2*q - 6. Let s = 2/43 - -37/129. Which is bigger: s or q?
q
Let h = -133/24 + 39/8. Let x = -0.09 - -0.1. Let r = 1.99 + x. Is r smaller than h?
False
Let d(o) = o**3 - 3*o**2 - 1. Let n be d(3). Let t(b) = -b**3 + 14*b**2 + b - 16. Let k be t(14). Which is smaller: k or n?
k
Let b be (2/65)/(1/5). Is b < -2?
False
Let r = -6 - -8. Suppose r*x = -2*x. Suppose j - 3*j = x. Which is smaller: 1/4 or j?
j
Let z = -12.8 + 12. Are -2 and z non-equal?
True
Let c be 26*-3*(-3)/27. Let l = 9 - c. Is l less than 1?
True
Let z = 0 - -3. Let a = -3 + 0. Let l = a + z. Which is bigger: 0.1 or l?
0.1
Let t be 1/(12/(-10) - -1). Let y = 9 + t. Suppose -22 = 2*r - y*q, 14 = -4*r + 5*r + 3*q. Do r and 0 have the same value?
False
Let r(k) = 4*k**2 + 2*k - 5. Let t be r(-3). Do t and 26 have different values?
True
Let p(u) = u**3 - 6*u**2 - u + 4. Let i be p(6). Let y be 1 - 1 - i/2. Let l be (1/(-4))/(2/8). Is y equal to l?
False
Let f be (-99)/220 - (-2)/8. Let k = -4 + 4. Let g be 0 + k + 1 + 0. Are f and g nonequal?
True
Suppose 2*j = 16 + 6. Let f = -2 + j. Let i be 1/(-4) + f/(-36). Is -1 smaller than i?
True
Let j(r) = 7*r + 1 - r**2 - r - 4*r. Let s be j(-1). Let x = -4 + s. Which is bigger: -5 or x?
-5
Let s(w) = -w + 3. Let u be s(3). Which is smaller: u or -4/11?
-4/11
Suppose z = 6*z - 30. Suppose -5*x - 4*q + 16 = -6, 0 = -4*x + q + 26. Is z >= x?
True
Suppose -3*c - c = -8. Suppose 6 + 0 = c*z. Which is greater: z or 4?
4
Let u = 10 - 6. Let h(o) = o**3 - 3*o**2 - 3*o - 2. Let p be h(u). Suppose -k = -q - 4, -2*q - k + 1 = -6. Is q less than or equal to p?
True
Suppose -2*d + 11 = 3. Let l be (-32)/(-20) + d/10. Let r = l - 3. Which is bigger: r or -1/3?
-1/3
Let y be 4/14 - (1 + 15/(-21)). Which is smaller: y or 34?
y
Let b be 1/((1/2)/(-1)). Let t be (b + 0 - 1) + -2. Is t greater than -5?
False
Let l(m) = 6 + 7*m - 12*m - m**2 + 0. Let o be l(-6). Let r(i) = -i - 1. Let c be r(o). Is c bigger than -1?
False
Let s = -9 + 8.7. Let k = s + 5.3. Which is smaller: k or -1?
-1
Let d = 2 - 3. Suppose 5*o - 5 = -5*h, -h + 2*h + 2*o = 4. Which is greater: h or d?
d
Let v be -3 + 0*2/4. Let i be -2 - -1 - 2/(-3). Which is bigger: v or i?
i
Suppose -3*y = -2*y - 2*t - 5, -5*t - 40 = 3*y. Let h(z) = z**3 - 4*z**2 + 3*z - 4. Let i be h(3). Which is smaller: i or y?
y
Let o = 0.0028 + 8.9772. Let x = 0.02 + o. Which is greater: 1/4 or x?
x
Let u = 20 - 21. Which is greater: 1/13 or u?
1/13
Let b = -0.03 + 10.03. Let t = b - 11. Are 0.6 and t equal?
False
Suppose -1 = -5*s + 14. Suppose a = 5*l - 0*l + 3, -s = -3*l + 3*a. Which is smaller: 2/7 or l?
l
Let p(i) be the first derivative of -i**2/2 + 9*i - 3. Let b be p(12). Let t be (0 + -3)/b - 3. Is t greater than -3?
True
Suppose -35 = -2*v - 3*v. Suppose 0 = v*b - 2*b - l, -b = -5*l + 24. Are 2/19 and b non-equal?
True
Let h = 29 + -31. Which is bigger: h or -3/4?
-3/4
Let n = -9 + -7. Let g = 1 + n. Let w be 2 + 0 + 40/g. Does w = -0.1?
False
Suppose m - 6 = -m. Suppose 2*r - m*r = 0. Let k be r/(2*1/(-2)). Which is smaller: -3/7 or k?
-3/7
Let p = 78 + -57. Which is smaller: p or 62/3?
62/3
Suppose 4*n = 2*d + 2, -3*d + 4*n + 1 = 2. Suppose 0 = 4*f - d + 9. Which is smaller: -1 or f?
f
Let h = 0.4 + 8.6. Let k = 203.9 + -204. Is h > k?
True
Let s(h) = h - 2. Let g be s(4). Let z be 6/3*g - 2. Suppose -9 - 3 = -z*p. Is 5 smaller than p?
True
Let i = 1353 + -4010/3. Let m(a) = -16*a. Let u be m(-1). Let v = u - i. Which is smaller: v or -2/3?
-2/3
Let q be 20/12*-14*-6. Let h be q/16 + -4 + -4. Which is greater: 2 or h?
2
Let u = 8 + -14. Let p be ((-3)/u)/(2/4). Let g = -41/28 + 7/4. Is g <= p?
True
Suppose 0*l - 35 = -5*l. Which is smaller: l or 8?
l
Let j = -0.07 + -3.93. Let s = j + 1. Is -1/4 >= s?
True
Let a be (2/(-5))/((-21)/15). Let l = 25 - 25.2. Which is smaller: l or a?
l
Let k be (-27)/(-63) + (-25)/(-7). Suppose -k*j - 25 = 23. Is -11 less than or equal to j?
False
Let o = 14 + -8. Let v = o - 6.1. Which is bigger: 0.1 or v?
0.1
Let f = -134.976 - -135. Which is smaller: f or -1?
-1
Let n = -5/12 + 2/3. Suppose -r + 2*u = 6*u - 4, -3*u = 4*r - 3. Which is greater: r or n?
n
Let o = -49/6 + 151/18. Suppose 4*c - 3 = c. Which is smaller: o or c?
o
Let u = 8 + -7. Let s = 2 + u. Suppose -2*o = -s*o. Is o equal to -3/8?
False
Suppose 0 = 3*c + c - 20. Let y = -2.6 + 3.7. Let o = -0.1 + y. Is o < c?
True
Let z(q) = q**3 + 10*q**2 - q - 9. Suppose -2*f + 46 = -7*f - 2*o, 0 = o - 2. Let r be z(f). Let a