p + 30*u for p.
-1
Suppose -244 = -68*t + 501 - 133. Solve 0 = -5*v + 15, -4 = -t*r + 13*r - 4*v for r.
2
Suppose -72 = 60*r - 71 - 241. Solve 19*x - 15*x + 20 = 4*z, -20 = r*x - 5*z for x.
-5
Suppose 12 = -2*v, -d + 3*v + 6 = -27. Solve -10*z - 3*c = -9*z - 13, 0 = z - 4*c + d for z.
1
Let a = 5137 - 5135. Solve a*l + 0 = 2*z + 12, 18 = 2*z + 4*l for z.
-1
Let f = 32 - 17. Suppose -45 + f = -15*r. Solve 0 = -2*z - r*x + 16, x = z - 0*x + 2 for z.
3
Suppose 4*g - 13 - 3 = 0. Let m be 4/(-10)*(108360/(-48))/43. Solve -5*c = -g*x + m, 11 + 4 = -2*c - 5*x for c.
-5
Suppose 3*o - 1911 = -3*j, -49*j - o + 1277 = -47*j. Let p = 652 - j. Let v = 7 + -3. Solve v*g + p = 2*a, -5*g + 4*a + 2 - 17 = 0 for g.
-3
Suppose -x + 4*v = 82 + 16, 5*v = -3*x - 311. Let a = x + 123. Solve 5*b + 1 = -2*n + a, 26 = 3*b + 4*n for b.
2
Suppose -12*r + 44 = 8. Solve -y - y = -5*q + 12, -3*q = r*y - 24 for y.
4
Let c be -5 + (7812/357 - (-8)/68). Solve -a + 9 = 12, -3*a = 2*q + c for q.
-4
Suppose -68 = 22*y - 5*y. Let s(l) = 22 + 3*l - 2*l + 6. Let h be s(y). Solve -3*d = 5*f + h, d - 3 = f + f for f.
-3
Let s be 3220/69*(-12)/10. Let g = s + 60. Solve 0 = -3*p + g*b - 14, -p = b - 3*b + 8 for p.
2
Let i be -31 - 0 - (13 - 11). Let m = i - -36. Suppose 18 = 5*y + 8. Solve 3*p + 3 = -m*x, 2*x + y - 4 = -p for p.
-4
Let z(o) = 8*o - 11. Let a(x) = -9*x + 12. Let t(y) = -6*a(y) - 7*z(y). Let b be t(-3). Suppose -5 = b*n - 5. Solve 0 = j - 5, n = l + 2*j - 7 - 7 for l.
4
Let c be (-2)/((10/(-9))/5) + -4. Suppose -3*s + 6 = 0, 2*n - 5*n + c = -2*s. Solve -4*t + 3*t - n*p + 2 = 0, -t - 5*p + 4 = 0 for t.
-1
Let w be -5*7*(-1)/5. Let n(u) = u**2 - 8*u + 9. Let i be n(w). Let v = i + 0. Solve 0 = -3*z + v*q - 5*q + 6, 3*z = 5*q - 34 for z.
-3
Suppose -2*b + 118 = -4*l, 3*b + l - 3*l - 165 = 0. Suppose x + 48 - b = 0. Solve -3*o + 4*y + x = -6*o, o - 2*y - 15 = 0 for o.
5
Let w = 3221 + -3217. Solve -w*y = 4*j - 0*y - 12, y = -3*j + 5 for j.
1
Let y(o) = 7*o**2 - 8*o - 78. Let r be y(4). Solve 2*v - 2*a = 0, -2*v + 5*a + 4 = -r for v.
-2
Let x = 93 - 86. Suppose 2*h + 4*n = 8, -3*h - 2*n + x = -n. Solve -5*m + 3*y = -y - 10, h*m = -y + 4 for m.
2
Suppose 0 = -40*d + 36*d + 96. Let y(z) = z**3 - 23*z**2 - 25*z + 26. Let h be y(d). Solve -2*i + 11 = -o - 0*i, -2*o - 2*i = -h for o.
-3
Suppose 115*i - 124*i = -450. Suppose 79*n = 74*n + i. Solve -5*z + 25 = -0*l - 4*l, -l = 2*z - n for z.
5
Let b be ((-156)/5)/((-99)/(-330))*(-2)/16. Solve 0 = 7*n - 6*n + 1, -2*v + 3*n + b = 0 for v.
5
Suppose 0 = 40*h - 3 - 78 - 39. Solve -5*u - h*r = 1, 2*r = u + 6*r - 10 for u.
-2
Let w be (9 - (18 + -6)) + (-2 - -9). Solve 0 = 5*q + w*g - 9, -5*g - 18 = 2*q - 8 for q.
5
Let o(z) = -4 + 10*z**2 + 4*z**2 + 5*z - 7*z**2. Let q be o(1). Suppose 27*r = 29*r - q. Solve -5*l + 5*m + 25 = 0, m = -r*l - 2*m + 13 for l.
4
Suppose -p + 6*s = s - 83, 3*s + 481 = 5*p. Suppose -5*m - p + 38 = 0. Let g = m + 16. Solve -g*z + 5 = -b - 3, -4*z + 32 = 5*b for b.
4
Suppose 3*j = -h + 20, -14*h + 18*h + j = 14. Solve 2*g - h = 8, -g = -5*m - 20 for m.
-3
Let k(a) = -47*a - 562. Let z be k(-12). Solve 2*q + 31 = 5*j, -z*q + 4 = 5*j - 15 for q.
-3
Let k be (8*((-60)/(-21))/5)/(34/119). Solve 4*w - o + k = 0, -6*o + 11 = -3*w - 5*o for w.
-5
Let x = -91 + 96. Let y(u) = -5*u**2 + 7*u + 7. Let v be y(6). Let q = 133 + v. Solve q*z = -2*z + j + 15, z + x*j + 12 = 0 for z.
3
Suppose 6*u + 890 = 11*u. Let h = -175 + u. Solve -4*y = -h*y - 3*f + 14, 4*y = 5*f - 35 for y.
-5
Suppose 0 = -804*s + 393*s + 396*s + 525. Solve -31*f + 41 = -s*f + 3*y, 5*f + 34 = -2*y for f.
-8
Let x = -88 + 85. Let i be ((-16)/(-14 + 6))/((-2)/x). Solve -3*w - 22 - i = 2*p, 4*p + 45 = -5*w for w.
-5
Let i be (-3)/18 + (-10287)/(-486). Solve -t + i = 5*u, 3*t + 17 = 5*t + 5*u for t.
-4
Let l(b) = b. Let w = 14 - 10. Let r be l(w). Suppose 11996 = -31*t + 13236. Solve h - 5*y + 4 = 34, -r*h + 4*y + t = 0 for h.
5
Let s = 3067 - 3056. Solve -4*k - 2*z = -6, -7*k = -3*k + z - s for k.
4
Suppose -19*d - 16 = -20*d - 2*j, 3*d - j = 27. Suppose -3*h - d = y, -43*y - h - 25 = -47*y. Solve -y*a + 10 = -5*p, a - 2*a = -1 for p.
-1
Let a be (-548)/2466*(-2 + -204 + -1). Solve 1 = -3*l - 5*r, -2*l + 4 = 47*r - a*r for l.
3
Let g(t) = 5*t**2 + 3*t + 9. Let p be g(3). Suppose -2*a = -4*h + 292, -h - 5*a = -5*h + 292. Let y = h - p. Solve 0 = 3*w - 4*u + 7, -5*u - y = w + 5 for w.
-5
Let u(o) = o**3 + 10*o**2 + 19*o - 11. Let t be u(-9). Let n = 106 + t. Let z = 39 + -26. Solve -z = -p + 4*g, 2*p - 20 = -3*p + n*g for p.
1
Suppose 0 = 4*s - 196*n + 192*n - 16, 0 = -s - 2*n + 4. Let f be (3 - 0) + -3 + 3. Solve 0*j - f*j - 12 = -3*l, 3*l + 2 = -s*j for l.
2
Let u(x) = -x**3 - 21*x**2 - 20*x + 42. Let i be u(-21). Let w = i - 445. Solve -18 = -2*t + 4*l, 3*l - 6 = t - w for t.
5
Suppose 0 = -2*g - 13 + 111. Let f = 46 - g. Let o(i) = -i**2 - 4*i - 3. Let j be o(f). Solve 9*a - 6*a - 2*t + 5 = j, -2*a = 2*t + 20 for a.
-5
Suppose -34*t + 550 = 142. Suppose t*f - 34 = 2. Solve 0 = -4*c + z - 18, -f*c - 7*z + 3*z - 4 = 0 for c.
-4
Suppose -35 = p + 250. Let f = p - -288. Suppose 5*n - x - 24 = 0, x - 20 = -3*n - 4*x. Solve n*z = 4*i + 16, -z - 12 = 2*z + f*i for z.
0
Suppose -187*c = -563*c. Suppose 0*k + 3*w - 8 = -k, -2*w = -4*k - 10. Let p be -1 + 11 - 0/k. Solve -u - u - 11 = 3*j, -5*u + 5*j + p = c for u.
-1
Let c be 5/(35/12) + (-14)/(-49). Solve -c*n = -4*r - 3*n - 17, 7 = -4*r + n for r.
-3
Let l be 25*1 + (-42)/147*35. Solve -5*f - 2*y + l = 0, 4*f - 4*y - 28 = 12 for f.
5
Let x be (-37 + 0)*21*(-4)/(-12). Let n = x + 274. Solve -2 + n = -2*z - 5*d, -z - 5 = 2*d for z.
1
Let p be (44/(-33)*3 - 5)*2/(-6). Solve 5*v + 14*c + 3 = 10*c, 4*c - p = -3*v for v.
-3
Let a = 23 - 20. Suppose -2*n + 19 = 2*s + 5, s + 13 = a*n. Let b be (s - -4)*(-1)/(-1). Solve -u + b = -d, -3*u + 17 = -5*d + 3*d for d.
-1
Let h(a) = 1036*a - 5178. Let w be h(5). Solve 2*o - 4 = -4*m, -4*m + 9 + 3 = -w*o for m.
2
Let k(d) = d**3 + 2*d**2 + d - 1. Let m = -248 - -249. Let n be k(m). Solve -2*c - n*h = 2*c - 5, -5*h = -4*c - 19 for c.
-1
Suppose 2*x - 4*x = -4. Let l = 12935 - 12933. Solve l*g + 14 = x*m - 0, -11 = g - 2*m for g.
-3
Let l be 5 + (-1 - -8 - (68 - 57)). Solve -j + 3 = -2*h, -h + l = -5*j + 4*j for j.
-5
Suppose -k + 5*z - 111 + 150 = 0, 5*z = 4*k - 81. Let q be (1/(-2))/((-2)/52). Solve 2*m = -5*b + 5 + q, 4*m - k = b for b.
2
Let f = -17442 - -17442. Solve -3*v + 7 = 5*r, f = 132*r - 133*r - 1 for v.
4
Let j be 2/12 - ((-3542)/(-84))/(-11). Solve j*v + q = 6 + 15, -2*q = -10 for v.
4
Suppose -51*o - 271*o = -55*o - 534. Suppose -17 = -5*h - 7. Solve -o*b + 18 = 4*s, 6*b + s - 15 = h*b for b.
3
Let m(p) = -2*p**3 + 36*p**2 + 38*p + 2. Let t be m(19). Suppose -5*k + 31 = -v + 40, -2*v - t*k = -6. Solve v = -2*q + 4*d, -5*q - 5*d - 22 = -3*d for q.
-4
Let g be (153/102*8/6)/((-1)/(-43)). Solve v = 5*f + 69 - g, -2*v + 5 = 3*f for f.
3
Let k(r) = -r**2 + 20*r + 229. Let f be k(28). Suppose -6*x + 10 = -10*x - 2*a, -a = -2*x + f. Solve 5*o = -10*p + 5*p, x = 4*p + o - 12 for p.
4
Let y(x) = 49*x + 14. Let k be y(-10). Let d = -472 - k. Solve d*b + 16 = i, 0*b - 4*b = 5*i + 16 for i.
0
Let u = -4676 - -4681. Solve -2*x - 15 = u*a, 8*a = -2*x + 4*a - 10 for x.
5
Let m = -32 - -39. Suppose m*c = 2*c - 235. Let l = 50 + c. Solve h = l*q + 17, 4*h - 16 = 2*q + h for q.
-5
Suppose -2*y + y = -4. Let a be 1/(153/(-12) + 13). Solve y*d - 4*k + 8 = -0*k, d = -5*k + a for d.
-1
Suppose 1 = u + 3*a, -57*u + 54*u = 5*a - 7. Solve -u*i + 2 = 3*v - 19, 2*v = -2*i + 12 for v.
3
Let k be 3 - (12/6 + -4). Suppose k*u = s + s - 19, -u = -3. Solve -8 = -2*d - 4*b + 6, s = d + 4*b for d.
-3
Let s(q) = q**3 + 5*q**2 - 3*q - 12. Let l be s(-5). Solve -4*h - 7 = -14*n + 11*n, -l*n = -h + 5 for h.
-4
Let j = -38 - -40. Let i(h) = 7*h**2 - 2*h + 1. Let q be i(j). Let d be (-26)/(-10) - 15/q. Solve 5*z + 12 = -n, -2*n + 3*z - 2 = d*n for n.
-2
Let d be (8 - 147/18) + 46/(-12). Let n be ((-22)/16)/((-5)/(-10))*d. Solve 3*y - 25 = 4*v, -2*y + 2*v + n = -y for y.
3
Suppose 0 = -4*k - 4, 2*a + 3*a - k = 11. Let y be 12/a*112/(-12). Let w = -52 - y. Solve 0 = r + w*s - 34 + 10, 32 = 3*r + 4*s for r.
4
Suppose 1 = 2*z + 3*t, 3*z - 3*t + 0*t - 9 = 0. Solve 17 = z*v - 5*g, -3*g + 2*g = -5*v - 15 for v