e -5 + 1 + s/(-21). Is t smaller than 6/5?
True
Let z = -4.7 + 5. Let k = 25/52 + -3/13. Are k and z equal?
False
Suppose -2*i - 5 = 3*i, 3*w - i - 4 = 0. Is w less than or equal to 0?
False
Let t be 1 + 2 + -1 + 5. Let o = 10 - t. Which is smaller: 2 or o?
2
Let l be (5 + -1)/(-1*34). Are -2/5 and l non-equal?
True
Let n be 1/1 - (-4 - 1). Let i = n - 4. Let c = i - 3. Which is bigger: -1/4 or c?
-1/4
Let h = -0.2 + -0.8. Which is smaller: 4 or h?
h
Let z(w) be the first derivative of w**3/3 + 3*w**2 + 2*w - 1. Let c be z(-5). Let m be 9 + -6 + 10/(-2). Is m < c?
False
Let z(d) = d**3 - 3*d**2 - 5*d + 4. Let c be z(4). Is c smaller than 3?
True
Let t = 0.4 + -0.8. Let s = -6 - -8. Let c be (s/20)/(2/(-8)). Are t and c unequal?
False
Let g = 11 - 5. Let o = g + -6. Is -2 smaller than o?
True
Let w be 6/(2 - 0)*1. Let g = -7.1 - -7. Let l = -0.9 + g. Is l less than or equal to w?
True
Suppose f - 11 = 4. Suppose -4*d + 6 + 2 = -4*s, 0 = -5*s - f. Which is greater: d or 2/5?
2/5
Let b be (72/32)/(6/(-4)). Which is greater: -3 or b?
b
Let r be 4/(-20) - (-12)/10. Suppose 5*k = 6 - r. Which is smaller: k or -0.7?
-0.7
Let w = 0.18 - 0.08. Is w equal to 15?
False
Suppose 32 = 3*h + h - 4*l, -3*h + 5*l + 28 = 0. Suppose -5*q = -4 - h. Which is smaller: 4/5 or q?
4/5
Let k(u) = -u**2 + 10*u - 3. Let y be k(5). Is 23 greater than y?
True
Let l = -3 + -5. Let c = l - -20. Is -2/7 bigger than c?
False
Let f = -17.32 - -0.32. Let y = 17.1 + f. Which is bigger: y or 0.4?
0.4
Let a be 114/12 + (-1)/(-2). Suppose -3*f = -a - 2. Let k be (16/3)/f*-1. Is 0 at least as big as k?
True
Let m = 20 - 21. Which is bigger: -5 or m?
m
Let u = -0.2 + 0.2. Let i = 11/20 - 4/5. Which is smaller: i or u?
i
Let d = 389.9 - 370. Let u = d + -20. Is 3 at least as big as u?
True
Suppose -5*o = -8*o. Which is smaller: o or -12/13?
-12/13
Suppose -6*z + 15 = -z. Let c be z/(-7)*(-2)/3. Which is greater: c or 1?
1
Let j = -0.51 + 0.71. Which is greater: j or -2?
j
Suppose 5*c + 6 = -4*w - 1, -w = -3*c + 6. Let h be ((-20)/3)/((-2)/7). Let m = 23 - h. Which is smaller: m or c?
m
Suppose -3*c + 6*c - 10 = 2*r, -4*r + 4*c - 12 = 0. Let v be (12/(-99))/((-2)/(-3)). Is v at least as big as r?
False
Suppose g - 4*a - 34 = 0, 2*a = 5*g + 7*a - 170. Which is smaller: 35 or g?
g
Let j = 6 - 4. Suppose -3*s + 9 = -3*n, 4*s + 2*n - 18 = 3*n. Let r be (1 + -6)*(-2)/s. Is r <= j?
True
Let l be (-2*(7 + 2))/1. Let m = 12 - l. Let o be (-8)/(-20) + (-52)/m. Which is smaller: 0 or o?
o
Let x be ((-2)/(-6))/((-3)/(-801)). Let j = x + -130. Let r = 367/9 + j. Which is greater: r or 0?
0
Let b = -10 + 11.6. Let x = b - 0.7. Let q = -0.8 + x. Is q < -1/5?
False
Suppose -2*l + 50 = 30. Is 8 != l?
True
Let y be ((-287)/93 - -3)*12. Let b = -534/217 - y. Which is greater: b or -1?
-1
Suppose -3 = a - 2*a. Suppose a*w + 5 = -10. Is -0.1 greater than w?
True
Let u = 7.5 - 7.8. Is -1/6 smaller than u?
False
Suppose 0*a = 4*a + 4. Suppose -5*r = -r. Which is smaller: r or a?
a
Let k = 125 + -245/2. Let r(f) = -f**3 + f + 2. Let m be r(0). Is m >= k?
False
Let d = -0.179 - 1.821. Is 7 < d?
False
Let z be (25/10 - 3)*2. Suppose 0 = -6*m + 4*m - 6. Are m and z nonequal?
True
Let u = 53 + -902/17. Is -1 at most as big as u?
True
Suppose -8 = 3*c + 2*v, 0*v - 27 = 2*c - 3*v. Let s = 9 + c. Suppose -s*n - 5 = 2*n. Which is smaller: -2 or n?
-2
Let t = 0.1 - 0.2. Suppose -i = -6*i + 50. Let q be 2/1 + i/(-6). Is t less than q?
True
Let g = 1715/9 - 2108/9. Which is smaller: -44 or g?
-44
Let s(k) = -k**3 + 8*k**2 - 6*k - 6. Let r be s(7). Let b = -95 + 1331/14. Is r < b?
False
Let d = -44 - -43.7. Are 0.3 and d equal?
False
Let s = -3 + -3. Let f be -2*(-4)/(1 + -3). Is s at most as big as f?
True
Let d = 0.17 - 0.36. Let w = d + -0.11. Which is greater: w or -2/3?
w
Let i be (-2 - 2) + 3 + -18. Which is bigger: i or -20?
i
Let r be -1*(-5 - ((-343)/56 - -1)). Let d = -2 - -4. Suppose 10 = d*n + 5*a, -6 = 2*n - 7*n - 3*a. Is r greater than n?
False
Suppose 5*d + 6 = 46. Let a be (-2)/3*(-12)/d. Let p = a - 1. Is p > -2?
True
Let b be (2/6)/((-1)/(-6)). Suppose -b*n = 2*n - 4. Let z = -0.1 + 0.2. Are n and z equal?
False
Let d = -1.1 - 0.4. Does d = 0?
False
Let i(r) = r**2 - 9*r + 5. Let x(k) = -k**2 + 10*k - 6. Let o(u) = -5*i(u) - 4*x(u). Let z be o(5). Which is greater: 1 or z?
1
Suppose -4*c = 5*i - 25, c - i = 4*i. Let y be ((-1)/c)/((-2)/6). Let x = 69/185 + 1/37. Is y greater than x?
True
Let b = 598.13 + -602. Let y = b + -0.13. Do 1/4 and y have the same value?
False
Let l = -3/8 + -1/8. Let r = 1 + -1. Do l and r have different values?
True
Suppose 0 = 4*k - 4*g - g + 21, g = -2*k + 7. Is -1/19 at most k?
True
Let n be (3/3)/1 + 1. Suppose 0 = -n*j - 3*j + 15. Suppose 5*v + 3*m = 4*v - 7, -j*m = 12. Is v smaller than 4?
False
Suppose 0*x + x - 550 = 0. Let o be 65/x - (-2)/11. Are o and -1 unequal?
True
Suppose 2*b - 6*b = 0. Let y be -4 + 5 - (-2 - b). Which is smaller: y or 2?
2
Let o(q) = -9*q**2 - 1. Let i be o(1). Let z be 24/33*5/i. Is -1 at least as big as z?
False
Let h(q) = -q**2 - 2*q + 7. Let o be h(-5). Which is smaller: o or -9?
-9
Let s = -90 + 60. Is -31 <= s?
True
Let p(j) be the third derivative of -j**4/12 - 11*j**3/6 - j**2. Let r be p(-6). Which is bigger: r or -2/5?
r
Suppose 0 = -4*w + 5*f - 10*f - 4, 3*w = -4*f - 4. Let u be 3*(-6)/(-9) + -1. Let y = 4 + u. Is w less than or equal to y?
True
Let r(q) = q**3 - 6*q**2 + 2*q + 2. Let b be r(2). Let m be (-26)/(-60) - b/(-75). Is m greater than 1?
False
Let c = -25 + -2. Which is greater: -28 or c?
c
Suppose 4*t + 5*i = 7, -2*t = -t - 4*i - 28. Let u be (14/t - 1)*-4. Which is smaller: u or -4?
-4
Suppose 5*w = 3*u + 27, u = -3*w - 16 - 7. Is -13 at most u?
False
Suppose 2*r - 7*r - 25 = 0. Suppose 3*f = -f + 3*x + 19, f - 1 = -3*x. Let q = -9 + f. Is r < q?
False
Suppose 290 = -76*f + 81*f. Is -0.1 > f?
False
Let p = -36 + 36.4. Which is smaller: p or 0?
0
Let l be 4/(-22) + (-14)/(-77). Is 1/41 less than l?
False
Let s be ((3 + 0 - 0)/(-1))/13. Is 0.1 <= s?
False
Let j = -1 + 0. Suppose -5 - 5 = a + 3*n, 0 = -4*a - 5*n - 26. Let x be (-6)/a*(-16)/(-156). Which is bigger: x or j?
x
Let c be (-288)/(-143) + 2/(-1). Let q = c + 419/715. Let j = 0 - -0.1. Which is smaller: j or q?
j
Let p = 1 + -1. Suppose p = i + i. Is 0.6 != i?
True
Let k be 77/35 - (-6 + 2). Is k at least as big as 7?
False
Let j = 85 - 141. Let v be (-16)/j + (-2)/7. Is -1/2 smaller than v?
True
Let a(z) = z. Suppose -4*d = -5*l + 2, -10 = -2*l - d - 2*d. Let j be a(l). Let s be 36/(-16) + j/8. Which is smaller: s or -4?
-4
Let c = 7 - 9. Let j be 2/5 - 80/75. Is c smaller than j?
True
Suppose 0 = b + 5 - 4. Suppose -2*r + 3 = -3*c - 3*r, -c + 1 = r. Which is bigger: c or b?
b
Let t be 6/(-14) + 75/126. Which is bigger: 0 or t?
t
Let s = 133 + -141.1. Let w = -7.91 + -0.09. Let t = s - w. Is t > 2/13?
False
Let w = -15 + 11. Is -1 at most w?
False
Suppose -3*l - 28 = -1. Let t = 107 - 107. Which is smaller: l or t?
l
Let n = 65 - 64. Is 2/175 > n?
False
Let c = 0.23 - 0.2. Let s = 2.03 - c. Which is greater: 0 or s?
s
Let w be 6 - 7 - (-2)/6. Let v be ((-1)/1)/((-3)/(-3)). Is w at most as big as v?
False
Let u(d) = -d**2 - 5*d - 7. Let s be u(-5). Let v = s - -11. Which is greater: 5/2 or v?
v
Let s = -7 + 11. Suppose 1 = 5*t - s. Let c = -57/4 - -14. Are t and c equal?
False
Suppose -8 = -5*j + 2*v, j + 5 = -v + 1. Is 3/17 not equal to j?
True
Suppose 5*z - 24 = z. Is z at most 14/3?
False
Let r(o) = o**3 + 9*o**2 + 8*o + 6. Let i be r(-8). Let w = 10 - i. Suppose -w*h = -2*d, -5*h + 0 = 5. Which is smaller: d or -1?
d
Let j be 6*((-4)/9)/(-4). Is j less than or equal to 0?
False
Suppose -2*c - 8 = 4*y, -3*c = -2*c + y. Suppose 0 = 2*s - c*s + 10. Which is greater: s or 3?
s
Let y(j) = j**2 + 2*j. Let m(x) = x**2. Let p(u) = -2*m(u) + y(u). Let z be p(-2). Is -8 > z?
False
Let y = -0.16 + -0.05. Let i = 0.01 + y. Suppose q - 5*q = 0. Which is greater: i or q?
q
Let y be -4*5/((-60)/9). Suppose -4*m - 11 = y*j - 5*m, 0 = -2*m - 2. Which is smaller: 2 or j?
j
Let i(z) be the first derivative of 5*z - 1/3*z**3 - 2 + z**2. Let p be i(4). Is p equal to -2?
False
Let l(k) = -2*k**3 - k**2 + 3*k + 3. Let u be l(-2). Let h = 6 - u. Let n(y) = y**3 + 4*y**2 + 3*y. Le