for w.
3
Let c be 402/(-8) - (-1)/4. Suppose 2*o + 5*q + 169 = 4, -o - 65 = -q. Let v = c - o. Solve 0 = 3*k - v + 5 for k.
5
Suppose 24*b = 18*b + 402. Let y = b - 63. Solve f + y = -0*f for f.
-4
Let p(k) = -2*k**2 - 21*k - 25. Let b be p(-8). Solve -6*o + o = b for o.
-3
Suppose -v + 4*j = 5, v + 5*j + 13 = 4*v. Suppose -v = -5*r - 3*o, 4*r - 9 = r - o. Solve -r*x = -x for x.
0
Let p = -1 - -5. Suppose 4*d = 2*j + j + 15, p*j + 1 = -d. Suppose -d*m = 7 - 22. Solve 12 = m*s - 8 for s.
4
Let t = -84 + 86. Suppose 2*o - 8 = t*v, -5*o + 12 = -v - 0*v. Solve 6 = h + o for h.
4
Let t be -1*(-2 - -3)*-14. Let j = 12 - t. Let i be 3/6 + 1/j. Solve -2*b - b = i for b.
0
Let b(h) = 18*h**2 + 9*h + 1. Let l be b(-1). Solve s = l*s for s.
0
Let o(k) = -6*k + 132. Let p be o(21). Solve -2*g + 2 = p for g.
-2
Let x be (2 + -2)*(4 - (-45)/(-10)). Let z(n) = 3*n + 20. Let h be z(x). Suppose 3*i - 4*i + 7 = 2*r, 5*r + i = 16. Solve r*f = -f + h for f.
5
Let l(o) = -o + 52. Let k(h) = -51. Let a(i) = -4*k(i) - 5*l(i). Let z be a(12). Solve 3 = q - z*q for q.
-1
Suppose 5*b - 14 = 3*b. Let f be (32/(-28))/(4/(-14)). Let c = b - f. Solve -c*r = r + 4 for r.
-1
Let u(q) = -q**3 - 17*q**2 + 33*q - 82. Let s be u(-19). Solve 0 = -s*z + 10*z - 9 for z.
-3
Let y(s) = 2*s + 10. Let f be y(-3). Suppose 4*v - 3*x - 23 + 3 = 0, -f*v - 5*x + 20 = 0. Solve 8*u - 9*u = -v for u.
5
Let t be 26/117 + 250/27*3. Suppose 20 = 8*j - t. Solve d - j*d = 25 for d.
-5
Let w = -2001 + 2046. Solve -17*b + 8*b - w = 0 for b.
-5
Suppose 2*v + 70 = 82. Solve -v*t = -t for t.
0
Let l(z) = 2*z**2 + 4*z. Let v be l(-3). Let t = 5 - 2. Suppose a - v = -t. Solve -a*g = g + 16 for g.
-4
Let k(h) = h**3 + 3*h**2 + h - 2. Let n be k(-2). Suppose 0 = -n*b - 2*b. Let t(p) = 4*p + 18. Let g be t(-3). Solve -g*x + 3*x - 12 = b for x.
-4
Let z be (-88)/(-20) - 2/5. Suppose z*n - 10 = -0*n + 2*f, -4*f = -5*n + 20. Suppose 3*h - 7*h = n. Solve -6*c + c - 15 = h for c.
-3
Let v = -53 - -65. Let x be v + -5 + (-4)/1. Solve 20 = x*y + y for y.
5
Let b = -23 + 25. Suppose b*x - 6*x = 3*x. Solve -2*r + 7*r + 5 = x for r.
-1
Let t = -1008 - -1071. Solve 3*c - t = -51 for c.
4
Let f(v) = -3*v - 2. Let l be f(-4). Suppose l*x - 8*x = 0. Solve 5*g - 3*g = x for g.
0
Let k be 3 + (2 - 2) - (-3)/3. Let s(u) = u**2 + u + 1. Let l(m) = 4*m**2 + 14*m + 15. Let b(i) = -l(i) + 5*s(i). Let w be b(10). Solve w = k*d + d - 20 for d.
4
Let u = -587 + 589. Solve u*x + 11 = 1 for x.
-5
Let h(x) = -5*x**2 - 49*x + 12. Let u be h(-10). Solve 0 = -3*f - u*f for f.
0
Let l be (2*(-5)/(-10))/(3/(-36)). Let u be 1/(-1*2/(2 + l)). Solve 12 - 2 = u*r for r.
2
Let w(n) = n**3 - 5*n**2 - 6*n + 2. Let k be w(6). Solve 0 = -3*u + k*u for u.
0
Let a(t) = 3*t - 6. Let y be a(5). Suppose 9 + y = 2*p. Solve 0*j + p = 3*j for j.
3
Let r be (5/(120/(-18)))/(3/(-8)). Suppose 5 = -r*p + 11. Solve m + 4 = p*m for m.
2
Let x(t) = 2*t**2 + t - 2. Let o be x(-3). Suppose -6*k = d - 5*k - 15, 4*d = 2*k + 48. Let j = -9 + d. Solve j*u + o = -7 for u.
-5
Suppose 5*p + 0*p = -j + 23, 5*j = -p + 19. Solve 6*k - p*k = 2 for k.
1
Let r = -2 - -15. Solve -r*f + 17*f = 16 for f.
4
Let i be (-92)/20 - 18/(-30) - -18. Solve i*d - 2 = 16*d for d.
-1
Let w = -103 - -105. Suppose -4*l + 2*x + 10 = -x, -w = -x. Solve 0 = 6*p - l*p for p.
0
Suppose -5*u - 11 - 1 = -4*q, 15 = 5*q + 5*u. Suppose 0 = l + 5 - q, -4*l = p + 6. Solve p*b + 6 = 4*b for b.
3
Let y be ((-4)/(-10))/(8/20). Let h(c) = c**2 + c + 1. Let l be h(y). Solve -l*f - 2*f = -10 for f.
2
Let l be 5/(30/4) + 21/9. Suppose -l*w - f = -10 + 1, -2*w + 5 = f. Solve -13 = w*s + 7 for s.
-5
Let m be (6 + 2 - 17) + 11. Solve -8*z + m*z - 24 = 0 for z.
-4
Suppose -2*c - l = -13, 5*l - 18 = -2*c + 15. Let z be 1/(-2) + (-63)/(-6). Suppose -m = p - z, -3*p - 5*m + 40 = p. Solve d - p = -c*d for d.
2
Suppose 30*h - 20*h - 30 = 0. Suppose -3*w - 4*b - 7 = 0, h*b - 11 = -5*w + 2*b. Solve -3 - w = 2*t for t.
-3
Let c = -3 - -15. Let d be -8*(-1)/c*3. Suppose z + d = -f, -2 = -4*z + 5*f + 8. Solve 2*a + 0*a + 4 = z for a.
-2
Let q(h) = -h**3 + h + 2. Let f be q(0). Let o = f + -2. Suppose -2*d + 60 = d. Solve -d = -5*b - o for b.
4
Let f be 8/(13/2 - 6). Solve 4*m - 8*m + f = 0 for m.
4
Suppose 2*k = 2*z + 12, 5*k - z - 36 = k. Let u = -16 + 16. Let f be u - 3 - (2 - (7 + -2)). Solve 2*i + k = -f*i for i.
-5
Let t be (-6)/(-11) - (-609)/33. Solve t = -4*g + 3 for g.
-4
Let y be (-1104)/(-10) - (-8)/(-20). Let k = y - 62. Let l be 27/(-63) + k/14. Solve 2*b = l + 1 for b.
2
Suppose 4 = -3*s - 5*z + 11, 0 = s - 5*z - 9. Solve -m + s*m = 0 for m.
0
Let v(p) = -3*p**3 + p - 2. Let c(t) = -5*t**3 + t**2 + 2*t - 3. Let u(d) = -4*c(d) + 7*v(d). Let q be u(-4). Solve -q*g + 15 = 3*g for g.
3
Let p = -18 + 12. Let x = p - -6. Suppose x = -4*r + m + 7, -2*m - 6 = -0*m. Solve -o - r = 2 for o.
-3
Let a = 37 - 22. Let n be ((-3)/(-9))/((-2)/24). Let k be (n/(-14) - 22/28)*-4. Solve -k*t + a = t for t.
5
Let l be ((-400)/30)/(2/(-3)). Let f = 26 - l. Solve f = -q + 4*q for q.
2
Let u be (1/1 - 1)/(-1). Suppose u = k - 3. Suppose 4*o - 26 = -5*a + 2*o, k*o + 6 = 0. Solve z = a*z + 10 for z.
-2
Let d be (-98)/(-20) - (-268)/2680. Let u be 6/(3/4 + 0). Solve 0 = -d*j + j + u for j.
2
Let l(a) = -4*a - 47. Let f be l(-12). Suppose -4*x + 32 = -8. Suppose 4*b = b + 4*m + 13, -x = -4*b - 2*m. Solve -b = -d + f for d.
4
Suppose -v - 3*v = -4*s + 8, -s + 3*v = 6. Suppose -s*b = -5*b - 2. Solve -27 = -5*a - b for a.
5
Suppose -4*m - 5*t - 538 = 0, m - 5*t = -6*t - 135. Let w = m + 141. Solve -3*r - w = -r for r.
-2
Suppose 12*p + 0*p - 1200 = 0. Let i = -100 + p. Solve 0 = 3*g - i*g - 6 for g.
2
Suppose -t + 20 = 3*l, 0 = -l - 0*l + 4. Suppose d - t = -d. Suppose 0*j + d*j = 8, -14 = -3*n - 4*j. Solve -g - n = g for g.
-1
Let g be (-5 + 5)/(-1 - 0). Suppose 4*f - 4*d = -9*d, g = -5*f + 5*d. Suppose l = 2 + 2. Solve -l*q + f = 16 for q.
-4
Let p(t) = -t**3 - 3*t**2 - 7. Let l be (-2 + (-6)/(-5))/(2/10). Let q be p(l). Solve -z = 2*z + q for z.
-3
Let a = -129 + 128. Let u be (-3 + (-104)/(-40))/(a/10). Let i(c) = c**3 - 6*c**2 + 8*c - 6. Let o be i(5). Solve -o = -u*f + 11 for f.
5
Let x(h) = 16*h - 13. Let w be x(4). Let n = w + -35. Solve -5*r - 1 = -n for r.
3
Suppose 2*v = 4 + 8. Suppose 3 = -3*i, 3*i - 7 = 2*o - 32. Suppose -20 = v*q - o*q. Solve 0*a - q = -a for a.
4
Suppose 21*n + 13 - 139 = 0. Let i(k) = -k + 5. Let q be i(8). Let f = 1 - q. Solve 22 = f*y + n for y.
4
Suppose 3*h = 8*h - u - 10, 2*h + 4*u - 26 = 0. Let b be 1*(4 + (h - 2)). Suppose b*x = -5*g + 45, 2*x = 3*x + 4*g - 21. Solve -1 = x*r - 26 for r.
5
Let z(c) = -51*c + 961. Let f be z(18). Solve -67 = 12*l - f for l.
-2
Let j be 0 - (-332)/12 - 1/(-3). Let l be (3 + 0)/(0 - (-21)/j). Solve -m = -l*m + 15 for m.
5
Let l(f) = 2*f**3 + 10*f**2 - 5*f - 10. Let v be l(-5). Suppose -w + v = 10. Solve -1 = w*o + 4 for o.
-1
Let x(z) = -2*z**2 - 2*z + 17. Let h(n) = -3*n**2 - n + 18. Let m(v) = -3*h(v) + 4*x(v). Let g be -6*(-2 + 1/1). Let r be m(g). Solve -2*s = 3*s + r for s.
-4
Let k = -35 - -36. Let p be (k + -1)/((-24)/(-24)). Solve -4*t + 2*t - 4 = p for t.
-2
Suppose 43*a + 32 = 44*a. Let c be 6/(-33) + (-317)/11. Let i = c + a. Solve i*m - 3 = 2*m for m.
3
Let x = -337 - -345. Solve 3*y = x + 1 for y.
3
Let t = -37 - -7. Let p = t + 35. Solve 3 = p*a - 12 for a.
3
Suppose 5*o + 4*m - 63 = -18, 4*o - 72 = 4*m. Solve o*g + 7 = 20 for g.
1
Let n = 23 + -23. Suppose 687 = -5*x - 5*a + a, -5*x - 3*a - 684 = n. Let d be x/(-30)*(-4)/(-3). Solve 5*h + 1 = d for h.
1
Let h be 7/((-7)/28*4)*-1. Solve h - 5 = p for p.
2
Let z(n) = -13*n + 123. Let k be z(9). Solve k*l = 5 + 1 for l.
1
Let k = -2275 - -2278. Let a(y) = -2*y + y + 2*y. Let c be a(4). Solve -k*n = -c + 19 for n.
-5
Let d(z) = z**3 - 12*z**2 - 13*z + 12. Let v be d(13). Suppose -y - 2*y = -v. Solve 2 = -6*k + y*k for k.
-1
Let b(d) = -d + 3. Let s be b(0). Suppose 0 = -6*f + 3*f - 3*l + 6, -4*f + 9 = s*l. Suppose -f*k = k. Solve k = -5*r - 6 + 21 for r.
3
Let a(n) = 5*n + 123. Let q be a(-17). Solve -9*i + q + 7 = 0 for i.
5
Let h be -1*2*(-12)/8. Let m = h + -1. Suppose 3*q - 1 = m*q. Solve 3*k = -q + 4 for k.
1
Suppose 5*c - 5*n - 2 = -12, -3*c - 3*n = -12. Let s be 7 - (0 + c - -1). Suppose s*x = 4*g + 