ide d - (-12 + (k - 2))?
False
Let f = 89 - -41. Is f a multiple of 34?
False
Let z(u) = -u**2 - 5*u - 1. Let g be z(-4). Suppose 3*f - 30 = -g. Does 6 divide f?
False
Does 16 divide (-6 - -5)/((-3)/48)?
True
Let l = -48 + 29. Let p = l - -45. Does 13 divide p?
True
Suppose 2 = -p + 4. Let j(u) = -2*u**p - 4*u**3 + 0*u**2 + 2*u**3. Is 8 a factor of j(-2)?
True
Let z(d) = d**3 - 7*d**2 + 5*d + 8. Let m be z(6). Suppose -c = -5*r + 4*r + 58, -3*r + 178 = -m*c. Is r a multiple of 22?
False
Suppose -z + 3*z + 4 = 0. Suppose -31 - 4 = 5*a. Does 8 divide z*-1*(1 - a)?
True
Let z be 145/7 + 8/28. Suppose z = -5*k + 76. Does 7 divide k?
False
Suppose 3 = m + 5. Let t be 3*m + (6 - 3). Let g = t - -37. Does 13 divide g?
False
Is 90/(24/4 - 4) a multiple of 9?
True
Let j = -1 + 3. Let z(p) = 2*p**2 + 6*p**3 - p + 10*p**3 + 1 + 0*p**j - p. Does 12 divide z(1)?
False
Let q(n) = 2*n**3 - 10*n**2 - 3*n + 13. Does 16 divide q(7)?
False
Let g be (-8)/10*105/14. Does 12 divide (-68)/g + 4/6?
True
Suppose a + 3*a = 1096. Does 14 divide a?
False
Suppose 2*h + 3*v + 6 = -v, -3*h - 2*v + 7 = 0. Suppose 0 = h*m + 10 - 30. Suppose t - 2*g - 66 = -0*g, -3*t - m*g + 208 = 0. Is t a multiple of 23?
False
Suppose 24 + 6 = 5*o. Suppose -g + o*g - 4*m - 55 = 0, 4*g - 2*m = 38. Does 3 divide g?
False
Let b(x) = -x**3 + 8*x**2 + x - 2. Let w be b(8). Does 4 divide 9/w*(-40)/(-6)?
False
Does 7 divide 4 + (-2)/1 - (-1 + -77)?
False
Let t = 114 + 255. Is 41 a factor of t?
True
Suppose 3*q - 18 = 18. Does 8 divide q?
False
Let l = -7 - -15. Let n(y) = -2*y**2 + 5 + y**3 + 0*y**2 - l*y**2. Is n(10) a multiple of 5?
True
Suppose -427 = -3*w + 2*c, -4*w + c = -5*w + 144. Does 12 divide w?
False
Suppose 9*o + 63 = 12*o. Is o a multiple of 21?
True
Let w(t) = t - 5. Let q(m) = -m + 6. Let r(d) = 5*q(d) + 6*w(d). Let a be r(0). Suppose a = 5*c + 6 - 36. Is 6 a factor of c?
True
Let g be -20 - (-6)/(6/2). Let f = 30 + g. Is f a multiple of 6?
True
Let r(m) = 6*m**2 + 23*m + 10. Is r(-10) a multiple of 13?
False
Let k(l) = l**2 - l + 2. Let f = 6 + -2. Suppose y + 9 = f*y. Is k(y) a multiple of 8?
True
Is 67/(-4)*-2 - 9/(-6) a multiple of 21?
False
Let q = -20 + 185. Is q a multiple of 19?
False
Let q = 6 + 1. Suppose v = -2*a - 0*v - q, 4*a - 2*v - 6 = 0. Is 8 a factor of 42/2 - (0 + a)?
False
Is 11 a factor of (-3531)/(-55) + (-1)/5?
False
Suppose 3*w + 0*w - 195 = 0. Is w a multiple of 13?
True
Let i be 3/12 + (-7)/(-4). Let z(t) = -t - 4. Let d be z(-8). Is 11 a factor of 11*i + -4 + d?
True
Suppose 0 = 5*x + 3*b - 370, 2*x - 5*b - 141 - 7 = 0. Does 26 divide x?
False
Suppose 2*j - 5*l + 26 = 0, 0 = 4*j + 3*l - l + 4. Let a be j/2*(-1 - 21). Suppose -a = -2*m + 43. Is m a multiple of 17?
False
Let r be (0 - (-1 + 2))*-4. Suppose 0 = r*u - 43 - 25. Does 6 divide u?
False
Let b be 9/6*70/15. Is 4 a factor of (-1)/(-2) - b/(-2)?
True
Suppose 3*y - 29 - 10 = 0. Suppose 0 = -2*x + y + 23. Is 9 a factor of x?
True
Is 4 a factor of ((-10)/(-50))/((-2)/(-130))?
False
Suppose -6*s + s - 78 = -3*p, -5*s - 130 = -5*p. Suppose -3*z + p = -73. Is 7 a factor of z?
False
Suppose 3*h + x - 2*x = -10, 14 = -4*h + x. Does 18 divide 163/5 + h/(-10)?
False
Suppose -m + 4*m - 9 = 0. Suppose 5*j - 95 = 2*w + 6, -3*j = m*w - 69. Is j a multiple of 7?
True
Let s = -161 - -281. Does 20 divide s?
True
Let s = 25 + -23. Suppose 3 - 15 = -3*u, -s*w + 16 = -5*u. Is 6 a factor of w?
True
Let t(h) = h + 6. Let j be t(-3). Suppose 2*c + 6 = j*c. Is 2 a factor of c?
True
Suppose 1 = -5*d + 21. Suppose -d - 4 = -2*j. Is 2 a factor of j?
True
Suppose -4*m = 3*l - 71, 5*m - 4*l - 22 = 2*m. Suppose -4*n = 2*y + 2 + m, 0 = -5*y + 2*n + 8. Suppose 3*h + h - 72 = y. Does 9 divide h?
True
Let a(v) = -14*v - 2. Is a(-7) a multiple of 13?
False
Let u be 3/2 - 3/(-6). Let y(d) = 8*d - 3. Is 11 a factor of y(u)?
False
Let o(j) = 4*j**2 - j + 1. Let l be o(2). Does 9 divide 65*((-24)/l)/(-4)?
False
Suppose 4*c - 6 = c. Suppose 4*k - 12 = -5*l + 123, -c*k = 5*l - 65. Suppose 5*m - 5*d = 125, 4*m - 3*d + k - 131 = 0. Is 13 a factor of m?
False
Let a(h) = 4*h + 4. Let q be a(-3). Let o(r) = -r**3 + 8*r**2 + 6*r + 13. Let f be o(9). Let l = q - f. Does 4 divide l?
False
Suppose 6*d = d + 15. Suppose -d*v = -2*v - 8. Suppose -v - 40 = -3*a. Is 16 a factor of a?
True
Does 11 divide 3/(-9) - (-1064)/24?
True
Suppose 2 - 4 = -u. Suppose -u*h = h. Suppose 3*k - 136 = 4*w - 47, k - 3*w - 38 = h. Is k a multiple of 10?
False
Let o = 122 + 16. Is o a multiple of 15?
False
Suppose 4*l - 121 = 5*a, -3*l + 0*a - 4*a = -52. Is l a multiple of 12?
True
Suppose 0 = 4*w - 2*w - 8. Suppose 11 = -2*y + 219. Is w/(-12) - y/(-6) a multiple of 15?
False
Let l be (-2 - (-1 - 2))*1. Let f be (1 + 2)/((-2)/(-6)). Let u = f + l. Is u a multiple of 5?
True
Let g = 4 - 4. Suppose g = 2*i - 3*y - 44, -3*y - y = 0. Is i a multiple of 20?
False
Let z = 0 - -5. Suppose 0 = 5*n - 0*v + 3*v - 60, v - z = 0. Let f = 19 + n. Is f a multiple of 14?
True
Let p(v) = v**2 + 4*v - 10. Is 10 a factor of p(6)?
True
Let l(h) = h - 9. Let w be l(0). Let s = 13 + w. Is (2/(-4))/(s/(-96)) a multiple of 6?
True
Let t(n) = -n**2 - 16*n + 22. Let q be t(-17). Suppose 2*s - 3*s - 2*x + 30 = 0, -q*x = 3*s - 90. Is 8 a factor of s?
False
Suppose i + 4 - 3 = 0. Let l(a) = 11*a**3 + 2*a**2 - a. Let f be l(1). Is 7 a factor of f + ((-3)/(-3) - i)?
True
Suppose 0 = -2*n + 7*n - 5. Let r = 1 + n. Does 4 divide -12*(-8)/6 - r?
False
Suppose 2*g = -4*d + 8, 2*g - 2 = 3*d - 1. Suppose -18 = -g*v - 4. Does 3 divide v?
False
Does 13 divide (288/(-56))/((-2)/21)?
False
Suppose -125 = -2*g + 213. Is 28 a factor of g?
False
Let q be -1*2/(-6)*-3. Let p be ((-8)/(-10))/(q/(-5)). Is -1*(-1 + p*-5) a multiple of 8?
False
Let f(y) = 4*y**2 - 3*y + 1. Let c(h) be the third derivative of h**5/60 + 5*h**4/24 + h**3/3 - h**2. Let w be c(-5). Does 10 divide f(w)?
False
Let m be 456/(-30) - (-1)/5. Let q = 12 - m. Does 12 divide q?
False
Let c(w) = 3*w + 3 + 0 - w + w**2. Is 11 a factor of c(-4)?
True
Let h(l) = -l - 75. Let r be h(0). Does 19 divide (-4)/(-16) - r/4?
True
Let z = 88 + -56. Does 21 divide z?
False
Let v(q) be the second derivative of q**4/12 - 11*q**3/6 + 9*q**2 + q. Is 20 a factor of v(14)?
True
Suppose 4*m - d + 87 - 312 = 0, 0 = 3*d - 9. Does 10 divide m?
False
Let n(y) = -y**2 + 6*y. Let x be n(5). Suppose -6*g = -2*g, 315 = x*s + 5*g. Does 21 divide s?
True
Suppose 4*n - n = -5*d + 63, 5*n - 3*d = 139. Is 13 a factor of (4 - 2)*n/4?
True
Let a(n) = -n**2 + n + 14. Suppose 0 = -2*b - 2*c + 4, 4*c - 2 = 6. Suppose b*j = 5*j. Is a(j) a multiple of 13?
False
Suppose y + 2*y - 291 = 0. Is y a multiple of 9?
False
Let h(f) = 4*f**3 - 6*f**2 + 5*f - 6. Is 22 a factor of h(4)?
False
Let p = -40 + 62. Is p a multiple of 22?
True
Let b be -5*(0 + 1)*1. Let n be 4/(((-10)/28)/b). Suppose -3*f = f - n. Is f a multiple of 6?
False
Let b(v) = -v - 2. Let p(r) = 4*r + 9. Let h(j) = 9*b(j) + 2*p(j). Let f be h(1). Is ((-2)/(-4))/(f/(-12)) a multiple of 3?
True
Let c = 50 + 162. Is 17 a factor of c?
False
Suppose 3*c = 5*c - 14. Is 10 a factor of 2/c + (-1705)/(-35)?
False
Let b(q) = 12*q + 2. Let d = 3 - 0. Does 19 divide b(d)?
True
Let t = 3 + 13. Does 4 divide t?
True
Is 10 - 2*2/(-4) a multiple of 6?
False
Suppose 4*i - 8 = -0. Let l(d) = -7*d**2 - 4*d - 2. Let t(f) = 14*f**2 + 7*f + 4. Let u(r) = 5*l(r) + 3*t(r). Is 13 a factor of u(i)?
False
Let j = 1 + 5. Suppose -3*n = -6*n + j. Suppose -5*g + 125 = -n*x, g + 2*x + 17 = 2*g. Does 13 divide g?
False
Is 17 a factor of 18 - (4/(-14))/((-4)/14)?
True
Let l(n) = n**2 - 5*n. Let d be l(5). Suppose -4*j - w + 12 = 0, d = -j + 2*w + 6 - 3. Suppose j*r - 99 = -18. Is 13 a factor of r?
False
Suppose 1 = 5*t - 4. Is 13 a factor of (-2 - -41 - t) + -1?
False
Is (6*68/6)/2 a multiple of 17?
True
Suppose 90 = -2*j + 7*j. Does 6 divide j?
True
Suppose -6*q = -3*q - 15. Suppose -q*n + n = 376. Let y = -55 - n. Does 14 divide y?
False
Let t = -45 - -23. Let l = -18 + t. Let u = l - -60. Is 10 a factor of u?
True
Let j be -4 + 7 - (-32 - -2). Suppose j = p - 24. Is 16 a factor of p?
False
Let m = 79 - 47. Suppose -5*h + 5*o = 3*o + 28, 0 = 3*h - 5*o + m. Is 5 a factor of (-54)/h - (-9)/(-6)?
False
Suppose 6*u - 80 = 2*u. Suppose -b - 79 + u = -3*z, 3*z 