Let q be r(-5). Let i be y(q). Suppose i = 3*t - w, t + 9 = 5*w - 0*w. Which is smaller: 25/4 or t?
t
Let r(f) = -2*f**2 + 27*f - 102. Let h be r(13). Which is bigger: -88 or h?
-88
Let n = 36 + -52. Let z = 0.064 - 0.101. Let h = z - 0.963. Is n greater than or equal to h?
False
Let k = 4 + -3.9. Let i = -70 + 36. Let x = i + 28. Which is greater: x or k?
k
Let y = 45 - 74. Let u = y - -204/7. Let a = 22 - 22. Do u and a have the same value?
False
Let c(r) = -2*r**3 - 22*r**2 - 7*r - 7. Let s be c(-11). Is 76 smaller than s?
False
Suppose -3*q = -4*c - 11, -2*q + 2*c = c - 9. Let f be 2/(-6)*(-2586)/4. Let r = 220 - f. Is r > q?
False
Let v be ((-54)/10 + 5)/2. Suppose 8 = 2*m - 10. Which is greater: m or v?
m
Let r = -1 - -2. Let z be (-8)/(-56)*7 + (0 - -65). Let s be 4/(-6)*(-9)/z. Is r <= s?
False
Suppose -2*x = -3*x - 2. Let t be (14/4)/(x/(-4)). Let u = -3 + 8. Are t and u equal?
False
Let z = -0.022 - 0.167. Let s = -0.011 + z. Which is smaller: s or -1/4?
-1/4
Suppose 2*t + 3*r = 6, -2*t - 5*r + 8*r + 18 = 0. Let h = 0.06 - -0.04. Is t at most h?
False
Let m be 2/(-14) - (-1 + 1465/(-210)). Is m less than or equal to 9?
True
Let z = 0.08 + -0.11. Let r = z - 1.37. Let b = r - -1.4. Which is greater: -2 or b?
b
Let a(z) = -z**3 + 18*z**2 + z + 25. Let r be a(18). Is r at most as big as 22?
False
Let i = -7.122 - -0.022. Let y = i + 8.1. Do 1/8 and y have different values?
True
Let z = 2.5 + -0.5. Suppose 158 = -11*t + 4. Which is smaller: z or t?
t
Let w = 1789/1194 - -1/597. Is w != -13?
True
Let a(n) = 0*n**2 + 2*n**2 + 1 - 14 - 16 - 19*n. Let h(y) = y**2 - 9*y - 14. Let w(p) = -4*a(p) + 9*h(p). Let v be w(9). Which is bigger: v or 27?
27
Let u = 24 + 26. Let m = -50.1 + u. Let a(k) = -k**2 + k - 1. Let z be a(-2). Which is greater: m or z?
m
Suppose 0 = 9*d - 7 + 25. Let q be 6/(-6)*(d + 0). Let c be 1*(-1 - 0) + 5. Is c != q?
True
Let u(z) be the first derivative of 1/4*z**4 - 2*z + 0*z**3 + z**2 + 1. Let k be u(1). Do k and -14 have the same value?
False
Suppose 3*z - 44*o + 111 = -41*o, -4*z - 5*o - 175 = 0. Is z greater than or equal to -41?
True
Let y = 27 - 27. Suppose -3*u + 135 = 4*o - y*o, 0 = -4*u + 20. Is o < 30?
False
Let w = -446 - -343. Which is smaller: w or -104?
-104
Suppose -c - 284 = 11*x - 10*x, 4*x + 1138 = -3*c. Which is smaller: x or -290?
-290
Let w be -69*4/(-540) + 2/(-5). Suppose 0 = 2*k + 5*i - 28, 4*k = 3*i - 3 + 7. Suppose 2 = k*s - 2. Is w less than s?
True
Suppose 5*g = 4*g + 8. Let r(v) = -2*v**2 + 17*v - 7. Let k be r(g). Let t be ((5 - 2) + -3)*k. Is t bigger than 4?
False
Suppose -2*a + 5*p + 9 = 3, 4*a - 30 = p. Is a at least as big as 55/8?
True
Let r = -28158 - -38266724/1359. Which is smaller: 1 or r?
r
Suppose -1 + 46 = 5*d. Let r = 0 - 1.3. Let u = 2.3 + r. Which is greater: u or d?
d
Let c(s) = -65*s + 37. Let v be c(3). Does v = -156?
False
Let g = 27 - 28. Let b be 8/108*-3 + (-8)/45. Is g greater than b?
False
Let t = -32821/3 + 481357/44. Let b = 3/44 + t. Which is smaller: b or -64?
-64
Let m = 241.53 + -0.53. Which is greater: m or 0?
m
Let y be (-21)/9*4/2. Let w(x) be the first derivative of x**2 + 41*x - 29. Let f be w(-23). Which is bigger: y or f?
y
Let o be 158/(-13) + (-8)/(-52). Let j = 23/2 + o. Do j and -11 have the same value?
False
Let n = -22 - -43. Let d = n - 17. Let c = 32 + -59/2. Is c < d?
True
Let f = 74 - 73. Let k = 11920/29 + -411. Which is smaller: k or f?
k
Let f(l) = -l**3 - 6*l**2 - 2*l - 6. Suppose -1 = m + 5. Let a be f(m). Is a less than -4?
False
Let z(h) = h**2 + 0*h + 0*h - 5 + 6*h. Let p be z(-6). Suppose 0 = 3*s + 3*u + 27, 3*u = -4*s + 7*u - 12. Is s less than or equal to p?
True
Let y = 0.158 - 0.068. Let o = y + -0.19. Which is smaller: o or -1.07?
-1.07
Let n = 0.166 - 0.076. Which is smaller: -0.05 or n?
-0.05
Let z be (8 - 6) + -4 - (-8)/4. Which is greater: z or -5/47?
z
Let n = -2 - -2. Suppose n = 3*o - 5*y + 42, 2*o = 2*y - 0*y - 24. Let j = o - -15. Does -4 = j?
False
Let y be (-16)/(-7) - (-2)/(-2). Let t = 2421 + -14525/6. Is t at most as big as y?
True
Let i = -0.16 + 0.03. Let y = 2.6 + -0.6. Which is smaller: y or i?
i
Let b = 15 + -36. Is b greater than -9?
False
Let t(q) = 8*q + 28. Let a be t(-9). Let h be (0 - 0)*(a/(-8) - 5). Is h bigger than 3/4?
False
Let t = 328 - 566. Let w = -43 - t. Let o be 8/36 + w/(-27). Is o less than -6?
True
Suppose -p = 4*p + 5. Let r = 58411/902 - 713/11. Let m = r + 281/574. Which is smaller: m or p?
p
Suppose -2*u + j = 2*j + 30, 54 = -3*u + 3*j. Let m = u - -16. Is m greater than or equal to 4?
False
Let t = -435 - -69. Which is bigger: -364 or t?
-364
Let a be -2 + (8/(-10) - -3). Suppose 13 = 4*m + 2*s - s, -2*m - 1 = -s. Suppose 2*c = 3*c - 5*u, m*c - 5*u = 0. Which is bigger: c or a?
a
Let g(y) = -y**2 + 7*y - 8. Let w be g(6). Let i be 6/(-770)*-157 - (-9)/(-15). Let t = -213/77 + i. Is t at least w?
False
Suppose 0 = 24*f - 992 + 80. Is 39 at most f?
False
Let x = 286 - 285. Are x and -22/91 equal?
False
Let o(c) = -c**2 + 46*c + 417. Let h be o(56). Is h smaller than -143?
False
Let v = 2166 + -2268.1. Let p = -102 - v. Is -15 <= p?
True
Let l(q) = q**3 + 4*q**2 + 8*q - 2. Let g(n) = -n**3 - 4*n**2 - 7*n + 1. Let w(f) = 6*g(f) + 5*l(f). Let z be w(-4). Suppose z*p - 3*p = -5. Does p = 2?
False
Let d(m) = -m**3 + 2*m**2 + 19*m + 30. Let t be d(6). Which is smaller: t or -11/31?
-11/31
Let l(p) = 2*p**3 - 18*p**2 - 41*p - 1. Let i be l(11). Is 0 smaller than i?
True
Suppose 5*d + 2*k - 32 + 199 = 0, 2*d = k - 74. Let r = d - -35. Let u = -1 + 3. Is u at least r?
True
Let b(a) = -a**3 - 8*a**2 + a + 10. Let x = -58 - -86. Suppose x = -3*r + 4. Let g be b(r). Which is greater: 3/2 or g?
g
Let x be (476/(-406))/(-17)*-1. Suppose -k = -2, -k - 4*k + 10 = -3*j. Suppose -2*m + 5*w + 8 = 0, j*w = -4*m + 2*w. Which is smaller: x or m?
m
Let m be (5 + -2)/((-69)/(-299)). Let r = -5552/5 + 1123. Is m less than r?
False
Let j be (-4)/(-26) + (-33)/(-39). Let i(b) = 6*b + 1. Let q(k) = k. Let o(h) = -i(h) + 4*q(h). Let r be o(j). Is -5/3 not equal to r?
True
Let h = 6 + -18. Let j = -17 - h. Let i = j + 4. Which is smaller: i or -0.2?
i
Suppose 5*p - 105 = 10*p. Let a be (20/3)/(39/(-117)). Is a at least p?
True
Suppose 0 = 3*z - 4*t - 50, -2*z - 3*t = -0*t - 5. Which is bigger: z or 8?
z
Let o = -344 - -346. Which is smaller: o or 5?
o
Let d = -16.7 + 19. Let u = d - 3.3. Which is smaller: 0.1 or u?
u
Let i = -80 - -140. Let f be 1*2*6*i/(-126). Which is bigger: f or -5?
-5
Let l = -13/8 - -151/88. Let w = 541 - 541. Is w smaller than l?
True
Let g(j) = -j**3 + 13*j**2 - 24*j + 11. Let a be g(10). Let r = a + -356/5. Is 4/7 != r?
True
Suppose 5*m - 212 = -2*b, -3*m - m - 4*b = -172. Let c be 28/(2/(-3)*-1). Is c != m?
False
Suppose -3*d + 6*d = 15. Let i be (-1 + 2)*(d - 4). Let r be 0 + i + (-6)/2. Which is smaller: r or -4/5?
r
Suppose -3 = -3*i, 4*s = -s + i - 6. Let c = -256567/104 + 2467. Which is greater: s or c?
c
Let w be -13 + 7 - (3/(-1))/3. Is w less than or equal to -60/13?
True
Let k(x) = -x - 2. Let i be k(0). Let b be (-110)/(-4) - i/4. Let p be (-3)/20 + (-7)/b. Which is bigger: p or -1/5?
-1/5
Let m = 2 + -2. Let s be 4 - 7 - 574/(-189). Is m less than or equal to s?
True
Let j = 2674 - 2674. Let d(t) = 6*t. Let w be d(2). Suppose -z + w - 28 = 3*s, 5*s = z - 16. Which is bigger: z or j?
j
Suppose -41 = -3*h + 4. Let t be (-6)/h - 24/(-10). Which is bigger: 2/15 or t?
t
Let a = 4998/5 - 1000. Which is bigger: -0.381 or a?
-0.381
Let u = 103 - 90. Let p = -6.6 - -6.9. Is u less than p?
False
Let o = 1202.1 + -1199. Which is greater: o or -2?
o
Let f(z) = 2*z**2 + 4*z - 2. Let n be f(-2). Which is bigger: -26 or n?
n
Let n be ((-54)/189)/(1/(-21)). Which is bigger: -3 or n?
n
Let p = -62 + 107. Let l be (-10)/p - (-37)/288. Which is greater: l or -1?
l
Let n = 5076 + -20061/4. Let l = n + -61. Let i be ((-3)/(-2)*14/(-7))/(-1). Is i greater than l?
True
Suppose -2*s = 3*u + 2*s + 23, -13 = -2*u + 3*s. Let k be (17/(-5) - -3)*-30. Suppose -4*w + 41 = 5*h, 5*h - 33 = -5*w + k. Is h bigger than u?
True
Let r(f) = -2*f - 4. Let z(w) = -w**2 - 4*w - 2. Let m be z(-4). Let c be r(m). Which is bigger: 0.48 or c?
0.48
Let d = -425 - -351. Is -74 smaller than d?
False
Let t be 47/188 + 674/(-