 for j.
2
Suppose -11*b - 8*q + 13*q = -333, -3*q + 117 = 3*b. Solve 15*i = b + 12 for i.
3
Let c(p) = p**3 - 3*p**2 - 5*p + 15. Let d be c(3). Suppose d = 3*z + 5*b - 4, 52 = 5*z - z - 5*b. Solve 23 = 5*j + z for j.
3
Suppose 2*n - n - 3 = 0. Suppose 97 = 3*l + 4*h + h, -5*l + 100 = -4*h. Let t be l/20 + (-96)/(-20). Solve -t = -n*y + 5*y for y.
-3
Let m(u) = 4*u - 26. Let i be m(11). Solve -i = -2*g - 6 for g.
6
Let g = -20490 + 20490. Let l = -5 - -3. Let j be l/(-6) - 148/(-6). Solve -q - 4*q + j = g for q.
5
Let c be (10/2)/(1608/(-603)*(-2)/16). Solve 18 = 11*u - c for u.
3
Suppose m - 5 = 3. Let d(p) be the first derivative of -p**4/4 + 3*p**3 - 4*p**2 - 45. Let g be d(m). Solve g = -3*y + 6*y - 15 for y.
5
Let j(k) = k**2 + 9*k + 20. Let b be j(-6). Suppose -3*r - r + 12 = 4*t, -b*t + 13 = -5*r. Suppose -3*z = -t*z + 2. Solve l + 2 = -z for l.
-4
Let v be 25/(-75)*(-72 - 0). Suppose -53 = -4*g - 5*w + 47, -2*g + 4*w = -v. Solve g = y - 5*y for y.
-5
Let s be (69/(-9) - -8) + 3350/(-6). Let d = s + 573. Solve -17*k = -20*k - d for k.
-5
Let d(i) = -i**2 + 3*i + 3. Let h be d(3). Suppose 0 - h = -x. Suppose 3*t + 9*t - 121 = 59. Solve 0 = -x*f + t for f.
5
Let n(f) = -f**2 + 30*f - 29. Let z be n(29). Solve 14*l + 13 + 15 = z for l.
-2
Suppose -313*o + 308*o + 645 = 0. Suppose -119*l - 60 = -o*l. Solve -l*y = 6*y + 60 for y.
-5
Let j = 749 - 724. Solve -27 + 77 = -j*q for q.
-2
Suppose 148013*u - 11520 = 148001*u. Solve 950 - u = -10*n for n.
1
Suppose 0 = -5*r + j + 55, 0 = -3*r - 18*j + 13*j + 33. Suppose -3*t - d + r = -6*d, 5*t - 3*d = 13. Solve 6 = -4*i + t*i for i.
-3
Suppose -2*z = -5*j - 124, -2*j + 167 = 3*z - 0*z. Let o = z + -54. Suppose -15 = o*s + 5*m, 3*m = -5*s - 7 - 2. Solve 5*u + 10 + 10 = s for u.
-4
Let r = 663 + -276. Solve r*z = 384*z for z.
0
Suppose -4*l + 4*n = n - 492, -5*l + 4*n + 614 = 0. Suppose -l = -4*d - 5*d. Solve -6 = 2*c - d for c.
4
Let q(r) = 6*r + 18. Let o(x) = -2. Let g(a) = 8*o(a) + q(a). Let m = -38 + 39. Let c be g(m). Solve 6*w - 2*w = c for w.
2
Let y(i) = -2*i - 12. Let h be y(-6). Suppose h = 3*k + k - 12. Suppose -5*o + k = -t, -3*o = -4*o - 5*t - 15. Solve -s + o*s = -1 for s.
1
Let k be -1 + (1 - -1*(2 + -3)). Suppose -i + 43 = -27. Let h be ((-30)/i)/(k/7). Solve 4*v - h = v for v.
1
Let q(y) = -y**3 + 7*y**2 - y + 4. Let v be q(7). Let j be 2/(2/(-5))*v/3. Suppose 3*m - j*n = -11, n - 16 = -4*m - 0*n. Solve 0 = -m*p - 2 - 4 for p.
-2
Suppose 0 + 4 = -j - u, 3*u = -12. Let h be (30/5)/6 + (1 - j). Solve d + h*d = 9 for d.
3
Let h = 537 + -533. Let j = -25 + 31. Suppose 3 - 15 = -j*s. Solve 0 = s*w - h*w + 6 for w.
3
Let d(g) = -g**2 - 5*g - 2. Let s be d(-7). Let c be s/(-2) - 15/5. Suppose c*i = 3*u - 31, -i - 3 = u - 0*u. Solve u*f + 5 = -5 for f.
-5
Suppose 0 = 36*h + 316 + 44. Let z be ((-40)/4 - h)/(5/1). Solve 2*p + 30 - 24 = z for p.
-3
Suppose 0 = -9*d + 46*d - 37. Solve 3*t - d = 2 for t.
1
Let z(b) = b**2 - 24*b + 4. Let y be z(0). Solve -y*h + 35 - 39 = 0 for h.
-1
Suppose j + 12*b = 8*b - 792, -4*j + b = 3236. Let m = j + 810. Solve 7 + 1 = m*d for d.
4
Let g = -117 + 121. Suppose -5*o = g*n - 103, 0 = 3*o + o + n - 78. Solve 24*w - o*w - 10 = 0 for w.
2
Let t = -7 + 11. Suppose 295 = 4*p - f, -2*f + 286 = t*p - 0*f. Suppose 3*d - 2*i - 54 = -i, -i - p = -4*d. Solve 0 = 5*g + d - 4 for g.
-3
Let m be (-7 + (20 - -45))*2/4. Solve 50 = -m*u - 8 for u.
-2
Suppose 0*y = -14*y + 168. Let z be ((-4)/6)/(y/18). Let g be (0 + 12/(-4))*1*z. Solve -2*c - g = -7 for c.
2
Let n(m) be the first derivative of m**3/3 + 8*m**2 + 65*m - 65. Let b be n(-9). Solve 2*s = b + 8 for s.
5
Let r(f) = -f**2 - 38*f + 675. Let y be r(-51). Solve -28 + y = 8*h for h.
-2
Let n = -124 - -123. Let b(l) = -22*l - 4. Let p be b(n). Let v(r) = r**3 - 2*r**2 + 3*r - 3. Let f be v(2). Solve -6 = -f*k - p for k.
-4
Let d = 5 - 3. Let m(y) = -50*y - 1730. Let t be m(-35). Solve 3*p + d*p + t = 0 for p.
-4
Let f(o) = -o**3 + 14*o**2 + 17*o + 10. Let x be f(15). Let c = x - 40. Suppose 0 = 4*s + 12, c*q + 1 = -4*q - 3*s. Solve -3*v + 10 = q*v for v.
2
Let l(j) be the first derivative of -2*j**3/3 - 9*j**2 - j + 16. Let s be l(-8). Let a be -20*(9/(-30))/(18/s). Solve x - a*x + 4 = 0 for x.
1
Let u = 27 - 27. Let t(j) = -j**2 - 12*j - 9. Let w be t(-10). Suppose -2*s - s + w = -2*h, 0 = -2*s + 2*h + 6. Solve s*z = -u*z - 20 for z.
-4
Let c(x) = -3*x**2 - 22*x - 7. Let t(j) = -j**2 - 16*j - 45. Let z be t(-3). Let b be c(z). Solve 6*u = 13 + b for u.
5
Let t(f) be the third derivative of f**4/12 + 7*f**3/3 - 4*f**2. Let b be -5*2/2 + -1. Let k be t(b). Solve k*l + 2 + 2 = 0 for l.
-2
Let u be 86 + 14 + 26 + -40. Solve 0 = -56*v + u*v - 30 for v.
1
Let j be (989/(-5934))/(2/(-744)*1). Solve -7*m = 13 - j for m.
7
Suppose 4*w = -2*t - 8, 2*w = 3*w + 4*t - 5. Let q(u) = -13*u - 10. Let v be q(w). Let j = -26 + v. Solve k = -j*k - 4 for k.
-1
Let u be (-112)/196*(-7)/2. Solve 19*c - 21 = -u for c.
1
Let m = -21043 + 21050. Solve 5*o + m*o + 96 = 0 for o.
-8
Let n = 308 - 300. Suppose 5*u = 9*u - n. Solve -u*o + 11 = 19 for o.
-4
Let y(s) = 26*s - 3*s**2 - 46*s + 5*s**2 - 34 - s**2. Let x be y(19). Let q = x + 63. Solve 2*r - 7*r + q = 0 for r.
2
Let s(y) = -y**3 - 4*y**2 + 3*y + 15. Let u(d) = d**3 - 3*d**2 - 12*d + 6. Let w be u(5). Let x be s(w). Solve 0*i + x*i = 9 for i.
3
Let b be (1 - -9) + ((-2)/(-6))/((-21)/252). Solve -b*o = -12*o - 2*o for o.
0
Let r be ((-34)/(-5))/(-6 + (-1355)/(-225)). Let i = r + -302. Solve -i = 9*m - 5*m for m.
-1
Let t(a) = a**3 - 13*a**2 + 29*a - 74. Let i be t(11). Solve -i*q - 26 + 38 = 0 for q.
4
Let l be (-235)/(-8) - (13 - (-909)/(-72)). Solve -l + 9 = 5*x for x.
-4
Let v(t) = 40*t - 114*t - 20 + 32*t + 41*t + 5. Let m be v(-22). Solve -11*w = -m*w + 8 for w.
-2
Let q(n) = n**2 + 21*n - 44. Let l be q(-23). Suppose -2 = 88*w - 89*w - 5*s, s = l*w - 26. Solve w*r = 11*r - 2 for r.
-2
Let u = -42 + 46. Suppose 3*w - 2*v - 44 = 0, 2*w - 2*v = 26 + u. Solve -7*s + 7 = -w*s for s.
-1
Let b = -4759 - -4769. Solve -b = -8*x - 34 for x.
-3
Suppose 27*l + 1302 = 33*l. Let o = l + -214. Solve i - o = 2*i for i.
-3
Let g(n) = 2*n + 25. Let h = -38 + 27. Let k be g(h). Let u = 11 - 5. Solve -u = k*w - w for w.
-3
Let u be (-130)/(-975) + 43/15. Suppose -3*c - 51 - 31 = -2*h, 0 = -5*h - u*c + 226. Solve 6*o - 17*o = h for o.
-4
Let s be (-1)/((-4 + 3)*(-2)/(-4)). Let x = 4 - s. Suppose 0 = 3*l + x*l. Solve q = -l*q + 3 for q.
3
Let v(x) be the third derivative of x**6/120 + 7*x**5/60 + 5*x**4/24 + x**3 + 57*x**2. Let f be v(-6). Solve -11*a = -f*a - 5 for a.
-5
Suppose -4*x = 100*w - 95*w - 116, -110 = -3*x + 2*w. Solve 50*f - 64 = x*f for f.
4
Let c(x) = -13*x - 157. Let n be c(-12). Let p(o) = -19*o - 15. Let l be p(n). Solve 0 = 15*t - 13*t + l for t.
-2
Let z be (-24)/12 + 1 + -2 + 3. Let m(b) = -b**2 - 4*b + 13. Let y be m(z). Solve -p = -y + 12 for p.
1
Suppose 4*z = 8*z + 28. Let h be -5*z/(140/8). Let t(f) = 5*f + 132. Let p be t(-26). Solve h = n - p*n for n.
-2
Suppose 158 = 102*h + 167 - 213. Let u = -5 + 12. Solve -u*v + h*v = -v for v.
0
Let f be ((-1)/2)/((-2)/12). Suppose -2*m - 31 = -3*g, f*g + 27 - 46 = 5*m. Solve g*j + 4 = 12*j for j.
-4
Let s = 3910 + -3904. Let y = -17 - -24. Solve v + y = -s*v for v.
-1
Let i = -38 + 43. Let g = i + -1. Suppose 91 = 40*s - 149. Solve -g*a - s = -2 for a.
-1
Let j(t) = -3*t**3 + 4*t**2 + 83*t + 323. Let r be j(-4). Solve 0 = -8*f - 247 + r for f.
0
Let b = -3 - -5. Let t(g) = 88*g - 699. Let r be t(8). Solve -b*d - r = 5 for d.
-5
Let n(m) = -m**2 + 28*m + 93. Let w be n(-3). Solve w = -12*q - 30 - 6 for q.
-3
Suppose 240 = 9*b - 21. Suppose b*j = 50*j. Solve j = 3*f + 54 - 54 for f.
0
Let r be (-376)/(-235) + 21/15. Solve -r*t = 17*t + 11*t for t.
0
Let m(u) = -167*u + 1. Let g be m(1). Let x = g + 178. Solve 0*d - x = 3*d for d.
-4
Let v(q) = q**3 + 31*q**2 + 29*q - 21. Let m be v(-30). Suppose 4*w = 5*n - 7*n + 8, -4*n - w + m = 0. Solve -2 = n*k + 2 for k.
-2
Let q(h) = -4 - 8*h**3 + 1 + 17*h**3 + 2*h - 12*h**3 - 4*h**2. Let a be q(-3). Solve 0 = -3*t + 21 - a for t.
-5
Let x be 14*3/6 + 2. Suppose x*m - 48 = 13*m. Let r be ((-2)/(-7))/(m/(-252)). Solve r = 5*h - 14 for h.
4
Suppose 317*s - 4020 = 1369. Solve 114 = -21*z - s*z for z.