Suppose 18 = 3*x + x + 5*o, x = -y*o + 8. Solve -w - x = -1 for w.
-1
Let w(a) = -2*a + 12. Let j be w(8). Let x be (10/j)/((-8)/48). Let d be 12/(-10)*(-250)/x. Solve -3*c = c - d for c.
5
Let u be (-384)/27 + 14 + 184/18. Solve -u = 5*v - 7*v for v.
5
Suppose 2*v = 6*v - 12. Suppose -4*o + 0*o + 137 = -3*d, 4*o = 2*d + 134. Let b = o - 32. Solve -2*k + v*k - 4 = b for k.
4
Let v be (-6298)/(-329) + 2/(-14). Solve -25*k - 18 = -v*k for k.
-3
Let q(t) = -3*t + 1. Let y be q(-1). Suppose 4 = 2*x - 5*j, y*x + 3*j - 8 = 2*j. Suppose -2 - 2 = -x*d. Solve -4*h + d*h + 8 = 0 for h.
4
Suppose -40 = -3*v + 8*v. Let s = -19 - -31. Let t = s - v. Solve i = 6*i + t for i.
-4
Let t be (0/(8/4))/(-2). Let a = t - -2. Suppose f = a*j - 9, 2*j + 2*f - 30 = -2*j. Solve -4*w + j + 6 = 0 for w.
3
Let g(i) = -i**2 + 15. Let n be g(-4). Let l be (-1 + 4)/(9/(-6)*n). Solve -l*h + 4 = -4*h for h.
-2
Let g be (-440)/36 - 1 - (-2)/9. Let y(m) = -m**2 - 13*m. Let q be y(g). Solve s + 4*s + 15 = q for s.
-3
Let p(t) = -t**2 - 2*t - 8. Let d be p(0). Let n be (-145)/(-20) + (-6)/d. Solve 4*k = n - 24 for k.
-4
Suppose 3*v - u - 21 = 0, -v - 2*v + 5*u + 9 = 0. Suppose 0 = 4*x + 20 - v. Let t be 0*(3/1)/x. Solve t = -2*o - 2 + 8 for o.
3
Let k be 14/70 - (-2)/(-10). Solve k = 2*y - 12 + 8 for y.
2
Let q = -28 + 31. Suppose 4 = 2*i - i, 10 = q*f - 5*i. Suppose k + o - f = -5, 4*k + o = 23. Solve k*v + 25 = v for v.
-5
Suppose 2*b + 187 = 9*m - 6*m, -129 = -2*m - 3*b. Solve m = 20*g - 17 for g.
4
Suppose -4*k = k + 3*f + 21, -5*k + 2*f = 11. Suppose 2*g - 3 - 7 = 4*r, -5*g = -5*r - 25. Let m = k + g. Solve -m*i + 8 = -0*i for i.
4
Let s(y) = -4*y**2 + 3*y - 6. Let p be s(3). Let g be (-2)/(-6) + (-220)/p. Solve g*q - 2*q = -5 for q.
-1
Suppose 0 = 3*p + 8*p - 220. Solve -4*z = -8*z + p for z.
5
Suppose 3*t - 2 = 3*n + 7, -5*t + 15 = -4*n. Solve -t*j = 7*j - 10 for j.
1
Let k(c) = -2*c**2 - 2*c + 1. Let b be k(1). Let x be 1432/56 + b/(-7). Solve 5*y + 6 = x for y.
4
Let r(d) = d - 21. Let q be r(11). Let a be 10/4 + 5/q. Let h be (-8)/((3 + -7)/a). Solve i + h = -i for i.
-2
Suppose 5*j - 37 - 26 = -2*n, -3*n = -3*j + 21. Solve j = -q + 11 for q.
0
Let f be 1/(-1)*(-1 - 1). Let v be (f + -4)*(-1 - 0). Suppose -20 = -k - v*g - 6, -4*k - 9 = -5*g. Solve l = k*l - 9 for l.
3
Let s(b) = b**2 + 7*b - 5 + 4*b - 1. Let r be s(-12). Solve 3*f = 6*f - r for f.
2
Suppose -2*d - 2 = -2*y, -3*y - d + 3 = 4*d. Let v be y/(6/(-20))*3/(-2). Solve 4*x = v*x - 3 for x.
3
Let x = -129 + 135. Solve -y + x = 11 for y.
-5
Suppose -7*z - 214 = -319. Solve z*w - 4 = 14*w for w.
4
Suppose 0 = -4*b - 12, 3*r = r - 5*b - 15. Solve r*m = -3*m + m for m.
0
Let r(a) = 0*a + a + 4 + 5*a - 5*a. Let l be r(-3). Let v = 48 - 48. Solve v*d = d + l for d.
-1
Let z be 153/(-34)*(-4)/9. Let w(d) = 2*d**2 + 4*d + 2. Let x be w(-3). Let l = -3 + x. Solve l*c - z*c - 15 = 0 for c.
5
Let j be ((-396)/(-858))/(3/52). Solve 0 = -9*m + j*m - 4 for m.
-4
Let i be 11 + (-16)/(-6)*(-129)/86. Solve -i = -20*v + 13*v for v.
1
Let g = -134 + 146. Solve -8*w - g = -11*w for w.
4
Let d be (-49)/(-14) + 1/2. Let x(p) = p**2 - p**3 - 5*p**2 + 2*p**3. Let h be x(d). Solve h*r - r - 5 = 0 for r.
-5
Let c(z) = -z + 1. Let q be c(0). Suppose -7*l + 14 = -0. Solve 0 = -g + l + q for g.
3
Let i be (6/4)/(15/(-160)). Let h be i/(-40) - 34/10. Let q = h + 5. Solve -2 - 4 = -q*o for o.
3
Let o = -93 + 111. Let y be (-12)/8*(-4)/o*6. Solve 0 = -w + 2 + y for w.
4
Let j = -1490 + 1534. Solve h + j = 12*h for h.
4
Let n = -730 + 734. Solve n*g - 9*g + 5 = 0 for g.
1
Let a(b) be the first derivative of b**4/4 - 8*b**3 - 27*b**2/2 + 54*b + 4. Let v be a(25). Solve 6*g = 4*g - v for g.
-2
Let d(w) = -8*w - 44. Let z be d(-6). Suppose -z*a = -0*a. Solve a = 2*m - 3 + 1 for m.
1
Let j(v) = v**3 - 7*v**2 + v - 3. Let h be j(7). Let u = -713 - -715. Solve -h = u*w - 4*w for w.
2
Let h(q) = q**3 + 3*q**2 - 2*q - 1. Let a be h(-3). Let k = -21 - -21. Suppose 4*t - 3*m - 25 = k, 2*t + 3*m = 5 + 12. Solve -a*n - t = 8 for n.
-3
Let i(f) = -f**2 + 4*f + 3. Let k be i(4). Suppose t - k*t = 0. Suppose v + 3*v - 3*z - 48 = t, 2*z = -5*v + 37. Solve s + v = 4*s for s.
3
Let c be -30*(-4)/8 + -1 + 2. Solve 20 - c = n for n.
4
Suppose -2*y - 3*f - 9 = -0*f, 9 = -3*y - 3*f. Solve y = -4*v - v for v.
0
Suppose -2*n = -3*s + 32, -5*s = -2*n - 3*n - 45. Let v(y) = -y**2 + 13*y + 14. Let g be v(s). Suppose g = 5*q - 0 - 15. Solve -12 - 3 = -q*a for a.
5
Let g(i) = 3*i**2 - 7*i - 3. Let q be g(3). Solve 2 = -q*x + 5*x for x.
1
Let x = 361 + -324. Solve -40*k = -x*k for k.
0
Suppose -x - 1 - 4 = 0. Let p be 50 + -20 - (x - 0). Solve -10 = -5*d - p for d.
-5
Let c be 5 + (-21)/(-14)*12/9. Solve -c*f + 26 + 9 = 0 for f.
5
Let x be 2/3 - 816/36. Let m = x + 29. Solve m = -b + 2 for b.
-5
Suppose -3*g = -4*c + 52, -g + 4*g = 3*c - 36. Let j be (2/4)/((-4)/c). Let d be j/(-5) + (-23)/(-5). Solve 0 = d*f - 2 - 8 for f.
2
Let i be ((-27)/18)/(4/((-104)/3)). Solve -c + i = 10 for c.
3
Suppose -i + 8 = l, -5*l - 1 = 3*i - 33. Solve 0 = -3*b - i - 2 for b.
-2
Let f(i) = i**2 - 10*i + 19. Let p be f(9). Solve -3*a + 5*a - p = 0 for a.
5
Let y(j) = j**2 + 2*j - 42. Let k be y(6). Solve -3*p = k*p - 36 for p.
4
Suppose -4*s + 268 = -3*w, -2*w - 20 - 52 = -s. Solve -13*x + s = -1 for x.
5
Suppose 3*i = -4*p + 30, 8*i + 24 = 5*p + 5*i. Let m be ((-4)/2)/(-2) + 1. Solve -b = m*b - p for b.
2
Let g be -4*4/(-16)*2. Suppose 90 = g*d + d. Suppose -2*a = 5*f - 50, -f - 2*f + 3*a = -d. Solve 4*m - f = -m for m.
2
Suppose 16 = 4*o + 4. Let f(y) = y**3 + 6*y**2 - y + 13. Let x be f(-7). Let z = -27 - x. Solve g - o + z = 0 for g.
1
Let j(g) be the first derivative of -g**4/2 - g**3 + g + 2. Let u be j(-3). Let n = u + -22. Solve -y = -n*y for y.
0
Let i be 7 + -1 + 22 + -3. Let c = -7 + 12. Solve -c*h + i = -0*h for h.
5
Suppose 3*m + 3*f = 87, -3*m + 104 - 27 = f. Solve -3*p = 39 - m for p.
-5
Let c be 12*18/216*4/2. Solve -c*d = 3*d for d.
0
Suppose 3*y - 37 = 347. Let c be (-11)/(-7) + (y/(-28) - -5). Solve 0 = -j + c*j + 3 for j.
-3
Let l(a) = a**2 - 6*a + 5. Let x be l(6). Let q be (0 - (-18)/3)*2/(-4). Let i = q + x. Solve -o = i*o + 15 for o.
-5
Suppose -3*v = 2*s - 9, -2*s - 4*v + 35 = 27. Solve -s*n + 2 = -5*n for n.
2
Let f(d) = -d**3 + 62*d**2 + 57*d + 385. Let n be f(63). Solve 3 = -n*r + 10 for r.
1
Suppose -2*q - 36 = -4*s, -3*s + 26 + 1 = -5*q. Let h be -1 + -2 - (1 - s). Suppose 9*l = 5*l + 16. Solve 0 = d - h*d - l for d.
-1
Let z = -945 + 949. Solve z*s = -12 + 8 for s.
-1
Suppose 4*a + 4*r = 52, -2*a - 2*a + 3*r + 66 = 0. Solve -3*g = -0 + a for g.
-5
Let x be 3 + -1 + (-2 - -5). Suppose x = -5*d + 15. Suppose 2*p - p - d = 0. Solve -b - p = -3 for b.
1
Let w = 735 + -731. Solve -2 + 14 = w*i for i.
3
Suppose 5*j - 2*s + 33 = 0, j = 2*j - 5*s + 25. Let o(u) = u**2 + 4*u - 1. Let c be o(j). Solve -c - 6 = -2*k for k.
5
Let d be (1128/(-846))/(1*4/(-54)). Solve -11*k + d = 62 for k.
-4
Let b = 49 - 41. Solve -b*w + 12 = 4 for w.
1
Let w(p) = p + 1. Let b be w(9). Suppose -9*q = -4 - 14. Let v be (-15)/30*0/q. Solve -3*z - b + 1 = v for z.
-3
Suppose 3*v = -4*p + 17, 0 = 4*p - 0 - 8. Solve v*o - 6*o = 6 for o.
-2
Suppose 0 = -5*a - z + 13 + 2, -5*z - 5 = 5*a. Suppose -4*w + 12 = -a*o, w = -o - o + 6. Solve 0 = 7*k - w*k - 6 for k.
2
Suppose -j = -5*b - 149, -2*j + 125 + 145 = 4*b. Let d = -133 + j. Solve -12 = -3*c + d*c for c.
-4
Let t be (-1 - 4/(-16))*-16. Let z = t - 9. Solve -z*k + 1 = -4*k for k.
-1
Let i = -24 - -3. Let v = i + 26. Solve 0 = -2*j + v*j for j.
0
Let i be 10*-1*4/(-8). Suppose -30 = i*t + 50. Let u be 3*(t/(-6) - 2). Solve u*x + 0*x = -2 for x.
-1
Let v be 55/(-55)*(-24)/2. Solve -v = 2*z - 4 for z.
-4
Let m be 43 + -1 - 1/((-3)/12). Suppose 0 = -2*b + m - 42. Suppose -2*u = -u. Solve u = t + b*t + 15 for t.
-5
Let g be 21/(-15) - (-470)/50. Solve g*k + 58 = 18 for k.
-5
Let i be (-18)/(-4) + (-15)/10. Solve 3*x = -3 - i for x.
-2
Let q = -18 - -24. Suppose 3*n = 21 - q. Solve -5*s + n = -15 for s.
4
Let f = -495 + 498. Solve 0 = f*i + 2 + 1 for i.
-1
Let k(i) = -i**3 - 8*i**2 - 6*i + 10. Let v be k(-7). Suppose -2*j - j = -5*h - 4, v*h - 2*j = -2. Let o be (h/4)/((-1)/12). Solve -3 = 3*w - o for w.
1
Let h = -120 - -145. Solve h = -9*d + 14*d