for m.
3
Let c = -47 - -72. Let x(s) = -s**3 + 4*s**2 - 3*s + 15. Let f be x(4). Suppose -p = w - 20, f*w - 10 = 2*p + c. Solve 2*z = -z - w for z.
-5
Let v = -586 - -1331. Let s = -729 + v. Solve 5*w + s = 26 for w.
2
Suppose 0 = -4*t + 4*b + 28, -4*t + 2*b = 3*b - 8. Suppose -6 = 4*r - 2*l, 0*l + t = -5*r - 2*l. Let i be (-4 + r)/((-3)/9). Solve i = -0*o + 5*o for o.
3
Suppose k + 80 - 175 = 3*u, -4*u = -4. Solve 0 = -25*y + 11*y - k for y.
-7
Let g(l) = 2*l**3 - 2*l**2 - 3*l + 2. Let n be g(2). Let p be (446/(-322) - 17/391)/((-6)/21). Solve p*x = -24 + n for x.
-4
Let b = 6 - 3. Let c = 809 + -780. Suppose 7*a = -b*n + 4*a + 18, -c = -5*n - 4*a. Solve -n*d + 8 = -12 for d.
4
Let i(h) = h**3 - 11*h**2 - 12*h - 4. Suppose -9*b + 96 = -b. Let c be i(b). Let d be 50/c*(1 - 9/5). Solve -4*s - s = d for s.
-2
Suppose 22365 = 176*y + 7757. Solve 0 = -y*q - 539 - 42 for q.
-7
Let y = -24 + 24. Let k = y - -15. Let p(d) = d**2 - 16*d + 15. Let u be p(k). Solve -r - 2 - 1 = u for r.
-3
Let c(y) = 63*y + 13. Let w be c(-7). Let b = 443 + w. Solve 13*r - 8*r + b = 0 for r.
-3
Let p = 3 - 14. Let a = -7 - p. Solve -a*q + 12 - 4 = 0 for q.
2
Let o = -7 - -11. Suppose 4*c + o*x = 104, -6*c + 123 = -c - 2*x. Suppose 2*q - 20 = 3*m, 4*m = 9*q - 8*q - 15. Solve -c = -q*w + 2*w for w.
5
Let j = -220 - -313. Let k = 101 - j. Suppose 0 = 5*w + 6 - 21. Solve k*y = w*y for y.
0
Let z(b) = -12 + 4*b**2 - 1227*b + 2386*b - 1222*b. Let i be z(16). Solve 5*r - 3 = i*r for r.
3
Suppose 6*w - 77*w = 3457 - 9279. Solve w = -8*s + 58 for s.
-3
Let r = 137957 + -137957. Suppose -4*u - 7 = -2*d + 9, 2*u = 2*d - 12. Solve -v = d - r for v.
-4
Let z be -9 + (-1)/(-4)*100. Solve -z*a = -26*a + 20 for a.
2
Let f(j) = j**2 - 4. Let p be f(-3). Let z(s) = -5074*s - 20294. Let d be z(-4). Suppose -a = -3*a + 24. Solve 0 = -p*c + d - a for c.
-2
Let l(k) = 3*k**2 - 1. Let w be l(1). Suppose 34*u = 44*u - 50. Suppose 3*m = 4*d + 10 - 5, -u*m + 2*d = -13. Solve o = w*o + m for o.
-3
Let c(w) = -w**3 - 17*w**2 - 57*w - 8. Let d be c(-16). Let s = d - 642. Solve 0 = -5*v - s - 9 for v.
-3
Let u = 9 - 1. Suppose 33 = 4*v - 5*i, -v + 0*v - u = 2*i. Let o = -37 + 40. Solve -o = -w - v*w for w.
1
Suppose -12 = -6*a + 5*a + 2*q, -4*q - 20 = 0. Suppose 5*l = 2*l + 5*b + 38, 5*b + 6 = l. Suppose 2*c - l - 20 = 4*v, v - 26 = -3*c. Solve c = -a*k - 3*k for k.
-2
Let n(t) = 7*t - 3. Let d = -19 - -15. Let m = 5 + d. Let y be n(m). Solve x + y*x = -5 for x.
-1
Suppose -9*a - 3 = -10*a. Let j be (-2)/10*(-2 + a - 11). Solve 0 = -d + j + 3 for d.
5
Let d be (3/2)/((81/9)/(-18)). Let h be d - (-11)/((-44)/(-24)). Solve 2*r = -r + h for r.
1
Let d = 116 + -112. Suppose 0 = -3*s - d*q + 46, 2*s - 4*q - 3 = 1. Solve 9*r = 11*r + s for r.
-5
Let c = -375 + 380. Let d be 2 + (c - 15/(-3)). Solve -6*a + 9*a + d = 0 for a.
-4
Suppose -2*d = -3 - 1. Let i = 33967 + -33960. Solve d*m - i = -9 for m.
-1
Let w = 7688 + -7589. Solve w = -12*j + 27 for j.
-6
Let a(p) = 2*p**2 + 199*p + 5912. Let w be a(-76). Solve w = -26*x + 2106 for x.
-9
Suppose 0 = 2*v + 6*u - 32 - 10, 0 = -4*v + 4*u + 196. Solve v = 7*s + 98 for s.
-8
Let a = 13399 - 13311. Suppose 3*f - 15 = 0, 2*f - 5*f + 475 = 5*c. Let h = c - a. Solve h*s + 8 = -0 for s.
-2
Let k be ((8 - -4) + -16)*-10*(-2)/(-16). Solve k = -24*u + 125 for u.
5
Let s be (-30)/(-950)*19 - (-234)/10. Solve s*v - 25 = 19*v for v.
5
Let n(c) = 2*c - 16. Let y be n(8). Suppose y + 12 = 4*d. Let g be (-8)/12 + 4/6. Solve g = 2*q - d*q + 1 for q.
1
Let t(g) = g**3 + 14*g**2 + 23*g - 9. Let v(b) = -b**2 + 7*b - 22. Let m be v(5). Let z be t(m). Solve -16 = z*q + q for q.
-4
Suppose 0 = -5*i + a + 149, -152*i + 5*a + 49 = -151*i. Solve -i*p - 56 + 56 = 0 for p.
0
Let r be (4 - (-697)/(-85))*((-4)/(-3) - 3). Solve -r*k - 8*k = 15 for k.
-1
Let c(q) = q**2 - 22*q - 419. Let h be c(35). Solve 0 = -h*j + 48 - 120 for j.
-2
Suppose 0 = -7*a + 2*a + 75. Suppose 5 = -10*j + 35. Suppose -13*d = 6*d - j*d. Solve -3*m + d*m + a = 0 for m.
5
Let m(k) = -4*k**3 + 52*k**2 - 157*k - 12. Let s be m(8). Solve 1428*b - 1434*b + s = 0 for b.
2
Let z(h) = 12*h - 55. Let o be z(4). Let w be 26 + o - (-8)/(-2). Solve 5*k + 0*k = w for k.
3
Suppose 2*v - 5*v = 3*s - 51, v = -5*s + 101. Let c be (156 + 21/3)*(-1 - -2). Let i = 166 - c. Solve i*q = -6 + s for q.
5
Let m(p) = -p**2 + 67*p - 670. Let c be m(15). Solve -c*r + 118*r - 24 = 0 for r.
3
Suppose 4*g = 288 + 36. Let k = g - 60. Solve k + 24 = -9*q for q.
-5
Let o = 134 - 126. Let g(q) = q**3 + 1. Let y be g(2). Solve -y*a + 4 = -o*a for a.
4
Suppose -4*l - 19 + 7 = 3*t, 0 = 5*t. Let q be l/9*18*(0 - 1). Solve -c = 1 - q for c.
5
Let y = 2462 - 2447. Solve -33 = 6*o - y for o.
-3
Let q(y) = 41*y + 1774. Let t be q(-38). Solve -t = 42*g - 48 for g.
-4
Suppose 24 = 3*a - 3*p, -3*p - 11 - 23 = -4*a. Suppose 3*t - 14 = -2*z + 1, -3*z - 2*t = -a. Let f = -3 + 7. Solve z = 2*i - f - 2 for i.
3
Let h be ((-2)/4 + 812/8)/(-35 + 36). Solve -36*s + h = -43 for s.
4
Let y(r) = 3*r + 102. Let p be y(-24). Suppose -p = -5*l + 10. Solve -2*x = -0*x + l for x.
-4
Let t(r) = -21*r - 83. Suppose 6*y + 12 = 3*y. Let m be t(y). Solve 2*d + m = 3*d for d.
1
Let s = -9 - -9. Suppose 4*t - 4*i + 24 = 0, -t = 4*i - 3 - 6. Let p be -2*t*3/18. Solve s = y - 4 - p for y.
5
Let s(v) = -v**3 + 2*v**2 + 28*v - 14. Let f be s(6). Suppose -4*i = 6*j - 5*j + 20, 3*j = 2*i + f. Solve 14*h - 10*h + 12 = j for h.
-3
Let y = -135 - -136. Suppose 2*k = -v + y, 3*k - 7 = 3*v + v. Solve 2*n = 1 + k for n.
1
Let r(d) = d**3 - 7*d**2 + 2. Let o be r(7). Suppose -o*s + 8 = -2. Solve -3*c + s = 2 for c.
1
Suppose 48 = -5*o + 3*x - 14, 48 = -4*o + 2*x. Let a be (-2)/(-6)*(o - -40). Suppose 4*h = -4*n + 4, -2*n - 25 = -4*h + n. Solve a = 3*w + h for w.
2
Let b(i) = i**2 + 45*i + 250. Let d be b(-39). Solve 21*k - 25 = d*k for k.
5
Suppose d - 3 = j, -3*d - j + 1 = -2*d. Let p(n) = -n**2 - 7*n + 8. Let w be p(-8). Suppose q = -4*f + 4, 4*f + 12 = -5*q - w*q. Solve 0 = d*i + f*i for i.
0
Suppose 3*r + 31*k - 163 = 30*k, 279 = 5*r - 2*k. Solve -181 + r = 18*f for f.
-7
Let b = 55 - 43. Suppose 22 = 5*c + b. Solve -c*a = a for a.
0
Let x = 216 - 203. Suppose -h + x = 2*q, 2*q - 22 = -q - 2*h. Solve -7*p = -6*p - q for p.
4
Let x(f) = f**3 - 7*f**2 + 17*f + 37. Let w be x(5). Solve 12*m + w = -0*m for m.
-6
Let a = -15 - -19. Suppose 25 = 5*x - a*y + 3*y, -4*y = 20. Let t(n) = -n**3 - n**2 + n + 3. Let q be t(0). Solve -q*g + 1 = -x*g for g.
-1
Suppose -11*d - 2049 = 3099. Let r = 470 + d. Suppose -4*q + 4*g + 100 = 0, 4*g - 60 = -0*q - 4*q. Solve 6*l - q = r*l for l.
5
Let k = 18379 + -17628. Solve -9*c - 706 + k = 0 for c.
5
Let o be ((19 - 19)/(-2 + 0))/2. Let q be 6/(-4)*(-1 - 1). Let f be -1 - 6*q/(-6). Solve -t + o = -f for t.
2
Let r = -24398 + 24436. Solve 12*i + 34 = -r for i.
-6
Suppose 4*x = -o + 9, 0 = -4*o + 3*o - 5*x + 8. Suppose -11*v + 10*v = 2*q - 33, 0 = -q + 3*v + o. Solve -5*c = -c + q for c.
-4
Suppose -3*t - 10*t - 923 = 0. Let u = t + 71. Solve u = -0*v - 4*v for v.
0
Let m = 131 - 123. Let l = 40 + -23. Solve -5*u = l + m for u.
-5
Let f(x) = 9 - 33*x - 2*x**2 + 3*x**2 + 27*x. Let g be f(3). Suppose 5*z + 4*y - 37 = 0, -z + 2*y - 5*y + 14 = g. Solve 7 = -4*s - z for s.
-3
Let k(n) = -11*n + 6. Let m be k(4). Let o = 3439 - 3398. Let l = m + o. Solve 2*h - l*h = -3 for h.
3
Suppose 3 = -2*g + 3*p, -4*g - g - 2*p = 17. Let i be g/(-4) - 48/64. Solve i = 3*q + 2*q - 10 for q.
2
Suppose -4*c - 2*h + 56 + 82 = 0, -4*c + 3*h + 163 = 0. Solve -c = -7*y - 2 for y.
5
Suppose -741*q + 3276 = -723*q. Solve 7*b + q = -19*b for b.
-7
Let v be 13/(247/152) + 25. Solve v = -0*w - 33*w for w.
-1
Suppose 55*r = 4*r + 656 + 262. Solve -42 = 12*d + r for d.
-5
Let q be (-6)/(-2) + (-30 - -36). Solve 18 = -12*h + q*h for h.
-6
Let j be 40/30 - 107/(-3). Suppose -2*z = -3*o - j, 0 = -2*z + 3*o + o + 36. Solve 0*v - 4*v + z = 0 for v.
5
Suppose -3*a - 9 = -3*l, -4*a + 3*l - 3 - 12 = 0. Suppose -5*o - 30 + 125 = 0. Let m = o - a. Solve 5*k - 5 = -m for k.
-4
Suppose -109*p = -149*p + 2200. Solve -87*s + 76*s = -p for s.
5
Let f = -1414 - -1427. Solve 9 = f*g - 4 for g.
1
Suppose -r + 6*r + 901 = -3*b, r + 185 = b. Let p = 192 + r. Solve -5*a = p + 10 for a.
-4
Suppose 0 = -b + 26 - 2. 