n = 10 for x.
1
Let m be 4 - 4 - (-1 - 0 - -1). Suppose m = 6*b - 188 + 2. Suppose -29*j + b*j = 0. Solve 4*o - c + 8 = j, -2*o = -5*o - 2*c - 17 for o.
-3
Suppose -2*u = x + 4, 9 - 29 = -4*x + u. Suppose x*i - 4 - 12 = 0. Suppose i*q - 30 = q. Solve 0 = -5*l - 20, -2*p - 4*l - q = -2 for p.
4
Suppose -32*g = -134 - 26. Solve 5*d = 3*y + 27, g*d - 13 = y + 2*d for y.
-4
Let w be ((-44)/16)/(3/(-12)). Suppose -7*l - 12 = -w*l. Suppose 0 = m - 5*o + 17, -3*m + l*o = -6*m + 21. Solve -h + m*s + 4 = 0, 3*h = 5*h + s + 6 for h.
-2
Suppose -2*p - 4*b + 14 = 0, 2*p + 1 = 5*b - 3. Suppose 2*f = p - 9, 0 = -u - 5*f - 10. Solve h + u*l = 23, 2*h + 5*l - 35 = -3*h for h.
3
Let t = -19 + 24. Suppose -2*p - t + 237 = 0. Suppose -4*v = 5*j - 0*v - p, -4*j + 91 = 5*v. Solve -g - 21 = -5*c, -g - 3*c + j = c for g.
4
Let k be (-3)/6*248/(-31). Solve -3*m - 9 = 0, -2*m = -0*r - k*r + 22 for r.
4
Suppose -5*f = 5*k - 12 - 18, -5 = 5*f. Let c(i) = -2*i + 1. Let v be c(-3). Let h = v - k. Solve -4*w + 3*y = -3, 5*w + 3*y - 24 = -h*w for w.
3
Suppose -2*i - i - 3*i + 24 = 0. Solve -4*p - 4 = -9*p - 3*y, -i*p + 14 = -3*y for p.
2
Suppose 2*x = -4 - 2, 3*p = 5*x + 27. Let n be (0*2/p*-1)/(-2). Solve n = c - 5*c - 3*a + 11, -c = a - 3 for c.
2
Let m be ((-340)/15)/(-17) + ((-12)/(-9))/2. Solve -4*d - 4 = 5*b, -3*d + 3 = -m*b - 6*d for b.
0
Let g = -130 - -132. Let w be 1 + ((-12)/3)/4. Solve g = -0*k - 2*k + 2*c, w = -4*k + c + 8 for k.
3
Suppose -5*g + n = -52, 4*g = 2*n + 11 + 27. Let h = 6845 + -6825. Solve 3*x - g = -u - x, 5*x - h = 5*u for u.
-1
Suppose 5*c - s - 11 = 0, -145*c + 150*c - 2*s = 12. Solve 3*f + 3*h + 3 = 0, -11*f - 4*h - c = -8*f for f.
-2
Let o = 550 + -82. Let k = 473 - o. Solve 7*h - 3*h = 4*i, 30 = -k*i - 5*h for i.
-3
Suppose 8*l + 6*l = -2184. Let i = l + 163. Solve 5*s + i = -4*f, -f = 4*s - 1 - 0 for f.
-3
Let t(f) = 3*f**2 - 9*f - 83. Let d be t(7). Solve -2*l = h + d, 11*h - 44 = -3*l + 16*h for l.
3
Let t be (-84)/(-378) - 4275/(-81). Solve -3*h - 2*z + 19 = 0, -2*z = -9*h - 12 + t for h.
5
Let c(w) = 6*w - 4*w + 13*w + w**2 - w**3 + 4*w**2 - 7. Let y be c(7). Suppose -k - 4*k = y. Solve 4*z + 10 = -0*a + 2*a, k = 5*a + 5 for z.
-3
Let m be 2/(-3) - (-2)/(18/15). Let c be m/((-8)/(-2))*4. Suppose -7*a + 6 = -c. Solve -l = i - 3, 2*i + a = -4*l + 9 for i.
2
Let n = 190 - 170. Suppose n = 8*f - 4*f, 4*c - 30 = -2*f. Solve -2*j + u + c = -3*j, -1 = 2*j - u for j.
-2
Suppose 10*o - 24*o + 168 = 0. Let l be ((-1 - o) + 5)/(-4). Solve 5*p = -l*s + 10, 4*s + 10 = -3*p + 2 for s.
-5
Suppose -4*b + 4*g - 8 = 0, 25 - 5 = 2*b + 2*g. Solve b*r + 28 = -p + 34, -2*r - 6 = 5*p for p.
-2
Let k be 2/(-3) + (-1190)/(-255). Solve 10 = 3*x - k*a - 13, -25 = 5*a for x.
1
Let n = -1718 - -1720. Solve k - 6*w + 11*w = 8, 4*k = -n*w + 14 for k.
3
Let f be ((-3)/1 - (5 - 0)) + 1. Let u be (f + 11)*(-2)/12*-3. Solve 2*i - 7 - 13 = -u*w, -2*w = -5*i + 15 for w.
5
Let d(r) = -2*r + 35. Let q(t) be the second derivative of -t**3/2 + 5*t**2/2 + 4*t. Let m be q(-3). Let i be d(m). Solve 2*h = -2*o + 14, 3*o - i = 5 for h.
3
Let w be (7/(-2) + 3)*0. Let y be ((1/(-6))/((-25)/100))/(1/30). Solve -2*r - 2*x - y = 0, -3*r + 4*x + 5 = -w*r for r.
-5
Let j = -841 - -846. Solve 2*y + 5*v = 0, -11*y + j*v = -16*y for y.
0
Suppose 6 = 7*a - 15. Suppose -18 = -5*q + 3*h, h - a*h = -8. Suppose 0 = -0*n + 2*n + m - 6, -n + 4*m - q = 0. Solve -2*k - 2*l = -18, 3*k - n*k - l = 1 for k.
5
Suppose -10*g + 0*g = -40. Let h(c) = c + 8. Let j be h(-7). Let i be j + -3 + 1 + (19 - -2). Solve -2*f = -5*k - i, -g*f - k = -13 - 5 for f.
5
Suppose -1990 = -494*g - 501*g. Let t be 1*(-1 - (-3 - 0)). Suppose -i - 3 = -2*i. Solve -5 = t*c + 5*x, -g*c + 0 = -3*x - i for c.
0
Let c(x) be the first derivative of -x**4/4 + 2*x**3/3 - x**2/2 + 3*x + 104. Let o be c(0). Solve 2*q - 15 = 3*j, 3 = -6*j + 2*j - o*q for j.
-3
Suppose -3846 = 23*d - 3915. Solve d*v + 2*y = -10, 20 = 3*v - v - 4*y for v.
0
Let g be (2 + (-26)/10)/((-210)/1050). Solve 2*p = 7*p - k + 20, -3*k + 6 = g*p for p.
-3
Suppose -s - 2 = f, -2*s + 6 = f - 3*s. Let i be (1/(-2))/((-96)/576). Solve -i*y + 13 = 2*o - 2*y, -4*y + f = -2*o for o.
5
Suppose -2*i - 5*h = 19, 6*i - 20 = i + h. Let z be 21/(-2)*(-4)/i. Let t be ((-24)/z)/((-21)/98). Solve -5*c + 21 = -3*q, 5*c = 4*q + 31 - t for q.
-2
Let q(o) = -56 - 6*o**2 - 2*o + 15*o + 5*o**2 + 24. Let v be q(9). Let c be 3/(-5)*(-40)/4. Solve -c*z + 2*z = -m, -v*z = 5*m for z.
0
Let m be (97/(-5))/(28/140). Let v = m - -99. Solve d + 23 = -5*r, -4*d - v = -2*d - r for d.
-3
Suppose 2*n = -5*k + 7*n - 5, -28 = -2*k - 4*n. Suppose k*x - 9 = m, 3*m + 20 = 6*x - x. Solve -4*y + 2*u + x = 15, -y = u + 5 for y.
-4
Suppose -6*q = 62*t - 67*t - 38, -10 = -t - q. Solve t*i - 92*r + 15 = -91*r, -5*i - r = 20 for i.
-5
Let z = -4734 + 4761. Solve -4*w = 4*i + 8, -z*w = -26*w - 1 for i.
-3
Let f(z) be the first derivative of -z**4/4 - 23*z**3/3 - 25*z**2/2 - 34*z - 208. Let o be f(-22). Solve -3*i + o = 4*p + 2*i, 4*p = -3*i + 24 for p.
3
Suppose -91*d + 92*d - 4 = 0. Solve -3*k - 14 = 1, j - 15 = d*k for j.
-5
Suppose -4*j + 39 = 5*k, -39*j + 37*j + 6 = -2*k. Solve 0 = n + 8*z - j*z - 8, -4*n - 2*z = -8 for n.
0
Let r(l) = -l**3 - 2*l**2 + l - 3. Suppose -j = -c + 6, -c + 0*c + 12 = -3*j. Let z be r(j). Let m = 98 - 82. Solve 4*a = i + 13, -z*a + m = a for i.
3
Suppose 14*u - 4629 = 3827. Let m = u + -600. Solve 0 = 5*v - 3*k + 28, -v + 3 = -m*k + 12 for v.
-5
Let i be 256/(-5504) + 4/86. Let v(u) = u + 10. Let g be v(-7). Let d(h) = 2*h**2 + 1. Let j be d(1). Solve i + 6 = -g*z, -z - 11 = -j*y for y.
3
Suppose -239 = -119*a + 118. Solve 5*r - 10 = 5*f, -5*r + f = -a + 1 for r.
0
Let g be -9 + -2 - (-9 - 11). Solve -10 = 2*x, -3*u - x - 5 = -g for u.
3
Let a be 1422/(-79) - -9*2. Solve a = -5*p - 2*b + 24, 115*b - 114*b = 2 for p.
4
Suppose 3*d - 46 = -4*z, 4*z - 2*d = 33 + 23. Suppose 7*u - 1 = z. Solve u*n + 4 = -0, 2*w = 5*n + 18 for w.
4
Let y be (6/(-8) + (-1)/(-2))*(85 - 85). Solve y = 5*k + 4*a - 13, 3*k + 11*a - 8*a - 9 = 0 for k.
1
Suppose 0 = w - f - 4, 0 = -5*f - 10 + 30. Solve 0 = 2*v - 2*k + w, -v = v - 5*k + 14 for v.
-2
Let s be (-28)/(-5) + -1 + 54/135. Suppose 7*p - s*p = 86. Let o = -38 + p. Solve -o*r = t + 5, r + 3*t = 2*t - 1 for r.
-1
Let w(x) = -x**3 - 4*x**2 + 5*x + 1. Let z be w(-5). Let o = -54 + z. Let p = o + 58. Solve 3*j = -2*b + 4*j - 4, 28 = -p*b - 2*j for b.
-4
Let y be 3/((-6)/14 + 32/42). Suppose 6*n - y = 15. Solve 4*q - 2*r = -0*q - n, -q + 3*r - 11 = 0 for q.
1
Let a = -52 - -46. Let i(m) = 3*m + 18. Let y be i(a). Suppose y = -3*s + 15 - 6. Solve h = 5*w + 27, -w - 16 = 2*h + s*w for h.
2
Let i = -10 + -29. Let h = 41 + i. Suppose 0 = 4*t + 2*c - 72, c + 44 = h*t + 4*c. Solve -12 = -3*u, -5*u = 4*j - 4*u - t for j.
3
Let t = 3017 - 2997. Solve 33*s + t = 28*s + 2*k, 30 = -5*s + 4*k for s.
-2
Let h be 54/45*(-5)/2. Let t be -6*h*3/18. Let s be ((-480)/(-300))/(1 - t/5). Solve j - 3*j = -s*r + 10, 3*r = 4*j + 10 for r.
2
Let g(t) = t**3 - 22*t**2 + 22*t - 18. Suppose -22 = -d + m, 3*d + 0*d + 3*m = 60. Let k be g(d). Solve 2*p + k*f = -7, -3*p = -7*p + 3*f - 5 for p.
-2
Let f(d) = -65*d**2 + 396*d - 33. Let u be f(6). Let n(y) = y**3 + 3*y**2. Let o be n(-3). Solve o*c + 3*c + 7 = -4*b, -4*c - u*b = 7 for c.
-1
Suppose -158*r - 217 + 1481 = 0. Solve 0 = -5*n + 4*v - 4, -r*n = -11*n - 7*v + 7 for n.
0
Suppose -4*n + 8*h + 293 - 181 = 0, 0 = -3*n + 3*h + 87. Solve -2*o = -y + 2, o + 4*y - n = -13 for o.
1
Let p(x) = 12*x**2 + 693*x - 157. Let y be p(-58). Solve -5*d + y = -4*f, 4*d - d - 17 = -f for f.
2
Let m be 1108/24 + (-1)/6. Suppose 0 = -5*a + 4*y + 60 + 190, 128 = 3*a + 2*y. Let o = a - m. Solve z + 3*z + b = 13, o = -2*b + 2 for z.
3
Suppose 3*v + 303 = -3*y, -5*y = -3*y + 5*v + 217. Let x = 41 + y. Let q = x + 57. Solve q*w + 2*a = 8, 2*a = w - 0*a - 1 for w.
3
Let u be (-1)/2 + 19/608*112. Solve k + u = 2*n, -n - 5*k + 12 = -2*n for n.
3
Let m(c) = -c**3 + 7*c**2 - 9*c - 10. Let q be m(4). Solve -q*v - 4 = 3*g, 10*v - 4*g = 6*v + 12 for v.
1
Let j = 1010 + -990. Let o be 1/1 + -1 + 2. Solve 5*z + j = -o*p, 0 = -4*p + 2*p + 5*z for p.
-5
Let w = 77 + -75. Suppose -f = 2*n + 1, 5*n - 18 = n + w*f. Solve -2*g = -5*o - 15, -5 = 4*o - n*g - g for o.
-5