 Suppose w*j = 13 + 2. Solve 0 = 4*b - j*b - 3 for b.
3
Let l(n) = n**2 - 8*n + 8. Let m be 7/(-4)*(-5 + 1) + 0. Let v be l(m). Solve -v + 13 = -4*z for z.
-3
Let a(o) = o - 1. Let i be a(1). Suppose w - 1 = -4*c + 15, 9 = w - 3*c. Solve 4*u = -w - i for u.
-3
Let z be ((-13)/5)/((-16)/80). Suppose 4*f - 3*b = 2*b, 0 = 5*f - 3*b - z. Suppose u = f*u. Solve -i + 2*i - 3 = u for i.
3
Let p(d) = -d**2 - 15*d - 24. Let s be p(-11). Let w be 1/(-1)*s/(-5). Let q = -6 - -12. Solve -q*r = -w*r + 2 for r.
-1
Let n(b) = 8*b + 48. Let h be n(-6). Suppose 2*y = -3*k - k + 20, 4*y - 3*k - 73 = h. Solve -o - 3*o = y for o.
-4
Let b = 21 + -17. Let l(c) = 2*c**2 - 3*c - 9 - 2*c + 14. Let k be l(3). Solve -b*z + k = -0 for z.
2
Suppose 5*x + 5*u = 638 + 142, -u + 3 = 0. Solve -10*v = 143 - x for v.
1
Suppose -12*w - 5*w + 11*w = 0. Solve 5*r + w*r + 15 = 0 for r.
-3
Suppose 5*z = -5*n + 5, 3*z = 3*n + n + 10. Let g be (10 - 11)*(-1 - n). Suppose m - v + g = -2, 4*v - 26 = -2*m. Solve 2*s = -m*s - 25 for s.
-5
Let q(f) be the second derivative of f**3/2 - 29*f**2/2 + 29*f. Let t be q(11). Solve -5 = t*x - 1 for x.
-1
Suppose 0 = -i + 18 - 5. Let l be i/5 + 4/10. Solve 2*o - l = -1 for o.
1
Let k(h) = -h**3 - 13*h**2 - 4*h - 32. Let v be k(-13). Suppose -v*t = -23*t + 18. Solve t*i - 15 = i for i.
3
Let r(k) = -k**3 + 11*k**2 - 18*k + 8. Let u be r(9). Let j be u*2/8 + (1 - 0). Solve j*x - 4*x - 1 = 0 for x.
-1
Let h = -105 + 113. Let r(i) = 3*i**2 + 11*i + 23. Let u(o) = o**2 + 4*o + 8. Let n(g) = 4*r(g) - 11*u(g). Let k be n(0). Solve h*x = k*x for x.
0
Suppose 0 = 13*r + 64*r - 8239. Solve 17*q = -39 + r for q.
4
Suppose 0 = -57*m + 51*m. Solve m*g - 2 = 2*g for g.
-1
Let a(d) = -d**2 - 6*d + 5. Let j be a(-7). Let h = 4 + j. Let i = -6 - -8. Solve i = y - h*y for y.
-2
Let h = -117 + 119. Solve 4*i + h = 6*i for i.
1
Suppose -y + 36 = 8*y. Suppose y*x = x + 4*x. Solve -13*d + 15*d + 10 = x for d.
-5
Let j(r) = -3*r**2 + r + 1. Let v(c) = -4 + 10*c**2 + 13*c**2 - 15*c**2 + c - 3*c. Let z(f) = -11*j(f) - 4*v(f). Let y be z(3). Solve y*d - 16 = -6 for d.
2
Let n = 311 - 285. Solve -36 + n = -5*o for o.
2
Let v(x) = x**2 - x - 40. Let d be v(7). Solve d*b - 10 + 8 = 0 for b.
1
Let y(w) = -20*w - 157. Let x be y(-8). Solve x*d = -2 - 1 for d.
-1
Let j = 650 + -646. Solve j = -7*b + 11*b for b.
1
Let r be 10/(-45) + (-492)/(-27). Suppose 7*c + 2*c - r = 0. Solve 0 = -y - c*y - 6 for y.
-2
Let m be 144/(-9) + (0 - -2). Let w be (10/2)/(2 + m/12). Solve -g - 20 = -w*g for g.
4
Let k = 338 + -335. Solve 0 = -k*v - 13 - 2 for v.
-5
Let x(i) = i**2 - 11*i + 22. Let a be x(9). Solve 0 - a = k for k.
-4
Let h = 858 + -848. Solve 18*r - 8 = h for r.
1
Suppose 0 = -5*z + 4*x + 6 - 2, -3*x + 28 = 4*z. Solve -z*k - 11 = -7 for k.
-1
Suppose -66 - 124 = -10*o. Solve -5*u + 4 = o for u.
-3
Let n(s) be the second derivative of -4*s**3/3 + 8*s**2 - 20*s. Let q be n(2). Solve 0 = -h - q*h - 1 for h.
-1
Let j(y) = -4*y. Suppose 0 = -5*r - w - 3*w + 4, -3*r + 2 = 2*w. Let h be j(r). Solve h*f + 6 = 3*f for f.
2
Suppose -2*r = -2*h - 18, 5*h - 4*h + 19 = 3*r. Suppose 0 = -r*p - 14 + 39. Suppose -x = -p*x. Solve 2*m + m = x for m.
0
Suppose -2*a = -4*c - 102, 0 = -3*a + c + 90 + 38. Solve 0 = 18*o - a - 49 for o.
5
Let a(o) = o**3 - 6*o**2 + 6*o - 5. Let h be a(5). Let m(t) = -93*t - 649. Let n be m(-7). Solve 0 = -n*f - h + 2 for f.
1
Suppose 7*c - 203 = -189. Solve c*i = 4*i + 10 for i.
-5
Let c(i) = -i**3 + 9*i**2 + 24*i - 7. Let s be c(11). Solve -19*b = -s*b for b.
0
Suppose 0 = 8*c + 12 - 140. Solve -c*u + 3*u = 65 for u.
-5
Suppose -u + 54 - 15 = 0. Let k be ((-6)/(-5))/(u/260). Solve 4*c = k*c - 8 for c.
2
Suppose 0 = -3*g - 4*g - 455. Let t = 67 + g. Solve 4*y = -6 - t for y.
-2
Let v be (11/22)/((-22)/12 + 2). Suppose -48 = -7*i + v*i. Solve -q + i = -4*q for q.
-4
Suppose -6 = 21*u - 426. Solve -2*m = -30 + u for m.
5
Suppose 0*q = q. Let k(c) = -2*c + 12. Let m be k(0). Solve q*o - m = -3*o for o.
4
Suppose 0 = 3*u + 4*c - 30, 41*c - 43*c - 12 = -3*u. Solve u*x = -2*x - 40 for x.
-5
Let b(v) = -v**2 + 11*v + 4. Let r be b(11). Suppose 4 = -3*n + r*n. Solve 5*u + n = 24 for u.
4
Let s = 21 + -15. Suppose s = -4*p + 6*p. Let l = 5 + -3. Solve -4 = p*f + l for f.
-2
Let r = -49 - -49. Solve m = -r*m - 3 for m.
-3
Suppose 5*i - 116 = -96. Solve -2*o + i = 6 for o.
-1
Let g(j) = -5*j**2 - 10*j - 10. Let f(l) = -6*l**2 - 9*l - 10. Let s(n) = -4*f(n) + 5*g(n). Let p be s(-13). Solve 0 = -0*h - 3*h + p for h.
1
Let v(a) = 8*a**3 - 2*a**2 - 1. Let g be v(2). Solve 13*w - 2*w + g = 0 for w.
-5
Let d(p) = -2*p + 18. Let y(u) = -u + 10. Let c(i) = -3*d(i) + 7*y(i). Let n be c(0). Solve 0*a + n = 4*a for a.
4
Let r be ((-12)/4 + 3)*(-3)/12. Suppose -3*h + h + 8 = 0. Solve r*n = -h*n for n.
0
Let z = -10 + 17. Suppose 2*j - z = -k, -10 = 2*j - 7*j. Solve -u = -k*u - 4 for u.
-2
Suppose 3*q = 8*q + 15. Let i be -1*((-3 - q)/(-4))/1. Let y be (2*1)/(-2) - -4. Solve i = y*z + z for z.
0
Let q(m) = -m**3 - 1. Let f be q(-1). Suppose -3*t + 5*t = f. Suppose t = 2*o - 3 - 5. Solve 0 = o*c + 3 - 23 for c.
5
Let o(q) = 2*q**3 - 4*q**2 - 10. Let p be o(3). Solve 3*y + 10 = p*y for y.
2
Let q(v) = 10*v**2 + 15*v - 50. Let g(p) = -3*p**2 - 5*p + 17. Let u(h) = 7*g(h) + 2*q(h). Let m be u(-7). Solve -5 = m*r + 15 for r.
-4
Let h(j) = -j**2 + 11*j + 47. Let c be h(14). Solve -c*t - 18 - 7 = 0 for t.
-5
Let t(i) = -i**3 - i**2 - 4*i - 24. Let j be t(-3). Suppose -5*u + 2*u = -j. Solve 0*x - u*x = -4 for x.
2
Let k = -22 - -19. Let w be 1/k + (-40)/(-12). Solve -w*t + 0 = -3 for t.
1
Suppose w = -3*i + 16, w + 5*i - 34 + 8 = 0. Solve -5 = -4*h - w for h.
1
Let l = -243 + 252. Let h be 3 + (5/10)/(2/(-4)). Solve h*o + l = -1 for o.
-5
Suppose -u + 2*c = 6*c + 15, -3*c = 2*u + 10. Let w be -2 - (-8)/((-2)/u). Let l be 4 - (5 + w/2). Solve l*z - z - 4 = 0 for z.
4
Let n(j) = -j**2 - 3*j + 28. Let k be n(4). Solve k = x - 4 + 1 for x.
3
Suppose 668 = 4*l + 604. Solve 9*a = 5*a + l for a.
4
Let z(c) = -1. Let j(l) = 5*l - 38. Let q(x) = j(x) - 3*z(x). Let k be q(7). Solve k = 4*n + 12 - 0 for n.
-3
Let u(c) = c**3 - 2*c**2 + 3*c - 2. Let y be u(3). Suppose -2*b - y = -4*v, v + 2*b - 18 = -b. Let w = v - 2. Solve 0 = w*m + 8 + 8 for m.
-4
Let r(g) = g**3 - 12*g**2 - 16*g - 15. Let q be r(13). Let k = q - -54. Solve k = -h - h - 10 for h.
-5
Suppose 49 = 5*h + 74, -5*h - 40 = -5*u. Solve -6*y = -u*y - 15 for y.
5
Suppose 0 = 8*g + 5*g - 8*g. Suppose 3*h - 39 = -4*n, g = n - 2*n - h + 9. Solve 0*c = -3*c - n for c.
-4
Suppose 118*j - 21*j - 2425 = 0. Solve 0 = 112*w - 117*w - j for w.
-5
Let l = 192 + -191. Solve -r + 0 = l for r.
-1
Suppose -1 - 3 = -o. Suppose -5*y = 4*a - 30, -3*y - o*a = -2 - 24. Suppose -3*l - 3 = -0*l, 0 = -3*b + 4*l + 10. Solve b*q = 4*q - y for q.
1
Suppose 20 = -2*d + 24. Let b be (d - -2) + 2 + -4. Solve 6 = -0*r + b*r for r.
3
Suppose 17 = s - 3*h, 183*h = -4*s + 185*h + 58. Solve -7*u = s + 14 for u.
-4
Let r(j) = -j**2 - 26*j + 31. Let q be r(-27). Solve 3*g + 8 = -q for g.
-4
Let j = 118 + -113. Suppose 3*l + 0*l - 141 = 0. Suppose 5*d - 3*d = -5*g + l, 3*d + 5*g - 68 = 0. Solve j*n = -d - 4 for n.
-5
Let f = 51 - 35. Let z = 12 - f. Let o be z - -1 - (3 - 6). Solve o = 5*a + 10 + 10 for a.
-4
Let h be (18/(-36))/(2/332). Let v = 85 + h. Solve 6 = -l + v for l.
-4
Suppose -5*c - 24 - 11 = 0. Let r = c + 10. Solve 2*q + r = -3 for q.
-3
Let q(u) = 2*u + 2. Let n be q(-6). Let a = -5 - n. Suppose -23 = -b + 2*y, 5*b - 42 = -3*y + 21. Solve a*k = 5 + b for k.
4
Let x = -137 - -185. Solve 55*j = x*j for j.
0
Let i be 4*(-1)/((-2)/(-4)). Suppose -2*h - 5*y + 0 + 4 = 0, -2*h + 5*y = 36. Let q = i - h. Solve q = 3*f + f + 8 for f.
-2
Suppose 19*l - 202 = -69. Solve -8*j + l*j = -1 for j.
1
Let p(z) = 2*z**2 - 5*z - 164. Let g be p(-8). Solve 12*s = -64 + g for s.
-5
Let d(h) = -h**3 + 7*h**2 + 4. Let n be (5/(-10))/((-3)/42). Let g be d(n). Solve g*j = j + 3 for j.
1
Suppose 6*p = 11*p. Suppose p = 3*i + 5*j - 25, 2*i = 3*j - 0*j - 15. Suppose -4*z + 2 + 10 = i. Solve 2*h = -z*h + 25 for h.
5
Let q(v) = -29*v + 292. Let b be q(10). Solve -2*d = -0*d + b for d.
-1
Suppose -5*o = -2*z + 17, -25 = -5*z - 2*o - 3*o. Suppose -3*t = -7 + 1, -5*t - z = -4*n. Let c = 5 - 2. Solve n = c