q = 0 for l.
1
Suppose 6*j + 45 = 3*j + 3*i, -2*j + 4*i = 24. Let u be j/(-15) - (-2)/(-10). Solve u + 3 = -4*f for f.
-1
Let d be 89/4 - (-162)/216. Solve 2*t + d = 31 for t.
4
Let p = -7 + 26. Let o = 30 - p. Let m = o + -9. Solve -g = -m + 6 for g.
-4
Suppose -10 = -i - 4*i. Suppose 0*q - 2*t + 4 = -i*q, 5*q + 3*t = -50. Let c(f) = 2*f**2 + 9*f - 9. Let k be c(q). Solve k = -4*s + 6 for s.
-5
Let r(y) = -y**2 + 5*y - 1. Let o be r(2). Suppose 2*c = 3*c. Suppose c = b - 6*b + u, 3*u = -4*b. Solve 0 = -b*j + j - o for j.
5
Let h = 19 - 16. Let u(p) = p**2 + 2*p - 5. Let i be u(h). Let v be (6/15)/(1/i). Solve -v*c + 5*c = 0 for c.
0
Let c be 524/32 - (-6 + 204/32). Solve 25 = 3*i + c for i.
3
Let a(y) = y**2 - 1. Let n be a(-3). Suppose -2 = -2*d + c, -4*d + n - 2 = -3*c. Suppose d = 5*t - 2*t - 6. Solve -4*w + 6 = t for w.
1
Suppose 0 = 3*s - 1 + 28. Let k = s - -9. Solve l - 3*l = k for l.
0
Let x = 14 + -2. Suppose -x = -2*u - 4. Suppose 0*m - 6 = -2*m. Solve -m*o + 7*o = u for o.
1
Let y = 23 + -19. Let o be y/12*((0 - -1) + 2). Solve 2*f + o + 3 = 0 for f.
-2
Let j = -167 - -171. Solve 32 - 24 = -j*o for o.
-2
Let w(l) = -19*l**2 - 8*l + 11*l - 36 + l**3 + 17*l. Let s be w(18). Solve 3*g - 5*g - 4 = s for g.
-2
Let l(u) = u**2 - 3*u - 7. Let g be l(5). Solve -s = g + 1 for s.
-4
Suppose 5*l - 10*l - 10 = -g, 4*l = 8. Solve -3*p = -g + 23 for p.
-1
Suppose -4*a = -5*a + 6. Suppose 11*p - a = 10*p. Suppose -p = -2*s - 2. Solve -3*q = s*q for q.
0
Suppose 197 = 37*t + 12. Solve t*s + 18 = -s for s.
-3
Let n(k) = 5 + 3 + 3*k + 2 + k**3 - 2*k**3 - 4*k**2. Let c be n(-5). Let t be (54/(-10))/((-6)/c). Solve -5*r + 8 = t for r.
-2
Let u be (12/10)/(16/(-10) + 2). Suppose -u = -n + 2*f - 0, -4 = -2*f. Solve -5 = 3*d + n for d.
-4
Let u be (3 - (-20)/(-6))*-18. Solve 4*s + 10 + u = 0 for s.
-4
Let n(y) = -y**3 + 2*y**2 + 4. Let j be n(2). Suppose 0 = 2*c + j*v - 4 + 10, -c - v = 0. Solve -c*a + 2 = -a for a.
1
Let p(m) = m**3 - 5*m**2 + 8*m - 13. Suppose 6 + 10 = -4*v, 8 = 5*f + 3*v. Let s be p(f). Solve -3*o + 0 - s = 0 for o.
-1
Let z(k) = k**2 + 2*k + 1. Let n be z(-2). Suppose 5*s - 2*w = 1 + 6, -4*s - w = -3. Let q be s/(-5 - -6)*(1 - 0). Solve 2*p + n = -q for p.
-1
Let z(p) = p**2 - 11*p - 18. Let n be z(9). Let h be (-31 - n)*2*(-1)/(-2). Solve 7 = -h*u + 2 for u.
-1
Let c(t) = -t**2 - 12*t + 11. Let b be c(-12). Let d = b - 14. Let s be 2/8 - d/(-12). Solve s*y + y = 3 for y.
3
Let k(r) = r**3 - 6*r**2 - 7*r + 11. Let w be k(7). Suppose 5*b - 24 = 3*x + 4, 2*b - w = x. Solve -b*p + 0*p = 0 for p.
0
Let c = 670 - 658. Solve 38 - 2 = c*d for d.
3
Suppose 0*j - 3*j - 4*w = -21, -w = 2*j - 9. Suppose 5*n - 25 = -5*k, j*k - 11 = n - 0*k. Suppose -31 + 31 = 49*p. Solve -n + p = x for x.
-1
Let l = 422 - 418. Solve -12*v - 16 = -l for v.
-1
Let g(y) = -38 + 82 - y - 38. Let u be g(-6). Solve -2*p + 6*p + u = 0 for p.
-3
Let f(z) = -z + 6. Let a be f(3). Let s = -6 + a. Let l be 120/(-45)*s/2. Solve 2 = -l*d + 2*d for d.
-1
Suppose 44 = 3*d - 0*c - c, 4*d = -5*c + 65. Let w be (-620)/(-14) + 10/(-35). Let h be (w/99)/(2/9). Solve b = -h*b - d for b.
-5
Suppose 87 = -5*w - 13. Let i = -4 - w. Let a(u) = -u + 31. Let q be a(i). Solve q = -4*z + 3 for z.
-3
Let z be (32/(-4) - -11) + 5 - -3. Solve -25 = -z*p + 6*p for p.
5
Let u(v) = -4*v + 15. Let x be u(3). Solve -x*m - 8 = 4 for m.
-4
Let s(t) = t**3 - 5*t**2 + 6*t - 4. Let x be s(4). Let z(w) = -3*w**3 - w**2 + 2*w + 2. Let y be z(-1). Solve -y*p + 0 = x for p.
-2
Let t = -262 + 265. Solve t + 2 = u for u.
5
Suppose 31 = 2*k + 9. Suppose 4*r + k = f, 6*r = -3*f + r - 1. Suppose 24*q - 12*q = -28*q - 75*q. Solve f*c - 15 = -q*c for c.
5
Suppose -k + 9 = -2*s - 0*s, -4*s + 31 = 5*k. Let c(p) = -p**2 + 8*p - 2. Let o be c(k). Solve 0 = o*t - 2*t - 3 for t.
1
Let f(q) = q**2 - 5*q + 2. Let m be f(5). Solve -m = 5*l + 13 for l.
-3
Suppose 0 = u + 5*k - 14, 70 = 2*u - 4*k - 0*k. Let b = 12 - u. Let i = 21 + b. Solve -i*x + 5 = 1 for x.
1
Suppose 6*u + 42 = 2*c + 3*u, -2*c - u = -50. Solve 8*s - 48 = c*s for s.
-3
Let g be -3 + (11 - (2 - -2)). Solve 2*n - g + 8 = 0 for n.
-2
Let a = -5 - -6. Let f be 40/15 - 3 - a/(-3). Solve y + 5 = -f*y for y.
-5
Suppose 10*k = 9*k + 1. Solve 3*b - k = -1 for b.
0
Let b(y) = -y**2 - 4*y + 12. Let j be b(-6). Let i be 0/((1 - j) + -3). Let x(u) = -u**3 - 7*u**2 - u - 4. Let v be x(-7). Solve 0 = v*d - i + 3 for d.
-1
Let a = -90 + 98. Suppose -2*r - 2 = -t - 7*r, -a = -4*t - 2*r. Solve t*s - 4 = -2*s for s.
1
Let s = 432 + -417. Solve 12*c = s*c + 3 for c.
-1
Let m be 12/(-30) + (-3)/(15/(-377)). Let v = m - 72. Solve -v*u - 15 = 2*u for u.
-3
Let x be (4/(-6))/((-20)/630). Let l be 12/1 - x/7. Solve 4*r + 3 = -l for r.
-3
Let h = -27 + 47. Suppose 3*c = -a + 7 + 5, 5*c + 5*a = h. Solve y + c = 5*y for y.
1
Suppose 4*x + i - 2 = -3, 3*x + 5*i = -22. Solve 2*d - x - 3 = 0 for d.
2
Let w = -28 + 30. Let k be ((-36)/(-6))/(w/1). Solve -k + 11 = 2*r for r.
4
Suppose 3*w = 3, 8*w - 5*w = 4*m - 77. Let l be (46 - 43) + (-1 - -1). Solve -l*x = x - m for x.
5
Let j(z) = z**3 + 24*z**2 - 28*z - 71. Let o be j(-25). Let q be 0 + 8/4 + 2. Solve -o*r + q = -0 for r.
1
Let g(i) = 4*i**2 + 5*i - 3. Let s be g(-3). Let t(w) = -w + 18. Let l be t(s). Solve l*v = -2*v - 4 for v.
-2
Let h(k) = -k**2 - 21*k - 100. Let l be h(-13). Let x = 5 - 3. Solve x*f = l - 0 for f.
2
Let d(x) = -x**3 + 5*x**2 + x - 5. Let b be 2*2 - (17 + -18). Let c be d(b). Solve -1 = n - c for n.
-1
Let j = 813 + -810. Solve 23*f = -j - 89 for f.
-4
Let l(w) = -4*w**3 + w + 1. Suppose 2*s = x + 2*x - 14, -5*s + x = 9. Let k be l(s). Let g = 67 - 67. Solve -k = r - g for r.
-4
Let k(j) = -j**3 + 10*j**2 + 4*j - 12. Let d be k(10). Suppose 2*i = -5*c - 2*i + d, -4*i = -3*c + 36. Solve 0 = 3*v - c - 4 for v.
4
Let k = -866 + 874. Solve k*n - 12 = 2*n for n.
2
Let b(v) = -2*v - 55. Let l be b(-33). Solve 16*w - l*w - 20 = 0 for w.
4
Suppose -8*r = -69 - 3. Solve 3*u + 30 = r*u for u.
5
Let a be 1/((-3)/24) + 15. Solve -a*p = -4*p - 9 for p.
3
Let h(b) = b**2 - 5*b. Suppose 4*v - 34 = -5*k, 0 = k - 2. Let r be h(v). Let m = 13 - r. Solve m*j = 4*j - 9 for j.
-3
Let j(c) = 4*c**2 + 2*c - 2. Let k be j(3). Let w(z) = -7*z - 24. Let s be w(-4). Suppose -d = s*d - k. Solve d = 5*f + 28 for f.
-4
Let z(y) = 18*y + 2. Let i be z(0). Solve i = -5*f - 13 for f.
-3
Suppose -3 - 1 = -x. Let a be (10/(-4))/((-2)/x). Solve a = 5*n - 0 for n.
1
Let d be (-16)/(-3) + (-2)/6. Suppose -d*b + 4*b = -32. Let u = 37 - b. Solve 0 = -7*q + 2*q + u for q.
1
Let u = 0 + 4. Suppose -2*r + 5 - 1 = -4*g, 3*r - 5*g = 5. Solve r*b = u*b for b.
0
Let d(n) = -60*n + 427. Let x be d(7). Solve -r = -x + 5 for r.
2
Let b = -51 + 54. Let p be 83/3 + 2/6 - b. Let j(x) = x**3 - 6*x**2 + 3. Let w be j(6). Solve p = w*k + 2*k for k.
5
Suppose -14*c = 5*c. Solve -9*x + 11*x + 2 = c for x.
-1
Let i be 3566/(-30) + 46/(-345). Let u = i - -123. Solve 3*q - 4*q - u = 0 for q.
-4
Let q(y) = -y**3 + 8*y**2 + 11*y - 130. Let o be q(5). Suppose 2*l = -3*i - 10, -2*i = -4*l + 5 + 7. Solve -w + 4 + l = o for w.
5
Suppose 5*v = -j + 78, 2*v = 7*v + 2*j - 81. Suppose -4*g + 3*s + v = 0, 5*s - 3 = -2*g + 2*s. Solve -2*f = -1 - g for f.
2
Let b be ((-16)/4 - -6)/((-3)/(-6)). Solve 0 = -b*j - 26 + 6 for j.
-5
Let u(f) = 4*f**2 + 11*f + 5. Let k be u(-4). Suppose 23 + k = 4*m. Solve -r - m = -4*r for r.
4
Suppose -21 = -2*x - 5*b, b = -2*b + 9. Let y = 126 - 81. Suppose 5*v - y = -0*o - 4*o, 5*v - o = 45. Solve 3*l = -x - v for l.
-4
Let u(b) = -b**2 - 36*b - 174. Let h be u(-6). Solve x - 8 + h = 0 for x.
2
Let m(w) be the third derivative of w**6/120 + w**5/4 + 13*w**4/24 - 2*w**3 - 10*w**2. Let s be m(-14). Solve -7 - s = -3*v for v.
3
Suppose -2*y = -8, -7*y + 70 = -3*c - 3*y. Let x be (27/c)/(6/(-8)). Suppose 4*v + 4*m + 8 = 0, -m + x - 4 = -4*v. Solve 4*f + 0 + 4 = v for f.
-1
Suppose 2*j - 10 = -2*w + 4, -4*j = 3*w - 25. Suppose p = -w*p. Let i be -2 - (-2 + p + -4). Solve -12 + i = 4*h for h.
-2
Let f be (5/(-3))/5 + 26/6. Suppose -5*x + 25 = 5*p, -f*x + 5*x - 11 = -3*p. Solve -i - 20 = p*i for i.
-5
Let h(r) = 2*r - 21. Let x be h(14). Let l = 7 - x. Suppose 2*a + 4*z = l, 0 = -5*a - 3*z - 4 + 18. Solve f - a*f - 12 = 0 for f.
-4
Suppose -23*p - 56 = -30*