ve 51*r = 22*r + c for r.
2
Suppose -94 = 13*d - 68. Let n(v) be the first derivative of -v**4/4 - v**3/3 - 4*v + 5. Let s be n(d). Solve u = -s*u for u.
0
Let c = 2052 + -2002. Solve -21*a - 34 - c = 0 for a.
-4
Suppose 42 = 4*m - 6*m. Let n = -220 + 210. Let q be n/(-7)*m/(-6). Solve 5*b + q = -0*b for b.
-1
Let s(y) be the first derivative of y**4/4 + 2*y**3 - 7*y**2/2 - 30*y - 53. Let z be s(-6). Solve 2*r - z = 5*r for r.
-4
Suppose -2*w = -4*o + 2*w + 24, 0 = -5*o + w + 14. Suppose -5*t = -c, 0 = -2*t + 3*t + 3*c. Let m = 4 - -2. Solve -o*p + m - 2 = t for p.
2
Suppose 9*s = 6*s + 12. Suppose 2*b = w - 15, 0*w + w - s*b - 25 = 0. Let r = -1 + 1. Solve r = -4*d + w - 1 for d.
1
Let y = -219 + 223. Suppose -2 = -y*n + 2. Solve 4*c - 5*c + n = 0 for c.
1
Let z(n) = 0*n**2 + 3*n**3 + 0*n**3 - 6 - 5*n**2 - 2*n**3 + 10*n. Let s be z(4). Suppose 3 = -5*j + s. Solve 1 + j = 2*y for y.
2
Let n(q) = 3*q + 39. Let r(m) = 12*m**3 + 2*m + 1. Let l be r(-1). Let i be n(l). Solve -u + i = 3 for u.
-3
Let v = -3001 + 3019. Solve -v = s - 19 for s.
1
Let w = 29161 + -29136. Solve -j - 14*j = -w*j for j.
0
Suppose -5*g - 2465*v + 15475 = -2470*v, -v - 12368 = -4*g. Solve -j = g - 3099 for j.
8
Let l = -208 + 213. Suppose l*f - 11 = 4. Solve 7*z + 20 = f*z for z.
-5
Let i(f) = -2*f**3 - 20*f**2 + 49*f + 18. Let n be i(-12). Solve 0 = -10*v + n*v - 16 for v.
-4
Let y(f) = 102*f + 828. Let p be y(-8). Solve p*o = 85 - 49 for o.
3
Suppose -867*z + 865*z + 8 = 0. Solve -66 = -z*h - 78 for h.
-3
Suppose -192 = -2*h + 18. Let i = h + -196. Let v = i - -95. Solve v = -3*f + 7 for f.
1
Suppose 3*h - r + 6 = 0, -h - 4*r - 2 = -3*r. Let x(o) = o**2 + 9*o - 262. Let p be x(13). Let g be (1*h)/((-16)/p). Solve 0 = 2*w + g*w - 15 for w.
3
Let a be (-8 - 123) + (-4)/(-1). Let j = a - -128. Solve m + 6 - j = 0 for m.
-5
Let n(q) = -q**2 + 2*q - 1. Let h be n(1). Let f = 694 - 831. Let s = f - -140. Solve h = p - 2*p - s for p.
-3
Let s(j) = j + 1. Let g(y) = -6*y + 10. Let m(u) = -3*g(u) - 21*s(u). Let r be m(-17). Solve 5*b + 10 + 5 = r for b.
-3
Let j(n) = -6 + 3*n - 2 - 7*n**2 + 9*n**2 - n**2. Let w be j(3). Solve 11 = c + w for c.
1
Let y(m) = -m**2 - 34*m - 202. Let b be y(-9). Suppose -4*t - k + 31 = 0, 4*t - 7*t = k - b. Solve t*c + 24 = 56 for c.
4
Let d be 16/(-6)*(18 - (-1302)/(-56)). Solve d*i = 7*i + 7 for i.
1
Suppose 17*j - 64 = 21. Suppose -j = 4*g - 13. Solve 5*q - g = 13 for q.
3
Suppose -24 = 6*p - 42. Let q(n) = -4*n + 13. Let x be q(p). Solve -2*f = -f + x for f.
-1
Let n be 494/286*11 - (2 - -13)/3. Solve 13*x + 38 = -n for x.
-4
Let f be 5 + -1 - 35/(-7). Suppose 31 = 4*y - f. Solve 0 = p - 15 + y for p.
5
Suppose 3*o = 5*q - 85 - 19, 0 = 3*q + 3*o - 48. Solve 0*h = -q*h + 95 for h.
5
Let p(y) = 3*y**2 + 25*y. Let o be p(-10). Let i = o - 32. Let a be (-14)/35*(-2 - i). Solve 4*t - a = -0 for t.
2
Let d be 2/6*14 + 52/(-78). Suppose d = i - 0*i. Solve i = -5*b - 6 for b.
-2
Let k(h) = h**3 + 9*h**2 + h + 14. Suppose 3*t + 0*t = -27. Let d be k(t). Solve 5*u + d = 6*u for u.
5
Let v be -4 - (0 + -3 + -5). Let t be v/30 - (-516)/180. Suppose 2 + 4 = t*c. Solve a + 5 = c for a.
-3
Suppose 16*r - 994 = -818. Solve 0 = -r*q - 10 - 56 for q.
-6
Let m = 2662 - 2647. Solve -19*h + m = -23 for h.
2
Suppose 0 = -398*v + 386*v + 348. Solve v*t - 51 = 123 for t.
6
Let x(h) = h**2 - 19*h - 38. Suppose 18*p - 42 = 16*p. Let z be x(p). Suppose -2*y + o + 8 = 0, -z*o = -5*y + 17 + 9. Solve 18 + y = -5*j for j.
-4
Suppose 0 = 19*f - 22*f - 9. Let p be (65 + f)/(-2) + -1. Let o = p - -34. Solve -5 = -s - o for s.
3
Let p(q) = 19*q**3 - q. Let h be p(1). Suppose -f = -4*a + 2*a + 18, -2*a + 3*f = -h. Suppose 7*x + 6 = a*x. Solve 0*y - x*y = 0 for y.
0
Let u be 6 - (3/4 - (-130)/40). Suppose 114 = u*q + 104. Let p be 100/(-8)*(-8)/10. Solve -7*z - p = -q*z for z.
-5
Let i(b) = -b**3 + 13*b + 248. Let g be i(0). Solve 61*v - 118 - g = 0 for v.
6
Let z(w) = 12*w**3 + 4*w**2 + 13*w - 15. Let y be z(1). Solve 60 = -4*n + y*n for n.
6
Let r(l) = l**3 + 7*l**2 - 14*l - 71. Let f(m) = m**3 + 5*m**2 - m - 12. Let v be f(-5). Let q be r(v). Solve 8*s + q - 3 = 0 for s.
-3
Let h(q) = -q**2 + 132*q - 285. Let c be h(129). Solve -c*i + 20 = -106*i for i.
-5
Suppose 5*a = -10, 5*g + 4*a = 9*g - 16. Suppose -5 = -g*u - l + 13, 2*l = 0. Suppose -u*n = -2*n. Solve z + 4 = -n*z for z.
-4
Suppose -d + 10 = 7. Suppose -t + 56 = d*f, -4*f = -2*t - 2*t + 160. Solve 0 = 11*q - t - 0 for q.
4
Let v = 541 - 528. Suppose -41 + v = -7*w. Solve 4*z = -5*z + w*z for z.
0
Let h be (-14)/(-1 + -6) + 0. Suppose -2*k - 8 = -5*y, -2*k - 5 = -h*y - 3*k. Solve -3*x + y = 14 for x.
-4
Let n = 43 - 41. Let j(u) = 2*u**2 + u - 3. Let m be j(n). Let p = m + -2. Solve -p*i + 4 + 21 = 0 for i.
5
Let g be (50/(-4))/(35/12*(-148)/1036). Solve -11*n + g = 74 for n.
-4
Let t(g) = g**2 - 4*g + 7. Let d be t(3). Let a be d + -4 + (-54)/(-3). Let c = 18 - a. Solve 4*k + 0*k = c for k.
0
Let f = -3895 - -3898. Solve -f*m = -24*m - 63 for m.
-3
Let f(u) = 12*u**2 + 5*u - 18. Let q be f(4). Suppose 2*w + 188 = q. Solve 0 = -w*i + 6*i for i.
0
Let m be ((-40)/60 - -4)*66/4. Solve 41*x = m*x for x.
0
Let u = 67 + -38. Suppose -r = 5*f + 135, 99 = -3*f - 2*r + 18. Let s = f + u. Solve 4 = -d + s for d.
-2
Let i = -18 + -38. Let s = -44 - i. Suppose -h + 0*h - 4 = -5*t, -t - 3*h = s. Solve t = -0*q - q - 2 for q.
-2
Suppose -119*i + 2076 = 21*i + 33*i. Solve i = -7*c - 30 for c.
-6
Let f(x) = -x**2 + 3*x. Let q be f(0). Suppose q = -4*z + z - 2*v - 6, -8 = 4*z - 3*v. Let d = 6 + z. Solve 0 = d*r - r for r.
0
Let o be (8/2)/((-56)/84) + 414/6. Solve o*b - 33 = -474 for b.
-7
Suppose 57 = 2*b + 5. Let m be (23 - b - (-6)/2)*1. Solve -c = -m*c + 3 for c.
-3
Suppose 2*y + 100 + 296 = 0. Let d be (94/9)/2 + 44/y. Let i be (-17)/(-3) + (d - (-68)/(-12)). Solve -4*w = w + i for w.
-1
Suppose 11*s + 1457 = 3*k + 12*s, -5*k + 2425 = 5*s. Solve -14*f = 67*f + k for f.
-6
Suppose -2560*h + 1 = -2562*h + f, 4*f = -3*h + 4. Solve h = 17*c - 69*c - 468 for c.
-9
Let z(i) = 2*i**2 - 18*i - 139. Let r be z(14). Let k(v) = v**2 - 5*v - 6. Let b be k(8). Suppose -2*m - m + b = 3*o, -5*m + 2 = -2*o. Solve -5*a = o + r for a.
-1
Let x(o) = -13*o**3 - 29*o**2 - 47*o + 61. Let q(j) = 7*j**3 + 14*j**2 + 24*j - 31. Let t(d) = 11*q(d) + 6*x(d). Let b be t(-19). Solve -4*c = -b*c - 8 for c.
-4
Let s = 8670 + -8646. Solve 86*v - 90*v = -s for v.
6
Let h(t) = t**2 - 81*t + 956. Let b be h(14). Solve -137*s = -143*s + b for s.
3
Suppose q = 3*r - 1, -5*r + 16 - 21 = 0. Let a be 1 - -1 - q/(-2). Solve a*x = 3*x for x.
0
Suppose -9*t = -45*t + 8208. Suppose 0 = t*s - 221*s - 14. Solve -6*q = s*q + 32 for q.
-4
Suppose 0 = -35*i + 39*i - 16. Suppose -q - 11 = 4*c, -2*c + 0*c - 2*q = i. Let p be (-4)/(-2) + -5 - c. Solve p*u = -3*u for u.
0
Let r = 20 + -67. Let q = r - -42. Let k be q/((-30)/4) - (-21)/9. Solve -y - 2 = -k*y for y.
1
Let a = -3926 + 3944. Solve a = -23*n + 14*n for n.
-2
Let t = 18055 - 17209. Solve -860*z - 112 = -t*z for z.
-8
Suppose z + 5*l - 41 = 22, -2*z + 165 = -3*l. Let s be 4/24 + 4528/(-96). Let k = z + s. Solve -k = 5*h - 6 for h.
-5
Suppose 3*t + m = 86, 26*m = t + 25*m - 38. Solve -13 = 9*n - t for n.
2
Let n be 7/21 - (-80)/30. Solve n*x - 38 = -29 for x.
3
Let z = 694 + -689. Suppose z*p - 1 = -2*w + 19, 0 = -4*w + 4*p - 16. Solve w = -10*o + 6*o for o.
0
Let j = -8804 - -9261. Solve -432*b = -j*b + 125 for b.
5
Let k(g) = -g**3 - 2*g**2 + 45*g + 207. Let x be k(-6). Solve -12*s + 21 - x = 0 for s.
-5
Let w(m) be the second derivative of -m**4/12 - 11*m**3/3 - 10*m**2 + 2*m. Let h be w(-21). Suppose 3*v = 5*k + 5, 5*k + 4 + h = 4*v. Solve 0*d + d = v for d.
0
Suppose 4*v - 105 = -3*j, 173 = 5*v + 3*j + 44. Let p = -22 + v. Let y be 9 + -1 + (-1 - (-3 + 2)). Solve -y = -p*d + 6*d for d.
-2
Let x be -1 + (-4)/2 + -31 + 40. Solve x*s = 29 + 7 for s.
6
Let k(f) = -f**3 - 8*f**2 + 1429*f - 7. Let r be k(34). Solve r*y + 98*y = 125 for y.
1
Let x be (-358)/(-2327) - (258/(-13))/1. Solve 99 = x*o - 53*o for o.
-3
Let b = 592 - 532. Solve -70*h + b*h - 10 = 0 for h.
-1
Suppose 11 = -8*k + 51. Let b be k - -4*(-15)/12. Solve b = x - 5*x - 4 for x.
-1
Let d = 29 + -27. Let v(t) = -t**2 + 8*t - 5. Let h be v(7). Suppose -d = x, 