ose -z*k = 2*k. Is k > -2?
True
Suppose 7*o - 4*o = 30. Let a be o/(-16)*6/(-15). Is -1 greater than or equal to a?
False
Let l be 4/(-20) + (-27)/15. Suppose -2*j = 3*j - 30. Let b be 2/(-6) - l/j. Which is smaller: 1/4 or b?
b
Let m = -11.6 - 1.4. Which is bigger: 4 or m?
4
Let g be (12 - 9) + 6542/18. Let s = g - 366. Which is smaller: 0 or s?
0
Let q(f) = -f**2 - 5*f. Let l be q(-3). Let v be l/9 + (-8)/12. Let p be (0 - (-6)/5) + -1. Is v >= p?
False
Suppose 4*g + 4 = 4*o, 0 = 2*o - 4 - 2. Let l be (-28)/(-12) - g/6. Suppose -2*n + 4*n + 10 = d, -5*d - 2*n = -2. Is l < d?
False
Suppose 0 = 3*v - 2*u - 2*u + 33, -3 = v - 4*u. Is v at most -17?
False
Let h = -7 - -3. Let c(t) = 2*t**2 + t. Let n be c(1). Suppose -p - n*w = -0*w + 12, 18 = -4*p - 2*w. Are p and h equal?
False
Let c = 11 + -7. Let w be (-880)/150 - c/6. Let v = -32/5 - w. Is 1 < v?
False
Let b = -22.9 - -23. Is b > -54?
True
Let r be 20/22 - (0 - -1). Suppose -5*u - 11 = -3*w, 3*w = 3*u - 0*w + 9. Is u greater than or equal to r?
False
Let m = -1.5 - 0.62. Let t = m + 0.12. Is t greater than -1?
False
Let u be ((-126)/122 - -1)*-1. Which is greater: u or 1?
1
Let x = 76.4 - 81.4. Let t = -8.3 + 8. Which is bigger: t or x?
t
Let g be (-122)/(-18) + (-6)/(-27). Suppose 0 = 5*k - g - 3. Suppose k*f = 3*o - o - 8, -f = 2*o + 1. Are o and -2/19 nonequal?
True
Let t = 20 + -14. Let o = -5 + t. Which is greater: 2/9 or o?
o
Let y be (-10)/(-35) + (-60)/14. Let i be 15/(-18) + y/(-6). Is 0 bigger than i?
True
Let l be (172/90)/((-6)/9). Let a = 11/5 + l. Let d = 16 - 15.96. Which is smaller: a or d?
a
Suppose -v = -b - 5, -5*b - 2*v = -b - 10. Suppose 5*h = -b*h. Let t = 28 - 57/2. Which is smaller: t or h?
t
Let j = -5 + -7. Is -0.1 bigger than j?
True
Let p = 3 - 2. Let d be (-9)/(-18) + 55/2. Let q be (-2)/7 + (-20)/d. Is q greater than p?
False
Let d(r) be the first derivative of r**3/3 + 4*r**2 + 4*r - 2. Let k be d(-8). Let h = 6 - k. Is 2 > h?
False
Let m = 7 + -7. Let t = 0.1 - 0.2. Let r = -0.07 - t. Is r bigger than m?
True
Let i = -32 - -23.5. Let h = i - -9. Is h greater than or equal to -1?
True
Suppose -7*w - w + 8 = 0. Let v = 1187/11 + -108. Is w < v?
False
Let u be ((-5)/(-25))/((-22)/(-10)). Which is bigger: 1 or u?
1
Let o(p) = p**3 + 11*p**2 - 13*p - 8. Let m = -20 + 8. Let b be o(m). Suppose 0 = -b*f + f - 9. Is 1/4 at least as big as f?
True
Let j be (-63)/7 + 0 + -2. Is j < -68/7?
True
Let k = 0 + -1. Let p(r) = 3*r**3 - 2*r**2 + 1. Let v be p(1). Suppose -9 = -3*y, q + 2*y - 4 - v = 0. Is k != q?
True
Let f(l) = -l**2 + 9*l - 2. Let j be f(6). Suppose -19 - j = -5*u. Let q(m) = m**2 - 8*m + 20. Let k be q(6). Which is greater: k or u?
k
Suppose 0 = -8*a - 73 + 49. Which is greater: -13 or a?
a
Let g = -2 - -1. Let c be 70/(-30) + 4/6. Are c and g equal?
False
Let p be (-2)/(-16)*(-4)/(-109). Let f = p - 443/1526. Which is smaller: f or 1?
f
Suppose -2*v - 5*v + 672 = 0. Is 97 not equal to v?
True
Suppose -3*l = -58 - 107. Let m = 221/4 - l. Let d = -1 - 1. Is d at most m?
True
Let b = -4 - -2. Let o = 2 + b. Let n = 10 + -6. Which is bigger: o or n?
n
Suppose -20 = -7*c - 76. Is -6 > c?
True
Let f be (2 + 0)*(-3)/(-2). Suppose -4*m = 3*t - 1, 3*m = -5*t + m - 17. Let u(o) = o**2 + 5*o + 2. Let h be u(t). Which is smaller: h or f?
h
Let l be ((2/3)/((-16)/(-684)))/6. Is 4 at most l?
True
Let g be (2/4)/((-2)/(-4)). Let z be 1*(-21)/27 + g. Is z at least -1?
True
Let t(u) = -3*u**3 - 2*u**2 + u. Let n be t(-4). Suppose -y = -2*x - 99, 0*x - 3*x - y = n. Let o be -4*(x/54 - -1). Is -1 greater than o?
False
Suppose 5*w + 20 = -15. Let a = w + 10. Suppose 0 = d + a - 4. Which is smaller: 2 or d?
d
Let l be 12*(140/(-16))/5. Is -22 greater than l?
False
Let k = -1/1624 - 4175/1624. Let n = 20/7 + k. Is n at most as big as 1?
True
Let p(i) = -i**2 + 10*i + 11. Let q be p(11). Let v = 3 - q. Suppose 4*d - 4 = -3*t, -7*t = v*d - 3*t - 3. Which is smaller: d or -1/4?
-1/4
Let z = -6 + -1. Let l be (-1)/z - 12/(-42). Is 1 not equal to l?
True
Let k be 2*(-1 + 10/8)*2. Is 1 <= k?
True
Let t = -20.6 + 12.3. Let k = t + 8. Let l = -0.2 - -0.2. Is k < l?
True
Suppose 9*l - 5 = -14. Is l at most -9/8?
False
Suppose -x + 4 = 3. Let j(d) = 1 + d + 1 + 0. Let s be j(0). Which is smaller: s or x?
x
Let s = 25 + -19. Let t be (-3 + 0)*(-8)/s. Suppose -2*d + 7 = -1. Is t > d?
False
Let a be 0/(-6*(-4)/12). Is a not equal to 1/52?
True
Let u be 1/(-2)*(-21 - -3). Let l = u + -4. Which is greater: l or 6?
6
Let b(n) = n**2 - 4*n + 4. Let c be b(3). Suppose -5*j - 5*h + 8 = 3, -5*h - 7 = j. Which is greater: j or c?
j
Let c = 0 - 0. Let u = -206 - -196. Which is smaller: c or u?
u
Suppose 8 - 4 = 4*r. Which is smaller: r or -2/21?
-2/21
Let k = 19/92 - -1/23. Which is smaller: k or 17?
k
Let t(b) = -3*b**3 + 3*b**2 + 3*b - 6. Let s(k) = k**3 - k**2 - k + 1. Let d(u) = -4*s(u) - t(u). Let z be d(2). Which is bigger: 2/25 or z?
2/25
Suppose 6*z + 2 = w + 3*z, -5*z - 10 = -5*w. Let v be 8/2*516/96. Let a = v - 21. Is w greater than or equal to a?
True
Suppose -17*a + 122 = -15*a. Is a > 61?
False
Let z(h) = -h**3 - 4*h**2 - 2*h + 2. Suppose 2*x = -42 - 12. Let a be (-2)/(-6) - (-90)/x. Let r be z(a). Which is greater: r or -7/3?
r
Let c = 54 + -55. Which is smaller: c or -4?
-4
Let f be (-2 + 3 + -2)*2. Let a be (-2)/(-3) + 14/(-3). Which is greater: f or a?
f
Let d(b) = -b**3 - 16*b**2 + 13*b - 2. Let r be d(-17). Is 67 greater than r?
True
Let b = 0.23 + -0.03. Let h = -0.9 - 0.1. Which is bigger: b or h?
b
Let r = -134 - -131.34. Let d = -0.06 - r. Let v = -0.4 - d. Is v != -1/2?
True
Let h = 16 + -11. Suppose -2*y + t + 17 = -14, -3*t + 60 = 3*y. Suppose 0 = h*k + y - 2. Is k != -2?
True
Let j = -5631/14 - -402. Let v(n) = n + 7. Let x be v(-8). Does j = x?
False
Suppose 0 = -4*t - 218 + 842. Let r be 141/t - 2/13. Which is smaller: r or 2?
r
Let c be 37118/76 + (-2)/4. Let w = 488 - c. Suppose -3*t + 5 = -2*f, -3*t = 4*f - 3 + 4. Which is smaller: f or w?
f
Let p = 25 + -26. Are p and -1/14 equal?
False
Let g(t) = t**2 + 12*t + 11. Let s be g(-11). Suppose -n - 2 = -s*n. Is -2 greater than or equal to n?
True
Suppose -4*p = 5*h + 72, -2*p + 4*h - 75 = -13. Let g be p/4 + 27/36. Is -7 > g?
False
Suppose -2*s - 2*s = 12. Let w(y) = y + 3. Let t be w(s). Let g = t + 0. Is 1/10 greater than g?
True
Let w(g) = -3*g - 2. Suppose 2*u = -0*u - 4. Let a be w(u). Suppose 3*b + t - 7 - 7 = 0, -b + a*t - 17 = 0. Is 4 smaller than b?
False
Let z = 124/3 - 42. Which is greater: 0 or z?
0
Let q = 41 - 40. Which is bigger: q or -14/11?
q
Let l(u) = u**2 - 3*u + 2. Let k be l(2). Are k and -1/16 equal?
False
Let n(i) = -2*i**2 + i. Suppose 4*o + 0 + 5 = 3*m, -5*o = 3*m - 14. Let k be n(o). Suppose 5*s + 4*g = -0*g - 17, 0 = -4*s - 4*g - 16. Is k > s?
False
Let i be 4*-2*(-2 - -1). Let h = 27 + -16. Let k = i - h. Do -4 and k have the same value?
False
Let s(x) = x + 2. Let p be s(2). Suppose -2*v = p*k - 14, -k - 14 - 5 = 5*v. Which is smaller: k or 5?
5
Suppose -c = i + 4, 0 = 3*c + 4*i + 7 + 2. Let h = -7 - c. Let a = 5/8 + -3/4. Is a != h?
True
Let d = 576/13 - 11061/247. Let v = -7/95 - d. Are v and 0 equal?
False
Let h = -8 - -16. Let n(i) = -i**3 + 7*i**2 + 8*i + 5. Let b be n(8). Suppose 0*m + 3*c - 38 = -b*m, 0 = -4*m + 4*c + 24. Which is smaller: h or m?
m
Let c = 32/95 - -6/95. Let z(i) = -i**2 - 4*i - 2. Let q be z(-3). Are q and c equal?
False
Let s = -13385/392 - -273/8. Is s < 0?
True
Suppose 0 = 2*y + 2*v - 4, 0*y - 2*y - 3*v = -9. Suppose -3*c + 3 = -3*z, 0*z + 3*c - 7 = 2*z. Let b = y + z. Is 1 less than b?
False
Let v = -12781/140 - -645/7. Let z be ((-3)/(-175))/((-16)/260). Let f = z + v. Which is bigger: f or 1?
1
Let y = -55 + 10. Which is smaller: y or 0.1?
y
Let a = -16.51 - -16.4. Is a at most -2?
False
Let o be (4/(-8) - -1) + (-15)/26. Let q = 0.1 - 0. Which is smaller: o or q?
o
Let g = 1379/17 + -81. Let d = -11/51 - g. Let h = 0.35 + -0.15. Which is bigger: d or h?
h
Let r(q) = -q + 2. Let x be r(0). Let v be x/(-22) + (-14)/(-77). Which is bigger: v or 0?
v
Let x = -290 - -8123/28. Suppose 0 = 3*o - 3 + 6. Is o less than or equal to x?
True
Let u = 18 + -15. Let o be u/2*12/(-18). Let l = -2 + 2. Do l and o have the same value?
False
Suppose 0 = -d - 0*d. Suppose 