0 for t.
4
Let n be 268/268 + -3*1 + 2. Solve n = 5*x + 4*x - 4*x for x.
0
Let l be 15/(-20)*(10/2 + -33). Solve -l*q - 36 = -12*q for q.
-4
Suppose 16*h - 40 = 8. Suppose -h*s + 12 = 2*i - 15, -2*i = -4*s - 20. Suppose 6 = -3*k + 5*k. Solve -i = f + k*f for f.
-3
Suppose -3*m - 31 = -n + 2*m, -5*m = 4*n - 74. Suppose 5*u = n + 64. Suppose 2*i + i - 3 = 3*t, 0 = -t + 5*i - u. Solve y - 4 = -t*y for y.
1
Let r(m) = 53*m + 171. Let i be r(-3). Solve 13*t - i = 14 for t.
2
Let j be (13/39)/(1/63). Let v = -12 + j. Solve v + 1 = 5*d for d.
2
Let q be 8/((-39)/15 - -3). Let j be q/6*(-54)/(-30). Let a(t) = -6*t - 3. Let y be a(-2). Solve -3*g = y + j for g.
-5
Let l be ((1 - 1) + 2)*2. Let u = l - -4. Let r(q) = 9*q + 142. Let y be r(-13). Solve u*z - 3*z = y for z.
5
Let l = -11 + 16. Suppose 16 = -l*q - 9, -5*y = 3*q + 15. Suppose 39 + 36 = 5*a - u, 60 = 4*a + 5*u. Solve y = -3*c - 2*c + a for c.
3
Let f(l) = -13*l + 66. Let x be f(5). Solve -1 = -2*r + x for r.
1
Let z(a) = 5*a + a - 2*a**3 - 9*a + a**3 - 3*a**2 - 7. Let u be z(-4). Solve -u = -5*d + 4 for d.
5
Let t = -7 + 9. Suppose f = -s + 46, 0 = t*f + s - 0*s - 91. Suppose -f - 3 = -3*u. Solve -4*c - u = -0*c for c.
-4
Let a = 167 - 146. Solve 4*y - a = -1 for y.
5
Suppose -8*n - 22 = -54. Solve -2*u - n = -4 for u.
0
Suppose -4*d - 25 = -9*d. Suppose 8 = -b + 27. Let q = -14 + b. Solve -q = -d*w + 20 for w.
5
Let x = 203 + -197. Solve h = -1 + x for h.
5
Let m = -11 + 15. Solve -m*a = 83 - 67 for a.
-4
Let s be 20*4*1/16. Let k(a) = -4*a + 22. Let q be k(s). Solve 12 - 4 = -q*o for o.
-4
Let b(x) = 3*x**2 - 39*x + 47. Let q be b(12). Solve 0 = 13*g - q*g + 6 for g.
-3
Let a = -3 - -1. Let l(q) = -2*q + 1. Let b be l(a). Suppose 5*f = 5*k - 30, 2*f - 10 = -5*k - 1. Solve -2*x = -b*x - k for x.
-1
Let a be (0 - -1)*(-4 + 4). Let u be (-34 + 14)/((-9)/(-5) - 2). Suppose a = -g + 5*g - u. Solve 0 = 5*n + g for n.
-5
Let m(a) = -a**2 + 14*a - 21. Suppose -5*r + 12 = -4*r. Let v be m(r). Solve v*p = -4 - 8 for p.
-4
Let w be (-19 - 370/(-20)) + (-2)/(-4). Solve -3*g + 3 = -w*g for g.
1
Let p(y) = y - 2. Let q be p(5). Let u = 837 + -837. Solve q + u = b for b.
3
Suppose 0 = 3*z - 2*g - 169, 4*z + g - 207 = -0*z. Solve -z*n + 5 = -52*n for n.
5
Suppose 0 = -5*p - 10, 10 = -2*t + 3*t - 5*p. Let n(f) = -f**3 - 2*f**2 + 3*f + 3. Let a be n(-3). Suppose -56 = -a*o - 47. Solve -h + o*h = t for h.
0
Let u(d) = -16*d + 24. Let t(y) = -7*y + 12. Let b(h) = 7*t(h) - 3*u(h). Let i be b(6). Solve i*m = 2*m for m.
0
Suppose b = -2*r - 91, 4*r - 3*r + 4*b = -63. Let g = r + 48. Solve -2*i = 3*i + g for i.
-1
Let r(z) = -z**2 + 12*z - 13. Let p be r(8). Let t(d) = 2*d - 34. Let b be t(p). Solve 7*s + 15 = b*s for s.
-5
Let r = -169 + 171. Solve t + r = 2*t for t.
2
Let u(r) = 9*r + 86. Let i be u(-9). Solve -4*o - 5 = -i*o for o.
5
Let d(t) = t**2 - 7*t - 6. Let s be d(8). Suppose -s*c + c = -2. Solve -y = c*y - 3 for y.
1
Let k = 50 - 40. Suppose 2*t + 2*t = 5*d - k, -26 = -d - 4*t. Solve 11*u - 10 = d*u for u.
2
Let m = 47 + -48. Let i be (-4)/m + -2 + 18/18. Solve i - 1 = -p for p.
-2
Let h(t) = -t**2 + 2*t + 41. Let o be h(7). Solve -3 = -o*r + 27 for r.
5
Suppose 4*b + 4*l - 64 = 0, -3*b + 2*l + 3*l + 64 = 0. Suppose 10 = -4*s + b. Solve f = s - 3 for f.
-1
Let x = 534 + -530. Solve -x*y + y + 15 = 0 for y.
5
Suppose f + 5 = 3*n - 18, 5*n + f - 49 = 0. Let q(x) = -x**3 + 11*x**2 + 12*x + 13. Let j be q(12). Let v = j - n. Solve -v*l = l - 15 for l.
3
Suppose -3*h - 3 = 2*s, 0 = 2*s - 2*h - 6 - 16. Let d = 109 + -54. Let z be 2/6 - d/(-33). Solve -z*p = -s*p for p.
0
Let z = 705 - 698. Solve -i + z*i = 0 for i.
0
Suppose 60 = -4*w - w. Suppose 3*g + 2*z = 82, -2*z = 3*g - z - 83. Let u = w + g. Solve -5*q = -u + 6 for q.
2
Suppose -19 = -5*n + 1, 2*w + 12 = 3*n. Suppose w = 7*i - 6*i - 3. Solve i*u + 9 = -0 for u.
-3
Let x = -159 - -161. Solve x = 3*t + 11 for t.
-3
Suppose -k = o - 1, 0*o - 10 = -o + 2*k. Suppose -5*i + 5*s - s = -45, o*i + 2*s = 10. Suppose i*n + 0*n - 50 = 0. Solve 0*b + 2*b = n for b.
5
Let i(f) = 5*f**2 - f + 1. Let v be 12/(-10) + 13/65. Let m be (-1 + 0)/(v/1). Let d be i(m). Solve 0*w = -d*w - 20 for w.
-4
Let z(b) = 7*b**3 + b**2 + 2*b - 2. Let d(v) = -6*v**3 - v**2 - v + 1. Let f(l) = 6*d(l) + 5*z(l). Let s be f(-3). Solve s*w = -2*w - 4 for w.
-1
Let k(x) = x**2 + 73*x - 228. Let p be k(-76). Solve q + q - 6 = p for q.
3
Let y(h) = -h**3 - 17*h**2 - 4*h - 62. Let g be y(-17). Solve 0 = -g*u + 11*u + 5 for u.
-1
Let s(g) = -g**3 + 15*g**2 + g - 5. Let x be s(15). Let b be (5/x + 0)*22. Let l be 1 + 2*1 + 0. Solve -b + 2 = l*t for t.
-3
Suppose 0 = -3*r - 2*q + 16, 0 = 3*r + r - q - 14. Suppose -r*w + 26 + 4 = 2*d, 4*d - w - 60 = 0. Solve b + 4*b - d = 0 for b.
3
Let k be (-3)/(-9)*0 + -11 + 11. Let i = 7 - 2. Suppose 3*w = 2*w + 6. Solve i*p - 2*p + w = k for p.
-2
Suppose 3*k = 3*y + 21, -5*k - 4 + 12 = 4*y. Solve -8*i + 4*i = k for i.
-1
Let j be (-23)/(-2)*2 + 21/(-7). Let l be 0 - (0 - -1) - -4. Solve l*t = -t + j for t.
5
Let q(u) = 2*u**3 + u**2 - u + 1. Let w(k) = -k**3 + 11*k**2 + 1. Let r be w(11). Let o be q(r). Let f be (-5)/o*66/(-55). Solve 0 = f*a + 6 for a.
-3
Let z = 562 - 536. Solve z*u - 22*u = -12 for u.
-3
Let o be (8/(-10))/((-18)/45). Let i be 9 + 0 + o*2/(-1). Let z = -2 + 4. Solve -3 = z*s - i for s.
1
Let f(t) = -3*t + 2. Let r be f(-4). Let o(w) = 2*w - 18. Let d be o(r). Suppose -4*g = g - 4*z - d, z = -3*g + 6. Solve -g = -0*p - p for p.
2
Suppose -2*g + 0*k + k = -186, -5*g = 2*k - 474. Let f = g - 74. Solve -3*m - m - f = 0 for m.
-5
Let j = 0 - -18. Let q be 7*(j/(-56))/((-6)/16). Solve 0*r = 3*r - q for r.
2
Let c = -277 - -280. Solve -c*d - 7 = 8 for d.
-5
Suppose 34*f - 193 + 57 = 0. Solve -5*j = -f - 16 for j.
4
Let y(d) = -2*d + 16. Let t be y(-7). Let n = -27 + t. Solve -n*m - 7 + 1 = 0 for m.
-2
Let i = -1198 + 1209. Solve -13*j = -i*j - 4 for j.
2
Suppose -5*c + 3 = -2. Suppose -c - 1 = -o. Solve o*r - 6 = -r for r.
2
Suppose m - 3*j + 6 = -m, 5*m + 2*j = 23. Solve -2*y - 9 = -m for y.
-3
Let q = -19 + -3. Let m(i) = i**2 + 21*i - 20. Let a be m(q). Solve d + 15 = -a*d for d.
-5
Suppose -3 = -5*k + 3*a - 4*a, 2*k + a = 3. Suppose -23*d + 132 + 6 = 0. Solve k = -7*t + d*t + 1 for t.
1
Let d = 32 - 26. Suppose -d*u + 23 = -49. Let o(l) = l**2 - 2*l + 1. Let i be o(1). Solve i = 2*s + 2*s + u for s.
-3
Let l be (54/8)/(-1 + (-243)/(-252)). Let x = l - -202. Let p(o) = o**2 - 7*o + 9. Let j be p(6). Solve x - j = -5*k for k.
-2
Let h be ((-4)/(-3))/(11/99). Let j be (16/h + -2)*-3. Suppose -t = -2*k + k - 5, -j*t + 4*k = -20. Solve t = -r - 0*r for r.
0
Let i(w) = -w**2 - 3*w + 14. Let d be i(-5). Suppose 0 = -3*r + 4*n + 25, 16 = d*r - 3*n + 2*n. Solve 0 = r*k - 7*k for k.
0
Let c = 135 + -130. Solve 0*w = c*w for w.
0
Suppose 4*a - 27 = -27. Solve 3*f = 8*f - a*f for f.
0
Suppose -8 = -0*b - 4*b. Let p(v) = -8 - b - v + 2*v + 1 + v**3 - 11*v**2. Let a be p(11). Solve h = -h - a for h.
-1
Suppose 4*v + 3 = 3*v. Let g be v/(6/4 - 3). Let k = 0 - -8. Solve g*j = -0*j - k for j.
-4
Let l be -4*(3 - 4)/1. Let p(g) = l*g**2 - 5*g + 0*g**2 + 2 - 3*g**2 + 0*g. Let m be p(5). Solve 0 = -b + m for b.
2
Let i(b) = -4*b - 1. Let n be i(-1). Suppose -2*p - 41 - n = 0. Let d = p + 26. Solve 2*m = d*m for m.
0
Let b be (-15)/(-5) - 6 - 138. Let w be b/(-21) - 4/(-14). Solve -w = -3*g + 8 for g.
5
Let r = 4 - 2. Suppose -4*u + 3*k + 5 = -3, k - 14 = -r*u. Suppose 3*z = -j + 2*z + 10, -2*z = -u*j + 15. Solve -3 = -2*i + j*i for i.
-1
Suppose 69 = 28*y - 5*y. Solve -y*z - 5 = 4 for z.
-3
Suppose 0*t + 2*t = 10. Suppose t*h - h - 32 = 0. Let i(f) = -f**2 + 10*f - 11. Let k be i(h). Solve -3 = q - k for q.
2
Let d(y) = 2*y + 7. Let o(k) = k - 12. Let a be o(6). Let t be d(a). Let v = 0 - t. Solve -v + 3 = -2*z for z.
1
Suppose 0 = 3*u - 5*u. Let t be 8 - (3 - u)/1. Let h be (-1)/t + 6/5. Solve 2*c - 7 + h = 0 for c.
3
Let c(m) = -2*m**3 + 126*m**2 - 3*m + 192. Let j be c(63). Solve 290 - 284 = -j*q for q.
-2
Suppose -246 = -2*v + 2*u, 2*v - 32 - 212 = 3*u. Suppose 0 = -g + y + 187, -g + 60 + v = -2*y. Let n be (-2)/(-9) - (-147)/g. Solve -5*j = n - 6 for j.
1
Let w be (-6)/(-39) + (-6300)/(-117) + -1. Solve -51*d - 6 = -w*d for d.
3
Suppose -w - 21 = -2*b +