 3*d + q = 18 for d.
5
Suppose -3*g + 7*g - 28 = 0. Let t be 6 - 0 - (g + -5). Suppose -17 = 5*a - 42, -t*h = -a - 7. Solve -10 = 2*u + h*u for u.
-2
Let m = 201 + -198. Solve -p + 1 + m = 0 for p.
4
Suppose 66 + 4 = 5*t. Let a = 25 - t. Suppose -4*r + 13 = -a. Solve r = 2*l - 2 for l.
4
Let j(y) = -6*y + 30. Let k be j(4). Suppose 5*v = k*v - 3. Solve -q + v + 2 = 0 for q.
5
Suppose 3*o = 2*g + o - 448, -5*g + 1148 = 2*o. Let q be g/10 + 2/10. Let b = 22 + -14. Solve 3*v - q = -b for v.
5
Let n = -183 - -271. Solve 85*l - n*l = 15 for l.
-5
Let i be (-1)/6 + (-52)/(-24). Suppose -3*u - 5*f + 32 = 0, 4*u - i*u = -f + 12. Solve -6*k + 4 = -u*k for k.
2
Let d = -488 + 490. Solve 8 - d = -2*z for z.
-3
Suppose -5*t = -13 - 82. Let m = 25 - t. Suppose c = -0*c - k + 2, -m = c + 3*k. Solve 5*y = c + 14 for y.
4
Suppose 5*m = 4*f - 92, -6 + 48 = -3*m - 2*f. Let c = -14 - m. Suppose 0 = c*v + 2*v. Solve v*r + 8 = -4*r for r.
-2
Suppose -4*k = -k. Suppose 2*u = -3*u - s + 7, -4*s = 4*u + 4. Solve k*a + a = -u for a.
-2
Let z be -4*((-7 - -9) + -6). Solve 6*o + z = 2*o for o.
-4
Let c be 224/(-22) + (-2)/(-11). Let m = 13 + c. Let y be m/6*(0 + 0). Solve y*f = 5*f for f.
0
Suppose -580 = -338*o + 328*o. Solve -o + 68 = 5*d for d.
2
Let g(u) be the first derivative of u**4/4 - u**3 - u**2/2 - 6*u - 10. Let d be (-120)/(-28) + 4/(-14). Let z be g(d). Solve 5*w + 19 = -z for w.
-5
Suppose -3*a + 2*v + 297 = 0, 0 = -4*a + 8*v - 3*v + 403. Solve -98*m = -a*m - 4 for m.
4
Let o(t) = -5*t**2 + 41*t - 6. Let k be o(8). Solve -45*y + k = -44*y for y.
2
Let d = 19 + -17. Suppose d*o = 6 + 4. Solve -o*i = 15 + 10 for i.
-5
Suppose -17 = -4*o + 11. Let q be -3 + (o - 6/2). Let p be ((-1)/2)/(q/(-8)). Solve p*v - 2 = 10 for v.
3
Suppose 5*x - 43 = 2*w, -5*x + 5*w + 23 + 32 = 0. Suppose 6*l - 7 = -x. Solve l = -y - y for y.
0
Suppose -14*j = -34*j + 80. Let v(w) be the third derivative of w**4/12 + w**3/3 - w**2. Let b be v(2). Solve -b = -j*q + 2*q for q.
3
Let f = -16 + 29. Let x = 17 - f. Solve -x*d - d = 0 for d.
0
Suppose 91 = 8*y + 67. Solve 0 = -y*o + 6*o + 9 for o.
-3
Let t(c) = 7*c - 51. Let h be t(8). Suppose -2*d + 3*g = -27, 0 = 5*d + 3*g - 8*g - 65. Solve 0 = -h*r + 2*r + d for r.
4
Let g = 2056 + -2056. Solve -3*n - 29 + 20 = g for n.
-3
Suppose -2 = s - 2*w - 0, 3*s - 4*w = -6. Let q be (-9)/s*(-4)/(-6). Solve q*f + 10 = 8*f for f.
2
Let g(v) = 6*v**2 - v - 6. Let d be g(-2). Suppose 0 = d*n - 15*n - 15. Solve -n*y = 8 + 4 for y.
-4
Suppose -5*t = -3*l - 4 + 19, 2*l + 5*t = 10. Solve 5 = -l*n - 0 for n.
-1
Let u = -614 + 614. Let d be 60/(-8)*(-4)/6. Solve u = -d*o - 15 - 10 for o.
-5
Let m(u) = 3*u - 3. Let b be m(2). Suppose -2 + 22 = -w - 5*p, 0 = 4*w - 5*p - 20. Let d(j) = j**2 - 2*j + 5. Let f be d(w). Solve f*k - b*k = 0 for k.
0
Let z = 287 + -287. Suppose -s - 5*n = -45, n = -s - 0*n + 29. Solve z = j + 4*j + s for j.
-5
Suppose 11 = 2*m - 1. Suppose -k + 4*l = 8, 3*k - l - l = m. Let d = -3 - -3. Solve -k = -d*u + 4*u for u.
-1
Let m(u) = -6*u - 1. Let t be m(-1). Suppose 3*l = 34 - 13. Solve l - 2 = -t*x for x.
-1
Suppose 3*v + 11 = -4*m, 3*v = 4*m - 2*v - 29. Suppose -13 = -3*c - m. Let k be (-12)/(-9)*(-3)/(-2). Solve 0*l = k*l + c for l.
-2
Suppose 4*p + 46 = -2*i, -5*p = -2*i - 8 - 65. Let w = -14 - i. Let c = w - 14. Solve 0 = -l + c - 0 for l.
1
Suppose 3*q = 2*q + 1. Let g be (-3)/6*(-9 + q). Solve -5*v = -g*v - 2 for v.
2
Suppose -4*j - 11 = 5. Let q = 0 + -1. Let i be (-2)/j + q/2. Solve 5 = k - i*k for k.
5
Suppose -3*k + 12 = 4*c - 5, c + 10 = 4*k. Solve -36 = -k*q - 33 for q.
1
Let l(m) = -21*m + 25. Let o be l(4). Let i = o - -62. Solve 0*a = -3*a - i for a.
-1
Suppose -87 = -8*l + 5*l. Suppose 46 + l = -3*h + 3*w, -3*h - 61 = 4*w. Let z = h - -26. Solve -2*u + z*u = 0 for u.
0
Let x = -126 - -128. Suppose -6*y = -3*y. Solve -2*p + x = -y*p for p.
1
Suppose -12*z - 4*m + 46 = -10*z, -5*z - 4*m = -91. Solve 25 = 5*p + z for p.
2
Let m = 28 - 23. Suppose 0 = -2*x - 4, 0*p + p = -m*x + 5. Solve 0*t + 5*t - p = 0 for t.
3
Let p = 9 - 5. Suppose 10 + 14 = -6*f. Let r be ((-80)/12 - -6)/(f/6). Solve g + r = p for g.
3
Let f(q) = 4. Let k(j) = j - 3. Let a(d) = -2*f(d) - 3*k(d). Suppose 6*t - t + 15 = -3*v, t = 5*v - 3. Let n be a(t). Solve w + w = n for w.
5
Let y(h) = -h**3 + h**2 + 3*h - 3. Let v be y(2). Let f be (1/v + 0)/(43/(-172)). Solve o = f*o for o.
0
Suppose 14*q = -225 + 323. Solve 0*n = q*n - 3*n for n.
0
Let j = -23 - -70. Let r = j - 42. Let i = 1 - -4. Solve 0*h - r = -i*h for h.
1
Let g be 27/15 + (-1)/(-5). Let v(j) = -j + 13. Let c be v(11). Let m be 9*(-1 + c) + -2. Solve -3*f - m = g for f.
-3
Let h be ((-6)/(-5))/((-6)/(-20)). Suppose -2*j - 2*j - 3*y + 14 = 0, 16 = 3*j + 5*y. Suppose 0 = -2*m + j*n, 4*m + 2*n - n = 5. Solve -m - h = u for u.
-5
Let s = -15 + 17. Suppose -3*q + 0*q = -4*y + 6, 0 = s*y - q - 4. Solve 0 = y*t - 1 - 2 for t.
1
Suppose 3*g + 33 = -3*t, 2*g - 41 = 5*g - 5*t. Let k be (3/6)/((-1)/g). Suppose -2*z - 2 = 0, -4 = -4*b + 2*z + k. Solve 0 + b = -u for u.
-2
Suppose 0 = 4*k + 5*b + 41 + 25, 0 = 4*b - 8. Let u(f) = 5*f + 1. Let j be u(4). Let p = k + j. Solve -d - p*d = 0 for d.
0
Let f(q) = -8*q - 5 + 2*q + 5*q. Let u be f(-7). Suppose -b + u*m = -4, 3*b + 0*m = -4*m + 2. Solve d - 3*d + b = 0 for d.
1
Suppose -94*t = -80*t - 28. Solve -t*n = -7 + 17 for n.
-5
Suppose 22 = 3*c - f, f + 38 = 3*c - 4*f. Suppose -8 = 2*g, c*m - g = 2*m + 8. Solve -2*k = -1 - m for k.
1
Suppose 3*a = 5*c + 20, 4*a = 6*a + 2*c + 8. Solve 20*h - 12*h - 40 = a for h.
5
Suppose -l - 4*p = l - 16, -3*l - 5*p = -21. Suppose h = l*h - 5*g - 4, g = -h + 4. Solve 0 = 4*i - 0*i + h for i.
-1
Suppose 1 - 11 = -5*d. Suppose -s = -d*a + 1, 3*s - 2*a = -0*s + 5. Let j = 13 - s. Solve -5*f + j = -0*f for f.
2
Suppose 0 = -2*z - u + 3*u + 42, 5*z + 2*u = 105. Let a = z + -16. Suppose -3*f + 3*d - 15 = -f, 5*d = a*f + 25. Solve -4*n + n = f for n.
0
Suppose -a = t - 6*a - 3, -a = 4*t - 12. Suppose 5*k = 4*q - t, -q - 10 = -6*q. Let i = 2 - 0. Solve 1 + k = i*w for w.
1
Suppose 0*s = 5*k - 3*s - 56, 5*k - 59 = 2*s. Solve 26 = k*j - 26 for j.
4
Let x = 5 - 2. Suppose h + x*h - 52 = -3*t, -3*t + 2*h = -28. Solve -t = 4*u - 4 for u.
-2
Let a be -34*1*1*(-1 + -1). Let g = 75 - a. Solve 5*m = g + 3 for m.
2
Let r be ((-4)/(-3))/((-7)/(63/(-4))). Suppose 0 = -r*n - 4 + 1, -4*n + 11 = 3*y. Solve 0*x + 5 = -y*x for x.
-1
Let d = 85 - 66. Suppose 3*u - d = -10. Solve -2*j = -1 - u for j.
2
Let a = 691 + -684. Solve 3*p - 12 = a*p for p.
-3
Let g be 3 - (1 + 2 - -5). Let r = -2 - g. Solve 2*z - r = -z for z.
1
Let z = -2 + 4. Suppose -z*m + 4*m - 4 = 0. Suppose 0 = -0*r + 2*r - 4. Solve -r = m*j + 2 for j.
-2
Let a(q) = q**3 - 4*q**2 + q. Let u be a(4). Let j be 148/18 - (u + 68/(-18)). Solve j*k - 3*k - 15 = 0 for k.
3
Let y = -324 - -344. Solve 0 = -7*k + 2*k + y for k.
4
Let z(g) = 3*g - 1. Let m be z(1). Suppose 0 = -2*t - y, -3*t - m*t = -y. Let j = t - -2. Solve 0 = j*d - 1 - 1 for d.
1
Let d = -1896 - -1900. Solve -1 = -z - d for z.
-3
Let d be (-1)/(-2) - 10/(-4). Let l(g) = g**2 + 16*g - 18. Let p be l(-17). Let q be 3 - 6 - -2 - p/1. Solve -d = n - q for n.
-3
Let h be 4/(-8) + 14/4. Let l = -96 - -17. Let m = l - -84. Solve -m*t + h*t = -6 for t.
3
Let m(x) = x**3 + 3*x**2 - 4*x + 2. Let l be m(-4). Suppose -31*k = 13*k - 88. Solve 0*c = -k*c + l for c.
1
Suppose 5*h - s - 28 = 0, 2*s + 11 = -h + 2*h. Let c = -342 - -346. Solve 1 + c = h*a for a.
1
Let v be 58/10 + 36/(-20) + 2. Let z be -2 + 7 + (-12)/v. Solve z = 2*q + 1 for q.
1
Let l = -3 + 10. Let w be 1*(l - 2 - 2). Solve 3*y + w = -0 for y.
-1
Let g = -6 + 16. Suppose -4*q - 16 = -2*f, -q - 4*f + 10 = 2*q. Let o = q - -8. Solve -o*p = -p + g for p.
-2
Let d be 1 - (20/28 + (-4)/(-14)). Solve d = 28*m - 30*m + 2 for m.
1
Let c be 20/140 + (-27)/(-7). Suppose 0 = m + 3*d - 11, 0 = 5*m - c*d + 2*d - 4. Solve r + 0 = -m for r.
-2
Let r be (2 + -11)*4/(-4). Solve 2*m - 5*m + r = 0 for m.
3
Let z = -364 + 259. Let t be ((-4)/(-8))/(z/54 - -2). Solve -3*h + t = -3 for h.
4
Suppose 10*s - 29 - 11 = 0. Let l be ((1 - 0) + s/(-4))*-1. Solve 6 + l = -2*j for j.
-3
Let c(f) = 2*f - 15. Let x be c(10). Suppose n = u + 2*u - 15, 4*u - x*n = 31. Let b = 18 - u. Solve 0 = 3*z + b - 