- 4 for t.
-1
Suppose -5*j + 4 = 4*u, 7*j - 3*j - 20 = u. Let o(b) = b**3 - 5*b**2. Suppose -5*y + a = -24, 0 = -y + 6*y + a - 26. Let p be o(y). Solve j*x + p = -4 for x.
-1
Let x(g) = 2*g**2 + 134*g - 3267. Let r be x(-86). Solve 11*o = -r + 23 for o.
2
Let f(t) = 28*t + 80 - 40 + t**3 + 24*t**2 + 75. Let b be f(-23). Solve -2*d + 7*d - 15 = b for d.
3
Suppose -4*g = -2*w - 9*g + 480, 2*w + 2*g - 492 = 0. Solve -60 = -w*k + 260*k for k.
-6
Let a(b) = -7*b**2 - 51*b - 44. Let q be a(-5). Solve -q*v = -90 - 54 for v.
4
Let o be 18/(-42)*-21 - -277. Solve 282*f = o*f - 4 for f.
1
Let h(i) = 14*i + 25. Let c be h(1). Solve c*f - 9*f = 90 for f.
3
Let u = 416 - 412. Suppose m - 9 = 5*s, u*s - 12 = -4*m - 0*s. Solve 4 = -2*v - m for v.
-4
Let l(f) = -3*f - 128. Let x be l(-48). Solve -d = -x*d - 60 for d.
-4
Let f(s) = s**3 + 11*s**2 - 3*s - 25. Let h be f(-11). Solve -6*l + 2 = -h*l for l.
-1
Let u(o) be the first derivative of o**3/3 - 13*o**2/2 - 10*o + 5. Let d be u(14). Suppose -2*z + d + 0 = 0. Solve 0 = -c - c + z for c.
1
Let x be 0 + (-37 - -53) + (0 - 2). Solve -x*g - 49 = -147 for g.
7
Suppose -g - 102 = -4*v - 6*g, 0 = -g - 2. Suppose -8*c + c + v = 0. Suppose -46 = -c*u - 38. Solve 2 = 2*p - u for p.
2
Let c = 8 + 14. Let j = -9 + c. Suppose 12*y + 4 = j*y. Solve y*d = 3*d for d.
0
Let u = -31 + 25. Let z = -3 - u. Suppose 21 = 5*s - t, z - 2 = s - t. Solve -2*y + 9 = s for y.
2
Suppose 136*h - 1107 = -96*h + 1213. Solve -h = 4*k - 9*k for k.
2
Let v(o) = 20*o - 24. Let c be v(14). Let k = -251 + c. Solve -3 - 7 = k*g for g.
-2
Let c(f) = -68 + 0*f**3 + 67 + 4*f**2 + f**3. Let j be c(-2). Solve -3*l = -4 + j for l.
-1
Suppose -5*h - 108*a + 73 = -107*a, 4*h + 4*a - 20 = 0. Suppose -2*n + 6*n = 28. Solve n = 12*s - h for s.
2
Suppose 10*m + 106 = 3*y + 5*m, 2*m - 8 = 0. Suppose k + k + 18 = 5*f, -k = 5*f - 6. Let r be y/105 - (6/(-5))/f. Solve -2*i + 7 = -r for i.
4
Let d be (56/20)/(-7)*(-16 + 6) - 0. Suppose 0 = -4*u - 0*u + 116. Solve -5*t = d - u for t.
5
Let v(i) = -i**3 + 8*i**2 - 15*i + 2. Let d be v(4). Let t(s) = -s**3 + 7*s**2 - 3*s - 8. Let l be t(d). Suppose 4*j = -l*j + 70. Solve 2 = j*n - 3 for n.
1
Suppose -z = 3*n + 3 - 5, -10 = -3*n - 5*z. Suppose -30 = -3*p + 4*v - 12, 5*v = -5*p + 65. Suppose n = -11*m + p*m + 4. Solve x = m*x for x.
0
Let w(c) = -2*c**2 - 21*c - 19. Let r be w(-9). Suppose r*d - 4*y = 3*d - 51, 4*y - 37 = 3*d. Let l be 14/(-49) - (-2 - (-9)/d). Solve -4 = l*a - 16 for a.
4
Let v be (14/(-8))/((-8)/32). Let b(d) = -33 + 123*d - 64*d - 63*d. Let s be b(-9). Solve -v*o + s*o = 12 for o.
-3
Let s = -1064 + 1094. Solve -s = 38*c - 32*c for c.
-5
Suppose 37*w + 3*c = 42*w, 2*w + 2*c = 0. Solve w = -2*f - 2 - 4 for f.
-3
Let i(t) = 6*t**2 + 2*t + 34. Let q be i(0). Suppose h - q = -5*d, -3*h + h = 2. Solve -b + d = 4 for b.
3
Let t be 36/(-84) - 17/(-7). Suppose t*j = 3*y - 0*j - 45, 0 = -2*j. Let h = 15 - y. Solve h = 3*z - 2 - 7 for z.
3
Let o(u) = 4*u + 55. Let f be o(-7). Suppose -5*h + f = -28. Solve -14 = -5*k + h for k.
5
Let w(x) = x - 1. Let c(k) = k**2 - 9*k + 13. Let b(y) = c(y) + 3*w(y). Let u be b(4). Solve -3*o + u = -1 for o.
1
Let p = 16290 - 16290. Solve p = -25*u - 27*u - 156 for u.
-3
Let s = -19296 - -19313. Solve -53 = s*r + 32 for r.
-5
Let v = 12 - 19. Let g be v + 7 + (0 - (1 + -1)). Solve w + 11 - 16 = g for w.
5
Let u = -15 - -31. Let o be (-12)/u - (-54)/8. Suppose -24 = -0*a - o*a. Solve 2*s - 6 = a*s for s.
-3
Let t(j) = -j + 1. Let c(x) = 13*x - 10. Let f(m) = -2*c(m) - 22*t(m). Let l be f(-1). Let k = 3875 - 3873. Solve k*z - 8 = -l for z.
3
Let y(x) = -x**3 + 3*x**2 - 6*x + 5. Let d be y(4). Let q be (-4)/14 - 10/d. Let k be 21 + 1 + 1 + -3. Solve n - 6*n + k = q for n.
4
Let z be 1/(2/(-12)*3) + -4. Let n be (9 + z)/((-6)/(-22)). Let t = 16 - n. Solve t*g - 6*g = -5 for g.
5
Let s(b) = 2*b**2 + 15*b - 5. Let m be (-2 - 12/10)/((-14)/(-35)). Let j be s(m). Let f(n) = n**3 + 3*n**2 - n. Let g be f(-3). Solve -g*l - 3 = j for l.
-2
Let v(m) = m**3 - 6*m**2 + 6*m - 3. Let c be v(5). Let p = 538 - 516. Solve -4*i = -p + c for i.
5
Suppose 0 = 54*q - 49*q + 1020. Let k = q - -206. Solve k = 5*h - 3*h for h.
1
Let o(v) = -3*v**3 - 13*v**2 + v - 33. Let d(m) = 2*m**3 + 13*m**2 + 32. Let i(s) = 5*d(s) + 4*o(s). Let f be i(7). Solve 5*z + f = 22 for z.
3
Suppose -659 = 59*s - 895. Solve -b = -s*b for b.
0
Let n be (-130 + 127)*(-4)/12*409. Solve -n*j + 238 = -443*j for j.
-7
Let r(k) = 2*k**2 - 3*k + 5. Let o be r(4). Suppose 5*l + 6*x - o = x, l = 3*x - 3. Let j be 1*2/(2/l). Solve 15 = -4*a + j for a.
-3
Suppose 5*y + s + 101 = 0, 5*s = 3*y - 0*s + 55. Let k be 1*(y/12 - (-70)/15). Solve 0 = 52*a - 53*a + k for a.
3
Let w = -85 + 85. Suppose -85*d + 84*d + 2 = w. Let n be (d - 2)/((-4 + 2)/1). Solve 5*o + 4 + 1 = n for o.
-1
Suppose 2*l - 3 = 3, 4*l + 45 = -3*w. Let a(c) = -c - 25. Let y be a(w). Let m be (y/(-4))/((-51)/(-17))*0. Solve 0 = -2*s + 2 - m for s.
1
Let g(n) = -n**2 - 9*n - 8. Suppose 4*d - 12 = -44. Let b be g(d). Solve 3*l + 16 - 25 = b for l.
3
Let l(o) = -o**3 + 5*o**2 + 5*o + 8. Let m be l(6). Suppose 5*g = -4*f - 70, g = -m*f - 16 - 4. Let b be (18/g)/(3/(-10)). Solve -2*v = b - 4 for v.
-1
Let y = -424 - -618. Let c = 194 - y. Solve -3*a - 10 + 16 = c for a.
2
Let x(c) = 2*c**3 - 2*c**2 + 2. Let l be x(1). Suppose v - 14 = 2*i, 2*i + 0*i = -l*v - 2. Let s be (-14)/v*48/(-28). Solve s*d - 12 = 3*d for d.
4
Suppose 0 = -0*x + 3*x + 5*q - 34, x = -q + 10. Let f be 2 - 0*x/(-64). Solve -3*c = -10 - f for c.
4
Let i(a) = -8*a + 231. Let c be i(28). Let u be 2 + -5*c/((-210)/12). Solve u + 5 = 3*v for v.
3
Suppose 0 = -2*u - 2*y + 32, -3*u + 2*y - 53 + 81 = 0. Solve -a = -u + 11 for a.
1
Let j(w) = -w + 9. Let d be j(7). Suppose d*i + 0 - 8 = 0. Suppose -3094*b = -3153*b + 885. Solve 1 + b = i*v for v.
4
Let g = 12 - -4. Solve 0 = -g*z + 137 - 89 for z.
3
Suppose 5*h - 31 = 124. Solve -22 = 9*m - h for m.
1
Suppose 2*c = -r + 3, -c - 5*r + 7 - 19 = 0. Let h = -45 + 13. Let u = h - -33. Solve -c*a - 16 = -u for a.
-5
Let h(t) = 3*t - 24. Let c be h(12). Suppose -5*p + p + c = 0. Solve 6 = -p*s + 15 for s.
3
Let k be (22/77)/(1/35). Suppose 2*m = 5 + 5, k = -5*f + 5*m. Suppose 0 = 4*w - 4*t - 8, w - f*w = -4*t - 4. Solve -2*r = w*r for r.
0
Let x = -59 + 83. Suppose -3*f - 6*t + t = -x, 0 = 3*t - 9. Suppose f*d = 29 - 20. Solve -8 = -5*a - d for a.
1
Let c(k) = 8*k - 51. Let n be c(7). Suppose -2*j + n*u = -7, -4*j = 13*u - 18*u - 19. Solve -4 = j*h - 28 for h.
4
Suppose 0 = 7*q - 9*q - 2. Let w be 4/(q + -3) - -3. Suppose 0*m - 8 = -w*m. Solve -r = m*r for r.
0
Let m = 488 + -688. Let c = 200 + m. Suppose 3*w - 11 = 1. Solve c = w*d - d for d.
0
Let j(c) = -c**2 + 85*c - 243. Let g be j(3). Solve 7*b + 12 = g*b for b.
-3
Let d(u) = u**2 - 33. Let q be d(0). Let i be 6/q - 1560/(-110). Suppose -32 = -3*o - i. Solve -2*x + 0 = o for x.
-3
Let t = 1 - -12. Suppose -85*k + 84*k - 430 = 0. Let l = -426 - k. Solve l*g + t = 5 for g.
-2
Let j(f) = -4*f**2 - 324*f - 1300. Let c be j(-75). Solve 15*q - c + 560 = 0 for q.
-4
Let c(l) = -l - 26 - 21 + 45 + 3*l. Let d be c(6). Solve 8*i = 3*i + d for i.
2
Suppose 62 = 3*s + 2*u + 18, 4*u + 92 = 4*s. Suppose 2*q - s = -5*y, 5*q = 18 + 2. Let x(f) = f**3 - 2*f**2 + 3*f - 2. Let r be x(y). Solve 0*c - c = r for c.
-4
Let f(c) = -7*c**3 + 24*c**2 - 18*c - 10. Let g(j) = 6*j**3 - 25*j**2 + 17*j + 9. Let h(a) = -4*f(a) - 5*g(a). Let b be h(14). Solve 2*t - b = -t for t.
3
Let k(b) = 13*b - 63. Let l be k(5). Suppose 0 = l*o - 26 + 16. Suppose 4*g - 12 = -o*i, 3*i - i + 6 = 2*g. Solve -x + g*x - 8 = 0 for x.
4
Suppose -224*h + 2917 - 73 = 13*h. Solve 23 + 13 = h*p for p.
3
Suppose 2*z - 3*z = z. Suppose z*h + 8 = 2*h. Let n be (-9)/h*(-44)/33. Solve -n*t + 2*t = -3 for t.
3
Suppose -37*c = -38*c - 2*v + 38, -v = -2*c + 66. Solve -b - c = -35 for b.
1
Let q = -5 - -23. Let d = 22 - q. Let f be 6 + (2 - d) + 1. Solve -f*r + 3*r = -2 for r.
1
Suppose 3364 = 25*b - 886. Solve -7*z = -41*z + b for z.
5
Let k be 24/18*(27 - 21). Solve 18 = 10*m + k for m.
1
Let y = -19 - -19. Suppose -3*f - 2*f = y. Suppose 8*z - 27 - 37 = 0. Solve f*m - z = 2*m for m.
-4
Let i(j) = -j**3 + 12*j**2 + 10*j - 27. Let q be i(9). Let f = q + -299. Solve f*z =