- 4*k - 3*g for k.
0
Let q(h) = 2*h**2 - 8*h + 7. Let c(g) = g**2 + 3*g + 3. Let t be c(-3). Let p be q(t). Solve 2*z + 0*z + p = -5*o, -5*z + 5 = 5*o for o.
-1
Suppose -2*n - 2*n - 96 = -2*t, 2*n = -3*t - 48. Let v = n + 50. Solve -3*m = -0*y + 5*y + v, 0 = m - 4*y - 14 for m.
-2
Let o be (-3)/(-7) + 298/7. Let q = -13 + o. Suppose 3*x - 3*c + 6 = 0, -4*c - c + 26 = 3*x. Solve -3*a = -4*k - 3, -a - x*a = 5*k - q for a.
5
Let v = -253 - -146. Let w = v + 109. Solve 4*t + 8 + 8 = -4*q, -5*q - 23 = w*t for q.
-5
Let p(o) = o**2 + 6*o - 4. Let r be p(4). Let j = r - 34. Solve 2*i + j*i = -4*g + 8, -3*i + 2*g = -21 for i.
5
Suppose 0 = -6*y - 12 + 30. Solve -q + 2*v + 1 = -y, 0 = -5*v for q.
4
Suppose -4*s = z + 13, -4*z - 3*s = -6*s + 14. Let r be 170/8 - z/(-20). Solve 2*c = 5*j - 0*c - r, -c + 17 = 3*j for j.
5
Let b = 7 - 3. Suppose 35 = 14*h - 21. Suppose j = -4*m - h, -3*m + 3 = -6*m. Solve j = -5*k + 5*a, -7 - 2 = b*k + 5*a for k.
-1
Let p(k) = k**2 - 3*k - 1. Let h be p(-2). Let f = h - 5. Suppose -9*y = 14 - 140. Solve 2*c + 5 = 3*q - y, f*q + 2*c - 2 = 0 for q.
3
Suppose -190*f = -187*f - 15. Solve 4*b + 3 = -4*m - f, 0 = -4*m for b.
-2
Let l be 2059/710 + (-1)/(-10). Solve 0*q + l*q = 2*d - 20, 24 = -3*q + 3*d for q.
-4
Let l = -11 - 6. Let c be -2*(-1)/(-2) + l. Let d = c - -20. Solve 4*s = -2*z - 22, 4*z = 2*z - d*s - 14 for z.
-3
Let z(v) = 3*v**2 - 70*v - 30. Let d be z(24). Solve -2*r + 5*c - d = 0, -2*r + 18 = -10*c + 14*c for r.
1
Suppose 0 = 5*y + 5*d - 35, 5*y - 5*d = -0*d - 5. Solve 0 = u + y*v + 9, -4*u + 3*v = -u - 21 for u.
3
Let h(w) = w**2 - 18*w + 21. Let o be h(17). Let u(a) = -a**2 + 7*a - 10. Let q be u(o). Solve -2*p = -4*i - 12, -q*i - 2*p = 2*p - 14 for i.
-1
Suppose 3*l + 1 = -5*k - 3, 0 = 5*l + 4*k - 2. Suppose -4*y = d - y - 10, -14 = -l*d - 3*y. Solve 4*w - 3*x + 7 = -w, -d*x + 20 = 4*w for w.
1
Let s(z) = 3*z**2 - 17 - 2 - 5*z - 2*z**2. Let w be s(8). Let c(h) = h**2 + h + 2. Let b be c(0). Solve -2*m + 0 - b = -t, -w*t + m + 19 = 0 for t.
4
Let f(m) = -m. Let k be f(-3). Suppose k*t + 3*c - 9 = 0, 2*c - 3 = -3*t + 2*t. Suppose -2*u = -t*u. Solve 0 = 4*r - b + 7, 2*b + u*b = r - 7 for r.
-3
Suppose 0*c - 12*c + 6840 = 0. Suppose -22*u + c = -3*u. Solve -r = -3*w - 19, w + w + u = 5*r for w.
-5
Let g = 5 - 2. Suppose w - 20 = -g*w. Solve 2*z = 3*q - z + 12, w*q - z = 0 for q.
1
Suppose a + 1 = -0*a + 4*r, -4*a - 2*r + 14 = 0. Suppose 41 = 5*b + 4*q, b - a*q = 4*b - 27. Solve b = 5*h - 20, -p + 26 = 5*h for p.
1
Let v be (-1)/(-1 + 50/(-15) + 4). Solve -4*d - 40 = -6*o + 2*o, v*o - 5 = -2*d for o.
5
Let h be ((-232)/(-12))/1*36/8. Let d = 89 - h. Solve -d*p - 6 = 2*j - 5*j, j = -2*p + 10 for p.
3
Let t = -39 - -61. Let d be (-8)/6*(-33)/t. Suppose -d*z + 5 = -11. Solve -2*w = -x - z, 3*w + 10 = -2*x - 2*x for x.
-4
Suppose 4*y - 10 = 3*h, -5*h - y + 3 + 11 = 0. Solve -5 = -3*z + h*m, 13 = 2*z + 5*m - 3 for z.
3
Let x(z) = 12*z + 4. Let a be x(-2). Let h = a - -23. Solve -4*p + 3*p + 7 = h*w, 2*w - 13 = p for w.
4
Suppose -5*k - 3*y - 2 = 47, -3*k - 2*y = 29. Let b = 11 + k. Solve 0 = 5*s - i - 5, -4*i = -4*s - b*s + 20 for s.
0
Let m be (64/24)/(4/6). Suppose -3*h - n = -5, -4*h - 4*n = n - 14. Suppose -g + h = -m. Solve 3*l + 15 = 4*l - g*o, o - 23 = -5*l for l.
5
Suppose -15 = -3*f - 3*s, s + 1 = -3*f + 16. Suppose 3*m - y = 0, f*m + 3*y = -y. Solve -4*b - 1 = a, 2*b = -m*a + 5*a + 5 for a.
-1
Let m(o) = 3*o + 62. Let v be m(-20). Solve 0 = 5*i + 3*s - 26, 0 = 4*i + v*s - 4 - 16 for i.
4
Let v be (-55)/25 - -3 - (-24)/20. Solve 3*s - 5*a - 26 = v*s, 24 = -s - 5*a for s.
1
Let n = -1 + 2. Suppose -n = -2*i + 5. Let z be (-378)/(-144) + (-6)/(-16). Solve l = i, -4*x = -l + 2*l - z for x.
0
Suppose 5*k - 4*k - 5 = 0. Suppose -25 = -k*g + 5. Suppose 5*h + 21 = 2*b, -b - g = -0*b + 3*h. Solve -4*f - 6 = -b*m, 0*f + f + 13 = -5*m for m.
-2
Suppose -9*i + 18*i = 243. Let w be i/6 - (-2)/(-4). Solve -5*v - w*n - 41 = 0, v - 2*n - 11 = 2*n for v.
-5
Suppose 4*l + 2 + 2 = 0, 0 = 3*b + 4*l + 31. Let f(z) = z**2 + 9*z + 2. Let h be f(b). Solve -h*p - 17 = -3*n, 1 + 11 = -3*p for n.
3
Suppose -5*b = -2*c + 15, 106*b + 4 = 102*b. Solve 10 = c*f - 4*d, 0*d - d = 3*f - 6 for f.
2
Suppose 3*w = 4*m + 2*w - 26, -26 = -5*m - 2*w. Suppose 4*q + 5*s = 61, m*q + 4*s - 83 = q. Solve -2*x - 6 = -2*z, -q - 2 = z + 5*x for z.
-1
Let q be (0*((-30)/(-24) + -1))/1. Solve 2*c - 8 = 0, q = 4*o + 6*c - 3*c - 8 for o.
-1
Let d be (28/(-4) + 11)/1. Solve 4*m = f + 14, -5*f + 4*m - 2 = d for f.
2
Let b(l) = l**2 + 13*l - 15. Let j be b(-15). Suppose 5*k - 20 = 2*t, 4*k + 6*t - 2*t - 16 = 0. Solve -k*i = q, 5*i = -7*q + 2*q - j for q.
-4
Let w be (-1)/1*-7*1. Suppose 4*k = -4*r + 259 - 243, 5*k - 4 = 3*r. Solve 4*v - 12 = 4*z, -k*z + 5*v = -w*z + 15 for z.
0
Suppose 0*q + 3*a - 20 = -5*q, -3*q = -2*a - 12. Solve -q*h + 2*u = 20, 5*u = -2*h + u - 10 for h.
-5
Suppose -5*j - c = 16, 2*j + 5*c = c - 10. Let a = 19 + j. Solve 0 = -p + 5*y - a, 3*y - 8 = -4*p + 5*y for p.
4
Let h be -8*2/(-4) - 0. Suppose -4*l + 9*l = 4*a + 33, 2*l - 5*a = 3. Suppose -3*s = -0*s - l. Solve 3*z + s*x - h*x = 7, 15 = 3*z - 3*x for z.
1
Suppose 0 = -m + 2, 3 = 3*o - 4*o + 3*m. Solve -3*b - 6 = -2*t, -o*b - 3*t - 6 = -0 for b.
-2
Suppose 2*n + 10*g - 77 = 5*g, g + 59 = 2*n. Solve -5*m + 2*d + 35 = 0, 6 = -4*m + d + n for m.
5
Let k = 12 + -12. Let u = k - -9. Solve 5*x + 10 = 0, -3 = 2*h + 4*x + u for h.
-2
Let g = -147 - -400. Let h be 2/5 + g/55. Solve h*t + 24 = w, -t + 1 = -2*w + 13 for w.
4
Let p(n) = -n**3 + 4*n**2 + 6*n - 2. Let q be p(5). Solve -4*h = 0, -2*d - 7 + 1 = q*h for d.
-3
Let j = 532 + -530. Solve j*f = -0*z - z - 4, -f - 12 = 3*z for f.
0
Let d be (-20)/(-6)*6/5. Suppose q + 10 = d*u, 2*u + 5*q - 19 = -u. Suppose 10*r = 66 + 34. Solve -2*b - r = -u*k, -b = 4*k + 2 - 19 for k.
4
Let a be (-1)/((-2)/(8/2)). Suppose 5*u = -a*z + 22 - 5, 0 = 4*u - 5*z - 7. Let c = 12775 + -12763. Solve 5*d - u*k - c - 17 = 0, -8 = d + 4*k for d.
4
Suppose -6*g + 3*g = 189. Let l be (-8)/((-7)/(g/(-6))). Solve 3*i = 7*i - 4*n - l, 0 = -3*i - 4*n + 2 for i.
2
Let f be ((-58)/(-10))/((-136)/20 - -7). Solve 5*a + 6 = 2*a, -2*a - f = 5*n for n.
-5
Suppose 15*j = -11*j + 78. Let q(d) = d**3 - d**2 - d + 5. Let m be q(0). Solve 17 = 2*g + 3*g + j*f, 3*g = -m*f + 7 for g.
4
Let p(d) = 6*d + 51. Let c be p(-8). Solve 3*x = 2*n + 7, -2*n + c*n + 5 = 3*x for x.
1
Let x(c) = -c**3 + 8*c**2 - 6*c + 20. Let m be x(4). Suppose 0 = 4*r - 16, -5*p - 4*r + m = r. Solve -4*j = 5*q - p, -2*j - 14 = -0*q - 2*q for j.
-3
Let x(o) = o**3 + 20*o**2 - 20*o + 31. Let c be x(-21). Suppose v - 4*k = -2, -2*v - 1 = 3*k - 8. Solve -2*h + c = 3*w, 5*w - 4*h - 16 = v*w for w.
4
Let q = 28 + -26. Suppose -5*l + 4*l = q. Let a = 1 - l. Solve 4*s = -z + 21 - a, 3*s - 10 = z for s.
4
Let q be (22/21 - (-4)/14)*3. Solve 4*j = -20, -q*b - 5*j + 3*j = -2 for b.
3
Let m be 3*1 + (-10 - 57). Let v be m/(-20) - 3/15. Suppose -v*r = -r. Solve a + 1 = 0, r*a - 2*a + 1 = -3*i for i.
-1
Let m(o) = -o**3 - 12*o**2 + 16*o + 41. Let z be m(-13). Solve 4 = -l, 0 = -2*h - z*l - 0*l for h.
4
Let v = 476 - 471. Solve -3*p = l + l + 21, 0 = -p - v for l.
-3
Suppose 40 = 2*u + 3*u. Let o(h) = 2*h + 22. Let d be o(-10). Let j be (28/(-70))/((-2)/10). Solve 3*n = -d*l + 5*l, j*l - 4*n = u for l.
-4
Suppose 6 = -4*r - 74. Let l = r - -25. Let h(i) = -i**3 + 11*i**2 - 17*i - 4. Let v be h(9). Solve -v*o - 4*u = -0 - 4, l*o = -2*u + 2 for o.
0
Let m = -248 - -254. Solve 5*v - m = 2*v - w, 4*w = v - 2 for v.
2
Let t be 75/(-975) + 2/26. Solve t = -4*s - 5*v + 4*v - 16, 2*v = -3*s - 12 for s.
-4
Let a be 18/10 + (-1)/(-5). Suppose f - 2 + 6 = 2*v, -a*v + 4 = 4*f. Suppose -y = -3*n + 2*y, -4*n = v*y - 24. Solve -2 = -2*k + c, 2*c - 11 = 3*k + n*c for k.
-1
Let v = 46 - 24. Solve 3*q + 0*z - 10 = -z, -v = -5*q - 3*z for q.
2
Let r(l) = -2*l**3 + 0*l**3 - 10 - 6*l**2 + 2*l**3 - 9*l - l**3. Let v be r(-5). Solve 0*d + d + 4*n = -24, 2*n = -v for d.
-4
Suppose 0 = -4*q, -3*a - 2*a = -4*q + 130. Let b = a + 32. Suppose 4*d = d + b. Solve 4 = d*r + i, -14 = 5*r - 4*i + 2 for r.
0
Suppose 4*s = 14 - 6. Let n be (-1)/s + 245/14. Let x = n - 15. Solve x*y + 3*y + w = -22, -4*w = -2*y - 22 for y.
-5
Suppose 0 = -54*w + 15*w + 117. Solve 