 -b*h = -s*h for h.
0
Suppose 0 = -6*b + 14 - 2. Suppose 3*a + 379 = 418. Suppose 2*n = -n - 4*o + a, -5*o = -5*n + 10. Solve -b*i + n*i = 1 for i.
1
Let u be 16/6*6/(-4). Let f be 400/30 - u/6. Suppose -2*v - 6 + f = 0. Solve 2*q = v*q - 6 for q.
3
Suppose -u + 3*u = -o - 7, 0 = 2*o - u - 11. Let k be 1 - -14 - (8 - 1). Solve k*g - 7*g = -o for g.
-3
Suppose 209 = -12*v + 1409. Let o = v + -96. Solve -m = 1 - o for m.
3
Let y(u) = u**3 - 10*u**2 + 11*u + 7. Let l be y(9). Let j = -13121 + 13150. Solve v - j = -l for v.
4
Let z(f) = -2*f - 32. Let x be z(-20). Let c be -3 + 12*x/12. Solve -c*s + 10 = -0 for s.
2
Suppose -168 = -3*b + 3*g, 228*g = -2*b + 223*g + 126. Let i(v) = 7*v - 1. Let s be i(1). Suppose -56*q = -b*q + s. Solve q*m = -m for m.
0
Suppose 3*s - 2*z = 28, 3 = -2*z + 5. Let y be 16/(-40) + 54/s. Solve y*j = 2*j for j.
0
Suppose 2*n + 3*k - 232 = 129, 2*k = -4*n + 742. Solve -n*o = -194*o - 30 for o.
-5
Suppose -588*q + 523*q = -123 - 332. Solve 22*s = -q*s + 174 for s.
6
Suppose 64*g + 449 - 4824 = -111*g. Solve -38*k = -g*k - 39 for k.
3
Suppose -176 = -38*y + 22*y. Solve -6*p + y*p = 25 for p.
5
Let o be (-21)/(-9)*3 - (-1)/(-1). Let r = -90 + 84. Let p be r/(-9)*(45/2)/5. Solve 0*q - p*q + o = 0 for q.
2
Let v be (9/6)/(12/24). Suppose 0 = h - 5*j - 31, -25 = -v*h + 2*h + 2*j. Solve q = h - 19 for q.
2
Let m be 102/24 + (-6)/(-8). Let i be m/3 + 126/54. Solve -3*g = 16 - i for g.
-4
Suppose -5*c + 20 = 5*f, 32*f - 29*f = 2*c + 12. Let l = -13 - -22. Suppose i + q - 3*q = l, 0 = -4*i - q + 36. Solve j - i = -f for j.
5
Let o(s) = 2*s**2 + 17*s + 8. Let u be o(-8). Suppose 3*i = -5*l + 74, -4*l = -3*i - u*i + 92. Solve -i - 2 = 6*b for b.
-5
Let i(b) = 8*b**3 - 141*b**2 - 54*b + 9. Let w be i(18). Solve w*l + 585 = 513 for l.
-8
Suppose -4*d = 3*r - 16, 6*r = 3*d + 2*r - 12. Suppose d*y = -8 + 20. Solve -5*m - 24 = y*m for m.
-3
Let i = 7 - 4. Suppose -1150*x + 528 = -1106*x. Suppose -5*r + i*w - x = -r, 5*r - 5*w = -20. Solve s + s = r for s.
0
Let t(w) = -w**3 - 19*w**2 - 7*w + 202. Let i be t(-18). Solve 0 = i*p - 916 + 936 for p.
-5
Let j(y) = 20*y + 221. Let d be j(0). Suppose 54*c - 41*c = d. Solve -3*g - 32 = -c for g.
-5
Suppose -2*j = 2*a + 10, 0 = 6*a - 2*a + 3*j + 15. Solve a = 36*x + 113 + 67 for x.
-5
Let b be ((-9)/2 + (-4136)/(-880))/(2/60). Solve b*x + 3*x = 7*x for x.
0
Let p(k) = -8 - 19 + 8 + 26*k**2 + 89*k**3 - 21*k - 86*k**3 - k**2. Let r be p(-9). Solve 2*o + r = 4*o for o.
4
Suppose 5728 = -42*z + 2*z + 6128. Solve 167*t - 157*t + z = 0 for t.
-1
Let l be (-1)/(-2)*110/11. Suppose 2*m + 3*m - 20 = 0, -59 = -l*v - m. Suppose -7*x - 4 = -v*x. Solve -q - 5 + x = 0 for q.
-4
Let h(p) = p**2 + 4*p - 10. Let l be h(-6). Suppose -75 = -7*y + l*y. Suppose -3*r - 5*s = -2*s - y, -5*r + 10 = 2*s. Solve b + r = -2 for b.
-2
Suppose q - 2*k = -5, -5*k + 16 = 4*q - 16. Let d = 14825 - 14808. Solve 4*w = d + q for w.
5
Let n(x) = 46*x + 131. Let z be n(-7). Let y = 195 + z. Let t(g) = -g**2 - 4*g + 4. Let o be t(-4). Solve -o*d + 3*d = y for d.
-4
Let h(g) = g**3 - 9*g**2 + 15*g - 5. Let x be h(7). Let m be 15/x + 32/64. Solve -6*a - 2 = -m for a.
1
Let i(o) = -o - 4. Suppose -y = 3 + 2. Let n be i(y). Let j = -342054 + 342056. Solve 3*k - j*k = n for k.
1
Let w = -2825 - -2868. Solve 3*h - 37 = -w for h.
-2
Let w(y) be the first derivative of y**3/3 + 23*y**2/2 + 6*y - 61. Let r be w(-24). Solve 0 = -p + 25 - r for p.
-5
Let m = 26964 + -26888. Solve m*p - 42*p = -238 for p.
-7
Suppose 0 = 181*q - 143 - 1305. Solve -14*i = -q - 48 for i.
4
Let k(p) = p**3 - 44*p**2 + 40*p + 252. Let s be k(43). Solve -s*g = -122*g for g.
0
Let o be 24/32 - (-117)/4. Let q = -855 - -858. Solve -3*u = q*u + o for u.
-5
Let q(u) = -u**2 + 19*u - 24. Let n be q(6). Solve n*z + 205 = -173 for z.
-7
Let y(g) = -g**3 + 7*g**2 - 5*g. Let m be y(5). Suppose -3*p = -3*f - 36, 2*f - p = -11 - 13. Let o be 6/f*2*0. Solve 5*u = -o - m for u.
-5
Let o(d) = 19*d**2 + 27*d + 6. Let g be o(-2). Solve g = 26*v - 50 for v.
3
Let s(j) be the first derivative of j**2/2 - j - 2. Let h be s(17). Suppose -6*f + h = -4*f. Solve -o - f = o for o.
-4
Let a be -3 + ((-45)/24)/5 + (-44897)/(-152). Solve a*w + 7 = 291*w for w.
-7
Suppose 12*s = -43*s - 3*s. Solve -102*m + 123*m + 63 = s for m.
-3
Suppose 0 = 5*l - 25, 5*l - 65 = -2*w - 10. Solve 34*b - 117 = -w for b.
3
Let x be (-2)/(4/(-30)*3). Let p = 7030 - 4836. Suppose p*a - 28 = 2187*a. Solve x*u + a = 7*u for u.
2
Let a(v) = 39*v**2 + v - 42. Let k be a(3). Solve 6*q + 336 = k for q.
-4
Suppose 12 = 2*g - 3*a + 5*a, 4*g - 4*a = 0. Suppose l - g*r + 11 = 0, l + 2*l - 22 = -2*r. Suppose 0 = -0*j + l*j. Solve 3*c - 1 + 10 = j for c.
-3
Let w(p) = 10*p**2 + 22*p - 65. Let l be w(3). Suppose 6*m - l = 65. Solve 0 = -t + m - 25 for t.
1
Suppose -6 + 16 = 5*w. Let b(f) = -f**3 - 23*f**2 - 139*f - 2572. Let q be b(-22). Solve -q*z = z + w*z for z.
0
Let l(x) = x**2 + x + 18. Let v be l(-11). Let n = v + -123. Solve o = -10 + n for o.
-5
Let k = -11457 - -11463. Solve -2 = 2*c - k for c.
2
Let p be (-8)/(-76) - (-1722)/(-114). Let j(g) = g**3 + 13*g**2 - 30*g + 2. Let t be j(p). Solve t*q - 13 + 3 = 0 for q.
5
Let z be (9/(-12))/(239/120 + -2). Suppose -z = -22*p + 16*p. Solve -q = 4*q - p for q.
3
Suppose 1407*a = 1429*a. Solve -10*b + 16*b - 5*b = a for b.
0
Suppose -25 = 78*a - 566 + 73. Solve 0 = -69*f + 70*f + a for f.
-6
Let s(v) = -v**3 + 26*v**2 + 55*v + 23. Let l be s(28). Let w = l + 8. Solve 8 = -u - w*u for u.
-2
Let r = -236 + 236. Suppose 4*i - 5*i + 15 = r. Solve 3*m + 2*m + i = 0 for m.
-3
Suppose 2397*n - 2396*n - 96 = 0. Solve 23*j + n = 4 for j.
-4
Let x(k) = 9*k + 176. Let j be x(-17). Suppose -4*b + 3 = 3*q - 4, 5*q = 2*b - j. Let y be 3 + -2 + (-1 - 0). Solve b*w - 6*w - 10 = y for w.
-5
Let g(m) = m**2 + m - 4. Let p be g(-3). Suppose 3*y = 2*f + p, -y = f + 2*y - 17. Suppose -35 = -2*h - f*h. Solve 5 = -h*l + 10 for l.
1
Let v(k) = 3*k - 8. Let m(n) = 1. Let x(g) = 18*m(g) + 2*v(g). Let y be x(2). Solve -y*f - 4 = -12*f for f.
-2
Let i(n) = -n - 237. Let j be i(-13). Let z = j + 229. Solve r + 3 = z for r.
2
Let c(b) = 6*b**3 - 45*b**2 - 16*b - 10. Let l be c(8). Solve 7*h - l + 40 = 0 for h.
2
Suppose 2*o + 4*s + 8 = 0, 12*s - 16*s - 32 = -4*o. Suppose -9 = -3*w - o*g, w = -2*g + 24 - 23. Solve 12*b = w*b for b.
0
Let j = -271 + 272. Suppose 0 = 3*w - w + 2, -5*w = 2*q - j. Solve 0 = 2*s + s - q for s.
1
Suppose 4*m + 2*f = 38, 23 = -7*m + 9*m - 3*f. Solve -6*g - 8 = m for g.
-3
Suppose n = 3*x - 28, 6*x + 102 = -4*n + 8*x. Let s(c) = c**3 + 24*c**2 - 26*c - 21. Let z be s(n). Solve 2*k - k - z = 0 for k.
4
Suppose 4*o - 12 = -s, o - 9 = 2*s - 2*o. Suppose -3*h - 4*l + 41 = 0, 5*h + l - 2*l - 30 = 0. Suppose h*x - 34 + 6 = s. Solve x*t + 0 = -8 for t.
-2
Let g be -7 + 440/16 + 2/(-4). Suppose 3*w + 4*c + g = -w, -4*c = 5*w + 21. Let a be -1 + (3 - 0) + w + -1. Solve a = v - 4*v for v.
0
Suppose -1008 = -h - 13*h. Let y = -55 + h. Suppose -y*n + 12 = -15*n. Solve 5*z - 1 = -n for z.
-1
Let h be (7/70*455)/(1/2). Solve 84*q - h*q = 28 for q.
-4
Suppose -d + 3*q = -34, -2*d - 4*q + 3*q = -26. Solve -8 = -3*o + d for o.
8
Let i = 41 - -49. Suppose -g = -19*g + i. Solve -g*h = 31 - 11 for h.
-4
Let o(x) be the first derivative of -x**4/4 - 14*x**3/3 + 7*x**2 - 13*x + 14. Let v be o(-15). Suppose v*c + 30 = 8*c. Solve 2*a - a - c = 0 for a.
5
Let c(b) = b**3 + 9*b**2 + 12*b + 15. Let k be c(-7). Let f be 1/1*(k - (-1 - 5)). Solve f - 25 = -5*g for g.
-2
Let z(u) be the second derivative of -u**5/5 + u**4/6 + 2*u**3/3 + 3*u**2/2 - 126*u. Let a be z(-1). Solve -15 = a*k - 10*k for k.
3
Suppose i + 213 = 4*a - 38, 0 = 2*a + 5*i - 87. Solve a = -4*v + 77 for v.
4
Let q(g) = 3*g**2 + 33*g + 161. Let z be q(-5). Solve z*r = 80*r for r.
0
Suppose 0 = j + 5*c + 23, -3*c - 12 = -7*c. Let q = j - -58. Solve -a = 3*a + q for a.
-5
Let d be (-7)/21*3 - -3. Suppose 26 = l - 0*l + d*b, 34 = 2*l - 2*b. Solve 3*z - l = -2*z for z.
4
Let m(t) = 5*t**3 - 46*t**2 + 10*t + 20. Let h be m(9). Solve -9*a + h - 56 = 0 for a.
-3
Let o be 7*(12 + 2 - 9). Solve 43*w = o*w - 16 for w.
-2
Let a be 2 + (-1 - 44/20)*5. Let o be a/(-4)*(-160)/(-56). Solve 2*h + o = -0*h for h.
-5
Let w = 180 - 163. Suppose k + 16 = -3*k