olve -d*j + 14 - 6 = 0 for j.
4
Suppose 5*n = -15, 5*m - 3*n = 7 + 17. Suppose -4 = -m*r - r. Solve 0 = -5*k + r + 9 for k.
2
Suppose f - 2*f = 0. Suppose -3*g - 4*d + 14 = -4, -4*g + 11 = d. Solve f*t = -g*t + 10 for t.
5
Let i = 35 - 26. Solve -3*v + 0*v = i for v.
-3
Let l(i) = 2*i**2 - 4*i + 3. Let d be l(2). Suppose 6*f = d*f + 9. Solve -f*h = -17 + 5 for h.
4
Let y be 1*(2 - 3) + 5. Solve -m + 1 + y = 0 for m.
5
Let c = 23 - 21. Solve -5*d + c*d = -12 for d.
4
Let d be (-10 + -3 + 1)*(-6)/18. Solve -3*w + d - 13 = 0 for w.
-3
Let n = 59 + -23. Suppose 1 = -q + 4*b - 2, 5*q - n = 3*b. Solve 0 = -6*i + 3*i - q for i.
-3
Let f be (-20)/(-8)*8/10. Suppose -3*k = -p + 19, -p = k + f - 1. Solve i + p + 0 = 0 for i.
-4
Let m = -9 - -15. Let a = -4 + m. Let h = 3 - -3. Solve 4 - h = -a*y for y.
1
Suppose p + o - 3 = 0, -2*o - 2 = -2*p - 0. Solve p = -r - r for r.
-1
Suppose 3*b = -3*a - 0 + 6, 2*b + 5*a = 1. Solve -4 = b*g + 5 for g.
-3
Let q be 2/4 + 42/4. Suppose -5*x + 4*w = 11, -4*w + q = -4*x - 3*w. Let f be 3/(-1*x/2). Solve -5*g + 8 = -f for g.
2
Let k(s) = -s - 28. Let l be k(-10). Let i = -11 - l. Solve 0 = -i*b + 2*b + 15 for b.
3
Suppose 2*v = f - 5*f, 0 = 3*v + 12. Let l be 368/(-10) + (-1)/5. Let j = 53 + l. Solve -6*u + f*u = -j for u.
4
Let d = -8 + 11. Let c be (3 - d) + 0/(-1). Suppose 0 = 5*x - c*x - 30. Solve 0 = x*a - a - 10 for a.
2
Let s be 117/(1 - -2) + 1. Suppose -4*k = k + s. Let h be (-158)/k + 9/36. Solve -2*t = 3*t - h for t.
4
Let h(t) = -3*t - 2. Let s be h(-2). Let o be (-1 - 0)/((-2)/s). Suppose -10*d = -2*d - 40. Solve d - o = y for y.
3
Let k(m) = m**2 + 6*m - 6. Let b be k(-7). Let v = 6 + -1. Let z = v - b. Solve -10 = -t - z*t for t.
2
Let k = 4 + 0. Solve -4 = -k*l + 12 for l.
4
Let i = -53 - -53. Solve i = s - 5*s for s.
0
Let j = 20 + -7. Let a be ((-6)/(-3) + -2)/2. Suppose a = 6*p - 3*p, -3*p - 5 = -t. Solve -t + j = 4*o for o.
2
Let b(n) = 2*n - 12. Let o be b(8). Solve o = -q + 5*q for q.
1
Let j = 10 + -7. Let y = 2 - 2. Let l(b) = -b + 2. Let g be l(y). Solve g*r + j*r - 15 = 0 for r.
3
Let p be ((-3)/3 + -9)/(-2). Solve 4*u - p*u = -3 for u.
3
Let v(z) be the second derivative of -z**5/20 + 5*z**4/12 - 2*z. Let h be v(5). Solve -6 = -h*r - 3*r for r.
2
Suppose v - 7 + 0 = -3*m, -4*m = 5*v - 13. Solve 0 = 3*x - 4 + v for x.
1
Let b(k) = 3*k**2 - k. Let t be b(1). Suppose l = t*l. Suppose l = -3*i - 0*i + 27. Solve -3*g = -i - 3 for g.
4
Let u(a) be the second derivative of -a**5/20 - a**4/6 + a**3/3 + a**2/2 + 2*a. Let c be u(-3). Let t(j) = j + 1. Let k be t(2). Solve 8 = -k*d - c for d.
-4
Suppose 0 = -d - f + 7, -3*d = -2*d - 3*f + 13. Solve 0 = n + d*n - 9 for n.
3
Let j(w) = w**3 - 13*w**2 + w - 5. Suppose 3*q = 16 + 23. Let m be j(q). Solve -5*h = -m - 7 for h.
3
Let b(s) = s**2 - s + 3. Let g(f) = -f + 3. Let t be g(3). Let j be b(t). Solve j = -2*d + 5 for d.
1
Suppose 0 = -3*m + 3*d + 9, -5*m = 4*d - 15 - 0. Let y be m + 1 + (1 - 3). Let i = 1 + y. Solve -i*k = k + 16 for k.
-4
Suppose -5*y = 2*v + 40, -2*v = 3*y + y + 34. Let s = -6 - y. Solve s*p - 20 = -5*p for p.
4
Suppose -9 = -c - 3*l, -3*c - 3*l + 4 + 5 = 0. Let i be 0 + (-2)/1 + 2. Let u = i - -6. Solve z + u - 2 = c for z.
-4
Let o be 0 - 1*(-3)/1. Suppose -l = o - 4. Let m be l - (0/2 + 1). Solve -v = -m*v - 1 for v.
1
Suppose -2 - 1 = -3*q. Suppose 5*v - 3*v = 0. Let m(p) = -2*p + 6. Let l be m(v). Solve -l = s - q for s.
-5
Let v(g) = g**2 - g - 3. Let p be v(3). Suppose 2*b + p*w = 4, 5*b + 0*w - 3*w - 31 = 0. Solve -b = 6*n - n for n.
-1
Let u be 2 - (-1)/2*-4. Suppose 2*z + z - 6 = u. Solve 0 = z*q + 3*q for q.
0
Let m = 9 + -2. Let z be 2/m + (-178)/(-14). Solve 5*b = z + 7 for b.
4
Let q(n) = -n**3 - 2*n**2 + 3*n. Let j be q(-3). Suppose t + j*t = 1. Solve 3*o - 14 = t for o.
5
Suppose 7*h - 30 = 2*h. Solve h*r = 8*r + 4 for r.
-2
Suppose -c = 4*c - 20. Suppose 0 = -c*x - x. Solve 0 = -2*h - x - 2 for h.
-1
Let s = 9 - -9. Solve -3 + s = 5*q for q.
3
Suppose 3*s + 3*c = 15, 4*s + c + 0 = 8. Suppose o + 5*b + 22 = 0, -3*o + 4*b + 14 = 3*b. Suppose -s = o*a - 7. Solve 3*r - a = 2*r for r.
2
Let y(v) = -v**3 - v + 5*v**2 + 0*v**2 + 3*v**2 + 2*v - 8. Let q be y(8). Suppose -g + q = -2. Solve 0 = h - 0*h + g for h.
-2
Let o = 30 - 21. Let x = -9 + o. Let i be ((-21)/9 - x)*-3. Solve 13 = -4*s - i for s.
-5
Suppose 3*i + 5*x - 18 = 0, 4*i - 4 = -5*x + 20. Solve -4*k = -i*k - 8 for k.
-4
Suppose -2*z = 8, -5*w - 3*z - 1 + 4 = 0. Solve w*x = -1 - 14 for x.
-5
Let k(h) = -h + 22. Let c be k(11). Suppose -4*g + c = -9. Let s = 1 + g. Solve -f - 5 = -s*f for f.
1
Suppose 2*l = 4*l + 190. Let b be l/20*(-8 - 0). Let j = 8 + -3. Solve -13 = j*g - b for g.
5
Let g(i) = -i - 5. Let r be g(-7). Let t be 70/5*1/r. Solve t*s - 25 = 2*s for s.
5
Let q be 6/(-4) - (-84)/24. Solve 0 = -q*b - 2 - 8 for b.
-5
Let l be 4/14 + (-190)/(-70). Solve -4 = y + l*y for y.
-1
Let h(w) = w**2 - 10*w + 13. Let o be h(9). Suppose 24 = o*r + 2*z, -z - 30 = -4*r - 6*z. Solve r*q + 4 = -16 for q.
-4
Suppose -s = 5*i - 20, 3*s = -8*i + 3*i + 30. Suppose i = u - 1. Solve -8 = -u*k - 4 for k.
1
Let o(w) = -11*w + 1. Let j(k) = -10*k + 1. Let m be (3/(-6))/((-1)/(-12)). Let a(p) = m*j(p) + 5*o(p). Let x be a(1). Solve 4*y + x = 2*y for y.
-2
Let r = 7 - 10. Let n be (r - 2)*6/(-15). Suppose 2*p = 2*v - 22, -4*p = -n*p + 2. Solve h = -4*h + v for h.
2
Suppose c = -0*c - 2*v - 17, -5*v = 5*c + 65. Let a be (3/c)/((-3)/45). Solve -3 = a*j + 2 for j.
-1
Let p = -13 + 37. Let r = p + -18. Solve 3*y = -0*y + r for y.
2
Let n be (-75)/(-30)*(72/10)/2. Solve -4*r - 7 = n for r.
-4
Suppose 55 = -3*x + 61. Solve -x = 3*j + 7 for j.
-3
Suppose -3*p = 2*l - 7*p - 20, l = -4*p - 2. Let v be 57/2 + l/(-12). Suppose -v = -5*o - 2*q, 5*o + 2*q = 5*q + 8. Solve o = c + 3 for c.
1
Suppose -v - n - 2*n = -8, -3*n = 3*v - 12. Solve 0*h + v*h = -10 for h.
-5
Let c = 4 - 0. Let j = 6 - c. Solve -3*h - j = -2*h for h.
-2
Suppose -q + 12 = 3*h, -2*h + 3*q = 7*q + 2. Solve 2*d - h*d = 15 for d.
-5
Let c = 56 + -52. Solve 6*q = c*q - 8 for q.
-4
Let j be (-90)/(-25) + (-6)/(-15). Solve -j*t + 4 = -3*t for t.
4
Let u = -3 + 3. Suppose u = -z - 3*z. Solve 2*l - l - 5 = z for l.
5
Let s(i) = 1 + 2 + i + 1. Let h be s(6). Let b = 1 - 1. Solve 5*t + b = h for t.
2
Suppose 3*m + 5*c = -3 + 19, -4*m + c = -6. Suppose m*x - 17 = -7. Solve -15 = 2*b - x*b for b.
5
Suppose -2*t = -t - 1. Suppose -5*m + 24 = n, -3*m + t = 5*n - 9. Suppose 3*r - 3*c = -r + 20, r - m*c - 5 = 0. Solve r*p - 12 = 13 for p.
5
Let j = 62 + -52. Solve 0 = -c - c - j for c.
-5
Let n(t) = t - 2. Let d be n(0). Let l be (-2 - d)/((-2)/2). Let r be (l/(-2))/(3/(-3)). Solve -4*q - 6 - 2 = r for q.
-2
Suppose -3*k - 2*k = 4*u - 12, 3*k = -2*u + 8. Solve -25 = k*b + b for b.
-5
Let t(d) = -d**2 + 2*d. Let n be t(3). Let v = n - -5. Solve a - v = 2*a for a.
-2
Let n be 46/6 + (-3)/(-9). Let t(k) = k**2 + 5*k + 4. Let d be t(-5). Suppose 4*x + b = d*b + 9, -2*x + 3*b + 9 = 0. Solve x = -2*y - 2 - n for y.
-5
Let m be 1/(-2*(-1)/(-14)). Let t be 2/((-4)/(-5))*-2. Let o = t - m. Solve -o*i - 2*i - 8 = 0 for i.
-2
Let n = 8 + -4. Suppose -5*i = -j - n*i + 8, -5*j + 35 = -4*i. Solve -j*z = -0*z - 12 for z.
4
Let y be (1 + 3 + (1 - 4))*2. Suppose r = 5*u + 40, 2*u + 3*u = -2*r + 20. Let t = 28 - r. Solve -y*h = -t - 2 for h.
5
Suppose 0 = -z + 4 - 2. Solve 3 = -n - z for n.
-5
Let v = 9 - 6. Let s be (-1)/((9/(-12))/v). Let t be (s/3)/((-2)/(-3)). Solve 0 = t*u - 4*u for u.
0
Suppose 0 = -5*p + p + 32. Solve -17 - p = 5*s for s.
-5
Suppose u = -2*u + 12. Solve a - 5 = -u*a for a.
1
Suppose 4*k + 1 = -2*z - 11, 23 = 2*z - 3*k. Let f(n) = -5*n + 4 + 4 + z*n. Let x be f(6). Solve -x*j + 10 = 2 for j.
4
Let o be (-5)/(-2) - (-6)/12. Let q be 9/(-2)*(-2 + 0). Solve 0 = o*u + q - 0 for u.
-3
Let g(w) = -w + 1. Let b be g(-3). Let r = -8 - -28. Solve 0 = -v - b*v + r for v.
4
Let v be (-2)/(-7) - (-48)/28. Suppose -r - u = 3, -v*r + 9 = -5*u - 6. Suppose 5*w + r - 25 = 0. Solve 14 + 1 = w*s for s.
3
Let o be (-162)/(-39) + (-8)/52. Solve -5 = -o*x - x for x.
1
Let n be (5/(20/24))/1. Solve -k - 2 = -n for k.
4
Let g(l) = -l. Let b be g(-5). Suppose -r + 2*k = -2 - 1, -b*r - 4*k = -15. Solve -r*w = w for w.
0
Let s = 18 - 14. Solve 0 = 2*v -