r i.
-1
Suppose -4*w + 0*m + 12 = 2*m, 5*w - 15 = 4*m. Let c(f) = w - f - 3. Let y be c(-2). Solve 5*o - y*o = -12 for o.
-4
Let a = 8 + 7. Solve -4*z + z = -a for z.
5
Let x = -26 - -34. Solve 4*b = x*b + 20 for b.
-5
Suppose -10 + 4 = -3*y. Suppose -y*k + 4*k - 8 = 0. Solve -k*n + 2*n = -4 for n.
2
Suppose -2*m + 20 = 2*x + 3*x, 0 = -4*x + 4*m - 12. Solve -x*q = 2*q + 4 for q.
-1
Suppose 4 = t + 3*q, 4*t - 7*q + 52 = -2*q. Let c be 18/(-22) + t/44. Let k = c + 4. Solve k*n + n - 12 = 0 for n.
3
Let o be 3 - 6*1/3. Solve -24 = -5*a + o for a.
5
Let o be (2 + (-2)/4)*2. Suppose -o + 12 = 3*n. Suppose 4*k - 1 = -0*x - n*x, 5*x - 3*k - 21 = 0. Solve a = x*a - 4 for a.
2
Suppose -4*v = -z - 6 - 0, -3*z + 8 = v. Solve -v*u = -6*u for u.
0
Suppose 0 = -4*d + 12, -2*d + 17 = a + 3*d. Let k = 4 - a. Solve -t = t + k for t.
-1
Suppose 4*p = h + 17, 0 = -0*h + 4*h - 2*p - 2. Suppose m - y = 6, -m + 20 = -4*y + 5. Suppose m*f = 4*v - 70, -2*f + 8 = 2*f. Solve 4*d + h = v for d.
4
Let f = 68 - 48. Suppose 0 = -5*k + 4*c + 27, 2*k - 5*c - 18 = -c. Solve 2*r - f = -k*r for r.
4
Let h be ((-35)/(-10) + -2)/((-3)/(-8)). Solve h*g = -g for g.
0
Suppose 4*q - 1 - 3 = -2*x, 3*x = -q + 11. Let c be ((-8)/(-10))/((-4)/(-10)). Solve 2 = x*l - c for l.
1
Let j = 49 - 47. Solve 0 = -j*u + 5*u for u.
0
Let v = 11 + 7. Suppose -g + v = 2*g. Let z = g - 4. Solve z*r + 8 = 6*r for r.
2
Suppose 6*q = 2*q + 24. Let v = q + -1. Solve g = -0*g - v for g.
-5
Let h be -7*((-44)/28 - -1). Suppose -3*b = -5*b. Solve -16 = h*c - b for c.
-4
Let p be -1 + 2 + (-4)/2. Let g be 0 - (p + 3 + -8). Let z = -1 - -1. Solve z = -3*r - 0 - g for r.
-2
Let a(z) = -z**2 + 8*z - 4. Let q be a(7). Suppose -5*m + q*m + 14 = 0. Let d = 12 - m. Solve d*u - u = -8 for u.
-2
Let j(h) = -h**2 - 7*h - 6. Let b be j(-5). Suppose 4*a - 4*o = -8, 0 = -o + 2*o - b. Solve i + i = a for i.
1
Let b(w) = -w**3 + 7*w**2 - 7*w + 2. Let r be b(5). Let c = r + -12. Let t(o) = -2*o - 3. Let f be t(-3). Solve 2*y = c*y - f for y.
1
Let j be (-4)/14 + 60/14. Let f be 15/(-6) - (-2)/j. Let y = f - -8. Solve -2*p = -y*p - 8 for p.
-2
Suppose 4 = 7*s - 6*s. Solve h = -s*h for h.
0
Let c(b) = -b + 8. Let x be c(3). Solve x*d = 2*d + 3 for d.
1
Let v(u) = 7*u**2 - 2*u - 1. Let j be v(-1). Let p be (-1 - 3)*(-6)/j. Suppose 0 = -p*i - 9, -5*y + 37 = -3*i - 22. Solve y = -5*t - 0*t for t.
-2
Let z(t) be the second derivative of t**4/24 - t**2/2 - t. Let s(f) be the first derivative of z(f). Let j be s(3). Solve j*u + 4 + 2 = 0 for u.
-2
Let k = 19 + -15. Suppose -2*f + 3*i = f + 3, -3*f = k*i - 18. Solve -12 = 2*t + f*t for t.
-3
Suppose 2*z + 0*r = 2*r + 4, -5*z - 5*r = -10. Solve -3*s - z = 7 for s.
-3
Let h(x) be the second derivative of -2*x**3/3 - x**2/2 - x. Let j be h(-1). Suppose 0 = g - 0*g - j. Solve 0 = -0*k - k + g for k.
3
Let h(y) = 3*y - 2. Let b be h(-4). Let c = b - -20. Solve 0 = -0*q + 2*q + c for q.
-3
Suppose -o - 3*f + 7 = 0, -o - 3*f = 2*f - 9. Solve w + 9 = o*w for w.
3
Let z = -7 + 11. Suppose 2*t + 30 = 5*y - 2*t, 0 = t - 5. Solve z*f = y + 6 for f.
4
Let f = -2 + 8. Suppose 0 = -0*y - y - 2. Let j = f + y. Solve -2*o = 2 + j for o.
-3
Let c(h) = 2*h**2. Let q be c(2). Suppose d = -d + q. Solve -d*i = -i for i.
0
Let o(c) = c**3 + 6*c**2 - 2*c - 9. Let r be o(-6). Let g = r + -2. Suppose 0 = -3*d + 2*v - 6*v + 1, -5*v - g = 3*d. Solve -2*u - d*u + 20 = 0 for u.
4
Let d be -1*(-2 - -1 - 0). Let p be (-3)/(d/(3/(-9))). Let z be p + 1 + (-12)/(-1). Solve 6 = 5*f - z for f.
4
Let z(f) be the third derivative of f**5/60 - f**4/12 + f**3/2 - 5*f**2. Let m be z(2). Solve m + 1 = -4*l for l.
-1
Let w be ((3 - 1)/6)/((-3)/(-9)). Solve -13 = 3*p - w for p.
-4
Suppose -i = 3*w + w, 0 = -3*i. Solve -s + w = -3 for s.
3
Let q(i) = i**2 - i - 4. Let b be q(-2). Let y be 1/(-4) - 26/(-8). Suppose 0 = -b*t - y + 23. Solve t = s + s for s.
5
Suppose -g + 5 = q - 0*q, 4*g + 5*q = 20. Suppose -5*l - g*f = 70, -3*l - 24 = l - 4*f. Let u = 14 + l. Solve -2*a = 2 - u for a.
1
Suppose 3*h - 17 = -4*a, a + 38 = 5*h - 2*a. Solve -3*c - 22 = -h for c.
-5
Suppose -3*f + 5*w = -44, -2*f + 4*w + 39 - 7 = 0. Solve -f - 7 = -5*t for t.
3
Suppose -3*h - u + 6 = 1, -3*h + 3*u = 15. Let w = 15 + h. Solve -5*a + 0*a - w = 0 for a.
-3
Suppose 3*l = 10 - 4. Suppose l = -n + 2*z, 5*n + 0*z - 35 = -5*z. Solve 11 = n*m - 9 for m.
5
Suppose x - 15 = -2*f + 7, 53 = 5*f + 2*x. Let a(d) = 9*d**2 + d. Let w be a(-1). Suppose -b - w = -s, -4*b - b = 2*s - f. Solve -5*q - s = -17 for q.
2
Suppose 14 = z - 4*n, -4*z - 3 + 5 = 2*n. Solve 2*i = -z*i + 12 for i.
3
Let h be 0 + -2 + 4 + -2. Solve 2*u + 2*u = h for u.
0
Let v = 1 - -1. Let h be v/((-2)/(-1)) - -10. Suppose 3*c = 13 + h. Solve -3*l - c = -l for l.
-4
Let l be (-18)/(-3) - (-2)/1. Suppose 2 = 2*g + l. Let a be ((20 + -2)/g)/(-2). Solve -a + 19 = -4*t for t.
-4
Let k(n) = -n**2 + 22*n + 25. Let w be k(22). Solve 0 = 4*x - 9 + w for x.
-4
Suppose -2*z + 20 = -0*g + 3*g, -36 = -4*g - 5*z. Solve g*d + 5 = 1 for d.
-1
Let u be 14/(-21) - (-2)/3. Suppose -f + 12 + 4 = u. Solve -f = 4*m - 0 for m.
-4
Let f be 2 - (-1 + (4 - 4)). Suppose f + 61 = 4*l. Solve -2*k = 2*k + l for k.
-4
Let z(b) = 4*b**2 - b + 1. Let o be z(1). Solve -r + 5 = o*r for r.
1
Let v(i) = -i**2 + 4*i - 4. Let t be (3 - 0)/(4/4). Let r be v(t). Let a be -3*(r + 4 + -4). Solve 0*s + a = s for s.
3
Let d(j) = j**2 + 5*j + 2. Let p be d(-5). Let m(x) = 15*x. Let i be m(-2). Let z be ((-6)/(-5))/((-9)/i). Solve z*s - p = 2 for s.
1
Let w be 8/6*6/4. Let z = -12 + 18. Suppose 5*r - 4*d + 5*d - z = 0, d = -4. Solve r*m - w = -0 for m.
1
Suppose 5*p = 5*j - 2*j + 17, 0 = -4*j + 4. Let k(u) = -u**2 + 6*u - 4. Let n be k(p). Suppose -2*m + s + n = -m, -3*s = m + 4. Solve -m*o = -o for o.
0
Suppose 3*y + 14 = 5*o, 3*o - 3*y - 10 + 4 = 0. Suppose 6 + 2 = o*c. Let j be c - (-2 + 3) - -7. Solve 0 = -4*p - j - 4 for p.
-3
Suppose -2*x = -6 - 0. Solve x = -0*m - 3*m for m.
-1
Let n(z) = 4*z - 1. Let s be n(2). Let u = s - 7. Solve 4 = -u*i + 2*i for i.
2
Let h be (-1 - -1)*(6 - 5). Suppose -2*z - 3 + 7 = h. Solve 0 = z*m + 2*m + 12 for m.
-3
Let d(l) = l**2 + 4*l - 6. Let x be d(-6). Solve -3*b + x*b = 0 for b.
0
Suppose -2*d - 5 = -3*k - 7*d, 4*d = 2*k + 4. Solve -3*a + k = -3 for a.
1
Suppose 3*o = -7 + 1. Let h be o*2*(1 + -2). Solve -t + h = t for t.
2
Suppose i = -5*f - 8, 0 = -0*i + 5*i + 5*f. Suppose -2*b + 3*w = 3, 2*b + i*w - 3 = 3*b. Solve -4 = b*p - 1 for p.
-1
Suppose -5*o = -4*i + 51, 15 = 5*i + 3*o - 21. Solve -3*n + i = -6 for n.
5
Let q be (-20)/4*4/(-4). Solve z = -q + 10 for z.
5
Let b(i) be the first derivative of i**4/4 + 3*i**3 + 3*i**2 - 6*i + 3. Let m be b(-8). Solve 0 = -s - 4*s - m for s.
-2
Suppose 0 = -2*c - 4*m - m - 17, 4*m = 2*c - 28. Suppose -4*r = -5*b - 14, -7*r = -2*r - 4*b - 13. Suppose -w = -3 + r. Solve -2*q + c = w*q for q.
1
Suppose -2 = -5*z + 8. Let x(v) = -v + 1. Let w(y) = 4*y - 11. Let k(h) = -w(h) - 5*x(h). Let o be k(-3). Solve 0 = o*l + z*l for l.
0
Suppose -6*g + 2*g = -16. Suppose -3*v + 2*v = -6. Solve -v*x + g*x = 0 for x.
0
Suppose -8 = -4*t - 24. Let p = t - -11. Solve -2*c = 3 + p for c.
-5
Let u = -47 - -49. Solve 4*b + 2 = -u for b.
-1
Let k(g) = 2*g - 2*g + 6*g - 5 + 3. Let i be k(1). Solve -i*v = 8 + 4 for v.
-3
Let r(s) = -s**3 - 3*s**2 + 5*s + 8. Let q be r(-4). Solve -q*k + k = 0 for k.
0
Let d(z) = -z**2 + z + 0*z + 0*z - 1 + 5*z**3. Let m be d(1). Suppose -3*x + 48 = -12. Solve -m*q - x = q for q.
-4
Let f = -76 + 81. Solve 2*p + f = 3*p for p.
5
Let t = -12 - -18. Let c be t*1/1 - -2. Suppose 0 = -3*d - 2*d + 2*a + 24, d + 3*a = 15. Solve 2*p = d*p - c for p.
2
Suppose 24 = r - 4*r. Let n = r + 8. Solve -4 = 2*k - n for k.
-2
Suppose -q = -14 + 6. Solve g - q = 5*g for g.
-2
Let g be (-1 - 0)*(-3 - 0). Suppose -g*x = -x - 18. Solve -3 - x = -4*v for v.
3
Let t be 11 + 0/(2 - 4). Let v(c) = c - 6. Let a be v(t). Solve a*d = -0*d + 25 for d.
5
Suppose 2*u - 18 = -3*t + t, 54 = 5*u + 2*t. Let l be 6/(2 - 15/u). Suppose i + l*g = 3*g + 1, 0 = -i + 2*g + 8. Solve -2*h + 0*h = i for h.
-3
Suppose 5*i + 33 = 13. Let h = -1 - i. Suppose -h*j = -0*j. Solve -t + j + 3 = 0 for t.
3
Let d = -13 - -13. Suppose d = 5*t + 2*o - 20, -4*t + 35 = 5*o + 2. Solve -7 = 5*u - t for u.
-1
