-3
Let g(r) = 4*r**2 + 6*r - 9. Let t be g(-6). Let j = t - 39. Let p be 17/5 + 36/j. Solve p = d + 3 for d.
1
Suppose 0 = -3*j + 6. Suppose 0*s - s - 2 = b, -10 = -2*s + 5*b. Solve -k + s*k = j for k.
-2
Let f = -12 - -22. Let m be (2 - (-7)/(-5))*155/31. Solve -m*y - 2*y - f = 0 for y.
-2
Let s = 7 - -8. Let k = s + -3. Let o = 15 - k. Solve -o*m = 2*m - 15 for m.
3
Suppose -11*n + 5*n = -450. Suppose 5*x - 3*a = n, 2*a = 5*x + 3*a - 75. Solve 4*v - x - 1 = 0 for v.
4
Let i(h) = -h**2 - 9*h - 4. Let j be i(-5). Let r(o) = -2*o + 21. Let z be r(9). Solve 0 = z*s - 7*s + j for s.
4
Let s = -32 - -35. Suppose s*x - 9 = 2*y, -3*x = -5*y - x + 5. Solve y*w + 5 = -4 for w.
-3
Let s = -190 - -194. Solve -s*w = -8 - 0 for w.
2
Suppose 429 = 23*w + 291. Solve 1 = 7*u - w*u for u.
1
Let o(j) = -j**3 + 6*j**2 - 8*j - 4. Let u be o(6). Let g = u - -52. Solve 8 = -2*v - g for v.
-4
Suppose -4*w = 4*i, -5*w + 2*i = -0*i - 14. Let p(s) = -6 - 2*s**2 + 3*s**2 - w*s**2 + 3 + 4*s. Let v be p(2). Solve -v = -2*y + y for y.
1
Let y(l) = 4*l. Let r be y(4). Let a = r - 11. Let i be a + 3 + -3 + -2. Solve i*k + 3 = -9 for k.
-4
Let f = 68 - -10. Let m = -77 + f. Solve r - 1 = m for r.
2
Let r be ((-2044)/365)/(1/(-10)). Solve -13*l = -4 + r for l.
-4
Let r be 6/(11 - 5) - 11*-1. Let m be 15/3*r/30. Solve -4*b + 10 = -m for b.
3
Suppose -25 + 5 = -5*j, 4*u - 3*j - 52 = 0. Let c be u*(-1 + 20/16). Solve o + c = 3*o for o.
2
Let v(n) = n + 24. Let i be v(-16). Let o be 290/8 - i/32. Let x be (-133)/(-9) - (-8)/o. Solve -q - x = 4*q for q.
-3
Let h(p) be the first derivative of -2*p**3/3 - p**2 - 6*p + 5. Let g(f) be the first derivative of h(f). Let a be g(-2). Solve 2*q + 0 = -a for q.
-3
Let o be (-10)/25 + 82/5 + 2. Suppose -12 = -10*d + o. Solve 8*i = d*i for i.
0
Suppose -8*o + 4*o = 48. Let x = o + 16. Solve 0 = -y - x*y for y.
0
Let v(z) = -z - 14. Let m be ((-70)/(-5))/(1/((-2)/2)). Let f be v(m). Solve -g - 1 = -f for g.
-1
Let l be (-18)/5 - 3/(-5). Let n be (7 + -4 - 3)/l. Solve n = -4*w + 11 + 5 for w.
4
Let g(l) = l**3 + 5*l**2 - 2*l - 6. Let n be g(-4). Let w be n - ((-4 - -1) + (0 - -4)). Solve 5 = -3*m + w for m.
4
Suppose 4*v + v - 50 = 0. Let s = -8 - -7. Let a be -3 - ((2 - s) + -16). Solve 4*u + v + a = 0 for u.
-5
Let x(y) = y - 4*y**3 + 5*y**3 - 13*y**2 + 5 + 11*y. Let m = -90 - -102. Let d be x(m). Solve 5*u = -d - 10 for u.
-3
Let h(i) = -i**2 - 8*i. Let g be h(-7). Suppose 0 = u - w - 6, -3*u - w = w + g. Suppose 3*o = 3*z + 6, 0 = -5*z - 13*o + 8*o + 40. Solve z*l = 5 + u for l.
2
Let j(u) = u**3 - 6*u**2 + 2*u - 12. Let s be j(6). Solve s*n = 7*n for n.
0
Suppose 37 - 73 = -6*j. Solve -3*u + j - 9 = 0 for u.
-1
Let b be 3/((-12)/44)*-1. Suppose -b*m + 8 = -9*m. Solve 4 = -m*o - 0 for o.
-1
Let c = 106 - 88. Let t = 18 - c. Solve -5*u + t*u = 0 for u.
0
Let l(z) = z**2 + z - 1. Let x be l(3). Suppose 0 = -s + w + x, -5*w + 2 = -3. Let h = s - 7. Solve -b = -h*b for b.
0
Suppose 136*d - 16 = 132*d, 0 = 3*c - 2*d - 31. Solve -c*i - 25 = -18*i for i.
5
Let d = 437 + -421. Let k be 0 - (1 + (2 - 3)). Solve -l - 3*l + d = k for l.
4
Let h be (-6 + 5)/((-1)/2). Let a = 4 + -2. Suppose 0 = m + a*m - 12. Solve -2*y - h = -m for y.
1
Let l be (-15)/(-20) - 265/(-20). Solve -10 + l = f for f.
4
Let v be (-151)/(-4) - (-9)/36. Suppose 4*q = 5*a - 39, 10*a - 5*a - 3*q = v. Solve a = -3*i - 5 for i.
-4
Let w = -17 - -17. Suppose 4*g + w*g - l - 27 = 0, -5*l + 40 = 5*g. Solve 1 = 3*u + g for u.
-2
Suppose 1304 + 2075 = 109*y. Solve 0 = y*n - 19*n + 12 for n.
-1
Let x(l) = -l**3 + 5*l**2 + 3*l - 6. Let m be x(5). Suppose -33*c + 30*c = -m. Solve 0 = c*s - 14 - 1 for s.
5
Let t(w) be the first derivative of 24*w - 5*w**2 - 1/3*w**3 + 6. Let f be t(-12). Solve f*p - p = -2 for p.
2
Let a(s) = -7*s - 22. Let g be a(-4). Suppose -g*v - 6 = -18. Solve -v*l + 6 = -0 for l.
3
Let a(l) = -8*l - 244. Let m be a(-33). Solve -27*n = -m*n + 21 for n.
-3
Let p(x) = -2*x**2 - 12*x + 12. Let z(i) = i**2 - i + 1. Let w(t) = p(t) + 3*z(t). Let c be w(14). Let o be (6/c)/((-12)/(-8)). Solve u = 2*u - o for u.
4
Let x be (-3)/21 - (8 + 888/(-42)). Solve -7*q - 8 = x for q.
-3
Let u be (7*(-1)/(-4))/(8/64). Suppose -44 = -6*v - u. Solve -3*r + 1 + v = 0 for r.
2
Let s(p) = p**3 - 25*p**2 - 24*p - 36. Let i be s(26). Solve 5*c - i = 9*c for c.
-4
Let w(o) = 2*o - 21. Let r be w(14). Solve -4*k + r*k = 9 for k.
3
Suppose -4*n = 5*u - 24, 2*u + 13 + 28 = 3*n. Let o(c) = -c**3 + 5*c**2 + 5*c + 8. Let y be o(6). Suppose 0*w - 10 = -y*w. Solve 31 = w*z + n for z.
4
Let p(r) = r**3 + 6*r**2 - 10*r - 14. Let k be p(-7). Suppose -3*n + 2*y = k*y - 30, 0 = 3*y - 9. Solve 0 = -6*l + l - n for l.
-1
Suppose 3*w - 4*f - 1 = -79, -5*w = 5*f + 165. Let p be (w/(-4))/((-9)/(-12)). Suppose -2*k - 4*j = -7*k + 10, 0 = -5*j. Solve k*d + p = -3*d for d.
-2
Let j be (-88)/(-4) - (18 - 7). Solve -20*o = -j - 9 for o.
1
Suppose -4*l + 28 = 4*c, 2*c - l = 2*l - 11. Suppose c*o = 5*o - 15. Solve 4*z + z = o for z.
1
Suppose -5*k + 20 = -15. Let a = k + 1. Solve a = -h - 3*h for h.
-2
Suppose 3*f - 10*f + 28 = 0. Solve -f*w + 14 = 2 for w.
3
Let x = 63 + -61. Suppose 3*q - 36 = -5*i, -q - 20 = -x*i - 5*q. Solve 0 = -i*z + 5*z for z.
0
Suppose 5*p = 3*p - 10, -2*k + 4 = 4*p. Suppose -k*s + 4 = -8. Solve -f = s - 6 for f.
5
Let x = -962 - -973. Solve -16*i + x + 53 = 0 for i.
4
Suppose 21*t + 54 = 369. Solve 7*r + t = 2*r for r.
-3
Suppose 31*n - 26*n - 25 = -4*o, n = -o + 6. Solve -2*c + n + 3 = 0 for c.
2
Let o = 639 - 621. Solve 39 = o*j - 5*j for j.
3
Let b(p) = 31*p**2 + 3*p + 3. Let j be b(-1). Let q = 37 - j. Solve -m = m - q for m.
3
Let b = 1 - 2. Let y be 2*(b - 45/(-6)). Suppose -5*h + 2*r = -2, 4*r - 11 - y = -4*h. Solve 2*c = -h*c for c.
0
Let l = -22 + -109. Let q = -126 - l. Solve -8 + 3 = -q*d for d.
1
Let h(p) = p**3 - 12*p**2 - 11*p - 18. Let i be h(13). Suppose -i*b = -5*b - 12. Let t be (2 + 5)*(1 - 0). Solve t = b*w - 9 for w.
4
Suppose 35*h + 84 = 31*h. Let b be 8/(-28) + (-6)/h. Solve -3*g + 7 - 1 = b for g.
2
Let r = 117 - 112. Solve r*o - 30 = -25 for o.
1
Suppose -6*k = -12*k - 168. Let m be k/42*(-8 - 1). Suppose 0 = -0*b + 3*b + 2*o - 46, -52 = -4*b + 2*o. Solve 0 = -4*i + b - m for i.
2
Suppose 1 = 4*f - 11. Suppose -f*x = -4*q - 6*x + 9, 2*q - 3*x + 9 = 0. Solve -2 = 2*s - q for s.
-1
Let p(n) = n**2 - n - 6. Let s be p(-3). Suppose 0 = -7*v + s*v + 24. Suppose -2*x + 5*x = v. Solve -3*u = -x*u + 5 for u.
1
Let u be -1*((-6)/3 + 0). Suppose -3*o + 2*o = u*q - 12, 0 = -5*o + 5*q + 30. Solve o*k = 3*k for k.
0
Suppose -x + 2 = -k, -k - 2 = 2*x - 6*k. Suppose 3*h + 4 = 4*q, 30*h + 2*q = 33*h + 2. Solve -3*a + a + x = h for a.
2
Suppose -4 = 5*v - 4*u, -15*v + 17*v - 2*u = -2. Solve v = 5*t + 2*t - 21 for t.
3
Let l(n) = -34*n + 416. Let j be l(12). Solve j = 7*d - 20 for d.
4
Let b(x) be the second derivative of -1/12*x**4 + 5/6*x**3 + 0 - x**2 + 8*x. Let m be b(4). Solve -q = q - m for q.
1
Let b(x) = -x**3 + 5*x**2 - 3*x - 10. Let d be b(4). Let o(l) = -l**3 - 8*l**2 - 13*l + 3. Let q be o(d). Solve a + 2*a + q = 0 for a.
-3
Suppose 2*h + 216 = 224. Solve -6*m = -h*m - 4 for m.
2
Suppose -2*n + 1 = -25. Suppose n*r + 4 = 15*r. Solve r*z = -2*z - 4 for z.
-1
Let u(d) = -d - 7764 + 7771 + 3*d. Let c be u(-2). Solve c*f - 20 = -f for f.
5
Let g = 32 - 30. Let w be 0/((g - 4) + 4). Solve -3*v + w = -3 for v.
1
Suppose -3*z + 0*h + 53 = 5*h, -5*z - 3*h = -99. Solve z*i - 22*i + 1 = 0 for i.
1
Suppose -q - 14 = -0*q - 4*z, 3*q + 2*z = -42. Let r = q - -27. Suppose -6*m - r = -7*m. Solve 4*d + 3 + m = 0 for d.
-4
Let d(b) = 12*b - 4. Let o be d(-4). Let s = -50 - o. Solve 0*h = -s*h for h.
0
Suppose -4*r - 108 = -2*r - 3*l, 0 = 3*r + 3*l + 132. Let h be (2/(-3))/(16/r). Let v be 14/(-28)*6/(-1). Solve 0 = -v*z - 4 - h for z.
-2
Let z(w) = -w**2 + 6*w - 5. Let p be z(5). Suppose 3 + p = x. Suppose 8 = x*i - 7. Solve -i*d - 2 = -7 for d.
1
Suppose -2*k - 18*k = 0. Solve k*x - x = 4 for x.
-4
Let i = -831 + 848. Solve 8 = 19*g - i*g for g.
4
Let n = 1 + 0. Suppose -y - n = -3*g, 2*g + 0*y - 3*y = 3. Let k be (3 + -3)/(-1 - g). Solve 2*q - 10 = -k*q for q.
5
Let t = -2 + -2. Let d(j) = -3*j - 6. Let l be d(t). Let f(s) = -s**2 - 19*s - 82. Let r be f(-12). Solve -r*a + l = -4 for