n*c + 1 + 2 for c.
-1
Suppose -5*a + 63 + 13 = -2*v, 2*a - v - 30 = 0. Solve k + 3*k = a for k.
4
Let q be (-5)/((-60)/8)*6. Solve 2*z - z = q for z.
4
Suppose 5*f = -2*u + 23, f = 2*u - f - 16. Let x = -7 + u. Solve x*j - j = 0 for j.
0
Let x be (3 + 39/(-9))/(3/(-9)). Solve -x*q + 4 = -8 for q.
3
Suppose 2*h + 6*g - g = 65, -2*h + 92 = -4*g. Suppose j - h = -3*j. Let w be 7/2 + (-5)/j. Solve w*d + 0 + 12 = 0 for d.
-4
Let p(d) = -d**3 - 16*d**2 - 14*d + 18. Let z be p(-15). Suppose 3*j - z = 2*j. Suppose 0 = -o + 6*o - 10. Solve -j*v = -o*v - 3 for v.
3
Suppose 5 = 3*u + k, -11 = u - 6*u + k. Solve 4 - 6 = -u*q for q.
1
Let o = -84 + 87. Solve 4*l = 5*l + o for l.
-3
Let b(l) = -l + 9. Suppose -5*o + 22 = 3*f, f = -9*o + 4*o + 4. Let r be b(f). Solve r = -4*w + 1 + 15 for w.
4
Let w = 200 + -197. Suppose 5*h = 4*m + 56, -1 - 3 = 2*h + 5*m. Solve h = w*f - 7 for f.
5
Let m(x) = -x**3 + 3*x**2 - 3*x + 2. Let c be m(2). Suppose c = -2*u + u + 5, -w + 3*u = 15. Solve w = z + 3*z + 20 for z.
-5
Suppose 0 = 3*j - 2*x - 43 + 14, 4*x + 16 = 0. Let q = j + -3. Solve -q*d + 1 = 5 for d.
-1
Let z(h) = h**3 - 2*h**2 - 2*h - 1. Let q be 13/5 - 26/(-65). Let v be z(q). Solve 0*j = -v*j + 6 for j.
3
Let q be (2 - 6/4)*-16. Let z be (12/10)/(q/(-20)). Solve -l = z*l for l.
0
Suppose -38 + 8 = -5*t. Solve -p + 5 = -t*p for p.
-1
Suppose 29 - 7 = 11*x. Solve -5*u + x*u - 3 = 0 for u.
-1
Suppose -6*o = -2*o - 32. Suppose -3*k + 3 = -5*r + 19, 4*k - 4*r = -o. Solve -6*j + k*j = 0 for j.
0
Suppose -2*k - 12 = -4*f - 2, 2*f + 4*k = -20. Suppose -w - 2*w - 4 = -4*n, 4*n - 2*w - 4 = f. Solve -g + 2 = n for g.
1
Suppose -4*d - 4 = -24. Solve 0 = -0*m - d*m for m.
0
Let x be 41/4 - (-2)/(-8). Suppose -2*i - x = -5*m + 3, 4*m - i - 11 = 0. Let s(j) = 3*j. Let l be s(1). Solve -m = l*d - 12 for d.
3
Let g be 3/((-9)/(-8))*3. Let v(z) = z**3 + 11*z**2 + 12*z + 24. Let f be v(-10). Solve f*x = g*x for x.
0
Let j = 31 + -15. Let q = 18 - j. Solve -q*s - s + 15 = 0 for s.
5
Suppose -4*c + 6 = -b - 3, -15 = -5*c. Solve -5 - 1 = b*k for k.
-2
Suppose 3 = -3*q - 2*j + 10, -13 = -3*q - 5*j. Solve q = d - 2 for d.
3
Suppose f + 2*f = 48. Solve 0 = w + 3*w - f for w.
4
Let i be (-96)/(-20) - (22/(-10) - -2). Solve i - 1 = 4*l for l.
1
Let b(g) = -g**3 + 4*g**2 + 2*g - 2. Let m be ((-6)/9)/(1/(-3)). Suppose -m*w + 5*l = 17, -3*l = w - 6 - 13. Let j be b(w). Solve -4 = p - j for p.
2
Suppose 10*d - 50 = -5*t + 5*d, -30 = -5*t - d. Suppose -g = u - 4, -18 - 22 = -5*g + t*u. Suppose -3*l + 5*q = -34, g*l = 2*l + q + 17. Solve -l*m = -m for m.
0
Let j(h) = -2*h**2 - 10*h + 2. Suppose 2*n = 3*n + 5. Let b be j(n). Solve 7*s - 25 = b*s for s.
5
Let z(i) = -i**3 - 4*i**2 - 3*i - 3. Let l be z(-3). Let o be (l + (4 - -3))/2. Solve 0 = -0*c + o*c + 10 for c.
-5
Let j = 1 + 5. Suppose -j*c = -8*c. Let w be ((-10)/4)/((-1)/2). Solve c = x - w*x for x.
0
Suppose -5*c - 4*t = -c - 24, -4*c + 5*t + 51 = 0. Let u = c - 9. Solve -2*r + r + 3 = u for r.
3
Let p = -15 - -18. Suppose 0 = -h - 2*h + p. Solve 4*x + h = -15 for x.
-4
Suppose 4*m = -m + 25. Suppose -m - 3 = -r. Solve 0 = u + u + r for u.
-4
Suppose 2*c + 5*c = 35. Solve 3*l + c = -2*l for l.
-1
Let l be (12 - 12) + 0 + 1 + 1. Solve y = 2*y - l for y.
2
Suppose -10*c + 7*c + 6 = 0. Solve -c*w - 2*w + 8 = 0 for w.
2
Suppose 2*o + 4 = 0, 3*q - 24 = -0*q + 3*o. Solve 10 = -4*k - q for k.
-4
Let n be -2 + 0 - (-3 + -6). Let t(v) = -v + 10. Let x be t(8). Suppose -5*q - z = x*z - 16, -2*z - 11 = -q. Solve q*s - n*s = -2 for s.
1
Suppose 8 = 2*l + 2*l. Solve 0 = d - l + 4 for d.
-2
Let l = -2 + 7. Suppose -4*c + 12 = 0, 5*c - 23 = -5*m + m. Solve -u = m - l for u.
3
Suppose 0 = 4*l, -v - l = -3*l. Solve v = -0*c - c - 3 for c.
-3
Suppose 0 = -2*y - 5*o - 7, 4*y + 0*o - 28 = 4*o. Suppose -4*l - 45 = 3*j + 6, -5*l = 0. Let g = j + 34. Solve 0 = -y*b + 3 + g for b.
5
Let i be (-1)/12*-15 - 1/4. Solve 5 - i = 2*h for h.
2
Let a be (-12)/8*(9 - -1). Let j = a + 23. Let c = j + -5. Solve c*r + 0*r + 12 = 0 for r.
-4
Suppose -2*d = 3*d - 3*p + 2, -3*p + 14 = d. Suppose 2*h - 6*h - 3*t = 1, d*h - t - 7 = 0. Suppose h*k - k = 0. Solve k = -6*o + o - 10 for o.
-2
Let c(u) = u**2 - 5*u - 5. Let n be c(6). Let g be (3 + n)*2/2. Solve 9 = -g*t - 3 for t.
-3
Let z be -1 + 2/(-2) + 2. Let f be ((-3)/(-4))/((-12)/(-80)). Solve h + f + z = 0 for h.
-5
Let u = -5 + 17. Suppose 0 = -5*z + u + 8. Suppose -v + 3*v - b - 9 = 0, 5*b = -4*v + 25. Solve -q = -v*q - z for q.
-1
Let m = 17 + -10. Let c(r) = m*r + 0*r**2 - r - 4*r**2 + 3*r**2 - 6. Let z be c(4). Solve -z*k - 9 = -3 for k.
-3
Suppose 0 = 3*z + 5*j - 31, -3*j + 0*j + 17 = z. Suppose 3*o - 17 = -2, i - 49 = o. Suppose -4*x = -2*a - 0*a - i, 5*x - 60 = 5*a. Solve y - x = -z*y for y.
5
Suppose -c - 2*v + 6 = c, -17 = -4*c + v. Suppose 5*q + 5 - 25 = 0. Solve q + 8 = c*d for d.
3
Let u = -5 - -6. Let l be (-10)/(-4)*(0 - -2). Solve -u - 4 = l*n for n.
-1
Suppose 4*d = 4*y - 28, 23 = 2*y - 4*d - 1. Solve y*t = -3*t for t.
0
Let q = -13 - -21. Let x = 12 - q. Let u be 4/5*10/x. Solve -2 = -u*g + 2 for g.
2
Suppose 4*c - 3*x - 50 = -x, -5*c - 3*x + 46 = 0. Let q be (-40)/(-56) - (-4)/14. Let d(v) = -v**2 - 4*v + 5. Let l be d(-4). Solve l*m - q = -c for m.
-2
Let m = 5 + -3. Suppose -4*h = h - 2*q - 2, -h = m*q + 2. Solve -2 = v - h for v.
-2
Suppose -15*g = -5*g - 50. Solve g*r + 0 + 20 = 0 for r.
-4
Let b = 71 - 61. Solve 5*u + 10 = -b for u.
-4
Let x(s) = 3*s + 3. Let r be x(-2). Let u be 1/(-3) - (-8)/r. Let y be u*(1 + (-15)/9). Solve 5*g = y*g + 15 for g.
5
Suppose 8 = 5*m + 28. Let b be 64/(-10) + 6/15. Let w = m - b. Solve w*o = -2*o - 4 for o.
-1
Let v(d) = -d**2 - 12*d. Let m be v(-12). Solve m = -3*l + l + 10 for l.
5
Let y = 15 + -13. Solve -5*r + 4*r + y = 0 for r.
2
Let r(i) = -i**2 + 14*i + 20. Let f be r(15). Solve -y = -2*y - f for y.
-5
Let f be 3*((-56)/12)/(-2). Suppose 2*l = 15 + f. Solve 4*i - l = -31 for i.
-5
Suppose -r + l = 1, 20 = 3*r + 3*l - 1. Solve r*q = q - 8 for q.
-4
Let d(q) = q**2 - 5*q - 9. Let l be d(7). Suppose -u = -l*u + 8. Solve -u*t - 2*t = 0 for t.
0
Let y = -2 + 7. Solve -2*w - y = -15 for w.
5
Let p(a) = 9*a + 4 - 2*a**2 + 2*a + a**2 - 4*a. Let l be ((-7)/(-3))/(1/3). Let r be p(l). Solve -i + r = i for i.
2
Suppose u + 5*d - 5 = 0, u + 3*u - 3 = -3*d. Suppose -5*p + 49 = 3*b, 5*b + 22 = -2*p + 72. Solve u*r + 2*r = -b for r.
-4
Let w be 0/((-9)/(45/(-10))). Solve w = -b + 2 - 0 for b.
2
Let d be 3 - 2/2 - -2. Solve -4*i - d = -0 for i.
-1
Let h be (-70)/28*8/(-5). Solve -4 = h*r + 12 for r.
-4
Suppose -2*n + 0*q + 3*q - 23 = 0, -5*n + 3*q - 35 = 0. Let c = n - -6. Let j be 5/c - 5/(-10). Solve 0 = -3*t - 12 - j for t.
-5
Let n = 14 - 13. Solve v - 4 = n for v.
5
Let s(c) = c. Let i be s(1). Suppose 2*x + 2*b - 10 = 0, 17 = 3*x - 0*x + 4*b. Solve x*z - i = 4*z for z.
-1
Let q = 3 + -2. Solve 11 = -5*x + q for x.
-2
Let j(l) = l**3 - 5*l**2 + 5*l. Let y be j(4). Solve -y*h = h + 20 for h.
-4
Let h(s) = -s**3 + 3*s**2 + 4*s + 2. Let q be h(4). Suppose k - 4*c + 11 = 0, 7*c = -k + q*c + 25. Solve -6*w = -k*w for w.
0
Suppose 4*m - 48 = 3*k, k = 2*k + 4. Solve -3*n - m = -6*n for n.
3
Suppose 4*y = 3*p + 3*y - 6, -2*y = 0. Suppose -p*t = t. Solve -2*b - b + 3 = t for b.
1
Let a be ((-4 - 3)/7)/(2/(-2)). Solve 3 + a = -l for l.
-4
Let d(b) = b**3 + 4*b**2 + 2*b + 5. Let j be d(-3). Suppose -15 = -j*n + 3*n. Solve -n*u = 2*u + 10 for u.
-2
Let g be (-1 - 0)*(0 + -3). Let d be 2 - (0 - 11) - g. Solve 5*r + 0 = -d for r.
-2
Let y be 0 + -17 + 8 + -6. Let n be 4/(-10) + (-51)/y. Solve 0 = -n*i - 0*i + 15 for i.
5
Let d(l) = -4*l + 3 - l - 9*l**2 + l**2. Let h(i) = 4*i**2 + 2*i - 1. Let g(b) = 2*d(b) + 5*h(b). Let y be g(1). Solve y*c + 16 = 6 for c.
-2
Let u = -10 - -13. Suppose 3 = -u*r + 18. Solve 0*k + r*k + 15 = 0 for k.
-3
Suppose 0 = w - 2*i - 10, 3*w = -8*i + 4*i. Solve w*b - 1 = 3 for b.
1
Let w(y) = y**2 + y - 6. Let z(h) = 1. Let r(l) = -w(l) - 4*z(l). Let g be r(0). Solve -g*t + t = 0 for t.
0
Suppose -2*k - 3 = -5*k. Suppose 0 = 4*s - 21 + k. Suppose -s*u - 4 = -2*c, c = 5*u - 4*u + 2. Solve 5*d + 6 - 21 = u for d.
3
Let w(r) = r**2 - 2*r + 3. Let t be w(3). Suppose 0 = 2*m + p - 8, 2*m - 4 = m + 4*p. Solve -t*u = -m*u for u.
0
Let c(v) = -2*v - 2. Let s = -7 