
-1
Let o(i) = -i + 1. Let x be o(-7). Let c = 17 + -12. Let t be -2 - -4 - (7 - c). Solve t*h + x = -2*h for h.
-4
Let i = 31 - 23. Solve -i*s = -4*s - 12 for s.
3
Let i = -417 + 425. Solve i*o = -o for o.
0
Let u(z) = -4*z - 17. Let d be u(-6). Solve -d*j - 13 - 1 = 0 for j.
-2
Suppose 3*j = -0*j - 90. Let k = 34 + j. Solve k*o = o - 15 for o.
-5
Let s = -6 - -46. Let o = 42 - s. Solve o*t = -5 - 3 for t.
-4
Let p be 0 - 4 - 144/(-18) - -12. Let s be -2 - 4/(-2)*1. Suppose s*x + 8 = 2*x. Solve -x - p = 5*h for h.
-4
Suppose -89*m = -94*m + 40. Let t(f) = -5*f + 43. Let w be t(m). Solve 0 = -5*z + w*z + 4 for z.
2
Let w be (-4 + 4)/(3*(-1)/3). Let t be 3*((0 - 0) + 1). Solve 3 = t*h - w for h.
1
Suppose 4*s - 25 = -5. Suppose 2*u + x + 9 = -2*x, 4*u + s*x + 13 = 0. Solve -u*f = -0*f + 15 for f.
-5
Let v(c) = 3*c**2 + 9*c - 1. Let h be v(-3). Let t be (2 + -1)*(h - -4). Solve -3*p = -t - 6 for p.
3
Let r be 1*-2 - (-18 - -12). Suppose 15 = -5*q, r*h - q - 23 - 4 = 0. Suppose -h*p + p = 0. Solve -5*s = -p*s - 25 for s.
5
Let h(v) = 139*v - 690. Let p be h(5). Solve -17 + p = 6*w for w.
-2
Let m(b) = -b**3 + 11*b**2 + 8*b + 54. Let z be m(12). Solve 42*f - 45*f = -z for f.
2
Let i(w) = 2*w**2 + 4*w + 3. Let x be i(-2). Let v = 16 - 10. Let z = v - x. Solve -z*c + 16 = -7*c for c.
-4
Suppose 3*n - 2 = 5*q - 33, 2*n = -2*q + 6. Suppose l = q*l. Solve l = -3*o - o + 4 for o.
1
Let v be 6*25/10 + 3. Suppose -8 = 2*k - v. Solve -5 = 5*l + k for l.
-2
Let q(b) = -20*b + 20. Let o(i) = -7*i + 7. Let t(d) = -17*o(d) + 6*q(d). Let s be t(-1). Suppose 21 = 5*l + 3*h - 27, 2*h = -5*l + 47. Solve l = a + s*a for a.
3
Suppose 4*s = -9 + 5. Let d be (-1)/2*(-13 - s)/2. Solve d*a - 6 = -3 for a.
1
Suppose 5*n - 6*b - b = 131, 3*n - b = 69. Solve 9 = -n*u + 25*u for u.
3
Let d be 12/(-4) + (1 - -1 - 79). Let b = d + 89. Suppose 2*m - 4 = -0*m. Solve 0 = t + m*t + b for t.
-3
Let t(a) = 2*a - 5. Let q be t(4). Let h = -165 + 169. Suppose d = -h, q*d + 36 = 5*j - d. Solve 3 = j*m - 5 for m.
2
Let h be (4/8)/((-4)/(-8)) - -44. Let j = h + -41. Solve -j*k = -6*k + 8 for k.
4
Let l(w) = 8*w - 7. Let u(p) = -9*p + 8. Let a(h) = -5*l(h) - 4*u(h). Let q be a(9). Let r be (-270)/q + (-4)/22. Solve -n + r = -3*n for n.
-4
Suppose -5*p + 31 = -3*m, -2*m - 3*p - 3 = 5. Suppose 4*t - 3 - 1 = 0. Let y be (t*6)/(-6 - m). Solve 0 = -y*r + r - 10 for r.
-2
Let x = 2 + 10. Suppose 2*p + 11*p - 156 = 0. Let k be 15/x - 3/p. Solve -k - 5 = -3*y for y.
2
Let n(m) = 3*m + 8. Let f(d) = -d - 1. Let k(b) = -4*f(b) - n(b). Let c be k(6). Let g(y) = 7*y**2 - 16*y - 15. Let q be g(-1). Solve c*p + 0 = q for p.
4
Suppose 4*d = 17 - 17. Solve -4*l + 8 = -d for l.
2
Let x = -9 + 11. Suppose 4*c + c - x*l = -6, 0 = 2*c + 4*l - 12. Let y(r) = -r**2 + 6*r - 3. Let b be y(5). Solve c*i = b*i for i.
0
Let b(s) = -s**2 - 10*s + 17. Let q be b(-11). Suppose -12 = -q*z - 0*z. Solve -z*n - 2*n = 0 for n.
0
Let v(o) = 17*o + 105. Let c be v(-6). Solve 0 = -p - c*p for p.
0
Suppose -4*c = -4*d + 86 - 10, -d - 2*c + 22 = 0. Solve d*n + 30 = 14*n for n.
-5
Let k(z) = 2*z**2 + 11*z + 26. Let x(q) = -q**2 - 6*q - 13. Let n(v) = -2*k(v) - 5*x(v). Let r be n(-6). Solve 2*d = 3 + r for d.
2
Let x = 13 - 9. Let t be -2 + 4/((-4)/(-5)). Let m be ((-10)/x + t)*8. Solve -d - m = d for d.
-2
Let t be 3/(-9) + 14/6. Suppose s - 5*m - 22 = -3*s, -2*s + 10 = -2*m. Solve s*q = t*q for q.
0
Let k(f) = -f**3 + 9*f**2 - 13*f - 9. Let v be k(7). Let h be (-2)/v + 2 - 2*1. Solve 11 = -3*g - h for g.
-4
Let y = 37 - 17. Suppose -8 = 6*f - y. Solve x = f*x for x.
0
Let o(m) = -7*m**3 - 7*m**2 - 7*m - 12. Let i(p) = 1 + 2*p + p**2 + 0*p - p**3 - p + 2*p**3. Let q(j) = -6*i(j) - o(j). Let a be q(0). Solve 2 = 4*s + a for s.
-1
Suppose -21 = -l + 4*q, 0*q + 3*q + 32 = 4*l. Let p = l + -5. Suppose -k - 9 = -4*k. Solve p = j + 1 + k for j.
-4
Suppose 126*m + 80 = 128*m. Solve -14*p + 6*p - m = 0 for p.
-5
Let s(y) = -11*y - 21. Let o be s(-3). Solve -o = 2*j + 2*j for j.
-3
Let c = -9 + 22. Suppose 6*b - 5 = c. Solve -b*h + 7 = 22 for h.
-5
Let m be 288/480*140/2. Solve -36*w + m*w = 6 for w.
1
Let y(n) = -n**3 - 4*n**2 - 4*n - 1. Let o be y(-3). Suppose 13*d = o*d - 0*d. Solve -3*c = -d*c - 12 for c.
4
Suppose 9 = 2*b - 4*a - 21, 4*b + a = 15. Suppose 5*w - 2*u - 11 = 2*u, -4*u = 5*w - 19. Suppose -6*v = -4*v - 4. Solve b = v*f + w for f.
1
Let n be 3/(-2)*(-256)/24. Solve 12*g + 4 = n*g for g.
1
Let y be 11/(198/(-96))*(-3)/2. Solve 2*c + y*c + 50 = 0 for c.
-5
Suppose -t + 2 = t. Let g(o) = o**3 + 3*o**2 - 6*o - 5. Let i be g(-4). Suppose -c - 4 = -3*b, -i*b - c + 1 = -13. Solve b*v - 14 = t for v.
5
Suppose 0*w + 36 = -2*w + 4*t, -3*w = -2*t + 38. Let l be -2*((-25)/w - 3). Solve -2 = p - l for p.
-1
Let u(t) = -t**3 - 6*t**2 + 72*t + 8. Let s be u(-12). Solve 8 = -s*o - 0 for o.
-1
Let q(g) = g**2 + 7*g - 8. Let h be q(-8). Let o = -103 - -154. Let n be 2/(-20) + o/10. Solve h = -w + n*w for w.
0
Suppose 8*s - 4 = 6*s. Suppose h = -m + 18, s*h - h = 5*m. Solve 2*y + 3*y = h for y.
3
Suppose 215 = 40*d - 105. Solve 2*j - d*j - 30 = 0 for j.
-5
Suppose 0 = 4*j - 9*j + 25. Suppose -7*b = -3*b - 8. Let f = b + -2. Solve f = -4*q + j*q + 5 for q.
-5
Let c(w) = -8*w + 291. Let k be c(36). Solve 0 = k*r - 9 for r.
3
Let o = 20 - 21. Let i = 5 + o. Suppose -4*w + 5 = i*d - 7, 0 = -4*w - d + 3. Solve w*r = 2*r for r.
0
Suppose 19 = 12*t - 65. Suppose 4*c = -t*c + 11. Solve 0*v - c = v for v.
-1
Let f = -4 + 4. Suppose 20*c - k = 15*c + 30, 0 = 2*c - 3*k - 12. Solve f = -c*r + 3*r + 15 for r.
5
Let l(u) = -3*u + 23. Let p be l(0). Let r = -20 + p. Solve -r = -3*v + 6 for v.
3
Let a(i) = -32*i - 221. Let x be a(-7). Let r(p) = -p**2 + 9*p. Let n be r(9). Solve n = -x*m - 0*m for m.
0
Let a(t) = t**2 - t - 1. Let r(z) = z**3 - 8*z**2 + 7*z - 2. Let q(y) = -2*a(y) + r(y). Let o be q(9). Solve -3*k + 5 + 1 = o for k.
2
Let b(c) = c**3 + 9*c**2 - 13*c - 24. Let l be b(-10). Solve -3*t - 6 = -l*t for t.
2
Let m(l) = l + 5. Let n be m(-5). Suppose -g = 5*d + 15, -2*g = -g + 3*d + 9. Let i = g - -6. Solve 0 = -2*a - n*a + i for a.
3
Suppose 2*b + 5*c - 42 = 0, 3*c + 2*c = -b + 16. Let g = 26 - b. Solve -3*q = -g*q for q.
0
Let f be ((-5)/(-10) - 7/(-2))/1. Let z be 3 - 9/15 - f/10. Solve 0 = -3*x + z*x + 5 for x.
5
Let z = 32 - 7. Suppose -t = -6*t + z. Suppose -3 = -t*m + 6*m, 15 = 4*r - 5*m. Solve 2*i = -r*i for i.
0
Let a(u) = -u**2 - 9*u - 9. Let l be a(-7). Suppose -2*t + 0*t = -w + 14, -2*t = 2*w - 10. Solve -w = c - l*c for c.
2
Let f(p) = p**3 - p - 3. Let i be f(3). Solve -10*c + 3*c - i = 0 for c.
-3
Suppose -p + 15 = i, -5*i + 33 = 2*p - 27. Solve -2*h - 3*h = -i for h.
2
Let q(y) = y - 4. Let o be q(6). Suppose 4 = -4*t + 4*n, -3*t + 2*n + 0*n = o. Solve 0 = -t*u + 5*u for u.
0
Suppose 20 = -2*f - 3*f. Let r be (2 - 5)/(3/f). Suppose -r - 56 = -4*h. Solve u + h = 6*u for u.
3
Let h = -554 - -557. Solve 13 = -h*d + 25 for d.
4
Let z be (-1 + 43)/(4 - (1 - -1)). Let y = -12 + z. Solve -2*w = w + y for w.
-3
Let u = -20 - -27. Let p = u - 7. Solve -3*d + 7 - 1 = p for d.
2
Let s(l) = -l**2 - 8*l - 11. Let k(z) = -z**3 + 5*z**2 - 6*z. Let f be k(4). Let v be s(f). Let m = v - -13. Solve -6 = -0*x + m*x for x.
-3
Let h be (5 - (-4)/(-1))*5. Suppose 4*w + h*f + 65 = -9, 52 = -2*w + 5*f. Let o be -4*(w/6 + 3). Solve 0 = o*u + 3*u - 5 for u.
1
Suppose 0*c = 3*c - 5*c. Suppose 5*g - 10 + c = 0. Solve 3*o = 5*o + g for o.
-1
Let v(g) = 14*g**2 - g - 5*g - 15*g**2 - 3 - 4*g. Let a be v(-9). Solve -a + 0 = 3*j for j.
-2
Let t(z) = -21*z - 50. Let n be t(-3). Let c be 2/(2 + -1 - -1). Let l be 3 + -7 - (-24)/3. Solve l*a + n = c for a.
-3
Suppose 29*f + 521 = 1826. Solve 3*x - f = -51 for x.
-2
Suppose 2*l + 17*a = 15*a - 8, 5*l - 4*a - 16 = 0. Solve l = -7*b + 6 + 15 for b.
3
Suppose 4*b + 5*k - 31 = b, -2*b - 3*k + 19 = 0. Suppose -b*r - 2*r = -12. Solve -y - 8 = -r for y.
-5
Let x be (-7)/(-4) - (-1)/4. Suppose -4 = -3*b + 2*b, 5*l - 49 = -b. Suppose -l*t = -19*t. Solve 3*j + 8 - x = t for j.
-2
Let a(l) = 2 + 7 - 6 + 3*l. Let t be a(6). Suppose -4*g - 5 = -t. Solve 2*v + 0*v = -g for v.
-2
Let m be 1/(6 - 33/6). Solve -m = u - 4 for u.
2
Let w = 14 - 13. Let r be (-48)/(-12) + (w - 0). Let q be -2*(1 + (-3)/2). Solve -3*y = q + r for