
-1
Let i = -175 - -177. Solve 0 = i*y - 7 - 1 for y.
4
Suppose -11*u = -16*u + 150. Let p = 32 - u. Solve 3 - p = m for m.
1
Let d be 52/156*(-2 + (1 - -1)). Let x be 2 + -2 + -1 - -26. Suppose -x = -5*b - d*b. Solve -b*l - 8 = 2 for l.
-2
Let n(c) = -c**2 + 8*c + 17. Let u be ((-2)/4)/((-4)/72). Let j be n(u). Solve 5*s = -33 + j for s.
-5
Let h(p) = -2*p**2 + 37*p - 13. Let x be h(18). Solve 0*i + 20 = x*i for i.
4
Let c be 6*(2/(-4) + -1). Let p be (-45)/c - 0/1. Suppose 2*j + p*a - 7 = 24, 19 = -2*j + 5*a. Solve -j = -l + 1 for l.
4
Suppose -5*p - 46 = -4*t - 4*p, 0 = -4*t - 4*p + 36. Solve -7*w = t - 32 for w.
3
Suppose 22*z - 20*z - 6 = 0. Suppose -w = -z + 1. Solve w*c = 7*c - 25 for c.
5
Let y be ((-8)/10)/(3 - 34/10). Suppose 4*n + 16 = 2*c + 4, y*n + 6 = 4*c. Solve -4*l + 0*l + 8 = c for l.
2
Let x be 45/(-2 + -1) - -3. Let l be (x/10)/(6/(-20)). Let j = -24 - -39. Solve -p - j = -l*p for p.
5
Let r(v) = -v**3 + 10*v**2 + 23*v + 15. Suppose -29 = -5*d + 31. Let q be r(d). Solve q*g + 1 = -8 for g.
-3
Suppose -3*s + 5*h + 9 = 0, 4*s - 4 - 8 = 3*h. Let n = -9 + 6. Let b = n + s. Solve 2*t + b*t + 6 = 0 for t.
-3
Let h(j) = -15*j - 58. Let m be h(-4). Solve -m*u + 11 = 17 for u.
-3
Let q(c) = 28*c + 120. Let t be q(-4). Solve 19*w = 17*w - t for w.
-4
Let m(y) = -y**3 + 5*y**2 - y - 4. Let a be m(3). Let g = a - 9. Solve g = 3*n - 2*n for n.
2
Let d = -962 - -965. Solve -4 + 13 = -d*v for v.
-3
Suppose 4*v - 2*v = 2*l + 4, 2*l = -4*v + 38. Solve -4*o - 3 = -v for o.
1
Let a be (-12)/(-5)*(-5)/(-2). Suppose -a*f = -11*f. Suppose g - 5*g = f. Solve -3*o - 2*o - 5 = g for o.
-1
Let f = -152 + 79. Let y = 88 + f. Solve c - 4*c + y = 0 for c.
5
Let q(v) = 5*v**2 + v**2 - 57*v**3 + v + 3 + 56*v**3. Let a be q(6). Solve z - a = -2*z for z.
3
Let s(o) = 7*o**2 - 3*o + 2. Let r be s(1). Solve 0*d - 2*d = r for d.
-3
Let r = 23 - 20. Solve -r*y + 8*y = 0 for y.
0
Let h be ((-168)/(-18))/7*27/6. Solve 53*a = 50*a + h for a.
2
Suppose -49*d - 341 = -54*d + n, -158 = -2*d - 5*n. Solve -d = -14*g - 27 for g.
3
Let t be -2*(24/(-3))/2. Let g = 70 + -27. Suppose 0 = -2*u - 3*j + g, -2*j = -1 - 1. Solve t = -4*a + u for a.
3
Let l(f) be the second derivative of -f**5/20 + f**4/2 + f**2 - 27*f. Let g be l(6). Solve 0 = -m + g*m for m.
0
Suppose -11*o + 16 = -61. Let g = 15 - o. Solve 2*r - 2 = -g for r.
-3
Let v(a) = 2*a + 8. Let t be v(-1). Solve t*l = 4*l for l.
0
Suppose -5*l - 6*d = -d + 130, 4*d - 92 = 3*l. Let g = 30 + l. Suppose -4*s - g*k = -k + 2, 0 = s - 3*k - 6. Solve s + 4 = 2*p for p.
2
Suppose -2*d = -2*y - d, 3*y - 3*d = 0. Let k = -1741 - -1745. Solve 0*q - k*q = y for q.
0
Suppose 29 = 2*v - 29. Let l = v - 24. Suppose -l = -d + 5*m, -3*d + 5*m + 5 = -d. Solve 2*x - 7*x + 5 = d for x.
1
Let a(z) = -2*z**2 + 35*z - 45. Let j be a(16). Solve -f = j*f + 8 for f.
-2
Suppose 30 = 12*u - 6. Solve -2*k - 7 + u = 0 for k.
-2
Suppose 2*g - 5*d - 15 = 0, 3*g + 15 = 6*g - 5*d. Solve x - 6*x = g for x.
0
Let b = 4 - 4. Let n(a) = a**3 + 3*a**2 - 7*a - 10. Let g be n(-4). Suppose -2*s + 3*s = g*q - 1, -q + 5 = -5*s. Solve q = j - b*j - 2 for j.
2
Let r be 5 + (0 - 48/(-4)). Suppose r = 4*y - 5*f - 0*f, -3*f = -5*y + 18. Solve 0*j + 12 = y*j for j.
4
Suppose 2*r - 15*d + 11*d - 30 = 0, -2*d + 75 = 5*r. Solve -r*l = -12*l - 15 for l.
5
Let y(q) = 12*q + 20. Let t be y(-1). Solve 2*l - t + 4 = 0 for l.
2
Let h = -2706 - -2710. Solve 269*x = 273*x + h for x.
-1
Let n be 10/(-4) + 1 - 5985/(-342). Solve 2 - 18 = n*h for h.
-1
Let k(q) = -3*q + 28. Let t be k(7). Let b be 1 - (t*-2 + 3). Solve -b + 32 = 4*a for a.
5
Suppose 2*q + 2*q = 12. Suppose 12 = 4*c + 3*x - 79, -5*c + 5*x = -140. Let f = -74 + 76. Solve c = q*o + f*o for o.
5
Suppose -2*t = -2*c + 11 + 9, -5*t = 3*c + 10. Let z(q) = -q**3 + q**2 + q + 5. Let h be z(0). Solve 0 = 2*j + h + c for j.
-5
Let m be ((-5)/3 - -1)/(1/3). Let j be 36/(-45)*(-3 + m). Solve 3 = 3*a - j*a for a.
-3
Suppose x - 2*x = -5*h + 114, 2*h - 56 = 3*x. Let i = h - 8. Suppose 3*q + 18 = 3*t, -2*t = -7*q + 3*q - i. Solve t*u = u + 16 for u.
4
Suppose -5*g + 61 - 41 = 0. Solve 1 = -5*p + g*p for p.
-1
Let v = 315 - 312. Solve v*r - 5 = 4*r for r.
-5
Let p = 116 + -112. Let z(m) = 5*m - 3. Let n be z(3). Suppose 4 = 4*t - n. Solve 0*b = -p*b + t for b.
1
Let y(a) = a**3 + 8 - 7 + 2 + 4*a**2. Let p be y(-4). Let c be (-18)/(-6) + -3 + 3 + 22. Solve -p*v + c = 2*v for v.
5
Let p = 27 - 25. Let k be 4*1/(p/3). Suppose 2*c + c = k. Solve 2*t + 4 = c for t.
-1
Let y be (-6)/2 - (7 - 13). Suppose 25 = 2*q + l, -y*q + 0*l + 4*l + 65 = 0. Solve -q = 4*j - j for j.
-5
Let d = 18 - 16. Let m = -58 - -58. Solve d*b + 0*b = m for b.
0
Let l be (-98)/3 + 18/27. Let k = l + 32. Solve 6*m - m = k for m.
0
Let u = 28 + -13. Let t(v) = -v**3 + 15*v**2. Let b be t(u). Solve b = 3*w + 2*w for w.
0
Suppose -2*s + 0 + 4 = 0. Solve k - s*k - 5 = 0 for k.
-5
Let c be 5*(-2)/15*(-2 + -7). Solve 0 = -2*n + 5*n + c for n.
-2
Let u(h) = 10*h - 23. Let z be u(10). Let i = -52 + z. Solve 7*b - 2*b = -i for b.
-5
Let f be -4*14/(-8) - (0 - -4). Solve 12 = -3*i - f for i.
-5
Let d be (-3)/(-3)*(17 - 5). Suppose h + 5*h = d. Solve -h*w + 25 = 3*w for w.
5
Let a(c) = -c**3 + 15*c**2 - 16*c + 31. Let g be a(14). Solve 0 = -7*v + 6*v - g for v.
-3
Let k = -4 - -23. Let c = k - 17. Solve 0 = t - c + 5 for t.
-3
Let s(b) = -b**2 - 4*b + 16. Let r(w) = -w - 1. Let c(u) = -3*r(u) - s(u). Let z be c(-9). Solve -2*n + 1 = -z for n.
3
Let f(o) = -o**3 + 2*o**2 + o. Let x be f(2). Suppose 3*j - 9 = 0, p - j = 4*j - 13. Let n be p - 2*(-1)/x. Solve 1 = -2*t - n for t.
-2
Let t = 157 + -157. Solve t = w + 2 + 1 for w.
-3
Let z(b) = b**2 - 11*b + 14. Let y be z(11). Let h(s) = 17 + s + 24 - 35. Let m be h(-2). Solve -m*u = -y - 6 for u.
5
Suppose -5*s = 7*y - 3*y - 183, 5*y = -s + 24. Solve 37*i = s*i for i.
0
Let n = 972 + -954. Solve 0 = n*f + 125 - 35 for f.
-5
Let o be 450/40*16/12. Solve -o*z + 0*z = 30 for z.
-2
Suppose 2*o = -k - 0 - 5, o + 5 = 2*k. Let w be 93/9 + 2 - (-1)/o. Solve 0 = -j - 3*j + w for j.
3
Let w(c) be the first derivative of c**4/4 - c**3/3 + c**2 - 3*c + 6. Let g be w(2). Solve 0 = -0*n - g*n for n.
0
Let a(o) = -5*o**3 - 8*o**2 - 4*o - 1. Let f(x) = -4*x**3 - 7*x**2 - 3*x - 1. Let b(l) = 3*a(l) - 4*f(l). Let k be b(-3). Solve 0 = 6*r - r + k for r.
-2
Let n = -1172 - -1178. Solve -11*z = -5*z - n for z.
1
Suppose 0 = 2*t + 2*r - 2, 2*t - 3*r - 14 = -2*r. Solve -5 = -t*m + 6*m for m.
-5
Let m(s) = 6*s. Let z(w) = -w. Let g(k) = -m(k) - 5*z(k). Let p be g(-5). Suppose 4*h - 88 = -y - y, p*h = 5*y + 80. Solve -a = 3*a - h for a.
5
Let l(f) = -f**3 - 12*f**2 - 15*f - 4. Let r be l(-11). Let s be 63/(-6)*r/(-15). Let d be 111/21 - 8/s. Solve -g + d = -2*g for g.
-5
Suppose -47 - 30 = -11*d. Solve -d - 1 = 4*h for h.
-2
Let f = 102 - 61. Suppose 37*k - f*k = 0. Solve 2*r - 3*r + 3 = k for r.
3
Suppose 2*v + 11 = -j - 2*j, -3*j - 3*v = 15. Suppose 3*h = -h + 4. Let y be j*(-2 + h)*4. Solve -y*s + 5 + 3 = 0 for s.
2
Suppose -2*g - 10 = -4*r, -2*r - 2 = 4*g - 12. Solve 4*d = d + r for d.
1
Suppose 6 = v + 3. Suppose -v*r = r + 36. Let d = r + 10. Solve d = -i + 6 for i.
5
Let d(k) = -9*k**3 - k**2 + 6*k + 5. Let t be d(-1). Solve t*r - 6 = 1 for r.
1
Let j be (-26)/104 - (-149)/4. Let k = 37 - j. Solve l + 1 + 2 = k for l.
-3
Let s = 1412 + -1392. Solve 32 = -s*z - 8 for z.
-2
Suppose -9 = p - 5*l + 5, 2*l = p + 2. Suppose 16 = d + 2*k - 3*k, -2*k = -4*d + 62. Solve -p*b + b = -d for b.
3
Let j(t) = t**2 + 3*t - 52. Let a be j(-9). Solve -2*r = -r - a for r.
2
Suppose 5*t - 5*p = 0, 2*t + 0*p + 12 = 5*p. Solve -t*z = 2*z + 9*z for z.
0
Let l be -5 + 8/(24/(-279)). Let o = -95 - l. Suppose 2*v = -g + 8, -4*g + 19 + 13 = -3*v. Solve -g = q - o for q.
-5
Let l = 47 - 39. Suppose 0 = -2*c + 5*o + 10, 0 = c - o - 0*o - 8. Suppose 2*b = 5*k + c, 0 = -4*b - 2*k - 1 + 21. Solve -2 = b*f + l for f.
-2
Let s be -4*(-12)/(2 - 4). Let u = 22 + s. Let r(c) = c**2 - 2. Let t be r(u). Solve t*y + 0 = -2 for y.
-1
Suppose 0*u + 4*u - 8 = 0. Let a(y) = y**2 + 3*y + 3. Let d be a(-3). Suppose d*q - 27 = -3*w, q = -2*q - 5*w + 31. Solve q*k = u*k - 15 for k.
-3
Let d(b) = -9*b + 1 + 0*b**2 - b**2 + b. Let v(o) = -o**3 + 8*o - 5. Let a be v(3). Let u be d(a). Solv