j for j.
0
Let h be 2/(-6) + 1056/36. Let k = h + -27. Suppose -k*m + 0*m = -4*z + 14, -2*z + 12 = 4*m. Solve -s = -1 + z for s.
-3
Suppose -s - 4*r = 64, -2*s - 7*r - 124 = -3*r. Let j = s + 60. Solve -3*g = 3 - j for g.
-1
Let s(p) = -5*p - 62. Let r(g) = 6*g + 60. Let n(k) = 3*r(k) + 2*s(k). Let y be n(-6). Solve -2*o + y = -6*o for o.
-2
Let t = -1 + 12. Let d = t + -35. Let n = -19 - d. Solve 0 = -3*i - 2*i - n for i.
-1
Let d = 2 + 4. Let w = -187 + 135. Let g = -40 - w. Solve d*h + g = 3*h for h.
-4
Let m = 23 - 24. Let d be m/(4/(-16)) - 2. Suppose 3*k = -6, -2*k + 3*k - 4 = -d*n. Solve 6 = 3*u - n for u.
3
Let p be ((-1)/1*0)/(-1). Suppose -c + f + 4 = 0, c + 4*f = 3*f - 4. Solve p = -z - c*z for z.
0
Suppose -4*j - 3*p = -29, j - 2*j = 2*p - 11. Suppose 0 = q - j*q. Solve -4*m + 0*m = q for m.
0
Let z(y) = -y**3 - 7*y**2 + 8*y + 4. Let c be z(-8). Solve 0 = -c*o + 27 - 15 for o.
3
Let b be 8 - (10 + (30/(-6) - 1)). Solve 27 = b*a + 31 for a.
-1
Let v(x) = 56*x**2 - 15*x - 17. Let d be v(-1). Solve 54 = -5*u + d for u.
0
Suppose -113 = -5*h - 38. Suppose -4 = 2*j - v + 6*v, 5*j = 5*v + 60. Let c = j - 8. Solve 5*n + h - 5 = c for n.
-2
Let l be 0/(((-12)/(-10))/((-104)/260)). Solve -s - 77 + 72 = l for s.
-5
Suppose -4*n + 5*w + 5 = 0, -2*w = -11 + 5. Suppose -3*f + 0*f - n*i - 33 = 0, -2*f - i - 15 = 0. Let p = f + 7. Solve -p = a - 0 for a.
-1
Suppose 4*g = -0*g + 84. Suppose 2*j + 4*p + 12 = -30, -2*p + 55 = -3*j. Let t = g + j. Solve -t = -2*d + 4 for d.
3
Suppose -4*u = -12 - 0. Suppose 2*k = -454 + 464. Solve -k*z - 28 = -u for z.
-5
Let i(r) = r**3 + 7*r**2 + 7*r + 4. Let o be i(-6). Let g be (8/(-10))/(o/10). Let k(z) = -405*z + 10535. Let m be k(26). Solve j + g = m*j for j.
1
Suppose -z + a = -35, 0*z + 3*z - 5*a = 105. Suppose -45 = -4*u + 5*j, 4*u = 3*j + 16 + z. Suppose -5*g = -2*g - u. Solve g*f - 5 = -0 for f.
1
Let l(q) = -2*q**2 - 116*q + 45. Let u be l(-58). Solve -50*x - 25 = -u*x for x.
-5
Let y be ((-5)/(-4))/((-6)/(-96)). Let j(c) = c**2 - 5*c + 4. Let z be j(4). Let l = 0 - -6. Solve z = -l*m + m - y for m.
-4
Let l(c) = -c**2 - 18*c - 75. Let t be l(-10). Solve 11 = t*q + 6*q for q.
1
Suppose 0 = 2*d + 2 - 8. Suppose 16 = d*o + 1. Suppose -4*b - 3*p + 15 + o = 0, -3*b + 3*p - 6 = 0. Solve b*r = -3*r - 15 for r.
-3
Let p be (16 - 20)/((-4)/6). Solve 37 = -p*g + 19 for g.
-3
Suppose 0 = 4*f - 197 - 175. Let j = f + -91. Solve -1 = j*t + 5 for t.
-3
Suppose 33 = 5*o + 33. Solve -5*i - 11 + 6 = o for i.
-1
Let r be 0 - -5 - 1*(-2 - 0). Suppose 0 = 4*j + 2*k - r*k - 17, -2*j = -4*k - 10. Solve -j*p + 5*p - 10 = 0 for p.
5
Suppose 0 = z + 3*a - 8, -a = 3*z - 4 - 4. Suppose z*v - 2*g = -7*g - 3, 0 = -2*v - 4*g. Solve m = v*m - 25 for m.
5
Let n = 30 - 37. Let h(m) = 6*m + 50. Let x be h(n). Solve -5*w = 17 + x for w.
-5
Let j be (-19)/4 - (-12)/16. Let h(l) = l + 9. Let w be h(j). Suppose w*f = 4 + 21. Solve f*i = -0*i - 15 for i.
-3
Suppose -c = 2*a - 28, 8*c - 68 = -4*a + 3*c. Solve y - 13 = -a for y.
1
Let a be (4/8)/(4 + (-117)/30). Solve -9*p = -a*p + 4 for p.
-1
Let o be 1*((-2 - 5) + 11). Solve -4 = 2*z + o for z.
-4
Let z = -21 - -23. Suppose z*r - 5 = 5. Solve 5*l = 10 + r for l.
3
Let o = 799 - 775. Solve 3*p + 5*p - o = 0 for p.
3
Let b = -28 + 31. Suppose -o = -b + 1. Let w = 7 + -4. Solve -o*y + w*y = 2 for y.
2
Let s be -1*3 + 50/5 + -5. Solve 2*b + s = -6 for b.
-4
Let b be 5 - 1*16/4. Suppose 3*z + s = z, 2*z + 2 = -2*s. Let y be (-1)/(z*b/(-5)). Solve -y*p = -3*p + 6 for p.
-3
Let u(w) = -w**3 - 7*w**2 - 13*w - 12. Let o be u(-5). Solve 1 + 5 = -o*m for m.
-2
Let u be 4/(-7) - (-4558)/602. Solve 6*i - u = 17 for i.
4
Suppose 2*w - 7 = -2*l - w, -5*l + w = -43. Suppose -3*u = 2*u. Let g = l + u. Solve q + 3 = g for q.
5
Suppose 70 = 3*l + 2*l. Let w be 19/(-7) + (-4)/l. Let q be (-22)/w + 3/(-9). Solve 8 = -5*k - q for k.
-3
Let r = 890 - 886. Solve -5 = r*k + 15 for k.
-5
Suppose 0 = -17*p + 87 + 32. Suppose -2*j = -0 - 2. Solve -4*s + p = -j for s.
2
Let o = -87 + 119. Solve o = 4*j + 12 for j.
5
Let d = -9 - -13. Suppose f - f + d*f = 0. Solve -8*b + 6*b = f for b.
0
Suppose 0*u + 4*u - 8 = 0. Suppose u*d = -3*d. Suppose d = -16*p + 20*p. Solve p*t = -5*t + 5 for t.
1
Suppose -4*f + 45 = -h + 6*h, 35 = 4*f + 3*h. Solve -6*k + f*k = -1 for k.
1
Suppose 0 = 3*t + 2*t + 2*i - 35, 0 = t + 2*i - 15. Let u(y) = -y**3 + 6*y**2 - 3*y - 4. Let m be u(t). Suppose 0 = 9*o - 7*o - m. Solve o + 1 = k for k.
4
Suppose -31 + 164 = 7*i. Suppose i*j = 17*j + 8. Solve -z + 0*z = -j for z.
4
Let i be 4/14*35/5. Solve i*k = 10*k for k.
0
Suppose -5*m + 53 = 5*v + 33, 2*m = -4*v + 14. Solve 8*n + 15 = -m for n.
-2
Suppose -3*n + 12 = 0, -2*h + 1 = -3*h - 2*n. Let v be h/(-6) + (-66)/(-12). Solve 2*y = v*y - 10 for y.
2
Let i(j) = 21*j**2 + 2*j + 1. Let s be i(-1). Suppose -w - 2*w = -4*o - s, -w - 5*o = 6. Let v(h) = -3*h - 19. Let x be v(-7). Solve x*r + 4 = w*r for r.
2
Let i be 9/2 - (-1)/(-2). Suppose -192 = -12*j + 6*j. Suppose -2*s = -r - 12 + 2, -i*s + 5*r = -j. Solve s*g + g = 0 for g.
0
Suppose -3*t = 4*n - 18, -1 = -t - 3. Let u(g) = 2*g - 8. Let d be u(n). Solve 1 = 5*h - d for h.
1
Let k be (-4 - 26)*4/(-10). Let q be (4/k)/((-132)/45 + 3). Solve q*g + 7 = -8 for g.
-3
Suppose -5*n + 19 = x, 3*n - 21 = -x - 2*x. Let z = -2 + x. Let j be (3 - z - 2)*-3. Solve 3 + 6 = -j*u for u.
-3
Suppose 6*k = k + 3*d + 217, 5*k = -2*d + 197. Solve -3*z = -k + 26 for z.
5
Let k be 6/60*185*(-6)/(-1). Solve -4*d = -123 + k for d.
3
Let i be 0 + 0 - (-37 - -37). Solve i = -4*o + 5 - 1 for o.
1
Let g(y) = -2 - 2 + 12 - y. Let d be g(7). Solve 11 - d = -2*r for r.
-5
Let h = 183 + -316. Let a = 133 + h. Solve 3*y - 6 + 15 = a for y.
-3
Let r(o) = -28 + 8*o + 14 - 4*o. Let f be r(4). Solve -f*w + 4 = -w for w.
4
Suppose 4*p = -4*h + p + 7, 4*p - 2 = 2*h. Suppose 8 = 3*b - 2*u, h = -2*b - u + 4. Solve -b*c = 3 + 3 for c.
-3
Let r = 1 + 1. Suppose 0*o + 456 = -r*o. Let n be 2/5 + o/(-30). Solve 1 = -3*i - n for i.
-3
Let c(m) = 66*m - 309. Let z be c(6). Solve -z*l + 10 = -82*l for l.
2
Suppose 2 = -2*x + 2*l, -3*x - 5 = -4*x - 5*l. Suppose 4*q + 104 - 116 = x. Let b = -6 - -16. Solve -q*z + z = b for z.
-5
Suppose 0 = -18*k + 12*k. Solve k = 2*p + 2 + 8 for p.
-5
Let g(n) = -n**2 + 15*n - 5. Let j be g(10). Let q = -15 + 5. Let o be (-36)/q - (-18)/j. Solve -t - o*t = 0 for t.
0
Let w(j) = 3*j**3 - 21*j**2 + 5. Let y be w(7). Solve 0 = y*k - k for k.
0
Let c(f) = f**3 + f - 2. Let l be c(2). Suppose -2*m = 6, -4*v + 2 = -2*m - 16. Suppose v*j = -j + l. Solve 0*n = j*n for n.
0
Let h = 10 - 2. Let g be 20/30 - (-2 - h/6). Solve -8 = 2*p - g*p for p.
4
Suppose -2*v - 4*o + 16 = 0, -o = 4*v + 2*o - 12. Let h = v + 0. Solve h = -2*x - 0*x + 4 for x.
2
Let w be ((-4)/12)/(1/3)*-20. Solve -7*d - 3*d = w for d.
-2
Let p = -980 + 995. Let w(v) = v**3 - v**2 + v + 1. Let l be w(0). Solve -4*z = -l - p for z.
4
Let q be 216/52 + 4/(-26). Let a = 7 - q. Solve -a - 9 = 4*k for k.
-3
Suppose p + p + 6 = 0, 2*m = -2*p + 32. Let q = m + -19. Solve q = f + 3*f for f.
0
Suppose 2*o - 7 = 9. Solve -o = -j - 9 for j.
-1
Let r(a) = -a**3 - 12*a**2 - 15*a - 39. Let u be r(-11). Solve 6 = -u*j + 21 for j.
3
Let k(z) = z**2 - 5*z + 4. Let h be k(5). Let d be (1 - 3)*4/(-4)*1. Let i = d + h. Solve 5*w + 19 = -i for w.
-5
Suppose 4*q + 10 = -3*f - 0*q, -4*q = 16. Suppose -12 + f = -2*o. Solve 5*a = -0 + o for a.
1
Suppose -47 = -22*w + 151. Solve 0 = -9*u + 6*u - w for u.
-3
Suppose m + 1452 = 4*m. Suppose -3*t - 480 = r - 3*r, 0 = 2*r - 5*t - m. Let s be 2/8 - r/(-12). Solve 0 = 4*d + d - s for d.
4
Let s be (-11)/((-44)/16) - -9. Suppose -s*m = -11*m - 10. Solve -11 + m = -2*z for z.
3
Suppose -3*l - 2*l + 27 = -2*v, 4*l + 4*v - 16 = 0. Solve -11*p - l = -16*p for p.
1
Let l(f) = -f**2 + 5*f - 13*f - 4 - 3. Let i be l(-6). Let k(p) = -2*p + 22. Let n be k(11). Solve -i*h + h - 20 = n for h.
-5
Let l be 18*((-3)/(-2) + -2). Let x(n) = -n**3 - 9*n**2 - n - 7. Let c be x(l). Suppose 9*p - 5*p - 12 = 0. Solve p*t = -c*t for t.
0
Let r = 1821 - 1815. Solve 39 = -r*m + 9 for m.
-5
Suppose 0*h = 2*h + 48. Let w = 24 + h. Solve -2*c + 5 + 3 = w for c.
4
Suppose 0 = -5*w + 3*w + n - 112, -w = n + 62. Let q = -50 - w. Solve q*f = 5*f - 3 for f.
-1
Let q be 