 k = 3*g + 4*b + 13 for g.
1
Let s(x) = -x**2 - 2*x + 25. Let d be s(-4). Suppose 0 = -15*j + 13 + d. Suppose 0 = -4*z - 0 + 12. Solve -5*c = m - 0*c + 4, m + j = -z*c for m.
1
Let f be (26 - 8 - 0/1) + 4. Suppose 18*o - 50 - f = 0. Solve 3*x + 17 = 4*x + o*q, 2*x + 18 = 5*q for x.
1
Suppose z + 12 = 3*y - 0*y, 9 = 4*y + z. Let p(c) = c**2 + 6*c - 4. Let v = 281 + -280. Let n be p(v). Solve y*a - 2*h = 4, -5*h + 0*h - 31 = n*a for a.
-2
Suppose -8 = -4*p - 0*p. Suppose 2*m = 704*s - 708*s + 10, 4*s - 7 = -m. Solve -2 = -m*a - 2*v, -7*a = -p*a - 3*v + 22 for a.
-2
Suppose 0 = -5*d + 3*n - 3, d + 1 = 3*d + n. Suppose 3 = 6*k - 9*k. Let s be -2 + -5 - -6 - (k + d). Solve 0 = -2*y - f + 4 + 5, 5*y - 2*f - 18 = s for y.
4
Let j = 72 + -90. Let c = 21 + j. Solve -c*w = -4*u - 2, 2*w + 4*u - 6 = w for w.
2
Suppose 3*m + 229 = 1132. Let g = -294 + m. Solve -z + 5 = 0, -2*a = -g*a - z + 30 for a.
5
Let b(r) = 19*r - 5. Let v be b(5). Let c be (-10)/35 - v/(-21). Suppose 35 = c*q + 3. Solve -3*w - q = 4*t, w - 5*t = -3*w - 21 for w.
-4
Suppose 0 = -h + 2*c - 20 - 13, -5*h = 5*c + 120. Let u be -2 - 13/(-7) - h/(-7). Let f be u/(-1)*9/6. Solve -5*a + 10*a = -2*v + f, 2*a - 5*v = 14 for a.
2
Suppose -3*f + 181 = -m, 2*m + 251 = -2*f - 135. Let r be 19/(m/(-16))*(-5)/(-2). Solve 4*c + 8 = -0*c, -5*c = -r*j + 18 for j.
2
Let y be (3/(-18))/(9/(-702)). Let w be (-22)/12 + 2/(-12). Let h = w - -5. Solve -4*g + y = g - 4*s, 7 = h*g - 2*s for g.
1
Let d(s) = s**2 + 119*s - 4830. Let r be d(32). Suppose 0 = -4*q - 0*q. Suppose -i + 5 = -q. Solve 10 = 4*a - r*a - 4*c, 0 = -i*a - 3*c - 1 for a.
1
Let r(c) = -7*c - 3. Let f be r(-1). Suppose -2*o - 126 = -f*p, p - 2 = -0. Let d = o - -81. Solve 0 = -u + 4*x - d, -4*u + u = 2*x - 4 for u.
-2
Suppose 5*r - 16 = 10*r - 9*r. Solve -n = -2*d - 2, r*d - 2 = -3*n - 26 for d.
-3
Let j(w) = 23*w - 42. Let y be j(2). Solve 0 = y*n - 10 + 26, -4*x = n + 12 for x.
-2
Let s(n) = n**3 - 26*n**2 + 162*n - 30. Let x be s(16). Solve 3*m - 4*l - 2 = -8, -x*l = 0 for m.
-2
Let k be (-2)/(-8) - (170/8)/1. Let l be (-107)/(-21) - (-2)/k. Solve 4*t - 20 = 4*q, l*q = 4*q + 5*t - 5 for q.
-5
Let s be 22/8 - ((-213)/994)/((-12)/(-14)). Solve -6 = 3*k + b, -s*k - 4*b + b = 12 for k.
-1
Let t be (-7)/(-2)*36/7. Let r(i) = -2*i**3 - 138*i**2 - 261*i + 469. Let o be r(-67). Solve -2*y + o*c + 2*c = t, 4*y = 5*c - 41 for y.
-4
Let g(k) = 1248*k + 1253. Let q be g(-1). Solve -q*b - 8 = -3*c, 2*c + 25 = 3*b + 30 for b.
-1
Suppose -x + 6 = -3. Suppose 2 + x = 11*f. Let p = 10 - f. Solve 3*m - p = -3*r, -4 = 5*m + 6 for r.
5
Let y(z) = 6*z + 2 - 2 - 1 - 6*z**2 - 1 + z**3. Let n be (-2 + 69/12)*32/24. Let t be y(n). Solve 2*x = -s - t*s + 14, -5 = -5*x for s.
3
Suppose -3*q - 2*r + 1 - 5 = 0, 14 = -3*q - 4*r. Let p be (-352)/(-12)*3/q. Let d = -43 + p. Solve -5*m = -3*l + d, m - 15 = -4*l - 6 for m.
1
Let q(s) = -119*s - 21178. Let r be q(-178). Solve -r*m - 45 + 33 = 2*f, f = 4*m for f.
-4
Suppose 4*r - 5*i + 21 = 0, -3*i = -99 + 84. Solve -3*a - 2*u = -r, -8*u - 8 = 4*a - 3*u for a.
3
Let a(y) = 160*y + 325. Let k be a(-2). Solve -k*i - 30 = 4*t, -i + 4*i = -4*t - 26 for t.
-5
Let y(o) = -12*o + 180. Let k be y(17). Let m be 5/((-15)/k) + 9. Solve 3*n + q - 4*q = 15, 0 = -5*n + 3*q + m for n.
1
Let q(p) = p**3 + 8*p**2 - 14*p - 32. Let f be q(-9). Suppose f*r = 91 + 65. Solve 5*w - r = 3*d, -w + 6*w - 15 = 0 for d.
1
Suppose 11*x = 29*x - 108. Solve -5*b = -15, 2*u = x*u + 4*b for u.
-3
Suppose -33985 = 21*k - 34090. Solve v + 5*j + 11 = -9, -4*j - 16 = -k*v for v.
0
Suppose -28 = 4*c, 75 = x + 5*c + 110. Solve 3*n = -d, 3*d + x = -5*n - 4 for n.
1
Let p be -6*1*(-88)/(-352)*(-1 - 1). Solve -6*s - p = 5*b, -8*s + 13*s = -b - 12 for s.
-3
Let j(k) = -5*k**2 - 2*k. Let c be j(1). Let l be (12/c)/(4/(-14)). Suppose -l*p = -p - 45. Solve -2*w + 3*w + p = -5*v, 13 = -5*v + 3*w for v.
-2
Let b(z) = -z**2 - 11*z. Let n = 60 + -68. Let u be b(n). Suppose 31*i - u*i = 21. Solve -2 - i = 4*l + 3*h, l = h + 4 for l.
1
Let s be (-2 - 2)*12/(-16) + -65. Let i = s - -69. Suppose -3*a + 21 = -5*m, i*a - 9 = 10*a + 5*m. Solve 16 = 3*g + 2*h, -g - 22 = -a*g - 4*h for g.
2
Suppose -24 + 28 = -3*a + 2*v, -4*v = -8. Let u = 13 - 10. Suppose w + w + 6 = u*n, a = 3*n - w - 3. Solve n = -4*g - 8, -3*l + 3*g + 2 = -2*l for l.
-4
Let i = 1 + -1. Let o = 1575 + -1575. Suppose o = -2*z + 2*b + 10, 0 = 2*z - b - i*b - 5. Solve -r - 4*d + 13 = 2*r, z = 2*r + 3*d - 9 for r.
3
Let r be 24/108 + 316*(-7)/(-252) + -6. Solve -r*f = 4*d - 5, 5*f = 2*d + 69 - 78 for f.
-1
Let z(p) = -p**2 + 9*p + 3. Let v be z(0). Solve v*a + 0 = -9, -3*j = -2*a - 21 for j.
5
Let x(i) = -98*i + 1869. Let w be x(19). Solve 8*g + 12 = 5*d + w*g, d - 18 = -5*g for d.
3
Suppose -235*m + 24 = -227*m. Solve -3*y + 2*j = -4*y - 3, -2*y = 3*j + m for y.
3
Suppose 5*u - 20 + 15 = 0. Suppose 3*i + 2*s - u = 5, 0 = i - 4*s - 2. Let d be (56/(-20) + 4)/(i/10). Solve 3*l = 4*q - d, q - 4*l = -q + 8 for q.
0
Let u(w) = 5*w**2 - 7*w + 16. Let x(b) = -4*b**2 + 7*b - 15. Let p(d) = -3*u(d) - 4*x(d). Let j be p(5). Solve -k + 3*s + 16 = 6, -12 = -2*k + j*s for k.
4
Let y be 2 + (-18 - -14) + 12. Solve 5*n + 4*z - y = 7*n, 2*z = -3*n + 1 for n.
-1
Let i = 1523 + -1523. Solve -2*c = 7 - 1, i = -3*j + 4*c for j.
-4
Suppose -12667*c = -12756*c + 534. Let y(s) = -2*s - 6. Let q be y(-5). Let d be 12/5 + 4/(-10). Solve -q*r = -2 + c, 3*w + d = 4*r for w.
-2
Let o = -3113 + 3117. Solve 5*x + 2*k + 13 = 0, 2*x - 7*k + 9 = -o*k for x.
-3
Let a = 601 + -599. Solve -4*t + a*t - 8 = 5*c, -5*c - 4 = t for t.
-4
Let r(s) = -s**3 + 49*s**2 + 50*s + 5. Let f be r(50). Solve h = -5*u + 22, 4*h = -f*u + 6*u - 17 for h.
-3
Let c(k) = 13*k - 8. Let o be c(1). Let s be (-5)/(15/6) + 5. Let j be (-2 - (-1 + -4))*(4 - s). Solve 0 = -h - o, -2*h = -j*p - 6*h - 5 for p.
5
Let v(j) = 121*j - 4110. Let r be v(34). Let w be (-7)/(-2) - 2/4. Let y = w - 1. Solve -2*g + r*b - y = b, 4*g - 2*b = -12 for g.
-4
Let o be (-28*(-9)/189)/(1/6). Solve -5*z - 9 + 6 = q, 2*q - 4*z - o = 0 for q.
2
Suppose 3*o - 4*i + 142 = -0*i, o - 2*i = -50. Let p be ((-28)/o)/((-2)/(-9)). Suppose 2*k - p = 1. Solve k*q + a - 4 = -2, 0 = 5*a for q.
1
Let i be 14/91 - ((-56)/(-13))/2. Let f be i/4 + (-10)/4. Let n(p) = p**2 + p - 1. Let w be n(f). Solve -4*z + 12 = s - 0*z, -15 = -5*s - w*z for s.
0
Let i be (3 - -3)*4/8. Let d = 829 - 826. Solve d*m - 3 = k, 0 - i = -k - 3*m for k.
0
Let j = -34 - 243. Let m = j + 282. Solve 3*u + 5*z - 3 - 1 = 0, 2*u - m = -z for u.
3
Let n(q) = 14*q + 246. Let i be n(-13). Suppose s = -60 + i. Solve -3*r - 6 = 2*u - 7*r, -s*u + 6 = r for u.
1
Let o(d) = d**3 - 9*d**2 - 9*d - 6. Let b be o(10). Suppose 14 = b*n - 2. Suppose n*w - 12*w + 40 = 0. Solve 2*y = -w*s - 6, y - 8 = 2*s - 2 for s.
-2
Suppose f - 3*q - 14 = 0, 2*f - 5*q - 120 = -3*f. Solve 5*r - 4*h = -6, 0 = 4*r + 3*h + 9 - f for r.
2
Suppose -o + 8 = z, 0 = 9*z - 7*z - 2*o - 4. Solve -z*s + 0 = -2*u + 10, -3*u + 15 = s for u.
5
Let k(c) = -2*c**3 - c**2 + 2*c - 4. Let i be k(-2). Suppose 11 = -i*d + 55. Suppose d*u - 23 = 10*u. Solve a + 3*a + u = 3*w, -4*a = 4*w - 12 for a.
-2
Suppose -3*c = -2*m + 21, -5*m + 36 + 51 = 4*c. Solve 10 = -2*a, 2*a + 1 + m = -2*p for p.
-3
Suppose 15*f - 8 = -4*b + 13*f, 4 = 2*b - 2*f. Suppose 2 = -22*r + b. Solve -4*q = 16, -2*o + 5*q = -28 - r for o.
4
Let i = 449 + -447. Suppose 3*h - 12 = 0, 27 - 7 = i*o + 3*h. Solve o*f - 5 + 1 = 0, 5*f = -5*g - 10 for g.
-3
Let q(i) = 19*i - 985. Let d be q(52). Solve -d*t + 4*m - 6 + 3 = 0, 2 = -2*t + 5*m for t.
-1
Suppose -17*x = -8*x - 108. Suppose 18*i + x = 24*i. Solve 0 = -m + 4, -i*t - 17 - 5 = -5*m for t.
-1
Let k be 4*((1 - 1) + 1). Suppose -n + 23*l - 27*l = 7, -5*n - 3*l + 101 = 0. Solve -y - 7 + 24 = k*w, 5*y + n = 2*w for y.
-3
Let l be 3/(-6)*48/(-3). Suppose 0 = 2*j + 2*r - l, j - 2*j - 5 = 4*r. Solve -4*h = 12, 0 = -5*d - 2*h + 3*h - j for d.
-2
Suppose i = 2 - 0. Suppose -1 = 15*p - 16 - 45. Solve i*c + 0 + p = 2*y, 3*y = -3*c + 6 for c.
0
Let z(a) = 912*a + 12. Let d be z(0). Solve -t = -q - 6, -2*t - 2*q + q = -d for t.
6
Suppose -k - 43 = l - 47, 0 = -4*k + 16. Solve -3*h + 5*x + 5 = -l*x, -5*x + 20 = 2*h for h.
5
Suppose -18*j = -51*j + 363. Suppose j*a + 4*a = 180. Solve q + b = -