v for v.
5
Let t(a) = -a**3 - a**2 - a - 1. Let q be t(-1). Let y(u) = u**2 + 2*u + 3. Let z be y(q). Solve -4*s - 24 = -4*p, -5*p - z = 4*s + 3 for p.
2
Let l(v) = -12 + 19*v + 22*v - 24*v. Let s be l(1). Solve 5*q + 16 = -2*o, 4*o - s*o = -5*q - 7 for o.
-3
Let f be (0/(-4 + 2))/1. Solve v = -2*v + 3, 5*q + 5*v = f for q.
-1
Suppose 5*z = 4*q + 11, -3 + 16 = 5*z - 2*q. Solve 0 = -4*x - c - 11, -x = z*c + 12 - 1 for x.
-2
Let f = 413 - 404. Solve 2*r = 4*l - 14, 2*l + l - f = 2*r for l.
5
Let h be 15 + ((-12)/(-2))/2. Let u = h + -16. Let g be (u - 1) + 5 + 3. Solve -2*n + k + 2*k + g = 0, 0 = 2*n + k + 11 for n.
-3
Let b = -104 - -137. Suppose m - 35 = -b. Solve m*j - 3*s - 16 = 0, -2*j - 2*s - 16 = 3*s for j.
2
Let n(s) = s**3 + 10*s**2 - 4*s - 107. Let v be n(-9). Solve g + v = 6*g, 5*g - 16 = 2*k for k.
-3
Let u(l) = -l - 10. Let d be u(-12). Let k(y) = -2*y**d + 2*y**2 - 1 - y**2 + 3*y. Let c be k(2). Solve -3*t - c = 5*r + 5, 8 = -4*t for r.
0
Let v(l) = 0*l**2 - 3*l + 8 - 5 - l**2. Let y be v(-3). Solve -5*n - 23 = 2*d, 5*d - 4*d = y*n + 5 for d.
-4
Suppose -4*c - 5*i = -25, -c + 15 = -9*i + 12*i. Let h be 20 + c + -2 + -5. Solve -d - 2*d = 4*j - 24, j = 4*d - h for d.
4
Let k(u) = 4*u + 4. Let h be k(-2). Let w be (3/3)/((-2)/h). Suppose f = w*f. Solve 13 = 5*v - 4*g, f = v + g - 0 + 1 for v.
1
Let z(h) = -3*h + 26. Let p be z(7). Solve -p*w + 25 = -4*a, -w = 3*a - a + 9 for w.
1
Let f be 12/10 + 18/(-15). Solve l + f*l = -3*m, 0 = 2*m for l.
0
Suppose -1 = 2*t - m, t - 5 = -t - 5*m. Suppose -2*f + 24 = -t. Let g = 18 - f. Solve -x = 4*h - 9, g + 10 = 4*x - 4*h for x.
5
Let b be 2/(((-1)/1)/(-4)). Suppose 15 = -3*m, -3*u - m - 5 = -2*u. Suppose 4 = -4*p + 2*p, -2*j = p - 8. Solve -f + 5 = 4*h - b*h, u = -j*f - 4*h - 23 for f.
-3
Let b be ((-2)/(-8))/(2/(-8)). Let l be b*(4/6 - (-42)/(-9)). Solve v = -l*q + 17, 0*v + 30 = 3*v + 5*q for v.
5
Let k = 78 + -77. Let o be (-2 - -8)/(k/(-5)*-5). Solve -3*r = o, 2*f - 13 + 1 = 2*r for f.
4
Let l be 5 - (-9 - -4 - 86). Let x = -94 + l. Let q(n) = -n**2 + 5*n - 2. Let b be q(4). Solve -2*r - x*r + 12 = 0, b*o + 2*r = 10 for o.
2
Suppose -4*w + 5*w - 4 = -n, 5*w = 4*n - 25. Solve 5*v + 10 = -n*y, 5*y = -3*v - 7 - 3 for y.
-2
Suppose -16*p - 29*p = -90. Solve -x = -1, -7*k + p*k + 3*x + 22 = 0 for k.
5
Suppose -6*j = 5 - 35. Solve 9 = 2*w + 4*a - j, 2*w = a - 11 for w.
-3
Suppose 2*o + c = -4*c, c = -3*o. Suppose -3*l = l - 4. Let b be ((-12)/6)/(l/(-2)). Solve -d - b*j = 3, j + o = -1 for d.
1
Suppose 141*t - 1 = 140*t. Solve 3*o + t - 4 = -4*q, -o - 3 = 0 for q.
3
Let n = -57 + 57. Let k = 78 - 54. Solve k = 4*o + 2*b, -5*o + o + 4*b = n for o.
4
Let a(m) = -3*m**2 - 3*m - 1. Let x be a(-1). Let h be 9/x*30/(-10). Let p be (-3 - 0)/(h/(-18)). Solve k = 0, 18 + 2 = -5*r + p*k for r.
-4
Let c be (-177)/(-7) - (-50)/(-175). Let w = -3 + 5. Suppose 12 = 6*d - 2*d. Solve 5*y = -d*o + 7 + 8, w*y + 5*o = c for y.
0
Suppose 39*k = 43*k - 12. Solve -2*f + 17 = -3*z, -2*f - 2*z + z = k for f.
1
Suppose -f = -5*j - 18, 3 + 0 = -3*f - 4*j. Suppose 90 = 5*d - 0*d. Let n = -18 + d. Solve 3*w + 2*w = -2*p, -f*w - p = n for w.
0
Let k be (102/18)/(5/(-90)). Let s = k - -137. Solve -5*z - s = 3*t, -26 = -z + 5*z + 2*t for z.
-4
Suppose 190 = 8*j + 14. Let h = -24 + 41. Solve -3*x = 5*g + j, 4*g + 2*x + 1 = -h for g.
-5
Let a = 80 - 78. Suppose x - 1 - 2 = f, -a*x + 5 = -3*f. Solve n + 2*d = d + 1, x*n = -3*d + 4 for n.
1
Let a(p) = p**3 - 7*p**2 + 7*p - 6. Let h be a(6). Let q be (10/(h - 2))/(-1). Solve -4*l - i - 1 = 22, q*l + 34 = -3*i for l.
-5
Let t = -23 + 7. Let o = 37 + t. Let m be ((-6)/14)/((-3)/o). Solve -2*w = m*h - 17, -w = -h + 4*w for h.
5
Suppose -25 + 0 = 5*p. Let a(z) = 7*z - 11*z + 5*z + 7. Let j be a(p). Solve 0 = 4*f + 5*x + 29, -20 = 5*f + 5*x - j*x for f.
-1
Suppose -10*g + 33 = -17. Suppose g*o = -3*u + 15 + 8, 7 = 2*o - u. Solve 3*p - 2 = 2*q + 3, o*q = 5*p - 9 for p.
1
Suppose -4*p + 8 = 0, 0 = 3*y + 4*p - 6*p - 8. Suppose 2*l + 5*w - 21 = 4*l, l - y*w = -18. Let m = 9 - -6. Solve 3*s = m, 3*o - 15 = 4*o - l*s for o.
-5
Let b(f) = 83*f**3 - 2*f**2 + 2*f. Let i be b(1). Let l = i - 81. Solve h + 2 = 4*g - 1, g + 6 = -l*h for h.
-3
Let g(y) = -3*y + y**3 - 3*y + 3*y**2 + 15 - 23 + 2*y**2. Let o be g(-6). Let v = 13 + o. Solve -4 = -u - 2*w, 5*w - v = 5*u - 25 for u.
4
Suppose 14*d = 34 + 36. Suppose 0 = -z + 4 + 1. Solve 0 = -d*p + 5*v - 20, 3*p = 5*v - z - 11 for p.
-2
Suppose 441 = -16*n + 489. Solve -5*t = -n*o - 0*o - 16, -15 = -3*t for o.
3
Let s(y) = y**3 + 9*y**2 + 8*y + 16. Let q be s(-8). Suppose 2*i + 1 + 5 = 0. Let b be (-12)/4*i*1. Solve 0 = -2*h + 4*f + q, f - b = 4*f for h.
2
Suppose -n + 3 = 1. Let f be (-8)/12*15/n. Let r = f + 8. Solve 0*m - 3*m - t = 8, 5*t + 4 = -r*m for m.
-3
Let c be ((-2)/6 + 0)*-6. Solve -5*d + d + 5*w = -2, -c*w - 2 = -2*d for d.
3
Let q be ((-38)/(-114))/(2/18). Solve -5*o = -q*n - 6, 3*n + 4 = 13 for o.
3
Suppose 24 = 2*r + 4*y - 0, 0 = -3*r - 2*y + 32. Suppose 8*o - r*o = -4. Solve 5*w + 2*a = 35, w + 2*a = -o*w + 25 for w.
5
Let f(k) = -6*k**3 + 109*k**2 - 18*k + 2. Let a be f(18). Let t be (-222)/(-8) + (-1)/(-4). Solve -a*d = -4*u - t, 15 = 5*d - 5 for u.
-5
Let c = -71 - -55. Let w be (c + 14)*1*-5. Solve 4*f - 2*f + w = g, 0 = -2*g + f + 8 for g.
2
Let i be (12/14)/((-6)/(-42)). Let y(z) = -10*z - 26. Let r be y(-3). Solve 2 = h + r*a, 0*h - i = -3*h + 2*a for h.
2
Let k = 7 - 3. Suppose 2*d - 3*c + 2*c = 3, k*c + 6 = 5*d. Suppose h - 1 = d. Solve -u + 0 = -5*n - 7, -h*u = -3*n + 3 for u.
-3
Let q be (-1 - 3)*(-28)/56. Solve q*d - 2*w = 12, 5*d - 6 - 8 = -3*w for d.
4
Suppose 97 - 2 = 5*v. Let a = -14 + v. Suppose a*x = x + 8. Solve -b - x*l = 5, -b - 2*b = 4*l + 9 for b.
1
Let x = 10 - 7. Let z be (-30)/(-3)*x/6. Suppose 2*p + z*v - 12 = 3*v, -v = -4. Solve -p*u + f - 7 = 0, -3 = -3*f + 2*f for u.
-2
Let z(r) = -2*r**2 - 10*r + 3. Let d be z(-4). Suppose 0 = -12*l + d*l + 2. Solve -5*t + l*n - 29 = 0, -3*n = -3*t - n - 19 for t.
-5
Let a(f) be the second derivative of f**3/3 - 3*f**2 + 2*f. Let z be a(5). Solve -h = -v + 4, z*h - 2*v + 5 = -5 for h.
-1
Let m(x) = 5*x**2 + 33*x - 11. Let r be m(-7). Solve -5*j + j + 4*f + 12 = 0, 0 = -r*j - 2*f + 4 for j.
2
Let a = 53 - 49. Let c(u) = -u**3 + 6*u**2 - 7*u + 5. Let h be c(4). Let r = h - 4. Solve a*x - 2*o - 4 - 12 = 0, 5 = 3*x - r*o for x.
5
Suppose 3*l + 257 - 263 = 0. Suppose 4*r - 3*r = l. Solve r*g = -5*q + 12, g = -3*g + 4 for q.
2
Suppose 8*t = -34*t. Solve t = 5*j + 3*c - 7, -10*j + 14*j = 3*c - 16 for j.
-1
Let g(i) = i**3 + i + 2. Let o(p) = -p**2 - 9*p. Let c be o(-9). Let m be g(c). Let l be (-1 - -4)/(2/6). Solve -l = -s + 4*q, s + 0*s - m*q = 7 for s.
5
Let m = -22 - -40. Suppose 37 = 5*s - m. Solve 2*t - 5*t - 2 = -2*a, -t + s = -3*a for t.
-4
Let w(h) = h**3 - 15*h**2 + h - 13. Let l be w(15). Suppose -2*i + 34 = -4*k, -l*i + 12 + 10 = -k. Solve 5*g + 3*a = g - i, -5*a - 15 = -2*g for g.
0
Let k be (-9)/(-3) + 4 - 5. Suppose 0 = s - 4*s. Solve 0 = -k*i - 5*h - 5, s = 2*i - h - 7 - 6 for i.
5
Suppose 11*r = 48*r. Solve r = -2*z + 5*d + 15, 0*z + 9 = z - 3*d for z.
0
Let c(k) = k - 2. Let g be c(-3). Let q(a) = -5 + 0 + 3 - a + 3. Let m be q(g). Solve 4*j + m + 15 = 3*w, 4*w + 4*j = 0 for w.
3
Suppose 0 = -10*v + 2*v. Suppose 4*y + 4*p - 2*p - 16 = v, p = 2*y - 8. Solve -5*j = y*a + 16, a + 3*j + 13 = 2 for a.
1
Let k = 240 + -237. Solve -q - 2*p - 1 = 0, k*q + 12 = 6*q + p for q.
5
Let v(o) = 1 + 2 - o**2 + 1 - 10*o. Suppose -9*h - 462 = 57*h. Let f be v(h). Solve -5*c - f = -2*w, -2*w - 3*c - 5 = -2*c for w.
0
Let v(a) = 2*a. Let z be v(1). Suppose 90 = -z*n + 2*q, 27 = -n + 3*q - 20. Let p = 73 + n. Solve -p + 2 = 3*i - 5*h, 5*i = 5*h - 35 for i.
-4
Suppose -4*v - 2*x + 0 = -8, -2*x = 3*v - 8. Solve -3*y = 4*t - 5, v = -5*y + 2 + 13 for t.
-1
Let f = 104 - 110. Let s(y) = -y**2 + 8 + 2*y**2 + y + 5*y. Let v be s(f). Solve 0 = -2*h + 3*x + v, 3*h + 3 + 23 = -5*x for h.
-2
Let y(j) = j + 12. Let u(g) = -3*g + 20. Let n be u(9). Let r be y(n). Solve 4*f + r = -m, -f - 3*m = -0*m + 15 for f.
0
Suppose 50*m - 67*m + 85 = 0. Solve y = -l - m, 2*y + 7*l + 12 = 3*l for y.
-4
Suppose -10*k = -8 + 8. Solve 4*w = -5*z - 8 + 5, k = -z + 4*w - 15 for z.
-3
Let q = 53 - 30. Suppose 