2*d - 4*d for d.
0
Let v be (-2)/4 + (30/(-12) - -3). Let g = 5 + v. Solve -8 = g*t + 17 for t.
-5
Let g(u) = 122*u - 464. Let q be g(4). Solve -8*m + 2*m - q = 0 for m.
-4
Suppose -3*g - 5*a = -136, 0*a + 101 = 3*g - 2*a. Solve 4*c = -g + 41 for c.
1
Suppose -j - 5*l = -2*j - 22, 0 = 4*l - 16. Let w = j + 4. Suppose -z = -w*z + 6. Solve 4*r - z*r = 0 for r.
0
Let o(d) be the second derivative of -4*d - 1/20*d**5 + 0 + 0*d**3 - 5/12*d**4 + 3/2*d**2. Let i be o(-5). Solve i*z + z = 0 for z.
0
Let b(q) = q**2 - 30*q + 62. Let y be b(28). Solve 2*r - 12 = y*r for r.
-3
Let h(k) = -k**2 + 5*k + 16. Let d be 14/(1 + 1)*1. Let l be h(d). Solve -l*y = 3 + 7 for y.
-5
Let f = 45 - 43. Suppose -72 = -4*o - f*o. Solve -5*r - 2 = -o for r.
2
Suppose 0 = y + 3*y - 8. Suppose 32*o - 100 = 27*o. Suppose -4*i - 4 = -12. Solve i*a - o = -y*a for a.
5
Let f be -4 + 2 + 70/5. Let g be (-8)/f*9/(-2). Suppose -g*x - 15 = -5*o, 0 = o - 0*o + 3*x - 3. Solve o = -3*m - 12 for m.
-5
Let o be 55/66 - 489/(-18). Solve 7*b - 7 - o = 0 for b.
5
Suppose -a - 4*n + 210 = 4*a, 5*n = 25. Solve 0 = -10*m + a + 12 for m.
5
Let q(i) = -i - 9. Let u(n) = 2*n + 17. Let a(b) = 7*q(b) + 4*u(b). Let r be a(-3). Suppose r*v = -v + 21. Solve t + 5 = v for t.
2
Let b(p) = p**2 + p + 4. Let i be b(0). Let k be (-2)/i - 2/(-4). Suppose -5*r = -5*n, -5*n + r + 8 = -k. Solve -1 - 5 = n*t for t.
-3
Let w be ((1 + 2)*12)/2. Let b = w - 8. Solve -b = k + k for k.
-5
Let o = -8 + 12. Let k = 44 + -26. Suppose 2 = -o*w + k. Solve h - 5 = -w*h for h.
1
Let t be (-6)/(-39) + ((-37)/(-13) - 3). Let i(c) = -c + 1. Let g be i(1). Solve g = -3*x - t*x + 12 for x.
4
Let a(v) = -34*v**2 + v. Let g be a(-1). Let q = g - -37. Solve -9 = q*m + 1 for m.
-5
Let b be 7 - (1 - (-28)/7). Solve -b*q = -7*q - 15 for q.
-3
Let k(o) = -o**2 + o + 5. Let w be 1/((3/(-9))/(-1)). Let f = 3 - w. Let p be k(f). Solve -p = 5*s + 15 for s.
-4
Let w = -269 - -273. Solve w*i = -27 + 11 for i.
-4
Let t be (112/(-42) - -3)*(-1 + 370). Solve 3*h = t - 138 for h.
-5
Let p be 3/(1 - -2) - -2. Suppose -r + 6 - p = 0. Solve h + r*h + 20 = 0 for h.
-5
Let d be -21*(0 + (-1)/3). Let k be 3 - ((-10)/25)/(1/(-5)). Suppose -k = -5*o + 9. Solve -o*q - 3 = -d for q.
2
Suppose 5*w - 3*k + 44 = -k, w + 5*k - 2 = 0. Let v be (-2)/w - (-2)/(-8). Let f(s) = 55*s - 270. Let g be f(5). Solve v = -g*l - 3 + 13 for l.
2
Let n = -189 - -198. Solve 14*m + n = 11*m for m.
-3
Let y(b) = -b**2 + 14*b - 4. Let a be y(14). Let z be ((-16)/24)/(a/18). Solve z*d + 2*d = -10 for d.
-2
Let j = 180 - 107. Let r = -70 + j. Solve 0 - r = x for x.
-3
Suppose -3*w + 20 = 2*w. Suppose -4*j - 15 = 3*k, 3*k = j - w*j - 15. Solve -2*x + 3 - 13 = j for x.
-5
Let t = -227 - -234. Solve 9 - t = x for x.
2
Let r = -1327 - -1334. Solve 40*c = 47*c + r for c.
-1
Let k = 56 - 54. Let t be -2*((-2)/(-1) - 3). Suppose 5*b + m = 19, -k*b + 0*m = -2*m + t. Solve 17 = -b*p + 2 for p.
-5
Let a(v) = v**2 + 7*v + 6. Let d be -8 + 2 + 1 - 1. Let l be a(d). Suppose 3*b = -2*g + 10, -4*g + l = 4*b - 16. Solve -b*n + 0*n = 0 for n.
0
Suppose 0 = -2*n - 3*d + 135, -5*d + d + 70 = n. Solve -16 = -10*y - n for y.
-5
Let g(u) = 12*u + 4 - 13*u - 4. Let p be g(-4). Solve -5*t + 1 = -p*t for t.
1
Let x be (16/10)/((-1)/(-5)). Let o be (-1 + 16)*19/95. Solve o*h = h - x for h.
-4
Suppose 3*h + t = -76, 9*t - 10 = 4*t. Let p = h - -27. Suppose 5*l - 5*c = 25, 0*c + p = -c. Solve -2*o - l = -6*o for o.
1
Suppose -4*b = -6*b + 4. Solve -b*q - 4 = -4*q for q.
2
Let j = 51 - 48. Suppose 4 = j*w - w. Solve 0 = m + w*m for m.
0
Let m be -2 + (5 - 1 - 6). Let t = 9 - 5. Let n be (-1)/(m/32) - t. Solve 1 = n*y - 5*y for y.
-1
Suppose -2*s = -13*s + 671. Let p = -59 + s. Solve p + 0 = 2*h for h.
1
Suppose -5*q - l + 74 = 0, -7*q + 2*q = -l - 76. Suppose -41 = -3*u - p - 3*p, 5*u - 4*p = q. Solve -2*o = -u*o for o.
0
Let f = -173 + 175. Solve 6 = f*g + 2 for g.
2
Let y = 28 - 37. Let f = -14 + 5. Let g = f - y. Solve g = -4*o - 12 - 8 for o.
-5
Suppose 6*s = -14*s - 5*s. Solve t - 3 + 6 = s for t.
-3
Suppose 3*w + 15 = 2*g + 4*w, -3 = -w. Solve -4 = 2*h + g for h.
-5
Let o be (0*1/(-3))/1. Suppose -7 = 2*v - 3*h - 0*h, o = 3*v - 5*h + 12. Suppose -3*g + 10 = v. Solve -4*b + 5 = -g for b.
2
Let i = -234 + 254. Solve 6*x - i = 2*x for x.
5
Let f be ((-6)/(-1))/18*6. Let k(g) = -g + 15. Let b be k(10). Solve b*q - 3 = f for q.
1
Let s = 369 - 369. Solve -4*o + o + 9 = s for o.
3
Let z(x) = -88*x + 531. Let f be z(6). Suppose 0*n = -2*n. Solve n = g - f - 1 for g.
4
Let d(l) = -48*l + 290. Let j be d(6). Solve j*q = -6*q + 32 for q.
4
Let b(l) = -3*l - 6. Let j be b(-3). Let s be 148/18 + 18/(-81). Solve -j*y - s = 7 for y.
-5
Let w(v) = -7*v**3 + 3*v**2 - 3*v + 1. Let p be w(2). Let x = p + 49. Solve -4*b + 4 = -x*b for b.
1
Let t = -2 + 8. Suppose a - t = -4. Let r be a/((-45)/(-39) - 1). Solve 1 = -3*n + r for n.
4
Let z = 74 + -74. Let m(t) = t**3 - t**2 + 3. Let g be m(z). Solve -g*q - 4 = -16 for q.
4
Let m be ((-1)/(-3))/((-3)/(-9)). Let w(o) be the first derivative of o**3 + 9. Let k be w(m). Solve 0*u = -k*u + 6 for u.
2
Let i = -105 - -114. Solve -2*y + i = -5*y for y.
-3
Let d = -68 + 67. Let v be (1 - (d - 0))/(-4)*0. Solve -7*r + 2*r + 5 = v for r.
1
Suppose 17*o = 96 + 23. Solve 22 = o*l - 13 for l.
5
Let n be ((-16)/12)/4 - (-94)/3. Let o be (1 - 3)*(-36)/2. Let i = o - n. Solve u = 2*u + i for u.
-5
Let l(d) = 8*d - 147. Let i be l(19). Let f(k) = k - 3. Let y be f(6). Suppose -6 = -i*g + y*g. Solve s - 4 = g*s for s.
-2
Let b(u) = -8*u + 4. Let f be b(-3). Suppose -4*o = -3*p - f, -2*p = -4*o - 4*p + 8. Suppose z = 5*w + 11 - 28, 2*z + w - 10 = 0. Solve -o = z*q + 2 for q.
-2
Let z(d) = -d**3 - 15*d**2 + 17*d + 37. Let q be z(-16). Suppose 0*f - 3*w = f + 12, 2*f - 3*w = q. Solve -f*t + t = 6 for t.
-3
Let p = 7 - 8. Let o = 1 + p. Solve o = -f - f for f.
0
Suppose -5*x + 0*x + 50 = 0. Let z = x + 0. Suppose -4*p + 19 = -21. Solve 5*l = z + p for l.
4
Suppose -5*f - 28 - 12 = 0. Let b be 3*f/(-6)*1. Let z = b + -2. Solve 2*r - z = r for r.
2
Let o = 29 + -26. Suppose 0 = 5*t - o*t. Solve 4*f - 4 = -t for f.
1
Suppose -l + 4*u - 7 = 0, -2*l + 2*u + 6 = -u. Solve l*f = -29 - 16 for f.
-5
Let h = -181 + 184. Solve h - 6 = -x for x.
3
Let q = -20 - -44. Suppose -r + 28 = -o + 3, -o - r - 19 = 0. Let v be 6/q + o/(-8). Solve v = -3*c + 15 for c.
4
Let r be ((7 - (-8)/(-1)) + 1)/(-2). Solve r = -12*h + 33 + 15 for h.
4
Let p = 8 - 5. Suppose -3*a + 0*a + 7*a = 0. Solve a*w = p*w for w.
0
Suppose b + 18 = 2*b + 5*l, 0 = -2*b - 5*l + 21. Suppose -43*r - 70 = 137*r - 430. Solve -n = r*n - b for n.
1
Suppose 24 = 3*q - 2*h, -6*q + 9*q + 3*h = 39. Solve -4*f = f + q for f.
-2
Let a(v) be the first derivative of -v**5/20 - v**4/3 + 2*v**3/3 + v - 6. Let t(s) be the first derivative of a(s). Let m be t(-5). Solve 3*u + 7 = -m for u.
-4
Let u(g) = 10*g**2 + 4*g - 2*g + 3 - 11*g**2 + 3*g. Let k be u(5). Let n be (-1)/(1*(k - 4)). Solve b + 2 = n for b.
-1
Let a(g) = -g + 14. Suppose -3*h + 4*l = -44, -h + 3*l - 7*l + 4 = 0. Let p be a(h). Let r be 52/9 - (-8)/36. Solve 0 = -x - p*x - r for x.
-2
Let f(r) = -3*r**2 - 16*r + 6. Let t be f(0). Solve -a - t = -5 for a.
-1
Suppose -x + 5 = d + d, -3*d - 17 = -2*x. Let q be (1 - 6) + 84/x. Solve 10 = q*l - 5*l for l.
5
Suppose 3*h + 15 = 0, -h = -2*u + h + 16. Let x = 59 + -53. Solve -u*j - x = -j for j.
-3
Let i(m) = m**3 - 5*m**2 - 5*m - 2. Let j be i(6). Suppose 0 = -3*a - j*n + 24, 5*a - 2*n + 4*n = 26. Let h be -2 - (-8 - -4 - a). Solve -d - h = -3*d for d.
3
Let k(i) = 4*i**2 + 2*i - 1. Let c be k(1). Let w(q) = -q**3 + 5*q**2 + q - 3. Let y be w(c). Solve 0*t + y*t = 8 for t.
4
Suppose c = 5*m - 9 - 34, 38 = 4*m - 2*c. Solve -m*l = -4*l - 8 for l.
2
Let f = 16 + -10. Let a be (-3 + 0)/(0 + -1). Suppose 3*t + v - 4 = 1, 2*v + 17 = a*t. Solve -9 = t*u + f for u.
-5
Suppose -4*s = -3*s. Suppose 4*y = 3*v + 37, 4*y = -3*v + 19 - s. Suppose 23*z - 14 = 16*z. Solve -z - y = -3*q for q.
3
Let k = 19 - 7. Let a = -12 + k. Let x be 12 + (a - (-1 - 2)). Solve -4*m - x = 1 for m.
-4
Suppose 0 = 7*t - 2*t. Suppose 8 = 5*p - 17. Suppose -24*x = -427 + 427. Solve -r + x - p = t for r.
-5
Suppose 2*o = -o + 4*w, 0 = -5*w. Let v = o + -26. Let n be (-65)/v*(-48)/