 0 = z*v - r - 2*r + 12, 3*r = 12 for v.
0
Let s(j) = 2*j + 5. Let d be s(-1). Solve 15 = -n - 5*w, -n = d*w - 2 + 11 for n.
0
Let n = -1 - 15. Let h = -11 - n. Let k be h + 2/(-1) + -1. Solve 0*t - 4*v = t - k, 5*t = -2*v + 10 for t.
2
Let o(g) = g - 12. Let y be o(16). Solve -y*w - 6 = 2*z, -4*z + 5*w = -2*z - 3 for z.
-1
Suppose 4*c - 6*c = 60. Let u = c - -34. Suppose 5*b - u*m = b + 24, 4*b - 3*m - 22 = 0. Solve -2 = 4*a + 3*f, b*a = -a + 5*f - 20 for a.
-2
Let m be (0 + 0)*(-3)/9. Suppose -17*q + 13*q + 16 = m. Let h = 6 - q. Solve 3*p - c + 4*c = -9, -h*c = -3*p + 6 for p.
0
Let v(c) = 2*c**2 - 16*c + 2. Let t be v(8). Suppose h - t*n = -0*h + 7, -3*h - 5*n + 32 = 0. Solve -2*z - x = -3*x + 10, -5*z + x - h = 0 for z.
-1
Let b(j) = -2*j + 1. Let u = 58 - 61. Let t be b(u). Solve -3*i + 9 = 2*q, 0*i - t = -2*i - q for i.
5
Let y(o) = -2*o + 11. Let z be y(4). Suppose 7*t - 40 = -z*t. Solve 2*g - 3*g + 2 = -f, t*g + 1 = -5*f for g.
1
Let i = -181 - -183. Solve u - 36 = 4*j - 3*u, 30 = -i*j + 5*u for j.
-5
Let p(y) = y - 96 + 2*y + 88. Let c be p(4). Solve -1 = -n + z, 0 = 2*z - 6*z + c for n.
2
Let z be 2*(6/4)/1. Let o = -412 - -418. Solve z*k - 27 = o*k + 4*g, -g + 7 = -2*k for k.
-5
Suppose 40 = 4*y - 2*v + 4*v, -4*v = 4*y - 36. Let b(x) = 2*x**2 - 24*x + 27. Let l be b(y). Solve -3*j = -2*j, -l*j = -f + 2 for f.
2
Suppose -4*q = -2*k - 28, 3*q - 4*q + 56 = -4*k. Let l be ((-21)/k)/(9/30). Solve -r + 5*r + 29 = -5*m, r - l*m - 24 = 0 for r.
-1
Let y be 3/24 + (-31)/(-8). Suppose y*m - 23 = -j, -2*m - 5*j + 13 = -12. Solve -5*d - 20 = m*u, 2*u + 5*d = -u - 22 for u.
1
Let j be (-2)/3 + 22/6. Let c(t) = t + 2. Let f be c(6). Suppose 5*h - 11 = 2*y - 6, -4*y = -2*h - 14. Solve -k = -j*i - f, 2*i - h*i - 6 = -k for k.
5
Suppose -5*p - 25 - 45 = 0. Let x = p - -14. Solve 4*z + 2*f = -x*f + 8, -f + 6 = 4*z for z.
1
Suppose -l = 2*l. Suppose -11*h + 116 = 83. Solve 3*k = h - l, -3*c + 12 = -3*k for c.
5
Suppose 129 = 2*r + p, 2*p - 8 = -2. Suppose -4*c + 29 = -r. Solve -3*d = -2*z + 19, -d - c = -4*z + 2*d for z.
2
Let t = 115 - 49. Suppose -5*v - 6 = -t. Solve 3*w - w + 3*p - 7 = 0, -2*w - 4*p = -v for w.
-4
Let p be 2 + (-3)/1 + 3. Suppose 0 = 6*s - p*s. Solve 3*g + 5*b - 27 = s, -b - 4*b + 11 = -g for g.
4
Suppose -11*l + 16*l = -5. Let v = -2 + l. Let b be (v/(3/(-8)))/2. Solve -3*c = 4*k - 5, -6 = k + b*c + 9 for k.
5
Suppose 2*j = -5*j - 14. Let b be ((-1)/(0 - j))/(3/(-12)). Solve -x - 3*u = -4 - 1, -b*u = 4*x for x.
-1
Suppose 0 = -4*m - p + 5*p, p = -4*m. Solve -2*x - 18 = -3*w, m = -0*w - 2*w + 5*x + 23 for w.
4
Suppose 37 = 2*r + 31. Solve 4*f = r*i - 16, -1 = -f + 2*i - 5 for f.
-4
Let n(z) = z + 14. Let c be n(-11). Let s be c/5 + (-14)/(-35). Suppose -20 = -4*v, 0*j - v = -j - s. Solve 0*d = h - 2*d - 7, j*h - 4*d - 20 = 0 for h.
3
Suppose r = -15 + 42. Suppose -r*q = -29*q + 10. Solve -4*h - 15 = 5*k, -3*h - q*k = -4*h + 15 for h.
0
Let z(k) = -16*k + 69. Let w be z(4). Solve 5 = w*j - 2*s, -s = 3*j - 3*s - 3 for j.
1
Let b be (-10 + 12)*(-2)/(-4). Let i(r) = -63*r - 3. Let z be i(b). Let a = -34 - z. Solve -3*l + 2*u + a = -2*u, 0 = -4*l + 2*u + 26 for l.
4
Suppose -922*j = -919*j - 9. Solve 0 = -0*m + 4*m + 2*v - 4, 4*m + 6 = j*v for m.
0
Suppose -24*i = -20*i + 4. Suppose -3 - 1 = 2*m. Let a be 3 + 0 + m/i. Solve -5*x - 3*d + 17 = -5*d, a = 3*x + 4*d for x.
3
Let o(i) be the third derivative of 0*i**4 + 4*i**2 - 1/60*i**5 + 0*i + 0 + 1/3*i**3 - 1/120*i**6. Let n be o(0). Solve n*a + 3 = 5*x - 9, a - 3*x = -8 for a.
4
Suppose 3*a - 8 = a - 2*k, -2*k = 8. Suppose -2 = 2*q - a. Let h be q*2/(-6)*-2. Solve d - 7 = v - 2*d, -v + h*d = 4 for v.
2
Suppose -2 = 2*h, 4*p + 5 = 5*h + 26. Solve -5*s = -p*g - g + 25, 0 = 2*s - g + 7 for s.
-2
Let v(b) = -b**2 - b + 5. Let f be v(0). Let l be (-18)/(-8) + f/(-20). Let o be (-10)/(-45) + ((-102)/(-27) - 0). Solve l*c + o*d + 8 = 0, 2*d = -6 - 0 for c.
2
Suppose -2 = -4*m + 5*g + 4, 2*m = 3*g + 2. Solve -1 = -t, m*t - 25 = -4*a - t for a.
5
Let m = 781 + -776. Solve 4*k + 6 = -4*x + m*k, 0 = -4*k + 8 for x.
-1
Let h(f) = f**3 + 5*f**2 - 6*f + 1. Let c be h(-6). Suppose -5*u + 11 = c. Solve -5*b + 4*w + u = 13, -3*b = -w + 1 for b.
1
Let k(s) = s**2 - 3*s - 8. Let i be k(4). Let q be 3 - (1 + 6) - i. Let f be (-24)/(-4)*10/4. Solve -j + z - 2 = q, 2*j - 5*j - 4*z = -f for j.
1
Let k = 160 + -70. Let f = -74 + k. Solve 5*b - 2*o + f = -0*b, 0 = -b - o - 6 for b.
-4
Suppose 2*h - 4 = h. Let z be 3 + (h/2)/2. Let c(r) = 2*r**2 + 15*r + 3. Let i be c(-8). Solve -3*m + z = -i, -3*v = 5*m - 22 for v.
-1
Let w(g) = 62*g + 623. Let k be w(-10). Solve 0 = 6*x - x - 25, k*x - 18 = 3*l for l.
-1
Let x be (2/4)/((-11)/(-44)). Suppose -7*r = -13 - 15. Solve x*o + 6 = -r*n - 0*n, -5 = -o + 2*n for o.
1
Let h = -19 - -21. Suppose 3*l - 5 = h*l. Let i = -77 + 117. Solve 0 = -l*s + v - 30, 2*s + i = -s + 5*v for s.
-5
Let h(r) be the third derivative of r**6/120 - r**5/10 - 5*r**4/24 - 3*r**3/2 + 12*r**2. Let i be h(7). Solve i*o = 3*b - 7, -5*b = 4*o - o - 23 for o.
1
Let q be 34/4*(-20)/(-10). Solve 0 = 3*l + 5*g - 11, 5*l - 2*l = 2*g - q for l.
-3
Suppose 59*x + 7 - 7 = 0. Solve 0 = 2*d + 2*w + 2, -4*w = d - 5 - x for d.
-3
Let t(m) = 4*m**2 + 21*m + 3. Let c be t(-6). Let g = c + -18. Solve g*k = -4*u + 4, 2 = u + 3*k + 1 for u.
1
Suppose 0 = 2*v + 2*c + 22, 5*v - 2*c + 39 = c. Let h be v/2*(-2)/3. Let f be ((-16)/(-12))/((-4)/(-6)). Solve 0 = -3*q - t - h*t - 5, -2*q - 4 = f*t for q.
-3
Suppose 36*k + 6 = 39*k. Solve 5*w = 3*a - 10, -4*w - 4 = -k*w + a for w.
-2
Suppose 4*z - 5*o - 40 = 0, 3*o + 1 - 4 = -3*z. Suppose -5*w + 4 = -2*w - i, 3*w - z*i - 20 = 0. Solve -3*u - 2*q + 20 = 2*u, 2*u + q - 9 = w for u.
2
Let h be 4 + (0 - 16/(-4))/(-1). Solve -4*z = -4, 3*b - 4*z - 3 + 19 = h for b.
-4
Let q be (-6)/(-3)*6/2*1. Let f be 1 + q + 4 + -7. Solve -3*s - f*u - 10 + 34 = 0, 0 = 5*s - 5*u - 5 for s.
4
Suppose m - 11 = 3*t, 42 = -20*m + 25*m - 2*t. Solve n - 6*o + 8 = -m*o, -4*n + 3*o = -12 for n.
0
Let w be (-1)/(10/(-250)*5). Solve 3*n - 2*j + 8 = -j, -w*n = 2*j + 17 for n.
-3
Let q(o) = 2*o - 8. Let b be q(6). Suppose 5*i - 2*g - 25 = 0, 2*i = 2*g - 25 + 41. Solve -b = 5*d + 2*z + 5, 4*d + 3*z = -i for d.
-3
Let l = -316 - -318. Solve -l*u = -3*x - 2, 4*u + 37 = -u - 3*x for u.
-5
Let i be 1/(-1) + -34 + (0 - 1). Let h be (0 - (-544)/18) + 8/i. Solve 2*m + 2*n = -16, 3*m + 3*n + h = -2*m for m.
-3
Let l = -523 + 526. Solve -8*g + 3*g = -3*s - 3, 4*s - 7 = l*g for s.
4
Suppose 2*q - 16 = -2*y, 0 = -5*q + 4*y - 8*y + 37. Solve 0 = -5*t + q*l, -2*l - 2 = -l for t.
-2
Suppose -116 = -4*v + 3*z, -4*z = -2*z. Suppose 0 = -4*x + 10*m - 11*m + v, -2*x + 11 = -3*m. Solve -w - x = 2*g, 0 = 2*g - 2*w - 4 - 4 for g.
-1
Let y(b) = -7*b + 152. Let o be y(21). Solve 3 - 1 = 2*x - g, -5*x + o*g = -10 for x.
0
Suppose -4*t + 3*d + 11 = -0, -3*t + 8 = -2*d. Suppose 2*a + 5 = 4*n + 33, 0 = -t*a + 3*n + 25. Solve -5*v - 10 = -3*q + a*q, -4*v = -q - 2 for q.
-2
Let a = 34 - 17. Suppose 0 = -3*z + 26 - a. Solve y = l, 4*y + 5 = -z*l + 26 for l.
3
Let q = 14 + -11. Suppose -q*c + 7*c = 8. Suppose 0 = 3*j + 2*h - 15 + 1, -3*h = -4*j + 47. Solve 3 = c*i - b, 5*i - j - 16 = -3*b for i.
3
Suppose 0 = 3*w - a - 1, -3*w + 4 = 4*a - 7. Suppose w = -7*j + 1. Solve 4*m = 3*q - 16, m + j*m + 5 = q for m.
-1
Let j be 3/(-12) + 1/(-4)*-25. Solve -3*b + j*m = 3*m - 24, 0 = -3*m - 15 for b.
3
Let l be 4 - (-5 - -2 - -4). Suppose l*p - 2*p = 4*w - 52, 4 = 2*w + 5*p. Solve -4*a - 2*m = 3*m - 11, 4*a + 4*m = w for a.
4
Let u be (32/(-24))/(4/(-66)). Let r = u + -18. Let h be r*((-2)/(-4))/1. Solve f + 4*d + h = 0, 2*f + 2 = 2*d + 8 for f.
2
Suppose 0 = -l - 0*l - 2*j, -j = -l. Let f be (-15)/(l - 12/20). Let v be (-20)/(-2)*10/f. Solve -2*k = -4*r - 4, v*k + k + 2*r - 10 = 0 for k.
2
Let p = 175 - 173. Solve -4*y + 3*u + p = -2, -12 = -3*u for y.
4
Suppose j = 38 - 11. Solve -4*m + j = -m - 3*x, 2*m = 4*x + 26 for m.
5
Let m = -412 + 414. Solve -3*a + 5 = 4*j, m*a + 2*a + 5*j - 6 = 0 for a.
-1
Let m be (-2)/(-3)*-1*-3. Suppose -2*h = -3 - 1. Suppose k + 2*v - h = 0, 2*k - 9 - 1 = m*v. Solve -16 = -3*p + 4*f + f, 3*p - f = -k for p.
-3
Let t(x) = -x**3 + 18*x**2 + 21*x - 34. Let l be t(19). Suppose l*h + 13 = 29. Solve -6 - 2 = -h*m + 4*