+ 13 = m*j for c.
-1
Suppose -42 - 12 = -6*o. Suppose 2*i + q - 22 = 0, 10*i + o = 11*i + q. Solve s - i = 3*k + 2*s, 0 = -2*k + 3*s + 6 for k.
-3
Let t(h) = -11*h + 2. Let u be t(-1). Let s be u/(-11) + 8/44 - 3. Let l be (-6)/s*(-6)/(-9). Solve -2 = 4*f + v, -f + 3 + l = -2*v for f.
0
Suppose -7*b + 3*q - 100 = -12*b, 4*b - 80 = -4*q. Suppose 3*n - b = 3*m + 2*m, -5*n = 2*m - 23. Solve -4*r + 5 = n*z, 2*z + 4 = 3*r + 6*z for r.
0
Suppose 4*o = 3*t - 46 + 32, 0 = -3*t - 5*o - 4. Solve -2*p + 5*h - 8 = 0, t*p = -22*h + 18*h + 10 for p.
1
Let c be (-40)/(-2)*-1 + 45. Solve -4*t = 2*l + 26, l - 6*t - c + 6 = 0 for l.
-5
Suppose 2122*f = 2249*f - 508. Solve -f*x - d + 14 = 0, 5*x + d - 54 + 36 = 0 for x.
4
Let k be 95/(-57) + 17/3. Suppose -5*b + 9 = -2*i + 4, i + 5*b = 20. Solve 0 = i*x + 2*h - 9, k*x - 2 = h + 13 for x.
3
Let s be 4/(-10) + 2484/60. Suppose 0 = -39*w + s*w - 20. Solve 3*c + 2*g = 11 + w, 0 = 5*c - 4*g - 13 for c.
5
Let n = 522 - 519. Let w(o) = o**3 + 9*o**2 - 35*o + 14. Let u be w(-12). Solve 0*q + u*l = 3*q - 1, n*q + l - 13 = 0 for q.
3
Let w(m) = 2*m**3 + 6*m**2 + 77*m + 148. Let i be w(-2). Solve -5*q - 7*y + 9*y = 6, 3*q + i*y = 6 for q.
0
Let s = 24 - -77. Let x = s + -101. Solve 2*t = -x*m - 2*m + 10, -20 = -4*t - 5*m for t.
5
Let j be -6*1*(-6)/9. Suppose 4*u - 36 = -j*x, 2*u - x = -2*x + 14. Solve 0*b - u*s = -2*b - 9, 0 = 2*b - s + 5 for b.
-2
Suppose 33963 - 33939 = 12*t. Solve -2*u + 16 = t*w, w = 15*u - 14*u - 2 for w.
3
Let s = 5567 - 5567. Solve -20 = -3*c + 5*u + 2, -c - 3*u - 2 = s for c.
4
Suppose -10*i + 16 = -4. Let q be (-51)/(5 + 4/(-1)). Let z = -40 - q. Solve -4*h - z = -y, -h + 1 = -i*y + y for h.
-4
Let k be 46/14 + (-78)/273. Let y(f) = f**3 - 5*f**2 + 5*f + 2. Let p be y(5). Suppose -6*b + p = -k. Solve 2*g - n = -3, -b*g = -9*n + 4*n - 5 for g.
-4
Suppose -2*m = -d, 5*m - 94*d + 95*d - 14 = 0. Solve -7 = -q + 4*p - 3*p, 2 = -2*q - m*p for q.
3
Suppose 0 = 2*r - 5*r. Let p = 453 + -445. Let u be (-52)/(-416) - (-95)/p. Solve 9 = 3*k, 3*f = -r*k + 3*k - u for f.
-1
Let w(l) = l**3 + 30*l**2 + 142*l - 48. Let a be w(-24). Let x be 0/5 - (0 + -3). Suppose -55 = -8*c + x*c. Solve 2*r + 2*p - c = p, -3*r + 2*p + 6 = a for r.
4
Let d(p) = -p**3 - 11*p**2 + 3*p - 104. Let w be d(-12). Suppose -10 = -12*v + 14. Solve z + w*z + 2*b = -10, v = -z + 3*b for z.
-2
Suppose 3*m = -3*m + 90. Suppose m - 39 = -6*s. Solve -s*l = -4, -2*w + 3*l = -3*w for w.
-3
Suppose -3*s = 4*l - 2*l - 14, -5*l = 5*s - 30. Let c be (9 + 118)*(-1 + -2 + l). Let j = c + -122. Solve -5*f + 3*f + 2*n = -2, -4*n = -f - j for f.
3
Suppose -39*q = -5*q - 170. Solve 5*d = 5*p + 5, 18*p + q*d - 45 = 13*p for p.
4
Suppose 65*o + 702 - 1150 = 1502. Solve -2*d = -3*s + 22, 1 = 3*d - 26*s + o*s for d.
-5
Let g be (6/18)/(((-11)/(-21))/11). Let l(z) = z**3 - 9*z**2 + 8*z + 46. Let m be l(g). Solve y - 3*k - 4 = -5*k, -m*y + 5*k = 36 for y.
-4
Suppose 0 = 2*w + 4*r - 6, -3*r = -r. Let x be 0*(7 + (w - 9)). Solve 3*b + 2*f = -x*f + 22, 4*b - f - 11 = 0 for b.
4
Let y be 0*((-285)/(-456) + (-2)/16). Solve -8 = 2*f - t - 3*t, -f + 3*t - 5 = y for f.
-2
Let y = -159 - -162. Solve 5*a = y*g + 33 - 14, g - 3 = -3*a for a.
2
Let o(f) = 4*f**2 - 7*f - 5. Let u be o(3). Suppose 6*g - u*g = 0. Solve -i - x = -5*x - 16, -5*i + 5*x + 20 = g for i.
0
Let a = -317 + 317. Suppose a = -2*g + 6. Solve 5*q - 9 = -w, -g*q + 4*w + w - 17 = 0 for q.
1
Let c = -30187 - -30191. Solve -5*i = -c*q - 33 + 38, 2*q = -3*i + 19 for q.
5
Suppose 0 = 96*r - 101 - 91. Solve r*z - 166*a + 14 = -168*a, 3*z + 25 = -5*a for z.
-5
Let b(s) = s**3 - 95*s**2 + 181*s + 481. Let t be b(93). Solve 4*q + 2*a - a - t = 0, 2*q - 26 = 4*a for q.
5
Let q = 326 - 305. Suppose -q*s + 24*s = 45. Solve -5*n - 20 = -3*t, 0 = 5*n + 2*t - 4*t + s for n.
-1
Let z be 60/16 + (-2)/(-8). Let x be (5 - 10)*12*(-4)/(-30). Let b be (6*(-2)/x + -3)*-4. Solve 5*q = -z*p + 16, 5*q - 5*p + 14 = -b for q.
0
Suppose -6*n + 168 = -0*n. Suppose 8*u = n + 132. Solve -4*i = w + u, w + 4*i = -i - 25 for w.
0
Suppose k - 2*k = 4*q - 119, 5*q - 3*k = 153. Let g = q - 28. Let j be g/((-2)/9 + (-56)/(-90)). Solve -j*z = -5*l, -z + 5*z = 0 for l.
0
Suppose 151*a - 145*a + 1038 = 0. Let w = 176 + a. Solve -2*p + 2 = 2*n - 4, 0 = -5*p - w*n + 9 for p.
0
Let s be (1 - 3)*(4 + -19). Let x be -15 - (s/5)/(-3). Let f = -10 - x. Solve -1 = -2*g - l, 0*g = f*g - 2*l + 9 for g.
-1
Suppose -6 = -236*t + 233*t. Suppose -2*n - t = -6. Solve -11 = 3*a - m, -3*a - n*m - 5 + 0 = 0 for a.
-3
Let a = 365 - 360. Suppose -18 = -4*s - 2*g + 4*g, -a*s - 2*g = 0. Solve -r + 2 = 3*f - s*r, -5*f + 26 = 4*r for f.
2
Suppose -11 = -10*x + 199. Suppose 0 = -z - 16 + x. Suppose -z*y - 4*d = 12, y + 0*y + 5*d + 15 = 0. Solve 2*i + 12 = 5*r, 2*r + 2*i = -y + 16 for r.
4
Let s = 244 + -243. Let l be 9/(-24)*(-9 + s). Solve -10 = -2*p - l*i, -4*i + 6 = -p - 0*i for p.
2
Let g be (24/54)/(7/63). Let z(c) = -3*c + 10. Let r(k) = k. Let a(q) = 2*r(q) + z(q). Let t be a(10). Solve 2*o - 16 = -g*n - o, o = t for n.
4
Let n = -4958 + 4963. Solve 0 = n*c - 5, 2*x - c - 13 + 6 = 0 for x.
4
Suppose -i + 165 = 4*i. Suppose f = -1, 5*y + 5*f = 4*y - 3. Solve -2*h = -3*h + v - 9, i = -5*h + y*v for h.
-5
Suppose 16*c - 1312 = 32*c. Let p = -78 - c. Solve 2*k + j - 8 = 0, 3*k - 7 = -2*k + p*j for k.
3
Let n = -332 + -51. Let l = -378 - n. Solve -z + l*a = z + 7, -z = a for z.
-1
Let d(k) = k**2 - 7*k + 5. Let n(r) = -r - 2. Suppose -6*l = -0*l + 54. Let v be n(l). Let t be d(v). Solve 10*g - 5*g = t, -2*j + 4*g - 10 = 0 for j.
-3
Let k be 585/18 + 2/4. Suppose 14*n - 145 = -k. Solve 5*x + 4*s = 20, -x + 4*s = -3*x + n for x.
4
Let y(a) = a - 1. Let k be y(5). Suppose 2*h - 80 = 5*d, 3*d + k = 2*d. Let p be (28/12 + -4)*(1 + -4). Solve p*o - 5*q + h = 0, -2*o - 2*q + 5*q = 14 for o.
-4
Suppose -4*j = 8*j - 2196. Let i = j + -183. Solve i = -3*z + f + 11, f = z + 4*f - 17 for z.
5
Let u be ((-12)/48)/((-1)/28). Suppose 4*f - 4 = 0, -3*w + 5*f = -u*w + 77. Solve 4*x - 4*k - 18 = w, -5*k = -3*x + 35 for x.
5
Let d = 2 + -1. Let t be (((-14)/20)/(-7))/((-2)/(-20)). Solve -5*b = 2*v - 14, -b - 2*v - d = t for b.
4
Suppose 3*z - 14 + 0 = -2*h, 5*h = 5. Let q be (4/(-6))/(z/(-6)). Solve -4*y = 3*i - 30 - q, 0 = y - 4*i + 16 for y.
4
Suppose -1898 + 126 = -4*l. Let i = -421 + l. Solve m = -y - y, 0 = -5*m + y - i for m.
-4
Let h be 4/(-8*15/(-120)). Solve h*o + 0*w = 4*w - 12, -o - 6 = -4*w for o.
-2
Suppose 4*d = -4*g - 8, -7*g = -4*d - 9*g + 2. Solve k + j = 0, -4*j + d*j + 6 = 4*k for k.
2
Let u(y) = 8*y - 68. Let r be u(9). Let o = -14 - -17. Solve -4*c = -2*k - c - 12, c - r = -o*k for k.
0
Suppose r = -3*r + 60. Suppose w - 5 = 2*g, -w - r = 4*g - 4*w. Let d be 13/(13/18) + g. Solve -3*k + d = 2*u - 7, 2*k - 3*u + 5 = 0 for k.
5
Let a = -211 + 213. Suppose q - 7*v - 5 = -4*v, a*q - 6 = 2*v. Let m be 2 - (2*2)/(-2). Solve -m*x + q*r + 22 = 0, -2*r = 3*x - 0*r + 1 for x.
3
Suppose 2*c = 2*q - 0 + 6, 4*c = -2*q + 6. Let w(s) = s**2 + 5 + 2*s**c - s - 3 - s**2. Let g be w(1). Solve -y = g*d + 9, -2*y + 2*d = -3*y - 6 for y.
0
Let y = -5535 - -5536. Solve 5*b - 4*u + 5 = 0, 0 = -4*b + 3*b + 4*u - y for b.
-1
Suppose -14*g + 7*g - 266 = 0. Let x = g - -46. Solve 4*m - x = 4*v, 5*v - 2*m + 0*m + 4 = 0 for v.
0
Suppose 6168 = -10*q + 6208. Solve -q*i - 4*w + 7*w = -20, 2*i - 4*w = 10 for i.
5
Suppose -111 = -4*u - 39. Let n(b) = -b**2 + 21*b + 76. Let q be n(24). Solve 3*j - 4*h - u = j, -5*j = -q*h - 33 for j.
5
Let t(w) = -55*w + 1106. Let j be t(20). Solve -j = -4*d + 2*m - 18, 0 = -3*d - 3*m - 9 for d.
-3
Suppose -2*o + 5*o - 36 = 0. Suppose -o*l + 41 = 17. Solve -8 = t + h, 2*h + 21 = l*t - 5*t for t.
-5
Let i(s) = -s**3 - 4*s**2 + 5*s + 21. Let z be i(-4). Suppose -28797*w = -28786*w. Solve 5*y - 2*l = -z, -y + 2*l + l - 8 = w for y.
1
Let f(l) = 2*l**3 - 70*l**2 - 233*l + 203. Let x be f(38). Solve 5*p - 21 = 4*n, 0*n + 3*n = -2*p + x for n.
1
Let n(c) = 8*c - 8. Let s(v) = -23*v + 24. Let q(r) = 17*n(r) + 6*s(r). Suppose -6*x - 30 = -21*x. Let b be q(x). Solve 5 = -b*i + 5*y, -3*y = -8*y - 15 for i.
-5
Let w(q) = q**2 - 3*q - 62. Let v be w(0). Let u = -53 - v. Suppose -k + 60 = u*k. Solve -3 = y + 5*h + k, 4*h + 4 = -4*y for y.
1
Let r(n) = 2*n**2 - 186*n - 1185.