s, j - 6 = -v*s for j.
0
Let q = -29 + 21. Let r be (-1)/(((-1)/3)/(-7 - q)). Suppose r*x + 11*x = 42. Solve 4*v + 3*j - 5 = 0, x*v - 3*j = 6*v - 3 for v.
2
Let t = 19999 - 19994. Solve a - 3*o + 7 = 0, 4*a + 8 = 7*o - t*o for a.
-1
Let l(p) = p**3 + p**2 - p + 21. Let v(a) = 4*a - 68. Let y be v(17). Let j be l(y). Solve -3*s + 9 = u, -3*u + s = -2*s + j for u.
-3
Suppose 410 = 3*t + 2*t. Suppose 11*s + 60 = t. Suppose 9 = 3*k - 6. Solve 3*a = w - s - 13, -a = 2*w + k for a.
-5
Let t be (3 - (-403)/(-155))/(((-2)/5)/(-2)). Solve 3*m - 1 = 6*m + 4*i, -i = -t*m + 3 for m.
1
Let f(h) be the second derivative of 13*h**3/6 - 13*h**2 + 52*h. Let r be f(2). Solve -5*y + r*y + j + 6 = 0, -5*j = -5*y - 10 for y.
2
Let s = 5 + -1. Let k(v) = -v**2 - 19*v - 66. Suppose d - 2*o = -20, 5*d - 2*o + 7*o + 55 = 0. Let z be k(d). Solve -6 = 3*j - 5*j + 2*p, -z*j = s*p - 4 for j.
2
Let q be ((-2)/6)/(2/(-12)). Let c(i) = -121*i**2 + 245*i - 3. Let k be c(2). Solve -k*v + 5*m = q*v, 4*v = 2*m - 6 for v.
-3
Let o(q) = -254*q + 3307. Let i be o(13). Solve 7*b - p = 11*b - 9, -i*b - 4*p = -14 for b.
2
Suppose -2*s = 4*x - 8, 11 = 5*s - 2*x - 9. Solve -31 + 23 = 2*m + 2*q, -m - s = -4*q for m.
-4
Let k be 2/(-3) - 4/(-6). Suppose v + 10*c - 5 = 5*c, 5*v + 4*c = 4. Suppose v = -15*w - 9 + 39. Solve w*q - 2*x - 6 = -k*x, 10 = 3*q - 2*x for q.
4
Let b be (-2)/((-2)/((-2)/(-1))). Suppose -256*j = -262*j + 24. Suppose 0 = j*t - 2*k - 52, t = -4*t - 5*k + 50. Solve 2*a + 6 = -b*g + 5*g, 4*a + t = -g for a.
-3
Let s = -7618 - -7618. Solve g - 18 = -4*r, -3*g + 0 - 6 = s for r.
5
Let r be (4/(-6))/((-32)/7440). Let q = r + -152. Solve -5*k - 8 = -4*j, q*j + k - 6 = -4*k for j.
2
Let x be 4 - (-1 - -1) - -2. Let b be 62*(3 + (-35)/14). Let a = b - x. Solve a = -3*i - 5*k, 0 = 5*i - 0*k + 4*k + 20 for i.
0
Let j = 211 - 190. Let x(g) = g**3 - 22*g**2 + 21*g + 2. Let k be x(j). Solve 2*q + 2 = 0, v = k*q - 5*q - 2 for v.
1
Let u(n) = 8*n - 121. Let b be u(20). Let x be (-36)/63 + b/7. Solve -x*h + 3*d = 0, -3*h + 5 = 2*h - 4*d for h.
-3
Suppose 12*c - 16*c - 5*d = -16, -2*c + 8 = -3*d. Solve 0 = -z - 5*f - 11 + 10, 4 = -c*z + 5*f for z.
-1
Let i be (-34225)/(-1295) + (-8)/(-14). Solve -3*k + i*h = 32*h - 17, 2*k - h = 7 for k.
4
Suppose -2*g = -3*z, -5*z + 237 = -5*g + 247. Solve -3 = -5*u + 5*r + 2, -5*u + 4*r + g = 0 for u.
2
Let z = 3 - -20. Let t be (-8)/(-32) - z/(-4). Suppose 2*f + 29*g = 25*g + 40, -5*g = -4*f + 28. Solve -f = 4*q, t*b - 9 = 3*b - 2*q for b.
5
Let f be (1 - 2)*-1 - 0 - 11. Let j(v) = -v**2 - 12*v - 18. Let s be j(f). Solve -4 = -s*i - 2*u, -1 - 4 = 2*i + 5*u for i.
5
Let b be (-6)/4*((-30)/(-8))/(915/(-4880)). Solve -5*i - 54*z = -55*z + b, 2*i + 25 = 3*z for i.
-5
Suppose 11*w + 11745 = -18*w. Let l = -401 - w. Suppose 8 = 5*j - j. Solve 0 = -3*f - l*x - 1, -x + 1 - j = 0 for f.
1
Let o be (-3 - (-12 + 9))/(-2). Solve -5*p + 15*j = 19*j + 4, o = -6*p - 5*j - 4 for p.
-4
Suppose 285 = -5*r - 2*s - 2*s, 5*r = -3*s - 280. Let x = -49 - r. Solve 3*h - y = -2*h - x, 2*y - 8 = 0 for h.
0
Let i be (-3 - -215)*(-12)/(-16)*-1. Let c be (53/i)/((-1)/6). Solve -2*n - 10 = 0, c*g - 35 = 6*n - n for g.
5
Let h(g) = -44*g - 70. Let f be h(-5). Suppose 20*l = f + 50. Solve l = -4*n - 0*x - 2*x, -2*x + 14 = -4*n for n.
-3
Let k(r) = r**3 - r**2 - 10*r - 9. Let m be k(-3). Let n(t) = -t**2 - 13*t + 30. Let u be n(m). Solve -d + 3*o + 15 = u, d - 5*o - 23 = -0*o for d.
3
Let c(b) = -b**2 + 6*b + 12. Let v be c(6). Let r(m) = m - 1. Let y be r(4). Let s(k) = -19*k + 194. Let o be s(10). Solve 4*p - 2*q - v = -o*q, 0 = -y*q for p.
3
Let z(p) = -72*p - 792. Let f be z(-11). Solve f = -2*c - h - 3, 5*c + 10*h + 9 = 9*h for c.
-2
Let x = 576 - 369. Let c = 212 - x. Solve -3*g + f + 5 + 0 = 0, 5*g - 5 = c*f for g.
2
Suppose 4 = n - 0. Let r be 117/(-18) + 2/n. Let v be (-4)/r + 2/((-12)/(-14)). Solve -v*k = -9, -w - w + k = -3 for w.
3
Let o(g) = 32*g + 11*g**2 - 8*g**2 + 27 - 62*g. Let f be o(9). Solve a + w + 9 = f, 34 = -3*a - 4*w + 3 for a.
-5
Let z = 26 + -22. Let g be 3 - (z - 4*(-4)/(-16)). Suppose -h - 3*h + 13 = v, -v + 4*h - 3 = g. Solve 0 = 3*f + v*k + 22, -13 = 5*f + 4*k + 15 for f.
-4
Let z(x) = 2*x**2 + 76*x + 83. Let r be z(-37). Suppose 0*d = r*d - 18. Solve -d*f + 3*g - 19 = 0, f + 0*g = -g + 3 for f.
-2
Suppose -4*a + 7*a = 27. Let d = 8 + -9. Let k = 4 - d. Solve -4*f + 14 = k*u, -a = 4*u - 9*u + f for u.
2
Let v(m) = -5*m**3 - 2*m**2 - m + 1. Let g = 102 - 104. Let a be v(g). Suppose a = 14*b + 7. Solve -4*y + f = -f + b, -2*y - 4 = -4*f for y.
0
Suppose -l + 3*r - 14 = -2*l, -4*l - 3*r + 101 = 0. Suppose 25*a - l = 21. Solve -3*b - 3*m = -3, -a*b + 31 = b - 4*m for b.
5
Suppose -281*u - 91 = -294*u. Solve -f - q = -6, 0 = -4*f - q + 17 + u for f.
6
Let a = -11675 + 11677. Solve 0 = -a*l - 2*q - 16, 0 = -3*l + q - 15 + 3 for l.
-5
Suppose c + 12 = -m, c = 4*c + 4*m + 40. Let p(i) = i**2 + 8*i + 3. Let b be p(c). Let h = 1301 + -1298. Solve -16 = h*q - 2*t, 5*q + 30 = 2*t + b*t for q.
-4
Let v be -2*11/110 + 26/5. Suppose 2*m - v*m + 66 = 5*j, 4*j - 44 = 2*m. Solve j + 4 = 4*s - z, 0 = -3*s + 3*z + 21 for s.
3
Suppose h - 6 = r, 21*h + 6*r + 11 = 22*h. Solve h*y = 3*k + 37, 5*y + 17*k - 13*k - 9 = 0 for y.
5
Let u be -5 + 833/14 - (-2)/(-4). Let r = u + -49. Solve r*c - 19 = k - 0*k, 5*k - 9 = -c for k.
1
Suppose 57 = 5*k - 2*n, -180*n + 185*n = -5. Solve 5*q + k = 2*q + 5*x, 14 = -5*q + 4*x for q.
-2
Suppose 1262 + 1023 = 46*f + 721. Solve f - 42 = -l - 2*d, -5*l + 4*d = -12 for l.
4
Let a(p) = -3*p - 6. Let m be a(-3). Suppose n = -m*n + 5*s + 9, s - 27 = -4*n. Solve b - n = -q, 0 = -q + 3*q - 4*b for q.
4
Let u(k) = 2*k**2 + 18*k. Let y be u(-14). Let h = y + -137. Suppose -4*f + 5*t - 3 + 43 = 0, -f - 2*t = -23. Solve 6 = -i + h*i, 5*d - 5*i + f = 0 for d.
0
Let a = 303 - 287. Suppose 6 + a = 11*m. Solve -2*h + 12 = m*h - 4*z, 5*z = -15 for h.
0
Suppose 0*o = 4*o - 16. Let g(h) = 2*h**2 - 9*h + 6. Let x be g(4). Suppose -o*u = x*y, 5*y + u = 3*u + 24. Solve 4*d = j - 6 - 7, y*j = -d - 16 for d.
-4
Suppose -4398*b + 4391*b + 77 = 0. Solve 4*f = 5*l + b, 0*f - 3*f + 3 = -2*l for l.
-3
Let q = 18 + -17. Suppose 0 = -2*o - 4, -3*r + 2*r = o - q. Suppose -5*s = k - 3 - 4, s = r*k + 11. Solve 5*u = -2*p - 5, u - s = -3*p + 10 for p.
5
Let b = 82 + -79. Let t(i) = -i**3 + 4*i**2 - 7. Let v be (2/(-6))/(2/(-18)). Let r be t(v). Solve -r*m = -b*k - m + 2, -8 = 4*k - 4*m for k.
2
Suppose 10 = 5*y - 2*d + 2, -y - 8 = 2*d. Suppose 12 = -3*v + 5*s - 17, -5*s = 13*v - 61. Solve j + 0*j + v*k - 1 = y, -5*k = 3*j - 2 for j.
-1
Let w = -10801 + 10805. Solve w*f - 2*c = -5*c, -c = -3*f - 13 for f.
-3
Suppose 3*v = 5*q + 7 - 16, 0 = 2*v - 2*q + 2. Solve -v*y - 10*f = -6*f, 0 = -3*y - 3*f + 6 for y.
4
Suppose -69*z + 101*z = 0. Solve 5*c - 2*c + 4 = -2*h, z = -2*c + 2*h - 16 for c.
-4
Let a = 3522 - 3459. Solve -1 = -s, 68*s - a*s = -4*c - 3 for c.
-2
Let n be (-72)/30*15/(-12). Suppose n*b - 105 = -45. Solve 0 = 5*a + 5*x - b, -4*x = 2 - 10 for a.
2
Suppose 82*n - 83*n = y - 9, -3*n - 2*y = -21. Solve -2*v + m - 11 = 0, 4*m = n*v + v + 24 for v.
-5
Suppose 0 = 584*c - 1944 + 192. Solve 21*b = -2*z + 22*b + 6, z = 2*b - c for z.
5
Let l(f) = -6*f**3 - f**2 - 12*f - 11. Let a be l(-1). Suppose 0 = 2*k - a, -5*u - 13*k + 59 = -10*k. Solve 4*o = 2*s - u, o = 2*s - 4*o - 11 for s.
3
Let x(f) = -f - 6. Let i be x(6). Let r(k) = k**2 + 11*k - 4. Let v be r(i). Let m = 237 + -235. Solve -4*n - v = 4*y - m*n, -4*n = -3*y - 17 for y.
-3
Let m(b) = 28*b**2 - 10*b + 3. Let g be m(2). Let z be (1/(-2))/(g/20 - 5). Let y = 2 + 1. Solve 1 + 2 = d - z*u, 4*d = y*u - 8 for d.
-5
Suppose 8*y = 3*y + 90. Suppose -d - 3*v + 0*v + 17 = 0, -d = -4*v + y. Solve 2*i = 5*p - d, -i = 1 - 0 for p.
0
Let u = 244 + -239. Suppose m = u*m. Solve c - 5*g + 25 = m, 2*c - 3*g + 22 = -0*g for c.
-5
Let r(u) = u**3 - u**2 - 27*u + 18. Let c be r(-5). Solve 1 = y, 5*v = y - 4*y + c for v.
0
Suppose 0 = -43*t + 38*t + 255. Suppose 0 = -23*s + 6*s + t. Solve q - 15 = -s*v, 3*v + 5 = 4*q + 20 for v.
5
Suppose 4*z - 26 = 2*t, -2*t - 47 + 29 = -3*z. Solve b = -w + 10, -6*b = -z*b + 2*w for b.
5
Let d = 43 + -43. Let b be d/((4 - 1)/3) - -2. Solve -8 = -b*m, 11 + 4 = -3*f + 3*m for f.
-1
Suppose 0 = -7*x + 9