 b = 5 + -12. Let s be 1 - (0 - 2 - b). Let a be i(s). Which is greater: 5/2 or a?
a
Let k(s) = s**3 - 3*s**2 - s - 8. Let a be k(6). Is a smaller than 95?
True
Suppose -q - 4*c - 12 = 0, -q + 5*c + 2 = -4. Which is greater: -5/2 or q?
-5/2
Let f(i) = -i**2 + 14. Let y be f(4). Are y and -15/8 nonequal?
True
Let w be (1 + 3)*7/4. Let i = 41 - 35. Which is smaller: i or w?
i
Suppose -4*k + 3 = q, 3 = -k - 6*q + 2*q. Is k not equal to 3/20?
True
Let d = 3 + -4. Which is greater: d or 1/43?
1/43
Let f = 5.82 - -0.18. Let x = 0.057 + 6.043. Let n = f - x. Which is greater: n or 2/5?
2/5
Suppose 2*r + 2*a + a = -3, -4*r - 2 = 2*a. Suppose 5*o = 2*o + 24. Let m be o/3 + (-4)/6. Is r equal to m?
False
Suppose -5*x = -0*x - 4*c, -x = -2*c. Let u = -1 + 2. Let t = x + u. Are t and 0 unequal?
True
Let g = -14 - -10. Let m = g + 4. Suppose -2*u = -m*u. Is u equal to 0?
True
Let u be 9/(-3) - (0 - -3). Which is smaller: u or -11/2?
u
Let x(s) = 6*s**2 - s**3 - 2 + 0*s**3 + 3 + 7*s. Let i be x(7). Let p = 33/116 + -1/29. Is i less than or equal to p?
False
Suppose 29 = -4*m + 3*o, 0 = 5*m - 2*m + 5*o + 29. Let p be (6/(-8))/((-1)/(-12)). Is m at least p?
True
Let g = 0.23 + 0.17. Let m = g + -0.3. Is -8/5 equal to m?
False
Let i = 18.8 - 19. Which is greater: i or -2/3?
i
Let t = 12 - 7. Let y(d) = d**2 - 5*d + 1. Let i be y(t). Let j be 12*1*i/2. Which is smaller: j or 5?
5
Let p = -6 + 5. Let d be (4/12*0)/p. Which is smaller: d or 2?
d
Let t = -64 + 49. Which is greater: -5 or t?
-5
Let y(l) be the second derivative of -l**3/6 - 3*l**2 + l. Let i be 17/(-3) - (-2)/3. Let z be y(i). Which is bigger: -2/9 or z?
-2/9
Let u(n) be the first derivative of -n**3/3 - 5*n**2 - 10*n - 2. Let z be u(-9). Are -2 and z non-equal?
True
Suppose -i = -3 - 3. Which is greater: 4 or i?
i
Suppose -2*h - 2 = -8. Let x be -19*(h/(-5) - -1). Let l = 109/15 + x. Is 1/5 greater than or equal to l?
True
Suppose 4 = -5*b + 69. Let s be 2/8 + b/44. Is 2 >= s?
True
Suppose -3*d - 3*c - 12 = 0, 2*c - 11 = -d + 6*c. Let t be -20*4*d/(-10). Let w = 12 + t. Which is greater: 3 or w?
w
Let r(n) = -3*n - 64. Let h be r(-21). Is h <= -1/23?
True
Let b = 0.7 + 6.3. Let m = 5 - b. Let h be 6/36*(-6)/4. Are h and m nonequal?
True
Suppose -3*h - 15 = -3*p, 2 = -5*h - p + 1. Let y(a) = -a**2 + 3*a - 1. Let f be y(2). Let q = -1 + f. Is q at most as big as h?
False
Let j = -12.2 + -3.8. Let s = -22 - j. Let f = -5.8 - s. Is f at least 0?
True
Let v be 2 - ((-5)/10)/(4/26). Is v >= -0.2?
True
Suppose n = 5*b - 26, 2*b - 20 = -2*b + n. Which is smaller: 4 or b?
4
Let g = -0.07 + -0.13. Which is smaller: g or 0.4?
g
Let f(o) be the first derivative of o**4/4 - 7*o**3/3 - 5*o**2 + 10*o + 2. Let v be f(8). Let d be (-6)/4 - 27/v. Which is greater: -1/3 or d?
d
Let l = -24 + 17. Let h be l/3 + (-6)/(-3). Do 1 and h have different values?
True
Suppose 5*t + 9*t = -56. Which is greater: -8 or t?
t
Suppose 5 = -5*x - 0. Which is smaller: x or 1/6?
x
Let v(q) = q**3 + 3*q**2 - q + 3. Let t be v(-3). Let c = 5 - t. Which is smaller: -2/9 or c?
c
Suppose -5 - 1 = 2*n. Is n greater than -2?
False
Let s be (16/(-30))/((-12)/30). Let y = 1 - s. Which is smaller: y or 0?
y
Let q = 3.1 - 3. Let v = -0.99 - -0.9. Let j = v + -0.41. Which is bigger: j or q?
q
Let q(n) = -n**2 - 7*n + 22. Let t be q(-9). Let r be t + 4*81/(-66). Is r > -2?
True
Let b be 0 + 0 + -1 - 1. Let p be b/((6 + -3)/3). Which is smaller: p or 2?
p
Let h(o) be the third derivative of -o**5/60 + o**4/4 + 3*o**3/2 + 2*o**2. Let v be h(7). Let n(c) = 2*c - 3. Let z be n(v). Does 0.1 = z?
False
Suppose -5*w - q = -4*w - 11, -5*q = -5*w + 5. Let a(c) = -c**3 + 5*c**2 + 5*c + 7. Let t be a(w). Is 2 at most as big as t?
False
Let g = -1 - 10. Let d = 10 + g. Which is smaller: 11 or d?
d
Let i = -56/9 - -19/3. Is i less than 1/2?
True
Let s be -6 - ((-296)/28 - -5). Which is greater: -1 or s?
s
Let g be (-40)/6*(-42)/(-364). Is g equal to -1?
False
Suppose 3*l + 9 = 3*m, -m - 4*l + 6 = -2*m. Let i be (8/m)/(8/12). Is i equal to 2?
True
Let j(u) = u + 2. Let a be j(-8). Let z = a + 4. Which is greater: -4 or z?
z
Let q be (6/(-8))/((-30)/16). Suppose 5*j + 5*z + 1 + 4 = 0, 20 = -5*z. Is j < q?
False
Let i = -49 + 149/3. Which is bigger: -1/2 or i?
i
Suppose -5*s + 0*o = -o - 44, -16 = -3*s - 2*o. Let u = -13 - -20. Which is smaller: s or u?
u
Let v = -14.2 - -17. Let h = v + -3. Which is smaller: 1 or h?
h
Suppose 48 + 2 = 5*g. Which is bigger: g or 8?
g
Suppose -2*b + 0*s - s + 20 = 0, 4 = -2*b + 5*s. Let g = b + -7. Which is bigger: 0.3 or g?
g
Let k(a) = 2*a + 1. Let d be k(-5). Is -9 bigger than d?
False
Suppose -4*f + 24 = u - 25, -5*f = u - 61. Let s = f - 15. Do s and -4 have different values?
True
Let h(p) = p**2 + 3*p - 5. Let x(w) = -w**2 + 10*w - 13. Let s be x(9). Let d be h(s). Is -1 != d?
False
Let p be ((-3)/7)/((-9)/12). Is -2 at most p?
True
Let z be 6/(-210) - 9/(-21). Does -0.06 = z?
False
Let y(c) = c - 7. Let d = 12 + -6. Let n be y(d). Is -1/3 at least n?
True
Let b = -6 + 8. Let l = -2 - -3. Do l and b have the same value?
False
Suppose 0 = 3*i - 3*c + 3, -3*i + 5*c + 0*c = 5. Let h be -2*2/(-12)*6/50. Which is smaller: i or h?
i
Suppose 0 = b + 3*b + 12. Let z = b - -3. Is z less than -2/5?
False
Let p = -34 + 49. Let x be (p/(-6 - -3))/1. Let s be (-38)/8 - 2/8. Is x less than s?
False
Let k be (-33)/9*(-3 + 4 - -2). Which is bigger: -12 or k?
k
Let c = 19 - 22. Let u = 1 - 1. Is u less than c?
False
Let p = 24/17 - 249/68. Is p > -2?
False
Let n be (4/(-516))/((-2)/12). Which is smaller: n or -1?
-1
Let f(i) = 2*i + 6. Let g be f(-3). Which is bigger: -3/4 or g?
g
Let y = -0.1 + 0.1. Let r = 3 - y. Let u = r + -8. Which is smaller: u or -1/4?
u
Let n(j) = -j**2 - 7*j - 5. Let z be n(-6). Let h be -4 - (2 - 160/28). Is h at least z?
False
Let l be 4/(-10) - 60/(-25). Let m = -34 - -137/4. Is m equal to l?
False
Let b = 91 - 90. Which is greater: b or -2.3?
b
Suppose 4*g + c + 13 = g, 4 = -4*g - 4*c. Let z(v) = v**3 + 6*v**2 - 6. Let o be z(-6). Let q = o - -1. Is g at most q?
True
Let q(g) = 2*g**2 + 5*g + 5. Let d be q(-4). Let r be 0 + 0 - (-2 + d). Let x be r/(-27) + (-1)/3. Which is greater: -1 or x?
x
Let d = -1692/5 + 340. Is 2 != d?
True
Let q be 35/(-36) + (-6)/(-27). Suppose 0*w + 3*w - 16 = -4*f, 4*f - 3*w + 8 = 0. Let c be 1/((-2)/4) + f. Is q > c?
True
Let o = 0 + -0.1. Let i = 2 + 3. Suppose 3*v - 5 = -5*x - v, 0 = -i*v + 25. Is o >= x?
True
Let m(w) = w**3 - 7*w**2 + 5*w + 5. Let d be (-20)/(-3) + 6/(-9). Let g be m(d). Let s be (-2)/(-6) + 4/6. Does g = s?
False
Let v(m) = m**3 + 7*m**2 + 4*m - 8. Let u be v(-6). Which is greater: u or -0.2?
u
Let x = -5.4 + 5. Let n = 0.4 + x. Let w = 114/5 - 23. Which is smaller: n or w?
w
Suppose -2*l + 9 = 11. Which is bigger: 2/29 or l?
2/29
Let q(b) = 13*b. Let h = 1 + -6. Let k be q(h). Let d be (2/(-5))/(k/25). Is d less than 0?
False
Let r = 6 - 8. Let y be r/(-2) + -3 + 1. Which is bigger: -2 or y?
y
Let r = -0.7 - -0.6. Let q be 7/(-60) - 1/(-4). Are r and q equal?
False
Let z = -15 - -20. Which is smaller: z or -2?
-2
Let r = 1/47 - 49/94. Suppose 0 = -2*b + 1 + 7. Suppose v = b*n + 7 + 4, 0 = v + n + 4. Which is bigger: r or v?
r
Let i be 0*(0 + 2/(-4)). Is 1/8 < i?
False
Let g = 3 - 2.4. Let q = 0.4 + g. Which is smaller: q or -2?
-2
Suppose 0 = -2*k - 3*k - 3*k. Are k and 2/93 nonequal?
True
Let n(x) = -3*x**3 - 9*x**2 - 3*x + 9. Let p(a) = -10*a**3 - 3*a + 28 - 5*a - 28*a**2 + 0*a. Let y(r) = -7*n(r) + 2*p(r). Let t be y(-6). Is t bigger than -1?
False
Suppose 3*d = -3*h + 6, 7 = 4*h - 1. Let r = 316 + -2216/7. Which is bigger: d or r?
d
Suppose -4*h = 5*v - 15 - 44, v - 5*h - 6 = 0. Which is bigger: 12 or v?
12
Let x = 21 - 9. Suppose 0 = 3*u - 3 - 3, 0 = 4*q - 2*u + x. Let l = -3 - q. Which is greater: l or -3/5?
-3/5
Let k = 20 + -19. Let t be (-4)/(-14) - (-220)/14. Suppose 2*n - t = l - 6*l, l = 3*n - 7. Do l and k have different values?
True
Let q = 22 - 20. Suppose 3*y = v - 13, q*v + v = -2*y + 6. Which is smaller: y or -1?
y
Let c(q) = -q + 1. Let x be c(-3). Suppose 0 = 4*u - 6*u + 8. Suppose -x = 2*o + w, o + u*w = -w - 20. Which is smaller: 1 or o?
o
Let q = 0.2 + -0.3. Which is greater: 6 or q?
6
Let v = 2.7 - 1.7. Does v = 0.05?
False
Let r =