4 for c.
2
Let f = -15 - -15. Solve f*k + 6 = -2*k for k.
-3
Suppose -5*x - 3*f + 43 = 0, -11 = -2*x + 7*f - 2*f. Solve -m - x = m for m.
-4
Let k be (-72)/(-8) - (-10 + 17). Let v be ((-3)/(-6))/((-1)/(-12)). Solve 0 = k*l - v*l for l.
0
Suppose -2*k - 3 = -k, 0 = -5*r - 4*k - 2. Suppose 4*i - 2*i - 4*s - 12 = 0, -3*i = -5*s - 16. Suppose -13*l = -15*l. Solve -r*c + l = i for c.
-1
Suppose 4*i - 11*p = -14*p + 84, 5*p = -4*i + 84. Solve z + 6*z = -i for z.
-3
Let b = -49 - -48. Let g be (-15)/(-3) + (b + 2)*-3. Solve q = g*q - 5 for q.
5
Let m(z) = z**2 + z + 9. Let g = 13 + -13. Suppose -5*f = -3*r - 0*f + 10, f + 2 = g. Let a be m(r). Solve 0 = 5*k + a + 16 for k.
-5
Suppose -19*n + 30*n - 209 = 0. Suppose -5*w + n = -2*a, -w + a + 4*a + 13 = 0. Solve -5 = -w*y + 7 for y.
4
Let n be -2 + 3 - 3 - 19. Let g be 14/4*(-12)/n. Suppose 4*l = 2*h - 10, 0 = -4*l + 3*l. Solve h*b + 18 = -g for b.
-4
Suppose 0 = 3*t - 8*t + 90. Suppose -80 = t*g - 22*g. Solve -5*n + 0*n = -g for n.
4
Suppose 5*z + 16*z = 21. Suppose -4*u - p - 15 = -42, 5*u - 21 = 3*p. Let n = u + -1. Solve 2*f - z = n for f.
3
Let r(y) = -y**2 - 20*y + 13. Let m be r(-17). Let d(g) = 27*g + 1. Let o be d(1). Let u be m/o + 2/(-7). Solve 2 + 0 = u*z for z.
1
Let v(o) = o**3 + 15*o**2 + 15*o + 20. Suppose a - 35 - 11 = 3*x, -2*x = 3*a + 16. Let b be v(x). Suppose b*n - 85 = -13. Solve 0 = 2*l + l + n for l.
-4
Let i be (-3)/4 + (-3)/12. Let u be (i - -1)/(-5) - -2. Let r(h) = h + 3. Let z be r(-3). Solve z = -0*d - u*d + 8 for d.
4
Let z be 225/6 + (-175)/50 - -4. Solve 2 = 8*j - z for j.
5
Let v(n) = -6*n + 70. Let m be v(11). Solve 0 = 3*t - m*t - 2 for t.
-2
Suppose 0*r + 3*r = 5*m + 113, 3*m = 5*r - 199. Let d = 43 - r. Solve 7 - 1 = d*a for a.
3
Let u = 309 - 299. Solve 27*b - 22*b = u for b.
2
Suppose n - 3*n + 32 = 0. Suppose -2*z - z = -4*f + n, -16 = -4*z. Solve -2*j = 3 - f for j.
2
Suppose 0 = -133*m + 138*m + 15. Let k be m + 20/4 - 2. Solve k = -2*s - 2*s - 8 for s.
-2
Suppose -4*j = -4*l - 9 - 39, -j + 3*l = -6. Solve -7*m = -2*m + j for m.
-3
Suppose 37*g - 126 - 96 = 0. Solve 0*w - g*w = -24 for w.
4
Suppose -m + 3*c + 5 = 0, -4*c - 4 = -0*m - m. Solve -m + 16 = 2*o for o.
4
Suppose 160 = -6*x + 172. Solve x*l - 1 = -7 for l.
-3
Suppose 14*t - 12*t - 44 = 0. Let m = 52 + -30. Let v = t - m. Solve v*y + y = 0 for y.
0
Let q = -72 - -131. Solve -19 = -8*d - q for d.
-5
Let b be (-15 + 27)*(1 + 2/6). Suppose 2*l = -2*l + 2*f + b, 3*l = -4*f + 34. Solve l*t = t for t.
0
Suppose -109*x = -105*x - 16. Solve 4*u + x = 8 for u.
1
Let n = 9 - -5. Suppose 3*u = 4*i - 13, 4*i = 4*u - 2*u + n. Solve -s + 3 = u for s.
2
Suppose 4*g = 5*i + 67, i - 4*g + 52 = -3*i. Let q = -11 - i. Solve -q*x = -9*x for x.
0
Let v be ((-481)/(-91))/(3/21). Solve v*g - 3 = 40*g for g.
-1
Suppose -5*l - 4*x + 5 = 0, -2*x + 13 = 4*l + 3*x. Let q be -1 - (-7 - 0 - l). Solve 4*c = q*c for c.
0
Let z be (-2)/(48/(-60))*1*2. Solve 16 - 21 = z*w for w.
-1
Let l = -1506 + 1509. Solve 0 = l*n - 36 + 21 for n.
5
Suppose f - 2*f + 6 = 0. Let q = f - 4. Suppose -50*a = -28*a - 88. Solve -a*i = -q*i - 10 for i.
5
Suppose -6*x = -3*x - 12. Let k(r) = r**3 - 3*r**2 - 2*r - 8. Let i be k(x). Solve i = 3*a - 4 + 1 for a.
1
Suppose -4*r + 4*g - 5*g = 2, 2*r - 2 = g. Solve -i - i + 2 = r for i.
1
Let w(o) = o + 1. Let f be w(4). Let y be 8/12*(f + -2). Suppose 5*r - y*v + 8 = 0, -5*r = -v - 4*v + 20. Solve 0*z + 3*z - 15 = r for z.
5
Let f(h) = 3*h + 3. Let d be f(1). Suppose -4*c = 4*g + 4, 5*g + 3*c = d*g - 3. Let v = 11 + -7. Solve -v*r + 0*r = g for r.
0
Let k = 2 + 2. Let h be 27/(-45) - (-86)/10. Suppose 3*p - 5*v = 20, 5*p - p + 2*v = -h. Solve p = -2*d - k for d.
-2
Suppose -4*b + 49 = -5*q, -6*b + 3*b - 6 = q. Let l = -7 - q. Let d = 4 - l. Solve d*y = -0*y + 4 for y.
2
Let i(b) = -210*b + 7563. Let h be i(36). Let p = 33 - 13. Solve n = -h*n - p for n.
-5
Let v be 3 + 1 + 1/(-1). Suppose v*u + 0 = 5*i - 27, -i + 5*u = -23. Suppose -k - i = -5*q + 7, 0 = q - 4*k + 17. Solve -q*f + 15 - 3 = 0 for f.
4
Let p(a) = -a**3 + 8*a**2 + 3*a - 21. Let y be p(8). Solve y*h + 2*h = 0 for h.
0
Let l(n) = -n**2 + 6*n + 5. Let k be l(6). Let d = 1759 + -1752. Suppose 4*p - k = d. Solve 0 = j - 0 + p for j.
-3
Suppose 2*v - 21 = -7. Let n = 13 - v. Suppose -2*m + n*m = 0. Solve -2 = b - m*b for b.
-2
Suppose 4*b = 2*s - 6*s + 112, -4*b - 84 = -3*s. Let z be (-2)/(-10) + s/10. Let h = 6 - 6. Solve -z*y - y = h for y.
0
Let d(a) = -a**2 - 12*a + 15. Let n be d(-13). Suppose 4*r + n*z + 0*z - 88 = 0, 0 = -5*z - 20. Solve 4*v = 4 - r for v.
-5
Let w be 26/(-91) + 72/7 + -2. Solve w*c - 6 = 6*c for c.
3
Let n be 2/4*(13 - (-2 + 7)). Solve -3*r = -n*r + 5 for r.
5
Suppose 2*q = 3*i + 4*q - 12, -3*q = -2*i + 8. Solve -15 = 7*x - i*x for x.
-5
Let m = 19 - 17. Let u be 2/(-6) + 4/12. Solve 0 = -m*a - u + 6 for a.
3
Suppose 164*h = 61*h + 4635. Solve -2*c - 7*c = -h for c.
5
Let n(f) = -8 + 6*f**2 + 2*f + 2*f + f**3 - 2*f**3. Let d be n(6). Let r = d + -12. Solve 0 = -0*u + r*u + 20 for u.
-5
Let a be 2/(-22) + (-177)/(-11). Solve 3*z - a = -z for z.
4
Let r(s) = -3*s**3 - 7*s**2 + 5*s - 2. Let d be r(-3). Let z be (-6)/5*10/(-4). Solve -2*i - d = z for i.
-2
Let f(y) = -2*y - 1. Let j be f(-3). Let x(p) = 2*p**2 - 6*p + 5. Let r be x(5). Suppose 0 = -r*d + 22*d. Solve j*a - 3*a - 2 = d for a.
1
Suppose -11 = 2*i + 9. Let o be ((-2)/(-5))/((-1)/i). Suppose c = 5*c - 12, 3*w - 51 = -o*c. Solve w - 1 = 4*t for t.
3
Let y(u) = -9*u - 47. Let c be y(-6). Solve 12*h = c*h - 15 for h.
-3
Let n = 31 + -4. Suppose -39*o + 146 - 29 = 0. Suppose 0*a - 3*l + n = o*a, l = -2*a + 13. Solve i - 5 = -a*i for i.
1
Let i = 126 + -104. Solve -3 = 5*z + i for z.
-5
Suppose 4*i - 44 = 3*x, 2*i + x = -3*i + 36. Solve -8 = 4*f - i*f for f.
2
Suppose -9*p = 122 - 158. Solve 8 + p = 6*j for j.
2
Let g be 36/(-8)*4/(-6). Solve -f = g*f + 5*f for f.
0
Let q(t) = t**3 + 6*t**2 + 10*t + 12. Let v be q(-4). Solve -17 = -v*m - 21 for m.
-1
Suppose -2*i - 22 = -34. Suppose -6*j + i = -4*j. Solve -5 = j*t - 8*t for t.
1
Suppose -2*m + 52 = 2*d, -m + 19 - 11 = -5*d. Solve m*q - 5 = 28*q for q.
-1
Let y(t) = 3*t**2 - 15*t + 7. Let d be y(5). Solve d*p = 18 - 53 for p.
-5
Suppose -3*l + 12 = -3*d, 4*d + 0 + 16 = 5*l. Suppose -14*g + 16*g - 4 = 0. Suppose -g*k + 4 = -0*k. Solve l = -k*a - 2*a for a.
0
Suppose 0 = -5*j + 7*j - 16. Solve -10*q - j = -6*q for q.
-2
Suppose -15*o = -18*o + 33. Suppose -5*l + 2*j + 1 + o = 0, 3*l = -3*j + 3. Suppose 0 = -4*m - 0 + 12. Solve -17 + l = -m*u for u.
5
Suppose 279*c = 280*c - 2. Solve -c*o + 5 = -o for o.
5
Suppose -4*q = -13 + 1. Let l = -57 - -54. Let j be l*(-6)/27*3. Solve j*c + 4 = q*c for c.
4
Suppose -5*x = -5*t + 105, -5*x + 2*t = 5*t + 89. Let h(u) = -u**3 - 20*u**2 - 21*u - 22. Let w be h(x). Solve 5*p - p = w for p.
4
Let g(c) = -c**3 + 2*c**2 + 2*c - 2. Let p be g(-2). Suppose 3*y - p = 5. Let w = -8 - -11. Solve -w*s + y = 2*s for s.
1
Suppose -o - 2*c + 1 = 8, 0 = 4*o - 3*c - 27. Suppose o*x = -3*r + 3, 0*x + 3 = 3*r - 3*x. Let j be (-10*r/(-2))/1. Solve -j*v = -10 + 35 for v.
-5
Let k(d) = -d**2 + 18*d + 20. Let f be k(18). Let z = 20 - f. Solve -2*a - 3*a - 25 = z for a.
-5
Suppose 0 = 15*m - 0 - 45. Solve m*t = -0*t + 3 for t.
1
Suppose 0 = -36*v + 37*v. Suppose 5*l + 4*p = -v*p, 2*p = 2*l - 18. Solve l*t - 13 + 29 = 0 for t.
-4
Suppose -t = m - 8, 3*t = 2*t - 5*m. Solve 0 = -7*i + t - 24 for i.
-2
Let q = -989 + 1069. Solve 9*g = -11*g - q for g.
-4
Suppose -2*a - 1 = -5. Suppose a*j = -3*f - 2*j - 17, 1 = j. Let m = f + 7. Solve 4*i - 5*i - 1 = m for i.
-1
Let l = 21 + -16. Suppose -2*m + 5*b + 13 = -12, -5*m = -l*b - 40. Solve -i = -m*i for i.
0
Suppose 3*d - 81 = -0*d. Let g be d/3 + -2 + -2. Solve 0 = g*n + 6 + 14 for n.
-4
Let l(b) be the third derivative of -b**4/24 + b**3/3 + 14*b**2. Let n be l(-8). Solve -4*m - n = 6 for m.
-4
Let h(i) be the third derivative of i**4/24 - i**3/6 + 12*i**2. Let g be h(1). Solve g = -3*o - o for o.
0
Suppose -42*v = v - 43. Solve -v = -2*f + 3*f for f.
-1
Let m be (-1)/((-2)/(-2))*-5. Suppose -l + 60 = 3*x, -19*l + 29 = 2*x - 22*l. Solve -m*k = -1 - x for k.
4
Let k be 5 - 3 - (-52)/4. Let h be ((-4)/5)/((-6)/k). Suppose -2*o + 23 = 5*c, 3*o + 5*c - 25 = h. Solve 12 