 b*x = 4*j - 19 for j.
1
Let u(d) = d**2 + 2*d + 2. Let c be u(-2). Let m = c - 0. Suppose 2 = -0*j + m*j. Solve -5*o - 6 = i, 5*i + j - 13 = -4*o for o.
-2
Let c be 5 + (-7)/((-63)/(-18)). Solve 3*r + 4*o - 6 = 0, c*r - 23 = 7*r - 5*o for r.
-2
Suppose -28 = -5*m - 2*d, m + 2*d = 2 + 10. Solve 0 = m*j - 18 - 2, 0 = 5*i - 4*j + 35 for i.
-3
Let t = 54 - 52. Solve 5*z - t = 4*o, -2*z - 8 = -2*o - 4*z for o.
2
Suppose -3*y = -3*x - 27, 0*x + x - 3*y = -19. Let h = 15 + -25. Let a be (h/x)/(20/40). Solve w + 3*t = 3*w + 2, w + a*t - 12 = 0 for w.
2
Let s(i) = -i**2 + i**2 + 3*i**2. Let q be s(-1). Let v be 1*3 - (-7 + 18 + -22). Solve 2*n + 8 = 0, 46 = 4*r - q*n + v for r.
5
Let l be (-1)/(7/(-4))*(-84)/(-24). Suppose 3*g = 4*u + 146, -2*g + 4*u + 102 + 2 = 0. Let o be ((-24)/g)/(l/(-7)). Solve -3*f = 12, 2*f = -c + o*c - 12 for c.
4
Suppose 5 = 11*z - 12*z. Suppose n = -0*l + 4*l + 3, 0 = -5*l + 2*n. Let q be (z/l)/(8/48). Solve 5*i = x - q, 2*x - i = -0*i + 3 for x.
0
Suppose -p = 2*w - 24, -2*w - 34 = -3*w + 5*p. Solve 0*k = -2*x + 2*k + w, k + 5 = 0 for x.
2
Let l be 122/14 + (-20)/(-70). Suppose -l*v = -0*v - 54. Solve v = 2*i - 4*f - 0, -2*f = -3*i - 3 for i.
-3
Let s(v) be the third derivative of -v**6/120 + v**5/12 - v**4/12 - 2*v**3 + 13*v**2. Let z be s(3). Solve -4*q + 2*k - 11 - 17 = z, -6 = 2*q + k for q.
-5
Let w = -24 - -45. Suppose -w = -l - 1. Suppose -5*c - 3*x + l = -4*c, 25 = 5*x. Solve c*t + 2*h = h + 15, -4*h - 16 = t for t.
4
Let l be (-13)/(13/(-2)) + -2. Solve 2*g + l*k + 4*k = 14, -g = -5*k + 28 for g.
-3
Let o = -58 + 63. Let a = 0 - -2. Suppose 15 = d + a*t + 4, o*t = d + 10. Solve y = d*v - 4*v - 1, 2*v = y for y.
-2
Let v(c) = c - 1. Let h(n) = 49*n - 91. Let t(y) = -h(y) + 42*v(y). Let b be t(7). Solve b = -4*m + 2*m + 3*w + 8, -m + 11 = -5*w for m.
1
Let l = -323 - -325. Solve -6*t = -5*j - 3*t + 30, -4*j = -l*t - 22 for j.
3
Suppose 0 = -4*s + 3*v + 15, -4*s + 3*v = 2*v - 21. Solve 13 = -5*f - n - 5, n + s = -f for f.
-3
Let b be (-4 + 1 + 3)/((-6)/(-6)). Solve -2*w + b*w + 3*x + 6 = 0, 4*w - 3*x = 0 for w.
-3
Let z be (-9 + 5 + 5)*0. Solve -d + z*d + 10 = 3*t, -d + t = 2 for d.
1
Let h(z) = -4*z - 6. Let g be h(-3). Let c(x) = -x**2 + 7*x - 7. Let t be c(g). Let a be (t - 0)/((-7)/21). Solve 4*v + 3*s - 18 = 0, -4*v + 3 = -3*s - a for v.
3
Let j = 155 - 149. Solve 3*b - p + 10 = -4, -p = 2*b + j for b.
-4
Suppose 2 = 4*y + 2*l, 5*y + 0*l = -3*l + 3. Suppose y = 5*o - 11 + 1. Suppose -5*k + o + 3 = 0. Solve 4*z + x + 17 + k = 0, -5*z - 3*x = 19 for z.
-5
Let o(i) = -3*i**2 + 37*i - 108. Let p be o(7). Solve -15 = 3*w + p*a - a, -4*w + 3*a = -15 for w.
0
Let o be (108/243 - (-8)/(-18))/(-2). Solve 2*r - 9 = 7*u - 6*u, o = -5*r - u + 26 for r.
5
Suppose -66*y - 4 = -4. Solve -3*d + 2*f = -y*d - 17, 2*d + 5*f = 5 for d.
5
Suppose -54*x + 42*x = -60. Solve 2*p + 7 = -5*a - 15, x*p + 1 = a for p.
-1
Let i = -23 + 26. Let x = 0 - 10. Let u = x - -14. Solve 18 = u*f + i*h, -f - 3 = 4*h - 14 for f.
3
Suppose -5*o = -5*h - 2*o - 89, 65 = -5*h - 5*o. Let a = 7 - h. Solve -5*s + 0*s + a = g, -g + 19 = 4*s for g.
3
Suppose 13 = 3*q + j, -3*q + 8 = -5*j + 1. Let s = -1 + q. Suppose -2*b + 5*b - 2*c = 15, -2*c + 3 = s*b. Solve 0*v = -2*f + b*v + 7, -4*v = -3*f + 10 for f.
2
Let s be ((-8)/3 + 2)*-45. Let v = 45 - s. Let w = -11 + v. Solve -21 = b + j + w*j, 0 = -4*b + 2*j + 4 for b.
-1
Let v = 450 + -410. Solve -3*y = -8*y - 4*r - v, 0 = 5*r + 25 for y.
-4
Let c(m) = -m**2 + 21*m + 448. Let v be c(34). Solve -7*i - 7 = -v*i + 2*n, 0 = 5*i - n - 20 for i.
3
Suppose -3*i + w - 13 + 23 = 0, -3*i - 4*w = -35. Let x be (6/9)/(4/(-12)). Let l = x + 5. Solve 0 = 3*n - 2*h - l, -3*h - 4 = -i*n - 0 for n.
-1
Suppose 3*l - 4*o - 18 = -2*o, 3*l + 5*o + 3 = 0. Let a be 1/(-2)*(4 - 8). Solve g + 10 = l*n - 0*g, a*n + 3*g = 12 for n.
3
Let a = 9 + -17. Let m be (-42)/a + (-4)/16. Solve 5*p + 0*q = 3*q + 19, -5*p + m*q + 15 = 0 for p.
5
Let d be (-32)/56*(-7)/2. Suppose k = 3*h + 7, d = 4*k - 2*h - 6. Suppose 0 = -2*i + 7 + k. Solve -i = -2*u - 2*x, -18 = -2*u + 3*x + 2*x for u.
4
Let a = -30 + 25. Let y(r) = -r**3 - 6*r**2 - 11*r - 4. Let d be y(a). Solve 5*j - 3*m = 20, -d = -5*j - 3*m - 6 for j.
4
Let y = -1 + 5. Let j = -3305 + 3305. Solve j = -g + 2*w + y, 0*w + w - 5 = -3*g for g.
2
Let u = 19 - 9. Let h be 6/(-4) + 115/u. Suppose 0 = z - 3*z + h. Solve -3*y - b + z*b - 22 = 0, -4 = -4*y - 3*b for y.
-2
Let o = -1201 - -1203. Let r = -23 - -40. Solve -r = -4*d + 2*f + 3*f, -o*d + f + 1 = 0 for d.
-2
Suppose -59 = 4*m + 25. Let q = 41 - 47. Let r be (-1)/((m/q)/(-7)). Solve -f - 8 = -y, r*y + 2*f - 7*f - 31 = 0 for y.
3
Let r = 35 - 35. Suppose r = -4*w + 8 + 8. Solve -k = -0*n - w*n + 8, 4*n = -2*k + 20 for n.
3
Suppose 2*q + 0*q - 22 = 0. Suppose -q - 1 = -4*s. Solve 0 = 4*o - 4*i - 40, -i - 5 = s*o + 3*i for o.
5
Let z be 5*(-9)/180 + 9/4. Solve -z - 3 = 2*f + q, 0 = -4*f + 5*q - 45 for f.
-5
Suppose -5*g + 0*g = -20. Suppose -7 = l + g*i + i, 0 = 3*l + 3*i + 33. Let p = l - -13. Solve 0 = -n + 2*v, -3*n + p = -0*n - 5*v for n.
2
Suppose 0 = 2*c - 4 - 0. Let l be ((-20)/(-15) - c)*-9. Solve 3*r - 10 = -l*b + b, 0 = 5*b + 2*r - 5 for b.
-1
Let c be (54/(-45))/((-2)/5). Let f be c*(-5)/10*1*-2. Solve 0 = q - f*j + 2 + 12, 19 = 4*q + 3*j for q.
1
Suppose -7*q = -5*q - 6. Suppose o - v = q*v + 14, -v = o - 4. Suppose 0 = -5*j + o*j - 5. Solve -3*r - 25 = -5*i, 2*i + i + j*r + 19 = 0 for i.
2
Let u(t) = -5*t**2 + 2*t**2 - t**3 + 6 - 10*t**2. Let i be u(-13). Solve f - 4*x = -13, 0 = 4*f + 4*x - i - 2 for f.
-1
Suppose 38*c + 16 = 46*c. Solve -4*f - 20 = 5*b - 6*b, 3*f - c*b + 15 = 0 for f.
-5
Let l = -799 - -799. Solve q = l, n - 3*q + 0*q = -5 for n.
-5
Suppose -3*k = -15, -45*b + 48*b - 112 = -5*k. Solve -15 = 2*o + 5*t, 5*o + 5*t + b = t for o.
-5
Let p(z) = 2*z**3 + 11*z**2 + 6 - 6*z**3 - 10*z + 5*z**3. Let i be p(-12). Let u = i - -20. Solve -4*j + j + 23 = -5*n, 0 = n - u*j + 6 for n.
-4
Suppose -2*g + 245 = 3*g. Suppose -4*l + 5*k = g, 2*l + l = 2*k - 28. Let m = 8 - l. Solve -5*i = -d, -3*d - 4*i = -5 - m for d.
5
Suppose 6*f = 2*f + 8. Suppose r = 3, f*w - 8 - 8 = -4*r. Suppose -w = -h + 1. Solve 4*d = -2*z - 6, -2*d - h*d - 10 = 5*z for d.
-1
Suppose 0 = 9*h - 29*h + 60. Solve o + 9 = -3*p, 1 = -p - h*o + 6 for p.
-4
Suppose -7*a + 4*a = 9, -6 = -3*k - 2*a. Solve 3*g = -k*s - 6, 3*s - 4 = 3*g + 2 for g.
-2
Let v = 13 + 16. Let y = 32 - v. Solve -r = 2*s - 7, y*s - 14 = 2*r - 0*r for s.
4
Let v(t) = -t**2 - 3*t + 3. Let o be v(-3). Suppose o*m + 0 + 3 = -2*c, c - 18 = 5*m. Solve 2*n + 0*w = 4*w, -c*n = -w + 5 for n.
-2
Suppose 3*z + 9*z = 372. Solve -z = -5*d - 2*b, 2*b - 7*b + 25 = 2*d for d.
5
Let r be -3*5/15*1. Let w be r/(1/(5 - -2))*-1. Solve -w = 5*y + 4*q, 2*q = -y + 6*q - 11 for y.
-3
Let f = -340 - -340. Solve -3*g - 4*t + 3 = -t, f = -g - 3*t - 7 for g.
5
Let a(x) = -2*x**2 + 18*x - 20. Let y be a(7). Suppose 13*o - y = 11*o. Solve 0 = -2*v - o*n - 18, 6*n - 4*n + 4 = 0 for v.
-5
Suppose -3*n + 81 = -5*t, n = 3*n + t - 41. Suppose 2*g + 9*g - n = 0. Solve -g*s = 4, 4*r - 2*s = -7*s + 2 for r.
3
Suppose -3*u + 40 = -59. Suppose 11*f - 11 = u. Solve q = 0, -4*n - f*q = -n - 15 for n.
5
Let v(p) = -p**3 + 10*p**2 - 4*p + 7. Let q be v(10). Let l = q - -35. Solve -3*d + 15 = 0, 4*w + 10 = l*w + 2*d for w.
0
Suppose -r - 2*s = -6*r + 15, 5*r = -4*s + 45. Let g(y) = y**2 - 2*y. Let p be (-13)/5 - 2/5. Let d be g(p). Solve 3*k + 0 + d = -5*v, 0 = 3*v - r*k + 9 for v.
-3
Let m be (12/252*-9)/(2/(-14)). Solve m*h + 3*v + 11 = -19, 4*h = -5*v - 45 for h.
-5
Let r = -4483 - -4484. Let l(f) = 2*f**2 - f - 1. Let b be l(-1). Solve 3*w + 12 - r = c, w + 12 = b*c for w.
-2
Let l be (51*8/(-36))/((-4)/6). Suppose 0*k - q = 4*k - l, -35 = -5*k - 4*q. Suppose -16 = -5*u + u. Solve -3*z - 2*v = 13, 0 = k*z - u*v - 17 for z.
-1
Let p(z) = -z**2 + 3*z + 7. Let a be p(6). Let k(b) = b**3 + 11*b**2 - b - 7. Let t be k(a). Solve -f = f + t*c + 2, -2*c = -2 for f.
-3
Let l = 454 - 440. Solve -2*b - d + 3*d = 8, -3*d + l = -5*b for b.
-1
Suppose -4*b = -3*j - 10, 0 = -b - 7 + 5. Let y = -5 - j. Let s be (-6)/(-18) - ((-33)/9 + 2). Solve 4*x + s = -3*u, -8 = 5*u + x + y for u.
-2
Suppose -45 = -3*k - 66. Let d be (112/12)/k*3/(-2). Solve -d*