for s.
5
Suppose y + 14 = 2*i - 0*y, -4*i = -4*y - 20. Suppose 3*w - i - 9 = 0. Solve 0 = -2*c - 0 - w for c.
-3
Let o be (-5 - -1) + (-2 - -3). Let b be (28/o)/((-10)/15). Solve 2 = -3*c + b for c.
4
Let s(q) = -23*q**2 + 92*q. Let l be s(4). Let w(p) = p**2 + 3*p - 3. Let o be w(-7). Solve l = 5*r + o - 5 for r.
-4
Let y = 4 - 6. Let v(o) = 2*o + 3*o**2 + 6*o**2 - 7*o**2 - 2 + 0*o**2. Let j be v(y). Solve -5*n - 7 = -j for n.
-1
Suppose 0 = -30*x - 3*x + 1320. Solve -8 = x*j - 44*j for j.
2
Let r = 38 + -20. Solve r*z - 15*z - 3 = 0 for z.
1
Suppose -9 = 3*l - 0*l. Let u = l - -3. Let n be 1 + (-10 - -26)/4. Solve n*y - 15 + 35 = u for y.
-4
Let m(z) = 15*z - 1. Let o(y) = 15*y - 1. Let u(b) = -4*m(b) + 3*o(b). Let a be u(1). Let h = a + 20. Solve -3*v - h = 3 for v.
-3
Let n be -4 + (-369)/(-3) - -2. Suppose -4*g + n = 113. Solve -3*p = g*p - 25 for p.
5
Suppose 4 + 12 = -4*o. Let t be 1 + -1 + -1 - o. Solve -t = -g - 1 for g.
2
Let x(m) = -m**2 - 19*m + 23. Let w be x(-20). Let t = 1 + 0. Solve 2*q = t - w for q.
-1
Let m(w) = -w**2 - 10*w - 21. Let h be m(-7). Suppose -5*q + 4*p = -3, -q - 3 = -2*p - h. Solve 2*o + q*o = 5 for o.
1
Let d(g) = 2*g**2 - 13*g - 9. Let m be d(7). Let p be (120/70)/(m/(-7)). Solve 5*o = 3*o - p for o.
-3
Suppose 3*a - 2*p - 1 = 0, 0*a - 4*a - 2*p = -20. Solve a*x - 5 = -2*x for x.
1
Suppose 6*l = -3*l + 4*l. Suppose -t - 4*t = l. Solve 4 = n - t*n for n.
4
Let z be 27/18 + (-6)/(-4). Suppose 70 = 5*j - z*o, -5*j - 4*o + 45 = -2*o. Suppose 4*h + 7*t - 3*t = 4, t = 3*h - j. Solve 4*p = -15 + h for p.
-3
Let p be (7 + -1)*6/9. Solve -7*c - 4*c = -p*c for c.
0
Let s(i) = 2*i**2 - 4*i + 3. Let q be s(2). Let y be 9 - (0/(-1 - q) + 3). Solve y*h = 4*h - 2 for h.
-1
Let x(y) = 2*y**3 + 15*y**2 + 7*y. Let i be x(-7). Solve -30*g + 39*g - 18 = i for g.
2
Let q = 25 + -17. Solve -7 - q = 5*u for u.
-3
Suppose 5*p = 2*i + 14, i + 5*p - 25 + 2 = 0. Suppose -i*j - 10 = -28. Solve 4 = 5*s - j for s.
2
Let p be 1 - -1 - (-14)/2. Let b = -6 + p. Let n = 198 - 196. Solve -n*v = -v + b for v.
-3
Let x be (6 + -4)*1*2. Let a(o) = -2*o - 18. Let r be a(-13). Suppose 3*c - r*c + 5 = 5*p, -4*p = -4*c + x. Solve p*s + 3 = 3*s for s.
1
Let g = -47 + 49. Suppose -2 + 6 = -4*q. Let k(l) = -4*l**3 + l**2 + l + 1. Let r be k(q). Solve 3*x = -g*x + r for x.
1
Let w(g) = -7*g - 11. Let k be w(-5). Suppose -k + 20 = -4*c. Solve 3*z + c = 4 for z.
1
Suppose 36 = -16*t + 17*t. Let s be (6 - 0)/(t/24). Solve s*j - 6 = j for j.
2
Suppose 0 = -2*t + 1 + 7. Suppose 3*n + 16 = 8*n - t*p, -5*n + 2*p + 18 = 0. Let z be (1 - -2)/((-2)/(-6)). Solve l = n*l + z for l.
-3
Let u(l) = l**3 - 6*l**2 - 3*l + 3. Let w be u(6). Let v = w - -14. Let a be ((-15)/(-30))/(v/(-4)). Solve 0 = r - a - 2 for r.
4
Let n(s) = 13*s**2 + 11*s + 7. Let c be n(-2). Solve -4*h + 21 - c = 0 for h.
-4
Suppose -2*c = a - 2*a + 65, 93 = -3*c - 3*a. Let s = c + 35. Solve s*g = 6 - 21 for g.
-5
Let h = 4 + -3. Suppose -5*a + 14 = -h. Solve -a*z - z = 0 for z.
0
Let s = -1638 + 1643. Solve -38 = -s*l - 28 for l.
2
Suppose 272 - 78 = -2*k. Let q = k - -97. Solve q = -r - 3 for r.
-3
Let o(v) = -v**3 + 8*v**2 + v - 4. Let m be o(8). Let z(t) = 3*t**2 - 3*t + 2. Let n be 4/(-14) + (-96)/(-42). Let p be z(n). Solve 0 = -0*f - m*f - p for f.
-2
Suppose -154 = -7*z + 21. Let l be (z/10)/(2/4). Solve 3*y + l = 14 for y.
3
Suppose -9*v + u + 19 = -7*v, 0 = 3*v - 2*u - 26. Let b = -7 + 11. Suppose -b*m + 3 = -5. Solve -2*x - m*x + v = 0 for x.
3
Suppose 0 = 3*p - 4*s - 79, p + 4 = -5*s + 5. Let l = 8 + -3. Suppose -3*y = y + l*u, y + 3 = -2*u. Solve -y + p = 4*t for t.
4
Let n(j) = -56*j**2 - 2*j. Let k be n(1). Let r = 58 + k. Solve r = -4*b + b - 3 for b.
-1
Let d(u) = u**3 + 2*u**2 - 3*u - 3. Let h be d(-2). Suppose -r = 2*r + h*v - 21, 4*r - 3*v = -7. Suppose -r*l = l - 12. Solve l*j = -j + 5 for j.
1
Let d(v) = 4*v - 7. Let a be d(6). Suppose -36 = -47*t + 35*t. Suppose 2*s = -b - 4*b + a, t*b - 15 = -2*s. Solve 4*g = -s - 2 for g.
-2
Let d(u) = 58*u**2 + 3. Let b(n) = -19*n**2 - 1. Let o(a) = 11*b(a) + 4*d(a). Let c be o(1). Suppose 3*t = -4*x + c + 1, -4*x = -t - 13. Solve -p + t = 5 for p.
-2
Let u be (1 - (-3)/(-6)) + (-5)/(-2). Solve -i + 4*i = u for i.
1
Let x be 2/(-6)*(6 + -27). Let u be 6 - x - (3 - 0). Let h be ((-40)/15)/(u/6). Solve 3 + 5 = -h*w for w.
-2
Let b(t) = -t**2 + 6*t + 11. Let l be b(7). Suppose l*k - 137 = -53. Solve k = -5*h - 4 for h.
-5
Let m be (-2)/3*(-1 + (-1)/2). Suppose 42 = 3*c - 3*u, -c = u + m - 5. Solve -c*s = -4*s - 25 for s.
5
Let o = -392 - -419. Solve 12*y = -33 - o for y.
-5
Let v be 1/3 + (-355)/(-15). Let m be 6/(-10) + v/(-10). Let w be 4*(m - 34/(-8)). Solve w*n - 6*n = 5 for n.
-5
Let w(d) = -d**2 + 18*d - 30. Let l be w(16). Let m = 2 + l. Solve k = -k - m for k.
-2
Suppose -5*c - 15 = 0, 2*u - 2*c = u - 6. Let p = 15 + u. Suppose -5*g - 10 - 8 = -4*m, 2*g = p*m - 10. Solve t - 4 = -m for t.
2
Let t(i) = -57*i + 25. Let o be t(0). Solve -6*k - o = -k for k.
-5
Let p(g) = -g**2 - g + 3. Let i be p(-3). Let h(c) = c + 4. Let m be h(i). Solve w + 0 = -m for w.
-1
Suppose 117*n - 120*n + 12 = 0. Solve n*h + 18 - 2 = 0 for h.
-4
Suppose -5*u = -j + 2*j - 39, -4*u - 8 = -2*j. Let c = j + -11. Solve -q = -c*q for q.
0
Suppose -6 + 1 = -3*s - w, -w = s + 1. Solve -q = s*q + 4 for q.
-1
Let g = -7 + 7. Let q = -2052 + 2053. Solve -2*l + q + 1 = g for l.
1
Let x(g) = -2*g**2 + 9*g. Let q be (-3)/2 - (-33)/6. Let a be x(q). Suppose -i = -2*i - a*j + 25, -5*i + 2*j = -15. Solve -i*d = -d for d.
0
Let y(u) = -u**3 - 2*u**2 + 4. Let m = -56 + 54. Let z be y(m). Solve 0*h = z*h for h.
0
Let g be (-2)/7 + 4/14. Let x = -874 - -889. Solve g = d + 2*d - x for d.
5
Let m = -834 - -837. Let z be 2/(-3) - 186/(-9). Solve z = -2*k - m*k for k.
-4
Let i = -19 + 31. Let b = i + -8. Let f(p) = p**3 + 12*p**2 - 216*p + 97. Let u be f(-22). Solve b*w + 25 = u*w for w.
5
Let v(g) = g**3 - 4*g**2 - 14*g + 14. Let x be 56/10 - -1 - (-120)/(-200). Let k be v(x). Solve -a + k - 5 = 0 for a.
-3
Let u be ((-15)/(-10))/((-6)/(-16)). Let m = -2 + u. Suppose 0 = -8*p - 0*p + 16. Solve p*s - 8 = -m*s for s.
2
Let x = 31 + -26. Suppose -96 + 31 = -x*b. Suppose b - 4 = 3*c. Solve -j + 0 = -c for j.
3
Suppose 2*g = -6*g + 120. Solve -5*f + 2*f - g = 0 for f.
-5
Let j = 1216 - 1194. Solve j*r = 5*r - 85 for r.
-5
Let p = -20 + 24. Suppose 4*s = -2*x + 3*s + 8, 4*x - 16 = p*s. Solve 0 = -x*q - 4 - 4 for q.
-2
Let n be (6 - 6)/((-6)/6). Suppose -v + 15 = -f, -32 = -4*v - 2*f - 2. Solve n = 3*b + v - 4 for b.
-2
Let k = 11 - 10. Let b be k + 3/(-4) + 2/(-8). Solve b*c + 2 = c for c.
2
Let y = 3 + -5. Let s be (y + 1)*(-2 + 2). Let u(h) = -14*h + 2. Let q be u(-1). Solve 3*l - 7*l + q = s for l.
4
Let f(v) = -v**3 - 3*v**2 - 3*v - 1. Let g be f(-3). Let s be 5 - (6 + -5 + 0). Let z = g - s. Solve -z = 2*c - 12 for c.
4
Let y(b) be the second derivative of b**3/6 + 3*b**2 + 9*b. Let h be y(-6). Solve h = -0*c - 3*c for c.
0
Let y(b) = -6*b - 13. Let n = 33 + -37. Let z be y(n). Let h(c) = -c**2 + 11*c + 3. Let q be h(z). Solve 1 + q = 2*o for o.
2
Let u be (-5)/2*-7 + (-5)/2. Solve -11*g + 8*g - u = 0 for g.
-5
Suppose -161*c + 28 = -157*c. Suppose -c*a - 2*a + 36 = 0. Solve 0 = -a*n - 1 - 19 for n.
-5
Let f = -7 + 26. Suppose 4*p + 4*c = 2*c - 24, 0 = -5*p + 3*c - f. Let l be (-16)/(-10)*p/(-2). Solve -l*i - 3 = -19 for i.
4
Let i = -261 + 264. Solve 0 = -b + i*b for b.
0
Suppose -20 = 5*j, 0*p - 12 = 2*p - 2*j. Let t be p - -11 - 2/2. Solve t = 4*r - 1 - 3 for r.
1
Suppose 12*v = 17*v - 10. Suppose 26*r - v = 25*r. Solve -3*y = -2*y + r for y.
-2
Suppose -26 + 33 = r. Solve 4*j = -1 - r for j.
-2
Let n be (19/(-38))/(2/(-24)). Suppose -n*m + 63 = -9. Suppose 28 - m = 2*p. Solve -p = 6*q - 2*q for q.
-2
Let l = -257 + 263. Solve l = x + 3 for x.
3
Suppose u + u - 7 = -f, u - f + 1 = 0. Suppose -u*m + 4 = -10. Let g(t) = -t**2 + 8*t - 1. Let c be g(m). Solve -3*n + 0 + c = 0 for n.
2
Let d(u) = -2*u + 67. Let l be d(-4). Solve 0 = -2*z - l + 67 for z.
-4
Let b = 109 - 109. Suppose 5*c = -4*h - 6, 3*c = -h - 4*h - 14. Suppose -2*n + 2 = -0*n. Solve -c*q - n - 5 = b for q.
-3
Suppose 4*p - 2*f = 38, 15*f - 24 = -3*p + 12*f. Solve 207*t + p = 204*t for t.
-3
Suppose 0 = 7*s - 48 - 4