v for v.
1
Let g = -25 + 40. Solve -g = -3*y - 2*y for y.
3
Let p = -22 - -45. Suppose 3*s - c - 21 = 2*c, -s = 5*c + p. Suppose -f + s*f - 2 = 0. Solve -2*a = f*a for a.
0
Let t(z) = -z + 13. Let w be t(13). Suppose 4*q - 9*q = w. Solve 2*i + 2*i - 20 = q for i.
5
Let s = -25 - -34. Suppose 0 = 3*o - s - 9. Solve -2*l = -4*l - o for l.
-3
Suppose 0 = -11*c + 12*c - 3. Solve -15 = -2*s - c*s for s.
3
Let c be (-1)/(-10)*-2 - (-176)/80. Solve -h + 1 = -c for h.
3
Let b be 7/((-14)/(-30))*1. Solve -3*n = -0*n + b for n.
-5
Suppose 3*j - 8*j - 50 = -2*b, 2*b + 3*j = 18. Let q = -13 + b. Solve q*w = -w for w.
0
Let r be ((-39)/9)/(3/(-9)). Solve r = 5*p - 2 for p.
3
Let p be (-12 - -1)*1*1. Let r = p + 16. Suppose -j = 5*c - 27, 5*c - 16 - r = 2*j. Solve -j*f = f - 12 for f.
4
Let u be ((-15)/(-10) + -1)*4. Solve 0 = -u*c - 4 for c.
-2
Let n = 0 - 0. Suppose 1 + 21 = 2*m. Let r be 20/m + (-2)/(-11). Solve 0 = -n*y + y + r for y.
-2
Suppose -23 = 2*z - 6*z - 3*k, 0 = 2*k - 2. Solve 4*b + b + z = 0 for b.
-1
Suppose 3*y + 9 = 4*y. Solve -2*t + y = t for t.
3
Let o = 9 + -6. Suppose -15 = 4*p - p - 5*q, o = -p + q. Solve -2*l + 7*l = p for l.
0
Suppose -3*x + 2*x = -5. Solve -4*d + 3*d - x = 0 for d.
-5
Let d be 0*4/(-36)*-3. Suppose -2*f + 12 = 2*u - 0, d = 3*u - 2*f - 28. Solve 0 = -3*t + 5 - u for t.
-1
Let h = 4 + -4. Suppose h = 3*q + q. Suppose q = -g - 0*g. Solve -z - 1 - 3 = g for z.
-4
Let c = -9 + 17. Suppose c*g = 9*g - 27. Solve -5*n + 12 = g for n.
-3
Let a(x) = -x**2 + 2*x + 3. Let l be a(3). Solve 0*p - 5*p + 5 = l for p.
1
Suppose -4*m + m = -2*k - 66, 4*m = 4*k + 124. Let j be ((-4)/12)/(3/k). Suppose 0 = -5*d + d - f + 11, j*d = 3*f + 12. Solve 0 = 2*y - 7 - d for y.
5
Suppose -4*l - 3*o + 9 = 0, 5*l = 4*o - 11 - 1. Solve -a + 6*a = l for a.
0
Suppose 23 = 2*x - 5*x - 5*l, 0 = 4*x - 4*l + 20. Let r be x/4 - 74/(-4). Suppose -3*w + 6 = -9, 5*w - r = 2*z. Solve -z*c + c = -15 for c.
5
Let o(a) = -4*a + 21. Let x be o(4). Let d = 0 + 0. Suppose -4*u + 2*u = -3*y - 37, 0 = -4*u - 2*y + 34. Solve -x*g + u - 1 = d for g.
2
Let x(z) = 11*z**2 + 1. Let k be x(-1). Suppose 5*o - 13 = k. Suppose 4*j - j - 116 = 2*t, -2*j + o*t + 92 = 0. Solve 11 = 5*m + j for m.
-5
Suppose v + 6 = 3*v. Solve 7*y = v*y - 8 for y.
-2
Suppose 2*n + 2*n + 40 = 0. Let k = -7 - n. Suppose 5*i - k*i = 0. Solve 0 = -2*z - i - 4 for z.
-2
Let w(x) = -5*x**3 + x**2 - 11*x - 10. Let y(u) = u**3 + 2*u + 2. Let a(q) = 2*w(q) + 11*y(q). Let m be a(-2). Solve 20 = m*d + 2*d for d.
5
Let o(f) = 5*f + 74. Let q be o(-14). Suppose a - 10 = -a. Solve 7 = q*p - a for p.
3
Suppose -5*y - 8 = -y. Let w be 1 - (y - (1 - 4)). Suppose -4 = 2*k - w*k - 4*u, -k + 4 = u. Solve -k*b + b = -2 for b.
2
Suppose 3*j - 6 = -0. Suppose 2*m = 2 + j. Suppose f = -0*f + m. Solve -3*y - 4 - f = 0 for y.
-2
Let k be (-266)/(-63) - 4/18. Let s be -4*(2 + (-13)/k). Suppose -18 = -s*f - 3. Solve -f*o = o - 20 for o.
5
Suppose 5*i + 1 = -u, -2*u - 4*i + 1 = -3. Suppose h + s + 43 = u*h, -5*s - 61 = -4*h. Solve 0 = -3*j - 2 + h for j.
4
Let r be 12*((-6)/(-9))/2. Suppose r*w + 1 = k - 3, 0 = -4*k + 3*w + 3. Solve k = -x + 4*x for x.
0
Let q = 43 + -39. Solve -2*n + q = -6 for n.
5
Let l(w) = w + 8. Let b be l(-5). Suppose n + 2 - 1 = 0, 3 = 5*g - b*n. Solve a - 1 = -g for a.
1
Suppose 2*m = d - 28 - 9, -2*d - 3*m + 53 = 0. Suppose -2 = 3*h + d. Let y = h - -15. Solve 3 = y*o - 1 for o.
1
Let c(h) = -h + 1. Let m be c(-2). Let j = m - -1. Suppose f = -j*f + 15. Solve 0 = -b - 0*b - f for b.
-3
Let u = -16 + 21. Let d be 5/2 - (-1)/(-2). Solve l = d*l - u for l.
5
Let g = -18 - -22. Suppose -3 = -5*c + 2. Suppose -6 = 3*b - 21. Solve g + c = -b*v for v.
-1
Suppose 2*a = 2*b - 4 - 4, 4*a = -b + 4. Suppose -4*v = -a*v. Solve v = 3*g - 2 + 8 for g.
-2
Let y(l) = 3*l - 11. Let v be y(5). Solve -2*i = -v*i - 8 for i.
-4
Suppose -y = 5*r - 2*r + 2, 2*y + 5*r = 0. Let o(k) = k - 6. Let h be o(y). Solve 0*c = -h*c + 16 for c.
4
Let z = 15 - 13. Solve 0 = -h - h + z for h.
1
Suppose 0*v - 21 = -2*k + v, 2*k - 5*v - 41 = 0. Solve y = -3*y + k for y.
2
Let s = -14 + 11. Let f be (-8)/s - (-18)/(-27). Solve -f*c - 8 = -0*c for c.
-4
Suppose 7 = 3*d - 11. Suppose -3*y + 6 = 0, -a + 3*y = -y + d. Solve -2 = -0*s - a*s for s.
1
Suppose y - 3*y = -4. Suppose 8 = 3*v + 2. Solve 2 = v*u - y for u.
2
Let b be (-1)/(-2) - 225/(-6). Suppose 0 = n + 2*n + 2*f + 28, 0 = -4*n - 3*f - b. Let q = n - -13. Solve 0*y = -q*y + 10 for y.
2
Suppose -2*r + 5 = -1. Solve 1 = r*x + 4 for x.
-1
Let i(p) = p**2 - p + 1. Let l(c) = -3*c**2 - 5*c - 8. Let t(g) = -4*i(g) - l(g). Let z be (-106)/(-12) + 2/12. Let d be t(z). Solve -d*j + 20 = j for j.
4
Let b = 0 + 0. Suppose 2*n - 4*n = -t, 5*n = -5*t. Solve j + t*j - 5 = b for j.
5
Let k = 111 + -65. Let n be 2/8 + k/8. Solve -v + n - 2 = 0 for v.
4
Suppose 3*n - 5*q - 15 = 0, 0 = -n - q + 4*q + 5. Solve -n*d - 10 = -10*d for d.
2
Let m(l) be the first derivative of -l**3/6 - l + 1. Let g(x) be the first derivative of m(x). Let s be g(0). Solve -5*a - 8 - 2 = s for a.
-2
Let q be 37 - (-3 + 3 + 1). Suppose 2*u + q = 5*u. Solve 7*z = 3*z - u for z.
-3
Suppose r = -r + 4. Suppose 2*k - 7*v - 40 = -2*v, 3*v + 51 = 3*k. Solve -w - k = r*w for w.
-5
Let r = 54 - 29. Let o be (0 - -3) + (-2)/2. Suppose 18 = u + 3*p - 2, 5*u + o*p = 35. Solve -u*t + 0*t = -r for t.
5
Let r(k) = -k + 3. Let g be r(5). Let o = 1 - g. Suppose -o*m + 10 = 2*m. Solve 0 = -p - m for p.
-2
Suppose -h + 75 = 71. Solve h*a = -a for a.
0
Let p be ((-9)/15)/((-2)/30). Solve -2*w = -5*w - p for w.
-3
Let n = 56 + -56. Solve 7*x - 4*x = n for x.
0
Let f(i) = -i**3 + 8*i**2 + 2*i - 10. Let n be f(8). Let y = n + -2. Solve 2*k - 6 = y for k.
5
Suppose l = 8*l - 14. Let b(j) = -j**2 + 4. Let t be b(0). Solve l*m - t = 2 for m.
3
Let u(d) = -5*d**2 - 32*d + 24. Let q(o) = -o**2 - 8*o + 6. Let p(g) = -9*q(g) + 2*u(g). Let v be p(5). Solve -v - 11 = -4*k for k.
5
Let d(q) = q**3 - 4*q**2 - 6*q + 7. Let p be d(5). Let t be 16/6*15/p. Solve -3*h = 2*h + t for h.
-4
Let u(d) = d**3 - 7*d**2 - 5*d + 1. Let l be u(8). Solve 3*p = -2*p - l for p.
-5
Let o(m) = -m**3 + m**2 + m - 4. Let y be o(0). Let t = 1 + y. Let u(a) = -a**2 - 5*a - 2. Let p be u(t). Solve 3*k + k = -p for k.
-1
Suppose 0 = -4*i + 13 - 85. Let m be 12/i - (-32)/3. Let s = m - 6. Solve s*x + 20 = 4 for x.
-4
Suppose -7 + 1 = -6*y. Solve -y = -5*u - 16 for u.
-3
Let u(g) = g**2 + 4*g - 2. Let k(b) = b + 4. Let x be k(-7). Let f be ((-30)/9 - x)*15. Let c be u(f). Solve c*j = j for j.
0
Let g = 16 + -15. Let w be g/4 + 135/36. Solve -4*p = 4 + w for p.
-2
Let b = -35 - -51. Solve 0 = -4*u + 4 + b for u.
5
Suppose -35 = -2*c - 3*c - s, 2*s - 6 = -2*c. Let v(z) = -z - 2. Let k be v(-7). Suppose k = -5*b + 20. Solve c*d - b*d = -25 for d.
-5
Let u be ((-2)/2)/(2 - 1). Let n be ((-2)/((-6)/(-9)))/u. Solve 0 = n*a + 10 - 1 for a.
-3
Let n = 1 - 1. Let q(d) be the first derivative of -d**4/4 + 4*d**3/3 + 3*d**2 - 1. Let l be q(5). Solve n = -r - l - 0 for r.
-5
Let c(a) = 4*a**2 + 1. Let y be c(-1). Suppose -y*m + 0*m = -40. Solve 4*u - m = 2*u for u.
4
Let i be (0/3)/(3*-1). Let j(z) = z**3 - z. Let n be j(1). Suppose -5*a + 4*c = c - 13, n = -2*a - 3*c + 1. Solve i*h = -a*h - 2 for h.
-1
Let u be -3 + 4 - 4/(-2). Suppose -4*n = -u*n. Solve n = 2*t - 2 + 6 for t.
-2
Suppose 6 + 9 = 3*m. Let n be (0/(-2))/(m - 3). Solve n*z = -4*z - 16 for z.
-4
Suppose -1 + 4 = -3*m. Let w = 4 + m. Solve 2*h + 2 = w*h for h.
2
Suppose 6 + 14 = 4*s. Solve -1 = s*p + 14 for p.
-3
Let q(o) = -o**3 - 5*o**2 + 24*o + 3. Let r be q(-8). Solve r = 3*f - 0 for f.
1
Let c = 1 + 2. Suppose 4*y = c*y. Let q(h) = h**2 + h + 3. Let m be q(0). Solve m*n + 1 + 8 = y for n.
-3
Let v = -73 + 76. Let o(u) = 7*u**2 + u. Let p be o(1). Let x = 19 + -9. Solve -v*h + x = -p*h for h.
-2
Suppose 5*k + 5*o = -0*o + 35, -5*o + 11 = -3*k. Let i(a) = a**3 - 4*a**2 - a + 3. Let p be i(4). Let n be p*k/2*-2. Solve 12 = -n*h - h for h.
-3
Let b(d) = -d - 2. Let c be b(-5). Suppose 5*l - c*l = 5*n - 29, -3*l = -2*n + 16. Solve v = -0*v - n for v.
-5
Suppose -p + 6*p = 0. Suppose s - 15 = -p. Solve 0 = 3*q - 0 - s for q.
5
Let a(q) = -q**2 - 16*q + 21. Let r be a(-17). Let p be r - (2 - 2/(-2)). Solve d + p = 6 for d.
5
Let