 for y.
0
Let c(w) = 2*w**2 + 18*w + 4. Let i be c(-9). Suppose i*j = 2*b - 18, 3*j = -3*b + 2*j - 1. Let u = b - -5. Solve 0 = 3*m - 3*s, 0 = u*m - m + 2*s + 14 for m.
-2
Suppose -3*g + 105 = -0*g. Suppose -g*a = -39*a + 64. Solve 3*s - 2*v = -5 - a, 5*s + 2*v = -19 for s.
-5
Let p(s) = 2*s**2 + 21*s + 86. Let a be p(-6). Solve -3*b + 4*q = -3, 7*b - a = 3*b - 4*q for b.
5
Suppose 4*m + 5 - 41 = -4*g, 3*g - 21 = -2*m. Suppose -m*w + 3*w + 30 = 0. Let x be (-4)/(-26) - w/65. Solve 5 = -3*u - i, x*u = 4*u + 3*i + 10 for u.
-1
Let t be 4 + -1 - 63/3. Suppose -137 = -3*m - 5*v, -3*v + 75 = 2*m - 15. Let j = t + m. Solve -8 - j = -4*q - 3*w, -3*q + 21 = 2*w for q.
5
Let l be 10 - 16/(-6) - (-4)/(-6). Solve 35*b + l = -4*c + 38*b, -5*c - 4*b = -16 for c.
0
Suppose 0*t - 4*t = -80. Suppose j - v = 9, -33*j - 29 = -34*j + 5*v. Solve 5*p - 3*f = -4*f - t, j*p + 2*f + 16 = 0 for p.
-4
Let r be -1 - (-3)/3 - -13. Suppose 15 = -10*t + r*t. Solve 2*n - 6 + 16 = 5*d, t = n for d.
4
Let p = -27 - -29. Suppose -4 = 3*y - j, 2*y + j - 2 = 2. Solve 1 = s - 0*s, y = p*q + 4*s - 4 for q.
0
Suppose 5*x - 17 = -7. Let v(c) = 3*c**3. Let l be v(x). Suppose l + 0 = 6*h. Solve 0 = 4*n - 3*u - 32, 5*n = h*u + 27 + 14 for n.
5
Let f(x) = -x + 1. Let u be f(-1). Let k be (2/4)/(4/(-128)). Let i = -8 - k. Solve 3*s + u*c - i = 3, -3*s + 9 = 3*c for s.
5
Suppose -u = 32 - 34. Solve 2*v - u = 2*g, -v - 5*g - 12 - 5 = 0 for v.
-2
Suppose -5*g - 235 = -0*g. Let x = g + 51. Solve x*y - 7 - 8 = 3*j, 0 = -4*j - 4*y + 8 for j.
-1
Let n be 4*(-1)/(3/(-3)). Suppose 5*m + 3*k = m - 1, -2*m + n*k = -16. Let v = -122 - -125. Solve i - v*g = -0*g - 4, m*i = 5*g - 5 for i.
5
Let j(i) = -2*i**3 - 103*i**2 + 50*i - 96. Let p be j(-52). Solve -3*b + 12 = 0, 2*s - p = 3*b - 5*b for s.
0
Suppose 15*x - 43 = -13. Solve 2*v = -r - 8, 4*r + x*v + 2*v = -12 for r.
2
Let p be 33/12 + 2/8. Suppose p*d - 4*d = 2. Let i be (-49)/(-7)*d/(-7). Solve 4*u = 4*m + 16, -i*u + m + 8 = 6*m for u.
4
Let o(m) = -m + 2. Let x be o(3). Let l(p) = 24*p**3 + p**2 + p + 1. Let c be l(x). Let q = -5 - c. Solve 5*j = -2*f - 21 + 6, -4*f + 2*j - q = 0 for f.
-5
Suppose -4 + 8 = 3*x - 4*b, 5*x + 2*b = -2. Suppose x = -4*q + d + 18, q - 5*d + 8 = 3. Solve 5*o - 25 = 0, o + q = -5*h + 3*o for h.
1
Let z(l) = l**2 - 12*l - 24. Let g be z(14). Suppose -g*b = -5*d - 7, 3*b = -0*b - 4*d + 13. Solve -3*f + 6*i - i - 22 = 0, -4*f - 22 = -b*i for f.
-4
Let q be 8 - (-10)/15*-9. Let s be -1 - (2 + 51/(-3)). Solve 2*m + 2*o = -3*o - 21, s = q*m - 2*o for m.
2
Suppose 4*l = 3*b + 2*b, 2*b = -5*l. Solve 4*w - 4*a = -l*w + 4, 2*w + 2*a - 18 = 0 for w.
5
Suppose 2*o + 1 = -1. Let n be 1/(-3) - o/3. Suppose n = 5*y - 1 - 19. Solve 0*w = -y*h - 2*w, -2*w - 7 = -3*h for h.
1
Suppose 2*x - 2*t = -7*t + 25, 4*x - t - 39 = 0. Solve -3*g + 5*j + 20 = 0, -2*g + 1 = -j - x for g.
5
Let c(v) = -32*v. Let x be c(-1). Suppose r + 5*o - 24 = -0*r, 0 = -5*r - 3*o + x. Solve -2*j = 2*z + 2*z - 28, 5*z + r*j - 41 = 0 for z.
5
Suppose -12 = 3*z + 4*u, 0*u + 12 = 2*z - 4*u. Solve z = -3*c - 4*h - 8, -2*h - 2 = c + 2 for c.
0
Let d = -790 + 794. Suppose -6*w + 24 = -2*w. Suppose -d*b + w = -b. Solve b*t + k + 3 = 2, 5*k = 5*t + 10 for t.
-1
Let n be (1 - 10)/(2 + -3). Suppose -4*s + c = -8, -s - 4 = 3*c + 7. Suppose -4*g + 12 = -2*z, -5*g + 6 = 3*z - 3*g. Solve v + z*v = -s, -4*l - 5*v = n for l.
-1
Let o = -16 - -18. Suppose 5*m = 5*g - o*g - 43, 0 = -4*g - 16. Let h = 39 + m. Solve -a + 2*t = -12, -5*a + h = t - 3*t for a.
4
Suppose 0 = 3*w - 9 - 9. Suppose -w*s + 30 = -18. Suppose 0*p = -2*p + s. Solve -3*v + 2 = -v + p*d, 0 = 5*v + 5*d - 10 for v.
3
Let z = 56 - -174. Suppose -3*u - 2*u = -z. Suppose 0 = -5*w + 2*x + u, -4*w - w + 37 = x. Solve -2*h + w = 0, -5 = -n - 5*h + 11 for n.
-4
Suppose -41*p + 35*p = -30. Solve -p*t = -0*t + 5, -2*d = -t + 3 for d.
-2
Let i = 30 - 28. Suppose i*r - 30 = -13*r. Suppose 2*w - 4*b - 8 = 0, -4*b - 5 - 3 = -5*w. Solve 2*y = -w*a - a - 4, r*y = -3*a for y.
-3
Suppose 0 = -2*f + 2*n + 70, -4*f + 2*n + 91 = -51. Let a be (f/(-30))/((-7)/(140/8)). Solve -a*h = -4*o - 7, -h - 2*o = -0*h + 1 for h.
1
Let o = 17 + 29. Suppose 4*r - 34 = 2*z - 0*z, 3*z - r = -o. Let j = z + 23. Solve -d = 5*u - 4*d + 34, u - d = -j for u.
-5
Suppose -5*l + 5*l = 4*l. Suppose l = -4*s - r + 20, r + 21 = 5*s - 4. Solve -2*i = -5*q - s, 2*q + i - 3*i + 8 = 0 for q.
1
Suppose 4*k - 73 - 27 = 0. Let b be ((-10)/k)/(1/(-50)). Solve 3*j + f - 4 = 0, -5*j = -0*f - f - b for j.
3
Let b(z) = -35*z + 3 + 4*z**2 + 33*z - 1. Let r be b(-2). Solve 5*h + 2 = -i + 1, r = 5*i - 2*h for i.
4
Let v = 714 + -709. Solve -4*z = -k + 19, -2*k + 35 = -v*z + 3*k for z.
-4
Let m be (-90 + 100)*(46/20 - 2). Solve m*i - 7*i + 3*u + 1 = 0, -i = -5*u - 13 for i.
-2
Suppose -6*k + 7*k - 9 = 0. Let r be (-4)/(-3)*(k + -3). Let q be (-1)/(-2)*r/2. Solve -q = 4*a + 2, -5*l + 8 = -3*a for l.
1
Let b(j) = j**2 + 9*j - 788. Let i be b(24). Solve -r - 9 = -i*l, -3*l + 7*r = 2*r + 6 for l.
3
Suppose 3*x = 4*i - 35, -2*x = -3*x - 5. Let f(y) = -4*y**2 - 5*y**2 + 7 + 2*y + 10*y**2. Let p be f(-3). Solve 5*n + i*m = -p, 0*m = -2*n - m - 1 for n.
1
Let k = 7 - -5. Suppose 0 = -o - o - k. Let a = o + 11. Solve -16 = a*s + 4*b, -2*s - 7 - 5 = -4*b for s.
-4
Let z be (-3)/2*6/(-9). Suppose q + 2 = 2*q. Suppose -4*y = 12, q*g + g = -y + 3. Solve m - 7 = -2*n, 0 = -g*n - z + 7 for m.
1
Let c(s) = -s**3 - 8*s**2 - 3*s - 19. Let h be c(-8). Let f = 14 - 4. Let l = 17 - f. Solve 2*w = -3*g - h, -4*g = w + 2*w + l for g.
-1
Suppose b + 3*b - 16 = 0. Suppose 6*g = 2*g. Suppose -x + b*x = g. Solve -a = c - 3, -6 = -4*c - a - x*a for c.
1
Suppose 13*r = 9*r + 2*t, 0 = 4*r + 4*t. Solve -k - 4*g + 0 - 12 = r, -g = -5*k + 3 for k.
0
Suppose 14*j - 26 = 16. Solve 11 = -v + 4*k, -5*v - j*k - 11 = -2 for v.
-3
Let d(y) = y**2 - 6*y + 1. Let b be d(5). Let c be b/(-3 + (-5 - -7)). Solve c*j - 2*z = 0, 0*j = j - 2*z + 3 for j.
1
Let b be (-4)/(-14) - (480/(-35))/8. Let n(k) = 6*k - 10. Let m be n(b). Solve u - 1 = -2*x - 2*u, -4*u + 20 = -m*x for x.
-4
Suppose -5*h + 108 = 49*h. Solve -4*b - 5 = 2*t - 7*t, -b - 2*t = -h for b.
0
Suppose 0 = -p - 2*o - 2 + 3, -2*o = 4. Suppose -2*a + p - 1 = 0. Suppose 0 = k - a - 2. Solve -3*n = -15, k*n = -5*l - 0*n + 25 for l.
1
Suppose -17 + 87 = 5*o. Let v be 144/o + (-6)/21. Let s = -6 + v. Solve s*a - g + 0*g = -13, 15 = -5*g for a.
-4
Let p = -170 - -178. Solve 5*a + 12 = 4*v, -2*v - 6*a - p = -5*a for v.
-2
Suppose 0 = 2*i + 5*w + 11, 6*w = w - 15. Solve -4 + 0 = z + i*r, 0 = -3*z - 5*r - 10 for z.
0
Let p = -35 - -23. Let v = -73 + 58. Let i = p - v. Solve -2*x - i*c + 23 = 0, -x + 4*c + c - 21 = 0 for x.
4
Suppose -b - b + 94 = 0. Suppose -b = -4*q - 7. Let v be (-30)/(-6)*6/q. Solve 6*j - v*j - m - 10 = 0, 4*m = 2*j for j.
4
Let q(n) = -2*n + 6. Let d be q(5). Let x be (-1)/d - 1/4. Suppose -3*w - w = x. Solve -3*t + 0*l + 2*l - 25 = w, -l + 30 = -5*t for t.
-5
Let v be (-87)/(-7) - (-18)/(-42). Let w(p) = p**2 - 13*p + 14. Let l be w(v). Solve -3 = -2*z + 4*u - 11, -l*z = 3*u + 8 for z.
-4
Let a be (88/(-77))/(4/(-14)). Solve 3*l + a = 2*s, l + 0*s - 6 = -3*s for l.
0
Let q(j) = 3*j - 14. Let z be q(6). Solve -3*v + 23 = -4*m, 29 = z*v + v - 2*m for v.
5
Let t = -36 - -56. Let j(y) = -37*y + 7. Let c be j(1). Let a be c/(-9)*48/t. Solve 4*x + 0*x + 2*v = -a, -2*v = 0 for x.
-2
Suppose 4*d = 3*x + 11, x = -14 + 13. Solve 3*u = 4*u + d*o - 4, 8 = 2*o for u.
-4
Suppose 4*m + 54 = -5*p - 14, 4*m = 12. Let i = 15 + p. Let w = i - -1. Solve q + 6 = -q + 2*j, 3*q - 2*j + 9 = w for q.
-3
Let o = 303 + -301. Solve 2*j + 0*j - 6 = -2*u, -2*j + 10 = -o*u for j.
4
Let x(v) = -v**2 - 11*v + 15. Let c be x(-12). Let z(g) = 5*g + 57. Let p be z(-11). Solve 0 = -2*m + r + 2*r + 13, -r - c = -p*m for m.
-1
Let w be 66/(-44)*(-16)/6. Solve 4*q = 2*q + 2*v, -5*q + w = -v for q.
1
Suppose 0 = -64*f + 61*f. Solve -2*q + 2*u - 2 = f, 1 = -q + u + u for q.
-1
Let h = 15 - 27. Let t be (h/18)/(2/(-18)). Suppose 5*w - 3*w = t. Solve 2*b = 4*n - 15 - 1, -5*n = w*b - 20 for b.
0
Let l(s) = 10*s - 9. Let t = 4 - 0. Let f be l(t). Suppose -5*u - 1 = -f. Solve -3*q + 2*k = 21, k = 5*q + u*k + 10 for q.
-5
Suppose 0 = i + i. Let x = i - -2. Let s(o) = o + 21. Let v be s(-9). 