.
-1
Suppose 4*h = -4*s, h - 6 - 3 = -4*s. Suppose -2*o - 2 = -s*o. Solve w + o + 0 = 0 for w.
-2
Let z = -99 + 104. Let m = 14 - 14. Solve z*a = 10 - m for a.
2
Let w(k) = 15*k**2 + 10*k - 3. Let h be w(-1). Solve -h*f + 3*f = -f for f.
0
Let s(f) = f**2 + 6*f + 11. Let z be s(-10). Suppose z = 5*m + 3*c, 0 = 2*m + 3*c - c - 22. Solve -15 = -m*n + 4*n for n.
3
Let x(j) = 1. Let i(w) = w - 6. Let g(z) = i(z) - 5*x(z). Let y be g(11). Suppose y = c - 3*c - 2*m + 14, -c - 23 = -5*m. Solve -3*r - c = 1 for r.
-1
Let j = 81 - 73. Solve j*u - 6*u = -4 for u.
-2
Let i(t) = -t - 8*t**2 - 22*t**2 + 13*t**2. Let u be i(1). Let k = 31 + u. Solve -4*j = 5 - k for j.
2
Let z be -119 + 117 + (-42)/(-2). Solve 0 = 7*q - z + 5 for q.
2
Suppose -4*i = i - 155. Let c be (14 + i)/(1 + 0). Suppose -c*j + 42*j = 0. Solve -3 = -3*a - j*a for a.
1
Let c be (1 + (-5)/2)/(12/(-216)). Suppose 3*h - 4*i - 42 = 0, -h - 2 + c = -5*i. Solve p + h = 3*p for p.
5
Let r(h) = -h - 1. Let k be r(-4). Let w be (10/8 + 0)*(6 - -42). Suppose 0 = 2*m + 3*g - 44, 9*m - 6*m = -k*g + w. Solve -m = 5*d - d for d.
-4
Suppose 0 = 15*p + 3 - 3. Suppose -4*r + 5*w + 32 = p, -2*w - 3*w - 20 = 0. Solve r*x + 2*x - 15 = 0 for x.
3
Let r = -486 - -491. Solve -5*t + r = 25 for t.
-4
Suppose 4*t - 27 = -5*t. Suppose -2*u + 3*u = -t*u. Solve 3*s - 8 - 1 = u for s.
3
Let v be 3 + (950/(-114))/((-1)/3). Solve v - 53 = -5*c for c.
5
Suppose 757 = 16*b + 709. Solve b*o + 24 = 21 for o.
-1
Suppose 3*k + 4*t = -2*k + 158, -k - 5*t = -40. Let w = -18 + k. Solve 6*l + w = 3*l for l.
-4
Suppose -15 + 7 = -2*k. Suppose 4*y - 6*y - 4*n + 40 = 0, 0 = 2*n - k. Solve 4*v = -0*v + y for v.
4
Let o be (-3)/12 - 3/(-12). Suppose -2 = -j - o*j. Suppose 0 = 2*r + j + 2, -4*t = 2*r - 4. Solve t*l - 7 - 1 = 0 for l.
4
Suppose -3*p + 92 = -0*y - 2*y, 27 = p + 3*y. Solve -p = 5*v + v for v.
-5
Let h be ((-15)/10)/(2/24). Let w be (-69)/h + -2 + 2/12. Solve -5 = w*s - 1 for s.
-2
Let h(f) = f - 11. Suppose c = 15 - 4. Let q be h(c). Suppose 4*m + m = 0. Solve -p + 2 + q = m for p.
2
Let o be 84/36*24/28. Solve -o*k = -k for k.
0
Let h = 556 + -476. Solve 0 = 24*j - 16 - h for j.
4
Let r = -143 + 150. Solve 0 = r*m - 3*m + 20 for m.
-5
Let p = 1606 - 1600. Solve 0 = j + p - 1 for j.
-5
Let s(n) = -3*n + 14. Let l(q) = 13*q - 57. Let v(u) = 2*l(u) + 9*s(u). Let p be v(7). Solve b + 0 = p for b.
5
Let h(i) = 7*i + 98. Let r be h(-14). Solve r = 48*f - 50*f for f.
0
Let p = 139 - 97. Suppose 2*g - 5*t = -0*g + p, -3*g + t = -37. Solve -5*r = -1 + g for r.
-2
Suppose 4*g - 8 = 5*g - 3*r, 5*g + 2*r = 28. Solve -4*h - g*h = 0 for h.
0
Let f = -347 - -351. Solve f*b + 20 = 8*b for b.
5
Suppose 0 = 3*m + 3*m - 36. Suppose 4*o + m = 26. Solve 0*c + o*c - 20 = 0 for c.
4
Let m be (8/(-20))/((-3)/165). Suppose m = -4*s - 26. Let o = s - -15. Solve -o = n - 1 for n.
-2
Suppose -5*k + 6 + 75 = 3*g, -g + 62 = 4*k. Solve -33*n = -36*n - k for n.
-5
Suppose -3*l + 32 = 3*h - 1, 0 = -4*l + 8. Solve -6*r - 33 + h = 0 for r.
-4
Let f(u) = -4*u + 22. Let s be -4 + (-27)/(3/(-1)). Let d be f(s). Solve 12 = p + d*p for p.
4
Let y(r) = -49*r + 102. Let v be y(2). Suppose -n + 5 = -0*n. Solve -n*u = -6 - v for u.
2
Let t(q) = q**2 - 14*q + 17. Let c(g) = -g**2 + 13*g - 17. Let a(o) = 3*c(o) + 2*t(o). Let j be a(2). Let n = -4 - -7. Solve j = n*l - 4*l for l.
-1
Suppose -14 = -i - 0*i. Let u(s) = s**3 - 14*s**2 - s + 14. Let n be u(i). Solve -5*j + 10 + n = 0 for j.
2
Let m(q) be the second derivative of q**3 - 33*q**2/2 - 8*q. Let b be m(6). Solve b*d + 0 = -3 for d.
-1
Suppose 6*v - v = 0. Suppose -4*h + 3*h = -5. Let l = 8 + 4. Solve -h*y + y + l = v for y.
3
Suppose 2*r - 4*o = 0, -2 = r - 4*o - 0. Suppose -3*n + 17 = 2*f, r*f - 9 = -2*n + 5. Solve y + f*y = 15 for y.
3
Let x(t) = -2*t**2 + 7*t + 7. Let z be x(4). Solve 0 = 8*p + 11 - z for p.
-1
Suppose -8 = 4*g - 2*g. Let a be 0/2*(g - -6)/(-2). Solve 10 = 2*v - a*v for v.
5
Let j(b) = 15*b**3 + 3*b**2 - 2. Let k be j(1). Solve 13 = 3*v + k for v.
-1
Suppose 3*c + 836 = -2*p, 0*c + 5*p = c + 256. Let q be 4/14 + c/(-161). Solve 4 = -3*h + q*h for h.
-4
Suppose 5*a + 12 + 7 = -2*q, -5 = 5*q + 4*a. Solve q*g + 8 = g for g.
-4
Let t be (-1 + 6 + -6)*-5. Solve -2*s + t = 3 for s.
1
Let g = 173 + -173. Solve -2*v + g*v = 4 for v.
-2
Suppose -6 = -2*p - a, 5 = -p - 3*a + 3. Solve 5 + 3 = p*u for u.
2
Let c(u) = 5*u**2 + 37*u - 19. Let i be c(-8). Solve -2 = 7*k + i for k.
-1
Suppose 10*c = 16*c + 300. Let w = -46 - c. Solve 5*n - 4*n = w for n.
4
Suppose -200 = -19*a - 162. Suppose -4 = -2*o, -3*i - 2*i + 6 = -2*o. Solve -i = q + a for q.
-4
Let i(v) = 2*v - 2. Let w be (-1 + 1)/(2 + -1). Let y be (w - 0 - -1)/1. Let r be i(y). Solve 0 = 2*b - r*b - 6 for b.
3
Suppose -m + 0*m = -2. Let f(r) be the third derivative of r**4/24 + 2*r**3 + 6*r**2. Let c be f(-5). Solve m*n - c*n = 0 for n.
0
Suppose 31 = -11*q + 75. Suppose -7*y = -q*y. Solve y*d + 5*d + 25 = 0 for d.
-5
Let i(u) be the second derivative of u**4/12 - 2*u**3/3 - u**2 - 14*u. Let y be i(5). Solve y*p - 2*p = 3 for p.
3
Let l(u) = 2*u**2 + 2*u - 2. Let j(r) = r**2 - 5*r + 2. Let n be j(4). Let w be l(n). Suppose v + w = p - 0*p, 2*p - 10 = -v. Solve -v*m + m + 5 = 0 for m.
5
Let i(l) = l**2 + 28*l + 8. Let g be i(-28). Solve 0 = -11*n + g*n for n.
0
Let z(d) = d**2 + d + 1. Let x(f) = -f**3 + f**2 + 10*f + 5. Let y(c) = -x(c) + 5*z(c). Let k be y(-5). Let p be (0 - -1)/(2/6). Solve -q + p = -k for q.
3
Let r be (-1)/(-4) - (-50)/(-8). Let f = 9 + r. Suppose f*d - 4*d + 4 = 0. Solve -15 = d*s - 7*s for s.
5
Suppose -2*c + 0*v = v - 9, 5*c + 3*v = 24. Solve c*i + 15 = 9 for i.
-2
Suppose 7*v + 10*v = 255. Suppose -v - 25 = -10*b. Solve -b*c - 10 = -2*c for c.
-5
Suppose 5 = 5*n + 10. Let y be (0/(4 + n))/3. Solve -2*z + 1 - 7 = y for z.
-3
Let b(f) = f + 8. Let z be b(0). Suppose -2*l + z*l - 30 = 0. Solve 0 = -l*s - 35 + 15 for s.
-4
Let c(x) = x + 7. Let j be c(11). Let o = j + -3. Suppose -14 = -q - 5*f + 1, -q + 5*f - o = 0. Solve q = 4*w + 14 + 2 for w.
-4
Let z = 0 - -3. Let k be 1/z + (-30)/(-18). Let u be 1/(k - (-14)/(-8)). Solve -5*c = -1 - u for c.
1
Let b = -104 + 111. Solve -18 = b*l + 2*l for l.
-2
Let w(h) = -h**3 + 18*h**2 - 17*h + 14. Let l be w(17). Let t be (4 + l/(-3))*-9. Suppose t*p = -0*p. Solve -2 = -p*i + i for i.
-2
Let p(y) be the first derivative of y**2/2 + 12*y + 30. Let h be p(-12). Solve 4*u - 3*u + 3 = h for u.
-3
Let q be 3/((-9)/(-12)) - 0. Suppose 2*o - q*o - 8 = 0. Let m = o - -4. Solve 5*s + 25 = -m*s for s.
-5
Let t = -5 - -21. Suppose t - 2 = 2*s. Suppose 2*w + 100 = s*w. Solve j = 5*j - w for j.
5
Let v be 4/6 + (-4)/6. Let s be (-4)/(3/(0 - 3)). Let u(g) = g**2 + 8*g - 39. Let j be u(-12). Solve s*a + 1 - j = v for a.
2
Let x be -2 + 1 + 2/1. Let i be 0 + x - (-4 - -3). Suppose 4*v + 2 = 5*c - 73, -i*c = -3*v - 30. Solve 5*n = 2*n + c for n.
5
Suppose -4*v = -0*v - 5*s - 57, 2*s = v - 12. Let x = v + -16. Let m be (-5 + x + 3)/(-1). Solve m = -0*p - 4*p for p.
0
Suppose q + 4*j + 9 = 0, 5*q - 5*j - 11 = 19. Let l be (q/2)/(6/20). Let b be (-8)/l*40/(-16). Solve b*o + 1 = 5*o for o.
1
Let s be (-15)/(-75) - (-18)/10. Solve 2*y + s*y = 0 for y.
0
Let f(w) = 6*w**2 - 4*w**2 - 3*w + 4 + 1. Let b be f(4). Suppose -16 = -2*h + 4*q, -7*h + 2*h + 5*q + b = 0. Solve -2*y = h*y + 4 for y.
-1
Let l(d) = 5*d**2 - 1. Let y be l(1). Suppose q - 10 = -5*t - 0*q, y*q = -2*t - 14. Suppose 7*a - t*a = 20. Solve a*w - 3 = 7 for w.
2
Let h be -1 + (2 - 2 - -10) + -5. Solve h*m - 5*m - 3 = 0 for m.
-3
Let n = -300 - -302. Solve 5*l + 21 = -n*l for l.
-3
Let m = -130 + 130. Solve -6*c - 30 = -m*c for c.
-5
Suppose 5*g = 15, -3*c + 49 = -4*g - 2. Solve 24*q = c*q for q.
0
Let r = 61 - 39. Suppose -5*k + 35 = 4*s, 4*s = -2*k - 8 + r. Solve 4*d = -k + 3 for d.
-1
Suppose -8*d + 3*d = 0. Suppose 6*t - 9*t = d. Suppose -3*g - 2*g + 15 = t. Solve -g = 2*u + 7 for u.
-5
Suppose -8 = 2*a - 48. Suppose 4*t + a = -t. Let g be 12*(t/(-3) - 0). Solve 0*w = -4*w + g for w.
4
Let q be (3/(-12))/((-1)/4). Let s = q + 2. Let l be (-2)/(4/3)*(-10)/15. Solve s*v + l = 4*v for v.
1
Let l(d) be the third derivative of -d**6/120 + d**5/20 + d**4/2 - 7*d**3/6 - 9*d**2. Let f be l(5). Solve f = 4*o - 1 for o.
1
Let a = -6 - -18. Let 