 = n*f + r for f.
-3
Let i be ((-28)/(-8) - 2)*-2 + 8. Solve -i*d + 3*d - 8 = 0 for d.
-4
Suppose 0*s + x - 19 = -4*s, s = -x + 4. Suppose -s*a = -4*a. Solve 3*t - 6 + a = 0 for t.
2
Let i(m) = -m**3 - 16*m**2 - 14*m + 17. Let y be i(-15). Solve -y*t - 7 = -5 for t.
-1
Let j be (-2)/3*6/4. Let p(v) = -3*v**3 + 1. Let x be p(j). Solve -h - x = -0*h for h.
-4
Let l = 8 - 1. Let p = 9 - l. Solve 1 = p*w - 5 for w.
3
Suppose u + 2*u = -4*i + 135, 5*i + 4*u = 169. Suppose -3*x + 8*x = 0. Suppose -4*q - 13 + i = x. Solve -18 = q*n + 2 for n.
-4
Suppose 3*m - 2*m = 5. Let d(b) = b**3 + 4*b**2 + 4*b + 3. Let i be d(-3). Let f(h) = h**2. Let a be f(i). Solve -2*w + 7*w - m = a for w.
1
Let x(o) = 6*o**2 - o. Let k be 2/11 - 18/(-22). Let s be x(k). Let v be (-63)/(-15) + (-1)/s. Solve -p = -v*p for p.
0
Let i be (1 + -1)*3/6. Solve f - 1 + 5 = i for f.
-4
Let b be (-10)/(-45) - 50/(-18). Let c(z) = -z - 3*z**2 + 4 + 2*z - 3*z + z**b. Let n be c(4). Solve n - 2 = -5*h for h.
-2
Let c(f) = f**2 - 6*f + 4. Let o be c(6). Suppose -4*h + 8 = -0*h. Let x = 0 + h. Solve o*j - x = 2 for j.
1
Let f = -6 - -5. Let v be (-58)/(-8) - f/(-4). Solve v - 23 = 4*d for d.
-4
Suppose c + 6 = 8. Suppose 3 = v - x, -3*v - x = c*v - 27. Solve v*p + 5 = -0 for p.
-1
Let i = 10 - 7. Suppose -2*n + i*n - 2 = 0. Solve n*h + 2*h = 8 for h.
2
Let c(l) = -3*l**2 + 5*l**2 + 3 - 4 + 3*l**2. Let v be c(1). Solve -3*f + 7*f - v = 0 for f.
1
Let y be 6/(-4)*2 - -5. Suppose -y*c = 3*c - 20. Solve -5*u - c + 29 = 0 for u.
5
Let j(x) = -x**2 - 13*x + 2. Let r be j(-13). Let d = -10 + 15. Suppose 5*k - 11 = -r*b, 5*b + 27 - d = 4*k. Solve 3 - 18 = -k*o for o.
5
Let b = 19 + -15. Solve -9 = b*d - d for d.
-3
Let q be (-40)/30 - (-10)/3. Suppose 2*u = 3*x + 32 - 11, -4*x - 4*u - 28 = 0. Let o = x + 12. Solve o*s = -q + 17 for s.
3
Let h = 9 - -3. Suppose -5*i + i + h = 0. Let l(q) = -2*q - 4. Let y be l(-3). Solve -i = -y*t + t for t.
3
Let r(h) = h - 2. Let b be r(-5). Let l(i) = -i**2 - 9*i - 10. Let f be l(b). Solve a = -f*a for a.
0
Suppose 3*r + 19 = -2. Let u = r - -9. Let v(o) = -o**3 + 2*o**2 + 2. Let t be v(u). Solve 3 - 11 = t*s for s.
-4
Suppose 8 = 4*t + h, 0 = -2*t + t - 5*h + 2. Suppose 5*v - 19 = t*v - 2*k, -3*k + 33 = 5*v. Let p = 13 - v. Solve -6 = -p*m + 2 for m.
2
Let f(g) = g**2 - 3*g**2 + 5*g + 6*g**2 - g**3 + 1. Let b be f(5). Let r be b + -3 - (-8 + -1). Solve -5*o - 17 = -r for o.
-2
Let t = 45 - 45. Solve t = -4*k + 7 + 9 for k.
4
Suppose -2*p - 1 - 1 = 2*k, 3*p - 5*k = 13. Solve 3*m - 4 + p = 0 for m.
1
Let y be (-3)/((-13)/2 + 5). Solve -8 = y*u - 4*u for u.
4
Suppose -5*l = -0*l - l. Let v be 3*-2*1/(-3). Solve l = 2*t + v*t + 8 for t.
-2
Suppose -81*g + 3 = -80*g. Solve 0 = -2*x + 3*x - g for x.
3
Let k = -100 + 120. Solve -7*c - k = -2*c for c.
-4
Suppose -b = 2*s - 8, s + 20 = -3*s. Suppose t + 0*t - b = 2*q, t = 5*q + 21. Solve -5*i + i = t for i.
-4
Suppose m + 3*m - 84 = 0. Let g = m + -38. Let u = -9 - g. Solve u = 3*k - k for k.
4
Let w be (21/(-6))/(2/(-4)). Suppose -r + 2*r - w = 0. Let z(a) = a**3 + 2*a**2 - 3*a. Let q be z(-3). Solve q = 5*u - 13 - r for u.
4
Suppose -5*k - x = -18 - 8, x + 14 = 3*k. Solve 0*a = k*a - 5 for a.
1
Let z = -195 - -200. Suppose -4 = 3*t - 4*t. Suppose s - 4 = -4*y, 12 = t*y - 5*y + 3*s. Solve y = -z*v + 9 + 16 for v.
5
Let b(d) = d**2 + 11*d + 8. Let n be b(-10). Let r be (n + 7)/((-3)/(-12)). Suppose -5 = 3*p - r. Solve -p*c - 8 = 7 for c.
-3
Let l = -31 + 34. Solve 2 = -h + l for h.
1
Let k = -19 - -19. Solve -3*f + 3 = -k for f.
1
Let g(x) = x - 2. Let n be (-11)/(-3) - 3/(-9). Let j be g(n). Solve -v = 6 - j for v.
-4
Let z(b) = -2*b**3 - b**2 + 1. Let g be z(-1). Suppose -4*n = -g*n. Suppose -u + 12 = w - 6*u, n = -4*w - 4*u. Solve -w*l = 3*l for l.
0
Suppose -7*t + 5*t = 3*t. Solve t = -5*g - 15 - 10 for g.
-5
Let r be (-8)/(-20)*(10 + 0). Let j = 6 - r. Solve -j + 1 = n for n.
-1
Let c be -3 - ((-2)/(-1) + 0). Let v = 5 + c. Solve 2*j + 10 = -v*j for j.
-5
Suppose 24 = -5*w - 3*z + 5*z, -2*w - 2*z - 18 = 0. Let l(a) = -a**2 - 7*a - 4. Let s be l(w). Suppose b + 1 + 0 = 0, s*g - 17 = 5*b. Solve -2 + g = -j for j.
-4
Suppose u - 4 = -0*u - x, x = -3*u + 2. Let p be (u - 1/(-1))/(-2). Solve -2*r - 2*r + 8 = p for r.
2
Let a = -9 - -9. Suppose 2*t - 5*q = -a*q + 31, 0 = -t + q + 11. Solve -2 - t = 5*s for s.
-2
Let a be (-4 - -6)*(-6)/(-4). Suppose 0 = a*w - 3 - 6. Solve w*t - 8*t = 0 for t.
0
Let a(k) = 7*k - 65. Let s be a(10). Suppose 0*x + 8 = x + 3*f, -4*x - 4*f = -16. Solve -x*d = -s*d + 12 for d.
4
Suppose -7*m + 35 = -21. Solve 3*o - m = -o for o.
2
Let v be (-3 + 15/5)/(-1). Solve -2*k - 2 + 0 = v for k.
-1
Let t(u) = 4*u - 8. Let q be t(3). Solve 2 = q*r - 2 for r.
1
Let g = 4 - 1. Let h(f) = -60*f**2 - f - 1. Let l be h(-1). Let p be (-2)/5 - l/25. Solve -g*k = -2*k - p for k.
2
Let s(g) = 3*g**2 - 2*g - 1. Let w be s(-1). Suppose 3 = -3*t + w*t. Solve f - t*f = 2 for f.
-1
Let r(t) be the second derivative of -5/6*t**3 + 0 - t**2 - 3*t - 1/12*t**4. Let c be r(-4). Solve 5*m - c*m + 15 = 0 for m.
-5
Let f = -112 + 115. Solve 0 = 2*u + u - f for u.
1
Suppose 27 = 4*q + 3. Let j = 6 + -1. Suppose h = j*h - 60. Solve q = -3*t + h for t.
3
Let a(q) = -3 - 3 + q + 1. Let p be a(5). Solve p = w - 3*w + 6 for w.
3
Suppose -t + 0*t - 5 = 0. Let i = 8 + t. Solve i*r + 2 = -10 for r.
-4
Let z be (-2)/6 - (-84)/9. Suppose -p + 4*i - z = i, -2*p - 2 = -2*i. Solve 0 = -p*q + 6 + 6 for q.
4
Let o = -5 - -10. Solve 0*f + 5*f + o = 0 for f.
-1
Let u = -13 - -14. Solve 0 = x + 5 - u for x.
-4
Let x = 15 + -27. Let i = -7 - x. Suppose -50 = 3*b - i*b. Solve 2*d + 3*d + b = 0 for d.
-5
Suppose -o = -0*o - 15. Suppose 3*m - 5*b = -4*b + 14, 4*m = -4*b - 8. Let p = -1 - -1. Solve -m*h + p + o = 0 for h.
5
Let x = -16 + 30. Let w(u) = 2*u - 6. Let t be w(6). Suppose -x = -q + t. Solve -2*f + q = 2*f for f.
5
Suppose -4*v = -0*v - 24. Solve 0 = -7*u + v*u for u.
0
Let c(a) = a**3 + 4*a**2 - 4*a + 3. Let r be c(-5). Let u(f) = -3*f**3 - f**2 - f - 2. Let n be u(r). Solve -3*j + n = j for j.
5
Let a(y) = -1 - 2*y - 1 + 0. Let l be a(-5). Solve -h = l - 3 for h.
-5
Let j = -15 - -17. Let o = j - -2. Solve o*c - 7 - 5 = 0 for c.
3
Suppose -3*j - 4*k = -12, -5*j + k = -0*j - 20. Suppose 0 = x - 0*s - j*s - 10, 0 = 4*x - 2*s - 26. Solve 0 = x*v - v + 15 for v.
-3
Suppose -u + 4*u = 12. Suppose -x = -u*x. Suppose 0 = -x*t + 3*t. Solve -y + 2*y = t for y.
0
Let f(s) = 2*s**3 - s**2 + 9*s - 19. Let w(i) = -i**3 - 4*i + 9. Let v(j) = 4*f(j) + 9*w(j). Let m be v(-4). Solve 3 = -a + m for a.
2
Let b be (-20 + 6)*(-4)/8. Solve -2*i = -b*i - 20 for i.
-4
Let b be 0*((-2)/(-4) + 0). Solve b = 4*u - 3*u + 4 for u.
-4
Let k = -7 - -31. Suppose 0 = -2*b - 2*b + k. Solve -5*f = -4 - b for f.
2
Let m be (-7)/(-42) + (-2)/12. Solve n + 2 + m = 0 for n.
-2
Suppose 4*c + 13 = 3*w, -w + 0*c = -5*c - 19. Let u(i) = i + 1. Let j be u(w). Solve -o - o - 2 = j for o.
-1
Let l = -10 + 17. Let g be 1*l + (-6 - -4). Solve -j = -0*j + g for j.
-5
Let x = 71 - 66. Solve x = 2*n - n for n.
5
Let m(t) = -t**3 - 7*t**2 - t - 1. Let w be m(-7). Let y(p) = -p + 9. Let j be y(w). Solve -8 = -j*i - i for i.
2
Suppose -3*v = -4*v - 2*s + 4, 5*v + 4*s = 8. Suppose p + v*y = -y + 13, 0 = 2*p - 5*y + 9. Solve -p = -t - 3*t for t.
2
Let c = 2 - -1. Suppose 10*h - 5*h = 0. Solve -12 = c*v - h*v for v.
-4
Let t be 1*(-3 - -2) + 6. Suppose 3*b = t*b. Suppose 2*p - 24 = -b*p + 5*c, -3*c = 3*p + 6. Solve -5*a + 3*a - p = 0 for a.
-1
Let d = -7 + 11. Suppose -d*b + 8 = 0, 0 = -4*g - 2*b + 5*b + 10. Solve -g + 9 = u for u.
5
Suppose 15 = -0*a + 3*a. Suppose -2*o + 28 = -0*o + a*i, 0 = -4*i + 16. Solve o*y = -3 - 17 for y.
-5
Let t(q) = 2*q - 3 - 1 - 3*q - 1. Let r be t(-5). Let i be (r*(-1)/3)/1. Solve i*w + 10 = -5*w for w.
-2
Suppose -18 = -5*h - 3. Solve 7*y = h*y for y.
0
Suppose -2*u + 20 + 16 = 0. Suppose -2 - u = -p. Let z(m) = -m**2 + 9*m - 4. Let l be z(8). Solve 0*d = -l*d - p for d.
-5
Let p(m) = m**3 + 8*m**2 - 2*m - 11. Let d be p(-8). Suppose -2*n - 8 = 2*n. Let k = n + 4. Solve -15 = d*b - k*b for b.
-5
Let w(h) = -2*h - 2. Let o be w(-6). Solve 6*i - i + o = 0 for i.
-2
Let d = 35 + -32. Solve -d*i + 12 = -0*i for i.
4
Suppose -9*w + 18 = 2*i - 5*w, w - 2 = 0. 