ve 3*q = 0, 4*u + 4 = -3*q - p*q for u.
-1
Let c = 6 - 4. Suppose c*l + 0*l = 4. Let p be -1*3 + 34/l. Solve -3*z = 2*f - 0*z - p, 17 = -3*f + 5*z for f.
1
Let i = 25 - -4. Suppose 0 = 5*s + 4*y - i, 7 = 4*s - y - 33. Solve -s = 3*f + l + 1, 8 = -f + 2*l for f.
-4
Let g(p) = -p. Let q be g(-3). Let u be (-4 - -4) + (2 + 5 - -8). Solve 3*n - u = -d + 6*n, d + q*n + 9 = 0 for d.
3
Let w(b) = -b**2 + 7*b - 9. Suppose 4*d + 16 = 3*m, d + 21 = 5*m - 0. Let r be w(m). Solve -3*c = -r*u - 12, 13 = -5*u + 3*c - 1 for u.
-1
Suppose -846*l + 853*l - 14 = 0. Solve 2*t = 2*a, 0 + 12 = -l*a + 5*t for a.
4
Let z = -9 - 3. Suppose -7 = 5*o + 5*m - 67, 3*m = o - 12. Let d be o/(-9)*z/4. Solve 3*f = -2*q + 5, -5*q + d = -4*f - 20 for q.
4
Let s(i) = 103*i - 1640. Let p be s(16). Let a be 170/8 - (-2)/(-8). Solve 5*v + a = -j, -3*v - 2*j + 18 = -p*v for v.
-4
Let a be (6/(-3) + -8)/(-2). Solve 2*g - a*i - 29 = g, 0 = g - 2*i - 14 for g.
4
Suppose 41 = 4*n - 75. Suppose -d = 4, -o + d - 33 = 2*d. Let p = o + n. Solve -3*v + 2*l + 12 = p, 2*v = -3*v - l + 7 for v.
2
Let l(f) = -10*f + 20. Let s be l(2). Suppose s = -3*t + 12*t. Solve -4*h + t*n = 2*n + 18, -2*h + n = 11 for h.
-5
Let w = 1599 + -1597. Solve 5*u - w*f = 8, 17*u + 8 = 14*u - 2*f for u.
0
Let q be 46/(-9) + (-5)/(-45). Let t(a) = -4*a - 15. Let m be t(q). Solve 5*z + u = -u + m, -4*u = -2*z + 2 for z.
1
Suppose -8*k + 3*k + 550 = 0. Suppose -3*j = 2*j - k. Solve 0 = -2*o - 3*o - a - j, -5*o - 2*a = 24 for o.
-4
Suppose 0 = -4*n + 24 + 24. Solve 4*z + n = -5*w, -2*z + 4*w = -3*z - 14 for z.
2
Let y = 6 - 25. Let p = 6 + y. Let g = p - -20. Solve 0*u = -r + u, -4*r = 3*u - g for r.
1
Suppose w = 6 - 0. Let t be (-3 - w/(-4))*2*-7. Solve -5*y - 5*k - t = 4, 2*y - k = 2 for y.
-1
Suppose -16 = -20*v + 44. Let u = -2 - -6. Let j be (-1)/u + 296/32. Solve b + j = -4*r, -3*b + 6*b = v*r + 3 for b.
-1
Let g be (0 - 3)*1 + -2 + 10. Solve 4*k = 0, -g*b - k - 25 = 3*k for b.
-5
Suppose 4*w - 6 = 26. Suppose 154 = -p + w*p. Solve s - 2*f + f + 6 = 0, 0 = -4*s + 3*f - p for s.
-4
Let j(d) = -d**3 + 6*d**2 + 7*d - 9. Let m be j(7). Let b(f) = -f - 9. Let c be b(m). Solve c = 5*r + 4*p + 20, -1 = r + 4*p + 3 for r.
-4
Let d = -1304 + 1304. Solve d = 5*a - 5*q + 17 - 7, -4*a + 1 = 5*q for a.
-1
Let b be 9 + 0/((-2)/2). Suppose -b - 6 = -5*v. Suppose v*k - 12 = -k. Solve -4*g - 5*m - 35 + k = 0, 4*g + 4*m + 28 = 0 for g.
-3
Let z be 24/16 - 10/(-4). Let i(o) = 9*o. Let g be i(z). Suppose 2*q - g = -q. Solve 0 = v + 4*l + q, -3 = -4*v + 3*l + 6 for v.
0
Let s(u) = 15*u - 223. Let t be s(15). Solve 9*z - 9 = -3*k + 6*z, t*k + 10 = 2*z for k.
-1
Let m be 2*5*204/170. Solve 5*x - m = 3*d + 8, 12 = 3*x - 2*d for x.
4
Let j(i) = 13*i**3 + 1. Let t be j(-1). Let g be (21 + t)*2/6. Solve -d - 2*y - g = -4*d, -3*y + 6 = -d for d.
3
Suppose -42 = 19*c - 270. Solve -2*w + 6 = 0, 2*u - 4*w + c = 7*u for u.
0
Suppose 19*o = 23*o - 8. Solve 2*g = -3*j + 4*g + 13, -o*j + 9 = -g for j.
5
Let t = -1926 + 1926. Solve -2*i - 5*c + 31 = t, 3*i - 5*c + 1 = -3*c for i.
3
Suppose 1 + 5 = -3*m. Let a be -2 + m/4*-6. Suppose q - 11 = a. Solve -2*w - q = 4*r, -2*w = -w - 2 for r.
-4
Let s(i) = -i**2 - 28*i - 15. Let d be s(-21). Suppose -k = 5*k - d. Solve -3*a + 10 = 4*m, 5*m - k = 3*a + m for a.
-2
Suppose -28*k = -29*k - 2. Let u(s) = s**3 + s**2 - 3*s + 1. Let g be u(k). Solve -w + g*c - 15 + 4 = 0, 0 = -2*w + 5*c - 20 for w.
-5
Suppose -2*f + 80 = 3*f. Let q = f - 6. Solve 2*l + 4*r - 10 = q, 4*l + r - 19 = 0 for l.
4
Let p(n) = n**2 - 20*n + 5. Let q be p(20). Solve 3*d - q = -4*c, -c - 2*c = -d - 20 for c.
5
Let y = 33 + -42. Let b = y + 11. Solve b*l = 2*i + 3*i - 1, 5*l + 5*i + 20 = 0 for l.
-3
Suppose -4*t = -779 + 311. Suppose -5*a + 10 = 3*i - 69, -4*i = -5*a - t. Solve -i = -3*d + 4*v, 0*d - 16 = -2*d + 2*v for d.
4
Let c be -1*(-6)/(7/((-28)/(-6))). Let z(s) = -s**3 + 4*s**2 + s - 2. Let n be z(c). Solve 2*p - 11 = 5*a + n, -3*a - 11 = -2*p for a.
-1
Let d(g) = g**2 - 2*g + 3. Let o be d(2). Let x be ((-174)/(-18) + -13)/((-2)/3). Solve -o*b + 4*b = -5*r - x, 4*b = -2*r - 20 for b.
-5
Suppose 0*v + v - 2*b = 13, 3*v - 19 = b. Suppose v*d - 13 = -8. Let f(i) = -i**2 - 6*i + 2. Let j be f(-6). Solve h + 2*t = -d, -2*t = -2*h - 7*t - j for h.
-1
Let b be 36/(-15) + (-10)/(-25). Let p = 5 - b. Suppose -2*r - l + p = 0, 3*r + 15 = 4*l + 42. Solve r*t - j = 21, -4*t + 3*t + 2 = 2*j for t.
4
Suppose 0 = 5*g + 10, -3*s + 6*s = -3*g. Solve 0 = -4*h - 4*w + 11 + 21, w = h - s for h.
5
Let a be 12/21*(17 + -10). Solve 3*y - a*w + 15 = 0, 0*w - 5*w = 0 for y.
-5
Suppose 36 = -3*v + 9*v. Suppose -4*p = -5*d + 17, 4*p + v = d - 7. Let s be ((-2)/(-7))/(d/7). Solve 5*c + 5 = 0, -s*c = -f - 0 - 2 for f.
-4
Suppose 2*z = -4*n - 3 + 13, -5*z = n - 7. Suppose 0*b + 18 = n*b. Suppose -2 = 2*u - 3*f + f, u - 2*f = -5. Solve x + u*p + 6 = 4*p, 0 = 3*p - b for x.
-3
Suppose 10*q = -64 + 4. Let j = q + 8. Solve 2*c = o - j, -5*c + o - 6 = -2*o for c.
0
Let k be 1190/(-25) - 2/5. Let g = k - -50. Solve y - 6*y = -m - 3, 4*y - 3*m = -g for y.
1
Suppose -3*z = -0*z - 12. Let r = z + -4. Suppose -t + r = -4. Solve -2*w + x + 8 = -t*x, -20 = -5*w - 5*x for w.
4
Let s(b) = 3*b - 3. Let t be s(4). Let c = 6 - -4. Suppose y + c = 2*g - 0*y, -3*g - y + 5 = 0. Solve -t*v + 4*v = 2*z - 5, -z + g*v = 3 for z.
0
Let h = -45 + -36. Let n = 87 + h. Solve 0 = -2*u + 3*s - n*s + 9, 4*s = -u + 12 for u.
0
Let d be (-357)/(-84) - (-6)/8. Solve -2*z - 4*x = 0, 3*z = d*z - 3*x + 14 for z.
-4
Suppose -43*v + 455 = -30*v. Solve 5*c - c + x + 15 = 0, -5*c + 2*x = v for c.
-5
Let w = -124 - -74. Let n = w - -53. Solve 5 = -5*f + 5*k, 0 = 2*f - k + n*k - 14 for f.
3
Suppose 3*q - 3*g + 12 = -0*g, 3*q + 5*g - 12 = 0. Let c be q/(-6) + 59/6. Let j = -6 + c. Solve 2*b + 20 = 3*a, 2*b + 2*b + j = -3*a for a.
4
Suppose -39*p + 65 - 26 = 0. Solve 3*a - h + p = 0, -3*a + 11 = -0*h + 2*h for a.
1
Suppose 0 = y - 6*y + 395. Let x = 99 - y. Solve -x = -4*o, 0 = -q + 2*o - 5 - 1 for q.
4
Let l(b) = b**2 + 7*b + 5. Let n be l(-7). Solve 4*a = -3*q - 17, 3*q + 10 = -n*a - 9 for q.
-3
Let x(w) = -25*w + 2. Let z(j) = 38*j - 3. Let y(v) = 8*x(v) + 5*z(v). Let s be y(1). Let o = -7 - s. Solve 3*a = -4*p + 3, -4*a = p - o - 2 for p.
0
Suppose -8*g - 20 = -10*g. Let y be -4 - g/(-5) - -2. Solve -4*j + 2*n + n = 12, -5*j - n - 15 = y for j.
-3
Suppose 8*h + 32 = 48. Solve -5*g + p + 5 = -4*p, h*g - 17 = -3*p for g.
4
Let g be (-45)/(-3) + 12/(-4). Let m(z) = 2*z - 3*z + g + 0*z. Let u be m(9). Solve 19 = 2*h - u*f + 4, 0 = 4*f + 20 for h.
0
Let x = -1918 - -1923. Solve -3*d + 6 = -2*d + 4*l, 0 = -x*d - l - 8 for d.
-2
Let s be 24/15*5/2. Suppose -s*q = 4*d - 12, 3*d = -0*d - q + 13. Solve -4*x - 3 + 32 = -d*p, 2*p + 8 = -2*x for p.
-5
Let h be ((-4)/(-3))/(-2 - (-40)/15). Suppose -4*k + 3*m - 3 = -5, h*k + m - 6 = 0. Solve -z + 3*t + 2 + 8 = 0, -k*z - 2*t - 4 = 0 for z.
1
Suppose 42*z = 49*z. Solve -w + 5 = z, -3*y + 4 = 4*w - 1 for y.
-5
Let k(z) = -z**2 - 19*z - 30. Let i be k(-14). Suppose -34*d + i*d - 42 = 0. Solve 4*a + 2*x - x = d, -a + 8 = -x for a.
3
Let j(b) = b**3 - 9*b**2 - b + 13. Let d be j(9). Let a(u) = 4 + 3 - 4*u + 3*u + 7. Let n be a(10). Solve 5*y - 10 = n*g, -d*y + 10 = g + y for g.
0
Let h = 40 - 40. Suppose -7*p + 14 + h = 0. Solve -3*i - 5 = -p*s, -12 = 3*s + 2*i - 0 for s.
-2
Let c = -180 + 183. Solve -5*v + 5*b - 2*b + 27 = 0, 3*b = -3*v - c for v.
3
Let b = -1 - -14. Let c = b + -8. Suppose c*r + 16 = 9*r. Solve -28 = r*f - 4*w, -5*w = -4*w - 4 for f.
-3
Let o = 5 - 4. Let q = -1 + o. Suppose q = -l - 4 + 5. Solve w - l - 7 = 4*c, 4*w = 0 for c.
-2
Suppose 62*i - 64 = 46*i. Solve 0 = -5*n - 2*p - 9, 2*n - i*n + p = 9 for n.
-3
Let w(z) = -z**2 - 11*z + 281. Let c be w(-23). Solve -c*r = -5*h, r = -h + 12 - 8 for r.
2
Let k = 19 - 17. Suppose 0 = -k*w + 6. Let a = 11 - -4. Solve w*i - a = 3*t, 9 - 3 = -2*t for i.
2
Suppose 151*z = 155*z - 44. Solve -9 = 5*l + z, 0 = f + 4*l + 14 for f.
2
Suppose u = -2*k + 4, 3*u + 5*k - 11 = -0. Let s = 17 - 15. Solve -10 = 3*p + 4*v, s*p + 14 = 5*p - u*v for p.
2
Let u be (3/(-2))/((-13)/26). Let b = 27 - 54. Let i = b - -38. Solve 0*c + i = -c + 2*j, 4*j - 17 = -u*c for c.
-1
Suppose -5*z = -9*z + 20. Solve 0 = -g + 3*l - z, -3*