 y(b) = 3*b**3 + 2*b - 2. Let v be y(1). Suppose v*i - i = 8. Does 0 = i?
False
Let r = 14/25 + -251/225. Are r and -1 non-equal?
True
Let u = -456 + 451. Let y = 6 - 11. Is y < u?
False
Suppose -5*t = g + 20, t + 0*t = -4*g + 15. Suppose 2*i + g = -9. Is i greater than -6?
False
Let p be ((-140)/30)/((-1)/(-3)). Let g be p/10 - (-4)/10. Which is greater: g or 0?
0
Suppose -31 = -6*b + 11. Let w = b - 9. Is w at least -1?
False
Let v = -5 - -11. Let m = 11 - v. Suppose -r + 3 = -m*p - 2, -p - 1 = 0. Which is smaller: r or -4/5?
-4/5
Suppose -7 + 1 = -n. Do n and 7 have the same value?
False
Let o = -26 - -439/17. Is o less than 1?
True
Suppose -4*b + 4 = -3*d - 1, -5*b = -5*d - 5. Which is smaller: d or 15/7?
d
Let u(k) = k**3 + 4*k**2 + 2*k - 2. Let h be u(-2). Is h greater than or equal to 2?
True
Let h = -0.3 + 0.48. Let c = -0.82 - h. Is 9 not equal to c?
True
Suppose 5*o + 35 = 5*r, 0*r - 3*o - 25 = -4*r. Which is smaller: 6 or r?
r
Suppose -4*h - 3*p + 20 = 0, -h - 5*p = -3*p - 5. Let x be 1/(-2) + h/2. Suppose w - 7*t + 1 = -x*t, 0 = -3*w + t - 3. Are -2 and w unequal?
True
Let o = -4 + 3.6. Let p = 1.1 - 1. Which is smaller: p or o?
o
Let f(a) be the third derivative of -a**6/120 + a**5/60 + 5*a**4/24 + 4*a**3/3 + 2*a**2. Let k be f(-6). Let i = -925/4 + k. Which is greater: 0 or i?
0
Suppose 0 = -o + 4*o, -k + 3 = -o. Suppose 4*j + k - 7 = 0. Which is smaller: -2/5 or j?
-2/5
Let f(a) = a**2 + 9*a + 2. Let g be f(-9). Suppose y = -t, -y - 8 = -t - g*t. Is t less than 2?
False
Let r = 5.5 + -6.8. Is r less than 0?
True
Suppose 5*q = 2*q - 3. Suppose 0 = 88*s - 83*s + 10. Which is greater: q or s?
q
Let s = 62 - 61. Is 0 greater than or equal to s?
False
Let o be -454 - (-7)/(14/4). Let n = o + 4072/9. Is n greater than or equal to 0?
True
Let k = 120.01 + -120. Let r = -0.21 + 1.11. Let i = r - 1. Is k at most i?
False
Let b = -33/2 + 67/4. Which is smaller: b or -1?
-1
Let i = -8 - -15. Let w = i - 11. Let a be w/4 + 22/18. Do a and 0.1 have the same value?
False
Let d = -39.8 - -46.82. Let h = -0.02 + d. Which is smaller: -0.1 or h?
-0.1
Let h = 5 - 4.96. Let v = 43 + -43. Which is greater: h or v?
h
Suppose -38 = 5*m - 153. Let s be (1/m)/(1/(-2)). Which is greater: -1 or s?
s
Let y be 2*((-14)/(-4) + -2). Suppose y*a - 2*a = 0. Let q = 1 + a. Which is bigger: -2/11 or q?
q
Suppose -2*k - 2 = 2*z, -3*k + 4*k = 3*z - 1. Let u = 0.5 - -1.5. Are u and z non-equal?
True
Let a = 62 - 61. Which is bigger: -0.57 or a?
a
Let o be (0 + 1)*8/(-184). Which is smaller: o or -1?
-1
Let q be 153/(-21) + 2/7. Which is smaller: -44/7 or q?
q
Suppose -5*i - 4 = -14. Suppose 18 = -o - 4*b, 2*o - 3*b - 16 = i*b. Let w = -3 - -1. Do w and o have the same value?
True
Let k(f) = -f + 1. Suppose 5*h - 3*q = 2*q + 40, 4*q + 20 = 0. Let v be k(h). Which is bigger: v or 2?
2
Let v be 1/(-1)*(0 - 1). Suppose -3*b = b. Let o = 2 + b. Is v greater than or equal to o?
False
Let s be 2/((-1140)/(-35)) - (-1)/(-6). Which is smaller: 1 or s?
s
Let v = 7/3 - 8/3. Let y = 0.62 + -0.32. Which is smaller: y or v?
v
Suppose -2*w = 2*w + 4. Let r be ((-866)/516)/w + -1. Let s = r + -1/86. Which is smaller: 2 or s?
s
Let n(o) = -o**2 - 3*o + 3. Let k be n(-4). Let y(l) = -l**2 - 3*l + 7. Let v be y(-5). Which is smaller: k or v?
v
Let i(z) = z**2 - 3*z + 2. Let h be i(2). Let p be 2/18*(-93)/5. Let g = p + 12/5. Is g <= h?
False
Suppose -5*h = -h - 4. Suppose -3*g - b = -h, -3*g + b = -2*b - 21. Suppose 5*p + 2*m - 11 = 0, 4*m + 9 = -5*p + 26. Which is greater: p or g?
g
Let n = -9.7 + 2.7. Which is smaller: n or 2/7?
n
Let n be (12/(-15))/(1/(-5)). Let a(m) = -m + 17. Let g(u) = 3*u - 60. Let s(j) = -18*a(j) - 5*g(j). Let w be s(3). Which is greater: w or n?
n
Let x be (-2)/(-8) - 50/40. Let v be 1/3 + 3/(-12). Which is greater: x or v?
v
Let w(j) = j**3 + 5*j**2 + 3*j - 4. Let f be w(-4). Let o be 0/(0 - 0 - -1). Is o at least as big as f?
True
Suppose -3 = z, 5*g - 12 - 3 = -5*z. Which is greater: g or -0.2?
g
Let q = 0 + 4. Let o be ((-42)/4)/((-3)/4). Suppose 24 = 4*d + 2*n + 2*n, 5*n = 3*d + o. Is d not equal to q?
True
Let s = 86/7315 + -1/154. Let y = -1133/1330 - s. Does -1 = y?
False
Let n = -389126/419543 - 2/54723. Let f = n + 6/23. Is -0.3 >= f?
True
Let o(s) = s**3 - 3*s**2 + 4*s - 3. Let f = -5 + 3. Let c = 0 - f. Let l be o(c). Which is greater: l or 2/9?
l
Let x(t) = -t**3 + 6*t**2 - 6*t + 4. Let d = -1 + 6. Let q be x(d). Which is smaller: q or 2/21?
q
Suppose 5*m + 10 = -5*o, -m + 3*m + 3*o = -5. Let z = -639 - -637. Is z less than m?
True
Suppose -3*y - 26 = 2*y - 4*o, 4*o - 24 = 4*y. Let t be y*1/(-6)*3. Which is greater: t or 1/22?
t
Let d = 0.9 - -0.1. Which is bigger: d or -1/3?
d
Let a = -12 - -7. Let o(q) = -q - 2. Let r be o(a). Let u = -5 - -8. Is r < u?
False
Let y = -3/7 - -5/28. Which is smaller: -8/5 or y?
-8/5
Let s = -23/76 - -1/19. Let t = -31.9 - -31. Is t less than or equal to s?
True
Let a be 156/10 + 4/10. Suppose 6*g - a = 2*g. Let i = 60 - 56. Do g and i have the same value?
True
Let g(s) = -s**3 + 7*s**2 + 1. Suppose 28 = -0*d + 4*d. Let h be g(d). Let t be (-2)/(-4)*0/2. Are t and h unequal?
True
Let z(l) = l - 7. Let u be z(6). Are u and -2 non-equal?
True
Let x = -85 - -763/9. Let z = -4.5 + 0.5. Is x equal to z?
False
Suppose -2*i + 48 = 50. Which is smaller: -4/5 or i?
i
Suppose -3*r - f = 7, 3*r + 11 = -0*f - 2*f. Let a = -18 + 11. Let h = a + 7. Is h <= r?
False
Let n = -18 + 8. Let i = -11 - n. Which is bigger: i or 2/13?
2/13
Let t be (2/4)/((-2)/(-8)). Suppose 0 = -5*v + 3*z + 33, -3*z - t*z = 5. Is v at least 6?
True
Let v be ((-9)/(36/8))/((-1)/44). Which is smaller: v or 87?
87
Let f = 2 - 1.9. Let r = -0.6 - f. Which is greater: r or -0.1?
-0.1
Let a = -7 + 3. Let n = a - -3.9. Let m be (((-4)/(-3))/4)/(-1). Which is smaller: m or n?
m
Suppose 3*w - 7*w = -8. Let f = -0.17 - 1.73. Let k = f - -2. Which is greater: w or k?
w
Suppose -r - 2*w + 4 = 0, -3*r + 5*w - w = -22. Suppose -5*j = 2*b + 1460, r*j = 2*j - 5*b - 1185. Let h = j + 3192/11. Which is bigger: h or -1/3?
h
Let l be 3/7*(-6)/9. Let u be (1 + -5 - 1)*-4. Suppose 2*d = 4*z - 0*z - u, -3*d - 20 = -4*z. Which is smaller: l or d?
l
Let h(q) = -q**2 - 6*q - 5. Suppose 4*n - 16 = 0, 5*n - 8*n + 8 = z. Let r be h(z). Suppose -4*y = 9 + r. Which is smaller: -4 or y?
-4
Suppose 3*o + 2 = -1. Suppose -2*z = -5*z + 6. Suppose 0*g = z*g. Which is greater: g or o?
g
Let k be 1/(2*4/(-16)). Let a(p) = p**3 + 9*p**2 - p - 6. Let y be a(-9). Let z be (-20)/(-15)*y/(-7). Is z >= k?
True
Let d(b) = b**2 + 7*b + 9. Let p be (-4)/(-3*4/(-18)). Let i be d(p). Do 1 and i have the same value?
False
Let m be 9*(2 - (-9)/(-3)). Let l(a) = -a - 6. Let j(z) = 4*z + 24. Let k(q) = m*l(q) - 2*j(q). Let i be k(-7). Is 3 greater than or equal to i?
True
Let i be ((-5)/15)/(2/(-18)). Suppose -5*l + 3*b = 30, 10 = -2*l - i*l - b. Is -4 smaller than l?
True
Let d(x) = -x - 7. Let m be d(-5). Let k = 63 + -65. Are m and k unequal?
False
Let d be (6/54 - 0)/(1 - 2). Are -1 and d unequal?
True
Let l(j) = -3*j + 14. Let h(q) = -5*q + 21. Let n(c) = -5*h(c) + 8*l(c). Let m be n(-8). Which is smaller: m or -1/2?
m
Suppose 0 = 5*i - 10, 5*i - 15 - 10 = -5*h. Are h and 2 non-equal?
True
Let s = 10.9 + -11. Is -6 at least s?
False
Suppose 0 = 17*f - 22*f. Let c(x) = 0*x**3 - 3*x + 3*x**2 - x**3 + 2*x**2 - 5. Let a be c(4). Is f equal to a?
False
Let g(k) be the third derivative of -k**5/60 + k**4/12 - k**3/3 + k**2. Let a be g(2). Let v be -1*(4/a)/(-2). Is -1 != v?
False
Suppose -4*i - 22 = 2*r, 4*i + 11 = 4*r + i. Does 6/37 = r?
False
Let p = -32 - -18. Let r = -12 + -2. Is p greater than r?
False
Suppose -5 = 2*m + 15. Is -9 at most as big as m?
False
Let u be 60/(-9)*(-1 - 2). Let o = 19 - u. Let a = 1862/15 + -124. Is a at most o?
False
Let g be (-2 + 0)*1 + 12. Let m = -18 + g. Let q = m + 4. Are -5 and q unequal?
True
Let z(p) = -p**3 - 3*p**2 - p - 1. Let n be z(-3). Let b be n/8 + (-2)/8. Is b not equal to 3/22?
True
Let f be (-8)/(-14) + (-862)/14. Let a = -87 - f. Which is smaller: -27 or a?
-27
Let l be (-11)/66 + (-1)/(-6). Let m be 6/21 + (-19)/(-56). Is m equal to l?
False
Let v(p) = p**3 + 3*p**2 - 3. Let h be v(-3). Let i = 7 + h. Let s = 10 - i. Which is smaller: 3 or s?
3
