.6 + -1.6. Let b = 17.57 - d. Let m = -0.5 - b. Do 2 and m have the same value?
False
Let i be 38/(4/(-14) - 288/(-126)). Which is bigger: 17 or i?
i
Suppose 3670 + 2977 = -5*r - 2*n, 0 = r - 2*n + 1339. Is r < -1331?
False
Let y(s) be the second derivative of s**4/12 - 4*s**3/3 + 10*s**2 - 4*s. Let p be y(4). Is -0.8 <= p?
True
Let q be ((-63)/6 + 2)*-118. Let x = -7033/7 + q. Suppose 6*h - 41 + 59 = 0. Is h bigger than x?
False
Let f(k) = -k**2 - 9*k - 6. Suppose 3*s + 0*s = -18. Let h be f(s). Let y = 4 - h. Which is smaller: -0.1 or y?
y
Let z = 1 + 3. Let q be (2/(-120))/(z/(-5)). Let w = 581 - 580. Which is greater: q or w?
w
Let p be 1 + 1 + -2 + 2. Suppose 4*l - 4 = -p*j, 6*l - l - 2*j - 5 = 0. Let a = -9.8 + 10. Which is greater: l or a?
l
Let o = -1.639 - 1.361. Is o >= 1/5?
False
Let t = 3 - 1. Suppose 5*j + 0*f + 18 = f, 5*j + 24 = -t*f. Is j <= -5?
False
Let j = 1222 - 1244. Which is smaller: -160/7 or j?
-160/7
Let o = -1970/3 - -695. Is 39 > o?
True
Suppose 2*c + r + 37 = 0, -3*c + 11 = 5*r + 70. Is c at least -18?
True
Let s be 2/4 - (-39)/2. Let i be (-3)/5 - (-92)/s. Suppose 3*j = -5*g - 9, -5*g = j + i*j + 5. Which is bigger: -1 or g?
-1
Let z = 3431438/727 + -4720. Let y = z - -909/66157. Let u = -1097/455 + y. Which is smaller: -2 or u?
u
Let t(n) = n**3 + 7*n**2 + 5*n + 1. Let o be t(-6). Suppose 4*b - 3*b + y = 5, 4*b - 21 = -5*y. Let z = o - b. Which is smaller: 6 or z?
z
Let i be (74/(-20))/(1540/49). Let z = i - 2/275. Let v be (-13)/(-39) - 2/(-3). Which is greater: v or z?
v
Let r(h) = -h**3 - h**2 + 2*h + 1. Let t be r(-2). Which is bigger: t or -1/251?
t
Let x = -1357 + 1262. Is x not equal to -102?
True
Let i(u) = -u**2 - 12*u - 6. Let n be i(-11). Suppose 4*d - d + 2*f = n, 4*f = -4*d + 8. Which is smaller: 1/3 or d?
1/3
Let f be ((-44)/99)/(2/(-3)). Are 65 and f nonequal?
True
Let l = 0.1 + -1.1. Let z = -5.2 - 22.8. Let c = -27.96 - z. Is c greater than l?
True
Let t(p) = -2*p**3 + 2*p + 1. Suppose 0 = 4*v - 5*v - 1. Let c be t(v). Let y be (-1 - c)*5/(-175). Which is smaller: 1/2 or y?
y
Suppose 5*l - 2*f + 8 = 0, f + 9 = -3*l - 2*f. Let g be 960/(-328) + (1 - l). Is 0 smaller than g?
True
Let l = 1321/9 - 147. Let o(d) = 4*d + 4. Let q be o(4). Let w = -20 + q. Which is greater: l or w?
w
Let a = -221 - -212. Is 1 less than or equal to a?
False
Let p be -5 - (-34 + 14 + -3). Suppose 76 = 4*s - c - 2, -4*c - 46 = -2*s. Is p less than or equal to s?
True
Let h = -9.69 + -1.41. Let t = -15 - h. Let b = -4 - t. Is 0.7 at least b?
True
Let u be ((-1)/(-3))/(60/3294). Let z = -93/5 + u. Let j be 0/(2/1)*1. Is j > z?
True
Let j = 3.1 + -47.1. Let u = j - -45.9. Let o = u - 0.9. Is 1/7 > o?
False
Let g = 606 - 607. Is -45 greater than or equal to g?
False
Let s = -166 + 167.61. Let b = s - 0.41. Which is greater: b or 0.2?
b
Let u = 8 - 13. Let m be (-64)/60 - 2/u. Suppose 92*j - 6 = 95*j. Is m at most as big as j?
False
Let f = 4.54 + 200.46. Is -1/2 < f?
True
Let g(q) = 2*q - 24. Let t be g(12). Let d be 8/(-96)*(-3 + t). Let i = -3 + 4. Which is greater: d or i?
i
Let y(p) = p**2 + 18*p - 14. Let b be y(-19). Suppose -b*q = -2*h + 59, 3*h = 2*q + h + 26. Is q <= -11?
True
Let q(y) = -4*y - 54. Let t be q(-13). Which is smaller: -16/23 or t?
t
Let y = 112.82 + -113. Which is smaller: 4 or y?
y
Let l = 501 + -501.12. Which is smaller: l or 1.2?
l
Let o(k) = k**2 + 8*k - 18. Let f be o(-10). Let b be (-3)/(-3)*15/21. Is b < f?
True
Let x(u) = 3*u - 16. Let r be x(5). Is r != -8/45?
True
Let w = 0.15 - -11.85. Let s = 9441/4 + -2360. Which is greater: s or w?
w
Let n = 1443 + -373735/259. Is 0 > n?
False
Let k = -2414/19 - -127. Let v(c) = 2*c + 1. Let o be v(1). Suppose -o*g = -g. Which is smaller: g or k?
k
Let t = 95.106 - 0.106. Let k = t - 131. Which is smaller: k or 1?
k
Let w be ((-1)/3)/(19/3933). Let f = w + 68. Which is bigger: 4 or f?
4
Suppose -5*a + 26 - 126 = 0. Let x = 18 + a. Which is bigger: x or 5?
5
Let s be ((-32)/(-3) - (-26)/(-39))/(-6). Let y(h) = h**2 - 11*h + 10. Let w be y(10). Do s and w have the same value?
False
Suppose -2*u - 4*p + 9*p + 158 = 0, u - 85 = 4*p. Let t = u - 68. Let x be 5/(-4)*(-2)/5. Is x at least as big as t?
False
Let y be -6 - 136/16 - -15. Let z = 0.05 + -10.05. Are y and z non-equal?
True
Suppose -27*z + 31*z + 27 = 3*h, 0 = -3*z - 3*h - 36. Let w be -22 - 2 - (3 + -1). Let x = 16 + w. Which is smaller: x or z?
x
Let z(y) = -2*y + y - 4*y - 8 - 23. Let s be z(-6). Let n = 9 - 215/24. Is n <= s?
False
Let p = 5 - -31. Let h = 45 - p. Is h >= 9?
True
Suppose 0 = -16*f + 6*f + 12000. Let y be 2/9 - (-2 + f/(-189)). Which is greater: y or 9?
9
Let k(l) be the third derivative of l**4/24 - 5*l**3/6 - 6*l**2. Let q be k(8). Which is bigger: 2 or q?
q
Let a = 85 + -87. Which is smaller: -82 or a?
-82
Let z = 993 + -992.941. Is z less than or equal to -6?
False
Let q be (0 - 3/6)*-26. Suppose 19 = -4*n - q. Is -23/3 at most n?
False
Let h = -36 + 38. Suppose 21 = -j + 5*j - 5*n, h*j = 3*n + 13. Is 2/11 at most as big as j?
False
Let p be (-6)/45 - 2/(-15). Which is greater: -18/145 or p?
p
Let q(w) = -76*w**2 + 7*w + 10. Let b be q(-1). Is -72 < b?
False
Let q be (-7)/(-14) - 18/(-4). Let i(k) = 1 + k**2 - 5*k + q*k + 2*k**3 + k. Let a be i(-1). Is a not equal to -1?
False
Let s(x) = 64*x - 1102. Let w be s(17). Is -6 greater than w?
True
Let l = 181 - 181.1. Is l <= -18?
False
Let w = -8.382 - -0.382. Let q = -46 + 183/4. Which is greater: w or q?
q
Suppose -60*x + 1924 = -34*x. Which is greater: x or 68?
x
Let w(n) = -n**2 - 7*n - 10. Let v be w(-4). Let b be 58/(-60) - (1 - v). Which is smaller: b or -1?
-1
Let j = -18 - 9. Let q = j - -25. Let z be (70/15)/q*12. Is -27 at least as big as z?
True
Suppose -c - 4*c - 2*n + 18 = 0, -2*c + n = 0. Let s(w) = w**2 - w - 1. Let v be s(2). Suppose -3*q - 3*i + 2 = -v, c*i - 2 = -q. Which is smaller: q or -5/6?
-5/6
Suppose -4*z + 20 = h, -h + 4*z + 29 = 5*z. Which is smaller: h or -0.01?
-0.01
Let n(b) = -3*b + 8. Let r be n(5). Let k = -6 - r. Which is smaller: 0.24 or k?
0.24
Let v = -47 + 36. Let w(h) = -h**3 - 10*h**2 + 14*h + 12. Let s be w(v). Which is bigger: s or -22?
s
Let v(t) = -t + 11. Let j be v(6). Suppose -j*y + 4*y = 0. Suppose y = h + h - 2. Which is smaller: -0.3 or h?
-0.3
Let h(x) = x**2 - 17*x + 8. Let f be h(7). Let k be f/10 + (-17)/(-85). Let l be (-18)/k - (0 - 1). Are l and 4 equal?
True
Let k be -1*27/12*(-8)/(-3). Let w be (-2)/(12/k) - (-16)/(-13). Suppose -5*y + 11 = 1, -4*x - 2*y = -8. Which is smaller: w or x?
w
Let m be ((-1)/14)/(1/2). Let h = 13 - 8. Suppose -5*g - 5*g + h*g = 0. Which is greater: g or m?
g
Suppose -24 = w + 5*m, -22*w + 17*w = 3*m + 76. Suppose 14 + 14 = -2*x. Is w at most as big as x?
True
Suppose 5*m = 1 - 16. Let y be (-6)/8*(-1)/m. Let k = 18 - 6. Is y at most k?
True
Let t(c) be the third derivative of 1/60*c**5 + 1/2*c**4 + 7/3*c**3 + 6*c**2 + 0 + 0*c. Let g be t(-11). Is g > 4?
False
Let o = 72 - 18. Let l = o + -53. Which is greater: l or 4.9?
4.9
Suppose -2*i = 2*i + 24. Let z(c) = -c**3 - 6*c**2. Let t be z(i). Let x be (-1 + (-81)/(-63))/((-69)/(-7)). Is t at most as big as x?
True
Suppose -t + 2*t = 2*t. Which is bigger: 1/40 or t?
1/40
Let d = -20 + 28. Suppose 12 = -3*r + 5*r - v, 2*r = -4*v - d. Are r and 3 non-equal?
True
Let o be ((-2)/70)/((-4)/8). Let i be 4 - (27/(-36) + (-15)/(-4)). Is o bigger than i?
False
Let a(m) = -5*m - 6. Let w be a(-3). Let x = w + -10. Is x equal to -7?
False
Let x = 24 - 284. Let a = -26026/5 + 197793/40. Let v = x - a. Is v < -1?
False
Suppose 6 = 90*b - 84*b. Which is greater: -1/143 or b?
b
Let j be 0 - 4/((-48)/(-9))*4. Let b be ((-2)/2)/(3/15). Let k = b + j. Which is bigger: -9 or k?
k
Let s = -14 + 3.4. Let k = -12 - -13.4. Let g = k - s. Is -1 less than or equal to g?
True
Let l = -0.1 - 0.05. Let d = -0.016 + 0.866. Let j = l - d. Is -2/23 at least as big as j?
True
Let a = 1992 - 1458143/732. Are a and 1 equal?
False
Let f(p) = 5*p**3 + 2*p**2 - 2*p + 2. Let c be f(2). Let y be 7*(c/10 + -5). Which is greater: y or -4?
y
Let j(n) = 2*n - 11. Suppose 9 = -4*i - 4*s + 3*s, 2*s = i. Let c = i - -10. Let r be j(c). Is r greater than 4?
True
Suppose -5*p + 0*p = -20, 0 = 3*l + 2*p - 38. Suppose 2*j + 2*j = -24. Let m be 