Solve -v = -5*t - 8 for t.
5
Let k(l) = 7*l**2 - 12*l - 82. Let z be k(5). Solve 25 = 4*t + z for t.
-2
Let h(j) = -3*j**3 + 17*j**2 + 30*j - 9. Let l be h(7). Suppose 0 = -p - 0*p. Suppose -4*o + 3*o = -3. Solve 4*z - l*z - o = p for z.
-3
Let i(p) = p**3 + 35*p**2 + 33*p - 34. Let g be i(-34). Let s(z) = 3*z + 1. Let v be s(4). Solve 8*y + 3 + v = g for y.
-2
Let n = 90 - 86. Suppose 5*t + 6 - 20 = -n*u, -u - 5*t - 4 = 0. Solve 0 = 2*i - u*i for i.
0
Suppose -5*m = -0 - 5. Let h(u) = u**2 + 15*u + 55. Let k be h(-10). Suppose 4*g - 5*r + 4*r = 11, -4*g = r - k. Solve m = -g*d + 5 for d.
2
Let n = 16 - 2. Suppose a + s - n = -a, 5*a = -4*s + 38. Let o be (4/3)/(a/9). Solve -3 - 5 = o*x for x.
-4
Let x(m) = 9*m**2 - 482*m + 180. Let s be x(55). Solve -s*r + 4 = -899*r for r.
-1
Let p(h) = -15*h**2 + 2*h**2 + 9*h**2 + 37 + 0*h**3 + 12*h + 0*h**3 - h**3. Let x be p(-5). Solve -x*v = -v for v.
0
Let k(j) = 19*j**2 - 16*j + 249. Let t(i) = 11*i**2 - 8*i + 125. Let z(v) = -4*k(v) + 7*t(v). Let p be z(-16). Let b = 0 + 2. Solve 3 = -b*f - p for f.
-5
Suppose -51 = -3*t + 5*q - 4, 5*t = 4*q + 74. Solve 1915*w + t = 1913*w for w.
-7
Let f(r) = 11*r - 87. Let v(s) = 6*s - 43. Let z(g) = 2*f(g) - 5*v(g). Let a be z(4). Solve a = -y - 2*y for y.
-3
Let i be 4 - ((-9)/90 - (-18)/(-20)). Solve 20 = 10*h - i*h for h.
4
Let h(f) = 2*f**2 + 35*f + 20. Let y(w) = -71*w**2 + 6*w + 2. Let o be y(4). Let j be 3/2 - (o/12)/(-5). Let z be h(j). Solve -r + 5 = z for r.
2
Let a = -15535 - -15602. Solve -5*i = -62 + a for i.
-1
Let p(o) = 6*o - 2. Let l be p(1). Suppose -10 = -l*r - 5*d - 4, 18 = 5*r + d. Suppose -5*f + 4*f = -16. Solve 0 = r*u - 8*u - f for u.
-4
Suppose 43 = -18*r + 242 - 1. Solve -r*k = k - 84 for k.
7
Let f(r) = -r**2 - 23*r - 99. Let n be f(-8). Suppose 4*a - 32 = -4*q, 7*a - 5*a - n = 3*q. Solve -5*s + a = -11 for s.
4
Let s(r) = -4*r - 23. Suppose 3*i - 6 = 3. Suppose h - i*h - 14 = 0. Let q be s(h). Solve -q*p - 3 = 17 for p.
-4
Let n be 6*6/(-12) + 3. Suppose n = -2*u - 3*u, 0 = 3*c - u - 3. Solve c - 3 = m for m.
-2
Let x be (-171)/(-36) - 2/(-8). Suppose -x*u - 4 = -14. Let w = 1437 + -1433. Solve 6*t = u*t + w for t.
1
Let j(v) = v + 21. Let t be j(-14). Suppose 2*u + 0*u + h - t = 0, 0 = -3*u + 3*h + 15. Suppose -u*i = -4*a + 16, -a = 4*i + 7 + 9. Solve a*b + b - 1 = 0 for b.
1
Suppose -2*k + 3*m = 8, k + 2*m = 3*k + 4. Suppose 3*n + 2*v = 2, -2*v = 8*n - 10*n - 2. Solve n = u - 0*u - k for u.
2
Suppose 0 = -2*z + o + 12, -14 = 3*z + 4*o - 21. Solve -10*x = -z*x + 5 for x.
-1
Let t(h) = -7*h - 1. Let f be (-6 - -3) + -1 + (-21)/(-7). Let p be t(f). Solve -2 = -4*n + p for n.
2
Suppose 2233*j - 2236*j - 5*l = -81, -5*j = -2*l - 104. Solve -15*b - j + 37 = 0 for b.
1
Let l be 1/((40/(-1930))/(-4)) - 2. Solve 0 = -33*x + l + 40 for x.
7
Suppose -18*m - 80 = -5*f - 16*m, 5*m = -2*f + 32. Suppose 2*u - f = -2*n, -9*n + 4*n = 3*u - 16. Solve -3*s - 6 = -u for s.
2
Suppose 2*q - 3*u + 12 = 0, -3*q + 2*u + 1216 = 1224. Solve -49*c - 22*c + 284 = q for c.
4
Let w = -4652 - -4679. Solve -8*l = -w*l + 95 for l.
5
Suppose -2258 - 3160 = 7*p. Let k be p/(-162) - (-4)/18. Suppose 2*q + 6 = 4*j, -5*q - 4*j + k = -22. Solve 2*m = -q + 9 for m.
3
Let l be (-41)/((-287)/140) + -14. Solve -l*v - 134 = -73*v for v.
2
Let r(z) = -90*z + 2432. Let k be r(27). Solve -k*w + 21 - 25 = 0 for w.
-2
Suppose 724 = 4*g - 3*z, 3*g + g - 2*z - 728 = 0. Let b = g - 184. Solve b = -22*x + 20*x - 10 for x.
-5
Let u be ((-6)/(-9))/((-7)/((-420)/8)). Suppose -2 + 241 = r. Suppose r*a - 235*a = 44. Solve a = -u*i + 1 for i.
-2
Let k be (1/(1/(-10)))/(-2). Let t be -3*(11 + 658/(-42)). Suppose k = -x + 2*z, -2*x + t = -0*x + 4*z. Solve 0 = -4*b - 5 + x for b.
-1
Suppose -3*k + 2*p + 6 + 53 = 0, 0 = -3*k - p + 38. Solve 0 = -19*t + k*t for t.
0
Let s(u) = -u + 55. Let a be s(0). Suppose 0 = 51*m - a*m + 12. Solve m*h + 0 = -9 for h.
-3
Let i = 4419 + -4411. Solve -223*o = -227*o + i for o.
2
Suppose z - 188 = -l, l - 4*z - 114 - 84 = 0. Let b = -180 + l. Solve -b + 5 = -c for c.
5
Let z(a) = 4*a**2 + 8*a - 241. Let h be z(-9). Solve -5*c - 16 = -h for c.
-1
Let y be 10/45 - 47/9. Let q be 4 + y + 1 + 0. Let a = -1561 + 1563. Solve -r - 1 - a = q for r.
-3
Let w(x) = -x**3 - 10*x**2 + 43*x + 161. Let a be w(-13). Solve 0 = -9*t - 118 + a for t.
-1
Let p = 8499 - 8495. Solve 4*z - p*z - 5*z = 0 for z.
0
Suppose -b - 11*k + 6*k + 31 = 0, 5*b - k - 103 = 0. Solve 0 = -34*v - b - 81 for v.
-3
Let u be (-1)/((0 - -2)/4) + -128. Let v = 127 + u. Let d be (3/5)/(v/45*-3). Solve 4*g = d*g + 2 for g.
2
Let a = -5440 - -5470. Solve a = 208*m - 203*m for m.
6
Let k be (69/9 + 1)/(2/(-15)). Let p = 37 + k. Let b = 31 + p. Solve w = b + 1 for w.
4
Let l = 20088 - 20083. Solve 445 = -84*b - l*b for b.
-5
Suppose 12*o - 24 = 6*o. Suppose -152 = -o*b - 52. Suppose -24 = q - b. Solve 0 = 2*z - q - 1 for z.
1
Let n be 6/(-30) - 162/(-10). Suppose 12*p + 12 = n*p. Suppose 0 = 5*k - 2*s, 33 = 3*k + p*s + 12. Solve -12 = k*v + v for v.
-4
Let a be (-11 + -10)/((-3)/(-4)). Let p = a - -19. Let v = 19 + p. Solve -5*w + 10 = -v for w.
4
Suppose 11*d - 6*d = -90. Let n(a) = -23 - 36*a - 3*a**2 - a + 8 + a**2. Let y be n(d). Solve -2*x - y = x for x.
-1
Let o be 3 - (-5 - (-36)/8)*4. Let i be -14*(-1)/2 - 3. Suppose 2 = k - i. Solve 0 = -5*p + k*p + o for p.
-5
Let c(w) = w**3 - w. Suppose 2*g + 4*r + 18 = 0, g + 2*r = 4*g - 5. Let s be c(g). Suppose 4*p + 4 - 12 = s. Solve 3 = u + p*u for u.
1
Let h = -5081 - -5579. Solve -494*f - 4 = -h*f for f.
1
Let c(d) = 2*d**2 - 8*d + 10. Suppose -u - 2 = t, 3*u = -2*t + 5*u + 16. Let n be c(t). Solve 0 = -n*o - o for o.
0
Let j be (-4*(-1)/14)/((-1)/(-7)). Let a be (1 + -1)*(j/(-4))/1. Solve -5*w + 6*w + 3 = a for w.
-3
Let n = 111 + -114. Let v be (-234)/(-12) - n/6. Solve 0 = 3*t + t - v for t.
5
Let d be (-1)/(-2) - 2/4. Let u(i) = -i**3 + 10*i**2 - 29*i + 26. Let k be u(8). Let b be 4/26 + (-300)/k. Solve 4*n - 4 - b = d for n.
2
Suppose 2*k - 3*d - 18 = 0, 4*k - 30 = 5*d + 2. Suppose 4*v - 14 = -0*o - 3*o, 2*v = -k*o + 4. Solve 2*q - v = 1 for q.
3
Let c(q) = -20*q**2 + 101*q - 36. Let a be c(4). Solve 40*v + 16 = a*v for v.
2
Let z(w) = -4*w**2 + 69*w. Let d be z(17). Solve d*f + 4 = 19*f for f.
2
Suppose -10*f = 3*f - 13. Let s = 2 - -3. Suppose 0 = -s*i + 14 + f. Solve 8*b + 15 = i*b for b.
-3
Let c be 4 + -1 + (-1 - (-3 - -3)). Let n be (-51)/(-34)*1*c. Suppose -5*m + 4 = -n*s - 9, -1 = s. Solve 2*i - 8 = m for i.
5
Suppose 66*w - 42 = 64*w - f, 20 = 5*f. Solve 318 = -w*r - 34*r for r.
-6
Suppose 213*a - 218*a + 1119 = y, 0 = 16*a - y - 3585. Solve 116*c = 240 + a for c.
4
Let x(q) = -q**2 - 7*q - 15. Let n be x(-3). Let k be 2*(-4 + (-22)/12*n). Solve -4*l + k = -5 for l.
2
Let a = 697 + -1040. Let v = a + 368. Solve 3*m - 8*m = v for m.
-5
Let g(p) = -p**3 - 4*p**2 - 2*p + 5. Let v be g(-3). Let c(t) = v*t - 2*t + 5*t + 45. Let x be c(-9). Solve -5*d + x = 25 for d.
-5
Let t = -106 + 115. Let r be ((-3)/t)/(13/(-39)). Suppose k - 3*d = -k + 30, -5*d - 47 = -3*k. Solve k + r = -2*q for q.
-5
Let u be (-12)/28 - 156/(-21). Suppose x - 8 = -u*x. Suppose 0 = -j - 2 + 6. Solve -j = d + x for d.
-5
Suppose 3*i - 3*v = 12, -45 = 4*i + 3*v - 33. Solve -14*c - 24 - 4 = i for c.
-2
Let j = 967 - 963. Suppose -1 = -q + 3, -2*d = 4*q - 32. Solve -16 = j*g - d*g for g.
4
Let g be ((-3)/(-6))/((-11)/(-44)). Let s(j) = j**2 - 5*j + 4. Let k be s(3). Let w = k - -4. Solve 4*m + g = w*m for m.
-1
Let y = 23221 + -23206. Solve 39*v - 44*v - y = 0 for v.
-3
Let q be 84 - 88 - 12/(-8)*4. Solve -q + 24 = 11*m for m.
2
Suppose -76*z - 35564 + 83863 = -81889. Solve -3*f + z = 1734 for f.
-7
Suppose 2*h - 4*h + 3*h = 0. Suppose -3*a - 15 = h, 4*a + 236 = 2*l + l. Suppose 0 = -67*s + l*s - 50. Solve 5*y - 10 = s for y.
4
Let s = -1208 + 1251. Solve -128*t + s*t = 765 for t.
-9
Let z(p) = p**3 + 22*p**2 + 20*p - 16. Suppose -r + 54 - 75 = 0. Let a be z(r). Solve 0 = 6*k - a*k - 3 for k.
3
Let w(m) = m**3 - 6*m**2 - m - 144. Let a be w(9). Solve -a + 115 = -5*i for i.
-5
Suppose 7 - 2 = 4*u - 5*v, -3*u = v + 1. Suppose -12*s + 8*s + 24 = 0. Suppose -s*p - 9*p = 0. Solve u = -p*f + f for f.
0
Suppose 5*h + 5*c - 20 = 0, 28*h - 5*c = 24*h + 7. Solve -23*b + h*b + 60 = 0 for b