Is k a multiple of 13?
True
Let y(p) = 19*p**2 - 8*p - 126. Does 24 divide y(-9)?
False
Suppose 2 = l - 0*y + y, 14 = 5*l + 3*y. Suppose 0*d - 2*d = l*m + 16, -5*d + 4*m + 16 = 0. Suppose d = 4*q - 8*q + 320. Does 16 divide q?
True
Let s(i) = i**2 + 13*i + 4. Suppose 2*f + 3*f = -3*p - 30, 24 = -4*f + 3*p. Let g be s(f). Let r = g + 104. Is 22 a factor of r?
True
Let u be (-1105)/(-78) + 2/(-12). Let h = u + 52. Does 11 divide h?
True
Does 50 divide ((4/2)/((-34)/46801))/(-1)?
False
Let f be (9/2 + -2)/((-2)/(-4)). Suppose -4*b - 956 = -3*v, -f = -b - 4*b. Is 40 a factor of v?
True
Suppose 5*j + 25 = 0, 5*u - u + 5*j = -13. Let b be 2 - -2 - (-2 - 3). Suppose 3*o - 28 = c, -2*o - 4*c = -u*o - b. Is o a multiple of 6?
False
Let h(g) = 8 - g**2 + 0*g**2 + 0 - 7 - 34*g**3. Let c be h(-1). Suppose 0 = -z - 3 + c. Is z a multiple of 12?
False
Is 3 a factor of (0 + 0)/(-10 + 8) - -252?
True
Let q = -664 - -664. Let d(o) = -o**2 + 5*o - 2. Let h be d(4). Suppose h*g + 0 - 10 = q. Is g a multiple of 2?
False
Suppose 0 = -5*f + 4*y + 33 - 14, 17 = 5*f - 2*y. Suppose 10 - 25 = -f*j. Suppose -j*a + 190 = -295. Does 34 divide a?
False
Let o be (-4)/4 + -2 + 114. Suppose 9*x + o = 534. Does 38 divide x?
False
Suppose 0 = -3*y + 5*z + 4388, 0 = -2*z - 0*z - 8. Is y a multiple of 28?
True
Suppose -8 = k - 5*k. Let y be 12 + 55 + 1 + k. Let z = 111 - y. Is 18 a factor of z?
False
Let w = 5 - 1. Suppose -w*k = -3*k - 42. Let z = -10 + k. Is 8 a factor of z?
True
Suppose 4*i + 5*s = i - 16, 0 = -3*i - 3*s - 6. Suppose i*k - 2*k + t - 16 = 0, 0 = 5*k - 3*t - 80. Is k a multiple of 2?
True
Suppose -457 = -9*z + 308. Does 2 divide z?
False
Suppose 0 = -26*v + 19037 + 1555. Is 12 a factor of v?
True
Let z(f) = f - 13. Let o be z(10). Let n = o - -10. Let r(i) = -i**2 + 10*i. Is r(n) a multiple of 21?
True
Let k(m) = 12*m - 5. Let b(q) = q**3 - 4*q**2 - 6*q + 8. Let g(v) = -v**2 - v + 1. Let y(j) = b(j) + g(j). Let f be y(6). Is 4 a factor of k(f)?
False
Let f = 2781 + -778. Is 73 a factor of f?
False
Let f(o) = 8*o - 2. Let s be f(12). Suppose 0 = -0*t + 2*t + s. Let x = 99 + t. Is 8 a factor of x?
False
Let i(g) = 5*g**3 + 10*g**2 + 4*g + 7. Let h(o) = 4*o**3 + 9*o**2 + 4*o + 7. Let y(u) = -3*h(u) + 2*i(u). Does 22 divide y(-5)?
True
Suppose -w - 3*w = -4. Let p(z) be the first derivative of 15*z**2/2 - 2. Is 12 a factor of p(w)?
False
Suppose 0 = 3*y + 2*y + 2*j - 4433, -5*y = -3*j - 4438. Is y a multiple of 17?
False
Let k be (2/4)/(1/(-2)) + 202. Suppose 0 = 5*q - 20, -2*q = -2*y + k + 217. Is y a multiple of 32?
False
Let s = -10 - -10. Suppose w + w = s. Let y(x) = x + 24. Is y(w) a multiple of 8?
True
Suppose 0 = 10*q - 13*q - 21. Let p(g) = -3*g**3 - 18*g**2 - 11*g - 7. Is 31 a factor of p(q)?
True
Suppose -2*c - d = -2*d - 18, 0 = c + 3*d + 5. Let k(g) = 7*g - 9. Is k(c) a multiple of 6?
False
Suppose 0*y + 4096 = 2*y - 2*q, -2*y - 3*q + 4111 = 0. Is y a multiple of 28?
False
Suppose -8*p + 249 = -5*p - 3*l, 5*p = 3*l + 411. Is p a multiple of 9?
True
Let g = 122 + -70. Suppose l + g = 3*l + 4*c, -5*l - 5*c + 110 = 0. Is l a multiple of 4?
False
Let c(l) = -l**3 - 25*l**2 + 24*l - 16. Is c(-26) a multiple of 9?
True
Suppose 0 = 5*u - u - 280. Let a = 104 - u. Does 17 divide a?
True
Suppose 12*p = 5*p + 28. Let s(z) = 54*z - 58. Is s(p) a multiple of 17?
False
Is 13 a factor of 54 - 47 - (-836 + -2)?
True
Let j be (4 + -5 + 3)*23. Suppose 0 = -n + 17 + j. Does 9 divide n?
True
Suppose 0 = 5*r - 4*w - 536 - 1029, 0 = -r + 5*w + 313. Suppose 0 = 8*h - r - 327. Is h a multiple of 21?
False
Let p = 1741 + -1682. Does 2 divide p?
False
Is 6 a factor of ((-4)/(-6) - -1) + (-1470279)/(-1143)?
False
Let z = -975 - -1230. Does 17 divide z?
True
Let z be 15/6*(-1)/5*4. Let h = 4 - 5. Does 18 divide (-3)/h - -31 - z?
True
Let y = 23 - 20. Let o(p) = 5*p**3 + 4 - 2*p**3 - 8*p - 2*p**y - 9*p**2. Does 12 divide o(10)?
True
Let z be ((-4)/(-3))/((-6)/(-9)). Suppose -5*k + z*k - 21 = 0. Let h(y) = y**3 + 8*y**2 + 6*y - 1. Is 3 a factor of h(k)?
True
Let h = 49 + 71. Does 12 divide h?
True
Let n = -5 - -11. Suppose 2*t - n*g + 2*g = 268, g - 388 = -3*t. Is t a multiple of 13?
True
Suppose -3*q + 2*l + 21 = -3*l, 4*q = -5*l - 7. Suppose -4*m = 2*a - q*m - 208, 4*m - 8 = 0. Is a a multiple of 6?
True
Suppose 0 = 6*q - 4*q + 18. Let j be (-42)/q*3/2. Suppose r + j - 29 = 0. Is r a multiple of 6?
False
Let x = -83 - -86. Is 4/(2/x - 0) a multiple of 3?
True
Suppose g + 4*m - 1011 = 0, -11*m + 7*m = -2*g + 2058. Is g a multiple of 11?
True
Does 7 divide (21/(-7) - 60)/(-1)?
True
Let w(g) = -12*g + 21. Let s be w(-8). Suppose t - s = 2*b - 0*t, -5*b = -2*t + 291. Let z = b + 101. Does 39 divide z?
False
Suppose -1 - 3 = -c. Suppose 23 = 2*p + 5*y - 43, c*y + 198 = 5*p. Is p a multiple of 3?
False
Let o = 9 + -6. Suppose o*v - 15 = 0, 3*t - v - 2*v = 0. Suppose 3*a = t*f + 10, f + 8 + 16 = 5*a. Is a a multiple of 2?
False
Let a = 4 + -1. Suppose -a*u + 29 = -0*o - 5*o, -3*o = u + 9. Suppose -z = -u*z + 48. Does 10 divide z?
False
Let m = 623 - 542. Is 9 a factor of m?
True
Let g = 107 - -717. Is 20 a factor of 5/25 + g/5?
False
Suppose -18*w = -21*w + 9. Suppose w*v = 6*v - 348. Does 14 divide v?
False
Is 116 a factor of ((4 - -1) + -28)*-93?
False
Suppose 7*c + 5*g = 9*c - 1807, -3*g = 3*c - 2679. Does 56 divide c?
True
Suppose 3*b - 12 = c, -3*c = 4*b - c - 26. Suppose -2*v + 390 = 4*h, -43 = b*h + 2*v - 533. Does 25 divide h?
True
Let x be (-8)/(-4)*(-9)/(-2). Let q be x/(9/4) - -11. Suppose 58 - q = l. Is 15 a factor of l?
False
Let g(b) = -b**2 + 9*b + 19. Let r be g(10). Is -2 - (-21)/r - (-332)/3 a multiple of 24?
False
Let t(b) = 2*b**2 - 18*b + 39. Does 29 divide t(-25)?
False
Suppose -7*q = -125 + 20. Let d = -3 + q. Is d a multiple of 5?
False
Is ((-48)/(-10))/((-116)/(-1450)) a multiple of 12?
True
Let x(t) = t**3 - 7*t**2 - 12*t - 14. Let q be x(9). Suppose -2128 = q*k - 47*k. Does 38 divide k?
True
Let f(x) = -x**2 - 10*x - 5. Let v be f(-9). Suppose -v*s = -j + 232, s = -3*j - 2*s + 681. Suppose -o + j = 3*o. Is o a multiple of 19?
True
Suppose -3*k = y - 6*y - 2763, -3*k + 2769 = -3*y. Does 35 divide k?
False
Is 33 a factor of 151228/196 - (-3)/7?
False
Suppose 50 = x - 154. Let a = x + -50. Does 11 divide a?
True
Suppose -l + 8*l = 5*l. Suppose 8*t - 3*t - 390 = l. Does 9 divide t?
False
Let x = -286 + 336. Is x a multiple of 25?
True
Let w(h) = -6*h**3 + 3*h**2 - 2. Is 53 a factor of w(-3)?
False
Suppose -8*g + 15539 + 1533 = 0. Is g a multiple of 22?
True
Let d(l) = l**2 - 6*l + 7. Let b be d(5). Suppose b*g - 6 = -g. Suppose g*r = 82 + 10. Does 23 divide r?
True
Suppose 0 = -2*k - 2*h + 1280, 0 = -24*h + 28*h - 16. Is k a multiple of 53?
True
Suppose 18*c + 4*c - 1584 = 0. Is c a multiple of 12?
True
Let b(t) = t**2 + 5*t - 6. Let a be b(-5). Let k be (8/2)/4*a. Does 9 divide k/(-16)*6*4?
True
Suppose -2*i - 5*z = -948, -53*i - 948 = -55*i + 2*z. Does 31 divide i?
False
Suppose 2*s - c - 187 = 0, -7*c - 86 = -s - 8*c. Is s a multiple of 17?
False
Let m(d) = d**2 + 10*d + 10. Let i be m(-7). Let j be 9 + i - -361*1. Suppose -5*k + 26 = 5*q - j, -k + q + 69 = 0. Is 16 a factor of k?
False
Let p be -2 + 3*(0 + 4). Let i = p + 122. Is i a multiple of 9?
False
Suppose 12*c - r - 245 = 10*c, -5*r - 385 = -3*c. Is c a multiple of 8?
True
Suppose 6109 = 29*w + 2339. Is w a multiple of 8?
False
Suppose -8 = -5*z + 32. Suppose -216 = 5*p - z*p. Is 11 a factor of p?
False
Let v(c) = -34*c + 668. Does 24 divide v(17)?
False
Let m(j) be the third derivative of j**5/30 - 7*j**4/24 + 2*j**3 + 21*j**2. Does 5 divide m(5)?
False
Suppose 2*g - 8 = -0*g. Suppose -g*t + 5*l = 196 - 660, -t + 116 = -3*l. Does 26 divide t?
False
Let w = -866 + 1473. Does 6 divide w?
False
Let n = 1612 - -116. Does 48 divide n?
True
Suppose -f - 78 = -96. Is f a multiple of 3?
True
Let f(r) = -101*r**3 + r**2 + r - 2. Does 27 divide f(-2)?
False
Suppose 5*p - 38 = 82. Suppose -20*w + p*w = 256. Suppose -5*l - w = -289. Is 20 a factor of l?
False
Suppose 0 = 8*t - 17616 + 6816. Does 6 divide t?
True
Suppose 0 = -7*v + 11*v - 16, -5*g + v = -1616. Does 54 divide g?
True
Let h = 13 + 9. Let y = 52 - h. Is 10 a factor of y?
True
Let g(p) = 9 + p - 2*p + 7. Let i be g(11). Suppose q - i*h = -2*h + 48