h is greater: b or a?
a
Let z(k) = -10*k**3 + 4*k**2 - 4*k + 6. Let a(m) = m**3 + m**2. Let g(x) = -a(x) + z(x). Let c be g(2). Is -78 != c?
False
Let s be (147/(-7) - -5)/(12/(-9)). Which is smaller: 2100 or s?
s
Let b = -359/169 - -1943/676. Let s(a) be the second derivative of -a**3/6 - a**2 - a. Let q be s(6). Which is greater: q or b?
b
Let p = -13082 + 287857/22. Is 2 at most as big as p?
True
Suppose -5*n + 42 + 3 = 4*a, 5 = 3*a - 2*n. Let v be 2/(-7 + 8) - -7. Let m be 15/v*4*(-6)/a. Is m != -11?
True
Let b = -10724 + 10728. Which is greater: -286 or b?
b
Let j be 6/((-24)/(-1)) + (17316/(-2512))/13. Is j at most 0?
True
Let k be 2/(-8) - (36/(-16) + 0). Let l(z) = -5*z**2 - 3*z**k - 32*z + 14 - 24*z + 4*z**2. Let p be l(-14). Is 15 less than or equal to p?
False
Let u be -1 + 0 + 2*(-6)/4. Let j be (u + 5)*-2 + 1. Let q be (-1)/5*-5*j. Is q != -3/7?
True
Suppose 52 - 262 = 5*h. Let d be (-2)/(-4)*h + -4. Let v be (-69)/d - (-1 - (-8 - -4)). Which is greater: 1 or v?
1
Let m = 2.024 + -3.024. Is -777 not equal to m?
True
Let z(w) = -2*w + 5. Let d be z(4). Let x be ((-42)/12)/(6/1440). Let m be ((-70)/x)/(1 + 65/(-63)). Which is greater: m or d?
m
Suppose -2*p = -16 - 62. Suppose 9 = -3*y + p. Let n = 72.9 + -72.7. Is y smaller than n?
False
Suppose 4 = 2*w - 32. Let k(q) = 2*q**2 - 12 + w + 5*q - q**2. Let v be k(-6). Which is greater: 62/5 or v?
62/5
Suppose 45618 = -4*c + 6*d, -7315 = -2*c + 5*d - 30126. Is -11403 at most as big as c?
True
Suppose 8353 = 3*k + 2*q, 0 = q + 1 + 3. Is k >= 2787?
True
Let r be (-1 - -2)/((-4)/(-8)). Let j(h) = h**3 - 15*h**2 + 2*h - 29. Let m be j(15). Let a be (m - -3) + (-88)/33. Is r > a?
True
Let q(c) = -10*c**2 - c + 40. Let s be q(0). Suppose s = 62*x - 58*x. Is 6 greater than x?
False
Let q(p) = 5653*p**2 + 1 - 5649*p**2 + 0 - 44*p. Let a be q(11). Is a at least -102?
True
Suppose 11*a + 16 = 5. Let i be 6 + a - (2 - -3). Are 4 and i equal?
False
Let b = -1.2 + 1.29. Let z(h) = 1245*h + 6218. Let i be z(-5). Which is smaller: b or i?
i
Let j = -1 - -1. Let b = 740 - 734. Suppose 2*w - b*w + 92 = j. Which is bigger: w or 24?
24
Let b = 3 - 0. Let g(l) = 15*l + 120. Let f be g(12). Let s = 293 - f. Which is smaller: s or b?
s
Let j be ((-328400)/1800)/(14/(-18)). Is 234 < j?
True
Suppose 0 = 3*w + 4*c - 17233, -8198 + 2443 = -w - 4*c. Which is smaller: 5740 or w?
w
Let o be 5 - 10/(-12)*-6. Let a = 474/37 + -158901/12395. Is o smaller than a?
False
Let z(s) = -2*s + 12. Let i be z(6). Let j = 1011911/369278 - 153/2029. Let q = -20/7 + j. Which is smaller: i or q?
q
Let h be 324/(-132) - (-5 - -3). Is -167 less than h?
True
Let a = -84 - -161. Let w = -6867.1 - -6867. Is a less than w?
False
Suppose 407 = 337*c - 348*c. Is -36 at least c?
True
Let r(w) = w**3 + 8*w**2 + 2*w. Let f be r(-7). Let a be ((-48)/72)/(-3 + 1). Is f at most a?
False
Let j(p) = p**3 - 34*p**2 + 168*p + 1. Let l be j(28). Let x be (3/20)/((-6)/1). Which is greater: l or x?
l
Let m(v) = -3*v**3 - 17*v**2 + 2*v - 13. Let z be m(-6). Let f(j) = 6*j - 1. Let u be f(2). Is u less than z?
False
Suppose 5*p = 17*z - 12*z - 10, -2*p = -4*z + 16. Suppose 14*g = 8*g - z. Is 17 greater than or equal to g?
True
Let j be (1121 + -1133)/(1/4 - 378/1448). Is 1088 smaller than j?
False
Let r(x) = -x - 1. Let y(c) = 12*c - 9. Let b(n) = -36*r(n) - 4*y(n). Let k be b(6). Which is greater: k or 1/291?
1/291
Let k(x) = -x**2 - 41*x - 6. Let u be k(-12). Suppose -9*t - u = -342. Is t less than 11/23?
True
Let v = -30703/165 - -1416/55. Which is smaller: -161 or v?
-161
Let j be (687492/(-4732))/((-6)/(-28)). Which is bigger: -674 or j?
-674
Let d = -972.2 - -972. Let r = -248 - -263.9. Which is bigger: r or d?
r
Let s = -224 - -249. Suppose -4*w = s - 113. Is w bigger than 29?
False
Let h = 12710.5 - 12999.074. Let l = -288 - h. Let u = -0.074 + l. Are -1/7 and u non-equal?
True
Let w = -4.9 + 5. Suppose 3*i - a = -6*a + 230, 5*a = 20. Suppose -2*p + 5*k = -5*p + i, -5*p + 80 = k. Which is smaller: w or p?
w
Let m be (198/154)/(12/308). Which is smaller: m or 37?
m
Let b be 1/2 - (-30)/(-12). Let v be 69/(-171) - b/3. Suppose -2*p - 10 = -5*i, -p = 4*i - 0 + 5. Is i at most v?
True
Let c(s) = 107*s**2 + 1. Let b be c(-1). Let o be (-17076)/b - (-1 + 24/27). Which is greater: o or -160?
o
Let u = -1618 - -1621. Is 96/55 smaller than u?
True
Suppose -4*y = l - 413, -2*y + l + 209 = 4*l. Which is smaller: y or 127?
y
Let r = 0.42 - 4.73. Let f = r + -11.09. Which is greater: -2/5 or f?
-2/5
Let z be 1/2 - (-2)/(-8). Let y = 78 + 49. Let u = 128.3 - y. Which is bigger: z or u?
u
Let a be (7/7)/((-2)/6). Let b be ((81/(-12))/9)/a. Which is smaller: b or 5?
b
Let g = 4453487/3198946 - 387/278. Is g <= -1?
False
Let q = 2 - 1. Let p(m) = m**3 - 9*m**2 + 15*m + 23. Let j be p(5). Let x be (6/144*j)/q. Is -1 at least as big as x?
False
Let d = 19/3 + -7. Let u = 108.375 - 1.275. Let y = u - 110. Is d less than or equal to y?
False
Let z be ((-119)/952)/((-2)/(-24)). Is 1/429 at most as big as z?
False
Let f(o) = -3*o**2 - 94*o - 688. Let h be f(-19). Which is smaller: -111 or h?
-111
Let t = -184 - -221. Let a = -184/5 + t. Are a and -123 equal?
False
Let h(g) = g**3 - 11*g**2 + 20*g - 16. Let l be h(8). Let z be ((-4)/(-3))/((-160)/l). Is z less than -6/5?
False
Let z(o) = 37*o + 447. Suppose k = -5*r - 3 + 16, 4*k = 4*r - 68. Let w be z(k). Which is smaller: -7 or w?
-7
Let s be 40 + -40 - 22/(-2). Let c be (s + -11)/(2 + 2 + -2). Which is smaller: 2/67 or c?
c
Suppose -m + 2 = 5*n, -38*n + 33*n - 5*m + 10 = 0. Is 46/457 less than or equal to n?
False
Let t be (-4 - 2 - 38/(-38))/((-2)/74). Which is smaller: 186 or t?
t
Let k be 5/7 - (-10)/35. Let h be (108/567)/(534/21). Which is bigger: k or h?
k
Let v(x) = -2*x**3 - x**2 - 16*x + 31. Let m be v(6). Let q = -533 - m. Is q bigger than 5/261?
False
Let c(t) = t**2 + 95*t - 194. Let k be c(-97). Is -2/27017 less than k?
True
Let z = 6 - 4. Suppose -z*q - 24 = -5*q - 5*s, 0 = 4*q + s - 32. Suppose -4*m + q = -a, -3*a + a - 8 = -4*m. Are 0.6 and m equal?
False
Let h = 10598/23805 + -2/2645. Is h bigger than 15?
False
Let t(s) = -130*s - 4289. Let f be t(-33). Are -13/102 and f equal?
False
Let j = 3016 + -3016.2264. Which is smaller: j or 0.1?
j
Let a be 1/2 - 3/((-60)/50). Suppose 5*s - 3*s - 5*n + 1492 = 0, 0 = -a*s + 3*n - 2256. Which is smaller: -755 or s?
s
Let u be 33/(-11) + (14 - 4) + -5. Is u at most as big as 13/12?
False
Suppose 42 = 24*o - 17*o. Let x be 248/12*-3 + o. Let f be ((-110)/8 + 0)*4. Which is bigger: x or f?
f
Suppose -z = a + 2, -2*a - 17*z + 18*z = -2. Which is smaller: a or -4/2305?
-4/2305
Let d(a) = -2*a**2 - 19*a - 10. Let v be d(-10). Let o be v/6*3/16. Let y be (-24)/108 - (-2)/9. Does y = o?
False
Suppose 0 = 132*v + 828 + 5640. Let i be (75/6)/((-1)/4). Are i and v non-equal?
True
Suppose 64*k - 65*k + 14 = 3*y, y + 2 = k. Is y less than or equal to -35/12?
False
Suppose 49 = 5*d + 4*i + 15, -i = -6. Which is smaller: 109/88 or d?
109/88
Suppose 17*r - 12*r = 2*f + 17, -3*f - 3 = 0. Is -93 greater than r?
False
Suppose 0 = 16*z - 5*z - 9*z - 4. Which is greater: 1 or z?
z
Let p = -5690 - -1177828/207. Which is smaller: 0 or p?
p
Let a be -2 - (6 + -8 + 5). Suppose 2*d - 24 = -36. Which is smaller: d or a?
d
Let l(u) = -63*u - 1576. Let h be l(-25). Does h = -9/233?
False
Suppose -5*c = -2*c - 12. Let x be (2 + -4)/(c/(-10)). Suppose 25*k + 4 = y + 21*k, 0*k + 5*k = 0. Is y >= x?
False
Let u be (-114 + 117)*7/(29778/(-4)). Let i be -3*(1 - -1)/(-6). Is u less than or equal to i?
True
Suppose -25703 + 47446 + 87649 = 172*k. Is k less than 629?
False
Suppose -5*o + 3*y - 2*y + 43 = 0, 4*y + 1 = o. Let z be ((-15)/o)/(-4 - (-61)/15). Which is smaller: -27 or z?
-27
Let k be 1/(9/2) + 63517/(-342). Let g = 27087/146 + k. Is g greater than -0.2?
True
Suppose 2304 = -102*x + 96*x. Is x bigger than -2682/7?
False
Let k = 1.55 - 1.673. Let d = -0.123 - k. Which is smaller: d or 3/167?
d
Let h = 0.3043 - 0.2043. Let n = -16 - 2.1. Which is smaller: h or n?
n
Suppose 16 = -5*u + 176. Let z be 47/(-2*(-28)/u). Let b = z - 1122/35. Is b less than -4?
True
Suppose -2*w = 4*v - 18, -3*v + 2*w + 33 = -3*w. Let p be (3652/28 - 3)/(v/15). Let m = 322 - p. Which is greater: m or 3?
m
