2*t - 0*v + v, -c = -5*t - 4*v for t.
0
Suppose 197 = 5*a - 4*x, 0 = 3*a - 5*x + x - 115. Let r = 44 - a. Solve 0 = 2*o - 3*g + 17, 0 = r*o - 8*o - 5*g - 5 for o.
-4
Let g = 19 - 15. Suppose g*p = 3 - 35. Let x be (p/(-5))/4*10. Solve -2*d - 22 = -x*v, -4*d - 4 = -2*v + 10 for d.
-1
Let b = -360 - -365. Solve w + w = -b*k - 7, w - 3*k - 13 = 0 for w.
4
Suppose 5*a = -4*a + 5*a. Suppose a = 3*r + r. Solve 0*o + m - 3 = 3*o, -5*o - 3*m - 5 = r for o.
-1
Suppose -5*w + 0*i - 15 = -5*i, 2*w + 15 = 5*i. Suppose 4*d = -4*k + 3*k + 47, w = -5*d + 3*k + 46. Solve 2*s - d = -v, -3*s - 2*s - 4*v = -35 for s.
3
Suppose 5*z = -t - 2, -2*z - 34 = -4*t - z. Solve -2*k - 4*c + 4 = 0, t*k = 5*k - c + 6 for k.
2
Let g(r) = 6*r + 3. Let x be g(3). Let l be 3 - (1 + 1)/2. Let h be 6*4/12*4. Solve h = -2*f - l*f, -3*f - x = -5*i for i.
3
Let q = -20 - -24. Let y be 6*((-4)/(-2))/(-2). Let k(d) = -d**2 - 6*d + 4. Let s be k(y). Solve b - 9 = n - q, 0 = s*b + n - 5 for b.
2
Let f = -49 - -33. Let q be (-1)/((-4)/f + (-9)/20). Solve -b + 3*i = 2, b + q*i - 11 = -5 for b.
1
Suppose 0 = 2*o - 5*o + 6. Suppose 0 = -o*s + s - 1. Let g be (9 + s)/((-6)/(-9)). Solve 5*n + 8 = -3*y, 0 = -2*y - 2*n - 3*n - g for y.
4
Let v(d) = -d**3 - 5*d**2 + 17*d + 26. Let j be v(-7). Solve -5*c = -p - 0*p + 3, 0 = -2*c - j*p + 15 for c.
0
Let d = -1506 - -1512. Solve -3*c - 5*h + 10 = -4, 5*c + 4*h = d for c.
-2
Suppose -12 = -3*z - 3. Let i(j) = -2*j**3 - 8*j**2 + j**3 + 12*j**2 - 3*j. Let q be i(z). Solve q = v - 1, 3*y + 8 = y - 2*v for y.
-5
Let c be -4 - -6 - 5 - -4. Let t(y) = 0*y**2 - 1 + 2 + 3*y + 5*y**2 - 2*y. Let f be t(-1). Solve -d - q = -4*d + c, 3*q - f = 5*d for d.
2
Let z = -1 + 19. Let h = 18 - z. Suppose j - 1 = 3*c, 5*j = -c - h*c + 21. Solve -m = -j, -i = -2*m - 3 + 10 for i.
1
Suppose -2*p = 6*p - 96. Suppose -3*v + 7*v - p = 0. Solve -2*x - 2*m = -6, m = -5*x + v*m + 15 for x.
3
Let m(w) = -w**2 - 4*w + 19. Let o be m(-7). Let n = 4 + o. Let k = 12 - n. Solve 5*p = -5*y, y - p = -4*p + k for y.
-5
Suppose 0 = -7*v + 12*v + 10. Let u be (v + 2)/((-4)/3*3). Solve 3*i - 5*z + 2*z - 9 = u, -z = 4 for i.
-1
Let n = -6 + 9. Let l(x) = x**2 - 28*x + 5. Let t be l(28). Solve 5 = -t*d + 4*q - 5*q, 4*d + 4 = n*q for d.
-1
Let p be -1 - -26 - (-8 + 2 + 10). Solve -1 = 5*h - v - p, 5*h + 3*v = 20 for h.
4
Let s = -27 - -31. Let x be 1/(s + (-55)/15). Solve -x = a + q, -q - 4*q - 35 = -5*a for a.
2
Let s be 6/15 - 132/(-20). Suppose -b + 20 = 4*d, -2*b - 4*d + s + 21 = 0. Solve n = 5*v + 20, -v - v = -n + b for n.
0
Suppose 0*q + 7 = 5*q - 3*a, -5*a + 3 = -q. Let c be 3*((-4)/(-6) + (2 - q)). Solve 5*y + 4*z = -7, -z - 1 = -y + c*y for y.
-3
Let w(z) = -z**3 + 13*z**2 - 14*z + 26. Let p be w(12). Solve p*q + 8 = 2*r, 3*r = 3*q - 2*r + 22 for q.
1
Suppose -4*o - 2*w + 70 = o, 3*w - 70 = -5*o. Let t be 16/56 - (-2 + 4/o). Solve -4*s = -4*d + 4, s - 2 = -t*d - 3*s for d.
1
Suppose -4*t - 2 = 5*m + 2, m = 4*t + 4. Solve m = -3*o, 2 = 3*u - 5*u + 2*o for u.
-1
Suppose 30*f = 23*f + 28. Solve o = d + 4, 0 = f*d - d + 3*o + 18 for d.
-5
Let t = 6 - 3. Let x be ((-12)/(-8))/((-2)/(-4)). Suppose -19 = -x*b - 4. Solve t*y + 16 = g, 3*g - b*y = 24 + 8 for g.
4
Suppose 0 = 10*z - 20. Suppose c = -3*m + 5, z*c + 2*m - 6 + 0 = 0. Solve 3*u = n + c, -n - 5*u + 6 = -4*n for n.
-2
Let l(a) = 5*a - 18. Let n be l(4). Solve 3*b + 3*d = -15, -n*b + 0*d + 3*d + 15 = 0 for b.
0
Let s be (-5)/(-3) - (7/3)/(-7). Solve 5*u - 5*w - 10 = 0, w - s = -u - 0 for u.
2
Let q be 68/22 + 6/(-66). Suppose -u + 2*x = 4, -2*x - 2*x = -12. Solve k - 2 = s, -5*s = -q*k - u + 4 for s.
2
Suppose -6*s + 2 = 2*b - 2*s, -2*b = -3*s + 5. Let h be b/5 + 41/5. Solve -4*w + u = 6*u - 8, 4*w - 2*u - h = 0 for w.
2
Let m = -8 + -37. Let y = -43 - m. Solve y*v + 12 = -w, 2*w = 5*w - 2*v - 4 for w.
-2
Let i = -116 - -116. Suppose 6*y - 2*y - 48 = i. Solve 3*b = o - y, -6*o - 21 = 3*b - 4*o for b.
-5
Suppose 7*p = 3*p. Suppose p = -9*b + 176 - 50. Solve -28 = 5*o + 4*r, -4 = -4*o + 3*r - b for o.
-4
Suppose 0 = 22*z + 9 - 9. Solve -5*y - 4*i + 6*i + 17 = z, 5*y - 12 = -3*i for y.
3
Let b(v) = 6*v**2 - 8*v + 25. Let j(m) = m**2 + m. Let f(u) = b(u) - 5*j(u). Let r be f(11). Solve -2*s + r*t = -7, -3*t + 2 = -4*s + 7 for s.
-1
Let t = 115 - 70. Suppose -4*s - 5 + t = 0. Solve -s + 2 = 2*g, -27 = -3*b + 3*g for b.
5
Let t = -63 + 65. Solve -4*o = t*x + o + 5, -o = x - 2 for x.
5
Suppose 9 = y + 2*y. Suppose -2*d + 11 = 5*l, l + 74 = y*d - 3*l. Let u be (-2)/(-3) + d/(-27). Solve m = -u*m - 5*c + 25, -m - 4*c = -21 for m.
5
Let n be 15/5*(-4)/(-6). Suppose -7*f + 75 = -2*f. Suppose -n*z + 5*h = -f, h = -0*h - 1. Solve -s + 23 = 3*k + 4*s, -3*k = -z*s + 17 for k.
1
Let o be (-5)/(50/(-4))*140. Let u = o - 53. Let d = -2 - -5. Solve r + 5*m - 15 = 0, d*r + u*m + 11 = 2*m for r.
-5
Let s be 9/6 + 2/4. Suppose 2*l + s*l - 20 = -3*t, t = 0. Solve 3*x = 2*f + 3*f + 17, 2*x - 18 = l*f for f.
-4
Suppose 240*o - 237*o - 30 = 0. Suppose 2*l + 0*l - 10 = -3*v, 0 = 2*l - o. Solve -m - 1 = -6*x + x, v = 3*m - 12 for x.
1
Let p(g) = 4*g - 1. Suppose -z - 2 = 0, 0*q - 2*q + 24 = -3*z. Let v = q + -8. Let d be p(v). Solve 6 + 6 = 3*m, d*i = 4*m - 31 for i.
-5
Let v(k) = 3*k**2 - k. Let i be v(1). Suppose -y + 87 = -g, 4*g - 25 = -y + 47. Suppose -2*d + y = 4*d. Solve 4*m - 5 + 1 = 4*u, -4*u = i*m - d for m.
3
Let y be ((-6)/5)/((-6)/15). Let v be (y + -5)/2 + 5. Suppose v*a - 6*a = 0. Solve a = 4*x - x - d + 3, 4*x + d = 3 for x.
0
Let l(m) = m**3 - 5*m**2 - 5*m - 6. Let h be l(6). Suppose v + c - 8 = h, -7*v + 4*v - 2*c = -22. Solve -4*g + v = -2*a, g + a + 6 = 3*a for g.
4
Let u(d) be the second derivative of d**5/20 - 7*d**4/12 + d**3/2 - 15*d**2/2 + 21*d. Let q be u(7). Solve 3*l - q = 0, -3*o + 0*o - l + 17 = 0 for o.
5
Suppose -37 = 2*w + 5*o, 2*o - 44 - 34 = 5*w. Let a be (6 - 0)/(18 + w). Solve 5*p - 19 = 2*g, 0*g - a*g - 11 = -4*p for g.
3
Suppose -3*y - 40 = -11*y. Solve -3*n = -y*i + 11, -4*n + 17 = 2*i - n for i.
4
Suppose 2*z = -5*t + 2, 3 = z + 2*z + 3*t. Suppose 1 = -2*l - z. Let j(a) = 3*a**2 - a - 2. Let c be j(l). Solve -6 = -c*o, -2*s + 0*o + o + 1 = 0 for s.
2
Let p be (-2)/14*2 - 1560/(-70). Solve -3*q + z + 2 = 0, -3*z + 7 = p for q.
-1
Suppose -b + 28 = -3*f, 2*f - f + 18 = b. Let p be 1/(4 - 53/b). Let m = -11 - p. Solve -4*a = 2*n - 10 - 2, 5*n + 18 = m*a for n.
-2
Let t = 33 - 3. Suppose -81 = 3*j - t. Let c = j - -22. Solve -c + 0 = -5*f + 5*l, -15 = 5*l for f.
-2
Let u(i) = i**2 - 6*i - 2. Let m be u(6). Let a = 5 + m. Let g be (4/(-12))/(-1) + (-16)/(-6). Solve -k + 12 = 2*l + g*l, 0 = 2*k + l + a for k.
-3
Let a(m) = m**2 + 16*m + 47. Let w be a(-4). Let x(u) = -u - 1. Let h be x(3). Let r be w + 4 - h/1. Solve j - 11 = 2*i, -2*i + j = 4*j + r for i.
-5
Suppose -73*a + 70*a = -6. Solve -6*y - 15 = -a*y - 3*h, -20 = y - 4*h for y.
0
Let j = 9 + -1. Solve 5*v - c + j = 0, -5*v + 3*v - 2*c = 8 for v.
-2
Let r be (2 - 1)/(450/(-63) - -7). Let j be 3/3*13*-1. Let t = r - j. Solve 3*d - p + 1 = -t*p, d - 3*p - 9 = 0 for d.
3
Suppose 2*n = -2*n + 2*s + 106, 2*s - 2 = 0. Suppose 0 = 3*y + n - 72. Solve 3*r = -2*w - r - 20, -3*r = -4*w + y for w.
0
Suppose t - 4*t - 24 = 0. Let y = -6 - t. Suppose -5*f - p = -11, -2*f + 3*f - 4*p + y = 0. Solve -3*q - f*q - 40 = -4*w, 3*q = -4*w + 8 for q.
-4
Let r be (3/(-4))/((-95)/3420). Solve -10 = -2*j + o - 2*o, 3*o = -5*j + r for j.
3
Let s be 560/42 - 2/6. Suppose -c + 3*d = -s, 2 + 0 = -c - 2*d. Solve -a - 5*j - 20 = 2*a, 0 = -5*a + j + c for a.
0
Let y(i) = 21*i - 21. Let o be y(-5). Let z = o - -129. Solve 0 = -z*v - 6, 0 = 4*a + 2*v - 16 for a.
5
Suppose 1109*b = 1111*b - 4. Solve -2*p - 6 = -t, -5*p - b*t - 37 = t for p.
-5
Suppose -390 + 6 = -24*c. Suppose -14 - 12 = 2*u. Let s = u + c. Solve -3*r + s = 4*t, 2*r - 4*t = -r + 27 for r.
5
Suppose j - 20 = -3*j - 4*i, -j + 4*i + 10 = 0. Solve 0 = -j*q + q + 4*m - 35, 2*q - 14 = -4*m for q.
-3
Let x(t) = -t**2 + 18*t + 35. Let b be x(20). Let v(r) = r. Let m be v(-5). Let c = m - b. Solve -4*a + 0 - 4 = 0, c = -5*u + 2*a - 23 for u.
-5
Suppose 2*k = 5*w - 4, 5*w + 0 = 3*k + 6. Suppose -5*p - 5 = w, 2*p = 4*f + p - 41. Solve g + f = 2*a, -4*a + 0*a = -16 for g.
-2
Let a be (1/1 + -3 - -132) + -1. Let f = a - 127. Solve -n + 7 = -f*