t.
-1
Suppose -5*f - 4*o = 33, -2*o - 2*o = f + 13. Let a = 7 + f. Solve -a*k = -0*k + 10 for k.
-5
Let m(g) = -g**3 - 9*g**2 - 2*g - 16. Let v be m(-9). Solve v*w = -3*w for w.
0
Let t(c) = c**2 - 1 + c + 0*c**2 - 3*c + c**2. Let k be t(-1). Solve k*p - 8 = 4 for p.
4
Let q(k) = 2*k + 24. Let p be q(-11). Solve 1 = p*w - w for w.
1
Suppose -5*r + 4*r + 2*r = 0. Solve 3*x - x = r for x.
0
Let u be 4 + -4 + 4 + 1. Solve -10 = -3*m + u for m.
5
Suppose 7*t = 37 + 61. Let i(f) = f**2 - 4*f. Let s be i(5). Solve 4 = s*j + t for j.
-2
Suppose 3*b - 4*f - 8 = 2*b, -3*b = 4*f + 24. Let i = b + 9. Suppose 4*u + 5 = -3*n, 6*u - 3*u = i*n - 40. Solve -n*d = -2*d for d.
0
Let m(n) = n**3 - 2*n**2 - n. Let o be m(-1). Suppose 0 = -3*g - 4 - 11. Let q = o - g. Solve -t = q*t - 20 for t.
5
Suppose 4*v - d - 5 = 0, 3*v + 2*d + 20 = -2*d. Solve 2*y + 3*y - 20 = v for y.
4
Let z be 0 + 22 - (9 - 3). Suppose 2*g = -3*i + 6, -4*g + g = 5*i - 11. Solve 3*j + i - z = 0 for j.
4
Let s = 12 - 7. Let o(m) = -m**3 + 3*m**2 + 5*m + 5. Let x be o(-2). Solve s*h - x = 2*h for h.
5
Suppose 4 = -a + 5*i, -a + 2*i = -0 + 1. Let j = a + 1. Solve m = j*m for m.
0
Suppose 5*v - 28 = -3. Suppose 3*t - 5*x = 14, -3*t + x - v*x + 5 = 0. Solve 3 = t*l - 3 for l.
2
Let t be 3/(-18)*3*-2. Solve 4*n - 3*n = t for n.
1
Let w be ((-85)/10)/((-2)/4). Let p = 4 + -1. Suppose -4*l = -3*i + w, l - p = -2*i + 12. Solve 12 = i*d - 3*d for d.
3
Let o = 15 + -15. Let z(i) = 0*i - 3*i + 4*i + 6. Let d be z(-3). Solve -p - 2 + d = o for p.
1
Suppose -4*b - 2*b = 0. Solve 3*x + x + 16 = b for x.
-4
Suppose -8*s = -9*s. Solve s = -t - 4*t - 20 for t.
-4
Let d = -3 - -1. Let m = 13 + d. Solve -1 = -4*g + m for g.
3
Let a(x) = x**2 - 11*x + 13. Let d be a(10). Suppose -5*n = f - 6*f, 5*f - 4 = d*n. Solve -3 = n*q + q for q.
-1
Suppose 0 = -5*s + 8*s. Let h = 1 + -1. Solve s*q + 3*q + 3 = h for q.
-1
Suppose 0 = -5*g + 5*n - 10, -g - 2*n = -5*g. Let f = -9 - -17. Suppose -27 = -4*b - 3*a, -b + 5*a - 19 = b. Solve b*w + f = g for w.
-2
Let m = -1 - -1. Suppose m = 3*p + 3*d - 15, -3*p - 2*p + d + 31 = 0. Let w be -6*((-2)/p - 0). Solve 1 = 3*a - w for a.
1
Suppose 0 = 2*o + o + 15. Let t(c) = c + 5. Let d be t(o). Let u be 1/(2/30) - d. Solve v - u = 4*v for v.
-5
Suppose u + u - 8 = 0. Solve u*w - 9 = w for w.
3
Let q(l) = 4*l**2 - 2*l - 2. Let w be q(-1). Solve w*c - 8 = 8*c for c.
-2
Let s(i) = 3*i - 10. Let t be s(-5). Let q be t/10*8/(-10). Solve -x + q*x = 2 for x.
2
Suppose 0*o + 30 = 3*o. Let g(q) = -q**3 + 10*q**2 + 5. Let f be g(o). Solve f*h - 10 = 15 for h.
5
Let c(g) be the second derivative of g**5/20 + g**4/6 - g**3/2 + g**2 - 2*g. Let v be c(-3). Solve 6*u - 4 = v*u for u.
1
Let f = 65 + -85. Suppose h = -2*h + 84. Let w = f + h. Solve -5*u + w + 12 = 0 for u.
4
Let n(p) = -p**2 + 5*p - 2. Let u be n(4). Suppose -u*a = -0*a - 4. Let o = 3 - a. Solve 0 = -4*y - 9 + o for y.
-2
Suppose 3*s - 4*s - 4 = 0. Let o be (-5)/(2*2/s). Solve y - 2 = -o for y.
-3
Suppose -2*m - 4*l + 26 = 0, -4*l - 83 = -5*m - 18. Solve 0 = 2*u + m - 5 for u.
-4
Let n(x) = x**3 - x + 4. Suppose 2*c + 11 + 1 = 0. Let w(k) = -k**3 - 5*k**2 + 5*k - 6. Let r be w(c). Let m be n(r). Solve -2 + m = -p for p.
-2
Suppose 4*q - j - 24 = 0, -5*q = -j - j - 27. Solve q*x - 5 = 2*x for x.
1
Suppose -2*f + 16 = 4. Suppose -3*q - b = -4, -b = 5*q - 4 - f. Solve q*m + 2 = -7 for m.
-3
Suppose 2 = 2*w - 6. Solve 0 = w*b - b for b.
0
Let f be -2*1*(-3 - -2)/1. Solve 0 = -p - 0 - f for p.
-2
Let f(y) = -3*y**3 + 0 + y**3 - 12*y**2 + 2 + y**3. Let u be f(-12). Solve z = -u*z for z.
0
Let g = -24 + 24. Solve -j - 3*j = g for j.
0
Suppose 648 - 148 = 5*x. Suppose 5*w + x = 3*z, z + 2*w - 10 = 5. Solve 0 = -5*t - 0*t + z for t.
5
Let l(u) be the second derivative of u**4/12 + u**3 + 2*u**2 + 5*u. Let y be l(-6). Solve -o + 3 - y = 0 for o.
-1
Let o = 53 + -30. Solve -5*i + 2 = -o for i.
5
Let l(o) = -o - 6. Suppose 30 = -4*c - 0*v - 2*v, -5*c - 35 = 5*v. Let b be l(c). Solve 0 = -b*z + 1 - 5 for z.
-2
Let v(g) = -2*g + 16. Let l be v(7). Solve 0*z = -l*z for z.
0
Let t be 0/1 - 0 - 1. Let j be -1 - (-1 - (0 - t)). Let a be (j/2)/((-1)/(-4)). Solve 2*w + a = -6 for w.
-4
Let m = -33 + 36. Solve 5*j = m*j - 8 for j.
-4
Let q = -28 - -120. Suppose -5*f - 4*d + q = 0, -41 = -4*f - 2*d + 29. Suppose 3*b + b = 5*j + 8, 4 = 2*b. Solve -5*t + f - 1 = j for t.
3
Let u(l) = -l**3 - l**2 + 3*l - 4. Let n be 52/(-16) + (-2)/(-8). Let y be u(n). Suppose y*v + 3*g = 15, 5*g - 17 + 5 = -4*v. Solve 0*c + v*c = 12 for c.
4
Let h(p) = p**2 + 4*p - 10. Let u be h(-7). Let r = u + -7. Suppose 0 = -z - 1 + r. Solve b + z*b = 8 for b.
2
Suppose 35 = 4*r + j, -r = -4*r + 2*j + 18. Let l be ((-29)/(232/48))/(-4 - -1). Solve -5*n + r = -l for n.
2
Let n(l) = -3*l - 2. Let k(u) = u**2 + 9*u + 5. Let t be k(-8). Let f be n(t). Solve f*o = 4*o + 3 for o.
1
Let d be -2 + (-3)/6*-6. Let f be (2 + 3)/(0 + d). Solve f*m - 8 = m for m.
2
Suppose 13*l - 9*l = 12. Solve 2*h = -h - l for h.
-1
Suppose 3*g - 26 = -8. Suppose g*v = 2*v + 16. Solve v*x + 6 = -14 for x.
-5
Suppose 0 = 8*o - 40 - 0. Solve 34 = o*x + 9 for x.
5
Suppose -3 = -2*o - o. Suppose 21 = 5*q + 5*w + 1, 5*w - 11 = 4*q. Let i be (1/3)/(q/9). Solve -o + 7 = i*p for p.
2
Let n = 1 + -1. Suppose -4*v + h + 3 = 0, 0 = 2*v + 2*h - 3*h - 3. Solve 4*t + n*t = v for t.
0
Suppose -2*r + 14 = 6. Solve -3*m - m = -r for m.
1
Let d be (-8)/(-3) - 6/(-18). Suppose -3*c + d = 18. Let n(l) = -l**3 - 6*l**2 - 7*l - 7. Let f be n(c). Solve 0 = -0*w - f*w - 6 for w.
-2
Let v be (-2 + -1)*(-10)/3. Solve -j = j - v for j.
5
Let z be (-15 - 5)*(-2)/(-4). Let c = z - -12. Solve 2*o - c = -0 for o.
1
Suppose 3*h - 2 = 5*v + 4, -5*v + 8 = 4*h. Solve -3*s - 2 + 14 = v for s.
4
Suppose 4*d + 2*u + 0 - 16 = 0, -4*d = -3*u - 36. Solve -o - 5 = -d*o for o.
1
Suppose 4*l = -4*a - 64, -8*a + 3*a - 56 = -l. Let g = 12 + a. Let c be -3 + 3 - (1 - 1). Solve c = -v - 4 - g for v.
-4
Let t be 16/88 + 53/11. Solve f + 8 = t*f for f.
2
Let t(d) be the third derivative of -d**4/24 + d**3/3 - 2*d**2. Let r be t(0). Solve -r*u - 2 = -u for u.
-2
Suppose 2*f + 0*f - 24 = -4*w, 3*f - 2*w - 12 = 0. Suppose -f*c = -3*c. Solve 2*l + c*l = 2 for l.
1
Suppose 14 = 8*d + 6. Solve -l - d = -4 for l.
3
Let c(o) = -2*o - 13. Let n be c(-9). Suppose -3*h + n*h = 2*p - 26, 0 = 3*p - 2*h - 41. Suppose s = 3*t - 3, 5*t - 33 = -s - 2*s. Solve -3*j = -s*j + p for j.
5
Let y be 7*(-9 + 4 - -4). Let v = -3 - y. Suppose -9 = -3*i - 3*b, -b - 2*b = 2*i - 8. Solve i = -v*t + 5 for t.
1
Suppose -x + 199 = 197. Suppose 0 = 3*a - 0*t + t - 12, -24 = -4*a - 4*t. Solve a*h + x = h for h.
-1
Let v(k) = k + 4. Let z be 4/(-14) - 178/14. Let b(o) = 2*o + 8. Let d(u) = z*v(u) + 6*b(u). Let t be d(-6). Solve 5*l - 3 - t = 0 for l.
1
Let s be 2/7 - (-24)/14. Let m be 7 - (-2*s - -3). Solve -m = 3*k + 7 for k.
-5
Suppose 6 = 5*z - 4. Suppose -3*g + 3 = 0, 2*x - 3 = -4*g - g. Let i(o) = -17*o - 1. Let f be i(x). Solve 6*n - z*n = f for n.
4
Suppose -32 = -15*c + 7*c. Solve 4*g + 0 = -c for g.
-1
Let c be (22 + -24)*10/(-4). Suppose 24 = 4*d + 8. Suppose c*t - 2 = -2*s + 3, 0 = -2*t - 2*s - d. Solve -v + t*v = 6 for v.
3
Suppose u + 2*u = 12. Suppose 5*y - 24 = -4*m, u = -y - 2*m + 10. Suppose -5*n = -5*j + 95, -n + 72 = y*j - 4*n. Solve 4*k - j = -k for k.
3
Let f be 3 - (-5 + (-1 - -3)). Solve 26 = -4*w + f for w.
-5
Suppose 2 = s - 3. Suppose s*t - 173 = -33. Let l = -16 + t. Solve -4*j = -0*j + l for j.
-3
Let n(j) = j**2 + 11*j + 2. Let m be 2/11 - (-1107)/(-99). Let o be n(m). Solve -o = 4*y - 18 for y.
4
Suppose w = -3*w. Suppose 8 = b - 5*b, w = -2*o + 5*b + 8. Let z be o - 3 - -1 - -18. Solve -z = -5*y - 40 for y.
-5
Let z = -4 + 3. Let f(y) = -y**3 + 6*y**2 - y. Let m be f(6). Let b = z - m. Solve 5 = b*d + 30 for d.
-5
Suppose d - 2 = 2*d - r, 3*d + 4 = r. Let k be 2/6*(-1 - d). Suppose 5*x = -5*c + 2*x + 4, -c - x = k. Solve -c*g - 6 = -4*g for g.
3
Suppose z - 5*h - 10 = 6, 6 = -2*h. Let d = 6 - z. Solve -5*r + 15 = -d for r.
4
Suppose k = -15 - 6. Let g = k - -31. Solve 2*b + 0*b = g for b.
5
Let b be 0/((6/2)/(-3)). Suppose 5*c - 15 - 3 = 2*w, 0 = 2*c + w. Solve -t + b*t = c for t.
-2
Let q(y) = -y**2 + 7*y - 9. Let l be q(4). Solve -l*d + 1 = -4*d for d.
-1
