13719, 14*o - 10*o - 4563 = -l. Is l at least as big as 4574?
True
Let l = 26537/53 + -501. Which is greater: 0 or l?
0
Let h = 321 + -303. Let a = -7 + 4. Let g = h - a. Is -1 != g?
True
Let f(y) be the second derivative of y**3/3 - 99*y**2/2 - 56*y. Let s be f(36). Is s smaller than -25?
True
Let i be 4/7 - 36/63. Suppose -3*d = i, 4*f = -4*d - d + 104. Let q = f + -26. Is q greater than -4?
True
Let g = 300 + 330. Suppose 0 = 2*b - 11*b + g. Let h = b + -64. Which is bigger: 7 or h?
7
Let i = 1115 + -4958. Is i at least -3843?
True
Let s(f) = -f + 1. Let v(a) = -11*a + 12*a - 3 + 12*a. Let o(r) = 4*s(r) + v(r). Let l be o(2). Is l at least 18?
True
Let g(u) = -15*u**3 + 7*u**2 - 5*u - 8. Let z be g(-3). Which is greater: z or 462?
z
Let w(s) = -s + 9. Let u be w(-8). Suppose -3*c = 2*l - 50, -4*c + 3*l = -14 - 30. Which is smaller: c or u?
c
Let v = -3941819/16 - -246287. Which is bigger: v or -76?
-76
Suppose -3*h - 5*g = -72, 2*g - 82 = -2*h - 2*h. Suppose m = -2*v + 248, -10*v - 482 = -2*m - 7*v. Let d = m + -226. Is h >= d?
True
Let c = 20106/2635 + -4086497/2139620. Let n = 6/203 + c. Let y be (-1)/4 - 42/(-8). Is n bigger than y?
True
Let h(u) = -16*u - 172. Let c be h(-11). Suppose 0 = -c*i + 18 - 2. Suppose -3*t = -6, 5*t + 5 + 9 = 4*j. Which is bigger: i or j?
j
Let v = -89 + 96. Suppose 0 = v*k - 5*k - 4. Which is smaller: k or -9?
-9
Let t = -44206 - -44107. Which is smaller: 28 or t?
t
Let m(b) = -b**2 + 3*b + 18. Suppose 0 = 10*w - 48 - 12. Let r be m(w). Suppose r = -3*u - 0*u. Which is greater: -2/53 or u?
u
Let i(k) = -k**2 - 9*k + 6. Let v be i(-7). Suppose 0 - v = 4*l. Let w be ((-35)/175)/((-6)/(-130)). Which is bigger: l or w?
w
Let i be (19/(-1140))/(6/228). Is i at least as big as 0?
False
Let r(p) = 259*p - 5619. Let s be r(13). Is -2251 at most s?
False
Suppose c + 3*d = 3*c + 315, 5*c = -4*d - 730. Let w(u) = -147*u**3 - 4*u**2 + 4*u - 1. Let l be w(1). Is l less than c?
False
Let f be (((-1)/2)/(-1))/(69/138). Suppose -71 = -2*i - 19. Let d be 5*(-21)/i + 4. Is f less than or equal to d?
False
Let l = 2.16 + -1.32. Let v = -0.74 + l. Which is greater: v or 9?
9
Let r(a) = -3*a**2 + 13*a + 16. Let p be r(7). Let x be 8/p - (-2)/(-10). Is x less than or equal to 9/5?
True
Suppose -l = 2*w + 6887, -3*w - 4*l = 6417 + 3906. Which is bigger: -0.3 or w?
-0.3
Let n(f) = 331*f - 6619. Let u be n(20). Is u greater than 1/565?
True
Let v = 1418189466 - 407022271226/287. Let o = v + 6601. Do 1 and o have the same value?
False
Let c be ((-8)/6)/(6/(-9)). Let t be -9 + 1 + c - (-11)/(-11). Is t != -50/9?
True
Let u = 9 + -6. Suppose u*d - 28 = -5*j, 10*d = 5*d - 4*j + 25. Let l = -7395/183826 + 37/1718. Is d greater than or equal to l?
True
Let b be (108/(-5))/(2/4). Suppose -5*k - 2*f = 725 - 505, 188 = -4*k - 4*f. Does k = b?
False
Let m = 0.3662 - 1.0662. Which is bigger: m or 30?
30
Let j = -73 - -74. Let b = 3/2233 + -2302229/4466. Let h = b + 11359/22. Are j and h nonequal?
True
Let u(g) = -g**3 - g**2 + 13*g - 35. Let f be u(-5). Which is smaller: f or 2/77501?
f
Let k be (-19)/(-7) + (-4)/(-14). Suppose k*n = -3*s - 258, 3*n + 242 = -0*s + s. Is n at least as big as -80?
False
Let u = -499 + 521. Let i = 42 - u. Let h be ((-19)/2)/((-2)/4). Which is smaller: i or h?
h
Let z(r) = -22*r**2 - 83*r - 2. Let l be z(-5). Is l > -137?
False
Let y be 41/(-10)*(-2445)/18 - (-4936)/3702. Which is smaller: y or 559?
y
Let b be (-6*(-12)/(-36))/((-42)/(-8)). Let u = -59 + 91. Let h = u + -33. Which is smaller: h or b?
h
Let g = -0.087 + -106.913. Let q = 7 + g. Let t = -94 - q. Which is bigger: 2 or t?
t
Suppose -2*z + 14 = 2*h, 6*h + 5*z = 4*h + 26. Suppose 9*r + h + 15 = 0. Let w be r + (-2)/33*-35. Which is smaller: 0 or w?
0
Suppose 159*c + 14 = 161*c + 558. Is -2976/11 greater than c?
True
Let t = -47 + 116. Suppose -159 = 12*s + t. Let y(q) = q**3 + 8*q**2 + 8*q + 10. Let m be y(-7). Which is smaller: s or m?
s
Let a = -546 + 653. Let u = 0 - a. Which is smaller: 2/3 or u?
u
Let u be (11 + 126/(-12))/(4/1624). Which is smaller: u or 200?
200
Suppose 5*y + 4*l = -4, 23 - 27 = 2*y + 4*l. Are y and 5/2428 equal?
False
Suppose 396 = 5*s - 164. Suppose 4*n + 5*c + 83 = 0, -s = 5*n + 3*c - 5*c. Let i be n/(-80) - 26/65. Which is bigger: -4 or i?
i
Let x be (-1784)/4460 - (-26)/40. Which is smaller: 24232 or x?
x
Let j be 3/((0 - 0) + 6 - (-31992)/(-5456)). Which is smaller: j or 32?
j
Let k = -0.7 + 2.7. Let r = 179 - 178.959. Let a = 4.059 + r. Do k and a have the same value?
False
Let k(x) = x**3 - 14*x**2 - 13*x - 50. Let p be k(15). Let i be 1872/p + (-4)/10. Is 0.1 smaller than i?
False
Suppose h = -2*w + 18, -30 = -2*w + 6*h - h. Let s be (-2)/(-10) - -18*4/40. Suppose -w = s*c - 5*d + d, -5*c = 5*d - 20. Which is smaller: c or 6/19?
6/19
Let m(i) be the third derivative of -i**4/8 - i**3/2 - i**2. Let f be m(-9). Let g = f + -16. Which is smaller: g or 10?
g
Let p be ((-4)/12)/((-2)/(-18)). Let q be 2 + 4 + 3 + p. Suppose q*c = -10 + 40. Which is bigger: 7/2 or c?
c
Suppose y = 4*h - 6, 2*h - 3*y = -0*y + 8. Is 21/226 bigger than h?
False
Let y be (7 + 375/(-51))*(1/1995 + 0). Which is smaller: y or 1?
y
Suppose 4*p = 15*c + 9*p, p = -2*c - p. Which is greater: c or -5/376?
c
Let h = -15 - -25. Let f = h + -10.36. Let z be 12 + (-18 - -5) - 10/(-8). Is f bigger than z?
False
Let f be (2*-1 - -1)*(-290)/10. Let n = -33 + f. Let l be 104/(-33) + (-12)/18. Which is smaller: l or n?
n
Suppose -12 = -3*k - 3. Let f be k*2/(-2)*2/3. Which is bigger: -5 or f?
f
Let m(t) = -7*t + 5. Let v(p) = 4*p**2 + 5*p - 4. Let n be v(1). Let o be m(n). Let h be (4/o)/((-3)/5). Is 0.4 < h?
False
Let r(q) = -q**2 - 18*q + 101. Let o = 44 - 67. Let u be r(o). Which is greater: u or -15?
u
Let o be (-10)/6 + 2 - (-2)/(-6). Suppose a - 10 + 0 = 0. Suppose o = -a*c + 8*c + 2. Are c and 2/189 non-equal?
True
Let w(a) = -508*a - 1016. Let b be w(-2). Which is smaller: b or 2/7835?
b
Let g = 8278 + -8355. Does g = -379/5?
False
Suppose -t = -x - 5, 10*x + 20 = 6*x - 3*t. Which is greater: x or -0.065?
-0.065
Let a be ((-2)/(-8))/(-19*(-2)/152). Which is greater: 2/4973 or a?
a
Let f(w) = w**2 - w - 1. Let x(y) = y**3 + 11*y**2 + 6*y - 2. Let p(t) = 2*f(t) - x(t). Let u be 2/4 + 0 + 238/(-28). Let a be p(u). Which is bigger: 2/15 or a?
2/15
Let a be ((-360)/32)/45 - (-2)/(16/(-6)). Let k(m) = m**2 - 6*m + 6. Let f be k(4). Let c(z) = -z**2 + z + 1. Let b be c(f). Which is smaller: a or b?
b
Let j(m) = -m**2 - m + 13. Let g(w) = 5*w + 29. Let y be g(-7). Let d(a) = a**3 + 5*a**2 - 3*a + 14. Let v be d(y). Let k be j(v). Which is bigger: k or 5/31?
k
Suppose y - 6*y + 570 = 0. Suppose 8*z = 2*z + y. Let i = z + -22. Which is greater: -2 or i?
-2
Let x = 234.3 + -234.5. Does 241 = x?
False
Let k be 3*-5*(-18)/10. Let l = 33 - 29. Suppose 3*c - l = 74. Is k greater than or equal to c?
True
Let j be (-3 + 3)/(-12 + -2 - -12). Is 0.5858 >= j?
True
Let r = 7435/94658 - -1/2491. Let k = -7 + 7. Let h(v) = -v. Let u be h(k). Which is bigger: r or u?
r
Let f be (26/(-78))/((-1)/9). Suppose -20 + 5 = -3*s, -f*c = 3*s + 39. Is -16 equal to c?
False
Let x = -38687 - -77483/2. Let i = 137 + -82. Is x >= i?
False
Suppose 0 = -5*u - 4*o + 28, -u + 2*u - 5*o + 6 = 0. Suppose 0 = -5*r - 2*v + 226, -162 + 22 = -3*r + v. Suppose 88 = -r*p + 318. Which is smaller: u or p?
u
Let g(y) = -850*y - 429. Let r be g(-5). Which is greater: 3820 or r?
r
Let q = 135 + -1207/9. Suppose -n - 5 = 0, 3*f + 2*n = 2*f - 25. Let g be 10/f*(-3)/2. Does g = q?
False
Let u be (9/(-27))/(2/(-48)). Suppose 5*p = u + 7. Suppose 0 = -g + 8 + p. Which is smaller: g or 9?
9
Let j = -25205.11 - -24195.2. Let u = j - -1010. Which is bigger: 25 or u?
25
Suppose b = 6 - 21. Let k(j) be the second derivative of -5*j**4/12 + 2*j**3/3 - 3*j**2/2 - 28*j. Let q be k(2). Is b less than q?
False
Suppose -4*o - 6 = 22. Let x be (-40)/7 + 2/o. Suppose v - 8 = -5*l, 7*l - 5*l - 13 = v. Does v = x?
False
Suppose 8 = 2*p, 0*v - 4*p = -3*v - 232. Let c be (10/(-8))/(60/v). Which is smaller: c or 107?
c
Let j be (39/26)/((-112)/12448). Which is smaller: -167 or j?
-167
Let v be -11 - 759/(-44) - (-12)/(-2). Let j be 276/(-99)*75/10. Which is smaller: j or v?
j
Let d(h) = -2*h**3 - 54*h**2 - 85*h + 58. Let k be d(