0 for m.
1
Let a(h) = 3*h**2 - 3*h - 5. Suppose 5*t = -r - 17, t = 6 - 9. Let s be a(r). Solve -10*i + 12 = -s*i for i.
-4
Let z(h) = 23*h**3 + 5*h**2 - 8*h + 4. Let o be z(1). Solve o*n + 33 = -9*n for n.
-1
Let y(x) = x**2 - 2*x - 52. Let p be y(0). Let r be p/(-32) - (26/16 - 2). Solve -4*g + 3*g - r = 0 for g.
-2
Suppose -5*f - 486 = -4*t - 66, -4*t + 424 = -4*f. Let q = t - 108. Suppose q*r + 1 = 19. Solve -4*w = -w + r for w.
-3
Suppose -3*h + 65 = 4*w, 5*h - 54 = 4*w + 1. Suppose -2*o - 3*a = -h - 18, 0 = 3*a + 9. Suppose -o = 2*k - 29. Solve 0*g + k*g = -20 for g.
-5
Let g be (-5016)/(-16)*6/9. Let o = -205 + g. Solve 0 = -6*a + 8*a - o for a.
2
Suppose 4*j = 3*j - 2*f - 2, -5*j = -3*f - 16. Let a(n) = -4*n - 1. Let c be a(-2). Suppose -74*l - 5*r = -70*l + 23, -4*r - 43 = -5*l. Solve c - l = j*i for i.
2
Let y(s) = -s - 1. Let b(r) = -r**2 + r + 9. Let k(t) = -b(t) + 3*y(t). Let v be ((-4)/(-6))/(5/((-525)/(-10))). Let w be k(v). Solve 1 = -2*x + w for x.
4
Let m(i) = 28*i + 990. Let l be m(-35). Solve -19 = -l*z + 1 for z.
2
Let j(d) = -d**3 + 12*d**2 + 57*d - 146. Let z be j(15). Solve 0 = 4*y - 46 + z for y.
3
Suppose -214*v = 374*v - 41748. Solve -v - 29 = 20*l for l.
-5
Let n(o) be the second derivative of -o**3/6 - 13*o**2/2 + 16*o. Let z be n(-12). Let g(x) = -5*x + 2. Let a be g(z). Solve 4*t - a = -3 for t.
1
Let w = -236 - -291. Suppose 0 = -0*a - 11*a + w. Solve 4 = a*d - 1 for d.
1
Suppose -4*h + 4*g + 16 = 0, 2*g - 7 + 15 = -3*h. Solve h = -4*y + 47 - 35 for y.
3
Suppose 5*u + 25 = 3*l + 10, -15 = 3*l + 5*u. Solve l = 26*t - 36*t + 30 for t.
3
Let a(w) be the second derivative of -w**3/6 + 19*w**2/2 - 973*w. Let c(n) = -n**3 - 5*n**2 + 4*n + 5. Let k be c(-6). Let d be a(k). Solve -2*h = 10 - d for h.
-4
Suppose 0 = 27245*h - 27208*h - 1406. Solve -h*y + 165 = -93*y for y.
-3
Suppose 0 = 5*y - 3*i - 14 - 60, 4*y - 5*i = 67. Solve -22*r - 27 = -y*r for r.
-3
Let i = -1411 - -1415. Suppose 8*o - 80 = 3*o. Suppose 0 = i*y + j + 3*j - o, 3*y - 18 = -5*j. Solve 0 = -4*u + 3*u + y for u.
1
Let z be 109 + (-4)/(12/27) + 1. Solve z - 81 = 4*g for g.
5
Let z = 33 + -18. Let o = 241 + -179. Let f be (-94)/(-30) + o/(-465). Solve 3 = f*j + z for j.
-4
Suppose 5*n - 3*m + 4605 = 0, 61*n + 1842 = 59*n - 4*m. Let x = n + 925. Let b(o) = o**2 - 5*o - 6. Let w be b(6). Solve -x*l = -w*l + 12 for l.
-3
Suppose -12*g - 10 = -430. Suppose g = 4*r + 5*p, -2*r = -0*r - 2*p - 22. Let u be 1*4/r + (-48)/(-30). Solve 14 = -4*a - u for a.
-4
Let r be (4 + -2 - -2) + -2. Let t be (-4 - (r + -6)) + -1 + 1. Let g be 33 - 30 - 2/(1 - t). Solve -a + 4 + g = 0 for a.
5
Let k be 232/24 + (-154)/33. Solve k*c = 10*c + 20 for c.
-4
Let a(k) = k**3 - k + 8. Let v be a(0). Suppose -11*j + 15 = -v*j. Suppose -3*d + 12 = -d - f, -40 = -5*d + j*f. Solve -3*w - 2 = d for w.
-2
Suppose -17 = 7*s + 18. Let k = 18 + s. Let t(m) = -2*m**3 + 16*m**2 - 12*m + 24. Let v be t(7). Solve -5*p + v - k = 0 for p.
5
Let d(b) = 17*b - 32. Let s be d(2). Suppose -3*x + 3*u = s*u - 25, -3*x - u = -17. Solve -t = x - 6 for t.
-1
Let z be (-48246)/(-88) + (-1)/4. Let u = -544 + z. Solve 2*o + u*o = 0 for o.
0
Let y(c) = -2*c**2 - 6*c - 1. Let k be y(-5). Let r be (-7)/(k/(-2))*(-6)/(-4). Let j be r + 2 + 0/2. Solve -5 + j = 4*q for q.
-1
Suppose 0 = 4*j + 4, -116 = 26*r - 21*r - 4*j. Let y be 171/12*(4 - (-64)/r). Solve 0 = -y*o + 16*o for o.
0
Let m = -36207 - -36211. Solve -m = 11*r + 18 for r.
-2
Suppose 0 = 6*j - 23 - 1033. Solve 0 = j*r - 177*r + 3 for r.
3
Suppose -2*u + 532 = 2*z, -265*z = -264*z + 7. Solve 10*i - 49*i = u for i.
-7
Suppose 3*x - 3*o = -306, 0 = -0*o + 3*o - 9. Let a = 17 + x. Let c = a - -92. Solve -c - 6 = 4*p for p.
-4
Suppose -179 - 30 = -16*u + 287. Solve 22*j = 163 - u for j.
6
Let a(f) = 706*f + 2832. Let i be a(-4). Solve 387 = i*p + 371 for p.
2
Let h be -4 + 11 - 160/40. Solve h*d + 5*d = -8 for d.
-1
Suppose 484 = 4*h + 36*h - 236. Solve 0 = 12*w + h*w + 30 for w.
-1
Suppose 47*y - 41*y = 30. Solve 67*d + y = 72*d for d.
1
Let l(j) = -j**2 - 359*j - 1400. Let i be l(-4). Solve -i*w + 5 = -25*w for w.
-1
Suppose -4*l + 2*h + 60 = 0, -l - 36 = 3*h - 30. Solve 9*n + l*n = 63 for n.
3
Let l(m) = m**3 + 17*m**2 + 17*m + 20. Let u be l(-16). Solve -u*q + 417 - 381 = 0 for q.
9
Let u(k) = 6*k**2 + 22*k - 6. Let z be u(-4). Suppose -z = -2*x + 4*n, x - 9*n = -6*n. Solve 6*f = 2*f - x*f for f.
0
Suppose -148*u + 255 + 144 = -129*u. Solve 14*q - u = 105 for q.
9
Let m be (-1)/((-1)/5) + (-100)/(-25). Suppose 10*f - h - 3 = m*f, -12 = f + 4*h. Solve f*k = k + 4 for k.
-4
Let y be (23 + -21)/((-2)/12*-2). Let g be (-4 - -29)/(-2*(-3)/y). Solve g = -6*f + f for f.
-5
Let x(s) = -13*s**3 + s. Let v be x(-1). Let p be 87/v + 4/(-16) - 5. Solve -2*z - 4 = p*z for z.
-1
Suppose 2*k = 4, 5*g + 4*k + 0*k = 18. Suppose -m = 3*y + g - 1, 0 = 4*m + 3*y - 23. Suppose -5*v = -404 + 394. Solve 0 = 6*d - v*d - m for d.
2
Suppose 0 = 8*i + 64 - 24. Let q be (i/(-15)*3)/(1/5). Solve -11*u - q = -6*u for u.
-1
Suppose -4*f = 2*c - 5 + 1, -2*c = 4. Let v be 1 - -1 - (-10 + 10). Suppose 3*n = 15, -5*w = -f*w - v*n + 4. Solve -u + 5 = w for u.
3
Let v = -6 + 46. Let b = v - 37. Suppose -2*t = b*p + 1, -t + 2*p = -19 + 2. Solve -5 - t = -4*h for h.
3
Suppose 75*i = -75*i + 4650. Solve -22*t = -141 + i for t.
5
Suppose -15*r + 12 = -48. Suppose 5 + 5 = 3*z + r*g, -5*g + 13 = 4*z. Solve 2*u = -z*u for u.
0
Suppose 0 = 8*s + 12*s - 500. Let p be (-30)/s*(-1)/((-6)/(-10)). Solve -3*l - p*l = 0 for l.
0
Let d = -816 + 822. Suppose -3*l + d*l - 3 = 0, -l = -4*q + 27. Solve -2*v - 5 = -q*v for v.
1
Let w = -496 + 501. Suppose w*c = -3*c + 24. Solve 4*g - 4 = c*g for g.
4
Let j be 92 + 39/((-15)/5). Solve 0 = -j*d + 74*d for d.
0
Suppose -2*v + 185 - 137 = 0. Suppose 0 = -6*w + 47 - 17. Solve -w*q - q + v = 0 for q.
4
Let f be 18/10 + 3/15. Let u be (18/15)/2*(-10)/(-2). Suppose 33 = 3*b + u*x, -2*x = -b + 7 + 1. Solve b = 3*r + f*r for r.
2
Let o = 112 + -96. Solve o*x + 111 = 143 for x.
2
Let d(v) = v**3 + 20*v**2 + 17*v - 34. Let l be d(-19). Suppose 17*j - 9 = x + 13*j, 3*x - 2*j = 3. Solve -5 = -x*h + l*h for h.
-5
Suppose -3*m + 42 = -3*z, -z + 91 = 3*m + 21. Solve 0 = m*i + 2*i - 23 for i.
1
Suppose 4*x - 15 = -11*h + 6*h, 0 = -5*x + 2*h - 6. Solve x = -35*k - 39 - 66 for k.
-3
Suppose 3 = o + t, 32*t - 28*t + 9 = -o. Suppose -11 - 80 = -o*l. Solve -h - l + 11 = 0 for h.
-2
Suppose 3*p = -226 - 119. Let o = p + 118. Let j = -9 - -24. Solve o*t = -0*t + j for t.
5
Let u be 1*(-5 + 18 + -14)*(-14 - -1). Solve u*m - 91 = -0 for m.
7
Let x(y) = 5*y**2 + 65*y - 138. Let u be x(2). Solve u*s = -11*s + 115 for s.
5
Let j = -35 - -214. Let r = j + -176. Solve v + 2 = r*v for v.
1
Suppose 6552 = 123*a - 32*a. Solve 70*l - a*l + 4 = 0 for l.
2
Let o = -481 + 265. Let b = o - -232. Solve -9*n + 5*n = -b for n.
4
Let f(i) = 2*i + 13. Let t be f(-2). Suppose 13*d = 5*s + t*d - 148, -2*d + 24 = s. Solve s - 3 = -5*k for k.
-5
Suppose 3*w - 303 = 3*l - 0*l, 4*l - 729 = -7*w. Solve 23 = 18*q - w for q.
7
Let z(n) = 5*n**2 - 4*n + 3. Let r be z(5). Suppose 162 + r = 9*f. Suppose 6*v - f = 18. Solve v = -4*c - 0*c for c.
-2
Let g(a) = a**3 + 34*a**2 + 30*a + 30. Let i be g(-33). Let x = -106 + i. Solve 19 = d + x for d.
-4
Let b = -6114 + 6208. Solve 154 = -20*a + b for a.
-3
Suppose -z - 11 = -3*z - 3*h, -4*z + 10 = 2*h. Let k be 4/1 - (-1370 + 5). Suppose -1370*x = -k*x - 5. Solve x*y - 14 - z = 0 for y.
3
Let i be 590/25 + 4/10. Solve -226*z - i = -220*z for z.
-4
Let d be (-27 - -32)*7/5. Suppose 4*b - d*b + 15 = 0. Solve -10 - 15 = b*o for o.
-5
Suppose 684 = 157*k - 46*k - 1092. Solve -k*v = 4*v + 120 for v.
-6
Let q = 24 + -25. Let i be (-4)/8*q*2. Let c(w) = -184*w + 923. Let h be c(5). Solve g + h = -i for g.
-4
Let j be (-2800)/(-680) + (-2)/17. Suppose -42*m = -2*z - 45*m + 25, 3*m = -j*z + 35. Solve -d = 4*d + z for d.
-1
Let j(m) = 36. Let q(t) = -2*t + 36. Let n(h) = 2*j(h) - 3*q(h). Let r be n(6). Solve r = i - 1 + 5 for i.
-4
Let v(w) = 12*w**2 - 17*w + 1. Let z be v(3). Let c = z - 34. Suppose 2*i + c = 8*i. Solve u = -8 + i for u.
-4
Let y = 297 + -165. Let r = y - 128. Suppose 0*t + 12 = 3*t + r*s, -s = 0. Solve -v + 25 = t*v for v.
5
Suppose 3*w - 5*w + 3*r = -171, -5*w 