-5*a - 14 for a.
3
Let t(a) = -30*a + 68. Let r be t(2). Solve 3*q - r*q + 25 = 0 for q.
5
Let f = -434 - -434. Solve -2*t + 7*t + 20 = f for t.
-4
Let g be (-1)/(-9) + 24295/1017. Solve g = -2*m + 22 for m.
-1
Let h(u) = u + 5. Let i be h(0). Suppose 15*j = 3*j - 48. Let s be 7 - (j + 12)/2. Solve s*n + 10 = -i for n.
-5
Let b(q) = -8*q**3 - 2*q**2 - 4*q - 1. Let y be b(-1). Solve -2*k - 3 = -y for k.
3
Let h(m) = m**3 + 7*m**2 + 8*m - 6. Let c be h(-5). Solve -18*f = -c*f + 56 for f.
-4
Let n be (-5 - -9) + 24/1. Suppose -4*w - n + 8 = 0. Let c = w + 8. Solve -2*z - z + c = 0 for z.
1
Let m = -28 - -32. Suppose 4*r = -m*z - 6 + 22, -4*r + 22 = z. Solve -4*j - r = 2 for j.
-2
Let i be (-3)/18 - (-49)/6. Let z be (i - 9)*(-1 - -2). Let o be (0 - -3) + (z - -2). Solve o*q - 19 = -7 for q.
3
Let a(d) = -d**2 + 7*d + 1. Let b be a(4). Suppose 14*k = b*k. Suppose k*p - p = -15. Solve -2*m - m = p for m.
-5
Let m = 13 - 10. Let h be -10 + 7 - (0 - m). Solve 1 = l - h*l for l.
1
Let r be 0*(21/6)/(-7). Let l(a) = -a**2 + 4*a + 2. Let h be l(0). Solve r = -6*s + h*s + 8 for s.
2
Suppose 6*h + h = 28. Solve 12 = -4*f - h for f.
-4
Let x be ((-8 - -28) + -3)/(1 + 0). Solve x = -12*b + 5 for b.
-1
Suppose 4 = 3*p + 4*w, 0 = p + 2*p + 2*w - 8. Solve -p = -r - r for r.
2
Let h = 18 - 8. Let d(k) = 2*k**2 - 16*k + 23. Let f be d(h). Let t be 99/f + 4/(-7). Solve 0 = -j - t for j.
-1
Suppose -80 = -4*t - r - 20, 4*t - 56 = -2*r. Let i be t/20 + 11/5 + 3. Solve 4 = 5*w - i for w.
2
Let o be (6/12)/(1/168*2). Solve -2 = -11*y + o for y.
4
Let s(r) = -r**3 - 2*r**2 - 3*r - 3. Let k be s(-2). Let z(w) = -2*w**2 + 15*w - 22. Let n be z(4). Solve -k*v + 3 = n for v.
-1
Let m be (7/14)/((-2)/4). Let s be (-35)/(-7) + 5 + m. Solve 5*u + s = 2*u for u.
-3
Let q = -5 - -2. Let g be (-8)/(-28)*(6 - 0 - -1). Let r = g - q. Solve r*n + 0 = -10 for n.
-2
Let v be (12 + -13)*(6 - 6). Solve 6*j - j + 25 = v for j.
-5
Let j = 21 - 18. Suppose -5*b + j + 47 = 0. Solve -5*g + b = -0*g for g.
2
Suppose -3*g = -3, 2*n - 25 = -2*n - 5*g. Solve 0*h = -n*h - 5 for h.
-1
Suppose -11*s + 6*s = -4*b - 32, -4*s + 10 = 2*b. Let u(w) = w**2 - 7*w + 9. Let l be u(6). Let c be ((-16)/6)/(2/(-6)). Solve -l*t - s = c for t.
-4
Suppose 3*k = 10 + 2. Suppose -4*y + k*q + 24 = 0, 4*y + 6*q - 34 = 5*q. Let u be 27/18*y/3. Solve -7*b + u*b - 12 = 0 for b.
-4
Let k be -1*(-16)/((-2)/(-2)). Let l(h) = -h**3 + 9*h**2 + 9*h + 13. Let f be l(10). Let b be f/(-1)*k/(-12). Solve -6 = -2*w + b for w.
5
Let s be 23/7 - 3 - (-248)/14. Suppose -s = a - 20. Solve -a*q - 12 = q for q.
-4
Let b be -5*28/(-20)*-16. Let u = -106 - b. Solve -m = -u + 5 for m.
1
Let m be (-2)/(-1 + -9) + (-56)/(-20). Suppose -2*b + 1 = -a - m*b, 5*a = -3*b + 1. Solve 0 = -2*h - 4 + a for h.
-1
Let o be 14/4 + 44/88. Solve 0 = 6*z - 4*z + o*z for z.
0
Suppose 3*i - 27 = 5*f, -4*f = 4*i + 1 - 5. Solve 5*x - 6 = i for x.
2
Let n be 25/(-20) + 2 + 255/12. Let h = 25 - n. Solve -2*u - h + 9 = 0 for u.
3
Suppose -2*h + 4*p = -p - 50, 5*h + 2*p = 67. Let s = h - 18. Let z(t) = t**3 + 5*t**2 + t - 3. Let u be z(s). Solve -2*n - 2*n = u for n.
-3
Let p be 1/(2/60) + 1. Let i = -8 + 38. Let a = -19 + i. Solve a = 4*q + p for q.
-5
Suppose 0 = -4*h + 3*c + 161, 2*h + 2*c = h + 32. Let p = 41 - h. Solve -p*t = t for t.
0
Let f(l) = 24*l + 479. Let a be f(-19). Solve -7*y + 90 = a*y for y.
3
Let o(l) = l**3 - 9*l**2 - 11*l + 5. Let h be o(10). Let x be (-24 + 0)*4/(-12). Let b = x + h. Solve 0 = -b*a + a + 8 for a.
4
Suppose -b - 8 = -14. Suppose -5*d + 2*x = b, 8 + 1 = -4*d + 3*x. Solve m = -3 - d for m.
-3
Let u(a) = 2*a - 1. Let b be u(2). Suppose 192*p - 44 = 181*p. Solve -b*y + p = y for y.
1
Let y(a) = 2*a + 8. Let s be y(-4). Solve s = -10*l + 6*l - 20 for l.
-5
Let z(h) = 24*h - 4. Let k be z(6). Let l = -70 - -70. Suppose -4*s = -k - l. Solve 5*b + s = 10 for b.
-5
Suppose 19*p - 149 = 41. Solve 2*y = 7*y - p for y.
2
Suppose -7 = -2*f - 3. Let t be f*(4 - (-1 + 6 + -2)). Solve -t*h = -0*h - 4 for h.
2
Let b(k) be the third derivative of -k**5/30 + 23*k**4/24 - 5*k**3/6 - 11*k**2. Let l be b(11). Solve h = 3*h + l for h.
-3
Suppose -2*u + p + 22 = 0, -4*u + 4*p = -8*u + 56. Solve 0 = -4*y + u*y + 24 for y.
-3
Suppose 5*q = 7*q - 24. Let b = q + -10. Suppose -3*f + 3*h = -45, -b*h = -7*h + 5. Solve 5*n - 9 = f for n.
5
Let l be (2 - (-4)/(-1))*6. Let g = -6 - l. Solve g*m = 2*m - 20 for m.
-5
Let n(i) = -i**2 - 15*i - 11. Let f = -30 - -16. Let j be n(f). Solve j*w + 1 = 4*w for w.
1
Let k(a) = -2*a**3 + 10*a**2 + 3*a. Let x be k(6). Let d = 57 + x. Solve -z = -0 + d for z.
-3
Let r = -31 - -10. Let k = r + 24. Suppose k*d + 2 = 3*w + 14, 5*w = -10. Solve -5*f - d = 8 for f.
-2
Let p be (-1 + 94)*(41 - 40). Solve 4*o + 105 - p = 0 for o.
-3
Suppose -2*g + 18 = 4*b, -3*g = -6*b + 2*b - 67. Let z be 206/g + 4/(-34). Solve -f = -4*f + z for f.
4
Let q be (6/(-10))/(5/25). Let o be q/(-2)*(-12 - -14). Suppose -18 + o = -5*f. Solve 2*z + f*z = -15 for z.
-3
Let y(k) = 4*k + 3. Let x be y(0). Suppose 9*o = x*o. Solve o = -4*d + 5 - 21 for d.
-4
Suppose 0*l + 2*l = -2*y - 18, 4*y - 9 = 5*l. Let c be y*(0 + (-5)/(-2)). Let j be 6/(-4)*c/15. Solve -2*k - j + 3 = 0 for k.
1
Let i(z) = -9*z - 2*z**2 + z**2 - 3*z - 22 - z. Let c be i(-11). Solve 2*u - 2 = -c for u.
1
Let s(i) = 2*i**2 - 62*i + 22. Let r be s(31). Solve -w + r = 24 for w.
-2
Let l = 584 - 572. Solve -9*h - l = -3 for h.
-1
Suppose 31 = m + 21. Let h = 2 - -2. Solve h*l + m = -10 for l.
-5
Suppose -5*o + 20 = 5. Let t(s) = -13*s**2 - 2*s + 2. Let v be t(1). Let d = v - -18. Solve -1 - d = o*b for b.
-2
Let v be (14 - 12)/(2/3). Suppose m + v*g = 2*g - 1, 0 = -2*m + 2*g + 14. Solve 3 = m*z - 3 for z.
2
Suppose u + 2*u = 3*i - 12, 2*u = 3*i - 10. Let h be 2/(-4)*(-84)/(-2). Let z = h - -35. Solve 0 = -3*q + z - i for q.
4
Let g = -695 - -697. Let a(y) = -y**2 + 6*y + 5. Let i be a(6). Let o = 5 - 2. Solve -g = o*t - i*t for t.
1
Let q be 4/(-6) - 22/(-6). Let m be 12/(-66) + 3/((-66)/(-686)). Let u = m - 31. Solve q*k + 17 - 2 = u for k.
-5
Let h be 4/10 + 495/75. Suppose -h*k = -2*k - 5. Solve 4 + k = 5*b for b.
1
Let n(j) be the first derivative of 11*j - 7 - 1/2*j**2. Let h be n(4). Solve -4*m - h = 9 for m.
-4
Let p be (-8)/(-5) + 22/55. Suppose p = -n + 30. Let f(l) = l**3 - 5*l**2 + 4*l + 3. Let m be f(4). Solve -m = -5*h - n for h.
-5
Suppose 4 = -5*h + 19. Let c be (6 + -3)/(h/8). Solve 5*a - 23 = -c for a.
3
Suppose 2*x - 5*x = -147. Let v = -29 + x. Let d = v + -20. Solve 4*q + 16 - 4 = d for q.
-3
Let z(r) = r**2 - 3*r + 4. Let p be z(3). Let w be (p/(-5))/((-6)/15). Suppose -4*x - 12 = w*y, 2*y + 4 = -0*y - 2*x. Solve 4*h - y*h - 10 = 0 for h.
5
Let f = -1 + 1. Suppose -l = -2, i + 1 = -f*i + l. Suppose 0 = -59*k + 62*k - 6. Solve j - i = k for j.
3
Let y be (0*(-1)/(-3))/(-6 - -3). Solve -x - 1 = -y*x for x.
-1
Let p = -40 + 65. Suppose 3*o + 0 = -3*u + 3, -3*o - 7 = u. Solve -p = u*a - 5 for a.
-4
Let t = -23 + 39. Let s = 36 + -36. Suppose s = -7*n + 6*n + 2. Solve 6*m - t = n*m for m.
4
Let u = 11 + -10. Solve j - u - 1 = 0 for j.
2
Let x(i) = i + 38. Let c be x(-14). Solve -c - 33 = 19*w for w.
-3
Let y(k) = 2*k + 1. Let o(w) = -w - 1. Let j(g) = 2*o(g) + 2*y(g). Let u be j(0). Solve -5*n + 0*n - 20 = u for n.
-4
Let g(t) = -2*t**2 - 52*t - 23. Let y be g(-24). Solve 17*n + 22 - y = 0 for n.
3
Suppose -m + 16 = -5. Suppose 4*c + 1 = m. Let s be c + (-2)/(3 - 1). Solve -d + 10 = s*d for d.
2
Suppose s - 4 = -0*s. Let m be (-10)/s*(-6)/5. Solve -6 = m*d - 0*d for d.
-2
Let g be 7/((-35)/(-50)) + 2 + -2. Solve 13*s + 6 = g*s for s.
-2
Let x(i) = 5*i - 51. Let o be x(6). Let y be 9/(-6)*(-46)/3. Let t = y + o. Solve -t*f = -0*f for f.
0
Suppose 2*x - x = 0. Suppose -2*h + 28 = 5*r, -96*h = -98*h + 2*r. Solve h*l + x = 12 for l.
3
Suppose 20*y - 9 = 19*y. Solve -3*a = 24 - y for a.
-5
Suppose -26*f + 321 = 61. Solve 4*w + 6 = f for w.
1
Let g(x) = 4*x**3. Let b be g(1). Suppose -2*d - b*r = 0, -2*d + 2 = -0*d + 2*r. Solve 0 = n - d*n + 3 for n.
3
Let o = 633 - 600. Solve -39 + o = 2*l for l.
-3
Let y = 26 + -15. Suppose 4 = 2*w + 2*d - 10, -5*d + y = -3*w. Let k be w - (3 - 5)/(-1). Solve -k + 4 = -3*h for h.
-1
Let h = 20 + -19. Suppose h = -4*p - 3. Let k be -3 - (