 6 = 4*c + c for c.
0
Suppose 0 = 35*p - 6*p - 19*p. Let v be 66/10 + 4/10. Let m(a) = -a**3 - 6*a**2 + 8*a + 10. Let g be m(-7). Solve -r - q = -g - v, p = -r + 5*q - 20 for r.
5
Suppose 27*l = -25*l + 35*l. Solve l = 11*t - 8*t - 5*i + 35, 0 = -5*t + 5*i - 45 for t.
-5
Suppose 0 = -3*q + 811 - 793. Solve -3*f - 6 = 3*l + q, 4 = 4*l for f.
-5
Let m be (-4)/3*(559/(-52) - -10). Solve 0*i + m = i + 2*k, -3*k = 2*i - 3 for i.
3
Let v = -103 - -107. Solve 4*q = v*y, 0 = -2*y - 2*q - 3*q - 14 for y.
-2
Suppose 5*n + 2 = -2*y + 10, -5*n - 28 = -2*y. Solve y = -a + 5*p + 2, 0 = -2*a - 3*p + 12 for a.
3
Let p(h) = h**2 - 6*h + 13. Suppose -b + 4 = -3. Let n be (-5 + b)*28/8. Let o be p(n). Solve -5*t + 52 = -2*y + 17, -5*t - y + o = 0 for t.
5
Suppose 5*k + 30 = -5*q, -4*k - 2*q - 4 - 16 = 0. Suppose 0 = 2*z + 2. Let f be 4 + (0/k)/z. Solve -5*i = f*y + 9, -2*y - i = 3*y + 6 for y.
-1
Let m be (-1)/1*0/12. Let q be (0/3)/(-1*(2 - m)). Solve q*c + 1 = w + c, 0 = -4*w + 3*c - 24 for w.
-3
Let w(y) = -y**3 + 3*y**2 + 2*y - 5. Let s be w(3). Let i be ((-2 - -1)/s)/((-6)/30). Solve -3*p + 3*n - 13 = n, 25 = i*n for p.
-1
Suppose 2*a + 12 = 4*z, 2*z + 0*z - 5*a = -10. Solve d - 3*d = 4*p, 5*d + z*p = 0 for d.
0
Let p = 91 - 34. Let o = p - 57. Solve -4*q = 5*v - 26, o = -2*q + 7*q + v - 22 for q.
4
Suppose 7*p - 12 = 2. Solve 3*z + l = -13, 7*z = p*z + 3*l - 3 for z.
-3
Let i = -1115 - -1117. Suppose -2*l + 6 = -0, 2*j + 5*l - 21 = 0. Solve i*c - 4*g + 10 = -0, -g = 5*c + j for c.
-1
Let q(c) = -2*c**3 - 2*c - 1. Let v be q(2). Let y = -12 - v. Suppose -13 = -2*w + h, 10 = 5*w - 3*h - 25. Solve 0 = -3*o + 4*t - y*t - 2, -3*t = w*o - 1 for o.
1
Suppose r - 8 = -3*r. Let i = 0 - 0. Suppose 12 = 2*g - i*g. Solve 0 = -5*s + 5*q - 30, -r*q + 21 = -g*s + s for s.
-3
Let v be 2*-2*10/(-8). Suppose -v*r + 2*l + 5 = 0, -r - 7 = -3*l + l. Solve 0 = -3*x + 3*m + 6, r*x + 2 = 4*m + 8 for x.
2
Let v = 12 + -14. Let j be (-2 + 3 + (-21)/6)*v. Solve 0 = z + z - j*x - 5, -3 = -2*z + 3*x for z.
0
Let j(u) = -9*u - 23. Let k be j(-3). Solve i = -2*f - 2*f - k, 2*i - 3*f = -8 for i.
-4
Suppose 3*d - 43 + 22 = 0. Let x(m) = -m**3 + 6*m**2 + 7*m + 6. Let l be x(d). Solve -4*q + 4 = -4*p, p - l*p = -q - 3 for q.
2
Let u be 32/400 - (-2)/(-25). Solve 4*l = -5*q + 3 + 15, -3*l + 4*q - 2 = u for l.
2
Let n = 21 - 18. Let z be (2/6)/(n/45). Suppose -z*j + 5*v + 19 + 26 = 0, -3*j + 22 = -2*v. Solve -3*i + i = -3*u, 0 = j*i - 5*u for i.
0
Let d be (164/55 - (-6)/(-33))*-5. Let s = d + 19. Solve -f - s = u, 4*f + 11 + 4 = -3*u for u.
-5
Suppose 0 = -51*p + 46 + 56. Solve 2*n = 3*u - u - p, n - 19 = -4*u for n.
3
Suppose 33*i - 27 = 24*i. Solve i*m = -5*f - 10, -f = f - 3*m + 4 for f.
-2
Suppose 15*s = -7*s - 12*s. Solve 4 = -3*w + 4*l, s = -0*w + 3*w + 5*l - 32 for w.
4
Suppose 2*m - 3*m = -12. Let p be -6 + 90/m - (-1)/2. Solve 0 = -3*z - p*n + 13, -3*z - 14 - 3 = -4*n for z.
1
Let p(y) = y**3 + 4*y**2 - 9*y - 10. Let b be p(-5). Suppose 0 = -2*t + b, -4*o + 3*t = -2*t + 13. Solve -4*v = -5*w - 25, v - o + 13 = -2*w for w.
-5
Let p(r) = 11*r - 106. Let n be p(10). Solve 3*x + 1 = -4*o + 4, 2*x - n*o = 22 for x.
5
Suppose 26*h + 5*h - 93 = 0. Solve -3*a = -h*f - 3, -4*f - 4 = -0*a - 2*a for a.
0
Let i = -471 - -473. Solve -29 = 5*d - 9, -4*a + i*d - 4 = 0 for a.
-3
Let n be (159/(-318))/((-2)/16). Solve -5*g = -n*z - 0*g - 26, 4*g = -4*z - 8 for z.
-4
Suppose 4*a + 24 = 2*m, 3*a = 2*m - 2*a - 28. Solve -5*v + 30 - 10 = m*j, 5*v - 20 = 0 for j.
0
Let z be 9 - -2 - (-1 - -7). Solve -6*u = -2*u, z = -m + 2*u for m.
-5
Let u be (6 + -1)*(-10 + 3 - -8). Solve 0 = u*g - 0*g + 3*y - 14, -2*g - y = -6 for g.
4
Suppose -3*w = -5*r + 180, -3*r - 5*w - 108 = -6*r. Suppose z - r = -8*z. Let d = 8 - 4. Solve -z*p = 3*b + 21, 2*p + b - d*b - 3 = 0 for p.
-3
Suppose 2*y + 5*b - 24 = 0, -6*y + 12 = -5*y + 5*b. Suppose 3*s + 2*p - 6 = 0, -4*s + y = -p - 7. Solve -13 = -3*v - 1, s*v - 12 = -2*z for z.
-2
Let w = -365 - -369. Solve n = -w*u + 24, u - 9 = -0*n - n for n.
4
Let a be 4/6 - (-140)/6. Let n be a - (15/3)/5. Solve -n = -5*h - 4*r, 20 = -0*h + 4*h + 4*r for h.
3
Suppose 0 = -3*m - 394 + 388, 3*y + 5*m = -10. Solve 25 = 5*r - f, f = -y*r + 2*r - 10 for r.
5
Let d(r) = r + r**2 + 4 - 4*r + 6*r. Let g be d(-3). Let x be 21/35 + (-12)/(-5). Solve g*y - y = -x, -4*w = -y - 17 for w.
4
Let i be (0 - 1/(-1))*-6. Let c be i/(-33) + (-62)/(-22). Suppose 3*b - 2 = -l + 6, 0 = 2*b - c*l + 2. Solve 5*k + 40 = -5*a, -2*k = -a + b*a + 11 for a.
-5
Suppose 4*w + 8 = -r - 4, -2*r = 3*w + 29. Let d be 16/(-12)*60/r. Let p be (-12)/(-5) + (-2)/d. Solve 0 = 2*h + 2*x, p*h + x - 2*x = 3 for h.
1
Let s(t) = t**3 + 5*t**2 + 6*t. Let c be s(-3). Solve 5*l = -r - c*l + 16, l - 8 = -5*r for r.
1
Suppose -40*n = -38*n - 8. Solve -2*d + 7 = 4*p - 17, 2*d = p + n for p.
4
Let i(x) = 7*x - 30. Let n = 25 - 20. Let h be i(n). Solve 3*k - 20 = 4*l, 2*k = -h*l + 2 - 4 for k.
4
Let w be (0 + -5 + 0)*22/(-5). Let p be (-715)/w*(4/(-5) + 0). Solve 0 = 4*i - 4*r - 28, -3*i - i = -3*r - p for i.
5
Let q = -72 - -77. Let f(s) = -6*s + 30. Let j be f(q). Solve -d - 8 = -4*u, j*d + d = 3*u - 7 for u.
1
Let s(g) = -g**3 + 5*g**2 - 8*g + 9. Let v be s(3). Solve v*l - 4 = b, -5*l + 20 = -b + 2*b for l.
3
Let t = -541 + 548. Solve 0 = w + k - t, 7*k - 16 = 2*w + 3*k for w.
2
Let n be -2 + -9 + (-1 - -3). Let c = -7 - n. Suppose c*q + q = 54. Solve 5*b = 3*x - q, x - 4*b = 4*x + 9 for x.
1
Let t = -74 + 78. Solve -4*p = 4*r + 24, -t*r = 3*p + 12 + 10 for p.
-2
Let i be 16/(4/1) - 2. Let n be -1 + 4 + i + -2. Solve 5 = -4*m - 5*g, 10 = -2*m - g - n*g for m.
5
Let u(x) = x**2 + x - 4. Let w be u(2). Suppose -4*r = f + w*f - 126, 2*r = 5*f + 50. Solve -3*v - 2*p = -v, 5*v = 5*p + r for v.
3
Let i be -6 - ((-166)/1577 - (-300)/(-38)). Let v(y) = y - 1. Let u be v(6). Solve i*q - u*r + 3*r + 8 = 0, 3*r = -4*q + 19 for q.
1
Let a be (-5)/(-3) + 721/309. Solve 7*o - 4*m + 17 = a*o, -5*o + 5*m - 20 = 0 for o.
1
Suppose -4*y - 17*y + 105 = 0. Solve 0*p + 16 = -3*p + 2*s, -6 = -p - y*s for p.
-4
Let k be 2/(-12)*-2*-6. Let r be 7/14*(-8)/k. Suppose -r - 1 = -f. Solve 0 = 4*v + 2*z - 1 + 3, -8 = 5*v - f*z for v.
-1
Let k be (224/(-8) - 5)/((-3)/2). Suppose 5*l - k*l = 0. Solve 3*s + 5*q - 8 - 5 = 0, l = 2*s + q + 3 for s.
-4
Let h be ((4 - -8) + -10)*5/2. Solve c - 3*t = 6, 2*c = -3*c - h*t + 10 for c.
3
Let u = 197 - 194. Solve 18 + 7 = -4*k - u*x, 2*k - 1 = 3*x for k.
-4
Let x(v) = -17*v - 102. Let b be x(-6). Solve b*q = 4*d + 5*q - 15, -3*d - 2*q = -13 for d.
5
Let p = 693 + -688. Solve 3*s - n - 16 = 0, -p*n - 8 = 4*s - s for s.
4
Suppose 2*u + 0*u = -4*s - 6, s = -2*u - 6. Solve s = -3*i - 5*f, 0*f - 5*f = 2*i - 5 for i.
-5
Let q = 11 + -3. Let r = q - 8. Let d be (-4)/((-8)/10) - r. Solve 2*a + t + 3*t = 18, 1 = d*a - t for a.
1
Let b be (5/2)/(2 - (-3)/(-2)). Suppose x - q = 2*q, b*x - 3*q - 12 = 0. Solve 3*u - 2 - 19 = -5*o, -x*o = u - 11 for u.
2
Let b = -14 + 15. Suppose 0 = -q + b + 4. Suppose 4*o + 3 = q*o. Solve -2*v - 2 = -o*p, -8 = 2*p + 5*v - 41 for p.
4
Let r(b) = 2*b**2 + 15*b - 27. Let p be r(-9). Solve -2*i + 3*s + 3 = -i, -5*i - s + 15 = p for i.
3
Suppose 0 = -3*i + 5*w - 39, 5*w - 31 = -i + 3*i. Let c = -4 - i. Let p be 4/3 + (-1)/3. Solve -t + 19 = 3*t + 3*h, -h = -c*t - p for t.
1
Suppose j + 3*h - 8 = 0, 2*j - 127*h + 122*h = 5. Solve 3*g - 3 = -3*n, -j*n = -3*n + 6 for g.
4
Let z be 4 + -5 + -1 + (15 - 1). Suppose z*i - 10*i = 0. Solve i*r + 2*r = 2*p - 16, -4*r + 3 = 3*p for r.
-3
Suppose -2*r = -0*r - 4. Let q = 3 - 1. Solve -2*g + 5*g = -q*d - r, -g - 4 = 4*d for d.
-1
Let n(p) = p**2 - 5. Let q be n(-4). Suppose -7 = -4*h - s, 2*h - 3*s = -3 - 4. Let l be -2*h + 56/8. Solve 4*x - q = 3*o, -l*x + 2*o + 0*o = -5 for x.
-1
Let w(x) = 6*x + 31. Let z be w(-7). Let a be 22/(-6) - (-4)/6. Let k = a - z. Solve 3*o - 4*s = -0*o - k, 4*s = -2*o + 8 for o.
0
Suppose 2*c + c - 35 = -5*x, 5 = -3*c + 5*x. Let p(s) = s**2 - 6*s + 1. Let t be p(7). Let h = 6 - 4. Solve -2*v - h = 4*i - 4*v, c*i + 3*v = -t for i.
-1
Let u be (4 - 1) + (15 - 16). Suppose u*m + 2 + 2 = -2*d, 4 = 4*d + m. Solve 4*a = -r + d*r + 13, r = -5*a + 23 for a.
4
Let m(j) = 4*j**2 - 3*j - 3. Let o be m(4). Let l = 77 - o. Solve -u = 3*i - i + 11, 4*i + l =