 = 4*u for u.
-5
Suppose -8*j = -3*j - 10. Let s be ((-4)/(-8))/(2/1556). Let x = s + -377. Solve -j*a + x = a for a.
4
Suppose -21*q = -24*q - 348. Let f = 121 + q. Solve -9 = -14*a + f*a for a.
1
Let h(p) = p**2 + 2*p + 44. Let a be h(0). Suppose -4*v + 5*v + 37 = 4*u, 5*u + v = a. Solve u*w = -22 - 5 for w.
-3
Suppose 0 = -1776*n + 1758*n. Solve n = 18*v + 26*v for v.
0
Let m(c) = -153*c - 551. Let u be m(-4). Solve -47 - 14 = u*g for g.
-1
Let v be (-99)/(-21) + (-3)/(21/(-2)). Let a(r) = -3*r + 12. Let d be a(-8). Let g be d/48 - (-25)/4. Solve -3 - g = v*o for o.
-2
Let g = -173 + 877. Solve -g + 781 = 11*w for w.
7
Let m(u) = -u - 2. Let y be m(-4). Let q be (100/4)/5 - y - -18. Solve 2*v - q = -13 for v.
4
Suppose -556 = -12*d - 127*d. Suppose -3*c - 5 = o, 5*c = -o + 4*o + 15. Solve c = -d*v - 4 - 12 for v.
-4
Let h be (-25)/(-10) + 2/4. Suppose 12 = h*m, 5*i = 3*m + 9 - 6. Suppose -5*l = 0, 0 = 3*w - w + 2*l - 10. Solve -w*g + 10 = -i*g for g.
5
Suppose -3*d - 638 = -5*j - 614, -5*d - j = -16. Solve 4*z - 2 - d = 0 for z.
1
Let f = 49 - 27. Let b be 532/(-42)*3/(-2). Solve b*x = f*x + 12 for x.
-4
Let c = 31962 + -31894. Solve c = -15*z - 67 for z.
-9
Let b = -4 + 12. Let k(p) = p**2 + 368*p + 1456. Let j be k(-4). Solve 3*a - b*a + 20 = j for a.
4
Let x(o) = 3*o - 8. Let b be x(6). Let j(s) = s**3 - 10*s**2 + 9. Let g be j(b). Suppose 2*f + f - g = 0. Solve -2 = 5*t + f for t.
-1
Let l = -102 + 102. Let i(p) = p**3 + 8*p + 8. Let w be i(l). Solve -5*q = -w + 3 for q.
1
Let h(c) be the first derivative of -c**4/2 - 31*c**3/3 + 15*c**2/2 - 16*c + 86. Let u be h(-16). Solve -6*i + 0*i + 12 = u for i.
2
Let w be -9 - (-25)/3 - 343/3. Let k = 122 + w. Solve -12 = -k*u + 3*u for u.
3
Suppose -4*z + 1 = -4*y - 7, -2*z + y = -3. Suppose 10*d - 41 + z = 0. Suppose d*l - 58 = -50. Solve l*j - 1 = 9 for j.
5
Let x be (-16)/6*(-5 - 1302/24). Let s = -154 + x. Solve 0 = -s*w + 18 - 6 for w.
3
Suppose 0 = 2*a + 2*z - 4, 4*a + 0*a + 3*z = 8. Let q be 18*9/(27/16). Suppose 0 = 98*h - q*h - 2. Solve 3*f = a + h for f.
1
Let k = 144 + -144. Let w be -6*(k - 3 - -2). Solve -2*v + 4 + w = 0 for v.
5
Suppose 7*a = 15*a - 6872. Suppose -a = 5*f - 869. Solve -f*i = 28 - 32 for i.
2
Suppose j = -23*f - 4, -3*f + 11*j + 20 = 6*j. Solve 1177*t - 1175*t + 16 = f for t.
-8
Suppose l + 2*l = 12, -5*l = -4*b + 20. Suppose -15*g - 72 = -17*g. Suppose -13*r + g = -b*r. Solve -5*s = 2 - r for s.
2
Let m(l) = l**2 + 19*l - 195. Let f be m(-20). Let a = 179 + f. Solve -n = -3 + a for n.
-1
Let i be (140/(-65) - -2) + 80/13. Suppose 2*m + 2*t - 4*t = 48, 5*m + 5*t - 80 = 0. Solve d + m = i*d for d.
4
Let k(m) = -6*m**3 - 225*m - 224. Let q be k(-1). Solve 41 - 34 = -q*z for z.
-1
Let m be (3/2)/((-1)/(104/6)). Let v = 33 + m. Suppose v*n + 4 = 18. Solve -n*j - 20 = 2*j for j.
-5
Let u be 1*12 - 6/2. Suppose 0 = -3*v + 4*k + 34, -v - 42*k + 13 = -45*k. Solve -4*c + u*c = v for c.
2
Suppose 2*n - 3*g = 16, -46*n + 33 = -41*n - 4*g. Solve -n*k - 9*k - 56 = 0 for k.
-4
Let a = 2366 + -2362. Solve -2*v + a = -6 for v.
5
Let m(a) = 21*a - 1299. Let i be m(66). Solve -42 = 43*q + i for q.
-3
Let c(b) be the third derivative of b**5/60 + 7*b**4/8 - b**3/2 + 8*b**2 + 9. Let d be c(-22). Solve 0 = -3*i - 7 + d for i.
4
Suppose -n + 144 = 2*w, -n + 66 = -4*w - 66. Solve 131*j = n*j for j.
0
Let f(p) = p**3 + 9*p**2 - 13*p + 2. Let y be f(-9). Suppose -5*r + 2*r + 4*z = y, 2*z = 2*r + 82. Let b = -44 - r. Solve -5*a + 6 = b for a.
1
Let b be 3/(12/(-28))*(25/(-35) + -1). Solve b*l - 4 - 68 = 0 for l.
6
Suppose -14 = 40*p - 42*p. Suppose -p*u + 13 = -1. Solve 0 = -i - u - 3 for i.
-5
Let l = 361 - 359. Suppose l*o - 6*o - 36 = -4*y, -4*y + 36 = -3*o. Solve 0 = -6*c + y*c - 3 for c.
1
Let s(w) = 4*w**2 - 25*w - 30. Let h be s(-10). Let y be h/105 + 16/168. Solve 5 = -y*p - 1 for p.
-1
Suppose -5*q = g - 28, -5*q + 14 = -q + 5*g. Let u be (16/q + -2)*198/12. Let d be 1 + -2 + (-3 - (3 + -8)). Solve -3*t - u - d = 0 for t.
-4
Suppose -5*c + 2*m = -43, -2*c = 9*m - 4*m + 6. Let k(f) = -12*f - 2 + c*f + 21 + 4*f. Let d be k(11). Solve -a - 3*a = -d for a.
2
Suppose 2*m - 2*b = 2 - 0, 4*b = -3*m - 4. Suppose 6*r = 9*r - 3*q + 456, 4*r - 2*q = -604. Let l = r - -153. Solve -s + m + l = 0 for s.
3
Let a be (-3 + 33)*(-3)/6. Let b = a + 16. Let p be (-5 - (-25)/5)*1/(-2). Solve p = s + b + 1 for s.
-2
Suppose 180*j + 194*j = -104*j + 29158. Solve -j*f - 76 = 351 for f.
-7
Suppose -81 = -5*i + 2*i. Suppose i + 5 = 4*v. Suppose v = -2*g + 4*g. Solve -g*r + 2 = 6 for r.
-1
Let k be (5 + 1545/20)*4. Solve 48*f + 7 = -k for f.
-7
Let j(z) = -z**3 + 8*z**2 + 6*z + 27. Let d(p) = -2*p**3 - 2*p**2 + 1. Let o be d(-2). Let q be j(o). Solve -4*t + t - 12 = q for t.
-4
Suppose 0 = -50*j - 960 + 1210. Solve -11*b - j*b = 32 for b.
-2
Let m(g) = 3*g**2 + 12*g - 25. Let n be m(3). Solve -18*h + n*h = -20 for h.
-1
Let x(n) = -9*n + 3. Let l = 102 - 102. Let i be x(l). Solve 6*q + 3 + i = 0 for q.
-1
Let x(w) be the third derivative of w**4/3 - 19*w**3/3 - 2*w**2. Let l be x(13). Let u = l + -62. Solve 0 = -q - 3*q + u for q.
1
Suppose -3 = -6*k + 717. Let f = 122 - k. Solve 5 - f = -3*u for u.
-1
Suppose u - 2*n - 3*n - 4 = 0, 12 = 3*u - 3*n. Suppose 5*c = -h + 10, -2*c - u*h - h = -27. Solve 4*f + 13 = c for f.
-3
Suppose -31 = -4*x + 3*x + z, 4*x + z - 109 = 0. Let m be 228/x + 8 - 1/7. Solve -2*w + m = -6*w for w.
-4
Suppose 4*s - 3*q = 89, 0 = -5*s + 5*q + 79 + 26. Suppose -119*i - 119*i = -287*i. Solve -s*l + 23*l + 15 = i for l.
5
Let f = -123 + 81. Let j = f - -69. Let o = -19 + j. Solve 3*i + 20 = o*i for i.
4
Let o be (36/(-45) + -6)*5. Let l = -25 - o. Solve -52 = l*y - 7 for y.
-5
Let a = -28 - -171. Suppose a*v = 138*v + 40. Solve -2*y + v = 2 for y.
3
Let x(k) = -42*k - 236. Let u be x(-6). Let f be (u/(-32))/(2/(-8)). Solve 2 - 12 = -f*v for v.
5
Let p = 11146 - 11133. Solve 3*d - 11*d = -p*d for d.
0
Let f(z) = 2*z + 10. Let c be f(-10). Let h be (-1 - -5) + c + 9. Let s be (0 + h - 2)/((-3)/(-27)). Solve 0*o - 3*o - s = 0 for o.
-3
Suppose -15*h + 3 + 42 = 0. Suppose -h*x - 28 = -2*p, -2*x = -3*p + 50 - 13. Solve -7*d + 25 = p for d.
2
Let y = 9 + -7. Let z be -3*(2/(-4)*y)/1. Let h = z - 3. Solve h*i + 2*i = 8 for i.
4
Suppose -5*t + p + 6 = -0*t, 3*p = 4*t + 4. Let v be -8 - (-1)/(t/2). Let g be (v/21)/(1/(-12)). Solve -g = -3*j + 2 for j.
2
Let z(w) = -w + 1. Let a(c) = -4*c + 5. Let j(d) = -a(d) + 3*z(d). Let i = 9 + -7. Let g be j(i). Solve g = t + 1 for t.
-1
Let g(b) = b**3 + 41*b**2 - 85*b + 48. Let s be g(-43). Suppose 4 + 2 = 3*k. Suppose 0*m = k*m. Solve -5*v = -m*v + s for v.
-1
Suppose 19*u - 91 = -15. Let a(p) = 2*p**3 - 2*p**2 + 2*p - 1. Let x = 14 + -13. Let r be a(x). Solve 0 = u*h - 3 - r for h.
1
Let x(i) = -i**2 - i. Let b be x(3). Let m be 4*(-9)/(-18) - 17/1. Let k = b - m. Solve -3 = -k*w - 6 for w.
-1
Let q = -4 - -11. Suppose 65*l - 5*n + 10 = 70*l, -47 = -4*l + 9*n. Solve l*s - 22 = -q for s.
3
Let b = 314 - 418. Let q = 105 + b. Suppose 0 = y - 4*p - 10, -3*y + 4 = 2*p - 26. Solve 0 = 3*m - y + q for m.
3
Let i(x) = -x**3 + 12*x**2 + 16*x - 37. Let t be i(13). Suppose -w - t*f = -13, -2*w + 3*f - 2 = -0*f. Solve w*p + 21 = -2*p for p.
-3
Let g be -4 + 35 + 2 + (4 - 1). Suppose 2*c + g = 11*c. Let w be (-2)/5 + (-108)/(-20). Solve -c = w*r - 3*r for r.
-2
Let i = -153 - -159. Suppose -3*c = 5*o - i*o - 19, 0 = -4*o - 16. Solve -c*m + m = -0*m for m.
0
Suppose 0 = -2*m - 2*v + 326, 2*m - 603*v + 599*v = 284. Solve m*c = 145*c for c.
0
Let a be ((-8)/5)/(13/(-65)). Let v be -14*6/a*186/(-279). Solve -3*y = -v*y - 12 for y.
-3
Let a(v) = 1026*v - 9234. Let m be a(9). Solve m = -0*l - 53*l + 159 for l.
3
Let i be -1*2/6*-12. Let z(y) = y**2 + 126*y + 3195. Let t be z(-91). Solve i*b - 2*b = t for b.
5
Let v = -12 + 14. Suppose -v*c - 4*c = -12. Suppose d + 4*r - 19 = 0, -r + 8 + 2 = 2*d. Solve -q + d*q + c = 0 for q.
-1
Let b = -46 - -58. Suppose b*j - 9*j = 15. Suppose 14*a + 1 = 15*a. Solve -9 = j*l + a for l.
-2
Suppose -742*g = -792*g + 1300. Solve 0 = 16*l - g*l - 60 for l.
-6
Let o be ((-204)/12 - -13)/1 - -4. Let c be -3 + 4 - (0 + -1). Solve o*p = c*p + 2 for p.
-1
Let h(f) = f**3 - 12*f**2 + 43*f - 453. Let b be h(12). Solve -22*k + b = -15*k for k.
9
