12*x = -14 for x.
1
Suppose -2*u + 3*q + 42 = 0, -4*q - 53 + 37 = -u. Solve -57*z + u*z = 165 for z.
-5
Let q be (-5)/4 - (-60)/48. Let a be (-1 - q) + (-3)/(-1). Solve -a*p + 7*p = -5 for p.
-1
Let c(h) = h**2 - 45*h + 400. Let r be c(33). Let w be (-12)/20*10/(-2). Suppose -7*f + 2*f - g = -3, -9 = 2*f - w*g. Solve r*t - 14 - 6 = f for t.
5
Let u = 381 - 378. Let k be (4 - -1) + u - 8. Suppose 3*h = 8*h. Solve h = t - k*t - 4 for t.
4
Let o(r) = r**3 - 2*r**2 + 2*r - 13. Let z be ((-9)/(-6))/(8/16). Let q be o(z). Solve 2*p + q = p for p.
-2
Let d(o) = o**2 + 32*o - 102. Let m be d(-35). Solve -9*x = -m + 57 for x.
-6
Let t be (-11)/(66/14)*309. Let i = 725 + t. Solve 2*n - 4*n + i = 0 for n.
2
Let i(k) = 2*k**2 + 4*k + 2. Let l be i(-2). Suppose -5*g = 4*h - 7, -h - 4 = -l*h + g. Let v be ((-1)/h + 0)*0. Solve 1 = r - v*r for r.
1
Let t be (-2 + 4)/(-2 + 612/303). Let w = t + -100. Let h be 0/3 - (-4)/2. Solve 0 = -h*j + w + 1 for j.
1
Let j(f) = -f**2 - 10*f + 14. Let x be j(-8). Suppose 0 = -173*n + 170*n + x. Solve c = n*c for c.
0
Suppose 0 = -12*m - 37 + 13. Let f be (0 - -3)*(m + (-40)/(-12)). Solve -4*u = -2*u + f for u.
-2
Let o(y) be the second derivative of y**3/6 - 5*y**2/2 + 2*y - 27. Let a be o(5). Solve 0 = -3*u - 9 - a for u.
-3
Let x = -26 + 28. Let c = 1408 + -1407. Solve c = 3*f - x*f for f.
1
Let j(c) = 3*c**2 + 2*c - 4. Let q = -22 - -37. Let g(h) = h**3 - 16*h**2 + 15*h - 2. Let y be g(q). Let t be j(y). Solve t = -0*x - 2*x for x.
-2
Let l = -3 + 1. Let k be (-1 - l) + 3 + -1. Suppose 0 = -1701*d + 21898 - 1486. Solve -k*p - p = -d for p.
3
Let n(s) = 3*s**2 + 11*s - 68. Let f be n(-12). Let q = f - 228. Solve q*x - 20 = -0*x for x.
5
Suppose b + 7*f - 10*f = 360, -5*b + 3*f = -1800. Let o be (-10)/4*b/(-75). Solve 6*l - o = -0*l for l.
2
Let z(t) = -3*t - 30. Let x be z(-9). Let q be (x/(-3))/(5/10). Solve -g = -q*g - 3*g for g.
0
Let f be 2/(-3) + 7/(-21) - 5. Let l be 0/(8/(-2 - f)). Suppose 0 = -v + 3*v - l*v. Solve v = 2*r - r for r.
0
Let j(c) = c**3 - 11*c**2 + 10*c + 3. Let i be j(10). Let w = 1163 - 1149. Solve -w = i*p - 5 for p.
-3
Suppose -5*a - 70 = 175. Let p = a - -54. Suppose 0 = -2*q - 5*c - 0*c + 14, 0 = 3*q - p*c + 4. Solve -g - q - 2 = 0 for g.
-4
Suppose -19*k + 16*k = 27*k - 12870. Solve 2*o = -433 + k for o.
-2
Suppose -7*w - 4*k + 99 = -2*w, -w - k + 21 = 0. Solve -3*u = w - 30 for u.
5
Let z be -16 - -11 - (-1)/(2/10). Suppose -5*i - o + 22 + 2 = 0, z = -4*i - o + 20. Solve i*s + 10 = 26 for s.
4
Suppose 3*f + 8 = z + 28, -3*z = -4*f + 35. Suppose 0 = 4*l - f - 15. Suppose -4*x - x + 28 = 2*u, 0 = -l*u - x + 24. Solve 0 = -u*w + 4 for w.
1
Let h = -27228 + 27228. Solve -139*u + 124*u - 120 = h for u.
-8
Suppose -5*h - 18 = -4*j, -4*h = 5*j - h - 4. Let a be (-21)/(-105) + (-2)/10. Solve x - j*x = a for x.
0
Suppose -15*j = -9*j - 12. Let t be -4 + (12 - 4)/(4/j). Solve -5*h + 12 - 17 = t for h.
-1
Suppose -3*a = -3*y - 57, -3*a + 70 - 7 = -y. Suppose 6*l - a - 2 = 0. Let o = -12 + 16. Solve -2*n - o = -l*n for n.
2
Let f(l) = l**2 + 20*l + 214. Let y be f(-9). Solve 50 = 105*h - y*h for h.
-5
Let z = 121 + -116. Suppose 0 = 3*c - 5*p - 38, 4*p - 42 = -z*c + 7*p. Solve 2*j + 8 = c*j for j.
2
Suppose -218*w + 12505 = -64231. Solve 0 = -w*x + 347*x + 30 for x.
6
Let t = -7 + 12. Let a be ((-200)/35 + 1 - (-6)/(-21))/(-1). Suppose d + 3*d = 3*g + 8, a*g + t*d = 45. Solve 0 = -c + g*c for c.
0
Suppose 8*t = -230 + 246. Solve -142 - t = 48*u for u.
-3
Let f(o) = -57*o + 1516. Let r be f(26). Solve -35*q + r*q - 2 = 0 for q.
-2
Suppose -6 + 0 = 3*w. Let j(d) be the third derivative of -d**4/24 - 68*d**2. Let x be j(w). Solve -x*z = 3*z for z.
0
Let b(o) = o**2 - 22. Let y be b(0). Let q = -172 + 194. Let d = y + q. Solve -2*z + 6*z - 20 = d for z.
5
Suppose 2 = -2*f - b, 5*f - 240*b + 239*b - 9 = 0. Solve -3*j + f = -4*j for j.
-1
Let g be -13 - -13 - 2 - -16. Solve -6*n - 8 = -g for n.
1
Suppose 0 = 35*c - 33*c - 6. Let a = 118 - 63. Let p = a - 55. Solve p = -c*j - j for j.
0
Suppose 4*k + 2*i - 130 = 0, -4*i = -k + 22 + 24. Suppose -10*u = -4*s - 13*u + 29, -5*s - 3*u = -k. Solve -s*q + 1 = -4*q for q.
1
Suppose 0*n - 2*n - 5*p = 109, -2*n + 3*p - 101 = 0. Let x = -27 - n. Suppose -9 = 16*f - x*f. Solve -2*t + 9 + f = 0 for t.
5
Let a be 7 - (-2 - -4) - 287/(-1). Let v = 307 - a. Solve 5 = -5*t - v for t.
-4
Let d = -112 + 116. Suppose -2*t + 20 = -4*z - 32, 0 = 5*t + d*z - 60. Suppose -4*s = -3*y - 0*s - 10, -t = -4*s. Solve 0 = -6*p + y*p for p.
0
Suppose -5*h + 3*y = -146, 3*h + 245 = -3*y + 323. Solve -h*d + 72 = -4*d for d.
3
Let r = 712 + -712. Suppose s - 1113 + 1108 = r. Solve 5*n + s*n + 10 = 0 for n.
-1
Let f = 12 + -7. Let h = -118 + 123. Let y be h/(-2)*32/(-40). Solve y*o - o + f = 0 for o.
-5
Let p be (6 - 5)*28 + -2. Solve -15*l + 4 = -p for l.
2
Suppose 40*l - 42*l + 403 = -3*x, 2*x - 198 = -l. Let q = -197 + l. Solve 0*v + 9 = q*v for v.
3
Let f(h) = 2*h**2 + 29*h + 68. Let n be f(-9). Let s = -79 - -48. Let o = n - s. Solve k + 4*k - 15 = o for k.
3
Suppose 3*d - 6 = 0, 3*d - 13 = -3*w - 2*d. Let u be (-2 + 7/4)*(w - 1). Solve a = -u + 2 for a.
2
Let b be -4 - -13 - -419 - 5/(15/12). Solve 375 - b = 7*o for o.
-7
Let t(m) = -m**3 - 3*m**2 + 8*m + 1. Let l be t(7). Let r = 441 + l. Solve 0 = 13*s - 9*s - r for s.
2
Suppose -3*a + 5*p = -123 + 51, a = 6*p + 37. Solve -a*j = -121 + 235 for j.
-6
Suppose -5*a + 888 = -3*a. Let v = a - 440. Solve 7*x - 31 = v for x.
5
Suppose 44*k - 5268 - 452 = 0. Solve -k*j - 306 = -181*j for j.
6
Let a(h) = 34*h - 573. Let j be a(17). Suppose i = 9 - 4. Suppose 3*v - v + r = i, -r = -4*v - j. Solve v = -4*x + 3 - 19 for x.
-4
Let g(l) = 2*l**2 + 47*l - 14. Let h be g(-22). Let a be (-690)/h - 12/(-32). Solve -4*f - 11 = a for f.
-5
Let l(v) = -3*v**3 - 11*v**2 - 8*v + 8. Let n be l(-4). Let x be ((-14)/(n/30))/((-10)/8). Solve 7*c = x*c + 1 for c.
1
Let x(d) = d**3 - d**2 - 56*d + 2. Let y be x(8). Suppose 4*l - l + 6 = 0. Let n = l - -3. Solve y + n = -3*u for u.
-1
Let o = -88 - -88. Let a be ((-15)/3 + 11)*4/6. Solve o = -a*q + 3*q + 3 for q.
3
Let f be (6 + (-70)/10)*(-1 - 18). Solve -12*w = -f - 29 for w.
4
Let d be (6/(-15))/((-84)/206430). Solve 953 = -6*t + d for t.
5
Let a be (-4 - (-4 + 2))*-2. Let k = 3 - a. Let w(o) = 5*o**2 + 3*o + 1. Let g be w(k). Solve -b + g = -2 for b.
5
Let u = 2 - -8. Let k(b) = -11*b + 319. Let n be k(29). Solve n = a + 11 - u for a.
-1
Let r be 0*(9/6 + -2). Let u(z) = -54*z - 1186. Let j be u(-22). Solve 4 = -j*s - r for s.
-2
Let w(a) = -a**3 + 5*a**2 + 5*a + 13. Let b be w(6). Let q = -2642 - -2649. Solve -q = 2*p - b for p.
0
Let g = -1677 - -1699. Solve 20 = -d + g for d.
2
Let c(m) be the first derivative of m**4/4 + 2*m**3 + m**2 - 9*m - 11. Let y be c(-5). Suppose -2*r - 8 = -y*r - v, 3*v = -3*r + 6. Solve -3*h - 1 = r for h.
-1
Suppose -62 = -60*y + 718. Solve 16*u = y*u - 3 for u.
-1
Suppose 0 = -8*l - 8 + 136. Suppose 4*h = -2*z, -5 = 3*z - 5*h - l. Let o be z/7 + (-987)/(-147). Solve -o = -4*a + 1 for a.
2
Let l(a) = -a**2 + 101*a + 18. Let w be l(0). Solve -26 - w = 22*m for m.
-2
Let n be (-3190)/(-99) - 4/18. Suppose -6*m = 8 - n. Solve 0 = m*h - 15 - 5 for h.
5
Let u(h) = -h**2 + 5*h + 18. Let q(n) = -76*n**3 + n**2 + 3*n + 2. Let c be q(-1). Suppose -35 = c*p - 81*p. Let s be u(p). Solve -1 + s = 3*x for x.
1
Let d = 20 - 18. Suppose -2*n = -2*x - 13 + 43, d*x - n = 30. Let k be (-8)/(-5)*(1 + x/10). Solve -2*a + a - k = 0 for a.
-4
Let z(l) = 24*l**2 - 229*l - 61. Let o be z(10). Solve 17 = 33*y - o for y.
2
Let r(w) = w**2 + 11*w - 15. Let m be r(-13). Let z be (-24)/32 - 63/(-4). Suppose -m*x - z = -16*x. Solve 0 = 2*h - x - 3 for h.
3
Let d(c) = c**3 - 3*c**2 - 3*c. Let t be d(4). Suppose 204*g - 1664 + 1026 = 2014. Solve -t*x - 13 + g = 0 for x.
0
Let w be (8/16*1)/((-1)/(-4)). Suppose 5*l - 7 - 43 = 0. Suppose 7 = 7*x - 21. Solve -l = -x*h + w for h.
3
Suppose -4*y + 3*s = -69, -4*y + 88 + 16 = 4*s. Solve -5*d - y + 1 = 0 for d.
-4
Let c(g) = 141*g - 3. Let p be c(3). Let z = -417 + p. Solve 0*x - z*x - 15 = 0 for x.
-5
Suppose h - 444 = -396. Suppose 4*r + 12 = 2*n, 5*n + 18 = 4*r + h. Solve -n*g = -12 - 12 for g.
4
Suppose -r = 4*c + 6, -2*r - r + 3*c + 12 = 0. Suppose 0 = o - r*m,