4. Does 12 divide c?
False
Suppose 0 = 5*p + 3*k - 950, -k - 376 = -2*p - 3*k. Suppose -p - 157 = -b. Is 19 a factor of b?
False
Let z = 62227 - 23367. Is z a multiple of 67?
True
Suppose -3*v = 42*i - 40*i - 19595, -4*v = 3*i - 29391. Is 7 a factor of i?
True
Suppose -5*a + 22 = -13. Suppose -3*q + 3*v + 17 = a*v, 0 = -2*q - v + 8. Suppose 5*m + 250 = 5*d + 95, 73 = q*d + m. Is d a multiple of 13?
True
Suppose -4 = 5*v + 4*x, -2*x - 2 = 4*v - 2*v. Suppose -k + v*k + 522 = 3*m, -3*m - 4*k + 522 = 0. Is m a multiple of 12?
False
Suppose 20*l + 20245 = 100678 + 35507. Is l a multiple of 18?
False
Let x(g) = -8*g**3 + 4*g**2 + 12*g + 5. Let u be x(-4). Let v = u - -558. Is 53 a factor of v?
False
Let z be (-5 - -6)*-3*-1. Suppose -z*w + 16 = d, -4*w + 4 = -2*d - 14. Suppose 262 = w*s - 53. Does 8 divide s?
False
Suppose 9*k = 84 + 4065. Suppose -o + 83 = -k. Is o a multiple of 17?
True
Let j = 14 - 13. Let y be (3/4)/(j*(-4)/(-880)). Suppose 8*o = 139 + y. Is 16 a factor of o?
False
Suppose 4*k - 151 = -d, -3*d + 5*d - 117 = -3*k. Suppose 3*r - k = s + 3, 5*s = -3*r + 70. Let n(u) = -u**3 + 16*u**2 - 9*u + 22. Does 16 divide n(r)?
True
Let z be 783/108 - 1/4. Suppose z*m + 135 = 4027. Does 35 divide m?
False
Let d = -87 - -79. Let i(k) = -6 + 11 - 4*k - 9 + 2*k. Does 4 divide i(d)?
True
Suppose -2*j - 4*z - 3 = 3, -3*j + 4*z + 21 = 0. Suppose 3*f - 3*v - 814 = -217, 0 = -j*f + 2*v + 596. Is f a multiple of 5?
False
Suppose 103064 + 139415 = 39*w + 84139. Is 29 a factor of w?
True
Let v = 304 + -182. Let c = -240 + v. Let i = c - -174. Does 28 divide i?
True
Suppose -44*k = -40*k - 296. Suppose -k*m + 86*m - 10032 = 0. Does 41 divide m?
False
Let f(q) = -142*q - 136*q + 288*q. Let l be f(-14). Is 3*((-20)/30)/(2/l) a multiple of 20?
True
Suppose -24*a + 380 = 14*a. Suppose -a*p + 5*p = -1290. Does 6 divide p?
True
Let d = -221 - 26. Let n = -86 - d. Does 72 divide n?
False
Let x = 28248 + -25539. Is 11 a factor of x?
False
Suppose -4*g + 15952 = -4*k, 0 = g - 4*g + 5*k + 11972. Is 17 a factor of g?
False
Suppose -2*d - 38*s = -41*s - 1381, 8*d - 5601 = s. Is 47 a factor of d?
False
Suppose -3*m + 0*t + 5*t + 50 = 0, 2*m - 30 = 5*t. Suppose 0 = n + 4*n - m, -5*k = -n - 576. Is k a multiple of 29?
True
Is (-3999775)/(-434) + 16/(-224) a multiple of 12?
True
Let x(g) = 214*g. Let z be x(-1). Let q = 377 + z. Does 10 divide q?
False
Suppose -29*s = -19*s - 135840. Suppose 0 = 69*w - 57*w - s. Is 32 a factor of w?
False
Let j be 28 - (7 - (1 - -3)). Suppose -5*o - j = -10*o. Suppose 4*s - o*s + 27 = 0. Is s a multiple of 20?
False
Suppose 0 = -8*c - 7 + 23. Suppose -5*n - c*y + 104 = -19, -4*n = 2*y - 98. Is 4 a factor of n?
False
Let n = 664 - 1241. Let i = n - -2112. Does 19 divide i/20 - 12/16?
True
Let x be -4 + 2 - 18/(-2). Suppose -x*l = -l - 306. Let d = -29 + l. Is 7 a factor of d?
False
Let z = 2 + 1. Suppose -5 = -v - z. Suppose 140 = v*c - 5*s, -c + 0*s = -2*s - 71. Is c a multiple of 26?
False
Suppose 0 = 5*b + 10*f - 8*f - 73270, 5*b - f = 73255. Is b a multiple of 151?
False
Let d be (-6 - -4)/((-1)/32). Suppose d*k - 68*k = -48. Suppose -8*s = -k*s + 1008. Does 21 divide s?
True
Let j(o) = -9*o - 5. Let k be j(-1). Let i(a) = 7*a**3 + 6*a**2 + a + 5. Does 79 divide i(k)?
True
Let q(m) = 15*m + 6*m**2 + 2*m + 6*m**2 - 10 + m**3. Is 12 a factor of q(-8)?
False
Let h(b) = 159*b - 196. Let q be h(21). Let w = -2143 + q. Is 50 a factor of w?
True
Let s(u) = u**2 - u. Let d(w) = 4*w**3 + w**2 + 4*w - 18. Let g(v) = d(v) - 6*s(v). Let p be g(4). Let h = p - 66. Is h a multiple of 44?
True
Suppose -675 + 4680 = -3*a. Does 8 divide 182/12 - (a/90 + 15)?
False
Let t be -64*(-1)/(-8)*-2. Is 12 a factor of (-6)/4*t/(4/(-4))?
True
Suppose 2*u + 2*n + 20 = 4, 2*n - 8 = 0. Is 7 a factor of ((-126)/(-12))/(4*u/(-64))?
True
Let s(c) = -5*c - 17. Let m be s(-7). Is 3/((-27)/m) - 219/(-1) a multiple of 7?
True
Let x = -2943 - -7801. Does 132 divide x?
False
Let d = 219 - -12756. Is d a multiple of 142?
False
Let w(h) = 97*h + 33. Let o be w(3). Suppose o = 12*g - 3*g. Is g a multiple of 6?
True
Let v = 11987 + -7969. Is 98 a factor of v?
True
Let p(l) = -l**2 + 19. Let d be p(4). Suppose 2*r - 5 = 3. Suppose 0 = d*o + 2*k - 180, 70 = o + r*k - 0*k. Does 20 divide o?
False
Let z(h) = h**3 + 20*h**2 - h - 17. Let u be z(-20). Suppose 0 = -3*q + u, -q - 72 = -x + 152. Let g = x - 122. Is g a multiple of 22?
False
Let q(u) = -u**2 - 32*u - 52. Let b be q(-30). Suppose b = -2*c, -8*h - 4*c + 914 = -3*h. Is 11 a factor of h?
False
Let u = -73 + 446. Suppose -378*p = -u*p - 2565. Is 27 a factor of p?
True
Let s = -202 - -181. Let o = s + 261. Does 12 divide o?
True
Let t = 7 + -7. Suppose 5*f - 3*f = 5*n + 349, t = -f - 2*n + 197. Suppose 0 = -4*c + f + 117. Does 19 divide c?
True
Suppose 4*k = 2*t + 16642, -2768 = -k + t + 1393. Does 64 divide k?
True
Suppose -11*s - o + 22964 = 0, 2*s - 4*s - 3*o = -4164. Does 24 divide s?
True
Let k(t) = -t**3 - 5*t**2 + t + 2. Let v be 28*(-60)/(-35)*1. Suppose -3*o - 4*s = -8*s + 1, 0 = -4*o - 4*s - v. Does 10 divide k(o)?
False
Let m(a) = 332*a**2 - 40*a - 268. Does 8 divide m(-5)?
True
Suppose 0 = 49*q - 140*q + 2775955. Does 56 divide q?
False
Let y(r) = -281*r + 19. Let i be y(3). Is 10 a factor of i/(-8) - (12/(-4) + 6)?
True
Suppose -7*u + 2*u - 622 = -2*c, -4*c = 4*u + 520. Is (-16*(-6)/9)/((-4)/u) a multiple of 16?
True
Let x(j) = -20*j**2 - 79*j - 18. Let i be x(-28). Is -1 + (i/(-44))/(1/2) a multiple of 17?
True
Let m(t) = 15 + 3*t**2 + 4*t**2 + 12*t + 2*t - t**2. Is m(-8) a multiple of 41?
True
Suppose 8*p = -6465 + 22097. Does 4 divide p?
False
Let y be (-3)/(1 + 2 + -2). Let l be (-6)/14 + 9483/(-609). Is 16 a factor of (15 + y)/((l/66)/(-4))?
False
Suppose -8*r - 162 = 318. Let k = -85 - r. Is ((-20)/k)/((-2)/(-350)) a multiple of 20?
True
Let i = -2840 - -4131. Let y = 2677 - i. Does 18 divide y?
True
Let c = 51 + 135. Let w = -186 + 70. Let r = w + c. Is 10 a factor of r?
True
Suppose 0 = -73*a + 83*a - 1310. Let u = 258 + a. Is u a multiple of 35?
False
Let r(n) be the first derivative of 21 + n - 1/2*n**2. Is 2 a factor of r(-10)?
False
Suppose 5*a + 3*q - 13609 = 26124, 3*a = 5*q + 23833. Is a a multiple of 146?
False
Let y = -150 - -155. Suppose -4*h + h - 45 = -j, y*h + 15 = 0. Is 6 a factor of j?
True
Suppose -s - 9 = 3*i + i, -3*i - 9 = 0. Suppose 210 = s*o - 6. Suppose 0 = -p - p + o. Is 6 a factor of p?
True
Suppose -2*h - 164 = -168. Suppose 0 = -5*q + 5*f - 711 + 2381, q - h*f = 333. Is 18 a factor of q?
False
Let z be (-6)/15 + (-4)/20*-2. Suppose 13 = -2*s + p - z*p, -3*p = -4*s - 27. Does 3 divide (-1098)/(-63) + (0 - s/(-14))?
False
Let f = 12128 - 18236. Does 15 divide (-4)/(-6) + 8 + f/(-18)?
False
Suppose -36665 = -9*w - 4501 + 3566. Does 85 divide w?
False
Suppose -15*m = -13*m - 34. Is -6*m*((-14)/6 - -1) a multiple of 5?
False
Is 13 a factor of (8/22)/((-488)/(-6326188))?
False
Suppose 20*y = -8*y + 84. Suppose 5*x + 1481 = 3*j, 3*x = -y*j + 4*j - 495. Is j a multiple of 12?
True
Suppose -23307 = -10*x - 807. Does 45 divide x?
True
Suppose 0 = -7*x + 3*x - 10*z + 1674, x = -4*z + 423. Is x a multiple of 3?
True
Let g = -30604 + 48859. Does 25 divide g?
False
Suppose -5*b - 15 = -a - 3, -2*a - b + 2 = 0. Does 16 divide (9 + -7 - 3/a)*194?
False
Let t = 283 - 268. Suppose -5108 = -t*x + 4297. Is 33 a factor of x?
True
Let a(c) = c**3 + 13*c**2 + 28*c + 5. Let j be a(-3). Suppose 11365 = j*d - 3155. Is d a multiple of 48?
False
Suppose 570 - 6784 = -26*d. Is d a multiple of 2?
False
Let m = 574 - -1538. Is 33 a factor of m?
True
Is 118 a factor of -8*18/(270/(-4425))?
True
Suppose i - 5*q - 389 = 3*i, 0 = i + 3*q + 193. Let c = i - -211. Is c a multiple of 3?
True
Let y = -720 - -760. Is 64 a factor of ((-1088)/y)/(6/(-240))?
True
Let s = 9827 + -7461. Does 31 divide s?
False
Let k(g) = -g - 1. Let m(v) = 30*v**3 - v**2 + 5*v + 4. Let d(y) = -4*k(y) - m(y). Let p be d(1). Let n = p - -53. Is 3 a factor of n?
False
Let d(p) = 1094*p - 2344. Does 27 divide d(17)?
True
Let f(l) = 2*l**2 + 62*l - 82. Let v(u) = u**3 - 8*u**2 + 5*u - 3. Let k be v(3). Does 20 divide f(k)?
False
Suppose -2*n = -w + 26022, -151*w + 2*n - 52014 = -153*w. Is w a multiple of 39?
False
Suppose 771346 = -14*b + 22