 for t.
1
Let f = 22 + -20. Suppose -m + 2*m = f*m. Suppose -3*d - 24*i = -26*i - 10, 0 = -5*d + 4*i + 20. Solve -2*a + 6 + d = m for a.
3
Let k be -2 - (-2 + 0) - -20. Let o(h) = 2*h**2 + 4*h + 5. Let i be o(-5). Suppose -i*y + 2 = -34*y. Solve -6*z + y*z + k = 0 for z.
5
Suppose 2*m + 4*q - 26 = 42, -5*q + 115 = 4*m. Solve 20 = m*p - 40 for p.
3
Suppose 0 = 4*y - 8*y - k + 20, -2*k + 20 = 4*y. Let n(i) = -2*i - 3. Let b be n(-4). Suppose -b = -y*r + 15. Solve 0 = r*c - 2*c for c.
0
Let w(g) = g**2 - g - 4. Suppose 0 = 6*n - 4*n + f, -3*n + 14 = -2*f. Suppose -c - n = a, -4*a + 5*c = -6*a - 19. Let k be w(a). Solve b = k*b - 5 for b.
5
Suppose -5*s + 3*s = -4, x + 8 = 4*s. Suppose -q + 8 = 4*u - 7, -q + 3*u + 8 = 0. Solve 5*l - 6 + q = x for l.
-1
Let a be (0 - (-38)/(-5))*(-230)/(-92). Let q = a + 21. Solve 0 = q*w + 9 - 17 for w.
4
Let t be (-776)/48*30/(-5). Let z = -77 + t. Solve 3*f - 8*f = -z for f.
4
Let t(g) = g**3 + 64*g**2 + 24. Let q be t(-64). Solve -11*f = -3*f + q for f.
-3
Suppose 10 = 6*w - w, 2*r - 2 = 2*w. Suppose 16*q = -r*q + 95. Solve -q*v = v - 24 for v.
4
Suppose u = 5*d + 364, -21*d - 683 = -2*u - 26*d. Solve -18*b + u - 241 = 0 for b.
6
Let m = 1924 - 1899. Solve -27 = -m*d + 73 for d.
4
Let b = 24 + -36. Let x be 4 + 19 - b/(-6). Suppose 0 = -19*f + x*f - 10. Solve f*q - 20 = -0*q for q.
4
Suppose -20*q - 10092 - 7048 = 0. Let u = q - -863. Solve u*m + 14 = 2 for m.
-2
Let h(i) be the third derivative of -i**6/120 - i**5/60 + 2*i**4/3 - 5*i**3/6 - 21*i**2. Let d be h(-5). Solve -d = -5*c - 0 for c.
3
Let y = 27 + 0. Suppose 168*x - 1138 - 38 = 0. Solve -5*u + y = x for u.
4
Let i be ((-1 - 0)/((-5)/(-25)))/(8/(-48)). Solve 16*m = i - 110 for m.
-5
Suppose 8*f - 836 = -410*f. Solve 0 = 46*q + f*q - 288 for q.
6
Let q(a) = -2*a**3 - 14*a**2 + 37*a - 29. Let b(z) = -5*z**3 - 43*z**2 + 109*z - 86. Let x(c) = -3*b(c) + 8*q(c). Let g be x(15). Solve -g*n + 26 = -18 for n.
4
Let y(u) = 2187*u + 4377. Let n be y(-2). Suppose -12 = -4*q + 8. Suppose 0 = -2*h + 1 + q. Solve 0 = h*a + n + 3 for a.
-2
Suppose -24*b = -20*b - 180. Let p be 3*6/b + (-78)/(-30). Solve p = -y + 5 for y.
2
Let c(l) = -l**2 - 13*l - 34. Let q be c(-8). Let p(f) = -f + 19. Let j be p(q). Let y(k) = -2*k + 31. Let v be y(j). Solve 2*t = 1 + v for t.
3
Let k(b) = -b**3 - 11*b**2 + 10*b - 12. Let l be k(-12). Suppose l = -2*c + 8. Let z be (c + 2)/(-2 - -5). Solve -3*v + 4 - 10 = z for v.
-2
Let m be -1*(18 - 2)*14/(-28). Let d = -16 - m. Let y = 29 + d. Solve 3*j - 4 - y = 0 for j.
3
Let t(n) = -n**3 - 5*n**2 - 2*n - 7. Suppose -3*a = 12 + 3. Let x be t(a). Suppose 13 = x*p + 1. Solve 0 = p*g + g - 15 for g.
3
Let l be -14*3*7/(-6). Solve -l = -63*o - 238 for o.
-3
Suppose -j + 4*x = 2*j + 8, 4 = 4*j + 2*x. Let d be 2/(-2) + ((-7)/(-1) - 1). Solve 10*i - 5*i + d = j for i.
-1
Let r be 1062/180 + (-3)/(-30). Let z = 4 + -1. Suppose z*a = 2*a + 4*a. Solve a = 4*k - 6 - r for k.
3
Let g be 18/(-105)*-5*(28/1)/2. Solve g*b + 7 + 53 = 0 for b.
-5
Let q = 68 - 23. Suppose -111 = 42*g - q*g. Suppose -7*j + g = -2*j + 3*d, -j = -5*d + 15. Solve -j*v - 3 = 7 for v.
-2
Let u(p) be the third derivative of -p**4/24 + 5*p**3/6 - 99*p**2. Let n(k) = 2*k - 15. Let l be n(10). Let o be u(l). Solve 3*r - 6 = -o*r for r.
2
Let v be 1/(-6) + (-13)/((-234)/183). Let w(k) = 4*k**2 - 37*k - 22. Let l be w(v). Solve -l*q + 4 = 20 for q.
-2
Let c be -1 - 22/(-16) - 25596/(-864). Solve -c + 3 = 9*l for l.
-3
Let f = -22927 + 23120. Solve -22*i - 237 + f = 0 for i.
-2
Suppose 0 = s - 2*p - 5, p + 45 = 5*s - 25. Let f = -321 - -203. Let r = 122 + f. Solve 0 = -r*l - l + s for l.
3
Let p(x) = x**2 + 17*x - 62. Let y be p(-22). Suppose -y = 23*s - 35*s. Solve s*v = 6*v + 2 for v.
-1
Let t = 109 - 107. Suppose -3*m = -t*g + 3*g - 1, 0 = -g + 1. Solve -3*o - o - 12 = m for o.
-3
Suppose -29*t + 22*t + 4095 = 58*t. Solve -13*f - 50 = -t*f for f.
1
Suppose -28*h = -33*h + 15. Suppose -5*x = 4*l + 2 - 20, h*l = -4*x + 13. Solve -l*b - b = 24 for b.
-3
Let p = 42472 - 42472. Solve 2333*o - 2326*o - 14 = p for o.
2
Let f(p) = -p**2 + 10*p - 17. Let c be f(7). Let n be 1/4 - c/(-16)*291. Let l = n + -69. Solve l*a - a + 6 = 0 for a.
-2
Suppose 0 = 5*n - 4*w - 30 + 157, -2*n + 2*w = 52. Let i(z) = z**3 + 22*z**2 - 26*z - 69. Let t be i(n). Solve t = 2*x + 4*x for x.
0
Let q be ((-5)/(-3))/((-150)/8190*(-21)/6). Solve 18*k = -8*k - q for k.
-1
Let p(l) = -10*l - 64. Let g be p(-7). Let j(s) = -s**2 + 2*s + 34. Let r be j(g). Solve 3*w = w + r for w.
5
Let g = -7050 - -7050. Solve 0 = s - 9 - g for s.
9
Suppose -2*k - 6 = 0, 0 = -5*t - k - 0*k - 13. Let u be (-8)/(-20) - (-2)/(-5) - t. Suppose -4*l = -w + 3*w + 10, 0 = -u*w + 5*l + 26. Solve -j = w*j for j.
0
Let v = -2198 + 2260. Solve -23*n - 8*n = v for n.
-2
Let g be ((-350)/140)/((-2)/244). Let v = -303 + g. Solve -1 = -v*w + 3*w for w.
-1
Let p(a) = -12*a**2 - 2*a - 7. Let y(h) = h**2 + h + 1. Let s(v) = -p(v) - 6*y(v). Let o be s(-3). Suppose -7*q = -o + 4. Solve -2*w + q = w for w.
3
Suppose 0 = -f + 13 - 9. Let d be f + 7/(28/(-8)). Suppose 0 = 5*n - d*r - 4, 2*r + 6 = -4*n + 2. Solve n*m - 2*m = 0 for m.
0
Suppose -5*b = -4*k + 32 - 42, -5*k + 13 = -2*b. Solve 13*d = 5 - k for d.
0
Let q(y) = -153 + 21*y + 38 - y**2 + 65. Let h be q(18). Solve -v = 1 - h for v.
3
Let y be (66 + -2)/1 - (-1 - 1). Let p = 81 - y. Let d = p - 12. Solve -d*z = -4*z for z.
0
Let o(k) = k**2 - 2*k - 1. Let v be o(-1). Suppose -9*t - 5*t + t = 0. Suppose 5*l - 20 = t, 0 = -4*d + 3*l - 22 + 10. Solve d = -2*u + v for u.
1
Suppose 3*s = -3*w - 123, 2*s = -0*s + 5*w - 68. Let g be 205/(-5) + -4 + 0. Let v = s - g. Solve 0 = z + z + v for z.
-3
Let v(x) = 3*x**2 - x. Let l be v(1). Let o be 6/4 - l - 351/(-18). Suppose 5 = 4*q - o. Solve -4*k + 2 = -q*k for k.
-1
Suppose 1092 - 1260 = -56*k. Solve -64 + 55 = -k*l for l.
3
Suppose 32 = 8*f - 0. Suppose f*p = -4*u, -5*p = 2*u - 5*u + 40. Solve 0*k = -u*k - 10 for k.
-2
Let c(z) = -z**2 - 12*z - 12. Let k be c(-9). Solve -k*d + 85 = -32*d for d.
-5
Let a(s) = -s + 1. Let b be a(-2). Let j be (6 - 24/2) + (7 - -2). Let w be -14*(j/(-18) + 11/(-33)). Solve w*x - b*x + 20 = 0 for x.
-5
Let c be (-13650)/2600*20/(-7). Solve 21*h = c + 27 for h.
2
Let r = -421 - -622. Suppose 0 = -3*a - 189 + r. Solve -44 = -8*k - a for k.
5
Let k = 102 - 100. Suppose 0 = 2*x - w + k - 0, -5*x + 21 = 4*w. Let g be (2/2)/((-11)/(-143)) - x. Solve 5*r - g = r for r.
3
Let x be (-20)/(-4)*(-3)/6*-2. Solve 12 = -x*a - 8 for a.
-4
Suppose 0 = 27*y - 7*y + 3*y - 759. Solve -l + 32 = y for l.
-1
Let z be (-2301)/(-65)*5 - (-1 + 7). Solve 166*k - z*k - 15 = 0 for k.
-3
Let g(z) = -2*z**2 - 5*z - 4. Let h be g(-1). Let p be ((-14)/(-21))/((-1)/6*h). Solve -3*b - 8 = p for b.
-4
Let i(j) = j**2 - 12*j - 7. Let w be i(13). Suppose 7*l + w = 20. Solve -l*v + 3*v - 2 = 0 for v.
2
Let m be 1/(-9) - 20896/(-144). Let o = 151 - m. Let y(z) = -z**2 + 10*z - 13. Let d be y(8). Solve d*t - o = -0*t for t.
2
Suppose -3 = -4*w - 99. Let p be (-90)/w*(-12)/(-5). Suppose -2*h + 3*n = 2*n + 3, 3*n - p = 5*h. Solve h = -2*q - 0*q - 10 for q.
-5
Suppose 0 = -3*a + 3*c + 549, 1018*c - 1015*c + 27 = 0. Solve -24 = a*w - 170*w for w.
-6
Let o be (412/(-3))/((-4)/18) - -3. Let q = -611 + o. Solve -q*z - 2*z = -12 for z.
1
Let t be ((-30)/(-12) - (-27)/18) + 93. Solve t = -14*k + 27 for k.
-5
Let n(h) = h**3 - 81*h**2 - 343*h + 266. Let q be n(85). Solve -q*b + 12 - 78 = 0 for b.
-6
Let z(h) = -321*h - 136. Let r be z(-2). Suppose -21*j = j - r. Solve -2*k = j - 13 for k.
-5
Let p(x) = -x**3 + 10*x**2 - 9*x + 3. Let d = 28 - 26. Let a = 11 - d. Let c be p(a). Solve c*g = -g + 20 for g.
5
Suppose 4184 = 127*z + 640 - 12. Solve 0 = -z*j + 47 + 9 for j.
2
Suppose -2*c - 2 = 4*d + 4, -26 = -3*c + d. Let j(s) = s + 12. Let k be j(-10). Solve -c*q + k*q = 25 for q.
-5
Let f be 290/6 + -6 - (-1)/(-3). Suppose f*n - 39*n - 15 = 0. Let v be (-1 - -1)*3/6. Solve v = -n*u - 10 for u.
-2
Let z(q) = q + 16. Suppose -3*j - 37 + 4 = 0. Let v be z(j). Let c = 837 + -835. Solve c*x = v*x - 3 for x.
1
Let q = -748 - -969. Let b be -13*(-102)/q + (0 - 1). Suppose d + 5*k = 8, -3*d - d + 32 = -3*k. Solve 3*i - d = b*i for i.
-4
Let b = -451 + 473. Let r be ((-7)/70)/1 + b/20. Solv