1 for d.
-1
Let i(m) = -m**3 + 12*m**2 + 30*m - 350. Let f be i(12). Solve 0 = f*a - 0 - 50 for a.
5
Let d be 2*((-36076)/(-3732))/(3/(63/2)). Solve -d = 22*u - 49 for u.
-7
Suppose -9 - 9 = -6*x. Let g(w) = 4*w**2 - 9*w + 3*w**2 - 9*w**2 + x*w**2 + 12. Let i be g(8). Solve f = -0*f + i for f.
4
Let x be 4/16 - (-15)/4. Let d be (-6)/18 + x/(-6). Let u(f) = -f - 1. Let o be u(d). Solve -2 = v - o*v for v.
-2
Let y = 540 + -373. Suppose 171*n - y*n = 20. Solve -8*v + n*v = 0 for v.
0
Let b = 82 - 82. Suppose b = -m - 32 + 35. Suppose 0*c - 2*c = -4*a - 24, 0 = -m*a - 12. Solve -c*h = h for h.
0
Let n = -5 + 26. Suppose 3*u = n*u - 54. Solve -f + u*f = 0 for f.
0
Suppose 0*s - 4 = -4*s. Let c(r) = s - 5 + 3 + 4 - r. Let m be c(-2). Solve -2*o - m = -15 for o.
5
Let c be 195/26*(48/10)/6. Solve -16*z = c - 38 for z.
2
Suppose -99*s + 5*g = -104*s + 595, -g = 3*s - 347. Solve 0 = -8*l - 11*l - s for l.
-6
Let g be -1*-12*6/24*7. Let p be (14/g)/(2/48). Solve 19*i - 15*i - p = 0 for i.
4
Let h be -4 + 13*168/156. Solve 106 = -48*r + h for r.
-2
Suppose -45*g = -40*g + 10. Let d be g/7 - (-8)/28. Suppose 2*b + n - 11 = 0, -n + 7 = b - d*n. Solve 10 = -6*s + b*s for s.
-5
Suppose 6*s - 141 = 3*s. Suppose -2*u + 49 - s = 0. Let m be 3/9 + 16/6 + u. Solve -m*g + 4 = 24 for g.
-5
Let v(t) = -2*t**3 - 17*t**2 - 37*t - 2. Let d be v(-5). Let i = -130 - -133. Let j = 10 + 10. Solve 0 = i*l - d*l + j for l.
4
Let q(g) = -21*g**2 + 75*g + 7. Let d(t) = 22*t**2 - 75*t - 7. Let y(u) = -4*d(u) - 5*q(u). Let k be y(5). Solve 6*i = -13 + k for i.
5
Let p(j) = 138*j + 984. Let z be p(-7). Solve 26 - 98 = z*l for l.
-4
Let v(p) be the first derivative of -4*p**2 - 82*p + 85. Let b be v(-11). Solve -6 = -3*s + b*s for s.
-2
Suppose 2*n + 4*u = 630 - 578, -4*n - 3*u + 99 = 0. Solve n = 9*z + 78 for z.
-6
Suppose 0 = -35*d + 153 - 48. Solve 7*s - 11 = d for s.
2
Let r(g) be the second derivative of 3*g**5/20 - 13*g**4/4 - g**3/6 + 7*g**2 - 20*g + 1. Let b be r(13). Solve -q = -b + 2 for q.
-1
Suppose 0 = 278*v - 259*v - 1482. Solve 18*s = 44*s - v for s.
3
Let h be 1/(-12) - (-1147)/372. Suppose -5*a + j = -10, -9 = -a - 2*j + 4. Solve -h = a*f - 3 for f.
0
Suppose 4*x - 735 + 2805 = -5*a, -2*x = 0. Let m = a - -423. Solve -m*j + 16 = -5*j for j.
4
Let f(z) = z**3 + 18*z**2 + 17*z + 15. Let q be f(-17). Suppose 41*m + q = 44*m. Suppose -t - 10*t - m*t = 0. Solve t = 2*g - 4*g for g.
0
Let f = 111 - 118. Let d(z) be the first derivative of -z**3/3 - 3*z**2 + 16*z + 1. Let m be d(f). Solve 4*u - m = u for u.
3
Let i(t) = 8 - 7*t + t**2 - 11*t**2 + 11*t**2. Let a be i(6). Let c be 7*-1 + 41 + -29. Solve -a*k = c + 3 for k.
-4
Let v be 52/20 + 2/5. Let k(j) = 2*j**2 + 0 - 6*j + 0*j**2 - 2 - j**2. Let n be k(9). Solve -v*w - 2*w = -n for w.
5
Let s be (0 - (3 - 2)) + 93. Suppose -9*z + 13*z - s = 0. Suppose -5*t - j - 5 = -5*j, -t - 4*j + z = 0. Solve -o = t*o for o.
0
Suppose -114*x = -2*a - 109*x + 20, 5*a - 50 = -x. Solve -27 - 3 = -a*m for m.
3
Let k(a) = -a**3 - 2*a**2 - 10*a - 63. Let c be (7/(49/42))/(6/(-4)). Let p be k(c). Suppose 2*b + 27 = 3*v + 3, -2*b - 6 = 0. Solve -v*t = -p*t for t.
0
Suppose 102*s - 32 = 101*s + 2*a, -5*a - 69 = -2*s. Solve 0 = -s*n + 11 + 11 for n.
1
Let n be -108*((-8)/28 - (-8)/(-168)). Solve -4*k = n*k + 80 for k.
-2
Let n(p) = -p**2 - 14*p - 28. Let v be n(-11). Suppose 0 = -5*u + 4*m - 261, 5*m + 93 = -v*u - 177. Let f = u - -56. Solve f*o - 3 = 2*o for o.
3
Let z = -465 + 509. Solve 8*h - 19*h = -z for h.
4
Let p(i) = -i**3 - 7*i**2 - 7*i - 4. Let l be p(-6). Suppose -6 = -5*h + m, 9*h - 14*h = l*m - 18. Solve 0 = h*q - 0*q for q.
0
Suppose 4*z - 18 = -a, -z + 46 - 14 = 3*a. Suppose -5 = a*o - 11*o. Suppose -o*t + 1 = -3*l, -4*l - l + 25 = 5*t. Solve g + 20 = -l*g for g.
-5
Let k(h) = -h**2 - 4*h - 4. Let q be k(-2). Suppose -5*d + 16 + 14 = q. Solve d*r = 4*r for r.
0
Let c = -100 - -103. Let q be 10/45 + c + (-7)/(-9). Suppose 5*m = -z - 17, 3*z - q*z - 3*m - 9 = 0. Solve k + 6 = z*k for k.
3
Suppose 13*y = 11*y - 5*c + 417, c - 413 = -2*y. Let w = y - 206. Solve w = -4*f + 22 - 14 for f.
2
Let r(t) = 4*t**2 - t + 11. Let d(q) = -5*q**2 + q - 12. Let g(z) = 6*d(z) + 7*r(z). Let u be g(0). Solve u*y - 2*y = 3 for y.
1
Let g be 6/4*(-208)/12. Let r = -28 - g. Let l be 1 + 1 - 1/(r/4). Solve 0*d = -l*d + 12 for d.
3
Let b(s) = 2*s + 14. Let n be b(0). Let o = n + -14. Let t be ((8/10)/1)/(28/70). Solve o = 4*x - t*x for x.
0
Let q(v) = -v**3 + 4*v**2 - 1. Let y be q(6). Suppose -4*z = 4*s + 284, 3*z - 7*s + 12*s + 219 = 0. Let h = z - y. Solve 0 = j - 6*j + h for j.
1
Suppose 4*t + q = 17, 0 = 3*t + 2*q + 2*q - 29. Suppose t*k = k + 4. Solve -2*b = k*b for b.
0
Suppose v = 5*o + 172, 0 = -111*v + 108*v - 5*o + 436. Solve 0 = 10*r + v - 132 for r.
-2
Let k = -64 + 67. Suppose -k*u = 9, 5*a + 3*u - 308 = -u. Let g = a + -62. Solve 2*c + g = 4*c for c.
1
Suppose 0 = 35*l - 1200 - 310 - 625. Solve 13*w = l*w + 192 for w.
-4
Suppose 5*j - 422 = -3*q - 414, 2*j = 2*q + 32. Solve 142*w - 143*w = j for w.
-7
Let h(q) = -3*q**2 - 7*q - 6. Let u be h(-3). Let n(t) = -t**3 - 12*t**2 + 6*t + 15. Let l be n(u). Let o = l + 61. Solve -7*j - o = -3*j for j.
-1
Let m = -800 + 829. Solve 0 = -m*f + 10 - 126 for f.
-4
Suppose 4*d - 12 = 4*k, 2*d + 5*k - 1 = -d. Suppose d*c + 4*b + 8 = -c, -4*c = -2*b - 26. Solve c*z - 27 = -11 for z.
4
Suppose -3*r = -4*z - 4, -r + 33 = 123*z - 118*z. Suppose i - 17 = -3*m, 4*m - 15 = 5*i - 5. Solve 2*w - m = -z for w.
0
Suppose g + 5*x - 10 = 0, -4*x = g + 2*g - 19. Suppose -3*n + 9 = g*i, -i - 14*n = -16*n + 6. Solve i = 7*d + 1 + 6 for d.
-1
Let x(n) = n**2 - n + 23 - 27 - 22. Let w be x(6). Solve w*h + 4 = 6*h for h.
2
Let m be (264/(-28))/((-36)/336). Solve -m - 2 = -15*l for l.
6
Suppose 0 = 2*s + 3*k + 226, 5 = -2*k - 3. Let m = s - -141. Solve m - 38 = 2*a for a.
-2
Let g be (13 - 12)*-8 + 8. Solve g = 24*c - 60 - 12 for c.
3
Suppose -20*n + 3*n - 34 = 0. Let h(j) = -21*j - 38. Let k be h(n). Solve -2*q = -0*q - k*q for q.
0
Let c be (-5)/(-10) + (-5)/(-2). Suppose 0 = -4*a + 20, p - 3*a - 5 = -c*p. Suppose 0 = z - j - 10, -39 + 13 = -z + p*j. Solve -y - 10 = -z*y for y.
2
Let w(b) = -142 + 148 + b + 4*b. Let r be w(1). Solve -r*f - 15 = -6*f for f.
-3
Let t(o) = -3*o - 24. Let l(c) = -18*c - 26. Let d be l(-4). Suppose 5*g + d = 1. Let r be t(g). Solve 2*v - r*v = -3 for v.
3
Let r(a) = a + 10. Let d be r(-8). Let n be 2/4 - 9/d - 43. Let f = n + 50. Solve 2 = -f*t - 4 for t.
-2
Suppose -710 = 13*j - 1906. Solve 2*q = 25*q + j for q.
-4
Let i be -3 - 8/(-16)*2*10. Let a(p) = 20*p - 137. Let m be a(i). Solve -3*z + 12 + m = 0 for z.
5
Let q be -13 - (3 - 76/4). Let w = 2 - 2. Solve -v - q*v - 16 = w for v.
-4
Suppose 5*w - 3*g - 12 = 0, 4*w + 2*g - 16 = -2. Suppose x - 4 = -4*u, 5*x + 2*u = w*u + 20. Solve -x = s - 1 for s.
-3
Let b = 1497 - 1492. Let z(g) be the second derivative of g**3/2 - 11*g**2/2 + 2*g. Let k be z(b). Solve 0 = 2*i + k for i.
-2
Let f(c) = -c**3 - c**2 + c + 3. Let a(y) = -3*y**3 - 2*y**2 + 2*y - 3. Let m(n) = -a(n) + 2*f(n). Let i = 1 - 1. Let x be m(i). Solve -4*l = -x*l - 10 for l.
-2
Suppose -5*z = -48*t + 44*t - 8, 0 = -3*z + 12. Solve -236 = t*c - 239 for c.
1
Let v(j) = j**3 + 15*j**2 - 11*j - 9. Let i be v(-14). Let h = -338 + i. Solve h*f = -0*f - 15 for f.
-5
Suppose 0*n + 2*n = 8. Let l be (-1)/2*(-72 + -8). Let p = l - 32. Solve -n*m + p*m = -12 for m.
-3
Let w(f) be the second derivative of -f**3/6 + 3*f**2 + 6*f - 8. Let a be w(2). Solve a*g = 5 + 3 for g.
2
Let p = 2752 + -2712. Solve p = 15*j - 5*j for j.
4
Suppose 0 = 4*z - 2*z - p - 2836, -3*p - 12 = 0. Let n be z/108 + 3/(-27). Solve l + n = 8 for l.
-5
Let r = 1233 + 259. Suppose r*v = 1490*v. Solve v*n + 6 = -6*n for n.
-1
Let o = -944 + 1020. Solve -5*c + o = 71 for c.
1
Suppose 0*h - 2*h + 14 = 0. Let m(x) = -12*x - 246 - 10*x - 17*x + 32*x. Let f be m(-36). Solve -h*q + f = -10*q for q.
-2
Let c = 1 + 1. Suppose 10 + 98 = -c*h. Let m = h + 57. Solve m*t = 4*t for t.
0
Suppose 0 = -j + 41 + 25 - 63. Solve j*a + 13*a - 48 = 0 for a.
3
Suppose -3*n = 22*n - 1968 + 1468. Solve 0 = -n*j - 102 - 18 for j.
-6
Let o = 10 - 6. Let q be (-9)/6*(-2)/5*(286 + -281). Solve -15 = o*j - q for j.
-3
Suppose -34*x + 44 = 89*x 