5*r. Let l(c) = c**2 + 9*c + 9. Let w be l(-8). Which is smaller: r or w?
r
Let d = -5583 + 5588. Which is bigger: d or 75?
75
Let l be (-104435402)/(-45) + 12/(-20). Let a = -2317997 + l. Let s = 2786 - a. Are -3 and s unequal?
True
Let v = 786 + -1184. Let q be (-22)/7*1484/(-12). Let p = v + q. Which is smaller: p or -9?
p
Let n be (2/2)/(10/(-22)). Let d be 9/((-54)/12)*1. Let x be (-3)/(4 + -1) - 0/d. Is n not equal to x?
True
Let i = 19.83 + -19.63. Which is greater: 313 or i?
313
Let q = -9.52 - 36.38. Let f = 46.51 + -0.51. Let l = q + f. Which is bigger: l or -2.6?
l
Let i be 3770292/3790 - 2/(-10)*-4. Which is smaller: 993 or i?
993
Suppose 0 = 4*a - v - 140, -4*a - 2*v + 31 + 121 = 0. Suppose 2*y - 4 - 58 = 0. Let z = y - a. Do z and -39/7 have different values?
True
Let d = 5021/7 + -705. Which is greater: 11 or d?
d
Let z be 3/15 - (-409)/5. Let g be 1/(z/(-6) + 2 + -2). Let i = 29/164 - g. Which is smaller: 0 or i?
0
Let c(n) = -3*n**3 + 5*n**2 - 3*n + 4. Let o be c(2). Let k be (5/o + (-33)/(-18))*-16. Which is smaller: k or -12?
k
Let j(f) be the third derivative of f**4/12 - 17*f**3/3 - 199*f**2. Let b be j(12). Which is bigger: -114/13 or b?
-114/13
Let p(n) be the second derivative of 19*n**3/6 + 2*n**2 - n. Let x be p(-3). Suppose 158*r + 51*r + 15953 = -92*r. Are x and r non-equal?
False
Let n(r) = r**2 + 14*r - 1231. Let o be n(36). Are 575 and o unequal?
True
Suppose -1289 + 1058 = -3*f. Is f at most 76?
False
Let v = 8807 + -8069. Which is smaller: v or -3?
-3
Let l be 5/(-124820)*4*((-4)/2 + 7). Which is smaller: l or 0?
l
Let n be (-2435)/30 + 3/18. Let t = 77 + n. Let q be 2/7*(-1)/t*14. Which is smaller: 2/11 or q?
2/11
Suppose 0 = -184*q + 181*q + 990. Let m be (-3)/(-5) - (-132)/q. Do 5/7 and m have different values?
True
Let i be (-44 - 2) + (-3)/6*-2. Let a be (-78)/9*-2*i/(-6). Suppose -4*r - a = -14*r. Which is greater: 12 or r?
r
Suppose 0 = 333*y - 389*y - 840. Which is greater: y or -18?
y
Suppose 2*y = 3*u - 8*u + 1599, 4*y = 8. Which is smaller: 2228/7 or u?
2228/7
Let a(l) = l - 370 + l**3 + 5*l + 369 - 7*l**2. Let z be a(6). Do z and -1/159 have different values?
True
Let f = 6 + -22. Let j(n) = n**2 + 16*n - 3. Let q be j(f). Let i(r) = 3*r + 8. Let y be i(q). Which is smaller: y or 4?
y
Suppose 5*p = -5*f + 145, 3*f = f - 10. Let z(q) = -2*q**2 - 27*q - 109. Let d be z(-10). Let w = p + d. Is w less than -3?
True
Suppose -5*l - 5 = 3*k, 2*k + 0 - 4 = 4*l. Suppose k = -2*o + 5*j - 135, 8*o - 5*o - 3*j + 189 = 0. Are -56 and o nonequal?
True
Let c(u) = 25*u**3 + 11*u**2 - 17*u + 8. Let g be c(2). Which is smaller: 220 or g?
g
Let t = -13 - -17. Suppose -5*x + 2*q + 10 = -q, -t = -2*x - 3*q. Suppose -6*a + 4*a + 6 = -2*p, -p + 6 = 2*a. Is x bigger than p?
True
Let g(x) = -x**3 - 4*x**2 - x - 1. Let t be g(-5). Suppose -174*k = -175*k + 29. Let v = k - t. Which is bigger: v or -1/55?
v
Suppose -3*b = 2*b - 60. Let i = -5477 - -5490. Let q = b - i. Do -10/7 and q have different values?
True
Let t = -895.0166 - 4.3334. Let p = t - -895. Is 0.1 at most p?
False
Let p be ((-332255)/(-42))/(-55) + (-2)/12. Is p at most as big as -144?
True
Suppose -2 = -2*b - 4*a, -275 + 274 = 4*b + 3*a. Which is bigger: b or -4/389?
-4/389
Let a be (-4)/(-1 - 1)*(-10 - -12). Let b be (-6)/9 + ((-6)/a)/(-3). Suppose 5*n + z = 2, 0*z = 5*n + 2*z - 4. Which is smaller: b or n?
b
Let y be 39/26*(-20)/(-6). Suppose -y*s = -c + 19 - 3, 5*s + 2*c = -13. Let n(b) = b**2 + 20*b + 50. Let g be n(-17). Is s < g?
True
Suppose -4*d - 66*f - 472 = -62*f, 0 = -3*d + 4*f - 326. Which is smaller: d or -117?
-117
Let c be 1*3/(-2 + 11) + 2/(-15). Let j = 7 - -9. Which is greater: c or j?
j
Suppose -25*j - 182 = -27*j + 4*y, 447 = 5*j - 2*y. Let t be 2686/30 + (-11 - (-105)/9). Is j >= t?
False
Let x(v) = -195*v - 4140. Let p be x(-21). Suppose 97 = -2*m + 249. Suppose 214 = -3*a + m. Is p greater than or equal to a?
True
Let w = 72 + -194. Let u = w + 123.29. Let d = u + -1.79. Which is bigger: d or -1?
d
Let d = -1258/16059 - 22/303. Let k = 118 - 119. Is k > d?
False
Suppose -4*m + 3*m - 10 = 0. Let h = 18 - m. Let g be (1 - 1) + 8/h. Are 0 and g unequal?
True
Suppose 2 = -2*n - 2. Let d be ((-182568)/6088)/(9/n). Let f = -2/761 - d. Which is smaller: 0.2 or f?
f
Let m be (27/(-162))/(28/(-24) - -1). Which is greater: m or -4/3243?
m
Let i = -180.15 - -180.2. Are 247 and i unequal?
True
Suppose 38*v = x + 41*v + 20, -x + 36 = -5*v. Does x = 23/315?
False
Let b be (-6042)/(-63) - 18/(-189). Which is greater: 89 or b?
b
Let r(t) = -19*t**2 + 85*t - 2. Let x be r(2). Let n be x*(-6)/(-6) - -5. Which is smaller: 99 or n?
n
Let q = -1748 - -1748.3. Is 0.037 at most as big as q?
True
Suppose -5*s + 484 = -4*a - 320, -4*s - 4*a + 636 = 0. Suppose -4*d + 3*y + 629 = 0, -9*d + 2*y = -8*d - 151. Is d equal to s?
False
Let g = 1617/400 + -65/16. Let o(b) = b**3 - 10*b**2 + 8*b + 2. Let x be o(9). Let a = x + 8. Which is smaller: a or g?
g
Let n = 1 - 0.9. Let k(o) = -o + 11. Let m = -54 - -62. Let w be k(m). Which is greater: w or n?
w
Suppose 0 = t + 277 + 161. Let w be (t/8 - 0)/((-51)/(-34)). Is -38 less than w?
True
Suppose -92*q = -3706 + 3798. Let l = 3027/565058 + -4/1339. Which is bigger: q or l?
l
Let d(o) = 55*o - 5643. Let t be d(99). Which is smaller: 1 or t?
t
Let b be (-11062)/(-5) + (-4)/10. Let f = b + -77426/35. Let w = -69/35 - f. Which is smaller: w or 1?
w
Let q = -17 + 24. Suppose 2*t - q*t = -20. Suppose -t*o = -27 + 7. Which is smaller: 4 or o?
4
Let d = -76 + 75.78. Is d not equal to 139?
True
Let n = -8062 + 8057. Which is smaller: n or -229?
-229
Suppose -73*m = -219*m - 876. Which is bigger: 2/65 or m?
2/65
Let f = 12354 + -12455. Which is smaller: f or 15?
f
Let k(n) = 3*n + 64. Let x(z) be the second derivative of -z**3/6 - 8*z**2 - z. Let u(v) = 2*k(v) + 9*x(v). Let f be u(-4). Are f and -11/4 equal?
False
Let k be -3 + (-1 - 17004/(-4250)). Let u = 1801 + -1802. Is k at most u?
False
Let v = 16157 - 12702. Which is bigger: v or 10369/3?
10369/3
Let k = 1 + -2. Let s = 23691 + -23690. Which is smaller: k or s?
k
Let a = -1356 - -1355.93. Let r = 60 - 24. Which is smaller: a or r?
a
Suppose 2*n - 5*g = -3427, -1465*n - 3397 = -1463*n + g. Are -1702 and n non-equal?
True
Let i(u) = -4*u**3 - u**2 + 1. Let o be i(-2). Suppose -4*c = -o + 465. Suppose 201 = -2*w - 3*k, 5*w = -2*k - 403 - 127. Is c at most as big as w?
True
Let z = 13942 - 13939. Let g = -28 + 42. Which is smaller: g or z?
z
Suppose -k + 57 = 4*k + 2*n, 2 = 2*n. Suppose -k*c - 3*c = -14. Which is bigger: c or 1/206?
c
Let x = -720 + 260. Let y = -459 - x. Which is greater: y or 2/27?
y
Let p be (-18333)/(-4268) + 5/(-2). Which is smaller: 3 or p?
p
Let i = 261058/15 + -17404. Let r = -1828 + 102363/56. Let a = r + 3/8. Do a and i have the same value?
False
Suppose 0*d = 2*d. Let f be -20*(3/(-6) + d). Suppose 3*g + 5*v - 8*v + 3 = 0, -4*g = 3*v - f. Which is bigger: g or 16/9?
16/9
Let s(o) = o**3 + 2*o**2 - o + 4. Let a be s(-3). Let d be ((-270)/(-20))/(1/a). Let n be -33 - (14 + -14) - -6. Is n smaller than d?
False
Let m = 90509/750 + -362/3. Is m less than 3?
True
Let q = 1 + 1. Let c be (q/(-10))/(1/(-2)). Let b = 194.4 - 195.4. Which is greater: c or b?
c
Let x = -122 - -124. Let h be x + 12/(-6) + 4/954. Which is smaller: -2 or h?
-2
Suppose -3*l + 18 = -2*l - b, -4*b - 12 = -l. Let w(m) = -m + 29. Let o be w(13). Is l at least o?
True
Let f(w) = 20*w + 438. Let x be f(-23). Is x > -18?
False
Let w be 4/(-28) + 30*4/56. Let j(r) = r**2 - 3*r - 11. Let g be j(5). Are w and g unequal?
True
Let w = 1156 + -721. Let p = 435 - w. Are 8/105 and p nonequal?
True
Let a(f) = 185*f**3 - 6*f**2 - 12*f - 2. Let h be a(-2). Which is bigger: h or -1483?
h
Let f = 18667 + -18704. Is f bigger than -32?
False
Let v = 676416693/2563 - 263916. Are v and 0 equal?
False
Let w be (1 - 126/(-5)) + 26/13. Let n = 132/5 - w. Let d = n + 73/35. Is d at least as big as 0.73?
False
Suppose 0*g = -11*g - 41844. Let j = g - -285304/75. Which is greater: j or -0.1?
j
Let a = 152728/851 - 4180/23. Is a bigger than -2?
False
Let r be (-4)/(-2) + 22/(-14). Let f(i) = 4*i**2 - 57*i - 8. Let u be f(16). Let q be 13/(u/32) + -5. Which is greater: r or q?
r
Suppose 4*p + 23702 = -3*u, 