
1
Let f(w) = 11*w - 75. Let p(z) = -6*z + 37. Let b(u) = -3*f(u) - 5*p(u). Let d be b(12). Solve -8 = -0*a + d*a for a.
-2
Let x(u) = -u**3 - u**2 + 3*u + 23. Let r be x(0). Solve 6 = r*q - 17*q for q.
1
Let t(h) = -h**2 + 6*h - 4. Let o be -3 - (-1)/(2/2). Let r be 3 - (-2 + (-2)/o). Let k be t(r). Solve -12 = -k*g - 0*g for g.
3
Suppose -n = -4 - 0. Let v = 35 - 17. Suppose v*x = 15*x + 57. Solve 5*g - n = -x for g.
-3
Suppose c - 150 = 6*c. Let n be c/(-9) - 1/3. Suppose 2*p + 3*p = -4*d + 7, n*p + 5*d + 1 = 0. Solve 8*r - 25 = p*r for r.
5
Let s(f) = -f**2 - 10*f - 19. Let h be s(-5). Let k be (-4*(-1 + 0))/1. Let n(v) = v - 2. Let m be n(4). Solve 0 = k*r + h - m for r.
-1
Let x = -146 - -149. Suppose 2*m + 20 = -r + 6*r, -4*r = m - x. Solve u = r - 1 for u.
1
Let l be 4/(5*4/60). Suppose 0 = c - 3 - l. Solve -b + c = -6*b for b.
-3
Let f(d) = -2*d**2 + 9*d. Let n be f(4). Solve 0 = n*k + 124 - 120 for k.
-1
Let o = 14 - 9. Let z(b) = b + 3. Let t be z(22). Suppose t = 4*g + 5*k, 11 - 1 = 2*k. Solve g = 3*y - o*y - 8 for y.
-4
Let q be 24/(-16)*(1 - 5). Let c = q + -3. Suppose 4 = p + c*x - x, -p = x - 8. Solve 0*t = 4*t + p for t.
-3
Let u = 1353 + -1235. Solve 114*h = u*h - 16 for h.
4
Let p(b) be the third derivative of b**4/8 - 2*b**3 + 4*b**2. Let r be p(6). Suppose -12 = 3*u, -2*u + 5*u = -l - r. Solve -2*c - 14 = -l for c.
-4
Suppose 2*t = -4*x - 16, 1 = -2*x + 2*t + 5. Let y(n) = -5*n - 3. Let p be y(x). Suppose 4*k + p = 5*b - 21, -20 = -3*b + 4*k. Solve 0*i - 8 = -b*i for i.
2
Let i = 22 - 16. Let l = 13 - i. Let m(r) = 3*r**3 + 2*r**2 - r. Let b be m(1). Solve l*p - 15 = b*p for p.
5
Suppose 0 = -3*o + 4*n + 228, -57 = 2*o + 5*n - 186. Solve -13*f = 5*f - o for f.
4
Suppose -92*g - 108 = -101*g. Solve 12 = -g*u + 8*u for u.
-3
Let a be 14/2 + (-1 - 1). Suppose -5*t + 5 = -a. Suppose -4 = -t*y + 4. Solve 0 = 3*j - 2*j + y for j.
-4
Suppose -18*t - 60 = -23*t. Solve 40*h + t = 44*h for h.
3
Suppose 5*a = 4*f + 45, -3*a + 75 = 2*a + 2*f. Let n = a - 13. Solve 4*v - 9 - 11 = n for v.
5
Suppose -a + 0*a = 5, 5*l + 3*a = 45. Suppose l = 2*w - b + 3*b, -5*w + 26 = 4*b. Solve -w*g - 15 = -5 for g.
-5
Let m(n) = n**3 - 4*n**2 - n - 17. Let y be m(5). Solve 0 = -5*r + 17 + y for r.
4
Let o(d) = d**2 - 3*d + 12. Let r be o(0). Suppose -2*s = -3*m + 2, -r - 6 = -2*m - 2*s. Solve -m*h - 4 = 8 for h.
-3
Let y(u) = 3*u**2 - u**3 + u + 0*u**3 - 5*u**2 - 4. Let x be y(-3). Let z be (4 - x)*5/2. Solve 0 = 4*f + f - z for f.
1
Let i = 31 + -26. Let b(z) = z + 2*z - i*z + 33. Let u be b(15). Solve -4*v + u = -v for v.
1
Let z be -9*(-16)/84*14/4. Solve 30*f - 32*f = -z for f.
3
Let g = -45 - -51. Let q be (-10)/(-1 + g) + 4. Solve 5*d - q = -17 for d.
-3
Suppose 10 = -5*j, 0 = 3*l - 0*l + 5*j - 32. Let t = 16 - l. Solve i - t = -i for i.
1
Suppose -3*g + 20 = u, 0 = -4*g - 44*u + 48*u + 32. Solve g*p = 2 - 30 for p.
-4
Let h = -197 + 197. Solve h = -r + 4*r for r.
0
Suppose 17 = -5*j + 37. Solve -j*n = n for n.
0
Let x = 185 - 182. Solve x = -h - 1 for h.
-4
Suppose 2*v - 16 = -3*k + 19, 2*v = 2*k - 40. Solve 3*x + 6 - k = 0 for x.
3
Suppose 0 = -2*u - 4*u. Suppose 4*r - 12 = u, s - 4*r + 7 - 1 = 0. Solve -3 + s = p for p.
3
Suppose 7*k - 56 = 3*k. Let s be k/6 + 4/6. Suppose -s*n = 2*n - 25. Solve 2*f - 7*f = -n for f.
1
Suppose -3*m - 2*o + o = -38, 0 = -2*o + 4. Let n = m + -6. Suppose -n - 4 = -5*z. Solve k = z*k - 5 for k.
5
Let s be 679/28 + 2/(24/(-3)). Solve -s + 14 = -5*m for m.
2
Let n(x) = x**2 - x - 8. Let k be n(6). Let s = k + -20. Suppose 4*v - 25 = p, -2*v - s*p + 10 = -0*v. Solve 0 = -j + v*j + 15 for j.
-3
Let m be 4 + (-52)/16 - 18/(-8). Suppose 3*n + 7 = -2*s, 3 - 5 = -m*s - 2*n. Solve -21 = -s*z - 1 for z.
5
Let o(v) = 2*v + 30. Let p be o(-11). Suppose 3*n - 3 = -c - 6, p = -4*n. Solve 0 = 2*t - c*t + 5 for t.
5
Suppose -2*a - 3*a = -15. Suppose 0*j + 18 = a*j - 3*f, -2*j = -3*f - 8. Suppose -5*l + 22 = 2*d, 5*l - j = -7*d + 2*d. Solve -l*h + 25 = -h for h.
5
Let y be (8/4)/((-3)/(-6)). Suppose y*p - p + 4*u = 0, p = -4*u. Solve g - 1 - 2 = p for g.
3
Let i be (-8)/60 - (-10)/75. Suppose -d + i*d = 0. Suppose d = -3*s + 31 - 25. Solve s*k = 3 - 9 for k.
-3
Let q be 4/8*(-8)/(-1). Let c = 16 + q. Solve 0 = 7*n - 2*n + c for n.
-4
Suppose -2*s - 4*o - 26 = 0, 0 = -3*s + 5*s + 3*o + 21. Let v be -1 - (1 + s - -1). Solve v = 2*i + i + 9 for i.
-3
Let y(o) = 2*o + 4. Let q be y(-4). Let a(k) = k. Let h(g) = -3*g - 6. Let w(u) = a(u) + h(u). Let z be w(q). Solve 9 = c + z*c for c.
3
Suppose 0 = 5*k - 3*s - 62, 2*k = s + 7 + 17. Let g = -27 - 25. Let b be (g/13)/((-8)/k). Solve 0 = -2*z + b*z + 12 for z.
-4
Suppose -111 = 4*f + 213. Let u = -78 - f. Solve 8*t = u*t for t.
0
Let f be (-6 - -13)/(-14) - 3/(-2). Solve 3*t - f = -10 for t.
-3
Let c = 10 - 10. Suppose 5*i - 9 - 11 = 0. Solve i*k + 23 - 3 = c for k.
-5
Let z = -11 - -15. Suppose -k = k - 40. Let j = k - 11. Solve 0 = -j*s + z*s for s.
0
Let i(w) = w**3 + 4*w**2 - 2*w - 4. Let o be i(-4). Let y be 8/10 - 12/(-240)*4. Solve -o*u = -19 - y for u.
5
Suppose -5*z = 4*r - 4, -2*r - 1 = 5*z - 3*r. Solve -4*o - o = z for o.
0
Let v = -35 + 41. Suppose -r - v = -4*r + 3*j, 0 = 2*j. Solve 0 = r*w + 3*w for w.
0
Let d be ((-206)/4)/(2/4). Let y = -31 - d. Let u be 1/5 + y/15. Solve u*a = 3*a + 4 for a.
2
Let x be 1/(14/(-4))*-7. Let h be 11 - 8 - (-1 + 9). Let g be ((-4)/h)/((-16)/(-40)). Solve -x*d + 0 - g = 0 for d.
-1
Let n(x) = -x**3 + 3*x**2 - 4*x - 1. Let d be n(3). Suppose 0 = o - 0*o - 15. Let t = o + d. Solve 0 = -0*f - f - t for f.
-2
Suppose 16 = 4*f - p, 5*f - 5 = 4*p + 15. Suppose f = 3*n - 20. Suppose 0*k = 4*k - n. Solve k = -3*i - 1 for i.
-1
Let y = 52 + -41. Solve y = 6*u - 1 for u.
2
Suppose -26*x + 7 = -19*x. Let p(k) = -k**3 + 2*k**2 + k + 1. Let i be p(2). Let o = -68 - -72. Solve i*z = o*z - x for z.
1
Let f(p) = p**3 + 4*p**2 - 3*p - 1. Let z be f(-5). Let l(n) = n**3 + 12*n**2 + 12*n + 15. Let q be l(z). Solve 0 = -c - q + 8 for c.
4
Let m = -91 + 87. Let u be (m/2)/(-3*(-4)/(-12)). Suppose 5*g = 38 - 13. Solve g = -3*f + u for f.
-1
Let z(f) = -2*f**3 - 85*f**2 + 42*f - 41. Let y be z(-43). Solve 2 = p - y*p for p.
-2
Let y(k) = k**2 + 17*k + 56. Let x be y(-13). Suppose -c - 1 = 0, -o + x*c - 1 = 6*c. Solve -o = -4*l + 3*l for l.
1
Let q(z) = z - 7. Let r(j) = -j + 8. Let a(y) = 5*q(y) + 4*r(y). Let s = -28 - -32. Let o be a(s). Solve 3 = b - o for b.
4
Let a(g) be the first derivative of g**4/4 + g**3 + 2*g**2 + 2. Let c be a(-4). Let h = -20 - c. Solve 2*n + h = -2*n for n.
-3
Suppose -a - 9 = -5*a - 5*c, -2*a - 2 = -4*c. Solve -4*l - 3 = a for l.
-1
Suppose 5*t - 25 = -0*t. Suppose -3*v = -2*v - t. Solve -3 = v*k + 2 for k.
-1
Let d = 19 - -112. Suppose -d + 27 = -13*q. Solve -7*p + q*p = 2 for p.
2
Let y(b) = 4*b**2 - 3*b + 4. Let f = 31 + -30. Let a be y(f). Solve -2 - 3 = a*o for o.
-1
Let m = 510 - 503. Solve m*g + 18 = 13*g for g.
3
Let a = 941 - 935. Solve a*n - 5*n = 0 for n.
0
Suppose 9*f = 13*f - 4. Let s = f + -1. Solve 2*d + 2*d + 16 = s for d.
-4
Let z = 168 - 168. Let m(c) = 9*c + 1. Let q be m(1). Solve z*s = 2*s + q for s.
-5
Let l(b) = -98*b - 22. Let g be l(-1). Solve 6*n = 106 - g for n.
5
Suppose -8 + 38 = 2*g. Let y = g - 15. Suppose 0*p - 8 = -2*p + 2*a, -5*p - 3*a + 52 = y. Solve 3*f + p = f for f.
-4
Let a(k) = k**2 + 2*k - 4. Let m be a(2). Suppose -2*x = -5*u - 93, -3*x + m*u + 117 = u. Let i = x - 32. Solve -6*j + 12 = -i*j for j.
3
Suppose 4*t - u = -5, 0 = 5*u - 9 - 16. Solve 10 = 5*z - t for z.
2
Let x be 640/120*18/8. Solve 16*a = 12*a - x for a.
-3
Let p = -109 - -113. Let l = 14 + -9. Solve -l = -p*m - m for m.
1
Let h = 2 - -1. Let l be (-17)/(-4) - (1 - 12/16). Let s be (-4 - (-1 - l))/(3/15). Solve h*q = -2*q - s for q.
-1
Suppose 202*o = 203*o - 8. Solve -9*f = o*f for f.
0
Suppose 2*f = 4*u - 6, 4*f - f = 3*u - 3. Suppose 2*m = -u*m + 16. Suppose m*q - 3*q - 5 = 0. Solve -5*y - q - 5 = 0 for y.
-2
Suppose 5*l - 26*l = -315. Solve -l = -7*t + 12*t for t.
-3
Let l = -417 + 417. Let t = 19 - 15. Solve -t*n - n = l for n.
0
Suppose -s - l = -38 - 11, 0 = -4*l - 12. Solve 5*j - 18*j = s for j.
-4
Let u(a) be the third derivative of -a**4/12 + 13*a**3/6 + 4*a**2. Let r be u(4). Suppose -t - 17 = -4*c, r*c - t + 4*t =