 3*i = -2*v - 11 for i.
-1
Let x = 21 + -16. Suppose 0*b - b + x = 0, 2*b + 10 = 4*i. Solve -i*k + 5 = 0, -5*k + 6 = t - 4 for t.
5
Suppose 0 = -4*x + 6*u - 4*u + 72, 2*x - 36 = -3*u. Suppose b - 5*t = -x, -3*b + 16 = b + 2*t. Solve 3*z + b*z + 20 = -4*y, z + 4 = -2*y for y.
0
Suppose -3*w = -w + 5*z - 35, 0 = -3*w + z + 10. Solve 4*a - 32 = w*o, -6 = a + a + 3*o for a.
3
Let a = -31 - -43. Let y = a - 7. Solve y*q - 5*x = 40, q - 4*x + 2*x = 12 for q.
4
Let n be (1 - -3) + -5 + 5. Suppose 0 = n*b - b + 12, v + 14 = -4*b. Solve 0 = 2*g + v*i, -g + 7*i + 16 = 4*i for g.
4
Let q(r) = -11*r**2 - 1 - 7*r**3 + 3 + 10*r**2 + r. Let n be q(-1). Solve 5*i - n - 4 = -3*a, -4*i = -2*a for i.
1
Let n(m) = m + 1. Let x(h) = -8*h - 9. Let g(t) = -6*n(t) - x(t). Let q be g(1). Solve 5*d = -2*p + 23 + 1, 0 = -q*d + p + 18 for d.
4
Let n be 166/3 + (-10)/30. Suppose -n = -3*w - 0*w - 5*m, m - 5 = 0. Let v be ((-6)/(-10))/(2/w). Solve -v*q - 27 = 4*u, -2*u + q + 3 = 4 for u.
-3
Let q be (-4 + 168/30)/((-8)/(-20)). Solve -4*t + 0*t = -s - 20, 0 = -5*t + q*s + 25 for t.
5
Let o be 51/(-9) - (-6)/(-18). Let d = -2 - o. Let t be 5 + ((-12)/3)/d. Solve -4*g - 50 = 5*c - 13, t*c + 32 = -4*g for c.
-5
Let n = -338 + 340. Solve -2*y + 4 = -n*l + 6*l, -2*y - 6 = -l for l.
2
Let j(m) = m**3 - 9*m**2 - 39*m - 6. Let r be j(-3). Let i = 4 - 2. Suppose i*t = -3*z + 6, 7 + 5 = 4*t - 4*z. Solve -3*y = t*q, 0 = r*q + 4*y - 3 - 1 for q.
-4
Let b be (2/(-6))/1*-15. Suppose 3*w + 0 = 3. Let s be (0 + w)*(-3 - -7). Solve -k - 45 = s*k - b*q, 22 = -3*k + 2*q for k.
-4
Let c be (4/(-6))/(4/18). Let d be 1*(1 - c/3). Solve -2*x = -2 - 4, -2*t - 2 = -d*x for t.
2
Let g = -1222 - -1224. Solve -g*w - 7 = -r + w, 9 = -r - 5*w for r.
1
Let x be 1*(3 - 6 - -5). Let p(u) = u - 3 - 6*u**2 + 7*u**x - 2*u. Let z be p(3). Solve -z*g = -5*b - 0*g + 7, -g = -b + 3 for b.
-1
Suppose 4*z - 28 = 4*x, 2*z + 16 = 2*x - 6*x. Let k be 5*4/10 + 1. Suppose 3*h - 101 = k*c + 2*c, h - 43 = -3*c. Solve 3*a - 1 = -z*g, a - h = -5*g + 5*a for g.
5
Suppose 4*u = 28*u. Solve 3*a + u*a - 15 = 0, -15 = -y - 4*a for y.
-5
Let t(o) = -7*o**2 - 57*o - 4. Let d be t(-8). Solve 4*y + d*v = -16, -2*y + 5*v + 14 + 6 = 0 for y.
0
Let o = 37 + -40. Let s(b) = 3*b**2 + 3*b - 1. Let q be s(o). Solve 0 = c - 3*y - 11, 0 = -3*c - y - q for c.
-4
Let z be 6 - (0 - (-3 + 1)). Let o(y) = -y**2 - 27*y - 26. Let t be o(-26). Suppose -2*q = -6, -5 = -4*w + 4*q - 1. Solve t*n - w*r = -z*n, -3*r = 6 for n.
-2
Let f(w) = 3*w - 15. Let z be f(3). Let v be (-4)/18 - z/27. Solve v = s - 4, 3*s = -i + 20 - 3 for i.
5
Let d be (-4)/(-2) - (-1 + 0). Suppose -2*w = -5*h + 2, 0 = -d*h + h - 3*w + 16. Solve f + 2*v = -2*f - 7, -2*f + h*v = -12 for f.
1
Suppose -5*o - 5*h - 5 = 0, 7 = -0*o + o - h. Let u be (1 + -4)/(4/(3 + -7)). Let b(m) = -m - 7. Let x be b(-10). Solve q + o = -k - u*q, -k = -2*q - x for k.
1
Let g(z) = z**3 + 7*z**2 + 5*z - 1. Let n be -5*-1*12/(-10). Let h be g(n). Suppose 0*c + 20 = h*c. Solve -c*o - 24 = 4*j, -3*j - 5*o - 18 = 2 for j.
-5
Let q = 21 + -24. Let t be (-8)/q - (-2)/(-3). Solve 5*f + u - 18 = 0, -t*u = 5*f - 0*u - 21 for f.
3
Let t be (-1)/(1*(-2)/6). Let g be 0/(1/(-2)*(10 - 14)). Let q be 3 - (-4 + (t - g)). Solve 0 = q*j, -3*z - 3*j = -j + 12 for z.
-4
Suppose 0 = -2*h - 2*h + 16, 26 = 5*u + 4*h. Let q be (-18)/(-12)*(u + 4/(-6)). Solve 4*x - 2*x - 2 = -q*t, 2*x - 22 = 3*t for x.
5
Let j = 57 + -37. Suppose l - j = 5*l. Let u = 12 + l. Solve -4*b + u*b + 10 = m, -4*b - 5 = -3*m for b.
-5
Let l(k) = k + 3. Let a be l(-7). Let q be a/(0 + (-3)/3). Let y be 4*((-6)/(-3) + -1). Solve -y*v - 10 = v + 2*d, -q*d = v - 16 for v.
-4
Suppose 5*r = -3*i + 9 + 28, 5*i - 40 = -4*r. Let d = -104 + 108. Solve -i*k + 0*k = -d*b - 36, 4*k = 5*b + 40 for b.
-4
Let w be 15/(-2)*(-72)/108. Solve 4*l - 5*q = 35, w*q + 10 + 10 = l for l.
5
Suppose -2*u = 2*u. Suppose u = 2*a + 3*a - 5*m + 10, 5*a + 2 = 3*m. Solve -2*s + n = 4*n + a, 3*n = 6 for s.
-4
Suppose -4*t = -4*a + 24, 11*a - 18 = 10*a + 5*t. Solve a*i - 5*c + 8 = -0, 0 = -2*i + 2*c for i.
4
Suppose -7*h = 484 - 498. Solve -4*u = w - 2*w + h, -w - u = 3 for w.
-2
Suppose 29*f - 30*f + 4 = 0. Let i be ((-20)/(-6))/((-2)/(-3)). Suppose 5*a = i*o, f*o - 2*a + 1 = 9. Solve 0 = -o*p + 4*x - 32, -p - 2*p - 2*x = 9 for p.
-5
Let g(o) = -o + 16. Let u be g(12). Let c be ((0 + 2)/(-1))/u*-6. Solve -c*r + 0 = 5*w + 9, -2*r + 19 = -5*w for w.
-3
Let w(m) = m**2 + 5*m + 3. Let d be w(-5). Let a(n) = n**2 - 10*n + 10. Let t be a(10). Let c be 4 - (d + -1*t). Solve -4 = -4*p + 4*s, 2*p - c = -p + s for p.
5
Let g(r) = -r + 7. Let z be g(7). Suppose 0 = -5*a + 3*t + 15, 15 = 5*a + 2*t - z*t. Solve -5*x = -h + 1, -4*x = -h + a*h - 2 for x.
0
Let l = 334 - 331. Solve -u - 3 = l*r, -2*r + 1 = 5*u + 3 for u.
0
Let i be (-19)/(152/(-48))*2/3. Solve -2*c = 3*v - i*c - 9, -v + c = -2 for v.
5
Let g(s) = 2*s. Let y be g(1). Let p(q) = q - q**3 + q**3 - 3*q**3 + y*q**3. Let j be p(0). Solve j = 2*m + 4*r - 18, 3*m - 4*r - 4 = -17 for m.
1
Suppose -60*l = -365 + 65. Solve -l + 1 = -4*q + 4*a, -11 = 5*q - a for q.
-3
Suppose p - 42*p + 369 = 0. Solve 2*h = n, -6*n + n = -h - p for h.
1
Suppose c - 3 = 6. Suppose -22*d + 79 = -31. Solve -r + 2 - d = -4*t, -c = 3*r + t for r.
-3
Let m(i) = 20*i - 172. Let h be m(9). Solve p - 3*s + 29 = -h*s, 5*p + s = -25 for p.
-4
Let t(l) = l**2 - 17*l - 24. Let y be 4/(-26) - ((-4980)/65)/4. Let f be t(y). Solve f = -2*b + 4*o, -5*b = o - 2*o - 10 for b.
3
Let w(m) = -2*m**2 - 20*m + 7. Let u be w(-9). Let g = -25 + u. Solve g = -2*j + 3*j - 5*i - 17, -3*j + i = 5 for j.
-3
Let c = -27 + 30. Let o be 3 + (c - 3) + -7. Let x be (24/21)/(o/(-14)). Solve x*v = 20, j - 3*j + 24 = 4*v for j.
2
Let j(i) = 3*i. Let t(s) = s. Let d(q) = 2*j(q) - 5*t(q). Let w be d(-8). Let u be 2/w*(-8)/1. Solve -u*z = 2*r, z - 1 - 4 = -2*r for z.
-5
Suppose 13*a = 18*a - 25. Suppose 0 = -2*m - a*d - 4, -3*d + 2 = -5*m + 23. Solve -u + 0 - 2 = 0, f + m*u = -5 for f.
1
Suppose -4*p + 5 = z, 0 = -3*p + 5*z - 10*z - 9. Solve 2*r + a = -p*a - 7, 4*a + 20 = 0 for r.
4
Let q(x) = 7*x**2 + 18*x - 7. Let v be q(-3). Solve -6*y + v*y + l = 17, -3*y + 6 = 3*l for y.
-3
Let d(p) = -2*p**3 - 2*p**2 + 3*p. Let z(g) = -2*g**2 + 11*g + 4. Let t be z(6). Let w be d(t). Solve 6 = -a + 2*v + w*v, 4 = 4*a - 2*v for a.
2
Let h be ((2 + -1)/1)/(270/1350). Solve 5*k + 2*v - 6 = -1, 3*k = -h*v - 16 for k.
3
Let q = 25 - 21. Let j be (-1 + -4)*3/((-15)/2). Solve -j*b = -5*t + 16, q*t - 23 = -3*b + 8*b for b.
-3
Let h be (-1 + -1 - -2) + (24 - 8). Suppose h = 5*z + 4*i, 3*z = -z + 4*i + 20. Solve 3*a + a + z*m - 16 = 0, -3*m = 2*a - 13 for a.
-1
Suppose -2*t + 4*t + 16 = 0. Let q be 6*(t/(-12))/(-1). Let w(i) = -i - 2. Let f be w(q). Solve 5*h = -f*s - 2, -5*h + 1 = -s - 0*h for s.
-1
Let f(p) be the first derivative of 3*p**4/4 - p**3/3 - p**2/2 + p + 10. Let l be f(1). Suppose -9 + 7 = -v. Solve -4 = l*z + v*j, 4*z + 4 = -2*j - 10 for z.
-5
Suppose 5*y - 18 = 2*z, -z = -58 + 62. Solve 12 = -5*p - c + 32, -2*p + 16 = y*c for p.
3
Let p be 6*(6 - (1 - -4)). Let n = -11 + 47. Suppose 9*r - n = p*r. Solve -4*h - r = 0, m - 2*h = -7*h - 20 for m.
-5
Suppose 0*j - 15*j + 60 = 0. Suppose 5*y - 2*y = 45. Solve 3*g - w - y = -5*w, -4*w - 20 = -j*g for g.
5
Let o(j) = j**2 - 8*j - 3. Let h be o(9). Let r = -2 + h. Suppose 0 = -5*n + r*b + b + 10, -b = -3*n + 12. Solve -4*t = n*c - 23 - 2, -2*c + 7 = t for c.
1
Let m = -10 - -7. Let i(k) = -k**3 - 3*k**2 - k - 5. Let q be i(-4). Let d = q + m. Solve h - d = 3*o - 2*h, h = -5*o + 4 for o.
0
Let g(v) = -v**3 + 12*v**2 + 41*v + 62. Let r be g(15). Solve -5*p + 4*s + 3 + 5 = 0, r*p + 5*s - 23 = 0 for p.
4
Suppose -9*r + 39*r - 390 = 0. Solve -k - 2*w - w + r = 0, -w = -3 for k.
4
Suppose -2*l - 6*g + 5*g = -9, 0 = 4*l - 5*g + 17. Solve l*v + p = 5, -3*v + 4 = -0*p + 5*p for v.
3
Let m = 33 - 13. Let y be 11/4 - ((-105)/m - -5). Solve 3*v = s - 4, -y*s - 7 = -s - v for s.
-5
Let y(u) = -4*u**3 - 4 + 8*u**3 + 12 + 12*u**2 - 3*u**3 - 13*u. Let k be y(-13). Solve 3*x = -2*v + k, -3*v + 2*x = -3 + 4 for v.
1
Let z be (92/9 - (-26)/(-117))*-7. Let g = z + 105. Solve 0*a = -3*i + 3*a - 30, 3*i = 4*a - g for i.
-5
Suppose 0 = -2*h - 7*h + 1404. Let p be h/24 - (-2 - (-5)/2). 