+ 5. Let i = -2 + 3. Is u bigger than i?
True
Let b be 2/(-6) - 4/24. Is b < 5/7?
True
Suppose 0 = -0*i - 4*i - 20. Suppose -3*c - 30 = 2*c. Let g = c - i. Which is greater: g or 0?
0
Let g be ((-54)/(-45))/((-6)/(-20)). Suppose -b + 5*b + g = 0. Is -2/17 < b?
False
Let o = 22 - 17. Which is greater: o or 25/6?
o
Suppose -1 = 4*p + 15. Let l(r) = -r**2 + 4*r + 2. Let h be l(4). Let y = h + p. Which is bigger: y or -3?
y
Let o(j) be the first derivative of -j**4/12 - j**3/3 + j**2/2 - 1. Let f(n) be the second derivative of o(n). Let r be f(-2). Which is smaller: r or 4/7?
4/7
Let z = 3 + -2.9. Let y = 0.04 + 0.26. Which is greater: y or z?
y
Let o be 2*(-4)/(20 + 4). Which is smaller: -0.2 or o?
o
Let d = 771 + -2282/3. Let b = -781/75 + d. Is b at least 0?
False
Let i = -15 + 56. Which is smaller: i or 0.1?
0.1
Let w(f) = f**3 + 5*f**2 - 2*f - 11. Let s be w(-5). Which is bigger: 33 or s?
33
Suppose -3*t = 3*o - 5 - 1, 3*t + 2 = o. Suppose -b + 1 + 3 = t. Let v be (b + -1)*4/6. Is 1 >= v?
False
Let a = 0 - -6. Let u(g) = 2*g**2 - 3*g - 1. Let s be u(a). Let o be s/(-11) - (-4)/(-22). Is -6 < o?
True
Let c be (-33)/(-6) + 1/2. Suppose -2*h = -0*h + c. Is h at most as big as -3?
True
Suppose -6*k + 3*k = 18. Is 0 < k?
False
Suppose -22 = 5*w - 2. Let q be (-2 + 3)*2/w. Which is smaller: q or -2?
-2
Let z = -160 - -161. Let a = -7 + 4. Which is greater: a or z?
z
Let z = -4 + 5. Let h = 2 - z. Which is bigger: h or -2/5?
h
Suppose j + 4*j = 0. Suppose t = -1, 5*u - 301 = 2*t - 44. Let q be (-1)/2 - u/(-42). Is q at least j?
True
Suppose 5*q + 115 = -5*f, 0 = -3*q + 4*q + 3. Let s = -41/2 - f. Are s and 0.07 equal?
False
Suppose -2*i + 4*u - 86 = 0, 0 = -2*i + 2*u - 3*u - 66. Let c be (-6)/4 + i/14. Do c and -3 have different values?
True
Let b = 5 + -2. Let y(g) = g**3 - 2*g**2 - 2*g - 2. Let v be y(b). Suppose l - 10 = 3*t, -t - 6 = -4*l + v. Which is greater: -1 or t?
-1
Let j = 10 + -5. Suppose 7 = v - 3*c, 3*v + c + 3*c + j = 0. Suppose 4*f - 7 + 27 = 0, f - 1 = -3*z. Which is greater: z or v?
z
Let o be (6/(-4))/((-24)/16). Do 10/11 and o have different values?
True
Suppose -p - 10 = 27. Which is greater: -36 or p?
-36
Let j = 29/50 + -2/25. Which is bigger: -76 or j?
j
Suppose i + 3*i + 12 = 0. Let n = 6 + i. Let v be 5 + -3 + (-7)/n. Is -1 bigger than v?
False
Let d be (-4 - -4) + (1 - 0). Let v = d + 2. Suppose v*i + i = -8. Which is greater: i or -1?
-1
Let g(l) = -l**2 + 10*l + 1. Let z be g(10). Let i = 2003/8 + -250. Do z and i have different values?
True
Let t = -5.03 + 0.03. Which is bigger: t or 2/5?
2/5
Suppose 4*p = -0*p - 16. Let a = -5 + p. Let o = 2 - a. Which is greater: o or 10?
o
Let q(b) = b - 16. Let a be q(0). Let c = -21 - a. Is -5 greater than or equal to c?
True
Let q be 1 + (-2)/(2 - 3). Suppose 4*u + 5 + q = 0. Which is smaller: u or -1?
u
Let x(a) = a**2 - 7*a + 8. Let g be x(6). Suppose m = g*m + 2. Let d(o) = o**2 + 3*o + 2. Let c be d(m). Is c at least as big as 0?
True
Let b be ((-3)/6)/(7/(-2))*4. Is b < 0.1?
False
Let r = 14 - 22. Let g = r - -7.9. Is 0.2 equal to g?
False
Suppose 2*o - 1 - 11 = 0. Suppose 2*h - 5*h = -o. Are h and -3/2 unequal?
True
Let p = 4 - 4. Let n = p - -1. Let f(q) = q + 6. Let o be f(-5). Do o and n have the same value?
True
Let c = 4.97 + 0.03. Let i = 1/5 - -2/15. Which is greater: c or i?
c
Let q = 8044/11 - 732. Which is smaller: -0.1 or q?
q
Let d(c) = c**2 - 7*c + 7. Let j be d(6). Let k be 1/(j*(-2)/10). Let y be 6/(-9)*(6 + 0). Which is smaller: k or y?
k
Suppose 0 = -4*d - 9 + 29. Suppose 3 = -d*z + 18. Let c = -671 + 674. Is c at least z?
True
Suppose 2*d = -5 + 13. Suppose d*s = s - 120. Let r be 4/(-18) + s/36. Is -2 < r?
True
Let x = -195614/33 - -5929. Let m = x - 7/11. Is 1 not equal to m?
True
Suppose -6 = j - 4*c + c, 2 = -2*j + c. Let r be 1 + 2/1*-1. Let b = r + 3. Is b smaller than j?
False
Suppose 3*w = 6 + 6. Suppose -3*c + w*c + 1 = 0. Is 1/3 != c?
True
Let x be (1 - -4)*(-2)/(-5). Let f be (-1 - -1)*1/x. Let h be 36/(-16) + (0 - -2). Are f and h unequal?
True
Suppose 0 = -2*a + 2*j - 18, 13 = 3*a + 4*j + j. Which is smaller: -3 or a?
a
Let s be (-5)/((-10)/12) + 2. Let z be (-2)/(-2) - s/5. Let c be 8/(-6) - 1/(-3). Which is smaller: z or c?
c
Let z = -56 - -54.7. Are 1 and z equal?
False
Let c(i) = i**3 - 10*i**2 + 9*i - 6. Let w be c(9). Let q be (-8)/4 + (-16)/w. Which is greater: 1 or q?
1
Let n = 0.98 - -0.02. Let r = n + -3. Is -2/7 less than or equal to r?
False
Suppose -25*r + 30*r = 0. Which is smaller: 4/19 or r?
r
Let u(g) = 6*g**3 - 2*g**2 - 14*g + 3. Let d(l) = -l**3 - l**2 + l + 1. Let f(q) = 5*d(q) + u(q). Let y be f(8). Let n = -5 - -37/8. Is n equal to y?
False
Let g = 23 + -23. Is -10/11 >= g?
False
Let h be 1/((-44)/(-20) - 2). Which is bigger: h or 3?
h
Let t(p) = -p - 4. Let a be t(-6). Let l be (0/7)/(a*-1). Let j be (-2)/(-6) + 1/(-3). Is j > l?
False
Let o be (40/(-25))/((-2)/(-25)). Let n be 1406/(-8) - (-5)/o. Let w = 876/5 + n. Does -1 = w?
False
Suppose -5*v = 5*p - 5, v + 11*p + 7 = 6*p. Which is smaller: 38/11 or v?
v
Suppose -5*k + 2*k = 3. Let b be 11 - 2*(0 - k). Let q be 8/3*b/(-6). Are -4 and q unequal?
False
Let k be (-2)/(-8) - 213/(-12). Suppose -5*m - k = -4*z, 4*z - z = -2*m + 2. Is m > -3/2?
False
Let w be -2*1/(1/31). Is -62 >= w?
True
Suppose w - 4 = -2. Suppose j + w*y - y = -2, -j + 2 = 3*y. Let z = j - -5. Is z at most 5/3?
True
Let k(i) = 4*i + 23. Let g be k(-6). Which is smaller: 1/4 or g?
g
Let g = 41 - 44. Suppose 2*m + 4*r = -6, r - 13 = -3*m + 6*r. Let d = m + -5. Is g >= d?
True
Suppose w + 2*w = 0. Is w at least -2/31?
True
Let v(g) = -g**2 - 9*g - 9. Let o be v(-7). Suppose o*x + 7 = 3*n + 21, x = 4*n + 13. Which is smaller: x or 2?
x
Let l = 6 + 5. Is 0.1 at most as big as l?
True
Let p = -2162 - -75662/35. Which is greater: p or -1?
p
Suppose -4*k + l + 15 = 0, 2*l - 1 + 3 = k. Let g = 9 - k. Let s be (-3)/g + 27/(-30). Which is smaller: s or -1?
s
Let t be (3/10 - 2) + 2. Let p = -3 + 2. Is p at most as big as t?
True
Let s = 0.44 - -0.06. Which is smaller: s or -3/7?
-3/7
Let g = -2.3 + -6.7. Let q = 10 + g. Which is smaller: q or -0.2?
-0.2
Let j be (3/2)/((-21)/1064). Which is bigger: j or -75?
-75
Let w(a) = 11*a**3 + a**2 - a. Let y be w(1). Let q = y + -11. Are q and -1 equal?
False
Let h(q) = 5*q**2 - q. Let l be 1/(2/(2 - 4)). Let z be h(l). Let t be 6/(1/(-4)*-6). Is t > z?
False
Let i be (3/6*0)/(-2). Is 2/3 at least as big as i?
True
Let l be (12/18)/((-4)/((-24)/10)). Let r = -57/4 + 14. Is r equal to l?
False
Let n be 1 + (-29)/9 + 2. Let l = 0 + 2. Which is greater: n or l?
l
Let o be 116/(-8) + 5/10. Is o at most -13?
True
Suppose 2*i - 77 - 41 = 0. Which is smaller: 0 or i?
0
Suppose 403 = 5*u + 63. Which is smaller: -1/3 or u?
-1/3
Let l = 49 - 53.4. Let g = l + 5. Let o = -3.4 - g. Is -1/3 less than or equal to o?
False
Let d be -1*(-3 + 3) - (-10 - -5). Are d and 31/6 non-equal?
True
Suppose -3 = 6*i - 3. Suppose 2*c + 18 = -3*s, -2*c - 2 = -2*s + s. Let b be s*(10/4 - 2). Which is smaller: b or i?
b
Let n be -3 + 3 - 12/(-3). Suppose n*u - 6 = 10. Suppose 0 = l + 3*l + u. Is l equal to -1/3?
False
Let o = 0 - 0.1. Suppose 3*x + 19 = -2*a, -16 = -4*x + 6*x + 3*a. Is x greater than or equal to o?
False
Let g(x) = -x**3 + 6*x**2 - 4. Let w be g(6). Let q(a) = a**2 + 2*a - 1. Let l be q(-3). Let m = w + l. Which is smaller: -3 or m?
-3
Suppose -4*c = -4*k - 88, -2*k - 2*k - 3*c = 123. Let y = -15 - k. Which is bigger: y or 11?
y
Suppose -5*t = -3*t - 4. Suppose -6 = -f - 1. Suppose -f*s = -t*s. Which is smaller: s or 3?
s
Let b be 2 - 3 - (2 - 1). Let d(t) be the first derivative of -t**4/4 + 5*t**3/3 + 7*t**2/2 - 6*t + 2. Let o be d(6). Are o and b nonequal?
True
Let y = 2165/42 - -553/6. Let n = -144 + y. Does 2/5 = n?
False
Let k(j) = -j**3 + 3*j**2 - 3. Let c be k(3). Let u(x) be the second derivative of x**4/12 - 5*x**3/6 + x**2 + 4*x. Let f be u(3). Are c and f nonequal?
True
Let v = 1 - 13. Let b be 10 + v - (-2 + 0). Is -2/17 less than b?
True
Suppose -4*h - 7 = -3. Is 3/20 <= h?
False
Let b = -6 - -7. Let k = 1 - b. Let f = 0 + -0.3. Is f at least as big as k?
False
Let k = -14 + 99/7. Let x = -6 - -10. Let y be 6/x - -1 - 3. Is y greater than or equal to k?
False
Suppose