0, 0 = q - 5. Let t be (8*(-12)/a)/((-9)/30). Solve 6*v - t = 2*v for v.
2
Suppose 32 = 2*a - i + 20, -3*a - 3*i = -9. Solve u + 4*u = a for u.
1
Suppose 0 = -11*w + 31 + 123. Solve -w*c = c + 45 for c.
-3
Let f(n) = 7*n + 52. Let o be f(-7). Let d = 2 - -6. Solve -a = o*a + d for a.
-2
Suppose 75 = -v + 97. Solve v*m - 4 = 23*m for m.
-4
Let t = 20 + -18. Suppose -o - j = -3, -5*j + 2 = -t*o - 13. Solve 0*l + 2*l = o for l.
0
Suppose 0 = -22*d + 13*d + 54. Let o(r) = r - 2 + 2 - 3. Let j be o(d). Solve -6 = l - j for l.
-3
Let j = 6 + -4. Suppose 4*p = 4*g + 12, 3*p - 4 = j*g + 5. Solve 0 = p*q + q - 16 for q.
4
Let g(j) = 110*j + 666. Let q be g(-6). Solve -3*r = -q*r - 2*r for r.
0
Let o be (-3)/(-1) + (0 - 7 - 0). Let i be 56/(-42)*6/o. Solve 2*p + i = p for p.
-2
Let w(k) = -k**2 - 14*k + 3. Let i be w(-14). Let v be (-6)/10 - 126/(-10). Solve -v = p + i*p for p.
-3
Suppose -y + 19 = -3. Let p = 24 - y. Let t(m) = m**2 + 4*m. Let n be t(-4). Solve n = p*v + 3*v for v.
0
Let h be 2*(-4 - 99/(-18)). Solve -h*v = -16*v - 26 for v.
-2
Suppose -11*u + 54 = -232. Let h = 31 - u. Solve -o - 2 = -h for o.
3
Suppose 0 = 13*u - 8*u - 80. Suppose k + u = 4*m + 3*k, 2*m = 2*k + 2. Solve -4 = -m*b + b for b.
2
Let w(o) = -2*o - 5. Let s(i) = 5*i + 14. Let u(d) = 3*s(d) + 8*w(d). Let m be u(-2). Solve 7*j = 3*j + m for j.
1
Let r be (-72)/(-120) - (-1)/((-5)/(-102)). Let o(c) = -c**3 + 22*c**2 - 23*c + 49. Let v be o(r). Solve -4*h + v*h = 0 for h.
0
Suppose 17*f + 51 - 442 = 0. Suppose 12 = -f*t + 27*t. Solve -3 - t = -3*l for l.
2
Let v be -1 + 2 + 4 + 6 + -8. Solve 2*d = -v*d for d.
0
Suppose -97*v + 102*v - 75 = 0. Solve -3*h + v - 21 = 0 for h.
-2
Let h be 10/(-36)*-9 + 9/6. Solve 0*f - 2*f = h for f.
-2
Let j = 0 - -3. Suppose 0 = j*m + m - 40. Solve 3*s = -m - 2 for s.
-4
Let h(c) = -5*c + 2. Let d be h(-2). Suppose -9*b = -d*b. Solve b = x + 6 - 2 for x.
-4
Suppose 3*y + 0*j - 4*j + 193 = 0, 5*y = 5*j - 315. Let t = y + 63. Solve -t*u - 8 = -2*u for u.
-4
Let m be 5/((-35)/(-2)) - 2/7. Solve 13*s - 4*s - 27 = m for s.
3
Let m(d) = 5*d**2 - 3*d - 2. Suppose j + 5 = 0, -2*z + 8 + 0 = -2*j. Let r be m(z). Solve -g + r = -3*g for g.
-3
Let j be (2/(-6))/((-1)/39). Suppose 0 = 2*r - 27 - j. Let c = r - 13. Solve -c = -2*o + 3 for o.
5
Let l = -1354 - -1357. Solve -l*m - 5*m = 8 for m.
-1
Suppose 5*c + i = -42, 5*i = 4*c - 2*c + 33. Let v be (-1)/(-3) - (-3)/c. Suppose -l - l = v. Solve l*m = 2*m + 2 for m.
-1
Suppose 15 = 3*h, -3*y + 0*h + 37 = -h. Solve -y*t + 12*t = -8 for t.
4
Let u = 14 + -11. Suppose 2*g - 45 = -u*g. Let w be ((-2)/2)/((-3)/g). Solve w*o = 2*o + 1 for o.
1
Let w(s) = 13*s**2 + 43*s - 7. Let m be w(-4). Solve m = a + 28 for a.
1
Suppose 8*u - 3*u - 461 = -4*g, -416 = -4*g + 4*u. Let i = g - 109. Solve 2*s - 3 - 3 = i for s.
3
Let l be ((-64)/6)/(2/(-3)). Suppose -2*i = 2*v - l, -i = i + 5*v - 16. Suppose 3*f + f - i = 0. Solve -f*h + 20 = -6*h for h.
-5
Let q = 239 + -231. Let j(o) = o**2 + 3*o + 7. Let g be j(-3). Solve 3 = q*m - g*m for m.
3
Let y(i) = i**2 - 7*i + 10. Let b be y(5). Let d be (0 + b)/(2 + -3 + 0). Solve d*r = -r for r.
0
Let o be (-2)/(-2)*(6 + 27). Let l be 6/o - (-18)/22. Suppose 0 = -2*d - 0 + 6. Solve -l = 2*j + d for j.
-2
Let k = -1021 - -1157. Solve 2 = 137*m - k*m for m.
2
Let r(b) = -b**3 - 28*b**2 + 23*b - 166. Let i be r(-29). Solve i*y = 40 - 8 for y.
4
Suppose -5*j + 18 = -r, 5*r - 20 = 2*j + 5. Solve -r = 4*i + 3*i for i.
-1
Suppose 5*p + t - 137 = 0, 4*t + 36 = 4*p - 64. Solve -32*n + 5 = -p*n for n.
1
Let r(a) = -a - 12. Let h be r(-13). Let i be ((-2)/(-2) - 1)/h. Solve 0 = -i*v + v for v.
0
Let v(o) = o**3 + 2*o**2 - 5*o + 2. Let r be v(2). Let h(j) = 2*j - 1. Let n be h(3). Solve 0 = -n*p + r - 3 for p.
1
Let t = 457 + -447. Solve -6 = 4*q + t for q.
-4
Let k be 30/6 + (-3 - -1). Solve -k*q = -6*q for q.
0
Let o be (-3 - -4) + (-5 - -8 - -2). Solve -15 = -o*j + 11*j for j.
-3
Let r(w) = w**2 - 6*w + 5. Let j be r(8). Suppose 0 = -4*l + l - j. Let b = l + 9. Solve 2*g + b*g = 0 for g.
0
Suppose -5*n + 24 = -1. Suppose r = -2 + n. Solve -r*b = -2*b - 3 for b.
3
Suppose 0*q = -q - i + 111, -3*q + 5*i + 365 = 0. Let h be q/35 + 6/(-21). Let c be 2 - -2 - (h - 2). Solve 6*u - c*u = 0 for u.
0
Let j(i) = 5*i**2 - 25*i - 27. Let t be j(-1). Solve -t*a + 25 - 10 = 0 for a.
5
Let x be 15 - 9 - 0 - -14. Solve -i - 3*i = x for i.
-5
Suppose -138*y + 27 = -129*y. Solve -4*n - y = -3*n for n.
-3
Suppose -9*u + 11*u = 0. Suppose c = 4*j + 6*c - 12, u = -5*j + 3*c + 15. Suppose 4 = 2*l - 0*l. Solve -j*w - l - 10 = 0 for w.
-4
Let y(d) = -d**3 - 3*d**2 + 2*d - 3. Let f be y(-4). Let t = 35 + -35. Suppose -4*p + p = t. Solve p*m - 15 = -f*m for m.
3
Let c be -27 + 22 + 5/1. Solve 7*w = -7 - c for w.
-1
Let c(g) = -g**2 - 9*g - 3. Let d be c(-8). Suppose -6*j + 5 = -d*j. Suppose -2*x = -4*u + 10, 3*u + 2 + 1 = j*x. Solve x*p - 9 = -0 for p.
3
Let d be (42/3)/((-30)/(-9) + -4). Let t be (7/d)/(1 + 14/(-12)). Solve t*l - 1 = -7 for l.
-3
Let l = 284 + -275. Solve 0 = -l*m + 7*m - 6 for m.
-3
Let f be 2 + -1 + 3 - 4. Solve -4*i - 34 + 22 = f for i.
-3
Let y = 2 + -2. Suppose 10 + 12 = 11*t. Solve y = -5*p + t*p for p.
0
Let c(a) = a**3 - 2*a**2 - 14*a - 50. Let q be c(7). Solve 24 = -89*t + q*t for t.
3
Let h be 2/8 + 31/4. Suppose -2 = -3*j + 4. Suppose j*n - 19 = 2*p - 5*p, 2*n + p - 13 = 0. Solve -n*q + 3*q = h for q.
-4
Let g(i) = i**2 - 6*i + 1. Let f be g(6). Let q(n) = 3*n**2. Let d be q(f). Solve y + 6 = d*y for y.
3
Let x = -761 + 764. Solve x*y + 0*y = -0*y for y.
0
Let o = 8 + -4. Suppose -o*i = -24 + 8. Suppose -i*y - 6 = u, 0*y = 4*u + 3*y - 28. Solve n + n = u for n.
5
Suppose 0*g = -4*g - 4, 4*g + 18 = 2*c. Suppose -c*d - 9 = -10*d. Suppose -d*v - 2*v = 0. Solve v = -2*q + q for q.
0
Suppose 4*f + 4*m + 4 = 0, -15*f + 11*f = -3*m - 17. Solve -8*x = -f*x for x.
0
Let d = -3 + 5. Suppose -j = 6*j - 42. Suppose -j*y + 11 + 19 = 0. Solve d*p - y = -1 for p.
2
Let h be ((-1)/(-2))/((-1)/12). Let z be -1 + (h/(-3) - -2). Let j be 3 + (-1)/((-11)/(-2) + -5). Solve -2*r + z = j for r.
1
Let b be (-12*1)/((-15)/10) + 4. Let p(a) = -3*a - 5. Let d be p(-5). Suppose -3*l = -3*r - l + d, 3*l = -5*r - 15. Solve r = -4*m + b for m.
3
Let y be 0/((-2)/(-2)) - -6. Let m(n) = -n**2 + 8*n - 18. Let f be m(6). Let i = y + f. Solve i = q + 3*q - 20 for q.
5
Let h(m) = 2*m**2 + 3*m + 2. Let o be h(-2). Suppose 3*u = o*u. Suppose 3*p - 3*x - 12 = 0, u = 7*p - 3*p - 2*x - 18. Solve -p*k = -0*k for k.
0
Suppose -2*m + 6 = m. Let k = 0 + m. Solve k*w + 12 = -w for w.
-4
Suppose -35 = -f + 4*y, -4*f - y = 2*y - 102. Solve -f = 4*m - 19 for m.
-2
Let w be (-2)/3*-12*116/32. Solve -9 = 32*o - w*o for o.
-3
Let z = 29 + -45. Let t be 4/z*(-17 - 3). Solve 0 = -8*l + t*l + 12 for l.
4
Let s = 26 - 16. Suppose 21*y = 26*y - s. Suppose 22 = y*b + 14. Solve -b = u + u for u.
-2
Suppose 0 = -4*f + 3*y - 22 - 97, -122 = 4*f - 2*y. Let t = f + 34. Solve t*h - 20 = -3*h for h.
4
Let j be (2/5)/((-4)/20). Let r = 10 + j. Suppose 0 = -4*b + r*b - 16. Solve -8 = -4*k + b for k.
3
Suppose 5*l + 49 = 94. Solve -20 - 16 = l*s for s.
-4
Suppose -5*c - 35 = -10*c. Let z(u) = -6*u**2 - 49*u - 44. Let j(x) = -4*x**2 - 33*x - 29. Let r(f) = -7*j(f) + 5*z(f). Let v be r(-5). Solve -c*h = -v*h for h.
0
Suppose -25*n = -5*n - 220. Solve n*j = 2*j for j.
0
Let l(p) = -p**3 + 11*p**2 + 10*p + 26. Let a be l(12). Solve 7*j - a*j = 0 for j.
0
Let m = -9 - -9. Suppose 2 = -g + 2*g + 4*u, m = -2*g - 3*u + 14. Suppose -4*r + g - 2 = 0. Solve t + r = 2*t for t.
2
Let i be 1 - ((-18)/1 - -1). Let o = -5699 - -5702. Solve 5*k + i = o for k.
-3
Let q be (0 - 0)/(256 - 254). Solve -5*p + 0 + 5 = q for p.
1
Let g = 748 + -736. Solve 0 = 5*b + g + 13 for b.
-5
Suppose -4*b = -b - 9. Let p(u) = 13*u**2 + 4*u - 2. Let i be p(1). Suppose -i*m = -12*m - 9. Solve -b*y + m = -2*y for y.
3
Let u = -13 - 3. Let a = u + 21. Solve -3*w + 10 = -a for w.
5
Suppose -6*v + 1 = -11. Let a = -15 - -9. Let d = 9 + a. Solve -v = d*g + 4 for g.
-2
Suppose 0 = -3*i + 3 + 15. Suppose 0 = i*u - u. Let g = 54 - 50. Solve -g*b = -u*b for b.
0
Let m(s) = -s**2 + s + 7. Let a be m(6). Let v = -32 - a. Let z be (-54)/v + (-2 - -1). Solve z*u = u - 4 for u.
-1
Let f(z) = 5*z**2 + 4*z 