- -495.54. Let r = s + 5.26. Which is bigger: r or 0.13?
r
Suppose 2049*q = 2066*q + 4709. Is -284 at most as big as q?
True
Suppose -18*a + 2514 = 3576. Which is bigger: a or -414/7?
a
Let n be 5/(35/38) - 27/63. Let c(w) be the third derivative of -w**4/12 + 3*w**3/2 + w**2. Let p be c(n). Which is greater: p or -3/10?
-3/10
Let m = 0.096 - -20.704. Let y = 25.8 - m. Which is smaller: -16 or y?
-16
Suppose 51446 = 65*t - 11734. Which is smaller: t or 974?
t
Let n(k) be the second derivative of -k**5/20 - 3*k**4/2 - 16*k**3/3 + k**2/2 + 9*k. Let w be n(-16). Suppose 6*a - 7*a - w = 0. Which is greater: -14 or a?
a
Let h = 189652 + -2081051394/10973. Which is greater: h or 1?
1
Suppose -4*l - q = -1161, -5*l + 2*q - 623 + 2084 = 0. Are l and 1452/5 equal?
False
Let d(t) be the first derivative of -7*t**2 - 8*t - 16. Let p be d(6). Let z = p + 59. Is -32 < z?
False
Let q be 1/(2/(-3 + -1))*7. Let s = 20 - 6. Let a be (-4)/s + (-11)/q. Are a and 1/4 non-equal?
True
Suppose 0*c - c = 5*n + 215, 0 = 4*n + 3*c + 183. Let o = -47 - n. Let k be 2/(1 - o/(-6)). Are k and 13 equal?
False
Let p(a) = 7*a**3 + 5*a**2 + 22*a + 30. Let k be p(-2). Which is bigger: k or -49?
-49
Let n be 7 - (-4 - -9) - (0 + -27). Suppose -n*j - 77 = -30*j. Which is greater: j or 78?
78
Suppose -4506 = 2*y - 9*z + 4*z, 5*y + 11265 = -2*z. Are -2254 and y nonequal?
True
Let v be 226/58 - (-6 - (-52)/9). Let y = v - 84/29. Is y greater than 0?
True
Let a = 43276753/68 + -636398. Let t = a + 24/17. Which is bigger: 25 or t?
t
Let t = 17 - -19. Let d be ((-9)/26)/(6270/(-638495)). Is t >= d?
True
Let x = 1.011 + -0.011. Let y = -62.8 + 5.8. Let m = 13 + y. Is x <= m?
False
Let v = 13450 + -10313. Is 3137 < v?
False
Suppose 2*o = i - 6059 - 4713, 21536 = -4*o - 2*i. Is -5387 bigger than o?
False
Suppose 5*g - 2228 = 2*n, 0 = -4*n - 5*g - 2735 - 1721. Let i be (-1 - -2)*n/(-4). Let h = i - 289. Which is smaller: h or -12?
-12
Let c(o) = 380*o + 36. Let l be c(-2). Let b = l + 3618/5. Is -122 at least b?
False
Let c = 40 + 37. Suppose -4*g - 88 = -2*q, -c = 4*g - 3*q + 13. Which is bigger: g or -104/5?
-104/5
Let b be -1*(-14)/(154/(-1089)). Is -1.2 at least as big as b?
True
Let v(y) = y**3 - 6*y**2 + 8*y - 10. Let u be v(5). Suppose 0 = -5*g + 4*p + 177 + 39, -u*p + 137 = 3*g. Which is smaller: g or 40?
40
Suppose -j + 2*l - 2 + 37 = 0, -l + 122 = 4*j. Let x(a) = -8*a - 11. Let b be x(-6). Is b greater than or equal to j?
True
Let z be (84 - 23) + -5 + 0. Let u = 55 - z. Which is bigger: 4 or u?
4
Suppose -19*r + 888 = -11*r. Suppose -b + 110 = r. Which is greater: b or -6?
b
Let s be 36/2 + (-9823)/(-47). Let h = 784 - 558. Is h less than or equal to s?
True
Let z = -437354/89 - -4914. Which is bigger: 0 or z?
0
Let l be (28/14)/(-1 - 1). Let b be (-72097)/(-14416) + (-15)/3. Is l greater than or equal to b?
False
Let c be 1430/(-175) + (-2)/(-28). Let s = c - -871/110. Is s less than or equal to -60/13?
False
Let q be (-1)/(1*(-2)/18). Let t = -122649 - -122659. Are t and q equal?
False
Let n(m) = m**3 + 10*m**2 + 11*m + 30. Let d be n(-9). Let o = 699 + -684. Which is greater: d or o?
o
Let i(n) = n**3 - 3*n**2 - 2*n + 6. Let y be i(3). Let s = -6003/17 + 353. Which is greater: y or s?
y
Let s = -12386 - -12381. Which is bigger: s or -18.5?
s
Let u be 146/142 - 2/2. Let z be 18 - ((-17 - -17) + 19). Is z not equal to u?
True
Let b = -4985 - -5002. Which is greater: b or 98?
98
Let o = 319 - -168. Let j = o + -486.843. Is 2/7 greater than or equal to j?
True
Let c = -392 - 53. Let p be (-5 + c/(-90))*12/129. Is p greater than or equal to 1?
False
Let q = 797 + 236. Let j = q - 690. Do 342 and j have the same value?
False
Let a be ((-4)/31445)/(-11*22/1815). Are a and 0 equal?
False
Let g be (-4)/10*(-225)/30. Let d be -3 + (-3)/(2 - g). Let b be 40/15*(d + (-9)/69). Which is bigger: b or 0?
0
Let j be 6 - 6 - 1*67. Let k(c) = -c**2 + 3*c - 15. Let t be k(9). Is j at least as big as t?
True
Let c be ((-225)/63150)/(84/(-128)). Is c not equal to -1?
True
Let u be -7 + (-261010)/(-40370) - 12/(-22). Which is greater: 1 or u?
1
Let s(r) = r**2 + 4*r - 4 - 3*r**2 - 6*r. Let x be s(-3). Let p(c) = c**3 - 2*c**2 - 1741*c + 6917. Let v be p(4). Which is greater: x or v?
v
Suppose 0 = -5*u - y + 348, -180 = -5*u + 4*y + 178. Suppose -10*k = -3*k + u. Let i(c) = c + 8. Let d be i(-18). Is d >= k?
True
Let q(m) = -2*m**3 + 5*m**2 + 2*m - 10. Let v be q(5). Let c = -283 - v. Which is greater: -156 or c?
-156
Suppose 3 = -13*x + 16*x. Let u(o) = 20*o**3 + 3*o**2 - 3*o + 2. Let y be u(x). Suppose -y = -12*q + 2. Which is smaller: 10/3 or q?
q
Let b(y) = y**3 - 4*y**2 - 2*y. Let q(c) = c**2 - 16*c - 13. Let j be q(17). Let k be b(j). Is k less than or equal to -2?
True
Let i = -98.28 - -96.28. Let f be (-2)/(-5) + (-616)/1815. Which is bigger: f or i?
f
Suppose 0 = -11*v + 14*v - 18. Let z(h) = 3*h**2 - 19*h + 12. Let n be z(v). Is n greater than -2?
True
Suppose 59*h - 4*d - 144 = 63*h, -4*h + 3*d = 109. Are h and -33 nonequal?
True
Let v = -1266 - -1267.046. Which is smaller: -1 or v?
-1
Suppose 0 = r - w - 270, -5*r - 28*w + 1366 = -29*w. Does 286 = r?
False
Suppose -9424 = 3*k + 32*k - 9389. Let i = -15/128 - -841/4992. Which is greater: i or k?
i
Let t be 6402/(-4) + (42*(-3)/12 - -8). Is t at least as big as -1603?
True
Let o(a) = -a**2 - 6*a + 7. Let d be o(-7). Let l be ((-57)/(-15) + -8)/((-3)/45). Let u be (501/l + -8)*(3 + 2). Which is smaller: d or u?
u
Suppose -3*d = -24, -66 = v + 2*d - 112. Is 47 <= v?
False
Let r(p) = -7*p**2 - p + 56. Let q be r(7). Let i = 277 + q. Which is bigger: i or 2?
2
Let b(o) = 5*o**3 - 6*o**2 - 2*o + 8. Let l be b(4). Let c = -335 + l. Is c at least 0.1?
False
Let w be ((-15)/18*3)/(7/(-14)). Let o(m) = -2*m**2 + 16*m - 30. Let r be o(w). Which is greater: 1/244 or r?
1/244
Let z = 126 - 123. Let k(b) = b**3 - 7*b**2 + 14*b - 1. Let p be k(z). Suppose 22 = p*r - 13. Which is greater: 6 or r?
r
Let q be (1*-1)/((-7)/14). Let d = 28 - q. Let b be (-96)/20*(40/d)/(-4). Which is smaller: b or 3?
b
Suppose 0 = -13*s + 452 - 75. Which is smaller: -19 or s?
-19
Let s = -22 - -23. Let c be (-9)/(-6)*(-634)/84. Let l = -43/4 - c. Do l and s have the same value?
False
Let l = -99 + 659. Suppose -l = -5*n - 23*n. Is n > 20?
False
Let j = 10577 - 10115. Is j smaller than 0.2?
False
Suppose 0 = -3*t - 0*t - b - 3, 0 = 4*t + 3*b + 4. Let y be ((-6)/(-21) - -1)*t. Suppose 4 = 21*r + 25. Which is smaller: r or y?
y
Let j(l) = l**3 + 12*l**2 + 9*l - 22. Let v be 3*44/(-12)*1. Let o be j(v). Let f be 22/(-44)*(-2)/(-5). Which is smaller: f or o?
f
Suppose -4*x + 0*x - 51 = 5*s, 4*x - 3*s + 27 = 0. Let o be x/((-1)/2*-3). Let v be 0 + 1 - (o + 4). Is v bigger than 7/4?
True
Let w be (-24)/56*-21 + 74/(-8). Is w != -2/1029?
True
Let i = -3.6162 + 2.52. Let r = i + 0.0962. Which is smaller: r or 15/29?
r
Suppose 18684*k - 49 = 18677*k. Suppose 3*n + 2*g - 56 = -n, -4*g = n - 21. Which is greater: k or n?
n
Let j be (-1771)/(-364) - (-2)/(-8). Is j smaller than 1?
False
Suppose 5*i = -g - 21, g + 4*i + 19 = -2*g. Let w be -109 + -2*(4 - 6 - g). Is w at most -107?
True
Let j = -0.7 - -5.2. Let i = j + -29.5. Let f = 148523 + -148522. Which is smaller: f or i?
i
Let s be (1/3)/((-4)/(-72)). Suppose 57 + 225 = -s*x. Let d = x + 47. Is d > 1?
False
Suppose 3 = -c, -3*x = -2*x + 5*c + 23. Let t(r) = -r - 5. Let q be t(x). Let i = 30 + -26. Is i at least q?
True
Let s = 320 - 318. Suppose -s*g - 4*q + 6 = 0, 3*q + 0 - 6 = 0. Which is greater: -3/221 or g?
-3/221
Let x(v) = 15*v**3 - 99*v**2 - 38*v - 13. Let p be x(7). Which is smaller: 279 or p?
p
Let x(o) = -95*o - 76. Let a be x(-3). Suppose -617 = 3*p + 2*g, -28*p + 4*g = -29*p - a. Is p bigger than -206?
True
Let q(d) = d - 40. Let h be q(28). Let v be (-2)/h + 463/30. Which is smaller: 15 or v?
15
Let i = 0.28782 + -0.38782. Which is bigger: i or 0.14477?
0.14477
Let k(h) = -2*h - 6. Let p be k(-7). Let r = p - 15. Let o be (-12 - (-6 + (-5)/2))*(-13)/(-7). Which is greater: o or r?
o
Let u(r) = -r - 5. Let d be u(-5). Let h = 8 - -49. Let o be ((-18)/h)/((-51)/(-34)). Which is bigger: d or o?
d
Let p be ((32/6)/(-8))/((-4)/(-42)). Let s = -170 + 163. Are s and p equal?
True
Let c be (-6 + 407/74)/((5/(-12))/5). Let 