3
Suppose -t + 3 = 1. Suppose -16 = -0*f - t*f. Solve 5*y = -3 + f for y.
1
Let y be 105/10*(-12)/(-14). Solve 0 = y*n - 6*n - 15 for n.
5
Suppose 6 = 3*s + n + 2, 2*n + 12 = 4*s. Suppose -s*g = -7*g + 60. Let l(u) = 3*u + 1. Let h be l(1). Solve -x + h*x - g = 0 for x.
4
Let q(n) = -n**3 + 4*n + 3. Let t be q(-2). Let c(r) = r - 7. Let a be c(10). Suppose p + 5*g - 32 + 0 = 0, -2*g = a*p - 44. Solve -t*k + 0 = -p for k.
4
Let b be (2 + (-15)/6)*0. Suppose -5*a - 3*k = 15, b*k - 10 = -5*a + 2*k. Solve a*i - i = -1 for i.
1
Let k(m) = m**3 - 4*m**2 + 2*m + 2. Let c be k(3). Let h(t) = -2*t**3 - 2*t - 1. Let l be h(c). Let d be 11/3 - 2/l. Solve -2 - d = s for s.
-5
Suppose 0*d = 5*d - 25. Solve -21 + 1 = -d*g for g.
4
Let c(y) = y**2 + 3*y + 2. Let k(r) = -2*r - 6. Let j be k(-7). Let o be j/(-4)*(3 - 2). Let d be c(o). Solve d + 5 = -5*z for z.
-1
Let s(i) = -i - 10. Let r be s(-12). Solve g = -r*g + 3 for g.
1
Suppose -v = -5*v. Solve v = q - 2*q for q.
0
Let b = 2 - 2. Let r = 2 + b. Suppose 10 = -0*z + r*z. Solve k + 1 - z = 0 for k.
4
Suppose 0 = -5*z + z - 32. Let s = -6 - z. Solve s = 5*n + 7 for n.
-1
Let a(z) = 2*z. Let p be a(-3). Let l = p + 14. Solve 0 = -4*y + l + 4 for y.
3
Let g = 32 - 30. Solve 4*o - 4 = g*o for o.
2
Let i = 2 + -2. Let d(m) = m - 1. Let y be d(3). Suppose h - 5*p = i, 0 = -y*h - h + 2*p. Solve -2*u = -h*u + 2 for u.
-1
Let o(d) = d**3 - 15*d**2 + 15*d - 19. Let n be o(14). Let q = 5 + n. Let k(x) = 2*x - 2. Let f be k(3). Solve f*b + 0 - 12 = q for b.
3
Let m be ((-18)/(-3))/(2/4). Let n = m + -7. Solve 4 + n = -3*f for f.
-3
Let t = 40 + -25. Let n = -11 + t. Let v = 4 - n. Solve v = -3*j + 6*j + 12 for j.
-4
Suppose 4*c = -f - 24, -26 = 3*c - c + 4*f. Let m = c - -5. Solve l = -m*l - 3 for l.
-3
Suppose 2*z = 3*z - 5*o + 5, 5*z + 2*o = 29. Let n = 9 - z. Solve -n*s + 2*s = 2 for s.
-1
Let u(d) = d**3 + 7*d**2 - 2*d - 4. Let g be u(-7). Suppose 0*h + 2*h = g. Let m(i) = i**2 + 4*i - 3. Let b be m(-5). Solve -b*w = -h*w + 12 for w.
4
Let v be ((-8)/(-14))/((-16)/(-7) + -2). Solve -2*s - v*s - 16 = 0 for s.
-4
Suppose -u = -3*u - 12. Let m = 8 + u. Solve m*s - 15 = -s for s.
5
Suppose k = -2*k + 12. Solve 24 - k = -4*a for a.
-5
Let v(d) = -d**3 + 4*d**2 + 15*d - 15. Let s be v(6). Solve -17 + 2 = -s*y for y.
5
Let k(c) = c + 1. Let b be k(6). Let y be (-100)/15*3/(-4). Solve -2*a + b*a - y = 0 for a.
1
Suppose 0*s - 3*s = 0. Solve 0 = n - s*n + 1 for n.
-1
Let g = -55 - -58. Solve -3*p - g = 3 for p.
-2
Let y = -1 - -1. Let n be (48/(-32))/(2/(-8)). Solve y*v + n = 2*v for v.
3
Let n(u) = 2*u**2 - 22*u + 4. Let p be n(11). Solve -p = 5*q + 21 for q.
-5
Let a(f) be the first derivative of 5*f + 3*f**3 + 1 - 1/4*f**4 + 11/2*f**2. Let y be a(10). Solve 2*g = 5*g + y for g.
-5
Let c = 29 - 24. Solve c*g = 2*g + 6 for g.
2
Let i = 1 + 1. Let o be (-1)/(i - (-14)/(-8)). Let h = o - -6. Solve h*z = z for z.
0
Let z be 3/(-2 - -1) + (-1 - -8). Solve 15 = -z*n + n for n.
-5
Let d(i) = i**2 + 12*i + 15. Let h be d(-11). Solve -1 = -h*u + 3*u for u.
1
Let l be (8/(-6))/(2/(-3)). Let p = 3 - l. Let w be (3 - p) + -1 + 2. Solve 2*f = w + 3 for f.
3
Let z(x) = -2*x**3 + x**2 + x. Let k be z(-1). Suppose 0 = -2*a - s + 8, k*a + 0*a - 4*s = -2. Let c be a*-2*(-3)/9. Solve 3*u = -c*u for u.
0
Suppose -5*v + 2 = n, v + 3*v = 0. Solve -1 = -3*d + n for d.
1
Let t = 3 - -2. Let s = t + -1. Solve -s*k + 6 = -k for k.
2
Let f(o) be the first derivative of -o**2/2 + 12*o - 5. Let q be f(11). Solve 2 = -3*b - q for b.
-1
Let s(w) = -w**2 - 7*w + 21. Let i be s(-9). Solve c = -2 + i for c.
1
Suppose 0 = -j + 17 - 5. Suppose f - 39 = 4*f + 3*m, -19 = 3*f - m. Let t be 2/(-3) - f/j. Solve -4*y - y = t for y.
0
Suppose -2*o + 5 = -o. Let t = 25 - 20. Solve t*u + o = -0 for u.
-1
Suppose -4*o = -5*u + 16, -15 = -3*o - 3*u - 0. Solve -3*c - o - 2 = 0 for c.
-1
Suppose 3*c = 13 - 7. Solve -c*w - 3*w + 10 = 0 for w.
2
Let g be (2*3)/((-6)/(-4)). Let i(o) = o**3 + 8*o**2 - 9*o + 5. Let q be i(-9). Suppose -5*a + 9 = 5*y - 2*a, q*y + 2*a - 6 = 0. Solve y = x + g*x for x.
0
Let k be 1/(-2)*2 + 1. Solve -d = -k + 3 for d.
-3
Let i be 5/20 + 3/(-12). Solve -1 = -i*u + u for u.
-1
Let l(y) = -y**3 + 14*y**2 + 3. Let w be l(14). Suppose 48 = -0*n - 4*n. Let c = n + 26. Solve w*z = -c + 2 for z.
-4
Suppose 5*i + 7 = 32, -2*i - 10 = -4*g. Solve -4 = g*q + 1 for q.
-1
Suppose 3*d - o - 12 = 0, 3*o + 2*o + 15 = 0. Let i = -10 - -8. Let n = 7 + i. Solve -2*x = -n + d for x.
1
Suppose 15 = 3*y + 3*g + g, -2*y - 2*g + 8 = 0. Let b be (-4 - y)/((-3)/6). Solve -z = z + b for z.
-5
Suppose z + 6 = q, -2*q = -3*q + 5*z + 6. Solve 0 = -a + q*a + 25 for a.
-5
Let l be 2/(-8) - 3/(-12). Let k be (96 + l)/4 + -4. Solve k = -4*z - z for z.
-4
Suppose -2*u + 16 = -16. Solve 2*x - u = 6*x for x.
-4
Let t = -20 - -20. Solve -12 = 4*y - t*y for y.
-3
Let x = -8 - -2. Let s = -6 - x. Solve 3*r = -s*r for r.
0
Suppose 1 = -q - 4. Let k = 7 + q. Solve 0*w + 4 = k*w for w.
2
Let t be (-1)/(0 - (-1)/(-33)). Let q = t + -23. Suppose -4*s = -2*u - 3*u + 10, 5*u - q = 0. Solve -3*k - 2*k - 5 = s for k.
-1
Suppose -27*c + 32*c = 60. Solve -b = 2*b - c for b.
4
Suppose -2*k + 2 = -2. Suppose -k*b + 0*b = -22. Let o = -1 + b. Solve -10 = -4*x + o for x.
5
Suppose 4*q = -q - 5*l - 55, 0 = -4*q + 3*l - 16. Let k = q - -7. Solve k*a + 2 = a for a.
2
Suppose -10*w = -60 - 60. Solve 4*z + w = z for z.
-4
Let s be -3 + (0/(-2) - -2). Let n(y) = 2*y**2 + y + 1. Let d be n(s). Let x be (9/3)/(d/6). Solve -x = -z - 2*z for z.
3
Suppose -2*h + 48 - 12 = 0. Let j be (60/h)/((-2)/(-15)). Solve w - j = 6*w for w.
-5
Let l = -41 - -34. Let s = 5 + -14. Let t = l - s. Solve -8 = 2*o + t*o for o.
-2
Let d(a) = -a**3 + 10*a**2 - 10*a + 11. Let y be d(9). Solve 0 = y*r - 7*r for r.
0
Suppose 2 + 33 = 5*p. Suppose 0 = 2*g - 5*r - 1 - 2, 3*g - 5*r = p. Solve 2 = -g*w + 22 for w.
5
Suppose -3*b + 1 = h + 3, -b = 3*h + 14. Solve -u - b = 2 for u.
-3
Let d be -6*((-2)/4)/(-1). Let q be -2*(d + 7) - -2. Let j = q - -6. Solve -h + 0 - 4 = j for h.
-4
Let i(v) be the first derivative of v**3/3 - v**2/2 - 3*v + 3. Let h be i(3). Suppose -h = -4*w + 9. Solve 0 = -w*u - 1 - 2 for u.
-1
Suppose -r - 2*k - 1 = -k, 5*r - k = 25. Solve -3*s + 5*s + r = 0 for s.
-2
Let o(v) = -v**3 + 3*v**2 + v. Let k = 3 + 0. Let z be o(k). Suppose 0 = z*t - 8 - 1. Solve 4*w + 3 = t*w for w.
-3
Let l(z) = -4*z - 1. Let k(m) = -m**3 + 4*m**2 + 6*m. Let y be k(5). Suppose -4*v = v + y. Let i be l(v). Solve -i*f - f + 8 = 0 for f.
2
Suppose -4*o + 5 = 5*p - 1, -5*p + 2*o = 18. Let n be 5 + p/(-8)*0. Solve -14 = n*a + 6 for a.
-4
Suppose 32 = 5*d - 43. Suppose 4*w - 91 = -d. Suppose 3*s - 67 = -w. Solve s = 5*u - u for u.
4
Let j be 24/16 - (-22)/4. Solve -j = -2*o - 1 for o.
3
Suppose -4*a + 2*a = 4*f - 14, 5*f - 5*a + 5 = 0. Suppose 0 = -3*c + c - 22. Let m be (11 + c)*(-1)/(-2). Solve f*j - 4 = -m for j.
2
Suppose 3*p + 1 = 13. Solve 0*l = -p*l for l.
0
Let c(g) be the third derivative of g**5/60 - g**4/8 - g**3/6 - g**2. Let b be c(4). Solve -b*s = -2*s + 3 for s.
-3
Suppose 3*n + 0*n = 48. Suppose -5*m = -m - n. Suppose 2*k - m*k + 11 = i, -1 = 5*i - 4*k. Solve i*a - a = -6 for a.
-3
Let h be 11 + 4 + 0 + 1. Suppose -h = -2*f + f. Let t = f - 4. Solve -3*l = -6*l - t for l.
-4
Let n be (-15)/20 + 7/4. Solve p - 5 = -n for p.
4
Suppose -3 = -x - 2*x - 2*q, q = -x. Suppose 3 = k + 4*k - 4*o, -x*k - 2*o = -15. Solve -k*b = -6*b - 3 for b.
-1
Let a be 56/(-9) + 10/45. Let l = a + 5. Let n be (-8 - -10)*(7 + l). Solve 0 = 4*i - 0*i - n for i.
3
Let h be (3 - 1)*(2 + 0). Let k be (10/4*h)/2. Solve k*a - 33 = -8 for a.
5
Suppose 8*f = 9*f - 3. Solve -f*a = 2*a for a.
0
Suppose 4*y + 14 = -34. Let x be (-4)/y - 32/6. Let z be (8/(-10))/(1/x). Solve z*a = -0 + 4 for a.
1
Suppose -2*b + 3*i - 1 = 0, 0 = 3*b - 0*i - 5*i + 2. Let a(u) = -b + 4*u - u**2 + 0*u**2 + 3*u. Let r be a(6). Solve -15 = -0*y - r*y for y.
3
Suppose 0 = l + 3*j - 6 - 3, 5*l + 3*j = 81. Solve -m + 15 = l for m.
-3
Let g = 38 - 36. Let n(d) = 3*d**2 - d - 2. Let p be n(2). Solve -5*h = -p - g for h.
2
Suppose 3*q - o = 8, q - 2*o = 3*q. Solve -5*j + q*j = -3 for j.
1
Suppose -d = p + 11, -3*p + 8 = -6*p + 2*d. Let x be (p - -8)/(1/4). Solve -5*g = -3*g + x for g.
