p + t for p.
1
Let l(i) = -i**3 - i**2 - i. Let c(m) = 6*m**3 + 10*m**2 + 9*m + 1. Let j(k) = c(k) + 5*l(k). Let n be j(-4). Let o = 430 + -425. Solve -z = -n + o for z.
-4
Let o = -24 - -38. Suppose -o*b = -19*b + 15. Solve b*w - w = 0 for w.
0
Let c(w) = -w**2 + w + 6. Suppose -3*n - 13 + 19 = 0. Let m be c(n). Solve -m*v = -4 + 24 for v.
-5
Let m = -8 + 8. Suppose 0 = -4*j + z + z, -2*j - 2*z = m. Solve j = 2*i - 2 for i.
1
Suppose 2*r = -0*r + 42. Let n = 22 - r. Solve 5*w = 14 + n for w.
3
Suppose 52*n = 316 + 360. Solve -n*a = 62 + 3 for a.
-5
Suppose 4*s + 0*s - 12 = 0. Let c be -3*(-2 + 3) + s. Suppose 15 = 3*w - c*w. Solve -19 = -w*a - 4 for a.
3
Let o(d) be the third derivative of -d**6/120 - d**5/6 - d**4/24 - 2*d**3/3 - 7*d**2. Let l be o(-10). Solve l*p = 3*p + 12 for p.
4
Suppose 3*b + 5*f - 10 = 0, 63*f - 64*f = 2*b - 16. Solve 9*k = 4*k + b for k.
2
Let b(d) = -d**2 - 8*d + 7. Let o be b(-5). Suppose 2*s - 5*s = 2*u - o, 5*s = 5*u - 5. Solve 0 = -2*k + 14 - s for k.
5
Let q(j) = 11*j**2 - 2*j + 1. Let f be q(1). Suppose -20 = -a - 4*r, f = -5*a - 4*r + 46. Suppose a = 3*v - 2. Solve -3*x + 1 = -v for x.
1
Let d be (-352)/40 - (-8)/10. Let i(j) = j**3 + 8*j**2 + j + 8. Let c be i(d). Solve c = 3*o - 8*o - 25 for o.
-5
Let m = -71 + 78. Let o = -6 - -8. Suppose -o*r + 17 - m = 0. Solve -g + r*g + 8 = 0 for g.
-2
Let n = -1008 + 1022. Solve -2 = n*f - 13*f for f.
-2
Let m(a) = -a**3 - 12*a**2 - 10*a + 13. Let t be m(-11). Suppose 6*n + 50 = 16*n. Suppose 4*d + 2*x = 50, 2*x - 8 + 30 = 2*d. Solve -t + d = n*w for w.
2
Suppose x - 3 = 0, 11*o - 12*o - 2*x + 9 = 0. Solve o*s - 7 = 8 for s.
5
Let c = 27 + -5. Let s be 1044/(-66) + (-4)/c. Let z = -6 - s. Solve 4*v + z = -v for v.
-2
Let r(u) = -13*u**3 - u**2 + 2*u - 1. Let m be r(1). Let l be (-10)/((-5)/(-3 - m)). Suppose -6*c + l = -2*c. Solve 4 = 3*w - c for w.
3
Let w(q) = -q + 18. Let r be w(0). Let y = -9 - r. Let p be y/(-4) - 12/16. Solve -3*u - p = -u for u.
-3
Let c(n) = 2*n**2 + 12*n + 6. Let i(g) = -g**2 - 12*g - 5. Let h(d) = -2*c(d) - 3*i(d). Let m be h(12). Solve 1 = m*a - 5 for a.
2
Let y be 22/18 - (-8)/(-36). Suppose -4*x = -13 + y. Let l be 0/((-6)/x - -3). Solve -v = -l*v - 3 for v.
3
Let w = -734 - -737. Solve 8*c - 25 = w*c for c.
5
Let v be (-62)/403 + (-11)/13 + 1. Let b be (-20)/(-6) + (-12)/(-18). Solve b*z = -v*z for z.
0
Let c(j) = j**3 - 8*j**2 + j - 4. Let a be c(8). Suppose a*x - 9*x + 10 = 0. Solve -13 = x*d - 5 for d.
-4
Suppose r + 6*r = 21. Solve i - r*i = -8 for i.
4
Suppose 3*s = -4*y - 19, 2*s + 13 = -3*s - 2*y. Let w = s - -7. Let l be ((-36)/21)/((-2)/7). Solve l*a + w = 4*a for a.
-3
Let w be 0/(-100)*(-1 - 0). Solve w = 4*z - 9 + 13 for z.
-1
Let w be ((-84)/35)/(-6) - (-176)/10. Suppose -w*j + 6*j + 144 = 0. Solve -j = -2*r - 2*r for r.
3
Suppose 3*n - 2*j = -6, -j + 174 - 171 = 4*n. Solve n = -2*c + 14 - 18 for c.
-2
Let l be 1534/10 - 159/(-265). Solve -l*y = -155*y + 1 for y.
1
Suppose 41*w = 31*w + 40. Solve -7*m = -w*m - 9 for m.
3
Let n = 1054 - 1052. Solve -l + 2 - n = 0 for l.
0
Suppose 3*q - 5*w + 0*w + 6 = 0, 0 = q + w + 2. Let d(k) = -k**3 - k**2 + 3*k + 5. Let f be d(q). Solve -r + f*r = -4 for r.
-2
Suppose 3*v - 6*v = 0. Let h = v - 7. Let s = h - -10. Solve -s = 2*q + q for q.
-1
Let t = 8 + -11. Let m be 7 + t/9*-3. Let l(f) = -f**2 + 6*f - 5. Let c be l(5). Solve 0*j + 2*j + m = c for j.
-4
Suppose -14 = -3*d + d. Suppose 0 - d = -7*j. Suppose 0 = 5*i - 9 - j. Solve 0 = -i*a - 2*a for a.
0
Let p be 3/(-6) - 7/(-2). Suppose -25 = -p*s - 13. Suppose s*a + 1 - 49 = 0. Solve -a = -4*w - 0 for w.
3
Suppose 0 = 4*v - 13*v - 648. Let t be 14/(-70) - v/10. Solve -5*p + t = -3 for p.
2
Let n be (0 - 0)*(-2)/4. Suppose 4*q + n*q - 16 = 0. Let r = -1 + q. Solve -r*p - 15 = -0*p for p.
-5
Let k = 355 - 347. Solve 10 = k*h + 2 for h.
1
Suppose -17*a - 2829 = -2880. Solve -a*m = -11*m + 32 for m.
4
Let h be 1/(-4) - 34/(-8). Suppose 7 = -2*p + 33. Suppose p*o = 18*o. Solve o = -d - h*d for d.
0
Let v = 32 + -32. Suppose 2*x = -3*x - 4*l + 104, v = 3*l - 3. Solve 0*s = -4*s - x for s.
-5
Let j = -418 + 420. Solve j*s - 10 = -8 for s.
1
Suppose -4*k + 3*k = h + 3, 0 = 2*h. Let v be (k - -10) + -2 - -2. Suppose 5*a + w - 30 = 0, 5*w - 19 = -5*a + 31. Solve 0 = -a*n - 22 + v for n.
-3
Suppose 7*t - 39 = -6*t. Suppose -2*w + t*w + 5*b = 0, b = 0. Solve x - 4 + 1 = w for x.
3
Suppose -5*u = -15, 87 = 5*b + 3*u + 3. Solve 0 = 6*l - 3 + b for l.
-2
Let g be (((-5)/((-10)/(-492)))/(-2))/1. Let s be g/24 - (-1)/(-8). Solve t = s*t - 8 for t.
2
Let l(q) = q**3 + 10*q**2 + 7*q - 13. Let o be l(-9). Suppose -o*x + 6 = -3*x. Suppose x*p - 44 = -2*y - 1, 5*y + 35 = 2*p. Solve -7*k = -2*k + p for k.
-3
Let d = -11 + -11. Suppose 2*x + 8 = 0, -2*x = -v + 2*x - 4. Let n = v - d. Solve -5*z = -n*z - 6 for z.
2
Suppose -5*b = -4*v - 87, 4*v + 37 = -4*b - 59. Let z = -3 - v. Solve -6*f + 2*f + z = 0 for f.
5
Suppose 6*m + 101 - 113 = 0. Solve 4*t - m*t + 4 = 0 for t.
-2
Let z = 36 - 37. Let j(q) = -4*q**3 - 2*q - 2. Let t be j(z). Solve -t*o + 1 = -3 for o.
1
Let a(o) = -o**3 + 6*o**2 + 8*o - 4. Suppose y - 3*b + 2 + 0 = 0, b = 3. Let d be a(y). Solve 2*i = 5 + d for i.
4
Let v = 46 + -16. Let o = -18 + v. Suppose -2*c - c + o = 0. Solve i = c + 1 for i.
5
Let u be (-1 - 37)/(-2) - -1. Let k(i) = i**3 + 5*i**2 - 13*i - 1. Let x be k(-7). Let z be ((x - -10) + 8/(-2))*-2. Solve -z*y - u = -8 for y.
-3
Suppose -4*g - 4*q + 86 = -q, 3*q + 54 = 3*g. Suppose a + 4 = 3*a + 2*z, g = a - 5*z. Solve -a*u - 12 = -u for u.
-3
Suppose -144*i + 161*i = 204. Solve 0 = 4*h - i*h for h.
0
Let b(i) = -i**2 - 3*i + 8. Let x be b(-6). Let z be (-5)/x*8 - 0. Solve z*f + 10 = -6 for f.
-4
Let n(x) = -4*x - 5*x + 9*x - 18*x**3 + x**2. Let g be n(-1). Suppose 0 = -5*q + 3*r + g, -5*q - 3*r + 2*r = -7. Solve -q*o = o - 6 for o.
2
Let b = -26 - -44. Suppose 0*y - 84 = 6*y. Let c be 38/(-133) - 4/y. Solve c = 4*j - 2 + b for j.
-4
Let o = 53 + -49. Let t = -7 - -7. Let h(c) = c**2 + 9*c + 2. Let p be h(-9). Solve 0*x - p*x - o = t for x.
-2
Suppose -2*t - 3*t = 0, 5*g - 40 = 3*t. Let j = -6 - -10. Solve 2*f = j*f - g for f.
4
Let b(u) = u**3 + 25*u**2 - 23*u + 85. Let g be b(-26). Solve -g*m + 0*m = 7 for m.
-1
Let v(q) = -q**2 + 2*q + 624. Let x be v(26). Let d = -17 + 42. Suppose -3*k - d = -8*k. Solve x = -2*y + y - k for y.
-5
Suppose 0 = a + 3*m - 9 - 4, -23 = -5*a - m. Suppose -4*q - a*x + 46 - 14 = 0, -5*x = q - 28. Solve 7 = q*v - 2 for v.
3
Let l(m) = m**3 - 2*m**2 + 2*m - 2. Let h be l(3). Suppose -3*g + h = -44. Suppose -2*d + 21 = -g. Solve -2*q = -7*q + d for q.
4
Suppose 3*q = -4 + 13. Let x be 8/(-52) - (-132)/13. Suppose -13*p = -18*p + x. Solve u - p*u = -q for u.
3
Let p = -3 - -2. Let g be (-2 - 1) + 6 + p. Let o be g/4 - (-28)/8. Solve o*h = -h - 10 for h.
-2
Let n be 1 + (-15)/(-6) + 30/(-60). Solve -8*a = -n*a + 20 for a.
-4
Suppose -5*y + 3*i + 66 = 0, 3*y - 36 = -0*i + 3*i. Solve 4*g + y = 7 for g.
-2
Let f = 32 - 30. Let s be (-3)/f + (-9)/(-2). Solve 6 + s = 3*p for p.
3
Suppose 2 = 3*j - 64. Let b = j - 7. Solve -2*z - 3*z + b = 0 for z.
3
Let k(u) = u**3 - 6*u**2 - 61*u + 216. Let v be k(10). Let r(t) = t**3 - 7*t**2 + 2*t - 5. Let a be r(7). Solve a = w + v for w.
3
Let w(u) = -u**3 - 6*u**2 + 6*u. Suppose -46 + 4 = 6*k. Let a be w(k). Solve -2*n - a = 1 for n.
-4
Suppose 1069 = 6*h + 859. Solve 39*l = h*l for l.
0
Let b be (-6)/12 + (-19)/(-2). Solve -34 = b*g + 2 for g.
-4
Let s = 4 - -2. Solve 0 = -4*r + s*r - 10 for r.
5
Suppose 36 = 2*u + u. Suppose -p - u = -4*p. Let c(y) = y - 4. Let x be c(p). Solve x = -r + 1 - 2 for r.
-1
Suppose -2*f - f = 0. Let y = -18 - -52. Suppose 5*z - y + 24 = f. Solve h - 5 = -z for h.
3
Suppose -3*v + 3 = 5*o, -13 = o + 8*v - 4*v. Solve o*k - 5 + 8 = 0 for k.
-1
Let i be 4 - -1 - (0/9)/2. Solve -178 + 168 = -i*d for d.
2
Suppose 0 = -11*a + 2*a + 108. Solve 5 = a*f + 53 for f.
-4
Let i be ((-5)/((-10)/(-3)))/(2/4). Let a be -1*(i + (0 - 2) + 1). Solve 0*r + a = -r for r.
-4
Let m = -252 - -254. Solve p = -m*p for p.
0
Let z be 8/(128/6) + 3/(-8). Suppose j - 2*v - 18 = z, 4*j - 2*v - 3*v = 60. Solve 4*k = -j - 10 for k.
-5
Suppose -6 = -3*u + 12. Suppose 3*w + 272 = -4*c, -w - 2*c + 4*c - 84 = 0. Let k be w/(-12) -