- 15 = 0 for x.
5
Let c = 10 + 12. Suppose -y - c = -5*v, 16*y - 12 = 12*y. Solve 4*n - v*r = 11, -2*n + 3*r + 5 = -0 for n.
4
Let i = -148 + 208. Suppose -210*m + i = -205*m. Solve 3*h + 4*o - m = 0, 7*h - 4 = 6*h - o for h.
4
Let t = -2955 - -2986. Let g(w) = -w - 7. Let q be g(-5). Let m = q + t. Solve -o = -5*h + m, 0 = -h + 3*h - 10 for o.
-4
Let z(q) = 13*q + 67. Let c be z(-5). Let u be (6/18)/(c/30). Solve 7*f + u*h + 8 = 3*f, -4*f = -2*h + 8 for f.
-2
Let f(g) = -g**2 - 17*g + 94. Let x be f(-21). Suppose -2*o = 4*j - 32, -3*o + 31 = -3*j - 8. Solve -5*q = 4*a + o, -2*a + 4*q + x = -4*a for a.
-1
Let d = 619 - 621. Suppose 0 = 4*b + 16, 0*w + 2*b = 5*w - 8. Let r be (4 + 9/d)*w/2. Solve -3*y + 2*h = -r - 2, -3 = y + 3*h for y.
0
Suppose 3 = -4*g + 54*v - 59*v, -3*g + v + 12 = 0. Solve -3*h + 15*b - 18*b = 3, -g*b = h - 1 for h.
-2
Suppose -3*y + 4*b + 102 = 0, 3*y - 7 = -3*b + 74. Solve -6*i + y = -9*i - 5*r, -5*i - 37 = 4*r for i.
-5
Suppose 23*k - 24*k - 2*w = 5, 0 = 2*w + 8. Let b be 4 + -4 - (2 + -5). Solve -b = -5*t - d, -t + k*d - 6*d - 5 = 0 for t.
1
Let b(j) = 31*j. Let o be b(1). Suppose 884*l + 745 = 3621 + 2428. Solve p = a, -a - 4*p + o = l for a.
5
Let q be 2 - 0/(4 + -3 + 0). Suppose 0 = -g + 4*h - 6*h - 2, -2 = -q*g - h. Solve -4*s + 4*t - 3*t = -11, 5*s = g*t + 13 for s.
3
Let b = -2926 - -2928. Solve 0*x - 23 = -b*x - 5*h, -2*x = -5*h + 7 for x.
4
Let p = 890 + -888. Solve -5*n - 3*z = -7*z + 29, 0 = 4*n - p*z + 22 for n.
-5
Suppose 3*j = 27 - 78. Let q = -4 - j. Suppose -q - 5 = -3*f. Solve -f*t + t + 5 = 0, -3*w = 5*t + 1 for w.
-2
Suppose 0*q + q + g - 29 = 0, -5 = -5*g. Let n = -26 + q. Suppose 5*k - 51 = 3*s, -k + 7 - 2 = n*s. Solve 3*c + 4*b = b - k, -5*b = 10 for c.
-1
Let w be (-42)/(-9)*6/8*2. Suppose 0 = -w*p + 5*p. Suppose -2*l - 3*k = l - 15, p = -3*k. Solve 3*q = l*s - 27, -18 - 2 = 2*q - 4*s for q.
-4
Let t(o) = 264*o + 3171. Let m be t(-12). Solve m*i - 4*b = 3, -3*b + 1 + 13 = i for i.
5
Let z(p) = 3*p**2 - 45*p + 45. Let r be z(1). Solve 4*w = -r*s - s, -2*w - 10 = 4*s for w.
5
Let l(f) = 7*f**2 + 3*f - 11. Let y be l(5). Let t = y - 179. Solve 0*q + q + x - 5 = t, -11 = -3*q - x for q.
3
Let b = -128 - -132. Suppose -5*s = -15, -4*s = t - b - 28. Solve 0 = l + o + 1, -2*l + o = 7 - t for l.
4
Let w(v) = -5*v**3 - 3*v - 3. Let u be w(-1). Let p be (-1)/(-3) - 16/(-6). Suppose -4*k = -u*k + p. Solve -c + k*j - 10 = 0, -2*j - 8 = 3*c - 22 for c.
2
Let g be 3/1 - 128/(-8). Suppose 5*l + g*l = 48. Let t(z) = -z + 7. Let p be t(5). Solve 2*q + p*s + 2 = 0, l*q = -q - 4*s for q.
-4
Let u(j) = -j**2 - 8*j + 29. Let x be u(-6). Suppose x = 3*r + r - 5*s, 4*r - 4*s = 44. Solve 0*k - 3*k = -2*w - 17, 3*k - r = -w for k.
5
Suppose -7*l + 2*l + 1320 = 0. Let p = l + -258. Solve -p = 2*z - 2*t, t = -t - 4 for z.
-5
Let g(w) = w**3 - 4*w**2 + 4*w + 2. Let x be g(3). Suppose -4*j + 119 = x*o, -5*j + 94 + 45 = 3*o. Solve 0 = n - 5*f - j, 2*f + f + 17 = 2*n for n.
1
Suppose 2*u - 60 = l + 4*l, -81 = -3*u + 3*l. Suppose 20*y = u*y - 10. Let m(b) = 4*b + 2. Let t be m(y). Solve -5 = p, 2*p = k - t + 1 for k.
-1
Suppose 2 = -3*b + 11. Suppose -b*p + 4*p = 53. Let i = p - 53. Solve 3*g + 11 = 2*s, 2*s + g + g - 6 = i for s.
4
Let t be -13 - -144 - 6/(-2 - 0). Suppose 0 = -17*v - 15 + t. Solve 6 = -3*f - 2*z - z, z + v = -2*f for f.
-5
Let j be (-4025)/50 - (-6)/4*1. Let r = -50 - j. Let h = 31 - r. Solve -3*n + 4*b = -23, 4*n - 2*b - 14 = h*n for n.
5
Let h(i) = 7*i**2 - 5*i - 21. Let s be h(-6). Let x = 263 - s. Solve -23 = x*z - 4*z + 3*d, -4*d - 8 = 3*z for z.
4
Let w be (-292)/(-876)*-1*24/(-2). Solve 0*v + 9 = -5*v + w*h, 2 = -2*v + 2*h for v.
-5
Suppose -2*q + 28 - 54 = -4*l, -3*l + 2 = 2*q. Solve -h = 4*u + 13 - 8, 5*u + 9 = -l*h for u.
-1
Let j(v) = 2*v**3 - 177*v**2 - 90*v + 89. Let c be j(89). Solve c = 3*u - 0*u - y + 14, -16 = 3*u + y for u.
-5
Let c(d) = -13*d**2 + 11*d - 10. Let f be c(1). Let g be ((-6)/4)/(f/184). Suppose 47 + 29 = 4*m. Solve 0 = 3*z - 3*i - 2*i - m, -z + g = -5*i for z.
-2
Let r(w) = -w**3 - 9*w**2 - 9*w - 68. Let c be r(-9). Suppose -22*i - c*i = -385. Solve 2*x = -3*v + 19, 0*x + 3*v - i = 2*x for x.
2
Let p = 92 - 57. Let k be (-4)/(-2) + 5 + -3. Suppose -200 = -b - k*b. Solve 3*q = 4*o + p, o - 6*o - b = -3*q for o.
-5
Let u(a) = 32*a - 700. Let i be u(22). Solve 4 = -4*c, i*c = -5*p + c - 28 for p.
-5
Suppose 0*h = -2*h + 12*h + 24*h. Solve 5*a + g + 3 = 0, 5*a - 5*g + 14 + 1 = h for a.
-1
Suppose 5*h - 3*v - 25 = 0, h + 106*v - 102*v = -18. Solve -l - 2*b = 13, -b = 14*l - 15*l + h for l.
-3
Let g(h) = -h**3 - 28*h**2 - 151*h - 81. Let z be g(-21). Solve -z*n - 14 = 5*m, -4*m + 2*n - 5*n - 10 = 0 for m.
-4
Suppose -4*j - j = 90. Suppose 0 = -5*y - b - 3*b, -4*y - b = 0. Let x be 60/j*(-12 + y). Solve -4*u + u = -5*i + x, 3*u + 10 = -i for i.
5
Suppose -14*v - 3430 = -5*u - 16*v, 0 = 2*u + v - 1372. Let w = u + -679. Solve 2*l = -c, -2*l = l - 2*c - w for l.
1
Let f be (-912)/14*(-224)/64. Let c = -224 + f. Solve -22 = x + c*g, -x + 2*g - 7 = 3*g for x.
-2
Suppose 4*p + 4*f = 56, 31 - 87 = -5*p + 2*f. Let w be (1 - -3)/(3*4/p). Solve 7*h + w*c + 5 = 2*h, 0 = -4*h - 4*c for h.
-5
Suppose 0 = -c - 0 + 1. Suppose n - 4*n = 2*b - 387, n - 137 = 2*b. Suppose -119 = 4*w - n. Solve -4*o + c = 5, -4*v + w = o for v.
1
Let c be -11 - -5*52/20. Solve -u - 3*q + c + 12 = 0, -5*u = 3*q - 10 for u.
-1
Let j(c) = -3 + 170*c**3 - 169*c**3 - 5 + 3*c - 3*c**2. Let t be j(4). Suppose -t*v = -25*v. Solve -5*k + 24 = -g, v = 4*k + 5*g + 1 + 3 for k.
4
Suppose 0 = 23*k - 17*k - 42. Let f = 70 + k. Suppose f = 5*s + 4*c - 16, 5*c = 3*s - 41. Solve 4*z - w + 6 = 5*z, 0 = 4*z - 3*w - s for z.
5
Suppose -2*h + 76 = 10. Let d be 14/49 + h/7. Solve 5*b - 2*s + 10 = 2*s, 2 = -b - d*s for b.
-2
Let z be (-1)/(3/(-20))*(-48)/(-32). Suppose 0 = n + z*n + 704. Let l = 68 + n. Solve -3*i - i - 18 = t, 0 = -i - l for t.
-2
Let f(j) = -6*j + 48. Let v be f(3). Let l be (-1)/4 - (-4)/16. Solve 0*p + 4*p + v = -5*k, 4*p - k + 18 = l for p.
-5
Let q be 12 + (-5 + (-143)/(-26) - (-2)/(-4)). Solve -4*z - q = -4*s, -5 - 3 = -5*s - 2*z for s.
2
Let z = 175 + -173. Let s(h) = 2*h**2 - 5*h + 6. Let i be s(z). Solve 15 = b - o + i*o, -10 = -3*b - 2*o for b.
0
Suppose -5*u = -2*a - 83, 5 = -a + 1. Suppose 17*j = u*j. Let c = 3 + j. Solve 0 = -3*m, 9 = -c*k - 4*m - 3 for k.
-4
Let y(j) = 16*j + 16. Let x be y(-1). Let i be (10/3)/(1/3). Suppose x = 7*l - 2*l - i. Solve -4*z + 3*v - 3 = -7*z, l*v = -4 for z.
3
Let w = -54 - -71. Suppose 15 = 4*k + 3*d, 5*d = -13*k + w*k + 25. Solve 2*f - n - 6 = k, -3*f + 3*n = -1 - 14 for f.
1
Let u(c) = -2*c**3 - 66*c**2 + 67*c - 26. Let h be u(-34). Let b be 2*25/40 + 6/h. Solve -5*q + 6 = -2*p, 3*p - 12 = 7*p - b*q for p.
-3
Let d = -39 + 39. Suppose 1 = -y - 4*f - 10, 0 = -3*y + 5*f + 52. Suppose 4*b = -y + 25. Solve b*w + w - 5*u = 15, 5*w - u - 23 = d for w.
5
Suppose -60*i = -5*c - 55*i + 25, -i = 3*c - 7. Solve 2*j = -3*p + 17, -4*j + 1 = -4*p - c for j.
4
Let z(o) = -212*o - 1903. Let v be z(-9). Solve 5*a - 34 = -2*w - 12, -16 = 4*w - v*a for w.
1
Let k be ((-1332)/24)/37 + 9/2. Solve -5*y + 20 = -k*s, 81*s = 86*s + 2*y - 8 for s.
0
Let w = -1993 - -1995. Solve w*o = 3*o + 2, -3 = 5*i - o for i.
-1
Let n be -46 + 54 - (-5)/((-10)/12). Suppose 3*y + 5*s = 11, n*y - s - 6 = -3. Solve 4 + y = -2*u, z + 4*u = -10 for z.
2
Let l = 34 - 36. Let z be ((0 - 3)*2 - l) + 7. Solve 4*x = -2*i - 12, -i + 2*x = 3*x + z for i.
0
Suppose -3*j + 5*z + 35 = 0, 11*z + 49 = 5*j + 12*z. Solve -5*y + 26 = r, -6*r + j*r + y - 9 = 0 for r.
1
Let s be (-17)/(-7) - ((-16)/28 + 1). Solve 0 = -0*i - 2*i, -3*i = s*v - 4 for v.
2
Suppose 2*f - 9 = -2*j + 5, 0 = 3*f - 12. Suppose -j*z - 4 = -4*z. Let l = 83 - 78. Solve i = l*g + 6*i - 5, z*i = -3*g - 1 for g.
5
Let m = -17819 - -17826. Solve -m = -5*p - 3*f + 22, -3*p + 9 = -f for p.
4
Suppose u + 4*z = -3, 2*u + 4*z + 29 = 3*u. Let h be 2*2/(-12)*(-14 + -1). Let g = u - h. Solve 0 = 3*v + r, -3*v - g = 2*v - r for v.
-1
Let r = 46 + -38. Let p = 82 + -70. Solve -2*x - r = 2*y, -3*x = -5*y + 8 + p for y.
1
Let w = 520 + -286. Let v = w + -233. Solve -2*y - 3 = -u, u - 2*u - v = -y for y.
-4
Let w(h) = -2*h**2 - 7*h - 1. Let r be (30/(-4 + 9))/(-2). Let f be w(r)