.
3
Let b(i) = i**2 - 4*i + 4. Let j be b(4). Solve 0 = k - j*k - 15 for k.
-5
Let n = 48 - 32. Suppose -5*z + n = -34. Suppose c - z = -c. Solve -c*u + 15 = -10 for u.
5
Suppose 3*p + 0 = 15. Solve p*n + 6 - 1 = 0 for n.
-1
Suppose 3*m - 11 = 1. Suppose h - m = 8. Solve 5*j = 2*j + h for j.
4
Suppose -6*f - 24 = -8*f. Solve 2*k - 2 = -f for k.
-5
Suppose -5*f = 2*f - 28. Solve -6*c + f*c + 10 = 0 for c.
5
Let y(g) = g**2 - 5*g + 4. Let u be y(5). Suppose -4 = -u*i + 4. Suppose -i = f - 4. Solve 6*j - 8 = f*j for j.
2
Let p be (-6)/27 - 112/(-18). Let x(h) = h - 12. Let j be x(12). Solve j*s - p = 2*s for s.
-3
Suppose -o - 10 = -3*o. Suppose 6 + 7 = f - 5*u, -4*u - o = f. Let n be (1 + f)*7/4. Solve 12 = -n*k + 3*k for k.
-3
Let w be ((4 - 2) + -2)/1. Suppose -3*t - 4*o + 3 = w, -o - 2 = 1. Solve 0 = m - t*m + 20 for m.
5
Suppose -6*a + 5*a + 3*t = 9, -4*a + 3*t = 0. Suppose -7*v = -a*v. Suppose i - 9 = -v*i. Solve 0*r = 3*r - i for r.
3
Let m = -87 + 87. Solve m = -4*o + o for o.
0
Let o(g) = -g**2 + 6*g + 1. Let y be o(6). Let t(u) = 3*u**2. Let a be t(y). Solve a*f = f - 6 for f.
-3
Let p = 3 - 5. Let t = 4 + -3. Let l be 2 - -2*t - p. Solve -w = w + l for w.
-3
Suppose 0 = 2*x - 2 - 4, 4*m + 3 = x. Solve -y + 3*y + 8 = m for y.
-4
Let c = -31 - -31. Solve c*i = -i for i.
0
Suppose -4*v + 5 = -15. Suppose -37 - 13 = -v*h. Let z = h - 5. Solve 4*q - z = -1 for q.
1
Let k(l) be the third derivative of l**6/120 - 7*l**5/60 + l**3 + 2*l**2. Let a be k(7). Solve 2*d = a*d - 8 for d.
2
Let w(a) = 2*a + 1. Let c be w(1). Suppose 0*b - 8 = -2*b. Suppose -t - 1 = 4, 22 = b*f - 2*t. Solve c + 3 = f*h for h.
2
Suppose -2*z + 9 = -1. Suppose 0*y - z*g = 4*y - 21, -2*y - 5*g = -13. Suppose 0 = b + y*b. Solve b = -d + 4*d - 15 for d.
5
Let f be (-1)/3*(3 + -3). Let w be 1 + 1 + -2 - f. Solve w = d + 2 + 3 for d.
-5
Let r = -25 + 27. Solve -r = h - 0*h for h.
-2
Suppose -5*v = -5 + 15, 2*t + 8 = -5*v. Let m be ((-36)/2)/(-2)*t. Solve c - m = -2*c for c.
3
Let u = 4 + -1. Let o be (-3)/2 - 21/(-6). Let z be o + (2 - u/3). Solve z + 2 = -5*d for d.
-1
Let g = -6 + 10. Solve 25 = n + g*n for n.
5
Let q be ((12/(-21))/(-2))/(3/42). Solve -c - q = -2*c for c.
4
Let c = -5 - -8. Suppose c*w + 37 = 7*w + 5*n, -2*w = n - 11. Suppose w*h + 0*h = 0. Solve 5*a + 12 + 8 = h for a.
-4
Let h(g) = 5*g**2 + 13*g + 3. Let s(x) = -x**2 - 3*x - 1. Let l(t) = -2*h(t) - 9*s(t). Let j be l(0). Solve 0*q = -j*q - 6 for q.
-2
Let s = 7 - 2. Solve 3*p = s*p - 4 for p.
2
Let f(y) = y**2 + 7*y + 9. Let b be f(-6). Let h(p) = p**2 - 4 - 2*p - 8*p**2 - p**3 - 6. Let w be h(-7). Solve -b*l + 5 = -w for l.
3
Let k be -30 - -29 - (-10)/2. Solve 3*s = s + k for s.
2
Suppose 3*n = 3 - 0, -o = -5*n - 3. Let r = o - 5. Solve 2*m + r = -m for m.
-1
Let i(v) = v**3 + v**2 - v. Let j be i(1). Solve -3*b = -2*b - j for b.
1
Suppose l + 0 = -5. Let h = 3 + l. Let s = 2 + h. Solve -2*c + s - 8 = 0 for c.
-4
Let y be (-12)/66 - (2 + (-92)/22). Solve -y*t + 1 - 5 = 0 for t.
-2
Let p(o) = o**2 - 9*o. Suppose -30 - 15 = -5*i. Let r be p(i). Suppose 43 = 5*s + 2*h - r*h, 4*s = -h + 32. Solve -2*j + s*j = 20 for j.
4
Let a be (1 - -31*1) + 0. Let u(d) = -d**2 + 2*d + 12. Let n be u(0). Let q be -1 - (-52)/12 - 4/(-6). Solve -a = q*t - n for t.
-5
Suppose 3*u + 25 - 60 = -2*o, o - u - 25 = 0. Solve 7 = 3*p + o for p.
-5
Suppose 0 = -2*x - 3*x. Suppose x = 2*w + w. Solve w = p - 3 - 0 for p.
3
Let h(o) = -o**3 + 17*o**2 - 17*o + 18. Let t be h(16). Solve 3*l = -t*l for l.
0
Let k be 6/8 - (-42)/(-56). Solve 3*m = -k*m + 3 for m.
1
Let r = 117 - 113. Solve -2*h = -r*h - 10 for h.
-5
Let r be (-1)/(-4) - (-34)/(-8). Let t(p) = -4*p - 4. Let b be t(r). Let y(x) = -x + 11. Let a be y(6). Solve -a*k = -k - b for k.
3
Let f = 31 - 31. Solve 0*p - p - 4 = f for p.
-4
Suppose 5*z = 1 + 14. Solve 3*b - z = -0 for b.
1
Suppose -11 = -h - 9. Solve 0*c - h = c for c.
-2
Suppose 3*m - 30 - 27 = 3*f, -2*m = 3*f - 23. Solve 5*b - 9 = m for b.
5
Suppose -2*v = 4*l + 4 - 2, -2*v + 13 = -l. Let m(u) = -u - 3. Let z be m(l). Solve z*x - x = 0 for x.
0
Let s(t) be the second derivative of 1/12*t**4 + 7/2*t**2 - t + 0 - 5/6*t**3. Let i be s(5). Solve -i*j = -3*j - 4 for j.
1
Let v = -11 + 0. Let m = -15 - v. Let f(h) = h + 7. Let w be f(m). Solve -r = 1 + w for r.
-4
Let i be 1 - (5 - 3)/(-1). Solve 2*h + i*h = 0 for h.
0
Let b be -33 + 7/((-7)/(-3)). Let p be 4/b - (-47)/15. Solve -p*z - z = 20 for z.
-5
Let p be -5 + 3 + (-4)/(-2). Suppose -y + 5 = -p. Solve -y = 4*v + v for v.
-1
Let y = 14 - 10. Solve -m - y*m = 10 for m.
-2
Let u = 75 + -55. Solve -u = 5*g - 0 for g.
-4
Suppose 3*x - 2*o + 0*o = 3, 2*x - 3*o + 3 = 0. Solve 0 = 2*z - z + x for z.
-3
Let z be 5/(-20) + 27/(-4). Let r = z - -10. Solve 0 = -r*u - 5 - 10 for u.
-5
Let s(z) be the third derivative of -z**6/120 + z**5/15 - z**4/24 + 2*z**3/3 - 3*z**2. Let m be s(4). Solve 4*x - 10 - 10 = m for x.
5
Suppose 4*q - k - 19 = 8, -6 = -2*q - 2*k. Let p be q/2 - (1 - 0). Let f(c) = -c**3 + 3*c**2. Let g be f(3). Solve s = -g + p for s.
2
Suppose -18 = -4*f + 18. Solve 0*j - 3*j = f for j.
-3
Suppose -2*u + u - 4*x + 26 = 0, 0 = 4*u - 5*x + 1. Suppose -2 - u = -4*f. Solve i = f*i - 3 for i.
3
Let g be -1*((4 - 23) + 2). Solve -4*k - 3 = g for k.
-5
Let z be 6*(-1)/2 - -3. Solve -v + 4*v = z for v.
0
Let a = -12 - -16. Suppose -2*d + 5 = 3, 4*d + a = 2*g. Solve s - 10 = -g*s for s.
2
Suppose -2*r + 4*r + 2*p + 8 = 0, 3*p = 3*r - 18. Let w be (1 - r) + 5 + -1. Suppose -w*v = -0*v - 16. Solve -a + 1 + v = 0 for a.
5
Let o be 0/(1/(-3)*-3). Suppose -2*c + o*c = 6. Let r be 2 + (c - -1 - -5). Solve r*d - 2*d = 0 for d.
0
Let x(a) = a**2 + a + 3. Let c be x(-3). Solve -b = -4*b - c for b.
-3
Let p(f) = f**2. Let o(u) = 6*u**2 + 5*u + 6. Let g(v) = o(v) - 5*p(v). Let m(a) = -2*a + 8. Let i be m(6). Let r be g(i). Solve -r = d - 7 for d.
5
Let c = -80 - -83. Solve -7*j = -c*j for j.
0
Let a = 1 - -1. Suppose 4*t + n - 20 = 0, -n - 2 = a. Suppose i - 2*i = 0. Solve -l + t*l - 10 = i for l.
2
Let y = -14 + 22. Suppose w = -3*w + y. Solve -3*j + 5 = -w*j for j.
5
Let f = -22 + 7. Let r = f + 15. Solve -2*j - 3*j - 25 = r for j.
-5
Suppose 5*d = 3*p + 3*d - 20, -5*p + 2*d + 28 = 0. Let r be (-8)/28 - 144/(-14). Solve -r = -p*t - t for t.
2
Let g(f) = 10*f - 5*f**2 + 9 - 3*f + f**3 - 4*f**2. Let s be g(8). Solve w - s = -4 for w.
-3
Suppose 4*z = 2*z + 8. Solve z*n + 5 = -n for n.
-1
Let v be 1/(3/(-21)*1). Let n(a) = 2*a + 7. Let c(g) = -1. Let r(x) = 3*c(x) - n(x). Let k be r(v). Solve k*j = 2 + 2 for j.
1
Let z be (-15)/(-10) - (-1)/2. Solve 0 = -y - z*y for y.
0
Let w be 18/4 - 1/2. Suppose 0 = -9*k + 6*k + 15. Solve -k*y + 6 + w = 0 for y.
2
Let s be (-1)/1 - (-6 - -2). Solve s + 3 = 3*m for m.
2
Let q = -3 + -4. Let g = -4 - q. Let t be -1 + 0 + 1 - -2. Solve g*p = 1 + t for p.
1
Suppose 0 = 3*c - 1 - 20. Suppose -3*a + c*a = 32. Solve s + 3*s = a for s.
2
Let u = 10 - 10. Let f(y) = -10*y. Let a be f(-1). Solve 2*z + 0*z - a = u for z.
5
Let m(x) = x - 9. Let g be m(-5). Let v = g - -22. Solve 0 = i - 3*i + v for i.
4
Suppose -3*r + 18 = 3*f, -4*r + 5*f - 5 - 7 = 0. Suppose 3*t + r*t = 15. Solve t*z + 1 = -2 for z.
-1
Let y be (0 - (-3)/((-6)/10))*-1. Solve 1 + y = -3*b for b.
-2
Let w be (3 + (-40)/12)*-6. Solve -w*z = -3*z + 2 for z.
2
Let z = 1 - -4. Suppose b - 2*j = -6*j - 20, -j - 5 = -4*b. Let a be 4 - (b/1)/(-2). Solve z*h = a*h + 5 for h.
5
Let p = 14 + -14. Solve 0*l - l - 2 = p for l.
-2
Let z be ((-22)/6 + 2)/((-15)/45). Solve -3*o - z - 4 = 0 for o.
-3
Let n = 9 + -6. Let g = n - 1. Suppose -3 - g = -f. Solve 0 = f*x + 3 - 18 for x.
3
Let j(g) = -g**3 + 3*g**2. Let o be j(3). Let r = o - -3. Suppose 7 = 4*n + x, 4*n - 2*x = 28 - 6. Solve 0*i + n = -r*i for i.
-1
Suppose c + 2*x + 3 - 7 = 0, 0 = -5*c + 3*x + 33. Let b(o) = -o**3 + 6*o**2 + 16*o. Let i be b(-2). Solve i = -c*q + q - 5 for q.
-1
Suppose 24 = 2*w + 4*v, 4*v - 19 = -w + 3. Solve 0 = -g - g - w for g.
-1
Let f be (-36)/(-16) - (-6)/8. Solve 15 = -f*y - 2*y for y.
-3
Suppose 0 = h + h. Solve 5*t = -h*t + 10 for t.
2
Let j = 3 + -4. Let m be (-76)/(-16) - j/4. Suppose -17 = f - m*t, 4*t - 15 = 1. Solve f*n = 7*n - 20 for n.
5
Let n = -10 - -4. Let a be 2*(4 + n + 3). Solve -2*m + m = -a for m.
2
