
Suppose -401*n + 408*n = 17640. Does 120 divide n?
True
Let r be ((-4)/(-6))/(3/9). Suppose p = 4*u + 3, r*p - 11 = 4*u + 3. Does 11 divide p?
True
Let l(t) = 11*t**2 + 32*t - 108. Is l(4) a multiple of 12?
False
Let f(x) = -25*x**2 - 296*x - 3. Does 21 divide f(-11)?
False
Let a = 879 - 255. Is a a multiple of 26?
True
Let k(m) = 6*m**2 + m. Let y be k(-1). Let f be y/(10/(-6)) - -56. Let z = f + -38. Is 10 a factor of z?
False
Let t(g) = g**3 + 5*g**2 + 2*g + 2. Let j be t(-5). Let v be (j/(-10))/((-4)/40). Is (-483)/(-9) + v/(-6) a multiple of 11?
True
Is 32 a factor of 17/(-34) - (2 - 4628/8)?
True
Let i = -41 + 43. Suppose -2*k = 6, 2*o + i*o = -k + 41. Does 2 divide o?
False
Let u(o) = -5*o - 54. Let v be u(-12). Suppose -3*p + 4 = 1. Does 4 divide 5 + v - (0 - p)?
True
Let k be (49/21)/((-1)/3). Let s(t) be the first derivative of t**2/2 + 15*t - 3. Is 4 a factor of s(k)?
True
Suppose -b = -5*b + 4. Does 13 divide (b/(-2) + 3)*52?
True
Let x = -1125 + 1301. Is 11 a factor of x?
True
Let l = 68 + 37. Does 58 divide l?
False
Let s(c) = c**2 + 4*c - 1. Let x be s(-4). Is (x + (1 - 44))*-1 a multiple of 8?
False
Suppose 13*d - 110 = 3*h + 8*d, 3*h + 103 = -2*d. Let f(j) = -j**2 - 6*j - 2. Let w be f(-6). Is (-98)/h*(w + 7) a multiple of 4?
False
Let r = 9 + -19. Let k = r - -12. Does 2 divide k?
True
Let x be ((-5)/4)/((-12)/(-96)). Let p = 14 + x. Suppose 0 = -p*l + 69 + 271. Is 13 a factor of l?
False
Suppose u = -3*u. Suppose 7*f - 12*f + 175 = u. Is 29 a factor of f?
False
Suppose 16 = 4*q + 3*j, 3*q - q = -j + 8. Suppose 166 = q*y + 2*h, 3 = -4*h - 1. Is y a multiple of 42?
True
Let h be 77 + -5 - (2 - -1). Suppose -4*v - 165 = -3*y, 3*y + h = 2*v + 228. Suppose -3*j + y = 3*u, -4*u + j = -2*u - 46. Does 7 divide u?
True
Let n be 1 - (-7 - -2 - -2). Suppose -y - 4*v + 23 = 5, 28 = n*y + 5*v. Let x = y + 27. Is x a multiple of 13?
False
Suppose 0 = -v - 3*n + 382, 0 = -2*v + n + 1117 - 339. Does 3 divide v?
False
Suppose 5*l = 3*v + 80, v - l + 84 = -3*v. Let k = v - -13. Let i = 4 - k. Is 4 a factor of i?
False
Let x(c) = -c**2 + 10*c - 5. Let l = -18 - -34. Let r = 23 - l. Is 16 a factor of x(r)?
True
Suppose -3*k - 12 = -3*t, 2*t - 14 = -2*t + 3*k. Suppose -2*p - t*l = 2*p + 90, 0 = -2*p - 4*l - 36. Does 7 divide (-18 + p)*(0 - 1)?
True
Suppose 4*l - 1594 = 5*u, 4*l = -u + 3*u + 1588. Is l a multiple of 9?
True
Suppose -b + 4*z + 110 + 8 = 0, 5*b - 522 = 3*z. Let s = b - -13. Does 17 divide s?
False
Let h(u) = 263*u - 39. Is h(3) a multiple of 47?
False
Let d(z) = -z**3 + 55*z**2 - 120*z + 3. Is d(52) a multiple of 49?
False
Let k = 1295 - 665. Is 7 a factor of k?
True
Suppose 5*h = -2*n + 575, -2*h - 2*n + 230 = -n. Suppose -4*s = -5*q - h, 0 = -5*q + 22 + 3. Is s a multiple of 2?
False
Suppose 3*s - 8 = -s. Suppose -w = 5*g + 11, s*w + 2*w = g + 19. Suppose w*t - 10 = 6. Is t a multiple of 4?
True
Let d = -33 + -20. Let z = d - -79. Is 13 a factor of z?
True
Let j be 38/(-6)*(-1 + -2). Suppose x + 4*k - j = 5*k, 2 = k. Does 7 divide x?
True
Let v(w) = 4*w**2 + 8*w + 58. Is 14 a factor of v(12)?
False
Let n(a) = a**2 + 1. Let h(f) = -f**2 + f + 2. Let q(y) = -h(y) + 3*n(y). Let o be q(1). Suppose 0 = z + t - 23, o*z - 4*t + 9*t = 92. Is z a multiple of 11?
False
Let k be (-6)/5*35/(-14). Suppose -l + 24 = k*l. Suppose s - l*s = -215. Is 10 a factor of s?
False
Is 32 a factor of (478/4)/1*4 - -2?
True
Let k(h) = h**3 + 4*h**2 - 21*h. Is 20 a factor of k(5)?
True
Let y = -17 + 2. Is (0 - 24/y)/(2/95) a multiple of 19?
True
Let a = -11 + 13. Let r(h) = h**2 - 2*h - 1. Let v be r(a). Is (1 - v)*(-21)/(-2) a multiple of 21?
True
Let r(m) = 2*m + 22. Let p = 13 - 13. Suppose z + 4*k - 4 = p, -k + 25 = -3*z - 2. Is 6 a factor of r(z)?
True
Let n = -6 + 7. Let m be (-1)/(n + 12/(-10)). Suppose m*r - 7*r + 48 = 0. Is 6 a factor of r?
True
Let l = 2603 + -2523. Is l a multiple of 16?
True
Let u(l) = 3*l**2 + 18*l + 56. Does 14 divide u(-6)?
True
Suppose -59 = -4*q + 17. Let m = -14 + q. Suppose b - r - 28 = -m, 0 = -b - 5*r + 53. Does 6 divide b?
False
Suppose -5*s = 3*s + 64. Does 9 divide (-12)/s*(39 + -1)?
False
Suppose -169 = -m - 3*g - 0*g, -3*m + g = -527. Is m a multiple of 9?
False
Let q = 2 + 8. Let m(n) = -n**2 + 9*n + 12. Let y be m(q). Suppose -3*x = -5*b - 27 + 1, y*x - 30 = -3*b. Is 4 a factor of x?
True
Let x be 18/5 + (-4)/(-10). Suppose x*w - 30 - 10 = 0. Suppose 3*p + w = -2*d + 89, 5*p - 2*d - 137 = 0. Is 9 a factor of p?
True
Let o(h) = -7 - 36*h**2 - 9*h - 39*h**2 + 76*h**2. Is o(10) a multiple of 2?
False
Is (-12)/2*(640/(-24) - 3) a multiple of 14?
False
Let i(x) = -616*x**3 + 5*x**2 + 6*x + 1. Does 28 divide i(-1)?
True
Is -819*4/24*-4 a multiple of 42?
True
Let o = -9 - -17. Let n be (-2)/o - 1/(-4). Suppose n*k = 3*k - 42. Is 7 a factor of k?
True
Let v = -43 + 195. Does 38 divide v?
True
Suppose o - k + 4 = 4*o, -4*o + k = -17. Suppose o*z = 13 + 20. Is z even?
False
Suppose -2*x + 3*x - 6 = 0. Let u(q) = -2*q - 3 + 4*q + 5. Is u(x) a multiple of 7?
True
Suppose a - 10 + 5 = 0. Let y = -595 - -595. Let s = y + a. Does 2 divide s?
False
Let f(i) = 5*i - 54. Let n be f(21). Let h = 107 - n. Is 7 a factor of h?
True
Suppose -5*o = -12511 + 3446. Does 18 divide o?
False
Is (-464835)/(-735) - (-2)/(-7)*-2 a multiple of 86?
False
Let q(f) = 2*f**2 - 59*f - 456. Is q(55) a multiple of 27?
True
Let d(y) be the first derivative of -y**4/4 + 10*y**3/3 - 7*y**2/2 - 7*y - 2. Let f be 16/(-88) + (-202)/(-22). Does 11 divide d(f)?
True
Suppose 4*z - 712 = -5*h, 754 = 4*z + 3*h + 34. Does 7 divide z?
False
Suppose -3035 = -15*y + 6685. Is y a multiple of 81?
True
Suppose -2*c = p - 179, -1044 = -5*p - c - 131. Does 5 divide p?
False
Suppose -4*v = -3*o + 23, -3*o + 18 = 2*v + 7. Suppose o*r + 48 = -2*u, -2*u + 3*r + 0*r = 64. Is (u + 1/1)/(-2) a multiple of 7?
True
Let c = -93 - -95. Does 9 divide (c + -6 - -7)*(1 - -8)?
True
Suppose 0 = -2*i - 3*q + q + 36, -5*i + 82 = -3*q. Suppose i + 174 = f. Is f a multiple of 12?
False
Suppose 5*q - 20 = q. Suppose q*v = m - 14, -v - v + 100 = 4*m. Does 8 divide m?
True
Let j(q) = -q**3 - 2*q**2 - 2*q. Let c be j(-3). Let u = 46 + c. Does 7 divide u?
False
Suppose 0 = -0*s + 3*s - 12. Suppose 4*h + 409 = t, -3*t = -4*t - 4*h + 385. Suppose -z = -s*o + 318, -z - t = -6*o + o. Does 20 divide o?
False
Let b = 14 - 16. Let a be (-211)/b - (-4)/(-8). Suppose -4*v + a = -63. Does 14 divide v?
True
Let m(j) = 5*j**2 - 3*j + 2*j + 172*j**2. Is 22 a factor of m(1)?
True
Let s(a) = 7*a**2 - 6*a - 4. Let h(r) = 6*r**2 - 6*r - 4. Let w(t) = -4*h(t) + 5*s(t). Let m be w(6). Does 12 divide m/10 - 8/(-20)?
True
Let w be (-4)/(-3)*(16 - 10). Let h be 6 + (3 - w/4). Let k(o) = 4*o. Does 14 divide k(h)?
True
Suppose -1661 = -42*p + 9679. Is p a multiple of 2?
True
Let z be 14/4*(33/21 + -1). Suppose 6*x - 456 = -z*x. Is x a multiple of 19?
True
Suppose 10*y - 5*o - 474 = 7*y, -4*y - o = -609. Does 33 divide y?
False
Let u = 792 - 126. Is u a multiple of 37?
True
Suppose 0 = 7*j - 11 - 17. Suppose -4*h + 8 = 4*t, 2*t - j = -3*h + 7. Suppose -4 = 2*d, 4*r - 3*d = -h + 69. Is 7 a factor of r?
True
Suppose -107 = -5*w - 37. Let b = -26 - w. Let q = b + 51. Is 11 a factor of q?
True
Let y(z) be the first derivative of -4 + 5*z**2 - 2*z + 1/3*z**3. Is y(-12) a multiple of 7?
False
Suppose 26*t + 1884 = 46812. Does 20 divide t?
False
Suppose -2*d - 59 = -5*v - 14, -2*d = -2*v + 18. Suppose -3*a - 5 = -20. Let c = v + a. Does 7 divide c?
True
Suppose 8 = -4*l - 2*q, 3*q = -2*l + 3*l + 9. Is 152/(-12)*l/2 a multiple of 19?
True
Let o = -513 - -1653. Is 15 a factor of o?
True
Let a(d) = -3*d**2 - 21*d + 14. Let v(u) = -5*u**2 - 22*u + 14. Let y(h) = -3*a(h) + 2*v(h). Suppose 2*o = -3*o + 65. Does 16 divide y(o)?
True
Is 260 - (-6 + (-48)/(-8)) a multiple of 8?
False
Is 3 a factor of 2*1*(-70005)/(-390)?
False
Let g(r) = r**2 + 16*r + 20. Let a be g(-20). Suppose 267 = 3*d - 5*c + a, 5*d - 273 = 3*c. Is 18 a factor of d?
True
Suppose -48 = 4*z - 88. Suppose 0 = -z*q + 3*q + 77. Is q a multiple of 5?
False
Suppose 13*h = 20*h - 21. Suppose -430 - 20 = -h*g. Is g a multiple of 30?
True
Let q(a) = a**2 + 2*a - 5. Let y be q(-4). Let w(n) be the third derivative of n**4/4 - n**3/6 + 3*n**2. Does 17 divide w(y)?
True
S