= s*c + 3 for c.
1
Let n be -6 - 19/(19/(-12)). Let t(i) = 4*i + 1. Let y be t(n). Solve 5*d = -0*d - y for d.
-5
Let a be ((-54)/8)/((-261)/(-72) - 4). Solve 59*o - a - 41 = 0 for o.
1
Let s(h) = -8*h - 70. Let g be s(-25). Let l = g - 122. Solve 3*k + 4 = -l for k.
-4
Suppose z + 2 = 4*g + 21, -2*g - 8 = -2*z. Let n be (-15)/2*164/(-246). Let l be n/g*-10 + -4. Solve -25 = -l*j + j for j.
5
Let n be (3/(3/6 - -4))/((-58)/(-49677)). Solve -590*i = -n*i - 57 for i.
3
Let w(d) = d**3 + 3*d**2 - 2*d. Let y = 205 - 204. Let k be w(y). Solve k*j = -4*j + 6 for j.
1
Let q be 1054/(-1581) + 6/9. Let n(m) = -5*m**3 - 2*m**2 - 2. Let h be n(-2). Solve -h*k + 32*k = q for k.
0
Let l be (5/2)/(2/4). Let u = 236 + -231. Suppose -u*q = -19*q + 70. Solve -l*r + 5 = -q for r.
2
Let c = -243 + 245. Suppose 17 = c*u - 17. Solve 32 = -3*o + u for o.
-5
Let t = 510 - 491. Suppose 0 = t*f - 27*f + 10*f. Solve -2*x + f*x = -10 for x.
5
Let k(v) = 20*v - 194. Let o be k(10). Suppose 3*b + 5*t - 19 = o*t, -3*t = 3*b - 3. Solve a = b*a + 20 for a.
-5
Let n(r) = -2*r**3 + 47*r**2 - 22*r - 29. Let i be n(23). Let m be -4 + 0 + (-6 - (i + -5)). Solve -f = 5 - m for f.
-4
Suppose -13*c + 3355 - 3303 = 0. Solve -156 = 30*n - c*n for n.
-6
Let l(k) = -k - 5. Let h be l(-7). Suppose 0 = 5*i - 3*g - 34 - 37, -76 = -4*i - 4*g. Let d be (-6)/(-9)*120/i. Solve 0 = d*y - h*y - 12 for y.
4
Let m = 2516 - 2506. Solve 6*i = -10 + m for i.
0
Let j(v) = -v**3 - 4*v**2 + 4*v - 2. Let u be j(-5). Let m be (132/18)/(4/(-6)). Let k be 4 + 11/(m/2). Solve k*l = -u*l + 25 for l.
5
Suppose -131*d + 86 = -129*d. Suppose 2*w + w = 5*p - 105, 0 = 5*p. Let x = d + w. Solve 0 = -4*y + 4 + x for y.
3
Let r(n) be the second derivative of -n**5/20 + 2*n**4/3 - 3*n**3/2 - 11*n**2/2 + 18*n. Let j be r(6). Suppose j*s = 5*s + 20. Solve -10 = -5*b + s for b.
4
Let t(i) = 2*i**2 + 12*i - 7. Let c be t(-7). Suppose 0 = -9*x + c*x + 122. Let n = x + -59. Solve n*b + 4 = -0*b for b.
-2
Suppose -19*v = -17*v. Let c(g) = 12 + v - g - 6. Let a be c(6). Solve 5*s + 15 = -a for s.
-3
Let d = -4366 + 4473. Solve -61*h + 76 = -d for h.
3
Let b(j) = -14*j + 261. Let w be b(8). Let g = w - 149. Solve g = h + 4*h + 10 for h.
-2
Let f be (-1 - -2)*5/(30/798). Let q = f - 130. Solve -q - 1 = -2*z for z.
2
Let q(b) = 15*b - 116. Let y be q(8). Suppose 15 - 35 = -y*g. Solve g = -4*v - 7 for v.
-3
Let b(l) = -l**3 - 54*l**2 - 105*l - 47. Let z be b(-52). Suppose 3*i - 4*r - 17 - 3 = 0, 0 = 5*r + 25. Solve i = q + z for q.
-5
Let f be 2217050/17875 + (-6)/195. Solve 0 = -45*w + 14*w - f for w.
-4
Let h be ((11 - 12) + (-6 - -7))/(-3). Solve 11*t + h = -22 for t.
-2
Let x be (300/625*5)/((-3)/(-10)). Solve -5*a + 8*a = -x*a for a.
0
Let b(g) = 3*g**3 - 5*g**2 + 2. Let o be b(2). Let w be (440/66)/(o/9). Solve 0 = w*z - 4*z - 24 for z.
4
Let y be (-8 + 5)*1/(1 + -4). Let w(v) be the second derivative of 7*v**4/6 + v**2/2 - 9*v. Let t be w(-1). Solve -4*p - y = t for p.
-4
Let f(w) = -w**3 - 3*w**2 - w + 2. Let p be f(-3). Let g(u) = -u - 10 + 121*u**2 - 115*u**2 + 148*u**3 - 149*u**3. Let n be g(p). Solve 5*s - n = -5 for s.
1
Let f = -3 - 9. Let x be 4/(-12) - 40/f. Suppose -l - x*l = -12. Solve 8 - l = -j for j.
-5
Let y be 42/(-49)*(0 - 91). Let x = y - 75. Solve 6*k - 5*k + x = 0 for k.
-3
Let a(x) = 2*x**2 + 2*x - 2. Let o be a(-2). Suppose u - 3*y - 25 + 8 = 0, 5*y + 10 = -o*u. Suppose -7*z + 3 = -l + 6*l, -10 = 2*l. Solve 17 - u = -z*k for k.
-3
Suppose 71*f = -32*f + 71*f + 28320. Solve 4*c + f = 869 for c.
-4
Suppose -908 - 468 = -24*l + 904. Solve 4*f = -l + 87 for f.
-2
Let i = -608 - -608. Solve i = 24*x - x + 69 for x.
-3
Let z = 17274 - 16949. Solve 289 - z = 6*o for o.
-6
Suppose 4*f + 4 = -5*l + 63, 4*f + 16 = 0. Suppose -62 - 253 = 35*c. Let s = l + c. Solve -s*d + d = -10 for d.
2
Let p be ((-4266)/(-135))/((-10)/(-25)). Solve 4*z - p = -75 for z.
1
Let i(q) = -q**3 + 6*q**2 - q - 6. Let t be i(5). Suppose -p + t = -2. Suppose -5*a - 2*k + 34 = 0, 0 = 3*a - 0*k - k - 27. Solve a*o - 4*o = p for o.
4
Suppose -2*s = 12*r - 10*r + 1112, 0 = 4*s + 3*r + 2219. Let d = s + 558. Solve u = -u + d*u for u.
0
Let s = 13 - 8. Suppose 5*f + 4*l = -25, -2*f + f - 2*l - s = 0. Let p be f/(-15)*(9 + 0). Solve -p = -r - 0 for r.
3
Let m = 54 - 54. Suppose -6*w = -2*w - 8. Suppose 3*t - w*i + 1 = 0, 0 = -2*t - i + 8 + 3. Solve m = -t*f + 2*f + 1 for f.
1
Let t = 6 + -2. Let n be (-3479)/(-142)*20/35. Solve -6*z - n = t for z.
-3
Let a(v) = -v**2 + 16. Let n be ((-10)/(-14) - 12/(-42))*4. Let t be a(n). Solve t*r - 5*r = 0 for r.
0
Suppose 0 = 17*k + 22*k + 23*k - 372. Solve 55 - 61 = -k*c for c.
1
Suppose 0 = 3*m - 5 - 1. Let y = -542 - -542. Suppose -3*a = -8*a. Solve 2*s - m + y = a for s.
1
Suppose 121*h - 924 = 100*h. Solve -51*t - 7 = -h*t for t.
-1
Suppose -2*l + 0*l = 26. Let c(m) be the third derivative of -m**6/120 - 11*m**5/60 + 9*m**4/8 + 13*m**3/6 + 37*m**2 + 6. Let d be c(l). Solve d = q + q for q.
0
Let i be (-10)/2*(-1)/1. Let z(j) = j**2 - 11. Let n be z(i). Suppose 0 = 4*g + 3*a - 18 - n, 4*g + 2*a - 32 = 0. Solve -p - p = g for p.
-4
Suppose 0 = d + 4*x + 2, -5*d - x + 19 = 10. Solve d*u + 43 = 53 for u.
5
Suppose -3*i + 151 = 37. Let u = i - 28. Solve u = -10*k + 5*k for k.
-2
Let f = 127 - 68. Let m = f + -53. Suppose 4*i = s - 5*s - 8, s = i - m. Solve i*y + 3*y + 15 = 0 for y.
-3
Let j(d) = d**2 + 13*d + 12. Let t(u) be the first derivative of u**2/2 - 17*u + 12. Let z be t(5). Let c be j(z). Solve p + 3 = -c*p for p.
-3
Suppose -226 + 926 = 25*v. Let u(d) = d**3 - 30*d**2 + 57*d - 18. Let l be u(v). Solve 19 + 21 = l*s for s.
4
Let a(h) be the first derivative of h**4/4 - 11*h**3/3 - 11*h**2/2 - 8*h - 59. Let o be a(12). Solve 2 = o*f + 6 for f.
-1
Suppose -3*m - 4*a + 488 = 0, 785 = 5*m - 4*a + 5*a. Let u = m + -153. Solve 0 = u*b - b + 6 for b.
-3
Suppose -41*t - 3*t = -20*t - 96. Solve -342 + 326 = -t*f for f.
4
Suppose 8 = -4*j + 28. Suppose -8*y + 494 = j*y. Suppose -y = 2*z - 54. Solve -z*b + 12 = -4*b for b.
3
Let h = 222 + -222. Let k be (-6)/(-18)*3*(h - -1). Solve -1 = -2*a + k for a.
1
Suppose 0 = 3*x + l - 966, -171*x + 173*x = 2*l + 644. Solve 4*g = 342 - x for g.
5
Let v(p) = -p**3 + 30*p**2 + 2*p - 53. Let d be v(30). Suppose -6 = -4*n + 2*a, 0 = -2*n - 36*a + 41*a + d. Solve 6*q = -n + 7 for q.
1
Suppose -142 = -3*m - 14*b + 16*b, 0 = 5*m - 5*b - 235. Solve -8*r = -16*r - m for r.
-6
Let q(y) = 2*y**2 + 0*y**2 - 3 + 28*y - 5 - 3*y**2 - 15*y. Let i be q(12). Solve i*f - 9*f = 15 for f.
-3
Let w be (6 + (-60)/8)/(9/(-60)). Let u be w - (-2)/(-5)*(1 + 4). Solve 4*a = -0*a - u for a.
-2
Suppose -4*x = a - 27, 3*a + 4*x - 115 = -66. Solve -a*g - 90 = -29*g for g.
5
Let r = 292 + -157. Let s = 60 - r. Let j be ((-3)/(-9))/((-5)/s). Solve 4*v = -17 + j for v.
-3
Let x(a) = 14*a**2 + 24*a + 17. Let q be x(-1). Solve 44*o = 43*o - q for o.
-7
Suppose 49 - 86 = -5*l - 4*a, a + 2 = 0. Solve 0 = 27*j - 30*j - l for j.
-3
Let j be 187 + ((-16)/4 - -8). Let x = j - 290. Let q = x - -100. Solve y - q + 2 = 0 for y.
-1
Suppose 105 = -2*d + 5*d. Suppose 3*k - 4*f - 92 = d, 3*f + 39 = k. Let g = k - 43. Solve h = -0 + g for h.
2
Let k(m) = -4*m**2 - 18*m - 18. Let o be k(-3). Let u(t) be the second derivative of -t**3/2 + t**2/2 + 2*t. Let z be u(-1). Solve o = -z*n - 0*n + 12 for n.
3
Let t be 288/32*285/45. Solve 0 = -48*i + t*i - 63 for i.
7
Let z(a) = 46 + 36*a**2 - 18*a**3 + 59 + 19*a**3 + 38*a. Let t be z(-35). Solve t = -2*i + 8 - 6 for i.
1
Suppose -2*x = -4*x - 8, -5*q = x + 4. Let h be (4/(-16) - 974/8)/(-2). Let v = h - 51. Solve -v = -q*k - 5*k for k.
2
Let j = -2 + 10. Let h be 1*-20*(144/(-30))/j. Solve -4*f = -8 - h for f.
5
Let t = 67 - 67. Let y(j) = 5*j + 11. Let h be y(4). Suppose -4*d - 7 = -h. Solve t = -5*k - d + 21 for k.
3
Let v be (-4)/(6 - (-942)/(-156)). Suppose 114*y = 110*y + v. Solve -22*p + y*p + 12 = 0 for p.
-3
Let b be (791*3/63)/((-1)/(-3)). Suppose -b*j = -108*j - 25. Solve j = -2*x + 13 for x.
4
Let h(g) = -g**2 + 38*g + 1089. Let q be h(57). Solve -17*b - q*b = 115 for b.
-5
Let q(v) = v**2 - 44*v - 186. Let w be q(-4). Solve 0 = -w*f + f for f.
0
Let k = -51 + 13. Let u = k + 43. Suppose -5*n - 5*h + 6 = -9, 0 = u*n - 3*h + 9. Solve n*r - 4*r = 0 for r.
0
Su