7 = 0 for m.
-4
Suppose -m + 3*s + 10 = 0, 11*s = 7*s - 8. Suppose 4*w + 6 = -g - 1, -m*g - 5*w + 5 = 0. Solve -g = 5*x + 15 for x.
-4
Let c = 0 + 57. Let t = c - 57. Suppose -j + 6*j = t. Solve -5*i + i + 8 = j for i.
2
Let v(s) = -s**2 - 308*s + 1251. Let c be v(4). Let g(w) = 2*w**3 - 4*w**2. Let q be g(3). Solve 0 = -c*b - 6 + q for b.
4
Let f(u) = -3*u + 26. Let g be f(8). Suppose g*a = 5*o - 2*a - 29, -3*a = -o + 8. Solve 0 = -2*z + o + 1 for z.
3
Let d(p) = 2*p**2 - 172*p - 1254. Let s be d(93). Solve -645*y + s = -653*y for y.
-6
Let m(v) = 13*v**2 - 2*v - 26. Let y be m(-7). Solve -5*n = 595 - y for n.
6
Let r = 35 + -32. Suppose 0 = -s - r + 11. Suppose -27 = -5*g + s. Solve -6 = -g*h + 4*h for h.
2
Suppose 0 = w - 4*w + 48. Suppose 0*q = 4*q - w. Suppose -q*s + 31 = 15. Solve s*m + 0*m = 0 for m.
0
Suppose -2*f + 3*b = -53, 4*b + 2 = f + 6*b. Solve 58 - f = -6*s for s.
-7
Suppose 68 = 4*m + 2*a, -a = -157*m + 153*m + 74. Solve 43*d - m*d + 25 = 0 for d.
-1
Suppose -259 = -9*q - 93 + 842. Solve 16*g = 32*g - q for g.
7
Suppose t + 114 = -4*p + 589, 4*p + 4*t = 484. Solve 0 = p*h - 114*h + 20 for h.
-5
Let v = 117 + 7. Let y = 173 - v. Let r = y + -45. Solve r = -5*h + h for h.
-1
Suppose -15*t + 130*t = -12*t + 4191. Solve t*n - 14 = 85 for n.
3
Let d(x) = 9*x**2 + 51*x - 14. Let k be d(-6). Suppose -5*w + 8*w = -k*o - 6, w + 2 = -o. Solve o = -5*i + 6*i + 7*i for i.
0
Suppose -28*j - 5 = -5. Suppose j*z - 105 = -7*z. Solve -6*x = 3 + z for x.
-3
Let i = 192 + -189. Suppose 15 = -5*o + i*t, -2*o - 7*t + 3*t + 20 = 0. Solve 0 = -o*d + 8*d + 32 for d.
-4
Let d be (-5 + 4 - -8) + -1. Suppose 3 = 3*z - 4*o, -z = -7*o + d*o - 2. Solve 5*f = 10*f + z for f.
-1
Let g(y) = y**2 + 6*y - 18. Suppose -12*u = -7*u + 45. Let m be g(u). Solve d + m - 6 = 0 for d.
-3
Let k be (1 - (-28)/24)*(-8 + 14). Suppose -2*u = -5*x + k, -6*x + 18 = -4*x - 4*u. Solve -y = x - 6 for y.
5
Let z(y) = 24*y**2 - 39*y + 6. Let p be z(3). Solve p*q - 25 = 80*q for q.
1
Let f(a) = a**3 - 23*a**2 + 21*a + 10. Let k be f(22). Let c be k/(-8)*5/(45/12). Let t be -4 - -5 - (-2 - -1). Solve c*r + t = -4 for r.
-3
Let v(m) = -3*m - 58. Let y be v(-20). Suppose 0 = -4*f + h + 16, 20 = y*f + 3*f - 5*h. Suppose -15 = -5*t, -4*t = f*q - 0*q - 20. Solve -q = -4*b + 18 for b.
5
Let x = -18397 - -18578. Solve -x + 71 = 22*k for k.
-5
Let u = 585 - 460. Let r = u - 69. Solve 20 = 52*c - r*c for c.
-5
Let c be (-4)/6 + (392/21 - 7). Let a be (16/56 + c/(-14))*-34. Solve -4*r + 33 = a for r.
4
Let m = -79 + 75. Let s be (-2)/m*((-9 - -4) + 15). Solve s*i + 2 = -8 for i.
-2
Let n = 22528 + -22091. Solve -13*c = n - 515 for c.
6
Let b(u) = u**3 - 22*u + 1. Let v be b(0). Solve -5*h - 9 = v for h.
-2
Suppose -9*j + 12*j - 2*s = 10, 5 = 4*j - s. Solve -6*y + 12*y - 24 = j for y.
4
Let v be 7/(-28)*-164 - (2 + -1). Solve 37*z - v = 29*z for z.
5
Suppose -31*z - 68 = -68. Let c = -34 + 48. Solve z = -c*v + 6*v + 40 for v.
5
Let j(i) = -21*i**2 - 20*i + 91. Let n be j(6). Let w = 811 + n. Solve -2*o + w = 22 for o.
2
Suppose 5*z + 3*q - 14 - 15 = 0, 5*z - 23 = -q. Let o(a) = -3*a**2 + 5*a - 5. Let m be o(4). Let r = 39 + m. Solve -2*s - z - r = 0 for s.
-5
Let j be (-5)/(-5)*(45 - 41). Solve -6*g + 10*g = -j for g.
-1
Let b(c) be the second derivative of -c**3/6 + 3*c**2 + 2*c. Let n be b(4). Suppose n*z - 4*z + 13 = 5*o, z - 4*o = 0. Solve a - 1 = -z for a.
-3
Let c(j) = -j**3 + 4*j**2 - 2*j + 1. Let b be c(3). Suppose 5*p + o - 642 = 0, -3*o - 634 = 23*p - 28*p. Suppose p*x = 125*x + 6. Solve -x = -b*u + 6 for u.
2
Let d be (-1 - (-1 - -242)) + -5 - 5. Let r = d - -255. Let h be (-8)/(-6) - (-4)/6. Solve -h*s + 25 = r*s for s.
5
Let f = -2056 + 2063. Solve f*d + 40 = 15*d for d.
5
Let w be (22/26 - 1) + 23364/(-572). Let d(u) = -u**3 - 39*u**2 + 81*u - 24. Let k be d(w). Solve -k = 5*v + 3 for v.
-4
Let s(w) = 2*w**3 + 6*w**2 + 5*w - 4. Let f be s(-5). Let m = -2704 + 2840. Let j = f + m. Solve x + j = 6 for x.
-1
Suppose 8 + 35 - 155 = -16*g. Let f(q) = -q**2 + 9*q - 3. Let c be f(8). Solve -g*k = -c*k for k.
0
Let n(w) = w**3 + 14*w**2 - 19*w - 64. Let c be n(-10). Suppose 31*f = c + 156. Solve -f = -14*h + 3*h for h.
2
Suppose 2*s - 3*y = 126, 93 = 2*s + 2*y - 33. Suppose -175 = -s*m + 28*m. Solve m*n - 10*n - 15 = 0 for n.
-3
Let i(d) = -16*d**2 - d - d**3 - 7*d + 16 - 6*d. Let q be i(-15). Solve -q = 5*v + 4 for v.
-1
Let b be ((-3)/(-2))/(6/32). Suppose -1648*d + 2339 = -4253. Solve d = -b*m + 20 for m.
2
Suppose -13*f = 14*f - 12 + 12. Solve 56*l - 57*l + 3 = f for l.
3
Let a be (-16)/(-72) + (94288/144 - -3). Solve 664*v + 54 = a*v for v.
-9
Let f = -75 + 86. Let r(k) = -k**3 + 11*k**2 - 7*k + 1. Let p be r(f). Let d = p + 80. Solve 5 + d = -3*y for y.
-3
Let r(n) = -n**2 - 9*n - 13. Suppose -h + 23 = -5*h + o, -5*h + 4*o - 26 = 0. Let c be r(h). Suppose -3*k - c*k + 8 = 0. Solve 0 = -f + k - 5 for f.
-4
Let m(j) = -9*j + 435. Let p be m(46). Let k = -35 - -20. Let u = p + k. Solve 0 = -5*b + 4 + u for b.
2
Let a = -401 - -401. Suppose a = -3*m + 95 - 74. Solve -5*b + 17 = m for b.
2
Let u be ((-4)/28)/(2/(-7))*0. Let w(f) = -3*f**2 + f**2 + 6 + 4*f + u*f + f**2. Let h be w(4). Solve -h*q = -5*q + 2 for q.
-2
Let x(c) = c**3 - 4*c**2. Let i(u) = u**2 - 3*u - 6. Let b be i(-2). Let h be x(b). Solve -2*l - l + 12 = h for l.
4
Let d be 0/(-9 + (-12)/(-1)). Solve 20*y - 29*y + 45 = d for y.
5
Let n be (-6)/(-8)*(-1 - 7). Let c = n - -13. Suppose 1414*s - 2658 = 85*s. Solve 0 = 3*j - c - s for j.
3
Let s(l) = -74*l**2 - 2518*l - 62. Let u be s(-34). Solve u*v - 6 = -0*v for v.
1
Let v = 561 + -558. Let h be 5/(120/246) + v/4. Solve -h*j + 15*j = -16 for j.
-4
Suppose -24 = -2*u - 8*g + 4*g, 0 = -4*u - 4*g + 40. Suppose -5*x + 2*j + 5 = -u, -x = -5*j + 2. Solve -54 = -x*q - 60 for q.
-2
Let a = 29 - 27. Let t(l) = l**2 + l - 2. Let c be t(a). Let h be 2021/344 - 3/(-24). Solve c*m = m - h for m.
-2
Suppose 22*h = 23*h + 3*a - 97, 2*a = -4*h + 338. Solve -t - 87 = -h for t.
-5
Let x be (0 + -17)*1 - -872. Solve -8*b = -831 + x for b.
-3
Let o(x) = 21*x - 64. Let u be o(-4). Let q = -145 - u. Solve 5*t - 7 - q = 0 for t.
2
Suppose 5*c + 5*k = 0, 0 = -3*k + k. Suppose 9*q + 6*q = c. Suppose -5*y - 2*a - 3*a + 25 = q, 25 = -5*y + 5*a. Solve y = -z - z for z.
0
Let b = -110 - -46. Let p = -27 - b. Suppose o - 31 + 19 = 0. Solve -5*z + p = o for z.
5
Suppose -182 = 5*w - 4*o, w - o = -19 - 18. Let l = w + 66. Suppose 5*u + 4*z - l = 0, 5*z + 12 = 2. Solve n + u - 3 = 0 for n.
-5
Let k = -17384 + 17397. Solve -21 = x - k for x.
-8
Let r(z) = -238*z - 2369. Let h be r(-10). Solve 3 = h*u + 80 for u.
-7
Suppose -3*y + 1302 = 21*y - 234. Solve 15*w - 47*w - y = 0 for w.
-2
Let t(p) = -52 - 353*p + 359*p - 27. Let a be t(15). Solve -5*c - a = 4 for c.
-3
Let a(i) = -i**2 - 10*i + 511. Let q be a(-28). Solve -15 = q*r - 1 for r.
-2
Let d(a) = -a**2 - 5*a + 10. Let l be d(-6). Let n be (-44)/(-6)*(3 + 18/(-12)). Suppose n*s - 3 - 30 = 0. Solve -l*g = 1 + s for g.
-1
Suppose 2*p + 49 = y + 4*y, 3*p = -6. Suppose 14*s = y*s + 100. Solve -s = 12*o - 8*o for o.
-5
Suppose 3*u = j - 22, -3*j + 2 - 6 = 5*u. Let s be (-18)/(-14) - 4/14. Let x be s/2*0/2. Solve x = -2*d + j*d for d.
0
Let u be (-27)/(9 + -3 - 36/8). Let m be u/(-2) - 3/(-3). Solve -4*b = 2 + m for b.
-3
Let m be 6/(-5)*(2*6 - (-26847)/314). Suppose -f = -5*a - 0*f - 558, 0 = 3*a - 5*f + 348. Let p = a - m. Solve -w = w - p for w.
3
Let b = 10669 - 10620. Solve -b = 14*w - 7 for w.
-3
Suppose 3*w + 3*q = 0, -4*w + 124 = -2*q + 94. Solve 6*t + 0*t = w*t for t.
0
Suppose 4*f + 4*j - 1950 = 1518, 4*f - 5*j - 3432 = 0. Let z = 863 - f. Solve z = 25*q - 19*q + 24 for q.
-4
Let b = 338 - 217. Let a be -1*(-6)/(-15)*(-4250)/300*-21. Let p = b + a. Solve -p = 4*y - 22 for y.
5
Suppose -9*m = -4*m - 4*j + 20, 4*m + 20 = 4*j. Suppose k - 8 + 2 = m. Solve 0 = -k*t + 2*t + 8 for t.
2
Let f be (-4)/6 + 234/27. Suppose -5*k - i = -52 + 1785, -3*k + i - 1043 = 0. Let d = k - -350. Solve -d*l = -f*l for l.
0
Let k be (-4)/(-30) - (-2980)/(-1050)*-7. Solve -k = -18*g - 2 for g.
1
Let d be ((-4)/5)/(3/(-15)). Suppose -l + 2*s = 3, 0*l + 13 = d*l - 3*s. Let x be (3/2)/(4*l/56). Solve -x + 0 = t for t.
-3
Let g(f) = 2*f + 2. Let d be g(-1). Suppose 0 = -5*