3
Suppose 2*a = -2*a - 16. Let s be (-2)/(24/15)*a. Solve 0 = -0*r - r + s for r.
5
Let w be 4/3 + 256/(-48). Let o be ((-2)/w)/((-4)/(-112)). Solve 3*h + 1 = -o for h.
-5
Let u be ((-24)/20)/6*-5. Solve 2*k = 9 + u for k.
5
Suppose 0 = 2*n + a - 15, 2*a + 2*a + 12 = 4*n. Solve -10*p = -n*p + 12 for p.
-3
Let k = 8 - 5. Solve 4*l - k*l + 4 = 0 for l.
-4
Let s(x) = 11*x - 10*x - 7 - 7. Let a be s(14). Solve r + 5 = -a for r.
-5
Suppose 14 = 2*q + l, 4*q - 3 = -5*l + 19. Let h(x) = -x**3 - 9*x**2 - 9*x - 4. Let t be h(-8). Solve t*y - q = -0*y for y.
2
Let d be (-4)/(-10) + 4 + 44/(-10). Solve -4 + d = -4*m for m.
1
Let m be (-4 + (-35)/(-10))*-4. Solve -2*s - m*s = 0 for s.
0
Let w(s) = -s**3 - 5*s**2 + s + 8. Let p be w(-5). Solve -3*y = -p + 12 for y.
-3
Let h be (5 - (-3 + 0)) + -2. Solve 0*u = 3*u - h for u.
2
Suppose 0 = -4*m + 5*k + 5, -4*k + 27 = m + 10. Suppose -5*j - 16 - 149 = -5*y, -59 = -2*y - m*j. Let p = y + -12. Solve 2*s = -3*s - p for s.
-4
Let s be 1/(2*2/40). Suppose -k = -6*k + s. Let j(w) = 7*w + 2. Let f be j(k). Solve f = v + 3*v for v.
4
Suppose 8 = 7*i - 3*i. Suppose 5*c - 3 = 2*b - 21, 3*c = i*b - 10. Let r be 20/2*(-2)/c. Solve -r*y + 2 + 3 = 0 for y.
1
Let c be ((-32)/(-3))/2*9/6. Solve 0 = -0*z + 2*z - c for z.
4
Suppose 0 = -0*r - 5*r + 30. Solve 2*p - r = 4 for p.
5
Suppose 15*y - 10*y = 0. Solve -4*c + 13 + 3 = y for c.
4
Let y be (1 - 28/8)*-2. Solve 0 = y*d - 0*d - 5 for d.
1
Let a(w) = w**3 + w**2 + w + 1. Let x(g) = -3*g**3 - 4*g**2 - 5*g - 4. Let d(c) = 4*a(c) + x(c). Let m be d(0). Solve 0 = -m*o + o - 2 for o.
2
Let b(u) = -u + 4. Let k be b(3). Solve -5*f = 11 - k for f.
-2
Let t(h) = -5*h**2 - 33*h + 17. Let g be t(-7). Solve -r + g*r + 10 = 0 for r.
-5
Let n(s) = -s**2 - 10*s - 2. Let j be n(-10). Let r be (0 + 1)/((-1)/j). Solve -10 + 2 = -r*l for l.
4
Suppose 0 = 3*a + 6*l - l - 29, -a = -l - 23. Let q = -17 + a. Solve -s - 3 = q for s.
-4
Let t(f) be the second derivative of -f**4/12 + 7*f**3/6 - f. Suppose -2*g = -4*r + 26, 5*r - 35 + 2 = 2*g. Let c be t(r). Solve -5*n - 25 = -c*n for n.
-5
Suppose -j + 0*j = 2*n - 26, 5*j = 0. Solve 3 = 4*d - n for d.
4
Suppose -5*c = -2*j - 8, 4*j + c + 3 = -35. Let z = -6 - j. Solve 2*f - 10 = -z*f for f.
2
Suppose -u + 5*d - 13 = -4*u, 4*d - 12 = -4*u. Let a = u - -7. Suppose -a = -i - i. Solve 2*s - 3*s = -i for s.
4
Let s(f) = -f - 2. Let r be -7 + 0 - 0/(-9). Let j be s(r). Solve -4*a + j*a + 1 = 0 for a.
-1
Let m(a) = -a**2 + 5*a + 11. Let t be m(6). Suppose t*q + 10 = -w - 2*w, -4*q + 24 = -4*w. Solve -3*d + 2 + q = 0 for d.
1
Let p(w) = -w - 1. Let q be p(0). Let r be -2 - (q - 2 - -1). Solve -y + 2 = -r*y for y.
2
Suppose 0 = n - 2 - 0. Suppose 16 = -n*o - 2. Let p be o/(-12)*2*2. Solve -16 = p*g + g for g.
-4
Suppose 5*c - 32 - 4 = -4*f, 0 = 5*c - 5*f - 45. Solve c = b + b for b.
4
Let d = 6 + -4. Suppose 3*u + 7 - 26 = -4*r, 2*r = 4*u - 18. Suppose -14 = -u*a + 51. Solve -5*l + d = -a for l.
3
Let m(r) = 3*r - 15. Suppose -4*c = -2*c - 22. Let x(a) = -a + 5. Let l(t) = c*x(t) + 4*m(t). Let y be l(5). Solve -5*f + 17 - 7 = y for f.
2
Suppose -r - 60 = -4*h + r, 0 = -5*h + 4*r + 69. Solve 5*s = h - 2 for s.
3
Let m be 0/1 + -10 + 12. Suppose -l + 7 + 5 = 0. Solve m*x + x = l for x.
4
Let z(q) = -2*q + 6. Let p be z(-6). Let b be 4/p - (-80)/45. Solve -r + b = 6 for r.
-4
Let l = -61 - -63. Solve -a - l = -3 for a.
1
Let s(k) = k**3 + k**2 + 1. Let l be s(0). Solve -16 = 3*x - l for x.
-5
Suppose -4*o + 24 = 2*z, -5*z + 0*o - o = -15. Solve -z*j - j = 0 for j.
0
Let v(d) = -d**3 + 6*d**2 + 8*d - 5. Let n be v(7). Suppose -2*z - 110 = -4*p, n*p = z - 4*z + 35. Solve -a - p = 4*a for a.
-5
Suppose 2*g - 4*w - 32 = 0, 33 + 11 = 4*g - 4*w. Solve -v + g = v for v.
3
Let a = 11 - 17. Let g = a + 6. Solve 3*v - 6 + 18 = g for v.
-4
Suppose 2*f - 47 = -2*f + 5*u, -2*f - 4*u + 4 = 0. Suppose 2*p - f + 2 = 0. Solve -4 = -b + p*b for b.
-2
Suppose 0*j - 3*j + 39 = 0. Let f = j - 5. Suppose -12*r + 45 = -3*r. Solve -r*h + f = -h for h.
2
Let q(b) = -b**2 - 10*b - 4. Let v be q(-8). Suppose -5*x + 38 = -v. Solve 0 = -z - z + x for z.
5
Let p be (-2 - 7/(-2))*2. Let a be ((-4)/(-6))/(5/15). Solve p = -a*m + 9 for m.
3
Let r = -11 + 8. Let c be (-9*1)/(r/2). Let j be 0*((-6)/2)/c. Solve j = -2*p + p - 1 for p.
-1
Let k(n) = n - 4. Suppose -9 = -3*d + 3*w, d + 2*w - 3 = 3. Let u be k(d). Solve -p - 4*p = u for p.
0
Suppose -4*u - t = 1, -4*t + 2 - 21 = u. Solve -u = -n - 5 for n.
-4
Suppose 2*t - p = 4, -3*p - 12 = -3*t - 0*t. Solve t*w = -2*w - 10 for w.
-5
Suppose 3*k + 9 = q - 5, -2*q - 4*k - 2 = 0. Suppose f + 7 = 3*x, -2*x - x = -q*f - 23. Solve x + 3 = -d for d.
-4
Let u = -35 + 51. Solve -4 = 5*k + u for k.
-4
Let w be 7/1 - (2 + 0). Solve -1 + 6 = w*r for r.
1
Let f = -5 + 17. Let q(g) = g**3 + 7*g**2 + 5*g - 6. Let l be q(-6). Suppose 2*a = -2*k + f, l = k + 2*a - 4 - 4. Solve 0 = -k*v + 6 + 6 for v.
3
Suppose 4*o = o. Let j be (0 + 0)/(2 - o). Solve j = -7*w + 2*w + 10 for w.
2
Let t be (-3)/(-1) - (-3 + -1). Solve 22 = -3*r + t for r.
-5
Let z be (-1)/(-2)*190/19. Solve -z*d = -9*d + 12 for d.
3
Let b be (2 - -1)/((-15)/(-20)). Let f = b + -8. Let s = f - -10. Solve 0 = 3*l - 0*l + s for l.
-2
Suppose -5*q = 2*t + 25, 4*t + 12 - 2 = -2*q. Solve -2*n - 4 = -t for n.
-2
Let v be (6/(-10))/(3/15). Let r(x) = -x**2 - 3*x + 1. Let o be r(v). Let n = o + 3. Solve w = -w + n for w.
2
Let j be -1 + 0 + 2 - -4. Let q(d) = d**2 - 8*d + 2. Let l be q(8). Suppose l*h - 20 = -3*h. Solve j*x - h = 1 for x.
1
Let o(p) = -p**2 - 12*p + 18. Let z be o(-13). Suppose 2*x - 6*x + z*t = -35, 4*t + 2 = -2*x. Solve -x*r - 8 = -3*r for r.
-4
Suppose -2*g + 14 = 2*a, 5*a - 7 = -2*g + g. Solve -g - 1 = 2*q for q.
-4
Suppose 0 = 2*l + 3*c - 12, 5*l - 7*c + 3*c - 76 = 0. Solve 2*h = -2*h - l for h.
-3
Suppose 43 + 29 = 3*o + 3*j, 4*j = 3*o - 44. Solve -o = 6*u - u for u.
-4
Suppose 11 = -3*f + 41. Let m = -6 + f. Solve 2*s - m = s for s.
4
Suppose -3*g + 3*p + 27 = 0, g + p = -g + 6. Suppose -g*q + 37 = -38. Solve -q = -0*v - 5*v for v.
3
Let z(t) = 3*t**2 - 30*t + 8. Let v be z(10). Solve -5*k = -v*k + 9 for k.
3
Suppose 4*t + 11 = 2*r + 41, r = t - 6. Suppose 3*u + 6 = -j - 4*j, -u = -2*j - t. Suppose 2*n - u*m + 6 = 4*n, -3*m = n. Solve 5*d + 1 = n*d for d.
1
Let o = 22 + -12. Solve g - o = -g for g.
5
Let q(j) = -j**2 + 3*j. Let d be q(3). Let o be (3*-2)/((-18)/12). Suppose k - 3*b - 14 = -d*k, 0 = -b - o. Solve -3 = -h + k for h.
5
Let m(y) = -y**3 + y**2 + 2*y. Let r(n) = 2*n**3 - 2*n**2 - 5*n - 1. Let z(s) = -5*m(s) - 2*r(s). Let k be z(0). Suppose -k*t = 2*t. Solve p + 2 = -t*p for p.
-2
Let l(g) = 4*g - 3. Let p be l(2). Solve p*s = s + 20 for s.
5
Let r be (-1)/4*100/(-5). Suppose -v - 10 = -3*l, -r*l - v + 20 = -2*l. Solve l*z = -0*z for z.
0
Let q(x) = -x**3 + 4*x**2 - x + 6. Let j be q(4). Solve -13 = 3*o + j for o.
-5
Suppose 3*w + 7*w - 5*w = 0. Solve w*l + 2*l + 6 = 0 for l.
-3
Suppose -7 - 11 = -6*x. Solve x*s + 13 + 2 = 0 for s.
-5
Let j(q) = q**2 + 4*q + 2. Let w = -10 + 6. Let y be j(w). Solve -3*h = -y*h for h.
0
Let q(i) = i**2 - 7*i + 9. Let j be q(6). Suppose 20 = -7*d + 12*d. Suppose -10 = -5*c - d*o, 0*o = -2*c - 3*o + 4. Solve -c*u - j*u = 10 for u.
-2
Suppose 9*o - 5 = -5. Solve 5*u + o = -5 for u.
-1
Let o = -4 + 5. Suppose -z - 9 = 2*z. Let s = o - z. Solve -l = -s*l for l.
0
Let q(t) = t**2 - 7*t + 11. Let x be q(5). Solve 0 = 2*c - 1 - x for c.
1
Let d = 6 - 3. Let z(o) = o**3 + o**2 - o + 1. Let f be z(0). Suppose 5 = 4*a + 3*b, 4 = d*a + b - f. Solve 0 = 4*w - a*w for w.
0
Let m be 0 - (3 - (9 + -2)). Let i = -1 + m. Solve -5*w - i - 12 = 0 for w.
-3
Suppose 5*b - 3*b - 4 = 0. Suppose 5*y - 5*p - 45 = 0, -b*y + 0*p = 5*p + 3. Solve -2*q + 5*q = y for q.
2
Let u(f) = -f**3 - 12*f**2 + f + 15. Suppose -48 = -0*g + 4*g. Let k be u(g). Solve -k = r + 2 for r.
-5
Let n = -29 - -33. Solve 4*k - 4 = n for k.
2
Let c be 0 + 19 - 24/8. Suppose 0 = c*t - 14*t - 12. Solve -3*k = -t*k for k.
0
Let w = 16 + -11. Suppose 0 = -3*q - w*a - 9, 3*q + 5*a - 2*a = -3. Solve 0*m = m - q for m.
2
Let m(f) = f**2 + 5*f + 5. Let t be m(-5). Let v(b) = -2*b**3 + 3*b**3 + 2 - 6*b + 2 - t*b**2. Let q be v(6). Solve -q*c + 4 = -2*c for c.
2
Let c(t) = -t**3 - t**2 + t + 25. Le