 be d(3). Let c = n + 200. Is 22 a factor of c?
True
Let g be (-1 + (-1)/(-2))*(-99 + 5). Suppose -g - 11 = -2*a. Does 9 divide a?
False
Let r(p) = -p**3 - p**2 + 4*p + 8. Let a = 57 - 61. Is 17 a factor of r(a)?
False
Let c(i) = i**3. Let q be c(0). Suppose 2*y - 7*y + 3*h + 23 = q, 0 = y - 4*h - 8. Suppose 7*b - y*b - 42 = 0. Does 11 divide b?
False
Is 38/1 - (9 - 6) a multiple of 35?
True
Suppose 0 = -2*a - 3*a - 20. Let n be 1 + -2 + -4 - a. Is n + 4 + 0 - -1 even?
True
Let j = 12 + -10. Suppose 0 = -3*h - j - 13, -5*h - 48 = -g. Does 5 divide g?
False
Suppose 0 = -8*m + 3*m + 1780. Let z = -246 + m. Suppose -w = 4*w - z. Is 12 a factor of w?
False
Suppose 0 = 14*k + 552 - 3688. Is 32 a factor of k?
True
Let k be 65*24/(-40)*4/6. Is 16 a factor of k/(-65)*(5 + 0) - -82?
False
Let y(v) = 2*v**2 + 8*v + 1. Let b(c) = -2*c**2 - 8*c. Let f(n) = -5*b(n) - 4*y(n). Is 5 a factor of f(-6)?
True
Let o(u) = 29*u - 16. Does 4 divide o(6)?
False
Suppose -4*z = -b + 177, 2*z = 2*b - 442 + 88. Let r = 313 - b. Does 34 divide r?
True
Let n(c) = c**3 + 16*c**2 + 11*c - 20. Does 33 divide n(-14)?
False
Suppose -2*f - r - 113 = -4*f, 3*f - 177 = 4*r. Does 5 divide f?
True
Let z be (-1122)/(-11) - 0/(-2). Suppose -2*f + z = j, 2*j - 105 = j + f. Is 15 a factor of j?
False
Let x = 2095 - 935. Does 85 divide x?
False
Suppose -c - 3*r - 313 = -3*c, 0 = -2*c - 3*r + 295. Is 10 a factor of 6/4*c/6?
False
Suppose 2*c = -4*d + 12, 7*d = 2*c + 3*d + 4. Suppose x - 1 = c. Suppose 4*y - 18 = -2*j, 0*j + 3*j - x = 2*y. Is j a multiple of 3?
True
Suppose -2*i - 2*c + 3*c = -2238, 5*i - 5594 = 2*c. Does 26 divide i?
True
Let h = 186 - 54. Is h a multiple of 44?
True
Let n = 522 + -296. Is n even?
True
Let r = 103 + 442. Is r a multiple of 22?
False
Suppose 4*s - 2*s = 608. Suppose 241 + s = -5*i. Let k = i - -161. Is k a multiple of 13?
True
Suppose -3 = 38*k - 39*k. Suppose -280 = -2*p - 4*w, -k*p = -5*p - 5*w + 285. Is p a multiple of 28?
False
Let o be 0/6*(1 - 2). Let h be o - -3 - (-1)/1. Suppose 0 = -3*s - 9, -h*i + 5*s + 35 = -2*i. Is i a multiple of 10?
True
Suppose -5*z + 24 = 2*g, -g - z + 12 = 4*z. Does 6 divide g?
True
Suppose -5*f + 233 = -17. Is f a multiple of 25?
True
Is ((6/2)/6)/((-13)/(-18512)) a multiple of 89?
True
Let m = -7 - 0. Is m/(14/8) - -64 a multiple of 3?
True
Suppose -26 = -5*p - 1. Suppose -j + 4*f = -241, 4*f - 135 + 1340 = p*j. Is j a multiple of 10?
False
Suppose 562 + 950 = 6*s. Does 12 divide s?
True
Let h(y) = y**2 - 19*y - 137. Does 9 divide h(35)?
True
Let d = 20 + -40. Let f = d + 24. Is 7 a factor of 24 + (3 + -4)*f?
False
Let b(u) = -u**2 + 23*u. Let g be b(23). Suppose g = -13*c + 10*c + 45. Does 4 divide c?
False
Suppose -4*g + 1089 + 685 = -w, 4*w = -g + 452. Does 13 divide g?
False
Let y = 5651 + -3032. Is y a multiple of 18?
False
Let t(m) = -m - 8. Suppose -64 = v + 3*v + 3*s, 0 = 3*v + 3*s + 51. Does 2 divide t(v)?
False
Let l be 0 + 52 + (0 - -1). Let v = l - 28. Does 25 divide v?
True
Does 41 divide 4*(-4)/8 - (0 + -581)?
False
Let i(r) = -r**3 + 13*r**2 - 9*r. Is i(12) a multiple of 36?
True
Does 6 divide -7 - -61 - (-2 - -2)?
True
Suppose -2*q + 66 - 14 = -5*p, 3*q = 4*p + 36. Let j = 5 - 3. Does 20 divide ((-4)/j)/(p/222)?
False
Let m(f) = 2*f**2 + 4*f + 10. Let s be m(-6). Let l = s - -32. Is 13 a factor of l?
False
Let q(l) = l**3 + 3*l**2 - 11*l - 6. Let f be q(-5). Let d(t) = 127*t**2 + t. Does 18 divide d(f)?
True
Let q(o) be the second derivative of 6*o**2 - 5*o + 2*o**3 + 0 - 1/12*o**4. Does 6 divide q(12)?
True
Suppose -2*f + 3*x + 760 = -82, 0 = 3*f + 2*x - 1276. Does 6 divide f?
False
Let n = -511 + 568. Does 57 divide n?
True
Let g be 5*(-3)/9*-3. Suppose -328 = -g*n + n. Let a = n + -43. Does 22 divide a?
False
Let p(l) = 3*l - 5*l + 41 + l**2 + 19. Does 28 divide p(0)?
False
Let x(z) = -4*z + 19. Let r be x(-10). Let i = r - -27. Is i a multiple of 25?
False
Suppose n + 7*s - 514 = 2*s, 3*n - 4*s - 1504 = 0. Does 18 divide n?
True
Let t(w) = 4*w**3 + 4*w**2 - 4*w - 1. Does 12 divide t(2)?
False
Suppose -2058 = -3*p + 2862. Is p a multiple of 82?
True
Let a(t) = -t**3 - 3*t**2 - 7*t - 14. Let c be a(-4). Is 6/(-15) - (-1662)/c a multiple of 22?
False
Let a = 23 - 21. Suppose 123 - 541 = a*q. Let z = -117 - q. Is z a multiple of 27?
False
Let z(b) = -40*b - 29. Let n(p) = -19*p - 15. Let q(x) = 5*n(x) - 3*z(x). Does 54 divide q(6)?
True
Let v = -18 - -24. Suppose v*p + 132 = 2*p. Let u = -15 - p. Is u a multiple of 9?
True
Let g(x) = -29*x - 362. Is 19 a factor of g(-21)?
True
Suppose 5*s = 3*s + 4*q + 28, -2*s = 4*q - 12. Suppose 3*r = -3*t + 6, 4*r - s = -r - 3*t. Suppose -a = r*m - 60, m + 149 + 91 = 4*a. Does 12 divide a?
True
Let m be 0 - (-1)/((-3)/(-18)). Does 4 divide 4 + (6/5)/(m/20)?
True
Suppose 25*t - 32042 = -6542. Does 38 divide t?
False
Suppose -w + 3*k - 8*k = -553, 2792 = 5*w - 2*k. Is w a multiple of 93?
True
Let w = -1 - -5. Suppose -196 = x - 3*x - w*i, -x - 3*i = -96. Is 27 a factor of x?
False
Let p(n) = 173*n - 14. Let q be p(3). Suppose -4*b = -311 - q. Does 34 divide b?
True
Let x(d) = -d**2 + 91. Let y be x(0). Does 9 divide (234/y)/(2/28)?
True
Suppose -3*b = -6*b - 45. Let x be b/(-25) + (-369)/15. Does 6 divide ((-12)/4)/(3/x)?
True
Does 64 divide ((-24)/4 - (-8 + 7)) + 1605?
True
Suppose 0 = 3*y + 78 + 87. Let w = -13 - y. Does 14 divide w?
True
Let b = 6 - 1. Let j be (-5)/(b/(-3)) + 0. Suppose j*l + q = -0*q + 138, -q = 3. Is 18 a factor of l?
False
Let v(i) = i**2 + 16*i - 4. Let x be v(-14). Let w = -5 - x. Suppose -w = -2*r + 3. Is r a multiple of 15?
True
Let s(n) = n**3 + 18*n**2 - 2*n - 4. Suppose 2*p - 6*p - 72 = 0. Is 12 a factor of s(p)?
False
Let m(t) = -2 - 4*t - 1 - 6*t + 6*t - 9*t**2. Let w be m(-2). Let z = 67 + w. Is z a multiple of 9?
True
Suppose 5*z - 13 = -3. Suppose -z*q = -17 - 63. Does 20 divide q?
True
Suppose 0 = -3*i - 4*x + 3*x - 5, -i + 20 = -4*x. Suppose i*p + 424 = 3*m + 2*p, 4*m - 596 = 5*p. Does 24 divide m?
True
Let u be 24/(-2)*(-784)/64. Let x = u + -100. Is x a multiple of 17?
False
Let k = -113 - -118. Let d(r) = -r**3 - 4*r**2 + 5*r + 4. Let u be d(-5). Suppose u*z - 86 = -2*o + 102, z + k*o = 29. Does 13 divide z?
False
Let p(w) be the second derivative of -w**4/12 + 29*w**3/6 - 20*w**2 - 3*w - 1. Is p(15) a multiple of 34?
True
Let z be (24/(-42))/((-12)/(-7) - 2). Suppose -j = -6*j + 10. Suppose -j*m = z*x - 28, -m + 0*x = -5*x + 10. Does 8 divide m?
False
Let z = -100 + 113. Suppose -3*f = -2*t + z + 31, -5*t + 144 = f. Does 4 divide t?
True
Is (147/(-12))/((-7)/1064) a multiple of 7?
True
Let v(r) = -150*r - 676. Is v(-22) a multiple of 31?
False
Suppose 1757 = 3*r + 5*s, 2*s - 654 = -3*r + 1100. Does 13 divide r?
False
Let t be ((-3)/1)/(8 + -9). Suppose t*h - 4*m - 16 = 10, -4*m = h + 2. Let c = -1 + h. Is c a multiple of 5?
True
Let z(l) = 2*l**2 + l - 1. Let v be z(1). Does 14 divide 3 + 2*(469/v)/7?
True
Is 5 a factor of -7 - (-112 + 1 + -9 + 2)?
False
Let z(o) = -2*o + 2. Let d be z(7). Is (-14 - d) + -1 + 47 a multiple of 4?
True
Let c(j) be the second derivative of 1/6*j**3 + 0 + 9*j**2 - 5*j. Is c(-15) a multiple of 2?
False
Suppose -3*k - 4*x = 5, 3*k - 3*x = k - 9. Is 11 a factor of (-4)/6*(60 - k)/(-1)?
False
Let c(u) = -6*u**2 + 11*u + 10. Suppose 5*o + 3*d - 17 = 0, 4*o + d + d = 12. Let l(s) = s**2 + 1. Let q(i) = o*c(i) + 5*l(i). Does 10 divide q(11)?
False
Suppose 66 = -125*z + 127*z. Is 11 a factor of z?
True
Suppose 11 = 4*a + f, 3*f = -a - f - 1. Suppose 3*r + 5*t - 30 = 0, -1 = -2*r - 0*t + 3*t. Suppose k = -a*k - 3*v + 95, -r*v + 5 = -k. Does 20 divide k?
True
Let f(g) = 3*g - 32. Is f(23) a multiple of 3?
False
Suppose 0 = -10*c + 1344 + 4316. Is c a multiple of 33?
False
Let y be (-346)/(-18) + (-4)/54*3. Let u = 114 + y. Is 38 a factor of u?
False
Let y be (-4411)/(-22) - 2/4. Suppose -t + 45 = 3*x - 6*x, -3*t - 4*x = -y. Let i = -39 + t. Does 9 divide i?
False
Is 23 a factor of (-708)/(-6) + -5 + 0 + 5?
False
Suppose 0 = -3*q + q + 8. Suppose -2 = -q*x - 6. Is 8 a factor of ((-1)/x)/((-13)/(-260))?
False
Suppose 1 = 3*x - 5. Suppose -3*o = x*o. Suppose 5*k = 5*n - 140, 0*n - n - 2*k + 28 = o. Does 14 divide n?
True
Let p = 50 + 458. Is p a multiple of 37?
False
Suppose -3*l + 7*l = 72. Suppose -3*x = -