 for d.
4
Let v = 447 - 435. Solve v - 16 = 4*m for m.
-1
Suppose 0 = 13*i - 2 - 24. Let y = i - -1. Solve y*n - 1 = 4*n for n.
-1
Let h = 131 - 100. Solve 0 = -2*m - h + 23 for m.
-4
Suppose -4*b + z + 21 + 16 = 0, -b + 7 = 2*z. Let k be (-150)/(-70)*(-6 + 13). Let h = k - b. Solve -h = -2*g - 0 for g.
3
Let s be (6/(-4))/((-1)/2). Suppose 0 = 3*i + 5*a + 23, a = -2*i + 2 - 15. Let j be 1 + (-16)/i - (-1)/3. Solve s*p + 3 = j*p for p.
3
Let c = -197 + 200. Solve -4*i = -c*i + 3 for i.
-3
Let p = -49 - -53. Solve d = -p*d - 20 for d.
-4
Let g(c) = -c + 6. Let r be g(4). Suppose 18 = -r*f + 4*z, -26 = f - 2*f - 5*z. Solve f = 3*h - 2 for h.
1
Suppose -n + 2*n + 3 = 0, 2*n - 50 = -2*w. Let q be 0 + -4 + w/2. Solve -s = 4*s - q for s.
2
Let i(t) = t**3 + t - 1. Let w(r) = -4*r**3 + 6*r**2 + 6*r + 14. Let c(q) = -5*i(q) - w(q). Let u be c(-4). Solve 0 = 2*g - u*g for g.
0
Let y(i) be the third derivative of i**6/120 + i**5/12 - i**4/6 - 5*i**3/2 - 40*i**2. Let f be y(-5). Solve -f*j - 25 + 0 = 0 for j.
-5
Let u(z) = -z**2 + 3*z + 32. Let p be u(7). Suppose 0 = 3*j - 20 + 5, -3*j + 7 = -p*n. Solve x + n = -1 for x.
-3
Let u be (-1 + 11)/(2/(-5)*-5). Suppose u*t + 15 = 3*b, 3*b - 20 = -b - 5*t. Solve -b*r - 11 = -1 for r.
-2
Let u be 38*-1*(-1)/2. Let p = 16 - u. Let x be p*(-6)/(-9) - -7. Solve x*s - 20 = 5 for s.
5
Let w(z) = -6*z**3 + z**2 - z - 2. Let v be w(-1). Let l be (v/(-4))/(4/(-8)). Solve l*j = 3 + 3 for j.
2
Let l be ((-102)/18 - -5)/((-3)/9). Solve 50*h = 51*h + l for h.
-2
Let q be 2*(-23)/8 - (-3)/4. Let l be (31/(-35) - 6/(-21))*q. Solve 5*k - l = 7 for k.
2
Let q(u) = -u**3 + 2*u**2 - 60. Let l be q(0). Let n = l + 62. Solve n*o = 2 + 2 for o.
2
Let x(h) = -h**3 + 12*h**2 - 11*h + 2. Let u be x(11). Let p(s) = -s**3 + 5*s**2 - 4*s. Let f be p(u). Solve -2*j + 12 = f for j.
4
Let a be 20/(-3)*(-9)/12. Suppose -a*u = -14 + 4. Solve -u - 3 = q for q.
-5
Suppose -3*j + 6 = -0*j. Suppose 4*a + n = 21, 0*a + 4*a - 18 = j*n. Solve 5 = -a*l - 0 for l.
-1
Suppose 55*k - 24*k = 21*k. Suppose -b - 2*b = -3. Solve z + k = b for z.
1
Let w = 619 + -618. Let l be (3 - 2)/(4/12). Solve 0 = c - l + w for c.
2
Let u = -3 + 5. Suppose u = r - 4. Suppose -r = 5*a - 3*m, 6*a + 10 = 3*a + 5*m. Solve a = -0*x + 3*x for x.
0
Suppose 10*i = 13*i - 240. Let v = 84 - i. Solve 0*f = v*f - 4 for f.
1
Let x = -95 + 95. Let b(p) = -p**3 + 6*p**2 - 3*p - 7. Let k be b(5). Solve -3*w = -x*w - k for w.
1
Let j be (19 - 19)/(24/(-4)). Let l(i) = i**3 - 6*i**2 - 7*i + 3. Let v be l(7). Let u(s) = -5*s + 3. Let w be u(-5). Solve j = -5*g + w - v for g.
5
Let k(t) = 2*t**2 - 6*t. Let u be k(-1). Solve -7*l + u - 29 = 0 for l.
-3
Suppose 3*v - 4*x + 16 = 0, x = -0*v - 2*v + 4. Solve d - 2*d - 1 = v for d.
-1
Let d(n) = -2*n**2 - 3*n + 5. Suppose 0 = 8*x + 3*x. Let a be d(x). Solve a*b - 6 = 2*b for b.
2
Suppose 671 = 6*u + 599. Solve 0 = -10*q - 2 + u for q.
1
Let p be 40*(-5)/(-40) + (9 - 1). Solve p*n + 8 + 5 = 0 for n.
-1
Let v be (-4)/(16/12) + (-1 - -7). Solve -v*u + 4 = 16 for u.
-4
Suppose 44*w = 39*w. Solve w = -4*s + s for s.
0
Suppose -5*i + 12 + 13 = 0. Suppose 23*f - 18*f - 65 = 0. Let y(d) = -d**3 + 12*d**2 + 14*d - 13. Let q be y(f). Solve q = i*x - 1 - 9 for x.
2
Suppose -26 = -4*w - 6. Let z = 37 + -35. Suppose z*d + 3*d - 10 = 0. Solve -1 = -d*u - w for u.
-2
Let i be (-2)/2*44/(-2 + -2). Solve -i*q + 12 = -14*q for q.
-4
Let h = 89 - 67. Suppose 4 = 2*t - 0. Suppose -t*i + 6 = -2*q, -1 = -i - 2*q + 4*q. Solve 2 = i*j + h for j.
-4
Let r(o) = -o**3 - o**2 + 11*o - 5. Let j be r(4). Let h = 41 + j. Solve 5*l + 7 + 8 = h for l.
-3
Suppose 44 = 3*c - 0*o - o, 0 = c + 4*o + 7. Suppose 2*b = 4*s + 3*b - 7, 4*s = 5*b + c. Let k be (-3 - (-32)/24)*225/(-125). Solve k*v = 17 - s for v.
5
Let g(o) = 2*o. Let m be g(6). Suppose 4*a - 1 = -5*n + 11, -4*n + m = 4*a. Solve 2*x - 10 = -n*x for x.
5
Let c be (-4)/(-3)*(-9)/(-6). Let x(t) = -4 - 11*t**c + 4*t + 7*t**2 + t**3 + 1. Let b be x(3). Solve -p - p = b for p.
0
Suppose -2*r = -2*p - 16, -r + 2*p + 1 = -12. Solve -h + r = 2 for h.
1
Suppose 0 = -3*h - 4 + 13. Suppose 2*r - r - h = 0. Suppose 5*q + 27 = c, 2*q + 2 = -r*c - c. Solve 0*n + 10 = -c*n for n.
-5
Suppose -46 = 3*g - 127. Suppose -3*n - g = 3*w, 5*w + 2*n = -21 - 15. Let p = 0 - w. Solve x = -x - p for x.
-3
Suppose -25 - 50 = -5*j + q, 4*j - 2*q = 60. Suppose -3*c + 0 = 3*w - 12, -c = -4. Solve -j = -w*k - 3*k for k.
5
Let z(x) = x**3 - 63*x**2 - 65*x + 69. Let i be z(64). Solve -i*o = -o + 8 for o.
-2
Suppose 2*w - 18 = 4*w. Let d be 2/w + (-752)/(-144). Let b(q) = q + 1. Let f be b(3). Solve -f - d = -3*a for a.
3
Let h be (-8)/(-3 + -1 + (-98)/(-28)). Solve h*k = 5*k + 44 for k.
4
Suppose -14 = -2*a - 4, -5*s = 2*a - 20. Let r be (-2)/10 - (3 - (-1205)/(-25)). Suppose -s*b + 3*z - 43 = -4*b, -5*z + r = 2*b. Solve 0 = -6*j + 2*j - b for j.
-5
Suppose -4*v - 5*z = 55, -5*v + 0*v - 2*z - 90 = 0. Let x = v - -26. Let g = -14 - -17. Solve 0 = g*n + 3 + x for n.
-3
Let v be 2/((-12)/(-25)) - 2/12. Solve v = -3*n - 8 for n.
-4
Suppose 0 = 16*q - 12*q - 28. Suppose 0 = 5*m - 17 + q. Solve f - m = -0 for f.
2
Suppose 0 = 3*c - 5*u + 20, 0 = 4*c - 2*c - 3*u + 13. Let k(t) = -t + 17. Let b be k(c). Solve -3*r = -b + 7 for r.
5
Let c be 1*(-4)/(-1) + 21. Suppose -3*r + 3 = k, 4*r - 3*k - 2*k - 4 = 0. Suppose 2*t + r = m, -4*m + 5*t - 5 = -3*m. Solve -m*g = -0*g - c for g.
5
Suppose -2*y + o + 0*o = -4, y + 2*o = -3. Let i be y/5 + ((-96)/20)/(-1). Solve -i*u = -3*u for u.
0
Let i be ((-2)/(-18)*3)/(1/27). Solve 7 - i = -o for o.
2
Suppose -845*z + 824*z = -1302. Solve 5*w + z = 37 for w.
-5
Let v be ((-10)/4)/(7/(-14)). Suppose v*z - 64 - 6 = 0. Let i be ((-50)/8)/(z/(-56)). Solve 9*f - 4*f - i = 0 for f.
5
Suppose -4*n + 34 = -4*w + 5*w, -n - 4*w = -16. Let z = 66 + -45. Suppose 9 = -4*g + z. Solve -n*r = -g*r for r.
0
Suppose -3*h = -4*h + 3. Let y = 28 - 20. Let o = 4 + y. Solve 3*t + h = -o for t.
-5
Suppose f - 4*s - 12 = 0, 4 = -5*f - 5*s + 14. Solve -2 = f*b - 18 for b.
4
Suppose -5*w = -192 + 12. Let y = w + -33. Solve 1 = y*k - 2 for k.
1
Suppose -10*o = o - 1056. Let v = o + -88. Solve v = 5*c + 28 for c.
-4
Suppose 0 = 3*z + 2*v, 5*v - 3 = -18. Suppose 3*a - 8 = -z. Let w = 7 + -2. Solve -a*d + w = -d for d.
5
Let a be (-10)/(-2*4/16). Solve -u - a = 4*u for u.
-4
Suppose 15 - 123 = -9*g. Let r be 6/(g/5)*(0 - -2). Solve -i + 0 = r for i.
-5
Suppose -5*t + 5*q - 512 = -152, -4*t + q - 288 = 0. Let v be (-1 - 0)/((t/(-16))/(-9)). Solve m + 2 = -v for m.
-4
Suppose 0 = -2*d + 6*d. Suppose -w = -d*w - 6. Solve -1 + w = -p for p.
-5
Let o(d) = d**2 + 4*d - 13. Let p(z) = -z**3 - 6*z**2 + 6*z + 28. Let v be p(-6). Let l be o(v). Solve 5*y + 4 = l for y.
3
Let a be 6/(27/6 - 3). Suppose -a = -5*w + 3*w. Solve -4*v + w = -2*v for v.
1
Let i = 1173 - 1172. Solve 0 = 3*d - 5 - i for d.
2
Let m(d) = d**3 + 6*d**2 + 6*d + 8. Suppose -2*i + 8 = -s + 1, -4*s - 5*i - 15 = 0. Let b be m(s). Solve 5*j - 10 = b*j for j.
5
Let t(s) = -s**3 + 6*s**2 - 4*s - 3. Let j be t(5). Let c = -3 + j. Let f be (c + 0)*(-3)/3. Solve 4*l - 15 = f for l.
4
Let k be 104 + -94 + (-1 - 10/2). Suppose -m + 4*h + 20 = 0, -3*m + m - h = 5. Suppose -2*v = -m*v. Solve v = k*b - 7*b for b.
0
Let w(c) = c**3 - 30*c**2 - 33*c + 68. Let p be w(31). Suppose -p = -v - v. Solve v*x = -x + 8 for x.
2
Let n be 4 - ((-21)/(-35) + 198/(-30)). Let t be 0/((0 - 1)/1). Solve t = -9*v + 4*v - n for v.
-2
Suppose 27*k - 21*k = 30. Solve y + k = 2 for y.
-3
Suppose -h - 20*r = -21*r - 1, 11*r - 16 = 2*h. Solve u + 8 = h*u for u.
4
Let l be 96/(-144)*114/(-4). Solve -l*i + 13*i = -24 for i.
4
Suppose -8*v + 25 = -3*v. Solve -v = 2*q - 9 for q.
2
Let t be (26/(-3))/(34/(-6) - -5). Suppose y - 17 = -t. Solve -a + 6 = -y*a for a.
-2
Let u be -1 + 21 - (-1 - -4 - -1). Solve u*h - 6 = 18*h for h.
-3
Let t = -220 - -156. Let k = t + 67. Solve -k*r + 3 = 15 for r.
-4
Suppose 2*n = 6*n - 64. Let d be n/(-56) + (-186)/(-14). Let y = d - 3. Solve -w + y = w for w.
5
Let t be (-172)/301*(-1 + (-5)/2). Let i(n) = n**2 + 3*n - 2. Let q be i(-3). Let f be (2 + (q - 1))*0. Solve f*j + t = -j for j.
-2
Suppose 2*j + 142 = -5*f, 3*j + 25 = 3*f + 127. Let s = f - -35. Solve -s*d + 20 = -d for d.
5
Let p = -35 + 33. Let