+ 9*c + 3 + r. Is z(2) a multiple of 12?
True
Let k be ((-1026)/(-36))/(4/536). Suppose k + 1758 = 11*f. Is 24 a factor of f?
False
Suppose 0 = 1538*w - 1507*w - 11160. Is w a multiple of 30?
True
Suppose -62*p - 58*p - 35*p = -4357980. Is p a multiple of 284?
True
Let m = 329 - 11. Let h = 385 - m. Is h a multiple of 2?
False
Suppose c = i + 107, -4*c = -8*i + 5*i - 429. Is 13047/24 - (c/32)/(-9) a multiple of 11?
False
Let z(m) = -m**2 + 17*m - 52. Let o be z(13). Suppose o = 7*x - 2*x - 3905. Is x a multiple of 71?
True
Let d(c) = 57*c**2 - 2*c - 1. Let i be (0 + -1)*(-7 + 4). Suppose 0 = 3*g + i. Does 29 divide d(g)?
True
Let y = 13 - 10. Let g(p) = -11 - y*p + 10 + 2. Is g(-5) a multiple of 16?
True
Suppose 0 = -23*k + 17*k - 6. Does 19 divide (15428/145)/(k - 14/(-10))?
True
Let q be (-1 - 5/(-5))/(-1 - -3). Suppose -l - 76 = 3*s, 3*s + q*s + 3*l = -66. Does 18 divide s/((2/(-3))/(160/36))?
True
Suppose -33*d - 25*d - 298393 = -2188033. Is d a multiple of 15?
True
Let b = -1852 - -8242. Does 45 divide b?
True
Let y = -4407 + 4519. Is y a multiple of 5?
False
Suppose -71*s = -1952729 - 1639800. Does 11 divide s?
False
Let j be ((-54)/(-4) + -2)/(7/14). Suppose 3*h = -m + j, -2*m = -4*h + 2*h + 2. Does 3 divide -3 - 5/((-5)/h)?
True
Let b = 30597 - 25879. Is 8 a factor of b?
False
Let j = 31 - 28. Let i be (-684)/8*2 + j. Let c = -109 - i. Does 10 divide c?
False
Let q(f) = -f**3 + 62*f**2 - 159*f + 365. Is 15 a factor of q(58)?
False
Suppose 0 = 5*j + 4*i - 44, 13 = 3*j + 4*i - 7. Suppose -8125 = -q - j*q. Is 5 a factor of q?
True
Suppose z - 453 = -449. Suppose -18*d + 17*d = 4*a - 1148, -z*d - 4*a + 4556 = 0. Is 14 a factor of d?
False
Let t = -36 - -52. Let q(o) = -11 - 8*o + t*o + 35*o. Is q(5) a multiple of 39?
False
Suppose 85*d + 17772 = 4*o + 83*d, 2*o + 5*d - 8910 = 0. Is o a multiple of 193?
False
Let a = 163 - 161. Suppose 0 = -a*z, -7*t + 2*t = -4*z - 865. Does 8 divide t?
False
Let i be (-23)/(-3)*21 - -1. Is 20/(-3)*i/(-12) a multiple of 18?
True
Let f(t) = -8 - 9*t - 8*t**2 - 8*t**2 + 20*t**2. Let r be f(6). Let c = r + 17. Does 21 divide c?
False
Suppose -l + 5*j + 20 = 0, 8 + 93 = 4*l + j. Does 9 divide (8 - 4)/(2*1/l)?
False
Let z(m) = -m**3 - 11*m**2 + 32*m + 107. Let s be z(-15). Suppose -v - 22 = -s. Is 24 a factor of v?
False
Let p = -163336 + 230650. Does 104 divide p?
False
Let l(k) = -k**2 + 10*k + 3. Let x be l(9). Suppose -27 = -a - x. Let d(f) = 10*f - 31. Is d(a) a multiple of 26?
False
Let l(p) = -p**2 - 28*p - 97. Let s be l(-27). Let o = -18 - s. Is 4 a factor of o?
True
Let m be 0 - ((1 - 34/(-1)) + -3). Is 8 a factor of ((-2 - 2)*4)/(m/256)?
True
Let y(d) = -d**2 + 77*d + 503. Let k be y(-6). Suppose -2*j - 2 = -4. Does 21 divide (484/20 + -1)*k/j?
False
Suppose 13 - 14 = t, 4*t = -3*j + 4715. Is j a multiple of 17?
False
Suppose -125*j = -121*j + 36. Let u(a) = 25*a - 33. Let l be u(j). Let p = 22 - l. Does 15 divide p?
False
Suppose 0 = -40*s + 107441 + 182239. Is s a multiple of 15?
False
Let b = -61 + 61. Suppose 2*y - 7*y - 5*v + 465 = b, -4*v = y - 93. Is y a multiple of 12?
False
Suppose -550 = -y + 5*w, -y + w - 208 = -738. Is y a multiple of 3?
True
Let t be -1 - (30/25)/(9/(-30)). Is 3 a factor of 14 + (-3 - (2 - t))?
True
Let h(g) = 571*g + 1107. Is h(21) a multiple of 11?
False
Let t = 525 + -471. Let y be 1 + 36*-1 + 1. Let b = t + y. Is 2 a factor of b?
True
Let p(h) = -h**2 - 19*h - 40. Let f be p(-17). Is 7 a factor of -5 + (15/(-5))/f*164?
True
Let h be 2 + (0 - -1 - -3). Let j be 9/(-5)*(24/(-4 + 7) - 28). Suppose -h*t = -2*t - j. Is 4 a factor of t?
False
Suppose -104*n - 3*n - 104787 = -645565. Is 57 a factor of n?
False
Suppose 0 = 4*i + 5*d - 37, -3*i - 5*d + 29 + 5 = 0. Suppose -i = 5*b + 2. Is 20 a factor of (-4)/8*194*b?
False
Suppose -3*l = -8*l - 3*t - 53, 0 = t + 1. Let h = -9 - l. Is 10 a factor of (2 - (0 + h))*11?
False
Suppose -297*k - 309*k = -592*k - 187110. Is 15 a factor of k?
True
Suppose 3*k = -3*l - 21 + 243, -278 = -4*l - k. Does 3 divide l?
False
Suppose 54*p + 26*p - 466314 = 135286. Does 80 divide p?
True
Let v(d) = -d**3 + 3*d**2 - d + 2. Let k be v(3). Let i = k - -19. Is 4 a factor of i?
False
Suppose c + 2*c + 11 = -r, -2*r = -5*c - 33. Suppose -2*q - y = 3*q - 715, 20 = -r*y. Is q a multiple of 6?
True
Suppose -511 = 13*v - 576. Suppose -4*n = -0*l + v*l - 119, 5*n + 128 = 4*l. Does 19 divide l?
False
Suppose 2*o = 5*p + 8802, -93*o + 96*o + p = 13220. Does 8 divide o?
False
Is 516/(-126) + 23/21 + -1 - -1419 a multiple of 5?
True
Let s(f) = -f**3 + 10*f**2 - 8*f + 18. Let y = -7 - -10. Suppose -y*j = -28 + 1. Is 14 a factor of s(j)?
False
Let h be 112/(-8)*((-21)/(-6) - 3). Is 18 a factor of h + (-2107)/(-35) + 2/(-10)?
False
Suppose 0 = 4*g + 10 - 30. Let m = -12 - g. Let z = -1 - m. Is z a multiple of 8?
True
Suppose 122 = 2*t - 3*v, 6*v - 2*v + 16 = 0. Suppose -n - 42 = -i, 0 = 5*i + 7 - 2. Let p = n + t. Is p a multiple of 6?
True
Let i be 2/(-13) + 786/39. Let w = i - 17. Does 8 divide (-4)/(-8)*(17 + w + -4)?
True
Suppose 0 = 4*b - z - 291, 63 = b - z - 9. Does 7 divide b?
False
Let f be 1*4 + -10 + 4 + 922. Is 6 a factor of 2 - (5 - (4 - f/(-2)))?
False
Suppose 0 = 64*n - 410984 - 470552. Is 19 a factor of n?
False
Suppose -4*f = -3*h + 1380, -111*f = -4*h - 115*f + 1896. Does 4 divide h?
True
Let m(c) = c - 26070 + 26058 + 2*c**2 - c. Suppose -2*r = 4*l - 28, -3*l = -18 + 3. Does 20 divide m(r)?
True
Is 1/3 - (-115962)/63 a multiple of 17?
False
Let n be 25833/(-15) - (-186)/155. Is 41 a factor of (n + -1)*-3*(-4)/(-36)?
True
Let b(n) = 3*n**2 + 11*n - 20. Let s be b(-12). Suppose 73*l = 71*l + s. Is l a multiple of 35?
True
Suppose 11*t - 42706 - 5977 = -4639. Does 115 divide t?
False
Let o = 136 + -132. Let z(v) = 144*v - 27. Is 41 a factor of z(o)?
False
Let z(i) = -17*i**3 + 6*i**2 + 4*i + 7. Let y be z(-4). Suppose 0 = 5*w - y - 145. Suppose 3*v = -v + w. Is v a multiple of 18?
False
Let z(v) = 24 - 6*v - 11*v - 18 - 35. Does 14 divide z(-14)?
False
Let t = -4640 + 9043. Is 17 a factor of t?
True
Let y = -430 - -726. Suppose -3*d = d - y. Is d a multiple of 15?
False
Let r(u) = 193*u + 1627. Is 10 a factor of r(7)?
False
Suppose 0 = -5*z + 3*j + 15915, 2*z - 21*j - 6367 = -20*j. Does 54 divide z?
True
Let a = -17958 + 20498. Does 6 divide a?
False
Let u = 180 - 165. Suppose j = 2*k + 336, 10*k - u*k - 333 = -j. Is 13 a factor of j?
True
Is (6 - 155/10 - -9)*-16682 a multiple of 16?
False
Let q(u) = 20*u + 4715. Does 13 divide q(-66)?
False
Let a be 16/2*(6 + (-138)/24). Suppose -16 = -4*p - 2*o, a*p - 5*o = 8 + 12. Suppose -p*x + 358 = 23. Does 6 divide x?
False
Suppose 12855 = 5*g - k, -5*k - 5341 = -3*g + 2394. Is g a multiple of 82?
False
Let r be 2/(89/(-29) - (0 - 3)). Let f = 45 + r. Let i = 34 - f. Is i a multiple of 6?
True
Suppose -119911 - 152537 = 101*b - 110*b. Is b a multiple of 64?
True
Suppose -22*o = -27*o + 30015. Is o a multiple of 29?
True
Suppose -z = -6*z - 55. Let m = 54 - z. Is m a multiple of 37?
False
Suppose -2*q - q = -5*q + 21630. Does 7 divide q?
True
Suppose 5*d - 2*j - 277 - 271 = 0, -2*d + 3*j = -228. Is d a multiple of 12?
True
Suppose 4*v - 2*y - 26028 = 0, -4*y = 124*v - 119*v - 32535. Is v a multiple of 9?
True
Suppose -3*f + 1669 + 158 = 0. Suppose 0 = -f*m + 599*m + 4960. Does 62 divide m?
True
Let m(x) = x**3 + 6*x**2 + 6*x + 11. Let r(i) = -i**3 - 7*i**2 - 9*i + 9. Let o be r(-5). Suppose 2*f + 3*f + 40 = -o*v, 3*f = v - 7. Is 6 a factor of m(v)?
True
Is 4 a factor of 103 + (-10)/(4/(-4))?
False
Suppose 2276*f - 1293750 = 2138*f. Does 19 divide f?
False
Let c = 1058 + -1079. Suppose n - 91 = 2*s + 6*n, 29 = -s + 3*n. Let l = c - s. Is 8 a factor of l?
False
Suppose 0 = -b + 5 + 4. Let o be 4 + (-72)/(b/(-3)). Suppose 3*m - o - 2 = -3*v, 3*m - 27 = -2*v. Is m a multiple of 7?
True
Suppose 10*j - 1484 = -4*j. Let q = j + -103. Is (70/q)/1 + 116/174 a multiple of 7?
False
Let w = 4504 + -1236. Is 8 a factor of w?
False
Does 14 divide (453 - -25)/(4 + (-621)/156)?
False
Let i(z) = -3 + 7920*z**2 - 7922*z**2 + 0*z - 13*z**3 + z. Is 13 a factor of i(-2)?
True
Let z be (-4)/(-6) + (-58)/(-12)*-8. Is 38/z*7*-137 a multiple of 12?
False
Let k = -58 - -56. Let l be 20/(-15)*((k - 1) + 0). Suppose -7*j + 3*j = 