4
Let l(t) = -t**2 - 12*t + 3. Let x be l(-12). Suppose 36 = 11*i + i. Suppose r + 4 = -u, i*u - 4*r - 14 - 9 = 0. Solve d = n - 5, 0 = x*d - 5*n + 24 - u for d.
-1
Let n = 32 + -32. Suppose c + 5 = n, 3*j - 7 - 6 = 2*c. Suppose 3*d - 20 = j. Solve 0 = 5*g + 2*q - d, q + q = -3*g + 5 for g.
1
Let n(r) = r**2 + 13. Let p(v) = -4 - v + 4 + 18. Let a be p(18). Let y be n(a). Solve 5*x = 3*b + 17, 3*b = 8*x - 4*x - y for x.
4
Suppose 3*t + 4*o = 22 - 6, 4*t + 2*o = 38. Solve 21*v - 17*v = -2*r - t, r - 14 = 2*v for v.
-5
Suppose 5*b = 4*f - 258, 4*f - 2*f + 5*b = 144. Let p(l) = 257*l + 12785. Let o be p(-50). Let d = o + f. Solve 4*h = -2*z - 6, -2*h - 2*z - d*z + 12 = 0 for h.
-4
Let h = 3299 + -3297. Solve 4*i + o = 4*o - 18, 2*o - 10 = h*i for i.
-3
Let f = 5075 - 5062. Solve 6 = 2*s - u, -3*s - 4 + f = -4*u for s.
3
Let w = -21976 + 21986. Suppose 4*p = 5*g + 103, 0 = 5*p + 2*g + 2*g - 98. Suppose w*r - p = -r. Solve 4*o - d = -8, -2*o + 0*o = r*d + 14 for o.
-3
Let i be 14/4 + (5214/132 - 41). Let j(l) = -13*l + 2. Let y be j(-2). Solve 5*g = t - i*t - y, 5*t - 5 = 4*g for g.
-5
Let w = 91 + -90. Suppose -5*y + 9 = -w. Solve y*a + 10 = 0, -4*v - 16 = 4*a - 0 for v.
1
Let x = 196 + -140. Suppose -k - 3*k = -2*a - x, -k - 4*a + 23 = 0. Suppose -6*z + k = -15. Solve -19 = -4*t - 3*h, -z*t = -4*h - 4 + 19 for t.
1
Let o(p) = -8*p**2 + 105*p - 8. Let b be o(13). Solve w = b*l - 1, -l - 13 = -3*w - 2 for l.
1
Let m be 2 + 10/2 + -1. Let y = m - 1. Suppose 12 = -4*x + 4*r, -7*r = x - 4398 + 4345. Solve y*k + 6 + x = 0, -5*u - 14 = -3*k for u.
-4
Let g = 16568 + -16563. Suppose -25 = -2*u - 0*k - k, -5*k + 17 = u. Solve p = -2*l - g, u = 4*p - 0*p for l.
-4
Let d = -13 - 39. Let y = -180 - d. Let h = y + 132. Solve h*k = -5*c + 21, 3*c = -2*k + 3*k + 16 for k.
-1
Suppose 8*i = 5*i - 13*i + 48. Solve -2*o - 2*p - 25 = 3*p, -25 = i*o + 5*p for o.
0
Let p = -41 + 21. Let a = -79 + 80. Let f be p*(a + (-5)/4). Solve 4*w - 14 = 3*w + 4*q, f*w = -5*q - 5 for w.
2
Suppose -2*y - 14 = 2*r, -1 + 7 = -2*y. Let t be (-1 + 2)*-25*-1. Let f be (-5)/t*-2 - r/(-10). Solve -v - 1 = -b, b - 1 - 4 = f for v.
4
Let d = -3647 + 3651. Solve 5*s = 2*c + 13, -s - 4*c = d*s - 19 for s.
3
Suppose -8*c + 6*c = -3*q + 2, -5*c = -q - 21. Solve -3*u + 2*m - 20 = 3*m, -c = m for u.
-5
Let t(a) = -a**2 - 34*a - 259. Let o be t(-22). Suppose -2*g + 5*d = -9, 2*d - 3 = o*d. Solve -3*i - 18 = l - 6, -6 = 4*l - g*i for l.
-3
Let m be (-54)/(-30)*(0 - (-50)/6). Suppose 5*g - v - 25 = -0*v, 5*g = -v + m. Solve r - 10 = g*k, -r = -5*r - 8 for k.
-3
Let a = -577 + 579. Solve 0*p + a*x = 4*p + 14, 2*x = -2 for p.
-4
Suppose 101*v - 225 = -23. Solve -3*b - 5*m + 24 = 0, -v = -2*b + 3*m - 24 for b.
-2
Suppose -1 = -j + x, -2*j - 3*x = -0*x + 18. Let t be 1*j*70/(-21). Let k = -4 - -12. Solve t = -m + 5*f, -4*m + 3*f + k = -f for m.
5
Let h = 63 + -59. Suppose 0 = m - 2*c + 5, m + h*c - 3 - 22 = 0. Suppose 0*z + 52 = 4*z. Solve 0 = 5*v - 3*f + z, -4*f + m = 1 for v.
-2
Let k be 192/1440 + ((-13)/(-15) - 3/(-1)). Solve -q + k*y + 5 - 20 = 0, 3*q - 10 = y for q.
5
Let x be (-8)/((-1176)/360 + 3). Solve -2*u = -5*k - x, 4*u = -2*k - 0 + 12 for u.
5
Suppose 12 = 2*g - 20*y + 15*y, -g + 4*y + 6 = 0. Solve 4*w - h = -15, 7*w - 2*h = g*w + 5 for w.
-5
Suppose 4*z = 2*c - 452, 124 = -3*z - 3*c - 206. Let d = z - -116. Solve -3*o - d*t = -4 + 1, 3*t - 2 = -2*o for o.
1
Let p be 4/((-1)/5 + (-207)/(-460)). Suppose -3*n = -2*u + 6*u - p, -2*u - 14 = -4*n. Solve -4*l - n*a = -24, 3*l - 2*a = 2*a - 17 for l.
1
Suppose 5*f - 7 = 3. Let v be (5 - 4) + (-1)/f*-4. Suppose -v*x = -9*x + 12. Solve x*w + j = 2, -2*w - j = 2*w - 2 for w.
0
Suppose 0 = -h + 3, 2*h + 20 = 4*s - 14. Suppose -3*v + 5 + s = 0. Suppose v*m - 3*m = 6. Solve -a = -3*a - m*z - 16, -4 = z for a.
-2
Let s(k) = -4 + 0 + k + 2. Let y be s(4). Solve -2*a - 3*h + 7*h - 4 = 0, 4*h = -y*a + 4 for a.
0
Let s be 0*(-2)/6*((-15)/(-30) + 1). Solve 5*g - 3*o + 25 = 0, -5*g + 13*o - 16*o - 25 = s for g.
-5
Let z be 18/(-4)*(-16)/24. Let c be (-6)/9 + ((-85)/(-15) - z). Solve -7 = c*v + 3*i, -4*i = -5*v - 0*i - 29 for v.
-5
Suppose 56 = 153*j - 97*j. Let k = 7 + -4. Let n be (-192)/(-18)*(j - k/(-6)). Solve -3*b - 4*t = -b - 14, -2*b + n = 5*t for b.
3
Suppose -2 = u, 0 = -4*k - u + 95 - 81. Solve 0*x - n + 2 = 4*x, k*x - 12 = 4*n for x.
1
Suppose 0 = -23*q + 9*q + 336. Let a be 8 + -4*30/q. Solve -3*y + 27 = -3*p, 9 = -a*p + y - 10 for p.
-5
Let v = 20 - 18. Suppose 0 = a + 2*a + 5*n - 39, 4*n = -v*a + 28. Solve -3*d - a = -3*q - 2, -d = -5*q - 2 for d.
-3
Let i be -5 - (-9)/2*2. Let x be (-1 - -1)/(0 + (i - 3)). Solve 0*g + 1 = -g + 2*r, -4*r - 8 = x for g.
-5
Let q be (-16613)/(-518) + -31 - 1/14. Solve v - f - 4*f = -19, 5*v - f - q = 0 for v.
1
Let d = 844 + -842. Solve 12 = -d*w + v, 5*w - 12 + 35 = -v for w.
-5
Suppose 25 = 13*s - 1. Suppose -3 = -s*c - 5*n, -2*c - 1 = 4*n - 5. Solve -10 - 6 = q - c*a, 3 = a for q.
-4
Suppose 0 = -16*i + 19*i - 3, 3*i = 5*s + 3. Solve 0 = l + 4*z - 2 - 12, s = -2*l + z + 1 for l.
2
Let k = -264 + 62. Let o = k - -207. Solve 0 = 4*i + 2*b - 14, 2*i + 23 = o*b for i.
1
Suppose 74 = 98*p - 24. Solve -2*c + 3 = -3*z, -11 = -5*c + 5*z - p for c.
3
Suppose -15 = -3*j + 4*v, v - 6*v = j - 5. Let p be ((-31)/93)/((-2)/(-6)) + 2. Solve -j*a = -w + 1, p = w - a + 4 for w.
-4
Suppose 1084 = 460*g - 189*g. Suppose -2*z + 8 = 4*m - 2*m, -4*m - 5*z = -17. Suppose -2*x - m*x = 0. Solve -q - g*q = -5*i + 5, x = 5*i - 3*q - 1 for i.
-1
Let n(x) = x**2 + 35*x + 69. Let b be n(-31). Let s be (-4)/5 - 44/b. Solve -2*d - 28 = 5*y, 0*d + d + 4*y + 20 = s for d.
-4
Let y = -218 - -231. Suppose 0 = -y*v + 11*v + 2. Solve f - 2*o + 0*o + 6 = 0, o = v for f.
-4
Let k be 299/(-92) - 2/(-8). Let s be k/(-4) - (-42)/(-56). Let c = -8 - -12. Solve 0 = 3*f + 5*t - s*t - 7, -2*t + c = 0 for f.
-1
Let b(k) = -2*k - 10. Let s be b(-9). Suppose -s*d + 12 = -4. Solve -2*j = -3*a + 5, d*j + 0*j = 2*a - 4 for a.
1
Let x be 2 + -1*(-2 - 0). Suppose -1 + 20 = 2*m - 3*t, 2*t = -5*m + 19. Solve x*v - m*w = v + 16, 2*w + 10 = 0 for v.
-3
Let y be (5*2/(-10))/3 + 52/12. Solve 26 = 5*m - y*j + 45, -m - 2*j = -13 for m.
1
Let q be (9 - -1*1)/(171/342). Solve -7*p + 5*p = 3*b + 5, 4*b - 4*p = -q for b.
-3
Let v = 3146 - 3142. Solve 1 = 5*p - v*w, 0 = 5*w + 24 - 4 for p.
-3
Let m = 10600 + -10598. Solve -91*b = g - 89*b + 4, 3*b = m*g - 20 for g.
4
Let q = 74 - 70. Suppose 0 = q*j - 5 + 41. Let w = j + 13. Solve -2*o + 10 = -w*v, -5*o - 32 = 5*v - o for v.
-4
Suppose 62*b - 10 - 238 = 0. Solve -10*h = -11*h - b*g - 8, -4*h = -5*g + 11 for h.
-4
Suppose 3*s = 22 - 1. Let p = 2 - -28. Let l = p + -27. Solve s*x + 4 = 8*x - l*q, 5*q = 5*x - 10 for x.
1
Suppose -50 = 6*x - 92. Solve z + w - 6 = 0, z - 22 = -x*w + 2*w for z.
2
Let w(r) be the second derivative of r**4/6 - 11*r**3/6 - 9*r**2/2 + r - 34. Let z be w(7). Solve -4*x + 5*p + z = 0, 0 = 3*x + 3*p - 2*p - 9 for x.
3
Let m(v) = -5*v - 97. Let f be m(-19). Let l be -2 - f*10/8*2. Solve -1 = z + 5*q, -3*q = l*z + q - 8 for z.
4
Let d(h) = 9*h + 23. Let f be d(0). Suppose 137*b = 140*b - w - f, b = -5*w + 29. Solve -b = 4*c - 5*n, -3*c - 2*c = 5*n - 45 for c.
4
Let a be 69*-2*(-78)/117. Suppose a*t - 25 = 87*t. Solve -2*c - c + t*n - 13 = 0, n + 1 = -3*c for c.
-1
Let s(y) = -3*y**2 - 6*y + 436. Let r be s(11). Solve 2*k + 2*g = r*k + 15, 4*k + 3*g - 11 = 0 for k.
-1
Suppose 35 = -0*j + 7*j. Suppose -j*g - 15 = -40. Let x(y) = -y + 5. Let f be x(0). Solve -5*n + 2*o + f = 14, -g*o + 9 = n for n.
-1
Suppose 9*n = -896 - 5233. Let d = 681 + n. Solve -3*k - 5 = 2*t, 5*k + d = -5 for t.
-1
Suppose 0 = -0*v + 4*v - 12. Let s be -3*(-4)/(-114) + 3108/(-798). Let m be (-1)/s + (-4)/((-128)/312). Solve -o - v*o + 5 = -5*n, m = -n - o for n.
-5
Suppose -z + 2*w = 2, 3*z - 7*z + w - 43 = 0. Let m = 23 + z. Suppose 3*h = 4*u - 41, m = u + h - 2*h. Solve 0*k + p - 8 = -2*k, 0 = -2*p + u for k.
2
Let r = 234 + -332. Let f = 77 + r. Let s be (3/((-45)/f))/((-2)/(-10)). Solve 4*m + 3*b + s = 0, -4*m = m - 5*b for m.
-1
Let i = 28 - 29. Let n(q) = 5*q**2 - q - 1. Let g be n(i). Suppose 5*m = g*z + 5, -3*z + 2 = -0*z - 2*m. Solve 2*d - 4*r = 6*d - 32, 0 = z*r - 20 for d.
3
Suppose 5*s + 31 = c, 0 = -11*c + 6*c - 5*s + 65