-1). Solve 2*x + s*x = 40 for x.
2
Let g be 1 + 0 + 1*2. Suppose 0 = 70*h - 72*h + 6. Suppose 2*v + 8 = -2, -h*p + 26 = 2*v. Solve -3 - p = -g*q for q.
5
Let o = -13 - -15. Suppose i + 5*y = 23, -i - i - o*y = -22. Suppose 3*m - i = -m. Solve f - 2 = m*f for f.
-2
Let k be (0 + -3 - (-7 - 59)) + 3. Let l = 76 - k. Solve -4*q - l = -2 for q.
-2
Suppose -s - 3*s = 4. Let m(i) = 3*i**2 - 1. Let w be m(s). Suppose w*j = -2*d + 7 + 1, 0 = -4*j + 4*d. Solve 0 = -j*k + k for k.
0
Let y = 41 + -40. Suppose 5*r = -5*j + y + 94, -36 = -2*j - 4*r. Solve -3*u - j = u for u.
-5
Let q(r) = -r**3 - 2*r**2 + 2*r + 2. Let f be q(-2). Let y be (4/(-8))/(f/(-192)). Let u = -29 - y. Solve 4*v + u = -1 for v.
-5
Let o be 50/(-1 + 2) + -3. Let g = -30 + o. Suppose 0 = -u - 2*r + 15, -5*u - g + 52 = 2*r. Solve u - 7 = q for q.
-2
Suppose -5*k + 6*k - 8 = 0. Let m be (-4 + k - 5)*2. Let p be (2 + -3)/(m/40). Solve 2*b = 6*b - p for b.
5
Let c = -18 - -20. Solve -4 - 4 = -c*g for g.
4
Suppose 0 = j + 3, -2*w + 23 = -4*j + 1. Suppose 0 = w*v + 49 - 64. Solve v*z = -z for z.
0
Suppose 5*z = -2*k + 40, -5*z + 4*k = -2*z - 50. Suppose 0 = -z*q + 8*q + 4. Solve 0*x + 2*x = q for x.
1
Suppose -19*f + 2013 = 1975. Solve 7*z = f*z for z.
0
Let g = -18 + 22. Solve -g*a - 25 + 5 = 0 for a.
-5
Let n be 99/24 - (-2)/(-16). Suppose -12 = -n*i + i. Suppose 3*l = i*l. Solve l = 5*o - 5 for o.
1
Let s = 37 + -43. Let l = 11 + s. Let u = 22 - 12. Solve -u = 3*v + l for v.
-5
Let l(p) = -p**2 + 55*p - 725. Let i be l(25). Solve -5*m = -50 + i for m.
5
Let i(b) = -15*b - 283. Let j be i(-19). Solve -2*q = 8 - j for q.
-3
Suppose 3*b - 40 = 14. Solve -10 = 4*x - b for x.
2
Let b(x) be the first derivative of x**2/2 + 6. Let d be b(2). Suppose 4*i = 2*j + d, -3*j = 3*i - 9 + 3. Solve i - 6 = 5*m for m.
-1
Let j(d) = -d**3 + 12*d**2 + d - 8. Let s be j(12). Suppose s*k = -8*k. Solve 2*t = -k + 2 for t.
1
Suppose 0 = -69*n + 73*n - 8. Suppose -2 = -n*b + 6. Solve -b*p - 4 = -12 for p.
2
Suppose n = 6*n + 15. Let i = 6 + n. Suppose -7*w = -6*w - i. Solve -2 + 11 = w*c for c.
3
Suppose 0 = -o - 7*d + 2*d - 3, -4*o - 5*d + 3 = 0. Suppose 38*c = -0*c + 684. Solve 4*f - c = -o for f.
4
Suppose 3*p = 44 + 43. Suppose -28*r = -p*r + 3. Solve -r*t + 0 = 3 for t.
-1
Let q(u) = 5*u**2 + 7*u - 19. Let g be q(4). Solve x - 87 = -g for x.
-2
Suppose 0 = 19*n - 21*n + 8. Suppose n*k + 2*s + 10 = 0, 3*k = -2*s + s - 5. Solve u + u + 6 = k for u.
-3
Suppose -2*l = 3*s - 1, 9*l - 3 = 8*l + s. Solve 0 = -l*m + m + 3 for m.
3
Let t(n) = -n**3 + 9*n**2 - 9*n + 13. Let l be t(8). Solve -l = 11*c + 17 for c.
-2
Let m(p) = 9*p + 69. Let l(i) = 4*i + 17. Let b be l(-6). Let g be m(b). Solve -z = 2*z - g for z.
2
Let v be (-312)/30 - 4/(-10). Let g = v + 13. Suppose -2*o = -g - 1. Solve -o = 2*y + 6 for y.
-4
Let z(a) = a**3 - 5*a**2 + 4*a + 2. Suppose 3*h + 1 = 7. Suppose -h*t = -3*t + 4. Let f be z(t). Solve f*x - 4*x - 4 = 0 for x.
-2
Let l = 1259 + -1259. Suppose 3*i = -2*j - 0 - 7, 0 = j - 5*i - 29. Solve s + j*s + 5 = l for s.
-1
Suppose 4*q - 3*s = s + 8, -8 = q + 4*s. Suppose -3 = -3*p - q*p. Solve -4*r - 15 - p = 0 for r.
-4
Let g be (-3154)/(-6) + -6 + (-16)/(-3). Solve g - 524 = -o for o.
-1
Let r be (-8)/10 - (9 + (-4104)/30). Solve r*i + 3 = 130*i for i.
1
Let s = -219 - -238. Solve 16*a = s*a for a.
0
Let x be (-146)/(-10) - 136/(-340). Solve 20*l = x*l for l.
0
Let v be 2 - 2 - (-4 + 0). Let n(o) = 10*o**2 - 27*o - 281. Let r be n(7). Solve -r + v = 4*f for f.
-4
Suppose -3*l - z + 13 = -2*z, 2*l - 5*z = 13. Let s be l*((-21)/(-12) - 1). Let h = 19 - 17. Solve -1 = -h*g + s for g.
2
Suppose -2*k + 9 = -7. Let p be 45/18 - 1/(-2). Suppose -p*d = -4 - 11. Solve d*u = k*u for u.
0
Let j be (-10)/(-25)*5/1. Suppose 0 = -l + 4*n - 19, 3*n = 4*l - 5*l + 16. Let v be 0/(-2*l/j). Solve -t - 2*t + 12 = v for t.
4
Suppose -t = -5*t - 128. Suppose -7*q + 371 = 126. Let z = t + q. Solve -z + 0 = -f for f.
3
Suppose 132 = 23*k - 29. Solve -k*n + 11 - 46 = 0 for n.
-5
Let p be (-73)/(-2) + (-3)/(48/(-8)). Suppose 3*b - 8 = p. Suppose -8*l = -3*l. Solve 5*s = -l + b for s.
3
Let l(n) = 11*n**2 + n + 1. Let s be l(-1). Let w be 34/8 + 90/120. Solve s = w*k - 9 for k.
4
Suppose -3*t + 4*u - 163 = 0, 5*t - 3*t - u + 102 = 0. Let x = t + 51. Solve b = -b + x for b.
1
Suppose 2*p - 25 = -3*p. Suppose -5*b - 1 - 24 = 0. Let j = b + p. Solve -5*u + 4*u + 1 = j for u.
1
Let g(a) = -a - 5. Let p(q) = -2*q - 11. Let f(y) = -5*g(y) + 3*p(y). Let j be f(-14). Suppose 0 = -3*w + j - 0. Solve -m = -0 - w for m.
2
Let h(u) = 4*u - 14. Let o be h(4). Suppose -9*y + o*y + 35 = 0. Solve 3 = -y*j + 23 for j.
4
Let r = -269 + 270. Solve -17 = -4*f - r for f.
4
Let x = -17 - -17. Suppose -r + x = 1. Let g be (-1)/(r/(-2)) + 2. Solve g = -2*n + 4*n for n.
0
Suppose 7*u - 3*u = -h + 79, 5*h = -5. Let y(s) = 2*s + 51. Let k be y(-21). Suppose -k*q = -3 - 15. Solve u = 2*r + q*r for r.
5
Let k(u) = -5*u + 28. Let i be k(5). Suppose -5*x + 2 = -i. Solve -3*m + x - 7 = 0 for m.
-2
Suppose a - 12 = -2*a. Let f = 595 - 590. Solve f*u = a + 1 for u.
1
Let z(n) = -643 + n - 2*n + 659. Let k be z(-5). Solve -k + 6 = 3*b for b.
-5
Suppose 37*w = -6*w + 172. Solve -w*t - 8 = -6*t for t.
4
Let p = 3 + 0. Let y(g) = -g**3 + 17*g**2 + 16*g + 36. Let b(c) = -3*c + 9. Let x be b(-3). Let w be y(x). Solve -4*o + o + p = w for o.
1
Let t(v) = -17*v + 9*v**2 + 24*v + 2*v**3 - 11*v + 7. Let k be t(-5). Solve 2 = g - k for g.
4
Let j = -42 - 45. Let q = 105 + j. Solve -6 + q = -3*h for h.
-4
Let m(g) = -4*g + 4 + 2*g + g. Let o be (6/4)/3*0. Let w be m(o). Solve -3*d = w - 1 for d.
-1
Let q = 815 - 813. Solve -q*t - 5*t = -28 for t.
4
Suppose -5*l - 35 = -5*s, 3*l + 2*s + 0*s = -36. Let b be 66/15 - -2*2/l. Solve 0 = b*r + 6 - 26 for r.
5
Let b be (-60)/8*(-2)/3. Solve -b*u + 3*u = 0 for u.
0
Let s = -21 + 29. Suppose -3*j + 4*y = -s + 1, -2*j - 5*y + 20 = 0. Solve -4 = j*z - 3*z for z.
-2
Let c(i) = 3 + i**2 + i + 2 - 4. Let j(s) = 3*s**2 + 7*s + 8. Let y(x) = 4*c(x) - j(x). Let v be y(5). Solve n + v - 1 = 0 for n.
-5
Suppose -3*d = 5*q - 22, d - 3 = 3*q - 5. Let b be 0 + (d - 3)*2. Let u be 12/7 + (-18)/(-63). Solve 0 = b*w + u*w for w.
0
Let j be (-1 + 5)*3 - 4. Let n be 1 + 1 - (5 - 1). Let b be (n + 4 + -14)*-1. Solve 5*v + b = -j for v.
-4
Let r = 9 + -8. Let t = r - -4. Let l be 21/((2 - t)/(-1)). Solve -2*n + 3 = -l for n.
5
Suppose 4*z = -2*f, -5*f - 10 = 10. Suppose z*m = a + 1 - 10, 4*a + 4*m = 0. Suppose 5*u = -5*y, 0 = 4*y - a*u + 2*u - 20. Solve 11 = -y*n - 9 for n.
-5
Let z = -227 + 234. Solve 5*p = -8 - z for p.
-3
Let r(y) = -y**3 + 5*y**2 + 40*y - 126. Let z be r(3). Solve 11 + 13 = z*f for f.
2
Let h = 5 + -5. Let z be 6 + 1 + (-1 - 1 - h). Solve 29 = -z*c + 4 for c.
-5
Let g = 5 - 0. Let w = 28554 + -28545. Solve -4*x + w*x = -g for x.
-1
Let p = 18 + -10. Let b = p + -4. Solve -3*u + 5 = -b for u.
3
Suppose -19*d = -101 - 32. Solve -d*m - 11 = 3 for m.
-2
Suppose 3*i + 3*z - 18 = 0, -21 = 3*i + 5*z - 45. Solve -9*d - 3 = -i for d.
0
Let x be ((-5)/3)/((-295)/708). Solve 10 = -x*s + 2*s for s.
-5
Let q(x) = x**3 - 3*x**2 - 4*x + 4. Let z(n) = n**2 - 1. Let g = -2 - -1. Let s(k) = g*q(k) - 6*z(k). Let m be s(-4). Solve -h = m*h for h.
0
Suppose 2*q - 8 = -l - 0, -2*q - 2*l + 8 = 0. Solve -1 = q*m + 3 for m.
-1
Suppose 0*m - 2 = -m. Let t(h) = -h**m + 5*h - 5*h**2 - 1 + 5*h**2. Let d be t(4). Solve -2*r + d = 9 for r.
-3
Suppose 23 = -4*b - 1. Let n be ((-16)/b - 2)/(8/12). Solve 0 = x + 2 - n for x.
-1
Let r(g) = g + 13. Let x be r(-9). Solve -11 = -x*l + 1 for l.
3
Let a(p) = -3*p**3 + 2*p**2 + 3*p + 1. Let w be a(-1). Suppose -3*x + 67 = 5*q, 3*x + 14 = 2*q + x. Suppose -13 = -3*s + q. Solve -v - w*v = -s for v.
2
Let b = 70 - 62. Solve -b*f + 3*f = -5 for f.
1
Suppose 6*d + 33*d - 156 = 0. Let n(w) be the third derivative of w**4/4 - 2*w**3/3 - w**2. Let b be n(4). Solve -b = d*a + a for a.
-4
Suppose 2*c - 45 = -13*c. Solve 4*q - 7 = -c for q.
1
Let r = 876 + -864. Solve 3*k = -0 + r for k.
4
Suppose -8*g - 420 = -468. Solve g*p + 6 + 0 = 0 for p.
-1
Suppose 69 = 3*q - 3*g, 4*q + 3*g - 113 = 14. Solve -q*v + 31*v = 15 for v.
5
Let q = 7 + -6. Let m be q*(0/(-4))/2. Solve -2*k + 3 + 3 = m for k.
3
Suppose 28 = 4*o - 4*b, -2*b = -b