or w.
3
Suppose -15 = -2*s - 5. Solve s*m - 2*m = -3 for m.
-1
Suppose -5*k + 23 = 8. Suppose 7*f = k*f. Let b(l) = l**3 + 5*l**2 + 2. Let m be b(-5). Solve -m*r + 4*r - 6 = f for r.
3
Let u(c) = c**2 + 7*c + 6. Let r be u(-7). Solve h - r = -2 for h.
4
Suppose 4*i = -0*k - 4*k + 4, -3*i - 3 = 2*k. Solve k*b - 3 = 3*b for b.
1
Let u be (-1 + 35/45)/((-1)/9). Solve -4*l - 18 = -u for l.
-4
Let x = 13 + -19. Let l be (-4)/x - (-88)/66. Solve r = l*r for r.
0
Let r(f) = 7*f**2 + 7*f + 1. Let d(a) = -6*a**2 - 6*a. Let z(b) = 6*d(b) + 5*r(b). Let y be z(0). Solve -y*k = -k for k.
0
Suppose -7*h + 12*h - 15 = 0. Solve -5*k + h = -17 for k.
4
Suppose 2*u - 7 = 2*o - o, -5*u + 3*o = -18. Suppose -x + 6*x = 75. Solve 0 + x = -u*p for p.
-5
Suppose -3*o + 16 = -14. Let l = o + -7. Solve -d = -l*d + 10 for d.
5
Let k(q) = -q**2 - 6*q + 7. Let i be k(-5). Let f = 13 - i. Solve -3*a + f = -2 for a.
1
Let w = 15 - -1. Suppose -z = 3*u - w, -2*u - 3*u = -5*z. Solve -4 = -z*h + 3*h for h.
4
Let c(t) = t**2 + 5*t + 7. Let p be c(-4). Let s be (1 + -1)/(2 - 1). Solve -o + 2*o + p = s for o.
-3
Let d be 0 + (-3)/(-2) + (-3)/(-2). Solve -l + 1 = d for l.
-2
Suppose 4 = m + 1. Let n be 0 - -6 - -3 - 0/2. Solve 0 = 3*j + m + n for j.
-4
Let c(p) = p**2 + 2*p + 4. Suppose 3*j - 6 = -4*s, -4*s = 2*j - 8 - 0. Let z be c(j). Solve 0*q - 2*q = -z for q.
2
Suppose 3*r + r = 0. Let d(f) = -2*f**3 + 4*f**2 - f. Let k be d(3). Let u = -15 - k. Solve r*x = 2*x + u for x.
-3
Let b be 34 + -5*3/(-15). Solve b - 10 = 5*t for t.
5
Let q be (-9)/(180/8)*-20. Solve -4*w - q = -0*w for w.
-2
Let w(h) = h + 9. Let i be w(-7). Suppose 0 = -0*m + i*m - 8. Solve 3 + 13 = m*s for s.
4
Let f(t) = t + 2. Let g be f(-2). Let j(l) = l - 1. Let c be j(4). Suppose 0*u - 3*d = -c*u + 21, 35 = 2*u + 5*d. Solve -5*m + 0 - u = g for m.
-2
Let q(n) = -3*n - 14. Let p be q(-7). Let b be 2/p + 6/(-21). Solve b = -2*r - 2*r - 4 for r.
-1
Let s(o) = -o**3 + 4*o**2 + 2*o - 6. Let l be s(4). Suppose -l = -t - 4. Let j be (0/3 + t)*-1. Solve h - 9 = -j*h for h.
3
Let h(c) = -c**3 - 3*c**2 + c + 22. Let w(v) = v**3 + v**2 - v + 1. Let o(f) = h(f) + 2*w(f). Let b be o(0). Let t be 1/(3/b*2). Solve 0 = 3*u + 7 - t for u.
-1
Suppose 5*u - 58 = 27. Suppose -5*w = -2*j - 29, 2*j - u = -4*w - 1. Suppose -4*l + w = r, 4*r + 2*l - 32 = -2*l. Solve 4*h + r = h for h.
-3
Let a = -2 + 1. Let k(b) = -31*b + 1. Let s be k(a). Suppose s = 5*m - m. Solve 0 = l + l + m for l.
-4
Suppose 0 = q - 2*r + 4, 4*q + 26 = -r - r. Let t be 0/(-2) + 10 + q. Solve -t*y - 6 = 2 for y.
-2
Let n = 4 - 2. Let x be (2/1)/(1/n). Solve -x*g - 10 = -2*g for g.
-5
Let q = 3 + 0. Let d(r) = r**2 - 2*r + 3. Let v be d(q). Let w be (-4)/(8/2) + 7. Solve v*g = 3*g + w for g.
2
Suppose 0*k - 4*k = -d + 5, d + 5*k - 5 = 0. Suppose 5*b - 10 = q - 6*q, 0 = d*b - 2*q - 17. Solve -b*n + 2*n = -3 for n.
3
Suppose 0 = -15*i + 11*i - 8. Let o(b) = -2*b**3 - 4*b**2 - 5*b - 2. Let s(n) = -n. Let w(t) = o(t) - 2*s(t). Let k be w(i). Solve c = -c + k for c.
2
Let v = -25 + 36. Suppose -4*p - 3 + v = 0. Solve -4*s + p*s = 10 for s.
-5
Let k(t) = -2*t + 26. Let v be k(8). Solve -4*i = -v + 2 for i.
2
Suppose h - 10 = 3*z - 0, 30 = -4*z - 2*h. Suppose -i = -j - 0*i + 1, i = 4*j + 5. Let n = j - z. Solve -3*c + 6*c = n for c.
1
Let g be (-1)/(-3) + (-58)/(-6). Suppose 6*b - b = g. Solve 0 = 5*n + b - 22 for n.
4
Let n(q) = 2*q + 1. Let m(s) = -s - 14. Let o be m(-15). Let f be n(o). Solve -f = -g - 5 for g.
-2
Let v = -16 + 17. Solve 4*s + v = 5 for s.
1
Let a(b) = b - 11. Let j be a(13). Solve j*q - 6*q = -20 for q.
5
Let b(h) = 3*h**2 - 3*h + 3. Let r be b(2). Let k = 24 - r. Solve 0 = a - 4*a - k for a.
-5
Let x = 0 - 0. Let w = 7 - 3. Let m be 2/9 + 14/(-63). Solve x = -m*r + w*r for r.
0
Suppose -3*p + 13 = -n, 4*n + 2 = p + p. Suppose -2*h + 2 = -5*i + 2*h, p = -5*i + 5*h. Solve -2*z + 16 = i*z for z.
4
Suppose 3 = -s + 5. Let g be (4/6)/(4/6). Let z = s + g. Solve 0 = -2*r - z*r - 20 for r.
-4
Let g(a) = -17*a + 1. Let l be g(-1). Suppose 2*s + l = 4*u, 3*u - 46 = 5*s - 10*s. Solve 3*x + 8 = -u for x.
-5
Suppose -3*h = k - 7, -2 = 2*h - 0*h + 2*k. Solve -h*v + 3*v = 1 for v.
-1
Suppose -2*x - 5*v = -x - 19, 0 = -x + 2*v + 19. Solve -16*u + x*u + 9 = 0 for u.
-3
Let l(z) = z**2 - 6*z + 7. Let i be l(5). Let g(k) = 7*k**2 - k. Let r be g(-1). Suppose -4*o = o. Solve -i*f - r = -o for f.
-4
Let g be 1*7 - 0*1/2. Solve -4*a = -g*a - 9 for a.
-3
Let a(j) = -j**2 + 6*j - 3. Let r be a(4). Solve 3 = -l + r for l.
2
Suppose -4*i - 2*w = -w - 52, 0 = 4*w. Let z = -8 + i. Solve 0 = -2*l + 5 + z for l.
5
Suppose 2*r = -l + 7, 5*l = 5*r + 8 + 12. Solve 0*x = 5*x - l for x.
1
Suppose 0 = -6*i + 4*i. Solve i - 4 = -m for m.
4
Let w be (1 - (1 + 0))/2. Suppose -f + 3 - 1 = 0. Suppose 5*o = f*o + 12. Solve -n + 0*n - o = w for n.
-4
Let n = -20 - -29. Solve 0*a - 3*a - n = 0 for a.
-3
Let h(w) = -w. Let l be h(0). Let d(n) = n + 20. Let x be d(l). Solve 0 = 5*y - 0*y - x for y.
4
Let i be (-1 + 2)/((-2)/(-6)). Suppose 15 = -5*a, -4*r + 25 = -5*a - 14. Let v(k) = -k**2 + 6*k + 2. Let s be v(r). Solve -s*l = i - 7 for l.
2
Let q(f) = -f + 1. Let z be q(3). Let c(v) = 11*v + 2. Let o be c(z). Let b be ((-6)/(-5))/((-8)/o). Solve 0 = d - b*d + 10 for d.
5
Suppose 0 = -4*r + 2*q - 4*q + 30, 5*q = -5*r + 50. Solve r*h - 2 = -17 for h.
-3
Let n = 18 + -16. Suppose 4 = -n*t - 4*p, -2*t + 4 + 0 = -4*p. Solve t = 2*f - 0*f for f.
0
Let f = 56 + -48. Solve -f + 3 = i for i.
-5
Suppose -3*w + p = -w - 11, 2*w - 2*p - 14 = 0. Suppose -7*t + 34 = 3*u - 3*t, -w*u = 4*t - 44. Let q = 62 - 60. Solve -4*f + q*f = -u for f.
5
Let y = 51 - 13. Let u = -23 + y. Suppose -3*j + u = 2*j + 5*n, -3*j = n - 13. Solve 6 - 1 = j*r for r.
1
Suppose -c = 2*j - 4, -4*c + 12 = -2*j - c. Solve j = a + 2 - 0 for a.
-2
Let k(x) = 9*x + 9. Let i be k(7). Let l(w) = -w - 3. Let r be l(-6). Suppose r*g = g + i. Solve -g + 11 = 5*j for j.
-5
Suppose -13*h = -10*h - 9. Suppose 0 = -3*y - y + 8. Solve v + y = h for v.
1
Let g be 1/((12/(-75))/(-4)). Let h be ((-10)/g)/(2/(-60)). Let w be ((-4)/8)/((-1)/h). Solve 0 = 2*j - w*j for j.
0
Suppose 3 = l - 4. Solve 1 + l = -4*s for s.
-2
Let g(z) = z**3 + 5*z**2 + 4*z + 2. Suppose 5*w + 31 = -5*c + 11, 0 = 3*w. Let q be g(c). Let n be q + 0 - (-3)/1. Solve -a + n = -6*a for a.
-1
Suppose -2*m = -4 - 4. Suppose -5*k - y + 20 = 0, -2*y - 18 - 12 = -m*k. Let q be (k/4)/(1/4). Solve 1 = q*i - 9 for i.
2
Suppose -u - 3 = 2. Let z(r) = -r - 2. Let h be z(u). Solve -m = 1 + h for m.
-4
Suppose -2*w - 18*w + 40 = 0. Solve 8 = -0*b + w*b for b.
4
Let w = -9 - -15. Let j be (-2 - -1)/((-4)/28). Let f = j - w. Solve 0 = -2*d + 7 + f for d.
4
Suppose -2*f = -3*f. Suppose 12 = 2*y - f*y. Suppose -5*j = 3*g - 10, 4*j - j = 2*g + y. Solve 2*b + 2 + 4 = g for b.
-3
Let q(r) = -r + 5. Let i(h) = 1. Let u(b) = 2*i(b) - q(b). Let c be u(3). Suppose -2*s + c = -10. Solve 3*j - 2*j + s = 0 for j.
-5
Let u(n) = -n - 1. Let c(p) = -2*p - 8. Let x(q) = c(q) - u(q). Let s be x(-8). Solve -s = -5*r + 9 for r.
2
Let i = -32 + 36. Solve 0 = i*g - 0 - 4 for g.
1
Let i = 19 + -16. Suppose -25 = 4*a - 5*q, 5*q - 25 = -a - i*a. Solve -4*f + 3*f - 1 = a for f.
-1
Suppose -12*g = -11*g. Solve a - 5*a - 20 = g for a.
-5
Let f(m) = m**3 - 6*m**2 - 7*m + 6. Let d be f(7). Let n = d - 2. Suppose -3*s = 0, 3*w = 4*s + 11 + n. Solve -4*o = -11 - w for o.
4
Let b be (-1 - (-2 + 0))*-3. Let v be 1*-2 - (b - 4). Solve -3*i + 6 = -v*i for i.
-3
Suppose 3*j + 3 = s - 1, 5*j + 4 = s. Solve -2 + j = -l for l.
2
Let o(m) = m**3 - 3*m**2 + m + 4. Let i be o(3). Suppose 5*d + i = 17. Solve d*s + 2 + 2 = 0 for s.
-2
Let h be (-44)/(-6) - (-3)/(-9). Suppose 3*f - 19 = -5*z + 15, 4*f + z = 34. Suppose 0 = 5*r - f - h. Solve r*t - 3 = 6 for t.
3
Let l(q) = q**3 + 2*q**2 - 2*q + 1. Let w be l(1). Suppose -w*s = -g - 6, -3*g - 5*s = 2*g - 30. Solve -6*d = -g*d for d.
0
Let t be 6/(-39) + 82/26. Suppose y + 4*p = -4, t*p = -2*p - 10. Solve -4 = y*u - 5*u for u.
4
Suppose -5 = -m - 1. Solve 0*z - 4 = -m*z for z.
1
Let w = 9 + -7. Suppose w*b + 10 = 2*m, -7*b - m - 30 = -3*b. Let r(o) = o**3 + 7*o**2 - o - 3. Let q be r(b). Solve q*s - 9 = s for s.
3
Suppose -3*y + 8 = 3*l - 13, -3*y + 13 = -l. Solve 4 - l = 2*o for o.
