 for j.
-3
Let a = 963 + -958. Solve 29 - 4 = -a*n for n.
-5
Suppose 70 = 2*y + 60. Suppose 5*o - q - 20 = -6*q, -2*o + y*q - 6 = 0. Solve 3*h = h + o for h.
1
Suppose -13 + 4 = x. Let p be (-4)/18 - 137/x. Let q be (32/(-40))/((-2)/p). Solve 0 = -q*s + s + 5 for s.
1
Let p(c) = c**2 - 6*c - 3. Let t be p(7). Let v be (-7 + 31)/8 - t/2. Solve -5*a = -4 - v for a.
1
Let m = -1829 + 1829. Solve m*r + 3*r = -2*r for r.
0
Let y be (-2 - 13)*(-4)/5. Let r be (3 - 1)/(4/y). Let o be 40/7 - (-2)/7. Solve 0 = -4*c - r - o for c.
-3
Suppose -3*p - 568 = p. Let i = -140 - p. Solve 0 = i*o - 0*o + 10 for o.
-5
Let o be 16/12*24/8. Solve -9*q = o*q + 65 for q.
-5
Suppose 2*i - 5*i = 2*t - 28, 0 = t + 2*i - 15. Solve 0 = -8*r + t*r + 12 for r.
-4
Let q(c) = c**3 - 10*c**2 + 5*c + 36. Let t be q(9). Solve t = -14*g + 17*g + 6 for g.
-2
Suppose 2*z - 47 = -5*y + 6*z, -3*y = -4*z - 33. Let g = -381 + 381. Solve g = 5*m + y + 3 for m.
-2
Let y = 3 + 0. Let w be (0 - 0)*4/(-8). Suppose -3*d + 0*d - 9 = g, w = 4*g + y*d. Solve 0 = -0*p - g*p for p.
0
Let m = -6 - -7. Let f(j) = j**2. Let v(n) = -n**2 + 11*n + 3. Let u(o) = m*v(o) + 2*f(o). Let r be u(-11). Solve 0 = y + 1 + r for y.
-4
Suppose -10 = -5*i + 45. Suppose -13*r + 4 = -i*r. Solve 2*v - r = 4*v for v.
-1
Let l be 4/(-30) + (-2110)/(-75). Let v = l + -23. Let u = -3 + 3. Solve -2*g - v - 3 = u for g.
-4
Suppose -u = -5*t + 2*t - 48, -2*t + 5*u = 19. Suppose 4*c + 2*a + 42 = 0, -3*a + 80 = -0*c - 5*c. Let n = c - t. Solve -n*m = m for m.
0
Let u be (-2)/(-2)*3 + 111. Suppose v = 3*i + 4, i = -0*i - 5*v - 12. Let w be u/30 - i/10. Solve -k = k - w for k.
2
Let t be (0 - 0)/(7 - 3). Suppose 2*n + 5*m - 30 = t, -3*n + 4*m = -1 - 44. Solve 5*z - 2*z - n = 0 for z.
5
Suppose 3*o = -3, 53 = -0*w + 5*w - 3*o. Suppose g + 4*m - 3 - 31 = 0, -26 = 3*g - 4*m. Solve -2*h + g = w for h.
-4
Let l = 120 + -92. Solve -8*t + l = -4 for t.
4
Let b(h) = 8*h**2 - 176*h + 2. Let c be b(22). Solve 47 = c*k + 49 for k.
-1
Suppose -11 = -h + 5. Let j = 0 + 3. Solve -t - h = j*t for t.
-4
Let h be (-248)/(-42) - 4/(-42). Suppose -t + 4*t = 6. Solve h*f - 4*f = t for f.
1
Let b be (-144)/40*(-6)/((-72)/(-20)). Solve -b*f + 6 = -3*f for f.
2
Let a be (-7)/(-4) - 2/(-8). Suppose 0 = -a*s + 9 - 1. Let q be (-1)/2*(-152)/4. Solve 3 - q = -s*i for i.
4
Suppose -5*l = -3*r - 9, 3*l - r - 2*r = 3. Suppose 0 = -4*t - 8, -4*t = -f - 3*f + 16. Solve 0 = f*g - 1 + l for g.
-1
Let z = -73 - -138. Suppose 0 = i + 4*i + 15, -z = -5*n - 5*i. Let b = n - 14. Solve b*c - 3*c = -1 for c.
1
Let n = -120 + 117. Let o be n + 9/(-27) + 32/6. Solve 4 = o*b - 0 for b.
2
Let i be 170/(-35) + 5 - 100/(-35). Solve -6*u + 7*u = -i for u.
-3
Let b = -1 - -5. Suppose 16 = b*n - 2*r, 3*n - 12 = r - 0*r. Let g be 48/(-12) + (4 - 0). Solve g = l + l - n for l.
2
Suppose -6 = o - 3*o. Solve j = -o - 2 for j.
-5
Let w = -167 + 176. Solve -w*g = -3*g for g.
0
Let p(b) = -14*b**2 + 3*b + 2. Let o be p(-2). Let c be 12/(-54) - o/27. Solve 0 = -z + c*z - 2 for z.
2
Suppose -2*d = -2*g - 0*g - 8, -3*d = -5*g - 18. Let p(r) = 3*r**2 - r + 1. Let j = -3 + 4. Let k be p(j). Solve 0 = w + k - d for w.
-2
Suppose -g - h = -13, 3*h - 19 = -3*g + 2*g. Solve -51*s + g = -46*s for s.
2
Let a = 3 - -3. Suppose -a*m = -m - 5. Suppose 3*f + 25 = 5*c + 2*f, -35 = -5*c + 3*f. Solve -17 = c*b - m for b.
-4
Let l = 49 + -46. Let b be 2*-2*(-3)/6. Let k be (2 + b)*(0 - -1). Solve -l = -k*i - 7 for i.
-1
Let l = -10 - -16. Suppose 0 = -3*n + 3*z + 24, 3*n - 2*z + l = 25. Let b be 4/(-6) + 28/6. Solve -n*o = 13 - b for o.
-3
Let i be (-14)/(-6)*(-2 + 10/2). Let m be 21/5 - (-4)/(-20). Solve -m*n - 13 - i = 0 for n.
-5
Suppose 14*t - 54 - 2 = 0. Solve -t*k - 170 = -166 for k.
-1
Let p = -29 + 38. Let a be (p + -3)/((-9)/(-6)). Solve 2*u - a*u + 2 = 0 for u.
1
Suppose -2*y + 20 = 2*b, b - 4 = -0*b + y. Suppose 4*x = 2*n - 44, -2*x + 6*x + 12 = n. Let s = n - 29. Solve -s = 4*p - b for p.
1
Suppose -w - 3 = -5. Suppose 3*j + 2*v = -w*v + 22, -j - 3*v = -14. Suppose 27 - 39 = -3*o + 4*c, -5*c = -5*o + 20. Solve j = o*d - 2 for d.
1
Let q(i) = -6*i - 111. Let m be q(-19). Solve 2*z - 4 = m*z for z.
-4
Let o be ((-8)/(-3))/((-20)/(-345)). Solve -14*y = 10 + o for y.
-4
Let n(u) = -u + 27. Let z be n(26). Solve 3 - z = -s for s.
-2
Let d = 1771 + -1737. Solve 4 = 6*x + d for x.
-5
Suppose -2*h = -2*d, -3 = -3*h - 4*d + 25. Suppose -6*i + i - 10 = 5*s, h*s = -2*i. Solve 4*o + 4 = s*o for o.
-2
Let j be (1 + 0)*(-65)/13. Let l be (-3)/j + 18/45. Solve -2*s + l = -s for s.
1
Let x be (8/(-20))/(1/305). Let h = x + 280. Suppose -6*u + h - 8 = 0. Solve -4*l - l = u for l.
-5
Let b(x) = -x - 2. Let n = 1 + 4. Suppose -n*j + 2*a = 27 + 13, -15 = 5*j + 3*a. Let s be b(j). Solve 3*r - s = -19 for r.
-5
Suppose 4*k + 2 - 10 = 0. Let q be (-12)/(-2) - (1 + -1 + 1). Let s = q + k. Solve -a - s = -3 for a.
-4
Suppose 0 = -w + 5 + 8. Let f = w + -9. Solve 0 = 5*t - f + 24 for t.
-4
Suppose y = -0*y + 20. Let d(r) = -1 + 45*r - 50*r + r**2 + 5. Let z be d(6). Solve -5*h + z*h = y for h.
4
Let r(f) = -f**2 + 5*f + 15. Let h = -69 + 76. Let j be r(h). Solve -9 + j = 2*q for q.
-4
Suppose -2*b = -2*y + 3*y + 11, 3*y + 5*b = -33. Let x = -10 - y. Let f(q) = 16*q**3 - 2*q + 1. Let i be f(x). Solve -4*z - 7 = -i for z.
2
Suppose 5*i = 18*c - 14*c - 32, c = -3*i - 9. Solve c*d = -5*d + 24 for d.
3
Suppose -203 - 37 = -30*t. Solve -t = 6*d + 4 for d.
-2
Let f = 9 - 5. Let k be 3 + (0 - 7) + 16. Suppose k = f*t - t. Solve 2*i + 10 = t*i for i.
5
Let z = -2 + 1. Let r be z - 4/(-4*1). Suppose r = -9*y + 4*y + 135. Solve 5*h - 7 = -y for h.
-4
Let u be (-1235)/(-38) + 1/(-2). Suppose -2*w - 4*d = -19 - 7, u = 4*w + 3*d. Solve -2 = -3*l + w*l for l.
-1
Let a be 8 + (-2)/4*8. Solve a*h = 2*h + 6 for h.
3
Let h be (2/2 - -37)/(-13 - -15). Solve 0 = 24*d - h*d + 5 for d.
-1
Let h = -314 + 334. Solve -b = -5*b - h for b.
-5
Let p be 47 + -33 + (-11 - 0). Solve p*j + 50 = 35 for j.
-5
Let j(h) = -h**3 + 2*h**2 + 4. Suppose -5*s = -s. Let g be j(s). Let t(q) = -q**3 + 5*q**2 - 4*q + 3. Let i be t(g). Solve i = -b + 1 for b.
-2
Let w(m) = -m**2 - 7*m + 3. Let t = 66 + -40. Let f be (-18)/117 - 178/t. Let s be w(f). Solve l = s*l - 10 for l.
5
Let v(l) = -l**3 - l - 2*l**2 + 3 + 9*l - 4*l. Let z be v(-3). Solve -3*f - 3 = -z*f for f.
-1
Let p(n) = -7*n + 220. Let r be p(31). Let q = 0 - -5. Suppose 2*f - 7 = 2*j + 13, 0 = -q*f + j + 38. Solve -2 - f = -r*b for b.
3
Let q(s) = 31*s - 327. Let p be q(11). Suppose 2*y - 2*t = -3*y + 82, 0 = -4*t - 4. Solve -y + p = -k for k.
2
Suppose 39*h = -32*h + 142. Solve -53 + 59 = h*p for p.
3
Suppose 7*w - 20 = 3*w. Suppose -w*v = -23 + 3. Solve v = -5*i - 1 for i.
-1
Let w = -556 - -701. Solve w = -5*g + 170 for g.
5
Let o(m) = m**3 - m**2 + 2*m - 9. Let x be o(3). Suppose -3*g - 5*p = -x, -2*g + 4*g - 4*p + 12 = 0. Solve 0*l + 5*l = g for l.
0
Let o(t) = t**3 + 5*t**2 + 2*t - 1. Let g be o(-2). Suppose 0 = g*a - 19*a. Solve a = 3*c - 2*c + 2 for c.
-2
Let b be 4 - (10 - 128/8). Solve 0 = -b*h + 9*h + 1 for h.
1
Let j(y) = y**3 + 8*y**2 + 7*y + 6. Let v be j(-7). Suppose 20 = 7*z + v. Let w = 4 + -2. Solve w = z*t - 6 for t.
4
Let f be 2*8 - ((-9 - -11) + 0). Solve 5*i = f + 6 for i.
4
Suppose 5*k + 23 = 4*b + 5, b + 2 = -2*k. Suppose 2*t = -b*s + 2, 2*s = 4*t - 0 - 4. Solve l + 3*l - 8 = s for l.
2
Let x(o) = o**2 - 8*o + 17. Let s be x(6). Let f be (-2 + 0)/(-10) + 9/s. Solve -f*z + 12 = 4 for z.
4
Let f be 20/(-3)*90/(-75). Suppose -27*c + 23*c + f = 0. Solve -2*y = c*y - 16 for y.
4
Let m = 2012 + -2012. Let i be 5*(-1 - -2) - 2. Solve 2*g + g - i = m for g.
1
Let a = 29 + -27. Let r be ((-32)/(-20))/(a/5). Let x be (-2)/8 + 73/4. Solve 6 = r*l + x for l.
-3
Let s be (4/14 - 0)/((-4)/(-14)). Solve -6*l - 5 - s = 0 for l.
-1
Let z(q) = q**3 + 20*q**2 + 17*q - 26. Let d be z(-19). Suppose -3*r + d = -w, -2*w + 20 = r + 4*r. Solve -10 = 2*j - w*j for j.
-5
Let a(n) be the first derivative of -n**3/3 + 9*n + 22. Let i be a(-3). Solve -8 = -4*o - i for o.
2
Suppose 1873 - 1863 = 5*h. Solve 13 = 5*m - h for m.
3
Let h be (-1)/2 - (21/2 - 15). Solve 0 = -6*k + h*k - 4 for k.
-2
Let o(n) = -n**3 + 5*n**2 - 9*n + 1. Let y(k) = k - 1. Let s(t) = -o(t) - 5*y(t). Let u be s(4). Suppose 0 = -