
1
Let j(w) = -w**2 + 8. Let x be j(2). Solve -x*t + t = -15 for t.
5
Suppose 3*j + 2*m - 6*m = 24, 3*m = 4*j - 25. Let i be j*(-1 + (3 - 0)). Solve b + 3*b + i = 0 for b.
-2
Let j(c) = c**2 - 3*c - 1. Let o = 9 + -5. Let t be j(o). Let z(s) = s + 6. Let k be z(-6). Solve 2*n + t*n = k for n.
0
Let h = -7 - -18. Suppose f - 3*z = 4, 20 = 4*f + f + 3*z. Suppose v = f + h. Solve 5*k - 40 = -v for k.
5
Let a(t) = -t + 2. Let w be a(4). Let c be ((-17)/2 + -1)*w. Suppose -3*k - 12 = -5*k. Solve k = -5*r - c for r.
-5
Suppose -v + 5 = 0, -3*v = o + 2*v - 29. Let z(l) = -l**3 + 3*l**2 + 3*l + 4. Let f be z(4). Suppose 4*h - 112 = -f*h. Solve -o*m + 12 = h for m.
-4
Suppose 2*b = -2*i, 2*i + 2*b + 9 = -3*b. Suppose 4*q = -0*h - 5*h + 19, h - i = 0. Solve 3*w + 2 + q = 0 for w.
-1
Suppose -k - 2 = -d + 1, 16 = -2*k + 4*d. Solve 0*n - k*n = 2 for n.
-1
Let w be (-4)/18 + 220/18. Suppose -5*c = 5*l, -5*c - 3*l - l = -3. Suppose 18 = 2*a + c*x - x, 2*x = -a + 11. Solve -3*r = -a*r - w for r.
-3
Let d be 18/(-4)*(-160)/48. Solve 0*z = -5*z + d for z.
3
Let h(j) = -j**2 + 9*j - 8. Let s be h(5). Let b(i) = i - 3. Let c be b(6). Solve 3 = c*t - s for t.
5
Suppose 4*l - 9 = s, -4*l - s + 5*s = 0. Suppose -3*f = -q - l, -4*f - 2*q - 3 = -7*f. Solve 2*w + f = -1 for w.
-1
Suppose -s = -5*c - 6*s + 5, -2*c + s = -2. Let z be ((-1)/3 + c)*3. Solve -w = -0*w + z for w.
-2
Let y(m) = -m**2 - 6*m + 1. Let t be y(-6). Suppose u = 2*a - 7, -2*u - 11 = 3*u - 4*a. Solve u + t = d for d.
2
Let o = 6 + -2. Let r be o/6 - (-13)/3. Solve -5 = -r*q - 30 for q.
-5
Suppose -13 + 1 = -4*s. Solve q + 20 = -s*q for q.
-5
Let c = 5 + 4. Let x = -3 + c. Suppose -2*n - x*g + g = 14, -n = 4*g + 13. Solve -v - 1 = n for v.
-4
Let o be -14*(-2)/(-4)*-2. Suppose 0 = -2*m - 4 + o. Solve -m*j + 0*j = 5 for j.
-1
Suppose -16 = -4*b + 4*f, f + 10 = 4*b - 0*f. Suppose 4*k - k + 15 = 3*x, 0 = -k - b*x + 7. Let w be 0 - (-2 - -3)*k. Solve -5*t + 4 = -w for t.
1
Let n(x) = 4*x - 4. Let d be n(3). Solve 0 = -10*t + 8*t + d for t.
4
Let s(l) = l**3 - 2*l**2 - 3*l - 4. Let r be s(4). Let m(u) be the third derivative of u**4/24 + 2*u**3/3 - 2*u**2. Let b be m(-4). Solve b*x = -4*x - r for x.
-4
Let u be (-4)/(-18) + (-48)/(-27). Suppose -j - j = -u*l + 6, 2*l = 10. Suppose -4*c - 5*b - 8 = 0, 4*c - 3*b = 7*c + 3. Solve c*s + 2 = j*s for s.
-2
Suppose -4*c + 5 + 7 = -4*h, -3*h - 2*c - 24 = 0. Let o = 4 + h. Let w be (-45)/6*o/3. Solve 21 - 1 = w*z for z.
4
Suppose y - 533 = -5*g + 11, 2*g + 3*y - 228 = 0. Let k be g/48 - (-2)/(-8). Solve -4 = -k*p + p for p.
4
Let q(g) = -3*g**2 + 1. Let k(d) = -10*d**2 - d + 2. Let n(o) = 2*k(o) - 7*q(o). Let y be n(-2). Solve -v + y = -2*v for v.
-5
Let h = -2 + 6. Solve -h - 1 = -v for v.
5
Let l(q) = q + 6. Let v be l(-3). Suppose -8*i = -2*m - 3*i - 6, i = v*m - 4. Solve -6 = b + m*b for b.
-2
Let x = -1 - 0. Let g be 2*x - (3 + 0). Let b(n) = -n**3 - 5*n**2 + n + 6. Let y be b(g). Solve 11 = 2*s + y for s.
5
Let x be (-4 + 7)*4/3. Suppose 25 = -x*l + 5*m, 18 - 3 = -4*l + 3*m. Solve -2*j + 8 = -l*j for j.
4
Suppose 4*f + 12 = d - 5, 4*f = -d + 9. Let l = 0 + 18. Let w = l - d. Solve -w*b - 6 - 4 = 0 for b.
-2
Let p = -18 - -48. Suppose -2*u - p = -8*u. Solve 2*x - u = 5 for x.
5
Let l be (-2 + -1)*5/(-3). Suppose 32 = l*k + 4*a + 8, 2*a + 2 = k. Suppose -2*i = -3*t + 16, -t + 2 = -0*t - k*i. Solve -t = -2*r + 2 for r.
4
Suppose -4*h + 52 = -4*f, 2*f - 7*h = -2*h - 41. Let o = f - -12. Suppose -r = r - 40. Solve 0 = -o*k - 0*k - r for k.
-5
Suppose 2 = -5*z + 82. Let x be 14 + 2/2 + -4. Let d = x - 6. Solve -y + d*y = -z for y.
-4
Let z be (-50)/(-3) - (-2)/(-3). Let x be (-1 + 1)/(1 + 1). Solve x*o = -4*o + z for o.
4
Let s(x) = -7*x**3 + x**2 + 2*x + 2. Let d be s(-1). Solve -3*p + d*p + 25 = 0 for p.
-5
Let c(q) = q**3 - q + 1. Let x(n) = -2*n + 1. Let m be x(-3). Let i(z) = z**2 - 7*z + 1. Let r be i(m). Let f be c(r). Solve -3*h = -f - 11 for h.
4
Suppose l = 2*r - 7*r + 15, -5*r = -3*l + 5. Let f = 12 - l. Let c = f + -4. Solve 5*s - c = 2 for s.
1
Let h = -11 - -13. Solve 2*o = o + h for o.
2
Let m = 1 + -1. Let j(l) = -l**2 - l + 4. Let g be j(m). Suppose -g*u = -0*u - 64. Solve -3*s + 4 - u = 0 for s.
-4
Let g(h) = -3 + 3*h**3 - 2*h**2 - 5*h**2 - 2*h**3. Let q be g(7). Let p be 1/4 + q/12. Solve 0 = -p*n + 5*n for n.
0
Let n = 6 - 4. Suppose -n*h = -5*h + 12. Suppose -110 = -b - h*b. Solve 3 = 5*r - b for r.
5
Let l(r) = -16*r**3 + 2*r**2 - r. Let s be (-4)/(-18) + (-7)/(-9). Let k be l(s). Let g be (-36)/k - 6/(-10). Solve -4*t + 3 = -g*t for t.
3
Let g = 2 + -9. Let m(b) = b + 12. Let n be m(g). Suppose 0 = -2*w + n*w. Solve -3*s - 6 = -w for s.
-2
Suppose 3*n = 5*y - 4*y - 4, -5*n = 0. Solve -y*k - 4 = -5*k for k.
4
Suppose -5*l + 0*h - 15 = -4*h, -5*h + 12 = -4*l. Suppose 3*w + 0 = -9. Let i be 1/((l/2)/w). Solve q + i = -0 for q.
-2
Suppose 3*f - p - 10 = 6, -4*p = -f + 9. Suppose 0 = -f*s + 7*s - 4. Solve n - 9 = -s*n for n.
3
Let p(j) = j**2 + 8*j. Let t be p(-8). Let s be (3 + -3 - t)/(-1). Solve s = -0*c - 3*c - 12 for c.
-4
Let t be (4/(-6))/(2/(-6)). Solve s = -t*s - 9 for s.
-3
Let y = -6 + 2. Let r(j) = 3 + 3 + 13*j - 12*j + 1. Let w be r(y). Solve -7*i + w*i - 20 = 0 for i.
-5
Let a(c) = -c**3 + c. Let b be a(0). Suppose b = z + 3*z - 4. Solve -5 = -2*l + z for l.
3
Suppose -4*i + 2*i + 56 = q, 0 = q + 4*i - 58. Let o be 248/18 + 12/q. Solve -1 = -5*x + o for x.
3
Let a = 32 + -22. Let v be (-2)/(-6) + 46/6. Suppose -5*y - v + 28 = 0. Solve -a = -y*s - 2 for s.
2
Suppose 3*q = q + 4. Suppose q*n - 4*o = 28, 5 = n - 5*o - 18. Solve -n = v + v for v.
-4
Let f(h) = -h**3 - 6*h**2 + 12*h + 10. Let p be f(-8). Let g = -22 + p. Suppose -4*o = -j - 17, -7 = -4*o - 5*j - g. Solve u - 6 = o*u for u.
-3
Suppose -4*x = 2 - 50. Solve 0 = 4*j - j + x for j.
-4
Suppose -2*s - 14 = -4*m - 4*s, -4*m - s = -13. Suppose -z + m = -2. Solve -8 = -z*q - 18 for q.
-2
Let o be ((-1)/3)/((-5)/1245). Suppose -2*m = -4, -5*m = 3*n - m - o. Solve 0 = -3*c - 2*c + n for c.
5
Suppose -2*o + 3*v + 11 = 2*v, v - 9 = -2*o. Solve 4*n = -n + o for n.
1
Let h(g) = 3*g**3 - 1. Let u be h(-1). Let c(m) = m**2 + 11*m - 16. Let w be c(-12). Let y = w - u. Solve y = -2*d - 1 - 5 for d.
-3
Let s = 23 + -23. Solve -3*g - g + 8 = s for g.
2
Let n(k) = k - 5. Let o be n(10). Suppose -5 = -3*j + 3*g + 1, -3*g - 12 = -o*j. Solve -j*m - 2 = 7 for m.
-3
Suppose o - 5*c - 9 = 0, 3*c = 3*o + 2*o - 23. Suppose -p - o*p = 0. Let k(x) = x**3 + 6*x**2 + 2. Let g be k(-6). Solve -b + 2*b - g = p for b.
2
Let b = -3 - -5. Let j be 8/(-5)*(-5)/b. Solve 3*k = j*k - 2 for k.
2
Let y be 22/5 + 8/(-20). Suppose y*c + 4 = 20. Solve 2*v - c*v = 0 for v.
0
Let d(y) = -17*y**2 + 2*y + 1. Suppose 4 = -2*b - z, 2*b - 5*z - 5 = 3. Let k be d(b). Let r be (-22)/(-18) - (-4)/k. Solve -j = -r + 2 for j.
-1
Let v = -9 - -9. Suppose v*i = -i + f + 5, -5 = -3*i + 5*f. Solve -g + i = 4*g for g.
2
Let g be 0 - 0 - (0 + -3). Suppose -g = -3*y - 0*y. Solve -a + 3 + y = 0 for a.
4
Suppose -3*o + 1 + 8 = 0. Let y be (-2 + (-6)/(-4))*0. Suppose 51 + y = 3*k. Solve o*t = -2 + k for t.
5
Let h be (-9)/36*2*-10. Solve h*z + 15 = -0*z for z.
-3
Let x = 6 + -1. Suppose x*c - 4*d = 2*c + 20, 3*d + 15 = c. Solve -3*t + 6*t = c for t.
0
Let i(q) = -q**3 - 15*q**2 + 16*q. Let g be i(-16). Suppose 9*d = x + 4*d - 24, 0 = 5*x + 4*d - 4. Solve g = r + 8 - x for r.
-4
Let i(l) = 2*l**2 - 13*l - 2. Let q be i(7). Solve 6*b - b = q for b.
1
Suppose u + 5 = 2*u. Solve 1 + u = -2*x for x.
-3
Let n be (0 + -12)/(3/(-2)). Let t be (-8)/(-12) + 2/6. Let j be t/((-3)/(18/(-3))). Solve 6*a + n = j*a for a.
-2
Let q be -5 + 2 - (1 - 4). Let k = -18 + 26. Suppose 4*n = -q*n + k. Solve 0 = -3*m - n + 11 for m.
3
Suppose 2*c - 4*h = -8, 18 = 4*h + 2. Solve -3*f = f - c for f.
1
Let s be ((-18)/(-15))/(2/10). Solve 0 = -s*m + 2*m for m.
0
Suppose 5*m + q - 1 = -4, 4*m - 2*q - 6 = 0. Solve o - 4*o = m for o.
0
Suppose 16 = -2*l + x + x, -2*x = -8. Let t be 74*(l/2)/(-4). Let s = t + -22. Solve -s = 2*q + q for q.
-5
Let q(j) = -5 + 2*j**2 - j**3 + 3 + 3 - 4*j**2. Let l be q(-1). Solve w + 2 = -l*w for w.
-2
Let p be (-7)/(-1) - (0 - 1). Let h be (0 - -4) + 1*-1. Suppose h*d - 4*d = 0. Solve -3*s - s + p = d for s.
2
Suppose -5*o - 16 = r - 