 i = -a*i for i.
0
Let w(k) = -3*k**2 + 5*k + 3*k**2 - 3*k + 7*k**2 + 3. Let i be w(-2). Suppose 0 = 3*y - 3 - i. Solve -2*z - y = -0 for z.
-5
Suppose 0 = 7*f - 67 - 283. Let b = 52 - f. Solve 5*g - 4*g = b for g.
2
Suppose z + 2*u + 3 = 0, -z - 5*u = -6 + 18. Let a be -6*(-1 + -1) + z. Solve p - a = -4*p for p.
3
Let g(r) = 2*r**3 - 75*r**2 + 35*r + 82. Let l be g(37). Solve 3*z + l*z = -22 for z.
-2
Let w(u) = -10 + 3 + 3 - 4*u. Let h be w(-1). Solve h = -0*r - 5*r for r.
0
Suppose -4*v = -v - 6. Suppose 2*g + o = 3, 3*o = -v*g + 6*g - 21. Suppose a - 2*a - 9 = -g*s, a = 5*s - 15. Solve a = -3*l + 2 + 4 for l.
2
Let c(j) = 3*j**2 - 181*j - 120. Let a be c(61). Solve a = 3*d + 11 for d.
-3
Let m(h) = -h**3 - 2*h**2 + 1. Let s be m(1). Suppose 485*o + 36 = 487*o. Let d be (s - 3)*o/(-30). Solve d = k - 0*k for k.
3
Suppose 0 = 31*f - 9*f - 110. Solve 0 = f*a - 0*a for a.
0
Suppose -8*r - 1 = -25. Suppose -6*k = -9 - r. Suppose -k*t + 8*t = 0. Solve s - 1 + 2 = t for s.
-1
Let u be -2 - ((0 - 3) + (-2 - 35)). Let l = 42 - u. Suppose 0 = -p - 2*p + 6. Solve 6 = -p*i - l for i.
-5
Let x = 2 - -13. Suppose 0 = 3*n - s + 3*s - 20, -5*n = 3*s - 34. Suppose -4*k + i = -2, 2*i + 2*i = 5*k - n. Solve k*v = -5*v - x for v.
-3
Let u(f) = 7*f - 61. Let t be u(9). Suppose -4*a + 11 = -1. Let q = -3 + a. Solve q = b - 1 - t for b.
3
Let r be (6/8)/(2/16). Let u be ((-93)/(-15))/((-1)/(-5)). Let f = u - r. Solve 2*t - f = -3*t for t.
5
Let f(l) = -l**2 + 14*l - 3. Let h be f(11). Solve -24*c = -18*c - h for c.
5
Suppose 4*l = 2*l + 4. Suppose l*z - 2*u = 3*u - 1, 5*u - 36 = -3*z. Let j(o) = o**2 - 7*o. Let p be j(z). Solve p = 3*n - 2*n - 5 for n.
5
Let g = 15 - 12. Let v(x) = 6*x. Let r be v(-1). Let q = r + 10. Solve -g = -q*h - 19 for h.
-4
Let h(k) = 3*k. Let y be h(1). Suppose 0 = y*u - 10 - 8. Solve -3*i + u*i = 3 for i.
1
Let f(k) = k**3 - 15*k**2 - 13*k - 43. Let a be f(16). Solve a*t + 37 = 17 for t.
-4
Let s = 11 + -3. Suppose s - 28 = 2*x. Let c be x/45 + (-58)/(-18). Solve -6 = -w - c for w.
3
Suppose 0 = 8*j - 81 - 39. Solve 0*r + j = 5*r for r.
3
Let w be (1 - 25)*8*4/(-24). Suppose 4*r - 3*a - 47 = 0, 0*a = 3*r + a - w. Solve -5*f + 36 = r for f.
5
Suppose -4*v - s - 47 = 0, 3*v + 17 = 2*v - 2*s. Let m be (-44)/v*1/4. Solve -1 = 2*k + m for k.
-1
Suppose -4*p = x - 30, 2*x - 86 = -2*x + p. Solve -x*r - 6 = -24*r for r.
3
Let g = -55 - -55. Solve -9*q - 36 + 27 = g for q.
-1
Let m(o) = o**2 + 2*o - 2. Let j be m(2). Let i(d) = -1 - 25*d**2 - j*d + 1 + 24*d**2. Let l be i(-5). Solve 5 = -2*v - l for v.
-5
Let a = -2 + 6. Suppose a*o - o = 0. Suppose 15 = 3*k + r, -k = 5*r - o - 5. Solve 0 = k*n - 0*n - 25 for n.
5
Suppose n - 99 = -17. Suppose n - 2 = 10*g. Solve 4*s + g = 8*s for s.
2
Suppose -31*t = 10*t. Solve t = 6*s - 0 - 6 for s.
1
Let u be (-9)/15 + (-36)/(-10). Let s(c) = -c**2 - 3*c + 2. Let r be s(u). Let b be 2 - r/(-4) - -2. Solve -1 = -b*i - i for i.
1
Suppose -4*p = -5 - 11. Suppose 5*g = -r + 4*g, p = -2*r - 4*g. Solve -r*a = 3*a - 25 for a.
5
Let d(p) = 2*p**2 + 6*p - 36. Let t be d(-6). Solve a - 1 - 1 = t for a.
2
Let q = -8 + 11. Let d be 8/4 + -4 - (-6)/q. Solve d*k - 5 = -k for k.
5
Let p(t) = t**2 - 6*t + 5. Let h be p(5). Let z be (14/(-1))/((-5)/((-40)/(-16))). Solve 10*w - z*w = h for w.
0
Suppose -r + 10 = u, 3*r - 24 - 10 = -4*u. Solve 0 = -13*g + 19*g - r for g.
1
Suppose d = -2*d + 9. Suppose 0 = -3*x + 6, -5*x = d*l - 0*l - 16. Suppose 4*u - 2*u = 6. Solve -5 = -u*z - l*z for z.
1
Let s = 29 - 25. Suppose -4 = g + 5*p - 1, 5*g = s*p + 14. Solve g*y - 6*y = 20 for y.
-5
Let g = -932 + 939. Solve -g + 22 = 5*j for j.
3
Let f(y) = y**2 - y + 4. Let p be f(2). Suppose -5*a = -3*c, -3*c + 2*a = p*a. Let o(u) = -u + 7. Let i be o(c). Solve 5*d + 3 = -i for d.
-2
Let t = 9 - 4. Suppose 3*n + 3*l = 15, 0 = -3*l + 5*l + 4. Solve -n = 4*c + t for c.
-3
Suppose 5*n - 81 = 3*g, 2*n + 130 = -4*g - 4. Let x = g - -34. Solve -x*u + 15 = -7*u for u.
-3
Let g(x) = -x**3 + 50*x**2 + 50*x + 70. Let f be g(51). Solve 11 = -6*t - f for t.
-5
Suppose t = -x, -4*x = -t + 2*t - 6. Let s = -11 - -18. Let f = s - x. Solve -5*q + f = 20 for q.
-3
Let n(q) = 2*q**3 - 11*q**2 - 3*q + 10. Let f be n(4). Let b = 55 + f. Solve -5*c - 5 - b = 0 for c.
-2
Suppose 72*c - 76*c = -12. Solve 4*q = q + c for q.
1
Suppose -4*x = 9*b - 6*b - 43, 1 = x + 4*b. Solve -4*u + x = 9 for u.
1
Let p be 4/8 - (65/(-10) - -5). Solve -7*a = -p*a - 5 for a.
1
Suppose 0 = -5*t + b - 18, 3*t + b - 6 = 4*t. Let a be (t/6)/(1/(-14)). Solve 3 - a = 4*r for r.
-1
Suppose -28 = -5*c - 8. Suppose -r = -c*r. Solve r = t + 2 for t.
-2
Let j be -8*(0 - 2)/(-4). Let a = 237 - 227. Let y be -3 + (a - (-16)/j). Solve 2*f + y = f for f.
-3
Suppose -c + 9 = 3*t, 0 = -t + 2*t - 5*c - 19. Suppose -t*s + 22 = 5*a, -s - 2*a = -6 - 1. Let u(p) = -18*p + 108. Let f be u(6). Solve s*n + f = 9 for n.
3
Suppose 3*l - 17 = -4*n, 0 = 4*l - 5*n + 5 - 7. Solve -2*v = -1 - l for v.
2
Let r(b) = -b**2 + 10*b - 23. Let o be r(7). Let m be ((-90)/(-12) + -5)/((-1)/o). Solve -17 = 3*z - m for z.
-4
Let a = -185 - -243. Solve -10*w - 8 = -a for w.
5
Let h = -46 - -23. Let t = h - -35. Solve 0*r - t = -4*r for r.
3
Suppose g = -g + 4. Suppose 3*o = 0, -p - g*o = 2*p - 150. Let x be p/12 + (-2)/12. Solve -x*j = -0 + 20 for j.
-5
Let y(b) = 4*b + 16. Let x be y(0). Solve -18 = -r - x for r.
2
Let j = -554 + 565. Solve 0 = -7*s + j - 32 for s.
-3
Let h(n) = 2*n**2 + 5*n + 5. Let p be h(0). Solve -p*w + 2*w = 9 for w.
-3
Let x = -365 + 368. Solve -x - 21 = 8*n for n.
-3
Let g be 1*-3 + (-19)/((-57)/18). Suppose 0*f - 5*j + 20 = 4*f, -3*j = f - 12. Solve f + 3 = g*c for c.
1
Let o = 51 + -48. Suppose 5*w + 13 = 8*a - 4*a, 3*a - 9 = o*w. Solve 0 = -y - a*y - 3 for y.
-1
Let r = -49 + 55. Solve -122*b + 120*b = -r for b.
3
Suppose 0*u = 3*u - 6. Let b(q) = q + 14. Let s be b(12). Suppose 0 = -5*h - 3*j + s, 0*h = 4*h + j - 18. Solve -h*w = -u*w for w.
0
Let r(i) = i**3 + 7*i**2 + 5*i - 2. Let v be r(-6). Solve 0*n = v*n - 8 for n.
2
Suppose -155 = 5*l - 3*j, 3*l + 22 + 71 = 4*j. Let i = 46 + l. Solve 1 = 4*c - i for c.
4
Suppose -2*p - 5 + 13 = 0. Suppose 0 = p*f + f. Let o be (21 - f)/3 + -2. Solve -s = -o*s for s.
0
Suppose -4*w + 5*n = -15, 10*w - 5*w - n = 24. Let c = -2 + w. Solve -6 = -5*j + c*j for j.
3
Let m(n) = n**3 + 10*n**2 + 1. Let r be m(-10). Let c = 19 + r. Let w(h) = h + 10. Let y be w(-7). Solve 8*p - y*p - c = 0 for p.
4
Let b = 2 - -3. Let a be (-1)/(-3)*(0 - 0). Suppose 2*q + 4*d - 7 = 13, a = -4*q + 4*d - 20. Solve -b*p = -q*p for p.
0
Suppose -21*p + 5*i = -16*p - 25, -2*p + 4*i = -16. Solve -3 = -p*j + j for j.
3
Let i(q) = q**3 - 4*q**2 + q + 4. Let n be i(0). Solve -n = -2*a - 12 for a.
-4
Let o(k) = k**2 + 16*k + 7. Let a be o(-19). Let t be ((-3)/(-4))/(4*1/a). Solve 3*l + t = 7*l for l.
3
Let h(a) = 2*a**2 + a + 6. Let b be h(4). Let i = -40 + b. Solve i*x - 6*x = -20 for x.
5
Let m = -194 + 195. Solve -3*v - m = 2 for v.
-1
Let a(f) = 0 - 16*f - 4*f**2 + 3 - 1 + 2*f**2. Let j be a(-8). Suppose -3*p - 45 = -3*c, c = -0*c + j*p + 15. Solve 2*y + 3*y - c = 0 for y.
3
Suppose 3*u = 6, u - 148 = 3*w + 2*u. Let z be w/(-4) + (-6)/12. Let i(t) = -t**2 + 13*t - 12. Let h be i(z). Solve h = -m - 4*m + 15 for m.
3
Suppose 0 = 5*t - 5. Let r be -1*(-68)/(-4)*t. Let h = r + 18. Solve 2*c = 1 + h for c.
1
Suppose -22 = 4*j + 2*t, 2*t - 16 = 5*j + 16. Let n be 0/2*(j + 5). Solve 4*r = -n + 4 for r.
1
Let x(b) = b**3 + 5*b**2 - b - 3. Let y = -13 - -8. Let v be x(y). Solve 2*u = v - 10 for u.
-4
Let i = 16 - 14. Suppose 3*j + j - i*j = 0. Solve j = 3*h - 0*h for h.
0
Suppose 0 = 14*f - 9*f. Suppose f = -6*x - 6*x + 60. Solve -4*p = -x*p - 1 for p.
-1
Suppose -3*w + 5*w - 8 = 0. Suppose w*a = -5*p + 3*a + 20, 4*a - 20 = -5*p. Solve u - p + 8 = 0 for u.
-4
Let l(x) = -x**2 - 13*x - 30. Let p be ((-12)/(-30))/((-2)/50). Let o be l(p). Solve -u + 4*u - 3 = o for u.
1
Suppose 0*j + 13 = -3*j + r, 5*j + r + 19 = 0. Let o be 3 + (1 - j/(-1)). Suppose b - 2 = -o. Solve 10 = -4*n + b for n.
-2
Let b = -146 - -154. Solve b*h + 25 = 3*h for h.
-5
Let z be (120/5)/(-4) - (-8 - 6). Suppose 4*y = 2*y + 2. Solve y = 3*o - z for o.
3
Suppose -3*q + 9 = -v, 2*q + 5*v - 35 = -12. Solve -i = q*i + 20 for i.
