for t.
-4
Suppose 16*u - 20 = 11*u. Let h be (6/(-4))/((-3)/u). Solve 2*v = -h*v + 8 for v.
2
Let a be 37/5 + (-27)/(-45). Let v = a - 5. Suppose -v*y = y. Solve y = -7*g + 4*g - 3 for g.
-1
Let a be (-492)/369*9/(-4). Solve -23 + 8 = a*q for q.
-5
Suppose -124*i - 6 = -127*i. Suppose 6 = 2*y - 3*j, -i*j = 2*y - 0*j + 4. Solve 2*u + u - 15 = y for u.
5
Let q = -298 - -298. Solve q = -5*l + 6*l + 2 for l.
-2
Let d(x) = x**2 - 17*x + 31. Let o be 0 + 2/5 - (-219)/15. Let v be d(o). Solve 5 = -3*h - v for h.
-2
Suppose -i - 91 = -3*p, 0*i - 91 = i - p. Let u = 96 + i. Solve u*g + 3 = -7 for g.
-2
Suppose w + 3 - 1 = 0, -4*w + 67 = 3*o. Solve o - 7 = 9*r for r.
2
Let x be ((-38)/12 - -3) + (-21835)/(-330). Solve 20*t - 26 = -x for t.
-2
Let p(c) = 2*c**2 + 15*c - 46. Let v be p(-10). Solve 0 = 2*j + 2 + v for j.
-3
Let b(x) = -x**2 + 8*x - 4. Let t(d) = d**3 + 11*d**2 - 2*d - 14. Let n be t(-11). Let k be b(n). Let i be 30/k*(-6)/9. Solve -i*z = -6 - 4 for z.
2
Let o(a) = -a + 12. Let k be o(7). Suppose 4*v - 6 = -5*p - k, 4*p = -5*v + 8. Solve -v*y - 30 = -10 for y.
-5
Let f(d) = -d**3 + 12*d**2 - 11*d - 1. Let z be f(11). Let g(l) = -19*l + 1. Let m be g(z). Solve p = 5*p + m for p.
-5
Let q = 2 - 0. Suppose 0 = -0*l - 5*l. Suppose 2*i - 28 = -4*t, l*i + 2*i = 4*t - 4. Solve 0 = q*y - i*y for y.
0
Let d(u) = -u**3 + u**2 + 5*u - 6. Let g be d(2). Let r be (3 - 1) + (g - 2). Solve r = -2*t - 0 - 8 for t.
-4
Suppose -20*x + 14*x = -480. Let s be (x/(-48))/((-10)/36). Solve -25 = -s*i + i for i.
5
Suppose -80 = -3*u - u. Let j(n) = -n - 4. Let z be j(0). Let k be (18/(-12))/(2/z). Solve 2*s = -k*s + u for s.
4
Let v be -1 + 20/4 - 2. Suppose 0 = 4*a - v*a - l - 1, 5*a - 4*l = -5. Solve -a*b - 8 = 4 for b.
-4
Let z(y) = -10*y**3 - 3*y**2 + 8*y - 8. Let b(f) = f**3 + f**2 - f + 1. Let m(n) = -4*b(n) - z(n). Let k be m(2). Let l = -37 + k. Solve -2*t - l = 7 for t.
-5
Let t(f) = 22*f - 14. Let n be 7/((1 - 4)/(-3)). Let q be t(n). Let p be 10/45 + q/18. Solve 0*m - p = -2*m for m.
4
Let d be (3/(-1) - 2)/1. Let m be 6/1 + d/5. Solve 8 = m*n - 12 for n.
4
Let f(t) = -t**2 - 19*t - 79. Let l be f(-10). Solve 0 = 5*w + l - 16 for w.
1
Suppose 122 - 23 = 9*f. Solve 6*d = -5*d - f for d.
-1
Let q be 15/3*((-70)/(-25) - 2). Solve 43 - 51 = -q*y for y.
2
Let f(d) = -4*d**3 + 3*d**2 - 3*d - 4. Let s be f(-2). Let t = s - 64. Let b = 21 + t. Solve -h = -b*h + 6 for h.
3
Let u be ((-18)/15)/((-8)/20). Solve -6*z = 3 + u for z.
-1
Suppose 0 = -3*v - 3*g, -3*v - 4 = v + 3*g. Let f be (-5 - v - 0)*-13. Solve 4*c = -3 - f for c.
-4
Let v(l) be the third derivative of l**5/60 - 7*l**4/24 - 11*l**3/6 + 3*l**2. Let w be v(8). Let t = 8 - w. Solve 3*p = t + 4 for p.
5
Let j = 4 - 4. Suppose -w - 15 = -4*x, 3*w + 0*w - 4*x = -5. Let g = w - 5. Solve j*q - 2*q + 6 = g for q.
3
Let z be 9 - 2 - 10/2. Solve 0 = z*b - 16 + 22 for b.
-3
Let l(u) be the third derivative of u**6/120 - u**5/3 + 3*u**4/4 + 7*u**3/2 + 30*u**2. Let b be l(19). Solve -3 = b*i - i for i.
-3
Suppose 2*a + 4*p = -a + 27, -3*a = 3*p - 24. Let y = 1 + a. Let n = 13 - y. Solve n = -s + 3 for s.
-4
Let l(d) = -d**3 + 6*d**2 + 7*d + 2. Let b be (-40)/(-22) + (-10)/(-55). Let k be (b/(-4))/((-1)/14). Let q be l(k). Solve -1 = -x + q for x.
3
Let d(j) = -j**2 - 6*j + 23. Let q be d(-7). Solve -14*g = -q*g for g.
0
Let p = 2527 + -2402. Solve -p = 28*f + 15 for f.
-5
Suppose -102 = -4*r + 6*r. Let k = r + 51. Solve 5*v + k = 5 for v.
1
Let a = 3 - 1. Suppose -7 = 17*u + 10. Let g be (((-8)/(-3))/4)/(u/(-6)). Solve -a*r + 6 = -g*r for r.
-3
Let q(h) be the first derivative of -6 - 1/3*h**3 - 6*h - 5*h**2. Let d be q(-9). Solve -d*c = -c + 6 for c.
-3
Let d = -990 + 998. Solve -22 = -d*r + 10 for r.
4
Let b = 1 - -1. Let j(h) = -h**3 - 8*h**2 - 4*h - 11. Let f be j(-8). Suppose 16*k + 40 = f*k. Solve -k = b*s - 0 for s.
-4
Let u = 684 + -665. Solve -i + 16 = u for i.
-3
Let q = 1967 + -1967. Solve q = -29*s + 25*s - 12 for s.
-3
Suppose 2*f - 44 = -4*h, -h - f + 0*f = -11. Solve 4*w = -h + 3 for w.
-2
Let j be (-1156)/(-48) - 6/72. Solve 6*y + j = -0*y for y.
-4
Suppose -4*i = 5*c - 3*c - 36, -4*c - 16 = 0. Let g = -4 - -18. Solve i = -5*m - g for m.
-5
Suppose -214*i = -211*i - 24. Solve -i = -2*y + 4*y for y.
-4
Let o(p) = -p**2 + 20*p - 27. Let q be o(19). Let t(r) = -r**2 - 8*r + 4. Let l be t(q). Solve f - 3*f = -l for f.
2
Let o be (-7 - -8) + (-46)/2. Let r = o + 27. Suppose -3*y - q + 27 = 0, r*q + 9 = 2*q. Solve -y = -w - w for w.
5
Suppose 3*r - f = -2 + 5, 4*r = 2*f + 2. Let n = 62 - 48. Suppose -4*u = 2*o + 2, -4*o + 4 = -3*u - n. Solve v - r = o*v for v.
-1
Let d = -3 - -8. Suppose 2*g - 175 = -d*p, 0*p + 4*p - 128 = -4*g. Suppose -p = -2*c + 3. Solve s - c = -4*s for s.
4
Let s be (-49)/(-14) - 1/(-2). Solve 0 = -s*o - o + 20 for o.
4
Let q = -630 + 633. Solve -q = -v - 1 for v.
2
Let n be 7/(-21) + (-13)/(-3). Suppose 0 = m - 4*k - 7, 0 = 3*k - n*k. Solve -m = -2*a - 1 for a.
3
Let z be -43 + 40 + 7 + 0/(-2). Solve 4 + 8 = z*f for f.
3
Let f(t) = t - 20. Let d be f(44). Solve d = -v + 27 for v.
3
Let r = -1 + 1. Let f = 1659 + -1655. Solve r = f*c - 16 + 36 for c.
-5
Let o(f) = -2*f - 26. Let j be o(-22). Solve 3*m + j = 15 for m.
-1
Let g(r) = r. Suppose -2*p + p = 5*n - 6, 0 = -4*n - 5*p + 9. Let u be g(n). Let j = u + 0. Solve -f + 5 = j for f.
4
Let a = -5 - 9. Let c be 2*(a/(-4) - 3). Let b be 3*c + 7 + -8. Solve b*n - 10 = -3*n for n.
2
Let f be 7 + 4 + -2 + 0. Suppose 3 = -3*k + f. Suppose a - k = -a. Solve -p + 2*p - a = 0 for p.
1
Let u(a) = 2*a - 1. Let s be u(3). Solve -s*p = -0*p for p.
0
Let k(u) = -8*u**3 + 2*u**2 - 1. Suppose -7*a + 2*a - 3 = r, 0 = 4*a - 2*r + 8. Let i be k(a). Let w = i - 7. Solve w*q - q = 5 for q.
5
Let o = 56 - 63. Let d be (21/(-2))/o*(-20)/(-6). Solve -d = 2*n - n for n.
-5
Suppose -18*w - 13 = -31*w. Solve 0 = 5*h + 16 - w for h.
-3
Let c be (4/(-6))/(-7 - (-366)/54). Let v be 0*3/18*c. Solve v = -z - 2*z - 6 for z.
-2
Suppose 0 = -2*l - h + 148, -2*h + 22 = l - 55. Solve l = j + 68 for j.
5
Let r be (15/(-10))/((-3)/6). Suppose -8*v = -r*v. Solve -2*h = -v*h + 6 for h.
-3
Let k be (-6)/(2*(2 - 3)). Suppose -k*a + 6 = -a, 4*a = -4*j + 32. Solve 3*l - j - 10 = 0 for l.
5
Suppose 28*x = 15*x. Solve 2*f = 2 - x for f.
1
Suppose -11*u = -68 - 108. Solve u*d - 41 = 7 for d.
3
Suppose 3*t - 3 - 27 = 0. Suppose 4*f + 6 = 3*p, 4*f = 3*f - p + 2. Suppose f = -4*o + r + 17, 2*r = -0*o - 5*o + 18. Solve -s = o*s - t for s.
2
Let a(z) = z**2 - 5*z + 8. Let o be a(4). Suppose o*w - 7 = 29. Solve 4*i + w + 11 = 0 for i.
-5
Let l = -5 - -9. Suppose -3*c - 2*w + 11 = 0, l*c - 2*w - 11 = -w. Suppose 2*t - 8 = t. Solve -c*a + 15 = -t*a for a.
-3
Let r(j) = -j**2 + 15*j + 19. Let h be r(16). Suppose 3*x - 32 = 5*t, h*x + 0*t - 3*t - 30 = 0. Solve 0 = 2*q - 1 - x for q.
5
Let g be -1 + 4/(-1) + 16 + 1. Solve -4*o = -16*o - g for o.
-1
Let m(b) = 9*b - 51. Let l be m(6). Let q be 2/l*9/2. Solve q*u + 7 + 8 = 0 for u.
-5
Let r(h) = h + 3. Let z be r(0). Suppose c = -z*c + 4. Let y be (-2 + (-24)/(-15))*-5 + 9. Solve -5*t + c = y for t.
-2
Let l = 20 + -17. Let j(n) = -2*n - 12. Let v be j(-7). Solve l = -u + v for u.
-1
Let i be 3*-2*1/(-2). Let l be 1/(3 + (-22)/11). Solve c = -l + i for c.
2
Suppose 2*g - 3*x + 6 = 0, 5*g - 2*x + 0*x = 7. Let q be 1*g + (-24 - -23). Let u(i) = i + 1. Let k be u(1). Solve -q*p = k*p for p.
0
Suppose 2*c + 3*c = 0. Let d be (-40)/(-6)*(-4)/(144/(-27)). Solve c = -3*z - 1 - d for z.
-2
Suppose -4*i = -5*k + 36, 19 = 3*k + 3*i - 8*i. Suppose -k = -6*m + 28. Solve m = 3*u + 15 for u.
-3
Let m = -351 - -359. Solve 2*a - 2 + m = 0 for a.
-3
Suppose -3*s + 20 = -10. Suppose -4*j - 28 = 4*l, 4*j + 5*l + s = -15. Let m(c) = -2*c - 4. Let p be m(j). Solve -1 = -5*a - p for a.
-3
Suppose 3*s - 2*f - 37 = 137, -4*s - 3*f + 232 = 0. Solve s*o - 61*o = -15 for o.
5
Let j(o) = -34*o - 644. Let l be j(-19). Solve -16 = -l*t - 6 for t.
5
Suppose 4*z - 8 = -q + 3*q, 3*z - 9 = 3*q. Let m(k) = k + 1. Let s be m(z). Let o = 8 + -2. Solve -o*d = -s*d - 20 for d.
5
Let w = 78 - 63. Suppose 33 = 3*x + 3*u, -2*x + 32 = -4*u + 8*u. Let g be (9 + -3)/(x/w). Solve 5*a + 0 = -g for a.
-3
Suppose 3*t - 20 = -2*t. Suppose 6*a + 36 = t*a. Let p be (-12)/10*60/a. Solve 11