. Solve -3*t - a + 6 = 0 for t.
-4
Let p(v) = v**3 - 10*v**2 + 2. Let y = 14 + -4. Let f be p(y). Suppose a - 3 = f. Solve 0 = a*h - h for h.
0
Let p = 1811 - 1792. Solve p*z = 20*z for z.
0
Suppose 74*t - 12 = 62. Solve -10*z - t = 19 for z.
-2
Suppose -2*n + 2 = -0. Let l be 9 + -1 - n - 2. Suppose -5*j + 4*j = -3. Solve j = -l*z + 18 for z.
3
Suppose 3*j - 2*u + 19 = 71, 4*j + 3*u - 92 = 0. Solve -24*z + 28*z = j for z.
5
Let x = -36 - -36. Suppose 9 - 19 = -5*u. Suppose -6*g + 24 = -2*g. Solve -u*h = g - x for h.
-3
Suppose 0 = 4*f - 12 - 0. Suppose -9 = -3*t, -f*t = -r - 2*r + 6. Solve 13 = -r*a - 7 for a.
-4
Let u be (138/(-115))/(6/(-50) + 0). Solve 11*t = 13*t - u for t.
5
Let q(m) = -m**2 + 7*m + 0*m**2 + 4 - 13*m + 3*m. Let c be q(-3). Solve r = -r + c for r.
2
Suppose -4*j + s = -12, s + 4*s + 14 = -3*j. Suppose i = -2*m - 2*m - 10, -5*m - 7 = 4*i. Let l(z) = z - 1. Let b be l(i). Solve j*t = -b - 5 for t.
-3
Suppose -5*z - 349 = -5*f + 31, 5*f = -2*z + 387. Solve -f*d = -80*d - 3 for d.
-1
Suppose 12 + 8 = 4*p. Solve b = p*b - 20 for b.
5
Let d be 0 + -1 + 1 + 2. Suppose 2*j = -d*m + 4, 0*m - 10 = -5*m + 4*j. Solve 4 = m*t + 2 for t.
1
Let j(c) = c**3 + 78*c**2 + 74*c - 81. Let d be j(-77). Solve -15*o = 15*o + d for o.
-5
Let t(i) = 4*i - 4. Let b be t(2). Suppose 3*g + b - 13 = 0. Solve -1 = -a - g for a.
-2
Suppose 14 = 3*f + o - 22, 2*o - 12 = -f. Solve -3*c = -f*c + 9 for c.
1
Suppose 4*q = -3*b + 329, -q = 3*b + 53 - 394. Solve -112 = 3*h - b for h.
1
Suppose 5*l - 3 = 7, 83 = 3*c + l. Solve -2 = 5*s - c for s.
5
Let w(y) = y**2 + 11*y - 7. Let j be w(-12). Suppose 16*v = 18*v - 4. Solve v*x = j*x for x.
0
Let j(u) = 2*u + 16. Let d be j(-17). Let w = d + 22. Solve a - 3 = w*a for a.
-1
Let w = 1075 + -1069. Solve w*j + 51 = 21 for j.
-5
Let o be (-6)/1 + (-30)/(-4)*4. Solve 8*q - o = 2*q for q.
4
Let u = -9 - -18. Let r(o) = -3*o - 57. Let z be r(-19). Suppose -3*y - 14 = -g, 0 = 3*g + y - z*y - 2. Solve u = g*f + f for f.
3
Let c be (0 + -2)*2/(-4). Let q be 6/24 - 134/(-8). Let h = -8 + q. Solve 2*a = c - h for a.
-4
Let r = 6 + 0. Let x be 4*(-6)/(-4)*r. Solve x = 5*y + 11 for y.
5
Let r = -21 - -24. Suppose -r*b + 16 = b. Solve -4*y = 16 - b for y.
-3
Suppose 0*u + 4*u - 104 = -2*c, -5*u + c + 137 = 0. Let m(i) = 2*i**2 + 85*i + 273. Let t be m(-39). Solve -5*l - u + 12 = t for l.
-3
Let o = 64 - 51. Let c(u) be the second derivative of -u**4/12 + 5*u**3/2 - 19*u**2/2 + u. Let l be c(o). Solve -l*n - 15 = -2*n for n.
-3
Let k = 4 + -1. Suppose 3*b = 9*b - 600. Let v = 100 - b. Solve -k*q - q = v for q.
0
Let g = 12 - 9. Suppose -5*u - 4*m + 45 = m, u + g*m - 9 = 0. Let f = -4 + u. Solve 8 = i - f*i for i.
-2
Suppose 2*k - 2*b = -7*b - 25, 4*k + b + 41 = 0. Let t = -6 - k. Let x be (-132)/(-10) - 21/105. Solve -7 - x = t*w for w.
-5
Let o = 6 + -5. Suppose -2*a + 5*s + o = 0, -2*a - 2*a - 63 = 3*s. Let v = -8 - a. Solve -x - v = x for x.
-2
Let j = -6 + 10. Suppose -11*r - 8723 = -2*r - 8741. Suppose -4 = -5*m + 26. Solve m = -j*c - r for c.
-2
Let l(x) = 3*x**2 + 2*x + 4. Let v = -37 - -35. Let g be l(v). Solve -4*r + r + g = 0 for r.
4
Suppose 3*r - 62 = 418. Suppose -3*a - 300 = 2*n - 0*a, -n + a = r. Let l be 6/4 - n/24. Solve l*u - 3*u = 0 for u.
0
Suppose 0 = -y + 7 - 3. Let a(v) = v**2 - v - 8. Let p be a(y). Solve 0 = -p*b + 2*b for b.
0
Suppose -5*p - 44 = -9*p. Suppose p = -5*b + 26. Solve -4*y = -b*y + 2 for y.
-2
Let p(f) = -f**3 + 5*f**2 + 6*f - 2. Let m = 0 + 5. Let q be p(m). Let t = -25 + q. Solve 0 = -t*n + 6 + 3 for n.
3
Let s be 1 - 2*-4 - (1 - 3). Solve s = c + 8 for c.
3
Suppose m - 35 = -4*f + 6*m, 2*f + 4*m = 24. Let h = 12 - f. Suppose 3*u - 15 = 5*k, -2*u - 12 = h*k + 2*k. Solve u = 5*d - 2 - 3 for d.
1
Suppose -32*p = -26*p - 18. Solve 55 = p*c - 14*c for c.
-5
Let f(p) = 2*p**3 - 73*p + 5. Let o be f(-6). Solve 0 = o*a - 5 + 27 for a.
-2
Suppose 5*g - 3*g - 12 = 0. Suppose 12 = -3*b + g*b. Suppose 2*i - 2*n = -10, -5*i + 4*n - 7*n + 15 = 0. Solve -2*a + i*a = -b for a.
2
Let f(v) = -v**3 + v**2 + v + 1. Let c be f(0). Let g(m) = 14 - m - 21 + m**2 + 8 + 3*m**3. Let s be g(c). Solve 2*z + 6 = s*z for z.
3
Let j(d) = 170*d - 1020. Let r be j(6). Suppose 3*t + 5*n - 5 = 0, -3*t + 3*n - 2 = n. Solve -2*y + r - 4 = t for y.
-2
Suppose -6*u = -5*u + 1. Let m be 10/15 - (4/(-6))/u. Solve m*j - j = 0 for j.
0
Let y = 8 - 6. Suppose -4*b = -5*a + 16 + 7, y*a = -3*b. Let f be (a/2)/(3/8). Solve 4*r - f = -0*r for r.
1
Let u(t) be the second derivative of t**5/20 - t**4/12 - t**3/3 - 26*t. Let x be u(0). Solve -5*a + 5 + x = 0 for a.
1
Suppose 95 - 111 = -2*o. Solve s + o = 3*s for s.
4
Suppose -6*m = 11 - 53. Solve -4*b + 15 = -m*b for b.
-5
Let k(a) = -2*a + 7. Suppose -11 = -m + 2*q, 3*q - 4 = -4*m + q. Let n be k(m). Solve 2*y = 9 - n for y.
4
Let k = -3 - -14. Let s = k - 12. Let w be s + (3 + 0)/3. Solve 0 = -w*b + b + 5 for b.
-5
Let p = 19 - 3. Suppose -u = -0 - 7. Suppose -2*f - u = -9. Solve 3*d + f - p = 0 for d.
5
Let m = -9 + -44. Let p = 73 + m. Let f(h) = h**2 - 2*h - 4. Let n be f(4). Solve a = -n*a - p for a.
-4
Let l be (-6)/2*2 + (-225)/(-15). Solve -26 = 7*d + l for d.
-5
Let g be (-80)/(-120) - (2 - 21/9). Solve -w + g = 3 for w.
-2
Suppose -48 = -21*f + 36. Let y be (1 + (-4)/(-2))*-2. Let o = 7 + y. Solve -f*t = -o - 7 for t.
2
Let n = -32 + 33. Suppose 5*m = -3*b + n - 7, -m = 5*b + 10. Solve 4*a - 4 = -m for a.
1
Let t = 159 + -145. Let w(z) = 4*z**2 - 1 + 7 - 14*z - 3*z**2. Let f be w(t). Solve -y = -3*y + f for y.
3
Let o be ((-56)/4)/(-2)*2. Let c be (108/(-42))/((-3)/o). Solve 3*r = -c - 0 for r.
-4
Let v(w) = -3*w + 18. Let k be v(10). Let g be (-2)/5 + (-17)/(-5). Let r be k/((-1 + g)/(-2)). Solve -h + r = 2*h for h.
4
Let n(z) = z**3 + 2*z**2 - 5*z - 3. Suppose 6 = -3*d - 3. Let r be n(d). Solve -2*y + 5*y - r = 0 for y.
1
Let f = -428 - -436. Solve p - 5*p = f for p.
-2
Suppose 11*m - 9*m - 2 = 0. Let k be m + (-7)/((-7)/20). Solve 5*q - 4 - k = 0 for q.
5
Suppose 2*b - 9*b = -175. Suppose -13*k + b = -1. Solve -3*t - 11 = -k for t.
-3
Let n be (-3)/(-4) + 57/(-76) + 0. Solve n = -k - 461 + 457 for k.
-4
Let z = 2 - -4. Solve -z*p + 6 = -8*p for p.
-3
Let u be 0/((2/4)/((-20)/80)). Solve u = 10*a + 8*a for a.
0
Let h be (5 - -2)/(2/4). Let n = -22 + 47. Suppose 7*o = n + 17. Solve o - h = -4*a for a.
2
Suppose -5*z = 4 + 21, 3*x + 5*z = 662. Solve x*h - 9 = 232*h for h.
-3
Let b(o) = o**3 + 5*o**2 - o + 4. Let x be b(-5). Let s(i) = -i**2 + 8*i + 11. Let v be s(x). Solve -v = -4*w - 6 for w.
-1
Suppose -4*g + 9*g + 45 = 0. Let s be (-23 + 22)/(1/g). Solve -3 = -3*m + s for m.
4
Suppose 101*c - 40 = 105*c. Let x = -15 - -27. Let p be x/c*(-15)/6. Solve -7*f - 12 = -p*f for f.
-3
Let k = -19 - -21. Suppose u - 8*u = -2*u. Solve u = -c + k*c - 2 for c.
2
Suppose -3*v + 5*v - 20 = 0. Suppose 2*q + v = 66. Suppose 14 + 13 = 4*h + t, -q = -h + 4*t. Solve 0 = i + 3*i - h for i.
2
Suppose 0 = -w - 2*a + 13, 2*w - 5*a - 11 = -6*a. Suppose -72 - 38 = -5*z. Suppose 0 = -4*v + d + z, 0*v + v - 11 = w*d. Solve -3*l - v = 2*l for l.
-1
Let u be ((-8)/(-6))/((-35)/(-18) + -2). Let o = 34 + u. Solve 6*w - 8*w + o = 0 for w.
5
Let m(s) = s - 4. Let p be m(5). Let u be (4/(8/(-2)))/((-8)/24). Solve 2*o - p = -u for o.
-1
Let m(x) = -x + 18. Let f be m(7). Suppose 30 = -5*s + f*s. Solve -s*w + 4 = -1 for w.
1
Let m = 11 + -9. Suppose m = -4*t + 14. Solve t = -2*n + 9 for n.
3
Let w = 89 + 1. Suppose -5*y + 3*o = -w, y + o = 12 - 2. Solve 3*v + y = 6*v for v.
5
Let w be -8*(-1)/(-6)*(-153)/6. Solve -32*i = -w*i for i.
0
Let k be (-10)/(-25) + 46/10. Suppose k*z = 8*z - 6. Suppose -x = -3 - z. Solve 0 = x*s + 1 + 4 for s.
-1
Let h(s) = s**3 - 22*s**2 - 21*s - 44. Let b be h(23). Suppose -5*u - 3 = 2. Let n be -1 - (-2 - u - 2). Solve -b = -n*i - 0 for i.
1
Let w = -5 - -3. Suppose 6*a + 48 = -6*a. Let z be 41/2 - w/a. Solve -2*j - z = -6*j for j.
5
Let x be (-268)/(-6) + 5/15. Let c be (-10)/x + (-58)/(-18). Solve c = -w + 5 for w.
2
Let i be (-1 + 1 + -1)/((-1)/(-5)). Let m be ((-65)/(-2))/13*(-6)/i. Solve 0 = -4*u + m + 1 for u.
1
Let t = -9 + 10. Let q be 1/t*((-24)/(-6) - -6). Solve -3*j = 2*j - q for j.
2
Let q = -8 + 59. Suppose -2*v + 2*h - 18 = -3*v, -5*v + 3*h = -q. Solve v = -2*n