 j.
0
Suppose 0 = -4*y + 8. Let p(w) = -w**2 + 6*w + 2. Let d be p(6). Suppose 20 + 16 = d*i. Solve -y + i = 4*z for z.
4
Let l(a) = -a**3 + 7*a**2 + a - 3. Let w be l(7). Suppose 0 = 3*d - 5*y - 17, -d + y = -w*d - 7. Let o be 5 + (-4 - (-2 - d)). Solve 0 = -f - o*f - 3 for f.
-1
Let s = 770 - 756. Solve -3*g = 4*g - s for g.
2
Suppose -2*v + 59 - 55 = 0. Solve -4 = -v*c + 4*c for c.
-2
Let l(i) = 2*i + 6. Let q(c) = c + 1. Let d(u) = l(u) - 3*q(u). Let n be d(-2). Solve 15 - 40 = n*o for o.
-5
Suppose -208 = -3*f + 2*x - 3*x, 0 = -3*f + 3*x + 216. Let d = -66 + f. Let c(b) = -b**3 + 2*b**2 + b. Let t be c(-1). Solve d*w - 8 = t*w for w.
4
Let m = 313 + -309. Solve 6*a = m*a + 10 for a.
5
Suppose -502 = -10*u - 492. Solve -2*r + u - 9 = 0 for r.
-4
Let p be 0/((-2)/(-1)) - (-34 + 33). Solve -2*g - p = -3*g for g.
1
Let y(g) = -2*g**2 + 27*g - 85. Let l be y(8). Solve 0 = -l*r - r - 12 for r.
-3
Suppose 0 = 19*d - 61*d + 378. Solve -19 = -2*l - d for l.
5
Suppose 4*b - 5*z = -4, -4*b + 2*z + 7 = -1. Suppose -2*d - 5*k + 7 + 26 = 0, b*d - 3*k = 27. Solve 0 = -5*o + 2*o + d for o.
3
Let j(h) = -h**3 + 8*h**2 - 8*h + 9. Let o be j(7). Let z(q) = q**3 + 2*q - 3. Let s be z(1). Suppose o*m = -s + 16. Solve c = -3*c + m for c.
2
Suppose 1 = -4*i + 25. Suppose 7*b - i = 4*b. Suppose -3*m + 2*m = -2*d - 10, b*m + 3*d = 27. Solve m = 5*g - 3 for g.
3
Let h be 20/(-8)*(1 + 3). Let f be (-34)/h - 4/10. Solve y = f*y for y.
0
Let q = -172 + 179. Solve 7 = 10*k + q for k.
0
Let g be (-10 - -8)*(1 + -2). Suppose -g*x - x + 2*i = -28, 0 = -x + i + 9. Solve 0 - x = 2*m for m.
-5
Let d = -676 + 742. Solve 2*a + d = 68 for a.
1
Let i = 142 + -153. Let z(y) = y**2 + 11*y + 2. Let r be z(i). Solve r*n = -1 - 5 for n.
-3
Suppose -2*c = -3*c + 5. Let x(b) = 4*b + 1. Let k be x(1). Solve -10 = -k*z - c for z.
1
Let k(z) = 2*z + 2. Let w be k(8). Let h = w + -18. Let m(d) = -d + 8. Let p be m(5). Solve 3*i - 6 - p = h for i.
3
Let n = -571 - -587. Solve -10*t + n*t = 24 for t.
4
Let n = -92 + -26. Let p = 124 + n. Solve 3*q = p*q + 9 for q.
-3
Let v(h) = 6*h**2 + 10*h - 4. Let a be v(-2). Let r be 119/28 - 3/(-4). Solve a = -i - r + 10 for i.
5
Suppose 4*a = -f - 15, -3*a + 3*f - 7*f = 21. Let z(w) = 2*w + 6. Let h be z(a). Let y be 10/4*36/30. Solve h = y*g - 6*g + 6 for g.
2
Let o = 24 - 12. Suppose 4*k = 12 + o. Solve -1 + k = 5*n for n.
1
Let g be (-3 - (4 + -7))/((-6)/6). Solve -3*j - 8 + 5 = g for j.
-1
Let p = -752 - -760. Solve 3*x = x - p for x.
-4
Suppose 188 = 28*m - 8. Solve 0*v - m*v + 7 = 0 for v.
1
Let f(u) be the first derivative of u**4/4 - 10*u**3/3 + 4*u - 57. Let r be f(10). Suppose 0 = s - 5*s + 8. Solve r = 4*y - s*y for y.
2
Let n be (-1)/((-3)/3) - 4/(-1). Suppose 2*w - 19 = -w + 2*d, -10 = n*d. Solve 0 = 4*l + 1 - w for l.
1
Suppose 7*m - 2*y + 20 = 5*m, 2*m + 23 = 5*y. Let u be (-6)/9*m/(-3). Let l(s) = -2*s - 1. Let o be l(u). Solve 3*b + 15 = o for b.
-4
Let o(i) = i**3 + 9*i**2 + 6*i + 57. Let c be o(-9). Let j be (2 + (-1)/2)*2. Suppose -g - j*z = 2*g - 24, -2*z = -4*g + 20. Solve -c*s = -s - g for s.
3
Let c = 521 + -516. Suppose -g + 3 = -7. Solve -c*n + 0 = -g for n.
2
Let a be (-16)/28*525/(-50). Solve -a*l + 77 = 65 for l.
2
Let w = 4 - 2. Suppose -4 + w = -r. Suppose -5*a = -25, 5*i - 5*a + 2 = -3. Solve r*d - d + i = 0 for d.
-4
Suppose 0 = 5*k - 3*k + 4, -4*r + 250 = 3*k. Let o = r - 64. Solve 0 = -o*v + 4*v for v.
0
Let l(d) = 5*d - 2. Let h be l(3). Suppose 4*j + 4*b = -72, 4*b - 21 = 2*j + 3*b. Let r = j + h. Solve r*w + 4 = 4*w for w.
1
Let o = 56 - 55. Let l = o - -3. Let k(n) = -n + 2. Let h be k(-3). Solve 0 = -l*u - 3 - h for u.
-2
Let t = -152 - -156. Solve -t*x = 13 + 7 for x.
-5
Suppose -4*z - 33 + 40 = 5*o, -z + 3*o + 6 = 0. Solve 0*k - z*k = 3 for k.
-1
Let n(g) = -g**3 - 9*g**2 + 4*g - 55. Let d be n(-10). Solve 15 = -d*o + 2*o for o.
-5
Let c = 407 - 392. Solve -9 = -8*s + c for s.
3
Let x(k) = -k**3 - 5*k**2 - k - 5. Let i be x(-5). Let l = 5 - i. Let w = 108 + -100. Solve l*o + w + 7 = 0 for o.
-3
Suppose -z - 2*z + 3 = 0. Let v be (-6)/(-4)*(z + 1). Suppose -t = v*m + 2*t - 12, 0 = 2*t + 8. Solve -4*q = m + 8 for q.
-4
Let f = -480 - -508. Solve 4*k = 11*k + f for k.
-4
Let b be 47/5 - 21/(-35). Suppose -x - 3 = -b. Suppose 2*z - a = 7, 1 = 4*z + 4*a - x. Solve -z*o = -5*o + 4 for o.
2
Let v(x) = -x**3 - 2*x**2 + 6*x + 8. Let j be v(-4). Suppose 6*w - 2 - j = 0. Suppose y + 3*y - 21 = -w*u, u = -1. Solve y*f = f - 15 for f.
-3
Suppose 2*j - 9 = -3*s + 5*j, -4 = -4*j. Suppose -s*c = -6*c + 6. Suppose -5*p + 2*h - 3*h = -28, 4*p - c*h - 11 = 0. Solve 15 = -0*f + p*f for f.
3
Suppose 9*n = 5*r + 12*n - 64, r - 22 = 4*n. Solve -r*o - 25 = 3 for o.
-2
Suppose 2*k - 20 + 6 = 0. Suppose -4*h = -9 - k. Solve -v - h*v = -20 for v.
4
Let v(w) = 3*w**2 - 3*w - 2. Let l = 97 - 98. Let f be v(l). Solve 0 = f*g + g - 5 for g.
1
Let s(k) = k**2 - 16*k + 52. Let c be s(12). Solve c*u - 12 = 8 for u.
5
Suppose 0*v - 4*v = g - 5, 2*v + 11 = -5*g. Suppose v*s + 4*a = 4 + 6, -13 = -4*s - a. Suppose s*d = d + 6. Solve 0 = -b + 7 - d for b.
4
Let w be 3 + -1 - (4 - 2). Solve w = m - 5 + 6 for m.
-1
Let g = -1 + 29. Solve 8*k - 100 = g*k for k.
-5
Let g = 17 + -14. Suppose 2*n - n = -3*d + 6, -g*n + 3*d = -6. Solve 8*r - 10 = n*r for r.
2
Suppose 5*h - 10*h = -40. Solve 4*o + 12 = -h for o.
-5
Let j be -8 - (-1 + (-2)/(-2)). Let y be 136/(-14) - j/(-28). Let v = y + 13. Solve 0 = -4*r + v*r for r.
0
Let b(u) = -u**2 + 15*u + 29. Let l be b(16). Solve 0 = -8*j + l*j + 5 for j.
-1
Let c be (6 + 0)*(-6)/(-9). Suppose -k + 14 = c*t - 4, -4*t = 3*k - 22. Suppose 2 - t = -z. Solve -z*w = 4 - 14 for w.
5
Let a = -533 + 545. Solve l = -2*l + a for l.
4
Suppose -5*b + 56 = -4. Suppose 6*x - 4*x = -b. Let k be 4/x - (-20)/30. Solve k = -0*y + 2*y + 4 for y.
-2
Let x(b) = 5 - 4 + 3*b**2 + 3 - 4*b**2 - 4*b. Let k be x(-2). Solve a - 3*a = k for a.
-4
Let m(b) = 6*b + 3. Let o(r) = -r + 1. Let y(l) = m(l) + 5*o(l). Let s = 9 - 13. Let c be y(s). Solve -c*g = g + 15 for g.
-3
Suppose 9*r - 177 + 42 = 0. Suppose -104*m + 99*m = -r. Solve -m*d + 0*d = -3 for d.
1
Let c(f) = -f**2 - 8*f + 3. Let t be c(-9). Let h be (-28)/(-6) + (-2)/t. Solve -2*z = -h*z + 3 for z.
1
Suppose 8*a = 163 - 67. Suppose -4*g + 5*p = a, 5*g = 4*p - 32 + 8. Let n(w) = -w**2 - 6*w + 19. Let f be n(g). Solve 0 = -t - f + 5 for t.
2
Let s(f) = -f**2 + 5*f + 2. Let j be (-1)/(18/(-15) - -1). Let y be s(j). Let t be (-12)/10 + 230/25. Solve 0*x + y*x - t = 0 for x.
4
Suppose -122 = -4*q + 150. Let c be 1 - 5/4 - (-289)/q. Let a = 0 - -2. Solve -c = -a*u + 6 for u.
5
Let c(b) = b - 6. Let n be c(6). Suppose 0 = -n*a - a + 3. Suppose 21*k = 22*k - 5. Solve a*r = -k - 1 for r.
-2
Suppose -119 = -2*h + 2*s - 3*s, 4*s - 299 = -5*h. Solve 64 = -g + h for g.
-5
Let g be (-6)/(-15) - 68/20. Let h(b) = -b**3 - 4*b**2 - 3*b + 1. Let k be h(g). Solve 3*r + 7 = k for r.
-2
Let o be -2 + 21/9 - 45/(-27). Solve o*k - 16 = -2*k for k.
4
Suppose 55 = 2*g + 5*f - 2, -4*g + 3*f = -49. Let m = g + -13. Let c be m + -5 + 6 + -3. Solve -4 - c = -l for l.
5
Let r(f) = -131*f - 45. Let p be r(-1). Solve 0 = -b + p - 83 for b.
3
Suppose 3*q + 31 = -5*m - 0*q, -2*m = 3*q + 7. Let b be 201/12 - 2/m. Let h(x) = -x**2 + 109*x + 2145. Let o be h(126). Solve 5*z - b - o = 0 for z.
4
Suppose 4 = -2*j + 4*w, 5*j - 14 = 5*w - 3*w. Let m(x) = x**3 + 3*x**2 - 3*x + 1. Let p be m(-4). Let q be 4 + (0 - 3 - p). Solve -q*y = -j + 24 for y.
-5
Let h = 5 - 3. Let n(t) be the third derivative of t**6/120 - t**5/20 + t**4/24 + t**3/3 - 12*t**2. Let p be n(h). Solve 4*f + 0*f - 8 = p for f.
2
Let i(r) = -7*r + 139. Let h be i(16). Solve 0 = 2*g + h - 25 for g.
-1
Let f(h) = h**2 + 4*h - 8. Suppose 61 = -7*q + 19. Let k be f(q). Solve j - k = -2 for j.
2
Suppose g = 2, 2*g + 14 = 5*w + 4*g. Suppose 3 = -5*n - 4*q, w*n + 3 = -n - 3*q. Suppose 0 = 4*d - 2*c - 12 - 12, 5*c = -4*d + 52. Solve d = -3*z - n for z.
-3
Let o be ((-4)/3)/(68/(-153)). Suppose -o*a + 0 = -27. Solve 3*z + 6 = a for z.
1
Let l(p) = p - 2. Let t be l(13). Let i = 11 + t. Suppose 2*w + i = 3*c - 0, c - 5*w = 3. Solve 23 = -3*x + c for x.
-5
Let h = -883 + 892. Solve -5*p = -h*p + 8 for p.
2
Let m(j) = j + 1. Let u be m(5). Let h(z) = 9 + 2*z - z + 0