ltiple of 11?
True
Suppose -4*s = -19850 - 6546. Is s a multiple of 72?
False
Is 24255350/1575 - 2/9 a multiple of 56?
True
Let m = 12067 + -5287. Does 32 divide m?
False
Suppose -7 + 11 = -2*n, 0 = 5*a - 4*n - 48. Suppose 2*g + 3*w - 394 = 2*w, 0 = 4*w - a. Is 3 a factor of g?
False
Suppose 3*n = 12*n - 1512. Let s be 0/1 - -8*6/12. Suppose f - s = 0, -a - a + n = f. Does 18 divide a?
False
Let s(w) = 846*w - 3196. Is s(42) a multiple of 47?
True
Suppose j - 3*j = 0. Let m = 18 + j. Suppose m - 62 = -4*o. Is 6 a factor of o?
False
Suppose -2*y - 4*b = -100, -3*y + 0*y = 3*b - 147. Suppose -2*p + 96 = 4*i, 3*i + y = p + i. Is p a multiple of 6?
True
Let f be (2/(-4))/((-30)/720). Suppose -3*q + f = -2*k + 2, -3*k - 15 = 3*q. Suppose -123 = -5*r - 5*p + 112, q = 2*r - p - 97. Is 12 a factor of r?
True
Suppose 5*z = -4*y + 297 + 425, 10 = -5*y. Let f = z - 24. Is f a multiple of 10?
False
Suppose -29*w + 17 = -2038 - 4905. Is 4 a factor of w?
True
Suppose 5*v = g + 1065, -41*v + 632 = -38*v - 2*g. Does 14 divide v?
False
Let d(w) = 90*w + 13. Let m(r) = -2*r - 55. Let x be m(-21). Let j = x + 16. Is 21 a factor of d(j)?
False
Let x(l) = 5*l**2 - 73 + 24 + 29 - 8*l + 26 + 4*l**3. Does 25 divide x(6)?
False
Let t = 8065 + -5986. Is 34 a factor of t?
False
Let l = 18655 - 10483. Is 227 a factor of l?
True
Suppose 4*a = 3*f - 35, -a - 5 = -0. Suppose 8 = -s + f*s - 2*i, -5*s - i = -24. Suppose -y - 2*y = 9, 5*x - 393 = -s*y. Does 10 divide x?
False
Let u = 36 + 229. Let t be 2*1*(-552)/(-16). Suppose 4*m = 5*r + u, -r - t = -m + 3*r. Does 13 divide m?
True
Let c = 13348 - 2723. Does 58 divide c?
False
Suppose 5*y = -4*z + 1346 + 2236, 0 = -4*z + 4*y + 3564. Suppose -1053 - z = -7*i. Is i a multiple of 31?
False
Suppose -c + j + 9 = -35, 184 = 5*c + 4*j. Let q = 158 + c. Is q a multiple of 35?
False
Let b be (-3)/2*6*(-1 + 0). Let y be (-3774)/(-27) + 2/b. Suppose -3*w + 4*o = -203, 4*o + o = 2*w - y. Is 13 a factor of w?
True
Let h = -236 + 235. Does 6 divide (-429)/(-4) + -5*h/(-20)?
False
Let v(x) = -146*x**3 - 6*x**2 - x - 13. Let m(q) = q**2 + 2. Let t(c) = 6*m(c) + v(c). Is t(-1) a multiple of 73?
True
Let k = -29 + 50. Suppose 0 = 7*l - k - 77. Is l even?
True
Let y(w) = -w**2 - 3*w + 1. Let d be y(-1). Let q(o) = 11*o - 2 + 3 - 3. Is 17 a factor of q(d)?
False
Let r(x) = x + 19. Let k be 1/((-5)/15) + 40/(-2). Let v be r(k). Let w = v - -39. Does 7 divide w?
True
Let l(x) = -3*x**2 - 107*x + 94. Let n(p) = p**2 + 36*p - 31. Let s(u) = 3*l(u) + 8*n(u). Is 32 a factor of s(-21)?
False
Suppose -1339 - 2049 = -4*o. Suppose -2*i - 2*i + o = -m, 642 = 3*i - 3*m. Is i a multiple of 10?
False
Let k = 340 - 354. Is 2 a factor of (-242)/k - 14/49?
False
Suppose 0 = -6*p + 59 - 35. Suppose 0 = -p*k + 405 + 311. Is k a multiple of 9?
False
Let o(u) = -18*u**3 + 19*u**2 - 72. Does 18 divide o(-6)?
True
Suppose -15*s + 9*s + 25681 = -123563. Does 49 divide s?
False
Suppose g - 11073 = -2*f, -54*g - 5535 = -f - 55*g. Is f a multiple of 10?
False
Let y(v) = -v**2 + 11*v - 14. Let z be y(7). Suppose -z*i = 3*i - 1734. Is 6 a factor of i?
True
Let w(b) = b**3 - b**2 - 6*b - 5. Let z be w(5). Suppose 19 = -f - z. Let g = 140 + f. Is 8 a factor of g?
True
Let v(t) = -t**3 - 2*t**2 - 11*t + 11. Suppose -10*h = 36 + 14. Is v(h) a multiple of 22?
False
Let f = 5872 - -3695. Is 203 a factor of f?
False
Let z be (-4)/(-20) - (-78)/(-15). Is 52 a factor of (z - -2025)/5 - -2?
False
Suppose -4*x + 5*x = 6. Let d be 3/2*x*8/(-36). Does 9 divide (2/8 - d)/((-3)/(-60))?
True
Let o(i) = i**2 - 36*i - 26. Let g be o(47). Suppose -2*h - 79 = -g. Is h a multiple of 3?
False
Suppose -35*g + 37*g - 23985 = 3*j, 2*g = 5*j + 23995. Does 85 divide g?
True
Let i(u) be the third derivative of 13*u**4/12 + 33*u**3 - u**2 + 23. Does 8 divide i(0)?
False
Let d(v) = -v**3 - 23*v**2 + 6*v - 31. Is 93 a factor of d(-27)?
False
Let q be (6 - 158)/(2/(-5) + 0). Let x = 738 - q. Let u = -178 + x. Is 23 a factor of u?
False
Is 132 a factor of 49941/18 + -2 + 1 + 15/(-10)?
True
Suppose -28 = 2*k - 16. Let w be -18*k/(-30)*(-15)/2. Suppose -w = -2*h + 25. Is h a multiple of 13?
True
Suppose 0 = -0*w - w + 4*w. Let f(p) = -6*p + 2 + 1 + 7*p**2 - 4*p + w. Is f(4) a multiple of 15?
True
Suppose -194 = 5*n - 2*w, -5*n + 2*w - 188 = -2*w. Suppose 323 = -1713*u + 1694*u. Let i = u - n. Is 23 a factor of i?
True
Suppose 2*g - 24 = -0*g. Let p be (0*3/g - -2) + 293. Suppose 5*o - 991 - 376 = 2*a, -o - 5*a = -p. Is o a multiple of 35?
False
Let m(o) be the third derivative of -o**6/120 - o**5/20 + o**4/12 + 2*o**3/3 - 9*o**2. Let y be m(-2). Is -2*-10*y/(-16) a multiple of 3?
False
Let n = 14163 + -3450. Does 62 divide n?
False
Let l = 124 + -174. Let b = l - -49. Is (1 - -4)*(-34)/(b + -1) a multiple of 21?
False
Let t be ((-20)/(-40))/(1/(-108)). Let v = t - -132. Is 6 a factor of v?
True
Let r be (-3)/(-132)*8 - 1905/11. Let g = r + 233. Is 16 a factor of g?
False
Let r = 21 + -8. Suppose 4*j + s - 108 = -r, -2*j = -4*s - 52. Let h = j + 6. Does 6 divide h?
True
Let b(w) = 28*w**2 - 7. Let c be b(-4). Suppose -5*z = -2*s + c, 0 = 3*s - 3*z - 2*z - 674. Is s a multiple of 31?
False
Suppose 1208429 = 255*u - 3207151. Does 111 divide u?
True
Let y be -3*2/6*1*-2. Let w be ((-3)/y)/((-21)/70). Suppose 2*l - 65 = -5*z, w*l + 35 = z - 5. Is z a multiple of 2?
False
Is (39 + 3)/2*(3 - -1258) a multiple of 79?
False
Suppose -305 = 7*u + 983. Let n = 220 + u. Is n a multiple of 9?
True
Suppose -676*b + 325*b = -336*b - 26685. Is b a multiple of 6?
False
Is (0/(-7) + 3)/(-9) + (-597965)/(-15) a multiple of 8?
True
Is 16 a factor of (265/159)/(25/172860)?
False
Suppose -80*h + 1954841 = 26*h + 527021. Is 15 a factor of h?
True
Let k(p) = 5*p + 274. Let u(s) = -16*s - 824. Let j(x) = -17*k(x) - 6*u(x). Is 13 a factor of j(0)?
True
Let d be 50/75 + (377/(-3) - 1). Let r(k) = k - 15. Let b be r(10). Is 10 a factor of d/b*(-3)/6*-10?
False
Let j(i) = 332*i**2 + 7*i - 6. Let p be j(1). Let y = p - 303. Is y a multiple of 5?
True
Suppose 27*y - 486552 = -6*y. Is y a multiple of 97?
True
Is 9 a factor of (-4)/10 - 19936/(-140)?
False
Let z(q) = 43*q + 183. Let p be z(11). Is 22 a factor of 0*4/(-8) + p?
False
Suppose -163*x + 45*x = 264*x - 17102904. Is 26 a factor of x?
True
Let v be (1/2)/(6*(-1)/(-540)). Let w = 68 - v. Is 2 a factor of w?
False
Let b be (-1)/((-92)/44 - -2). Let q = 19 - b. Suppose -q*n + 152 = -56. Is n a multiple of 4?
False
Let f = 31 + -27. Suppose -n - 2*z + 8 = -0*n, -12 = -f*z. Suppose 0 = -n*g - 37 + 381. Is g a multiple of 20?
False
Let g(a) = 9*a**2 - 13*a - 32. Let s(j) = -5*j**2 + 7*j + 16. Let d(h) = 4*g(h) + 7*s(h). Let o be -5 + (-1 - -18) + -5. Is 4 a factor of d(o)?
True
Is 48/(-60) - (-642648)/60 a multiple of 105?
True
Suppose -712*g = -723*g - 484. Let s = g + 230. Does 32 divide s?
False
Suppose 0 = -3*z - 9*x + 13*x + 2235, 5*x + 3730 = 5*z. Is z a multiple of 3?
False
Let c(u) = 10*u - 16. Let g be c(2). Suppose -3380 + 1328 = -g*p. Is 27 a factor of p?
True
Suppose -7*y + 100093 = 19558. Suppose 6*t = -9*t + y. Is 13 a factor of t?
True
Suppose 2*k - 3 = 7. Suppose -k*a - 9 = -8*a. Suppose 2*g - 194 = a*m + 96, 5*m + 298 = 2*g. Is 13 a factor of g?
False
Let l(h) = h**3 - 8*h**2 + 88*h - 16. Is l(21) a multiple of 17?
True
Suppose -1702 = -8*r + 4*r + 2*v, -4*r + 1696 = 4*v. Suppose -3*w = -2*i + r, 8*i - 4*i - w - 875 = 0. Is i a multiple of 55?
True
Let p(w) = -108*w + 2785. Is 11 a factor of p(-48)?
False
Suppose -78300 = -92*x + 39828. Does 12 divide x?
True
Let b be ((-8)/(-14))/(28/98). Suppose 2*m + 6*m = b*m. Suppose 3*k + 3*g - 306 = m, -g + 315 = 3*k + 3. Is 15 a factor of k?
True
Let o = -1927 + 2097. Does 6 divide o?
False
Is (-292371)/(-45) - (-250)/(-1875) a multiple of 8?
False
Let m(q) = 430*q - 15151. Is m(42) a multiple of 28?
False
Let y = 183 + -179. Does 17 divide y - ((-3298)/(-85))/(2/(-10))?
False
Let t(j) = j**3 - 31*j**2 - 7*j + 37. Let c(a) = -2*a**3 + 63*a**2 + 14*a - 75. Let q(x) = -4*c(x) - 9*t(x). Is 13 a factor of q(27)?
True
Let f be (148 + -168)*(1 + 48 + -1). Let q = -224 - f. Does 32 divide q?
True
Let h(j) = 1168 + 14*j - 683 - 677. Is h(21) a multiple of 6?
True
Let l = -4224 + 6397. Is 41 a factor of l?
True
Suppose 4*c + 3*a - 35