2
Let p(m) = 11*m - 5. Let k = -11 - -13. Let l be p(k). Suppose 4*w - 8 = -3*q, -5*q = -q - w - l. Solve -15 = q*i + i for i.
-3
Suppose -4*b = 3*g - 124, 3*g = 2*b + 61 + 57. Solve g = -42*l + 52*l for l.
4
Let k = 64 + -58. Solve -4*y - k = 10 for y.
-4
Suppose 2*v = 3*p + 23, 158*v + 4*p = 153*v. Suppose 5*z - 13 = -5*n + 2, -n = -2*z. Suppose 16 = 2*h + n*h. Solve -v*b = -4 - h for b.
2
Let l(k) = k**2 + 6*k - 13. Let g be l(2). Solve g - 2 = y for y.
1
Let n(b) = -b**3 + 7*b**2 - 7*b - 6. Suppose -5*r - m + 21 = 0, 3*r + 0 = -5*m + 17. Let z be n(r). Solve 4*h - 6 + z = 0 for h.
-2
Suppose 6*c + 56 = -16. Let l = c + 14. Let t be 6/4*l - 3. Solve 1 = -j - t for j.
-1
Let w(x) = -2*x**3 + 61*x**2 + 38*x - 212. Let q be w(31). Solve q*s - 7 = -17 for s.
-2
Suppose 0 = -5*c + c + 16. Suppose 2*m - 8 = -3*l, -c*l + 0*l + 26 = -5*m. Let g be (-6)/18*-36*1. Solve -g = l*v - v for v.
-4
Let j = -5 - -14. Suppose 3*b - 2*x - x - j = 0, -2*b + 6 = -x. Suppose -30*u - 45 = -39*u. Solve r - b = -u for r.
-2
Let d be -4*-1*4/(-8) + 12. Let c be (d + -1)*((-56)/12)/(-7). Solve b = -2*b - c for b.
-2
Suppose u = 3*i - 1, u = 1 - 2. Solve 3 + i = -t for t.
-3
Let p(z) = 32*z**2 - 51*z - 1. Let l be p(3). Solve -3*r - 146 = -l for r.
-4
Suppose 6*y - 11*y = -220. Let j be 22/8 + (-33)/y. Solve 0 = j*t + 1 + 3 for t.
-2
Let o be 6/15 + 12/(-5). Let u = o + 49. Suppose -3*n - u = -2*g - 0*g, -4*g - 3*n = -103. Solve 4*c + c = g for c.
5
Suppose -12 = -0*r - 2*r. Let p be r + (0 - 12/3). Solve -3 = p*x + 7 for x.
-5
Suppose -6*u = -9*u + 18. Let q(k) = 2*k - 10. Let v be q(u). Solve v*o + o = -6 for o.
-2
Let h(i) = 3*i**2 + 86*i - 14. Let o be h(-29). Solve 0 = -2*z - 3*z - o for z.
-3
Let f = -1381 + 1401. Solve f*c - 7 = 13*c for c.
1
Let a be (15/(-9))/((-150)/540). Solve -64*n = -70*n + a for n.
1
Suppose -70 = -13*i + 3*i. Let j = -39 - -41. Solve i = -t + j for t.
-5
Let x(h) = h**3 + 8*h**2 + 6*h - 8. Let t be x(-7). Let j be 1/t*(-22 + 18). Suppose -j*f = -3*f + 3*p + 9, 3*f - 13 = p. Solve f*z = z + 10 for z.
5
Let y(d) = -d**3 + 5*d**2 + d + 2. Let h be y(5). Suppose -11*i + h*i = -12. Suppose 3*q - 2*q - 45 = -5*n, 15 = 3*q. Solve 0 = -i*c + n*c + 15 for c.
-3
Let y = -6 - 0. Let z be 0/((-1)/(3/y)). Suppose 0 = 5*b - z*b. Solve b*r = r - 4 for r.
4
Let s be 7 + (1 - (4/1)/1). Solve -21 + 5 = -s*c for c.
4
Suppose -8*x + r = -11*x + 23, x + 3*r - 5 = 0. Solve 15 = x*w - 11*w for w.
-5
Suppose 2*y + m + 22 = -3*y, 0 = -y - 4*m - 12. Let k be 4*y/(-8) + 3. Let z be 12/(-20) + 3/k. Solve z*g - 5*g - 15 = 0 for g.
-3
Let j(k) = 5*k + 9 - 13 - 7 - 19. Let t be j(7). Solve -t*w - 12 = -w for w.
-3
Let y = 1 + 3. Suppose -2*i - k = -8, -y*i + k = 4*k - 18. Suppose -3 = 4*a - 35. Solve -a - 1 = i*q for q.
-3
Let n = -21 + 26. Let d(z) = 2*z + 0*z**2 + 4 - z**3 - 2*z**2 + 0*z + z. Let i be d(-3). Solve -n = -i*l + 3*l for l.
5
Let a = 936 - 920. Solve -a*z = -4*z - 24 for z.
2
Let g = 30 + -25. Suppose -4*h = g*o - 13, -10 = -9*o + 4*o - 5*h. Solve -3*p + o*p = 6 for p.
3
Suppose 704 = -6*f + 764. Solve -f = -3*y + y for y.
5
Let s(k) = k**3 + 10*k**2 + 8*k. Let f be s(-9). Let p be f/((-6)/2) + 7. Suppose -p*b = -n - 3*n - 4, -3*b = -3. Solve -3*g + 5 - 2 = n for g.
1
Suppose 5*s = -11*s + 128. Solve b = 3*b + s for b.
-4
Suppose 0 = -2*f + g - 2*g + 19, 3*f + 2*g - 31 = 0. Suppose 5*d - 19 = 11*x - f*x, -4*d = 3*x - 9. Solve 0*c - 15 = d*c for c.
-5
Let k(g) = 2*g**3 - 10*g**2 - 16*g - 31. Let j be k(7). Solve 0 = 55*x - j*x for x.
0
Suppose 2*g + q - 65 = 0, 0 = -5*g - 4*q + q + 160. Let h = 2 - 1. Suppose g + h = 3*f. Solve 4*j + f = j for j.
-4
Let t be 16 - (-4 + 4 + -2). Suppose -4*f + t = -7*f. Let n be ((-8)/f)/((-10)/(-15)). Solve n*h + 25 = -3*h for h.
-5
Suppose 5*d = 5*m + 75, 31*d + 48 = 35*d - m. Solve -6 = d*j - 13*j for j.
3
Suppose h - g = 14, -2*h - 15*g + 28 = -11*g. Solve 2*i + 14 - h = 0 for i.
0
Let y(z) = 2*z**2 - 13*z + 26. Let q(w) = 7*w**2 - 3*w - 4. Let p be q(-1). Let m be y(p). Solve 4*x + 0*x = -m for x.
-5
Let b = -41 + 43. Solve -b*w - 5 = -7*w for w.
1
Let l(b) be the second derivative of -b**4/12 + b**3/6 - b**2 + 7*b. Let s be l(-4). Let o be 30/165 + (-62)/s. Solve 0 = 2*k - 3*k + o for k.
3
Let l = 0 - -32. Suppose 0 = -s - s - l. Let w be (-12)/(-8)*s/(-3). Solve -4*f + 0*f = w for f.
-2
Let b be ((-5)/(-5))/((-1)/(-30)). Suppose -q = -6*q + b. Suppose -q = 4*n - 6*n. Solve f + 4 = n*f for f.
2
Let k = 2 - 2. Let i be (-9)/(-12) - (-58)/8. Suppose d + 5*w - 28 = 0, i = -4*d + 4*w - k*w. Solve d*f = -f - 20 for f.
-5
Let j be 10*((-76)/(-56) - 2/(-14)). Solve -j = -3*y + 8*y for y.
-3
Let q(j) = j**3 + 3*j**2 - j - 3. Let x be q(-3). Suppose -v + 0*v - 15 = x. Let l be (-24)/v - 4/(-10). Solve 5 = -i + l*i for i.
5
Let k be (-5 - -1) + -28*(-7)/28. Solve -k*b - 2 - 10 = 0 for b.
-4
Let f(z) be the third derivative of -z**6/120 - z**4/12 + z**3/3 - 5*z**2. Let h be f(0). Solve h*v + 4 = v for v.
-4
Let h = -117 + 119. Let z(x) = x**2 - x. Let q(s) = -4*s**2 + 4*s + 1. Let w(n) = 2*q(n) + 7*z(n). Let k be w(h). Solve 0 = -k*o - 5*o + 5 for o.
1
Suppose 5*j = 3*j + 112. Suppose 0 = -5*n - 2*m + 85, -4*n - 5*m = -m - j. Suppose 5*x = -3*l + n, 5*x + 2 = 2*l + 2*l. Solve 2 = -c + x*c for c.
2
Let l(a) = -a + 54. Let d be l(27). Solve -3*s = -d + 36 for s.
-3
Let l be (1 - 7 - 0) + (-1 - -17). Solve -l*w - 30 = -0*w for w.
-3
Suppose -l = 3*i + 80, -i + 4*i = 5*l - 50. Let v = i + 33. Solve -6*d + 4*d = -v for d.
4
Let z be (-27)/(-5) + -5 - (-37)/(-5). Let o be (-1)/(0 - z) + (-32)/(-28). Let w be (-56)/12*6/(-7). Solve w*c + o = -3 for c.
-1
Suppose 0 = 5*y + 3*l - 148, -3*l = 2*y + l - 48. Let f = y + -29. Solve f = 2*j - 5*j for j.
-1
Let q(y) = -1. Let l(n) = n + 7. Let g(i) = -l(i) - 3*q(i). Let v be g(-5). Let r = -49 + 62. Solve -3*d = r - v for d.
-4
Let g be (-10)/(-2) - (-10 + -41). Let y = g - 52. Solve -y*k = k + 5 for k.
-1
Let d(j) be the first derivative of -j**4/4 + 3*j**3 - 6*j**2 + j + 5. Let z be d(7). Let o(h) = h + 10. Let t be o(-8). Solve -z = v + t*v for v.
-5
Let q = -18 + 0. Let u be 10/(-3)*q/5. Let a = -12 + u. Solve a = -l - 2*l for l.
0
Suppose -6*b - 3*w = -4*b - 20, -2*w = -4*b + 8. Solve 4 = -2*h + b*h for h.
2
Let l(s) = 6*s - 1. Let k be l(1). Suppose -k*i + 2*c = -c, 2*c - 16 = -2*i. Suppose 0 = -u - 0*u + i. Solve -2 = -u*g + 4 for g.
2
Suppose 3*f = k - 15, -4*k - 1 = -7*k - 2*f. Solve -k = 3*c - 0*c for c.
-1
Suppose -s + 6 + 16 = 0. Let n be ((-10)/6)/(7/(-21)). Solve s + 3 = -n*i for i.
-5
Let q(o) = -2*o - 15. Let w be q(-11). Solve 45 = w*v + 2*v for v.
5
Suppose 3*u - 80 = -13*u. Solve -u + 9 = -b for b.
-4
Let b be 1*5/1*1. Suppose 12*c = 43 + b. Suppose 0*z - 4*z + 12 = 5*g, 0 = -3*g + 3*z + 18. Solve 3*k + c = g*k for k.
4
Let k(q) = -q**3 + 5*q**2 + 14*q. Let j be k(7). Let t be 9 - (-5)/((-5)/4). Solve j = t*y - 10 - 5 for y.
3
Let r(t) = t**3 + 4*t**2 + 2*t + 1. Let d be r(-2). Solve 4*w = -w + d for w.
1
Let s be 40/48 - 30/36. Solve j + 4*j + 5 = s for j.
-1
Let x(d) = 2*d - 75. Let p be x(39). Solve n + 4 = p for n.
-1
Suppose 4*n = -4*o + 1 + 15, -2*n - 4*o = 0. Solve 0 = r - n*r - 21 for r.
-3
Let n = -9 - -24. Solve n = -5*y - 0*y for y.
-3
Suppose t - 3 - 76 = -3*p, 3*p - 73 = -4*t. Solve 119*b = 110*b - p for b.
-3
Suppose u + 4*u + 68 = -4*q, 4*u = q + 38. Let p = q - -26. Solve -g - g = p for g.
-2
Suppose -4*n - 18 = -5*n - 4*k, -5*k = -n - 9. Solve 11*c + n*c - 34 = 0 for c.
2
Suppose 518 = -10*m + 24*m. Solve 1 = -38*x + m*x for x.
-1
Let y be 4*3/(-84) + 58/14. Let g = -4 + y. Let r(p) = p - 4. Let z be r(6). Solve -z*a - 8 = -g for a.
-4
Let b(l) = -l**2 + 5*l. Let h be b(5). Let y be (1 - h)*(-1 + 4). Solve 3 = -y*d - 3 for d.
-2
Suppose 0 = -3*k + 9, -3*s - 6*k + 24 = -k. Solve 1 = -s*u + 4 for u.
1
Let h be (-2 - -17)*14/42. Solve 12*i = 11*i + h for i.
5
Let a(w) = 3*w + 25. Let s be a(-7). Solve 0 = 5*v - s - 6 for v.
2
Let t = 23 - 18. Let y(o) = -o**3 + 6*o**2 - o + 6. Let v be y(6). Suppose v = 3*k + b - 6*b - 11, 0 = 2*b + 2. Solve 3*n - t = -k*n for n.
1
Let c(h) be the first derivative of -3*h**2/2 - 12*h - 1. Suppose 12 = -2*u + 4*x, 24 = -4*u + 2*x + x. Let n be c(u). Solve n = w + 2 for w.
4
Let m be 7 - (14 - (-8 - -15)). Solve -5*g + 10