)/((-2598)/10). Is r not equal to u?
True
Let y(a) be the first derivative of -a**4/4 + 5*a**3 - 7*a**2 + 2*a - 5. Let w be y(14). Let z be w/(-8) - 2/56. Are z and -0.01 equal?
False
Let m(t) = 3*t**3 - 22*t**2 - 4*t**3 + t**2 + 72 + t - 51. Let z be m(-21). Let b = -10687/111073 + -2/3583. Which is smaller: z or b?
b
Let g be (6/(-5))/((-1)/5). Let b be g/9 + 22/(-6) - -13. Let h(o) = o**3 - 10*o**2 - o - 5. Let c be h(b). Are -14 and c non-equal?
True
Let v = -10 + 15. Let j(n) = n**3 + 6*n**2 - 29*n - 8. Let l be j(-9). Suppose -l = v*d - 10*d. Which is smaller: d or 4?
d
Let n be 1062/(-7) - (-1)/14*-4. Let l = 121 + n. Which is greater: -30 or l?
-30
Let u be 48/(-64)*(-3236)/18. Let n = -277/3 + u. Is n bigger than 43?
False
Let g(n) be the first derivative of n**3/3 + 8*n**2 + 2*n + 1. Let l be g(-16). Suppose -d + 0*j - 2 = -5*j, -d - 4*j = l. Which is smaller: 0 or d?
d
Let r = -185 + 159. Let c = r - -29.6. Is -1 bigger than c?
False
Let i = 97.69 - 101.69. Which is greater: i or 1503?
1503
Let g be 6682/4 - 10/4. Let s be (1 + 23/(-3))*139/g. Which is smaller: 0 or s?
s
Let m = -175/2 + 86. Let r = 507 + -728. Let v = r + 219. Is v greater than or equal to m?
False
Let v = -2427 - -3048. Is v smaller than 622?
True
Let h be -2*755/510 + (-1)/3. Suppose -8*k - 255 + 239 = 0. Which is bigger: h or k?
k
Suppose -3*j + 3*r - 1218 = 0, 788 = -0*j - 2*j - 4*r. Let n be (-9)/3 - (2014/j + 2). Which is bigger: -1 or n?
n
Let t(x) = -32*x + 927. Let w be t(29). Does -72/67 = w?
False
Let f = -200.903 + 200. Which is smaller: 0.1 or f?
f
Suppose -12*c + 1164 = -0*c. Let x(k) = 3*k**2 + 9*k + 14. Let o be x(-7). Which is bigger: o or c?
o
Let m = 11536 - 11520. Which is greater: m or 13/12?
m
Let h = -284 - -299. Let a(d) = d**2 - 13*d - 33. Let w be a(h). Let t(g) = -g**3 + 6*g**2 - 5*g. Let n be t(5). Which is greater: w or n?
n
Suppose 18*f = -46*f - 229*f - 34281. Is -588/5 > f?
False
Suppose 27*j = 2*j + 22975. Let n = -590 + j. Which is smaller: n or 330?
n
Let p be -8*(3/(-2) + 0). Let y = -20946 - -20957. Which is greater: p or y?
p
Let y be ((-1)/294473)/(6 - (-282159)/(-46997)). Let n = y + -2/44663. Does n = 0?
False
Let m = 145 - 139. Let j be m/(-9) + 10/6. Which is bigger: j or -3/11?
j
Let c(q) = q**2 - q - 20. Let w be c(9). Suppose w + 60 = -j. Let s = j + 562/5. Are -1/5 and s unequal?
True
Let r = -79.53 + 79. Let p = -161 + 160.67. Let x = p - r. Which is bigger: 9/4 or x?
9/4
Suppose 4*v - 135 = 4*q + 7417, q = -4*v - 1903. Is q equal to -5671/3?
False
Let o be 2*(10/(-1490))/(14/(-4)). Is 1 smaller than o?
False
Let b = 0.8927 + 0.1073. Let p be (1434/3 - -5) + 6. Does p = b?
False
Let h = 8805 + -8806. Which is bigger: 35/587 or h?
35/587
Let d be ((-4797)/(-164))/(3/4). Let x be -33 + d - (-22)/(-5). Is 1 greater than x?
False
Suppose -4*q = -5*g + 57, 0 = -3*g + 2*g - 3*q. Let h(c) = 5879*c - 5886*c + 62 + 4 + 102. Let s be h(23). Is g less than s?
False
Let z = -4/85 + -312/595. Let h = -20745 + 20744. Which is bigger: h or z?
z
Suppose -4 = -3*g - 4*i, -5*g + g - 2*i = -2. Suppose 3*f + 40 = 5*a + f, -3*f = g. Let r be (27/(-12))/((-3)/8). Is a equal to r?
False
Let a = 19 - 1. Let k = 30 - a. Let c be (-15)/2 + 3/(k/(-2)). Is c at least -2?
False
Let i = -123 - 1451. Is 1/4 smaller than i?
False
Let q = 3687959387/197790 + -111875/6. Is 1 at most q?
False
Let y(q) = 3*q**2 + 5*q + 6. Let n be y(12). Let a = n - 439. Which is greater: a or -1?
a
Let v be ((-35)/(-10))/(105/323880). Which is bigger: 10797 or v?
10797
Suppose 542 = 3*h - 3*y - 445, -3*y - 1321 = -4*h. Let b be 4920/(-27)*(-22)/(-12). Let j = b + h. Which is greater: 1 or j?
1
Let l be 510/5 - (2 - 2). Suppose -5*w + l = 92. Suppose i + 6 = w*i. Is 4 smaller than i?
True
Suppose 0 = -5*c - 25, 8 = 3*n + 3*c - 16. Let w = 53 - n. Let o be w/21 + 10 + -12. Is -1 at most o?
True
Suppose n + 6 = 3*n. Suppose 3*g + 6 = 5*g, 3*p + n*g - 186 = 0. Let k = -34 + p. Which is smaller: 24 or k?
24
Let t = 27 - 31. Let n be 648/189 + t/(-7). Suppose 9*q - 4*q + 18 = -2*m, -n*q = 2*m + 14. Do m and 2/5 have different values?
True
Let u(z) = 8*z + 3. Let f = -223 - -221. Let n be u(f). Which is smaller: -8 or n?
n
Let w = -7314 - -7313.7. Which is bigger: -212 or w?
w
Suppose -2*i = 3*t + 8, 5*t = -i - 5 + 8. Let g(m) = 3*m**2 - 10*m - 40. Let n be g(i). Do n and 177 have the same value?
True
Let z = -989 - -913. Which is smaller: -16 or z?
z
Let x be -20 + -190 - (-2 + 4). Are x and -240 non-equal?
True
Let n = 99/19 - 316/57. Let h(d) = -11*d. Let r be h(-6). Let u be (-4)/(-12) - (-98)/r. Which is smaller: n or u?
n
Let j = 13955 - 13957. Suppose 0 = -5*m - 2*p + 6, -p = m + m - 2. Is j not equal to m?
True
Suppose 4*h = j - 354, 3*j - 1062 = -164*h + 167*h. Which is bigger: j or 357?
357
Let z = -6544 - -6433. Let p = -1 + -108. Is p bigger than z?
True
Let s = 0.383 + 0.617. Let b be 4/(-30)*9/30. Is s at most b?
False
Suppose 108*u = -5*v + 113*u + 2435, 0 = -2*v - 5*u + 1009. Which is smaller: v or 497?
v
Let a be 754/4 - (-31)/62. Let l be 27/a - 400/7. Is -56 greater than l?
True
Let s = 233/10 - 47/2. Suppose 8 = -n + 5*n. Suppose n*h = -h + 3. Is h < s?
False
Let j be (-2)/(-4) + (-66063)/(-972)*14. Let n = j - 952. Which is smaller: -2/5 or n?
-2/5
Let l be -13 + 6*(0 - -1). Let p be 5/(-20)*4/l. Is p greater than or equal to -11?
True
Let b(x) = -x**3 - 24*x**2 - 42*x + 59. Let v be b(-22). Let t(h) = -h**2 + 23*h - 120. Let p be t(v). Do -281/3 and p have the same value?
False
Let a(w) = w**2 - 12*w - 10. Let y be a(13). Suppose -r + y = -n, -2*r = -6*r - 4*n + 12. Let c = r + -3. Is -2/21 less than or equal to c?
True
Let p be (-295)/(-106495)*(-12 + 2/1). Is p less than or equal to -4/7?
False
Let c(w) = -4*w**2 + 18*w + 15. Let z be c(5). Let v be ((-3)/9)/(5*z/75). Let a = 2/83 - 431/664. Which is smaller: a or v?
v
Let r(z) = -z**3 - 33*z**2 - 118*z - 42. Let k be r(-29). Suppose -l + 12 = 3*l. Suppose l*i - 13 = -k. Which is bigger: -4/11 or i?
-4/11
Let d(f) = -2*f**2 - 25*f + 25. Let a(q) = -q**2 - 13*q + 13. Let y(l) = 11*a(l) - 6*d(l). Let g be y(-8). Let b be (1 + 2)/(-3)*(-12)/288. Does b = g?
False
Let g = -3570 - -3573. Is g at most 3?
True
Let j = -0.1221 + 0.0971. Which is bigger: j or 51?
51
Let m be 26/87*30 + -9. Suppose -q + 2*q - 45 = 0. Let d be (-10)/45 - 8/q. Is m > d?
True
Let s be ((-3)/((-6)/16))/2. Suppose 3*r - 7*l = -12*l - 28, s*r + 14 = -2*l. Is r > -5?
True
Let t = -5.976 + 6.012. Which is smaller: t or -2/29?
-2/29
Let a be (11/(-3))/(7*5/105). Does a = 3?
False
Let k(q) = -q**2 + 14*q - 13. Let d be k(13). Suppose d = -4*v + 227 + 157. Are 97 and v non-equal?
True
Suppose 4*q - 21 = 5*z, -2*q - 4*z + z = -5. Suppose q*f - 17*f = -26. Suppose 69 = -h + d + 3, f*h - d + 136 = 0. Which is smaller: -69 or h?
h
Let d be (((-4)/2)/6)/(9/(-54)). Let u be ((-10)/(-210))/((-1)/8). Let q = 2/3 + u. Which is smaller: d or q?
q
Let i = 69.62 + -69.62. Is -100/11 < i?
True
Let k(u) = -13*u - 56. Let h be k(-5). Suppose -n + 8 + 3 = 5*c, h = 3*n + 3*c. Which is smaller: -5/42 or n?
-5/42
Let s(o) = 5*o - 1. Let u be s(1). Suppose -204 = 83*w - 97 - 522. Do u and w have the same value?
False
Let w(c) = -3*c**3 - 87*c**2 + c + 34. Let i be w(-29). Let a(q) = q**3 - 5*q**2 + q - 7. Let l be a(i). Which is bigger: l or -5/3?
-5/3
Let o be (-8)/52 - 7/91*24. Which is bigger: 344 or o?
344
Let v = 23 + -160. Let h = v - -319. Let s be (-8)/6 - (-2 - h/6). Is 32 greater than s?
True
Let n be -8 - (4/(-1) + -12). Suppose -n*b + 126 = -22*b. Is b not equal to -17/2?
True
Let r be (-11)/36 - (-4)/12. Let v = -335 - -335.1. Which is bigger: r or v?
v
Let k = -6183 - -5688. Is k less than -493?
True
Let i(s) = s**3 + 11*s**2 - 6*s + 37. Suppose -15*p + 14*p = 12. Let q be i(p). Is q greater than or equal to -38?
True
Let m(a) = -a**2 - a + 4. Let y be m(-3). Let w be ((-858)/390)/(1/(-6)). Let u = w + -14. Which is smaller: u or y?
y
Let s be (-6)/(-2) + -2 + 3. Let m be 26/s*(-12)/(-42). Let u = -41584 + 41587. Is u < m?
False
Let w(l) = -l**3 + 12*l**2 - 17*l + 20. Let y be w(10). Suppose -8*v + 3*v - y = 0. Let a be (-5)/15 + v/(-4). Which is bigger: 2 or a?
a
Let t(i) = -i**3 - 5*i**2 + 4*i - 9. Let h be t(-6). Suppose -w + 3*d = -5*w 