 for v.
1
Suppose -v + 2*i = -19, -15*v + 2*i = -20*v + 71. Solve 4*t - 18 = -z, -v*t = -13*t - 2*z - 4 for t.
4
Let u(w) = -38*w - 92. Let v be u(-6). Suppose -i - v + 138 = 0. Solve 4*d = 3*n + 9 + i, 35 = 4*d + 5*n for d.
5
Let h(x) = x**3 + x**2 - x - 1. Let f(g) = g**3 + 11*g**2 - 3*g + 2. Let p(z) = -f(z) + 2*h(z). Let q be p(9). Solve a - q*j + 14 = 3*a, 5*j = -5*a + 5 for a.
-3
Let p(a) = -2*a + 29. Let y be p(16). Let x be y/9 + ((-52)/(-12) - 0). Solve 0 = b - 2, 0 = -2*h + 3*h + x*b - 13 for h.
5
Let o be (1/2 + 0)*-30. Let j be (-28)/o + 8/60. Solve p = 5*l + 5*p + 17, -j*l - 5*p = 0 for l.
-5
Let f = -149 - -153. Solve -y = 4*y - 25, 3*t + f*y - 8 = 0 for t.
-4
Suppose -5*m = 5*p + 5, 6 = -4*m - 2*p + 10. Solve -m*r = -2*u - 14, -5*r = -u - 4*r - 6 for u.
-4
Let p = 2453 + -2453. Solve g + 8 = -2*y - p, -8 = 2*y - 5*g for y.
-4
Suppose -5*w + 22 - 2 = 0. Suppose -13 = -w*f + 7, 0 = -5*t - 2*f + 20. Let s be (1/(-1) - 0)*-23. Solve -4*k + t*h = 8, s - 3 = -2*k - 3*h for k.
-4
Let t(j) = 3*j**2 + 2*j - 3. Let d be t(-4). Suppose -d = -9*g - 1. Let y(a) = -a**2 - 6*a - 4. Let p be y(-4). Solve g*l = n + 4, p*n + 0*l = l - 16 for n.
-4
Suppose 3*c = 4*r - 6 - 5, -3*c = r + 1. Let x = 4 - 4. Suppose 2*k = x, 0 = -6*w + r*w - 2*k + 16. Solve 4*m = -2*g + 6 - 0, -w*g = 4*m - 16 for g.
5
Let y = 374 - 367. Solve -3*w - y = -d, -1 = 4*d - 7*d + 4*w for d.
-5
Suppose -2*m - 2 = 68*i - 66*i, 0 = -2*i - 2. Solve m = -2*a - o - 1 + 4, -18 = -a + 5*o for a.
3
Let b(j) = 3*j**2 + 3*j - 4. Let q(l) = 5*l**2 + 5*l - 6. Let s(i) = -8*b(i) + 5*q(i). Let w be s(0). Solve -4*k = -3*m + 12, 2 = w*m - 3*k - 6 for m.
4
Suppose 3*c - d = 27, c - 5*d - 7 = 2*c. Suppose c*u = 3*u + 140. Solve -5*z + 4*y + u = 0, 0 = 5*z + 4*y - 5*y - 22 for z.
4
Let u(d) = -4*d**3 - d**2 - 2*d - 1. Let k be u(-1). Suppose -6*c + k*c + 4 = 0. Suppose -6 + c = -2*n. Solve 5*s - 3*g = 35, 0*s + n*g + 30 = 5*s for s.
4
Let o be ((-6)/5)/(32/(-400)). Suppose 0 = 4*i - 1 - o. Let h(c) = -c**2 + 8*c - 12. Let v be h(5). Solve -f - 2 = f + i*t, v*t - 31 = 5*f for f.
-5
Let z = -11 + 17. Suppose -z*p + 0 = -30. Let v be (-18)/8*(-40)/15. Solve l - p = 2*j, 5*l - j + v*j + 50 = 0 for l.
-5
Suppose -3*b + 574 = -4*w, -w - b - 140 = -0. Let n = w + 156. Solve 4*a - n = -5*k, -2*a - 3*k + 4 + 4 = 0 for a.
1
Suppose 4*z - 2 = 2*p - 0*z, -5*p + 3*z = -23. Suppose -p = -2*x + u, 3*u - u - 2 = 0. Solve 0*g = x*s + g - 4, g - 6 = -5*s for s.
2
Let i(r) = 13*r - 74. Let g be i(6). Solve -5*w - 18 = -a, 2*w - g*a + 31 - 13 = 0 for w.
-3
Let c = -887 - -897. Solve -4*m + 6 = -4*p - 3*m, c = 5*m for p.
-1
Suppose -k + 2*j = k - 12, k + 2*j = -6. Suppose -452 = -4*x + 4*r, -2*x + 479 = 2*x + 5*r. Suppose -f - x = -3*f. Solve 2*v = -k*z, -4*z = -5*v - 13 + f for v.
5
Let i = 52 - 49. Solve 3*c = -5*z + i, 2*c + 17 = 2*z + z for c.
-4
Let u(f) = 2*f + 4. Let v be u(4). Let a = 14 - v. Solve -z = -5*k - 20, 3*z - a*k = 3*k + 10 for z.
-5
Let l(g) = 10*g**3 - 2*g**2 + 2*g - 1. Let s be l(1). Solve 4*u = -m - 8, -21 = 3*m - s for u.
-1
Let m = -31 + 23. Let t be m/4 + (-8)/(-1). Let z = 4 + -2. Solve z*i = -2*i - 5*s + 30, 3*s - t = 0 for i.
5
Let j = 338 - 328. Solve 0 = x + x + 2*i + j, 0 = x - 2*i - 1 for x.
-3
Suppose 0 = -a - a + 2. Let j be 378/12 + 3 - 3/(-2). Suppose -4*q + j = 5*q. Solve q*u - a - 2 = -3*z, u = -3 for z.
5
Let d be (-1)/(-2) + (-19)/(-2). Let g = -6 + d. Suppose -4 = 3*i - g*i. Solve 5*o + 26 = 2*c + 2*c, -2*c + i = 2*o for o.
-2
Let o(c) = -c**3 + 9*c**2 - 16*c + 19. Let w be o(7). Suppose 3*z = w*z - 2, z - 1 = -2*i. Solve 4*u + 2*a + i*a - 6 = 0, 3*u - 2 = a for u.
1
Let q = 91 + -87. Suppose -20 = -5*z, -4 = q*f - z - 0*z. Solve 0 = -2*x - 4, 3*x + 6 = -4*n - f*n for n.
0
Suppose 3*a = 6 + 36. Let g = a - 5. Let x = g + -4. Solve n + b - 18 = x*b, -b = -5*n - 5 for n.
-2
Suppose r - 5 = -0*u + 5*u, 5*r + 5 = -5*u. Suppose 0 = -4*f + 3 + 1. Let t be 7 + f + 1 + u. Solve -5*a + t*p - 4*p = -22, -5*p - 15 = 0 for a.
2
Let n(m) = 3*m + 43. Let o be n(-13). Solve 0 = -d + 4*x - 13, 2*x = 4*x - o for d.
-5
Suppose -2*w + y + 4 = 0, -5*y - 3 + 11 = 4*w. Solve 5*c + 4*n - 3 = -29, c + w*n = -10 for c.
-2
Let h(i) = -18*i + 38. Let m be h(5). Let s be 6/(-33) - (-4 + m/44). Solve 4*a = -n - 19, -a - s = -5*n + 5 for n.
1
Let h be (-8)/12 + 42/9. Suppose 0 = -2*p + h*p - 22. Solve 4*f + 5 = -f - 5*b, 2*f + 5*b + p = 0 for f.
2
Let h(v) = -v**3 + 4*v**2 - 2*v - 2. Let z be h(2). Suppose -z*q = 2*q - 64. Solve -2*l + 3*o = 4, q = l + 2*o + o for l.
4
Let u(c) = c**3 + 7*c**2 - 3*c + 4. Let o be u(-8). Let p be (164/(-6))/((-8)/o). Let m be (p/(-9))/(3/9). Solve i + 4*v - 6 = -i, 0 = -5*i + 4*v - m for i.
-5
Let n = 24 + -21. Solve -n*t + 3*k - 15 = 0, t + k + 0 = 3 for t.
-1
Let c(d) = d**2 + 7*d - 5. Let a be c(-8). Let i = a - -6. Suppose -5*w + i = -6. Solve -k = -0*k - 2*g + w, 0 = -4*g + 4 for k.
-1
Suppose 3*m = -18*m. Solve k + 3 = 5*f, m*f - 4*k + 11 = 3*f for f.
1
Suppose -3*l + 5*z + 12 = 0, 2*z = -z + 9. Let n be (-1 + 1)/(3 + -5). Suppose -3*g + n = -l. Solve 3 = -g*q, 2 + 3 = -2*i + q for i.
-3
Let j be 10/(-4)*(132/(-55))/6. Solve 4*v = u - 7, v = u - 5 + j for v.
-1
Let g be (10*20/(-25))/(2 - 6). Solve -g*m - 6 = 5*t, 0 = 3*m - 5*t + 9 - 0 for m.
-3
Let a be -3*1 - 24*(-6)/9. Let d(v) = v. Let i(m) = m**2 + 4. Let j be i(0). Let t be d(j). Solve 0 = -4*w - t*b + 4, -5*b + a + 4 = 2*w for w.
-4
Suppose 4*a - 5*a - 62 = 0. Let c = -60 - a. Solve -2*w = -5*u + w, -c*u + w = 0 for u.
0
Let c be (-4)/30 - ((-124)/(-15))/(-2). Solve -4*t = 0, -2*t - c = 3*m - 1 for m.
-1
Let q = -24 + 35. Suppose 2*j - 4*y = 4*j - 16, 16 = -4*j + 4*y. Suppose 0 = r + 1, -2*x - 5*r + 5 = -0. Solve j*i + i - q = 3*l, 0 = x*l + 2*i for l.
-2
Let y = 26 - 0. Let n = 35 - y. Solve 10 = 2*x + 3*o, 4*x = 4*o + n + 11 for x.
5
Let y be 1*(-1)/3 - 52/(-12). Let m = 0 + y. Solve 8*p - 5 = m*p + k, 0 = 3*p + 3*k + 15 for p.
0
Suppose l - c = -0*l + 11, 1 = -l + 4*c. Suppose 4*w - w - r = 11, 0 = 3*w - 3*r - l. Solve -q + 3 = -w*q + 5*i, -5*i = 3*q - 8 for q.
1
Suppose 2*i + 5 = 11. Solve 0 = -3*m, -4*a + i*a - 4 = -5*m for a.
-4
Let l be (-1)/(5/(-75)*1). Suppose -l*n = -17*n. Solve 0 = 5*b - n*b + 3*z - 9, 0 = 3*b + 5*z - 15 for b.
0
Let d = 86 + -81. Solve -5*h = -b - d - 0, -2*b + 5*h - 5 = 0 for b.
0
Suppose -38 = -4*z - 58, -3*a = 3*z. Solve 2*h + 3*h - a = 0, -22 = -4*u - 2*h for u.
5
Let v be 4*(10/(-70))/((-4)/14). Solve -2*y - 5 = -u, 3*y + v = u - 7 for y.
-4
Let l be (-174)/(-21) - (-2)/28*-4. Let v = l + -6. Solve -3*k = -2*q + 9, -v*q - 5*k + 3 = 2 for q.
3
Let s = -1 + 4. Suppose 5*z + s - 8 = 0. Solve -q = -l + 2*q + z, 0 = -l - 3*q + 7 for l.
4
Let c be (-35)/(-7) + -9 - (-16 - 0). Solve 0 = 4*q - 0*l - 4*l - c, 15 = q + 5*l for q.
5
Let m = 1451 + -1449. Let v = -3 - -4. Let j = 0 - -2. Solve -v - 13 = -4*z - m*w, j*z - 4*w = 22 for z.
5
Let b be 40/(-6)*60/(-80). Solve 0 = 3*o - j + 11 - 2, 2*j + 4 = -b*o for o.
-2
Let y be (0 - 2)*(-4)/(40/15). Suppose 0*j = y*j - 6. Solve j*m = -4*b - 2 + 4, 3*m + 21 = 2*b for m.
-5
Let m(z) = -z**3 + 7*z**2 + z + 4. Let p be m(7). Solve 5*s - 6 = w + p, -3*w = 3*s - 21 for s.
4
Let s = -4 - -8. Suppose 10*q - 30 = -5*w + 5*q, 3*w + s*q - 20 = 0. Solve l - 5*c = w, -4*l - c + 0 - 5 = 0 for l.
-1
Suppose -c + 4367 = 4366. Solve 2*v + 12 = -5*t - 0*t, -v + t = -c for v.
-1
Let d(a) = -6*a + 1. Let w(r) = r. Let f(o) = d(o) + 3*w(o). Let s be f(-1). Let t be 1*s*(1 - 0). Solve t*l + m = -1, l - 5*m + 2*m = -10 for l.
-1
Let g be (-1)/5 + -13*10/(-25). Suppose g*m = -m + 18. Solve -4*n - 5*o = 1, -3*o = 4*n - m + 2 for n.
1
Let b be (60/16 - 3)*-4. Let r be b/(-15) - 54/(-30). Solve 6*h - 3*q = 2*h - 1, 2 = 4*h - r*q for h.
2
Let u be 1/3 - (-35)/21. Suppose -2 = -5*r + u*c, -3*r + 5*c + 2 = 4*c. Solve -27 = 6*z - z - 3*g, r*z - 2 = -2*g for z.
-3
Suppose -10 = -9*p + 7*p. Suppose -2 = -q, 14 = p*b + 2*q - 5*q. Solve -13 = -a + 3*z - 6, 2*z = -b for a.
1
Suppose 0 = -11*l + 60 - 5. Let w(z) = -5*z + 1 + 1 - 3 + 2. Let s be w(-2). Solve -3*t = b - 2*b - s, -t + 25 = l*b for b.
4
Suppose -234 + 59 = -35*r. Solve -n - r*o = 15 - 0, 3*n + 3*o = -9 for n.
0
Let d(o) = -7*o + 4. Let x be d(-2). Suppose x = 4*f + 2*f. Let t(p) = p**2 - 3*p + 3. Let h be 