, w = c - 3*u for c.
0
Suppose -3*a + 46 - 7 = 0. Solve -n + q - 23 = 3*n, -2*n = -q + a for n.
-5
Suppose 10*y - 143 = 77. Suppose 4*l = -5*w + 71, w + 45 = 4*l - 32. Let f = y - l. Solve -2*v = -v + f*d + 7, 5*v = -3*d - 23 for v.
-4
Let k = -4 - -9. Let s be (-1)/(-12)*2 + (-15)/90. Solve -k = -3*h - y - 0, -5*h - y + 11 = s for h.
3
Let j(t) = t**2 + 8*t - 3. Let r be j(-6). Let o be 22/33 + (26/(-3))/1. Let f be (-51)/r + o/20. Solve f*p = -4*g + p + 2, -5*g - p + 4 = 0 for g.
1
Let v be (-517)/(-188)*2*2. Solve 3*z - 4*z - v = 3*m, 3*m = 5*z - 17 for z.
1
Suppose -4 = -o - 2*u, u = 2 - 1. Solve 2*l - 2 = 0, -11 + 0 = -o*n - l for n.
5
Let d(g) = -3*g**2 - 29*g + 52. Let n be d(-11). Solve n = 4*h - m, -3*h - 5 = m + m for h.
1
Let i be 0 + ((-3 - 0) + 3)/(-2). Suppose 0 = -4*b - j + 33, -3*b + b + 4*j - 6 = 0. Suppose b*l - 15 = 2*l. Solve -l*p - 2*d - 9 - 8 = i, -3*d - 12 = 0 for p.
-3
Let q = 10 + -5. Suppose w - q = -l, -l + 3*l = -w + 3. Let f(x) = -3*x + 5. Let c be f(0). Solve -w*t = -c*k - 2*t - 25, -4*k - 2*t = -10 for k.
0
Let f(r) = -r**2 + 7*r - 5. Let h be f(8). Suppose 2*n + 4 + 30 = -2*u, 3*n = 5*u + 53. Let g = h - u. Solve z - 5*d + 9 + 0 = g, d - 1 = z for z.
1
Suppose 0*d - 104 = 4*d. Let t = d - -29. Solve j + v - 4 = 0, 0 = 4*j + t*v - 2*v - 7 for j.
1
Suppose -g - 2*c = 6, -3*c - 4 = -5*g + 18. Let m(i) = -2*i + 42. Let b be m(18). Let j be 0/(b - 3 - 0/(-2)). Solve 4*t + g*a = -j*t - 14, -3*t - 8 = -a for t.
-3
Let i = 13 + -11. Let m(c) = c**3 + 5*c**2 - 9*c - 14. Let h be m(-6). Suppose h*r = 2*r. Solve i*t + 3*d - 14 = 0, 2*t + 2*t + 4*d - 24 = r for t.
4
Let i = 18 + -11. Suppose -1 + i = -l. Let b = l - -6. Solve b = u - 3*m - 20, 4*m = u - 5*u for u.
5
Suppose 2*w + 16 = 4*g, 3*w + 22 = 5*g + 3. Let o = 0 - -1. Let f = w + o. Solve -n = -2*h + 5, -h - f - 2 = -3*n for n.
3
Suppose 2128 - 2278 = -6*r. Solve -3*a = -2*z - r, a = 3 + 2 for z.
-5
Suppose 2*u - 2*d - 30 = 0, 0 = 3*u + d - 54 + 1. Let o be ((-16)/(-4))/((-1)/(-5)). Let t = o - u. Solve 3*i + 10 = -5, 4*w + 7 = -t*i for w.
2
Suppose x - 3 = 2. Let c = 20 + -15. Suppose -c*g = -2*y - x, -g + 4*g - 3 = -4*y. Solve 5*v + g = o, -3*v - 23 = 5*o - 0*v for o.
-4
Suppose 5*u + 2*m - 26 = 0, 2*u + m - 5*m = 20. Solve -5*l - u*k + 8 = -3*k, 0 = 5*l - k - 24 for l.
4
Suppose g - 18 = -4*h + 6*g, -3*h + 4*g = -14. Solve -r - h*z + 10 = 0, -2*r - z + 14 = 3*r for r.
2
Suppose -l = 7*l. Suppose -2*u - 5*n = -11, 0*u - u + 4*n - 1 = l. Let b be 3 + 1 + -1 + 0. Solve 0*m + 5*y = 2*m, u*m - b*y = -9 for m.
-5
Let y = 132 - 130. Solve 3*x + 0*d - 2*d + 6 = 0, y*x = -d + 3 for x.
0
Let m(h) = h**3 - h**2 + 2*h - 6. Let q be m(0). Let x = q - -6. Let b = 4 + x. Solve -36 = 4*c + b*r, 0*c = -c + 3*r + 7 for c.
-5
Let o(y) = y**2 + 16*y - 129. Let u be o(6). Solve 0 = -b + 2*n - 1 + 3, -6 = -u*b + 2*n for b.
2
Let y be 15/((-900)/(-24))*(31 - 1). Solve -3*q - y = -2*g, 3*g - 6 = 3 for q.
-2
Suppose 28*m - 57 = 25*m + 3*d, 3*m - 4*d = 59. Solve -5*z = -5*c - 2*z - m, 0 = -2*c + 4*z - 18 for c.
-1
Suppose 0 = -4*b - 3*x + 69, 2*x + x + 93 = 5*b. Let d be 42/b - 1/3. Let y(k) = k**2 - 3*k + 2. Let t be y(d). Solve 5 = 5*h - 2*z, -3*h + z + t*z = -4 for h.
3
Let k(g) = g**3 + 2*g**2 + 3*g - 9. Let a be k(2). Solve 4*s - 12 = 4*o, -5*o + a = s + s for s.
4
Let p be 1 - -2 - 2/(-4 - -6). Solve r + 0*r - 11 = 4*b, -4*r = -p*b - 16 for r.
3
Let s(n) = -8*n - 557. Let x be s(-70). Solve 0 = -r - j, 4*j = x*r + 14 - 7 for r.
-1
Let x = 36 - 39. Let z be -4*x/30 + (-90)/(-25). Solve -9 = -3*c - z*q, 4*c - 2*c = -2*q + 6 for c.
3
Let j = -12 - -12. Let r be 171/63 - (-4)/14. Solve j = -3*u - 2*u + 5*v - 25, -r*u = v - 1 for u.
-1
Suppose -u - 12 = -3*m, -6*u - m = -2*u - 4. Let y = 4 - u. Solve 4*o + 6 = -2*l, -y*l + 6 = -0*o - o for o.
-2
Let t be (1 - -5) + -11 - -9. Solve 3*q - 20 = -0*q - t*k, -5*q + 5 = k for q.
0
Let g be (576/4)/(-12) - -31. Let q = -3 + 6. Solve -4*w + 5*u = -g, -w - 2*w + 12 = -q*u for w.
1
Let l(d) = 3*d + 58. Let q be l(-14). Suppose 0 = 8*r - 4*r - q, a - 18 = -4*r. Solve 2*p - 3*p + s = -5, -a*p - s = 2 for p.
1
Let p = -481 - -484. Solve a - v = -0*a, -p*v - 1 = -2*a for a.
-1
Let y be (-12)/(-7) - 2/(-7). Let w be 4/(-10)*(-6 - -1). Suppose -2*a + a = -w. Solve 2*p - a = y*v, -2*v + 2 = -2*p + v for p.
5
Let a(j) = j**3 - 3*j**2 + 4*j. Let o be a(2). Solve 2*f - 3*l = 3, o*l = -3*f + 8*l + 3 for f.
-3
Suppose -8 = -4*l, -1 = -4*b - 2*l + 11. Solve -5*c - 29 = b*t, -2*c - 18 = 5*t - t for t.
-2
Let j(y) = y**3 + 7*y**2 - 8*y + 3. Suppose -4*c + 44 = -4*z, -2*c = z + z + 10. Let f be j(z). Solve -t = -4*m + 6, -f*t + 4*m + 2 = 2*t for t.
2
Suppose 5*j - 5*g = 25, 3*j - 1 = 4*g + 17. Solve -4*k + 4 = 0, o + 0*o - j = -k for o.
1
Let o(f) = 3*f**2 + 37*f - 23. Let z be o(-13). Solve 2*d - 3*y = 10, -z*d + 4*y = -0 - 13 for d.
-1
Suppose -3*f + 9 = 3*j, -4*j + 8 = 2*f - 0. Solve -l = -2*l - 5*c + 4, 0 = -f*l + 4*c - 6 for l.
-1
Let u(c) = c**2 - 19*c - 129. Let h be u(25). Solve -1 = -5*s - h, 3*j + 2*s = 7 for j.
5
Let w be -26*2/(-8) + (-23)/46. Suppose 4*b = 5*r - w, 4*r - 3*b = 7 - 2. Suppose -n = 3 - 6. Solve r*l + 5*x - n = -1, 0 = 3*l + 4*x + 4 for l.
-4
Let c be (1*(-18)/2)/1. Let a be (-16)/(-8)*c/(-6). Solve 8 = 4*t + 5*y + 38, 21 = -3*t - a*y for t.
-5
Suppose -2*n - 4*g + 21 = -g, 0 = -2*n - 4*g + 26. Suppose 2*r - n*r = -6. Solve 0 = -5*q + 3*f - 5*f + 11, 0 = -4*q - 3*f + r for q.
3
Suppose -4*p + 7 + 19 = 3*l, l = 5*p - 23. Suppose -14 = -0*y - l*y. Solve 0 = -3*c + y*c + 4*s - 12, 2*s = 4*c + 18 for c.
-2
Let i = -382 + 384. Suppose 5*v = 2*v + 9. Solve 4*z = i*t + z + 1, 2*t - 5*z = -v for t.
1
Suppose -43*m = -23*m - 7*m. Solve -5*n = 2*z - 10, -13 = -m*z + z - 2*n for z.
-5
Suppose -2*x + 13 = -3*a + 2*a, 0 = -x + 4*a + 17. Suppose -u + 4*q + 20 = -5*u, u + 3*q = -15. Solve x*r + 3 = -2*z, 5*r + 0*z + z - 1 = u for r.
1
Let d be 1 + -1 + 4 + -1. Let y(q) = -q - 5. Let t be y(-10). Solve -2*p + t*g - 23 = 0, -d*g + 2*g + 8 = 3*p for p.
1
Suppose 70 = -3*j + 8*j. Let a be (-14)/(-49) + 192/j. Solve 6 = 3*d + 3*z, -4*z + 10 = -4*d - a for d.
-2
Suppose -5*q + 48 = 3*q. Suppose 8*i = 6*i + q. Solve -i*v - t = t + 16, 5*v - 2*t + 16 = 0 for v.
-4
Let w(z) = 51 + 5*z**3 + 2*z**3 + 0*z - 6*z - 8*z**3 + 6*z**2. Let o be w(6). Solve 2*u + 0*u - 7 = l, l = 4*u - o for l.
1
Suppose -5*g + 3*n = -4 - 8, -2*n + 11 = 3*g. Suppose -2*l - g*s = -s - 18, 3*l = -5*s + 35. Solve 5*b + 4*u - 18 = 3*b, -l*b + 2*u + 9 = 0 for b.
3
Let p = -1077 - -1079. Solve z - 2*c + 10 = 0, -p*c + 4*c - 10 = -3*z for z.
0
Suppose 187 = 62*q + 1. Solve -2*w - 5*j = -8, q*j - 8 = 3*w - 5*w for w.
4
Suppose 5*o = -7*a + 4*a - 331, -418 = 4*a + 2*o. Let h = a + 176. Suppose -4*j = -d + 28, h - 29 = 3*d + j. Solve -4*s + 31 = 3*q, -1 + d = 3*q for s.
4
Let p be (-36)/63*7/(-1). Solve -g + p*n - 6 = -2, 0 = 2*g + n - 10 for g.
4
Let q(m) = -m**3 - 10*m**2 - 9*m + 4. Let k be q(-7). Let s = 85 + k. Let i(t) = -2*t + 1. Let g be i(-2). Solve -4*y = 2*r - s - g, -3*y = 3*r for r.
-5
Suppose 5*g + 8*g - 39 = 0. Solve 2*i = -5*n - 7, -g*n + 2*n + 9 = 3*i for i.
4
Let c = 4 + -1. Let q = 2325 - 2324. Solve -3*f = -l - 3 + q, c*f - 10 = -l for l.
4
Suppose -28*u + 24 = 3*h - 33*u, h = 4*u + 15. Solve -3*w + 1 = 5*c, -2*c - c = h*w - 3 for c.
-1
Let w = 734 - 734. Solve -3*g - 6 = w, 6*p = 2*p - 3*g - 22 for p.
-4
Let g = 10 + 77. Let r = 119 - g. Solve -4*s + u - 12 = 0, -5*s - u - 2*u = r for s.
-4
Let h = 208 + -203. Solve -21 = r - 5*d - 6, 15 = h*r + 5*d for r.
0
Suppose 8*s = -d + 7*s + 3, d - 3 = -5*s. Solve d*c - 8 = -c, -3*c + 3 = 3*f for f.
-1
Let m(r) = r**3 + 7*r**2 + 6*r. Let d be m(-6). Suppose d = 2*g + 3 - 1. Let s be (-1 - 0)/g + -1. Solve -4*a = 12, t = -s*t + a for t.
-3
Let f be (-10)/(-4)*4/5. Let o be (f/6)/((-1)/(-27)). Suppose 8*m + 7 - 7 = 0. Solve z = -3*v + 19, m = -z - 4*v + 3*v + o for z.
4
Let f = 2910 - 2905. Let h(b) = -b**3 - 7*b**2 - 7*b - 6. Let s be h(-6). Solve s = f*k - 10, -5*k = t - 4*k for t.
-2
Suppose -34 = -h + 2*h + 4*o, -3*o = 5*h + 85. Let u(b) = -b**3 - 15*b**2 - 12*b + 28. Let d be u(h). Solve -3*a - 3*t + 0*t + 6 = d, -5*a + 2 = -3*t for a.
1
Let s = 355 - 350. Solve 2*b + 16 = -3*a, s*a + b = -2*b - 26 for a.
-4
Let z(c) be the sec