.
4
Let r = -1 - -5. Suppose 4*w + 2*s - 32 = s, -r*w + s = -24. Solve w*u = 3*u for u.
0
Let y = 6 + -8. Let m(p) be the third derivative of -p**4/8 - p**3/2 - p**2. Let q be m(y). Solve 0 = -q*c - 3 for c.
-1
Suppose 0 = -5*s + 3*u + 24, 3*s + 18 = 5*s - 4*u. Suppose -3*z + 4*z = 0. Suppose -i + 5*o + 43 = 2*i, -5*i + 5*o + 75 = 0. Solve d + s*d - i = z for d.
4
Let d = -8 + 13. Solve d*w - 2*w - 12 = 0 for w.
4
Let c be -1 + 2 - -1 - 0. Let q be -2 + -3*c/(-3). Let b(r) = r**2 - 3*r - 1. Let f be b(4). Solve 9 = f*d - q for d.
3
Suppose 0 = -2*m - 0*m + 4*s - 2, -s = -5*m + 22. Suppose -6 = -m*i - 2*j, -3*i + j - 3 = -6*i. Solve 4*l + 8 = -i for l.
-2
Suppose -2*o + 13 = 5. Solve -8*c = -o*c + 8 for c.
-2
Let u(t) be the second derivative of 1/12*t**4 + 1/2*t**2 + t**3 + 0 - t. Let j be u(-6). Solve o = -5 + j for o.
-4
Let w(n) = -n**2 + 7*n + 3. Let j be -2 + 9 - (-1 + 1). Let a be w(j). Let b(p) = p**3 - 3*p**2 - 4*p + 2. Let t be b(4). Solve 0 = -a*c + t*c - 2 for c.
-2
Suppose -z + j + 9 = 2, 0 = -2*z - 5*j - 14. Solve 3*h = -0*h + z for h.
1
Let t be 1 + 28 + (0 - -1). Suppose 0 + t = 5*z. Solve z = 3*o - 3 for o.
3
Let m(n) = n**3 + 2*n**2 + 2*n + 1. Let j be m(-1). Solve f - 6*f + 5 = j for f.
1
Let l = 10 + -8. Suppose 4*g = 14 - l. Solve 0 = j - g*j + 10 for j.
5
Let h = 14 + -9. Suppose 4 = 2*l - 5*y, l + 5*y = h*l - 8. Solve 3*f + l*f - 5 = 0 for f.
1
Suppose q = -0*q. Solve q = -3*x + 5*x + 8 for x.
-4
Suppose -5*f = 2*c + 30, 0*c = 5*f - 4*c + 60. Let l = 11 + f. Solve 0 = l*q - 8*q + 20 for q.
4
Suppose -i = -5*t + 19, -t - 3*t + 2*i = -14. Solve 0 = l + 3*l - t for l.
1
Suppose -12 = -s - 4*t, 4*s - 5*t = -7 + 34. Solve -y + 5*y = s for y.
2
Let r be (1 - 12/8)*0. Solve -6*g + g = r for g.
0
Suppose -12*b = -3*i - 13*b + 3, -5*i + 4*b - 12 = 0. Solve -4*a + 5*a + 1 = i for a.
-1
Let o(a) = -a + 1. Let y(j) = 8*j - 6. Let x(f) = 5*o(f) + y(f). Let p be x(2). Let h(b) = 6*b**2 + 3*b + 2. Let r be h(-2). Solve -r = -p*v - 0*v for v.
4
Let r be (-1)/(-4) + (-11)/(-4). Let q(d) = -6*d**2 + 4 - 3*d**2 + 1 - d**r. Let x be q(-9). Solve x*b - b = 0 for b.
0
Let h be -3*1 - (-3 - 3). Let f be (-8)/(-2)*(h + 3). Suppose 5*g - f = -v, -2*g + 12 = g. Solve -x = -v*x for x.
0
Let z = 18 - 19. Let v be (11 + -12)/(z/3). Solve v*d - d = 0 for d.
0
Let m(a) = -7*a - 8. Let t(g) = 6*g + 8. Let r(l) = -4*m(l) - 5*t(l). Let j be r(-6). Solve 4*p = j - 16 for p.
-3
Let s be 8/(-3)*(6 - 15). Suppose -16 = -5*d + s. Solve -5*x = -3*x - d for x.
4
Let j be ((-3)/6)/(1/(-32)). Suppose 0*d = 4*d - j. Suppose -48 = -3*b - 0*b - 3*p, -4*p = -d. Solve 2*u = -u + b for u.
5
Suppose -u - 4*u = -25. Suppose 10 = -u*s + 85. Suppose 4*b + b - r = 13, s = -5*r. Solve 0*z = 2*z + b for z.
-1
Suppose -3*n - 3*t - 42 = 48, n = -3*t - 24. Let l be ((-11)/n)/(2/18). Solve 0 = -l*d - d + 8 for d.
2
Let h(q) = -q**2 - 12*q + 9. Let u(d) = -d**2 - 13*d + 8. Let g(b) = 6*h(b) - 5*u(b). Let m be g(-6). Solve -k = 4*k - m for k.
4
Let w(a) = a + 11. Let m = -15 + 7. Let o be w(m). Solve 8 = -h + o*h for h.
4
Suppose 0*o + 5*o = 0. Suppose o*l + 32 = 4*l. Solve l = -c + 3*c for c.
4
Let t = 4 + -6. Let z(y) = y + 4. Let i be z(t). Solve 6*j = i*j for j.
0
Suppose 0 = -2*j + 3*v + 55, 32 = 2*j + 3*v - 5. Let i = j - 13. Let g be 0*(-2)/(-4) - -4. Solve -2*f + i = -g*f for f.
-5
Suppose -3 = -3*g, 3*g - 3 - 2 = -2*f. Solve -f = -2*t + t for t.
1
Suppose 5 + 3 = 2*u. Suppose 9*x - 40 = u*x. Let p = x - 4. Solve -2*d + 0*d - p = 0 for d.
-2
Let s = 5 - 4. Solve 5 - s = -4*f for f.
-1
Let m(j) = -j + 2. Suppose 0 = -4*n - 4*x - x + 21, -n - 4*x + 8 = 0. Suppose n*h - h = -9. Let d be m(h). Solve 13 = d*i - 12 for i.
5
Suppose -4*t - 3*i = -0*t - 8, -15 = t + 5*i. Solve 10*u + 5 = t*u for u.
-1
Let k = 2 - 1. Suppose -k - 1 = -w. Let z be 18/(-45)*(-11 - -1). Solve 2*r = -w*r - z for r.
-1
Suppose 7*x - 2*x = -2*f + 11, -x + 4 = f. Suppose f = 5*z - 3*a - 7, -4*z - a = -25. Suppose 2*j + 8 = -2*h, -2*h = 5*j + 2*h + 16. Solve z*l - l = j for l.
0
Let o(j) = -2*j - 13. Let r be o(-7). Solve -h - 1 = r for h.
-2
Suppose -44 = -4*a - 12. Solve 0*u + a = 4*u for u.
2
Suppose -12 = 6*h - 18. Solve -h = n - 0 for n.
-1
Suppose -3*z + 35 = 4*j, -5 = 6*j - 4*j - 3*z. Solve 2 = j*o + 7 for o.
-1
Let m(u) = u. Let h(r) = -3. Let o(b) = h(b) - 2*m(b). Let a be o(-3). Let y(c) = -c**3 + 4*c + 3. Let p be y(-2). Solve p*l + 12 = -a for l.
-5
Suppose 0 = 3*m - 3 - 0. Solve -4 - m = -5*x for x.
1
Let i = 4 + -2. Suppose -4*l = i*q, 6*q = q + l. Solve 0 = -q*h + 2*h for h.
0
Let k(y) = -9*y - 2. Let s be k(-6). Let l = -9 - -12. Suppose s = c + l*c. Solve 4*u = c + 3 for u.
4
Let n = -5 + 10. Let y(l) = 15*l - 1 - 4 - 13*l. Let k be y(n). Solve 0 = 2*v - 3 + k for v.
-1
Let z(d) = d**3 - d**2 - 4*d - 1. Let i be z(3). Let c = -1 + i. Suppose 24 - 8 = c*g. Solve g - 2 = -b for b.
-2
Suppose 14*j = 17*j. Let k(u) = 4*u. Let s be k(1). Solve h + s = -j for h.
-4
Let a(g) = g. Let v = -14 + 22. Let n be a(v). Let b = n + -3. Solve -b*s + s = -12 for s.
3
Suppose -n + 73 = 5*k, k - 5*n + 0*n - 25 = 0. Solve 0 = 3*g - 0*g - k for g.
5
Suppose 2*m - 40 = -6*m. Solve 1 = 4*g + m for g.
-1
Let b(g) = -g**2 + 4*g - 3. Let s be b(2). Solve -9 = 5*y + s for y.
-2
Suppose 2*n - 3*n = -10. Solve -g + n = g for g.
5
Suppose -u + 2*h - 3 = 4*h, u = 4*h + 3. Let a be 6 + 4 - (2 - u). Solve -1 - a = -2*q for q.
4
Suppose -5*w + 0*y + 2*y + 23 = 0, -3*w + 4*y + 11 = 0. Suppose q - 5*c + 20 = 0, -w*q = -5*c + 2*c + 12. Solve 3*m + m = q for m.
0
Suppose 9*g + 12 = 12. Solve g*l - 2 = l for l.
-2
Let r be 24/15*(-10)/(-4). Suppose -2*c = 8, -20 = -8*u + 4*u - r*c. Let m be 0 - (-1)/1 - -1. Solve -u = -m*z - 1 for z.
4
Let y = 2 - 2. Let d = 46 + -26. Solve -5*a + d = -y*a for a.
4
Suppose -50 = -2*k + 2*j, -4*j = -k - 6*j + 34. Suppose 5*r - k = r. Solve 0 = 4*c + r - 27 for c.
5
Let d = 11 - 7. Solve -7*s = -3*s - d for s.
1
Let n(l) = l**3 - 17*l**2 - 20*l + 36. Let z be n(18). Solve 4*y - 12 + 16 = z for y.
-1
Suppose -p = -5*p - 28. Let x = p + 7. Solve -5*c + 11 + 14 = x for c.
5
Suppose -4*g + 26 = -2*g. Let a = g - 12. Solve -a + 5 = 2*p for p.
2
Suppose 18 = f + 3*u - 1, -f - 16 = -4*u. Suppose -f*h + 18 = 2*l, 0 = 3*h + 4*l - 8 - 18. Suppose -2*n - h*n = -96. Solve -3*x + n - 9 = 0 for x.
5
Suppose 0 = -3*d - 2*j + 18, 0*d = -3*d - 4*j + 24. Solve -d*k + 6*k = -4 for k.
-2
Let i = -10 - -7. Let m = 2 - i. Let c be (-2)/(-5) + 246/10. Solve -4*u = m - c for u.
5
Let i be 4/10 + 115/25. Let c(h) = -h + 2. Suppose m - 6 = 2*m. Let o be c(m). Solve -o = -i*w - 3 for w.
1
Let v(q) = -2*q**2 - 4*q - 2. Let x be v(-2). Let w = x + 2. Solve a - 4*a = w for a.
0
Let p be 12/9*3*1. Suppose m - p = -0. Suppose s = m*s. Solve -16 = 4*l - s*l for l.
-4
Suppose -2*b + 11 - 3 = 0. Solve 7 = -b*w + 19 for w.
3
Let g = -3 - -2. Let u(c) be the first derivative of -c**4/4 + c**3/3 - c + 1. Let x be u(g). Solve 1 = h - x for h.
2
Suppose 4*i - 3*t = 15 + 20, -3*i - t = -10. Solve -2 = i*m + 3 for m.
-1
Let b be (-2 - -1 - -4)*(-2)/(-2). Suppose -f - f + 4 = 0. Suppose 0 = 4*s - f - 2. Solve 2*p - s = -b for p.
-1
Let j(l) = -l**2 + 6*l + 5. Let h be j(6). Suppose -3*t + k - h = 0, -7 = -t + 3*k - 22. Solve -2*w = -t*w - 6 for w.
3
Let q(f) = f**2 + 2*f + 3. Let c be q(-2). Suppose c*l - 8 = -2*x, -2*x = 2*l - 0*l - 6. Solve -x + 5 = g for g.
4
Let p be (-8)/(-44) - (-489)/33. Solve -5*f + 0*f = p for f.
-3
Let v = 11 - 10. Solve -4*p = v + 3 for p.
-1
Suppose 5*y - d = 0, -5*y + 11 = -4*d - 4. Let r be (y/(-2))/((-2)/(-44)). Solve 0 = 5*m + 1 - r for m.
2
Let x = 9 - -3. Suppose -5*i - 8 = -5*y + x, 0 = -3*i - 5*y + 12. Let r be -2 + 1*-2*i. Solve 6 = 2*p - r*p for p.
3
Suppose -5 - 20 = -5*a. Let j = 0 - 1. Let k = a + j. Solve -k*p = -6 - 6 for p.
3
Suppose 0*f = -5*f. Suppose -h + 4*h = f. Solve h*n = n for n.
0
Let a(m) = 0*m + m - 2*m + 0 - 2. Let s = -1 + -1. Let t be a(s). Solve t = 3*q - q for q.
0
Let y(x) = 20*x - 17. Let v(u) = -7*u + 6. Let k(s) = 17*v(s) + 6*y(s). Let j be k(3). Suppose 14 = 4*q + 5*o - 0*o, 4*q + o = 6. Solve j*i + q = 2*i for i.
-1
Suppose -k + 6*f - 3*f - 12 = 0, -5*f + 19 = -2*k. Suppose -5*v = -k*q + 35, q - 2*v - 3 = 10. Solve -4*d = -7 - q for d.
3
Let i(h) = -h + 5. Let l be i(0)