 = c for t.
0
Let f be (-70 + 10)*(-2)/(-3). Let h = 28 + f. Let a be ((-9)/h)/(24/128). Solve a*r + l = -27 + 2, -3*r - 5*l - 40 = 0 for r.
-5
Suppose v - 1 = g, 30 = -5*g + v + 37. Solve 2*j + 4 = 2*u, j = -g*j + 4*u - 4 for j.
-4
Suppose 3*h - 12 = -0*h. Let t(a) = 4*a**2 + 11*a + 141. Let l be t(-12). Let c = l - 585. Solve 4*f + 3*r + 3 = 0, c = 2*r - h - 2 for f.
-3
Let l = 399 + -394. Suppose 13*d = -l*i + 16*d + 51, -51 = -4*i - d. Solve -2*b - 3*o = -i, 0 = -b + 4*b - 5*o + 20 for b.
0
Let p be ((-12)/21)/(3/(-21)). Suppose -3*b = -j, 4*j + 2*b - 6*b = 8. Solve j*t + 10 = 3*k - 8, 0 = p*t + 4*k for t.
-3
Let y = 239 + -200. Suppose y = 14*j + 39. Solve 2*h - 5*t + 2 = j, 4 = -3*h - t + 1 for h.
-1
Suppose 58*f - 11 = 63*f - 21. Solve -f*x + 3*u = -5*x + 24, -3*u + 15 = 0 for x.
3
Let a = 39 - 19. Suppose a*v = 15*v + 10. Suppose -4*c + 7*c - 54 = -3*m, 2*m - 50 = -3*c. Solve -4*s + 2*i = -12, v*s - 4*i = -s + c for s.
2
Let h = 4250 - 4243. Solve -4*j = -5*q + h, -q + 0*j = 4*j + 13 for q.
-1
Let h(w) = -12*w + 7. Let k(o) = 22*o - 13. Let m(c) = 5*h(c) + 3*k(c). Let s be m(3). Suppose -s = -p - 9. Solve -3*l + 3*y = 0, p*y + 6 = -2*l - 8 for l.
-2
Suppose 2*y = 67 - 9. Suppose 3 = 8*s - y. Solve -2*g + l - 3 = -0*g, 29 = s*g + 5*l for g.
1
Suppose 4*i + 5*p - 43 = 0, 4*i - 20 = -3*p + 25. Let x be i/108 - 17/(-9). Solve 0*t + 26 = -2*t + 5*n, -2 = x*t + n for t.
-3
Suppose 3*q = -2*v + 5*q - 4, 4*q - 2 = 3*v. Let u be (15/10)/(v/(-52)). Suppose 18*l - u*l - 45 = 0. Solve 3*w + 3*t = -l, 3*w - 4*t - 5 = -0 for w.
-1
Let q be 100/(-225)*9 + 19. Solve 5*g + 0*s - 9*s = -51, 0 = -g + 3*s - q for g.
-3
Suppose -5 = z + 4*d, 2*d + 43 = -2*z + 9. Let o be (-14)/z*(-2 - 19/(-2)). Solve 3*h + 10 = o*c, 4*c - 2*h - 3 = 5 for c.
2
Let z be 19 - (12 - -10 - 5). Solve -7*d = -5*b - 5*d - 7, z*d - 5 = 3*b for b.
-1
Let s(y) = -4*y**3 + 33*y**2 + 69*y + 15. Let h be s(10). Solve h*o - n + 76 - 75 = 0, 4*n = -16 for o.
-1
Let w(h) be the second derivative of -3*h**3 + 5*h**2/2 + 7*h. Let s be w(-1). Suppose -42 = 20*x - s*x. Solve -4*j = -9*o + 4*o - x, o + 5 = 3*j for j.
1
Suppose -3*f - 4*y - 3 = 13, 5*y + 20 = -5*f. Suppose -2*i = -f*i - 3*i. Let l be ((-8)/6)/(i + (-2)/6). Solve 5*x - 5*m = 0, -5*x - m - l*m - 50 = 0 for x.
-5
Let x(h) = -h**2 + 697*h - 14850. Let q be x(22). Let g be -4 + 4 - (-6 + 1). Solve -b = -0*b + g*d + 5, q = 5*b - 4*d + 25 for b.
-5
Suppose 124 - 106 = 3*y. Let t(v) = -2*v + 1. Let j be t(-1). Let g = y - j. Solve 4*n + g*d = 5, 2*n - 2*d - 8 = -2 for n.
2
Suppose -591*i - 136 = -625*i. Solve i*y + 4*t = -28, 14*y - 14 = 11*y + 4*t for y.
-2
Suppose a = 4*a - 39. Let x(v) = -2*v + 29. Let b be x(a). Suppose -b*d - 2 = -17. Solve 0 = -4*i + 12, 5*i - d = -4*o - 2 for o.
-3
Let k(i) = -166*i**2 - i**3 - i**3 + i**3 + 155*i**2 + 16 - 26*i. Let v be k(-7). Solve 0 = -5*j - 3*p - 23, 2*p + 24 = -5*j - v*p for j.
-4
Suppose -19*a + 30 = -17*a + 4*d, -a = -d. Suppose -a*x + 72 = -3*b, 27 - 7 = 3*x + 4*b. Solve 3*s = x, 0 = 3*q - 4*s + 23 + 5 for q.
-4
Suppose 91*a - 522 = 4119. Solve 12 = 4*x + 2*u, -5*x = -5*u - a + 36 for x.
3
Let m = 46 + -38. Let p be (2 + 7 - 1) + -4. Let b be 8 + (p - m) - 1. Solve -d = -7*a + 2*a - 8, 3*d - b*a = 0 for d.
-2
Suppose 15 = -5*c + 40. Suppose -c*y = -2*y. Suppose -2*s - 2*s + 20 = y. Solve -7*d + 3*d - 7 = s*x, -5*d = -2*x + 17 for d.
-3
Let r be (14/6)/(1344/180 - 7). Solve 5*p - v = 25, -23*p = -19*p + r*v - 20 for p.
5
Let d = -45 - -9. Let t = -22 - d. Let x(n) = n**3 + 14*n**2 - n - 12. Let l be x(-14). Solve -13 = q + l*j, -q - q - j = t for q.
-5
Let i = -1699 - -1704. Solve -2*t + 6 + 4 = -3*z, 0 = i*t + z - 8 for t.
2
Let b be (-1)/((-32)/28 + 1). Suppose 0 = -5*h + 20, 2*h - b = -x + 4. Solve -3*l = 2*s - 14 - x, 3*s = 2*l - 7 for l.
5
Let k = 11657 - 11653. Solve 0 = -k*u - 3*l - 17, 5*l - 8*l - 7 = -u for u.
-2
Suppose j + 0 = 5. Suppose 7*x - 33*x = -67*x - 40*x. Suppose -22*o + j*o = x. Solve -3*b + 11 = -4*m, -3*b - 3 = 3*m - o for m.
-2
Let x(d) = -46*d + 328. Let j be x(7). Solve 4*o - j*o - 5*v = 15, -3*v + 17 = -4*o for o.
-5
Suppose a = -5*b + 6*b + 4, 2*a + 2*b = 0. Suppose -35 + 41 = a*w. Solve -w*s + s = p - 9, -4*p = 4*s - 28 for p.
5
Let u = -641 + 646. Suppose 3*w + 4*o - 44 = 0, 0*w + 14 = w + o. Suppose -u*p + w*p = 63. Solve -4*f - 3 - p = -4*q, 2*f = 3*q - 11 for f.
2
Suppose -38*m = -59*m + 344 + 307. Solve -5*y - 3*p - m = 0, -p - 15 = y + 4*p for y.
-5
Let j be ((-5)/4 - 219/292) + 3 + 2. Solve 0 = j*a + d - 20, -4*a + 3*d = -0*d - 5 for a.
5
Let u be 0 - -2 - 0 - -1. Suppose u*i - 15 = 0, -18 - 2 = -4*j + 4*i. Suppose -11*b + j*b = -2. Solve 2*p - 18 = 3*p - 5*n, -3*p - b*n - 3 = 0 for p.
-3
Suppose 2*d - 11*h - 4 = -6*h, 4*d = -2*h + 8. Solve -3*c - 2*m - 23 = 0, 2*m = d*c + 5*m + 22 for c.
-5
Suppose -11 = -2*s + c, 3*s + c + 4 = 23. Suppose s*y + 33 = 9*y. Solve -5*t - 4*v + y = -20, 3*t - 5*v + 11 = 0 for t.
3
Suppose -21*l - 9 = -22*l. Suppose 13*k - l*k = 12. Solve 2*o - 8 = -r, 0 = -5*o + k*r + 4 + 5 for o.
3
Suppose 0 = 19*f - 46*f + 9*f + 234. Solve -4*z + 9 = 3*j, 5*z - j + 30 = -f*j for z.
6
Suppose -15*y + 6*y = 0. Suppose 1 = 3*w + 22. Let r(m) = m**2 + 6*m - 2. Let k be r(w). Solve 2*v + y*v - 4*s = 22, 4*v = k*s + 32 for v.
3
Let f = 687 + -683. Solve 3*o - 6 = 3*q + 9, -16 = f*q for o.
1
Let w be (-12)/(-222) + (-6039)/(-1221). Solve w*p - u = -22, 2*p = 7*p + 2*u + 31 for p.
-5
Let w be (27/(-36))/(4/1184). Let z = w + 222. Solve z = -b - 5*v, 5*b - 2*v = 3*b + 12 for b.
5
Let z = 19 - 10. Let i be z*((-24)/(-4) - (-312)/(-54)). Solve x = 4*k - 16, -x - i*x + 3 = 5*k for k.
3
Let n(y) = 3*y + 80. Suppose 125*c - 52 = 127*c. Let m be n(c). Solve 7 = 4*j + 3*i, j - m*i - 1 + 2 = 0 for j.
1
Let n(t) = 24*t - 189. Let f be n(8). Suppose -j + 2*h + f*h = -10, -3*h = -2*j + 6. Solve -2*w + v + 9 = j, 3*w + v = 5*v + 11 for w.
5
Suppose -31 = -2*w + 5*c - 0*c, w = c + 14. Suppose 7*o - 22 = w. Let m = -1980 - -1988. Solve o*z + v = m, -6 = 4*v + 2 for z.
2
Let t be (-7)/5*15/9*(62 + -65). Solve -t = -215*d + 219*d + 5*o, -3*d + o + 9 = 0 for d.
2
Suppose -5*t - 73 = -338. Suppose 4*z - t = -21. Let o be 6/(-3) + z + -2. Solve -h + 5*h = -o*m + 28, -4*m = 5*h - 30 for h.
2
Let n(p) = p**2 - 5*p - 11. Let u be n(8). Let f = 6338 + -6335. Solve -4*g + 16 = f*i, -5*g + 8 = 4*i - u for i.
4
Let f(a) = a**2 - 17*a - 34. Let l be f(19). Suppose 3*o + 2 - 30 = l*h, 0 = -2*o + 5*h + 28. Solve -o*x + 2*b - 10 = 0, -5*b - 10 = 5*x - 35 for x.
0
Let g(h) = 2*h**2 + 76*h + 77. Let i be g(-37). Solve -2*t + i*y = -0 - 2, 0 = t - y for t.
-2
Let t = 7551 - 7547. Solve 0 = -y + 4*z + z - 2, 2*y + t = -2*z for y.
-2
Let t(y) = -y**2 - 11*y - 21. Let l be t(-4). Suppose -l*p + 74 = 11. Solve -5*q = x + 29, 2*q = x - p + 3 for q.
-5
Suppose 2*f = -5*y - 72 + 102, y = 3*f + 6. Solve -2*j = 2*p + y, 22*j + 22 = 17*j + 2*p for j.
-4
Suppose 84*i - 399 = -147. Solve -3*o - 5*y - 40 = 0, -o = -i*y + 30 - 40 for o.
-5
Suppose -77 = -14*x + 3*x. Solve 2 = -a + 3*l + x, -a - 10 = 2*l for a.
-4
Let j(c) = -c**3 - 23*c**2 + 2. Let o be j(-23). Let g be 0 + o + -4 + (-14)/(-2). Solve 0 = -4*u + g*s - 13, -3*s = -5*u + 2*s - 10 for u.
3
Suppose 4*n - 16 - 32 = 0. Let k be (5 - 44/n)*(-3)/(-1). Suppose 2*r = 2*d + 28, -r - 4 = -2*r - d. Solve -r = -k*b + 4*o + 3, 5*o + 3 = 2*b for b.
4
Let j be 0/(0 + 2)*(0 - 6/6). Solve 2*i - 5*r + 33 = j, -63*i + 67*i = -2*r - 6 for i.
-4
Let l be ((-9)/((6/2)/3))/(-3). Solve -h = -5*g + 4*g + l, 4*h - 12 = -2*g for g.
4
Suppose r + 12 - 10 = y, y = 2*r. Solve r = -4*d + 22, b = 3*d - 16 for b.
-1
Suppose 2*a + 2*c - 14 = 0, 4*c - 10 + 30 = 2*a. Solve r = a*q - 10*q - 13, q - 16 = 4*r for r.
-5
Let a(n) = 10*n - 16. Let w be a(5). Suppose 49 = 5*d + w. Solve -5 + 2 = -d*k, -11 = -2*q - 3*k for q.
4
Let c be (-2 + 3)*16/4. Let w be (-3 + 2)/(-3 - (-224)/76). Suppose -10 = 14*x - w*x. Solve 3*u + 15 = -3*q, -x*u - 20 = u + c*q for u.
0
Suppose -130 - 19 = 114*h - 719. Let o = 4 - 6. Let q be (4/2 + o)/(-1). Solve 2*f - 3*c = 0, -3*f + 7*f + h*c + 22 = q for f.
-3
Let j = -3 + 5. Let h = 127 + -124. Let p = h + 4. Solve 2*x + 4 = -j*x - 4*f, -3*f - p = 2*x for x.
4
Let k be (-1 + 55)*(-1 + 28/21). Suppose 0 = -11*u + k + 37. Solve 5*j - 3*d