= 3*t for t.
1
Let o(h) = h**3 + 8*h**2 - 2*h + 4. Let y be (4/5)/((-3)/30). Let b be o(y). Let m(n) = n**2 - 2*n + 2. Let d be m(2). Solve d*s + b = -2*s for s.
-5
Suppose 0 = -3*s - 28 + 40. Let v be (-2)/s*(0 + -4). Solve -v*m = 12 - 4 for m.
-4
Suppose 0 = 3*k - 2*k + 87. Let m be (-1)/(4 + k/21). Solve -3*j = 1 - m for j.
2
Let h = 986 + -938. Solve -h*s + 43*s = 25 for s.
-5
Let v(t) = -t**2 + 15*t + 18. Let w(c) = 2*c**2 - 4*c - 1. Let q be w(4). Let z be v(q). Suppose 4*b - 2 = z. Solve 15 = b*g + 35 for g.
-4
Let g(h) = h**3 + 13*h**2 + 22*h + 2. Let b be g(-11). Solve t + b = -3 for t.
-5
Let g be (8/(-10))/(5/(-50)). Let d(w) = 7*w - 28. Let r be d(g). Let l = -28 + r. Solve l*u = -4*u - 20 for u.
-5
Suppose 33 = 4*t - 19. Suppose 2 + t = f. Solve 3*b + 2*b + f = 0 for b.
-3
Let n = 609 + -582. Solve 29*t - n*t + 2 = 0 for t.
-1
Let h(r) = -2*r + 23. Let q be h(-16). Suppose 3*l - q + 37 = 0. Solve -25 = -t + l*t for t.
-5
Let g(h) = h**3 - 9*h**2 - 8*h. Let q be g(10). Let c = q - 15. Suppose 4*a = y - 4 + 3, 5*a + c*y = 5. Solve -3*i + 0*i + 3 = a for i.
1
Suppose 0 = j - 1 - 4, -1 = 2*s - j. Solve 1 + 3 = -s*p for p.
-2
Let i(j) = -j + 1. Let c(t) = -t**2 - 7*t - 14. Let l(h) = -c(h) - 4*i(h). Let a be (-11)/(0 + -4 + 5). Let m be l(a). Solve m = 3*f + 1 for f.
3
Let h be 4/14 + 80/14. Let i be ((-1505)/15)/(-7) - h/(-9). Solve -j = -4*j + i for j.
5
Suppose 2*a - 4*a = 82. Let r = a + 44. Suppose -r*d - 20 = -56. Solve d = 3*b + b for b.
3
Let o(i) = -i**2 - 6*i + 13. Let y be o(-10). Let v = y + 31. Solve 10 = v*h - 9*h for h.
-2
Let g(o) = 12*o - 778. Let d be g(66). Solve 7*a = d*a - 7 for a.
1
Suppose -16*i + 12*i = -28. Suppose -i = -5*s + 3. Solve 3 = s*x - 3*x for x.
-3
Let n = -50 + 53. Suppose 0*x + 2*x - 13 = -n*j, 5*j = 2*x + 43. Solve -4*r - 12 = -j*r for r.
4
Suppose -44 = 18*l - 206. Solve -13 + l = 2*o for o.
-2
Suppose -3*i = -2*z + 226, 0 = -3*i + 5*i + 8. Let r = -107 + z. Solve -4*q - 20 = -r for q.
-5
Let c(z) = 3*z**3 - 25*z**2 + 8*z + 5. Let x be c(8). Solve 0 = 5*l - 6*l - x for l.
-5
Let t be 78/(-10)*13/(-39)*5. Solve -9 = -t*x - 35 for x.
-2
Suppose u + 0*u = -u. Let v be 0/(-2) + (5 - 3). Solve u = v*h - h - 2 for h.
2
Let r be (-189)/(-24) - (-7)/56. Solve 11*p - r*p = 0 for p.
0
Suppose 0 = 3*s + 12, 2*h - 7*h + 152 = -3*s. Let a be (-2)/5 - h/(-20). Solve -f = 5 - a for f.
-4
Let t = 61 + -58. Suppose t*l - n = 31, 3*l + 2*l = -2*n + 37. Solve -3*m - 6 = l for m.
-5
Suppose 6*t - 124 = -28. Let i(w) = -w + 8. Let m be i(0). Solve m*x + t = 4*x for x.
-4
Let o(p) be the first derivative of -3*p**2/2 - 20*p - 1. Let x be o(-8). Solve -x*j + 3 = -5*j for j.
-3
Let d = -162 + 162. Solve d = -2*y - 0 - 2 for y.
-1
Let k be 4/(-10) + 216/90. Let r = -4 + 4. Suppose 0*p - 5*p = r. Solve d - k = -p*d for d.
2
Let m be 4/18 - 6444/(-162). Suppose 2*p - m = -0*p. Solve 5*l = l + p for l.
5
Suppose -60*s = i - 57*s + 5, -4*i + s + 6 = 0. Solve -5*g = 11 - i for g.
-2
Suppose -3*w = 2*u - 105, 6*u = u + w + 288. Suppose 0 = u*k - 56*k - 2. Let q = 0 - -2. Solve -12 = q*z + k*z for z.
-3
Let i(k) = 6*k - 1. Let h be i(1). Let z(a) = a + 3. Let b be z(-4). Let o be 1*(b - -4) - 1. Solve -12 = -h*n + o*n for n.
4
Suppose -5*g + 58 = -3*o, -61*g + 60*g = 4*o - 30. Solve 0 = 24*d - 31*d + g for d.
2
Suppose -c = 53 - 63. Solve -14*j = -16*j + c for j.
5
Suppose -15*w + 48 = w. Let z be w*(3 - 68/(-12)). Solve z - 6 = 4*b for b.
5
Let q be (-2)/(-3) - (-14)/63*-12. Let j be q + 2 - (-4 - -2). Solve -j = y - 3*y for y.
1
Suppose -2*x + 1 = -g - 25, 3*g = 2*x - 34. Suppose -5*h - 1 = i - 3, 3*i - 2*h = -x. Let z = i + 8. Solve -z*f + 4 = -3*f for f.
2
Let w(n) = 2*n + 39. Let x be w(-11). Solve x = q + 12 for q.
5
Suppose 11*y - 1142 = -273. Solve -82*x + y*x = 12 for x.
-4
Let p be 7/21 - 50/(-30). Let b be (-276)/(-14) - (-2)/7. Solve -2*c - b = p*c for c.
-5
Suppose -23 = -5*r - w, -r + 0*w + w = -1. Solve -3*z - r + 19 = 0 for z.
5
Let c = -42 + 47. Suppose 0 = k - 2*k + c. Solve -k*t - 11 = -31 for t.
4
Suppose -2*c = -6*c - 6*c. Let x be c/(-1 - 1 - -3). Solve -4*a - 4 = -x*a for a.
-1
Suppose d + 5*v = 20, -3*d + 9 = v - 9. Let n = -1263 - -1257. Let w be (20/d)/((-4)/n). Solve m - 1 + w = 0 for m.
-5
Let x be 20/(-420)*-238 + 2/3. Solve x*c - 12 = 36 for c.
4
Suppose 2*i + 4 = 2*g, -20*i + 17*i + 3 = 0. Solve -2*f - 7 = g for f.
-5
Suppose 6 = 4*l - 26. Let p = l + -5. Solve 0 = p*g - 4*g + 2 for g.
2
Suppose 57 = 3*g + 15. Suppose 0 = -4*o - 6 + g. Suppose l - 4*r = -10, -o*l + 6*r - 4*r = 2. Solve -3*f + 10 = l*f for f.
2
Suppose 35*l = 37*l - 4. Solve -l*k - 3*k - 10 = 0 for k.
-2
Let j(q) = 2*q**2 - 2*q. Let b be j(2). Suppose -2*y + 60 = -0*y. Suppose -89*p + 9*p = -800. Solve b*o = -y + p for o.
-5
Suppose -3*v = -3*g + 51, 3*g = 2*v + 3*v + 55. Let x be (g/(-30))/((-1)/(14*1)). Solve -2*c - x = 3 for c.
-5
Let k(x) = -x**2 + 8*x - 7. Let g be k(5). Let i = 1 + g. Suppose 24 - i = 5*b. Solve 0 = -b*d - d + 20 for d.
5
Let l(f) be the first derivative of -f**3/3 - 3*f**2/2 + 9*f - 1. Let h be l(0). Suppose -h = -44*a + 41*a. Solve -a*d = -5*d for d.
0
Suppose 10*c = 15*c - 10. Suppose 3*b + 2 = 2*y, -2*y = -5*b - 0*b + 2. Solve -8 - b = -c*i for i.
5
Let p be ((-11)/22)/((-1)/14). Suppose 4*j - p*j = -3. Solve 8 + j = -3*z for z.
-3
Suppose -q = 1, 4*v - 40 = 4*q + 36. Let a = v + -3. Solve a = 4*f + 3 for f.
3
Suppose -3*o = -u - 10, 7*u - 6*u = 4*o - 14. Solve 4*b = -0*b - o for b.
-1
Let r(x) = -3*x + 118. Let a be r(36). Let z be (2 - -1) + (-2 - 1). Solve -2*y + z = a for y.
-5
Let q(p) = p**3 + 8*p**2 + 3. Let y be q(-8). Let s(i) = 1 - 3 + 3*i**2 - y*i - i**2 + 0. Let z be s(-1). Solve 0*h = z*h for h.
0
Let y(o) be the third derivative of -o**4/12 + o**3/3 + 5*o**2. Let m be y(1). Solve m*x = 5*x + 25 for x.
-5
Suppose 4*z - 2*x = 6, 2*z - 6*x + 2*x = -12. Let p = 28 + -13. Solve 9*b = z*b - p for b.
-3
Let w be (-27)/(-6)*4/6. Let o = 136 - 130. Let f be (o/15 + (-222)/105)*-7. Solve -f = -w*r - r for r.
3
Suppose 5*o - 41 = 4*x, 2*x + 12 = -3*o + 19. Solve 7 + 3 = -o*u for u.
-2
Suppose 5*d = 3*l - 29, 22*d = 25*d - 6. Let x = -14 + 25. Let u = l - x. Solve 3*k - k = -u for k.
-1
Suppose 4*a = -c + 41, 2 = -2*a + 3*c + 5. Let w = -41 + a. Let z = w - -34. Solve 0 = s - z*s - 5 for s.
-5
Let t = 2641 + -2627. Let x be 2 + 4 - (3 + -1). Solve -t + 2 = -x*m for m.
3
Suppose 24*t + 242 - 314 = 0. Solve t*b - 37 + 22 = 0 for b.
5
Suppose -7*c + 2*c + 20 = 0. Let k be 7/((-14)/c) - -22. Solve -x + k = -6*x for x.
-4
Let h be -6 - (0 - 4) - -39. Let n = 41 - h. Solve q - 15 = -n*q for q.
3
Let r = 241 + -241. Solve -5*t + r = 20 for t.
-4
Let x be (3 - (4 + -5)) + -2. Suppose -m - x - 1 = 0. Let i = m + 5. Solve -q = i*q - 9 for q.
3
Suppose -1152*c + 54 = -1143*c. Let t(n) be the first derivative of n**2/2 + 6*n - 2. Let b be t(-4). Solve -b*w = -4 + c for w.
-1
Let y(p) = p**2 - 10*p - 12 - 2*p**2 - 3*p. Let k be (54/4)/9*(0 - 8). Let d be y(k). Solve d = -0*l + 2*l - 6 for l.
3
Let d(x) = -27 - 17*x**2 + x**3 + 8*x**2 - 4*x**2 - 26*x - 13*x**2. Let i be d(27). Solve 4*h - 16 - 4 = i for h.
5
Suppose -3*u = 4*j - 32, 5*j - 28 = -2*u + j. Let g be 1/(-2) - (2 + 11/(-2)). Solve -g*z - z + u = 0 for z.
1
Suppose -7*f + 40*f - 33 = 0. Solve -6*t - 13 = -f for t.
-2
Suppose 4*w - 4 = 4*r - 56, 0 = 3*r + 5*w + 1. Suppose 0*o - o = 0. Let f = o - 0. Solve f*g - r = 4*g for g.
-2
Suppose -5*r = -12*r + 21. Suppose -7 = -3*b - 4*t, -4*t + r*t = b - 3. Solve 0 = b*v - 5 + 20 for v.
-3
Let b = 52 + -64. Let z(x) = x**3 + 11*x**2 - 14*x - 24. Let y be z(b). Suppose 2*p - 12 = p + f, -3*p + 34 = -2*f. Solve 0 = -y*t - 2*t + p for t.
5
Suppose -x + 21 = -5*z, 3*x = -z + 7 + 8. Suppose 143*c = 145*c - x. Solve -c*v - v = 16 for v.
-4
Let m be ((-65)/(-4))/(5/(31 - 11)). Solve -11*n = -m + 10 for n.
5
Suppose p + 8 = 2*i + 2*i, 2*i - 4 = 0. Let z be 7 + p + -3 - 2. Solve 8 = 2*g + z*g for g.
2
Suppose -3*j + 4*j = 0. Suppose j = 2*u + u. Solve u = 3*p + p - 8 for p.
2
Let v be (-30)/(-8) + 0 + 4/16. Let r(a) = 4*a + 2 - 2 + 1. Let i be r(1). Solve -i = -l - v for l.
1
Let d be 0/5*(-2)/(-4). Solve d*q - 2*q - 10 = 0 for q.
-5
Let b(x) = -x**2 - 6*x - 5. Suppose f + 5*a - 25 - 5 = 0, f + 2*a = 15. Suppose 0 = -2*