True
Is 27 a factor of 122400/32 + 0 + -5?
False
Let r(c) = 21*c**2 + 2*c - 2. Let q(n) = -3 + 3 + n**2 - n**3 + 1 - n. Let w be q(0). Is 9 a factor of r(w)?
False
Let p(i) = 117*i + 286. Let x be p(8). Let h = x + -502. Does 40 divide h?
True
Let m(n) = -2*n**3 - 21*n**2 + 11*n - 20. Let h(a) = -a**3 - 10*a**2 + 5*a - 10. Let o(z) = -5*h(z) + 2*m(z). Does 8 divide o(-7)?
True
Let a(v) = 52*v - 13. Let n be a(-16). Let o = 1205 + n. Is o a multiple of 24?
True
Suppose 12587 + 15723 = c + 2*r, 2*r + 141610 = 5*c. Is 40 a factor of c?
True
Let n be -6*((-2)/(-4) + (-21)/(-42)). Is (1104/(-18) - -4)/(2/n) a multiple of 4?
True
Suppose 135*z - 1444820 = 53*z - 143644. Is 11 a factor of z?
False
Let r(h) = 226*h + 58. Let c(t) = -t**2 - 9*t - 17. Let k be c(-4). Is 92 a factor of r(k)?
True
Let t be (2 - 246) + (-2 - -1). Let o be (-22 - -20)*(1676/(-8) - 1). Let w = o + t. Is 37 a factor of w?
False
Let b be (-213)/9 + 26/39. Suppose 0 = -4*k + 3*k - 53. Let y = b - k. Is y a multiple of 5?
True
Suppose 40*w - 1284 = 2636. Suppose n - 5*j = w, 201 = 2*n - 3*j - 2*j. Does 57 divide n?
False
Suppose 0 = 4*y + i + 46318 - 170341, -3*y + 93006 = -3*i. Is 21 a factor of y?
False
Suppose 15*y + 235996 = 72*y + 67048. Is 3 a factor of y?
True
Let j(z) = -2*z**2 - 13*z + 4. Let d be j(-6). Suppose -2*t + 7*t - d = 0. Suppose 8 + 200 = t*i. Does 32 divide i?
False
Let h = 26267 - 18566. Is h a multiple of 71?
False
Let l(i) = -i**3 - i**2. Let w(o) = 2*o**3 + 7*o**2 + 73*o + 3. Let j(z) = 3*l(z) + w(z). Is 9 a factor of j(-8)?
False
Let v(j) = 11*j - 25. Let p be 2*-1 - (-7)/(-14)*-22. Is 7 a factor of v(p)?
False
Suppose c + 0*c - 12 = 0. Let b(f) = -7*f**3 + 24*f**2 + 4*f + 23. Let v(x) = -3*x**3 + 12*x**2 + 2*x + 11. Let a(k) = -2*b(k) + 5*v(k). Does 12 divide a(c)?
False
Let k be (-13580)/(-14) - 7 - (1 - 1 - 2). Suppose 0 = 3*o - 7*o - 2312. Let h = o + k. Is 21 a factor of h?
False
Suppose 3*c - 4*z - 22827 = 20389, -4*c + 57620 = -6*z. Does 8 divide c?
True
Let k(v) = -6*v**2 + 1 + 2*v**3 - 3*v**3 + 11*v**2 - 5*v. Let s be k(3). Suppose 0 = q - s, 2*b - 4*q - 17 = 75. Is b a multiple of 6?
True
Suppose -5*m + 220 = 4*v, -2*v + 176 = 4*m + v. Let y = -2212 - -2248. Suppose -m - y = -g. Is g a multiple of 10?
True
Let t(j) = -9*j**2 + 19*j - 88. Let p(d) be the second derivative of d**4/3 - 3*d**3/2 + 22*d**2 + 3*d - 3. Let z(i) = 7*p(i) + 3*t(i). Does 11 divide z(17)?
True
Let z = 359 + -321. Suppose x = 4 + z. Does 28 divide x?
False
Let u = 23 + 70. Let m = 114 - u. Is 9 a factor of m?
False
Suppose -221*q + 198*q = -671853. Does 13 divide q?
True
Let f(i) = -57*i - 99. Let x be f(-2). Is 49 a factor of (441/x)/(-3 - 152/(-50))?
True
Let d = 788 + -198. Suppose 7*s = 72 - d. Let i = s + 131. Is i a multiple of 19?
True
Let z(f) = -43*f + 67. Let r be z(13). Let m = r - -1122. Does 14 divide m?
True
Let t = 517 - 488. Suppose -46*d + t*d = -2635. Is d even?
False
Let f = -4590 - -17229. Is f a multiple of 67?
False
Let c(g) = -86*g**3 - 19*g**2 - 70*g. Does 40 divide c(-3)?
False
Suppose -6*h + 49 = 31. Suppose 2*f + 5*t + 5429 = 6*f, -h*f + 4038 = 3*t. Is f a multiple of 37?
False
Let w(l) = l**3 - 12*l**2 - 29*l + 17. Let n be w(14). Suppose 5*m - 608 = n*m. Is 29 a factor of m?
False
Let w(n) = -n + 2. Let r be w(2). Let g be (0 + r)/(2 - 28/7). Suppose 5*y + 40 - 170 = g. Is y a multiple of 11?
False
Let c(p) = p + 2. Suppose -5*n + 2*t + 0*t = -2, -5*n + 3*t = 2. Let f be c(n). Suppose 2*x - 120 = -f*x. Is 10 a factor of x?
True
Does 72 divide 1821/1 + (28 - 13)?
False
Suppose -101*x = 58*x - 934920. Is 35 a factor of x?
True
Let z = -3074 + 5090. Is 18 a factor of z?
True
Let v(n) = 195*n + 216. Is v(28) a multiple of 33?
True
Let g be (-4)/6*-3*44/(-8). Let f(t) = 3*t**2 - 11*t + 35. Let y(b) = -2*b**2 + 6*b - 18. Let m(q) = g*y(q) - 6*f(q). Is 13 a factor of m(4)?
True
Does 81 divide 6211*-4*((-119)/28 - -4)?
False
Let p = 60 + -53. Suppose -j - 17 = n, -36 - p = 4*j - n. Is 6 a factor of j/9*2/((-8)/66)?
False
Let h(d) = 52*d - 135. Suppose g + 5*g - 96 = 0. Does 41 divide h(g)?
True
Does 18 divide (733047/(-3015) + 2/15)/((-3)/638)?
True
Let z(n) = 14*n + 8. Let a be z(-2). Let f be (6 - a/(-5))*1. Suppose 4*p - 11*h - 499 = -8*h, -3*p + f*h + 373 = 0. Is 11 a factor of p?
True
Let b(p) = 2*p + 1. Let j be b(4). Suppose 6*c = j*c - 15. Let d = 103 - c. Is 15 a factor of d?
False
Suppose 378*m + 2910269 = 12809711. Is m a multiple of 13?
False
Suppose d - 3*p - 7501 = 0, 11*d - 14*d = 2*p - 22470. Does 36 divide d?
False
Let u = -1654 - -3394. Is u a multiple of 10?
True
Suppose -2*c = -2*o - o + 8993, -15025 = -5*o - 4*c. Does 23 divide o?
False
Does 2 divide ((-1616)/40)/(7 - (-144)/(-20))?
True
Let h(w) = 2*w**2 - 27*w - 14. Let a be h(35). Suppose -5 = -p, 314 - a = -t - 3*p. Is 11 a factor of t?
False
Let s = 14 - -52. Suppose 63*a = s*a - 414. Does 7 divide a?
False
Let n be 0/4*(6/(-8) - -1). Suppose 2*o - 8*o + 690 = n. Is o a multiple of 5?
True
Let q(m) = m**2 + 8*m + 14. Let k be q(-6). Suppose 4*j - k*b - 2388 = 0, -7*j + 3*b + 2388 = -3*j. Is j a multiple of 14?
False
Let r = -36 - -40. Suppose 0*u - 4*c - 8 = -2*u, -r*u = c - 7. Suppose 2*b - 602 = -u*b + 3*t, 2*b + 3*t - 310 = 0. Is b a multiple of 26?
False
Let d = 467 - -6551. Is 11 a factor of d?
True
Suppose 138048 = 239*o - 215*o. Is o a multiple of 9?
False
Suppose j - 2 = 5. Suppose 3*s - j*q + 1294 = -5*q, 2*q + 434 = -s. Is s/(((-36)/(-16))/((-3)/2)) a multiple of 16?
True
Suppose -3*c + k + 13 = 0, 5*c - k = -6 + 25. Suppose c*l = l - 5*q + 19, -5 = 5*l + 2*q. Let s(m) = -33*m - 9. Is s(l) a multiple of 18?
True
Suppose 5*x + 3*x - 672 = 0. Let k = 85 - x. Is 14 a factor of k/((3/44)/((-15)/(-2)))?
False
Suppose -t + h + 27946 = 2*h + 4*h, 0 = h. Does 27 divide t?
False
Suppose -4*v - n = -3*n - 224, 2*n = -8. Is v/(-5)*(-1680)/72 a multiple of 12?
True
Suppose 120838 - 26653 = 7*o. Suppose 0*m = -13*m + o. Is m a multiple of 23?
True
Let b = -87 + 88. Let l be ((-18)/(-4))/(b*(-4)/(-272)). Suppose -l = 5*f - 11*f. Does 9 divide f?
False
Suppose -o = 1 + 2, s + 17 = -5*o. Let t = s + 197. Does 12 divide t?
False
Suppose -54*d + 29*d - 63*d = -1424104. Is d a multiple of 9?
False
Let k = -75 + 119. Suppose 0 = -5*w - 97 + 437. Let i = w + k. Is i a multiple of 28?
True
Suppose 234916 = -342*c + 361*c. Does 31 divide c?
False
Let y(t) = 6*t**2 + 5*t + 7. Let v be y(-7). Let m = v - 194. Is 8 a factor of m?
True
Suppose 5*j = 4*t - 685, -3*t = -3*j - 241 - 272. Let k(z) = z**2 + 22*z + 7. Let r be k(-22). Suppose r*y = 12*y - t. Does 18 divide y?
False
Suppose -4*s + 4*q = -40, q = -26*s + 24*s + 26. Does 41 divide 4514/22 + s/(-66)?
True
Does 46 divide 6433 + ((-19)/(-2) - 5/2)?
True
Let z = 8 + -6. Suppose -9 = -z*k + 693. Is k a multiple of 39?
True
Suppose 2*w + 2*c = 5564, -10037 = -5*w + 3*c + 3921. Is 77 a factor of w?
False
Let w(q) = q**3 - 5*q**2 + 15*q + 15. Let k(y) = -y**2 + 5*y + 1. Let r(b) = 5*k(b) - w(b). Let c(a) = a**2 - 7*a + 1. Let h be c(6). Is r(h) a multiple of 6?
False
Let d = 498 + -483. Suppose -3*k - 1214 = -4*b, -d*b + 16*b - 2*k - 306 = 0. Is b a multiple of 6?
False
Let b(i) = 125*i + 26. Let p be b(10). Suppose -4*c = -3*x - x + p, 2*x + 3*c = 643. Is 11 a factor of x?
False
Let b be (-7)/4*56/(-2). Is 2436/b + 6/21 a multiple of 12?
False
Let b = 5280 + -4213. Does 11 divide b?
True
Let g(v) = 5*v - 70. Suppose 0 = -8*n + 3*n + 15. Suppose -2*f = -5*x + 93, 5*f - 2*f = -n*x + 39. Does 4 divide g(x)?
False
Let z be (-4)/5 - 7/(280/21888). Let o = -464 - z. Does 11 divide o?
False
Let z(d) be the first derivative of -d**4/2 - 8*d**3/3 - d**2/2 + 17*d - 66. Is 4 a factor of z(-5)?
True
Let i be -1 - 12 - 135/(-15). Is 78/i*(-4)/(-10)*-25 a multiple of 39?
True
Let x be (30/(-40))/((-1)/44). Suppose x*n - 3444 = 21*n. Is n a multiple of 41?
True
Let g be (3 - -17)*2/5. Let p = -6 + g. Does 12 divide p/6 + (-1290)/(-18)?
True
Suppose 0 = -q - 0*q + 4*a - 6, 4*q - a - 36 = 0. Let i be (-2)/q + 1188/165. Suppose i*v = 497 - 91. Is 17 a factor of v?
False
Let h be (270/(-40))/((-6)/32). Let q = h - -18. Suppose 0 = -2*j + 4*r + 126, 5*r - 72 = -2*j + q. Does 19 divide j?
False
Suppose 15568 = -34*f + 291274. Is 5 a factor of f?
False
Suppo