o = 15 + -20. Let s be u(o). Solve -l = s + 2 for l.
-4
Suppose 3*d = 5*s - 5, -5*s + 0*d = -2*d - 10. Suppose -s + 24 = 4*n. Suppose -t = -2*q + 5, -4*q - n*t + 20 = q. Solve -1 + q = y for y.
2
Let p be (-32)/(-4)*142/4. Let r be p/(-10) + (-4)/(-10). Let y be 8/r + (-46)/(-14). Solve -i = -y*i + 2 for i.
1
Let l be (3 + -7)*2/(-8). Let u be (-3)/(l - 40/28). Solve 5*i + 8 = -u for i.
-3
Let s be -3 - 38/(-10) - 12/15. Suppose t - 4 = -2. Suppose -t*d = 3*d. Solve s = -d*k + k + 1 for k.
-1
Suppose d = 2*d. Let v be -5 + 5 - 8 - (-15 - -3). Solve d = v*u - u for u.
0
Let o(d) = -d**3 + 3*d + 3. Let f be o(-1). Let v be ((-36)/(-10))/(4/10). Solve v + f = -5*b for b.
-2
Let p = -28 + 39. Suppose -1220*c + 30 = -1215*c - 5*h, -2*c = 3*h - 2. Solve -3*d = -c - p for d.
5
Suppose 8*g = -23 + 39. Solve -g*w + 0*w = 0 for w.
0
Let c = -8 + 13. Let f = -51 - -15. Let p = 53 + f. Solve 3*y = c - p for y.
-4
Let d(x) = -x**2 - 14*x - 30. Let v be d(-11). Suppose p - v = 6*p + 3*n, -p - 1 = n. Solve p + 8 = 2*a for a.
4
Let q = -2529 + 2540. Solve -9*f - 16 = q for f.
-3
Suppose -36 = -10*z + 8*z. Suppose -g + 5 = 3*b + 18, -4*g = -2*b - z. Suppose l = -h, -9 = 4*l - 4*h - 33. Solve l*f = g*f for f.
0
Suppose 0 = 2*w - w. Suppose 4 = -2*a - w*a + 5*d, -2*a = 3*d - 12. Suppose m + a*m = 0. Solve -t = -m*t + 1 for t.
-1
Let w(c) = 4 - 1 - 5 + 13*c. Let p(u) = 12*u - 3. Let d(i) = 3*p(i) - 4*w(i). Let f be d(-1). Solve -2*h = h + f for h.
-5
Let l = 567 - 559. Solve 5*a = 3*a + l for a.
4
Suppose 10*x + 740 = 790. Solve 18*q = 13*q + x for q.
1
Let f be (-8)/36 + 29/9. Let v be (6/(-3))/((-6)/12). Suppose 0*s - 4 = f*d + 4*s, 4*d = v*s + 32. Solve -d*m + 6 = -14 for m.
5
Let d be (11 - (-6888)/156) + 4/(-26). Solve -7*o = 4*o + d for o.
-5
Let n be 10 - (2/(-4) + 22/4). Solve n*g + 8 = g for g.
-2
Let x(m) = m - 13. Let q be x(9). Let b be (-3)/(-12) - (-113)/q. Let o be 10/(-3)*42/b. Solve -4 = -o*u + 11 for u.
3
Suppose 3*q + 4*b - 16 = -b, -15 = -3*b. Let n be (4/(-4) + q)*-1. Let k = n - 4. Solve g + 1 = -k*g for g.
-1
Suppose 0 = -4*a + 4*b, -2*a - 3*a = 4*b - 18. Suppose 8*h = a*h. Suppose 0 = -2*j - 2*j. Solve h = t + 2 - j for t.
-2
Suppose 15 = -3*h + 7*h - 3*q, -3*h - 10 = 2*q. Suppose -9*s + 10 = -7*s. Suppose h = -s*y + 57 - 22. Solve -y*l = -3*l + 16 for l.
-4
Let l(n) = 6*n - 115. Let f be l(20). Solve -6 = f*t - 11 for t.
1
Suppose 3 = 4*i + 11. Let l = i + 8. Let u be -1*(-1)/((-2)/(-4)). Solve -u + l = -2*a for a.
-2
Suppose -5*a = -2*y + 21 + 8, -2*a - 26 = -2*y. Solve -7 + y = b for b.
5
Suppose 7*y = 2*z + 2*y - 15, z + 5*y = -15. Solve -18*q + 4*q + 70 = z for q.
5
Let p be 1/(-2)*(6 - 6). Suppose 0 = j + 4, -2*j = -3*c - p*j + 20. Solve 0*q - c*q = 16 for q.
-4
Let b(t) = -7*t - 88. Let v be b(-15). Solve 19 = -l + v for l.
-2
Let t be ((-8)/20)/((-3)/15). Solve t = -4*f + 22 for f.
5
Let c = -26 + 21. Let s be ((-219)/(-15) - c) + (-6)/(-15). Solve -5*m - s = -m for m.
-5
Let h = -43 - -8. Let a = -33 - h. Solve -3*m - 5 = a*m for m.
-1
Let k(d) = -2*d + 1 - d + 4*d. Let r be k(-1). Suppose -6 = -3*i - r. Solve i = -g - 0*g for g.
-2
Let g be 2/4*(-9 - -25). Let u = 8 - g. Solve -d = -u*d - 5 for d.
5
Let z be 144/18 + -8 - (-12 - 1). Solve z*u + 33 = 59 for u.
2
Suppose -v + 6 = -0*v. Let w be (-12)/v + -1*2. Let d be (w - 1)*15/(-25). Solve 4 = -s - d*s for s.
-1
Let n = -12 - -10. Let a be n/10 - (-3)/15. Solve -6 = -a*h - 2*h for h.
3
Suppose 3*t + 2*t = 20. Let p be 54/t*2/3. Let r be (-2)/2 - (-9)/p. Solve r*q = -3*q for q.
0
Let p = -505 + 513. Solve -p = -6*n + 10*n for n.
-2
Let l = 282 - 276. Solve 9*n = 7*n + l for n.
3
Suppose -3*h - 5*p = -1, -6 = 4*p - 2. Suppose v = -2*v - j + 27, h*j - 36 = -4*v. Solve 3*a = -0*a + v for a.
3
Let a = -10 + 21. Let v = 15 - a. Let i = -2 + v. Solve -i*q = q - 3 for q.
1
Suppose 2*h + 0 = 10. Suppose -9*m + h*m + 12 = 0. Suppose 9 = -3*i - 6, -2*r - i = -m. Solve u = -u - r for u.
-2
Suppose -w + 24 - 3 = 0. Suppose -2*b = -b - 11. Suppose -3*n = 3, 4*k + 5*n - b = -0. Solve w - 1 = k*p for p.
5
Suppose 0 = -39*w + 69*w - 480. Solve 4*l - 36 = -w for l.
5
Let t(h) = 2*h**2 + 28*h + 74. Let j be t(-3). Solve 0 = 106*v - 104*v - j for v.
4
Let v = 6 - 1. Let o(d) = d**2 - 4*d - 1. Let c be o(v). Suppose -5*j = -2*j + c*k - 50, 3*j + 2*k = 40. Solve -4*p + 2 = -j for p.
3
Let x be ((-198)/55)/((-1)/5). Suppose x = -7*w + 10*w. Suppose 3*y = 6*y. Solve y*z = 2*z - w for z.
3
Let t(j) = 7*j + 33. Let l be t(-4). Solve l*r = -0*r for r.
0
Suppose 0*n + 3*z = 5*n + 220, 5*n + 220 = -z. Let j = 48 + n. Solve -j - 12 = -4*m for m.
4
Suppose 0 = y + 4, -8*q - 1 = -7*q + 2*y. Solve -q*k + 16 = -3*k for k.
4
Let t(l) = -l**3 + 7*l**2 - 4*l + 8. Let c be t(7). Let s be ((-24)/c)/((-8)/(-20)). Solve 0 = -x - s + 2 for x.
-1
Suppose -5*x + 48 = 3*a - 0*x, 3*a + 3*x = 42. Solve a*s - s = -10 for s.
-1
Suppose 20*s = -s + 84. Suppose 5*q - 111 = 19. Solve s*w - 6 = -q for w.
-5
Suppose 194*z - 46*z = 0. Solve -10*y - 23 + 73 = z for y.
5
Let u(x) = -x**2 + 34*x - 108. Let d be u(30). Solve 18*w - 6*w + d = 0 for w.
-1
Suppose -6*x - 200 = -10*x. Suppose 0 = 2*k - 4*v - 28, k = 5*k - 5*v - x. Suppose -4*a + k = -2. Solve 0 = -5*n + a*n for n.
0
Let h(q) = q**2 - 3*q + 2. Let x be h(2). Solve -4*o + 13*o - 18 = x for o.
2
Suppose -5*h - 5*t - 57 = -8*h, -3*t = -3*h + 57. Suppose 4*q + 42 = -10. Let m = h + q. Solve 3*v - v = m for v.
3
Let s be -9 + 9 - (-4 - 0). Let h be (10 - s)/((-4)/(-2)). Solve 2*b = 3*b - h for b.
3
Let v be 12/(-15)*165/(-6). Let r(k) = -k**2 - k + 2. Let u be r(4). Let i = v + u. Solve 0 = 5*h - 1 - i for h.
1
Suppose -11 = r - 16. Let y = r - 5. Let s be 1*(1 + -2)*-2. Solve y = 7*f - s*f for f.
0
Let h be (((-510)/(-20))/17)/(6/176). Solve 0 = r - 49 + h for r.
5
Let a = -1526 - -1531. Solve a = 4*j - 7 for j.
3
Let a be (4 + -2 - 1) + -1. Suppose a = -13*v + 16*v. Solve -2*d - 4 + v = 0 for d.
-2
Suppose 2*k = -2*t + 50, -2*k + t + 34 + 1 = 0. Let c be (-2)/(-8) - (-15)/k. Let z be c/((-1)/(-10)) + 2. Solve -z = -4*g + 8 for g.
5
Let b(n) = n**3 + 5*n**2 - 7*n - 3. Let t(d) = 2*d**2 - d - 6. Let f be t(0). Let m be b(f). Solve -7*h + 16 = -m*h for h.
4
Let f = -23 + 32. Let d(j) = 2*j - 2*j + 1 + f + j. Let i be d(-4). Solve -10 = i*g - g for g.
-2
Let p = 4 + 10. Let g be ((-6)/12)/(2/(-12)). Suppose 0*l + l - g = 0. Solve -p = -l*m - 2 for m.
4
Let l be (-4)/(-2) - 2*-1. Let r(s) = -s**3 + s**2 + 12*s + 14. Let p be r(-3). Solve l*m - p = 6 for m.
5
Let g(p) = p**3 + p**2 - 32. Let j be g(0). Let d = 34 + j. Suppose 14 = 3*o + 5*m, -4*m - d = -6. Solve 3*q = -0*q + o for q.
1
Let j(h) = 3*h**2 - h**3 - 18*h**2 - 3*h**2. Let c be j(-18). Solve 2*p + p = c for p.
0
Let j(u) = -2*u**3 - u**2 + 3*u - 2. Let v be j(-3). Let a = v - 30. Suppose -a*k + 11 = -r, 4*k - 23 = -r - 2. Solve -5*z - 14 = -k for z.
-2
Suppose 20 = 2*l - 4*u, 0 = 2*l - l - 5*u - 22. Let p = -276 + 296. Solve 0 = -l*t - 3*t - p for t.
-4
Suppose -z - 8 = 5*m, -z + 12 - 4 = m. Suppose -4*l + 14 + 2 = 0, 2 = 2*u - l. Let i be (-2)/(7/u - (1 - -2)). Solve f - z = -i*f for f.
3
Let l(o) = o**2 + 52*o + 584. Let d be l(-36). Let r be (-9)/12 - (-1)/(-4). Let f(p) = -4*p**3 - p**2 - 2*p - 1. Let m be f(r). Solve -m*n + 0*n = -d for n.
2
Let y be (3 - (-32)/(-12))*6. Suppose 11 = a + y*u - 0, -35 = -4*a - 5*u. Solve -17 = a*z - 2 for z.
-3
Let c be (33/9 - 3) + 30/9. Solve 8 - c = b for b.
4
Let w(l) = -3 + 5*l + 0*l + 3*l - 6*l. Let z be w(4). Solve 16 = -z*x + x for x.
-4
Let q(x) = -x**2 + x. Let a be q(0). Suppose a = 2*i, -4*k + 2*k = i. Suppose -2*p - 2 = 2*j, -j - 1 = 2*p - k. Solve 2*m + p*m + 4 = 0 for m.
-2
Let v(j) = 4*j**2 + 4*j + 4. Let c be v(-3). Suppose 32 - 24 = 2*i. Let g be (10/i)/(35/c). Solve -x - g*x = 12 for x.
-4
Let o(u) = -u**2 + 67. Let b be o(-8). Solve 0 = -b*z + 3 + 12 for z.
5
Let j = -30 + 70. Let w = j - 35. Solve -w*y + 11 = -4 for y.
3
Let f(t) = t. Let j be f(11). Solve j - 17 = -3*v for v.
2
Let r = 1377 + -1363. Solve 13*t - r*t = -4 for t.
4
Suppose -12*j = f - 11*j + 2, 0 = j + 2. Solve f = 4*x - 3*x + 2 for x.
-2
Suppose -3*x = -v - 46, -12 + 54 = 3*x - 3*v. Solve 9*b + x = 5*b for b.
-4
Suppose 0 = -3*o + 4*w + 9, -2*o + 2*w + 0*w + 8 = 0. Let j = 9 + 9. Suppose -5*q 