= d, -5*o + 0*o - 7 = -4*t for t.
-2
Suppose 0 = l + 3*n - 8*n + 7, -3*n + 6 = 0. Suppose 117 - 111 = 3*b. Solve -s - 2 = w, -l*s - s = b*w + 2 for s.
1
Let c be ((-50)/(-20))/((-1)/(-2)). Solve -4*f + b - 9 = 0, 5*f + 2*b = c - 26 for f.
-3
Let j be (20/(-6))/((-26)/(-39)). Let d(i) = -i**2 - 8*i - 15. Let u be d(j). Let q be -4 + (u - (-45)/5). Solve -12 = -q*z - 3*f, 0*z + 8 = 4*z + 2*f for z.
0
Suppose -5*o + 16 + 9 = 0. Suppose 0 = -4*s + 3*s + 5. Suppose 3*a + 0*c + 4 = -4*c, 3*c + 32 = s*a. Solve o*q = -a*d + 9, 4*d - q + 12 = -9 for d.
-4
Suppose 12 = 2*s - t, -8*t - 9 = -3*s - 11*t. Solve -2*z + 2*y = 8, s*z + 0*y + 16 = y for z.
-3
Suppose 14 = 2*r + 2. Suppose 0 = r*f - 7*f. Solve 5*b + 2*n - 28 = f, -2*b - 16 = -5*b - n for b.
4
Let s(g) = -3 - 4 - 3*g + 2*g**2 + 5. Let t be s(-1). Solve -3*y + 3*c = 12, 2*c - 8 = -y + t for y.
1
Let y(v) = 25*v + 304. Let c be y(-12). Solve -c*z + 4*d + 24 = 0, -z + 4*z = -5*d - 22 for z.
1
Let q(h) = 16*h - 11. Let d be q(2). Solve -5*z + d = -2*f, 4*f = -3*z + 3 + 20 for f.
2
Let z be (1/4)/(1/4). Let x be -4 + (0 - -4) - z. Let k be 1 - x*1/(-1). Solve 3*v - 9 = k, -v + 17 = -5*a + 4 for a.
-2
Let t be 5 + 0 + -5 + 2. Solve 2*k + 3*q = -16, 5*k + t*q + 21 = 3 for k.
-2
Let b(i) = i**2 - 3*i - 16. Let u be b(6). Let m be (300/(-14))/(-5) - u/7. Solve -m*w + 0*k + k + 15 = 0, 4*w - 27 = 5*k for w.
3
Let x(k) = -k - 3. Let z be x(-6). Suppose 0 = -b + z*b. Let l(u) = -u**2 - 5*u - 3. Let n be l(-3). Solve b = -2*j - n*i + 3, -11 = -5*i + 4 for j.
-3
Let z(v) = 58*v - 637. Let d be z(11). Solve 3*t + d - 11 = 4*l, 5*l = 2*t - 9 for l.
-1
Suppose 160*u = 170*u - 190. Solve -2*n = -4*i + i - 12, 0 = -5*i + 3*n - u for i.
-2
Suppose -2*b + 16 = 2*h, 27 = b + 2*b + 4*h. Solve b*z - 2*z = -2*c - 8, -4*z = 2*c + 8 for z.
0
Suppose -5*b - 15 + 60 = 0. Suppose 3*d = -3*w + b, -3*d - 4 = 2. Let a = -1 + 4. Solve -w*n - 4*x = 20, n - a = 3*x - 7 for n.
-4
Suppose n + 32 = 7. Let x = 0 + n. Let g = x - -25. Solve 2*q + 2*r = -6, g = -2*r - 3*r - 25 for q.
2
Suppose 0 = -8*y + 4*y + 5*b - 225, 4*b = 3*y + 168. Let r be (-4)/10*y/3. Solve -i = 5*f + r, -5*f + i = 5*i + 17 for f.
-1
Let s be (1 - -10)*4/22. Solve 3*g - s*q = -7, -3*q = -4*g + 2*q for g.
-5
Let v be (-4)/(-10) - (-123)/5. Let b = -24 + v. Let z = -7 - -28. Solve 5*u + x = z, -u - 4*x - b = -9 for u.
4
Let y(c) = 2*c**3 + 15*c**2 + 6*c - 5. Suppose 0 = a - f + 11, 5*f - 3 - 3 = -2*a. Let g be y(a). Solve -4*b + 22 = g*m - m, -10 = -5*m for b.
5
Let v(y) = 7*y + 4*y + 16 + 0 - y**2. Let x be v(12). Suppose 10 = -x*k - r + 29, -5*r - 15 = -2*k. Solve -k*b + 20 = -5*f, 3*f = -1 + 4 for b.
5
Suppose -3*b + 57 = 16*b. Solve -4 = -3*t - 4*d, b*t - 3*d - 1 = -4 for t.
0
Let v = 83 + -75. Suppose -11 = v*h - 43. Solve 2*m = -h*w - 2*m + 8, -3*w + 14 = 5*m for w.
-2
Suppose -4*u + 20 = 2*l - 8, -4*u = -2*l - 12. Solve -3*z = -4*a + u*a + 5, a + 5 = -z for a.
-5
Let h = -567 + 573. Solve -3*g + 4*x + 25 = 0, -3*x + h*x = g - 15 for g.
3
Suppose h - 3*h + 104 = 2*l, 242 = 5*l - 4*h. Suppose 12*y - 10*y = l. Solve 0 = -5*g - y, g + 4*g + 20 = -5*i for i.
1
Let u(r) = -5*r - 18. Let p be u(-5). Suppose -2*h - p + 13 = 0. Let n = 27 - 9. Solve -v + n = -h*z - 4*v, 4 = -z + v for z.
-5
Suppose 2*z - 6 = -a, 0 = -2*a - 3*z + 8 + 2. Let o be 5/a*40/50. Solve -l = -6*l + 15, 5*c + 4*l = o for c.
-2
Let p be 1/(-4) + (-34)/(-8). Suppose 3 = -3*q + 3*a, -a + p*a = 3. Suppose -3*u + 60 = -q*u. Solve -4*m + 2*b = b - u, -2*b - 16 = -2*m for m.
4
Let w(m) = -2*m - 12. Suppose -7*q - 58 + 2 = 0. Let i be w(q). Solve -i*b - 11 = -5*v, 4*b - 6 = -3*v + 7 for v.
3
Let i(b) = 29*b. Let u be i(1). Let z = u + -24. Solve -2*y + 5*x - 30 = 0, -6*y - z*x = -2*y for y.
-5
Suppose 12*u - 4 = 11*u. Let s = 6 + -3. Suppose s*h - w = 55, 4*w + 80 = u*h + w. Solve -g = -3*y - h, 0*g = -2*y - g - 3 for y.
-4
Suppose 10 = 5*r - 2*c, 0*r - 4 = -2*r + 2*c. Suppose 4 = 4*p - 2*k, -6*k + 2*k = 3*p + 8. Solve 3*s = -15, -29 = r*y + 5*s - p*s for y.
-2
Let k be (0 - 35)/(-5) + -4. Solve 6 = n + 5*q, k*n + 2 = -6*q + q for n.
-4
Suppose -2*m + 5*m - 6 = 0. Let b(z) = -z**3 - 5*z**2 + z + 7. Let f be b(-5). Solve 0 = -3*n + f*g + 17, 2*n = 3*g - 4*g + m for n.
3
Suppose 4*g + 24 = -n + 5*n, 4*g - 1 = -n. Let f be (3 + -1)/4*14. Let u be -6 - 7/(350/120)*(-5)/2. Solve u = n*b - 4*q, 5*q - f - 34 = -4*b for b.
4
Let y be (-1)/((7/2)/7). Let k be y + 1 + 4 + -61. Let t = -38 - k. Solve -j + 8 = 4*o + 3*j, 2*o - 4*j + t = 0 for o.
-2
Suppose 3*h = -18*i + 13*i + 9, i - 2*h - 7 = 0. Solve -3*k + 7 = -2, 3*x - i = -2*k for x.
-1
Suppose 3*f = -2*t + 48, -3*t + 4*f - 40 + 146 = 0. Solve 3*c + 13 = 7*h - 5*h, t = -5*c - 5*h for c.
-5
Suppose 4*w = -6 + 46. Let b = -7 + w. Let u be -4*(-1 + b/6). Solve 0 = q - u, 3 = -d + 4*q - 0 for d.
5
Suppose 16*t = 7*t + 54. Solve -2*w + t = 4*z, -5*w - z + 4 = -2 for w.
1
Let y = -55 + 39. Let v = -2 + y. Let t be v/(-4) - (-12)/(-8). Solve 0 = t*p + p - f - 4, 0 = p + f - 1 for p.
1
Let g = 19 - 17. Solve 0*x + 3*f = -x + 7, -g*x = -f for x.
1
Let k be (-1)/(6/(-9)) - 14/4. Let b be 18 + -2 + 2 - k. Solve 4*n - b = 4*h - 0*h, h + 3*n - 15 = 0 for h.
0
Let n(i) = -4*i - 17. Let d be (-8)/2*(-5)/(-4). Let l be n(d). Solve 2*b = -2*b + 4*q - 8, 0 = -b + l*q for b.
-3
Let m be 2 + (-10)/(-4) - 8/(-16). Solve -13 + m = 4*g, -5*g = -3*k + 16 for k.
2
Let o be 237/24 - 3/(-24). Suppose 6*l + 4*f + 36 = o*l, 2*f = -10. Solve -5 = 5*j - 2*x, j = -l*j - 3*x + 20 for j.
1
Suppose 0 = -5*j + 3*a, 0*a + 4*a = 4*j + 8. Suppose 2*u = j*u. Suppose 1 = 4*m - 3, 5*x = -m + 16. Solve 3*s + u*s + p - 20 = 0, s - x*p = -10 for s.
5
Let k be -2*(-1)/7 - (-86)/(-7). Let o(q) = -q**3 - 11*q**2 + 13*q + 14. Let a be o(k). Solve -l + 8 = -g, -2*g + a*l - 21 = -l for g.
-3
Let t be (-1 - -33) + (1 - 3). Let u = 35 - t. Solve -4*j = h - u + 12, -j - 3*h = 10 for j.
-1
Let n be (-11)/(-7) + 81/189 - 0. Solve -h - l - n = 0, -4*l = -8*l for h.
-2
Let j = -21 + 38. Suppose -27 = 3*u - 4*w, 28 + j = -5*u - w. Let x be (-27)/u - (-3)/(-1). Solve 0 = d + s + 6, -2*s = -x + 2 for d.
-5
Let i be (-3)/(-1 + 4)*-7. Let b(g) = g**2 - 6*g - 3. Let h be b(i). Suppose 3*l - 12 = -2*y, l + 6 = h*l. Solve -8 = 3*u + c, y*c = -3*u - 15 + 3 for u.
-2
Let v be 3 - (-20*1 - -3). Let n be ((-36)/v)/((-9)/60). Let x be (-4)/6 + 24/9. Solve x*j + q = 4*j - n, -5*q = j + 5 for j.
5
Suppose -17*g + 23*g = 18. Solve -2*b - 4*l = 3*b - 16, 3*b + g*l = 12 for b.
0
Let o be (-3)/(-7 - (-162)/24). Solve -o = -4*p, 3*v + p = 8*v + 18 for v.
-3
Suppose 247*h = 248*h. Solve 2*j + 5*u - 8 = h, -4*j + 2*u = 4*u - 16 for j.
4
Let s be 3*((-106)/(-6) - 11). Solve 5*b + s = 2*t, -2*t + b = -t - 7 for t.
5
Let n be 6/(-14) + (-93)/(-21). Let j be 2 - -4 - (4 - (4 - n)). Solve 2*s = -3*s + 25, j*l - 4*s = -10 for l.
5
Suppose 8 = -4*z - 0*z - 4*l, -z - 2*l = 0. Let q = z + 6. Let c(x) = -x**3 + 3*x**2 + 4*x + 4. Let t be c(4). Solve 2*k - q = -t*p, 0*p - 4*k = 2*p - 16 for p.
-2
Let f be 2 + (-7 - -6)/((-2)/28). Solve -f = -4*y - 4*a, -2*y - y = -3*a for y.
2
Let k be (-4)/14 + (-138)/(-42). Let r = k - 1. Solve 4*v + 3*s = -r, 3*v + 0*v + 5*s = 4 for v.
-2
Let i = 200 - 196. Solve 3*u - 10 = i*w, -u + 2*u + 3*w + 1 = 0 for u.
2
Let a be 5*(138/330 - (-6)/33). Solve 5*y - 2*y + 2*q = -8, -a*q = 5*y + 12 for y.
0
Let a = -6 - -42. Suppose -a*h - 18 = -39*h. Let y be 3/(-6) - (-111)/h. Solve -5*b + 21 = -u - 0*b, 0 = -2*u + 4*b - y for u.
-1
Let z = 192 + -187. Let l be 1/(9/(-4) - -2). Let i = l - -9. Solve 2*n = 5*h + n + 13, -z*h + i*n = 25 for h.
-2
Let w = -3 - -5. Suppose 17*z - 16*z - 3 = 0. Suppose f + h = z*h - 3, -h + 4 = w*f. Solve 0 = 2*o + 3*v - 13, -4*o - v + f = -0*o for o.
-1
Let c(y) = -y**3 + 6*y**2 + 3*y - 7. Let m be c(6). Suppose -4 = 2*q - 2*b, -5*q + m - 5 = -b. Solve -q*j = -n - 7, -3*j = -n - n - 12 for n.
-3
Let x(z) = z**3 + 7*z**2 + 5*z + 10. Let o = -20 - -14. Let u be x(o). Let m be ((-56)/u)/((-1)/2). Solve -5*b = 2*a - m, -4*a + a = -5*b + 2 for a.
1
Let i be 9/15 - 188/(-20). Solve -4*p + 5*b + 19 = -7, -2*p + b = -i for p.
4
Let h be 1*0*(0 - 1). Let g be (-1 - h)/(80/(-15) - -5). Solve 0 = -4*z - 3*q + 23, 0 = -z + g*z + 2*q - 12 for z.
5
Let p(k) = 2*k**3 + 17*k**2 - 3*k - 6. Let x be p(-8).