j + 25, y*w + 3*j = -0*w + 25 for w.
5
Let i be -8 + 1*(-1)/(-3)*6. Let q be (8/6)/(2/(i + 12)). Let v be (-2 + q)/(2/4). Solve -6*c = -c - v*s - 33, -7 = -c + s for c.
5
Let g(q) = -2*q**2 - 208*q - 988. Let k be g(-5). Solve -2*w = 8*y - 3*y + 19, y = -k*w + 1 for y.
-5
Let s = 33 - 31. Solve -21*g + 5*c + 26 = -17*g, g + s*c = 0 for g.
4
Suppose 0 = -184*k + 27*k + 628. Solve -3*l - k*j = -3*j + 20, 2*j + 25 = -3*l for l.
-5
Let f(y) = 2*y**2 + 12*y + 5. Let a(x) = -x**3 + 5*x**2 + 36*x - 6. Let w be a(9). Let m be f(w). Solve 2*i = 4*s + 18, m*s - i - 1 + 16 = 0 for s.
-2
Let t be (-200)/(-30)*9/6. Suppose -113 = -t*k - 13. Let y = 3 - -4. Solve -2*n - k = 0, y = -4*z - 4*n - 13 for z.
0
Let q be (-1 + 4 + -2)*1. Suppose -3*n + q = -2*n. Suppose -n - 23 = -8*d. Solve -5*p + w = 2, 4*p - d*w = -5*w + 4 for p.
0
Let q = 660 - 637. Suppose 0 = 3*t + 6, -u - q = -2*u - t. Solve 2*g + u = -5*c + g, 25 = -5*c - 3*g for c.
-5
Suppose 20*u = 6*u + 4*u + 20. Solve 0 = -u*l + 5*t + 16, -3*l - 4*t + 5 - 4 = 0 for l.
3
Suppose -2*x - 32 = -4*r, 54*x - 55*x = 4*r - 32. Solve 2*p = -4*j + r, -3*p + 3 = 3*j - 6 for j.
1
Let m(w) = -2*w**3 + 18*w**2 - 34*w + 14. Let r be m(6). Suppose r*z - 29 - 23 = 0. Solve -5*b + 7*h - 15 = 2*h, b + z*h = 3 for b.
-1
Suppose -u + 4 = -32. Let t = -30 + u. Suppose -14 + 2 = -t*k. Solve 0 = 2*g + 8, -k*g = 2*m + g + 18 for m.
-3
Let u(c) = c**3 - 5*c**2 + 4*c + 1. Let m be u(3). Let x be (20/(-6))/m*6. Let j = -98 - -100. Solve 0 = j*l - 6*l - 5*k - 24, 4*l = -x*k - 20 for l.
-1
Let r be 4/7*((-54)/(-12) - 1). Suppose 3*c + r*c = -2*d + 13, -2*c = d - 6. Let m be 28/35*(-5)/(-2). Solve -5*y = 3*q + c, 1 = -m*y + 4*q + 11 for y.
1
Suppose 15*x - 12*x = 9, -3*h + 156 = 4*x. Suppose 23*r + h = 39*r. Solve 0*t = -5*t - 4*a, -r*a = -5*t for t.
0
Let d be -1 + 161*(-2 - -1) + 1. Let h = d - -165. Solve h*y + g - 4 = y, 3*y + 8 = 2*g for y.
0
Suppose -5*j - 4 = -j. Let q be 1/(8/(-10) - j). Let a(d) = -177*d + 13099. Let g be a(74). Solve 4*t = -q*l - 18, -t = g + 1 for l.
-2
Let l(m) = -2*m**3 + 2*m**2 - m - 1. Suppose 9*y + 5*b - 15 = 4*y, 16 = 4*b. Let q be l(y). Let n = q + 0. Solve 5*a + j = 24, a = -0*a + n*j + 9 for a.
5
Let f be 2/4*110/11. Suppose -f*z - 21 = -56. Let i be -1*(-75)/(z - 4). Solve -a - 5*p - i = 0, -a + 4*p - 5 = 5*p for a.
0
Suppose -3 - 1 = -b. Suppose 5*d + b = 24. Suppose d = -0*y + 2*y. Solve y*t = -i - 4*i, 0 = -5*t - i for t.
0
Suppose -138*n + 137*n = -2*v + 12, 0 = 4*n - 3*v + 13. Let i = -3 - -8. Solve -n*o = -s + 1, i*o = -4*s + 4 + 13 for o.
1
Let l = 6306 + -6287. Solve -3*o + 3*f + 6 = 0, 2*o + 5 = -3*f + l for o.
4
Let x be 1/(-2) + (-15)/(-2). Let p(s) = -35*s**2 + 10*s - 20. Let u be p(3). Let o = -302 - u. Solve 3*l = o*f - 3, -l - 4*f = -2 - x for l.
1
Let k = -2793 - -2796. Solve 13*w = 5*w + g - k, 3*w - g = -3 for w.
0
Let c(h) = -h**3 - 52*h**2 + 3*h + 159. Let n be c(-52). Solve -3*d - 4*l - 2 = -24, n*l = 12 for d.
2
Let x be 118/767 + 50/13. Suppose 19*m = 14*m + 2*v + 18, x*m + 12 = -5*v. Solve -4*i + 4*c - m*c = 20, 2*i = -c - 6 for i.
-4
Suppose -12*s + 65 = 17. Suppose s*d + 13*d = 0. Solve w + 4 = 2*v + 9, -2*w + 2*v = d for w.
-5
Let k = 119 + -126. Let v(o) = o**3 + 9*o**2 + 2*o - 82. Let c be v(k). Solve -3*s + 4 = c*f + 2*s, -5 = f - s for f.
-3
Suppose 4*v + 2*h - 8 = 12, -12 = -3*h. Let w(l) = 10130*l + 50655. Let k be w(-5). Solve v*y + y = -3*q, y - 17 = -k*q for y.
-3
Suppose 2*v - 26 = 3*c, 4*v - v + 46 = -4*c. Let m be 39/26 - 5/c. Solve -m*j = -5*r - 12 - 6, -j - 5*r = 6 for j.
4
Let f = -35 + 47. Suppose -2*o = -3*c - f - 1, -o - 5*c = 13. Solve -o*k + 0 = 5*z - 3, -3*k = 5*z - 2 for k.
-1
Suppose 2*v + 2 = 8. Suppose -486 = -4*t - 2*f, -6*f = 2*t - 11*f - 273. Let d = 127 - t. Solve 0 = -3*l + d*c + 12, 0 = -v*l - l + 5*c + 21 for l.
-1
Suppose 46 = 6*j - 434. Suppose -10*m + j = 10*m. Solve 10 = 2*v + m*i, v - 2*i + 0 = 5 for v.
5
Let f = 15348 - 15346. Solve f*h = -0*h + 8, -2 = -3*n - 2*h for n.
-2
Suppose -4*v = -5*c + 245, -4*v = c - 8 - 65. Let f = -13 + c. Solve 5*k = -2*o - 2*o + 45, 3*k = -5*o + f for o.
5
Suppose 2*g = -g + 267. Let h be (-3)/(12/(-70))*168/35. Let t = g - h. Solve 5*v = -2*s - 12, -3*s - t*v = -3*v + 7 for s.
-1
Let m(u) = -u**3 + 3*u**2 + u + 7. Let g be m(3). Let t be 1 + 8 + -14 + g. Solve -2*n = 4*c - 12, -4*c = -0*c - t*n - 40 for c.
5
Let f be 7*(-19)/((-1064)/(-1536)). Let q = -192 - f. Solve q = v - 5, -2*h + 3 + 13 = 2*v for h.
3
Suppose -84*x = -88*x. Let n be (-6 + 7 + x)*2. Solve 4*r - 31 = 5*t, t + r - 9 = -n*r for t.
-3
Let a(h) = h**2 + h - 61. Let y be a(0). Let g = -115 - y. Let v be (4/(-7))/(1 + g/42). Solve 27 = -5*m + v*i, 4*i - 3 = 5*m + 26 for m.
-5
Let l(s) = -s**2 + 366 + 0*s - 368 + 8*s. Suppose 0 = x - 1 - 6. Let t be l(x). Solve -5 = -0*i - t*i + 2*c, 2*i - 5*c = 23 for i.
-1
Let o be ((-8)/16)/(2*2/272). Let a be (-1)/4 - o/8. Suppose a*d - 6 = 30. Solve -v + 4*i = d, i = 5*v - 0*i - 12 for v.
3
Let v(l) = l**3 + 4*l**2 - 6*l + 2. Let u be v(-4). Let z = u + -22. Solve -4 = 2*y + 2*b, -5*y = -z*b - 0*b + 28 for y.
-4
Let t(n) = 13*n**2 - 2*n + 3. Let z be ((-10)/7 - -2)/(4/14). Let m be t(z). Suppose 0 = -7*l + 19 + m. Solve -g = 2*h - 4*h - l, 7 = g - h for g.
4
Suppose 2*c + 705 = -5*v, -5*v - c = -4*c + 705. Let s = v + 144. Solve -s*b - 5*a - 9 = -0*b, -3*a - 11 = -b for b.
2
Let a(o) = -8 - 4*o + 2 - 2*o - 24. Let f be a(-10). Suppose -18*u - f = -84. Solve 0 = b - 5*b + 12, -3 = u*x + 3*b for x.
-4
Let i = -6174 + 6189. Solve -b + 10 = 17*q - i*q, 2*b + 15 = 3*q for b.
0
Suppose 37 + 58 = 5*x. Suppose -x + 25 = -2*a, 3*k + 6 = -4*a. Solve 5*q + 5*g = 0, 3*g - 2 = -4*q + k*q for q.
-2
Let q(g) = -38*g**3 + 2*g + 2. Let r be q(-1). Let d be r/6 + 7/(-2 + -19). Suppose -d*z = -78 + 30. Solve j - 2*o + z = -0, 9 = -3*j + 3*o for j.
2
Suppose -280 = 15*r - 2035. Let z = r - 114. Suppose b + z = 7. Solve -2*t - 4*v = -6*t, -5*t + 9 = b*v for t.
1
Suppose 2*b + 1254 = 5*p, -16*b + 15 = -11*b. Suppose 0 = 34*u - 52*u + p. Solve -u = -2*w - 2*m, 3*w - 2*m - 6 = -0 for w.
4
Let r(k) = 21*k + 317. Let d be r(-15). Let y be (15/(-5))/3*0. Suppose 0*t = 4*g - t - 12, y = 3*g - t - 8. Solve -g*f + 4*s = 12, -f + d*s = 1 + 7 for f.
2
Let n = -8743 + 8745. Solve -6*m + m + 5*t = 45, 0 = n*m + 3*t - 7 for m.
-4
Suppose 4*m = 4*h - 8, h + 6 + 4 = 5*m. Let t = 236115 + -236113. Solve -m*y = -3*c + 9, 6*c = 5*y + t*c + 17 for y.
-5
Let p(r) = 3*r**3 + 6*r**2 + 3*r + 1. Let h be p(-1). Solve 29*v + 2 = -y + 28*v, -v = -h for y.
-3
Let r(d) = -3*d**2 + 19*d + 14. Let l(q) = 48*q - 233. Let b be l(5). Let v be r(b). Solve 3*n + 2*a + 8 = v, n = -3*n - 3*a - 12 for n.
0
Let r be (-9)/(15/(-5))*1. Suppose 3 = -r*d, 3*t + 2 = -3*d + 5. Suppose -t = k, -k = -4*x - 0*k + 22. Solve 3*p + p + 2*v = 22, -v = -x for p.
3
Let a(v) = 2*v**2 - 15*v - 13. Let d be a(8). Let x = d + 2. Let n be (-1 + -2)/(-4 - x). Solve n*u - c + 2 = 0, 5*u + 2*c - 14 = u for u.
1
Let b(v) = 3*v**2 - 1. Let d be b(-1). Let n = -2128 + 2134. Solve -z = k - d, -n*k = -k + 4*z - 5 for k.
-3
Suppose -7*g + 21*g = 2632. Let l = g + -157. Solve 4*h = -5*d + l, 3*d + 7 = 4*h - 0*d for h.
4
Let t(x) = -1163*x + 3489. Let s be t(3). Solve -w - 104 = 3*i - 109, -2*w + 2*i + 10 = s for w.
5
Let j(k) = k**3 + 12*k**2 + 5*k + 15. Let g be j(-12). Let l = 47 + g. Suppose l*p = 6*p - 72. Solve -2*n - 1 = 5*s + p, -2*s - 4 = 2*n for s.
-5
Let c(w) = 19*w + 15*w - 47*w - 12 - 2*w**3 - 23*w**2. Let r be c(-11). Solve 5*k = -2*g - r - 0, 0 = 2*g + 10 for k.
0
Let q be ((-8)/24)/((-2)/(-18)). Let c be (-5 - q)*((-3)/(-3))/(-1). Solve -3*p + c*p = -3*w + 8, -5*p - 12 = -w for w.
2
Let u = -144 + 144. Suppose 4*b + u + 0 = 0. Solve b*w - 7 = -f + 3*w, 0 = -3*f + 4*w + 16 for f.
4
Let w = -2534 + 2543. Solve 5*v + 21 = 4*j, -v - w = 4*j - 0 for v.
-5
Let s = -47 + 69. Suppose 3*m - 20 = -14. Suppose -m*g + 20 = 3*g. Solve g*k - 8 = y, -4*y - 4*k + 2*k = -s for y.
4
Let o be 18/(-60)*-8 + (-64)/(-40). Solve 0 = m + 3*l + 16, 7*m - o*l = 3*m for m.
-4
Suppose 0*q = 5*q + 10. Let i be ((0 - 2) + 0)*(1 + q). Suppose 7*y + 16 = t + i*y, 20 = 4*t + 2*y. Solve t*a = 4*a - j - 13, 5*a + j + 25 = 0 for a.
-4
Let p be 14/42 + (2/18)/(40/960). Solve p*t = -5*v + 7*t - 37, -t = -