4*f - z for v.
1
Suppose -174 + 501 = -3*d. Let m = d + 115. Solve 5*t + 3*u - 7 = 13, 4*t - 2*u = -m for t.
1
Suppose x - 10 = -5*k, -2*k = -4*x - 2 - 2. Suppose k*m = -m - 18. Let w(b) = b**2 + 7*b + 9. Let c be w(m). Solve c*h + 18 = 3*a, 2*a - 4*h - 14 = -h for a.
4
Let y = 17 + -30. Let x = -15 - y. Let o be -5*x/((-20)/(-18)). Solve 2*b - 16 = -4*h, -2*h + 3*b = -3*h + o for h.
3
Let f(z) = z + 2. Let q be f(-2). Suppose -2*y + 2*y - 3*y = 0. Suppose y = u - 2. Solve -m - 1 = q, o - u*m = -m - 4 for o.
-5
Suppose -28*r + 256 = 60. Solve -6*b + 2*b = 4*s + 4, 3*b = -s - r for s.
2
Let q(m) = 46*m + 600. Let o be q(-13). Solve -o*x = -4*d + 14, -2*x + 6*x = -4 for d.
3
Let z be -10 - -8 - 1*7. Let i(r) = -r**3 - 9*r**2 + 1. Let p be i(z). Suppose q - 4 = -p. Solve 8 = -4*g + 4*o, -3*o + 3 = -q*g - g for g.
3
Let z be -3 + ((-32)/20)/((-3)/90). Suppose -49*i = -z*i. Solve 4*b + i*s - 23 = -3*s, b - 3 = 2*s for b.
5
Let d = -463 - -463. Solve -4*w = d, -2*r + 6 = w + w for r.
3
Let x be (-15)/(-2)*(-4)/5. Let w = 35 + -25. Let y = x + w. Solve 5*s + 37 = -y*f, 0 = f + f + 3*s + 21 for f.
-3
Let h = 239 + -236. Solve r = -5*k - 2*r + 37, -h*k - 2*r = -23 for k.
5
Let f(c) = 6*c**2 - 13*c - 14. Let w be f(-1). Solve -2*k + 18 = w*o, -2*o - 15 = -2*k - 11 for k.
4
Suppose -r - 5*c = 50, c = -3 - 0. Let n = 2 - r. Solve -7*u - 3*k = -2*u + 16, 0 = 5*u - 4*k + n for u.
-5
Suppose 0 = 3*s - 18 - 12. Suppose -4*d - s + 18 = 0. Solve 0 = 3*z - 9, d*y + y + z = -6 for y.
-3
Let x(n) = -16*n - 27. Let y be x(-2). Solve -l = y*u, 5*u - 4*l + 3*l = 10 for u.
1
Suppose -3*h + 6 = -3. Suppose 50 = 5*j - 3*w, -h*w - 34 = -2*j - 5. Solve 0 = 2*b + 5*p + 5, 0 = -2*p - j + 1 for b.
5
Let q(j) = 5*j - 32. Let y be q(7). Suppose -4*d = a - y - 12, -5*d - 2*a = -15. Solve 5*n + 30 = -d*p, n = -p - 4*n - 26 for p.
-1
Let r = -194 - -210. Solve 5*o + m = 3 - 27, 5*o = m - r for o.
-4
Let z be ((-4)/(-8)*-9)/((-6)/4). Solve 4*m + z*y = -7, 2*m + 0*y + 2*y + 2 = 0 for m.
-4
Let h(j) = j**3 - 5*j**2 - 2*j - 14. Let u be h(6). Suppose -5*a + u = -10. Let f be 15/2*(-42)/(-105). Solve 3*r - r - 6 = -a*y, r = -5*y + f for r.
3
Suppose 132 = 5*f - 2*f. Suppose -3*q + f = -q. Solve -5*c - q = 4*l, -3*c - 8 = 2*l - 2*c for l.
-3
Let r = 1 + 5. Suppose q - r = -q. Suppose 2*f = -f - v + q, -5*v - 15 = 0. Solve u - c = 3, f*u + c - 9 = -0*c for u.
4
Let p(h) = 4*h - 10. Let r be p(3). Suppose -4*k + 24 = -3*n, -n = k - r*k + 5. Suppose f + 3 = 13. Solve 2*a = 2*y + k - 1, -4*a + f = -y for y.
-2
Let m be ((-2)/(-4))/((-3)/240). Let a = m + 95. Let v be a/5 + 3/(-1). Solve 4*w = -5*s - v, -3*s = 2*w + 3*w + 10 for w.
-2
Suppose 2*u = 5*u - 6. Suppose y = -5*d + u, -4*d + 4 = y - 0*y. Solve 5*w + y - 2 = s, 5*s = -w - 28 for s.
-5
Let d(n) = -n**2 + 12*n + 6. Let z be d(8). Let q = z - 35. Solve q*a + 10 = x - 8, 24 = -3*a + 3*x for a.
-5
Let d(o) = -2*o - 43. Let m be d(-23). Solve 3*w - 1 = g, -m*g + 5 = -w - 0*g for w.
1
Suppose 5*s = 6*k - 20, 14*s = -4*k + 13*s + 22. Let r = -5 + 20. Solve 0 = 5*t + r, -t + 25 = -k*c - 6*t for c.
-2
Let i = 52 - 39. Let g = 17 - i. Let a(k) = 2*k - 3. Let l be a(4). Solve 5*c = 2*q - 8, -g*q + l*c + 3 = -13 for q.
4
Let n(r) = r**3 - 19*r**2 + 18*r + 4. Let d be n(18). Solve -t - 5*a + 4*a = -5, -2*t + d*a - 14 = 0 for t.
1
Let w = 71 + -41. Suppose 8*q - 5*q = w. Solve 2*u - q = 2*f, 0 = -3*u + 8*u + 3*f + 15 for u.
0
Let o be (-20)/(-8)*12/5. Solve 4*a + k - 9 = 0, -o - 3 = -5*a + k for a.
2
Let x be 5/15*9 - 3. Suppose x = -3*k + k + 4. Solve 0*a + 5*a = 4*f + 14, k = -2*f for a.
2
Suppose -4*c + 2 + 2 = 0. Let i = 1 - c. Let g be -3 + 1 + (-10 - 84/(-6)). Solve -g = -5*j - i*j + 3*a, 5 = 5*a for j.
1
Let k(z) = 3*z**2 - z + 1. Let y be k(-1). Suppose 0*p - 5*j - 39 = -p, -y*p - 5*j = -75. Solve -4*n + 4*x = 24, 3*n + 0*x = 4*x - p for n.
-5
Let n be (1/6*-3)/(-1)*2. Suppose 2*q - 5 = -n, 2 = k - q. Solve 5*p = k*t + 32, -2*p - 2 = -2*t - 16 for p.
4
Suppose -3*y = 2*y - k + 9, -2*y + 2*k - 2 = 0. Let v be 6*3/(-9)*y. Let d = v + -2. Solve 0 = 5*t + 3*a + 3, 0 = -t - d*a + a - 1 for t.
0
Let r = 20 - 19. Let v be r + ((-6)/3 - -14). Solve -v = -q + s - 3*s, 5*s - 25 = 0 for q.
3
Suppose -f - 3*f + 20 = 4*j, 4*f + 5*j = 22. Solve 5*s = 25, -f = 3*t - 2*t - s for t.
2
Suppose 4*o - 3*o + 37 = 0. Let x = 39 + o. Solve x*b - 2*d = -3 + 1, 0 = -5*b - 4*d - 23 for b.
-3
Let n(k) = 19*k - 48. Let h be n(3). Suppose j - 6 = -2*j. Solve 0 = -5*a + j*c - h, -23 = 3*a + 4*c - 2 for a.
-3
Let p(z) = z**2 - 41*z - 279. Let r be p(-6). Solve 4*c = r*f, -2*f = -5*c + 10 - 3 for f.
4
Suppose -3*m - 12 = -3*t, -2*m + 5*t - 10 = 10. Suppose -13 = -c + 2*h - 4*h, 3*c - 3*h + 6 = m. Solve 4*q = 2*w - 22 + 8, -6 = -c*w + 3*q for w.
-3
Let z(p) = p + 5. Let m be z(-3). Let f(b) = -b**3 + 5*b**2 - 4*b - 3. Let o be f(4). Let w = o + 11. Solve -2*u = 2*t + w + m, 3*u = -2*t - 12 for u.
-2
Suppose 0 = -w + 5*q - 10 + 3, -4*q - 1 = -3*w. Suppose w*d = -2*g + 42, -6*d - 33 = -3*g - 3*d. Solve 3*b = -4*s - 5 - g, 3*b + 15 = -3*s for s.
-5
Suppose 25 = 2*l + 3*l. Suppose -4*u + 0 = -20, -4*u + 11 = -3*p. Solve -l*i = 5*k + 15, 0 = -k - i + 4*i - p for k.
-3
Let o be ((-2)/((-20)/18))/((-57)/(-190)). Suppose 2*b - 6 = 0, -5*b - 4 - o = -5*j. Solve -v + 2*p = 1, j = v - p + 3 for v.
5
Let s(m) = -18*m - 96. Let i be s(-6). Solve -7 = -i*z + 11*z - 3*q, -3*z - 3*q = -15 for z.
4
Let h = -947 + 947. Solve 2*i - 5*c - 16 = h, 3*i - c + 5*c = 1 for i.
3
Let g = 186 - 183. Let l = -17 - -9. Let m = l - -26. Solve g*b - v = -4*v + m, 3*v = -5*b + 22 for b.
2
Suppose -6*i - 92 - 34 = 0. Let c be i*(5 - 32/6). Solve -2*y - c - 8 = -5*b, 35 = 2*b + 5*y for b.
5
Let t(a) = -a**3 - 20*a**2 + a + 24. Let k be t(-20). Suppose -3*u + u = k*m, 6 = m - u. Solve 0 = r + 4*d - 9, 3*r - 3*d + 12 = -m*d for r.
-3
Let w(f) = 21*f - 1. Let k be w(2). Suppose -3*h - k = -53. Suppose 0 = 20*o - 19*o - 13. Solve 0*r - r + o = 3*z, -h*z + 14 = -2*r for z.
4
Suppose -5*j = -0*z - 4*z + 2, 0 = 2*z - j - 4. Suppose -3*c - x + 65 = 0, 2*c - 7*x - 38 = 36. Solve h + 22 = -4*k + z*h, 5*k - h + c = 0 for k.
-4
Let k(n) = 4*n - 38. Let o be k(10). Suppose -5*y + 10*y = 20. Solve 0 = -o*f + y*x, 2*f - 7 = x - 1 for f.
4
Let m(d) = -d**3 + 13*d**2 - 11*d - 10. Let q = -27 + 39. Let s be m(q). Solve -5*r - 2*f = 10, s*r + f = 7*r + 25 for r.
-4
Let c = -58 - -68. Suppose 0 = 11*o - c*o - 4. Solve -y + 10 = -4*y + 4*h, 8 = -4*y + o*h for y.
2
Suppose -4*v - 3*c = c - 4, -4*v + 7 = c. Let w be v/7 + (-34)/119. Solve -4*a + 6 = -3*j, -3*a + 4*j + 8 = -w*j for a.
0
Let w be 4/(-10) - (1 - (-462)/(-30)). Solve -w*n + p = -13*n + 7, 3 = -3*n - 3*p for n.
-4
Suppose 8*x - 96 = -0*x. Let c = 147 + -143. Solve -2*r + x = 2*r + 4*i, 16 = c*i for r.
-1
Suppose -2*y = y + 9. Let l(j) = 111*j + 0 - 119*j - 4. Let q be l(y). Solve -3*z + z - 2*r = q, 0 = 3*r + 15 for z.
-5
Let x(k) = 19*k - 71. Let o be x(4). Solve 3*j = 3*l - 10 + 25, -21 = -4*j + o*l for j.
4
Let v(k) be the second derivative of -k**3/3 - 7*k**2 - 10*k. Let g be v(-7). Solve 0 = l - 5*i - 23, 5*l + 3*i - 5*i - 23 = g for l.
3
Suppose 4*y = -2*g + 16 + 14, -5*g - y = -57. Solve -v = 5*h - g, 4*v = 3*h - 0*v - 2 for h.
2
Let d = 319 - 315. Solve 10 = y + y, 0 = -5*i + d*y - 25 for i.
-1
Let f(r) be the first derivative of -r**3/3 + 9*r**2 - 29*r + 4. Let n be f(16). Solve 2*h - 2*k = -3*k - 9, 0 = -4*h + n*k - 3 for h.
-3
Let v(y) = -11*y**3 + 2*y**2 - 1. Let f be v(1). Let s be (36/30)/(2/f). Let d = -3 - s. Solve 3*h = -0*h - o - 1, -d*o = -4*h + 16 for h.
1
Suppose -9 = p - 4*b, -4*p = 4*b - 9 - 15. Solve l + p = r, 3*r - 6 = 6*r for l.
-5
Suppose -2*t = 3*t. Let o be (-3)/(6/60*-6). Suppose 4*g + 4*a - 8 = -0*a, 0 = -4*g - 3*a + 11. Solve t = o*w + g*z + 40, -2*w + z - 2 = -w for w.
-5
Suppose 5*q - 4*o - 39 = -1, 3*q - 15 = 5*o. Let b(i) = i**3 - 9*i**2 - 8*i - 17. Let m be b(q). Solve -3*u = -m*h + 4*h + 16, u = 3*h + 8 for u.
-4
Let k = 3 - 1. Let w be -2 + 1 - (-21 - -2). Suppose -k*z = -w + 8. Solve 2*q + z*f = -28, q = -2*q + 5*f + 8 for q.
-4
Let a be 65 + -72 + (8 - -1). Solve m - a*o + 5 = 2*o, -5*m - 25 = -3*o for m.
-5
Suppose -3*z - 3 = -18. Solve y = 4*b - 2*y - 8, -z*y = -b - 15 for b.
5
Let a = -516 + 520. Solve t - 3*t = 3*m