 = 0 for t.
-3
Let k(v) = 4*v - 3. Let s(z) = -8*z + 6. Let u(c) = 9*k(c) + 4*s(c). Let y be u(2). Suppose -5*b = 5*g + y, 2*b + 0*b + 5 = -g. Solve 3*p + 0 = -g for p.
-1
Let r = -65 + 75. Suppose -6 - r = -4*u. Suppose -9*d = -u*d. Solve 4*c - 2*c + 6 = d for c.
-3
Let x(a) = 7*a + 162. Let v be x(-22). Suppose v*n + 210 = 290. Solve 9 = 7*o - n*o for o.
-3
Suppose 10 = -3*m + 8*m. Let o = m - 1. Suppose -60 = -12*a + 2*a. Solve -f = -a + o for f.
5
Suppose 4*t + 1950 = 2*y, -4*t + 3888 = -6*y + 10*y. Suppose 0 = 979*x - y*x - 54. Solve 0 = -5*s - x + 4 for s.
-1
Let r(u) = 13*u - 102. Let f be r(8). Suppose 4*m = -x - 1, -4*m + 2*x + 2 = -f*m. Solve m = 3*s - 4*s for s.
0
Let m(f) be the second derivative of 0 + 1/20*f**5 + 8*f - f**3 - f**2 + 1/3*f**4. Let o be m(-5). Solve -2*l = -o*l - 3 for l.
-3
Let x be (-252)/(-117) - 3*4/78. Suppose -x*l + 2*o = -40, -4 = l - 4*o - 24. Solve 0 = 2*g - 10 + l for g.
-5
Let l(s) = 5*s**2 - 83*s + 330. Let b be l(5). Solve -98 = 26*c - b*c for c.
7
Let r = -2285 + 2312. Solve -6*j + r*j - 126 = 0 for j.
6
Suppose 12*j + 66 = 4*a + 13*j, 78 = 4*a - j. Solve -a = 55*u - 49*u for u.
-3
Let l be (260/(-91))/(-2*2/14). Suppose 0 = -12*n + l*n + 8. Solve n*a - 11*a - 7 = 0 for a.
-1
Let u be 0*(0 - (-1)/(-2)) + 6. Let b be 13 - 5 - (0 + u). Solve 0 = b*v + 2 for v.
-1
Suppose -4*k + 4*l = -96, 11*k = k + 4*l + 276. Solve k*y - 21 = -111 for y.
-3
Suppose 0 = 65*r - 410 - 2190. Solve 0 = r*v - 37*v + 12 for v.
-4
Let b be 1*43 - ((-38)/(-2) + 77 + -89). Solve -7*d - b = 20 for d.
-8
Let n = 4189 + -4069. Solve -14*f + n = -38*f for f.
-5
Let z(q) = -749*q + 854. Let r be z(1). Solve 0*t + 15*t = r for t.
7
Suppose 2496*n - 2491*n = 65. Solve 0 = 14*w - n*w - 5 for w.
5
Suppose -10*f = -39 - 131. Let d = 22 - f. Suppose -3*u - 8 + 0 = 4*h, 0 = -d*u - 4*h. Solve -u*p + 2 = -2*p for p.
1
Let c be 0/(2 + -1) + 4. Let k(z) = z**2 - 505*z - 2550. Let t be k(-5). Solve t = -c*g - 8 for g.
-2
Let k(u) be the second derivative of -1/20*u**5 + 21*u - 7/12*u**4 + 0 + 7/6*u**3 - 4*u**2. Let z be k(-8). Solve z = -3*d - 3 - 0 for d.
-1
Let t(s) = s + 10. Let n be t(7). Suppose -4*x + 5*j = 12, 5*j - 9 - n = -3*x. Suppose x*v = 3*v - 6. Solve -2*d + 14 = v for d.
4
Suppose 7*r - 3*r = 56. Let q = r - 12. Suppose -j = -4*g + 4, g - 21 = -q*j + 7. Solve 4*v - j = v for v.
4
Let w = 313 + -295. Let g be 120/w*(-2)/((-12)/9). Solve 3 = -11*i + g*i for i.
-3
Suppose 143 = -q - 2*h, 2*q - 23*h + 286 = -21*h. Let l = -139 - q. Solve l*v - 11 = 5 for v.
4
Suppose 15*n - 71 - 4 = 0. Solve -n*d = 27 - 7 for d.
-4
Let j = -66 - -68. Let u = -30 + 35. Solve u*d - j*d = 0 for d.
0
Suppose 4*q = 2*v + 12, 4*v + 5*q = 6*v + 17. Let x = 52 - 42. Solve -x*b + v = -6*b for b.
1
Let l(n) = -5*n**2 - 441*n - 519. Let g be l(-87). Solve -14*a + 11 = -g*a for a.
1
Suppose -610 = -2*p + 5*r, r - 3 = -1. Solve p*t = 304*t + 36 for t.
6
Suppose -45*b = -56*b. Solve b = -25*o - 6 + 131 for o.
5
Let b(k) = -k**2 - 1. Let r(n) be the first derivative of -2*n**3/3 + 2*n**2 - 7*n - 10. Let d(m) = -4*b(m) + r(m). Let q be d(-3). Solve -q = p - 0 for p.
-3
Let u = 18 - -45. Suppose -4*q + 447 - u = 0. Let f = -71 + q. Solve 0*x + 5*x = f for x.
5
Suppose -22 = -16*g + 12*g - b, 4*g - 2*b = 16. Solve 7*v - 12*v + g = 0 for v.
1
Suppose 34 = -3*v + 19. Let z be (18/(-15)*v)/(2/3). Solve 7*b = 4*b + z for b.
3
Let x be 0 - -4 - (-6 + (14 - 8)). Let a be (0 - 4)*x*3/(-48). Suppose -2*u = 3*u - 20. Solve -a = u*p + 3 for p.
-1
Let p(m) = m**3 - m**2 - 11*m. Suppose 68 - 48 = 5*o. Let w be p(o). Suppose 5*v + 0*v = 10. Solve 2*g - v = w for g.
3
Suppose 0 = 4*s + 2*n, 2*s = s + 3*n + 14. Let w be 12/(-40)*4*-20. Let z be w/16 + 7 + (-2)/4. Solve 0 + z = -s*d for d.
-4
Let j(v) = -71*v + 570. Let s be j(8). Solve -14 = -s*h - 22 for h.
-4
Suppose -6*i + 7*i - 2*i = 0. Suppose -15*z + 35 + 25 = i. Solve 0 = -z*h + 10 + 10 for h.
5
Suppose 110 = -9*m - m. Let p(s) = -s**3 - 11*s**2 - 5*s - 54. Let f be p(m). Solve g - f = 2 for g.
3
Let g be -3*(-84)/(-108)*-3. Solve -117*y = -110*y + g for y.
-1
Suppose -7*a - 9 = -10*a. Suppose -a*m + 4*g + 71 = 23, g = 0. Solve 0 = -4*i - m + 24 for i.
2
Suppose 283*z = 282*z + 4*j + 24, -4*j - 24 = z. Let t(n) = n**2 + n - 8. Let c be t(-6). Solve -2*q + c - 26 = z for q.
-2
Let q(d) = -d + 9. Let f be q(6). Suppose 5*o - 14 = -f*g + 1, 4*o - 12 = 0. Solve 5*w - 7*w = g for w.
0
Let w(j) = j**2 - 6*j - 101. Let t be w(0). Let v = 104 + t. Solve v - 7 = 4*h for h.
-1
Let c = 4813 - 4791. Solve 11*m = -11 - c for m.
-3
Suppose -5*o - 177*r + 71 = -175*r, -3*o = -5*r + 7. Solve 72 = -19*u + o*u for u.
-9
Suppose 0*x - 3 = -x. Suppose -4*z + 5 = p - x, 3*p - 13 = -z. Let r = z + 19. Solve 2*l - r = -2*l for l.
5
Suppose 0*f - 28 = -7*f. Suppose -3*t = -4*d + 27, -f*d + 2*t + 11 + 15 = 0. Let o = -4 - -4. Solve o - d = 3*h for h.
-2
Let p(a) = -a**2 + 25*a - 94. Let s be p(4). Let k be (s - 0)*9/(-15). Solve -20 = k*f - 2*f for f.
-5
Let d be 2 + 0 + 70/(12 + -5). Suppose 358*v - 352*v - d = 0. Solve v*z - 4 = 3*z for z.
-4
Let t = 51 + -33. Let l be (t/6)/3*6. Solve 3 = 3*g - l for g.
3
Let k = -32 - -37. Let q(z) = z**2 - 4*z - 5. Let h be q(k). Let p = 298 + -295. Solve -p*m + 8*m - 15 = h for m.
3
Let y be -3 + 19/4 + (-6)/(-24). Suppose 0 = 5*f + 3*h - 180, -h = -f - y*h + 38. Let a = 34 - f. Solve -3 = -p - a for p.
2
Suppose w + 75 = 15. Let y be (-2 + 2)/(w/(-30)). Solve -g - 2*g = y for g.
0
Let i = -2491 + 2494. Solve -10*f + i*f + 28 = 0 for f.
4
Let i(p) = -p**2 - 2*p + 2. Let y be -1*(2 + 0) - (-3 - -4). Let f be i(y). Let l be (-16)/(-24) + f/((-6)/(-4)). Solve l = 3*z + 2 + 4 for z.
-2
Suppose 295*n - 626235 = 32*n - 20283. Solve 9*z - n = -2313 for z.
-1
Suppose 2*r = -4*a + r + 70, 4*a - 2*r = 64. Solve -16*i = i + a for i.
-1
Suppose 4*h = 5*i + 39, h - 4*i - 18 = -h. Suppose h*n + 3*x = 7*n + 17, -3*x = -5*n + 55. Solve 4*l - n = 6*l for l.
-4
Let p(x) = x**2 + 5*x - 8. Let a be p(6). Suppose 0 = 50*o + 1141 + 1259. Let q = o + a. Solve -4*f + 2 - q = 0 for f.
-2
Let s(q) = q**3 + 5*q**2 + 4*q + 3. Let k be s(-4). Suppose -5*o - 4*d = -38, 4 = -2*o + 5*d + 6. Let z be (364/o)/7 - (-2)/(-3). Solve -z = -w - k for w.
5
Let t = -26 - 107. Let n = 139 + t. Solve 3*o - n = -18 for o.
-4
Suppose 575*h = 556*h + 5206. Solve 13*b + 183 = h for b.
7
Let k(p) = -2*p + 10. Let h(g) = 4*g - 3*g - 322 + 317. Let r(s) = 5*h(s) + 2*k(s). Let l be r(7). Solve -12 = -l*m - m for m.
4
Let n be 6/1 + (345 - 252). Solve -67*s - n = 169 for s.
-4
Let q be (0 - (-2 - -2)) + 0/(-2). Suppose q = -40*p - 46 + 366. Let b be -2*7/(-2) - 0. Solve b*f - p = 3*f for f.
2
Let s = -17 + -3. Let h be (-356)/s + 5/25. Suppose i = 3*i + 4*o + 4, 3*i - 18 = 2*o. Solve i*w = h + 2 for w.
5
Suppose -a = -3*b + 10, 3*b + 2*a + 6 = 22. Suppose 2 = u + z - 4, -3*u - b*z = -20. Let q be (48 + -18)*1/(6/u). Solve -4*x + 4 - q = 0 for x.
-4
Suppose -5*x + 3*m + 12 = 0, -5*x + 2*m = -5 - 3. Suppose -11016 = -35*r - 10631. Solve x = -3*y + r - 14 for y.
-1
Suppose 0 = 5*b - 4*b - 5*v + v, 3*b = -6*v. Suppose a + 19 = 3*n + 2*n, 2*n = 3*a + 18. Solve b = n*x + x - 20 for x.
5
Let f = -58 - -77. Suppose 2 = -p, 5*r + 5*p - 1 = f. Suppose 4*j + 2*w = 10, -4*j - r*w + 20 = -2*w. Solve -d + 3*d - 6 = j for d.
3
Let t(p) = 4*p**2 - 19*p**2 - 2*p**3 + p + 4*p**2 + 7*p**2 + 5. Let y be t(-3). Suppose 6*n = 11*n - y. Solve x - 5 = -n*x for x.
1
Suppose -27*x + 12*x + 75 = 0. Let m be (12/x)/((-12)/(-20)). Solve -1 + 5 = -m*f for f.
-1
Let n(d) = d - 9. Let i be n(24). Suppose 4*u - 4*b - 12 = 0, 0 = u + 4*u - 3*b - i. Solve -u*y - 12 = -7*y for y.
3
Suppose 23 = 5*i - 4*j, -14 = -2*i - j + 5*j. Suppose -180 = i*u - 9*u. Suppose -u*m + 27*m + 36 = 0. Solve -2*k + 6*k - m = 0 for k.
3
Let c be 13 + -6 + (-3)/((-6)/(-4)). Suppose -c*f = 3*n + 4, 3*n + 8*f - 4*f = -2. Solve 4*h + n*h = -24 for h.
-4
Let x = -10944 + 11040. Solve -x + 252 = -39*q for q.
-4
Suppose 0 = -4*y + 7 + 1. Let h(b) = -b**3 + 7*b**2 + 8*b - 1. Let c be h(8). Let a be (c + 1)/(-2 + 1). Solve a = -3*g + 8 - y for g.
2
Let y be (-27384)/70 - 2/(-10). Let z = -340 - y. Solve 14*a + z = 9 for a.
-3
Let m(y) = 4*y - 35. Let c be m(15). Let v(x) = 2*x. Let t(q) = -4*q - 19. Let n(w) = t(w) + 3*v(w)