c be 26302/3344 + (58 - 66) + 1/8. Let j(k) = k**2 + 4*k + 4. Let p be j(-3). Which is smaller: p or c?
c
Let r = 551/6125 - 24/125. Which is smaller: 1 or r?
r
Let l(r) = 2*r + 20. Let m be l(-13). Let f = m + 8. Let p be -7 - ((-4)/8 + 7/f). Which is bigger: -12 or p?
p
Let d = 34 - 77. Let p = -41 - d. Suppose -4*h = p*o + 88, -6*o + 4*o + 5*h - 52 = 0. Are o and -0.1 non-equal?
True
Suppose 4*q + 33146 = -3*g, 3*q - 8373 + 33238 = -5*g. Is q greater than -8285?
False
Let i(d) = d**3 + 38*d**2 + 25*d - 10. Let p be i(-6). Is p greater than 992?
False
Suppose 1905 = 46*j - 2230 + 915. Which is bigger: 23 or j?
j
Let o = 43875 - 43659. Which is smaller: 55 or o?
55
Let k = -152 - -153. Let l = -3957/3689 + 18/17. Is k >= l?
True
Let b(i) = -i**2 + i + 9. Let p = 45 + -41. Let u be b(p). Are u and -20/11 nonequal?
True
Let a be (-37 - -39)*609/(-2) + 1. Let t be (11 - a/20) + 4/(-10). Is 204/5 less than t?
True
Suppose -5*w - 27 = 18. Let b(k) = k**3 - k**2 + 3*k - 6. Let t be b(2). Suppose -x - 15*f - 8 = -16*f, t*f - 2 = x. Is w > x?
True
Let x(l) = -2*l**3 - 145*l**2 - 221*l + 54. Let h be x(-71). Which is smaller: 621 or h?
621
Let r(q) = -q**2 - 15*q - 37. Let j be r(-11). Let a be 2/j*(-4 - -11). Is a < 5/9?
False
Let c = 181 + -185. Let g(x) = 2*x - 32. Let m be g(c). Is -44 at least m?
False
Let c(p) be the second derivative of p**5/20 + 5*p**4/4 + p**3/6 + 8*p**2 - 3*p + 17. Let x be c(-15). Which is smaller: x or 1/285?
1/285
Let c(s) be the second derivative of s**4/6 + 7*s**3/2 + 7*s**2/2 + 3*s. Let g be (0 - -2)/(9 + 460/(-50)). Let j be c(g). Are j and -2 non-equal?
True
Suppose 0 = 5*h - 5*r + 30, -3*h + 0*h = 5*r - 6. Let x(v) = v**3 + 7*v**2 - 10*v - 10. Let y be x(-6). Let d = 85 - y. Is d <= h?
False
Let o(q) = 3*q**2 + 159*q - 330. Let s be o(-55). Let t be (12 - -10)/((0 + -1)*-17). Are s and t nonequal?
True
Let d = 18.15 - 18.25. Which is smaller: d or 75/8?
d
Suppose -5*t + t - 12 = 0, 2*b = -2*t - 12. Let a be b + 112/35 - (-11)/(-5). Which is greater: a or 11?
11
Let g = 302.74 - -15623.26. Is g at least as big as -1/2?
True
Let l(m) = 4*m**3 - 6*m**2. Let t(x) = -17*x**3 + 24*x**2. Let p(w) = -9*l(w) - 2*t(w). Let k be p(3). Let a be 11/2*2/(k + 1). Is a >= 11?
True
Let d be -4 + (-13 + 13)*(-2)/(-4). Let k be d/72*4 - 52/9. Which is smaller: k or -8?
-8
Suppose 3*p - 21 = -11 - 7. Which is bigger: 9/26 or p?
p
Let k(w) = 19*w**2 - 2*w + 3. Let z be k(1). Let l(f) = f**3 - 9*f**2 + 9*f + 12. Let d be (-714)/(-85) - (-3)/(30/(-4)). Let r be l(d). Is z greater than r?
False
Suppose 5*r + 6 = -r. Let h be 42/56*(-8)/r. Suppose 0 = h*d - 20 + 62. Is -6 less than d?
False
Let v = 74 + -63. Suppose v*g - 36 = 8*g. Let n be g/94 - 6/(-36)*0. Which is smaller: n or 0?
0
Suppose 0 = -88*a + 80*a + 40. Suppose -7*h + 62 = -9*h + 3*t, -10 = a*t. Which is smaller: -0.6 or h?
h
Let d(z) = -36*z - 16. Let k be (-1)/(6/(-9) + 1). Let a be d(k). Let h = 171 + -78. Which is bigger: a or h?
h
Let b = -179 - -289. Let l be 12/18*b/(-35). Is -1 less than l?
False
Let f = -11185 + 7138. Let p = -416829/103 - f. Do p and 1 have different values?
True
Let m = -5.8 - -2. Let z = m - 4.2. Let d = -8.2 - z. Is -4/9 smaller than d?
True
Let u be (-13161)/1722 - 15/(-7). Let c(s) = s**3 - s**2 - s - 7. Let k be c(0). Do k and u have different values?
True
Suppose 99*t - 2283 = 71*t - 28435. Is t <= -933?
True
Let j(z) = -13*z**2 + 53*z + 295. Let k be j(-4). Is k equal to -133?
False
Suppose 3*h = -w + 7*h + 68, -3*w = -5*h - 204. Suppose -64*g - 216 = -w*g. Which is bigger: g or 161/3?
g
Let c be 2/10*475/133 + 4/14. Which is smaller: c or 63/37?
c
Let y be -7 + (-1 - -28) + -11. Which is smaller: 6 or y?
6
Let u = 0.02 + -0.17. Let k = 1264 - 1263.98. Is k bigger than u?
True
Let b = -3852 - -3849. Which is bigger: 350 or b?
350
Let q = 84577 - 6343183/75. Which is bigger: q or 0?
q
Suppose 0 = -2*x + 3*v - 433, -v = -3*x - 0*v - 639. Let z be (79 - (-1525)/(-25))*35/(-3). Is z at most x?
False
Let f(l) = 9*l + 56. Let v be f(-4). Suppose -v*j = -48*j - 1736. Is j < -63?
False
Let q = 109 + -106. Suppose -q*m = 2*a - 2, -12*a + m - 14 = -16*a. Let p be (-6 - (-8 - -3))*-1*a. Which is greater: 19/6 or p?
p
Let u be -1 - -5 - (-5 - 54). Suppose 47 = -5*q - u. Let v(n) = 4*n + 31. Let y be v(-13). Which is smaller: q or y?
q
Suppose t = -5*m + 13, 213*t - 208*t = 2*m - 16. Is -13 <= m?
True
Let f = 8581.9 + -8582. Which is greater: -3316 or f?
f
Let m = 59 - 57.84. Let g = 2.86 - m. Which is greater: -1 or g?
g
Suppose 3*a = 5*x + 11, 13*x + 9 = 2*a + 10*x. Let i be 1/(54/a + -5 - -1). Which is bigger: 33 or i?
33
Let u(d) = 4*d**2 - 84*d - 23. Let q be u(21). Let i = -26 + 12. Which is bigger: i or q?
i
Let t = 22 - 22.032. Let p be (5 + 2 + -5)*7/35. Which is smaller: t or p?
t
Let a = -5 - -20. Suppose -a*z = -21*z + 114. Suppose -18 + z = t. Which is bigger: 5/3 or t?
5/3
Suppose 8 = -125*m + 121*m. Let n be 1335/(-2850) + (0 - m/20). Do n and 1 have the same value?
False
Let y be 0*(-16 + (-237)/(-15)). Which is greater: y or -11/81?
y
Let a = 7359 - 6496. Is a at least as big as 12?
True
Let f = -9594 + 9594.21. Does 82 = f?
False
Let g = -197 + 197. Let f(t) = t**2 - 3*t + 9. Let o be f(-4). Is g at least as big as o?
False
Let p = 2761 + -2760.882. Which is smaller: -3/26 or p?
-3/26
Let p be -4*((-3)/(-4))/((-21)/(-3346)). Let i = p + 715. Is 236 > i?
False
Let m = 2224 - 2223. Which is smaller: m or 62/41?
m
Let s = 14.3 - 19. Let y = 1040.7 - 1031. Let j = s + y. Which is smaller: j or 2?
2
Let q = 8 + -6. Let l = -6.78 + -20.78. Let c = 27.6 + l. Which is smaller: q or c?
c
Let x be (-1828)/380 + -22*(-15)/1650. Is x equal to -5?
False
Let d be 3/(-18)*-14*3*-1. Let u(g) = g**3 + 9*g**2 + 11*g + 7. Let x be u(d). Suppose -3*m = 3*a - 4*m + 2, 0 = -4*a - 5*m - x. Which is greater: -5 or a?
a
Suppose -215 = -2*b + b - 3*j, -3*j = 4*b - 860. Let a(l) = 76*l**2 + 243*l - 30. Let y be a(-4). Is y at most b?
True
Let x be (-4)/6 - 3/(-9)*-1. Let u be (1*(-22)/2)/x. Suppose 8 = -w + u. Is 3 not equal to w?
False
Let t = -187 - -539. Let i = 345 - t. Is -2/9 bigger than i?
True
Let a = -16.693 - -15.693. Let p be (-52)/(-14) + (-14)/(-49). Suppose y + p*k + 2 = 27, -k = 1. Which is greater: a or y?
y
Let f = 5 + -2. Let n be 3/(0 - 15/10) - -6. Suppose n*u - 49 = -f*u. Which is smaller: u or 6?
6
Let l = 3195.4 + -3194. Is l at most as big as -1.22?
False
Let j be 5/2 - 1/(-2) - (9256 - -7). Which is smaller: -9259 or j?
j
Suppose 469 + 2123 = -27*z. Suppose 2*d + 588 = -4*d. Is z > d?
True
Let s = -6.96 + -0.04. Suppose 0 = -8*b + 5 - 21. Let m be b/3 + (-5)/(-15). Which is bigger: m or s?
m
Suppose 198*b - z = 196*b - 74, -2*z = -8. Let o = -3.2 - -3. Which is bigger: b or o?
o
Let v be 8/230*((-213)/48)/(-71). Suppose 2*r - 3*z + 16 = 3*r, -2*r = -z + 3. Which is smaller: r or v?
v
Let s be (157 - 156)/(14/4). Let m(l) = l**2 - 9*l - 10. Let a be m(10). Suppose a*t - 22 = t. Is s equal to t?
False
Let y = -0.18 + -0.82. Let m = -9.565 + 9.385. Do m and y have the same value?
False
Let t = -23673/38 - -623. Is t < -20?
False
Let i(a) = -a - 7. Let v be i(5). Suppose 0 = -93*b - 264*b - 4998. Which is smaller: v or b?
b
Let x(w) = w**3 + 24*w**2 - 67*w + 38. Let m be x(-26). Which is greater: 432 or m?
432
Suppose 4*f - 1054 = -j, -3*f + 802 = -3*j - 2*j. Let o = f + -265. Let y = 3/284 + 403/15620. Is o < y?
True
Let y(h) = -h**3 + 5*h**2 + h + 11. Let x(n) be the first derivative of 2*n**3/3 - n**2 - 6*n + 8. Let o be x(3). Let t be y(o). Which is smaller: t or -20?
-20
Let r = 445119/196 - 2271. Which is bigger: r or 1?
1
Let s(d) = -5*d**2 + 11*d + 231. Let o be s(-9). Which is greater: o or 1/9?
1/9
Let a(c) = 107 + 112 + 5*c - 54 + 1. Let t be a(-24). Which is smaller: 139/3 or t?
t
Let u = -411/5 - -80. Let f(p) = -p**3 - 11*p**2 + 7*p + 75. Suppose -2*j - 5*y = -3, -4*j + 5*y + 0*y = 69. Let r be f(j). Is r smaller than u?
False
Let s = -5114 - -4668. Is -456 less than s?
True
Let l be (-5 - 3/21)/((-3)/28). Suppose l*i + 182 = 41*i. Which is greater: i or -31?
i
Suppose -2*s = -87 - 37. Let k = 0 + s. Suppose 0 = -6*y - 380 + k. Which is smaller: y or -55?
-55
Suppose -l + 54 = 5*f, -8*f - 420 = -5*l - 3*f. Let c = 79 - l. Whi