ue
Suppose 5 + 3 = 4*g. Let d be 0*((-3)/3 + g). Suppose d*s + 32 = s. Does 16 divide s?
True
Let i be (12 + -3)/(-3)*-1. Let u = 1 + -1. Suppose i*k - 12 = 3*s, 4*k + 2*s + 2*s - 32 = u. Does 3 divide k?
True
Let a(x) = x**3 - 6*x**2. Let k be a(6). Suppose w - 3*w = 5*u - 71, k = -5*u - w + 68. Is 13 a factor of u?
True
Suppose 7*s - 152 = 3*s. Does 19 divide s?
True
Suppose -4*i + 3*y - 12 = i, 0 = 2*i - 2*y + 8. Suppose i = -m - 0*m + 5. Suppose 0 = 4*l + m*f - 151, -1 = 3*f + 2. Is 13 a factor of l?
True
Suppose 18 = 5*d - 227. Let v = -13 + 17. Is 12 a factor of d/2 + (-2)/v?
True
Let r be (-9)/(-12)*80/12. Let s = 1 + 1. Suppose 0 = w - s*f - r - 18, 3*w - 65 = 5*f. Is w a multiple of 15?
True
Let h(z) = z**3 + 3*z - 3. Is 11 a factor of h(2)?
True
Let r(c) = -c**2 - 9*c - 3. Let z be 8/(-6)*(-5 + 2). Suppose -6 = -z*u - 30. Does 15 divide r(u)?
True
Let u = 2 - -1. Suppose 4*g + u = 19. Suppose g*j - 8 - 20 = 0. Does 6 divide j?
False
Let s(q) = -q - 3. Let k(z) = z - 7. Let a be k(7). Let r be (a - 2/4)*14. Is 4 a factor of s(r)?
True
Let h = -11 - -17. Is 6 a factor of h?
True
Does 18 divide 8*1/((-4)/(-9))?
True
Let f(n) = -n**2 + n + 2. Let k be f(2). Suppose 52 + k = 4*v. Is 13 a factor of v?
True
Is 15 a factor of 6/(-4) + 7/(56/964)?
False
Suppose 4*j + 29 = 81. Let n = j + -8. Suppose n*h + 10 = 0, -4*c - h - 3*h + 16 = 0. Is 3 a factor of c?
True
Suppose 0 = 5*b - b - 36. Suppose -3*q - b = -d - 5*q, -3*d - 5*q = -32. Is 6 a factor of d?
False
Let y(g) = g**3 - 14*g**2 - 15*g + 5. Let o be y(15). Is 18 a factor of ((-54)/o)/(8/(-40))?
True
Suppose 58*a - 776 = 54*a. Does 40 divide a?
False
Let p(z) = z + 11. Let j be p(9). Is 4 a factor of (7/(-14))/((-2)/j)?
False
Let w = -62 + 135. Is 5 a factor of w?
False
Let d be 2 + (-2 + 0)/2. Suppose -2*y + 6 = -y. Is (2 - y)/(d/(-4)) a multiple of 8?
True
Let u(l) = 9*l - 19. Is 40 a factor of u(11)?
True
Let x(y) = 4*y**3 - 11*y**2 - y - 3. Let d(j) = 5*j**3 - 12*j**2 - 3. Let o(b) = 3*d(b) - 4*x(b). Is 26 a factor of o(7)?
False
Let w = -53 - -92. Is 13 a factor of w?
True
Let x be 1/(-6) + 122/12. Suppose 5*w + 2*l = 51 - x, w = l + 4. Does 5 divide w?
False
Let a = 0 - -17. Is a a multiple of 7?
False
Is ((-3)/(-6))/((-1)/(-74)) a multiple of 16?
False
Let z = -3 - -7. Suppose 4*v - 2*p - 18 = -p, -3*v = 4*p - z. Suppose 8 - 24 = -2*s - v*b, 4*s = 2*b + 32. Does 3 divide s?
False
Let a = 17 - 29. Is 11 a factor of 1 - (1 - (-1 - a))?
True
Suppose 4*n - 4*w + w = 607, 3 = w. Does 14 divide n?
True
Suppose 0 = -0*p - 4*p + 120. Suppose 6*s = -4*o + 2*s + 48, -3*o - s = -p. Is o a multiple of 3?
True
Suppose -4*l + 26 = -30. Let x = l - 4. Is 6 a factor of x?
False
Suppose -g - 2*f = g - 20, 0 = 3*g - 2*f - 35. Suppose 0 = -5*t + c + 70, -5*c = 3*t + g - 53. Does 14 divide t?
True
Let q(r) = -2 - 5 + 2*r + 4. Let p be q(3). Suppose 0 = -2*t - p*t + 140. Does 14 divide t?
True
Suppose 2*v - 4*d = 30, 0*v + 4*v = 5*d + 45. Let p(i) = -i**3 + 4*i**2 + 5*i + 1. Let n be p(v). Let l(t) = 15*t**2 - 2*t + 1. Does 7 divide l(n)?
True
Suppose 2*i + 6 = -2, -2*i - 10 = 2*g. Let z = g + 14. Is 8 a factor of z?
False
Is 17 a factor of 2/8 + 3605/28?
False
Suppose 0 = -y + 5*r + 19, 5*r = 5*y - 90 - 65. Is y a multiple of 25?
False
Let b = -5 - -14. Suppose -6*f + b*f - 27 = 0. Does 4 divide f?
False
Let f = -36 + 72. Is f a multiple of 8?
False
Suppose -4*l - 102 + 654 = 0. Does 23 divide l?
True
Let p(z) = -5*z**2 + 2*z + 1 + 0*z + 10*z**2. Is p(-2) a multiple of 17?
True
Let u(z) = z**2 + z + 2. Let c be u(0). Suppose 10 = 3*o + c*o. Suppose -o*p - 6 = -16. Is 2 a factor of p?
False
Let p(h) = h**3 - 2*h**3 - 2*h**2 + 2*h**2 - 2*h**2 - 3*h + 3. Is 15 a factor of p(-3)?
False
Let n = 9 + -11. Is 17 a factor of (-478)/(-14) - n/(-14)?
True
Suppose -3*q + 5 = -2*q. Suppose q*g - 40 = 3*g. Does 10 divide g?
True
Suppose 0 = 4*h - 2*j - 340, -4*h + j + 342 = -2*j. Is 12 a factor of h?
True
Let o = -12 + 35. Is 22 a factor of o?
False
Let p be -44*(-2)/(-4)*-2. Let z = p - -7. Is z a multiple of 17?
True
Let v = 9 + -3. Let f be (2/v + -1)*3. Is 19 a factor of (-37)/(-2) + (-1)/f?
True
Suppose 0 = d - 4*a - 29, 2*d = -0*d - 5*a + 58. Is 29 a factor of d?
True
Suppose 6 = 3*t - 0*t, 3*t - 31 = -5*c. Suppose -27 - 70 = -c*f - 3*j, 4*f + j - 79 = 0. Does 6 divide f?
False
Suppose -63 = -4*u + 137. Does 25 divide u?
True
Let d(y) be the third derivative of 0*y**5 + 2*y**2 + 1/24*y**4 - 1/6*y**3 + 13/60*y**6 + 0*y + 0. Does 13 divide d(1)?
True
Suppose 2*m = -m + 6. Suppose -7*v = -m*v - 145. Suppose -3*h = n + h - v, -3*h = -2*n + 25. Does 13 divide n?
False
Let o(x) = x**2 + x. Let h(c) = c**3 + 8*c**2 + 5*c - 1. Let t = 4 - 7. Let n(q) = t*o(q) + h(q). Does 3 divide n(-4)?
False
Let s(j) = j**2 + 5 + 5 + 7*j - j - 2. Is 12 a factor of s(-7)?
False
Let v(u) = -u + 3. Is 5 a factor of v(-7)?
True
Let n be (-10)/(-2) + 2/2. Does 7 divide ((-14)/3)/((-2)/n)?
True
Let v(d) = 2*d**2 + 8*d. Let g be v(-7). Suppose -i - 2*i = -g. Does 4 divide i?
False
Let q(j) = -56*j - 10. Is q(-2) a multiple of 17?
True
Let f(v) = 61*v**2 - 9*v - 10. Is f(-1) a multiple of 6?
True
Suppose 56 = 2*d - 3*q - 2*q, 70 = 5*d + 5*q. Is ((-24)/(-10))/(d/120) a multiple of 6?
False
Let h be (-699)/(-21) - (-2)/(-7). Is 2*h/18*12 a multiple of 18?
False
Suppose 2*x - 5 = 2*c + 1, -3*c = 3*x + 39. Suppose -5*k + 0*k = -130. Let w = k + c. Is w a multiple of 13?
False
Let a be (-4)/(-8)*(-1 - -1). Suppose -r - 3*n + 8 = a, -4*n = r - 7*n - 2. Is r a multiple of 2?
False
Let h(v) = 3*v - 3. Let y(l) = -l**3 + 5*l**2 + l - 1. Let a be y(5). Suppose i = -3, a*u - 4*i = -17 + 49. Does 12 divide h(u)?
True
Suppose -p + 12 = 3*p - n, p + 16 = 5*n. Suppose -p*a + 4 + 8 = 0. Suppose 0 = -8*x + a*x + 40. Is x a multiple of 4?
True
Let t(j) be the second derivative of j**5/20 + j**4/12 - j**3/6 + 5*j**2/2 - j. Let o be t(0). Suppose 0*u - 3*z = -o*u + 165, -5*z = -25. Is 18 a factor of u?
True
Suppose -3*t + 100 = 4*d, -2*t - 2*d + 25 + 39 = 0. Let l = 2 + t. Is l a multiple of 15?
True
Let x = -658 - -949. Is x a multiple of 14?
False
Suppose 0 = -3*w + i + 13, 5*i = 4*w - 2*w. Suppose -2*c = -w*p + 55, -4*p + 0*p - 4*c = -44. Let d = 0 + p. Is 11 a factor of d?
True
Let p(z) = 2*z**3 - 5*z**2 + 3*z - 2. Let l be p(5). Suppose 5*x - 22 = l. Is x a multiple of 16?
True
Let b(s) = -s**3 + 7*s**2 + 3*s + 3. Does 6 divide b(7)?
True
Let g = -37 - -19. Suppose 3*f = 4 - 16. Does 3 divide (2/3)/(f/g)?
True
Let v(b) = b + 1. Is v(10) a multiple of 11?
True
Let l(n) = n. Let y(i) = -11*i - 8. Let a(z) = 5*l(z) + y(z). Suppose 4*w + 3 = -25. Does 17 divide a(w)?
True
Suppose 8 = 3*i - i. Suppose -12 = i*s - 5*s - m, -3*s = -3*m - 66. Is 7 a factor of s?
False
Let h = -80 + 129. Is 28 a factor of h?
False
Let w = 4 - 1. Suppose -2*o = w*u - 43, 4*o + 25 = -5*u + 96. Is 15 a factor of u?
True
Let t(d) be the third derivative of -d**4/12 + d**3/6 - 3*d**2. Suppose u = -0*u - 9. Is t(u) a multiple of 19?
True
Let b(x) = x**3 + 14*x**2 - 2*x + 15. Let k(p) = -p**2 + p + 1. Let n(y) = b(y) + 2*k(y). Is 7 a factor of n(-12)?
False
Suppose u = 2*f + 54, -3*u + 170 = 3*f - f. Does 14 divide u?
True
Suppose 0 = -4*f + y - 16, -3*f - 2*y - 1 = -0. Let h be f/(-1*3) + -2. Does 18 divide 20 - (-2)/(1/h)?
True
Suppose -5*f + 46 = -274. Is f a multiple of 32?
True
Suppose 5*j - 4*j - 3 = 0. Suppose 9*z - 4*z - 272 = -3*p, z + j*p - 64 = 0. Does 13 divide z?
True
Suppose -4*y + 41 - 5 = 0. Does 9 divide y?
True
Let t(r) = -5*r + 9*r - 3 + 2*r + 5*r. Let b = -2 - -5. Is t(b) a multiple of 15?
True
Let d be 87/(-2) + (-2)/4. Let b be (-1542)/(-24) - 1/4. Let s = d + b. Is 20 a factor of s?
True
Let p(d) = -d**2 + 14*d - 10. Let x be p(13). Suppose a + 152 = 4*o, x*o + 2*o - 5*a - 175 = 0. Is o a multiple of 11?
False
Let s(j) = 5*j**3 - 3. Let a be s(3). Is 6 a factor of (2/(-4))/((-3)/a)?
False
Let x(p) = 15*p - 3. Does 14 divide x(5)?
False
Suppose -3*q = 3*n - 6, -3 - 3 = -4*n - 5*q. Let x be (4/(-5))/((-3)/45). Suppose 60 + x = n*t. Is 9 a factor of t?
True
Does 20 divide 3/(-2) + 1467/18?
True
Let q be (-2 - -7*1) + -1. Let h = 10 - 10. Suppose l + l - q = h, 4*w + l - 86 = 0. Is 7 a factor of w?
True
Is 5 a factor of 4/6*-2*-15?
True
Let a = -8 - -4. Let b = 