
1
Let g be (12/8)/(1*3/4). Suppose 15 = -g*y - 5*q, 2*q = q - 3. Let f(m) = m**2 - 2*m + 1. Let d be f(3). Solve 5*a + 4 = 4*l, -3*l + d*a + 0*a + 3 = y for l.
1
Suppose 4*n = -2*q + q - 22, -2*q + 3*n = 0. Let s be (-2)/(6/(-90)*-3). Let l = q - s. Solve 5*x - 3 + 33 = 5*r, 2*r - l*x = 20 for r.
2
Let r = -717 - -717. Solve -5*v + 5 + r = 0, -5*o + 2*v = -3 for o.
1
Suppose 0 = 10*c - 0*c - 50. Suppose 0 = 2*o - 5*b + 11, -5*o - c = -5*b - 0. Solve o*l - 5*x - 10 = 0, -3*l - 19 = -0*x + x for l.
-5
Let k be (-18)/(-42) - (-11)/7. Let t(w) = 0*w - 14 - 4*w + 12*w - 9*w**k - w**3. Let j be t(-10). Solve 3*r - j = 0, -5*d + 5*r + 1 - 16 = 0 for d.
-1
Let b(i) = i**2 - 20*i + 5. Let f be b(20). Solve f*h = -5*r + 5, -3*r + 9 = -0*r for h.
-2
Let z(u) = -u + 12. Suppose 0 = t + 2*t. Let y be z(t). Let j = y - 8. Solve -x = -2*d + 7*d + 10, 5*x + j*d = -8 for x.
0
Let o be 47/(-9) + 10/45. Let s be ((o - -2)/(-3))/(2/10). Solve 3*r - 29 = -2*r - 4*x, -3*r - s*x = -20 for r.
5
Suppose 4 = -2*j + 28. Suppose -b + j = 5*b. Solve -b*k + 2*u = 2*k, -3*k - 3*u = 0 for k.
0
Suppose m - 6*m = -25. Suppose -5*b + 7*b = 10, m*b - 25 = 4*c. Solve 5*l = 4*h - 5*h - 7, -4*l - 4*h + 4 = c for l.
-2
Let r(x) = -x + 12. Let q be r(10). Suppose q*f + 17 = 2*p + 3*f, 5*f = -4*p + 25. Solve 3*o - 2*k = 7*o - p, -5*o + k + 23 = 0 for o.
4
Let n = 123 - 71. Let s = n - 34. Solve 2*v = 3*o - 14, -3*v - 4*o = 5 - s for v.
-1
Suppose 135 = 40*j - 225. Solve 4*u + l - 9 = 0, -3*u + 9 = -3*l - j for u.
3
Suppose -2*f = -3*k - 0*k, 4*f + 16 = -2*k. Let s = 6 + k. Suppose s = -0*p + 2*p. Solve p*i = -5*q - 35, 4*q + 0*i + 4*i = -40 for q.
-5
Suppose 0*d + 2*d + 40 = 0. Let q = d + 38. Suppose h - 11 = -5*y + 3, 3*h = -3*y + q. Solve o = -4*u - 12, 2*u = y*o - 11 - 5 for o.
4
Let x(b) = 4*b**3 + b**2 - 2*b + 1. Let j be x(1). Suppose 2*h = 4*h. Suppose -4*s + 8 = -h*s. Solve -2*k = -s, -3*t - j*k = -2*t for t.
-4
Let b be 8 - (3/12 + 55/20). Suppose -2*y + 5*x = 0, -5*y - b*x + 29 = -3*x. Solve -9 + 0 = 3*o - 4*p, y*p - 15 = 5*o for o.
-3
Let p = 115 - 90. Solve -3*t = -r + 15, 5*t - 3*r = -r - p for t.
-5
Let l(m) = -4*m + 5. Let n be l(-3). Let t = 16 + n. Let f = -28 + t. Solve -k + 5*r = 10, -f*k + 5*r = r + 8 for k.
0
Let f(s) = s**3 + 6*s**2 + 7*s + 10. Let m be f(-5). Solve r + 11 = 5*u - r, m = 2*u - 3*r for u.
3
Suppose -4*j + 35 - 19 = 0. Solve 0 = -0*r + 5*r + a - 10, a - 7 = -j*r for r.
3
Let c(q) = 4*q - 2 - 5*q - 1. Let x be c(-5). Let s(u) = u**2 - 26*u + 90. Let a be s(4). Solve -m - 6 = -n, -m + a*m + x*n = 3 for m.
-3
Let p(s) = -4*s + 46. Let n be p(-17). Let l = 114 - n. Solve 0 = -5*w + 3*b + 12, 5*w - 5*b + 1 - 21 = l for w.
0
Let o(h) = -5*h - 5*h - 13*h + 24*h + 18. Let i be o(-12). Solve -6 = u + u + g, -u = 2*g + i for u.
-2
Let u(p) = -2*p**3 + 19*p**2 + 7*p + 35. Let n be u(10). Solve 5*r - 2*o - 12 = -o, -r = n*o - 18 for r.
3
Suppose -16 + 6 = -4*r + 3*q, 2 = -r + 3*q. Solve -h = -4*x + h - 8, 0 = h - r for x.
0
Suppose 9 = 3*w - 3, 0 = b + 5*w - 19. Let a = b + -4. Let d = a + 10. Solve -d*o = 10, -5*m + 2*m + 5*o + 25 = 0 for m.
5
Let r = 28 - 26. Suppose -4 = -z - 2*v, 4*z + r*v - v = 16. Suppose -z*g = -3*g - 4. Solve -5*c = g*p + 6, -c - 12 = 3*p - 2 for c.
2
Suppose -5*f = 4*z - 18, -3*f - 22*z + 12 = -19*z. Solve s = -5*l - 13, -5*l + 5*s + f = s for l.
-2
Let a be ((-10)/4)/(1/(-2)). Let q = -15 - -32. Suppose 20*j - q*j - 6 = 0. Solve j*x - 4 = d + 2*d, -a*x - 20 = 0 for d.
-4
Suppose -3*t + 2*k = 4, 0*t - k + 1 = -2*t. Let i(y) = 2*y + 31. Let a be i(0). Let b = -29 + a. Solve -b*g + 4*j + 4 = 0, 5*g + 6 = 4*j - t for g.
-4
Let x be (-2)/(-2)*7 + (34 - 34). Let c be 0/2 + -1 + 4. Suppose x*v = c*v + 52. Solve -10*g + 5*g = 25, 4*t = -g - v for t.
-2
Let r = 0 + 3. Let h(n) = 5*n**3 + 4*n**2 - 4*n - 1. Let z be h(1). Solve 0*b = -r*v - 2*b + 7, z*v = -3*b + 10 for v.
1
Suppose -6*y = -4*y. Let k(r) = -r**3 + 2*r**2 + r + 4. Let q be k(y). Suppose m + 2*m - 6 = 0. Solve -1 = 4*t + 3*j, q*j - 4 + 20 = m*t for t.
2
Let t = 212 - 210. Solve -3*z + l + 10 = 0, 3*z - 8 = t*z + 5*l for z.
3
Let u be ((-2)/3)/(22/(-165)). Let c(q) = 7*q**2 + q - 1. Let l be c(1). Solve -u*h = 5*w + 25, 3*w - 20 = -3*h + l*h for h.
-5
Let y = 66 - 62. Let m = y - 3. Solve 19 = -3*h - 5*f, 3*h - 3*f + 2 = -m for h.
-3
Let c = -8 + 1. Let b = 10 - c. Let i = -15 + b. Solve 4*k + 4*x = 8, 0*x - i*x = k - 6 for k.
-2
Let p be (-6)/10*(-2 + -3). Suppose x = p, -5*i - 2*x = x - 19. Let d be -1*(-1 - i)/1. Solve -d*j - 4 - 5 = -2*h, -2*h + 8 = -2*j for h.
3
Suppose -u = 3*s + 4, 5 = -s + 3. Suppose 0 = -p - 0*p + 3. Solve 0 = p*t - u*a - 3, 4*a - 15 = -t - 0 for t.
3
Let v(l) be the second derivative of -2*l**3/3 - l**2/2 + 4*l. Let p be v(-1). Suppose 8*t = -2*t + 60. Solve p*m = 2*f - 2 - 4, f + t = -3*m for f.
0
Suppose 39*t - 40 = 29*t. Suppose 0 = 4*b + t*d - 36, 4*b - 6*b = -5*d - 53. Solve z + 2*g + b = 0, -4*g = 3*z - 8*z for z.
-4
Let p be (-4)/(-16) - 466*3/24. Let q = p + 60. Solve 1 - q = h - a, 3*a - 7 = 5*h for h.
-2
Suppose -22*n = 7*n - 87. Solve -n*x - 18 = -4*r, 3*x - 3 = -r - 6 for r.
3
Let p = 236 + -234. Suppose n + 2*f = 22, 3*n = 2*n + 3*f - 3. Suppose -9 = -g - 2*g + 3*t, -4*g = 3*t - n. Solve 9 = -p*q + k, -k = -5*q + g*k - 24 for q.
-4
Let g = 225 - 213. Solve -4*v - 2*k = -6*k + g, -5*v - 9 = -3*k for v.
0
Let r = -296 + 298. Solve -5*b = -g - 0*g - 13, -r*g = -4*b + 14 for b.
2
Let q = -65 + 29. Let s = q + 38. Solve m = 3*a + 21 - 8, -s*m = -2*a - 6 for a.
-5
Let s be (8 - 2)*10/6. Suppose 6*i + s - 34 = 0. Solve 4*g - 3*g = -5*b - 24, -i*g - 11 = 3*b for b.
-5
Suppose 0 = -4*n - c + 131 + 30, n - 4*c = 36. Let d = 43 - n. Solve 2*g - 2*l - 10 = 0, -2*g + l - d*l - 10 = 0 for g.
0
Suppose 4*w - 54 = -14. Suppose n - 94 = 4*n + 2*p, 0 = -5*p - w. Let q be (n/(-45))/(4/6). Solve -6*g + q = -2*g - r, -3*g = r + 1 for g.
0
Let w(q) = 7*q + 2. Let k = 2 + 0. Let h be w(k). Let t be 4/h - (-11)/4. Solve -6*j = -t*j - y, 4*j + 5 = 3*y for j.
1
Suppose -4*u = 8*k - 7*k - 14, 5*u - 55 = -5*k. Solve 4*n - 2*d + k = 0, 5*n - 4*d + 8 = -6*d for n.
-2
Suppose 0 = 2*v - 0*v - 22. Let l = v - 5. Let g = -407 + 409. Solve 2*n + 5*o - 31 = 6*n, g*o - l = 0 for n.
-4
Suppose 280 = -13*t + 722. Let h(d) = -d - 3. Let p be h(-6). Solve -w = -2*c - 13, p*w - t = c + 4*c for w.
3
Let k be ((-6)/4)/((-9)/12). Suppose 2*i - x - 31 = -6*x, k*i - 11 = -x. Let n be 10/(-30) - (-2)/6. Solve n = l - c + 7, -i*c + 6 = -l - 7 for l.
-4
Let h(b) = -b. Let g be h(-1). Let m be 20*(-3)/((-12)/g). Suppose 5*a - 130 - 20 = -m*d, -53 = -2*a + 5*d. Solve -3*z = 2*r + a - 12, 5*z + 15 = 0 for r.
-4
Let g be ((-20)/14)/(23/(-161)). Suppose -g = 14*v - 16*v. Solve -v*q + 0 - 5 = 0, q = 2*f + 1 for f.
-1
Suppose 5*d - 730 = -665. Solve d = -0*t + 2*t + 3*i, -t = -2*i - 3 for t.
5
Let u(d) = 2 - 2 - 3 + d**3 + 2*d**2 - 8*d + 5*d. Let a be u(-2). Solve h - 21 = -4*h - q, h + a*q = -7 for h.
5
Let g be (-30)/40 - (-54)/8. Let r be (2 + -6)*(-3)/g. Suppose -r*w + x = -2*x + 4, -5*x + 8 = -3*w. Solve -n + 5 = -w*z - 18, -4*n + 4*z = -32 for n.
3
Let h be 5/3 - (4 - 10/3). Let f(x) = 2*x**2 - 4*x + 3. Let z be f(2). Suppose -c + 9 = z. Solve 4*g - h = -3*p, 0 = 5*g - c*p + 2*p + 22 for g.
-2
Let t be (12/10)/((-4)/(-50)). Let k be (-6)/t - 12/(-5). Solve -6*y + y = -5*r - 25, 0 = -k*y + 4*r + 20 for y.
0
Suppose 18 = -2*o + 60. Suppose -q = 6*q - o. Solve 3*p - 4*p = i, -6 = -q*i for p.
-2
Suppose 2*u + 0 - 24 = 0. Solve -x - 2*x - 5*q - 13 = 0, -2*x - u = 5*q for x.
-1
Let k(q) = -12*q - 9. Let v be k(-1). Suppose -n - 2*n = -4*j + 4, -j = -5*n - 1. Solve -4*c - x + j + 4 = 0, 5*c = v*x + 2 for c.
1
Let r = -17 + 22. Suppose o - 10 = 4*a, -r*o + 5*a + 16 = -2*o. Suppose o = x - 7. Solve l + l = -4*f - 2, -l + x = -3*f for f.
-2
Let i(a) = a**3 + 9*a**2 - 10*a + 6. Let h = -18 - -8. Let f be i(h). Suppose -x - 3*o = 6, -3*o = -2*o + 3. Solve -5*z + x*d = -2 + f, 5*z + d = -12 for z.
-2
Let o = 551 + -548. Solve o*k + 23 = 5*j, 3*k - 1 = -2*j + j for k.
-1
Let l(a) = -a**2 - 8*a - 8. Let n be l(-6). Suppose 0 = 4*b - 34 - 2. Let w = b + -8. Solve -1 = 5*x - 2*v + w, 0 = -n*x + 2*v for x.
-2
Let w = 639 + -637. Solve 2*y = w*q, -4*y + y = -5*q for q.
0
Suppose -3*s = 3*v + 30, 7*v - 4*