(b) = -1082*b - 9737. Let q be v(-9). Which is greater: q or -3/11033?
q
Suppose -2*m + 3*m = 5*v - 21, -5*m - 5*v + 45 = 0. Suppose -14 = -4*d + 5*i, 4*d - 2*d - m*i = 10. Let y be 6/25*(-10)/6*176/(-132). Which is greater: y or d?
d
Suppose -5*u + 3*a + 45 = 0, u = 3*u + 4*a + 8. Let l be 4/(-1) - (-13 - u). Which is smaller: 1 or l?
1
Let o = -4429117/3774 + -201335/102. Let r = -3148 - o. Which is smaller: r or -1?
-1
Let d = 87607 - 87602. Let x be 3/18*-2 + 4. Is d at most as big as x?
False
Let v be ((-500)/70)/(1/14*-2). Suppose 5*b = g - 23, 3*g - 12 = 4*b + 13. Let f be (1 + -8 - b) + 52. Which is smaller: f or v?
f
Suppose 2*d + 4678 = -2*h + 4*d, -5*h + d - 11711 = 0. Let a be 4/h*-2*(-18)/24. Is a smaller than -1?
False
Let b(l) = -3*l + 34. Let w be b(28). Let a be -10*(-140)/(-56)*2/w. Which is smaller: 33/16 or a?
a
Let l(d) = -2*d**3 + 176*d**2 - 77*d + 268. Let h be l(87). Are 8707 and h equal?
True
Let h be (-1221)/484 - (4 + (-76)/16). Let m(p) = -3*p**2 + 43*p - 55. Let c be m(13). Is c at least h?
False
Let m(y) be the second derivative of y**4/12 + 4*y**3/3 + 2*y**2 + y. Let u be m(-5). Let a be ((17 - 14)*1/(-6))/(23/322). Which is smaller: u or a?
u
Let z be (2/(-38))/(4/236) - -3. Let g = 92/209 - z. Is g less than or equal to -0.05?
False
Let b = -8.4903 - -0.4903. Which is smaller: 40 or b?
b
Let q(t) = -12*t + 90. Let c be q(8). Let d be (c + (-84)/(-9))*6/(-4). Is d less than or equal to 2?
True
Let a be ((-3971)/(-114) - 34)/((-15)/28). Is -1003 smaller than a?
True
Let l be (3/6)/(((-1)/4)/(-1)). Suppose 0 = -l*j - 3*d + 14 + 3, j = 5*d - 11. Suppose -5*n - 73 = -j*a, 3*n + 2*a + 40 = n. Is -16 < n?
False
Suppose 0 = -5*w + 33 - 53. Let a be 4*(-255)/(-70) - w/(-7). Let x be 25/(-35)*a/68. Is x not equal to -1?
True
Let b(n) = n**3 - 10*n**2 - 8*n - 27. Let p be b(11). Let r(s) = s**2 - 6*s + 3. Let i be r(p). Which is bigger: i or 42/11?
42/11
Let f = 6459 - 6458.95. Let b = -62.95 + 61. Let x = b - f. Which is smaller: 1 or x?
x
Let j(n) = -5*n - 3. Let p be j(-1). Let w be (8 + (-2 - p))*(-2)/332. Which is bigger: 0 or w?
0
Let c(b) = 3*b**2 - 4. Let t be c(-3). Suppose -z + 653 = 680. Let m = t + z. Is m bigger than -4?
False
Let z be (393/262)/((-12)/8). Are z and 20/913 non-equal?
True
Suppose -11 = -3*t + 16. Suppose -t*j = 3 + 15. Which is bigger: 4 or j?
4
Let s be -4*(2 - 51/12). Suppose 0 = 2*f + f + s. Let k be (-128)/60 + 6/45. Which is bigger: k or f?
k
Let r = -289502275555 - -10042544439788917/34689. Let p = -2736/31 + r. Which is smaller: 0 or p?
p
Let i be (265/(-159))/((-10)/24). Suppose -15 = -3*j + 8*j + i*n, 0 = -2*j - n - 3. Which is bigger: j or 3/49?
j
Let s = -438 - -106. Which is smaller: s or -328?
s
Let w be ((-16)/6)/4*9969. Let q = 3841387/578 + w. Which is smaller: q or 0?
q
Let n = -363.5 - -262.5. Is 30 greater than or equal to n?
True
Suppose -22*j + 37*j = 0. Suppose -7*t + 74 - 81 = j. Which is bigger: t or -6/199?
-6/199
Let b(k) = 2*k**2 + 34*k - 1. Let n(y) = -y - 18. Let m be n(0). Let a be b(m). Let o be (-5)/a + 489/(-105). Is o equal to -4?
False
Let u(l) = -l**3 + 9*l**2 + 3*l + 12. Let h be u(8). Suppose -h = -2*i - 2*m - 40, -m = -3*i + 86. Is 28 at most i?
True
Suppose -31*f + 96*f + 25138 = -5282. Is 1/5 at most f?
False
Let x be 1 + -7 + -21*(-546)/1914. Is -2/5 at most x?
True
Let p = 19012 + -19515. Are -0.13 and p non-equal?
True
Let u be (3600/(-220))/(-18) + 2/22. Let y = -2/399 + 2288/297255. Which is smaller: u or y?
y
Let r = -7766 - -9625. Which is greater: r or 1853?
r
Suppose 28*y - 36*y + 56 = 0. Suppose 188 - 97 = -y*c. Which is greater: -55/4 or c?
c
Suppose -3*z = 2*y + 17, 0 = 5*y + 10 + 10. Let n be 4/(-14) - (z - (-61)/7). Is n bigger than -8?
True
Let g(u) = -2*u + 13. Let a be g(7). Which is smaller: a or 2/4313?
a
Let j be 4/26 - 109736/1066156. Is 0 greater than or equal to j?
False
Let s be (-3)/2*(-46 + 48). Let l be 26/13*3/s*-2. Let z = -18932/7 + 2710. Is l at least as big as z?
False
Let b = 2 + -2.1. Suppose 34 = 14*f - 36. Suppose 4*r = d - 23, -7*r + f*r - 19 = -d. Which is greater: b or d?
d
Let s(h) = 13*h - 66. Let b be s(5). Do 2/9229 and b have different values?
True
Suppose 4*h + g + 21 = -15, 8 = -2*g. Let i(b) = -b - 39. Let y be i(h). Let a = -29 - y. Which is bigger: 5 or a?
5
Let p be 3/((-45)/12*(-8)/(-20)). Let o be 7*p/(-56)*(-16)/(-6). Is o at least as big as -26?
True
Let p = 20253220909 + -7358440727108463/363322. Let m = -4/3079 + p. Which is smaller: m or -1?
-1
Let g = 266/125 + 386452/375. Let t = -219988/213 + g. Is 0 at most t?
False
Let r = -567 - -340. Let x = -227.1 - r. Do 143 and x have the same value?
False
Let m = 3101 - 2079. Suppose -m = -13*i - 151. Let o = -8 - i. Is -75 greater than o?
False
Let z be 4 + -2 - 4 - -7. Suppose -p = -3*k - z, -4*p + 2*k + 9 = k. Let j = -40449.7 + 40449.61. Is j greater than or equal to p?
False
Let n(p) = p**3 + 12*p**2 + 15*p - 15. Let q be n(-10). Let h be (250/q - 8)/(18/28). Let z = 0.05 - 2.05. Does z = h?
False
Let z be (108/144)/(3/4). Let s be (3/(-2) - -1)*0. Let c be (-105)/26 + (s - -4). Is z less than c?
False
Let r be (-184)/(-12) - 17 - (-4)/6. Let k(o) = o**3 - 5*o**2 - 5*o - 2. Let b be k(6). Let l be 1393/(-1932) + 3/b. Which is smaller: r or l?
r
Let u = 717/10 + -425/6. Suppose -4*p = 8, 4*y + 4*p + 9 - 1 = 0. Are u and y nonequal?
True
Let s = 397391/4866 - 1/4866. Is 81 at least as big as s?
False
Let t = -13 + 5. Let i = -289.55 - -289.59. Which is smaller: i or t?
t
Let a be -16*7/(-68)*2. Suppose -32*z - 2*h - 22 = -36*z, 5*z = -5*h + 5. Which is smaller: a or z?
a
Suppose -2191 + 231 = -70*t. Let v(c) = c + 4. Let j be v(-3). Which is smaller: t or j?
j
Let f = 0.234 + 1258.766. Which is bigger: f or -1?
f
Let s(f) = -91*f + 455. Let q be s(5). Is -6/3611 greater than q?
False
Let z = 226425/13 - 17405. Is 12 at least z?
False
Let v(r) = -r**3 - 48*r**2 - 81*r - 365. Let x be v(-44). Is x < -4545?
False
Suppose 0 = -b - 2*b. Let m = -52 - -65. Suppose -m*f + 28 = -9*f. Is b smaller than f?
True
Let y(v) = -31*v**2 + v. Let l be y(-2). Let d be 26/l + 20/(-90). Let p be 0*4*(-6)/24. Is d smaller than p?
True
Suppose -263*c - 22 = -265*c. Suppose 8*g + 126 = c*g. Suppose 5*f - 200 = -5*m + 4*f, -3*f = 15. Which is smaller: g or m?
m
Let h(m) be the third derivative of 7*m**4/24 - 3*m**3 - 32*m**2. Let y be h(6). Is 20 at least y?
False
Let v be 3 - (-6)/(-4) - (4/8 + 0). Which is smaller: v or -29/826?
-29/826
Let p be -59 + 2 + (10 + -4)/(-2). Let z be (766/p)/((-80)/25) + -4. Is 0 greater than z?
True
Let x(y) = -y**3 + 6*y**2 + 12*y - 14. Let p be x(7). Let s be (-3285)/(-252) + (-6)/p. Are s and 14 equal?
False
Let w(c) = -9 - 5 - c + 2 - 1. Let o be w(-13). Suppose o = -5*t - 0 - 40. Is -10 smaller than t?
True
Let l = -42 + 46. Suppose -l*k - 20 = 4*m, -m - 2*k - 4 = -3. Let j = 1/416 + -11651/1248. Are m and j equal?
False
Let h(n) = -6*n**3 - n**2 - n. Let k be h(-1). Let y be 2/6 - (-112)/(-168). Is y at least as big as k?
False
Let v be (-9)/12 + 135/54*(-2)/20. Let k be 2 - ((-48)/(-22) + 0). Is k > v?
True
Let y be 2 - (0 + 0)*(1 + 0). Suppose -y*b - 192 = 4*w + 3*b, 4*w = -b - 176. Let c = 56 - 100. Does w = c?
False
Let b = 75 - 73. Let q be (b/(-8)*-2)/(21/420). Let k = -12 - -20. Which is greater: q or k?
q
Let c be 5000/(-70) - 16/28. Suppose 2*b = t - 3*t + 138, 5*t = 5*b + 365. Let m = c + t. Which is smaller: m or 1/16?
m
Let k be (72/(-54))/(2/(-60)). Let p be (-4)/14 + k/140. Let w be 0 - (-5)/(-20) - p. Which is smaller: w or 6?
w
Suppose 0 = 5*y - 10, 8*n + 5*y = 13*n - 5. Suppose -80 = -2*w - 30. Suppose 14 = -3*f - r, -5*f - w = 2*r - n. Which is smaller: f or -1?
f
Suppose 80 = 4*c - 0*z + z, 0 = -z. Let u be (-5)/c*(-4)/7. Let q = -0.72 + -2.28. Which is smaller: q or u?
q
Let l = -0.31014 + 0.21014. Is -6463 bigger than l?
False
Suppose 2*k = 3*i - 174, 61*i = 5*k + 64*i + 393. Let t = 78 + k. Which is greater: t or 13.3?
13.3
Let b = -0.019 + 0.437. Let a = -0.518 + b. Which is greater: a or 2/573?
2/573
Let y = 11 - 11. Let f(h) be the first derivative of -h**4/4 - h**2/2 + 3*h + 3. Let w be f(y). Is 1 < w?
True
Let f = 590887333/11246 + -52542. Which is greater: f or -1?
f
Let v(a) be the first derivative of