 - 5*z - 10. Let i(d) = -4*l(d) - 5*s(d). Let h be i(-2). Which is greater: v or h?
v
Let w = -95575 + 1094047027/11447. Which is smaller: 0 or w?
0
Let o = 1641.6 + -1641. Which is greater: -3/92 or o?
o
Suppose 0 = a - l + 2, 2*a + 3*a - 3*l + 16 = 0. Let u be ((0/a)/(3 - 2))/(-1). Is 2/73 less than or equal to u?
False
Suppose 0 = 3*s - 423 + 117. Suppose -3*o + 3*j = 177, j - 109 = -112. Let t = s + o. Are 40 and t nonequal?
False
Let o be 6/(-39) + 1600/(-5824). Is o != 125?
True
Let v be (-2 - (-1 + -4)) + -15. Let q be 1/(-3) + 1 + v/9. Let g be ((-2)/5)/(61/(-5)). Which is bigger: q or g?
g
Let i = 13911 + -13907. Is 22.3 >= i?
True
Let m = 0.17 + 0.53. Let i = -0.666 + m. Let w = i - 0.034. Is w >= 7?
False
Let y = -481 - -946. Let u = y - 464. Are 2/439 and u nonequal?
True
Let v = -758 + -180. Let n = v - -956.61. Let b = 0.39 + n. Which is greater: -0.1 or b?
b
Let n = 785/3 + -25057/96. Let o = -37/32 + n. Which is greater: -5 or o?
o
Let m be 50/(-18) - (-10)/(-45). Suppose -899*s = -709*s + 7220. Is m at least as big as s?
True
Let c be (-2 - 3)*-3*2/10. Let h(j) be the first derivative of -j**4/4 + 4*j**3/3 - 3*j**2/2 + j - 4. Let o be h(c). Does 3 = o?
False
Suppose 508508 = 81*p - 88462. Which is smaller: p or 7368?
7368
Let g = 0.2 - 0.15. Let k = -6.44 + 5. Let a = k - -1.44. Which is greater: g or a?
g
Suppose 0 = -v - 3*f + 23, -4*f = -2*v - 7*f + 43. Suppose 0*x + x - w = -4, 0 = 4*x + 5*w - v. Is -10/7 greater than x?
False
Suppose 7*o - 11*o - 4*l = -20, 4*l - 8 = -o. Suppose -270 + 282 = o*m. Which is bigger: 10/3 or m?
10/3
Let l(x) = -6*x**2 - 19*x - 3. Suppose 0 = 6*f + 5 + 13. Let y be l(f). Which is greater: y or 71?
71
Let o = 0.62 + -0.42. Let n = 5.8 + o. Let m(y) = -y**2 + 6*y - 5. Let h be m(3). Which is smaller: n or h?
h
Suppose 9*c + 104000 = 4*c. Let d be 2/9 - c/(-288). Which is smaller: -2 or d?
d
Suppose 0 = x + 3*r - 611, 3*x = -0*x + 3*r + 1833. Suppose -16*p + x = -1165. Which is bigger: 110 or p?
p
Let f(w) = -6*w - 112. Let j be f(-21). Suppose 286 = j*a - 120. Is 31 not equal to a?
True
Let r(a) = a**2 - 59*a + 33. Let f be r(48). Let m = 890 + f. Is 2/9 smaller than m?
True
Let l be (-105)/(-1560) + (-6 - 228/(-39)). Which is smaller: l or -1?
-1
Suppose 2931 + 1737 = 12*x. Which is smaller: x or 394?
x
Let f(j) = j**2 + 13*j + 34. Let o be f(-3). Let b be 3 + 435/39 + o/(-26). Let n(l) = 4*l - 5. Let y be n(5). Is b less than y?
True
Let p(i) = 20*i - 99. Let r be p(5). Is r <= -10/1261?
False
Let h = -48 - -46. Let v be 4 + 2 + h - 1. Suppose -v*s - 2*i - 18 = -74, -4*s + 5*i + 90 = 0. Which is bigger: s or 21?
21
Suppose 0 = 5*g - 4*b, -2*g = -4*b + 3*b. Suppose y + 3*t + 167 = g, 25*t = -5*y + 28*t - 835. Is 2/7 < y?
False
Let z = 6.488 + -6.5. Let x = z + -0.088. Is x at most 1/42?
True
Let i(j) = j - 2. Let s(t) = 2*t - 5. Let m(w) = 11*i(w) - 6*s(w). Let a be m(8). Let d be ((-1)/((-5)/4))/(2772/70). Which is greater: d or a?
d
Let m = 259 + -253. Let q = -7.07 + 0.07. Let v = q + m. Is -8 > v?
False
Let o = -357747 - -2493439/7. Is o <= -1541?
True
Let c = 170 - 168. Let g be 4*(c + (-18)/8). Let k be -3 + 3 + -3 + 5. Is g > k?
False
Let g = 2234 - 2214. Which is greater: -0.54 or g?
g
Let i(v) be the third derivative of -v**4/24 - v**3/3 - 5*v**2. Let a be i(-12). Let m be (-6)/15*3*a/(-106). Is m < 1?
True
Let v(i) = -65*i**3 - 17*i**2 - 21*i + 15. Let k be v(-6). Which is smaller: k or 13568?
13568
Suppose -42*w + 29*w = 949. Let f = 1824/25 + w. Is -1 not equal to f?
True
Let x be (1 + 2 + -3)/(17 - 19). Let i be (-1)/((-6)/(-6 + x)). Is i less than -1/181?
True
Let w be (-210)/630*564/(-26). Which is smaller: w or 7?
7
Let v(z) = -z**2 - 20*z - 19. Let g be v(-19). Is -16/289 <= g?
True
Let y(s) = -614*s**2 + 42*s - 547. Let d be y(7). Are -30340 and d unequal?
True
Let f = 4720 - 4491. Are f and -2/21 nonequal?
True
Let x(i) = -6*i**2 + 26*i - 118. Let b be x(4). Let u = b + 44. Is u at least as big as -72?
True
Suppose -1840 = -5*b - 18*b. Suppose 0 = -4*u - 2*q - 98, -2*q = -3*u + 3*q - b. Let j = -63 + 38. Is j at most u?
True
Suppose 42 = -3*c + 4*c. Let w = -45 + c. Suppose 147*f = 152*f + 15. Do f and w have the same value?
True
Let z(l) = -7*l**2 - 85*l - 1018. Let c be z(-23). Which is smaller: c or -2768?
-2768
Let y(b) = 858*b - 101. Let o be y(6). Is o equal to 5046?
False
Let q(i) = -1477*i - 5096. Let f be q(-4). Let s be (-1 - (-2 + 2)) + 812. Is s at most as big as f?
True
Let t be (1 + 0)/(40/(-360)) + -450. Which is smaller: t or -3?
t
Let m(k) = k**3 - 38*k**2 - k + 42. Let j be m(38). Suppose 2*b - g - 23 = 29, j = g. Let o = 18 + 10. Is b bigger than o?
False
Let u be ((-44)/6 - (139 - 145))*3/(-12). Is u != -41.2?
True
Suppose -11*r + 15*r - 296 = 0. Let x = r - 39. Let g be (11 + -4)*10/2. Is x less than g?
False
Let g(h) = -2*h**2 + 33*h - 103. Let k be g(10). Which is bigger: 29 or k?
29
Let c be ((-1)/(-1) - -1)*3. Suppose -c*y - 3 = 45. Let l be ((-6)/y)/((-52)/16 + 3). Is -3 < l?
False
Suppose -6*d = -2*d + 32. Let c be d/((-3)/12*-4). Let j be ((-12)/(-2))/(6/c). Is -7 at least as big as j?
True
Let g = 9 + 21. Suppose 11*b - 5*b + g = 0. Let y be b*4*1/4. Which is bigger: 3/2 or y?
3/2
Let z be 13 + -2 + (-12)/((-6)/(-2)). Suppose z*c - 69 = -6. Let t be ((9 - c)/(3 - 1))/(-2). Which is smaller: t or -18/17?
-18/17
Let b(q) = -q**3 - q**2 - 5*q - 3. Let y be b(-3). Let h be 12 - (-50)/(-4) - 714/(-4). Let v = h + -149. Which is smaller: v or y?
v
Let o(u) = -4*u + 24. Let c(v) = -1. Suppose 2*r - 6 = 0, -9 = -3*s + 4*r - 5*r. Let g(b) = s*o(b) + 88*c(b). Let x be g(-12). Is x not equal to 56?
False
Suppose 0 = -5*f + 11*f + 336. Let k be -1 + (-6012)/f - 2*-1. Let h = k + -215/2. Is h > 2?
False
Let d(n) = n**2 - 137*n - 672. Let i be d(-5). Is i not equal to 1?
True
Let f = -0.01203 + 14.51203. Which is smaller: 0 or f?
0
Let o be (-1365)/(-78)*(72/(-21) - 0). Let v be 3/(-2) - (o/(-8) - 8). Is v != -8/147?
True
Let m be (-1138796)/(-816) + 1/(-4). Is 1395 >= m?
False
Let b = -0.002 - -0.002. Is b > -102?
True
Let x be ((-267)/178)/((-46)/(-8) + (-3)/(-12)). Which is smaller: -8414 or x?
-8414
Let o = -5693 - -5631. Which is bigger: -668/11 or o?
-668/11
Let w be (-1)/2 - (0 - (-90)/(-12)). Let r be 760/56 + 3/w. Is 24 less than r?
False
Let h = -913/7 + 130. Suppose l - 5*l + 4 = 0. Do l and h have the same value?
False
Let i = 167 + -234. Let d be 39/91 + i/(-7). Are d and 6 nonequal?
True
Let c = 181/1695 + 3/113. Let r(q) = -4*q**2 - 3*q + 27. Let w be r(-3). Is w at least as big as c?
False
Let v(r) = -2*r + 4. Let p be v(6). Let t be (36/(-2))/(5 + 172/p). Let z(a) = 2*a - 11. Let k be z(6). Is k greater than t?
False
Suppose 3*b = -2*f - 4397, f + 3*b + 1097 = -1109. Let y = f + 15291/7. Which is greater: -6 or y?
-6
Let u(r) = -r**2 - r - 11. Let y(m) = -m**2 + m. Let z(h) = u(h) - 2*y(h). Let c be z(5). Let v = -298 + 309. Is c at least as big as v?
False
Let t be (-12)/(-2) - ((-6189)/(-1245) - -1). Is 1 > t?
True
Let f = -2226 - -2225.8. Which is bigger: f or -27?
f
Let l = -56 + 544. Suppose 4*q = -4*m - 728 - l, -4*q + m - 1201 = 0. Which is smaller: -300 or q?
q
Let p = 358356/85 - 4216. Suppose -692 = -x - 679. Let t be (-13 + x)/(1 - 4). Are p and t equal?
False
Suppose -4*s = 5*p + 7, -20 = 4*p + 17*s - 21*s. Is -0.334 smaller than p?
False
Suppose 20*i + 85 = -3*s + 22*i, -95 = 3*s - 4*i. Which is greater: s or 6?
6
Let q be (-1)/(-2)*(-66)/11. Let y be 3 + q + 2 + 2. Let x be y/2 - 42/3. Is -11 greater than or equal to x?
True
Let o be ((-12)/9)/(20/(-114)). Suppose 879*s - 48 = 877*s + 5*j, 18 = -3*j. Which is greater: o or s?
s
Let j = -212 - -274. Let k = j - 63. Let h = 3 - 4. Is h at least as big as k?
True
Let g(d) = d**3 - 3*d**2 + 1. Let o be g(3). Let y = -4429 - -22154/5. Are y and o non-equal?
True
Let o = 4828 + -4930. Which is smaller: o or 5/6?
o
Let z(j) = 6*j**3 - 6*j**2 + 35. Let q be z(-6). Let c be -8 + q/(-113) - 5. Which is smaller: 1 or c?
c
Let x = 866 + -898. Let h = 49 + -78. Which is smaller: h or x?
x
Let r be (1924/(-644))/1 + 3. Let v = 157/322 + r. Let o = -213/1496 - 3/88. Which is bigger: v or o?
v
Suppose -3*m = -j - 7, 5*m - 4*j = -2 + 16. Let i be 91/(-570) - (m + 64/(-30)). Which is greater: 