et x(c) = -c**3 - 3*c + 4 + 2*c + 7*c - 11*c**2 - 1. Is 15 a factor of x(-12)?
True
Suppose 406 = 5*r + 71. Does 19 divide r?
False
Let o be 7*5/(-15)*-3. Suppose 0 = -17*v + o*v + 2430. Is v a multiple of 49?
False
Suppose 71 = 4*r + 3*h + 2*h, 12 = 4*h. Suppose 6*d = r + 154. Is 5 a factor of d?
False
Suppose 11*f - 6*f = g - 28, -5*f = 0. Does 14 divide g?
True
Let g(y) = -20*y**3 - 3*y**2 + 2*y + 10. Is g(-2) a multiple of 22?
True
Let f(r) = r**3 - 8*r**2 + 10*r - 28. Is f(9) a multiple of 13?
True
Suppose 2*u - 4*s - 19 = 5*u, 3*u = 4*s + 13. Let b = -286 - -283. Does 3 divide b - u - -2 - -14?
False
Suppose 0 = 104*m - 108*m + 4304. Is 12 a factor of m?
False
Let c = -321 - -1572. Is c a multiple of 32?
False
Let j = 277 + -245. Does 5 divide j?
False
Let b be -123 - (-6 + (2 - -1)). Let a be (-2)/7 - b/28. Suppose 0 = a*p + 5*n - 57, -4*n + 42 = p + 2*p. Is p a multiple of 6?
True
Let g(l) = l**2 - 2*l - 3. Let q be g(5). Does 23 divide q/114 - (-2620)/19?
True
Let g be 1 - 3*2/6. Suppose 2*m = -3*w - 3*m, -3*w + 5*m = g. Suppose 3*l + 19 = -4*c + 94, w = 3*l - 2*c - 75. Does 15 divide l?
False
Let l = -30 + 30. Suppose 11*q - 10*q - 112 = l. Suppose -2*h = -6*h + q. Is 5 a factor of h?
False
Let t(b) = 13*b**2 + 4*b + 5. Let v(s) = -2*s - 9. Let j be v(-3). Is t(j) a multiple of 5?
True
Let t = 711 - 473. Suppose 5*g + t = 883. Does 8 divide g?
False
Let s = -3095 + 6110. Is s a multiple of 24?
False
Let x(q) = -q**3 + 2*q + 3. Let w be x(-5). Suppose -t + s = -0*s - 29, 4*t - 3*s = w. Suppose -5*d + 34 + t = 0. Does 13 divide d?
True
Suppose 23766 - 197646 = -84*v. Is v a multiple of 45?
True
Let b = 905 + -521. Does 12 divide b?
True
Let y = -2316 - -2479. Does 4 divide y?
False
Let d be -1*5/((-5)/3). Suppose -3*c - 2*f - d*f - 4 = 0, 5*c + f - 30 = 0. Suppose -3*w - 2*y = -3*y - 9, -4*w + 3*y = -c. Does 4 divide w?
True
Let y = -1036 + 2316. Does 20 divide y?
True
Let x(o) be the first derivative of -o**3/3 - 2*o**2 - o + 5. Let g be x(-3). Suppose -4*z - 44 = 2*w - 214, g*w - z = 195. Is w a multiple of 24?
False
Suppose -3*b - k + 1080 = 0, -360 = -b + 22*k - 19*k. Does 30 divide b?
True
Suppose 0 = 11*h + 1635 - 634. Let b = -41 - h. Is 10 a factor of b?
True
Suppose -2*y - 2*y + 8 = 0. Suppose -y*d - 8 = -6*d. Is d/(-6) + 224/6 a multiple of 15?
False
Let j(i) be the second derivative of -i**5/20 + i**4/3 - 5*i**2/2 + 6*i. Is 16 a factor of j(-4)?
False
Suppose -7*a + 3*a + 1920 = 0. Does 20 divide a?
True
Suppose 14032 = 5*g - 5*m - m, -5*g = 3*m - 14014. Is g a multiple of 8?
False
Let s = 116 + -110. Suppose s*o - 8*o - 5*m + 236 = 0, -5*o + 2*m = -532. Is o a multiple of 12?
True
Suppose 170 = 3*y - 5*l, 2*y + l = -4*l + 80. Is 3 a factor of -2*y/8*6/(-5)?
True
Let b = 51 + 111. Is 18 a factor of b?
True
Let r(q) = 3*q**3 - 2*q**2 - 7*q + 6. Is 9 a factor of r(4)?
False
Let q = 88 + -82. Does 11 divide 679/6 + 3 + q/(-36)?
False
Suppose -9*j = -1637 - 946. Does 30 divide j?
False
Suppose -9369 = -6*s + p, -2*s - 4*p = -1928 - 1182. Is s a multiple of 26?
False
Let r be (-3 - -1) + -14*4/(-8). Is 42 a factor of r*(2016/15)/4?
True
Let z be 103 + -2 + -1 + 0. Suppose 5*d = 5*h + z, -2*d = -d + 5*h - 32. Is d a multiple of 22?
True
Suppose 5*w - 16 = -n, -n - 2 - 6 = -w. Suppose w*z = 33 + 31. Is 3 a factor of z?
False
Suppose 0 = -2*l + 7 + 7. Let a(y) = 0*y**3 + 3 + 8*y - y**3 + 10*y + 8*y**2 - 22*y. Is a(l) a multiple of 5?
False
Suppose -21*v + 3*v + 5400 = 0. Is v a multiple of 50?
True
Let v(z) = -z + 4. Let q be v(4). Suppose -2*t - 2*i + 8 = q, -3*i = -t - t + 3. Is t a multiple of 2?
False
Let h(r) = 23*r**2 + 155*r - 2. Does 44 divide h(-10)?
True
Let a = -4 + 7. Let k(j) = 4*j + 27. Let s be k(-5). Suppose -a*u = -s*u + 212. Does 18 divide u?
False
Does 9 divide (-6)/27*-78*(-18)/(-4)?
False
Let i(r) = 11*r**2 + 1. Let x be i(-1). Suppose x = -g + 4. Let s(h) = -5*h - 8. Is s(g) a multiple of 13?
False
Is (15 + (-32)/2)*171*-10 a multiple of 18?
True
Is 432 - (-1 - (-1 - 0)) a multiple of 48?
True
Suppose 72535 + 17321 = 48*t. Is 26 a factor of t?
True
Let z be (0/1 + -10)/(4 + -6). Suppose 5*r - 2*r + 463 = 4*o, z*o - 4*r - 580 = 0. Does 12 divide o?
False
Let q be 6/9 - (-124)/3. Suppose o + 2*j = q, 73 = -5*o - 2*j + 259. Is 18 a factor of o?
True
Let c(x) = x**3 - 6*x**2 - 6*x - 7. Let h be c(7). Suppose 2*v + h = 30. Suppose 5 + v = 4*n. Is n a multiple of 4?
False
Let d = 2418 + -1114. Is 21 a factor of d?
False
Let y(g) = -g**3 - g**2 + 3. Let f be (-4 + 4)/(4/(-2)). Let h be y(f). Suppose 16 = h*a - 26. Is 14 a factor of a?
True
Let s be (-2 - 0) + 9/((-36)/(-56)). Suppose 715 = s*d - d. Is 10 a factor of d?
False
Let t(a) = 24*a**2 - 2*a**3 + 0 + 3*a**3 - 3 - a - 13*a**2. Does 8 divide t(-11)?
True
Suppose f = 5, -5*b + f + 394 = -161. Is b a multiple of 9?
False
Suppose 4*x - 539 = 4*j - 5*j, 0 = 4*j + 4. Does 6 divide (24/10 - 3)/((-3)/x)?
False
Suppose 180 - 184 = i, 4*u + 5*i - 1772 = 0. Is u a multiple of 32?
True
Is 89 a factor of (9 + (-49)/2)*-228?
False
Let d = -1035 - -2421. Is d a multiple of 33?
True
Does 7 divide (-39 + -1)/(((-65)/(-30))/(-13))?
False
Let x = 10 + -18. Let p be 4 + 0/2 + x. Does 17 divide -1*5/p*24?
False
Let u = -2143 + 5373. Does 38 divide u?
True
Suppose 3*j - 96 = l, -4*l + 160 = 5*j - 9*l. Let b = 18 - j. Let o(d) = d**3 + 15*d**2 + 12*d - 10. Does 9 divide o(b)?
True
Let j(o) = 3*o**2 - 2*o - 10. Let n(w) = -3*w**2 + w + 9. Let d(a) = -3*j(a) - 4*n(a). Is d(5) a multiple of 12?
False
Suppose -4*i - 10287 = -0*d - 5*d, -5*d + 2*i + 10291 = 0. Is d a multiple of 29?
True
Let f(i) be the second derivative of -i**4/12 - 3*i**3 + 6*i**2 + i. Let u(v) = -29*v - 161. Let y be u(-5). Is 11 a factor of f(y)?
True
Let o be (16/(-12))/(1/(-6)). Let t(x) = 7*x**2 - 34*x + 12. Is t(o) a multiple of 33?
False
Let n = 11 + -10. Let m be (4 - n)*(-26)/3. Let o = m + 87. Is o a multiple of 15?
False
Does 27 divide (90/(-4))/((-12)/(-1440)*-4)?
True
Suppose 48*i + 3*c - 12348 = 45*i, -2*c - 20608 = -5*i. Is 19 a factor of i?
False
Suppose -2*q = 5*c - 91, 2*q + 3*c = 4*c + 61. Let h = q + -27. Is h a multiple of 3?
True
Suppose 5*p - 2*q - 48 = 0, 4*p - 3*p = 4*q + 6. Is p a multiple of 4?
False
Let c(f) = -f**3 - 2*f**2 + f - 4. Let n be c(-3). Let q be (-2)/4 + 911/n. Does 12 divide q/15 + (-1)/3?
False
Let j be (6*(-5)/(-12))/((-2)/(-4)). Suppose -5*y - 6*q + 262 = -2*q, -4*y + 226 = -j*q. Does 3 divide y?
True
Let l = -610 - -2143. Is l a multiple of 11?
False
Let g = 119 - 28. Does 7 divide g?
True
Suppose 39 = o - 37. Suppose -3*j - 152 = -2*q - 2*q, -2*q + j = -o. Is q a multiple of 19?
True
Let y(b) = -b**3 - 11*b**2 - b + 10. Suppose -50 = 5*v + 5*g, 2*v = -2*v + g - 45. Is 21 a factor of y(v)?
True
Let v be 9*(-3 - -2)/(-3). Suppose 0 = v*n - 4 - 59. Is n a multiple of 7?
True
Suppose 4*p + 3*s - 39 = 0, -2*s + 22 = 2*p - 0*s. Let y(j) = 13*j - 15. Let a be y(p). Let i = 90 - a. Is 4 a factor of i?
False
Let j(k) = 1 - 1 + 3*k**3 - 1 + k. Let r be j(1). Suppose q = -4*q - r*s + 81, s - 33 = -2*q. Is q a multiple of 9?
True
Suppose -206*j + 211*j - 10585 = 0. Is j a multiple of 73?
True
Suppose 0 = -3*r + 6*r + 4*c + 5317, 2*r + 2*c + 3548 = 0. Is r/(-15) - 14/(-35) a multiple of 36?
False
Suppose 8*d - d - 1120 = 0. Is 16 a factor of d?
True
Suppose 0 = -9*i + 7*i + 24. Let o(k) = -k**2 + 13*k - 9. Let b be o(i). Is ((-39)/9)/(b/(-9)) a multiple of 6?
False
Let p = 1440 + -893. Is p a multiple of 14?
False
Let b = -143 - -202. Suppose b = s - t, -4*s + 104 + 132 = t. Let z = 90 - s. Is 10 a factor of z?
False
Let l(k) be the second derivative of 7*k**4/6 + 5*k**3/6 + 2*k**2 + 35*k. Is l(-4) a multiple of 39?
False
Let m(c) = 2*c**2 + 5*c + 4. Let u be m(-3). Let g(t) be the third derivative of t**6/120 - 7*t**5/60 + 5*t**4/12 - t**3/2 + t**2. Is 18 a factor of g(u)?
False
Let t(k) = -k**2 - 18*k - 2. Let b(r) = r**3 + 12*r**2 + 13*r + 12. Let n be b(-11). Is t(n) a multiple of 7?
False
Let w be (5 - 102/(-12))/((-1)/2). Does 4 divide 3/w*-21*3?
False
Is 14 a factor of 105/6*(-13 - -17)?
True
Let q(c) = 7*c - 42. Let b be q(6). Does 5 divide 2/2*b + 72?
False
Suppose -5*n - 981 = 4*u, -u + 382 = -2*n - 0*u. Let b = 295 + n. Does 12 divide b?
False
Suppose 13*i - 15*i + 1712