.36 - -0.56. Do a and 0.227 have the same value?
False
Let o be (-18)/((-56)/(-21) - 3). Which is smaller: 0 or o?
0
Suppose -59*k = -61*k - 94. Is -47 > k?
False
Let k = -1 - -8. Let r = 0.3 + 1.1. Let u = r - 0.4. Is u not equal to k?
True
Let s(b) = 12*b**2 + 3*b - b**3 - 16*b - 15 + 19. Let n be s(11). Let z = n - -13. Is z less than -7?
False
Let b = 26 + -25. Let h be ((-1)/(-4))/(b/(-153)). Let v = -38 - h. Is v > 1.1?
False
Let c(g) = g**3 - 3*g**2 - 2*g + 2. Let a be c(3). Let d = -16 + 15. Let v = a - d. Is -3 greater than or equal to v?
True
Let t = -210 - -184.8. Let f = t - -25. Which is bigger: 1 or f?
1
Let n be 8/(-4) - (2 - 1). Suppose 0*s + 5 = s. Let x be (-1)/(4/(-4)) - s. Which is bigger: n or x?
n
Let i = 3/7504 + -441745/202608. Let n be 3/(-2)*-3*140/(-294). Let l = i - n. Is -1 smaller than l?
True
Let p = 943 - 942. Let n = -17.35 + 17. Is p equal to n?
False
Let g be 8 - (-1 + 2)*(0 + 1). Suppose -7 = c - g. Is c smaller than 2/7?
True
Let p be (-4 + 8 - -4) + -9. Does p = 1/136?
False
Let g(i) = 6*i - 15. Let v be g(4). Let c(y) = -y**2 + 8*y + 8. Let l be c(v). Which is smaller: 2/87 or l?
l
Let t(f) = 4*f**3 + 10*f**2 - 11*f + 25. Let r(u) = u**3 - u**2 - 1. Let w(m) = 3*r(m) - t(m). Let q be w(-14). Is 11 at least as big as q?
False
Let c be (1/18)/((-10)/40). Let s be (-1)/2*6 + 8. Let z = 5 - s. Is c greater than or equal to z?
False
Let g = 0.03 + 1.97. Let n be 0/((12 - 100)/11). Is n at most as big as g?
True
Let p be 6/21 - 10/35. Suppose p = 51*o - 50*o - 10. Which is bigger: o or 7?
o
Let s be ((-24)/(-33))/(-4 - -14). Which is smaller: s or 0?
0
Let r = 12628/25 - 505. Let s = r + 29/175. Let n be ((-6 - -3)/3)/(-1). Which is smaller: s or n?
s
Let s(c) = c**3 - 6*c**2 + 6*c. Let b be -14 + 13 + (-5)/(-1). Let i be s(b). Is i at least -10?
True
Suppose d = 6*d + 295. Let c = d - -31. Which is greater: -29 or c?
c
Let i be ((-8)/7)/4*7196/(-240). Let v = 26/3 - i. Which is greater: -2 or v?
v
Let m = -0.784 + 1.184. Is m less than -0.05?
False
Suppose 3*q - 4*q = -2. Let w(j) = j**2 + 6*j - 7. Let c be w(-6). Let f be c*(-2 - (-6)/q). Which is greater: -6 or f?
-6
Suppose 1284 = u - 2*q, -25*q + 29*q = -2*u + 2592. Is 1291 at most u?
False
Let r = 983 - 990. Is r smaller than -99?
False
Let k = 327/38 - 17/2. Let v = 1181.4 + -1181. Is v <= k?
False
Let x be (-15 + (-438)/(-30))/((-57)/(-5)). Is x less than or equal to 0?
True
Let l = 363 - 367. Let p be 21/(-28) + 26/(-8). Is p greater than or equal to l?
True
Let x = 335 - 575. Is x greater than or equal to -239?
False
Let f = -36722/19 + 1934. Let r = -3 + 5. Which is greater: r or f?
r
Let q = -1645 - -1645.24. Is -5/4 >= q?
False
Let b = 2051 + -5055/2. Let y = b + 465. Is y not equal to -13?
True
Let f be 16/60*756/18. Which is smaller: 11 or f?
11
Let q = 144/13 - 458/39. Is q at least as big as 67/6?
False
Let n = 134945/908 + 30/227. Which is greater: 149 or n?
149
Let j = 0.7956 + -0.1326. Is -0.1 > j?
False
Let f be 5/2*((-38)/(-10) + -3). Let v be 3*(-3)/(6/7)*f. Which is bigger: -22 or v?
v
Let c = 130/9 + -14. Suppose 4*z - 6 = -3*s - 21, 2*s + 10 = 0. Suppose z = -5*b + 5. Is c greater than b?
False
Let c = -7 + -6.8. Let n = c - -14. Is n not equal to 2?
True
Let r = -13.5 - -13.4. Is 0.16 >= r?
True
Let g = -25 + 29. Let s(b) = -2*b**3 - 2*b**2 + 1. Let i be s(-1). Suppose -17 = g*t - i. Which is bigger: t or -5?
t
Let u = 8.1 + -3.1. Which is smaller: -8 or u?
-8
Let r = 5 - 5. Suppose 4*z + w + 11 = 34, 1 = 2*z - 3*w. Let b be (-4)/(-6)*(z - 3). Is b > r?
True
Let v = 9 + -5. Let x be (-49)/(-7) + 13 + -19. Is x equal to v?
False
Let w = -19 - -25. Suppose -4*o + 2 = -w*o. Is -7/6 bigger than o?
False
Let n be (1 - -3) + -154 + 4. Is n bigger than -146?
False
Let f = 1293 - 1239. Which is greater: 7 or f?
f
Let k(z) = -z**2 - 19*z + 72. Let s be k(-23). Which is bigger: -2 or s?
-2
Let o = 0.4 - -19.6. Let w = o - 44. Is w > 0?
False
Let t = -1419156/65 + 100197/5. Let k = -256349/143 - t. Let n = k - 14/11. Which is smaller: 1 or n?
n
Let s be (0 + 9/27)/(2/(-762)). Which is bigger: -128 or s?
s
Let i be (-1 - 7/(-4))*588/54. Let g(r) = r**2 - 11*r - 17. Let c be g(13). Which is smaller: c or i?
i
Let c(q) = -q - 31. Let y be c(27). Are y and -58 equal?
True
Let t = 2 - 1. Let o be 53/11 - (-8)/44. Suppose 2*f = o*f. Is f equal to t?
False
Let d(a) be the second derivative of -a**3/3 + 13*a**2/2 - 8*a. Let i be d(8). Suppose -7 + 5 = f. Which is smaller: i or f?
i
Let t = 117 - 47. Let q be -33*5/(t/2). Is -5 greater than q?
False
Let w(c) = 8*c - 98. Let j be w(17). Which is bigger: 189/5 or j?
j
Let f(u) = -2*u**2 + 9*u - 1. Let l(g) = -g**2 + 8*g - 2. Let x(z) = 2*f(z) - 3*l(z). Let j be x(3). Is -22 less than j?
False
Let q = -468 + 513. Is q less than 1?
False
Suppose 2*u - 53 = -3*i, 4*u - 19 = -5*i + 84. Let s be -2*(u/(-4) - 0). Let p(j) = j - 13. Let y be p(s). Is -7/6 greater than or equal to y?
True
Let t = 25 - 24. Let x be t*-13*(-10 + 16). Is -78 > x?
False
Let p(q) = 5*q + 74. Let h(l) = -2*l - 25. Let b(u) = 8*h(u) + 3*p(u). Let x be b(21). Is 1/18 less than x?
True
Let t = -28.5 - -28. Let m = -12.5 - t. Is 2 smaller than m?
False
Let h = 849 + -911. Is 2/49 at least as big as h?
True
Let r(u) = u**3 - 11*u**2 + 12*u - 24. Suppose -5*b - 3*l = -59, 6*l + 15 = 3*b + l. Let j be r(b). Which is greater: j or -1?
-1
Let r be 2 - 205/65 - (-4)/26. Which is greater: 15/83 or r?
15/83
Let c be (-13)/((-13)/33) - (-1 - -3). Which is smaller: 1 or c?
1
Let x be 4969/6 - (-1)/(-6). Let j be -3*8/(-18)*x/96. Is 11 at least j?
False
Let v = 1618 - 127818/79. Let i = 114/869 + v. Which is greater: -0.1 or i?
i
Let p = 254875 + -2805519/11. Let r = p + 172. Are r and -1 non-equal?
True
Let p(q) = 8*q**2 + q - 1. Let n be p(-2). Let o = n + -30. Is o >= 0?
False
Suppose 2*f + 87 = -y, -2*f - 2*f - 5*y - 171 = 0. Let c = 73 + f. Let l = 35 - 7. Which is bigger: c or l?
c
Suppose 2*a - 7*a - 25 = 0, -2*y + 179 = -3*a. Suppose 3*x = -3, 324 + 86 = 5*c - 5*x. Is c != y?
True
Let m be 185/(-17) - 50/425. Which is smaller: -13 or m?
-13
Let l = -31.953 - 0.047. Let c = -1 + 2. Is l at least as big as c?
False
Let u be (688/10)/(2/(-5)). Is -174 at most u?
True
Let s = -1193/69 + 52/3. Let u = s + -331/207. Does -3 = u?
False
Let u be (-20)/(-6)*(-138)/(-115). Let l(k) = -k**3 - 6*k**2 - 4*k + 4. Let a be l(-4). Let i be -1*u/(304/a). Is 1 smaller than i?
False
Let x = 0.062 - -0.038. Which is smaller: x or 285?
x
Let y = -66 - -98. Let t = 32 - y. Which is smaller: 12 or t?
t
Suppose 2 - 20 = 2*a - 5*n, 0 = -5*n + 20. Let x = -1762/4557 + 20/49. Which is bigger: a or x?
a
Let o(r) = -2*r**3 - 29*r**2 - 37*r + 17. Let x be o(-13). Is -8 greater than or equal to x?
True
Let o = -0.09 - -0.27. Let m = 0.94 + 1.24. Let y = o - m. Which is smaller: -5 or y?
-5
Let r = -3803/9025 + 1/722. Let v = -5083/100 + r. Let m = -51 - v. Which is smaller: m or -1?
-1
Let j(v) = v**3 - 9*v**2 - 15. Let f be j(10). Let z = 83 - f. Which is greater: -16/17 or z?
-16/17
Let w be 22412/(-27) + -10*7/(-945). Is -831 less than w?
True
Let m(s) be the first derivative of -s**7/840 + s**6/90 + s**5/24 + s**3/3 + 5. Let r(g) be the third derivative of m(g). Let q be r(5). Is -2 less than q?
True
Suppose -4*r + 49 = -3*d, 3*r - d + 0*d - 33 = 0. Let a(o) = -1 + 0 + r + o. Let w be a(-8). Is 0.02 at least w?
False
Suppose 2*z + 2*v - 8 = 0, 5*z + 6*v = 2*v + 20. Suppose 10 = i + z. Is i greater than 4?
True
Let j = -504 - -520.28. Let b = j - 0.28. Let k = b + -16.1. Is k > 0?
False
Let j = -0.1 - 0. Let x = 0 + j. Let y = 1424 + -1430. Is y smaller than x?
True
Let d = 7267/36 + -807/4. Suppose p + 2*p = 0. Is d >= p?
True
Let y be ((-4796760)/(-1586))/2 - (-8)/(-52). Let z = y - 1512. Is z < 0?
False
Let h = -11.536 + 12.1. Let n = h - -0.036. Which is smaller: n or -0.1?
-0.1
Suppose -4*u + 325 = u + 5*z, -3*u - 2*z = -198. Let p = u - 62. Is p smaller than 9?
True
Let j = 61 - 85. Let v be (-49)/(-66) + (-4)/j. Let z = v - 51/44. Is z < 0.4?
True
Suppose 8 = 2*d, d - 3*d - 52 = -5*k. Suppose k = 4*z, 3*z + z = 4*y + 40. Is -0.01 less than y?
False
Let i = 10 - -7. Suppose -18 = 2*g - 5*r, -2*g = -0*g + 2*r + 18. Let c = g + i. Which is bigger: c or 9?
9
Let 