)/((-3)/t). Solve f*s - 3 = -0*s for s.
1
Let g = 8 - 5. Suppose 4*r = -8, g*b + 4*r + 44 = -0*b. Let v be ((-20)/b)/(-5)*-3. Solve 0 = -4*k - 5 + v for k.
-1
Suppose -61 = 5*j + q, 2*q + 7 = -2*j - 11. Let t = j + 15. Suppose 10 = 4*z + t*a, 3 = a + 2. Solve c - 2 = z for c.
4
Let x = 4 - 2. Suppose 0 = 3*n - 5 + 2. Suppose -n + 0 = -x*v - f, 0 = -3*f - 9. Solve 6 = -v*q - q for q.
-2
Suppose 4*n - 17 = 5*p, -3*n + 23*p = 21*p - 18. Solve 5 - n = y for y.
-3
Let l be (-2)/(-7) + 340/35. Suppose i = -i + l. Suppose -o - o = -8, -o - 11 = -i*x. Solve 0 = x*f + f for f.
0
Let k(p) = -2*p + 3. Let h be k(-10). Let x = -21 + h. Suppose -x*o + 1 = 3*v, -v - 4 = o + 4*o. Solve 5*j + 6 - v = 0 for j.
-1
Let i(u) = u**3 + 6*u**2 + u - 10. Let k be i(-6). Let z(m) = m**2 + 16*m + 3. Let h be z(k). Solve -2*g + 20 = h*g for g.
4
Let c be (-32)/(-10) - (-2)/(-10). Suppose -3 = -2*u + c. Let x = -32 + 36. Solve 0 = -5*z + u*z - x for z.
-2
Let f be (46 - (-1)/6*-6) + -5. Solve -f = -4*j - 4*j for j.
5
Let d(u) = 1 - 6*u**2 + u**3 + 8*u - 3*u + 3. Let t be d(5). Let s = t + -2. Solve s*f - f = -2 for f.
-2
Let h(p) = p**2 - 3*p - 6. Let t(d) = d - 4. Let j be t(0). Let q be 3 - (-5 - 12/j). Let y be h(q). Solve -y*u = -3 - 17 for u.
5
Let k be (-4)/10 - 201/(-15). Let r(f) = 2*f**2 + 3*f**3 + k*f - 2 - 6*f**2 - f**3 - 10*f. Let i be r(2). Solve t = -i*t - 25 for t.
-5
Let u = 774 - 742. Solve u*a + 14 = 25*a for a.
-2
Let t(p) = -p**2 - p + 5. Let w be t(0). Let m = -6 + 5. Let z = w + m. Solve -4*f + z + 8 = 0 for f.
3
Let k = 52 - 78. Let h = 26 + k. Let r = -5 - -8. Solve 0 = r*t - 3 - h for t.
1
Let n be -18*(-4 + 3) + -6. Solve -20 = 2*c - n for c.
-4
Let n be (-9)/(-45)*5 + 11. Solve -3*m = -21 + n for m.
3
Let z = -747 - -749. Solve -7*v = -z*v for v.
0
Suppose -5*y = t + 1 - 6, -3*y + 4*t = -26. Suppose -2*d = 2*z - 16, -d = -y*z - 2*z + 2. Solve 10 + d = -4*q for q.
-4
Let k be 8/(-160)*-295 + (-21)/28. Solve 44*a = k*a + 30 for a.
1
Let h = 236 - 229. Solve 25 = h*m - 2*m for m.
5
Suppose -4*z + 3*z + 3 = 0. Suppose -3*p + 36 = -5*l + 11, -4*p = z*l - 14. Suppose p*k = -0*k + 10. Solve -k*y + 3*y = -5 for y.
-5
Suppose 0 = 6*b - 1 - 29. Suppose 5*x + 10 = -2*g, -b*x + g = -0*g - 5. Solve 3*f - 4*f - 3 = x for f.
-3
Suppose x = 4*x + 5*o - 32, -o = 2*x - 12. Suppose -3*i + x = -j - 1, j = -3*i - 5. Solve i = z - 3 - 1 for z.
4
Let o be 1/4*-3 + 2449/316. Solve y + o = 6 for y.
-1
Let t be 1/((-8)/(-7) + -1). Suppose 0 = -5*w + g + 16, 2*w = -2*g - 3*g + 1. Let k(x) = -x**2 + 13*x + 4. Let j be k(12). Solve -t*f - j = -w*f for f.
-4
Let w = -179 - -191. Solve 4*d + w = d for d.
-4
Let u(n) = -n + 5. Suppose q - 5*q + 20 = 0. Let j be u(q). Solve -5*l + 28 - 3 = j for l.
5
Let f be 5 + 1 - (-1 + 0). Suppose 0 = -10*c - 4 + 4. Suppose -17*i + 16 = -2*z - 12*i, c = 2*z - 4*i + 12. Solve f*d + 20 = z*d for d.
-4
Suppose l = -5*q + 20, 36 = 3*l + 2*q + q. Let b = l - 8. Let t be (11 - 18)*b/(-7). Solve 0*c = -t*c - 10 for c.
-5
Suppose 5*x - 17 = -3*p, -x - 4*p = x - 4. Suppose -u + 3 = 5*l - 3, x*l - 24 = 4*u. Suppose -l*s = s. Solve -n + s*n = 0 for n.
0
Let h = 16 - 42. Let s = -26 - h. Solve 10 = 2*f - s*f for f.
5
Suppose 0 = -4*f + f. Suppose f = 4*p - 3*p - 4. Suppose 5*o = 4*q + 10, 4*q + p*o = -0*o + 8. Solve n + 1 + 2 = q for n.
-3
Let g(c) = c**3 - 11*c**2 + 9*c + 9. Let v be g(10). Suppose 3*r = -3*y - 117, 2*r - y = -2*r - 136. Let u be -1 + v - r/5. Solve -u*f + 0 = -5 for f.
1
Suppose 41*l - 19 = 145. Solve l*k - 11 - 1 = 0 for k.
3
Let y = 860 + -836. Solve -32 = y*i - 16*i for i.
-4
Suppose -5*v = -3*r + 3, -30*r + 2 = 4*v - 28*r. Solve u - 2*u + 5 = v for u.
5
Suppose 3*p - 24 = -3*o, 3*o + o - 22 = p. Solve 8*s = -10 - o for s.
-2
Let f(q) = q + 14. Suppose 2*i + 37 = -i + 4*r, 2*i - r = -23. Let w be f(i). Solve -w*j = 2*j + 25 for j.
-5
Let q = -500 + 508. Solve 0 = -4*o - 4*o + q for o.
1
Let x(f) = -5*f**3 - 2*f**2 + f - 1. Let k be x(-2). Suppose 0*d - 2*y + 4 = -d, -y = 4*d - k. Solve -2*g = d - 2 for g.
-2
Let i be (-6 - -5)/((-1)/17). Let p(a) = 7*a**2. Let f be p(-2). Let n = -24 + f. Solve n*z + i = 5 for z.
-3
Suppose 0*i = 8*i + 280. Let g be (20/i)/(2/(-14)). Suppose -2*a + 3*a + 5 = 0, -g*p - a + 3 = 0. Solve -p = 3*h - h for h.
-1
Let q(g) = -g + 5. Let j(r) = -r**3 - 8*r**2 + 8*r - 9. Let x be j(-9). Let v be q(x). Suppose -v*w - 3 + 63 = 0. Solve -2*z + w = z for z.
4
Suppose -1 = -5*i - 6. Let p be (-1)/(i + 0)*2. Let y = -1 - -1. Solve p*h - h = y for h.
0
Suppose -q = 5, 19*v - 50 = 17*v + 2*q. Let h = 6 - 3. Solve -h*z - v = z for z.
-5
Suppose 5*p + 5 = 0, 0*w + 2*w = 4*p + 24. Solve 0 = -5*b + 7*b + w for b.
-5
Let d be 9/3 + 4/(-18)*-9. Solve -d = 9*j - 8*j for j.
-5
Let j be 24/28*35/15. Solve 0 = -9*r + j*r for r.
0
Let j = 17 - 13. Solve -3 = j*n - 19 for n.
4
Let j be (((-8)/16)/((-2)/20))/1. Solve 21 = j*b - 4 for b.
5
Suppose -3*d + 2*d = -4. Suppose -58 = -3*o - t, 21 = o - d*t - 7. Solve m - 5*m - o = 0 for m.
-5
Suppose y - 4*f = -3, 7*y - 29 = 2*y - 2*f. Suppose 0 = y*t - 1 - 24. Solve 0*g = t*g for g.
0
Suppose 0 = 2*h - 0*h + 4. Let k = h - -6. Solve -k*g - 2 = 14 for g.
-4
Let i(b) = -b**2 + 11*b - 18. Let y be i(9). Suppose 2*s = 2*t + 12, y = -0*t - t - 2. Solve 0 = -s*a + 5 - 1 for a.
1
Let b(c) = 5*c**2 + 8*c + 9. Let q be b(-1). Solve t - q*t = -20 for t.
4
Suppose -5*p + 0*s = s - 6, -5*s + 5 = 0. Solve 19 + p = 4*w for w.
5
Let b = -33 - -63. Suppose s + 5*w = 6*s + 5, -2*w + b = 5*s. Suppose 0*z + 6 = q - 4*z, 5*q - 6 = -s*z. Solve -q*i - 1 = -5 for i.
2
Let c be -1 - -8 - 424/(-53). Solve -3*g + 8*g = -c for g.
-3
Let k be -1*(0/3)/(-1). Let m(q) = q**2 + 11*q - 242. Let r be m(-22). Solve n - 1 + k = r for n.
1
Suppose 4*d - 327 = -14*c + 9*c, 0 = -3*c + 5*d + 211. Solve 73*b - 12 = c*b for b.
2
Let w(f) = -f**3 - 10*f**2 - 10*f - 2. Let g be w(-9). Let n(j) = j**2 - 7. Let u be n(5). Solve -5*c = u + g for c.
-5
Let l(f) = -f**2 + 3*f + 29. Let v be l(6). Solve -11*t = v + 44 for t.
-5
Let o = -34 - -39. Solve 0 = -o*n - 9 - 6 for n.
-3
Suppose -3*c - 2*c = -5*z + 95, c - 15 = -z. Suppose -z = -5*k + 3. Let h = 8 + -3. Solve -k*y + 5*y = -h for y.
-5
Suppose -2*u = 2*u. Suppose 5*x - 121 = -4*i - 18, 40 = 2*x + i. Suppose 3*n - 5*a - x = 7, 2*n + 16 = -5*a. Solve 0 = n*v - u*v for v.
0
Let x = 45 - 43. Suppose 0 = 4*u - 3*c - 38, u + x*c - 16 = 6*c. Let w be 6*(2 - 3/2). Solve 5 = w*y - u*y for y.
-1
Let p(f) = -7*f**2 + 1. Let k be p(1). Let m = 14 - k. Let h = -1699 - -1699. Solve h*w + m = -5*w for w.
-4
Suppose 0 = 4*a - 5 - 3. Let d be (6/(-12))/((-29)/232). Solve -d*y = -a*y for y.
0
Let z(j) = j - 2. Let h = -2 - -7. Suppose 13 = -h*n + 53. Let i be z(n). Solve -4*b - i = -2*b for b.
-3
Let g = -176 - -89. Let s = -75 - g. Solve 4*l + 8 = -s for l.
-5
Let w = -73 - -54. Let n = 21 + w. Let x(q) = -q**2 - 5*q - 3. Let h be x(-3). Solve h*y + n = 11 for y.
3
Let o(u) = -u**2 + 5*u + 101. Let m be o(-7). Solve -18*b - 3 = -m*b for b.
-3
Let r be 4 - 5 - -3 - 1. Let n be r/(3*(-4)/(-24)). Suppose h = -4*b - 0*b + 17, n*h - 2*b = 4. Solve -h*a - 12 = -a for a.
-3
Let g = 8 - 0. Solve g*k - 7*k = 1 for k.
1
Let n(q) = 17*q**2 - 13*q + 11. Let j be n(1). Solve -4*c + 23 = j for c.
2
Let p = -2 - -6. Suppose -p*r - 37 = 15. Let q = 21 + r. Solve w = 5*w - q for w.
2
Let l(g) = 3*g**2 - 39*g + 3. Let c be l(13). Solve -c*s + 7*s = -8 for s.
-2
Let i be ((6 - 326)/(-8))/2. Solve 3*c + i = -c for c.
-5
Suppose -z - 58 = -3*q - 3*z, z = 2. Let f be 28/126 - (-50)/q. Solve 16 = -f*t - t for t.
-4
Let u be 12/(10 + (-32)/4). Solve 26 = 10*v + u for v.
2
Let a(l) = -l**3 - 3*l**2 + 2*l - 1. Let h be a(-4). Let u = -4 + h. Suppose u*p - v = -1, 2*v = -p + 7*v - 5. Solve p = 2*r - r for r.
0
Let f be (6*(-2)/(-16))/((-15)/(-100)). Solve -12*i = -7*i + f for i.
-1
Let q = -33 + 48. Let u = q + -14. Suppose y - 1 = u. Solve -4*o + y*o = 10 for o.
-5
Suppose -2*d + 9 = d. Suppose 36*a - 120 - 600 = 0. Solve s = -d*s - a for s.
-5
Suppose 0 = 3*l - g + 8, 5*g = -4*l - 17. Let i be ((-3)/(-2))/l*-2 + 1. Solve i*y = y for y.
0
Suppose 6*v + 43 = 2*v + 5*m, 16 = -v - 4*m. Let y be 0 + 3*(-28)/v. Let h be (3 - y)*15/(-12). Solve -h*u + 26 = 6 for u.
4
Suppose 2*i - 13 = -5*o - 6, i = -o + 2. Let w be