 0 for f.
1
Let a = -165 + 170. Solve 5 = -a*w + 30 for w.
5
Let u(j) = j**2 - 5*j - 6. Let t be u(6). Suppose -17 = -4*l + c - 3, 0 = -2*l + 2*c + 10. Suppose t*f - l = -f. Solve -p + f*p = 0 for p.
0
Let z = 14 - 5. Suppose -b = -z*b + 40. Solve p = -b + 1 for p.
-4
Let h(b) = 6*b**3 + 2*b**2 - 2*b. Let q be h(1). Solve -19*a = -22*a - q for a.
-2
Let p(h) be the second derivative of -7*h**3/6 - 9*h**2/2 - 2*h. Let l be p(-3). Solve 4*b = b - l for b.
-4
Suppose -16 = z + 2*g, -4*z = g - 2*g + 37. Let h be ((-17)/(-34))/((-1)/z). Solve h*c + 12 - 2 = 0 for c.
-2
Let s = 13 + -3. Suppose -s*o = -5*o. Solve 0*k - 5*k = o for k.
0
Suppose 0 = 14*g - 2*g + 132. Let d = g + 15. Solve -2*k + d*k - 8 = 0 for k.
4
Suppose 4*g + 6 = -6. Let f = g - -6. Suppose -3*y - f*d + 18 = 0, d + 3*d = -2*y + 10. Solve -3*l = 8 + y for l.
-5
Suppose 33*a + 5 = 34*a. Solve -b = -a*b for b.
0
Let a(p) = -p**3 - 5*p**2 + 6*p + 4. Let y be a(-6). Let g be (-10 + 0)/(2/(-4)). Suppose 2*u + 4 = -u - v, 4*u = 5*v + g. Solve 0 = -u*t - t - y for t.
-4
Suppose -2*a - 29 = 39. Let r be (-4)/a - (-2)/(-17). Let v be (1 - 1)/(2 + 0). Solve r = -3*l - v*l for l.
0
Let o = -410 + 412. Solve o*d - d = -d for d.
0
Suppose -5*z - 5*w - 10 = 0, -9*z - 4*w - 20 = -11*z. Solve -5*i = -z*i + 15 for i.
-5
Suppose 3*n - 8 = 5*s + 2, 5*n - 4*s - 21 = 0. Suppose n*o - 12 = -o. Solve -2*x + 8 = o*x for x.
2
Suppose 0*r + 5*r - 10 = 0. Let q(h) = 2*h - 7. Let g be q(6). Suppose 3*m = 3*o - 3, 6 = g*m - r*o + 2. Solve -m + 0 = z for z.
-2
Let d(l) = -11*l**2 + 27*l + 2. Let a be d(1). Solve -a*f + 8 + 28 = 0 for f.
2
Suppose 5*q = -4*c + 132, 2*q - 2*c - 36 = 2*c. Solve -5*p = -q + 4 for p.
4
Let p = 236 + -228. Solve -p = 2*o - 2 for o.
-3
Let r(q) = q**2 + 18*q + 47. Let p be r(-6). Let k(w) = -3*w - 2. Let m be k(2). Let d = m - p. Solve -4*g = -d - 3 for g.
5
Let v(x) be the first derivative of -6*x - 4 + x**2 + 12 - 9*x + 5*x. Let o be v(6). Solve 4 = o*k - 4 for k.
4
Let o = 3 - 17. Let v(k) = 11*k - 2. Let h be v(2). Let t = o + h. Solve -t*r - 12 = -2*r for r.
-3
Suppose 3*p + 2*k - 20 = 2*p, -4*p = k - 59. Solve 0 = 16*x - p*x - 4 for x.
2
Let m be ((-12)/(-10))/(9/30). Let f be 36/(-10)*(-10)/m. Let r = f - 8. Solve 4*o + 3 = -r for o.
-1
Let f(p) = 3*p**2 - 38*p - 33. Let o be f(14). Solve -12 = -20*r + o*r for r.
-4
Let i be 0 - -7 - (3 - -1). Suppose 3*v - 6 = i. Solve -v*m = 2*m - 15 for m.
3
Let a = -119 - -16. Let q = -103 - a. Solve -5 = -g - q for g.
5
Let n = 9 + 6. Solve 5*q + n = -0 for q.
-3
Let g be (11/((-99)/(-180)))/2. Solve -25 = g*x - 5 for x.
-2
Suppose -5*s + 2*x + 18 = -5, -5*s = -4*x - 31. Suppose -3*z = -14 - 19. Let u(t) = t**3 - 10*t**2 - 12*t + 11. Let i be u(z). Solve -s*l = -i*l for l.
0
Let u(v) = -2*v**2 - 2*v + 43. Let m be u(-5). Solve 7*n + 4 = m*n for n.
-1
Let l(t) = -t + 15. Let r be l(15). Suppose -17*v + 80 - 29 = r. Solve -4 = v*z + z for z.
-1
Let l(a) be the second derivative of -a**4/12 - 5*a**3/3 - 21*a**2/2 - 38*a. Let j be l(-5). Solve -j*y = -3 + 11 for y.
-2
Let s(m) = -2*m + 11. Let p be s(0). Let f = -9 + 14. Suppose 0 = -h + f. Solve 0 = -4*k + h + p for k.
4
Let m = 917 - 887. Solve -9*f = -3*f - m for f.
5
Let s(x) = 29*x**3 + x**2 - 2*x - 1. Let c be s(-1). Let r be (-3 - c/(-6))*(-12)/15. Solve -r*z + 2*z + 4 = 0 for z.
1
Suppose -5*r + 4 = -11. Suppose 48 = -3*x - r*w, 3*x - 2*w = -55 - 8. Let q = x - -45. Solve 5*f + q - 1 = 0 for f.
-5
Suppose -6*y - 5*j + 18 = -2*y, 2*j = -2*y + 8. Let h = 16 + -8. Suppose x = -3*x + h. Solve -w = -y*w + x for w.
2
Let y be (20/4 - 2) + 9. Solve l - 5*l = -y for l.
3
Let b be -3 - (0 + -3 - 1). Let j be (-5 + b + 2)*7. Let h = j + 17. Solve 3 = -h*l - 3 for l.
-2
Let u(o) = 5*o + 51. Let k be u(-9). Solve -20 = k*r - r for r.
-4
Let t be ((-5)/2 - (-12)/(-8))*-2. Solve -22*b = -18*b + t for b.
-2
Let d(i) = i**2 - 10*i - 15. Let c be d(13). Suppose 0 = -5*x + 124 - c. Solve -2*j + x = 2*j for j.
5
Let s(u) = -6*u - 102. Let l be s(-17). Solve l = 13*d - 3*d for d.
0
Let b = -1689 + 1694. Solve -9 - 6 = -b*w for w.
3
Let v(d) be the first derivative of -d**4/4 + 3*d**2/2 + 3*d - 4. Let l(t) = -t + 4. Let n be l(6). Let i be v(n). Solve -20 = i*a - a for a.
-5
Let x = 18 + -17. Let c be (-4)/(-30) + 927/135. Solve -3*l = -c + x for l.
2
Let a be 21/2*(-6)/9. Let k(r) = 3*r + 23. Let b be k(a). Solve 8 = b*p - 0*p for p.
4
Suppose 5*d + 20 = -0*d. Let m = d - -18. Suppose 5*a - m = -4. Solve 2 = -a*v + 10 for v.
4
Let q be (-3)/15 - -1*(-558)/(-15). Solve q - 9 = -7*g for g.
-4
Let o(n) = 18*n + 41. Let g be o(-7). Let i = g - -88. Solve -i*s - 9 = -0 for s.
-3
Let s(n) = 4*n - 23. Let t be s(13). Suppose -2*b + 23 = 3*w, 0 = 5*b + w + 4 - t. Solve z = -3*z - b for z.
-1
Let w = -26 + 29. Suppose -2*m - 5 = 5, s = w*m + 34. Solve -4*x - s = 1 for x.
-5
Let g(x) = -3*x + 15. Let c be g(-10). Suppose -16*y = -7*y - c. Solve 3*i - y*i - 4 = 0 for i.
-2
Let f = -86 - -101. Solve -5*v = -10*v + f for v.
3
Let b = 91 + -86. Solve 0 = 7*s - b*s + 6 for s.
-3
Let h = 2140 + -2131. Solve 0 = 4*k - k - h for k.
3
Let x be (-112)/(-12)*(-6)/(-4). Let j = x + -9. Let z be 43/j - (-15)/(-25). Solve i - z = -3*i for i.
2
Let f(m) = -2*m**2 + 21*m - 5. Let o be f(10). Let z be 30/o*1 - (-1 + 0). Solve 3*n - z = 2 for n.
3
Let b(v) = v - 10 + v + 2*v. Let r(d) = -2*d**3 - 4*d**2 - 3*d - 2. Let o be r(-2). Let p be b(o). Solve 0 = -4*q + 2*q + p for q.
3
Let o(d) = -d**3 + 7*d**2 - 2*d - 14. Let g be o(3). Solve g*p = 23*p - 7 for p.
1
Suppose 0 = 24*w - 93 - 27. Solve -90*a = -85*a + w for a.
-1
Suppose 13 = 4*l - 35. Solve 2*p + l = 16 for p.
2
Let o = -16 - -21. Suppose -o*p + 3*p = 3*g - 12, 0 = -2*g + 5*p - 11. Suppose -g + 10 = 4*k. Solve 1 - 11 = -k*i for i.
5
Let h be 46/10 - 33/55. Suppose 0 = -0*k + 2*k - 5*l - 22, 18 = h*k + 3*l. Solve j - k*j + 20 = 0 for j.
4
Let f(b) = -b + 3. Suppose -5*m + 5 + 5 = 0. Let q be f(m). Solve q = 3*o - 8 for o.
3
Let j be -1 + 0 - (-42 - -36). Solve -1 = -j*d + 24 for d.
5
Let v be -7*5/((-175)/15). Suppose 2*h = v*h - 3. Solve -h*s + 9 = -0*s for s.
3
Suppose -m + 22 = 4. Let y = -10 + m. Let h = -4 + y. Solve s = -0*s + h for s.
4
Let r be (54/21)/((-6)/28). Let d be ((-8)/10)/(r/(-30)). Let b be (-10)/d + -9 + 7. Solve 0 = z - b*z for z.
0
Suppose 5*j + 39 = 5*y + 9, 20 = -5*j. Solve -30 = -4*q - y*q for q.
5
Let f(n) = n**2 + n - 2. Let j be f(-3). Suppose j*a - 8 + 0 = 0. Suppose 5 = -c - 0*c + a*o, -4*o = c - 19. Solve -u - 20 = c*u for u.
-5
Let h be (-4)/(-40) + (-2277)/(-30). Solve 0 = -4*j + 23*j + h for j.
-4
Let t = -122 + 86. Let q = t - -37. Solve 4 + q = r for r.
5
Let c be 4 - 11 - (-11 - 0). Let h = -3 - 1. Let z = h + 6. Solve 6*f - z*f = c for f.
1
Suppose 3*v = -3*m + 6, m - 54*v + 53*v - 10 = 0. Solve -61 = m*a - 73 for a.
2
Suppose -7*h - 274 - 293 = 0. Let w = -156 - h. Let a be w/10*(-2)/3. Solve -14 = -a*u + 1 for u.
3
Suppose -64*f - 4 = -69*f + 2*l, 0 = 4*f + 4*l - 20. Solve -f*m - 50 = 8*m for m.
-5
Let q(u) = -u**3 - u + 80. Let c be q(0). Suppose -3*d - 15 = -2*h, c = 5*h - d + 10. Suppose -4*f = -1 - h. Solve -3*x - f = -10 for x.
2
Let q be (4/16 + 0)*0. Let f be (-1)/(-5) + (-234)/(-30). Suppose -f - 4 = -4*s. Solve -2*c + s*c = q for c.
0
Let o = 1784 + -1754. Solve 45 = 15*d - o for d.
5
Let b(k) = 2*k**2 - 4*k + 2. Let o be b(2). Suppose 5*w - 6 = o*w. Suppose 0 = 5*p + w*x - 50, -x + 17 = -p + 4*x. Solve 0*l - p = 4*l for l.
-2
Suppose -g - 3*l + 23 = 0, 4*g + 6*l - 4*l = 42. Solve g*i = 3*i - 5 for i.
-1
Let f = 12 + -10. Suppose 5*k - 46 - 5 = -4*o, f*o = 2*k + 12. Solve 0 = -3*q - 24 + o for q.
-5
Suppose -t = -1, -5*f - t + 201 = -f. Let h = -42 + f. Solve -2*x + h = -2 for x.
5
Suppose -2*j = 3*j - 15. Solve j*f = -9 - 3 for f.
-4
Suppose 0 = 188*a - 187*a - 3*o - 13, 2*a + 5*o - 26 = 0. Suppose h - 6 = -1. Solve h*n + 12 = -a for n.
-5
Let b be (0 + -2)*(-5)/2. Suppose -q - 20 = -b*q. Suppose -2*y - 8 = 4*o, 5*o + 0*o = -20. Solve -p + q = y for p.
1
Suppose 3*d - d + h - 113 = 0, -5*d - 3*h + 282 = 0. Suppose -d*y + 9 = -54*y. Solve -2*m - y*m = 0 for m.
0
Let d(w) = -w**3 - 4*w**2 + 10*w - 12. Suppose -17*y + 20*y = -18. Let j be d(y). Solve -2 + j = 2*f for f.
-1
Let x(s) = s**2 + 7*s + 16. Let p be x(-8). Let o = 