 c for c.
2
Let k = 3 - -7. Suppose k = 5*z - 3*z. Solve -z*a = -a - 16 for a.
4
Let a(j) = 3 + 9 + j - 3 + 0*j. Let d be a(-9). Suppose d = 2*i + 5*k - 10, 2*i + 3*k = -0*i + 6. Solve p + i - 2 = 0 for p.
2
Suppose 4*j - 32 - 88 = 0. Suppose -7*t = -2*t - j. Solve 3*f - t = -3 for f.
1
Let g = 10 - -26. Let s = g + -16. Solve 3*q + q + s = 0 for q.
-5
Let h(j) = 3*j**2 + 2*j - 3. Suppose -3*w + 0 + 6 = 0. Let d be h(w). Solve d - 4 = 3*f for f.
3
Let g be 2/(-8) + 5/4. Solve 0 = 3*t - 4 + g for t.
1
Let r be -9*5/(-6)*(-6)/(-15). Suppose 0*m + 4*m + 5*q = 10, -3*m - 2*q + 11 = 0. Suppose -5*k - 2*z = -3*z - 97, 2*z - 106 = -m*k. Solve k = n + r*n for n.
5
Let s = -71 - -81. Solve s = -j - j for j.
-5
Let b(m) = -2*m - 14. Let z be b(-9). Solve -z = 5*w + 6 for w.
-2
Suppose h - 15 = 7. Let j = h + 3. Solve 4*w + w - j = 0 for w.
5
Let c(g) = -g**3 - 2*g**2 + 3*g. Let d be c(-3). Let t be 24/10 - 9*4/90. Solve t*i - 8 = -d*i for i.
4
Let h(u) = u**2 + u + 2. Let f be h(0). Suppose -b + 5*k - 9 = b, 4*k = 12. Suppose -3*m = -7*m, 0 = -4*d - 5*m + 12. Solve -b*y = -f*y - d for y.
3
Let a = -27 - -28. Suppose -5*y - 15 = 2*r, -5*y = r - 5*r + 15. Suppose r = b - a - 4. Solve 18 = -b*q - 7 for q.
-5
Let t = 3 - 1. Let n(q) = q + 4 + 2*q**t + q**3 + q - 4*q. Let u be n(-3). Solve d - u = 2*d for d.
-1
Suppose -b = -2*b. Solve r + b*r + 1 = 0 for r.
-1
Let n(j) = 3 - j**2 + 1 + 6*j - 5. Let u be n(5). Suppose -6*b + 22 = -u*b. Solve -5*o - b = -36 for o.
5
Suppose -2*u + 14 = -s + 3, 5*u = 3*s + 30. Solve u = h - 0*h for h.
3
Suppose 0*h + 12 = 3*h. Let c = 6 + -5. Let z = 6 - c. Solve -z*g = -h*g for g.
0
Let w(v) = -2*v**3 + 2*v**2 - 1. Let r be w(-1). Let a = -2 - -2. Solve a*x = -r*x + 6 for x.
2
Let u = 11 + -11. Suppose 0 = 4*g - 0*g + 4*c - 32, u = -3*g - 5*c + 28. Solve -k + g*k = 0 for k.
0
Let h = 23 - 23. Suppose h*x = -x. Suppose 0 = -4*w + 20, 4*r - 3*w + 2 + 1 = 0. Solve x = -m - r*m - 20 for m.
-5
Let w(b) = -b**2 + 4. Let q be -2*(2 + (-21)/6). Let n be w(q). Let d be 3/15 + (-9)/n. Solve 0*s = d*s for s.
0
Let u(i) = i - 4. Let t be u(8). Solve 0 = -t*v - 0 + 4 for v.
1
Suppose -3*j - 4*k = 12, -3*j = 4*k - 2*k + 6. Let q be (-9 - j)*3/(-9). Suppose 3*s - 12 = -q. Solve -4*l + s + 13 = 0 for l.
4
Suppose 2*n + 2*t - 24 = 0, 4*t + 123 - 27 = 5*n. Suppose 5*l + 4*u - n = -3, u + 3 = 0. Let o = 1 - -3. Solve 0 = o*a - l*a - 1 for a.
-1
Let v be -1 + 0 - (3 - 19). Solve -c = 2*c - v for c.
5
Let o = -4 + 6. Solve -2*c - o = 2 for c.
-2
Let b = -2 + 4. Let w = 7 + -5. Solve -h = -w*h + b for h.
2
Let s = 8 + -5. Suppose c = 2*a - 6, 3*c - s*a = -c - 4. Solve 3*b = -c*b for b.
0
Suppose 17*r - 10 = 24. Let i be (-8)/(-6) - (-4)/6. Solve 4 - i = -r*v for v.
-1
Suppose -3*w + 2 = -1. Let o be w + 19 + 0/(-2). Solve 0 = -5*z + z + o for z.
5
Suppose 5*b + 10*s = 5*s + 80, -2*b + s + 23 = 0. Let j be 1/4 - 19/(-4). Suppose -m - 6 = -4*m. Solve b = -j*g - m for g.
-3
Suppose -29 = -3*i + 5*k, -4*i + 0*k = 4*k + 4. Solve -i*m = -8*m for m.
0
Let k = 6 - 4. Let p = -12 + 17. Solve -p*x - 3 = k for x.
-1
Let b(z) = z**3 + 3*z**2 + 3*z + 3. Let y be b(-3). Let c = -6 + 13. Let q = y + c. Solve -q = -3*u + 2*u for u.
1
Let l(s) = s**2 + 3*s + 2. Let d be l(-3). Suppose d*o + 19 = 3*o. Let g = o - 13. Solve -h - h = g for h.
-3
Suppose 2*n + 40 = 3*y - 2*n, 4*y - 53 = 5*n. Solve -4*p = y + 4 for p.
-4
Let g be (-8 - -6)*14/(-4). Solve 2*c = 1 - g for c.
-3
Let m(q) = q**2 - 2*q + 2. Let x be m(2). Suppose -5*k + x = -13. Solve 0 = -5*u + k + 12 for u.
3
Let u = -97 - -109. Solve u = -w - 3*w for w.
-3
Let a = 17 - 9. Suppose 0 = 3*r + 8 + 1, -3*g - 3*r = -66. Let s = g + -23. Solve 0 = -s*z + 4*z + a for z.
-4
Suppose -3*l + 16 = 5*m, 5*m = -2*l + 14 + 5. Suppose -9 = -3*o, 0 = -4*q + m*o - 22 + 7. Solve -4*u = 4 - q for u.
-1
Let m(u) = -u**2 + 8*u + 12. Suppose -4*x + 5*x = 3. Suppose -6 = -c + x. Let g be m(c). Solve 4 = o + g*o for o.
1
Suppose -g + 3*g = -102. Let d = g + 71. Suppose 0 = 5*w - d - 10. Solve -5*j - 4 = w for j.
-2
Let a(l) = -4*l + 13. Let b(m) = -9*m + 26. Let i(j) = 7*a(j) - 3*b(j). Let s be i(13). Suppose 4*n = -3*k - 6, n + 12 = 3*k - n. Solve k*w = -s*w - 8 for w.
-4
Let g = -60 + 62. Solve v - 3 = -g for v.
1
Let v(u) be the first derivative of 1/2*u**2 + 3 - 5*u. Let s be v(7). Solve 0 = -s*a - 4 - 2 for a.
-3
Suppose -29 = -26*o + 231. Solve 7 = -3*k + o for k.
1
Let m = 20 - 6. Solve 3*h - 2 = -m for h.
-4
Suppose 2*o + 2*i - 5*i = 2, o - i - 3 = 0. Solve 4 = g + o for g.
-3
Let z be (-1 + 0)/((-10)/20). Solve z*t - 3 = -t for t.
1
Let u(c) = -6*c - 2. Let j be u(1). Let a = j - -8. Solve o + o = a for o.
0
Let l be 86/7 - (-2)/(-7). Suppose -21 + 1 = -5*r. Suppose -5*g + 42 = 3*s + 7, 2*s = -r*g + 26. Solve g*u + 0 = -l for u.
-3
Suppose 0 = -22*p + 18*p + 16. Suppose -3*z + 0*z = 0. Solve z = -p*v + v + 9 for v.
3
Let b = 69 + -67. Solve 2 = 2*d - b for d.
2
Let b be (-1)/(1 - (-9)/(-6)). Suppose -15 = -b*a - 3*a. Solve a*p - 10 = p for p.
5
Suppose 0*p - 4*p = -88. Suppose -20 = -5*i - 5*g, 0 = 4*i - 0*g + g - p. Suppose 0 = -5*c + b + 12, 3*c = c + 4*b - i. Solve -c*r = -r for r.
0
Let s = -15 - -21. Solve 2*h + s = -2 for h.
-4
Let a be -3 - ((3 - 5) + -3). Suppose 0 = a*j + 3*j - 20. Solve -16 = -0*y + j*y for y.
-4
Let r = -64 + 72. Solve v = -v - r for v.
-4
Let j = -14 + 16. Solve j + 2 = 2*a for a.
2
Let q(x) = x**3 + 4*x**2 - x - 3. Let d be q(-3). Suppose 2*f - 5*f = -d. Solve 4*o = f*o - 3 for o.
-3
Let l = -9 + 15. Let n be 9/l*(-2)/(-3). Suppose 3 = -3*a - 3*s, a = 2*s - n + 15. Solve a*m - 2*m = -2 for m.
-1
Let k(b) = -2*b**3 + 3*b**3 - 5*b + 4*b**2 - 2*b - 5. Let z be k(-5). Solve z*i - 15 = -0*i for i.
3
Let l(u) = -1 + 6 + 1 + 2 - 9*u - u**2. Let c be l(-8). Solve 0 = -r - 3*r + c for r.
4
Let b(y) = 3*y + 1. Let z = -1 - -2. Let o be b(z). Let i(c) = c**2 + 4*c + 8. Let j be i(-7). Solve -5*t + o = j for t.
-5
Suppose 0 = 2*g - 13 - 7. Let y(k) = k + 7. Let j be y(g). Let t = 5 + j. Solve t = 5*f + 7 for f.
3
Let j = 122 + -119. Solve j*b + 1 = 4*b for b.
1
Suppose 0 = 4*g - a + 21, 6*a - 3*a - 35 = 5*g. Let x be 5/1 + (g - -2). Let t be 14/(-4)*108/(-63). Solve x = 3*j + t for j.
-1
Suppose 2 = -r + n - 0*n, r + 2*n + 17 = 0. Suppose -s + 9 = -0*s. Let a = s + r. Solve -25 = a*b + 3*b for b.
-5
Suppose -k - 4*k = -10. Suppose 0 = 4*q + k*y + 22, 3*q + 12 + 6 = -2*y. Let i(t) = t**3 + 5*t**2 + 5*t + 4. Let d be i(q). Solve w + 4*w - 5 = d for w.
1
Let s = 9 + -9. Let l(j) = j**3 - 6*j**2 + 6. Let m be l(6). Suppose 4*g - 2 = m. Solve -g*q + s = 8 for q.
-4
Let m = -47 - -72. Solve 0 = f + 4*f + m for f.
-5
Let f(t) = -5*t**2 + 1 - 9*t**3 - 3*t + 2*t + 6*t + 10*t**3. Let q be f(4). Solve 2*m + 1 = -q for m.
-3
Let q be ((-4)/6)/(3/45). Let n(m) = m**2 + 11*m + 11. Let z be n(q). Solve -3*y + 10 - z = 0 for y.
3
Let o(v) = -v**2 - v - 9. Let p be o(0). Let w be (-20)/(-15) - 6/p. Solve 0 = w*r + r - 6 for r.
2
Let t(j) = 20*j**2 - j. Let c(z) = -z**3 + z**2 + 4*z - 3. Let r be c(2). Let i be t(r). Suppose 0 = 4*g + 3 - i. Solve -g = -s - 5 for s.
-1
Let o(z) = -2*z**2 - 10*z - 3. Let a be o(-4). Suppose a + 5 = 5*b. Solve -b*r + 6 = -0 for r.
3
Suppose 10 = -2*o, y + 2*o + 6 = -7. Let t(r) = r**2 - r**3 + 2*r**2 - 7*r**2 - 3 - 4*r. Let b be t(y). Solve -n + b*n - 3 = 0 for n.
-3
Let t be 0 + (3 - 7 - -4). Let d be 4 - (2 + (t - 7)). Solve 5*f + 16 + d = 0 for f.
-5
Let a = 3 + 2. Let s(h) = -h**2 - 12*h - 12. Let r be s(-11). Let w = a + r. Solve -5*q = 19 - w for q.
-3
Let y be 8/12 + (-8)/3. Let m = y - -2. Solve m = -2*v - 0*v for v.
0
Let x(u) be the second derivative of u**3/6 - 7*u**2/2 + 9*u. Let t be x(7). Solve -8 = 4*l - t for l.
-2
Let x(k) = -k**2 + 4*k + 3. Suppose o + 2*c = 0, -3*c = 2*o + 2*o - 10. Let h be x(o). Suppose 1 = 2*b - h. Solve -b*w + 2 = -0 for w.
1
Suppose -b + 11 = -0. Let z(c) = c**3 - c**2 + 1. Let s be z(0). Solve 0 = -5*w - b + s for w.
-2
Suppose 3*p = 3*m - 30, -m + 6*m + 4*p = 5. Solve -m*w - 14 - 1 = 0 for w.
-3
Suppose -3*p - 2*p = 0. Let y(g) = 9 + 5 - 5*g + 4*g + 2*g. Let q be y(-11). Solve h + p*h = -q for h.
-3
Suppose 0*d - 5 = -3*d + v, d - 5*v + 3 = 0. Suppose 2*f = d*z, -2*f + z + 12 = 2*f. Solve 2*o = 4*o + f for o.
-2
Let a be (-47)/(-9) - 4/18. Le