
-1
Suppose -k = -0*k + 3, k = 2*b - 7. Suppose -5*p + 5*v + 35 = 0, 1 = p - v - b*v. Suppose -8*z + 3*z + p = 0. Solve 0 = z*x + 4 + 2 for x.
-3
Let v(x) = -x**3 + 4*x**2 + 4. Let g be v(4). Solve 3*z - 2 = g*z for z.
-2
Let r be (2 + 3/(-2))*2. Let l = 4 - r. Solve -l*v = 10 + 5 for v.
-5
Let r = -5 + 6. Suppose -r = j - 5. Solve 3 = -7*s + j*s for s.
-1
Suppose 4*v = -2 + 142. Let s(g) = 2*g - 3. Let f be s(8). Let k = v - f. Solve -k = 4*p - 6 for p.
-4
Let i(q) = 12*q + 9. Let r(a) = 2*a**3 + 3*a**2 + 2*a + 2. Let c be r(-2). Let f be i(c). Let u be (f/12)/((-3)/8). Solve -u = -5*g + 1 for g.
3
Let g = 93 - 89. Solve 0 = -2*f + g for f.
2
Let z be -2*15/(-6)*7. Suppose -4*o = 2*h - 0*h + 2, z = 5*o - 5*h. Solve o*x + 0*x - 2 = 0 for x.
1
Let u be (-8)/6*6/4. Let b = 6 + u. Solve -1 = -5*p + b for p.
1
Let w be ((-4)/2)/(2/8). Let s be w/(-5) - 2/(-5). Suppose 0 = s*t - 4*d + 4, -4*t - d + 0 = -1. Solve t = -2*j - 5 - 1 for j.
-3
Let q be ((-6)/(-15))/(1/5). Let b be (1 - 0)/(1/5). Suppose 0*p - 5*p - b = 5*c, -5*c + p = -7. Solve a = q*a + c for a.
-1
Suppose -9 = -3*x - 3*a - 2*a, 3*a + 15 = 5*x. Suppose 3*k - 5*u = 2*k, -3*k + u = 0. Suppose t + k*y = 5*y, -x*y + 28 = 5*t. Solve 2 = t*z - 6*z for z.
-2
Let q(b) = -b**2 + 5*b - 1. Let p be q(4). Suppose p*n - 10 - 26 = 0. Solve -3*j = -3 + n for j.
-3
Let w(z) = 3*z - 3. Let h be w(6). Suppose 2*c - h = 5*s, -6*c - 4*s = -2*c + 12. Let y be (3 - 2 - c) + 2. Solve 0 = -2*g - 1 + y for g.
1
Let t be (-2)/4 - (-5)/2. Let c = 7 - 21. Let o = c - -20. Solve o - t = -2*l for l.
-2
Let a be ((-4)/(-6))/(-2)*-3. Let h = a + 0. Let s(v) = v. Let r be s(h). Solve 2*d = r + 1 for d.
1
Let p(q) = -1 + 9*q - 10*q + 3. Let a be p(2). Solve a = -4*m - 10 - 2 for m.
-3
Let x = -2 - -6. Suppose -28 = -x*p + 5*k, 0 = -k - 4. Solve n + p*n = 12 for n.
4
Let k be (-10)/(-2) - (0 - -1). Suppose 2 = -k*h + 22. Suppose -h*r = -2*r. Solve q + r*q = 5 for q.
5
Let n(x) = x**3 + 5*x**2 + 6*x + 11. Let d be n(-4). Solve -3 - 9 = d*a for a.
-4
Let t(i) = -i**3 + 7*i**2 + i + 7. Let x be t(7). Suppose -m = 2, -x = -3*j - 2*j - 3*m. Suppose p - j*g = 1 + 3, 0 = 4*g. Solve 0*q - p = q for q.
-4
Suppose 0 = 3*c + 2*c. Let t be (-42)/(-9) - (-4)/(-6). Suppose b = -t*x + 75, 0 = -5*x - 3*b + 6*b + 115. Solve -n - 4*n + x = c for n.
4
Suppose -a = 3*a. Suppose -3*o - 4*t - 16 = a, -2*t - 20 = -3*o + 3*t. Solve o*n = -3*n for n.
0
Suppose -2*b + b = a - 1, -2*b + 5*a + 23 = 0. Suppose -2 - 14 = -b*j. Solve -3*z + z = -j for z.
2
Let k = -4 - -4. Suppose k = -3*w + 10 + 5. Let d be 18/w - 8/(-20). Solve -d*s - s = 0 for s.
0
Let n = 28 + -19. Suppose -5*i = -2*p + 5*p + n, -i + 5*p = -15. Let w = i + 1. Solve 2*d - 5 = -w for d.
2
Let h(f) = f**2 - 9*f - 10. Let l be h(10). Solve 6*i - 2*i = l for i.
0
Let z = -18 + 20. Solve 4*m - 10 = z*m for m.
5
Let u be (-6 - -9) + 3 + -4. Solve 0 = w - u - 0 for w.
2
Suppose 3 = 3*q + r - 43, -3*q - 3*r = -48. Let n(t) = -t - 5. Let s be n(-4). Let h = s + 1. Solve -3*b - 2*b + q = h for b.
3
Suppose -2*s - s = 3, 2*n = -2*s + 4. Suppose 0 = n*d - d - 2. Solve r = -0*r + d for r.
1
Let j(l) = l**2 - l - 9. Let f be j(4). Solve 0 = -f*o + 4*o for o.
0
Suppose -3*l + 15 = -210. Suppose 4*m + m = l. Solve 5*d = m + 5 for d.
4
Let m be (-14)/10 + (-9)/15. Let g(u) = -10*u. Let c be g(m). Solve 0 = -2*o - 3*o - c for o.
-4
Let y = -7 + 2. Let q(d) = -d**3 - 4*d**2 + 4*d - 1. Let p be q(y). Suppose -5*t + 6*t = p. Solve t*h = h for h.
0
Let b = -33 - -36. Solve -k - b = -2 for k.
-1
Let f(p) = 6*p. Let y be f(1). Solve 0 = w + y - 5 for w.
-1
Let j(p) = 5*p**2 + 3*p + 4. Let n be j(-2). Suppose -n = -3*x - 3. Solve x*h = 10 + 5 for h.
3
Let a = 11 + -3. Suppose a = -d + 2*d. Let z be (-2)/d - (-66)/8. Solve b + z = 5*b for b.
2
Let t be 8*6/72 + 13/3. Solve 4*v + t = -15 for v.
-5
Let q(x) = x**2 + 3*x - 7. Let w be q(-5). Suppose -b = -6*b + z + 5, -4*b - 5*z = 25. Solve b = w*c - 7*c - 8 for c.
-2
Let d = 8 + 16. Suppose 5*x + 4 - d = 0. Let u be (8/3)/((-1)/(-3)). Solve 12 + u = -x*q for q.
-5
Suppose -4*u + 4 = 0, -4*u + 2 = 4*p - 10. Suppose -p = -5*i + 23. Let m be 6/33 - (-172)/22. Solve i*y + 2 = -m for y.
-2
Let a(d) = -7*d**2 - 1 + 0*d**3 + 12*d + 2*d**3 - d**3 - 3*d**2. Let l be a(9). Solve 4*b - l + 6 = 0 for b.
5
Let s(h) be the first derivative of h**4/4 + 2*h**3 + h - 4. Let x be s(-6). Solve x = z - 2*z for z.
-1
Suppose -30*t = -36*t + 12. Solve 6*j - t*j - 20 = 0 for j.
5
Suppose t = 5*t. Solve t = -3*i - 5 + 14 for i.
3
Suppose o = 4*o - 36. Suppose 2*c = -4, 6*f - 1 = f - 2*c. Let n = f + 1. Solve n*y = -2 + o for y.
5
Suppose 5*c - 6*c + 3 = 0. Solve 0*x - c = x for x.
-3
Let s(y) = y**2 - 4*y - 3. Let x be s(5). Suppose 5*o = h - x*h + 60, 3*o + h - 36 = 0. Solve 0 + o = -4*b for b.
-3
Let i be ((-4)/(-3))/(1/(-24)). Let u be (-2)/7 + i/(-14). Solve -u*j + j = -2 for j.
2
Let b be 5/(2/(4 - 2)). Let h(j) be the second derivative of -j**3/6 - j**2/2 + 2*j. Let a be h(-5). Solve a*d + 25 - b = 0 for d.
-5
Let i = -3 + 4. Suppose -4*z + 24 = -4*k, -2*z - 3*k = -7*z + 26. Solve 0 = z*s + 13 - i for s.
-3
Suppose -22 = -2*n + 4*l, -3*n + 3*l = 8*l. Solve n*m + 0*m + 5 = 0 for m.
-1
Let f(a) = -3*a. Let u be 12/3*1/2. Suppose -5*r = 4*j, 0*r - u*r + 2*j = 18. Let k be f(r). Solve 0*l - 3*l = k for l.
-4
Suppose 2*j = -0*j + 8. Suppose j*l - 19 = 5. Suppose -5*f - 5*g = 0, -g + 2*g = 3*f. Solve f = 4*n - l*n + 4 for n.
2
Suppose 0 = -2*p + 2 + 4. Let v be 24/9*5*p. Suppose -v = 4*y - 8*y. Solve 0 = -2*w - y for w.
-5
Suppose -2*v + 3*m = 1, -4*m + 15 = 5*v + 52. Let n(a) = -a**2 - 4*a + 5. Let i be n(v). Let q = 0 + i. Solve q*k - 2*k + 6 = 0 for k.
3
Let o be ((-1)/(-3))/((-2)/66). Let i = 16 + o. Suppose 3 = i*c - 4*a, 3*c + 3*a = 4*c + 6. Solve -c*w - 2*w = -15 for w.
3
Let n(y) = 5*y**2 + 5*y. Let z(i) = 26*i**2 + 26*i + 1. Let v(l) = 11*n(l) - 2*z(l). Let p be v(1). Solve u - p = -0 for u.
4
Suppose -12 = -4*y + 20. Let q(v) = 4*v**2 + 3*v + 2. Let l be q(-1). Solve 0 = -l*n + n - y for n.
-4
Suppose 2*u + 5 = 17. Solve 0 = u*x - 3*x - 12 for x.
4
Let q be 24/36*((0 - -2) + 1). Solve -5*t - q = -4*t for t.
-2
Let u = 55 - 53. Solve -20 = -u*w - 2*w for w.
5
Let u = -2 + 5. Solve 15 = -3*w + u for w.
-4
Let h be -2*3/2*-1. Suppose -j = -h*j + 4. Solve j - 4 = 2*a for a.
-1
Suppose -2*c + 49 = 3*j, 4*j - 67 = -3*c - 0*c. Solve -4*a + 1 = j for a.
-3
Let j(y) = 2*y - 1 + 3*y**2 + 2*y - 2*y**2 - 2*y - 2*y**3. Let n(f) = -f**3 + f**2 - f - 2. Let d be n(0). Let x be j(d). Solve 0*c + x = 3*c for c.
5
Suppose -2*d + 8 = -2*l, 0*d + l + 8 = 5*d. Let c(g) = -g - 3. Let a be c(-6). Suppose a*q - 8 = d. Solve -q = -x + 1 for x.
4
Suppose 0 = -5*k - 2*s + 58, -13 = 5*k - 5*s - 43. Suppose k = 5*y - 0*y. Suppose -5*t + y = -18. Solve -h - h = t for h.
-2
Suppose 0 = -z - 3*z - 88. Let i = z - -38. Solve 0 = -3*h + i - 1 for h.
5
Let a(v) = v**3 - 5*v**2 + 6*v - 2. Let b be a(4). Solve -x + 4 = b for x.
-2
Suppose 26 = -5*b - 54. Let p be b/(-24) + (-26)/(-6). Solve 2*l = l + p for l.
5
Let t(d) = d**3 - 2*d**2 - 3*d + 3. Let l be t(3). Suppose l*o = 17 - 8. Solve -7 = 5*j + o for j.
-2
Let w be (-3)/(-2)*(3 - 1). Suppose 3*h = w*a + 6, 5*a + h - 35 = -3*h. Solve 0 = -a*i - 3 + 12 for i.
3
Suppose -8*c + 10*c = 8. Solve 0 = 3*o - c*o - 4 for o.
-4
Let d(a) = -2*a**3 - 5*a**2 - 3*a - 4. Let w be d(-3). Solve 4*m + w = -6 for m.
-5
Suppose -2*t = -3 - 1. Solve -h = t*h - 6 for h.
2
Let t be ((1 - 2) + 1)/2. Solve 0 = -h - t - 2 for h.
-2
Suppose f - 4 - 2 = -4*u, -3*u + 3 = 0. Suppose -f*b + 3 + 1 = 0. Solve b - 14 = 3*x for x.
-4
Let f(l) = -l**3 - 8*l**2 - l. Let y be f(-8). Let b be 2/y + (-19)/(-4). Suppose 4*z - b*d = 30 - 0, 0 = 4*d - 8. Solve -z = a + 4*a for a.
-2
Let x(f) = -3*f + 3. Let w be x(-3). Suppose -2 + w = v. Let j be 5*(-8)/v*-1. Solve 4 = 3*p - j*p for p.
-4
Suppose d - 16 = -53. Let f be (d/3)/(6/(-54)). Let j be 4/(-14) + f/21. Solve -2*o + 3 = -j for o.
4
Let b(l) = l**3 + 11*l**2 - l - 5. Let m be b(-11). Suppose -4*p = p - a - 9, p + 4*a = m. Solve -x = -3 - p for x.
5
Let a(g) = g**2 + 15*g + 5. Let f be a(-15). Solve 2*h + 3 = f*h for h.
1
Suppose 0 = -4*d + d. Solve d*r + r = 5 for r.
5
Suppose b + 4 = 3*b. Let k(a) = a**2 + 2*a. Let l be k(b). Let j =