3
Let l = 73 + -71. Solve -3 = l*g - 5, z - 6 = -3*g for z.
3
Let i be (-4)/(0 + (-5 - -4)). Solve -3*g - 3 = 3, -i*r - 2 = g for r.
0
Let p(b) = 5*b**2 + b - 10*b**2 + 1 + 13*b**2. Let j be p(-1). Solve -r - 9 = 4*g, r + r - 2*g = -j for r.
-5
Suppose -10 = a - 3*s, 14 = 3*a + 2*a + s. Suppose 3*n + 2*c - 16 = 7*n, 4*n = -a*c - 16. Let u = n + 8. Solve -5*z = 2*o + 29, 5*o = u*z - 2*z for o.
-2
Let w(d) = d**3 + 12*d**2 + 10*d. Let g be w(-11). Suppose 4*o = -1 - g. Let q be (-1 - o) + (-7 - -10). Solve 0 = q*y - l + 1, -l + 2 = -y + 1 for y.
0
Let h = -30 + 50. Let x be (-12)/h - (-53)/5. Solve -4*q = -j + 9, 2*j + 0*j = x for q.
-1
Suppose 7*u = 9*u - 6. Solve 2*g + 2*b + b = 18, u*g - 29 = -5*b for g.
3
Let p = 43 - 41. Solve s + 13 = 2*d - p*s, 0 = d - s - 5 for d.
2
Suppose -5*z + 2*j + 2*j - 37 = 0, -4*j - 35 = 3*z. Let g be (6/z)/((-1)/9). Let k be g/(-8) + (-6)/(-8). Solve 0 = 5*w - 5*t - 40, -3*t - 8 = w - k for w.
4
Suppose 0*l - l = -5*h + 26, -5*h = 2*l - 38. Let q(n) = n**3 - 4*n**2 + 4*n - 6. Let d be q(4). Solve -3*t = 5*c - h, 3*c - d = -6*t + t for c.
0
Let v(j) = 2*j**2 + 14*j + 29. Let c be v(-8). Solve -4*m + 15 = u, 0*m + 4*u = 5*m - c for m.
5
Let z be (3/6)/((-2)/(-48)). Suppose 0 = r + 4*n - 4, 0 = -2*r - 2*r - 2*n - z. Let o be 2/r - (-34)/4. Solve -3*i + i = -2*m - 12, 3*i - m = o for i.
1
Let a(f) = f**3 - 2*f**2 + f + 1. Let c be a(2). Let h(d) = -21*d**2 - 15*d**2 + 40*d**2. Let i be h(-2). Solve -3*s = -s + c*x + i, 3*s - 3*x = 6 for s.
-2
Suppose 24 = 2*n - 0*n. Let s be -2*(2 + -2 - -1). Let b be s - -2*7/2. Solve 4*v - n = 2*a, 16 = b*v - v for a.
2
Suppose -4*j = -7 - 17. Let d = 11 - j. Suppose -5*g = -b - 6 - 13, 35 = 5*g - d*b. Solve 20 = -4*h - 4*s, 5*h - 3*h + 10 = g*s for h.
-5
Let y be 6/(3 + 9/(-6)). Solve -l + 2*l = 1, -5*m - 4*l = -y for m.
0
Let a = 6 + -5. Let f be ((1 - a)/(-2))/2. Solve -4*k + f*c = -3*c + 24, 0 = -3*k + 2*c - 17 for k.
-3
Suppose 6 - 15 = -3*z. Let i be (z - -1)*(-4)/(-8). Solve 5*o + 2*f - 2 = i*o, 0 = 3*o - 3*f + 3 for o.
0
Let q = -88 + 102. Solve -3*n + 2 = -2*l - 5*n, -5*n - q = 2*l for l.
3
Suppose -x - 66 = -7*x. Solve r = m - 5, 0 = -5*m - r - 3*r - x for m.
1
Let c(f) be the third derivative of -f**4/12 - f**3 - 3*f**2. Let g be c(-7). Solve t + 2*q = 8, -5*t + 2*q = -0*q + g for t.
0
Let r(f) = 2*f + 1. Let p be r(-1). Let j be -5*p*(-2 - -3). Let h(c) = -c**3 + 5*c**2 + 8*c - 8. Let w be h(6). Solve j*d + 14 = 2*a, -d + w = 2*d + 5*a for d.
-2
Let g = 32 + 58. Suppose 0*b - g = -2*b. Suppose 2*a = a - 3*d + 19, -2*a + d = -b. Solve -3*x = -4*u + a, 0*x = 4*x - u + 12 for x.
-2
Let o(p) = 2*p**2 - 2*p**2 + 3 - p**2 - 6*p. Let t be o(-6). Let s be -3*(t/9 - 1). Solve -2*x + 3*w + 14 = s*x, -4*w = 2*x + 4 for x.
2
Suppose -6 = r - 3*c, 3 - 11 = 5*r - 4*c. Let l be (-2 - -4) + (1 - 0). Solve 0 = -r*n - 5*n + t + 13, 3*n + l*t = 15 for n.
3
Let a(m) = 5*m - 2. Let x = -5 + 6. Let n be a(x). Solve 2 = -3*b - 4*q - 10, -q = -n*b + 3 for b.
0
Let h = -122 + 125. Solve 1 = 3*v - 2*m, -2*v + 0 = -h*m - 9 for v.
-3
Suppose 2*x = 5*x - 12. Suppose d - 25 = -x*d. Solve -2*b + 3*h = 18, d*h - 21 = 5*b + 14 for b.
-3
Suppose 4*c - 10 = 2*c. Solve -c*q - 5*j = -3*j - 20, j + 3 = 4*q for q.
2
Let f = 59 + -103. Let k = 66 + f. Solve 4*c + 3*b - k = 2*c, -37 = -5*c - 3*b for c.
5
Let c = -4 - -7. Suppose 3*q - 8*q + 15 = 0. Solve -5*z - 2*u - 28 = -c*u, 2*z + 19 = q*u for z.
-5
Let i(k) = -4*k + 4. Let a be i(1). Solve a = -4*y - 0*d - d + 9, -3*d + 9 = 3*y for y.
2
Let m(c) = c + 1. Let f be m(1). Suppose 5*r = -y - f, -4*r + 2*y = y - 2. Suppose 3*o = 9 - r. Solve -o*i + 7*i = -4*w - 24, -3 = -2*i + w for i.
-1
Let j = 57 + -57. Solve 2*a - 3*k + 7 = -j*a, -3*a - 13 = -5*k for a.
4
Let r(q) = q + 3. Let p be (14/6 - 2)*0. Let h be r(p). Solve 5*d = 3*x - 37, d + 20 = h*x + 3 for d.
-5
Let o be 4/(-6)*(5 - -67)/(-6). Solve -p + 0*i + 5 = 2*i, i - o = 5*p for p.
-1
Let y(l) = l**2 - 9*l + 10. Suppose -4*c = -5*c + 6. Let s be c - 4/6*-3. Let h be y(s). Solve -w = 3*x + 5, x + 1 = h*x + 3*w for x.
-2
Let p be (-130)/18 + (-6)/(-27). Let g = 9 + p. Solve 5 = 5*d - n, 3*n - 19 = -0*d - g*d for d.
2
Let v = 16 - 13. Solve 0 = v*o + 3*s + 15, 0*o + 8 = -4*o - s for o.
-1
Let x = 13 + -6. Let p = -4 + x. Let o(b) = 8*b**2 + 2*b. Let v be o(-2). Solve -4*y = y - p*t - v, -7 = -2*y - 3*t for y.
5
Let c be 126/10 - (-12)/(-20). Suppose -10 = 5*i, -5*k + i = -c - 5. Solve w + 3 = -k*r, 2*w + 0*r + 1 = -r for w.
0
Let o be 5 - (5 + (0 - 2)). Solve o*l = 3*l - 5*p, 3 = -l + 2*p for l.
-5
Suppose 0 = 3*i - 22 - 2. Let c = i + -6. Solve y + c = 2*p + 3, 5*y + 11 = 2*p for p.
-2
Let s = -3 - -8. Let w be (-2)/5 - (-47)/s. Solve 7 = 2*r - k, r - w - 7 = 3*k for r.
1
Let j(c) = c**2 + 3*c - 4. Let a be j(2). Solve 0 = 4*y + 2*k - a, -4*y - 5*k + 25 = 4 for y.
-1
Suppose -5*b = 3*m - 3, 4*b - 32 = -0*b + 5*m. Solve -v + 5 = b*a - 7*a, -4 = -4*v for a.
-1
Let r(k) = -5*k. Let v be r(-1). Solve -4*a - i = -2*i - 8, 2*i = -3*a - v for a.
1
Let h(o) = o**3 - 9*o**2 + 7*o + 10. Let d be h(8). Let z = 16 - d. Suppose 3*m + 4*a - 27 = 0, -4*a + 3 = m - z. Solve 15 = 5*g - m*n, g - 11 = -g + 3*n for g.
-2
Let u(a) = -a - 2. Let g be u(-2). Suppose -4*n - p + 6*p - 3 = g, -p + 6 = n. Solve s + 4*w = 3*w - 1, n*s = 5*w + 5 for s.
0
Let o be 10/4*72/60. Let p be ((-2)/o)/((-5)/15). Let t be (6 - 2)*(0 + 1). Solve -t*k + p*k - m - 6 = 0, -k = -m - 3 for k.
-1
Let z = -6 - -1. Let b = 7 + z. Suppose b*n = 2 + 8. Solve -5*t = -2*k + n, -2*k = 3*k - t - 24 for k.
5
Let f be (-5)/5 + 0 - -4. Solve -2*x = 5*s + 13, x + 18 = -f*x - 2*s for x.
-4
Suppose 0*g = -4*g + n + 24, 2*n - 17 = -5*g. Suppose z - 4*u - 16 = 0, g*z - 4*u = -5*u + 101. Solve -3*y + 8 = 5*a, a - z = -a + 3*y for a.
4
Let n be (-7)/(-28) - 4/16. Solve z - 6*z - 2*m + 5 = 0, 2*z + 3*m - 13 = n for z.
-1
Let f = 0 + -16. Let h be (-2)/7 + f/(-7). Solve h*j + 14 = -3*u - 2*u, -2 = 3*j - 2*u for j.
-2
Let k = -23 - -16. Let g be (-6 - k)/(2/22). Suppose -5 = 5*c + 2*j - g, 2*c + 2*j - 6 = 0. Solve c = -m - 3, -4*t = -9*t - 5*m + 5 for t.
4
Let n be 4/(-168)*-7 + (-2)/12. Solve 0 = o - y - 9 + 2, -2*o + y + 11 = n for o.
4
Let d be (-3 - -3) + 8 - 4. Solve i - 3 = 2*n - d, 0 = 4*i + 2*n - 26 for i.
5
Let x be 0*-1*1/(-2). Suppose -2 - 2 = -4*t. Let y = x + t. Solve -4*m + 2*l = -8, 9*m - y = 4*m - 2*l for m.
1
Suppose -3*q - 3*a = -123, -2*q + 106 - 27 = 3*a. Suppose i + i = 0. Suppose i = -t - t + q. Solve -2*j = -4*k + t, 4*k - 5*j - 20 - 5 = 0 for k.
5
Let d be (-3)/(((-12)/16)/(-1)). Let r = d + 4. Solve 3*l - 4*k = -l - 16, -4*l - 4*k + 16 = r for l.
0
Let t = -4 + 6. Suppose 0 = -4*n + 2*x - 50, -t*n = 3*n + 5*x + 25. Let s = n + 40. Solve l = q, 3*l = q + 8*l + s for q.
-5
Suppose 0 = -13*p + 10*p + 9. Solve 3*u + 3*f + 15 = 0, -2*u + 3 + 2 = -p*f for u.
-2
Let x = 14 - 9. Let u = x + -2. Solve -3*v - 16 = 2*q, -10 = -u*q + v + 3*v for q.
-2
Suppose -2*f = -5*z + 24, 4*f - 2*f = z - 24. Let y = 22 + f. Solve -2*b + 2*r = -10, b + 4*r = 2*r - y for b.
0
Let t(c) = -c**2 - 7*c - 2. Let v be t(-6). Solve 25 - 2 = 3*g - v*l, 5*g - 25 = 4*l for g.
1
Suppose q = t - 6*t + 18, 3*t = 2*q + 3. Solve -3*f = f + t*l + 3, 0 = f - 2*l + 9 for f.
-3
Let r be 4 + (-11)/2 - (-3)/2. Solve -b - 3*k = -16, -4*k + 4 = -r*b - 3*b for b.
4
Let h(p) = p**2 - 4*p - 17. Let u be h(8). Solve 4*c - x = -6*x + 3, -c - u = -4*x for c.
-3
Let v be (-1)/(-2)*8 - -4. Solve v = 2*h, h = f - h + 3 for f.
5
Let h be (-6 - 2)/(-3 - -1). Solve -h*q + 10 = -a, -5*q + a - 3*a + 19 = 0 for q.
3
Let g be ((-80)/(-2))/(15 + -13). Let v = 3 + -7. Let m be 2/(-10)*v*5. Solve f + g = 5*l - 0*f, 2*l - m*f - 26 = 0 for l.
3
Let j be (-16)/7 + 8/28. Let n be 21 - (1 + 2 + j). Let o = -2 + 4. Solve -5*m - 3*b + n = 0, -4*b = o*m - b - 8 for m.
4
Suppose 5*a + 4 = 4*a, -2*f - 4*a + 12 = 0. Solve 5*l = -u + 17, -3*l = -2*u - l - f for u.
-3
Suppose -3 + 15 = 2*n + 5*l, -3 = 5*n - 4*l. Let c be -1 + 0 + n + 1. Let h be c + 1 - (-3 + 2). Solve -3*j - h = -3*y, -3*j - 4*y + 5 - 36 = 0 for j.
-5
Suppose -2*k + k + 4*h = 4, k + 3*h - 10 = 0. Suppose k*u - 23 + 3 = 0. Solve -4*j - u*b = -4, 10*b + 2 = 2*j + 5*b for j.
1
Suppose 0 = -17*x + 19*x. Suppose 0 = -0*c + 2*c + 6, 0 = 5*h - 3*c - 29. Suppose