+ 25 for i.
5
Let u = 18 - 14. Let y = 4 + u. Solve 2 = -2*g + y for g.
3
Let d(s) = s**3 - 9*s**2 + 10*s + 3. Let i be d(7). Let n be 24/5 + (-5)/i. Suppose 0 = -0*a + n*a. Solve a - 1 = o for o.
-1
Let n(d) = d**2 - d - 1. Let v(h) = -h + 1. Let t be v(3). Let b be n(t). Solve b*r - 6 = -16 for r.
-2
Let c(n) = n**3 + 13*n**2 + 11*n - 12. Let z be c(-12). Solve -2*p + 11 - 1 = z for p.
5
Suppose -2 = 2*d - 2*c, 0 = -2*d - 2*c + 3*c - 6. Let a = 5 + d. Solve a = 2*j - 7*j - 5 for j.
-1
Let q = 8 + -6. Suppose 2*h + q = 3*h. Suppose -12 = -6*n + h*n. Solve -4*t + n = -t for t.
1
Suppose 4*o - 2 = 10. Solve 0 = -5*g + o*g for g.
0
Let k be 3 + -1 + (-1 - 0). Let j = 9 - 4. Suppose -2*g = -j*g. Solve g = -3*q + k - 10 for q.
-3
Let n be (21/(-2))/(-3)*(-42)/(-49). Solve -a = -n*a for a.
0
Suppose 3*i - 4*n - 39 = -10, 3*i + 5*n = 65. Suppose i = l + 5*j - 9, -3*l + 3*j = 0. Solve 0 = l*k - 22 + 6 for k.
4
Let d be 2/13 + (288/52)/3. Solve 2 = d*c - 3*c for c.
-2
Suppose -5*k = -3 - 37. Suppose -k = -o + 9. Solve 0 = 4*z - 1 + o for z.
-4
Let c = -5 + 8. Let d be (-248)/(-12) - 2/c. Let r be 38/10 + 4/d. Solve 2*s + r = s for s.
-4
Suppose 0 = 6*m - 4*m. Solve v - 2*v = m for v.
0
Let v = 9 - 4. Suppose 0 = 4*b - 11 - v. Solve -b*t = -0*t - 20 for t.
5
Suppose 5*m - 3*m = 10. Suppose 58 = m*n + 5*u - 22, -8 = -2*n + 4*u. Solve n = -2*h + 6*h for h.
3
Let n(l) = l**2 - l + 1. Let m be n(0). Suppose -t = z - m, 5*z + 10 - 3 = -t. Solve t*h = 8*h for h.
0
Suppose 3*m + 2*n = 11, -1 = 4*m - 2*n - 11. Solve m*r - 7 = -19 for r.
-4
Let n be (-44)/(-12) - (-4)/12. Let s = 1 + n. Solve -3*a - s - 1 = 0 for a.
-2
Let w(t) = 3*t + 6. Let p be w(-4). Let i = -6 - p. Solve i*b - 3*b = 0 for b.
0
Let h = 31 - 24. Solve -h = l - 4 for l.
-3
Suppose 0*z + 70 = -2*z. Let m be (-28)/z*5/2. Let b(g) = g**3 - g. Let k be b(0). Solve k = 2*o + m - 0 for o.
-1
Suppose -19 = k - 5*g, -2*g + 7 + 6 = 5*k. Solve k = -4*s + 5 for s.
1
Suppose 2*y = -6 + 70. Let m = -7 + 11. Suppose -8 = m*w - y. Solve w = -2*k - 4 for k.
-5
Suppose 0 = -2*o + p + 7, -5*p - 7 + 32 = 0. Suppose o*a = 8*a - 10. Solve -23 = a*i + 2 for i.
-5
Let w be ((-20)/(-8))/((-2)/(-4)). Suppose -5*a - w = -15. Solve 3 = a*k - k for k.
3
Let l be 2/4*(-5 + 4 - -5). Solve 0 = -0*y - l*y - 6 for y.
-3
Let z = -31 + 34. Solve 5 = -u + z for u.
-2
Let u(y) = -4*y**2 + 17*y - 2. Let o be u(4). Solve -3*x = o*x - 20 for x.
4
Let i = 71 - 64. Solve i*g = 2*g - 15 for g.
-3
Let x(h) = -6 - 4 + 6*h - 5*h. Let t be x(10). Solve t = 3*q + 5 + 4 for q.
-3
Suppose 0 = 2*c - 4, 2*f - 11 - 3 = -c. Let x be f + 1 + -4 - 1. Solve -x*z + 4 = -0 for z.
2
Let j(r) = -r**2 + 3*r - 1. Let h be j(1). Let p be 3/6*(h + 5). Solve -z - 5 = -p for z.
-2
Let w be ((-3)/(-6))/(-2 - (-17)/8). Solve i = w*i for i.
0
Suppose -5*w + 3*m = -w + 3, 4 = -5*w + 4*m. Solve t + t - 4 = w for t.
2
Suppose -4 = 2*m - 28. Solve -4*s - m = -s for s.
-4
Suppose -t - 1 = 3*u, -4*t - 5*u = -13 + 3. Solve t*n + 2 = -3 for n.
-1
Suppose 22 = -3*s - 2*n, s - 2*n = -1 - 1. Let f = -4 - s. Solve f*v - 5 = -3*v for v.
1
Let v(u) = -u**3 + 17*u**2 - 14*u - 25. Let b be v(16). Solve 15 = b*z - 4*z for z.
5
Suppose -5*p - j = 3, 4*p - 3*j = -7*j - 12. Let n(u) = u**2 - u + 4. Let a be n(p). Solve 3*x - x - a = 0 for x.
2
Suppose 3*d = 5*m, 3*m = -5*d + m. Solve 1 + d = -l for l.
-1
Suppose -8 = -2*a - 2*a. Solve a*b - 6 = -16 for b.
-5
Suppose -5 = -2*m + 1, 2*n = 3*m - 3. Solve -9 = -2*v - n for v.
3
Suppose -2*m + 2 = -2*s, -5*m + 6*s = 2*s - 10. Suppose 0 = -r + m*r. Suppose -5*b = -6*b + 20. Solve r = 2*a - 7*a - b for a.
-4
Let y(r) = -2*r**2 - 2 + 7*r**3 - r - 6*r**3 + 1. Let w be y(3). Solve 0*m - w*m - 20 = 0 for m.
-4
Let y = -20 + 21. Solve -4 - y = 5*w for w.
-1
Let l be (-3)/((-14)/8 + 1). Let x be (-1)/(-8) + ((-9)/24)/3. Solve x*n - l = -n for n.
4
Let x = -8 + 8. Suppose 0 = -x*q - 2*q + 4. Solve 6 = q*a - 0*a for a.
3
Suppose 0*p = p + 5*r - 16, 0 = -4*p + 3*r + 18. Let q be 253/(-22) + 11 + (-18)/(-4). Solve -q*b + b = -p for b.
2
Let i(u) = u**2 - 2*u - 1. Let b be i(6). Solve 3 = 4*k + b for k.
-5
Let j(z) = -z**2 + 6*z + 3. Let v be j(6). Solve v*b + b = 20 for b.
5
Suppose -5 - 6 = -3*l + 2*d, -2*l - d + 12 = 0. Suppose 0 = l*f - 0*f - 120. Solve 0 = 5*x - f + 4 for x.
4
Suppose 4*k + 2 - 4 = -t, 0 = 2*t - 2*k - 4. Solve p = -t*p - 9 for p.
-3
Let c(z) = -z - 4. Let o be c(-7). Suppose -4*g = -o*g. Solve g*j - j = 0 for j.
0
Let v = 20 - 10. Solve 0*s = -5*s + v for s.
2
Let u(n) = -2*n - 11. Let i be u(-8). Let w(a) = -a**3 + 6*a**2 - 4*a + 5. Let q be w(i). Solve -4*b - q = -2*b for b.
-5
Suppose 7*b - 119 = 49. Let z be (-10)/4*2/(-1). Suppose -b = -z*h + h. Solve -g + h = 2 for g.
4
Let y = 32 + -17. Solve -x + y = 4*x for x.
3
Let m = 7 - 6. Let g = 30 - 18. Suppose -2*t + 4*v - g = 0, t - 39 = -5*v - 10. Solve t = -y - m for y.
-5
Let x(l) = -7*l**3 - 11*l**2 + 6*l. Let i(n) = 13*n**3 + 21*n**2 - 12*n - 1. Let u(j) = -6*i(j) - 11*x(j). Let b be u(-6). Solve 4*f + b - 2 = 0 for f.
-1
Suppose 2*t + 36 = -t. Let n(r) = -r - 9. Let q be n(t). Suppose 5*g - 8 = -q. Solve w + 0 = -g for w.
-1
Let p = -121 + 129. Solve 3*y - p = -y for y.
2
Let o(r) = -r**3 - 4*r**2 - 4*r - 1. Let u be o(-4). Solve -4*x + x = -u for x.
5
Suppose 5*w - 5*a - 40 = 0, 3*w + a + 6 = -2*a. Solve 0 = 4*v - v - w for v.
1
Suppose 2*k - 2 = -5*y + 17, 0 = 2*y + 4*k - 14. Suppose y*d - 7 + 4 = 0. Suppose 2*x - d = 5. Solve -3 = -x*r - 6 for r.
-1
Suppose -2 = t - 5*v + 3*v, 3*t - 2 = -2*v. Solve t*m + 3*m = 0 for m.
0
Let u(q) = 1 - 4*q + 3*q + 2 + 3*q. Let z be u(-2). Let j be (1 - z)*1 + 4. Solve s - 3*s = -j for s.
3
Let v(p) = -3*p - 21. Let d be v(-8). Solve -5*u + 23 - d = 0 for u.
4
Let d be 6/(-8)*-1*4. Let p be (-4)/8*(-1 - 1). Let b = p + d. Solve -b = 5*c - 3*c for c.
-2
Let t(g) = -g**3 + 19*g**2 - 16*g - 26. Let f be t(18). Suppose -9 = 2*b - 3*n, 16 = 2*b + 4*n - f. Solve -b*x + 20 = x for x.
5
Let u be 2/3 - (-4)/(-6). Let y be (-1 - (0 + 0))*u. Solve w = -y + 1 for w.
1
Let d(z) = -z**2 + 6*z + 7. Let b be d(6). Solve -5 = b*r - 2*r for r.
-1
Suppose 2*l + y - 4 + 0 = 0, 4*y - 16 = 2*l. Suppose 12*g - 5*g - 35 = 0. Solve l = -0*h - g*h + 15 for h.
3
Let m(j) = j**3 - j**2 - 1. Suppose 5*o - 5*z - 30 = 0, 3*o + o - 3*z = 20. Let h be m(o). Solve 9 = -h*x - 0 for x.
-3
Suppose 4 = 3*h - 5. Let u(q) = q + 4. Let d be u(0). Solve r = -h*r + d for r.
1
Let m(o) = 2*o + 9. Let c be m(-3). Solve c*b = -0*b + 9 for b.
3
Suppose -4*f + c + 13 = 0, -2*c - 3*c + 19 = f. Suppose 4*v + 0*v = -f, b - v = 19. Solve -5*z = b + 2 for z.
-4
Let j(z) = 4*z**2 + 2*z + 1. Let m be j(-1). Suppose -m*a = -3 - 3. Solve -2*u = 4 - a for u.
-1
Let p = -1 - -4. Solve p*t = 4*t + 3 for t.
-3
Let a be 99/21 + (-6)/(-21). Suppose t - 2*k = -7*k - 17, -a*k = 3*t + 11. Let x be 5 + 1/((-3)/6). Solve 3 + t = -x*c for c.
-2
Let n be (2 + 0)/1*7. Suppose -n + 5 = -3*b. Solve 2*j - 5 + b = 0 for j.
1
Let x(d) = d**3 + 5*d**2 + 4*d + 5. Let p be x(-4). Solve 0 = p*r - 10 for r.
2
Let l be (-3)/(-5) + (-8)/(-20). Suppose 0 = 3*w + 2*a + 3*a - 5, 3*a = -6. Suppose 3*b + 20 = w*b. Solve 3*x = l - b for x.
-3
Let n(g) = -g**3 - 9*g**2 - g - 3. Let k be n(-9). Suppose 4*r + 29 = 3*b + 11, -b = -2*r - k. Solve b = 3*w - w for w.
3
Let z = 6 - 0. Let x be 2/z - 25/(-15). Let c be (-6)/(-3)*x/1. Solve c*p - 2*p + 2 = 0 for p.
-1
Suppose 0 = -0*v + 4*v + 88. Let c = v + 25. Solve 12 = -0*z - c*z for z.
-4
Let f = 5 + -5. Suppose f = -0*v + v + 2*h + 6, 0 = -2*v + 2*h. Let p be -1 + 0 - v/1. Solve s + 4 = p for s.
-3
Let m(w) be the third derivative of w**5/60 + 7*w**4/24 + 4*w**3/3 + 2*w**2. Let z be m(-6). Let i = 0 + 0. Solve -z + i = -c for c.
2
Suppose -4*l + 0*t + t + 14 = 0, -3*l + 4 = -4*t. Suppose -y + 9 = 2*y + 3*m, l*y - 7 = m. Solve 0*s = s + y for s.
-2
Suppose 4*p - 1 = 5*p. Let a = p + 1. Solve a*d = -d + 5 for d.
5
Suppose 2*x + 20 = -2*x. Let h be 2*(-1)/x*5. Solve -h*j = -j - 2 for j.
2
Let s be 1*(9/(-15) - 3/(-5)). Solve 2*g = -s*g + 4 for g.
2
Let v(y) = y - 2. Let p be v(5). Let o(g) = -g**2 + 9*g - 2. Let r be o(6). Solve -r = -p*w - w for w.
4
Suppose -34 = -5*r - 2*u, -3*r + 20 = -2*u + 3*u. Solve 3*f + 3 = r*f for f.
1
Suppose -5*c = -15 - 10. Let r(y) = -y + 2. L