 + c for v.
1
Let w be (-6)/4 + 7/2. Solve -w*s - 10 = -0 for s.
-5
Suppose 0 = 5*y - 8*y + 12. Solve -2*m - 4 = -y*m for m.
2
Suppose -t + 11 = -8. Suppose 2*i + 16 + 11 = 5*u, -2*u - i + 9 = 0. Solve -u*b - 1 = t for b.
-4
Suppose -4*t + 7*t = 0. Suppose 0 = w - 1 - 0. Let k be (6/(-3) - w) + 6. Solve t = s - k*s for s.
0
Let c(x) = -x**3 + 6*x**2 - 4*x - 6. Let n(m) = 4*m - 3. Let h be n(2). Let b be c(h). Let p be b/((-1)/1) + 1. Solve 3 = -v - p*v for v.
-1
Let n be 1/((-1)/(-10)) - -2. Suppose 1 = -w + 3*f + n, 4*w - 4*f - 20 = 0. Solve 4*v + w = 6 for v.
1
Let u(t) = -t**3 - 3*t**2 + 2*t - 8. Let c be u(-4). Solve -3*n = -c - 15 for n.
5
Let n be 6*(2 + (-1 - 0)). Let c = n - 5. Suppose -2*a - c + 5 = 0. Solve 1 = -a*s - 7 for s.
-4
Let c(i) = -i**3 + 3*i**2 + 3. Let r be c(3). Suppose -4*k - 21 = -3*k + 5*v, 0 = 5*k - 2*v - r. Let s be (1/2)/(k/(-4)). Solve s*l + 4 + 4 = 0 for l.
-4
Suppose -2*j - 2*j + d = 12, -5*j - d - 15 = 0. Let i be (j/5)/(7/(-140)). Solve 0 = 4*b + i - 0 for b.
-3
Let j(f) = 16*f**2 + 2*f - 4. Let u be j(3). Let n = u - 59. Suppose 2*i - n = -i. Solve i = 5*b + 4 for b.
5
Let z = -15 - -21. Let i(f) = -f + 11. Let b be i(z). Let w(x) = -2*x + 1. Let m be w(0). Solve b*s + 19 = -m for s.
-4
Let d be 4/14 + 2/(-7). Suppose d = -4*m + 4*q, -4*m + 2*m + 18 = 4*q. Solve -2*j + 7 = -m for j.
5
Suppose 4*s + 4 = 5*b, 0 = 3*s - b - 2*b + 3. Let l be (-2)/(s - -3)*10. Let q = -6 - l. Solve 0 = q*g + 4 for g.
-1
Let b be (4 + (-88)/12)/((-4)/6). Solve -b*c = -6 - 9 for c.
3
Let v = -13 - -34. Let g be 56/v*1*3. Suppose -3*y - 19 = -2*z, -7*z + 10 = -2*z + 5*y. Solve 0 = -3*j + z*j + g for j.
-4
Suppose 0 = 7*y - 10 - 11. Solve 2 = y*r - 4 for r.
2
Let z = -34 - -37. Solve z*q = -29 + 26 for q.
-1
Suppose 0 = 3*u + 2*v - 19, -4 - 21 = -5*v. Suppose a - 8 = -u*a. Solve -5*x = -a*x - 15 for x.
5
Let w = -2 + 7. Let a = w + -5. Solve -2 = -2*x - a for x.
1
Let x be (-10)/(-8) + (-133)/(-28). Solve -12 = -9*h + x*h for h.
4
Suppose -14 = -3*i - 4*i. Solve i*b + 2 + 2 = 0 for b.
-2
Suppose 145 = -2*k - 3*k. Let q = k + 44. Solve q = -3*z + 3 for z.
-4
Let k be -1 + (3/1 - 15). Let s = -3 - k. Solve 4*c = -c - s for c.
-2
Suppose 7*u - 7 = 14. Solve -2*m = -1 + u for m.
-1
Suppose 14 = 2*b - 6. Suppose 4*d - 2*m = -0*d - b, d = 4*m - 20. Solve d = 2*v + 2*v - 20 for v.
5
Suppose -4*f + 0*f = -20. Let b(i) = -i + 3. Let p be b(0). Suppose -4 - 5 = -p*x. Solve 2 = -x*w + f for w.
1
Let n = -63 - -71. Solve -11*r + n = -7*r for r.
2
Let k(q) = -12*q + 75. Let o be k(6). Suppose 0 = 4*z + l - 9, 0*z - 3*z + 28 = 5*l. Solve o*p - 7 + z = 0 for p.
2
Let p(m) = -5*m + 31. Let f be p(6). Solve -3 + f = -2*t for t.
1
Let t = -2 - -4. Suppose 3*n + t*n - 15 = 0. Suppose n*h = h. Solve 16 = 4*g - h*g for g.
4
Let u = -1 + 5. Suppose 0 = 3*g - 2*g - c - 6, 4*g - 9 = c. Suppose 2*k = -2*k + 4*t + 52, -t = -g. Solve 2*p = -u + k for p.
5
Suppose -3*m - m = 0. Suppose 5*b + 0*b - 25 = m. Suppose b*h + 0*h - 19 = -k, -4*h = -3*k. Solve g + k*g = 0 for g.
0
Let b be 2/2*(-9)/(-3). Solve w = b*w + 4 for w.
-2
Suppose 9 = 5*b - 21. Solve -3*k - b = -0*k for k.
-2
Let p be (3*-8)/2 + 0. Let z be p*((-3)/6 - -2). Let n be (4/(-3))/(4/z). Solve -o = o + n for o.
-3
Let s = -5 - -5. Let m be 2/(-4)*2*s. Solve j - 5*j = m for j.
0
Let p be -2*(-1 + 3 + -3). Let a be (-3 - p)*(-4)/10. Solve a + 3 = u for u.
5
Let h(m) = -m + 13. Let n be h(13). Suppose n + 9 = 3*a. Suppose -2*c = -d - 1 + 5, 7 = a*d - c. Solve 0 = -2*o - 6 - d for o.
-4
Suppose 2*s + 0*s = a + 5, -1 = -a. Solve -s*k = 2*k for k.
0
Let l(w) = -w**3 + 4*w**2 + w - 5. Let n be l(4). Let s be 0 - (6*n - -3). Solve s*q = 2*q - 1 for q.
-1
Let k = 43 - 40. Solve -k*g + g = 6 for g.
-3
Let p(a) = a**2 + 18*a. Let c be p(-18). Solve 0 = 4*z + 4 - c for z.
-1
Let o = 58 - 57. Solve -o = -j - 3 for j.
-2
Suppose 0 = 15*v - 19*v. Solve -4*n - 6 - 10 = v for n.
-4
Let g = -40 - -70. Suppose d = 4*o + 18, 6*d - d = 5*o + g. Let z = 2 + d. Solve 4 = z*s - 2*s for s.
2
Let t(v) = -v - 4. Let c be t(-6). Let n(y) = -y**2 + 15*y + 2. Let s be n(15). Solve s*g - c = 8 for g.
5
Suppose -4*n = -5*a + 1, -n + 8 = -3*a - a. Let i be (1/(-1))/(-4 - a). Solve -2*m + 7 = i for m.
3
Let b be (-6)/(-10) + (-9)/15. Suppose 0 = h - b*h. Solve 0 = -h*l - 2*l for l.
0
Let a(m) = 3*m**2 - 21*m + 20. Let c be a(6). Suppose -2*y = 1 - 5. Solve g + c = -y for g.
-4
Let l = -7 + 10. Suppose 5*h = -3*i + 41, 2*i + 1 = h - 2. Let w = 2 + 0. Solve w*b - l = h for b.
5
Suppose 7*s - 46 = 24. Solve s = 4*q - 2*q for q.
5
Let j = 15 - 16. Let f = 8 + j. Solve -3*b = -f*b + 16 for b.
4
Let h be (-2)/(-7) + 174/(-21). Let a = -14 - -9. Let p = a - h. Solve -10 = -p*z - 2*z for z.
2
Suppose -5 = -k, -o + 7*k - 2*k = -70. Let h = o - 35. Let t = -40 + h. Solve 3*y - t = -y for y.
5
Suppose 0 = 2*t - 7*t + 10. Solve t*u + 4 = 12 for u.
4
Suppose -5*v + 211 - 51 = 0. Suppose 0 = 3*r - r - v. Let z be 1*(-4)/(-2)*2. Solve z + r = -5*t for t.
-4
Let u(f) = 7*f - 37. Let i(l) = 3*l - 19. Let b(x) = -5*i(x) + 2*u(x). Let r be b(9). Solve 7*g - 4*g + r = 0 for g.
-4
Suppose -a = v + 4*v + 13, -v + 3 = 3*a. Solve -6*l = -a*l + 20 for l.
-5
Suppose -5*t - 2*m + 2 = 12, 2*t - 25 = 5*m. Let j be 1 + -2 + -1 + 4. Let b be ((-9)/2)/(j/(-4)). Solve w + 2*w + b = t for w.
-3
Let y = -59 + 61. Solve q + 0 = -y for q.
-2
Suppose 0 = -4*y + y. Suppose 5*s + 30 = -4*c - c, y = s - c - 4. Let v be (4 + -3)*(-1 - s). Solve -2*p - 1 + 5 = v for p.
2
Suppose -v = 4*t + 94, -5*t - 126 = -2*v - v. Let d be 3/5 - t/10. Let h(r) = r**3 + r + 2. Let o be h(0). Solve d*x = o*x + 1 for x.
1
Let t(k) = -k**2 + 9*k + 5. Let y(s) = -9*s. Let r(u) = -u**2 - 6*u - 1. Let q be r(-6). Let j be y(q). Let c be t(j). Solve 4*b + 11 = -c for b.
-4
Suppose 21*q = 118 + 29. Let c be 6/15 + (-46)/(-10). Solve q*x + 10 = c*x for x.
-5
Suppose 2*s + 2*k = -3*s + 19, 0 = -s - 2*k - 1. Let u(a) = a**2 - 4*a + 1. Let d be u(s). Solve -5*t + 1 = d for t.
-1
Suppose -4*d + 2*d + 8 = 0. Suppose -6*s = -3*s. Solve s = -w + d - 8 for w.
-4
Suppose 0 = -3*g - 2*d - 2*d - 4, g = -2*d - 4. Solve k + g = 6 for k.
2
Let t(f) = -5*f + 3*f - 3 + 3*f. Let z be t(5). Solve -4*b - z = 18 for b.
-5
Let k(s) = -s**2 - 6*s + 7. Let r be k(-7). Solve r = 2*b + 5 - 3 for b.
-1
Let c = 0 - 0. Let u(y) = y**2 + 4*y - 4. Let b be u(-6). Solve c*w - b = -4*w for w.
2
Suppose 2*x = -x. Let f be (-10)/15 - 28/(-6). Solve x = v + v - f for v.
2
Let q be (-1)/((-2 - -3) + 0) - -3. Solve -q = -w - 4 for w.
-2
Let i be (1 + 0/1)*-3. Let d be (i + (-16)/(-6))*-6. Solve -q = d*q + 15 for q.
-5
Suppose 0 = 3*j + 6 - 0. Let g be (1 + -1 - 1) + j. Let u = g + 19. Solve 2*k + 2*k = u for k.
4
Let a(s) = s**3 - 5*s**2 + 2*s - 1. Let c be a(5). Suppose 29 = 5*v - 6. Let k = c - v. Solve -2*f = -f + k for f.
-2
Let u = -9 - 16. Let b be (u/(-20))/(2/8). Let r be (-1)/3 - (-40)/3. Solve 0 = b*h - r - 7 for h.
4
Suppose f = -3*f, 4*x = 4*f + 16. Solve -3*n + x + 8 = 0 for n.
4
Let i(m) = m**3 - 6*m**2 + 12*m - 9. Let w be i(3). Solve w = g + 10 - 5 for g.
-5
Suppose 5*w = -a + 12, 4*a + 4*w = 19 - 3. Let o(m) = 2*m**2 + 4*m + 2. Let v be o(-2). Let k = v - a. Solve 5*r - 4 - 1 = k for r.
1
Let g = 4 + 2. Suppose 2*u - g = r + 7*u, -4*u - 12 = -r. Let b = 4 - r. Solve 20 = -4*y - b*y for y.
-5
Let v(m) = -10*m + 51. Let y be v(5). Solve -o - y = 2 for o.
-3
Suppose 0*b + 9 = -3*b, -3*u + 3*b = -15. Let p be u/4 + (-18)/(-4). Solve p = -4*a + 1 for a.
-1
Suppose -16 = -2*i - 2*i. Suppose -4*r = z - 0*z + 10, 0 = -i*r - 20. Solve -m - m = -z for m.
5
Suppose -r - 20 = -6*r. Solve r*x = 9 - 29 for x.
-5
Suppose -y - 16 = -3*r, 0 = 5*r + 2*y + 14 - 59. Solve -19 + r = -4*x for x.
3
Let y = 5 - 5. Suppose 4*k = -0*a - 5*a, y = -a - k - 1. Solve -s = a*s for s.
0
Let l be (-15)/6*(0 - 4). Let i be (-2)/(-5) + 16/l. Solve 0 = -i*p - 2*p - 16 for p.
-4
Let t(i) = 3*i - 2. Let p be t(2). Suppose -129 = -5*u - p. Solve 3*g = -2*g + u for g.
5
Suppose 9*t = 11*t - 18. Solve 0*y - t = -3*y for y.
3
Let n be ((-3)/1)/((-5)/5). Let r(w) = 2*w**2 + 2*w + 2. Let x be r(-2). Suppose -54 = -3*o + x. Solve -n*f - o = f for f.
-5
Let w be 1 - 1 - (-3 - -2). Suppose 0 = -3*h + 4*v - 5, 2*v + 3 = w. Let i be (-2 + 1)/(h/6). Solve 14 = i*