7 for d.
3
Suppose 8*v - 5*v = 9. Suppose 0 = -v*k + k - 0*k. Solve 0 = 4*c - k - 20 for c.
5
Let a = -34 + 42. Solve -2*f + 6*f = a for f.
2
Suppose -3*b = 4*t + 2, 3*t = -b - 2 - 7. Suppose -b = -7*s + 1. Solve -4*r - s = -3*r for r.
-1
Let b(o) = -o**2 + 6*o + 3. Let h(l) be the second derivative of l**2/2 + 8*l. Let x(i) = -b(i) + 4*h(i). Let y be x(7). Solve 3*v + y = v for v.
-4
Suppose 0 = -62*d + 72*d - 20. Solve 3*r = -d*r - 20 for r.
-4
Let j(c) = c**2 - 11*c + 10. Let i be j(10). Suppose -4*l + 13 + 7 = i. Solve -l*f + 0 + 10 = 0 for f.
2
Let m be 1/((-44)/12 - -4). Solve -20 = -m*u - 17 for u.
1
Suppose 2*x + 4*y = 10, x - 5*x = 4*y - 16. Suppose -8 = -x*g - 0*g - w, -3*w = -3*g + 24. Solve 0 = 2*q - g*q for q.
0
Let w = 453 + -453. Solve -12 = 4*y - w for y.
-3
Suppose -3*d - 15 + 3 = 0. Let t be 11 + d/16*-4. Suppose 3*c - t = -3*i, -5*i - 5 = -c + 5. Solve 1 + 4 = c*v for v.
1
Let w be (5/10*0)/(-2). Solve w = -6*j - 33 + 51 for j.
3
Let a(l) = -10*l - 4*l + 11 + l**2 - 2*l**2 + 2*l. Let z be a(-12). Solve 1 = 4*i - z for i.
3
Suppose 24*s + 15*s - 117 = 0. Suppose 0 = -5*l + 9*l. Solve s + l = -j for j.
-3
Suppose -9*s + 10*s = -6. Let d be -2 + s/(-6) + 4. Solve -p + 1 = d for p.
-2
Let a be (-87)/58*4/(-3). Let d(v) = v**3 - v**2 - v - 1. Let r be d(2). Let o = r + 1. Solve o*l = -a*l for l.
0
Let x be 3 - 5/(0 - 5). Let z = 19 - x. Solve 9*n + z = 4*n for n.
-3
Let d = 492 + -492. Solve -9*f - 9*f + 36 = d for f.
2
Let i(n) = -n**3 + 4*n**2 - n - 4. Let h = 31 - 28. Let d be i(h). Solve -t = d*t - 12 for t.
4
Suppose -m - 3*p = -0*m + 2, -p + 18 = 5*m. Suppose 5*v - 215 = -3*f, m*f - 4*v + v = 277. Let q be f/28*(5 + -1). Solve q - 1 = 3*k for k.
3
Suppose 302*w - 294*w = 104. Solve 17*i - w*i = 8 for i.
2
Suppose -51*f - 28*f + 395 = 0. Solve 8 = f*r - 9*r for r.
-2
Let p be -51 + 51 - -2*14. Solve -17 = -9*q + p for q.
5
Let m be -2 + 2 + 4 - 0. Suppose -15 = -i - m*i. Solve i*u - 2 = 2*u for u.
2
Suppose 73 = -5*g - 162. Let u = -47 - g. Let i = 66 - 46. Solve u = 4*z - 0*z - i for z.
5
Let a be (-206)/(-10) - (-16)/((-80)/3). Solve 2*z - 10 = -a for z.
-5
Let z be 19 + -19 + (1 - -9). Solve 0 = -3*w - z - 5 for w.
-5
Let d(y) be the second derivative of y**5/20 - 5*y**4/12 + 2*y**2 - 13*y. Let l be d(5). Solve a - l = -3 for a.
1
Let v be ((-6)/(-2) - 2)/((-2)/10). Let x be (-4)/v + (-396)/(-55). Solve -x*l = -6*l for l.
0
Suppose 3*y + 2*y + 10 = 0. Let l be (-3 - y)*1 + 17. Let i be ((-81)/18)/(27/(-18)). Solve u = -i*u - l for u.
-4
Let i = -32 - -21. Let p = i + 14. Let b be 13 - (-1 + 1 + p). Solve -b + 2 = 4*m for m.
-2
Suppose -b + 5 + 3 = 0. Suppose -p + b*p = 7. Solve -u = -4 - p for u.
5
Let s be 16/9 - ((-44)/36 + 1). Let c(k) = k**3 - 2*k**2 - 6*k + 4. Let w be c(4). Solve -u = s*u + w for u.
-4
Suppose 0 = -1962*h + 1963*h - 30. Solve -h*c + 12 = -27*c for c.
4
Suppose 28*h - 30*h + 8 = 0. Solve h*z - 3*z - 2 = 0 for z.
2
Suppose 3*s = -32 - 4. Let g = s - -13. Solve q + g = -3 for q.
-4
Let m(t) = t**3 - 7*t**2 + 12*t - 6. Let l be m(5). Let r be ((-3)/(-6))/((-1)/(-8)). Solve -l = 3*x - r*x for x.
4
Let z be (-2)/4*(-1 + 1). Suppose -60 = -z*l - 3*l. Let n = 23 - l. Solve -4*m + m - n = 0 for m.
-1
Suppose 9*f - 7*f - 9 = -5*k, -2*f - 15 = -3*k. Solve -9 - k = -6*n for n.
2
Let x = 235 - 231. Solve 6*f + 4 = x*f for f.
-2
Let h = -422 - -434. Solve 0 = -h*y - 5*y + 17 for y.
1
Suppose 3*g - 64 - 26 = 0. Suppose -a - a + g = 0. Suppose -3*r + a - 5 = -s, -2*s = 3*r - 16. Solve b + s = 4 for b.
2
Let v be 34 + ((-2)/9)/(6/(-27)). Solve -8*p + p - v = 0 for p.
-5
Let t be (-3)/(-1 + (-4)/(-8)). Let c = 6 - t. Let y be (c - 4/14)*-14. Solve -i - y*i = 15 for i.
-3
Let o(m) = m**3 + 12*m**2 + 2. Let j be o(-12). Suppose -j*i + 15 = -0*i - 5*c, 4*c + 4 = 0. Solve 0*r = r + i for r.
-5
Suppose -c - 2*y - 6 + 9 = -0*c, 0 = -2*y. Let u be (-1 - 1)*6/(-4). Solve 0 = -c*n - u + 15 for n.
4
Let p = 15 + -19. Let j be p/(-5)*(14 - 9). Let n be -1*1 - 14/(-1). Solve -j*f - n = -1 for f.
-3
Let k be -4 - -1*(9 + -3). Suppose k*w + 0*w = 0. Let a = -37 + 41. Solve -a*f + 5*f = w for f.
0
Suppose 4 = -2*q, -2*c = -4*q - 21 + 3. Suppose -c*s - 6 = -7*s. Solve -s*a = -a - 6 for a.
3
Let g be (-223 - -1)*14/(-28). Let v(k) = 10 + g*k + 22 - 109*k. Let b be v(-16). Solve 0 = -b*q - 2*q + 10 for q.
5
Let v(i) be the third derivative of -1/2*i**3 + 0*i**4 + 1/30*i**5 + 0 - 6*i**2 + 0*i. Let a be v(-3). Solve -4*o = -o + a for o.
-5
Let i(o) = 31*o - 183. Let z be i(6). Let d be 8/2 + 0 + 2. Solve -d = z*t - 3 for t.
-1
Let o = 3 + -7. Let n = o - -7. Solve -c - n = -0*c for c.
-3
Let w(o) = -o - 27. Let y be w(-33). Solve -y*l - 4*l = 50 for l.
-5
Suppose i - w - 30 = 0, 5*i - 3*w - 70 - 70 = 0. Solve 325*z - 320*z = i for z.
5
Let u = -66 - -11. Let r be 11/u + 26/5. Solve 4 = r*y - 16 for y.
4
Let i(o) = -o**2 - 10*o + 13. Let c be i(-11). Let q be ((-5)/c)/((-9)/18). Solve -6*y + y + q = 0 for y.
1
Suppose 0 = -39*f + 34*f + 25. Let m be (f/(-3))/(3 + (-76)/24). Suppose -a = -0*a. Solve a = 4*l + m + 10 for l.
-5
Let c be (0 - (-8)/(-3))/((-2)/51). Solve 2*u = 19*u - c for u.
4
Let p(n) = n + 4. Let j be p(-2). Suppose j*m - 2 = m. Let l be m - (-1 - 3/1). Solve -5*b + l - 1 = 0 for b.
1
Suppose -23*t + 26*t = 18. Let g be 1/(-1) + t + -1. Solve -g*d - 4 = 4 for d.
-2
Suppose -2*n - 5 = -3*n. Suppose 0*s - 70 = -4*c + n*s, 3*s - 54 = -4*c. Solve -3*f - c = 2*f for f.
-3
Suppose k + s - 13 = -4*k, 4*s = 4*k - 20. Suppose 3*c + 33 - 6 = 0. Let x be 222/27 - (-2)/c. Solve -x = -k*n - n for n.
2
Suppose 4*w + w = 110. Let j = 1463 - 1478. Let v = j + w. Solve 0 = 5*i - 13 - v for i.
4
Suppose -5*b - 6 = 14. Let z(y) be the second derivative of -y**5/20 - y**4/4 + y**3/3 + y**2 - 6*y - 3. Let a be z(b). Solve -2*f - 3*f = -a for f.
2
Suppose 0 = 39*p - 165 + 48. Suppose -a = -4*a + 6. Suppose -16 = 4*o, -3*n - 5*o - 8 = n. Solve -p - n = -a*t for t.
3
Let f be 16 - (7 - (-4 - -7)). Suppose f*b - 27 = 3*b. Solve -o - b*o + 4 = 0 for o.
1
Suppose 14*a + 4*d = 11*a + 19, 2*a - 16 = -2*d. Solve 23 - a = -10*g for g.
-1
Let f(b) = -b**3 - b**2 + b. Let k be f(-2). Let l(m) = -m + 6 + 0 + k*m. Let c be l(-3). Solve w = -c*w for w.
0
Suppose f - 5 = -2. Suppose h - 30 = f*h. Let g = h + 16. Solve -5*v = -g + 6 for v.
-1
Suppose -g - g = -5*c + 125, -4*g = 0. Solve -l + 6*l - c = 0 for l.
5
Suppose -85*d + 11 = -83*d + g, -g + 1 = 0. Solve 9*j = d*j + 8 for j.
2
Let u be (-3)/(-2) - 49/(-2). Let x = u + -20. Let y be 1 - (-5 + (3 - x)). Solve y*c - 10 = 4*c for c.
2
Let m be 24/(-6) + 5 + -3. Let t be (-2)/(3*2/18*m). Solve 0 = -2*x - t + 1 for x.
-1
Let z be (-18)/(-45)*(5 + 0). Suppose -z*d = 5 - 39. Suppose 13 - d = -2*x. Solve n + x = 6 for n.
4
Let r be (-8)/1*(-7)/7. Let g(t) = t**3 - 7*t**2 - 7*t - 5. Let p be g(r). Solve -p*b - 1 - 14 = 0 for b.
-5
Let n be (3/2 + 0)*2. Let b(q) = -5*q**2 - 68*q + 32. Let o be b(-14). Solve -n*a + 2 = -o for a.
2
Let p = -1 + 1. Suppose -203 - 42 = -5*t. Let q = 51 - t. Solve p - 4 = -q*y for y.
2
Suppose -10*b - 6 = -13*b. Suppose b*h = -3*h + 40. Suppose 5*c = h*c. Solve s + 3*s + 4 = c for s.
-1
Suppose -3*v + 47 = -7*x, -4*x - 8 = -v + 1. Let m(q) = q**2 - 2*q - 5. Let p be m(4). Suppose 2*w + p*o - 1 = -7, 16 = 4*w - o. Solve -2*t - w*t = v for t.
-5
Let q(g) = g**3 - 4*g**2 - 3*g - 5. Let x be q(5). Let a(s) = s**3 - 12*s**2 - 11*s + 10. Let r be a(13). Suppose o = -2*o + r. Solve -2*h = -x*h - o for h.
-4
Suppose 0 = 2*m - 2*r - 16, 4*r = -0*m - 5*m + 4. Suppose 3*q - 9 - 6 = 0. Solve -q*t + m = -1 for t.
1
Let d(x) = 6*x + 215. Let u be d(-35). Solve u*t = -31 + 11 for t.
-4
Let i(x) = 20*x - 2. Let u be i(1). Solve 6*o - 6 = -u for o.
-2
Suppose -66 + 241 = 25*u. Solve -t + u*t - 24 = 0 for t.
4
Let h be 0 + 17 + -1 + 0. Let i be -13 + (39 + -7)/2. Solve i*j = -j - h for j.
-4
Let s be ((-4)/(-6))/((-41)/(-123)). Solve 17 = s*j + 17 for j.
0
Suppose 7*h - 6 = 5*h. Suppose -3*l - 6*w + w = -17, 4*l - 19 = -h*w. Suppose 4*z - 11 = -5*s, 2*s - s = -1. Solve z*t + 0*t - l = 0 for t.
1
Let v be ((-500)/80)/((-1)/4). Solve -6*m = 43 - v for m.
-3
Suppose -f + 8*p - 5*p - 16 = 0, 0 = 2*f + p + 4. Let o be 14/2 + (0 - -1) + f. Solve o*a = a + 12 for a.
4
Let d be -1 - (-4)/(-6)*540/(-72). So