
3
Let x be (-25)/(-9) - (-8 + 280/36). Solve -7 + 1 = -x*k for k.
2
Suppose -3*a + 107 = 98. Let x(l) = -l**3 - 9*l**2 + 8*l - 11. Let v be x(-10). Solve a = -2*h + v for h.
3
Suppose -5*s - 15*y = -12*y - 170, 4*s - y - 136 = 0. Solve -s + 24 = -2*b for b.
5
Suppose 0 = -18*z - 23 + 113. Solve -2*y = -1 + z for y.
-2
Suppose 17*h = 7*h. Solve -8*a - 27 + 3 = h for a.
-3
Let q(b) = -2*b**2 + 10*b + 17. Let i be q(6). Solve 0*h + 5*h - i = 0 for h.
1
Suppose 2*v + 2*q = 0, 4*v + 6*q - 3 = 3*q. Suppose -4*d - 3*l - 9 = -d, -4*d + 5*l - v = 0. Let h be (3 + d)*-2 - -2. Solve h = -2*k - 1 + 7 for k.
3
Let o be 4/8 - 10/(-4). Suppose -23 - 12 = -5*m. Suppose 0 = 9*z - m - 38. Solve 8 = o*d - z*d for d.
-4
Let z(k) = -18*k + 2. Let b be z(-1). Suppose 11*c - b = 6*c. Solve -4*m = 8 - c for m.
-1
Suppose -176 = -3*g + 2*b, 0*g + 306 = 5*g + 3*b. Suppose 0 = i + 3*i - g. Solve -2*t - 3*t - i = 0 for t.
-3
Suppose 4 + 191 = 5*a. Suppose 3*k + 3*o = a, -6*o + 77 = 5*k - 5*o. Solve -5*i = k + 4 for i.
-4
Let c be -2 - (-3)/((-12)/152). Let i = c - -65. Let o(n) = -n**3 - n**2. Let p be o(-2). Solve j - i = -p*j for j.
5
Let j(w) = 3*w + 6. Let z be j(-2). Suppose 5*v - 10 = -z*v. Solve v*n - 6 = -0 for n.
3
Suppose 1171 - 1163 = 2*k. Solve -4*b - 8 = k for b.
-3
Let m be (1/1)/((-1)/(-20)). Suppose -m = -4*l - l. Suppose -17*o - 13*o = -24*o. Solve l*x = -o*x for x.
0
Let o(v) be the first derivative of -3*v**2/2 - 11*v - 13. Let d be o(-5). Solve d*f = -4 - 0 for f.
-1
Let x = 48 - 81. Let b = -20 - x. Solve -4 = -3*r - b for r.
-3
Let y be 66/(-55)*(-20)/6. Suppose 2*j - 10 = -0*j. Suppose 2*x = -y*u + x + 10, -4*u = -j*x + 2. Solve -u + 4 = -2*f for f.
-1
Suppose 2*x + 5*w = 75, -21*x + w - 80 = -24*x. Solve -20*r + x = -75 for r.
5
Let d be (3 - -1) + 1 - (0 - -3). Solve 0*f - d*f = 0 for f.
0
Let t = 56 - 36. Solve -16*m + 16 = -t*m for m.
-4
Let m(x) = 18*x**3 + 25*x**3 - 7 + 4*x - 42*x**3 + 7*x**2. Let p be m(-6). Solve -4*j = -9*j + p for j.
1
Suppose -8*y = -261 + 101. Suppose -g - 4*g + y = 0. Solve -g*p = -p for p.
0
Let x(z) = z**2 + 9*z + 20. Let c be x(-6). Solve -c*i + 6*i = 0 for i.
0
Let n(s) be the third derivative of -s**4/12 + s**3/3 - 6*s**2. Let r be n(1). Suppose 4*i - 6 + 2 = r. Solve 21 = -5*w + i for w.
-4
Suppose x + 11 = l, 4*x = 83*l - 85*l + 28. Let b(w) = -w**2 - 7*w. Let r be b(-7). Let o = r - 0. Solve -4*h + o*h = l for h.
-3
Let m(u) = u**2 + 13*u + 50. Let z be m(-10). Solve 0 = -6*h + h - z for h.
-4
Let d be (78 - 78)/(1 - (1 - 1)). Suppose 4*q - 12 = q. Suppose 0 = -3*l - 0*l + 33. Solve d = q*t - 1 - l for t.
3
Suppose 10*m = 7*m + 6. Solve 3*b - 14 = -m for b.
4
Let r(y) = -y**2 + 22*y + 116. Let c be r(26). Solve 0*m - c = 3*m for m.
-4
Let f = -76 - -80. Suppose -f*o - u = 2*u, 5*o - 2*u = 23. Solve -2*b - 1 = o for b.
-2
Suppose 36 = 3*x - 21. Let f = -14 + x. Suppose 0 = -0*h + f*h - 20. Solve s + 0*s = -h for s.
-4
Let n = -686 - -699. Solve -r = n - 11 for r.
-2
Let q(r) = -r**3 - 8*r**2 - r - 6. Let a be q(-8). Let g = -19 - -19. Suppose g*t + t + 6 = -a*j, t + j = -2. Solve -t + 0 = u for u.
-2
Let j(b) = b**2 + b - 1. Let v be j(-1). Let d be (4 - -3) + (-1 + 5)*v. Solve 2*i = 3*i - d for i.
3
Let i(o) = 3*o - 7. Let m be i(4). Suppose 3*l = -m*y + 34, -3*y + 8*y = -2*l + 31. Let d = y - 4. Solve f + d = 4 for f.
3
Suppose -4*c = -11*c - 56. Let q = 1 - 2. Let l be c/(q - -3) + 10. Solve -s = 2*s + l for s.
-2
Suppose 3*v = 4*m - 2*m + 6, 0 = -3*v - 4*m + 6. Suppose 3*c - 12 = 3*w - 6*w, -c = v*w - 6. Solve 0 = -w*d - 8 - 0 for d.
-4
Let a(g) = -g**3 - 10*g**2 + 7*g - 21. Let c be a(-11). Solve -8*d - c = 9 for d.
-4
Let o be (-5)/(4/(-42)*(-42)/(-28)). Suppose -a = -5*x + o, 2*x + 0*a - 27 = 3*a. Solve -l - 2*l = -x for l.
2
Suppose 29*r - 115 = 30. Solve -18 - 2 = r*t for t.
-4
Suppose -2*b = 4*j - 6, -j + 7*b - 8*b = 0. Solve 2*t - j*t = 5 for t.
-5
Let f be -9*1*(-2)/6. Suppose -s - 2 = 0, f*s + 9 + 3 = -2*x. Let w = -3 - x. Solve -o + 0*o = w for o.
0
Let k(w) = -w**3 + 4*w**2 + 5. Let t be k(5). Let n be ((-4)/(-3))/(t/(-150)). Suppose 2 + n = 4*v. Solve -v*h - 4 = h for h.
-1
Let w(k) = 2*k**3 + 7*k**2 + 8*k + 16. Let c be w(-3). Solve c + 5 = 3*r for r.
2
Let w = 51 + -47. Suppose -3*z + 10 = w. Solve 0*m = z*m for m.
0
Suppose -19 + 154 = 45*f. Solve -f*c + 3*c - c = 0 for c.
0
Let u(s) = 12*s + 26. Let q be u(-3). Let x be -5 - q - -4*(-3)/12. Solve -x*y = -2*y for y.
0
Let o(g) = g**3 - 16*g**2 - 20*g + 54. Let c be o(17). Solve -k + c - 6 = 0 for k.
-3
Let h(a) = a**2 + 11*a + 20. Let u be h(-9). Suppose 2*i + 1 = 5*n, -4*i - u*n + 12 = i. Solve -i*g + 1 = 11 for g.
-5
Suppose -28 + 70 = -5*g - 2*i, -3*g = i + 25. Let z be 1/(g/20)*-2. Solve 5 = -z*b - 5 for b.
-2
Suppose 8*m - 36 = 36. Solve 4*l - 10 = m*l for l.
-2
Let u be 2 + 7/((-7)/(-6)). Suppose -3*v = v + u, 0 = -2*g - 4*v - 50. Let d = -19 - g. Solve -5*k - 6 = -d*k for k.
-2
Suppose -2*r + 4*k = 0, -4*k = -0*k - 4. Suppose r*w = -2*f - 0*f + 20, -5*w + 42 = 4*f. Let q(j) = -j**2 + 9*j - 6. Let h be q(f). Solve n = -n + h for n.
1
Let t be 2*20/8 - (1 + 2). Solve -3*k + 2*k + t*k = 0 for k.
0
Suppose 0 = -a + 7*a - 18. Let r(g) = 0*g + 0 + 4 - g + 7. Let d be r(11). Solve -a*m = -d*m for m.
0
Let l = 0 + 0. Let a(t) = -7*t**2 - t - 5. Let p(y) = -10*y**2 - 2*y - 6. Let b(o) = -3*a(o) + 2*p(o). Let n be b(l). Solve -n*h + 0 + 3 = 0 for h.
1
Let m = 7 - 3. Suppose -16 = -2*d + 3*t + 7, -37 = -m*d + 3*t. Suppose d = 3*i - 5. Solve 0 = i*o - 0 + 4 for o.
-1
Let c be (0 - -6)*2/3. Suppose 4*h - 3*b - 75 = 21, 3*h - 67 = b. Let v = 22 - h. Solve 0 = -3*g + v - c for g.
-1
Suppose -f + 467 = 3*m, 0 = -2*m - 4*f + 310 + 8. Solve -m*k - 8 = -159*k for k.
2
Let o be 3/6 + -7 + 279/18. Solve o*z + 15 = 6*z for z.
-5
Let a(i) = -11*i - 21. Let u be a(-3). Let k(g) = -g + 19. Let c be k(u). Solve -4*z + 6 = -c*z for z.
-2
Suppose 4*k = -5*s + 51, -53*s = -50*s + 4*k - 37. Solve -9*n = -s*n - 2 for n.
1
Let o be 66/(-8)*(-1 + (-1)/3). Solve -o = -3*q + 4 for q.
5
Let i be (1/1)/(1/11). Suppose -3*a - 16 = -i*a. Solve -a = -2*g - 4 for g.
-1
Let r be (-17)/2*(-42)/7. Let i = -51 + r. Solve i*z = 2*z - 6 for z.
3
Let o(p) = -p**2 - 6*p + 8. Let i be o(-6). Let g = -2 + i. Suppose -3*q - 45 = -g*q. Solve -w = 4*w + q for w.
-3
Suppose -14 = -j + h, 0*j - 3*h = -2*j + 27. Suppose u - 4*u + j = 0. Suppose 0 = -3*z - 4*g - 1, 5*z - 3*z + 10 = -u*g. Solve 0 = -t + z*t - 16 for t.
4
Let c be (-9)/(-6)*4/3. Suppose -5*r + h + 18 = -r, -c*r + 3*h + 14 = 0. Solve r = 3*m - 8 for m.
4
Let q(r) = r**3 + 7*r**2 + 3*r - 11. Let t be q(-6). Suppose -5*x = t*x. Solve 0 = -2*m - x + 6 for m.
3
Let f(g) = g**3 + 13*g**2 + 13*g + 15. Let d = -21 - -9. Let t be f(d). Suppose -y + 6 - t = 0. Solve -y*o + 10 = -8*o for o.
-2
Let p be 2*19/((-190)/(-120)). Solve -w = -p + 25 for w.
-1
Let m = 71 + -66. Suppose -5 - 3 = -5*f + 2*z, 0 = -4*f - 4*z + 12. Solve f*x + 15 = m for x.
-5
Suppose d = -33 + 6. Let x = d - -59. Suppose 0 = 2*u - v + 6*v - x, 2*v = 2*u - 18. Solve -5*s - 4 = u for s.
-3
Let p = 6 - 11. Let h(k) = -2*k - 2. Let a be h(p). Let t(w) = w**2 + w - 65. Let g be t(-9). Solve -g = 5*o + a for o.
-3
Suppose 8 = -3*v - 2*q - 3*q, -v - 4*q - 12 = 0. Suppose p + 2 = u, -4*u + p = v - 6. Solve 3*h - 4*h + 5 = u for h.
5
Let m(x) = -x**2 + 11*x - 8. Suppose 0 = 4*l + 2*l - 30. Suppose l*q - 28 = 22. Let p be m(q). Solve -i = -p*i for i.
0
Suppose -3*a + j + 8 = 0, 4*j = 2*a - 0*a - 2. Let w be (-23)/(-5) - 2/(-5). Suppose -5*p = -2*t - 3*t - 10, -w*p - t = -4. Solve 0 = -a*q + 11 + p for q.
4
Let u(t) = t**3 + 7*t**2 - 7*t - 7. Let z be u(-8). Let b be (27/z)/(1/(-5)). Suppose -b = -v - 7. Solve -v = l - 7 for l.
5
Let x = 51 + -17. Suppose 5*k - x - 26 = 0. Solve 0*t = -4*t - k for t.
-3
Let m be (-3)/((-12)/104) + 4. Suppose 6*n = n - m. Let g = n - -11. Solve g*j = -19 - 1 for j.
-4
Let d be 0/((12/2)/(-2)). Let t be (d/4)/(-1 - -2). Suppose t*n + 3*n = 0. Solve 0*l + 5*l = n for l.
0
Suppose u = -2*u + 2*p - 119, p + 166 = -4*u. Let c = u - -45. Solve -d = d + c for d.
-2
Suppose -5*d + 4 = -11. Suppose 2*q + d*q + 2*j - 14 = 0, 4*j - 10 = -q. Solve 15 = -q*p - 3*p for p.
-3
Suppose 5*t - 5 = 3*u, -6*t = -2*t - 5*u - 4. Let r be -1 + 5 + 0/t. Suppose -r*