 -11*c = 5*a - 14*c - 204, c = 4*a - 166. Which is bigger: 52 or a?
52
Let k(a) = -a**2 - 11*a + 53. Suppose -5*g - 928 = -988. Let n be k(g). Is n greater than or equal to -224?
True
Let q(y) = y - 6. Let p be q(14). Let n be 3*2/3 + 8 + 0. Is n at least as big as p?
True
Suppose -2*h - 2*h = -48. Suppose -8*m + 6*m + 10 = 0. Suppose m*p - 3 - h = 3*s, 0 = s + 3*p - 9. Is s smaller than -2/11?
False
Suppose -3*d - o - 9 - 139 = 0, 3*d = o - 152. Let t = d - -59. Let q be 5/(-1) + t - 49. Is 1 greater than or equal to q?
True
Let h(z) = 3*z - 16*z**3 + 64*z**3 - z**2 + z - 6*z + 3. Let w be h(1). Do w and 50 have the same value?
False
Suppose -x + 151 = -2*y, 2*x = -4*y + 97 - 379. Let t(z) = -9*z - 5. Let v be t(9). Let h = y - v. Is 14 less than h?
False
Suppose -3*b + 3 = 15. Let f be ((-2 - -3)*-1*b)/4. Let n = -32/85 - -122/595. Does f = n?
False
Suppose -303*s - 1488 = -210*s. Which is smaller: -375/23 or s?
-375/23
Let g = -28/10379 - -57818/44515531. Which is greater: -1 or g?
g
Let h(l) = -l**3 + 13*l**2 + 5*l + 14. Let o(m) = -6*m**3 + 64*m**2 + 23*m + 69. Let c(v) = -11*h(v) + 2*o(v). Let r be c(-14). Is -84 != r?
True
Let z(n) = 64*n**2 - 4*n - 6. Let a(l) = 63*l**2 - 3*l - 5. Let g(m) = 5*a(m) - 4*z(m). Let f be g(-1). Is f less than 59?
True
Suppose -3*f + 9 = -0*f, -4*f - 213 = -5*p. Suppose -3*l - 37 + 169 = 0. Which is bigger: p or l?
p
Let j be 11/(-4 + 36/8). Let z be (-3 - (-68)/j)/(119/(-21)). Which is smaller: z or 0?
z
Let u(z) = 2*z**3 - 27*z**2 + 3*z + 71. Let o be u(13). Is o at most as big as -82?
False
Let j = -6698 + 5373. Which is bigger: -1324 or j?
-1324
Suppose 0 = 3*c - 4*c - 50. Let z = 0.297 - 0.197. Is c at least as big as z?
False
Let x = -1131 - -657. Let p = -434 - x. Which is smaller: 1 or p?
1
Suppose -28 = -1681*g + 1682*g. Is -193/7 not equal to g?
True
Let j(r) = -r**3 - 6*r**2 + 10*r + 10. Let l be j(-7). Let c = 26066/79 - 330. Let u = -2303/237 - c. Which is bigger: l or u?
u
Let s be (-4 + 4 + (-3)/(-9))*3. Suppose 20*o - 16*o + h + 2 = 0, 5*o + 2*h + s = 0. Is o at most as big as 2/117?
True
Let x be ((-468)/159174)/(-4 + (-264)/(-65)). Let z = 1738961/478 + -3638. Let d = x + z. Is d bigger than 0?
False
Let z = 119 - 20. Let n = -98 + z. Let k be 2/(-4)*(1 - n). Does k = -8/29?
False
Let l = -499 + 735. Is l at most as big as 1/2?
False
Suppose -30*z + 1795 = -395. Suppose 1338 - z = 5*h. Which is smaller: 254 or h?
h
Let p be 1 + ((-6)/2 - -4). Let c be ((-1)/(-3))/(p/6). Suppose 5*u - 32 = 2*z, 4*z - 5*u + 45 - c = 0. Is z less than or equal to 1?
True
Suppose -4*o + 2*b + 218 = 0, -35 = -4*o + 3*b + 188. Suppose 0 = 3*l + o - 7. Let y be 138/(-4)*356/890. Which is smaller: y or l?
l
Let c be 4/(-26) + (-107712)/(-1144). Suppose 2*i - 68 = -5*y, 2*y - c = -3*i - 3. Which is smaller: i or 19?
19
Let h(p) = p**3 - 2*p**2 - 23*p - 7. Let w be h(6). Let m be 0 - 6*(-2)/(-33). Is w at least m?
False
Suppose -4*i = 3*w + 13, -9 + 27 = -3*i - 5*w. Are i and 2783 nonequal?
True
Suppose -f - 3*f = 0. Suppose 54 = -f*n + 3*n. Let m(o) = 2*o**3 - 6*o**2 + 4*o + 8. Let w be m(3). Which is greater: w or n?
w
Let i(x) = x**2 - 54*x - 167. Let r be i(44). Which is smaller: r or 8?
r
Let l(a) = 2*a**2 + 16*a + 21. Let z be l(-10). Suppose -2*q - z = 3. Which is smaller: -31 or q?
q
Let b be 57/10 - ((-135)/50)/9. Is 111/17 greater than or equal to b?
True
Let s = -17 + 20. Let q = 20 - 23. Let z be q + -1 + (-140)/(-42). Which is smaller: z or s?
z
Let k = 14619 + -365337/25. Is k at most 7?
True
Let z be ((-657)/(-6))/(-1) + (-6)/(-12). Let b = -3502 - -10177/3. Which is greater: b or z?
z
Suppose 84 = -25*v + 37*v. Suppose -5*r - 4*y - 8 = v, 5*r - 4*y + 15 = 0. Let i = 19/2 + -11. Is i greater than r?
True
Let a(j) = 27*j + 164. Let y be a(6). Let x = y + -334. Which is bigger: 19 or x?
19
Let h be 1 - 0 - 437671/437802. Which is greater: 1 or h?
1
Suppose -1024*v + 14 = -1038*v. Let u = -198 - -2578/13. Is u smaller than v?
False
Let k be (2/4)/(35/42). Suppose 12*b + 2*j + 5 = 9*b, 13 = b - 3*j. Which is bigger: b or k?
b
Let l be 51/34*(-248)/(-6). Let x = -634/3 - -211. Is x at most as big as l?
True
Let y be (-14)/(-133) - 5*(-126)/(-570). Is y at most as big as -7/30?
True
Let v = 3358.14114 + -3358.4. Is v > 1?
False
Let p = 108 - 108.0384. Let f = p - -5.0384. Let n = -0.06 + 2.06. Is n < f?
True
Let u = 0.33 - -27.67. Suppose 20*s - 81 = -41. Let r be 20/(-15) + 3 + s + -4. Is r less than or equal to u?
True
Suppose 4*t + 4184 = -5*v, 35*v + 2487 = 32*v - 5*t. Which is bigger: v or -841?
-841
Let u = 1268.4 - 1267.8. Which is greater: -39 or u?
u
Let h be (18 - 1) + (-14622)/(-42). Which is smaller: h or 364?
364
Let t = -92107/458682 + 65/326. Which is smaller: -1 or t?
-1
Suppose 52*t - 4598 = 14*t. Is t at least 1324/11?
True
Let i = 348 - 325. Let f = 25 + -2. Does i = f?
True
Let w be 6 + (18 - -4791) + (1 - 0) + -1. Is 1 at most w?
True
Let x = -137 - -140. Suppose b + y + 2 = 0, -b + 4*b = -2*y - x. Which is greater: b or 1/4?
b
Suppose 16 = -3*h + 3*n - 4*n, 0 = h + n + 8. Let i be (-238 - 7) + 3 + h + 1. Is i at most -244?
True
Let f(h) = -6*h + 20. Let r be f(-6). Suppose -14 = -7*x - r. Let p be (9/x)/(3/(-14)). Is p at least as big as 0?
True
Let t = -90 + 99. Let s(c) = -31*c**2 + 33*c**2 - t*c + 8 - 23. Let w be s(6). Is 0 less than w?
True
Let c be 12/52*6/(-9). Let v = 494207/39 - 12672. Which is greater: c or v?
v
Let k = 1441 - 1425. Suppose -3 = -g + 2. Suppose 2*n + 3*j = g + 4, -5*n + j - 20 = 0. Is n smaller than k?
True
Let a = -10955 - -10954. Which is smaller: a or -1627?
-1627
Let k be 6784/(-960) + 1/15 + 8. Which is greater: k or 4/9?
k
Let i = -17923 + 17922. Which is smaller: i or 2/8905?
i
Let y = 0.9566 - -0.0434. Let h = -2/371 + -143/2968. Let x = 519/280 + h. Is x equal to y?
False
Let s(f) = -8*f + 7. Let y(j) = -5*j + 72. Let m be y(13). Let d(g) = 9*g - 5. Let o(z) = m*d(z) + 6*s(z). Let b be o(-1). Is -1 at most b?
False
Let r = -21713.33 - -21706. Which is bigger: r or 5?
5
Let h(x) = -3*x**3 + 5*x**2 + 42*x + 88. Let v be h(6). Is -121 at least v?
True
Let q = -79.9 - -88.2. Is -6/5 bigger than q?
False
Suppose -9*i + 13*i + 9*i + 39 = 0. Is i <= -149?
False
Let v = -5574 - -9926. Let c = v - 12878/3. Let t = c + -64. Which is smaller: -6 or t?
-6
Let n(x) = -463*x**3 - 6*x**2 + 8. Let k be n(2). Let r be (k/(-126))/(-5) - -6. Is r smaller than 0.6?
True
Let i = -11 + 2. Let h = -28.62 + -0.38. Let m = -31 - h. Which is smaller: i or m?
i
Let s(w) = -3*w + 31. Let k(f) = 9*f - 116. Let q be k(14). Let j be s(q). Which is greater: -0.04 or j?
j
Let p be (-45)/25 + 2 - (-123228)/60. Which is bigger: 2053 or p?
p
Let o be 6/51 + 3855/(-255) + -15. Suppose -3*f - 165 = 2*f. Are o and f equal?
False
Let t = -111 - -113. Suppose -5*q = -f - 64, -f - 14 = -q - t*f. Is 8 bigger than q?
False
Let v = 98.63 + -98. Let k = v + -0.66. Let x = 0.15 - k. Is x > -1?
True
Let i = 107280 - 435020402/4055. Does i = 0?
False
Suppose -4*d + 17 = -3*g, -d - 16 = -5*d + 4*g. Let u be (85/6)/17 - d. Is u < -4?
True
Let o = -4175/3 - -1372. Let x = -662 + 3307/5. Is o > x?
False
Suppose 2*p = 4*q - 68, -9*p + 1059*q - 1060*q = 477. Suppose -32 = -5*r - 292. Are p and r equal?
True
Suppose 0 = -5*u + 3*z + 55751, -3*u - 16*z = -11*z - 33437. Is u at least 11150?
False
Let y = 4 + -1244. Let t be y/(-315) + ((-4)/18 - 0). Suppose -p + 56 = 53. Which is smaller: p or t?
p
Suppose 0 = -4*o - 18*o - 4268. Let m = o + 206. Which is greater: -3 or m?
m
Suppose 0 = -0*k + 2*k + 7*r + 10826, -2*k + 2*r = 10826. Is -5414 not equal to k?
True
Let s = 6691 - 6691.4297. Which is smaller: 1/4 or s?
s
Let y be 1*40/(-50)*-735. Which is smaller: 589 or y?
y
Let o = -3189 - -3214. Suppose -5*j + 5*p - 2*p + 105 = 0, j - 5*p + 1 = 0. Which is greater: o or j?
o
Let y = 2171 - 10836/5. Is y greater than or equal to 14?
False
Let x be (0 - 1)/((-2)/226). Suppose -66*c - 3*c - 46*c + 230 = 0. Suppose c*b + 0*g = g - 82, 3*b + x = 4*g. Which is greater: b or -42?
-42
Let z = 800 + -1237. Let u = z - -437.2. Does u = -16?
False
Let d(l) be the first derivative of l**3/3 + 3*l**2/2 - 2*l - 18. Let j be d(-4). Let u be ((-2)/(-12))/(j + 50/(-26)). Is u <= 1?
False
Let r be 53/(5830/44)*(-1)/(-2). 