l for j.
-2
Let x(v) = -4*v + 177. Let l be x(8). Solve 153*r - l*r = 40 for r.
5
Let t(g) = 73*g**2 - 3*g - 4. Let o be t(-1). Let p = 75 - o. Solve 4*v + p + 9 = 0 for v.
-3
Suppose -5*g + 2*f = 7*f - 125, -4*g + 4*f = -60. Solve 4*t - g = -0*t for t.
5
Let h = 563 + -553. Let p(u) = u**2 - 7*u - 5. Let k be p(9). Suppose -5*d + k = -2. Solve h = -d*y + 1 for y.
-3
Let c(w) = w**2 - 5*w - 8. Let b(q) = -2*q**2 + 11*q + 16. Let a(r) = -3*b(r) - 7*c(r). Let o be a(0). Solve u - o = -u for u.
4
Let d be (-15)/3 + 11 + 1. Solve -d*m = -2*m + 10 for m.
-2
Let a be 83 + ((-9)/(-6))/(18/(-12)). Solve -83*s + a*s - 5 = 0 for s.
-5
Suppose 2*t - 42 + 4 = 0. Let z = -19 + t. Suppose z = -3*r + 3*p + 21, 3*r = 4*p + p + 21. Solve 0 = 2*l + r + 3 for l.
-5
Let c(j) = 9*j**2 + 19*j + 49. Let r(h) = -4*h**2 - 10*h - 24. Let z(t) = 3*c(t) + 7*r(t). Let p be z(-11). Solve 3*g + p = -11 for g.
-4
Suppose 38 + 34 = 9*c. Solve 0 = 4*x - 8 - c for x.
4
Let u = -1 + 3. Suppose -5*h + 5 + 5 = 0. Solve u = h*t - 0*t for t.
1
Let b be 7*(-5)/(-2)*58/145. Solve 7*k + 7 = b for k.
0
Let h(t) = -2*t**2 + 49*t - 252. Let p be h(17). Solve f + 4 = -p*f for f.
-1
Let i = -378 + 378. Solve i = 5*h + 18 - 28 for h.
2
Let y(w) = w**2 - w - 6. Let z be y(3). Suppose z = 5*d, 0*q + 6 = q - 3*d. Solve -12 = -3*m + q*m for m.
-4
Let m = -33 + 33. Solve h + 0*h + 2 = m for h.
-2
Suppose -1078 = -5*d - 4158. Let j be 3/2*d/(-84). Solve 5*v + j = -4 for v.
-3
Let q(n) = n**2 + n. Let k be q(-7). Let w = k - 60. Let z be (-38)/(-9) + 4/w. Solve -2 = -5*m + z*m for m.
2
Let p(b) = 10*b + 25. Let m be p(-7). Let z = -44 - m. Solve z - 7 = 3*d for d.
-2
Suppose 3*q - 216 = -21*q. Solve -30*x + 33*x + q = 0 for x.
-3
Let t(u) = 2*u**2 + 2*u - 2. Let k be 1*3 - (12 + -6). Let j be t(k). Solve -2 = -4*w - j for w.
-2
Suppose -2*i = -2*y + 38, -3*y - 2*y + 90 = -4*i. Suppose 0 = 88*b - 36*b - 156. Solve -b*k - 1 = y for k.
-5
Let j = 24 + -21. Suppose 0 = 8*h - j*h + 5*y - 40, 5*h - 35 = -4*y. Solve 0 = h*l - 16 + 1 for l.
5
Let k be (-36)/5*-10*1/4. Solve -5*o - 4*o + k = 0 for o.
2
Suppose 18*y = 21*y - 12, -4*h - y = -48. Solve 50 = h*r + 28 for r.
2
Suppose 0 = 2*i + 2*i. Suppose u = -i*u. Suppose 3 = j - u*j. Solve j*n = -n + 16 for n.
4
Let f = 568 + -555. Solve -4*r + f = 9 for r.
1
Let u = -646 - -690. Solve 0 = u*j - 47*j + 15 for j.
5
Let d be 96/(-15)*(6 - (-74)/(-4)). Solve 0 = -5*p - 105 + d for p.
-5
Let l be 7707/84*4*1. Solve 379 = 4*c + l for c.
3
Suppose -4*r - 15 + 54 = -5*s, r - 51 = 5*s. Let b = -11 - s. Suppose 5*j = -2*k + 25 - 7, 0 = -j + 2. Solve -5*v - 11 - k = b for v.
-3
Suppose -32*g + 37*g = -25. Let z(l) = -7*l + 20. Let x(s) = 6*s - 19. Let y(v) = g*z(v) - 6*x(v). Let o be y(10). Solve -o*c - 12 = -4 for c.
-2
Suppose 29 + 7 = 9*m. Let x = -11 + 13. Solve x*r = r - m for r.
-4
Suppose 0 = x + 3*a - 14, 2 = a - 1. Suppose x*y = y + 20. Solve -y*i - 3 - 12 = 0 for i.
-3
Let l(x) = -38*x - 95. Let a be l(-3). Solve 17*k + 10 = a*k for k.
5
Let w(k) = k**3 + 7*k**2 - 19*k - 121. Let f be w(-7). Solve -17*d + 15 = -f*d for d.
3
Let i be (34/(-12) + 2)/(1/(-6)). Suppose a - 3*a - 10 = 0, -3*a = 5*x - i. Solve w = -w - x for w.
-2
Let n(i) = i - 9. Let z(v) be the second derivative of v**5/20 + 3*v**4/4 + v**3 - 7*v**2/2 - 4*v. Let l be z(-8). Let y be n(l). Solve 0 = -y*a - a - 1 for a.
-1
Suppose -t + 52 = 2*h, 0 = -2*h - 0*h + 3*t + 60. Suppose -h + 3 = -2*f. Let y(a) = a**2 + 29*a - 30. Let z be y(-30). Solve 4*i + z*i = -f for i.
-3
Let i(k) = k + 7. Let v be i(-9). Let j be v/(-6)*1*0. Suppose 0 = 3*u + a - 10, -5*a = -3*u - j*a + 40. Solve 9 + 1 = -u*t for t.
-2
Let c be 0 + (5 - 2) + (-1 - -34). Let i be (8/c)/(2/(-3))*-6. Solve 0 = i*w + w for w.
0
Let t = -12 + 12. Suppose t*u - 2*u = -18. Suppose -5*v - 4*r + 8*r + 32 = 0, -r + u = 3*v. Solve 0 = v*w - 6 - 14 for w.
5
Let o = -1649 - -1679. Solve -10*a + 20 = -o for a.
5
Let z(w) = -w**3 + 31*w**2 + 67*w + 8. Let u be z(33). Solve 5*c + 21 - u = 0 for c.
4
Suppose -505*t - 28 = -509*t, a - 5*t + 31 = 0. Suppose 0 = -2*b + 4 + 4. Solve 0*v = -a*v + b for v.
1
Let v(f) be the second derivative of -2*f**3/3 - 10*f**2 + 3*f. Let s be v(-5). Solve p = -s*p - 2 for p.
-2
Suppose -2*g = -7*g + 20. Let p be 0/1*g/(-12). Solve -w - 5 = -p*w for w.
-5
Suppose 6*m - 2*m = -4*y + 4, 2*m + 1 = -3*y. Solve 14 = -m*h - 2 for h.
-4
Let n be 40*7/(5 - -9). Solve 10*k - 60 = -n for k.
4
Let v(c) be the first derivative of -c**4/4 + 7*c**3/3 - 9*c**2/2 + 18*c - 16. Let z be v(6). Solve -16 = -4*n - z*n for n.
4
Suppose -5*q - 4 = -3*c, 12 = c + 4*c - 3*q. Suppose -5*d + l - 111 = 0, -3*l - l + 70 = -c*d. Let x = d + 25. Solve -2*g + 5 = -x*g for g.
-5
Let z be -6 - 1*(3 - 5). Let s be -2 - (-1 + (-2 - z)). Let x be s/((1 + 2)/(-6)). Solve -3*n = -x - 0 for n.
2
Let h = 139 + -129. Suppose 5*d + 35 = 3*v, -v + 7 + h = d. Solve q = 6*q - v for q.
3
Let k be 2/(-7) + (-172)/(-14). Let v be (2 - (-24)/(-9))*-6. Let d(o) = -o**2 + 6*o - 4. Let w be d(v). Solve k = -w*a + 8*a for a.
3
Let l(n) = n + 15. Let m be l(9). Let q be (-2)/8 + 366/m. Suppose -5*x - 25 = 3*o, -6*o + 3*x = -o - q. Solve 4*d + o*d = 0 for d.
0
Let c(i) = i**2 + 8*i + 7. Let d be c(-7). Let j be (48/60)/((-4)/(-10)). Suppose -3*v = -j - 1. Solve d = 3*l - 8 - v for l.
3
Let u(r) = 3*r**3 + 129*r**2 - 271*r - 42. Let t be u(-45). Suppose -38 = -2*w - 0*w. Solve -7 + w = t*v for v.
4
Let j(l) = -2*l**3 - 2*l**2 + 2*l + 4. Let n be j(-2). Suppose 8 = 4*t - n. Solve t*k = 8*k for k.
0
Suppose 0 = -4*g + n + 8, 0 = g - 0*g + 3*n - 2. Solve 16*p = 15*p - g for p.
-2
Let m = 95 + -84. Suppose m + 6 = 17*t. Solve 3*v - 5 = t for v.
2
Let u(m) = m + 7. Suppose -s + 6 = -5*l, -5*l - 3*s - 18 = -2*l. Let i be u(l). Solve i*b = -10 - 10 for b.
-4
Suppose -8*p + 3*p = -4*f - 4, -5*p = f - 24. Solve f*d - 53 + 45 = 0 for d.
2
Let g(p) = -p**2 + 50. Let u be g(0). Let q = -30 + u. Suppose 0 = -3*z - 4*a + 7 + 21, 4*z + a - q = 0. Solve -x = z*x for x.
0
Let y = 447 + -447. Solve 5*t + 4*t = y for t.
0
Let a be (4 - 0) + (-8 - -4). Suppose -w + 3 = x - 4, -w + 2*x - 5 = a. Solve 0*m = m + w for m.
-3
Let z be ((-2)/(-4))/(1/(-2)). Suppose -m = -18*s + 22*s + 8, 2*m + 5*s + 16 = 0. Let n be 2/((-3 + z)/m). Solve -h = -0 - n for h.
4
Let t(q) = q - 1. Let k be t(6). Let x(p) = -p - 1. Let a(f) = 4*f + 16. Let o(j) = k*x(j) + a(j). Let c be o(8). Solve -4 = -c*v - 16 for v.
-4
Let r be 18/(-12) - -3*(-3)/(-2). Suppose 0 = -r*p + 3*p - p. Solve p = -2*d + 3 - 5 for d.
-1
Let f be (3/5)/(3/15). Suppose -3*j + 8*j + f = 4*r, 3 = 3*j. Let m be (-1 + 1)/(5 + -3). Solve m = -3*n + r*n for n.
0
Suppose -5*l - 3*t + 10 = 2*t, 3*l = -2*t + 7. Let s(v) = v**3 - 2*v**2 - 10*v + 9. Let u be s(4). Let o = l + u. Solve 6 = o*z - 14 for z.
5
Let j(c) = 14*c**2 + c. Let s be j(1). Let x(h) = -h**2 - 12*h - 22. Let q be x(-9). Solve -5 = -q*o - s for o.
-2
Suppose 2*l + 0 = 8. Suppose 5*x - 25 = 5*j, -3*x + j + l = -1. Solve x = -4*w + w + 3 for w.
1
Let j = -1321 + 1520. Solve 0 = -2*o + j - 197 for o.
1
Let y be 0/15 - (-5 + 1). Suppose -j = y*c - 0*c + 14, 4*j + c = 4. Solve 0 = -f - j - 0 for f.
-2
Let t = 1 + 0. Let u be -12*(-1 - -2) - -28. Solve 0 = -3*a - t + u for a.
5
Let s be (-1)/(-4) - (-110)/8. Suppose 4 = 6*b - s. Solve 0 = b*k - k - 6 for k.
3
Suppose -8*j + 25 + 31 = 0. Suppose 40*y + 24 = 42*y. Solve 0 = j*n - 3*n + y for n.
-3
Let x = -20 - -64. Suppose 6*z - x = 76. Let s be 20/z + 6/1. Solve s - 1 = 3*i for i.
2
Let u(d) = d**3 + d**2 - d. Suppose -19 = 2*z + 5. Let c be 9/z*(-8)/3. Let q be u(c). Solve q = -4*t - 2 for t.
-3
Suppose -648 = -9*a - 576. Solve -s + a*s = -14 for s.
-2
Suppose u + 3*n - 37 = 0, -87 = -3*u + 4*n - 7*n. Solve 18*t - 13*t = u for t.
5
Suppose 85 = 17*u - 51. Solve -x = 3*x - u for x.
2
Let z(p) = -8*p**3 - p**2 - p + 1. Let j be z(-1). Solve j*s = 15*s + 12 for s.
-2
Let k = -23 - -39. Suppose 4*p - k = -r, -3*p + 5*r + 28 = -7. Let s = p - -4. Solve -o + 4*o = s for o.
3
Suppose 0 = -93*c + 97*c - 36. Solve c*w = 4*w + 10 for w.
2
Suppose -3*v - 5 = -17. Suppose -2*k - k + 21 = 0. Suppose -8*x = k*x. Solve -v = h - x for h.
-4
Suppose 58*a - 47*a = 22. Solve 3*s - a*s = 0 for s.
0
Suppose -2*r - 2 = -4*d, -3*d + 2*d = -r + 1. Solve -9 = 