b = 17 for v.
-1
Let w = 32 - 21. Suppose 4*p = v + 16, -45 = 6*v - w*v - 5*p. Solve 4*k = 5*j, -3*k = -k + v*j + 26 for k.
-5
Let i = 248 + -241. Solve 3*x - p - 4 = 0, -p + 3 - i = -4*x for x.
0
Let b = -2077 + 2079. Suppose -20 = 5*q - 7*q. Solve -b*i + 2*n + 8 = 0, -2*n - q + 2 = -i for i.
0
Suppose -4*q - 2 - 6 = -5*p, 5*p - 6 = 3*q. Let t(c) = c**3 + c**2 - 3*c. Let v be t(2). Solve g - 3*x + 0*x = 6, -3*x - v = p for g.
0
Let a = -5 - -8. Let z(u) = 2*u - 5. Let g be z(5). Suppose g*t = t + 8. Solve -a*j - 1 = -t*j, i - 5*j = 10 for i.
5
Let z(d) = -d**2 - 5*d + 69. Let h be z(6). Solve 4*y - 8 = y - r, 4*r = h*y - 13 for y.
3
Suppose -l + 4*p = 10, l - p = -3*l - 55. Let d be 24/84 - 52/l. Suppose -2*m + d*m = 30. Solve 0 = 2*q + 2*z + 14, q + 3*z - 2 = -m for q.
-4
Suppose -15 = 5*d, 2*s + 4*d = -d - 15. Let f be 0/(0 - (s + -2)). Solve -5*v + 2*o - 23 = 0, -2*v + o + 2*o - 18 = f for v.
-3
Let f(o) = -o**2 + 18*o - 36. Let x be f(12). Suppose -13*y = -19*y + x. Solve 5*j - 29 = 3*g, -j + y*j - 20 = 0 for g.
-3
Let l be (10 + -10)*1/(-3). Suppose l = -3*h - 9 + 42. Let x(b) = b**3 + 6*b**2 - 7*b + 4. Let r be x(-7). Solve r = -p - 2*z - 1, p + 4*z = -h for p.
1
Let r be 0 + -1 - (-1)/(-1). Let w = r - -4. Suppose 2*z + 12*p = 15*p - 3, -5*p = -5*z. Solve w*i + n = -z*i + 16, -3*i = 5*n + 8 for i.
4
Suppose 4*t - 64 = 3*t. Let u = 68 + t. Suppose -5*s = -3*m - 108, -5*s - 3*m = -0*m - u. Solve -5*g = -25, g - s = y - 4*g for y.
1
Let a(b) = -2 - 23*b**2 + 22*b**2 + 9*b - 4 + b. Let v be a(9). Solve 0 = 3*u + 12, -v*i - 2*i = 3*u - 13 for i.
5
Suppose -b - z + 0 + 6 = 0, -4*b = z - 12. Let p(l) = 11*l - 2. Let g be p(b). Let u be (-5)/10 + (-11)/(-22). Solve -x = 2*y - u*x + 4, 4*y = 4*x - g for y.
-3
Let f(y) = y**2 + y - 2. Let b be f(-2). Let p = 3 - b. Let w be ((-22)/(-33))/(1/p). Solve 0*l = -3*l, w*l = -4*h + 4 for h.
1
Let u = 246 + -242. Solve -u*r + 32 = 3*c, c + 11 + 10 = 5*r for r.
5
Let k be (-7 + 22)*(-4)/(-20). Solve 4*l = k*m + 7, 4*l = -5*m + m + 28 for m.
3
Suppose 3*j - v - 15 = -2*j, -2*v = -10. Solve -22 = -4*a + 2*o, 1 - 7 = -2*a - j*o for a.
5
Let d = 735 + -525. Let m be (2/(-4))/((-15)/d). Solve -5 = -3*p - 3*a - 2, -3*a - m = -2*p for p.
2
Suppose 4*o = -16 + 76. Let q = 166 + -162. Let j be (-6)/(-8) + 17/q. Solve -5*v - 15 = 7*h - 2*h, -4*h - j*v = o for h.
0
Suppose -9 = -3*d + 2*y, y = 2*y. Let x be 18 - (0 - (d - 2)). Solve 2*q = -0*f - 5*f - x, -3*q + 6 = -4*f for f.
-3
Suppose n - 6 = -r, 0*r - 7 = -r - 2*n. Let w be 1*-2 + 6 + -1. Suppose 0 = w*u - 31 - 8. Solve -u = -r*q - 2*x, 0 = -x + 2 + 2 for q.
1
Let i(j) be the first derivative of j**3/3 + 5*j**2/2 + 3. Let f be i(-7). Solve -p - f = -2*q - 2*q, -2*p - 7 = -q for p.
-2
Let y = 196 + -194. Let w(f) = 2*f**3 - f**2 - 2. Let p be w(2). Suppose 0 = -y*u - 0*u + p. Solve 2*o = 2*q - 9 + 1, q - u*o = 4 for q.
4
Let h be 3 - -1 - 15 - 1. Let p = h - -24. Suppose -p = 4*b - 4*o - 48, -3*b + 29 = -o. Solve -8 - b = -4*q - 3*t, q - 2*t + 1 = 0 for q.
3
Suppose 5*r + 9 = 2*r. Let y(n) = n**2 + n + 1. Let z be y(r). Suppose 4*p - z = 1. Solve -2*j + 2*o = -j - 6, -5*j - 10 = -p*o for j.
-4
Let n = -4 - -9. Suppose -5*z = -4*m - 5, -4*z + 5*m - n = -0*z. Solve 2*o + z + 8 = g, -3*g = o - 11 for g.
5
Suppose 0 = 5*r + 5*n + 15, 3*r - 4*n - 31 = n. Solve 1 = 3*p + 2*u - 3, 0 = p - r*u + 12 for p.
-2
Let k(m) = -m + 1. Let d be k(-1). Let a(x) be the first derivative of -x**2 - 21*x + 8. Let h be a(-12). Solve 6 = d*y + 4*q, 5*y - h*q = -0*y - 37 for y.
-5
Suppose 0 = -5*l - 3*u + 26, -4*l - 16*u + 14 = -17*u. Solve -2*y = 4*p + l, 0 = 5*p - 4*y + 6*y + 5 for p.
-1
Let r be (21/5)/((-8)/(-80)). Let k = r - 40. Solve 6 = k*d, -2*d = -5*g + 11 - 2 for g.
3
Let k be (-8)/10*(0 + -5). Let x = -19721 - -19723. Solve -x*h - 22 = 2*v + h, -9 = 5*v - k*h for v.
-5
Suppose -4*h + 6 = -3*h - 3*f, f + 2 = -h. Let w = -144 - -160. Solve 3*n + n + 5*y = w, h = -4*y for n.
4
Suppose -8 = -5*w + 3*c, 0 = -2*w + 5*c - 3*c. Let x(v) = -v**2 - 8*v + 4. Let s be x(-8). Solve -s*j + 5*m - m = 4, -j = w*m + 1 for j.
-1
Let h be 1 + 51 - (2 + -4). Let w = -54 + h. Solve r = -3*k - 0 - 1, 4*r + 16 = w for k.
1
Let v(i) = 1 + i + 6*i + 34 - 5*i. Let a be v(-15). Solve -a*w = 3*n + 22, -2*n + 5 = 3*n for w.
-5
Let c(f) = f**3 + 5*f**2 + 4*f. Let n be c(-3). Let a be (-8 + 13)*n/(-10). Let p be ((a - -1) + 1)*-11. Solve -y = -d - 0*y + 2, 2*y - p = -d for d.
5
Let r be -4*1/(-2) - -3. Let p(q) = 7*q**2 - q. Let f be p(1). Let m = -578 + 579. Solve m = 5*l + 5*n + f, r*n = -4*l - 1 for l.
-4
Suppose 3 = -o + 4*w, o = -0*w - w + 12. Let v(s) = s**2 - 8*s - 6. Let c be v(o). Solve -4*x - m - 14 = -c*m, -5*m = 5 for x.
-4
Let t = -448 + 452. Solve 0 = -0*h + 3*h - p - 10, -p = t*h - 4 for h.
2
Let s be ((-6)/(-1))/(4/((-80)/(-6))). Let h be 6/((-14)/s + 1). Solve -4*c + h = -x, 4*x = 2*x + 2*c - 10 for x.
0
Let k = -319 + 338. Solve -5*s + 3*w + k = 0, -3*s - 7*w + 4*w + 21 = 0 for s.
5
Let r(k) = 2*k + 4. Let t be r(3). Let i be (-2 - -1)/((-2)/t). Let u be 129/12 - (-3)/12. Solve -3*n = i*f + 2*n - 5, -5*n + u = 3*f for f.
-3
Suppose -46 = -i - 4*n, -n - 130 = -4*i + 71. Let g be 20/i + 88/5. Solve y = 4*w, 0*w - g = -2*w - 4*y for w.
1
Let k(o) = o**2 + 3*o - 2. Let c be k(-4). Suppose -s = c*y - 26 - 5, s = -4*y + 57. Suppose -3*d + y = -2. Solve 4 = -4*p - d*t - 5, t = 2*p + 1 for p.
-1
Let g = 472 - 467. Solve -2*l + 9 + 2 = -3*v, 3*l = g*v + 19 for v.
-5
Suppose 4*f - 3 + 15 = 0. Let l be f/(1 - 4) - -2. Let k be (l - -16)/(1/1). Solve 3*v + u - 17 = -u, u = -5*v + k for v.
3
Let q be (-1 - -2)/(6/18). Suppose 2 = o - 5. Let n be ((-120)/45)/(2/(-3)). Solve -n*g + 5*c = 2*c - 14, 4*c = q*g - o for g.
5
Let u(j) = -j**3 + 8*j**2 + 11*j + 5. Let t be u(9). Let k = t + -19. Solve -3*z - 4*p = z - k, 2*z - 2 = 5*p for z.
1
Suppose 2*x - 7*x = 75. Let q(d) = d**2 + 14*d - 11. Let c be q(x). Solve 8 = -2*h - 5*a, 0 = 3*h - 5*h + c*a + 10 for h.
1
Let v(d) = 6*d - 43. Let n be v(8). Solve -2*x = -n*x + 6, 13 = -5*z + 4*x for z.
-1
Suppose 0 = 4*z + 12, d - 2 = -5*z - 22. Let s be (d + 10)*20/25. Solve -5*h + 27 = -s*n, 5*n + 2*h + 2 = -7 for n.
-3
Suppose 3*g - 20 = -g. Solve -3*s - 5*h = 0, -s + g*s - 2*h = -26 for s.
-5
Let o = -14 + 15. Suppose 5*y - 18 = -3. Solve -2*u + 2 = 2*b, y = 4*u + 3*b + o for u.
-1
Suppose 16*g - 42 = 19*g. Let m(f) = -f**3 - 13*f**2 + 15*f + 16. Let k be m(g). Solve 12 = 4*c, -k + 1 = a + c for a.
-4
Suppose 5*y - 21 = 44. Let g(z) = 2*z - 23. Let i be g(y). Solve 2*q + 2*x + 11 = -i*q, -12 = 2*q - 3*x for q.
-3
Suppose 22*t + 48 = 114. Solve -t*w + 2*w - 11 = 4*q, -4*q + 3*w + 1 = 0 for q.
-2
Suppose 11*r - 471 - 57 = 0. Suppose 4*h + l = 34 + r, -h = -4*l - 29. Solve 0 = -3*y + 4*w - h, -2*w + 4 = -2 for y.
-3
Suppose 5*q - 29*q = 12*q. Solve x = 2*o - q + 6, -4*o - 12 = 0 for x.
0
Let q be (-1030)/(-70) - (-2)/7. Suppose -5*a + 2*p + 18 = 0, 4*p + 11 = 5*a - q. Solve -a = 3*o + z, 0*z = o - 4*z + 5 for o.
-1
Let h = 0 - 0. Let j be (0/(-1))/(h + 1). Let m be (-1 - -2)/((-3)/(-6)). Solve -2*u - 3*w + 0 + 3 = j, m*u = -2*w for u.
-3
Let h(z) = z**2 - 4. Let o be 3/(0 + 1) - -1. Suppose -18 = -o*v - 6. Let y be h(v). Solve -2*t = -4*i - 17 - 13, 4*i - 5 = -y*t for t.
5
Suppose 4 = -2*r, -3*r + 9 = 4*j - 5. Solve -2*o = 5*p - 24, 26 = 3*p + j*o + 4 for p.
4
Let b be (2 - -1) + (4 - 4). Solve -u = 5*q + 21, 4*u + 2*q - 3 = b for u.
4
Let a(x) = -3*x + 67. Let t be a(21). Let d = 0 - 2. Let n be d/(-3)*9/2. Solve k + n*s + t = -11, -s = -k + 5 for k.
0
Let m be ((-93)/(-3) + -2)*(-6)/(-6). Let d = m + -24. Solve -d*z + 25 = 0, s + s - 20 = -4*z for s.
0
Suppose 0 = -16*x + 24*x - 168. Solve -5*c + 2 = 5*y + 7, 4*y = c + x for y.
4
Suppose 2 = 2*m - 2. Suppose c = -4*f - 13, c + 4*c + m = f. Let l be (1/f)/(10/(-60)). Solve -3*n = 4*p - 26, 0 = 4*p - 0*p + l*n - 24 for p.
5
Let z(s) = -s**3 + 5*s**2 + 5*s - 22. Let l be z(5). Solve -2*x - i - 11 = 0, -i = l*i + 4 for x.
-5
Suppose -h - 3*h = 5*i + 7, -3*i = h - 7. Let c be ((-12)/h)/(9/24). Solve -3*n = m - 2*m - 17, 0 = -c*n + 2*m + 26 for n.
4
Let k be -3 + (-4)/(-12) + 4/(-3). Let f(n) = -5*n - 9. Let d be f(k). Solve 2*m = 3*i + d, -3*m - 2*i - 12 = -2*m for m.
-2
Let y(m) = 9*m**2 + 6*m - 1. Let v be y(-1