i + 3 for c.
2
Let r(s) = s**3 + 6*s**2 - 8*s - 4. Let x be r(-7). Let i be (10/25)/((-2)/(-10)). Solve x = -y - i for y.
-5
Suppose 4*f + 2*h - 5*h = 14, -3*f - 4 = 5*h. Suppose 5*g + w = -3, 5*g - 4*w + 3 = 15. Solve g = -v - v - f for v.
-1
Suppose 3*n + 1 = 13, 2*t = n. Solve t = 5*x - 18 for x.
4
Suppose 3*z = 5*g - 14, 0 = 4*g + 3*z + z - 24. Suppose 6*o - 7*o = -38. Suppose -g*c + 42 = -o. Solve 0*d - c = 5*d for d.
-4
Let l = 1 - -3. Let k = l - 4. Let j be -2*(0 + 9/(-6)). Solve -j*p + 0 - 3 = k for p.
-1
Let s = 0 - 2. Let r = 2 + s. Suppose k + 0*n + 10 = 4*n, 0 = -3*k - 3*n + 15. Solve k*b + 4 = -r for b.
-2
Let y(o) = o**2 - 11*o + 12. Let u be y(11). Suppose -37 = -c - u. Solve -3*t - c = 2*t for t.
-5
Let q be (-1)/(-1) + (3 - 4). Suppose -2*g = -4 - q. Solve -7*t = -g*t for t.
0
Let f(a) = 2*a - 14. Let b be f(7). Solve b*u = -5*u for u.
0
Suppose 0 = 2*o - 5*o - 5*x + 25, 5*o - 2*x = -10. Solve 2*v - 4*v = o for v.
0
Suppose j - 2*j - 5 = -t, 3*j + 9 = t. Solve 16 = -m - t*m for m.
-4
Suppose -2*r + 15 = 3*r + 2*h, -4*h = r - 3. Solve r - 23 = 5*j for j.
-4
Suppose 0*d + 4 = 2*d. Let q be 9/18 + 9/d. Solve -k - q = 4*k for k.
-1
Let z = 15 - 11. Solve -6*a = -z*a - 10 for a.
5
Let a be ((-36)/15)/((-1)/5). Suppose -a*k + 11*k = -5. Solve -c = -k*c + 4 for c.
1
Let m(r) = 1 + 5*r**3 + 0*r**3 - 2*r**3. Let c be m(1). Solve c = 4*b - 3*b for b.
4
Let z be (-42)/(-15) + -3 + 21/5. Solve 2*t = z*t + 8 for t.
-4
Suppose 4*i - 6 = 2*z, 2*z + 3*z - 5*i = -20. Let u = 7 + z. Solve -t + 15 = u*t for t.
5
Let t(p) = -p + 14. Let i be t(12). Suppose 0 = -2*o - 2*x - 4 + 16, 2*x - 4 = i*o. Suppose -2*l + w + 0*w + 1 = 0, -3*w = -2*l - 5. Solve l*h = -o*h for h.
0
Let n = -10 - -14. Solve 3*h - 4*h - n = 0 for h.
-4
Let n = -2 - -8. Let a = n - 1. Suppose -s + 1 = t, -s + a*s = t - 1. Solve -2*o - t + 3 = 0 for o.
1
Suppose 13 + 4 = 3*r - l, -4*l - 16 = r. Let j be 1*(-5)/(15/(-9)). Solve j*b + 2 = r*b for b.
2
Suppose -z + 5*t - 4 = -0, -t = z - 20. Solve g + z = -3*g for g.
-4
Let x(g) = -g**3 - 4*g**2 - 3*g + 2. Let m be x(-3). Suppose 3*t - 2 = 16. Solve -t = -0*v + m*v for v.
-3
Let l be 24 + -6 + (-1 - -3). Solve -3*i = 2*i - l for i.
4
Let s = -13 - -16. Solve 0 = -t - 5 + s for t.
-2
Let c(p) = -p**2 + 3*p + 3. Let t be c(6). Let g = 53 + t. Suppose 4*m - 22 - g = 0. Solve 0 = -8*w + 3*w - m for w.
-3
Let f = -6 + 9. Suppose 3*j - 11 - 4 = -2*g, -f*g = -3*j + 15. Solve g = -0*y + 4*y for y.
0
Suppose 4*v + 13 = -o - 0*o, 0 = -5*o + 2*v - 21. Let a = o + 8. Solve -16 = a*h + h for h.
-4
Suppose 0 = -9*x + 4*x. Let c = x - -4. Solve -c = b - 2 for b.
-2
Let i be ((-45)/15)/(2/(-6)). Solve -4*p = -i*p + 10 for p.
2
Let c be 6*3/2 + (-1 - 0). Solve a - c = -a for a.
4
Suppose -v + 4 = 2*r - 3, 0 = 5*v + 5*r - 30. Suppose -27 + 5 = -v*s - t, -s - 3*t = 4. Suppose x = -m + 8, -s*x = -m - 8 - 8. Solve 5 = k + x for k.
1
Let r(o) = 2*o - 9. Let i be r(7). Suppose -2*w + 4*v = v - 17, -i = w + 3*v. Solve q - 1 + w = 0 for q.
-3
Let p be (1 - 4)/((-10)/10). Let f = p + 0. Suppose 0 - 9 = -3*k. Solve -k = f*b + 3 for b.
-2
Suppose -1 - 2 = -d. Let n = 1 + 3. Suppose -n*t = t. Solve r + d = -t*r for r.
-3
Let o = -5 + 37. Let d = o + -16. Solve 3*b = -b + d for b.
4
Suppose -3*u + 47 = 5. Suppose 3*i - u = -2. Solve -i - 2 = -2*z for z.
3
Let m(c) = c**3 - 6*c**2 - 7*c + 2. Let b be m(7). Suppose 0 = 3*u - b*u - 3. Suppose 2*w + u*w - 19 = -3*a, 0 = -3*a - 6. Solve w*r - 2*r = 15 for r.
5
Let y be (10/4 + -1)*(-8 - -10). Let r(a) = -2 + 5*a**2 - 2*a**3 + a + a**3 - 1. Let q be r(5). Solve 0 = -q*c - y*c + 25 for c.
5
Let r(w) = -w**3 + w**2 + 3*w - 2. Let v be r(2). Solve -h + v*h + 5 = 0 for h.
5
Let j(w) = -w**3 - 3*w**2 + 2. Let o be j(-3). Suppose -m - 5*r = m + 5, -o*r - 2 = m. Solve c + 2 - 7 = m for c.
5
Suppose 0 = 4*c + 2*o - 16, -5*o + 5 = -c - 10*o. Solve -14 = c*h - 4 for h.
-2
Suppose -67 = 5*s + 4*c, -3*s - 2*s - 3*c - 69 = 0. Let w = -8 - s. Solve 1 = -2*o - w for o.
-4
Suppose -2*w - 3*w + 19 = -3*n, 2*n = -w + 9. Solve 0 = n*c + 2 for c.
-1
Let s(r) = 2*r - 9. Let u be s(6). Let d be 3 + 2/(u + -1). Let l be (-2)/11 + 369/33. Solve -3*z = l + d for z.
-5
Let l = 21 - 26. Let c = 13 + l. Solve 0 = -0*t + 2*t + c for t.
-4
Suppose -k = -2*q - 1, q - 3*q + 5*k = 21. Solve 15 = 3*p + q*p for p.
3
Let h be (2 - 2)/(-6 - -4). Suppose 5*t - 14 - 6 = h. Solve -3*m = -7*m - t for m.
-1
Let u be 2 - 0 - (19 - 20). Solve -3*i - 12 = -u for i.
-3
Let z(i) = -6 - i**3 + i + i**2 + 2*i**2 + 5*i. Let f be z(4). Let r be 1 + (2 - 4) + 6. Solve r = -3*j - f*j for j.
-1
Suppose 0 = 5*q + 5, 4*d = -5*q + 13 + 2. Suppose -f - 24 = -d*f. Solve f = -v + 1 for v.
-5
Let j be 2/(-6)*(-2 - 10). Solve j*d = -d + 25 for d.
5
Let s(q) = q**3 + 12*q**2 + 1. Let k be s(-12). Suppose -y - k = -3. Solve -4 = -2*n + y for n.
3
Let w = 43 - 38. Solve 13 = -w*s - 12 for s.
-5
Let t be 5/2*24/(-15). Let k be (36/8 + t)*4. Solve 0*g - 2*g = k for g.
-1
Suppose 0 = -q - 3 + 5. Let z be (-16)/(-2)*2/4. Solve -q = -j - z for j.
-2
Suppose -4*r + 3*r - 40 = 0. Let b = -24 - r. Solve 3*a - b = -a for a.
4
Suppose 3*p - s - 7 = -0*p, -4*p - 3*s - 8 = 0. Suppose 2*h + 2*h - 12 = 0. Let m be ((-10)/6 + 2)*0. Solve m = -z - p + h for z.
2
Suppose 3*c - 9 = -0*c. Let h be -2 - c/3*-7. Let j(f) = f**2 - 3*f - 4. Let a be j(4). Solve h*y - 2*y = a for y.
0
Suppose -2*g + 20 = 8. Solve 2*h - 8 = g*h for h.
-2
Suppose 2*s + 5*g + 5 = 35, 0 = -s + 2*g - 3. Solve 0 = -p + 1 - s for p.
-4
Let a(x) = -x**2 + 3*x. Let c be a(2). Let f be (2/(-3))/((-7)/63). Solve 5*n - c*n = -f for n.
-2
Suppose -l - 30 = -2*z + l, z = 2*l + 10. Solve 0 = 3*t - 8*t - z for t.
-4
Suppose -5*h + 45 = -30. Let t(g) = -3*g - 1. Let k be t(-1). Solve k*v - h = -v for v.
5
Let n be 114/6 + -2 - 5. Let j(v) = v**3 - 6*v**2 - 7*v + 8. Let i be j(7). Solve -i = 4*t + n for t.
-5
Let g = 41 - 33. Solve -5*y = 3 - g for y.
1
Let l(i) = i**2 - 4*i. Let w be l(3). Let z = 5 + w. Suppose -p + 1 = 2*b, z*b - 2*p + 2 = 3*b. Solve 0 = 2*k - b + 4 for k.
-2
Suppose 0*w = 2*w. Suppose 6 = 3*q + 2*x + x, 0 = -3*q - 5*x + 4. Solve w = -r - 5 + q for r.
-2
Suppose 3*r + 4*d - 14 = 0, -4*r - 3*d = -0 - 14. Let l = 2 + r. Suppose -l*k = 0, -4*j - 9 = -4*k - 25. Solve 5*i = j*i for i.
0
Suppose 0 = -2*q + 4*q. Suppose 0 = -7*f + 2*f + 20. Let r = q + f. Solve 8 = r*b - 0*b for b.
2
Let f(z) be the second derivative of -z**4/12 + 5*z**3/6 + 3*z**2/2 + z. Let v be f(5). Suppose a + b - 6*b = 8, v*a - b - 10 = 0. Solve -3*o = a - 12 for o.
3
Let y be (1/(-2))/(3/24). Let a be (y/(-10))/(3/30). Solve 5*i - 4*i = -a for i.
-4
Let q be (-6)/(-9) - (-4)/3. Let j be (-42)/9 + q/(-6). Let c = j + 8. Solve c*z = 4*z for z.
0
Suppose g - 2*a + 1 = -0*g, -5*g = 5*a - 25. Suppose 4*r = 4*y + 32, -3*r = -8*r + y + 40. Solve c = -g*c - r for c.
-2
Suppose 8 = -14*c + 18*c. Solve -c*u - 3*u = 0 for u.
0
Suppose 0 = t - 8*y + 9*y - 5, t = -3*y + 11. Solve t*p - 5*p = 9 for p.
-3
Suppose 0 = -2*v + 8 + 10. Let q = -5 + v. Solve q*m = -m + 15 for m.
3
Let d(r) = -r**2 + 8*r - 13. Let m be d(3). Solve -m*o = o - 12 for o.
4
Let m be 4 + 8/(-4) - 0/5. Solve o + m = 3 for o.
1
Let k(s) = s + 4. Let c be k(-2). Let l be (2 - -1) + (-6)/c. Solve 3 = w - l for w.
3
Suppose -60*d - 30 = -63*d. Solve -5*g - d = -0*g for g.
-2
Let c(s) = 4*s - 1. Let n be c(1). Suppose 2 = 2*x + i, n*x + 2 = 3*i - 2*i. Let u(g) = -2*g**2 + 19*g - 21. Let d be u(8). Solve 0 = d*k - 3 - x for k.
1
Let u(p) be the second derivative of -p**4/12 + 5*p**3/6 + p**2 + 2*p. Let w be u(5). Solve -w = -z - 1 for z.
1
Let m = -2 - -2. Let f(p) = -p**3 + p + 2. Let c be f(0). Let z(q) = 3*q - 3. Let l be z(c). Solve m*g - 15 = l*g for g.
-5
Let q(r) = 1. Let u(w) = -3*w + 12. Let n(i) = -15*q(i) + u(i). Let p be n(-2). Solve 0*x = p*x + 6 for x.
-2
Let t = 244 - 174. Suppose 0 = a - 5*o + 3, a + 7*o + 33 = 2*o. Let b be (-6)/a + t/6. Solve -3*l = -6*l + b for l.
4
Let p be 2/(1 + (-1)/3). Solve 0 = p*b + 3 - 0 for b.
-1
Let o(l) = -l. Let c = -6 - -12. Let a be o(c). Let q(h) = -h**3 - 5*h**2 + 4*h - 7. Let i be q(a). Solve 0 = i*g - 9 - 6 for g.
3
Let a = -2 - -5. Suppose 5*u = 2*k + a, -4 + 2 = -5*k + 3*u. Solve -k = b + 1 for b.
-2
Let b = -13 + 7. Let i be (32/3)/(b/(-9))