Let l = -1835 - -1863. Solve l*j + 16 = 12*j for j.
-1
Let c be (-1496)/(-72) + (-4)/(-18). Let f = -17 + c. Solve f = -k - 0 for k.
-4
Suppose -4*j + 3*t + 63 = 0, -3*t = 4*j - 4*t - 53. Solve -54 = -22*p + j for p.
3
Let m = -356 - -363. Solve 16*y - m*y = -27 for y.
-3
Let p be (2 - (0 + 3))*3. Let d(h) = -h**3 - 3*h**2 - h + 2. Let w be d(p). Solve -4 = -t - w for t.
-1
Let j be (-4 - -4)/((-10)/(-10)). Solve -29*z + 30*z + 3 = j for z.
-3
Suppose 0 = 5*d + 2*b + 2 - 4, -5*d = -3*b - 22. Solve -d*n - 2 = -n for n.
-2
Suppose 0 = -4*b + 4 - 0, 5*b - 45 = -2*q. Suppose g - 83 = -3*g - r, -g + q = r. Let p(u) = -u**2 + 16*u + 6. Let z be p(16). Solve z = 3*l + g for l.
-5
Suppose 2*m = -0*m + 6. Suppose 0 = 22*g + 115 - 203. Solve -d - m = -g*d for d.
1
Suppose 5*s - 58 = -18. Suppose o - 19 = -3*v - s, 5*v - 3*o = -5. Solve v*u + 16 = 12 for u.
-2
Let i = 420 + -415. Solve 14*u - i = 9*u for u.
1
Suppose 3*b = 8*b + 100. Let o(z) = -z**3 - 21*z**2 - 18*z + 40. Let t be o(b). Solve 2*i - 8 + 2 = t for i.
3
Suppose -48*g = -53*g + 3*r + 63, 2*g + 3*r = 21. Solve -g*m = -2*m - 20 for m.
2
Suppose -n - 13 = -2*o, 4*n + 28 = 4*o - 0*n. Let f(q) = q**2 - 7*q + 9. Let l be f(o). Suppose a - l = -2*a. Solve 0 = 3*w - 4 + a for w.
1
Let r = 11 + -11. Suppose -5*p + 4*p + 4 = r. Suppose 9*y - 19 = 62. Solve -y = -p*d - 1 for d.
2
Let h be (-3 + -6)/((2/3)/(-2)). Let a = h + -27. Solve -y + 0*y = a for y.
0
Let q be ((-35)/(-4) - 9)/(2/(-16)). Solve q = 30*r - 28*r for r.
1
Let z(j) = j**2 - 2*j - 5. Suppose 12 = 2*a + 3*m - 2, 3*a - 20 = -4*m. Let n be z(a). Solve n*f + 4 + 2 = 0 for f.
-2
Let r(l) = -l**2 + 18*l - 74. Let w be r(11). Solve -w*v - 14 = -5 for v.
-3
Let v(q) = -3*q. Let u be v(-2). Suppose -7 = -u*o + 11. Solve 0 = o*b - 2*b - 5 for b.
5
Let q(o) be the second derivative of -o**4/12 + 5*o**3/3 + o**2/2 + 15*o. Let l be q(10). Solve -3 = -4*a + l for a.
1
Let u be 309/12 - 1*(-4)/16. Solve -u*n + 25 = -31*n for n.
-5
Let c = 1187 - 1128. Solve -c*x + 54*x = -5 for x.
1
Let a be (-21)/14*64/(-6). Suppose -a*x - 5 = -21*x. Solve -k = -x - 1 for k.
2
Let f be ((-48)/36)/(12/(-27)). Solve 0 = -f*a + 9 for a.
3
Let x(p) = p**3 - p**2 - p + 1. Let u(a) = a**2 + a + 0 - 2*a**3 - 2*a**2 - 1 + 2. Let i be u(-1). Let y be x(i). Solve y = o + 2*o - 3 for o.
1
Let b = 12 - 12. Suppose 3*x + b*o - 2*o = 0, -3 = -o. Let s(j) = 2*j. Let a be s(x). Solve -4*m = -a - 0 for m.
1
Suppose -10 = -4*n + 14. Let t(u) = n*u - 6*u + u + 1. Let k be t(5). Solve k*j - j - 25 = 0 for j.
5
Let g(i) be the second derivative of i**4/12 - 3*i**3/2 + 13*i**2/2 - 10*i. Let d be g(8). Solve 16 = d*a - a for a.
4
Let k(z) = -3*z - 71. Let g be k(-24). Let a be g - ((-2 - 1) + (-5)/5). Solve a*o - 2 + 7 = 0 for o.
-1
Let l be 8/(-20) + (-36)/(-15). Suppose 0 = -2*q - l*q - n - 12, 5*q + 3*n + 15 = 0. Let r be (2 + q)/((-1)/3). Solve -i - r*i = 0 for i.
0
Let k(z) = z**2 - 7*z + 2. Let r be (-2*(-21)/(-6))/(-1). Let t be k(r). Suppose 4*n = -3*m + 13, 3*m + 32 - 10 = n. Solve -1 = t*d + n for d.
-4
Suppose -5*j = l - 39, 3*j + 0*j + 2*l = 29. Let v be ((-5)/(-3))/(1/3). Let w = j - v. Solve -w*o = -o - 5 for o.
5
Let b(r) = r**3 + 24*r**2 - 2*r - 48. Let n be b(-24). Solve n = -7*a - a + 8 for a.
1
Let u(m) = m**3 - 8*m**2 - 7*m - 15. Let c be u(9). Solve -5*k + 2 = -c for k.
1
Let c(n) = 5*n**2 - 3*n - 5. Let y be c(-2). Let l be (-44)/(-14) - 3/y. Let p = 6 - l. Solve -o = p*o - 8 for o.
2
Let v(n) be the first derivative of n**2 + 22*n + 147. Let r = 8 - 18. Let m be v(r). Solve -c - m + 1 = 0 for c.
-1
Let k = -44 - -93. Let o be k/21*(-6)/(-2). Solve 5*c = o*c for c.
0
Suppose 0 = -5*k + 42 + 163. Suppose 44*n = k*n. Solve n = 2*r + 3*r for r.
0
Let r = -2275 - -2277. Solve 13*c = r - 2 for c.
0
Let w(c) = -5*c - 27. Let a(u) = 2*u + 8. Let n(z) = -z - 1. Let o(i) = -a(i) - n(i). Let h(s) = -9*o(s) + 2*w(s). Let x be h(0). Solve -4*t + x*t = 0 for t.
0
Let z = -299 + 323. Let t = 0 + 22. Let w = z - t. Solve w*r - 6*r - 16 = 0 for r.
-4
Suppose 29 = 3*k - 4. Suppose -9 - k = -4*g. Suppose -3*h + g = -40. Solve -5*p + h = -10 for p.
5
Let v be ((-2)/6)/((-1)/15). Suppose -3*z + b + 11 = 0, b = v*z - 0 - 15. Suppose 2 = 4*y - z*t, 5*y - 2*y - t = 3. Solve -y*p + 0 + 6 = 0 for p.
3
Let d be (-78)/4 - 2/4*1. Let j be 4*(-15)/d + -3. Solve s - 5 + 7 = j for s.
-2
Suppose -32*d - 9*d = -164. Solve d = -13*n + 12*n for n.
-4
Let t be ((-12)/(-1)*1)/(4/2). Solve -4*a = -6*a + t for a.
3
Let v(u) = -u**2 + 15*u - 14. Let x be v(14). Solve -2*p + p = x for p.
0
Let r be 2 + (-46)/(-14) + (-16)/56. Suppose 140 = r*a - 5*d, 2*d = a - 3*d - 20. Solve 5*m - a = -10 for m.
4
Suppose -3*f - 5*f = -f. Suppose f = -9*y + 9 + 54. Let i(l) = l + 2. Let o be i(3). Solve -y = -o*w - 2 for w.
1
Suppose 8*t - 6*t + 154 = 0. Let p = t - -85. Solve -i - 3*i = p for i.
-2
Let f(b) = b**2 - 7*b + 9. Let a(n) = n**2 - 6*n + 9. Let r(o) = -4*a(o) + 5*f(o). Let d be r(9). Let q be 6/d + 245/21. Solve -1 = 4*s + q for s.
-3
Let o = -32 + 32. Suppose -l = -2*l, o = -3*r - l. Solve -3*m + 0*m + 15 = r for m.
5
Suppose 0 = -2*h - 6, 5*h + 15 = 3*g - 27. Solve -3*k + g - 12 = 0 for k.
-1
Let u be (-119)/14*12/(-17). Solve -u = t + 2*t for t.
-2
Let c = 16 - 13. Let d(q) = -q**c + 8*q**2 - 4*q**2 - 9*q**2 + 0*q + 5 - q. Let p be d(-5). Solve -2*v - p = -7*v for v.
2
Let f(l) = 4*l + 8. Let z be f(1). Solve -5*w - 13 = z for w.
-5
Let x = -551 - -570. Solve -4 = x*q - 21*q for q.
2
Let n(g) = g**3 + 11*g**2 + 7*g - 5. Let f be n(-10). Suppose -3*w + 8*w = 5*j + f, -25 = -5*w - 5*j. Suppose w*y - y = 20. Solve 0 = y*h + 21 - 1 for h.
-4
Let i be ((-3 + 15)/3)/1. Suppose -i*k + 0*f = 3*f - 10, 2*f = -k. Solve -10 = -o - k*o for o.
2
Let y be ((-4)/(-10))/((-4)/360*-3). Suppose 0 = y*x - 18*x + 24. Solve 3*s - x = -s for s.
1
Let n(v) = -v + 17. Let a be n(12). Let b(r) = r - 5. Let u be b(a). Let m(c) = -2*c - 5. Let t be m(-4). Solve -t*i + u = -15 for i.
5
Let r = 40 + -49. Let t = r - -14. Solve t*s = 34 - 14 for s.
4
Let b(s) = 7*s**2 - 2*s - 2. Let c be b(1). Solve c*d - 4 = d for d.
2
Suppose -c = 3*c - 8. Suppose c*l = -8*k + 3*k + 22, 5*k + 4*l - 24 = 0. Suppose -k*h = -h - 6. Solve 4*t = h*t - 8 for t.
-4
Let t be (-1)/2 - (18 + (-45)/2). Let o(s) = -12*s**3 + s**2. Let g be o(-1). Suppose -3*h + g = 4. Solve -t*c = -h*c + 3 for c.
-3
Suppose -r + 6*q = 2*q - 16, -5*r - 3*q + 11 = 0. Solve r*l - l = 0 for l.
0
Let b(f) = f + 5. Let z be b(-4). Let w be 15*3/3*z. Let v(l) = -4*l + 52. Let k be v(12). Solve -w = k*p + p for p.
-3
Let j(v) = -22*v**2 - 505*v + 32. Let w be j(-23). Solve 0 = -6*r + w*r for r.
0
Suppose -4 = 5*l - 39. Suppose -l*t = -3*t. Suppose -15*p + 10*p = -10. Solve 0 = p*m + 6 - t for m.
-3
Suppose 0 = 9*o - 101 + 11. Solve -5*l = -0*l + o for l.
-2
Let z(h) be the second derivative of h**5/20 + h**4/3 - h**3/2 - 12*h. Let x be z(-4). Solve -y - x = 2*y for y.
-4
Suppose 5*c = 11*t - 13*t + 17, -5*c + 10 = -5*t. Solve -3 = -j - c for j.
0
Let v be (-1)/(-3)*15/1. Suppose -f + g + 0 = -5, -g = -2*f + v. Solve f = 3*t - 3 + 6 for t.
-1
Let f be (1 - 3)*(-30)/12. Suppose f*y = 2*y + 21. Solve -3*b = 1 - y for b.
2
Let x(d) = 3*d - 3. Let f(n) = -n. Let p be f(4). Let h = -1 - p. Let v be x(h). Solve -3 = r - v for r.
3
Suppose -2*d + 4*z + 7 = 3*z, -3*z = 5*d - 23. Suppose d*q - q = 15. Let r(i) = -i**3 - 5*i**2 + 13*i - 5. Let b be r(-7). Solve b*h + 13 = q for h.
-4
Suppose 40*y = 244 - 44. Solve 5*l - y = -15 for l.
-2
Suppose 5*o - 2*y + 4 = 4*o, 0 = 3*o - 3*y. Let t = 15 + -11. Suppose -32 = -19*h + 17*h. Solve o*v - h = t for v.
5
Suppose -3*i = 5*w - 22, 2 = -11*i + 14*i - 5*w. Solve i*m - 15 = 9*m for m.
-3
Suppose u + 3*h - 4*h - 122 = 0, 5*u - h = 622. Let j = -123 + u. Solve j = 3*c - 4 for c.
2
Suppose 30 = 6*i - i. Suppose -23 = -i*h + 7. Solve -y = -h*y for y.
0
Let w(o) = -o - 1. Let h(u) = u. Let z(a) = -2*h(a) - 3*w(a). Let m be z(0). Suppose m*t - 10 = -2*t. Solve -t*x = 2*x for x.
0
Let p = 87 + -85. Let r be -6 - 0 - (-2 + 2). Let w be -6 - (-6)/2 - r. Solve -w*z - p*z = 0 for z.
0
Suppose 52 = 202*u - 189*u. Solve -12 = 16*v - u*v for v.
-1
Let o be (-2)/(-1) - (2 - -18). Let y = -8 - o. Let g be 6/4 + 15/y. Solve g - 13 = -5*d for d.
2
Let i = 2 + 1. Let y 