or v.
-2
Let z be (4 - 9)*4/(-10). Suppose -i + 3 = 2*x - 2*i, 0 = -z*x - 4*i + 8. Let s be x/(-8) + 34/8. Solve -s*a - 4 = -12 for a.
2
Let k(y) = 7*y. Let a(o) = -3*o. Let n(b) = -5*a(b) - 2*k(b). Let m be n(6). Solve -4*p = -p - m for p.
2
Let z(m) = m**2 - 9*m + 15. Let l be z(7). Solve -p = -2*p - l for p.
-1
Let k(u) = 2*u**3 - 2*u - 1. Let s be k(-1). Let t be (-3)/((-3)/(-3)*s). Solve t + 0 = 3*w for w.
1
Suppose -2*p + 16 = 3*o, -p - o = 4*o - 22. Solve 5 + 5 = p*l for l.
5
Let y be (-4 - -10 - 1) + 0. Solve i = 6*i - y for i.
1
Let z = -58 + 27. Let i = -17 - z. Let f(x) = 2*x - 10. Let t be f(7). Solve 2 = -t*l - i for l.
-4
Suppose -4*h + 5 = -11. Solve 0*g - 8 = -h*g for g.
2
Let o(s) = s**2 - 13*s + 12. Let c be o(12). Solve 2*l + 2 - 4 = c for l.
1
Let h(w) = w - 1 - 2 + w. Let f be h(4). Let j(i) = i**3 - 5*i**2 + 6*i - 4. Let l be j(4). Solve -f*c = -l*c + 2 for c.
-2
Let b = 38 - 33. Solve -3 = -2*d + b for d.
4
Suppose -2*f - 3*f = 0. Solve s - 3*s = f for s.
0
Suppose -2*p + 6*p = 32. Let t(h) = h**3 - 7*h**2 - 9*h + 2. Let y be t(p). Let c(a) = -a - 4. Let x be c(y). Solve 0 = x*n + n + 9 for n.
-3
Suppose 3*o = 4*z - 10 - 8, -5*z - 3*o = -9. Suppose 9 = 2*f - 19. Suppose 2*p - d - d = -4, -4*p + 3*d - 6 = 0. Solve -z*y + f + 1 = p for y.
5
Let t = 13 - 1. Let l = t - 9. Solve 0 = -0*b - l*b - 15 for b.
-5
Let f be 8 - (-3)/(12/(-8)). Suppose k + f = 4*k. Solve 0 = g - k - 2 for g.
4
Suppose 7*g = 3*g + 24. Let p = g - 2. Let k = -4 + p. Solve 0 = 3*s - k*s for s.
0
Let k(i) = -i**2 + 5*i - 5. Let w(m) = -3*m**2 + 15*m - 14. Let c(h) = 8*k(h) - 3*w(h). Let a be c(5). Let z be 2 - 4/(a - 3). Solve 1 = u + z for u.
-5
Suppose 0 = -3*n + 5*n. Suppose 6 = -x + 7. Let i(u) = 8*u**3 + u**2 - 1. Let t be i(x). Solve n = 4*c - 0*c + t for c.
-2
Let o(s) = s**3 - s**2 + 4*s - 3. Let z be o(3). Let p be (-6)/z + 76/18. Solve p = -4*g + 2*g for g.
-2
Suppose 44 = c - 4. Suppose -188 = 5*o - c. Let g be 19/7 - 8/o. Solve 6 = g*z + 15 for z.
-3
Let q be 20/(-6)*6/(-5). Solve 2*l + q = 14 for l.
5
Suppose 4*a = 764 - 248. Suppose h - a = -5*r, -2*r + 59 - 9 = 2*h. Suppose 10 = 18*u - 16*u. Solve -u*w = r - 6 for w.
-4
Let s(q) = 19*q**2 + 3*q + 2. Let d be s(-1). Let h = d - 12. Solve o + h = -o for o.
-3
Let i = 1 - 0. Suppose -2*s - 10 = 0, 0 = 3*h + 5*s - s + 11. Suppose 5 = -q, -h*q - 25 + 4 = -3*j. Solve -i = 3*u + j for u.
-1
Let j be (-1 + 2)*1 + 1. Let r be ((-3)/j)/((-9)/12). Solve -11 = -r*w - 1 for w.
5
Let v = -145 - -57. Let x be 1/3 + v/(-6). Solve 0*l = 3*l + x for l.
-5
Suppose 0 = 3*i - 50 + 20. Solve 0*o + i = -2*o for o.
-5
Suppose -h - 2 = 3. Let j be 15*((-16)/h)/4. Solve p = 5*p - j for p.
3
Let q = 1 + 1. Let m be -1 + 0 - (-14 - q). Suppose 5*z - 5*f - 33 = 2, 5*f + 15 = 0. Solve 0 = z*n - n - m for n.
5
Let s be 66/10 + 3/(-5). Suppose -l - 25 = -s*l. Solve 2 = l*o - 3 for o.
1
Suppose -5*z + 3*z = 2*r - 10, z - 3*r - 1 = 0. Solve s + z = 2*s for s.
4
Suppose -5 = 5*l, -c - 4*l + 2 = -l. Suppose 3*h - 5*m - 12 + 3 = 0, -m = h + c. Let x be (-2)/(1/h*1). Solve n = -n - x for n.
-2
Let z(v) = -3*v**3 + v**2 + v. Let b be z(-1). Suppose 0 = -3*f - 2*k + 9 - 25, -5*f - 27 = b*k. Let w = f - -6. Solve u + w = -4 for u.
-4
Let g be (-1 - -2)*-1 + 4. Solve -9 = -g*u + 6*u for u.
-3
Let w(r) = r**3 + 11*r**2 + 2. Let f = -32 - -21. Let l be w(f). Solve n - l = 3*n for n.
-1
Let c be 1/(-2)*-6 - (1 + 0). Solve -m + c*m = -3 for m.
-3
Let n = 32 + -25. Let h = n - 6. Solve -2 + h = -v for v.
1
Suppose 2*p - 3 = r, -19 = -p + 3*r - 6*r. Solve 2 + 10 = -p*a for a.
-3
Let q(y) = -5*y. Let l be q(-1). Solve 2*g - l = 5 for g.
5
Let v(s) = -s**2 + 6*s + 8. Let z be v(6). Suppose -4*h + 0*h = -z. Suppose 0 = -j + h - 1. Solve 0 = 3*y - j + 10 for y.
-3
Suppose -3*l = -3*c - 0*l + 36, -5*c + l = -56. Suppose -r - c + 4 = -4*s, 3*r = -5*s + 13. Solve 15 = t + s*t for t.
5
Let s(l) = l**2 - 4*l. Suppose -3*u - 2*u + 25 = 0. Let k be s(u). Suppose k*o - 20 = 4*o. Solve 7*f + o = 2*f for f.
-4
Let s(f) = -f**3 - 3*f**2 - 2*f + 2. Let j be s(-2). Let l be (3/j - 1)*6. Solve -l = 2*b + 3 for b.
-3
Let u(j) = 2*j - 6. Let f be u(7). Let r = 9 - f. Solve -r = b + 3 for b.
-4
Let c(b) = -5*b**2 - b - 2. Let m(p) = 4*p**2 + 2. Let k(v) = 3*c(v) + 4*m(v). Let y = -15 + 17. Let x be k(y). Solve -r - r = x for r.
0
Suppose -8 - 2 = -5*i. Let k be 1 - i/2 - -25. Let h be ((-4)/3)/((-1)/3). Solve -h*y - y - k = 0 for y.
-5
Let k(p) = -6*p**3 + 2*p + 1. Let u be k(-1). Solve -1 = 2*l + u for l.
-3
Let u(m) = -m**2 - 6*m - 1. Let h be u(-7). Let f be (-2)/h + (-22)/(-8). Suppose -2 - 4 = -f*d. Solve -z - d - 1 = 0 for z.
-3
Let a be (6/7)/3 - (-1211)/49. Solve 2*m + a = -3*m for m.
-5
Let n be 3 + 0 - 5 - -5. Let f be (n + -2)/(3/114). Let c be f/4 + (-1)/2. Solve -4*h = -h - c for h.
3
Let w(v) = v**2 + 2*v - 15. Let a be w(3). Solve -2*c = -a*c + 6 for c.
-3
Suppose -z = 4*z. Let u be (-8)/(-6)*(-27)/(-6). Suppose 4*f = a - 10, -5*a + 18 = -0*a - 4*f. Solve z = -a*w + 5*w - u for w.
2
Let b = 1 + -3. Let h be -1*(b + 3)*12. Let r be (-70)/h + 2/12. Solve -4 = -2*q - r for q.
-1
Let t(h) = h**3 - 6*h**2 - 8*h + 6. Let d be t(7). Let b = 3 + d. Let m be 8*(1 - 1/b). Solve m*i + 9 + 7 = 0 for i.
-4
Let i = -16 - -21. Solve -u - i = -2*u for u.
5
Suppose -a = -5*q - 6*a + 20, 2*q - 5*a = -6. Solve -12 = -q*u + 5*u for u.
-4
Let w(a) = -a**2 + 3*a + 2. Let m be w(5). Let i(d) = d + 9. Let c be i(m). Solve -c = -0*p + p for p.
-1
Suppose 0 = -q + 3*q - 6. Suppose -3*t + 56 = 5*o, -2*t + o = -q*o - 74. Solve -5*g + t = 2 for g.
5
Suppose -v = -0*v - 36. Let h be (-4)/(-18) - 8/v. Let n = h - -2. Solve n*y + 2*y + 12 = 0 for y.
-3
Let q be (-2*(4 - 2))/(-2). Let y(r) = r**2 + 3*r - 5. Let l be y(q). Solve -l = -p - 4*p for p.
1
Let a be ((-4)/(-8)*0*1)/(-2). Solve -3 = -a*y + y for y.
-3
Let z = -28 - 0. Let h be (-1)/(-5) - z/10. Suppose 3*r = j, h*j + 0*r - 12 = -3*r. Solve -2 = -5*c + j for c.
1
Let t(l) = -7*l - 3. Let c be (2*(-1)/2)/1. Let j be t(c). Solve -j*m = -3 - 17 for m.
5
Suppose -3*x + 3 = -0*x. Let y be 1 + -2 + (x - -3). Solve y = 4*w - 1 for w.
1
Let a be (0/4)/(3/(-3)). Solve a*j + 2*j = 0 for j.
0
Suppose -3 + 5 = r. Solve -i - r*i = 0 for i.
0
Let z(y) = -3*y**2 + 6*y - 2. Let s(g) = -4*g**2 + 7*g - 3. Let l(n) = 2*s(n) - 3*z(n). Let o be l(5). Solve -2 = -o*r + 8 for r.
2
Suppose -30 = -3*p - 21. Solve 4*r - p*r = -4 for r.
-4
Let o be 0/(1 + (-1 - -1)). Let n = 2 - o. Suppose -3*f - 2*d = -10, -n*d + 11 = 5*f - 3. Solve f*b - 6 = -16 for b.
-5
Let a be 2/((-4)/6) - (-90)/15. Solve a*b - 7*b - 16 = 0 for b.
-4
Suppose 0 = -7*b + 2*b. Solve b = v - 4 for v.
4
Let v be 3 - (11 - 5)*1/2. Solve v = -5*p - 10 + 30 for p.
4
Let t = -20 + 23. Solve -2*y + t = -1 for y.
2
Let y be (-2)/(-3) - (-28)/12. Solve y*i - 2 = 4 for i.
2
Suppose 0*m - 9*m = -45. Solve 0*o = m*o for o.
0
Let n = 27 + -26. Solve 5*s - 9 = n for s.
2
Let o = 0 + 15. Solve 0 = 4*a - 9*a + o for a.
3
Let j(a) = a**2 + 5*a - 10. Let d be j(-7). Solve -d*q + 16 = -0*q for q.
4
Suppose -5*t = -58 - 42. Suppose t = 4*u, 4*k = k + 2*u - 10. Solve 3 = -3*f - k*f for f.
-1
Let j be (11/(-4))/((-3)/(-36)). Let t = j + 21. Let o be 0*2*3/t. Solve o = k - 3 + 4 for k.
-1
Suppose 1 = -2*l + 3*l. Let v(p) = p**3 + 2*p**2 - 1. Let x be v(l). Let b be ((-15)/(-3)*2)/x. Solve b*h - 2*h = -6 for h.
-2
Let r(w) = 2*w - 2. Let p be r(2). Suppose -2*i + 14 = -2*g, 4*g + 29 = p*i - g. Solve 2*z + i*z = -12 for z.
-3
Let b(v) = v**3 + 5*v**2 + 3*v - 3. Let y be b(-4). Solve w = y - 0 for w.
1
Suppose -j = -5*h + 3, -j = -3*j + 4. Suppose -2*o + 3*o = h. Let a be -1 - (-3 + o) - 1. Solve a = -4*l + 3 + 13 for l.
4
Let u = 13 + -5. Solve -u = m - 3 for m.
-5
Let m be (0 - 0) + (-1 - 0). Let s be m/3*0 + 0. Solve -20 = -4*p - s for p.
5
Let m = -46 + 48. Solve -6 + 0 = -m*i for i.
3
Let j be 0 - ((-5 - -2) + 3). Let a be 1 - 1 - 0 - j. Solve f - 1 = -a for f.
1
Let f(d) = d**3 + 8*d**2 + 8. Let n be f(-8). Let y(a) = a**2 - 4*a + 2. Let m be y(4). Solve m*h - n = -0*h for h.
4
Let l(y) = -3*y + 7. Let t be l(-9). Let x(w) = -2*w. Let n be x(1). Let h = n + 6. Solve h*b = -14 + t for b.
5
Let z(d) = -d**2 + 5*d - 2. Let c be z(3). Suppose 0*f + 3*f - 2*h = 35, f - 30 = -3*h. Solve -c*u -