
4
Suppose 8*s = 7*s + 3. Solve 3*a = -5*x + s, a - 2*a = x - 1 for x.
0
Let n = 22 + -19. Solve -n*s = -x + 18, 2*s + 0 + 7 = -x for s.
-5
Suppose -o + 7*o = 24. Solve -c = o*c + z + 7, 5*z - 17 = c for c.
-2
Let w(s) = -s**3 + 4*s**2 - s - 2. Let i be w(2). Suppose -5*r - i*d = 0, -4*r + r - d = -7. Solve 15 = -3*u - 6*b + 2*b, r*b + 25 = -5*u for u.
-5
Suppose 0 = 5*h + 4*x - 140, 4 = 2*h - h - 4*x. Solve 4*n - 3*i = -h, -2*i - 2*i + 4 = 4*n for n.
-3
Let o(g) = -g + 12. Let i be o(6). Solve 0 = -4*k - k + 4*l + 11, i = 3*k - 3*l for k.
3
Suppose 12 = 2*h - 2. Let l = h - 3. Solve -5 = -2*a + 7*a + 5*c, 0 = l*a - 2*c + 4 for a.
-1
Let w(k) = -k - 4. Let d be w(-5). Let h = 2 + d. Solve -y + 0*m - 2*m - 4 = 0, 0 = h*y + m + 7 for y.
-2
Suppose -5*x + 99 = -21. Solve 4*b + w = -12, -x = b + 2*w - 7*w for b.
-4
Let i = -5 + 8. Let q be (1/i)/((-4)/(-36)). Solve 3*k = -b - 15, q*k + 8 = -2*b - 10 for b.
-3
Suppose 8*n = 12*n - 16. Solve -3*k - k + 4*x + 32 = 0, 0 = -2*k - n*x - 2 for k.
5
Let g(n) = n**3 - 5*n**2 - 7*n + 7. Let c(b) = b - 2. Let i be c(8). Let q be g(i). Solve 5*v - 3*v = -2*y, -5*y - 4*v = q for y.
-1
Let p be 2/4 - 1/(-2). Let q = 119 - 85. Suppose -5*j + q = 3*n, 0 = -0*n + 2*n - j - p. Solve 0 = -l - 0*l + 2, 5*d - n = l for d.
1
Let b be (-4)/18 - 235/(-45). Suppose b*q + 7 = 27, -22 = -2*j - 4*q. Suppose j*w = -2*w + 4*k + 26, 2*w - 4*k = 8. Solve -w = 2*u - 2*i, -2*i + 4 = 2*i for u.
-2
Let o(a) = 3*a + 4. Let z be o(-3). Let b be (-1)/z + (-616)/(-20). Solve -v - p = -3*v + 3, -4*v - 3*p = -b for v.
4
Let p(m) = m**2 + 2*m + 2. Let j(t) = -t**2 - 1. Let b be j(1). Let d be p(b). Solve -2*x + 3*x + 4 = -d*o, o + 3 = 0 for x.
2
Let h(d) = -d**3 + 7*d**2 - 4*d - 7. Suppose -6*y = -y - 30. Let f be h(y). Solve -5 = -f*b, 4 = -2*r - 4*b - 0*b for r.
-4
Let k(g) = g - 8. Let n be k(8). Suppose 4*q + 2*t = -n*t + 18, -5*q + 4*t + 29 = 0. Solve 0 = 4*h - 5*f - 15, h - 5 = -h + q*f for h.
5
Let n = 6 - 2. Let k be (2/3)/(n/12). Suppose -20 = -5*a + a. Solve -k*j = -3*y, 3*j + 0*j = -a*y for j.
0
Suppose 0 = -4*q - 4 + 16. Let w be q/1 + 0/5. Solve -w*r + 2*i + 2*i = -23, -4*i + 17 = 5*r for r.
5
Suppose 6 = -4*c - 6. Let g be (0 - 1)*9/c. Solve 3*i + 5*r = 8*i - 25, -2*r = -g*i + 13 for i.
3
Suppose 0 = -4*w - 5*v - 38, 0*v = 3*w - 2*v + 17. Let n = w + 10. Let f = -21 - -22. Solve -j + 11 = -4*m, -8 - f = n*m for j.
-1
Let d = -16 + 39. Suppose 0 = -2*l + 2*o + 18, 2*l = 6*o - 3*o + d. Suppose 2*h = -2, h - 6*h - 21 = -l*w. Solve 3*p - w = p + 2*t, 3*p = -2*t + 6 for p.
2
Let t be 93/33 + 20/110. Solve 3*v - 8*v - t*z + 35 = 0, v = 2*z - 6 for v.
4
Suppose -2*s + 0*r = 5*r - 11, 0 = 3*s - 3*r - 27. Solve 0 = 5*b - 5, -z + 4*b = z + s for z.
-2
Suppose 2*y + 2*y = 0. Suppose 7*w = 2*w + 20. Suppose 2*q = -3*z + w - 3, q = -4. Solve f + 4 = 4*t, 0*t + z*t + 2*f + 8 = y for t.
0
Let u = 7 + -7. Suppose u = t - 2 - 0. Suppose p - 2*k = 5, -3*k = -k. Solve -t*x = -p*n - 9, -2*x + 6 = -3*n + n for n.
-1
Let w(l) = 2*l - 23. Let s be w(13). Solve -14 = 4*z + 3*n + 3, -s*z = 5*n + 21 for z.
-2
Let o = 51 + -58. Let q(f) = -5*f**3 - f**2 + 1. Let g be q(1). Let p = g - o. Solve -7 = -p*d - 5*w, -4*w = -3*d - w - 21 for d.
-4
Let y be 7 - ((-4)/2 - -1). Let n be (-50 + 0)/(y/(-4)). Solve 0 = h - 4*c - 20, 2*h + 6*c = c - n for h.
0
Suppose -5*z = 3*d + 59, -z + 0*z + 4*d + 2 = 0. Suppose -3*q + 2 - 26 = 0. Let y be (-15)/(-2)*q/z. Solve -2*m - 2*m - y = -5*c, -c = 5*m + 22 for c.
-2
Let b(g) = -g**3 + 9*g**2 + g - 7. Let s be b(9). Suppose -s*d - 8 = -4*d. Solve o - d = -0*a - 2*a, -10 = 2*o - 2*a for o.
-2
Let c(s) = s. Let f(d) = 5*d**2 - d - 1. Let a be f(-1). Let y be c(a). Solve 0 = y*b - r - 10, -4*r + 6 = -0*b + 3*b for b.
2
Suppose -35 = -4*b + 3*a, -3*b = -2*b + a - 7. Solve -3*i + 12 = x, -3*i - b = -5*x - 5*i for x.
0
Let m = 36 - 10. Let k = m + 4. Solve 0 = 5*q + 5*r - k, 0*r + 2*r - 6 = 0 for q.
3
Suppose 4*l = -0*l + 8. Suppose -l*z - 3*z = m + 1, 4*m + 3*z = 13. Solve 3*p - m*w + 23 = 0, p - 19 = -3*w - w for p.
-1
Let f = 5 + 7. Suppose -4*u = i - 4, -i + 1 = 2*u - 1. Let r be i + -1 - (3 - 6). Solve x - 6*x + 2*l = -f, -2*l - r = 0 for x.
2
Let j(o) = -2*o - 40. Let h be j(-21). Solve -2*d - 10 = -4*l, -h*d - 12 = -0*l - 5*l for l.
2
Let h(b) = -b**3 - 5*b**2 - b - 3. Let r be h(-5). Suppose 0 = 2*s + 3*p + 12, p + 16 = r*s - 3*p. Solve s = 4*i - 2*x + 2, -i - 4*x + 2 + 11 = 0 for i.
1
Suppose -16 = -4*y - 3*b - b, -4*b + 8 = 0. Suppose -10 = -y*f - 4. Let a be 16/10*(-5)/(-2). Solve 0 = -4*v + a*r + 4, 0 = -4*v - f*r + 5 + 20 for v.
4
Let y = -86 - -89. Solve 0 = 3*s + y*x, -2*s - 2*x = 2*x - 10 for s.
-5
Suppose 3*f - 2 = f. Solve -3*g - 2*w + f = 11, g + 4*w + 20 = 0 for g.
0
Let y be 48/8*1*1/3. Solve j - 3*j + 9 = 3*n, -19 = -y*n + 3*j for n.
5
Suppose -3 = -0*q - q. Solve 6 = 2*h - 5*h + 3*f, 6 = q*f for h.
0
Let q = -20 - -16. Let w(o) = -9*o + 23. Let y(a) = -5*a + 12. Let h(s) = 6*w(s) - 11*y(s). Let r be h(q). Solve 5*j = -2*c, -r*j + 0*c = -3*c + 19 for j.
-2
Suppose 3*f = -4 + 10. Solve -16 = -2*g - f*d, -3*g - 2*g = -3*d for g.
3
Suppose 14 = 5*r + 2*r. Solve 5*k - r*l = 3*l - 15, 2*k - 4*l + 14 = 0 for k.
1
Suppose 3 - 16 = -4*o - j, 4*j = -12. Solve -6*r - t - 1 = -3*r, t = 2*r + o for r.
-1
Suppose 0 = -5*w + 56 - 11. Solve -7*i + 12 = -3*i - n, 3*i = 2*n + w for i.
3
Let r be 4/3 + (-4)/(-6). Suppose 7*o = 2*o - 55. Let z = o - -14. Solve -2*w + r + 0 = z*k, 4*k + 4*w = -4 for k.
4
Let x = -8 - -11. Let l be 10*((-2)/(-4))/1. Solve -x*t + 5*d = -10, 4*d - 10 = l*t - 5 for t.
-5
Suppose -3*g = -6*g - 9. Let t be -6*(g + (-32)/(-12)). Solve m + 13 = -2*d, -5*m = t*d - 5*d for m.
-3
Suppose -2*p - 3*p + 10 = 0. Let l(m) = -m - 1. Let v be l(-5). Solve -3*j - 4 = 4*o, -p*j - v*o = -j - 4 for j.
-4
Let j(r) = -r**3 - 5*r**2 - 3*r - 2. Let v be j(-3). Let u = -7 - v. Solve -f + 2*f - u*s = -4, -2 = f - 2*s for f.
0
Suppose -9 = 4*v - 3*d, 0 = -5*v - 0*d - d - 35. Let c be ((-27)/v)/((-3)/16). Let u = c + 40. Solve 3*j = -4*g + u, 2*g + 3*j = 2*j + 6 for g.
1
Suppose -48*g - 24 = -51*g. Solve -3*j + 8 = -4*r, 2*j = -0*j + g for r.
1
Suppose -11*c + 7*c = -20. Solve k - 4 - 7 = c*g, -g - 4*k - 19 = 0 for g.
-3
Let u(z) = z**2 + 11*z + 27. Let g be u(-8). Solve a + 7 = y + g*y, 4*y = -2*a + 22 for y.
3
Let l be (4/6)/((25/30)/5). Solve -4*z - l = 4*a, -z + 4*a + 23 = -a for z.
3
Let l(y) = y**2 + 4*y + 5. Let u be l(-4). Solve 5*w = u*f + 7 + 3, 0 = 3*f for w.
2
Suppose -2*p + 1 + 7 = 0. Let f = -5 + p. Let z(g) = 9*g**2 + g. Let m be z(f). Solve 4*w = d - m, -2 = w - 0*w + 2*d for w.
-2
Let r be (-4)/18 - 38/(-9). Suppose -3*o + r = o, 3 = f + 5*o. Let b be -1 - f - (0 + 1). Solve b = -5*i + 6*i - w + 2, -2*i = 5*w + 25 for i.
-5
Suppose 5*b - 2*q - 21 = 0, 4*q + 2 = b + b. Let r(f) = 4*f**3 - 2*f**2 - 3*f**3 + 3*f**2. Let t be r(0). Solve b*k - 3*a = -t*k - 8, -k = 2*a - 1 for k.
-1
Let p = 15 - 12. Let w be 2/(-8) - 1/(-4). Let n = w - -2. Solve -2*o - n*q + 1 = 3, -4*o + 10 = -p*q for o.
1
Suppose 5*c = -5*j - 5, -2*c - 23 + 9 = -j. Solve -j*m + m = o + 17, -3*o - 3*m = 21 for o.
-2
Suppose 0 = -2*u - 0*u + 10. Suppose r - 40 = -g, -6*r - 218 = -u*g - 2*r. Suppose -g = -s - s. Solve 2*y - 2*m + 4 = -8, -4*m = -y - s for y.
-1
Let a = -18 + 36. Solve 2*j - i - 4*i = -a, 5*j = 4*i - 28 for j.
-4
Let j be 5 + (-2 - (2 - 2)). Suppose 6 = j*r + m, -3*r = r + m - 9. Suppose -6 = -3*n + r. Solve -n*v + 14 = -2*z, 3*z = -4*v + 8*z + 21 for v.
4
Let s(c) = -c**2 - 9*c - 6. Let a be s(-8). Solve 21 = -5*u - z, 2*u - 5*z + 1 = -a for u.
-4
Suppose 0 = -0*n - 4*n + 132. Let v = -16 + n. Solve -4*b - d = -21, -2*d + v = -b + 4*b for b.
5
Let t = -2 - -3. Suppose w - 4*g = -4*w + 6, 5*g + t = 3*w. Solve 5*v - 5*o + 10 = 0, 0 = 2*v + o + w - 1 for v.
-1
Let p = 52 + -49. Solve p*q - a + 7 = 4, 3*q + 15 = 5*a for q.
0
Suppose 156 = 14*a - 2*a. Solve -l - 12 = -4*l + 2*x, 5*l - x - a = 0 for l.
2
Let m = -5 + 7. Let p be (-14)/(-8) + (-3)/(-12). Let k be p + (m - -4)/(-3). Solve -5*u - 11 = s, -4*s + 5*u = -k*s - 31 for s.
4
Let x(y) = 3*y**2 + y. Let v be x(-2). Suppose 4*d = 6*d - v. Solve 0*s = 4*q + 5*s + 3, 4*q + 13 = d*s for q.
-2
Let q(y) = -3*y - 1 + 2*y + 2. Let u be (1 - 0)/(-2) - (-8)/(-16). Let m be q(u). So