+ h*m + 4 = 0 for m.
-2
Let o = -787 - -791. Let m be 2 - (-1 - 0/1). Suppose 18 = -0*a + m*a. Solve -o*n + 2 = a for n.
-1
Suppose 134*o - 16 = 131*o + 5*z, o + 2*z = -2. Solve 48 = o*h - 18*h for h.
-3
Let r = 25849 + -25723. Solve -2*j - r = 12*j for j.
-9
Suppose -8*k = -15 - 17. Let i be (k/(-10))/(52/(-520)). Solve 0 = i*y + 5 - 1 for y.
-1
Let c = 6984 + -6971. Solve -c - 74 = 29*p for p.
-3
Suppose 0 = 24*s - 27*s + 9. Suppose y + s*j + 2 = -0*y, -5*y + j + 6 = 0. Solve 4*n - 11 = y for n.
3
Let y(l) = 4*l**3 - 15*l**2 - 19*l - 9. Let r be y(5). Solve -r*s = -86 - 61 for s.
7
Let m be (-8)/((-16)/(-45))*(-84)/105. Solve -4*s = -m*s + 14 for s.
1
Suppose -4*i + 2*p - 2 = 0, 4*i - 5*p - 4 = 9. Let d be 32/48 - i/((-9)/2). Let j be 5 - (1 - -2 - 3). Solve 0*o + 5*o - j = d for o.
1
Let n = 12777 - 12774. Suppose -2*w + 6*w = 8. Suppose 5*k - 30 = -5*l, 12 + 2 = 3*l + w*k. Solve n*u + 4 + l = 0 for u.
-2
Let g(h) = 7964*h + 87608. Let r be g(-11). Let d be -1 - -1*(0 + 1). Solve r*y - 4 = -d for y.
1
Suppose 9*s - 421 = 353. Suppose 0 = 2*k - k - s. Let j = 90 - k. Solve j*b = -1 - 19 for b.
-5
Suppose 3 = -g + 4*b, 5*g = -0*g - 3*b - 38. Let i(x) = -2*x + 2 - 2 - 12. Let o be i(g). Solve w = o*w + 1 for w.
-1
Suppose -23*o - 2 - 21 = 0. Let v be (1095/(-511))/(o/7). Solve 15*q + v = -15 for q.
-2
Suppose 0 = -3*v + 5*z + 319, 348*v - 346*v + 4*z = 264. Solve 129*f - 88 = v*f for f.
8
Let w = -283 + 92. Let r = w - -193. Solve -3*o = -r - 7 for o.
3
Suppose -3*k = w - 8, -5*k + 4 = -0*w - 3*w. Let u be 2198/(-157) + 140/(-5 - -12). Let i(g) = g**2 + g + 2. Let l be i(-2). Solve l = -w*x - u for x.
-5
Let s = 16 - 8. Suppose -34*t = -36*t. Solve 0 = s*m - t*m for m.
0
Let f be (132/11 - 14)*-10*1. Suppose -3*a - 5*d + 6 = -8*d, 0 = 5*d - f. Solve a*b - 28 + 22 = 0 for b.
1
Let p = 10303 - 10299. Solve 22*j = -48 + p for j.
-2
Let l be (0 - 0)/(-2 + 1). Suppose 0*k = -2*k + 4. Solve -k*v + 10 + 0 = l for v.
5
Let w be -245 - (8 + (-60)/6). Let b = -232 - w. Solve 3*l = 2 - b for l.
-3
Suppose 0 = 5*i - 15, 5*i - 25 = 4*k - 9*k. Suppose -22 = -4*o - k. Suppose o*s + 34 = 49. Solve -s = 2*y + 3 for y.
-3
Let u be (-51)/(-12) - (-5)/(-20). Let y(r) = r**2 + 6*r + 1. Let h be y(-7). Solve 4*j = h*j + u for j.
-1
Suppose 0 = -3*r + 457 - 415. Suppose -1018 = -43*m + r. Solve 4 = 4*b + m for b.
-5
Suppose -2*f + 2*r = -26, -9*f + 8*f - r = -23. Suppose -f*k + 98 = 26. Solve k*h - 4 = -0*h for h.
1
Let q = 5326 + -5251. Solve -167*x + 182*x = q for x.
5
Let m(y) = -67*y - 443. Let f be m(-8). Let t be (9/(-5))/(f/(-775)). Solve t = 82*l - 77*l for l.
3
Let b(a) = -2*a**2 - a + 10. Let m be b(5). Let j = m + 44. Let u be -3 + (3 + -6)*j - -2. Solve 7*s - u*s + 20 = 0 for s.
-4
Let a be 1/(28/10 - 3). Let i(l) = l**2 + 5*l + 4. Let n be i(a). Suppose -2*r = -r - 3. Solve 0 = -s - r*s + n for s.
1
Let d(n) = -2*n**3 - 7*n**2 - 5*n - 3. Let z be d(-2). Let l be (0 + (-96)/(-80))*z/(-2). Solve 45 = -l*o + 36 for o.
-3
Suppose -2*u + 51 = -5*k, -4*k + 35 = -5*u + 137. Solve 0 = -357*z + 351*z - u for z.
-3
Suppose -5*t - 2 = -3*j, -3*j + 2*t - 11 + 10 = 0. Let m be (j - -1) + (-17 - -20). Solve m*l = 7 - 4 for l.
1
Let l be ((-2 - 8/3) + 3)*-6. Suppose -8 = -2*t + l. Suppose 2*f - 4 = 5*f + 2*u, -4*f = 5*u + 10. Solve f*o + 3*o = -t for o.
-3
Suppose -155*w + 37955 + 15545 = -23070. Solve 518 = -4*i + w for i.
-6
Let y = 2 - 0. Suppose 9*x - 7*x = 6*x - 4. Let l be (4 - 4/y) + x. Solve 0 = l*t - 0*t - 15 for t.
5
Let n = 68 + -63. Suppose n*a = 19 + 141. Suppose -4*y + 40 = a. Solve 0*u = -y*u - 6 for u.
-3
Suppose -5*j + k = 5, -3*k - 55 + 70 = 2*j. Solve j = 2*x - 6 + 8 for x.
-1
Let w(s) = 3*s**2 + 18*s + 26. Let o(v) = -2*v**2 + 17*v - 17. Let k be o(1). Let r be w(k). Solve -1 = -r*n + 5 for n.
3
Let s be (7*(-6)/(-168))/((-1)/(-12)). Let l be ((-105)/70)/(s/(-2)). Solve v - 3 - l = 0 for v.
4
Let h = -159 + 159. Suppose n - 4*w = 15, h = 9*n - 10*n + w + 6. Solve -f + n = -4*f for f.
-1
Suppose -27 = 6*q - 12*q + 3. Solve 15*h + 40 = q*h for h.
-4
Let t be 4*20/(720/459). Solve 8*a = t*a - 172 for a.
4
Let f = 4907 - 4897. Solve f*p + 9982 - 10002 = 0 for p.
2
Let x(v) = -2*v**3 - 15*v**2 - 28*v - 12. Let j be x(-5). Solve -8*o - j*o = -11 for o.
1
Let q = 36 + -20. Suppose g + 5 - 21 = 0. Suppose g*p + 32 = 128. Solve p*t = 2*t - q for t.
-4
Suppose -19*j + 14*j = 45. Let d(k) = -9 + 0*k**3 - k**3 + 9*k**2 - k - k**3 + 3*k**3. Let f be d(j). Solve z - 5*z - 12 = f for z.
-3
Let w(c) = 65*c + 8527. Let d be w(-129). Solve -d + 98 = -11*i for i.
4
Suppose 0 = -2*n - 10, -2*u - 4*n + 4 = 18. Suppose -7*m = -10*m. Suppose -u*h - 15 = m, 4*h + h + 1 = -2*j. Solve -j = -2*p - p for p.
4
Let a be (8 + -1 + (-99)/11)*27/(-2). Let q(v) = 4*v**3 - v**2 + 1. Let k be q(1). Suppose 3 = -k*w + a. Solve -w = d + d for d.
-3
Let m be (1 - -6)/(26/(-2054)). Let d = -549 - m. Solve -d*j + 7*j - 6 = 0 for j.
2
Let c(t) = -t**2 - 34*t - 63. Suppose -3*j = 430 - 334. Let b be c(j). Solve 3*x + 8 = -b for x.
-3
Let m(z) = -z**3 - z**2 + 10*z + 10. Let l be m(-3). Let i be 34 - 37 - (4 - -1)*l. Solve x = i*x for x.
0
Suppose 53*k + 176 = 57*k. Suppose -4 = k*c - 46*c. Solve 14 - 10 = c*i for i.
2
Let v(n) = -25*n + 257. Let h(r) = 4*r + 1. Let f(a) = -3*h(a) - v(a). Let l be f(20). Solve 4*y = -l*y - 12 for y.
-3
Let v be (0 - (5 - 3/2))*90. Let p be (6/(-15) + 0)*v/42. Solve -6*k + p = 15 for k.
-2
Suppose 7*c - 2*c - 5 = 0. Let o be ((-30)/18)/(c/(-15)). Solve -o + 5 = 4*u for u.
-5
Let f be (-3)/(-9) + ((-220)/12)/1. Let h be (-18)/(-5) + 1 + f/30. Let b be 0/(1/(h/(-12))). Solve 3*c + b = -15 for c.
-5
Let m be (((-18)/(-27))/((-1)/(-9)))/2. Suppose -2*w = m*w - 10. Solve -r - 9 = w*r for r.
-3
Let w(z) = -11*z - 2. Let y be w(-2). Suppose 5*h + t + 53 = 80, 0 = -3*h + 4*t + 7. Solve 0*r = -h*r + y for r.
4
Let h = 1090 - 1030. Solve h = -22*j + 2*j for j.
-3
Let i(s) = -s**2 - 16*s - 61. Let q be i(-8). Suppose 2*k + k - 12 = -3*x, -2*k + q*x = -18. Solve 2*m + m = k for m.
2
Let g be 1 - -4 - (0 - 4). Let r be (-36)/g*(-1 - 0)*3. Solve r + 4 = -4*b for b.
-4
Let q = -5053 - -5108. Solve -76*g = -q*g + 126 for g.
-6
Let k(o) = -o + 9. Let p(w) = -w**3 - 22*w**2 + 23*w + 5. Let u be 1 + -1 + 4/(8/(-46)). Let r be p(u). Let b be k(r). Solve 2*m = b*m - 4 for m.
2
Let r = 2530 + -2512. Solve 0 = -56*j + 62*j - r for j.
3
Let w be (1*15)/(5 + -4). Let k(q) = -1002*q + 9020. Let a be k(9). Solve a*r = 19 - w for r.
2
Let s be (-50)/(-3) + (-195)/117. Suppose -3*i + 51 = s. Solve 2*t + i - 2 = 0 for t.
-5
Let j be 2/(-10) + 16/5. Suppose -b = -2*b - j. Let z be b/(-6)*5*(0 + 2). Solve -z*w = -7*w for w.
0
Suppose -1961 - 1214 = -115*m + 1195. Solve -13*a + m*a = 0 for a.
0
Let d = 0 + 3. Let y(g) = g**2 + 48*g - 196. Let m = -555 - -503. Let h be y(m). Solve -d*i = i + h for i.
-3
Suppose -1044*q + 380 = -1034*q. Solve 0 = -22*y + 41*y - q for y.
2
Let d(n) = 0*n + 791 - 15*n + 3*n**2 - 814. Let i be d(7). Solve -21*x + i*x = 8 for x.
-4
Suppose 8*o + 357 = 29*o. Suppose 5*n = -5*j + 10, -2*n = 2 + 4. Solve -12*c = -o*c + j for c.
1
Suppose 4*w - 4 = -5*v, 5*v - 3 = w + 21. Solve -v*o + 153 = 47*o for o.
3
Let o = 2541 - 2525. Solve -30 - 18 = -o*j for j.
3
Let h be (-17)/(-2) + (-16 - (-651)/42). Solve 0 = 3*w + w + h for w.
-2
Let c be 48/21 + (-6)/21. Let b be c - ((-8)/(-2) - -2). Let j(w) = -w - 2. Let l be j(b). Solve -3 = 5*d + l for d.
-1
Let w = 241 + -244. Let v be (24 - 18)*2/w + 4. Solve 5*l + 7 + 13 = v for l.
-4
Let o = -238 - -19. Let s = 229 + o. Solve 0 = -5*b - s for b.
-2
Suppose 3*g = 2*a - 28, -7*a - 3*g + 49 = -2*a. Let x(m) = -2*m**2 + 24*m - 21. Let u be x(a). Let o be (-1 - 2/(-2)) + 4. Solve -7 = o*c + u for c.
-2
Let f = -1 - 5. Let k = 20 + -19. Let p = k - f. Solve 0 = 2*u + 5 - p for u.
1
Suppose -181*o = -236*o + 220. Suppose -2*t = -2*f - f, 4*t - 22 = -5*f. Suppose 12 = c - t*x, -c - 4*c + 3*x = -12. Solve -o*d - d = c for d.
0
Suppose 73 = 4*h - 5*a, -14 = -h - 22*a + 19*a. Suppose 30*x - 13 = h*x. Solve -x = 5*q - 11 for q.
2
Let o = 59 - 57. Let t be (((-8)/(-6))/2)/(o/18). Suppose -19 + 1 = -t*i. Solve -2*a = i*a - 10 for a.
2
Suppose 3*m + 190 = 5*d, -5*d + 45*m - 48*m = -220. Solve -26 = d*q - 108 for q.
2
Let c(u) = -3*u**2 +