 + 6 for k.
-4
Let t = -1696 + 1712. Suppose 25 = -3*r - 5*l, 0 = -3*l - 9 - 6. Suppose j - t = 5*v, r = 5*j + 2*v - 3*v - 8. Solve -s + j = 6 for s.
-5
Let p be 6/33 - 52*15/(-66). Suppose 0*t - 5*g = -4*t - 15, p = -5*t + 4*g. Suppose -2*u - 2*d = t, 6*u = u - d + 12. Solve -u = -2*c + 1 for c.
2
Let j(f) = 11*f**2 - 64*f + 103. Let a be j(5). Solve 7*w - 9 + a = 0 for w.
-7
Let k(j) = -4*j**3 + 30*j**2 - 11*j - 5. Let g be k(7). Solve 32*o - g*o = 0 for o.
0
Suppose 4749*x + 962 = 4786*x. Solve -x*a + 47*a = 105 for a.
5
Let y be 76/646 - (-98)/34. Let p(f) = f**2 - 6*f + 11. Let r be p(y). Solve -3*a + 25 = r*a for a.
5
Let c(r) = 3*r**2 - 76*r - 9. Let u be c(26). Let q = 43 - u. Solve q = -x + 6*x + 5 for x.
-1
Suppose 5*a = 2*f - 109, -5*a - 8 + 3 = 0. Solve 37*z + 135 = f*z for z.
9
Let p = -73 - -74. Let j be (4/(-8) + p)*(-54)/(-9). Solve -10 + 13 = -j*c for c.
-1
Suppose -q = 4*c + 37 + 21, -4 = -2*q. Let j be -3*25/c - (-1 - -6). Let z(h) = -7*h - 1. Let x be z(-3). Solve u - 6*u - x = j for u.
-4
Suppose -2*j - i = -37, -3*i = -5*j + 9 + 67. Solve 0 = j*d - 6*d for d.
0
Suppose -o + 6 = -4*f + 37, 2*f + 2 = 4*o. Let v be (-2)/(16/(-42))*(-192)/(-936)*13. Solve f*y = v*y for y.
0
Suppose -3*a = y - 173, y = -4*y + 5*a + 885. Solve -y*q + 16 = -180*q for q.
-4
Let f(q) = q**2 + 39*q - 19. Let s be f(-40). Solve -s*v + 33 = 12*v for v.
1
Let k = -135 + 88. Let s = -44 - k. Solve -s*f - 2 = -17 for f.
5
Let o be (3 - 3)*(-65)/715. Let c(y) = -5*y - 5. Let u be c(-4). Suppose 3*f - 3*s + 5 = -2*s, -2*f - 3*s = -u. Solve o = -f*k - k - 3 for k.
-3
Suppose -s + 2 = 0, -9*n + s - 2 = -6*n. Suppose -3*z + 3 + 30 = -5*a, 4*a + 12 = n. Solve 12 = -9*h + z*h for h.
-4
Let j(i) = 14*i**3 - i**2 + 4*i + 4. Let u be j(-2). Let s = -119 - u. Suppose -5*y + 26 = s. Solve y*k = 9*k + 4 for k.
-1
Suppose -18*f = -196*f - 1424. Let h(q) = -q**3 - q**2 + q - 28. Let m be h(0). Let w be (-22)/3*(-5 + m/f). Solve 4*n = -9 - w for n.
-5
Let i(t) = 17*t**3 + 2*t**2 + 2*t - 3. Suppose 31 = -3*z - 23. Let s be (-1)/1 + z/(-9). Let b be i(s). Solve 3*l = -3 + b for l.
5
Let k = 12164 - 12150. Solve -k*v + v = -0*v for v.
0
Let a(w) be the first derivative of w**4/4 - 4*w**3/3 - 1. Let j = -6876 - -6880. Let p be a(j). Solve -4*d = -p*d for d.
0
Let w be (4*-1 - -1) + (-9 - -15). Suppose -40*y + 2*o + 50 = -36*y, 5*y - 65 = w*o. Solve -y*q + 1 = -29 for q.
3
Let f(m) = 9*m - 108. Let d be f(12). Solve d = 27*q - 6 - 102 for q.
4
Suppose 0 = 16*y - 7112 + 1320. Solve 12*f + 422 - y = 0 for f.
-5
Let x = 9158 + -9133. Solve -l + 6*l = x for l.
5
Suppose 3*m + 3*p - 5*p - 31 = 0, 5 = 5*p. Suppose 5*w + m = 26. Suppose w*g + 4 = 5*g. Solve 2*d + 12 = -g*d for d.
-3
Let c(q) be the first derivative of q**4/4 - 7*q**3 + 10*q**2 - 1. Let o be c(20). Suppose 11*s - 16*s + 10 = o. Solve -2 = -0*w + s*w for w.
-1
Let c(i) = -i**3 - 39*i**2 - 78*i - 111. Let g be c(-37). Solve -174 = -g*d + 8*d for d.
6
Let g = 17 - 11. Suppose 33*w + 40 = 53*w. Let i(y) = 10*y**2 - 18*y - 3. Let z be i(w). Solve z = -m + g for m.
5
Suppose -19*f + 377 = -7850. Solve 422*w - 44 = f*w for w.
-4
Let b = 2080 - 2077. Solve -9*d - 6 = -b*d for d.
-1
Let h be 107*((-6)/1 - -7). Let b = -105 + h. Solve m - b = 2 for m.
4
Suppose 18 = -2*q + 102. Suppose -q = -5*w - 137. Let x be (-2 + w)/(-3) + 1. Solve 2*f + 0*f + x = 0 for f.
-4
Suppose 0 = -82*f + 252 + 404. Solve 0 = 9*x - 13*x - f for x.
-2
Suppose 39 = -9*h + 57. Let p be (-1 - -2)*((0 - -3) + h). Suppose 13 = 2*u + 5. Solve -u*l + 3*l = -p for l.
5
Suppose -14817 = 5*r - 15162. Solve 48 = -r*f + 53*f for f.
-3
Let k be 26 - (0 + 5)/(6/12). Solve 72*z + k = 68*z for z.
-4
Let j = 107 + -104. Suppose 0 = 2*u - v + 20, -3*v + j + 47 = -5*u. Let i be ((-6)/(-10) - 42/20)*u. Solve -2*a + 7*a - i = 0 for a.
3
Let m = 24 + -26. Let a be (((-324)/21)/(-6))/(m/(-14)). Let l be 12/a + -7*3/(-9). Solve l*j + 10 = -5 for j.
-5
Suppose -12 + 948 = 36*r. Solve 0 = -r*d - 74 + 22 for d.
-2
Let q = 17447 - 16940. Solve q = 22*s + 331 for s.
8
Let m(u) = -5*u + 10. Let d be m(2). Suppose d = 4*i - 538 + 474. Solve -i = 9*k + 29 for k.
-5
Suppose 4*s + 976 = 4*b, 39*s = -2*b + 36*s + 493. Solve 0 = -21*q - 14*q + b for q.
7
Suppose -2*s + 5*s = -3. Let c = 1 - s. Let l be (0/(-46))/(((-4)/8)/(1/4)). Solve c*d = -l + 4 for d.
2
Let q be (7 + -10)/(3/22). Let c be (20/(-8) - (-1 + -1))*q. Let b = -10 - -10. Solve b = 4*f - c - 1 for f.
3
Let s(q) = -9*q - 16. Let o be s(-6). Suppose 9*k - 3*c = 4*k + o, 3*k - 24 = 3*c. Solve -k*r = -0*r - 28 for r.
4
Suppose 285*b - 377 = 267*b + 433. Solve 0 = 14*w + b - 73 for w.
2
Let s = -365 - -368. Suppose w + 3*g = 0, s*w - g + 4*g = 0. Solve w - 4 = -4*r for r.
1
Let d be (-1 - -4)*(6 + -5). Let p(q) = -q**2 - 11*q - 8. Let b be p(-10). Suppose -5*i + 23 = b*h, -h + d*i - 2 = 3. Solve h*g = 5*g - 4 for g.
4
Suppose s + 46 + 12 = 0. Let n = s + 64. Solve n*u - 5*u - 5 = 0 for u.
5
Let f = 265 + -272. Let w be (3/6)/(7/f)*0. Solve w = -29*b + 34*b + 20 for b.
-4
Let i(h) = 4*h + 85. Let q(v) = -4*v - 85. Let c(l) = 3*i(l) + 2*q(l). Let d be c(-19). Solve -d = 6*z - 9*z for z.
3
Let y be 3 - (1 + -1)*2/(-4). Let l be (4/(-6))/((-80)/(-15) - 5). Let q(a) = -a**2 + 5. Let i be q(l). Solve i = -y*u - 5 for u.
-2
Suppose -87*s + 203 = 3*p - 82*s, -2*p + 3*s + 91 = 0. Solve 78*t = 70*t - p for t.
-7
Let z be 27/(-3) - (-9430)/23 - 3. Solve 407 = 3*y + z for y.
3
Let h = -172 + 334. Suppose h*o + 14 = 169*o. Solve o = -3*f + f for f.
-1
Suppose -r - 30 = 3*h, 3*r + 4*h - 9*h = -118. Let p = -31 - r. Solve -p*j = j + 6 for j.
-1
Suppose -27 = 841*y - 845*y - 3*b, 5*y - 4*b - 57 = 0. Solve f - y*f = f for f.
0
Let o be 31/(-5) - (-27)/135 - -1032. Solve -4*r - 1050 = -o for r.
-6
Let w be ((-338)/30 + 9/15)*(-45)/20. Solve -w = 185*y - 189*y for y.
6
Let j(h) = h - 2. Let z be j(5). Suppose 0 = 3*t - 138 + 42. Suppose 55*g - t = 53*g. Solve z*k - g = -1 for k.
5
Suppose 6*g = g + 10. Let b = -1 + 1. Let s be ((-4)/(-14)*-4)/(1058/(-3703)). Solve -s*n - 14 - g = b for n.
-4
Let h be 8 + -2 - 3/(3 - 2). Solve 4*j = h*j - 6 for j.
-6
Let f be (54/(-105) + 10/(-35))*-5. Suppose -2*z = -f*z - 28. Let x be 7/z*2/(-4)*0. Solve w = -x*w for w.
0
Let m(v) = -v + 1. Let z(d) = -d**2 + 7*d - 6. Let s(l) = -2*m(l) + z(l). Let b be s(6). Suppose 5*a + b = 0, -4 = t + 3*a + 2. Solve -2*f + t*f = 4 for f.
-2
Let w be -19*19/(-1083)*0. Solve w = -26*c + 28*c + 14 for c.
-7
Let k be -2*4*(-498)/12. Let n = -325 + k. Solve 3*s = -n - 8 for s.
-5
Suppose -17*x = -12*x + 9*x - 56. Solve -x*m + 2*m = -3*m for m.
0
Let q(c) = 280*c + 285. Let k be q(-1). Solve 0 = 67*j - 68*j + k for j.
5
Let u be 832/7 + 230/966*27/45. Solve 47*t = 448 - u for t.
7
Let f = 92 - 99. Let l(w) = -w**2 - 5*w + 14. Let g be l(f). Suppose g*k - 3*k = -6. Solve -4*q - 14 + k = 0 for q.
-3
Let y be 18/12 + 2 + (-2)/4. Suppose -r = l - 6*r + 11, 2*l = -y*r + 30. Solve 21 = -4*d + l for d.
-3
Suppose -21*a - 6496 = 1421. Let n = a - -385. Solve -3*f - 20 = -n for f.
-4
Let o(n) = 3*n + 3. Let v be o(-4). Let g(m) = m - 3. Let u(l) = 6*l - 7. Let r(z) = 5*g(z) - u(z). Let x be r(v). Solve 3 = -2*s + x for s.
-1
Suppose -5*z + 2*k = 691, k - 562 = 4*z + 4*k. Let a = z + 166. Solve 5*c = -a + 12 for c.
-3
Suppose 14*p + 13*p + 0 + 0 = 0. Solve 5*s - 30*s - 125 = p for s.
-5
Suppose -2*u - 73 = 131. Let i be ((-186)/(-1))/((-8)/4). Let s = i - u. Solve 12*c = s*c - 9 for c.
-3
Suppose -q - 12 = -3*x, -5*x + 20 = -6*q + 9*q. Suppose x = -3*w + 64. Solve -7*c + w = -3*c for c.
5
Let f(q) = -q**2 - 104*q - 709. Let j be f(-8). Solve j = 38*s + 211 for s.
-4
Let k = 1153 - 1151. Suppose -f = 2*f. Suppose -21 = -4*a - o, 3*a + 3*o - 15 - 12 = 0. Solve k*n + a + 0 = f for n.
-2
Suppose 2*d + 8 = 0, -5*d - 415 + 47 = -3*u. Solve 12*c + 44 = u for c.
6
Let w = -549 + 552. Let x be (-20)/w*(-72)/(-30)*-4. Solve 0 = 12*a + x - 4 for a.
-5
Suppose 9*r + 25 = 7. Let o(t) = 12*t + 24. Let j be o(r). Solve 0*s - 4*s - 8 = j for s.
-2
Let h(t) = t**3 + 2*t**3 - 9*t**3 - 8 - 4*t**2 + 9*t + 5*t**3. Let w be h(-6). Solve 5*g = -w - 0 for g.
-2
Let p be 13/(39/(-114))*(-6)/4. Solve 0 = p*j - 39*j - 18 for j.
1
Let t(k) = -27*k**2 - 211*k + 61. Let c be t(-8). Solve -c*n = -116*n - 760 for 