 + m*i for i.
-4
Let c = 0 + 3. Suppose 2*u + c*u = 0. Let l be (-10)/3*((-13 - -6) + 4). Solve s + s - l = u for s.
5
Suppose 5*y - 53 = -i, -4*i = i - 15. Let a(l) = -3*l**3 + 2*l**2 - 1. Let r be a(-1). Suppose p + 4*c - 20 = 0, p = -0*p + r*c - 12. Solve x + y = -p*x for x.
-2
Suppose 0 = 2*f - f + 2, 10 = 2*n - 5*f. Solve -x + 0*x - 2 = n for x.
-2
Let x be (12/(-5))/((-3)/10). Let t be (-4 - 220/(-25))*5. Suppose -16*i = -19*i + t. Solve -i = -x*y + 4*y for y.
2
Let w = 25 - 50. Let s be ((-16)/(-20))/((-2)/w). Solve 0 = -4*q - q + s for q.
2
Suppose -2*z + 2*p = -14, -p = -5*p - 16. Solve -b - 2 = z for b.
-5
Let s be 1*6 + (4 - 7). Suppose 4*k + 0 = 8. Solve k*c = s*c for c.
0
Let g be 76/12 + 2/(-6). Let k be (g + -3)/(1 + 0). Let z = k - 3. Solve y = -z*y - 1 for y.
-1
Let o be 8/(-4) - 4*-1. Suppose 0 = -3*k + 13 - 4. Solve o*j + 15 = -k*j for j.
-3
Let k = -26 + 38. Let q(p) = 31*p**3 + p**2 - p + 1. Let o be q(1). Solve -k = -4*i - o for i.
-5
Let x(m) = m**2 - 2*m. Let n be x(2). Suppose 0 = 17*u - 366 - 59. Solve 5*v - u = -n*v for v.
5
Let i(o) = 4*o - 4 - 3*o - 3 + 5. Let b be i(5). Solve -b*r + 0*r = 0 for r.
0
Suppose 5*j - 13 + 3 = 0. Suppose -j*t + 0 = -6. Solve -t*p - 6 = -3 for p.
-1
Let g(j) = j - 6. Let h be g(7). Let u be 9 - (3 - (2 + h)). Solve w = -2*w + u for w.
3
Suppose 3*s - 4*i - 15 = 0, 0 = -3*s - i + 4*i + 18. Solve s = -2*b + 1 for b.
-4
Let z(y) = y**3 + y. Let u be z(1). Suppose -5 - 3 = -u*l. Solve 0 = -l*b - b - 15 for b.
-3
Let p(y) = y**2 + 10*y - 11. Let l be p(-11). Suppose -5*w + 15 = -l*w. Solve -2*k = w - 5 for k.
1
Let p(b) = -b**2 - 11*b - 7. Let r be p(-10). Let c be (0 - -2)/(4 - r). Solve -v - 2 = c for v.
-4
Let v(a) = -2 + 8 + 4*a - 2 - a**2. Let z be v(4). Suppose -2*p - 2*x = z, -3*p = -4*x - x - 26. Solve 1 = -p*h - 5 for h.
-3
Let v(i) = i**3 - i + 3. Suppose 0 = -m + 4*m - 2*y - 2, 2*m + 5*y = -5. Let q be v(m). Solve 1 = -q*f - 8 for f.
-3
Let l(a) = a + 15. Let u = -17 + 7. Let g be l(u). Solve -g = 3*i + 1 for i.
-2
Let x = -8 + 12. Suppose 3*q = -9, 0*q = -2*h + x*q + 16. Solve -c = h*c for c.
0
Let c(f) = -f - 1. Let g(o) = -o - 2. Let x(w) = 7*c(w) - 6*g(w). Let y be x(4). Solve 0*v - v = y for v.
-1
Let l be 0 + -9 - (7 + -3). Let o = l + 17. Solve 0 = o*s - 1 - 19 for s.
5
Let j be 0/(1*(-3)/(-3)). Suppose -l = 3*v - 5, j = v - 6*v + 4*l + 14. Let h = -2 + v. Solve 3*s + 2*s - 5 = h for s.
1
Suppose v - 6*v - 5 = 0. Let d(h) = h**3 - 10*h**2 - 10*h - 7. Let g be d(11). Let t be v/g - 260/(-16). Solve -2*l = -6*l + t for l.
4
Let v(u) be the second derivative of -3/2*u**2 - 1/6*u**3 + 3*u + 0. Let p be v(-5). Solve p = -4*q - 2 for q.
-1
Let g be 1/(-2)*(0 - 0). Let q(r) = r**3 - 6*r**2 - 6*r - 4. Let x be q(7). Suppose -2*o - 3*j + 10 = -2*j, -2*o + 10 = -x*j. Solve -15 = -o*y - g for y.
3
Suppose -6*n = -2*n + 40. Let w be (4/n)/((-2)/20). Solve 2*q - w = q for q.
4
Let k be ((-2)/3)/(4/54). Let c be (-2)/(-4) + k/18. Solve 0 = r - c*r for r.
0
Let s = -122 - -128. Solve -h + s = 2*h for h.
2
Let p(w) = -w**3 - w - 1. Suppose l = -5*s - 13, 3*l - 4*s = -l + 20. Let d be p(l). Let b = -9 - d. Solve b*x + 3*x = 15 for x.
3
Suppose 0 = -4*b + 20, -b + 77 = 2*h + 2*h. Let a be (-2 + (-24)/(-7))*7. Suppose 3*f + h = 2*q + 3, -5*q = 2*f + a. Solve 0*i + i + 5 = q for i.
-5
Suppose 2*b + 15 = 1. Let m = b + 7. Solve m*q = 3*q + 9 for q.
-3
Let w = -33 + -3. Let a be (-2)/8 + w/(-16). Solve 10 = a*v + 2 for v.
4
Let l(v) = 8*v**3 + v**2 + v + 1. Let a be l(-1). Let q(z) = z**2 + 5*z - 9. Let m be q(a). Let i be -1*(4 + -8 + 4). Solve i = -g - m - 0 for g.
-5
Suppose -72 - 96 = -7*i. Solve -3*t + i = 9 for t.
5
Let o(a) = a**2 + 2*a - 3. Let s be o(2). Let m(f) = f**2 + 3*f. Let i be m(-4). Suppose 2*r - 10 = 3*b, -4*r + i + 16 = 2*b. Solve 0 = s*d - r - 5 for d.
2
Let h(m) = -9*m + 10. Let s(t) = 4*t - 5. Let g(o) = 6*h(o) + 13*s(o). Let w be g(-7). Solve -3*v + 0*v + w = 0 for v.
3
Let o(s) = -s - 7. Let i be o(-10). Suppose i*x - 2 = 2*x. Solve x*b = -3*b for b.
0
Suppose -3*t - 3*d + 10 = 1, t + 5*d = 3. Let i be 1*(-1)/1*-8. Suppose -2 = j + 3*h, t*h = -3*j + h + i. Solve 0*z = j*z - 8 for z.
2
Suppose 5*q - 3 = 2*q. Suppose 2*t = 7 + 5. Let w = q + t. Solve w*u - 3*u = 8 for u.
2
Suppose -4*v = -z + 4, 0 = -4*v + 3*z - 7*z - 24. Let i = 3 - 3. Let p = i - v. Solve 7*u + 15 = p*u for u.
-3
Suppose -60 = -o - 2*o. Solve -4*m = -0*m - o for m.
5
Suppose -2*a = 2*z - 4, 0*a - 5 = -2*z - 3*a. Let v(u) = -u + 1. Let q be v(z). Solve q*b = -5*b + 25 for b.
5
Suppose -1 = 2*j - 5. Let s be (-1 - 0)*-4 + 0. Suppose 0 = 8*t - 5*t - 6. Solve -t*h = j*h + s for h.
-1
Let u(t) = -t**3 - 9*t**2 + 10*t + 6. Let l be u(-10). Solve y - 25 = l*y for y.
-5
Let b = 0 + 0. Let f be (-2)/17*(90 - 107). Solve -f*t - 4 + 12 = b for t.
4
Suppose -4*s = -5*z + 15, 3*z - 4 - 5 = -4*s. Let f be 3*z/18*6. Solve j - f*j = -4 for j.
2
Suppose 2*y + 4*v = 0, -3*y + 4*v = -0*v. Suppose 0 = -2*g - 2*u - 4, -g + 5*u + 22 = -2*g. Solve y*x = x - g for x.
3
Suppose -y + 4 = 0, y + 3 = 4*t - 1. Solve -5*p + 9 = -t*p for p.
3
Let n = 3 - 3. Suppose n = 2*f + 5*t - 6, 0 = 2*t - 4*t. Suppose -4*q = 5*w - 4, -2*w - 3*q = f*w - 3. Solve w*o - 8 = 2*o for o.
-4
Let b(s) = 10*s**2 - 2*s - 1. Let x be b(2). Suppose -5*k + 0*k + x = 0. Suppose 4*q + q + 2*z - 23 = 0, 0 = z - 4. Solve -2*l - q = k for l.
-5
Suppose -2*c - 9 + 3 = 0. Let j(q) = 0*q**3 - 4 - q**3 - q**2 + 16*q - 14*q. Let x be j(c). Solve x = -b - 3*b for b.
-2
Let b(f) = -f**3 + 6*f**2 + 6*f + 6. Let x be b(7). Let v be 0/4 + (-4)/x. Solve -11 = -v*o + 1 for o.
3
Suppose 3 - 6 = -f. Solve f*v - 5*v = 0 for v.
0
Let q(j) = 0 - j - 3*j - 3. Let o be q(-2). Solve -3*c = 4 + o for c.
-3
Suppose -16 = -4*f + 5*d + 17, 0 = 2*f - d - 15. Let b = f + -5. Suppose b*v = -5*l + 8*l - 14, -6 = -2*l - 2*v. Solve l*p = -p + 20 for p.
4
Let f = -67 + 67. Solve -5*v + 19 - 44 = f for v.
-5
Suppose -5*c + 12 = -3. Solve -r + 0*r - c = 0 for r.
-3
Suppose -2*p - 11 = u - 4*u, -3*u + 6 = -3*p. Solve 0 = -3*l + u - 1 for l.
2
Let g = 50 - 34. Suppose -10*u - g = -12*u. Solve -2*j + u = -6*j for j.
-2
Let f = 335 + -334. Suppose 3*w + 8 - 29 = -3*r, -3*r = w - 15. Solve f = j + w for j.
-2
Let v = -4 - -4. Solve v*q = -3*q - 9 for q.
-3
Suppose u = -0*u. Suppose 2 + 3 = q. Let y = q + -5. Solve y = f - u*f for f.
0
Let r(z) = 2*z**3 - 4*z**2 + 3*z - 1. Let n be r(2). Solve n*x - 23 = -3 for x.
4
Suppose -2 = -3*m - 2*y - 0, -2*m - 4 = -4*y. Solve m = j + 2*j - 9 for j.
3
Let w = 4 - 1. Suppose 3*l = -5*c - w, 3*l - 4*c - 13 = 11. Solve -l*k + 11 + 5 = 0 for k.
4
Let l(j) = j**2 - 6*j - 6. Let p be l(8). Solve 5 = 3*c - p for c.
5
Let h = -7 - -9. Suppose -5*j + 10 = -d, -23 = -j - h*d - 10. Solve 4 = k + j*k for k.
1
Let v(x) = -2*x**2 + 4*x + 5. Let b be v(2). Solve 2*o = b*o - 15 for o.
5
Suppose -2*y - m + 2*m + 28 = 0, 4*y - 56 = -4*m. Let j be (y/4 + -2)*2. Suppose -2*q - 90 = -0*x - 5*x, j*q = -15. Solve -l - 3*l = -x for l.
4
Let s = -21 - -32. Solve -s - 1 = -3*x for x.
4
Let t(g) be the first derivative of -g**4/4 - g**2/2 - 2*g + 3. Let h be t(-2). Solve 1 = 3*s - h for s.
3
Let w = -20 - -20. Suppose -z - 3*b - 1 + w = 0, 3 = 3*z + 3*b. Solve z*c = 6*c - 16 for c.
4
Let k(t) = -t**2 - 9*t + 8. Let i be k(-9). Solve 0*q = -4*q - i for q.
-2
Let l be (-4)/3 + -3 + 100/12. Solve l*p = -p + 5 for p.
1
Let d(t) = t**2 + 5*t - 7. Let v be d(-7). Suppose -v = -4*w - 3*g, -w = -g - 0*g. Solve 2*r = r + w for r.
1
Suppose 0 = 2*m + 3*r + 31, 3*m + 26 = 2*m - 5*r. Let l = -7 - m. Solve -f + 0*f - l = 0 for f.
-4
Suppose 0 = -b - 2*b. Let z = b - -1. Let g be (-8)/(-3) - z/(-3). Solve 0*r = g*r + 12 for r.
-4
Let z be 1/(-2)*0/5. Solve z*b + 9 = -3*b for b.
-3
Let o = 24 + -15. Solve 3*y = o + 3 for y.
4
Suppose -4*z = 2*i + 10, -z - 4 = -i + 3*i. Let g(v) = 2*v**2. Let r be g(i). Solve -m = -r*m for m.
0
Let g(s) = s**3 + 7*s**2 + 7*s + 12. Let p be g(-6). Solve -p = 3*x - 0*x for x.
-2
Let g(t) = -2*t - 11. Let j(u) = -u**2 - 5*u - 7. Let y be j(-5). Let m be g(y). Solve 2*x - m*x + 4 = 0 for x.
4
Let z(j) = -17*j + 35. Let t(s) = 6*s - 12. Let k(a) = -8*t(a) - 3*z(a). Let l be k(5). Solve -1 + l = -5*m for m.
-1
Suppose 6*i - 10*i = -32. Let d = 3 - 0. Solve y - d*y = i fo