 0 for f.
-2
Suppose 2*c = c. Solve 2*t - 12 + 2 = c for t.
5
Let m = -21 - -32. Solve m = -2*w + 1 for w.
-5
Suppose 2*d = 4*u - 26, 2*d - 1 = u - 9. Suppose 21 = -u*w + 3*w. Let g = 11 + w. Solve -g*k = -3*k + 4 for k.
-4
Let a = 2 + 2. Suppose 16 = -a*o, -4*z = -0*z + 4*o + 4. Let n = 0 + 2. Solve n*w = z*w for w.
0
Let m be (-2 - -2)/(-3 + 1). Solve 4*l - l = m for l.
0
Let n(y) = -y**3 + 15*y**2 - 25*y - 13. Let z be n(13). Solve -3*b - 18 + 6 = z for b.
-4
Let t(u) = -2*u - 8. Let x be t(-8). Let q(z) = z**3 + 6*z**2 + 2. Let n be q(-6). Solve 0 = 2*c + n*c - x for c.
2
Let s be 2/(-5) - (-27)/5. Suppose 3*z = s*b - 16, 0*b = b - 5*z + 10. Suppose 0 = -b*h + h. Solve c + 3 = -h*c for c.
-3
Let u be (-1)/4 + (-36)/(-16). Solve 3*m - u*m = -5 for m.
-5
Suppose -4*t + 3*d - 3 + 75 = 0, -5*t - 4*d + 59 = 0. Suppose 0 = -4*a - 4*v, 0*a - a + t = -4*v. Solve -4 = -i - a*i for i.
1
Suppose 2*w - l = 7, 2*w + 11 = 3*w - 3*l. Solve -s = s + w for s.
-1
Let v = 16 - 13. Solve -5 = 2*t - v for t.
-1
Suppose 5*t - 10 = -5*i, -2*i - 3*t + 6 = -0*i. Suppose 22 = 2*w + 4*d - 8*d, -3*w + 3*d + 21 = i. Solve -2 - 1 = w*n for n.
-1
Let r = -3 + 12. Solve r - 3 = 2*a for a.
3
Let k be (0 - -20)*(-12)/(-15). Suppose c = r - 4*c - 12, -3*c = -5*r + k. Solve -u - 9 = r*u for u.
-3
Suppose -2*x - 45 = -51. Solve 2*a - a = x for a.
3
Suppose 5*x + 3*z - 9 = 0, -x + 2 = -3*z + 11. Let q = 8 - x. Solve 4*n = 4 + q for n.
3
Let w be 9 + (-6 - (2 - 5)). Suppose -5*x + 2*x + w = 0. Solve 0 = b - x*b for b.
0
Suppose 3*m - a - 115 = 0, -2*m - 5*a + 70 = -35. Suppose 0 = 3*h + h - m. Solve 0 = -3*v + 1 - h for v.
-3
Let c be ((-90)/4)/(-5) - 2/4. Solve j + c - 1 = 0 for j.
-3
Suppose -t + 2 = -1. Suppose 4*x = 3*x. Solve l - t - 1 = x for l.
4
Suppose -13 = -4*b + 3. Suppose -b*z - 1 - 12 = o, 4*z = 3*o - 25. Suppose o*g - 32 = -g. Solve -5*r + g = -r for r.
2
Suppose -3*j - 6 + 0 = 3*r, 4*j = -5*r - 6. Let x = 3 + 0. Solve -x*z + 4 = -r*z for z.
4
Let l be 574/30 - (-12)/(-90). Suppose 0 = -2*w + l - 7. Solve g - w*g = 0 for g.
0
Let l = -31 + 37. Solve l*w = 4*w - 8 for w.
-4
Let h be (-1 + -2)/(15/(-10)). Solve -h*o + 6 - 2 = 0 for o.
2
Suppose 3 = -2*y - 3*t, -27 = -7*y + 3*y + 5*t. Solve 2*q = 1 - y for q.
-1
Let g = -34 - -34. Solve 2*v - v + 3 = g for v.
-3
Let t(h) = h**2 - 12*h + 2. Let b be t(13). Solve 2*o + b = -3*o for o.
-3
Suppose 211*p = 214*p. Solve p*q + 3*q - 9 = 0 for q.
3
Let k = 9 - 14. Let h(i) = -i**2 - 5*i + 5. Let x be h(k). Solve 0 = x*a - 0*a for a.
0
Suppose -2*u - 2 = -q + 6*q, -3*q + u = -1. Solve 4*k - 3*k - 4 = q for k.
4
Let n be 2*4/(-16)*-23*2. Solve -5*o = n - 3 for o.
-4
Let t(x) = -10*x - 2. Let r be t(-1). Solve 3*o - 7 = r for o.
5
Let q = 4 + -7. Let v = q + 3. Suppose 4*z + 0*z - 64 = v. Solve 5*p + 6 - z = 0 for p.
2
Suppose -y + 3*y - 8 = 0. Suppose y*c = -c + 25. Solve 4*u - 1 = -c for u.
-1
Let l be ((-8)/12)/(-1) + 4/(-6). Solve l = 3*u + 2*u - 25 for u.
5
Let c = 78 + -61. Solve 5 = 4*k + c for k.
-3
Suppose -2*y = 3*y - 20. Let i(s) = s**2 + 2*s + 3. Let k be i(-2). Solve x + k = y*x for x.
1
Suppose 9 = 3*p - 3. Solve -p*x - 1 = 19 for x.
-5
Let a(j) = 3*j - 24. Let h be a(13). Solve -4*y - h = -y for y.
-5
Let g be (-10)/1*(-6 - (-66)/12). Solve -3*z - g = -2*z for z.
-5
Suppose 0 = -m + 5*c + 162, 2*m = c - 209 + 560. Suppose 5*u - m = 143. Suppose 4 = -5*i + u. Solve -5*l - 3 - i = 0 for l.
-3
Suppose -1 + 3 = -2*v. Let x be v*1/((-1)/7). Solve 3*t = x*t + 20 for t.
-5
Let g = -8 + 11. Solve 10 = -2*y - g*y for y.
-2
Suppose -5*h = -4*h. Solve -3*b = -h*b + 9 for b.
-3
Suppose -3*w + 2*w - 19 = 5*x, 2*w + 18 = -5*x. Let v be 24/6 + 1/w. Solve 8 = v*q - 2 for q.
2
Let c(l) = l**2 - 6*l + 3. Let q be c(6). Suppose -11*p = -3*p - 40. Suppose 2*w + w = 6. Solve -p*g - q = w for g.
-1
Suppose h = -0*v + 2*v - 20, -3*v + 5*h + 44 = 0. Suppose 0 = -5*d + 5*p + 25, -4*d + v*p + 25 = 3*p. Solve 2*g - 3*g - 1 = d for g.
-1
Suppose -v = 4*v. Let l be v*(28/(-8) + 3). Solve 3*b + 6 = -l*b for b.
-2
Suppose 63 = j - 5*m, 4*j - 3*j = -2*m + 42. Let r = j - 34. Solve 11 + r = 5*i for i.
5
Let t = 16 - 16. Solve j = -t*j for j.
0
Suppose 20 = -5*b + z + 3*z, 3*b + z = 5. Let k be ((-2)/6)/(1/(-6)). Suppose k*t = 4*t + 4*j, t - 5*j - 14 = 0. Solve b*i + t = i for i.
4
Suppose -5*k = -4*f - 4, k + 0 = 4. Solve -f*r = -3*r for r.
0
Let a(z) = z**3 + 2*z**2 + z. Let i be a(-1). Solve i - 3 = h for h.
-3
Suppose 4*x - 30 = 3*n - n, -5*n - 42 = x. Let g be (5/(-15))/(1/n). Solve -2*r + g*r = 4 for r.
4
Let u(b) = 3*b**2 + 11*b - 6. Let c be u(-5). Let v = c - 10. Solve -2*z - v = -0*z for z.
-2
Suppose 0 = -2*o - 0*o. Solve -8*m + 4*m + 16 = o for m.
4
Let d(j) be the second derivative of j**4/12 + j**3/6 - 3*j**2/2 - 3*j. Let h be d(-3). Solve a + h*a = -4 for a.
-1
Let k(z) be the second derivative of z**3/6 - z**2/2 + 29*z. Let h(d) = -d**3 - 4*d**2 - d + 1. Let s be h(-4). Let c be k(s). Solve 9*m - c*m + 25 = 0 for m.
-5
Let c be 6/(-5)*100/(-40). Solve h = -c*h + 8 for h.
2
Let m(x) = x**3 - x**2 + x + 12. Let b be 0*(2 + 20/(-8)). Let t be m(b). Suppose 15 = 4*k - 5. Solve -h + k*h - t = 0 for h.
3
Let k be (-220)/(-18) - (-2)/(-9). Solve 0*l - k = -4*l for l.
3
Suppose -5*g + 9 = 3*i, 2*i + 4*g + 6 = 4*i. Solve i*t = 4*t - 5 for t.
5
Let y(z) = -4*z + 27. Let t be y(6). Solve -t*m + 12 = m for m.
3
Let i(f) = f - 9. Let o be i(9). Solve o = -4*g - g for g.
0
Suppose s - 8 = -3*s. Suppose h = -2*g - 11 - 7, 3*h + s*g = -58. Let x = 34 + h. Solve x = 3*o + 2 for o.
4
Suppose -d = 2*d + 15. Let a be ((-32)/10)/(d/25). Solve -m - 3*m + a = 0 for m.
4
Let j(v) = -4*v**3 - 2*v**2 + 1. Let c be j(-1). Suppose -c*k = -2*b - 12, k + 2 = 5*b + 6. Solve b = -4*a - 2 + 6 for a.
1
Suppose 4*t = -0*t + 16. Suppose -4*x = -t*i - 0*x + 32, -x - 2 = 0. Suppose 4*l + 4*j - 28 = 0, -l - 2*j + i = -5. Solve -3 = -0*o + l*o for o.
-1
Let o(u) be the first derivative of -2*u**2 - 3*u - 4. Let l be o(-2). Let q = 9 + -4. Solve q*x + l = -0*x for x.
-1
Suppose -v - 2 = -u, u - 3*v = -u. Solve -u = a - 3 for a.
-3
Suppose 4*y + 15 = 5*k + 39, 3*k = 2*y - 14. Solve y - 4 = 3*i for i.
-1
Let a(u) = -u**3 - 13*u**2 - 14*u - 11. Let l be a(-12). Solve -5*j - 2 = l for j.
-3
Let v be (4 - 4)/(1/(-1)). Suppose v = 3*s - 3*k - 2*k + 14, 4*s + 5*k - 28 = 0. Solve -o + s = o for o.
1
Suppose 0 = -4*g - 0*g - b + 16, 8 = 2*g + b. Solve 6 + 2 = -g*f for f.
-2
Let u = 55 - 27. Solve -5*p + u = 3 for p.
5
Let d be (-22)/(-10) - (-1)/(40/32). Solve d*c - 3 = 2*c for c.
3
Suppose 4*f - 4 = 12. Let x be (-91)/(-28) - 1/f. Solve l = -x - 1 for l.
-4
Let t(d) = -2*d - 15. Let x be t(-10). Solve -x*s + 0*s + 25 = 0 for s.
5
Let i = 15 - 10. Suppose 5*j - 22 - 6 = -4*h, -5*h = -i*j + 55. Solve 0*c = 4*c + j for c.
-2
Suppose g = -3*f + 4, 0*g + 2*g = -2*f + 12. Let p = g - 6. Let i(j) = 4*j**3 - 2*j**2 + 1. Let y be i(p). Solve 2*a + 4 = y*a for a.
4
Let g be (-30)/(-135) + (-212)/(-18). Solve -y - g = 3*y for y.
-3
Let h(t) = t + 7. Let n be h(-5). Suppose 0 = -n*a + 4*a. Solve -k - 4*k + 25 = a for k.
5
Let a(g) = -g**2 - g + 12. Let m be a(3). Solve 5*s - 7 - 13 = m for s.
4
Suppose 0 = 6*s - 21 - 27. Solve 3*r + s = -4 for r.
-4
Let a(z) = -3*z. Let w be a(-3). Let f = -15 - -17. Solve v + f*v = w for v.
3
Let u = -15 + 18. Suppose n = 4*n. Solve u*l = -n*l for l.
0
Suppose 2*x + 52 = 2*f + 3*f, -4*f + 5*x = -45. Suppose 0 = 5*z - 28 - 92. Let r = 29 - z. Solve 0*w = -r*w + f for w.
2
Let d be (-1 - -8)*(-11)/(-11). Solve -5 - d = 3*l for l.
-4
Suppose -k = -0*k - 4*n - 24, 2*k - 12 = -n. Solve -k = -0*s - 2*s for s.
4
Let w be -3*4/6 - -4. Let c = 0 - -4. Solve -w*u + 0 = c for u.
-2
Let t be 2/10 - (-56)/20. Suppose 0*m - 9 = -t*m. Solve q = -m*q - 16 for q.
-4
Let l = -24 - -12. Let r be ((-33)/9)/(2/l). Suppose -2*p + r = -10. Solve p = 2*y + 2*y for y.
4
Suppose 9 = 4*g - 7. Let s be 10/4*144/45. Solve g*n = s*n - 8 for n.
2
Let l(v) = -v**3 + 2*v + 2. Let j be l(-2). Let b be (7 + -7)*1*-1. Suppose h - 4*n + b = j, -12 = -2*h - 3*n. Solve -h*i = -2*i + 20 for i.
-5
Let n(z) = -4*z + 4. Let j be n(3). Let l = 12 + j. Solve -l*f = f + 10 for f.
-2
Suppose -z - 19 = -6*z - 3*u, -10 = -4*z - 5*u. Suppose -3*o + 4*n = 6, 5*o - 2*n = 3*n - z. Solve -o*v - 3*v = 0 