(-15). Which is greater: f or -2/17?
-2/17
Let w(z) = z + 7. Let r be w(-6). Let n be (1 + 1)*r + 1. Let x be -3 + 9 + n/(-3). Which is bigger: 3 or x?
x
Let h be 2 + -4 + -72 + 0 + -3. Is -77 < h?
False
Suppose 5*u - 15 = 0, 15 = n + 7*u - 2*u. Which is greater: -12/19 or n?
n
Let c = -25 + 28. Let k = -0.2 - 0.5. Let u = k + 0.8. Which is smaller: c or u?
u
Let t be 4/(-6) - 7904/(-48). Are 164 and t unequal?
False
Let p = 0.013 + -25.013. Let a(n) = -n**3 - 10*n**2 + 12*n + 12. Let m be a(-11). Which is greater: m or p?
m
Let z = 25 + -351/14. Are 1 and z nonequal?
True
Let f be (-20)/(-50) + 377/(-5). Which is smaller: f or 0?
f
Let w = -15.52 + 15.8. Which is bigger: w or 4?
4
Suppose -3*s - 13 = 17. Let u = -64 + 45. Let t = -19 - u. Do t and s have the same value?
False
Let r be (-14040)/(-2322) + 0 + (-7 - -1*1). Suppose -23 = -4*l - 5*t + 1, -4*t = 0. Which is bigger: l or r?
l
Let v = 2022/6985 + 2/1397. Let u be 4/(-3)*(-35)/1100*6. Let k = u + v. Which is bigger: k or 2?
2
Let z = -35.1 + -7.9. Let k = z - -45. Are 5/8 and k non-equal?
True
Let r = 208 + -354. Let g be r/24 + (-2)/8. Let p = -493/75 - g. Which is smaller: -1 or p?
-1
Let b = 1590 + -195569/123. Which is greater: b or -1?
b
Suppose 0 = i - r + 9, -3*i - 29 = 3*r - 8. Is i bigger than -25/3?
True
Suppose -3*s + 30 = -s. Let m be s/2*(-5)/30*-4. Are m and 6 equal?
False
Suppose -o - 2*o = f + 2, 5*o = 2*f - 18. Suppose -5*t = -f*t + 16. Is -15 at most t?
False
Suppose -3*u - 31 = 5*i, -6 + 9 = u - i. Is -332 less than u?
True
Let q be (1/(-14))/(99/308*21). Is 2/7 less than q?
False
Suppose -18 - 66 = 2*r. Let c = -668 + 626. Are c and r non-equal?
False
Suppose 10 = 2*m + 2*z - 5*z, 0 = -3*m - 3*z. Let c = m - 35/18. Is c smaller than 2?
True
Let r = 1.049 + 1.951. Let k = 8808/13 + -678. Which is smaller: r or k?
k
Let j = 660 + -1161. Is j at least -501?
True
Let h be 174930/425 - 3/5. Is 2 greater than or equal to h?
False
Let q(s) = s**2 + 10*s - 12. Let i be q(-10). Let l = i - -17. Let f be 36/80 + (-1)/l. Are 0 and f unequal?
True
Let i be 35/((-55)/231 - (-2)/7). Let z be 204/i - (-12)/(-42). Which is bigger: z or 0?
0
Suppose -145*w = -136*w + 657. Which is smaller: w or -69?
w
Let c = -288 - -292. Suppose 2*u = -0*u + 36. Suppose -z = -4*k - k + 5, k = c*z - u. Which is smaller: z or 4?
4
Let a(z) = z**3 + 5*z**2 - 6*z - 1. Let v be a(-6). Let x be 0 + (-3)/3 - v. Which is bigger: x or 9?
9
Let u(b) be the second derivative of b**4/12 - b**3/6 + 2*b**2 + 29*b. Let r be u(5). Which is smaller: 21 or r?
21
Suppose -r = -5, 0 = -0*m - m + r - 5. Let d = -246/115 + 17/23. Do m and d have different values?
True
Let c = -116 + 113. Is c at most -0.029?
True
Let z = -346/17 + 1055/51. Which is smaller: z or 0.0029?
0.0029
Let z = 0.08 + -0.38. Let o be (-1)/(276/278 - (4 + -3)). Let u = o + -559/4. Which is smaller: z or u?
u
Let v(l) = -l**2 + 29*l + 302. Let d be v(37). Which is smaller: d or -18?
-18
Let h(x) = -2*x + 6. Let a be h(2). Suppose u - s - 2 = a, 5*u - 3*s - 20 = 0. Suppose 13 = f + 4*q - 6, -u*q + 33 = 3*f. Is f bigger than 1?
True
Let a be (-403)/81 + (-5 - -13 - 3). Is a <= 0?
False
Let l be (-354)/(-2596)*(-1)/(3*2). Suppose 4*m = 3 + 1. Which is smaller: m or l?
l
Let u be -5 + 4 + 2 - (-16)/(-48). Let w = -1 + 2.2. Is w at most as big as u?
False
Let i = 0.094 + 0.916. Let q = 39.01 - 39. Let n = i - q. Is 0.2 bigger than n?
False
Let f be (-3 + 7)/(3/6). Let m be f/(-14) - (-62)/(-14). Is -6 greater than m?
False
Let d = -10.61 + 15.34. Do -2/7 and d have the same value?
False
Suppose 2*m - 7 = -3*g, -4*m - 5*g + 4*g = -9. Suppose 2*t = -m*t - 8, -4*a + 2*t = 0. Let c be 900/2125 + 4/(-10). Which is smaller: a or c?
a
Suppose 0 = -b - i - 6 + 8, 5*i = 10. Let l be -1 - ((-50)/27)/2. Which is smaller: l or b?
l
Let n = -76.01 - -77.61. Let s = 0.1 + -0.1. Is s at least as big as n?
False
Let q(g) = -g**2 - 5*g - 2. Let h be q(-5). Let d be (3 + -4)/(3 + -4). Let p be d + (-18)/4 + 3. Which is bigger: h or p?
p
Let d(i) be the second derivative of -i**5/20 + 11*i**4/12 - 4*i**3/3 - 10*i**2 + 14*i. Let z be d(10). Are 25 and z non-equal?
True
Let n = 961 + -3891/4. Which is smaller: -13 or n?
-13
Let i(z) be the third derivative of z**4/8 - z**3/2 - 2*z**2. Let t be i(4). Is 9 greater than t?
False
Let t(v) = 4*v - 23. Let z be t(7). Suppose -2*u - z = 3*u. Is 1/37 less than u?
False
Let v be 20 - 0/(-4*(-4)/(-8)). Let h be 4 - (v/(-6))/(-1). Are -0.027 and h unequal?
True
Let j = 76 - 80. Let z be j + 0 + (6 - 11). Is z greater than or equal to -8?
False
Suppose -u + 256 = 7*u. Let l(z) = z + 3. Let i be l(-2). Let v be i/(-3) + u/(-12). Which is smaller: 1/2 or v?
v
Let t = 14.4 - -60.6. Let r = t + -76. Do -47 and r have different values?
True
Let z be (-2)/4 - (-7)/6. Let s(p) = -5*p - 92. Let n be s(-22). Suppose n = 11*g - 4. Which is smaller: z or g?
z
Let y(p) = -4*p - 110. Let v be y(-18). Is v < -28?
True
Suppose -w = -3*w + 12. Let l(j) = -j - 5. Let c be l(-7). Suppose 5 = c*g - 1. Is g less than w?
True
Suppose 5*z = -4*g - 10 + 36, -z = 4*g - 18. Suppose 5*r + 35 = 10, 0 = g*f + r - 15. Let j(m) = -m**2 + 26*m + 31. Let l be j(27). Which is greater: l or f?
f
Suppose 8 = -5*v + 3*a, -81*v + 2*a = -85*v - 2. Which is smaller: v or -8/35?
v
Suppose 0 = -2*s - 28 - 80. Let l be (-7)/4*s/84. Suppose -33*h = -29*h - 8. Are l and h equal?
False
Let n = 239 - 239. Let q = -131/4130832 + 1/1968. Let r = q - 25199/23089. Which is smaller: r or n?
r
Let p(u) = -43 + u**2 - 2*u**2 + 0*u - 18*u + 36. Let b be p(-19). Is -26 bigger than b?
False
Suppose 2*d = 3*n - 16, -d + 4 - 15 = -2*n. Suppose -3*c - n = -3*p + 9, -c - 7 = -2*p. Let b be (99/(-18))/(p/4). Is b bigger than -11?
False
Let d be 9/((-45)/14)*10. Let x be (-2)/9 - d/(-441). Which is smaller: -8 or x?
-8
Suppose 2*j - j = 5*p - 41, j = p - 9. Suppose 11*a - p*a = -27. Let v be 82/(-60) + a/(-6). Is v less than -1?
False
Let f = 15811/11 - 1436. Let x be 1 - (2 - 2)/(-2). Is f less than x?
False
Let l be (3/(3/(-3)))/(-1). Suppose l*g + q - 19 = -91, 3*g - 2*q + 72 = 0. Let u be (-2)/8 + (-246)/g. Are 9 and u unequal?
True
Suppose 3*d - 5*v - 25 = 0, -5*d - v - 5 = -10*d. Suppose d = -g - 0*g + 17. Is g >= 17?
True
Let n = -465 + 465. Is -29/38 less than n?
True
Let j = -12542/21 - -598. Which is greater: -2/13 or j?
j
Let w(a) = 2*a - 26. Let u be w(13). Let h(q) = 3*q**2 + 5*q. Let o be h(-6). Suppose o = -6*x - u*x. Is -13 greater than or equal to x?
True
Let m = 30 + -15. Suppose m = -l - 2*l. Let s = 4 - l. Which is smaller: s or 8?
8
Let b = -18781/262 + 24/131. Let d = b + 71. Which is smaller: d or -19?
-19
Suppose -3*x + 2*f = 9 + 10, -4*x - 44 = 2*f. Let g = 29 - 47. Let v(z) = -z**2 - 17*z + 8. Let o be v(g). Is x greater than or equal to o?
True
Suppose 11*r + 51 = -3*o + 9*r, 60 = -3*o - 5*r. Is -8 > o?
True
Let h(p) = -5*p**3 - 12*p**2 + p + 8. Let r(b) = 11*b**3 + 24*b**2 - 2*b - 15. Let m(y) = 9*h(y) + 4*r(y). Let w be m(-12). Which is smaller: w or 10?
w
Suppose 0 = -6*k + 5*k + 1. Let f = -19 + 25. Let t = f - 4. Is t <= k?
False
Let q = -1.1 + -7.9. Let u = q + 22. Let k = -13 + u. Which is smaller: k or 4/7?
k
Let b be -6 + (-399)/(-7)*(5 - 2). Is 159 at least b?
False
Let d = 11581/114 + -595/6. Which is smaller: 1 or d?
1
Let y = -27 + 31. Let v be (-1)/(-6 - y/(-1)). Which is bigger: v or 1?
1
Let j = -2197 + 1637. Is j <= -559?
True
Suppose 0 = -3*a + 4*a + k + 4, -3*a + 5*k - 52 = 0. Let s be (a/6)/((-3)/28). Let g = 19 - 6. Is g at least s?
False
Let h be (176/(-24))/((-2)/(-3)). Let i = 20 + h. Let c be (0 - 2) + i/12. Which is greater: -2 or c?
c
Suppose -6*l + 55 = -l. Let u(i) = -i**3 - 28*i**2 - 26*i + 36. Let s be u(-27). Is l greater than or equal to s?
True
Let m = -0.2 - -0.21. Let i = 4.62 + -3.61. Let x = i - m. Which is smaller: -3 or x?
-3
Let d = 298.91 + -297. Do d and -0.1 have different values?
True
Let j(l) = 3*l**3 + 2*l**2 + 2*l + 1. Let r be j(-1). Suppose -5*m = 2*z + 17, -z + 3*m + m + 11 = 0. Which is bigger: r or z?
z
Let q = -439 + 453. Which is bigger: -6 or q?
q
Let m be 0*((-20)/(-25) + (-1)/(-5)). Let i be (-60)/684*((0 - 0) + 1). Which is greater: i or m?
m
Let x(u) = -11*u - 122. Let y be x(-11). Which is smaller: y or 