- 2*v = -h, -14 = -2*q - 5*v + v for q.
-3
Let n = -57 - -66. Suppose -3*u - 3 = -n. Solve -u*a = -2, -2*v - 3 = -a + 4*a for v.
-3
Suppose 0 = -4*x + x - 15. Let a be (-2 - x) + -7 + 6. Let k be 0/a - (6 - 9). Solve 2*w - b = 11, k*b + 17 = 3*w - w for w.
4
Let p(d) = -12*d + 76. Let i be p(6). Solve -3*g - g + 5*v = 26, -i*g + 4*v - 24 = 0 for g.
-4
Let i(t) be the second derivative of t**4/12 + 7*t**3/3 - 5*t**2 - 10*t. Let p be i(-15). Solve p*y + m - 25 = 4*m, 0 = 5*y - 4*m - 25 for y.
5
Suppose -h + l = -0 - 6, 3*h = l + 10. Solve -3*q = k + 7, q - h*q + 3*k - 9 = 0 for q.
-3
Let u = 392 + -387. Solve -u*x + 25 = -5*h, -4*h - 16 - 4 = 0 for x.
0
Let h(k) = -k**2 + 7*k - 6. Let x be h(5). Suppose -2*o = -x*o. Suppose -6 = -4*r + 3*v, o*v - 2*v - 4 = 2*r. Solve 15 = 3*a, i - a - 3*a + 18 = r for i.
2
Let p = 13 - 11. Let a be (-8)/6*(-3)/p. Solve 5*x + 0*q - 12 = a*q, -3*x + q + 7 = 0 for x.
2
Let k be (-4)/14 - 32/(-14). Let q = 4433 - 4430. Solve n + 5 = q*v, -k*v + 3*v = 0 for n.
-5
Suppose 0 = 3*q - 5*z + 13, -2*z + z = 5*q - 25. Solve -3*i - 5*h = 10, h = 5*i - h - q for i.
0
Let n be ((-1)/3)/(-2*5/60). Solve n*k = 3*s, s - 5*k = 3*s - 19 for s.
2
Let q = 655 + -640. Solve -w + 6*w + 20 = 0, x + 3*w = -q for x.
-3
Let o = -9 + 11. Suppose -o*g - 44 - 14 = 0. Let z = 31 + g. Solve -5*q - 2*r + 4*r - 9 = 0, 6 = -z*q + 2*r for q.
-1
Suppose j = 5*w - 268, 5*j - 4 = -2*w + 87. Let f = w + -44. Solve -3*x = 3*b - 2 + 11, -f = 3*x - b for x.
-3
Let q be -3*(-12)/270 - (-73)/15. Solve 3*r = -0*v + 4*v - 3, 0 = 3*v + q*r + 34 for v.
-3
Suppose -5*j = -10 - 15, j + 15 = 5*f. Solve -3 = l - i, 0*i = 2*l + f*i - 18 for l.
1
Suppose -3*b - 20 = -5*v, 0 = -3*v - b - 4*b + 12. Suppose 5*m - 17 = -v*y, 3 = -4*m + 2*y + 1. Solve 0 = 4*j + 4*t + 4, -4*t + 3*t = -j - m for j.
-1
Suppose 156 + 12 = 5*g - y, -4*g + 120 = 4*y. Solve -5*a + 6 = -3*a - n, 0 = -5*a - 2*n + g for a.
5
Let p be 2 + -1 - (-1)/(1/2). Solve p*t - 4 = -3*y - 25, y = 5*t + 23 for y.
-2
Let o be 4/(42/(-27) - -2). Solve 0 = -z + 3*x - o, 0*z + 5*x = -3*z + 1 for z.
-3
Suppose 3*g + 83 = -2*y, 2*g + 6*y - 3*y = -47. Let q = g + 33. Let j be 14/3 + q/6. Solve -t + 25 = -j*k, -2*t - 1 - 19 = 4*k for t.
0
Let i be (3 - (1 - -5))*18. Let n = i + 54. Solve -5*k + 2*q + 8 = n, 3*k = 4*q + 9 + 7 for k.
0
Let z(q) = -q**3 + 39*q**2 - 73*q - 34. Let p be z(37). Solve p*f + 0*f + 8 = -2*b, 5*b - 2 = -2*f for b.
2
Let m = 4 - 5. Let f be -2*m/(3 + -2). Let q be (-7)/(-3) - 1/3. Solve q*o + 5*j + 24 = -0*o, -j = -o + f for o.
-2
Suppose 4 = o + m, m = 2*m + 3. Suppose 5*g + 18 = -o. Let f(u) = -3*u - 10. Let p be f(g). Solve 4*v + a = 14, -5*v + 5*a + p = -0*v for v.
3
Suppose 6*i + 2 - 20 = 0. Solve i*w + n = 10, -6*w + n + 6 = -w for w.
2
Suppose -5*k = l + 8, 4*l - 17*k + 18*k - 25 = 0. Let z(c) = c**2 - 11*c + 31. Let a be z(l). Solve -5*v = 4*n - 37, -4*n + 2*v = -a*v + 13 for n.
3
Suppose -4*s + p = -2, 3*s + 5*p = 5*s - 10. Suppose 5 = -2*t - s*i - 5*i, 2*t + 4*i = -2. Solve -t*r = 5*l + 25, -4*r + 2*l + 10 = -r for r.
0
Suppose 8*p = -78 + 142. Solve -2*k + 2*y = 5*y - 13, -p = 2*k - 4*y for k.
2
Suppose -m + 10 + 0 = 2*k, 3*m = 0. Solve 15 = -9*p + 4*p + 3*d, 0 = 4*p - d + k for p.
0
Suppose 5*o = 4*o - 4. Let k be -1 - 3/(3 + o). Suppose -2*j + 9 = -15. Solve k*d = 3*b - j, -5*d + 4*b = 5*b - 4 for d.
0
Suppose -15*s + 13*s + 4*b + 20 = 0, -4*s + 4*b = -28. Solve -m - 3*r = 2*m + 18, 2*r = -s*m - 22 for m.
-5
Let w = 24 + -14. Let y = 702 - 699. Suppose -3*d = -4 - 5. Solve y*i - 4 = -2*f, d*f - w = i + 7 for i.
-2
Suppose -i - 112 = -116. Solve 0 = -4*j + 3*k - 18, i*j - 3*k = -k - 16 for j.
-3
Suppose -80*v = -115 - 125. Let j = -27 + 42. Let k = -9 + j. Solve 15 = 3*w - 3*y, k*w - v*w - 20 = 4*y for w.
0
Let b be 1/1 - 15/(-1). Suppose -15*s + b = -13*s. Let h be 4/(-7) - s/(-14). Solve h = 3*r - 3, -4*i - 2*r + 2 = 16 for i.
-4
Suppose 13 = -30*z + 163. Solve 6*x - 10 = x, -5*n = z*x - 20 for n.
2
Suppose 0 = -0*u + 4*u + 8, 4*p + u = 6. Let z = -4 + 17. Let t = z + -7. Solve -d - 3*d = 3*j - 11, -p*j = t for d.
5
Let r = 5 - 2. Let b be 2*(-3)/r*-1. Suppose -3*i - b*l + 14 = 1, 5*l - 20 = -5*i. Solve 15 = 3*y + i*o, 2*y + y - 15 = -2*o for y.
5
Suppose -7 + 7 = -58*k. Solve -5*p - 30 = 5*x, k*x = p - 2*x - 6 for p.
-2
Suppose 0 = 3*z + 4*r - 18 - 21, -2*r = -3*z + 57. Suppose -2*t + 6 = 0, 4*t = -d - 0*t + z. Solve -d*l - 4*k = 18, -3*l + k + 0*k = 4 for l.
-2
Let t(g) = -g**3 + 8*g**2 - 5*g - 9. Let x be t(7). Suppose x*o - 23 = -a, 0*a = -4*a + 12. Solve -o*j + 2*v + 26 = 4*v, -3*j = 5*v - 30 for j.
5
Let k(f) = -2*f**3 + 24*f**2 - f + 17. Let t be k(12). Solve 17 = 3*i + z, 2*i = -2*i + t*z + 10 for i.
5
Let z be ((-99)/15)/((-27)/90). Suppose -4*k = 2*d + 3*d - 37, -2*d = 4*k - z. Solve 0 = 3*l - 2*a + 13, 7 = -5*l - d*a + a for l.
-3
Let a(c) = c**2 - 5*c + 3. Suppose -3 = 3*o - 15. Let j be (-10)/o*12/(-5). Let q be a(j). Solve -4*l + q = k - 10, 2*l = -k + 11 for k.
3
Suppose 0 = -5*u - n - 9 + 38, -u - 2*n = -13. Solve 2*w - 5*m - 4 - 9 = 0, u*w - 25 = 5*m for w.
4
Let a be 2*((-4 - 0 - -1) + 5). Solve -3*w - 2*w + 10 = 3*x, x + a*w = 8 for x.
0
Let z = -231 + 135. Let a be ((-1)/((-1)/6))/(z/(-128)). Solve 2*x + 0 = a, g + x - 2 = 0 for g.
-2
Let h(a) = -a**3 + 4*a**2 - 4*a + 3. Let d = 26 - 24. Let c be h(d). Solve 3 = 3*v + c*f, -v + 3*f + 3 = -2 for v.
2
Let u be -2*3/(-45) + (-6 - (-1729)/195). Let v = -6 + 11. Solve f - 8 = u*a, -4*a - f = -v*f + 16 for a.
-2
Suppose 2*w + 3*z - 31 = 0, 10 = 5*z - 3*z. Suppose 0*c + w = c. Let p be (6/c)/(2/8). Solve -2*s + 5*a = -6, -p*s = -s + a + 6 for s.
-2
Let c = -15 - -57. Let w = 44 - c. Solve -l - w = -q, -6*l + 3*l - 12 = -5*q for q.
3
Let i(p) be the first derivative of p**3/3 - 9*p**2/2 + 19*p - 6. Let f be i(8). Let o be (-6 + 0)/(10/(-15)). Solve 5*a = -2*y + 8, 5*y - f - o = -a for y.
4
Suppose 5*a = r + 87, -3*a + 4*r + 9 = -33. Let o = -30 - -43. Solve -4*q + 5*m = -o, q - m + 4*m = -a for q.
-3
Let c = -18 - -3. Suppose -30 = -8*v + 10*v. Let o = v - c. Solve -2*d + 5*q = -d + 13, -3*q + 6 = o for d.
-3
Let d = -839 - -866. Solve -5*x + 3*r = -31, -r + 2*r = 5*x - d for x.
5
Let p be 12/(-144)*-27 + 3/4. Solve -2*d - p*q - 2 = 0, -d = -3*d - 4*q - 2 for d.
-1
Let x(z) = -5 - 68*z**2 + 7*z + 67*z**2 - 2. Let v be x(4). Solve -v*g = b - 1, -4*g - 8 = -b + 4*b for b.
-4
Suppose 32*r = 29*r + 15. Solve 0 = -4*w - 3*n - r, -4*w + 4*n = 14 - 2 for w.
-2
Suppose m = -3*q + 12, -2*q - 29 = m - 36. Solve 0 = -3*p + 5*a + 7, -a - q = -p - 2*a for p.
4
Let i = -57 + 60. Let o be (-6)/3 - (i - -87)/(-3). Solve -o = 2*l + 5*q, 0*l + 5*q + 24 = -l for l.
-4
Let w = 45 - 43. Let j be (w/6)/(5/30). Solve 5*v + y - 4 = -j*y, 3*v - 16 = 5*y for v.
2
Let p = -5 - -10. Suppose -142 = -3*z - 133. Let u be 15*((-2)/z + 1). Solve -n - y + u = 0, y + p = n + 3*y for n.
5
Let c be 1 - (24/(-2))/3. Suppose -8 - 10 = -c*d - 2*v, 3*v = -3. Suppose 0 = 2*n + 2*h, 2*n + 2*h = 7*h + 21. Solve -i + 5*i + k = d, -n*i + 3 = k for i.
1
Let h be (-4)/12*-3 - -2. Solve 0*s + 2 = g + 3*s, -5*s = 2*g - h for g.
-1
Let h = -32 + 38. Let x be 22 - (-1)/((-3)/h). Solve -5*k = -w + x, 4*w + k + 1 = -3 for w.
0
Suppose n = -3*l + 152, 3*l - 62 = 4*n + 65. Suppose -l = -3*t - 4. Suppose 6*d - 2 - 10 = 0. Solve -2*p = d*i + p - t, -4*i + p = -9 for i.
3
Let a be 1/(42/2190) - 1/7. Suppose -a = 4*m - 8*m. Solve -18 = -2*y + 4*k, -3*y + 4*k - 5*k + m = 0 for y.
5
Suppose q + 3 = 0, -g = 2*g + 5*q. Suppose 147 = g*k - b, 4*k = -b + 48 + 75. Solve -5*d - k = 3*a - 2*d, 4*a - 3*d + 5 = 0 for a.
-5
Let v be -1*2 - 432/(-48) - 5. Solve -3*a = -y - 2, -2*a - v*y = -a + 4 for a.
0
Let i = -1627 + 1627. Solve 2*r = 2*f - 2 - i, 14 = -5*r - 4*f for r.
-2
Let g = 89 - 64. Let k = 30 - g. Solve -4*h = -k*n - 16, n + 12 = 3*n + 3*h for n.
0
Let w = 303 - 303. Let u = 3 - -2. Solve -5*h - 15 = -w*h, u*c - 4 = 3*h for c.
-1
Let j = 4 + -16. Let k = 15 + j. Solve 4*x + 2*a = 3*a + 12, k*x - 9 = -2*a for x.
3
Let s be ((-6)/8)/(1/(-4)). Suppose 5 = -3*b - 4*p, -2*b - 2*p + 10 = 2*b. Solve g - 24 = -s*g - 2*o, b*g - o - 16 = 0 for g.
4
Let v = 11 - 17. Let w(s) = -s + 6. Let j be w(-8). Let c be (-1)/(j/v - -2). Solve -5*z + 12 + 11 = p, 2*z + c*p = 4 for z.
5
Let s be 6 - 