u + 48. Are l and v unequal?
True
Let x = -314 - -313. Is x less than -5/18?
True
Let x = -1967 + 1436. Is -531 < x?
False
Let i = 13 + 0. Which is greater: i or 14?
14
Let s = -8 - -13. Suppose -5*o = -3*m - 32 - 18, 0 = 2*o + s*m - 20. Suppose 0 = -3*t + t + o. Which is smaller: t or 4?
4
Suppose -23*s + 20*s + 21 = 0. Suppose u - s*u = -6. Let w be (-2)/((-37)/((-1)/1)). Do w and u have the same value?
False
Let h be 3 - (-11)/(-2) - -3. Suppose 0*n - 4*n - 5*p - 5 = 0, 0 = -2*n + 3*p + 3. Which is smaller: n or h?
n
Let b(n) = -2*n - 16. Let a be b(8). Is -36 equal to a?
False
Let m = -1695 + 286453/169. Let x = -262 + 263. Which is smaller: x or m?
m
Let m be (16/104)/((-2)/(-11694)). Let o be ((-125965)/28)/5 + 1/(-4). Let z = m + o. Which is smaller: -1 or z?
-1
Let q be 3689/(-3682) + -6 + 7. Do q and 1 have the same value?
False
Let w(l) be the second derivative of l**5/20 - l**4/3 + l**3/6 - 3*l**2/2 - 2*l. Let q be w(4). Suppose -2*b = -5*f + 8, -b = 3*b - 2*f. Are q and b unequal?
False
Let d be 0/((-6)/(-2)*-1) + 0. Suppose 4*n + 2 = -s - 2, -2*s - 8 = d. Which is bigger: 4/23 or n?
4/23
Let p be 30/(-9) - -3 - 1. Suppose -152 = -183*v + 164*v. Is p at least v?
False
Let o = 14 + -14. Suppose -5*m - 5*u + 7 + 3 = o, m + 4 = 2*u. Let x = 3629/13 - 279. Is x bigger than m?
True
Suppose -2*u = -7*u + 235. Let d be -2 + 46 + (-2)/(-4)*6. Is u <= d?
True
Let c = 5.8906 - -0.1094. Which is bigger: 13 or c?
13
Suppose -3*o = -2*o - 29. Suppose -6*i + 2*i - d + o = 0, 12 = 2*i - 2*d. Suppose -4*a + 16 + 12 = 0. Is a <= i?
True
Let n = -5616 - -39311/7. Let r(l) = l + 2. Let i be (4 - 2)*2/(-4). Let c be r(i). Which is greater: n or c?
c
Let t be (-5 + (-452)/(-60))*(-21)/(-14). Is -10 at most as big as t?
True
Let i = -279 - -3067/11. Are i and -0.4 nonequal?
True
Let g = -1/1300 - -28619/24700. Which is smaller: 1 or g?
1
Let u be 66/4 - 2/(-4). Let w(q) = 4 + 4*q - 5 - 5*q - u*q. Let y be w(-1). Does y = 16?
False
Suppose 18 = 7*p - 4*p. Suppose -4*s - 3*b = s + 9, 0 = 4*s - 2*b - p. Suppose s = 4*t - 8*t - 8. Which is smaller: -2/7 or t?
t
Let b = 18 - 14. Let q(w) = 5*w**3 - 21*w**2 - 25*w + 17. Let n(z) = 3*z**3 - 11*z**2 - 13*z + 9. Let v(u) = b*q(u) - 7*n(u). Let o be v(-5). Is o > 0?
False
Let g = -37 - 102. Let n = g - -138.9. Does -1.6 = n?
False
Suppose -3*n + 9 = 0, 4*n = -3*t + 12 + 6. Let b be 1/((-4)/t - -3). Suppose 0 = 3*c - 2*c + b. Is c > 1/26?
False
Suppose 30 = 5*n + 35. Let o be 2/4*12/111. Which is bigger: o or n?
o
Let a(v) = -v**3 + 8*v**2 + v + 8. Let h be a(8). Let z = 92 - -199. Let q be z/18 - 2/12. Are h and q nonequal?
False
Suppose 0 = -x - 4*h - 11494, -4*x + 5*h = 29929 + 15963. Let t be 2/(-2) + x/(-40). Let i = -286 + t. Which is smaller: i or -1?
-1
Let f = -442.76 + 457. Let r = f + -0.24. Let s = r - 12. Which is smaller: -0.2 or s?
-0.2
Let y(b) = -3*b**2 + 11*b + 8. Let q be y(-15). Are -832 and q equal?
True
Let w(c) = c**2 - 22*c - 50. Let b be w(20). Is -266/3 greater than b?
True
Suppose j = 8 + 14. Suppose 1 = -j*z + 21*z. Do -6/7 and z have the same value?
False
Let x be 4 + (-2 + -344 - 0). Is x < -341?
True
Let w be 0/2 - 2/10. Suppose f = -4*f + 2*v + 7, -3*f = v - 13. Let n be 0/((-4)/(f + -4)). Are n and w non-equal?
True
Let q be 2/3 + 10250/150. Is 341/5 at least as big as q?
False
Let c = 15.9031 - -0.1569. Let r = 0.06 - c. Which is smaller: -0.1 or r?
r
Let y = 1922 - 1944. Let b = -8 - 14. Is y at most as big as b?
True
Suppose -2*t + 9*t = 903. Is t <= 130?
True
Suppose 6*i = 2*i. Let d be (-3 - (i + 25)) + -3. Is d not equal to -31?
False
Let f = -188 + 192. Let q be (-6 + f)/((-16)/(-2)). Suppose 0 = 4*v - 1 + 5. Is q smaller than v?
False
Let l be 1/(1/(227 - -6)). Is 233 less than or equal to l?
True
Suppose -u - 45 = 4*q - 6*u, -5*u + 10 = 3*q. Let r = -81 + 82. Let n be r/q - (-116)/(-20). Does -6 = n?
True
Let u(r) be the second derivative of -r**5/20 + 11*r**4/12 + 11*r**3/6 + 11*r**2/2 - 21*r. Let v = 2 + 10. Let l be u(v). Is l smaller than -2/31?
True
Let v be (0 + -6)*(-19)/418. Which is smaller: 0 or v?
0
Let t = -1370 + 1317. Is t less than 13?
True
Suppose 3*p - 5*y - 330 + 1345 = 0, 2*p + 5*y + 635 = 0. Let q be (-4)/3*p/484. Is 2 >= q?
True
Let r = 13 + -64/5. Let a(f) = -f**3 + 6*f**2 - 4*f - 1. Let k be a(6). Let i be 15/(-6)*10/k. Which is smaller: i or r?
r
Let w = 262 - 232. Is w less than or equal to 33?
True
Let b = 35.179 - -0.021. Is -0.1 at most as big as b?
True
Let f = 0.13 - 152.13. Let r = -156 - f. Let j = 4.08 - 0.08. Is r greater than or equal to j?
False
Suppose -15 = 5*l, -197 - 349 = -4*i - 2*l. Let d = i + -138. Is -6 at least as big as d?
False
Let c = -0.15 - -0.16. Let r = c - 0.08. Which is smaller: r or 0.3?
r
Let v be 10/5*(5 + -2)/(-42). Which is greater: 13 or v?
13
Let m(v) = -23*v**3 - 4*v**2 - 9*v - 6. Let a be m(-2). Which is greater: 179 or a?
a
Suppose -48 = -4*n + 4. Let r be (72/(-28))/((-66)/308). Which is bigger: r or n?
n
Suppose 4*m - 13*m = 7*m. Let f = 4051 - 1215299/300. Let o = -557/12900 - f. Which is greater: m or o?
m
Let f = 1094 + -1089. Is -19/3 != f?
True
Let g(b) = -b**2 - 7*b + 5. Let h be g(-7). Suppose -2*c + 22 = 6. Let y = c - 4. Which is smaller: y or h?
y
Suppose 0*m - 16 = -2*m. Let a be 2/(2 + m/(-6)). Suppose a*r - 20 = 7*r. Is -4 != r?
True
Suppose 3*w - 31 = -3*k - k, -5*w - 4*k + 41 = 0. Suppose 21 = -2*m + w. Which is greater: -3 or m?
-3
Let k be 2 + 5883/(-15) + -4. Let m = -175429/445 - k. Which is smaller: m or -1?
-1
Suppose 3*x + 29 = -67. Let t = x - -30. Are -19 and t equal?
False
Let q(i) = -i**2 - 7*i + 329. Let l be q(-22). Which is smaller: -179 or l?
-179
Let z(q) = -10*q + 24. Let k(u) = -10*u + 25. Let r(w) = -4*k(w) + 3*z(w). Let h be r(2). Let t be (-2)/9 + 2 + -2. Which is bigger: h or t?
t
Suppose 24 = 2*c - 4*z, z - 4*z = 12. Suppose -10 = k - 5*f, -c*k + 6*f - 40 = f. Let j = 12 + k. Is j at least as big as 8/7?
True
Suppose 10 + 6 = -2*c - 5*o, 0 = -2*c - o. Suppose -10 = -2*a - c. Suppose -4*y = a - 0. Which is greater: 2/9 or y?
2/9
Suppose -r - 2*r - 11 = -4*m, -29 = 4*m + 5*r. Are m and -39 nonequal?
True
Let x be 34/10 + (-18)/(-30). Suppose 2*n = x*n + 2. Let r = 426 + -16616/39. Which is greater: r or n?
r
Let n = -69 - -111. Let a = n + -41. Which is smaller: a or -4/9?
-4/9
Let q = 16/45 + -1/45. Let f be (-4 + 11)/(0 - -1). Suppose -f*d = -d. Are q and d equal?
False
Let k = 0.37 - 0.31. Let h = k - 0.06. Is 8 < h?
False
Suppose -49 = 3*w - x, -x = -2*w + x - 34. Let g = -51 - w. Let o be 8/20 - g/(-25). Which is smaller: 2/9 or o?
o
Let d(w) = -w**3 + w**2 + 24*w + 7. Let i be d(4). Is 49 bigger than i?
False
Let z = 1164 + -1151. Let a(c) = -c**3 - c**2 + c - 4. Let n be a(-3). Which is smaller: n or z?
n
Let c = 1.08 - 2.28. Which is smaller: -4/5 or c?
c
Let b be (-10)/(-20)*(-40)/(-4). Suppose -5*r - l - 9 = 0, -r = -5*r + 4*l - 12. Is r bigger than b?
False
Let x(h) = -h**3 - 25*h**2 + 5. Let f be x(-25). Let j(a) = 9*a**3 - 2*a**2 - a. Let r be j(-1). Let q be (3/f)/(4/r). Which is bigger: 1 or q?
1
Suppose z + 132 + 3 = 0. Let s be (-5)/(z/57) - 2. Is s > -1?
True
Suppose 6*m - 149 - 169 = 0. Let z = -33 + m. Let v be ((-15)/z)/((-2)/(-48)). Is -19 != v?
True
Let n be 625/(-50) + 12 - (-1)/6. Let v = -154 + 1696/11. Is n smaller than v?
True
Let w = -11 + 89. Let t be w/(-4)*(-28)/14. Is t >= 38?
True
Let r be 82*(-2 + 1)/(-2). Suppose -13 - r = -3*b. Is b greater than or equal to 18?
True
Let g(d) = -d**3 - 11*d**2 + 3. Let m be g(-11). Let u be 30/45 - 2*1/m. Suppose 0 = 4*l + l - 20. Is l less than u?
False
Let t(j) = j**2 - 20*j - 41. Let a be t(22). Let i be (a - 9) + 0 + 2/1. Which is greater: -3 or i?
-3
Suppose 3*i - 2*i = -4, x - 5*i = 22. Suppose -x*a = -3*a - 1. Let m = -1626/7 + 232. Is a not equal to m?
True
Let l(m) = -m**2 - m + 3. Let s be l(0). Let v(q) = 2*q**2 - 6*q**2 + s - q**3 + 10*q**2 + 6*q. Let a be v(7). Is -0.2 < a?
False
Let x(q) = 3*q**2 + 6. Let u be x(-4). Suppose 6*b + u = 3*b. Are -18 and b unequal?
False
Let r be (-1)/((3 + -1)/(-8)). Let t be (-57)/(-2)*4/2. Let m = -109/2 + t. Is m less than r?
True
Suppose j + j + 2 = 0. Let b be j - (0 - 14/10). Suppose -4*g + 0*p = -p, 0 = 4*g - 4*p + 12. Is b at least g?
False
Supp