 = 3 for t.
1
Let t be (30/10)/((-3)/36). Let s(p) = 5*p + 182. Let n be s(t). Solve -n*k - 4 = -0 for k.
-2
Let d(g) = g**2 + 3 - 9*g**2 + 2*g**2 - 17 - 6*g + 7*g**2. Let h be d(-2). Solve 3 = 5*q - h for q.
1
Let k = -27 + 34. Suppose k*m - 3*m - 28 = 0. Let q be 30/m - (2 - (-12)/(-7)). Solve -6 + 18 = -q*v for v.
-3
Let a be (-7)/21 - (-20)/6. Suppose h = -a*q + 6, 4*q = 2*q - 5*h + 17. Solve -2*x - 5 = q for x.
-3
Let v be (1 + -5 + 6)/((-4)/(-750)). Solve -71*t + v = -122 for t.
7
Let u = 34 - 13. Suppose 4*f = 3*y - 1, -75*y - f + 5 = -74*y. Suppose 4*g - 13 = -3*r, 5*g - 4*r - y - u = 0. Solve -7*z = -g*z for z.
0
Suppose -5*a = -34*i + 32*i - 4, -i - a = -5. Solve i*u - 138 = -147 for u.
-3
Let v = -20 - 10. Let h be v/(-20) + (-2)/(-4). Let l be 4 + 5/(h + 3). Solve 0 = l*k - 2*k - 6 for k.
2
Let c be 8 + -6 - (-1 + 2 + -2). Suppose -3*x = 2*x + 5*k - 20, k = -c*x + 16. Solve -2 = -x*m + 4 for m.
1
Let o = -12 + 16. Let p be 1 - o - -4 - -1. Solve p*r - 1 + 11 = 0 for r.
-5
Let q(s) = s**2 + s - 20. Let t be q(-6). Suppose 10*r + 0 + t = 0. Let b be -15*r/20 + (-1)/(-4). Solve -4 + b = 3*k for k.
-1
Let i be -2 + (2 + (-156)/18)*15/(-10). Solve i*t - 3 = 29 for t.
4
Let p = 8580 - 8528. Solve -p*l + 41*l = -66 for l.
6
Suppose 6*v = v + 4*d + 40, -23 = -2*v + 3*d. Suppose v*k - q + 224 = q, 167 = -3*k + 2*q. Let y = k - -57. Solve 5*z = -y*z - 10 for z.
-2
Let l be (2/4)/(13/(-6) - -2). Let c be (-19)/l - 77/33. Solve 0 = o - c + 5 for o.
-1
Let y = -524 + 530. Let o(d) = -d**3 - 4*d**2 - 4*d - 8. Let g be o(-4). Suppose -33 = -5*n - g. Solve -14 - y = -n*c for c.
4
Suppose -33*x + 32*x = -73. Solve 47*d - x*d = 182 for d.
-7
Suppose -2*s - 2*s + 20 = p, 4*p - 4 = 3*s. Suppose 5*n + 2*g - 5*g - 30 = 0, 3*n + 11 = -p*g. Suppose 0 = 3*q - q. Solve -2*k - n*k + 10 = q for k.
2
Let p be ((-32)/28)/4 + 30/7. Suppose -34 = p*g + 114. Let o = 45 + g. Solve 3*y + 4 = -o for y.
-4
Let t be 15/(-8) - 5/40. Let p be -2*(-27)/(-12)*2 + 3. Let x be (28/p)/(t/3). Solve 5*n - 18 = x for n.
5
Let q be 4/((-22)/(-165)*6) + 0 + 2. Solve -273*m = -266*m + q for m.
-1
Let x = -95 - -99. Suppose -2*z = -2*u - x, 4*z = -2*u + 7*z - 6. Let p(t) = -t + 8. Let b be p(6). Solve -3*l + b*l + 3 = u for l.
3
Let y(l) be the second derivative of l**5/20 + l**4/6 - l**3/6 + 13*l. Let d be y(1). Suppose 5*p = 4*n - d*n, p + 5*n = 0. Solve p = -2*z - 0*z for z.
0
Let v(h) = 11*h**2 - 110*h + 280. Let w be v(7). Solve -63*c = -14*c - w for c.
1
Suppose -3*j = -3*p + j - 20, -3*p - 3*j + 15 = 0. Let w be 0 + 1 - (3 + (-12)/4). Solve p = u + w for u.
-1
Suppose -331*d + 1720 = -335*d. Let q = d - -441. Solve -8 = -q*h + 3*h for h.
1
Suppose -234*t = -240*t + 306. Solve 15 = 11*k - t for k.
6
Suppose t - 9 = -x, -36 = -4*t + 4*x - x. Let k be (-3 - 0)*(-7)/(21/t). Solve 2*p + p + k = 0 for p.
-3
Let p be (-63)/126*2/(2/(-2)). Let r = -2 - -5. Suppose 0 = 4*u - c + 49 - 57, 0 = -4*u - 5*c + 8. Solve r - p = u*j for j.
1
Let f = -63 - -65. Let n(i) = -5*i - 40. Let t be n(-11). Let v be t/5 - 0*f/4. Solve v*u + 12 + 0 = 0 for u.
-4
Let r(w) = -w**3 + 8*w**2 - 11*w + 16. Let o be r(6). Let g = o + -17. Let p be (g/((-100)/48))/((-4)/10). Solve 4*u = 2*u - p for u.
-3
Suppose 3*k + 2*l - 4 = 0, 9*l = -4*k + 8*l + 2. Let s be (4/(-8) + 0)*k. Solve 5*o + s*o = -20 for o.
-4
Let o be (-2)/(2 - 6) - (-824)/16. Solve -24*b = 32*b - o*b for b.
0
Let m = -11 - -43. Let f be (16/32)/(2/m). Let g(r) = r - 4. Let w be g(f). Solve -q - 25 = w*q for q.
-5
Let l(m) = -1153*m - 9223. Let c be l(-8). Let a(x) be the first derivative of -x**3/3 - 7*x**2/2 + 2. Let r be a(-7). Solve r*i = i + c for i.
-1
Let f(g) = g**2 - 84*g - 420. Let p be f(-5). Solve 20*a = p*a + 30 for a.
-6
Let z(w) = -3*w**2 + 156*w + 13. Let y be z(43). Solve y = -2*u + 1178 for u.
2
Suppose -3*w - 558 = -3*h, 20*h + 759 = 24*h + w. Solve 0 = 198*v - h*v for v.
0
Let h = 9 + -33. Let j be (-25)/(-125) + h/(-5). Solve -j*t = -13 - 12 for t.
5
Let f = -21 + 23. Suppose 4*k = f*k + 4*y + 18, k + 4*y + 9 = 0. Let h be (-3)/(-2) - k/2. Solve h = -5*s + 9 - 4 for s.
1
Let h = -183 - -172. Let g = 13 + h. Solve -3*v + g = -4 for v.
2
Let j(l) = 28*l - 7. Let a be j(1). Suppose 259 = a*v - 14*v. Solve 0 = 3*k + 22 - v for k.
5
Suppose 316*l - 16317 = 57*l. Solve -l = -34*h + 141 for h.
6
Suppose 4*f - 7*s = -2*s + 57, -3*s - 16 = -f. Suppose -5*m + c + 17 = -f, 0 = 2*m - 4*c - 12. Solve 4*u = m*u + 6 for u.
-3
Suppose -11*v + 20*v - 216 = 0. Let o = -24 + v. Solve o = 6*b - 2*b - 16 for b.
4
Suppose 81*i - 83*i + 18 = 0. Suppose -7*y = i*y - 80. Solve y = f + 2 for f.
3
Let t(w) = 2*w**3 - 101*w**2 + 51*w - 31. Let y be t(50). Solve 7*h + 12*h - y = 0 for h.
1
Let z = 65 - 93. Let n(b) = b**3 + 30*b**2 + 57*b + 32. Let g be n(z). Solve -g = 3*d - 19 for d.
5
Suppose -3*r - 4*j = -339 + 14, -4*j - 452 = -4*r. Let w = r + -104. Suppose 3*t - 4*p + 3*p - 3 = 0, -5*t + p = -w. Solve t*x = -0 + 2 for x.
1
Let c = 22 + -12. Let o be -12 - 43/(989/(-368)). Solve 0 = -o*u - c + 2 for u.
-2
Let q = -1086204 + 1086213. Let b(t) = t**3 - 6*t**2 - t + 8. Let h be b(6). Solve -r = h*r - q for r.
3
Let z(d) be the second derivative of 2*d**3/3 - 15*d**2/2 + 78*d. Suppose 3*b - 22 = 2*k, 5*k = -2*b + k - 12. Let f be z(b). Solve a + 4 = f for a.
-3
Suppose 70*w = 62*w + 32. Suppose 0 = -w*j + 5*b - 25, j = -3*j - 2*b + 10. Solve j = -i - 2 for i.
-2
Let b be 4/2 + 2 + -4. Let n = 3195 + -3188. Let x = -1 - -4. Solve b = x*t + n - 19 for t.
4
Suppose -3*n = -2*n - 1. Suppose 0 = -i + 87 - 85, v + i = 2. Suppose 126*k - 143*k + 289 = v. Solve -k = -4*b - n for b.
4
Let d be (-392)/(-7)*5/((-35)/(-2)). Suppose -24*i + 27*i + d = 2*q, -4*q = 4*i - 12. Solve -p = -6*p + q for p.
1
Let b(x) = 4*x + 68. Let i be b(-17). Solve 8*m + 6*m - 70 = i for m.
5
Let a = 4 - 21. Let b be -3 - ((a - 0) + -2). Suppose 2*v + 18 = 2*c + 2, -3*c - 5*v - b = 0. Solve c*s = -2*s + 5 for s.
1
Let w(v) = -13*v + 41. Let x be w(3). Let s(o) = o - 13*o**2 - 4 - o**3 + 15*o**2 + 5. Let j be s(2). Solve 0 = -x*c - 5 - j for c.
-4
Let b(q) = -q - 6. Let m = -107 + 101. Let c be b(m). Suppose -i - 5 = c, -30 + 5 = h + 5*i. Solve -4*u - 16 = -h for u.
-4
Suppose 20*j - 5 = 19*j. Suppose -w - 3*y = y - 10, -j*w + 3*y = -27. Solve u + u = w for u.
3
Let a(p) = p**3 + 6*p**2 + 32*p + 57. Let d be a(-2). Solve 0 = d*u - 39*u for u.
0
Let f = -3152 + 3521. Solve -8*c = -353 + f for c.
-2
Let z be 88/33*(-6)/(-5)*20. Let h = z - 54. Suppose 0 = -3*w + h*w - 7. Solve w = 2*y - 3 for y.
2
Let c be 19/(4 + (264/(-136) - 2)). Solve 89 = 39*y + c for y.
-6
Let y be (201/(-18))/(-1) + (1955/(-102))/(-23). Solve -93 = y*a - 21 for a.
-6
Suppose o - 195 = 3*d - 722, 0 = -3*d - 3*o + 531. Solve d = -215*q + 193*q for q.
-8
Let b(q) = q. Let f be b(-6). Let o be 80/72*-3*f. Solve -3*c = -8*c - o for c.
-4
Let m be (-78)/195 + 24/10. Solve -26 + m = -12*h for h.
2
Suppose -578*m - 102 = -595*m. Solve 0 = 4*x + m - 26 for x.
5
Suppose c = -2*u + 131, -4*u = -u - 5*c - 216. Solve -11 = 39*p + u for p.
-2
Let s(u) = u**2 + 6*u - 13. Let h be s(-9). Suppose 0 = h*q - 9 - 19. Solve -w + 0 + q = 0 for w.
2
Let k(m) = 12*m**2 - 6*m - 3. Let w be -7 - ((-2 - 6) + 2). Let p be k(w). Solve p*t = 18*t + 12 for t.
-4
Let j(p) = 8*p**2 + 2*p - 16. Let w be j(4). Let n be w/(-25)*((-40)/(-3))/(-4). Solve 12 = -20*h + n*h for h.
-3
Let i(g) = 6*g**3 - g. Let p be i(1). Let s be 20*(527/(-170))/(-31). Solve -4*k = -p*k + s for k.
2
Let p be ((-4)/(-3))/(7/((-546)/(-104))). Let m(l) = -2*l**2 + l**3 - 8*l - 8 - 5*l**2 + l. Let n be m(8). Solve -p = s - n*s for s.
-1
Let c(v) = -v**3 - 18*v**2 + 17*v - 1. Let r be c(-19). Suppose r*w + 15 = 40*w. Solve -w*m - 4 = -m for m.
-1
Let b be (4 - 4)/(13/(104/16)*-1). Solve b = 38*y + 283 - 55 for y.
-6
Suppose v - 48 = -5*n, 4*v + 123 = 8*v - 3*n. Suppose -v*b = -58*b + 25. Solve -15*a - b = 29 for a.
-2
Let f(h) be the second derivative of -h**5/20 - h**3/6 - 2*h**2 - h + 16. Let g be f(-2). Solve -g - 6 = 6*d for d.
-2
Suppose -16 = -q - 9. Suppose 5*f - p = -81 + q, -5*f - p - 76 = 0. Let t be ((-1)/(-3))/((-1)/f). Solve h = -0*h - t for h.
-5
Let s be (9 - 190/45) + 4/18. Suppose -6*f + 44 = s*f. Solve -6 + 22 = -f*r for r.
-4
Suppose -2*k - 50*k = -31