-s*q + 3 = t - 4*t for t.
0
Let x be 2*1*(3 + -1). Solve -4*o - 5*m - 19 = 0, x*o - o - 3*m - 6 = 0 for o.
-1
Let u be 6/21 + 30/(-7). Let l = 0 - u. Let c = -3 + 7. Solve 17 = 5*s - c*j, 5 = -3*s + l*j + 12 for s.
5
Suppose 3*s - 76 = 50. Let n(d) = -2*d**2 + 47*d - 19. Let l be n(23). Suppose s = l*w - 26. Solve -4*c + w = -3*o, 5*c + o - 22 = 4*o for c.
5
Let i be (-1*(8/2 - 2))/(-1). Solve 0 = i*h - t - 1, t - 4 = h + 5*t for h.
0
Suppose r - 3*r + 10 = 0. Suppose -3*j = -t - 5, -r*j + t = -t - 7. Solve 4*i = j*l - 6, -4*l = 5*i - 2*i - 8 for l.
2
Let v = -175 + 175. Solve m - 8 = -m - a, 4*m + a - 16 = v for m.
4
Let j be (-20)/15*(-54)/24. Suppose -18 = -5*o + 57. Suppose 5*i + j*k - o = -0*k, -15 = i - 3*k. Solve -m = h + 4, i*h + 2*m + 7 = -3*h for h.
1
Let y be (-8)/(-68) - (-96)/51. Suppose -5*z = -p + 18, y*p + 2*z - z - 3 = 0. Solve -p = j + 5*f + 9, -4*j = -5*f - 27 for j.
3
Let u(b) = -3*b - 6. Let v(d) = 4*d + 5. Let w(i) = 6*u(i) + 5*v(i). Let z be w(8). Solve 2*j = -4*a - 10, a + 3*j - z = -0*a for a.
-4
Suppose 4*n + 2*l = 8, -2*n - l + 4 = 4*l. Let s be (-80)/(-36) - n/9. Solve 2*r - 10 = s*g, 3*g - r = 1 - 6 for g.
0
Suppose -4 = -4*x + 3*x. Solve 4 = 2*a - 3*k, 0 = 4*a + 2*k + 4 + x for a.
-1
Suppose -5*h + 0*c + 10 = -3*c, 2*h = c + 4. Let f be (h*-1)/(6/(-9)). Let w = 14 + -11. Solve -w*b - 4*i - 22 = -2*b, b = i + f for b.
-2
Let b be -3 + -3 + 44/4. Solve 11 + 19 = -4*s - 5*f, 3*s + b*f = -25 for s.
-5
Suppose -4 = -4*u + h, -2 = -4*u + 3*h - 6. Suppose 14 = 3*v + 3*n - 4, 12 = v + 4*n. Suppose v*p - 10 - 2 = 0. Solve 0 = -u*s - 4, p*s = -4*m + 5*s for m.
-1
Let v = -10 - -12. Let z be (10/(-3 + v))/(-2). Solve 2*n = z*a - 2, -3*n - 4*a = -7*n + 8 for n.
4
Let d(h) = 3*h**2 + 2*h + 5. Let j(t) = -8*t**2 - 7*t - 15. Let r(c) = -11*d(c) - 4*j(c). Let u be r(6). Solve 0 = -w + u*p - 1 - 5, 1 = -4*w - 3*p for w.
-1
Suppose 4*b - 8 = 2*p, 0 = 3*b - 0*b + 3*p + 12. Suppose 8 = -3*r + 7*r. Solve 3*h - 15 = b, r*s + h + 3*h - 22 = 0 for s.
1
Let z be (-32)/(-18) - (-1)/((-27)/(-6)). Solve p + 2 + z = 0, -12 = -5*b + 3*p for b.
0
Let u(s) = s**3 - 5*s**2 + s + 9. Let r be u(5). Solve 3*j - 19 = -5*a, 2*a - 2*j - r = -0*j for a.
5
Let o be (28/16)/7*0. Solve -4*u + 11 - 3 = 0, 4*p - 2*u + 24 = o for p.
-5
Let j = 2 - -6. Let t = j + -5. Solve 0 = -x - 1 - 0, m = -t*x - 3 for m.
0
Let c be (8/6)/(4/12). Suppose 7*x - 36 = -8. Solve -3*j - 8 = j + c*o, 0 = x*j - 5*o + 17 for j.
-3
Suppose -5*x + x = -16. Solve a + x + 9 = 5*c, 4*c + a = 5 for c.
2
Suppose -2*j - 4 = -40. Let w = -10 + j. Solve -2*l - c - 2*c + w = 0, 2*l = 4*c + 8 for l.
4
Let h(d) = -d**3 - d**2 + 3*d - 3. Let o be h(-3). Let z = 1 + 2. Suppose -z*c + 8 + 1 = 0. Solve -4 = 2*i + 4*q - q, -3*i = -c*q + o for i.
-2
Suppose 3*z - 5*u = 34, 4*z = z + 2*u + 19. Solve 0*t - 10 = -3*t + s, z*t = 2*s + 11 for t.
3
Let g(a) = a**2 - 7. Let d be g(3). Solve 2*m = -3*x - 2*x + 12, -d*m = -5*x + 28 for x.
4
Let w = -27 - -24. Let r be 2 - (w - -4 - 21). Solve 27 = -3*s + 4*q, 8*s + q + r = 3*s for s.
-5
Suppose -4*q + 18 = 2*l - 0, 0 = 4*l - 5*q + 16. Solve -16 = 5*x - l, 2*f - 6 = 4*x for f.
-3
Let k be 8 + -2 - (2 + 0 - -1). Solve 0 = -3*o - 3*q - 3, 0 = -2*o - 5*q - k + 7 for o.
-3
Suppose 5*k + 2 = 32. Suppose p - k = -1. Solve -p*r + 2*r + 5*f = -18, 5*f + 16 = r for r.
1
Suppose 2*d - 24 = -8. Solve 4*n = 5*u - 14 - d, 4*n = 3*u - 18 for n.
-3
Let x = -149 - -153. Solve 15 = 4*r + o, r - x*o = -2*r - 3 for r.
3
Suppose -4*b = -0*s - 4*s + 256, 52 = s - 4*b. Let i be (-2)/(-6) - s/(-3). Solve 5*m + 4*c + i = c, 2*m + 9 = -c for m.
-4
Let y(b) = -b**3 - 5*b**2 + 16*b + 17. Let o be y(-7). Solve 18 = c - 4*t, t - o*t - 18 = 4*c for c.
-2
Let p(g) = 2*g + 19. Let w be p(-9). Suppose -3*s - w = -19. Solve 5*m - 18 = -d + s, 2*d + 4*m = 18 for d.
-1
Suppose -r - 19 = -4*y - 0*r, -5 = -5*y + 5*r. Suppose -5*u - y = -26. Solve l - 2 = -g, u = l + 4*l + 3*g for l.
-1
Let q = -172 - -176. Solve b - 2 = -2*m, -q*b + 0*b - 28 = -4*m for b.
-4
Let n = 33 + -23. Solve -l - n = -3*l, 2*j = l + 5 for j.
5
Let h be 0 + (-4 - 0) - -9. Solve h*g - 3*b + 13 = 0, 3*g = 2*b + 2*b + 1 for g.
-5
Let z(c) = c**2 + 6*c - 3. Let i be z(-4). Let q = i + 13. Solve -4*p = -6*p + 3*a + 13, 0 = -q*a - 10 for p.
-1
Let w(k) = -19*k + 5. Let o be w(5). Let m be 4/3*o/(-12). Solve 0 = -4*d + x, 0 = 3*d + x + m - 3 for d.
-1
Let f be 2/7 - (-57)/21. Suppose 2 = o - 4*w, o + 3*o + f*w - 8 = 0. Solve 3*t - 14 = o*a, 2*a - 2*t - 12 = 6*a for a.
-4
Let f(o) = -8*o + 18. Let j be f(2). Solve -3*k - j*u - 21 = 0, 5*u = -3*k + 13 - 43 for k.
-5
Suppose -x = -4*q + 3*x - 8, 0 = -3*q - 3*x + 18. Suppose 8*w - 5*w - 120 = 0. Let p = -29 + w. Solve q*s = 5*s + 3*b + 21, p = -s - 2*b for s.
-3
Suppose 6*k = 2*k - 2*d + 10, k + 2*d - 1 = 0. Suppose k*j = j. Let i be (2/6)/((-2)/(-18)). Solve j = -h + 3*u + 13, -4*h - i = -u - 0 for h.
-2
Let x be (-30)/36*4*(-3)/2. Solve 2*p - 6*p + 20 = -x*y, 5*p = 2*y + 25 for p.
5
Let r(g) = -g**2 + 4*g + 5. Let f be r(4). Suppose -4*x + 20 = 0, 115 - 16 = 4*z + 3*x. Let k = 2 - 2. Solve k = -f*j - 4*n + z, 2*j - 10 = -n - n for j.
1
Let a(h) = 2*h**2 + 2*h - 1. Let t be ((-4)/(-10)*5)/(-1). Let p be a(t). Solve -y + 5*w = 3*y - 33, 4*y - p*w = 23 for y.
2
Let h be 0/((-1)/3*-3). Solve -4*j + q + 15 = 0, 2*q - 8 - 2 = h for j.
5
Let j(a) = -a. Let p(l) = -11*l - 2. Let z(i) = 5*j(i) + p(i). Let d be z(-2). Solve 2*c - m + 6 = -7, 0 = -5*c + 2*m - d for c.
-4
Suppose 0 = q - 4*z + 2 - 17, -20 = -2*q - 2*z. Solve -s - 18 = 3*i, s = -s - i - q for s.
-3
Suppose -14 + 4 = -5*g - 4*n, -5*g + n = -10. Solve g*d - 28 = 5*u, 2*u - d + 16 = -u for u.
-4
Let w be 1/((-1)/(0 - 5)). Suppose 0 = -m + w + 3. Solve 0 = -8*g + 4*g - 3*a - m, 5*a = 3*g + 35 for g.
-5
Let h(g) be the third derivative of -1/24*g**4 + 1/6*g**3 + 0 + 0*g - g**2. Let w be h(-2). Solve -4*z + w*c = 0, -4*c + 22 - 3 = z for z.
3
Let b(k) = k**3 + 10*k**2 - 15*k - 14. Let p be b(-11). Solve 0 = l - 2*m + 5, 6*l + m = l + p for l.
5
Suppose 0 = 5*q - 9 - 11. Suppose q*p + 4*b = 23 + 13, 5*b - 37 = -4*p. Let x be (3 - -1)/2 - -1. Solve -j - 2*r + x*r + 6 = 0, -4*j - p = 4*r for j.
2
Let f(g) = g**2 + 19. Let m be f(0). Let d be (-3)/18 + (-19)/(-6). Suppose 0 = -5*r + 3*o + d, -r - o + 4 = -3. Solve -r*a + 4*i = m, a - 3*i + 2 = -11 for a.
-1
Suppose 2 = 2*w - 4*z - 8, -4*w = 3*z - 20. Solve -i + 4*i = w*k - 16, -i + 5*k = 22 for i.
3
Let a = -3 - -16. Let l = 53 + a. Suppose 3*u + l = 6*u. Solve -k = -2*t + 4, 5*t - u = k - 9 for k.
2
Suppose f = 14 - 9. Let d be (f - 11)*(-1)/3. Suppose 0 = -2*j + 5*w + 61, -j + w = -5*j + 133. Solve -q - 5*h + j = 3*q, -q - 8 = -d*h for q.
2
Let f = 30 - 15. Solve 0 = i + 4, -3*g - f = 4*i - 2 for g.
1
Let z be 4/(1 - -3)*13. Solve -2*l - g + 1 = l, 3*g - z = l for l.
-1
Suppose 4*f + 24 = -2*u - 2, 5*f + 5*u + 40 = 0. Let b be (-2)/((-2)/(-3)) - f. Solve 0 = -2*m - b*m + 5*p + 23, -4*m + 3*p + 17 = 0 for m.
2
Let x be (3 + -5)*1 + 4. Solve 5*q - 5*b - 1 = -x*b, -5*q = 2*b + 9 for q.
-1
Let m = 5 - -2. Suppose 6 + 4 = 5*q. Suppose -f - 6 = -q*f. Solve 4*t + m = o - 8, -t - 3*o = -f for t.
-3
Let u(b) = -3*b**2 - 3*b - 3. Let c(z) = -z**2. Let w(o) = -5*c(o) + u(o). Let t be w(3). Let p = 5 + -3. Solve 0 = n + 3*v + 7, v - p + t = 0 for n.
5
Suppose -5*u - 3*w + 29 = 0, -8*w = 5*u - 4*w - 32. Suppose -3*h + 14 + 1 = 0. Solve -m = 2*r + 9, -h*r = -u*m + 22 - 6 for m.
-1
Let q(c) = -c + 10. Let o be q(7). Let z = -1 + o. Suppose -b + 3 = -3*u - 4*b, z*u = -3*b - 7. Solve -5*p + 20 = h, 3*h = -p + u*h + 10 for p.
5
Suppose -2*u + 5*b - 14 = 0, 5*u + 5*b = -0*b + 35. Solve 3*x - 4*c - 15 = 0, -8 = -2*x + 3*x + u*c for x.
1
Let p be (1/3)/(1/15). Suppose 7*w = 3*w + 2*l, 3*l = p*w. Solve 0 = -4*h + 16, 3*h = -5*y - w*h + 32 for y.
4
Suppose 2*x - 2 = -y, x - 3 = 5*y + 9. Suppose -z - 13 = -3*k, 2*z = x*k + 3*z - 12. Solve -2*j - p = k, 0 = 3*j + p - 0*p + 5 for j.
0
Suppose 3*i = p + 55, -5*p = -i - 0*p - 5. Suppose 0 = -4*u - u + 20. Suppose -u*v + 9*v = 0. Solve v = 4*d + t - 20, -t + 0*t - i = -4*d for d.
5
Let v be (-1)/(1/14) - -3. Let l be (-1)/(-4) - v/4. Solve -c - 4*t = 5, -l*c - 4*t = -0*c + 7 for c.
-1
Let o be ((-1)/(-2))/(2/20). Let b be 7*-1*(-6)/7. Suppose 4 = 2*m - b. Solv