 + 15. Solve 0 = 3*r - s*r for r.
0
Let l = 10 + -10. Solve -r - 3 + 6 = l for r.
3
Let g be 16/(-12)*9/(-3). Suppose -1 - g = -2*y + n, 5*y + 3*n = -15. Solve 0 = -2*v - y*v + 8 for v.
4
Suppose 5*y - 2*u - 22 = 0, -3*u + 12 = -5*y + 35. Solve -6 = 2*f + y for f.
-5
Let v(k) = 0*k + 2 - 1 + 0*k + 3*k**2 - k. Let l be v(1). Solve -l = -5*x + 2 for x.
1
Suppose 4*q + 4*x - 4 = x, -x + 4 = 2*q. Solve -q*v = -3*v + 2 for v.
-2
Suppose -2 = -w - 3. Let f = -1 - w. Suppose 4*b + 3*v - 9 = f, 1 - 3 = -b - v. Solve 0 = -2*g + b - 1 for g.
1
Suppose -5*i + 0*m = 3*m - 27, -3*i + 5*m = 11. Solve -4 = z + i*z for z.
-1
Suppose 4*b + 3*h - 4 = 12, -b = -2*h - 4. Suppose 5*w = b*w + 10. Solve 4*j = 2 + w for j.
3
Let o(s) be the first derivative of s**4/4 + s**3 - s**2 - s + 4. Let x be o(-2). Solve x*q + 16 = 3*q for q.
-4
Let x = 64 + -62. Solve x*b = -b - 3 for b.
-1
Let c = -4 + 7. Solve -d = -c + 4 for d.
-1
Let t be 10/5 + 1*16. Suppose m + t = -m. Let q = m - -18. Solve j - q = -2*j for j.
3
Let c = 36 - 1. Let b be ((-8)/20)/((-1)/c). Solve 5*n + b + 6 = 0 for n.
-4
Suppose 4*t = -4*y + 70 + 18, -3*y = -3*t - 66. Suppose -y = -3*p + 2*s, 3*p - 6*s = -s + 37. Let b be (1 + -2)*(-4 + p). Solve b = -d + 3*d for d.
0
Let t(r) = -6*r - 2. Let a be t(-4). Let k = 36 + -34. Suppose 2*j = 2*b + a - 8, k*j + b = -1. Solve 0*i - 6 = j*i for i.
-3
Let p = 46 + -31. Let h be (-44)/(-10) + (-6)/p. Solve 3*k = h*k - 5 for k.
5
Let s be (-10 + -2)*1/(-2). Suppose 1 - 7 = -3*t. Solve 5*l = t*l - s for l.
-2
Suppose -5*w + 35 = -5*u, 6*u - 8 = 2*u. Suppose w = 4*b + 1. Solve -3*j = -b*j - 2 for j.
2
Let o = -4 - -5. Suppose 0 = 3*p - 8 - o. Solve -1 + p = -j for j.
-2
Suppose 0 = -0*m - 3*m + 15. Let t = m - 3. Solve t*w - 5 + 1 = 0 for w.
2
Let o = 29 - 22. Suppose -13 = -2*m + y, 2*m - 3*m + 4*y = -3. Suppose -g + 3*v = -m, g - 5 + 3 = -2*v. Solve g*p + o - 23 = 0 for p.
4
Let s(d) = d**2 - 4*d + 1. Let j be s(5). Let r be 6/(-4)*j/(-3). Let y be (-1 + 2)/(-1)*-19. Solve -4*o - r = -y for o.
4
Let s be -2 + 5 - (1 + -1). Suppose -5 = -2*r - 15. Let j be 0 + (-4)/(1 + r). Solve s*a + 2 = -j for a.
-1
Suppose -4*x + 9 = -3*x. Suppose 2*l - x = -l. Solve -l*z - 11 = -2 for z.
-3
Suppose -30 = -102*b + 96*b. Solve 0 = 3*l + 7 + b for l.
-4
Let x(k) = -k**3 - k**2 - k + 4. Let w be x(0). Suppose 1 = -5*c + 16. Solve -c*j = -2*j - w for j.
4
Let i = -8 - -6. Let h(k) = 2*k**2 + k - 1. Let f be h(i). Let n be (-2)/f + (-28)/(-20). Solve a = -n - 3 for a.
-4
Suppose 2 = b - 4. Solve b*d = 3*d - 3 for d.
-1
Suppose -5*n - 5*w - 4 = 6, -n - 2*w - 4 = 0. Solve n = 2*h - h for h.
0
Let l(g) = -g**3 + 9*g**2 - 7*g - 6. Let i be l(8). Solve 2 = -i*h + 6 for h.
2
Let m(y) = -y**2 + 7*y - 6. Let r be m(4). Solve -h - r = h for h.
-3
Let b(f) = 2*f**2 + 2*f. Let v be b(-3). Let d(q) = q + 16. Let w be d(-12). Suppose -40 = -w*y + 5*p, 0*y + p - 11 = -3*y. Solve 0 = -u + y*u + v for u.
-3
Let b = 6 - 6. Suppose 3 = -3*t, b*x + 3*x - 3*t - 93 = 0. Solve -5*w + x = 5 for w.
5
Suppose 3*n - 50 = -14. Solve -4*v + n = -v for v.
4
Suppose 0 = 5*s + g - 18, -3*g + 6 - 32 = -5*s. Suppose 2*d - 6 = -0. Solve l + d*l - s = 0 for l.
1
Let w be 0/(1*(1 - 3)). Suppose x - 2 = -0*x. Let z = x - w. Solve -z = -t - 0*t for t.
2
Let i be (-36)/(-10) + 16/40. Let x be i/(-14) + (-86)/(-7). Solve 2*t + x = 5*t for t.
4
Let b = -27 - -38. Suppose -4*y + 13 = -b. Solve -u - u - y = 0 for u.
-3
Let q = 7 + -3. Suppose n - q*n = 0. Solve -2*v + 4*v = n for v.
0
Let y(k) = 3*k + 14. Let v be y(-4). Solve -2*i + 3*i = v for i.
2
Let s be (-4 - -4)*1/2. Suppose 5*l + 7 - 17 = s. Solve 4 = l*q - 0*q for q.
2
Let u be (3/(-6) - 0)*-2. Let d = -3 + u. Let q be (3/6)/(d/(-60)). Solve -k = -6*k - q for k.
-3
Suppose 2*u = i + 3, -6*u + 5*i = -2*u - 15. Let a(n) = -n**2 - n + 4. Let t be a(u). Let s be (8/(-10))/((-2)/15). Solve t*k - 22 = -s for k.
4
Let a(j) = j + 23. Let v be a(-21). Solve 0 = 2*d + v*d + 12 for d.
-3
Let c(h) = -2*h**2 + 7*h - 3. Let g be c(3). Solve -f + 2 - 4 = g for f.
-2
Suppose m + 5*q - 10 = 0, -q + 14 = 2*m + 3*q. Suppose -2*n + m*n - 9 = 0. Solve n*l = 5*l + 6 for l.
-3
Let k = -3 + 7. Suppose -k*j + 17 = 3*d, 5*d + 4*j + j = 25. Let f = -92 + 95. Solve 0 + d = f*q for q.
1
Let n be 5 + (-9 - -4) + 0. Solve 0 = 2*w - n + 6 for w.
-3
Let o(l) = -2*l**2 + 16*l + 16. Let u be o(8). Solve -5*d = -d + u for d.
-4
Suppose 11*n = 15*n - 32. Solve -n = 4*i - 6*i for i.
4
Let a(t) = t**2 - 3*t + 3. Suppose -5*r = -0*r + 2*l - 25, r + 22 = 5*l. Suppose r = -c, -3*w + 5*c + 24 = -0*c. Let d be a(w). Solve 0 = d*z - 0*z - 9 for z.
3
Let w = 6 - -10. Let n = -10 + w. Solve 0*c = 3*c + n for c.
-2
Let f be (-31)/(-4) + 3/12. Let s = 10 - f. Solve p + p = s for p.
1
Suppose 2*t = -2*p + 14, -2*t - p - 2*p = -12. Let k be (39/t)/(-1)*-12. Let h = -37 + k. Solve 5*f + 0 = h for f.
3
Let u be -1*(-6)/3*5. Suppose 0 = 5*p + 3*t - u, -2*p + 5*t + 2 = -p. Solve 0 = 5*w - 8 - p for w.
2
Let b be 4/10 + (-69)/(-15). Let j = -3 + b. Suppose j*i - 3*i + 4 = -4*m, 4 = 4*i - 4*m. Solve 0*q - q + 1 = i for q.
1
Suppose 4*h - 12 = 4. Solve -h*d = -26 + 6 for d.
5
Let y be (-1 - (-2)/3)*0. Let c(k) = -2*k**2 - 2 - 2*k + y + 6*k**2. Let r be c(2). Solve r - 4 = -2*t for t.
-3
Let n be 2/(8/20 - (-8)/30). Solve a + n = 2*a for a.
3
Let w(f) = f**2 + 7*f - 1. Let v be w(-8). Solve v = -4*o - 1 for o.
-2
Let o = -36 - -38. Solve o*b = 6*b + 16 for b.
-4
Let s(r) = -r**2 + 5*r + 6. Let u be s(6). Suppose 3*j + 2*j = u. Solve -4*v + 2*v + 6 = j for v.
3
Let x be (-4)/(-4 + -4)*4. Solve 0 = x*o + 1 + 1 for o.
-1
Suppose 4 = 2*y - 0. Solve -z - 3 + y = 0 for z.
-1
Let q(l) = 3*l - 1. Let z be q(1). Suppose 4 = -2*s + 2*h - 0, 2*h = -z*s + 12. Let t = 0 + s. Solve v = t*v for v.
0
Suppose 0 = -5*b - 4*l - 18, 5*b - l + 3*l + 24 = 0. Let n = 15 + b. Solve x - n = -2*x for x.
3
Let p(n) = -8*n**3 + n**2 + 2*n + 1. Let d be p(-1). Let c be 4/d + 6/4. Solve -8 = -4*l + c*l for l.
4
Suppose 5*x = 2*m - 31, 2*m - 1 = -0*x - x. Let g be 7 - 1*1*-1. Suppose 124*d + 60 = 128*d. Solve g*v = m*v - d for v.
-3
Let q = -7 + 4. Let b(t) = t**2 + t - 4. Let x be b(q). Solve -l + 9 = x*l for l.
3
Suppose f = 28 - 2. Solve 4*a = 6 - f for a.
-5
Let q(j) = j**2 - 2. Suppose p = -5 + 2. Let h(u) = 2*u + 4. Let a be h(p). Let i be q(a). Solve -w - 3 = -i for w.
-1
Let t = 7 - 7. Suppose t = 3*g - 2*g + 4. Let q = g + 5. Solve -q = -3*p + 14 for p.
5
Let l(u) = -u**3 + 3*u**2 + 2*u - 1. Let s be l(3). Solve 25 = -s*t + 5 for t.
-4
Let t = -11 + 3. Let u(x) = -4*x + 3 + 4*x - x. Let b be u(t). Solve b + 1 = -4*i for i.
-3
Suppose 2*u - 14 = 10. Solve 3*r - u = -0*r for r.
4
Suppose 20 = z - 5*z, 0 = -5*j - 3*z + 85. Suppose 4*t - 16 - 32 = 5*f, 4*t - j = -2*f. Solve 0 = -5*m + 18 + t for m.
5
Let r be -4 + (-1)/2*-8. Solve q = -r*q for q.
0
Let v = 14 + -8. Solve -8*n = -v*n + 6 for n.
-3
Let p(v) = -v**3 + 9*v**2 + 10*v + 1. Let z be p(10). Solve y - 3 = -z for y.
2
Suppose 3*v + 3*b - 21 = 0, v - 4*v + 3*b = -27. Let a be (v/(-10))/((-3)/15). Solve -a*h + 0 = -20 for h.
5
Let h(d) = d**2 + 3*d + 2. Let b be h(-5). Suppose 1 = -3*m - 5*y, -2*m - 2*y + 5*y = -b. Solve -3*z - m = -0 for z.
-1
Let u be 5/4 + (-3)/12. Let h be (1 - -2)*(-5)/(-15). Let v be h + (u - 0/(-3)). Solve -5*g + v = -3 for g.
1
Suppose 0 = -2*g - 5*v - 1, 0*g - 14 = -5*g + 4*v. Solve -g*o - 4 = 2*o for o.
-1
Suppose 0 = h + 2*h - 45. Solve 0*d = 3*d - h for d.
5
Let b = -24 - -26. Solve -4*h = 2 + b for h.
-1
Let t(a) = 3*a - 4*a - 2*a + 2 + 4*a. Let x be t(3). Solve x*y = y for y.
0
Suppose 3*j - 3*y - 18 = 0, -j = -0*y + 4*y + 14. Let q = 4 - j. Solve q*t + 5 = t for t.
-5
Let q be (-6)/(-3 + 1) - 0. Suppose -p = q*p - 12. Suppose p*m + 2 = 14. Solve -5*o = m + 1 for o.
-1
Let k be ((-2)/4)/((-7)/70). Suppose -r + 48 = 2*r - 4*l, k*r = -2*l + 54. Suppose n + r = 3*n. Solve i = -2*i + n for i.
2
Suppose -4 - 14 = -3*q. Suppose q*c - 56 = -c. Solve 3*s - s + c = 0 for s.
-4
Suppose -4*m - 46 = -62. Solve -8 + 0 = m*n for n.
-2
Let b = 11 + -1. Suppose -f = -b + 4. Suppose a + 15 = 4*w, f*a = 2*a + 5*w - 16. Solve -2*v = a + 7 for v.
-4
Suppose 6*c - 8 = 2*c. Solve c*x + 2*x + 4 = 0 for x.
-1
Let s be 4/(-6) + 16/6. Suppose 0*f - s*f = 0. Solve -a = -f*a + 4 for a.
