 = 3*i, 0 = z*i - 3*r - 4 - 13 for i.
1
Let s = -365 - -367. Solve -x = 2*z + s*x - 19, -3*z = 3*x - 24 for z.
5
Suppose -27*x = -29*x + 4, -3*i + x - 2 = 0. Solve 3*n + 2*h = 3*h - 10, i = 2*n + 3*h + 25 for n.
-5
Suppose 2*k + 0*k = 10. Let a(g) = -g + 2 + g + 2*g - 4. Let w be a(2). Solve 0 = k*u + 4*t + 32, 2*u + w*t = -2*t - 20 for u.
-4
Let a(q) = 4*q**2 - 17*q + 28. Let c be a(2). Solve 3*j = 4*h + 18 - 5, -2*j - 2*h - c = 0 for j.
-1
Let d = 190 - 189. Solve 5*t + 4*o - 6 = -d, 0 = -5*t - 5*o + 5 for t.
1
Let g(z) = z. Let d(v) = -2*v**2 - 13*v - 13. Let o(c) = -d(c) + 2*g(c). Let m be o(-7). Solve 0 = -2*i - 5*w - m + 19, 22 = 5*i + 2*w for i.
4
Suppose -3*k - 31 = -4*t, -7*t + 8*t + 3*k - 19 = 0. Solve 2*a - t = -y, -6 = 2*y - a - 1 for y.
0
Suppose 4*z - 44 = -4*r, 3*z - r - 16 = 1. Suppose 1 = 5*u - 34. Suppose -u*f = -3*f. Solve 2*s - 19 = 3*a + 6*s, f = -5*a + 3*s + z for a.
-1
Let k(x) = x**2 + 15*x + 15. Let s be k(0). Solve -s = o - 6*o, -2*m = -o - 7 for m.
5
Let f(l) = 78*l + 628. Let m be f(-8). Solve 4*q - 6 = -2, m*q = u for u.
4
Suppose 81*v + 4*o + 12 = 82*v, -5*v + 14 = 3*o. Solve -4*n = g - 18, -n + v*g - 20 = -4*n for n.
4
Let r be (-2)/(8/(-12)) - -5. Suppose 2*s + 0 - r = 0. Solve 5*y + s*c + 5 = 0, 3*y + y + 4 = 3*c for y.
-1
Let d be 44*(15/(-12))/(-5). Let p be 10/(-55) + 24/d. Let t be 8/2 - (2 - 1). Solve t*k + 3*g - 3 = 9, 4 = -2*k + p*g for k.
1
Let t = 6 + -10. Let q = 6 + t. Let c be 1/(q/14) + -3. Solve 3*m - 35 = 4*j, c*j + 28 + 17 = 5*m for m.
5
Suppose 4*h + 13 + 15 = 4*i, 4*i - 3*h - 26 = 0. Solve -16*c + 12*c - 20 = i*d, 0 = 5*d - c + 20 for d.
-4
Let d = 349 - 348. Solve k - d = -3*j, 1 + 0 = 2*k + 5*j for k.
-2
Suppose -29*k - 65 + 92 = -118. Suppose 0 = 3*x - 4*f + 3*f + 16, -2*f - 10 = 0. Let h be 2/x - (-2)/7. Solve 3*c + 5*w = 1, 5*w + k + h = 0 for c.
2
Let w = -596 - -926. Let b be 8/28 + w/21. Solve 5*i + b = h, -2*h - 1 = 7 for i.
-4
Let q(h) = -h + 7. Suppose 5*u - 32 + 8 = -l, -2*u + 4 = -l. Let t be q(l). Let c be 0/((-4 - -2) + 1). Solve 0 = -t*y - 5*g + 10, 0 = 3*y - c*y - g + 2 for y.
0
Let j be (-4312)/(-440) - (-1)/5. Solve 5*h + j = 3*n, 5 + 5 = -n - 5*h for n.
0
Suppose -9 = -4*h + 7. Let j be 45/12 + 1/h. Suppose 0 = -u + 5*t + 1 + 11, -j*u - t = -90. Solve -u = -5*g + 4*p - p, 16 = 3*g + p for g.
5
Suppose -22*t + 5*t + 85 = 0. Solve 3*d - 14 = 4*d + 4*k, 0 = 4*d - t*k - 7 for d.
-2
Let w = 51 - 42. Let h be (w - 9)/(0 - -4). Solve -i = -3*f - h*i, -4*f + 5*i = -11 for f.
-1
Let t = -46 - -73. Suppose v = d - 3, 2*v - v - t = -5*d. Solve -l + 40 = 3*l - 4*s, -v*l = 3*s + 5 for l.
5
Let m(y) be the second derivative of -y**3/3 - 9*y**2/2 - 6*y. Let g be m(-7). Solve -p + 10 = -4*c, p + 2*p = g*c + 9 for p.
-2
Suppose 25 = -208*v + 213*v. Solve -v*s = -j - 7, 5*j + s + 4*s = -5 for j.
-2
Let k(y) = -183*y + 918. Let v be k(5). Solve -3*o - 5*n + 6 + 4 = 0, 2*n = -v*o - 5 for o.
-5
Suppose -c = -2*h - 19, -c + h + 281 = 269. Suppose -4*w - 4*o + 9 = -w, -o - 3 = -w. Solve u + 26 = -5*p, -c*u = -2*u + w for p.
-5
Suppose -118 = -4*c - 5*m - 25, 2*c + 2*m - 44 = 0. Suppose c = -9*p + 62. Solve -4*q + 29 - p = -5*h, -5*q - h + 1 = 0 for q.
1
Let o be ((-3)/(54/(-24)))/(4/18). Solve -d + 4*c - 3*c = -o, d + 3*c + 2 = 0 for d.
4
Let o = 130 + -109. Suppose -i + 26 = o. Solve -i*u + t = -17, 0 = -u + 3*t + 1 + 8 for u.
3
Let b(x) = -4*x - 214. Let a be b(-54). Solve 3*o = -4*y + 17, 25*y - a*o = 26*y - 8 for y.
2
Let w = -161 - -163. Solve 0 = -4*a - 4*f - 8, -2*a + 9 = -5*a - w*f for a.
-5
Suppose b = -2, 4*v - 2*b + 13 - 73 = 0. Let l = v - 0. Suppose 3*w - l = 1. Solve -a + 1 = w*c - c, 2*c + 5*a = 23 for c.
-1
Suppose -28*k + 12 = -72. Solve -k = -5*w - 2*d + 5, 3*w - 4 = -d for w.
0
Suppose -7 - 3 = -2*q. Let f = 3 + 1. Suppose c + f = 0, 4*c = -2*l + l + 13. Solve q*h - v = -l, h - 3*h + 10 = 5*v for h.
-5
Let k = -72 + 74. Suppose -6 = -5*j + 5*n + 4, 5*j - 14 = 4*n. Let y be j - 3 - (-4)/k. Solve 0 = g - f - y, -3 - 5 = -g + 2*f for g.
2
Let o be 8*12/8*(-3)/(-12). Solve o*w + 4 = 3*z - 2*z, 0 = -3*w for z.
4
Suppose 5*q + 20 = -5*s, 3*q - 4*s - 2 - 14 = 0. Let o = 5 + -8. Let d(b) = -8*b + 1. Let y be d(o). Solve m + 3*h + 11 = -0*m, -5*h - y = q for m.
4
Let h be 22*2/4 + 0. Suppose 4*k - h = -3. Solve -5*w - 6 = -2*p + 17, -k*p + 3*w + 13 = 0 for p.
-1
Suppose o + 3*z = -30 + 49, 4*z - 20 = 0. Solve 3*b = 0, -w - o = -2*w + 5*b for w.
4
Let w be ((0/(-4))/(-4))/1. Let o = 34 + -32. Let q be 0 - 1 - -3 - o. Solve 3*n + q*m = 4*m + 25, -3*n + m + 13 = w for n.
3
Let d be ((-51)/(-6))/((-1)/(-2)). Suppose -8*q - 54 = -510. Suppose 0 = 60*i - q*i - 6. Solve i*o - 9 = -3*y - 2*o, -5*o + d = -2*y for y.
-1
Let n(o) = 11 + 4*o - 6*o + 5*o. Let r be n(-3). Solve -5 = -b - p - p, 20 = 4*b + r*p for b.
5
Suppose 288 = 96*n - 96. Let j be 5*(-1 + (-14)/(-10)). Solve j*t + 16 = -3*p, -3*t - 2*t - n*p = 33 for t.
-5
Let c = -62 - -66. Solve -c*w - 20 = -4*u - 0*w, 0 = -5*w - 10 for u.
3
Let v be -4 + 1 - (-3)/1 - 4. Let b be ((-88)/66)/(v/6). Solve n + 9 = -3*y, b*n - 5*y = -1 + 16 for n.
0
Let a = 38 + -38. Let v be (-4)/(-6 - (a + -4)). Let p = 16 - 6. Solve h - 10 = -v*o, 0 = 2*o - 5*h + 4 + p for o.
3
Suppose 0 = -2*v + 6 + 10. Suppose 12*g - v*g - 16 = 0. Solve -1 = -0*m - m - 3*t, g*t - 5 = -5*m for m.
1
Suppose -2*h = -h - 14. Let q be ((-7)/h)/((-2)/8). Suppose 2*z - 5 = q*k + 1, 2*z - 3*k - 7 = 0. Solve 3*n - 4*b = 3, 3*n = z*b - b - 6 for n.
-3
Let a = 168 - 119. Suppose 0 = -4*q - a - 23. Let k = -11 - q. Solve 5*t + 5*w - 1 = 9, 4*w = -5*t + k for t.
-1
Let g = 67 - 29. Suppose -g = 5*o - 88. Solve -4*v + 25 = j, 3*v - 3*j = 2*v - o for v.
5
Suppose 4*g - 1 = -9, 2 = -q - 3*g. Solve 3*x - 6 = -3*a, -4*x + 2 = 3*a - q for x.
0
Let v be (36/(-45))/(1/(-5)). Let q = 9 - v. Let n be 0 + -2 + 35/q. Solve j = -n*w - 15, 3*w = -2*w - 20 for j.
5
Let o be 9*1 + 210/(-42). Solve 2*p - o*p + 2*u = 0, -3*p + 4*u - 2 = 0 for p.
2
Let y be 80/30*(-6)/(-4). Suppose 3*u - u = y. Solve -4*p = -2*i - 10, 3*i + 2*i = p + u for p.
3
Let d = 67 - 20. Let v = -42 + d. Solve -t + 4*p - 5 = -0*t, -v*t - 3*p = 25 for t.
-5
Let o be (-16 - -17) + (-6)/(-2). Suppose 2*l + 5*u = 21, -o*l + 0*l + 5*u - 3 = 0. Solve p + 4 = -s, -l*s = p + 3*p + 13 for s.
-3
Suppose 6*x = 4*x - 66. Let v = x - -60. Solve -k - v = -5*n, 3*n - 18 = n + 4*k for n.
5
Suppose -17*s = 6*s - 69. Solve -w + 8 = 4*f, -w + s = -f - 0 for w.
4
Let n = 328 + -317. Solve 5*k - 2*f - 8 = 0, -5*f - n - 9 = k for k.
0
Suppose -4*x + 1194 - 1174 = 0. Suppose -z + 3 = -7. Suppose -4*v - z + 2 = -4*l, -4*l + 35 = 5*v. Solve -20 = x*j - n - 0*n, n = -l*j - 20 for j.
-4
Let i = 560 - 555. Solve -i*d - 2*k + 21 = 0, d - 5*k + 3 = -3*d for d.
3
Let i(r) = -r**3 + 7*r**2 + 2*r - 16. Let y be i(7). Let m be (5/y)/(100/(-80)). Solve 0 = x + 5*c + m, 0 = x - 0*x + 3*c for x.
3
Let i(c) = -c**3 + 9*c**2 + 14*c - 38. Let z be i(10). Solve -z*g - n + 2 + 2 = 0, 3*g - 3*n = 6 for g.
2
Let r = 4 + -12. Let f = -4 - r. Suppose -f = -5*p + 6. Solve 0 = y + p*q + 3, 4*q - 9 = 3*y + 6*q for y.
-3
Let d = 87 - 49. Suppose -d*x - 110 = -33*x. Let f be (-6)/33 + (-202)/x. Solve o - 5*s - 7 - f = 0, -s = -2*o + 5 for o.
1
Suppose 29*a - 144 = 1. Solve -9 = a*m - 0*m - h, 4*m - h + 7 = 0 for m.
-2
Suppose 4*j = -4*j + 64. Let v be j + 1 + (-9)/(-3). Solve 4*k = -v, -3*f + 6 = 3*k - 4*k for f.
1
Suppose 5*l = 1 - 21, -c = -5*l - 23. Let v be (1/c)/(((-3)/(-1))/9). Solve 4*y + y = -5*z - 5, y + 2*z = -v for y.
-1
Let h be (-8)/8*(2 + -7 + 2). Solve -h*g - 28 = -4*q, -5*q + 8*q + g - 8 = 0 for q.
4
Suppose -g + 5*y = -8, -32*g + 3*y + 36 = -29*g. Solve 4*u + o = -g, -u + 2 = o - 6*o for u.
-3
Suppose -2*h + 7 = -5. Let g(n) = n**2 - 9*n + 14. Let x be g(h). Let q be ((-24)/(-28))/(x/(-28)). Solve q = -w + a, w - 3*a = -5 - 5 for w.
-4
Suppose 15 = -3*f + 6*f. Suppose f*g - 5 = -k, g + 16 = -g - 4*k. Let s be ((-3)/g)/(6/(-8)). Solve -2*u - u = o + 4, s*u + 1 = o for o.
-1
Suppose -2*m = -3*m + 4*g + 3, -3*m + 2*g = 1. Let u be (-2 - -2) + m + 1. Solve -3*j = h - 8, -4*h + u*j = -4*j + 16 for h.
-1
Let o be -6*(-2)/(-6) - -4. Suppose -15 = -4*s - s. Solve 2*i + 0*j - 18 = -s*j, -2*i + o*j = 2 for i.
3
Let m = 113 - 76. Solve -3*r = 3*q, 2*r - m + 12 = 3*q for q.
