 -r = -s*r + 5 for r.
1
Let g be ((-6)/(-15))/((-4)/(-20)). Let h be (1 + g)*-1 + 7. Solve -y + 15 = h*y for y.
3
Suppose -3*j + 5 + 4 = 0. Solve 0*x + 6 = j*x for x.
2
Suppose -33 = -5*k + 2*k. Solve -k = -3*l + 1 for l.
4
Let m(g) = g + 32. Let j be m(-28). Solve j*o + 5 - 1 = 0 for o.
-1
Let b(t) = t + 6. Let u = 2 - 6. Let x be b(u). Solve -l = x*l for l.
0
Let s be 0*4/(1*-4). Solve s = -6*d + 4*d for d.
0
Suppose 0 = 9*m - 13*m. Suppose -5*a = -3 + 8. Let r = a + 3. Solve w + w + r = m for w.
-1
Suppose 0 = 5*q + 15, 5*q + 25 = j + 10. Suppose j = -0*n + 3*n. Suppose 4*h = -5*z + 48, 2 = -2*h + 4*z - n*z. Solve h = -4*g - 5 for g.
-3
Let w(v) = 6*v + 9. Let r be w(8). Suppose -m = 4*m + c - r, -2*c - 6 = 0. Solve 0*z + 4*z = -m for z.
-3
Suppose -k + 1 = -c - 5, -5*k - 10 = 5*c. Let w = -7 - c. Let y be w - -3 - -2 - -3. Solve 0 = y*s - 12 + 2 for s.
2
Let t(k) = -k + 6. Let m be t(0). Let i be m + -3 + -3 - -3. Solve 2*g - g - i = 0 for g.
3
Let g = 26 + -24. Suppose -13 = -g*b + 11. Solve -5*r = -r + b for r.
-3
Let o(q) = q**2 - 2*q - 3. Let h be o(4). Solve a - h = -3 for a.
2
Let n(i) = 2*i + 7. Let q be n(-5). Let l be (2/4)/(q/42). Let k = -2 - l. Solve 0*j - k*j + 5 = 0 for j.
1
Let b = -17 + 19. Solve b*f - 15 = -f for f.
5
Let h = 14 - 8. Solve 2*s + 2 = h for s.
2
Let a = 15 + -22. Let m(b) = -b**2 - 6*b + 7. Let y be m(a). Suppose 3*d - 9 = y, -3*r + 4*d - 9 + 3 = 0. Solve -r*l - 1 = 5 for l.
-3
Suppose 0 = 4*h - 11 - 5. Solve -h*i + 8*i = 8 for i.
2
Suppose 0 = -2*d + 5*d - 9. Solve 2*m = -m + d for m.
1
Let l be 2/6 - (-168)/36. Suppose 3*d - 12 = -z + d, l*z - 5*d = 0. Solve -z = -g + 1 for g.
5
Let s be (-7)/(6/(-28) - 8/28). Solve 4*l = -s - 6 for l.
-5
Suppose -k + 2*r + 6 = 0, -5*k - r + 18 = -5*r. Solve -5 = 3*n - k for n.
-1
Let g be (-2)/4*4 - -1. Let l(z) = -22*z + 1. Let q be l(g). Suppose -3*k + 1 = -q. Solve -k = -0*o + 2*o for o.
-4
Let x be (-2)/7 + (-10)/(-35). Suppose -3*j - q + 22 = 0, x*j = j + 5*q - 12. Let v(y) = y**3 - 7*y**2 + 8. Let r be v(j). Solve 3*u - 1 = r for u.
3
Suppose 0 = -p + 6*p. Solve p = -5*q + q + 12 for q.
3
Suppose 4*d - 3*d = -4. Let o = d - -6. Suppose o*q + 0*q = 4*z - 38, 2*z + q - 9 = 0. Solve 0 = u + z - 2 for u.
-5
Let j be 2/7 + 26/7. Solve -j*g - 11 = 9 for g.
-5
Suppose -k + 4*k - 3*t + 3 = 0, -4*k + t = -11. Solve 0 = i - 0*i + k for i.
-4
Suppose 3*v + 0*v + 24 = 0. Let l = v - -13. Let p = l - 3. Solve 4*z = 14 + p for z.
4
Suppose p = -4*x + 2*p + 52, 0 = 5*x + 4*p - 44. Let u = 15 - x. Solve -u*m + 6*m = -12 for m.
-4
Suppose v - 6*v + 15 = 0. Solve -v*c = -6*c + 12 for c.
4
Let o(z) = z**3 - 4*z**2 + 4*z - 3. Let b be o(3). Solve b = -m - m - 8 for m.
-4
Let r = 4 + -2. Suppose 1 = r*d - 11. Solve u + 25 = d*u for u.
5
Let l be -5*7/(35/(-20)). Solve 8*p + l = 3*p for p.
-4
Let n(b) = -3*b - 3. Let j be n(-3). Solve 0 = -j*s + s + 10 for s.
2
Suppose 4*j - 4 = 8. Suppose -4*r = -j*d - d + 24, 3*r = -d - 10. Solve d + 1 = -3*h for h.
-1
Let u(p) = -p**3 + 8*p + 2. Let k(m) = m**3 - m**2 - 9*m - 2. Let t(h) = -3*k(h) - 4*u(h). Let y = -22 + 18. Let g be t(y). Solve -g = -o + 2 for o.
4
Suppose 0 = 7*l - 69 + 20. Solve 0 = -4*w + l*w + 6 for w.
-2
Let t = 27 + -23. Solve 2*s - t*s = -8 for s.
4
Let i = -14 + 24. Suppose g - i = -2*k, 2*g = -5*k + 3*g + 18. Solve k*p - 6*p = 0 for p.
0
Let g = -21 - -33. Let x be (-4)/g - (-147)/9. Suppose 0 = -3*r + 1 + 5. Solve -r*l + x = 2*l for l.
4
Suppose -p + 2*a + 16 = 2*p, -25 = 5*a. Suppose 3*s + 0*i = 4*i + 8, 4 = -4*s - p*i. Let r = 8 + -4. Solve s = r*w - 0*w for w.
0
Let g = 62 + -58. Solve 6 = g*k - 6 for k.
3
Suppose 0 = 2*t + 3*n + 3, -2 = 5*t + 3*n + 1. Solve 0 = -5*v - t*v for v.
0
Let o = 12 - -4. Let b = -11 + o. Let y be (18/(-30))/((-1)/b). Solve y*v - 2*v = -5 for v.
-5
Suppose 2*w - 4*w = -8. Let y be ((-15)/(-20))/(1/w). Solve o + 0*o = -y for o.
-3
Let d(f) = f - 1 - 7 + 0*f + 2*f. Let s be d(6). Let u = -4 + s. Solve -b = -u*b + 20 for b.
4
Suppose -b - y = y + 8, 4*b + 16 = -4*y. Let u be (-8)/16 - 58/(-4). Let r be (-2)/((-2)/u*2). Solve b = r*n - 2*n + 25 for n.
-5
Suppose -5*b = 4*r + 33 + 33, 4*b + 57 = r. Let v(d) = 7*d**2 - d. Let h be v(1). Let y be h + -8 - (-1 + b). Solve -3*i = -y + 4 for i.
3
Let b = 6 - 12. Let x be 2/b + (-2)/(-6). Solve x = -p - 0 + 5 for p.
5
Suppose -3*g + 14 = l - g, 0 = -5*l + 5*g + 10. Solve -4*z = -2*z - l for z.
3
Suppose 2*r + 2*y = -y + 2, 3*r = -y - 11. Let p = -9 - r. Let d = p + 8. Solve -d*z = z + 25 for z.
-5
Suppose -4*b + 75 + 5 = 0. Suppose g - 4*c = c - b, 2*g = c - 4. Solve g = 5*a + 20 for a.
-4
Suppose 0 = 5*r - 25, 6*v + r = 2*v - 11. Let f = 14 + v. Let k be 2/2 - (-1 + 2). Solve 0 = -2*c - k*c + f for c.
5
Let j(w) = -2*w**2 - 8*w - 6. Let n be j(-3). Solve n*x = x for x.
0
Let j = 1 + 1. Let g be (j/2)/(-1) - -1. Let y be (5 - -4) + -1 + g. Solve -4*v = -y*v + 8 for v.
2
Let f be (-17 + 15)*(-9)/2. Let l be -3*2/4*-2. Suppose s + l = f. Solve -u + s - 2 = 0 for u.
4
Suppose 23 = -2*f + i - 17, 3*f + 60 = 5*i. Let y be f/(-3) - (-2)/(-3). Solve -y = s + s for s.
-3
Suppose -25 = -5*f + 5*i + 5, f - 4*i = 0. Let g = -16 + f. Let c = g - -18. Solve h - c = 3*h for h.
-5
Suppose -4*j - 3*w - 2 = -4*w, 10 = 5*w. Let l = -12 + 20. Let q be l/(-20) - 34/(-10). Solve j = -q*g + 8*g - 25 for g.
5
Suppose 21 = 5*f - 4. Suppose 2*l = -2*j + 10, 0*j = 5*j + f. Solve -l = -2*b + 4*b for b.
-3
Suppose s + t = -0*s + 1, -2*t = -s + 10. Let i be 18/(-12) - 18/(-4). Suppose s + 2 = i*d. Solve -2*l = -4*l - d for l.
-1
Let z be (-2)/3*18/(-4). Suppose -66 + 58 = -u. Solve u = x + z*x for x.
2
Suppose 5*y = 2*y + 9. Solve l + y = 2*l for l.
3
Let g(n) = -n**2 - 4*n - 3. Let u be g(-2). Suppose -4*f + 0*f + 16 = 0. Suppose -2*a - 2*a + 23 = 3*z, 6 = 2*a - f*z. Solve -u = 4*c - a for c.
1
Suppose -20*a - 35 + 215 = 0. Solve c - a = 4*c for c.
-3
Let y be ((-12)/9)/((-2)/6). Solve y = -k + 9 for k.
5
Let r(h) = h**3 - 4*h**2 - 4*h - 5. Let v(m) = -m**2 + 3*m + 9. Let y be v(4). Let j be r(y). Solve 0 = 2*l - j*l - 8 for l.
4
Let h be (-4)/(-1) + -2 + -1. Let v = 29 - 25. Solve -o + v = -h for o.
5
Let v = 52 - 51. Solve -10*t + 9*t - v = 0 for t.
-1
Suppose 2*o + 10 = 4*u, -4*u = -5*u + 3*o + 10. Solve -u = 5*v - 21 for v.
4
Let q = 12 - 7. Let v = -2 + q. Solve -v*g + 2*g = -1 for g.
1
Suppose 0 = 3*j - 3, -7*j = x - 2*j - 8. Suppose -2*r - 43 = -x*f - 0*f, f + 5*r - 20 = 0. Solve 3*t + 0 = f for t.
5
Suppose 3*l - 82 = -5*y, 2*l + y - 44 = 3*y. Let v = l + -16. Solve -2*b = 2*b - v for b.
2
Let v(s) = 33*s**2 + s. Let g be v(1). Let i = g + -16. Solve -4*c - i = -2 for c.
-4
Let d = 60 - 8. Suppose l = 5*l - d. Let q = l + -7. Solve q = i + i for i.
3
Let a(d) = 2*d**2 + 41*d - 18. Let r be a(-21). Solve -r*o + 3 = -3 for o.
2
Let b(d) = 3*d - 27. Let z be b(10). Solve 0 = 2*g - z*g for g.
0
Suppose 2*o = -4*h + 6, -4*h + 15 = -0*o + 5*o. Suppose h = -5*i + 2*i. Solve -2*c + i*c - 4 = 0 for c.
-2
Suppose 0 = 4*i + 12 - 4. Let f be 45/6 + i/4. Solve f*s = 4*s for s.
0
Let g(a) = -a**2 - 4*a - 3. Let t be g(-3). Let z = t + 5. Solve z = 3*h + 2 for h.
1
Suppose -p + 2 + 1 = 0. Suppose -2*h - p*h + 10 = 0. Solve -h*s = s - 15 for s.
5
Suppose 3*x + 4 = -2*w - 5, 0 = -3*x - 9. Solve w*m - 4 = m for m.
-4
Let k = -12 + 16. Let s = k - 2. Solve -2 = -q + s for q.
4
Suppose -4*i = -0*i + 60. Let l be ((-1)/3)/(1/i). Let x(k) = -k**3 + 5*k**2 + k + 1. Let r be x(l). Solve -w - r = -3*w for w.
3
Suppose 3*k + 0*k = 6. Solve -j = k*j for j.
0
Let c = -4 - -14. Let g = c - 5. Let u = g - 3. Solve u = 5*o - 13 for o.
3
Let g = 151 + -150. Solve 0 = -2*n - 1 - g for n.
-1
Suppose 2*i - i = 0. Suppose -4*f - 6 = -42. Let v = f - 3. Solve -v*d + d - 10 = i for d.
-2
Let m be (-2)/(2/(-7)) - 1. Let r be (-98)/m + 4/(-6). Let y = r - -24. Solve 2*p = y*p for p.
0
Let s(m) = -m**3 - 8*m**2 - 6*m + 7. Suppose 3*y - 7 + 28 = 0. Let l be s(y). Solve l*t = t for t.
0
Let j(f) = f**3 + 5*f**2 - 6*f + 5. Let n be j(-6). Suppose -5*b + 25 = n*h, -4*h + 15 = -3*h - 4*b. Solve -h = -3*g - 1 for g.
2
Let t(v) = v**2 - 12*v + 20. Let a be t(10). Solve a = -k + 3*k - 4 for k.
2
Let m(s) be the first derivative of s**4/4 + 8*s**3/3 + 5*s**2/2 - 10*s + 4. Let u be m(-7). Solve -2*j = -3*j + u for j.
4
