 -s*y + 10 for u.
-4
Let c be (-2 - -5)*(-14)/(-6). Suppose -c*w = -59 + 10. Suppose 0 = -5*m + 4*a - 2 + w, 0 = -m - 3*a + 20. Solve 2*i + 13 = 5*f, -2 = -3*f + m*i + 2 for f.
3
Suppose 22 = 6*t - 2. Let i = -2341 + 2343. Solve -4*w = -5*j - 45, -3*j - t*w + i = -3 for j.
-5
Let n(r) = -r**2 - 58*r + 627. Let w be n(9). Solve 4*g - w = 4*k, 4*g = -2*k + 7*k + 25 for g.
5
Suppose 2*l = -142 + 128. Let s(x) = 2*x**2 + 10*x - 15. Let c be s(l). Let u be 2 + (c + -14)*(-1 + -1). Solve 5*n + 17 = -4*d, -u*n + 3*d = -0*d - 5 for n.
-1
Let x be 5*((-3 - 198/(-30)) + -3). Solve -a + 11 = x*j, -j = -9*a + 3*j - 56 for a.
-4
Suppose 15*h - 51 - 5 = 7*h. Solve -4 + 7 = 4*q - 3*c, -2*q = h*c + 7 for q.
0
Suppose -2*c + 3 - 13 = 0. Let p = c - -1. Let o be (-1)/p - 154/(-56). Solve 2*t = -u + o*t + 2, -u - 5*t + 14 = 0 for u.
4
Let n(p) = p**2 - 12*p + 25. Let y be n(-5). Suppose y = 71*d - 60*d. Solve -3*w = -8*w + 5*l + d, -2*w - l - 2 = 0 for w.
0
Let w be (-9 - -4) + (4 - -20). Suppose -w*u + 180 = 11*u. Solve 3*y - 12 = u*y - n, 5*y = -4*n - 37 for y.
-5
Suppose -1472 = -7*o + 3*o. Suppose -2*a = -10*a + o. Suppose -15*s + 59 = -a. Solve 3*d - s*d = t, -20 = -5*t for d.
-1
Let b = 19488 + -19473. Solve 4*x + 1 = 5*r + 21, 3*x + 4*r = b for x.
5
Let x = -1564 - -1569. Solve -5*k + 3*z = 3, -5 = -k - 0*z - x*z for k.
0
Let f(s) = -246*s + 1725. Let j be f(7). Solve -4*d + j*r = -8 - 3, -3*r + 5 = 4*d for d.
2
Suppose 0 = 9*f - 0. Let c be ((-12)/(-18) + f)*(-6)/(-2). Solve -2*t - 4*p + 2 = 0, -5*t = p + c*p - 5 for t.
1
Suppose 0 = 2*t + 6 - 14. Let y = -14925 + 14927. Solve 5*z + y + 8 = 0, -5*r - 2*z - t = 0 for r.
0
Let y(l) = l**3 - 17*l**2 - 21*l + 54. Let b be y(18). Let h be b + 1/((-4)/(-20)). Solve -h*t = -3*w + 42 - 15, 0 = 2*w + 4*t + 4 for w.
4
Suppose 7*o - 477 = -442. Solve 7 = l - 2*p, -2*l = -0*l + o*p + 31 for l.
-3
Suppose 0 - 54 = -0*a - 9*a. Solve 0 = -w + 3*y - a*y - 7, 0 = -5*y - 10 for w.
-1
Suppose -5*z = -c + 23, 5*c - 49 = -z - 38. Let f be 15/(-12)*4*-1. Suppose -f*x + 2 = -28. Solve x = 3*a, -p - c*a - 14 = -8*a for p.
-4
Let l be 13/2 + (23/2 - -2) + -13. Solve -6*r = -4*r + 2, l = 3*t - r for t.
2
Let l(g) = -g**2 - 14*g - 11. Let z(d) = 4*d + 2. Let s be z(4). Suppose -s*n = -20*n - 26. Let q be l(n). Solve x = p - 1, 4*x - 2 = q*p - 4*p for p.
1
Let d be 34 - (9 - (-160)/(-8)). Solve -3*g + 17 = w, -47*w = -d*w + 4*g - 26 for w.
5
Let l = 29 + -27. Suppose 18 = -2*a + 4*v, -v - 26 = l*a + 3*v. Let g = 9 - a. Solve -f = -6*f - g, 0 = -5*i + 5*f + 20 for i.
0
Suppose 208*y = 197*y + 99. Suppose 25*w + y = 28*w. Solve -2*h = -2*l - 3*h - 1, -5*l + w*h = -25 for l.
2
Suppose -6 = 2*c - r, -4*r = -5*c - 5 - 10. Let d be 15/(-5)*4/c. Suppose 0 = 4*u + d*u. Solve u = -5*t - 20, -2*t + t + 1 = l for l.
5
Let x(t) = -3*t**2 + 11*t - 2. Let w(v) = -v**2 + 3*v - 1. Let d(n) = -6*w(n) + x(n). Let g be d(2). Solve -c + g*l = 5, 9*c - 4*c - l = -25 for c.
-5
Let g = 2921 + -2917. Solve 2*u + 5*b + 13 = g, -5*b = 4*u + 3 for u.
3
Suppose -10*z + 5*z = 20. Let h(t) = 2*t**3 + 16*t**2 - 4*t + 1. Let k be h(z). Suppose -k*b - 6 = -147*b. Solve 4*u = -s - b, 4*s - 3*u + 19 = 7 for s.
-3
Let y(t) be the first derivative of -t**2/2 + 3*t - 1. Let r be y(3). Suppose -4*z + 9*z - 100 = r. Solve -4*q = 5*u - z, 3*u = -5*q + 2*u + 4 for q.
0
Let m be (12/36*(-1 - -1))/2. Solve -2*j + 4*d + 0*d = m, -3*j - 10 = 4*d for j.
-2
Let y be (-50)/(-6) + (-252)/189. Suppose 0 = -2*w + 2 - 0, 2*w = -c + y. Solve -20 = 4*x - 2*h, 4*x = c*h - 29 - 3 for x.
-3
Let f be (-6 + (-32)/(-12))*30. Let o = f - -100. Solve 4 = -3*r + 2*r, -4*c + 5*r + 24 = o for c.
1
Suppose 0 = 18*h - 22*h + 56. Let d = 28 - h. Solve -2*v = 2*q + 4, 7*v + d = 2*q + 3*v for q.
1
Let v be (-99)/(-18)*((-15)/(-11) + -1). Solve 0 = -4*b - v*f - 26, 15 = -4*f + 3 for b.
-5
Let l(m) = 10*m + 85. Let n be l(-8). Suppose 10*u + n*u = -5*u. Solve -3*i = 3*b, u = -i + 2*b - 13 + 4 for i.
-3
Let f(z) = -5 + z**3 + z + 4 + z**2 + 3*z**2. Let t be f(-2). Suppose -24 = 238855*a - 238861*a. Solve 2*s + 3*d - 5 = -0*d, -a*s + t*d - 23 = 0 for s.
-2
Let y = 2430 - 2402. Solve 4*o + y = 5*w, -4*w = -37*o + 33*o - 24 for o.
-2
Suppose -4*w + 36 = -4. Suppose -9*o = -w*o + 2. Solve 2*i - 4 = o*r, -4*r = -5*i + 5 + 8 for i.
5
Suppose 29*v - 23*v + 930 = 0. Let a = -150 - v. Let b be 0/2 + (6 - 1). Solve 4*n = 6*c - b*c - 1, a*n = 2*c + 1 for c.
-3
Suppose -57 = -m + 147. Suppose -6*k + k - 5*q = 345, -3*k = 2*q + m. Let p = k - -68. Solve t + 6 = -i, -i = -0*i - 3*t - p for i.
-4
Let p = -109 - -111. Suppose -10 = p*m + 4*q, 2*m = 6*m + 3*q. Solve 0 = 2*f + 3*n + 6, -f - m = n + n for f.
-3
Suppose 74 - 174 = -5*l + 5*f, l - 5*f = 52. Solve -4 + l = -3*g + 4*d, g + d = 9 for g.
4
Let x be (-4)/1 - (-3 - (-4 + 3)). Let q(a) = a**2 - 23*a - 46. Let w be q(x). Solve t - 7 = -4*t - w*s, 0 = 5*t + s + 2 for t.
-1
Suppose -5*h + 832 = 3*f, 0 = -4*f - 6*h + h + 1106. Let g = -272 + f. Solve 3*m - 5*o - 10 = 0, 7*o + 10 = g*m + 3*o for m.
-5
Suppose 0 = 23*d - 5*d - 36. Let k(m) = -4*m + 1. Let j be k(1). Let y be -6*j/(-6) - -6. Solve -4*i = -d*a + 22, 0*a - 21 = 2*i - y*a for i.
-3
Let w be 1292/46 - 16/184. Suppose 4*g - 8*p + 4*p - w = 0, 0 = g - 2*p - 4. Solve -b - 13 = -m - 2*m, 0 = -2*m + b + g for m.
3
Suppose -4*g - 4*l = -572, -711 = -4*g + 5*l - 130. Suppose 37*k + 11*k = g. Solve -4*t - 6 = -10, -k*u - t + 13 = 0 for u.
4
Suppose -y + 10*g - 7*g + 26 = 0, 0 = -2*g + 6. Suppose 5*f - 135 = y. Let d = -22 + f. Solve -7 = -a + 4*v, 0*v - 4*v = d for a.
-5
Let p be (-6)/(-21) - (-164)/14. Suppose -x = 6*x - 378. Let i be x/p - 12/8. Solve -i*d + 3 = 3*k, 3*k + d + 17 = 2*d for k.
-4
Suppose 4 = d, -5*t - 26*d + 23*d + 42 = 0. Suppose 0 = -t*w - 15 + 33. Solve -w*l = 4*v + 8, 4*v - 4*l + 40 = l for v.
-5
Suppose -9*s = -s - 40. Let l(z) = z - 14. Let c be l(14). Let w be (c - -40)*2/s. Solve -6 = 5*f - 1, -4*f + w = 5*r for r.
4
Let t = -237 + 245. Suppose 2 = -y - 2*m, y = 20*m - 24*m - t. Solve 0 = 3*i - 2*l, y*i - 2*l = -0*l + 2 for i.
2
Suppose -32*k = -37*k + 1620. Let j = 326 - k. Solve -4*u - 4*w + 20 = -0*u, 6 = j*u - 2*w for u.
4
Suppose v - 2*u = -28, -6*u - 48 = 2*v - 2*u. Let g be (-152)/v + -8 + (-636)/(-78). Solve 4*b + 10 = -2*o - 8, -g = 2*o for b.
-3
Let p be -11 + 84/48*16. Solve -3*i = -2*a - 8 + p, 4*i + 4*a = -12 for i.
-3
Let n(i) = 2*i + 44. Suppose 0 = 119*k - 111*k + 160. Let o be n(k). Solve 32 = o*j - 3*u, 4*u - 4 = -4*j - 0*u for j.
5
Let f be (0 - -10)*4/10. Suppose 2*b = 6, -2*m - 2*m - 4*b + 36 = 0. Suppose 0 = 4*a + 20, -y + a + 3*a + 22 = 0. Solve 5*o + 14 = 2*p, p - f*o - m = y*p for p.
2
Suppose 2*d + 4 = -4*r - 3*d, 0 = -2*d. Let x be (r + -39)/(-8)*2/5. Suppose 6*f = 48 - 6. Solve a - 1 = x*g, 0*a - a + 4*g = -f for a.
-5
Suppose -3*h = -5*y - 793 + 807, 0 = -2*h + y. Solve -4*v - 2 = 2*d, -3*v + v - 4*d + h = 0 for v.
-1
Let o be (-45)/(-30) - (68/(-8) + -2). Solve d + 1 = o*a - 9*a, 0 = 3*d - 5*a - 1 for d.
2
Let x be (-2 - 1)/((-1)/2). Let b(r) = 5*r**2 - 4*r**2 + 197 - 4*r - 193. Let w be b(x). Solve -5*c - 14 - 7 = -3*u, 0 = -2*u + 4*c + w for u.
2
Suppose -3*a = 9, 0*i - 5*i = 3*a - 11. Let n be i + -3 - 3*2/(-3). Solve 3*f = 5*q + 3, f + n*q = 2*q - 7 for f.
-4
Suppose 3*l - 105 = 4*p + 49, 0 = 3*l + 5*p - 145. Suppose -7*r + 62 = -l. Let n = 97 + -95. Solve 2*o - r = -v - v, 11 = o + n*v for o.
5
Let i(d) = -85*d - 22 + 91*d - 33. Let c be i(10). Solve c*y + 25 = 5*o, -3*o - 4*y + 3 = 2 for o.
3
Let y = 15 + -10. Let d be y/(10/3)*2. Suppose 0 = -83*r - 55*r + 39*r + 891. Solve 3 = 3*h, 3*h - r = -0*w + d*w for w.
-2
Let a(g) = 50*g + 405. Let q be a(-8). Solve -10 = q*c - v + 20, 0 = 2*v - 10 for c.
-5
Suppose 4*o - 6*o = -4. Suppose -k + p + 2 = 0, -3*p + 302 = 2*k + 298. Solve -2 = m + o*b, k*b - 6*b = -2*m + 12 for m.
2
Let q(h) = -2*h + 21. Let z be q(3). Let t be (9/z)/((-2)/(-20)). Solve 4*j + t*l - 5*l + 13 = 0, 3*j = -l - 9 for j.
-4
Let s be (3 + 119/(-35))*390/(-12). Solve q + 5*y + 15 = 20, y + s = -3*q for q.
-5
Let y = 12507 - 12503. Let a be 1/(-2) + (-650)/(-4). Let l be a/8 - 2/8. Solve 0 = 2*j + y*h - l, 3*j - 6*h + 25 = -h for j.
0
Let u be 1 - 2/1 - -11. Let d(a) = -27*a**2 + 18*a. Let z be d(5). Let x = z + 590. Solve -x*j - 19 = -4*