 Which is bigger: -59/3 or w?
-59/3
Let l(y) be the second derivative of -y**3/6 + 9*y**2 + 34*y. Let r be l(8). Suppose -22 = -j - 10. Which is bigger: j or r?
j
Let u be (4 - 7302/(-4))/((-10)/(-4) - 3). Which is greater: -3657 or u?
-3657
Let w be (-2)/3 - (-3192)/36. Suppose -a - w = a. Let p = a + 55. Is p greater than 12?
False
Let s = -20 - -17. Let r be (-2)/(s/9*3). Let l = -87 - -87.07. Are l and r equal?
False
Let w = -1.121 + 1.521. Which is bigger: w or -2776?
w
Let g be ((-5)/(-20))/(2/80). Suppose -30*k = -g*k - 20. Which is smaller: 6/77 or k?
6/77
Let w(j) = 2*j**3 - 48*j**2 + 114*j + 80. Let u be w(17). Is -2030 bigger than u?
False
Suppose n = 3*j + 336, -5*n - 5*j + 4*j = -1616. Let a(b) = 6*b**2 - 2*b + 16. Let u be a(-7). Are u and n non-equal?
False
Suppose -122 = f - p, -2*f - 106*p = -107*p + 240. Which is smaller: f or -16?
f
Let h = -840 - -138599/165. Let t = 769 - 769. Let z be 0/(9 + (-8 - t)). Which is greater: z or h?
z
Let g be (7/(-685209))/((-6)/(-36)). Which is smaller: g or 0?
g
Let r = -225 + 231. Let t be 2/r + (-8)/(-12). Which is smaller: t or -0.02?
-0.02
Let n be ((-11)/(-22))/(10/(-50)). Is -4 greater than n?
False
Let u(s) = -s**3 + 9*s**2 + 2*s - 4. Let d be u(4). Let q = d - 60. Let i = q - 35. Which is greater: -12 or i?
i
Let i be (58/(-20) + -1)*11160/(-72)*-2. Is -1210 greater than i?
False
Suppose 3758*a - 234 = 3836*a - 3198. Suppose 3*v = 5*v + 3*i + 36, 2*v = 4*i - 36. Let f = 20 - v. Is f != a?
False
Let c = 91965 + -617636939/6716. Which is bigger: c or 0?
c
Let a be 13/65 - (-7)/(57855/(-71168)). Let t = 249/29 + a. Which is greater: t or -1?
t
Let l = -24.71 - -448.71. Do 16/11 and l have the same value?
False
Suppose -4*f - 1 = -9, 5*f = 5*n + 20. Let o be (-314)/7 - (-8)/(-56). Let j = 45 + o. Which is greater: n or j?
j
Suppose -4*y + 16 = 0, 0 = 3*d - y - 11 - 0. Suppose -7*q + d*q = 12. Is q less than -3?
True
Let g = -194684 + 3309627/17. Let l(f) = f**2 + 2 - 3 - 3*f - 1. Let r be l(3). Which is bigger: g or r?
g
Let d = 2177 + 1255. Let l be d/(-392) + 6 + 3. Do 0 and l have the same value?
False
Let j be (-1)/(5/25*-1). Suppose 3*n - 21 = a, 0 = n - 4*a + 2*a - 12. Let f be (-40)/n*51/(-34). Which is bigger: j or f?
f
Let v = -138629/12 + 11541. Are v and -11 nonequal?
True
Suppose 0 = -4*s - 4 + 24. Suppose -3*j + s = -4*w - 36, -2*j = -5*w - 25. Suppose 15*f - 15*f = 73*f - 1095. Is j < f?
False
Let t = 6 + -14. Suppose -2*k - 22 = q, 62*q = -3*k + 57*q - 54. Is t greater than or equal to k?
True
Let d(o) = o**3 + 4*o**2 - 6*o. Let r be d(-5). Let i(v) = 2*v - 29. Let g be i(r). Let k = g - -14. Are -4 and k nonequal?
True
Let s = -3240 + 3239. Which is bigger: s or 2767?
2767
Let u be 13372/85904 + (-10)/65. Which is bigger: 0 or u?
u
Let l(h) = -h**3 + 21*h**2 - 20*h + 8. Let u be l(20). Let n(p) = p**3 + 3*p**2 - p + 3*p**2 + 4 - 2*p**2. Let k be n(-4). Is u != k?
False
Let l be (10/(-14) - -1) + (-3399536)/11711. Does -290 = l?
True
Let a = -4 + 7.56. Let w = -3.46 + a. Is w bigger than -0.39?
True
Let x be 4 + -1 + (-8898)/2925. Let m = 2/8419 - 25907/2736175. Let g = m + x. Which is smaller: g or 0?
g
Let s be ((-11)/(-55))/((-8)/10)*-4123. Let i = -1044 + s. Let o be (-2)/(112/52 - (-2 + 4)). Is o bigger than i?
True
Let z = -218 + 118. Let q = z - -165. Is -2 bigger than q?
False
Suppose 0 = 6*b - 18106 + 18064. Is -209 greater than or equal to b?
False
Suppose 13*l - 5*b = 8*l - 905, 5*l = -2*b - 863. Which is bigger: -180 or l?
l
Let v = 253 - 249. Suppose -13*h + 16*h - 270 = v*z, -2*h + 5*z + 180 = 0. Is h greater than or equal to 90?
True
Let i = -3533 - -3577. Is i != 34?
True
Let x(r) = -2*r + 15. Let b be x(7). Let f be (17/8 - b) + -2. Is f at most 0?
True
Suppose -3*d - 44 + 98 = 0. Suppose -2*u + 25 = -3*w + 6*w, 2*w + u = d. Are 6 and w nonequal?
True
Let q = -1998 + 2016. Is q greater than 19?
False
Suppose -m = -4*c - 0*m + 21, -3*m = 3*c - 27. Let y be 0 + -1 - c/((-4)/(-2)). Let u = y - 18. Is -23 smaller than u?
True
Let b be 7/((-112)/288*-6). Is 162 equal to b?
False
Let s = 4.7 - 4. Let k be -9 + -2 - (-4121)/377. Which is smaller: k or s?
k
Let a be 8 - (6 + -1945)/1. Which is smaller: a or 1946?
1946
Suppose 242 = -13*n + 60. Let i(v) = 2*v**2 + 34*v + 14. Let s be i(n). Which is smaller: -69 or s?
s
Let r = 44087.35 - 44088. Let g be (2/2)/((-6)/(-4)). Is r > g?
False
Let i(z) = 3*z - 20. Suppose 4*g - 39 = 4*t + t, 33 = 5*g - t. Let b be i(g). Let a be b/(-30)*-1*6/2. Is 1 greater than a?
True
Let c = -919/2 - 1009/6. Which is smaller: c or -629?
-629
Suppose 2*h - 1186 = -2*k - 38, 3*h - 1758 = 3*k. Which is smaller: h or 578?
578
Let i be 26/(-65)*2301/2. Let x = -458 - i. Are 3 and x unequal?
True
Let p(j) = j**3 - 10*j**2 - 20*j - 125. Let b be p(16). Is b <= 1094?
True
Let q(i) = -i**2 + 18*i + 24. Let p be q(19). Suppose -2*a - 222 = -3*n, 5*n - n = -p*a + 273. Let k be ((-4)/5)/(n/300). Is k < -1/3?
True
Suppose 38*z + 6 = 41*z + 3*p, -3*p - 9 = 0. Is 8 greater than z?
True
Let s = -145408739/27 - -5386790. Let n = s - 1281. Which is smaller: 0 or n?
0
Let a(h) = -18*h**2 + 4*h**3 + 22*h - 4*h + 7 + 21 - 3*h**3. Let s be a(17). Are s and 44 equal?
False
Let x(l) = 2*l**3 - l**2 - 4*l + 3. Let p be x(1). Let g be (-2)/3 + p/1. Are 70 and g equal?
False
Let v = 445.2001 - 0.3001. Let o = v + -460. Which is bigger: o or 0?
0
Let r be 9/4*44/(-3). Is -64 >= r?
False
Let d = 11690 - 11845. Let b(c) = -7*c**2 + 4*c. Let z be b(5). Are d and z non-equal?
False
Let i be 107178/112*(-10)/1860 - -3. Let b = 1/496 + i. Let t = 39/28 + b. Which is greater: -1 or t?
t
Suppose 6*u = 3*u + 6. Suppose 0 = u*n - 912 - 74. Let c = -27113/55 + n. Which is smaller: c or -1?
-1
Let q be ((-4)/(-6))/((-144)/128952) - -3. Are -593 and q equal?
False
Let x(n) be the second derivative of -n**4/12 - 7*n**3/3 - 5*n**2 + 21*n. Let s be x(-13). Is s less than or equal to -4?
False
Let h be 44 + 7 + 2 + (-2 - 1). Suppose 4 = -u + 5*k, -k + 3*k = -4*u + h. Which is smaller: -10 or u?
-10
Suppose -35493 = 111*i - 108*i. Let g = -59408/5 - i. Which is smaller: -50 or g?
g
Let a(o) = -o**2 - 6*o - 8. Let s be a(9). Is -1280/9 not equal to s?
True
Let r = 17/32 - 9287/17504. Which is smaller: r or -1?
-1
Let c = 186 + 550. Suppose -5*n - c + 1196 = 0. Which is bigger: n or -0.2?
n
Let t(u) = u - 4*u + u + 3*u. Let b be 2/12 - 0 - 221/102. Let p be t(b). Which is smaller: p or -0.02?
p
Let b = -0.00333 - 43.99667. Which is greater: 2 or b?
2
Let h = 4.96 + -4.86. Let w = -0.167 - -0.087. Which is smaller: w or h?
w
Let t be 78597/(-205) - (-6)/(-10). Let s = t + 379. Which is bigger: 15 or s?
15
Let r be (-15)/(-2 + 5)*6/(-15). Let c be (66/165)/(((-2)/5)/r). Let w be -1 + -1 + (-6)/10. Is c < w?
False
Let s = -4.24 + 4.138. Let b = -0.183 - s. Is b < 3?
True
Let q = -16 - -20. Suppose -3*s + 21 + 39 = -3*w, w - 80 = -q*s. Let g = 11 - s. Which is smaller: g or -7?
g
Suppose 0 = 5*j - 2*h - 0 + 14, -5*j - 4*h = 2. Let d be -4*j/792*(-233)/1. Let s = 31/9 + d. Is 2 bigger than s?
True
Let a be (-40)/(-16)*((-96)/(-51825))/8. Does -1 = a?
False
Let i be 3/((-27)/48)*(-5 + 2027 + -3). Which is smaller: -10769 or i?
-10769
Let g = 3 - 4. Let w(x) = 2*x**2 - 6. Let t be w(-2). Let i be t + (-610)/336 + (-12)/72. Are g and i equal?
False
Let n = 228 + 85. Suppose 9*t = 1082 + n. Which is greater: 156 or t?
156
Suppose -34 = 42*t + 3 + 5. Which is smaller: -29/66 or t?
t
Let x = 140 - 164. Let m = 26 - x. Is 52 smaller than m?
False
Let y be 1264/96 + -13 + 62/(-156). Which is smaller: 99/2 or y?
y
Let d(i) = -i**2 - 10*i - 20. Let c be 3/(-4 - (-33)/9). Let y be d(c). Let f = y - -9. Is -20 at least f?
False
Suppose -1001*d - 55 = -998*d - 4*n, -4*n = 3*d - 49. Let j = 37013/39 + -949. Which is smaller: j or d?
d
Let u be (2/(-195)*1)/((-1007)/(-712728)). Let s = 74/265 - u. Which is greater: 7 or s?
s
Suppose 7 - 42 = 7*h. Let p = -1570 + 4651/2. Let u = p - 10637/14. Which is smaller: u or h?
h
Let s(h) = -2*h - 6. Let k be s(-5). Let d(l) = l**3 + 6*l**2 + 5*l - 4. Let z be d(-2). Suppose -3*u + 10 = -5*t, 9 = 4*t + z*u - 5. Which is smaller: k or t?
t
Let q = 0.36 - 0.5. Let i(m) = -2*m**2 - 63*m - 29. Suppose -8*d + 4*d - 2*w = 116, -4*d - 3*w - 112 = 0. Let k be i(d)