 - 7/5. Is -2 <= u?
True
Let v = -730/9 + 81. Which is smaller: 0 or v?
v
Let u = 0.03 + 0.07. Let r = -1 + -1. Let m be r/(-7) + (1 - 1). Which is smaller: m or u?
u
Let w(l) = -l + 2. Suppose -2*p - 2*z = 6, 0 = -7*p + 3*p - 5*z - 15. Let s be w(p). Suppose s = 3*h + 4*q - 4, 2*q = 3*h + 12. Is -3 bigger than h?
False
Let f = -85 + 74.9. Let g = -9 - f. Let d = g + -1.1. Which is smaller: d or -1/3?
-1/3
Let r = 199/4 - 49. Suppose -2*a - c = 0, 0*c - 3*c - 9 = -3*a. Which is smaller: a or r?
r
Suppose t + 0 = 1. Which is smaller: 0 or t?
0
Let z = 18 + -11. Let v = -5 + z. Let r = 6 - v. Is r < 3?
False
Let v = 10 + 2. Let z be (-6)/v*(-6)/(-1). Let l be (z/2)/((-9)/18). Is l >= 2?
True
Let a be (4/(-3))/((-8)/(-12)). Suppose 8 + 0 = 2*w. Suppose 4*j + 15 = b - 6*b, w*b + 2*j + 12 = 0. Are a and b nonequal?
True
Let a = 12 + -12.03. Is 1 greater than a?
True
Let d be (6/(-8))/(54/90). Is d less than or equal to 1?
True
Suppose -3 = 4*f + 17. Which is bigger: f or 2?
2
Let r(y) = 3*y - 5. Let q be r(8). Is 19 bigger than q?
False
Let l(u) = -u**3 - 12*u**2 + u + 13. Let b be l(-12). Is b smaller than -1/4?
False
Let c = 2 + 0. Suppose -y - c*y + 3 = 0. Which is bigger: y or 2/11?
y
Let y = -6 + 14. Let h = y + -9.1. Let r = h - -0.8. Which is smaller: 1 or r?
r
Let g = -11 + 10. Is g smaller than 1/10?
True
Let v(q) = 7*q**3 - 2*q + 1. Let k be v(1). Suppose 0 = -38*s + 66 + 124. Is k at least s?
True
Let v be -4 + (-7)/(2058/(-1170)). Is v less than -1?
False
Suppose 6*v - v - 5 = 0. Suppose v = s - 4. Suppose -2*u = h - 8, -s*u + 18 = 4*h - 2*h. Which is greater: u or 3?
3
Let w = 6 - 5.8. Let g = 464641/7 - 66233. Let a = g + -144. Is a <= w?
False
Let f(j) be the first derivative of j**2/2 + 9*j - 7. Let i be f(-8). Which is smaller: 1/17 or i?
1/17
Suppose 8 + 4 = 4*r. Suppose 5*o + 15 = 4*y, -25 = r*y - 6*y + o. Is 9 smaller than y?
True
Let k be -11 - (-1 - (1 + -1)). Let j = k - -14. Let s be (-6 + 1)*(-5)/10. Is s bigger than j?
False
Let b(j) = -j**2 + 6*j + 2. Let l be b(5). Suppose 3 = -3*i, -2*n + l*n - 5*i = 0. Is -1/6 >= n?
True
Let d(o) = o - 1. Let n be d(4). Suppose -i = z + z + 13, -n*z - 15 = -3*i. Let u be 2 + z/7 + -1. Is u != -1?
True
Let u = 11 - 7. Let g be (-69)/(-21) - (-34)/(-119). Which is smaller: g or u?
g
Let g = 32.5 + -33. Is g >= -2?
True
Let i(k) be the second derivative of -k**5/20 + k**4/3 + k**3/6 - 5*k**2/2 - 3*k. Let n = -6 - -10. Let t be i(n). Which is greater: -2 or t?
t
Let c(x) = 4*x - 11. Let r(u) = -6*u + 17. Let f(l) = -8*c(l) - 5*r(l). Let v be f(2). Let q be -4 - 4/(-3 - -4)*-1. Which is greater: v or q?
q
Let z(p) = p**3 + p**2 + p + 1. Let g be z(-1). Let j be (-6)/12*(-838)/(-7). Let r = 60 + j. Is r equal to g?
False
Let c = -66/7 - -521/56. Do 0 and c have different values?
True
Let c(b) = -b. Let d = -5 - -4. Let g be c(d). Is -1/3 less than or equal to g?
True
Let q be (-12 + 14)/(2 + 10). Let h be -4*2/((-8)/(-3)). Let l = 2 + h. Which is smaller: q or l?
l
Let j be (10/(-70))/(2/22). Is -2 less than j?
True
Let t = 2/165 - 169/330. Which is greater: -7 or t?
t
Suppose -1 + 7 = 2*r. Suppose o + 4 = 4*a - 8, 5*o - 6 = -2*a. Let j = r - o. Is 3/2 less than j?
True
Let c = 0.03 - 0.13. Let v = 29 + -25. Do c and v have different values?
True
Let h be (-1)/117 + (-14)/63. Is -1 at least as big as h?
False
Suppose -q = -2*z, -3*q - 2*z = 2*q - 12. Let d be 7/(-5) + q/5. Suppose -3*k = -3*a - 6*k + 3, 2*k - 2 = 5*a. Which is bigger: a or d?
a
Let a(t) = -t. Let r be a(-3). Which is bigger: 2 or r?
r
Let t be -4*(-1)/(-6)*(-30)/(-4). Let f be (10/6)/((-1)/3). Is f at least t?
True
Let v(q) = q**2 + 2*q. Let u(s) = -s**2 + 4*s + 3. Let y be u(5). Let m be v(y). Are -2/7 and m equal?
False
Let i(p) = -p**2 - 9*p - 14. Let w be i(-7). Is -0.8 not equal to w?
True
Let q be (-2)/(3 - 2/2). Let p = -0.12 + -4.88. Let z = -4 - p. Which is smaller: q or z?
q
Let k = 43 + -42.5. Which is smaller: 5 or k?
k
Let c be (-10)/(-3) - 1/3. Suppose c*j - 22 = 5*b, -3*b = -2*j + j + 10. Let m be (-9)/12*j/(-6). Is 0.2 greater than m?
False
Let o be (-4 - (-10)/3)/(-3). Is -1 greater than o?
False
Let g = 17 + -30. Is -13 < g?
False
Suppose -k - 6 = -4*l, 4*l = -4*k + 7 + 9. Suppose 5*n = 9 + 1. Is n at most as big as k?
True
Let j(a) = -a**3 + 23*a**2 - a + 25. Let q be j(23). Which is smaller: q or -2?
-2
Let o be -30*1*2/(-4). Let n be 6/32*(-10)/o. Which is smaller: 1 or n?
n
Let y = 15 - 7. Suppose -7*k = -3*k - y. Suppose -2*w - 7 = -p, -k*w + p = 2*w + 11. Which is smaller: -2/3 or w?
w
Let h = 11 - 5. Which is greater: 4 or h?
h
Let d be (-3)/1 - (-6)/6. Let a be (d - 0) + 40/15. Which is smaller: 1 or a?
a
Let d = -3 + -2. Let w = d - -4. Let o be 10/18 - 2/6. Is o at most w?
False
Let n = -13631/3 - -4588. Let t = 44 - n. Is t not equal to 2/15?
True
Let h(o) = -o**3 - 4*o**2 - 3*o + 4. Let k be h(-3). Which is smaller: 3 or k?
3
Suppose r - 3*r - 3*c + 17 = 0, c = -r + 10. Is r equal to 13?
True
Let z be 2/((-2)/((-30)/(-27))). Which is bigger: 0 or z?
0
Suppose 8*u - 11*u = -3. Let v = 7 - 8. Is u != v?
True
Let v be (-4)/18 - (-12)/54. Which is smaller: 2/11 or v?
v
Let w = 27/5 + -263/45. Let s = 10 - 21/2. Which is greater: w or s?
w
Let w(x) = -x**3 + 8*x**2 - 5*x - 9. Let r be w(7). Suppose -r*v - 5*u - 2 = 8, 0 = -4*v - 3*u - 7. Which is smaller: -1/23 or v?
v
Let q be ((-2)/(-4))/((-2)/32). Which is smaller: q or -4?
q
Suppose -37 = -5*i + 23. Suppose w - 3*f = -3, -4*w = -f - 3*f + i. Let t = 4 + w. Which is smaller: t or 2?
t
Let n = 17/18 + -4/9. Let z = 9 - 2. Are z and n non-equal?
True
Let v(q) = q**3 - 2*q**2 - 2*q - 3. Let a be v(3). Suppose 5*h + 5*f - 1 + 16 = a, 4*h - 6 = 5*f. Which is greater: 1 or h?
1
Let a = 34 + -34.1. Suppose 4*u = 5 + 7. Let j = u - 5. Are a and j non-equal?
True
Let p = -0.4 + 1. Let q = p + -2.6. Which is smaller: q or -0.2?
q
Let s = -56 + 59. Which is greater: s or 5?
5
Suppose -80 + 30 = -5*x. Let f be ((-20)/30)/(4/(-66)). Is f smaller than x?
False
Suppose 2*p + 2 = -14. Is p > -9?
True
Let n = 18 - 18.1. Are 7 and n equal?
False
Let u(z) = z**3 + 8*z**2 - z - 7. Let n be u(-8). Is n at least 2?
False
Let g = 0 + 2. Let h be (28/(-8))/(3/6). Let o = 9 + h. Is o less than or equal to g?
True
Suppose 0*g - 4*g + 12 = 0. Let k be 1*g/(-3)*0. Suppose -3*v - 2*v - 10 = k. Is v at least -3?
True
Let x be (-3*(-6)/333)/2. Is x not equal to 0?
True
Let d = 3 - 2.4. Let u = d + -0.5. Is u less than or equal to 1?
True
Let h = 0.1 + -2.1. Let i = h + 3. Let j be (-2)/7 - 4/(-14). Which is bigger: j or i?
i
Let r(o) = o**2 - 6*o - 5. Let c be r(6). Is c smaller than -4?
True
Let i = 1.7 - -0.3. Is 0.1 != i?
True
Let t = -20/3 + 19/3. Is -1/18 less than or equal to t?
False
Let q = -0.6 + 0. Let h = q - 0.4. Let c = 6 + -5.9. Is c >= h?
True
Suppose 4*x = x. Suppose -6*f = 9*f. Is f <= x?
True
Let p = -126 - -112. Is -7 smaller than p?
False
Suppose 4*g - 2*g + 4 = 0. Let t = 13 - 15. Let m = t - g. Is 1/6 > m?
True
Let x be (0 + 2)*4/(-18). Is -1 at least x?
False
Suppose 0 = m - 4*m. Suppose -n - 3*k + 0*k = -11, -3*n + 2*k = 0. Suppose m = -n*l - l. Which is bigger: l or 2?
2
Let u(n) be the second derivative of -n**5/20 + n**4/3 - n**3/6 + 3*n**2/2 - 10*n. Let o be u(4). Which is smaller: o or -7/4?
-7/4
Let o = 51 - 107/2. Let a be 6/(-4) - (-4)/(-8). Let b = -6 - a. Is b bigger than o?
False
Suppose 0 = v - 3*v - 38. Let f = -37/2 - v. Suppose -3*t = -5*q - 9, -2*q + 0*q = 5*t - 15. Which is bigger: f or q?
f
Suppose -4 = -2*y - 24. Let n be (-9)/(-3) + y/4. Is n equal to 0?
False
Suppose -3*n + 1 = -2*n. Let i be n + 1 + 1 + -2. Is i bigger than 1?
False
Let w be -6*-6*2/(-4) + 3. Is w less than or equal to -13?
True
Let j = 127 - 249/2. Do j and 2 have different values?
True
Suppose 0 = -3*k - 2*k. Suppose k = 4*y - 8*y. Suppose y*j = j. Is 0 less than j?
False
Let u = -85/273 - -1/39. Which is bigger: -11 or u?
u
Let r(t) = -t**3 + 2*t**2 + 3*t + 2. Suppose 4*x - 3 = 9. Let n be r(x). Let o be n*(-1 + 2 + 0). Which is smaller: o or 3/5?
3/5
Let z = -16 - -17.1. Let h = 19/3 - 7. Does z = h?
False
Let b = 176/3 - 35. Let u = -24 + b. Is u greater than or equal to 0.8?
False
Let q be (-4 + 2 + 4)*1/278. Is q >= 0?
True
Let h = -0.24 - -0.2. Let d = 