2 - 2*a**2 - 6*a. Let b be r(y). Is b <= 102?
True
Let t(o) = o**3 - 18*o**2 - 20*o + 24. Let y be t(19). Let n be y - (21 + (9 + -5)/(-4)). Which is greater: -20 or n?
n
Suppose 76 = 14*z + 6. Suppose -z*j + 10 = 0, -4*j - 11 = 4*m + 1. Suppose 0*b + 1 = -3*c + 2*b, -5*b - 23 = c. Are c and m non-equal?
True
Let k = -117752 + 529295236/4495. Is 1 at most k?
False
Let y = 6284720/32847 - -2/10949. Suppose 12536 + 115243 = 669*a. Which is bigger: a or y?
y
Let i(g) = g. Let n be i(0). Let r = 301/29 - 2020/203. Is r <= n?
False
Let q be -3*(2595/(-9))/5. Is 172 < q?
True
Let s = 110 + 146. Let i = s - 256.26. Is -1 at most as big as i?
True
Let i = 10777 - 5740. Is -4 > i?
False
Let m = 3666 + -3666.005. Are -2.6 and m non-equal?
True
Suppose 3*l - 14 = 4*l. Let i(y) be the first derivative of y**4/4 + 13*y**3/3 - 8*y**2 - 27*y - 379. Let b be i(l). Is 0 less than b?
True
Let d be (-35 - -39)*(-3)/(-4226). Let p = 4621/883234 - d. Which is smaller: p or -1?
-1
Let j = 340 + -1700. Let x = j + 6831/5. Let i be 24/26*((-12103)/38)/(-49). Is x at least i?
True
Let u be 10/160*-118 - 18/(-48). Which is greater: u or -199/27?
u
Let k = 572 + -586.3. Which is bigger: -0.7 or k?
-0.7
Let u(p) = -p**3 + 27*p**2 + 2*p - 48. Let j be u(26). Suppose 120 = -14*b + j. Which is greater: b or 2/7?
b
Let u = 25667.96 + -25668. Let h = 0.73 - -0.07. Is u smaller than h?
True
Let f = -2159 - -4321/2. Is f greater than or equal to 73/8?
False
Suppose 196 = -3*q - 2*o - 204, -4*o + 110 = -q. Is -132 at most q?
True
Suppose 28*d = 4*d + 6600. Let o = -265 + d. Which is bigger: 12 or o?
12
Let t(j) = 3*j**2 - 11*j - 745. Let a be t(-16). Which is smaller: 206 or a?
a
Let a = 2027.5 - 2031. Which is bigger: a or 18?
18
Suppose j = -3*j + 20. Suppose -j*w = -6*w + 12. Let v be 12/w*2/(-8). Is 1 at least as big as v?
True
Suppose -11*x = -10*x - 83. Suppose t - 4*t + 41 = 2*o, 5*o = -t + x. Suppose -17*b + 37 = -o*b. Which is greater: b or 36?
b
Let x = 207 + -207. Which is smaller: x or 18/625?
x
Let z be (-4 + 1)*(-26 + (-1264)/(-48)). Which is greater: z or -2/8241?
-2/8241
Let y be ((-3)/(-6))/(((-44)/536)/(-11)). Suppose y*n - 59*n = -32. Which is greater: -62/13 or n?
n
Let g be ((-9696)/276)/(3 - 7). Is 1 not equal to g?
True
Suppose -o - 4*v + v = -2, -2*o = -3*v - 4. Suppose 0 = -d - 2*r + 7 - 3, -2*d + 16 = -4*r. Suppose -3*y + 9 = -4*b, -2*b - y - d = -3*y. Is o greater than b?
True
Suppose 0 = -95*s - 28*s - 37515. Which is bigger: -15 or s?
-15
Let t(v) = -68*v**3 - v**2 - 3*v - 2. Let m(k) = k**2 - 3*k - 5. Let b be m(4). Let s be t(b). Let u = s + -143. Which is greater: u or -76?
u
Let c(h) = -214*h - 447. Let x be c(-4). Is x less than 423?
True
Let f = -1.8 + 3. Let b = -0.9 + f. Let i = -24.991 - 0.009. Which is smaller: b or i?
i
Suppose -4 = 859*k - 825*k - 4. Is k equal to 1/4883?
False
Let c be 5 + (-9)/6*(-4)/(-6). Suppose 0 = -7*j + 5*j + 2*t + 4, 3*t = -c*j - 6. Let s be 3 + j - (-210)/(-165). Is 2 less than s?
False
Let u(r) = 1003*r - 4169. Let a be u(7). Is a > 2851?
True
Suppose 0 = 10*u + 11*u + 11*u. Which is smaller: u or 1/6993?
u
Let o be (16/(-12) + 0)*((-1356)/24 + 1). Are o and -32 non-equal?
True
Let b = -12768 + 12767. Which is smaller: 77/195 or b?
b
Let m = -5 + -7. Let z be (-1)/((-20)/264) - (-2)/(-10). Suppose -z = -r - 26. Is r greater than m?
False
Let b(i) be the third derivative of -17*i**2 + 1/12*i**4 + 0 + 0*i - 10/3*i**3. Let v be b(12). Is v <= 4?
True
Let g(o) = 15*o - 129. Let h be g(9). Suppose 3*i + y = -13, -h = -2*y + 4. Which is greater: i or -13?
i
Let o = -3.13 - -0.03. Let q = o - -3. Let r = 11.29105 + -12.29105. Which is greater: r or q?
q
Let a(r) = r**2 - 6*r - 4. Let p be a(7). Suppose 0 = 3*v + 9, -o - p*o + 3*v + 33 = 0. Let m be (o/9)/((-8)/3). Which is smaller: m or 27?
m
Let h = -310 - -299. Let c(g) = -g**3 - 12*g**2 + 17*g + 26. Let l be c(h). Are -283 and l equal?
False
Suppose 0 = -f + 3*k + 522 - 222, 4*f - 2*k = 1110. Which is greater: 280 or f?
280
Suppose 0 = 24*g - 51*g - 384 - 561. Is g greater than -33?
False
Let u = -190 - -175. Let z(y) = y**3 + 14*y**2 - 13*y + 19. Let h be z(u). Is -11 greater than h?
False
Let r be (1/(-44))/((-2)/(-12)). Let s be (-4)/58*1 - 36801/39527. Is r smaller than s?
False
Let x(k) = 2*k**3 + k**2 + 4*k - 10. Let d = 134 - 131. Let t be x(d). Which is bigger: -1 or t?
t
Let c be (-21 + 20)/((-5)/810). Let n = 2 - 2. Which is bigger: c or n?
c
Let d = 37905.211 + -37904. Which is greater: d or 4/7?
d
Let k(b) be the third derivative of b**6/120 + b**5/6 - 7*b**4/8 - 33*b**3/2 + 8*b**2 - 1. Let h be k(-5). Is 1/5 at most h?
True
Let a = 111490/7 + -15876. Are 52 and a unequal?
True
Let w(d) = -d**3 - 11*d**2 + 4. Let m be w(-11). Let h = -154 - -296. Suppose 5*i + m*a = -h, 4*i = -a - 4*a - 119. Which is smaller: i or -25?
i
Let c be (-26)/((-66612)/4305) + 15/(-12). Is 0 less than c?
True
Suppose 0 = -9*y + b - 2, -2*y + 3*b - 3 = 3. Do y and -1/3884 have different values?
True
Suppose 5*x = m, 2*x + 0*m - 3*m = 0. Suppose -5*v + 29 = 4*i - 70, -2*v + 4*i + 62 = x. Is v at least 22?
True
Let w = 4011 - 3971. Is w <= 33?
False
Let m(t) be the second derivative of -5*t**3/6 - 71*t**2/2 + 13*t + 2. Let k be m(-10). Are -22 and k equal?
False
Suppose -122*r - 78*r = 72*r - 132464. Are r and 481 equal?
False
Let c = -538 + 541. Suppose m - 4*b = 47, c*b - 131 = m - 5*m. Is 30 greater than or equal to m?
False
Suppose 4*c - 62900 = 36*b - 34*b, 0 = 4*c + 5*b - 62914. Is 15726 equal to c?
True
Suppose -431 + 2657 = 6*d. Let y = -366 + d. Which is smaller: 82/15 or y?
y
Let w(o) = 73*o + 19. Let y be w(-4). Let n(h) = -14*h + 439. Let q be n(51). Which is greater: y or q?
y
Let f = 971 + -367. Let s = 610 - f. Suppose 3*b = -2*u + 1, u - 4 = -3*b - 2. Which is smaller: b or s?
b
Let l be (0 - 4 - (-2175)/150)/((-2370)/(-200)). Which is greater: l or 1?
1
Let k = -1714.042 - -1714. Which is bigger: k or -2/7?
k
Let c = 2778.6 + -2779.6. Are 0.1392 and c non-equal?
True
Suppose -4*u + 3*r = 132, -22*r + 23*r = -4*u - 148. Let s be ((-4)/u*-3)/1. Is 54 at most s?
False
Let z(x) = -x**3 - 4*x**2 + 1. Let b be ((-2)/1)/(12/516). Let j = -90 - b. Let g be z(j). Is -1/68 < g?
True
Suppose -140*k - 10 = -150*k. Let q be -9 + ((-1098)/(-99))/k. Which is greater: 1 or q?
q
Let q be (-6 - -2)/(3 + -4). Let v = q + -8. Let f be -4 + 0 + 12 + 52/(-4). Is f at most as big as v?
True
Let c = -37964/3 - -2316404/183. Which is smaller: c or 3?
3
Let l = 3/29600 - -43393/155962400. Is 5 >= l?
True
Let j be 2*2/8 - (-120)/48. Suppose 4 = -3*c + 7. Suppose j = w + c. Which is bigger: 8 or w?
8
Let n(o) = -2*o + 14. Let z be n(6). Let g be (7/(56/60) - -1)*z. Suppose 4*q - 5*d = 3*q + g, -q - 3*d = 7. Is q < 6?
True
Let l = 63 - 72. Let f = 27 - l. Let r = -29 + f. Which is bigger: 6 or r?
r
Let a = 16/15 - 7/5. Let s = -11682 - -11667. Which is smaller: a or s?
s
Let n be (-8 + 3 + 1 - 1229)/1. Let m = 825 + n. Which is smaller: m or -407?
m
Let d = -8628 + 8790. Is d less than -34?
False
Let a be (4 + -3 + 0)/(4*10/12360). Are a and 317 unequal?
True
Let v be 2 - (309/15 - 1). Let n = 108222 + -108239. Do n and v have the same value?
False
Let a = -14214 + 14208. Which is bigger: a or -363/71?
-363/71
Let a = 10/437 + -24929/874. Which is smaller: -30 or a?
-30
Let w(o) = -o**3 + 6*o**2 + 4*o + 23. Let z be w(7). Let m = -24 + 17. Let c = -6 + m. Is c > z?
False
Let n be 1/(9/(-5) - -2). Suppose -n*h = -0*h + f - 55, 2*h + 3*f = 22. Let z(b) = 2*b**2 - 511*b - 1538. Let p be z(-3). Which is smaller: p or h?
h
Suppose -3*q = -2*o + 21, -5*q - 34 = 2*o - 5*o. Suppose -4*c - 120 = o*l, -2*c + l - 22 - 28 = 0. Is -28 at most c?
True
Let q(v) = 6*v**2 - 144*v - 313. Let l be q(26). Let d = -53 - -74. Is d bigger than l?
True
Let c = -77 - -101. Let j = 10.24 + -15.24. Is c at least j?
True
Let w = -51 - -51. Let c(p) = -p**3 - p**2 + 2*p - 429. Let k be c(w). Let r = k - -2133/5. Is r at most as big as -2?
True
Let d = 79 - 78.885. Let q = -53.115 + d. Let m = q + 53.1. Which is smaller: m or -0.57?
-0.57
Let u = -411.3 + 411.1. Which is smaller: u or 72?
u
Let o = 32 - 32.39. Let j = 112.6 + -117.62. Let y = j + 6.02. Which is greater: o or y?
y
Let o be 2/2*(7 - 7). Let d be o - -1