- -3). Solve u = 2*t + m*t for t.
0
Suppose 0 = -2*k + 2. Let l be (-2)/(1 + 11/(-9)). Suppose f - 5*r = -k, f + r = -f + l. Solve 9 = -f*i + 1 for i.
-2
Let j(l) = l + 4. Let n be j(-3). Let h(r) = -r**2 + 5*r - 1. Let w be h(5). Let v be 10*w/(-2)*1. Solve 0 = v*s - 14 - n for s.
3
Let o(d) = 2*d - 4. Let v be o(3). Let q(j) = j**v - 2*j**2 + 2*j**2 - 3*j + 3. Let z be q(3). Solve 0*m - z*m = 3 for m.
-1
Suppose -6 = 3*w, -i + 5*w + 10 = 3*i. Suppose 2*r + i = 8. Solve -2*u + u = r for u.
-4
Let n be 12/(2 + 5/(-4)). Suppose i - 4 - n = 0. Solve 5*k + 0*k - i = 0 for k.
4
Let f(g) = -4*g + 33. Let b be f(7). Solve b*q + 5 = -0 for q.
-1
Suppose -7*g - 34 = -55. Solve -3*z - 9 - g = 0 for z.
-4
Suppose 0 = -3*q + 5*q + 14. Let k(s) = -s**3 - 6*s**2 + 8*s + 10. Let w be k(q). Suppose -7 = -4*a + 1. Solve 0 = a*z + w + 1 for z.
-2
Suppose 0 = -3*b + 5*o, 4*b - 3*o + 2*o = 17. Let i(a) = -a + 5. Let v be i(b). Suppose g + v*t - 10 = t, -3*g = 4*t - 44. Solve -4*l + g = -8 for l.
5
Let y(a) = -2*a + 3. Let j be y(-3). Suppose -5*w + j + 51 = 0. Let z = w - 8. Solve z*n = -n - 25 for n.
-5
Let x = 13 - 8. Solve -x = s - 4 for s.
-1
Let c be ((-18)/(-4))/((-2)/12). Let g = -12 - c. Suppose -4 = 4*s + 2*x - 4*x, 3*s = -5*x + 10. Solve s*i = 5*i - g for i.
3
Let s be (-24 + -1)/(2/(-2)). Suppose 151*z + 18 = 160*z. Solve -3*w - s = z*w for w.
-5
Let i = 9 - 5. Suppose 3 = u + b, u + 8 = i*u + 2*b. Suppose 0 = 3*p - 2*d - u*d + 12, 0 = -5*p + 4*d - 12. Solve 9*j - 4*j = p for j.
0
Suppose 2*p = -3*p. Suppose -3*c + 0*c - 5*l + 2 = p, 3*c - 3*l = 18. Suppose 2*z - z - 3 = 0. Solve 0 = z*g - c*g for g.
0
Let a = -1 + 1. Suppose 2*t - 4*v = 4, 5*t = -4*v - a*v - 4. Solve t = -2*w + 8 for w.
4
Suppose 4*g - 6 = -0*r + 2*r, -r = 4*g - 15. Suppose -5*m = 3*z - 12, z = g*m - 7*m + 11. Suppose 8 = -3*p + 53. Solve -p = 2*b + m*b for b.
-3
Let r = -11 - -20. Let j = -7 + r. Suppose 0*o - o = 4*u, 0 = 3*o + 2*u. Solve -j*b = -o*b for b.
0
Suppose -5*x + 33 = 6*x. Suppose c + 4 = 3*c. Solve c*p + 7 = x for p.
-2
Let a = -11 + 6. Let m(n) = -n**3 - 4*n**2 - 3. Let v be m(-4). Let r = v - a. Solve -14 + 4 = r*s for s.
-5
Suppose 7*w = 73 - 17. Solve 2*f - 4*f = w for f.
-4
Let g = -6 - -9. Suppose -w + 0 + 3 = 0. Suppose x + 4*x - 30 = 0. Solve -w*i - x = -g for i.
-1
Let f(x) = x**2 - 16*x + 39. Let g be f(13). Solve q = -g*q - 1 for q.
-1
Suppose 0*f - 40 = -4*f. Solve r = -r + f for r.
5
Let c = 59 - 47. Suppose -2*f = -8 + 4. Suppose f*w = -w + c. Solve 3*y = w + 5 for y.
3
Suppose -2*s = s, -3*v + 6 = 2*s. Solve v*g = 7*g + 20 for g.
-4
Suppose 0 = 2*z + b - 21, 6 = -2*b - 0. Let d = 13 - z. Solve -2*w = -d - 5 for w.
3
Suppose 0 = -7*c + 50 + 6. Solve -c = 10*b - 8*b for b.
-4
Let j be 20/(-8)*64/(-20). Let m be ((-2)/6)/(j/(-72)). Solve 2*a - m = -a for a.
1
Suppose -2*t = -4*r + 188, 3*t = -t + 8. Let o = -32 + r. Solve -9 - o = 5*n for n.
-5
Suppose -4*y + 19 + 21 = 0. Let v = y + -5. Solve 0 = l - v*l - 20 for l.
-5
Let u = -387 + 390. Let n(c) = c + 4. Let z be n(0). Suppose 2*o = z*l, 3*o + 3*l - 18 = -0*l. Solve -o = u*b - 1 for b.
-1
Suppose -2*z + 28 = 3*k + 9, 0 = 3*z - k - 1. Let o(s) = 2*s - 2. Let x be o(z). Solve -2*w = -w - x for w.
2
Let m(n) = n**3 - 8*n**2 - 8*n - 4. Let r be m(9). Let x be 2/1 - -10 - -1. Suppose -3*u - d + x = 0, 5*d - 2 = -3*u + 27. Solve 0 = u*t - 2*t - r for t.
5
Let r be ((-3)/(-12))/((-4)/(-32)). Solve 2*m - 4*m - r = 0 for m.
-1
Let v be 1/5 + (-7)/(140/(-16)). Solve 12*z - 13*z = v for z.
-1
Let h(y) = -y**2 + 16*y - 39. Let k be h(9). Solve -k = 6*r - 6 for r.
-3
Let w(n) = -4*n - 10. Let u be w(-7). Let c = u + -13. Solve -2*j - c = 3*j for j.
-1
Let o = 9 + -5. Suppose 5*u - 70 = 4*j - 15, o*j = -u + 35. Let h be u/3 - (-1 - -2). Solve 0 = -0*y - h*y for y.
0
Suppose -3*w - 2*b = 7, 2*w - 4*w + 3*b + 17 = 0. Solve j + w = 4 for j.
3
Let b = -4 + 8. Let v = b + 0. Solve v*k = 2*k + 2 for k.
1
Suppose -j + 4*j = 0. Let u(i) = -i**3 + i + 6. Let c be u(j). Suppose m = c*m. Solve -5*s - 23 + 3 = m for s.
-4
Let q be (-13)/(-4) - 1/4. Suppose 5*v - q*v - 2 = 0. Let z be (-1 + v)/(-9 + 7). Solve w + w = z for w.
0
Suppose 2*r - 8 = 2*i, i - 20 = -4*i. Suppose r - 2 = 3*z. Suppose -3*f = f - 16. Solve f*c = z*c - 8 for c.
-4
Let b(n) = -n - 2. Let k be b(-4). Let v = 2 - k. Solve 0*p - 4*p = v for p.
0
Let y(f) = f**3. Suppose 2*t - t + 5 = 2*o, -11 = -3*o + 5*t. Let z be y(o). Suppose -z = -2*r + 4. Solve 2*n + r = -0*n for n.
-3
Let m be ((-13)/(-3) - 3)*9. Solve -3*g = g - m for g.
3
Let b = 17 - 7. Let d(z) = 5*z + 5. Let u be d(b). Let x be u/10*(1 - -1). Solve -x = -5*k + 4 for k.
3
Suppose 4*j = 3*i - 2*i + 6, 3*j = 3. Let d be (0 + 1 - -1)*i. Let w be ((-10)/d)/(2/4). Solve 0*m + 15 = -w*m for m.
-3
Let z be (-1 - 4/8)*(-4 - -2). Solve -8 = z*d - d for d.
-4
Let l be 2/(-1 - -3) + -1. Let i be (75/9)/(-5)*-3. Let f = i - l. Solve 0 = f*x - 0*x + 20 for x.
-4
Suppose 4*g - 5*g + 4*o = -20, 15 = -g - 3*o. Suppose 3*a - 9 = -g. Let c = 10 - 4. Solve 15 = -a*m + c*m for m.
5
Suppose 0 = -7*j + 3*j + 84. Let s = 15 - j. Let v be 2 - 0/(s + 3). Solve -o + 4 - v = 0 for o.
2
Let x = -36 - -42. Solve 2*h + 8 = x*h for h.
2
Let n = -10 + 26. Suppose -4*o - 8 = -2*f, -2*f + n = -3*o + 2*f. Solve s = -o*s + 5 for s.
5
Let m(c) = -c**3 - 8*c**2 - 7*c + 3. Let f be m(-7). Suppose f*b + 0 = 12. Solve q = -b*q + 20 for q.
4
Suppose 7 = 2*z - l, -5 = -4*z + 2*l - 3*l. Solve 0 = z*j + j + 6 for j.
-2
Suppose 2*o = 7*o. Let b = -15 - -19. Suppose -2*l + o*w + w + 2 = 0, b = -4*l - 2*w. Solve -3*j + 2*j + 2 = l for j.
2
Let i(u) = -u - 3. Let n be i(-3). Let t = 1 + n. Let f = 3 - t. Solve 0 = q + f*q - 12 for q.
4
Let f = 32 - 26. Suppose -o = -f*o. Solve -1 = -u - o for u.
1
Let q be (2 + -3)/(1/(-12)). Let i(n) = -2*n - 12. Let u be i(-9). Suppose -h + 4*y = -4*h - q, -5*h + u = -2*y. Solve h = p + 4*p for p.
0
Let c(t) = 3*t - 3. Let g be c(3). Let z(o) = -o**3 - 8*o**2 - 5*o + 2. Let u be z(-8). Suppose u = 6*r - 3*r. Solve -r = -5*d + g for d.
4
Suppose -5*n = -3*x + 10, -4*x + 4 = -5*n - 6. Let b(i) = -i - 2. Let c be b(-2). Solve c = o - 2 - x for o.
2
Let i be 4/10 - 644/(-115). Solve q + 7 = i for q.
-1
Suppose 0 - 2 = -w. Suppose 5*r - 4*h = 8, 5*r + w = 2*r - h. Solve r = -0*k + k for k.
0
Let p = 196 - 196. Solve 4*u + u - 15 = p for u.
3
Let g(q) = q + 3. Suppose -3*c = -c - 18. Let h be g(c). Solve -4*d + 0 = h for d.
-3
Suppose 2*o = 3*o - 2. Let a be (1 + 0)/o*0. Solve 3*q - 6 - 6 = a for q.
4
Let v(j) = j**3 - 6*j**2 - 7*j + 2. Let w be v(7). Suppose -4*m + w = -14. Solve 0 = u - m*u - 3 for u.
-1
Let w = -22 - -13. Let i = w - -12. Solve -5*l = -2*l + i for l.
-1
Let f be 95/35 + (-2)/(-7). Solve f*g + 5 = 8 for g.
1
Suppose 3*d = -4*w - 6, w = -1 - 2. Solve 7 - d = 5*t for t.
1
Let w = -27 + 38. Solve 4*v - w = -3 for v.
2
Let f(h) = -h**3 + 8*h**2 + 8. Let x be f(8). Solve -3*o = 1 + x for o.
-3
Let w = 82 - 72. Solve 4*n - 2*n + w = 0 for n.
-5
Let p be (-1)/(-2) + (-3)/(-2). Solve p*a = 17 - 7 for a.
5
Suppose -r = -3*r + 10. Suppose -7 = 3*b - 5*u, -r*u = b - 11 - 20. Suppose -2*m = -4*w + b, 3*m - 4*w = -w - 3. Solve 0 = 5*i + 6 - m for i.
-1
Let l(b) = -3*b - 10. Let v be l(-4). Solve v + 0 = -2*t for t.
-1
Let k(m) = m**2 + 2*m + 1. Let r be k(-1). Suppose 2*a = 2*g - 6, 0 = -3*a - r*a + 5*g - 17. Solve -l - a + 4 = 0 for l.
3
Let c be (3/6)/((-1)/(-6)). Solve 4*t - 1 = c for t.
1
Let j(h) = 3*h - 12. Let k be j(8). Solve -3*y + k = -7*y for y.
-3
Let w be ((-18)/(-4))/(3/8). Solve -2*r + w = r for r.
4
Let m = -25 - -28. Solve -m*y = -y - 10 for y.
5
Suppose -19 + 9 = -2*c. Solve -c*z = -9 + 34 for z.
-5
Let t(i) = -6 + 2*i - 6 + 0*i. Let p be t(8). Suppose -3 = p*f - 11. Solve 0 = f*k - 6*k for k.
0
Suppose -2*w - 19 = u + 2*u, -2*u + w - 8 = 0. Let c = u + 8. Solve 0 = -2*k + c*k + 1 for k.
-1
Let t(r) = 0*r**2 - 3*r**2 + 2*r**2 + 4*r. Let z be t(3). Suppose -11 = -3*w + z*j + 7, j + 8 = 2*w. Solve d - 9 = -w*d for d.
3
Let r be (-8)/2*(3 - 4). Suppose -3 = r*s - 15. Let z be 32*3*s/18. Solve -2*v = 2*v - z for v.
4
Let u(g) = 3 - 2 + 0*g - 3*g + 2*g. Suppose -3*t = -8*t - 25. Let h be u(t). Solve 4*c - h = 10 for c.
4
Suppose 0 = 2*a - 5*q + 20, -3*a + 16 = -8*a + 4*q. Solve -n - n - 8 = a for 