 - 708. Does 8 divide h?
False
Is -112*(18 + -253) - ((-4)/4 - 3) a multiple of 29?
False
Suppose -h + 410 = 4*h. Let x = h - 77. Suppose 2*m + m - l - 502 = 0, -l - 838 = -x*m. Is m a multiple of 28?
True
Let m(y) = 4*y**3 + 23*y**2 + 16*y + 1. Is 71 a factor of m(10)?
True
Let x = 5170 + 374. Is 18 a factor of x?
True
Suppose 4*d = -5*m - 6*m + 3506, -8 = 4*m. Is d a multiple of 3?
True
Let n(v) = 283*v**3 + 9*v + 3. Let g(j) = -142*j**3 - 4*j - 1. Let w(h) = -7*g(h) - 3*n(h). Does 9 divide w(1)?
True
Let w(y) = -1190*y**3 + 3*y**2 - 1. Let g be w(-1). Let q = g + -580. Does 17 divide q?
True
Suppose 38*r + 45*r - 785160 = 11*r. Is r a multiple of 31?
False
Suppose -3*q = 4*a - 141481, 0 = -5*a - 2*q + 139881 + 36979. Is 271 a factor of a?
False
Suppose 44783 + 81838 = 33*r. Is r a multiple of 62?
False
Let x(g) = g**3 - 23*g**2 - 24*g + 3. Let c be x(24). Suppose -c*l - l = -252. Is 17 a factor of l?
False
Suppose -3*p = -2*g - 461, -4*p = -5*g - 123 - 501. Suppose -5*f - 5*v - 370 = 0, 2*v + p = -2*f - 3*v. Let s = f - -142. Is s a multiple of 13?
False
Suppose 6*o - 23 = 43. Suppose o*n = 16*n - 260. Does 13 divide n?
True
Let l(s) = -10*s**3 + 3*s**2 - s + 4. Let f be l(-3). Let b be (-15)/(300/f)*(-15)/(-2). Let n = -74 - b. Does 3 divide n?
False
Is 4 a factor of 66/(-308)*(-21)/6 + (-581)/(-4)?
False
Is 10/15*(-21)/(-63)*(7238 + -2) a multiple of 134?
True
Suppose 182*n - 58688 = 126*n. Does 13 divide n?
False
Let b = 678 + -673. Suppose b*g + 609 = k, -3*g - 62 - 1813 = -3*k. Is k a multiple of 24?
False
Let p(v) = 5*v + 13. Let h(s) = -1. Let o(d) = -4*h(d) - p(d). Let t be o(7). Does 11 divide (-1562)/t - 10/4?
True
Suppose 2*n - 9 = -n. Let k = -1142 - -1185. Suppose -2*c + n*c - k = 0. Does 5 divide c?
False
Let x be ((-16650)/22)/(-1) + 74/407. Let k = 366 - x. Let u = k - -667. Is 46 a factor of u?
True
Suppose 0 = 435*m - 455*m + 179920. Does 13 divide m?
True
Suppose 11607 = 23*x - 17373. Does 15 divide x?
True
Let w(x) = x**3 - 4*x**2 - 2*x + 10. Let k be w(7). Let q(p) = -k*p + p**2 + 0 + 2 + 143*p. Is 7 a factor of q(-4)?
False
Let x(p) = -p**2 + 14*p - 20. Let j be x(12). Suppose -6 = -3*o, j*o - 2 + 0 = 2*f. Suppose v = 12 + f. Does 15 divide v?
True
Let n be 204/(-340) - ((-39)/5)/3. Suppose -2*d + d = 2*p - 146, -d + n*p + 146 = 0. Is 11 a factor of d?
False
Let a be (-5197 + -7)/2*-9. Is (-3)/(12*-1) - a/(-24) a multiple of 61?
True
Let n(p) = -p**3 - 4*p**2 + 35*p - 13. Let z be n(-9). Suppose 0 = 61*a - z*a + 912. Is a a multiple of 3?
True
Suppose -2*r = -4*x + x - 1289, -2523 = -4*r - 5*x. Let p = 869 - r. Is p a multiple of 29?
True
Let h = 1358 + -2207. Let a = 1443 + h. Does 66 divide a?
True
Let d = 99 - -267. Suppose 0 = 6*f + 66 - d. Suppose r = b + 44, r + f = 2*r + b. Is r a multiple of 6?
False
Let r(t) = -325*t**2 - 4. Let y be r(-3). Let b = y - -6526. Is b/27 + (-4)/18 a multiple of 16?
False
Suppose -30*b = 38*b - 53040. Is b a multiple of 20?
True
Suppose -10*t = -t - 2*t. Suppose t = -0*s + 3*s - c - 236, 390 = 5*s - c. Is s a multiple of 7?
True
Let j = -3289 + 10701. Is 10 a factor of j?
False
Suppose 4*r - w = 25195, -2*w + 13 = 3. Does 63 divide r?
True
Suppose -3*y - 1230 = -d, 4*d - 109*y - 4866 = -106*y. Does 110 divide d?
False
Suppose 20*v - 45997 = -8*v + 58135. Is 118 a factor of v?
False
Let a(f) = -210*f**3 + 9*f**2 + 19*f - 2. Is 4 a factor of a(-2)?
True
Suppose g = 5*b + 12, -5*g + 2*b = -4 - 10. Suppose -f - g*f - 3*k = -9, f = 5*k - 15. Suppose 0 = -f*i - 5*i + 490. Is i a multiple of 28?
False
Suppose 1130720 = -48*c + 2897504. Suppose 0 = 34*j - c + 5800. Does 57 divide j?
True
Suppose -20*b + 46845 - 9605 = 0. Is b a multiple of 7?
True
Let r be (-130)/(-8 + 0 + 6). Suppose 8*p - r = 3839. Is 21 a factor of p?
False
Let n(c) = -5*c**2 - 20*c + 11. Suppose -11*a = -2*a + 36. Let p(i) = 6*i**2 + 21*i - 11. Let w(h) = a*p(h) - 5*n(h). Does 11 divide w(6)?
True
Suppose 251*o = 245*o + 21450. Suppose 34*m - 19477 = o. Does 6 divide m?
True
Suppose 0*f + 4 = -f. Let x(c) = -27*c - 9. Let u be x(f). Suppose -285 = -2*b - u. Is 16 a factor of b?
False
Let r = 11069 - 7485. Is r a multiple of 178?
False
Let u(n) = -n**2 + 34 - 49*n + 23*n - 62. Is u(-6) a multiple of 9?
False
Suppose 8*b + 32553 = 6*p + 5*b, 0 = b + 3. Is p a multiple of 40?
False
Suppose -2*x + 9033 = 3*g, -4*x - 51*g + 18042 = -53*g. Does 94 divide x?
True
Let z(b) = -b**3 - 9*b**2 + 17*b - 59. Let x(g) = -16*g**2 - g + 2. Let q be x(1). Does 7 divide z(q)?
True
Suppose 0 = -j + 4*q + 266, -j = 2*j + 3*q - 873. Suppose -76 + j = 2*s. Let v = s - 38. Is 12 a factor of v?
False
Suppose 0 = -6*j - 12 - 0. Let s be 6/12 - j/4. Does 11 divide (-22 - -5)*(s + 0)*-5?
False
Let v(c) = -3 - 116*c + 11 - 60*c. Is 14 a factor of v(-1)?
False
Does 182 divide ((-819)/2)/1*((-3104)/24 + 64)?
True
Let t be (-3 + -264)/(5 + -8). Let j = 86 + t. Is 15 a factor of j?
False
Suppose 37367 = -6*l + 10*l + y, 4*y + 18706 = 2*l. Is 41 a factor of l?
False
Suppose -8*x - 58*x = 34*x - 473000. Does 110 divide x?
True
Let n = -1134 - -2100. Is (n/28)/((-12)/(-80)) a multiple of 10?
True
Let r(l) = -l**2 + 8*l - 9. Let i be r(6). Suppose 49*s - 225 = 216. Is 3 a factor of (s/(-6))/(i/(-36))?
True
Is (-76)/(-190)*20435*2 a multiple of 35?
False
Suppose -h = 5*j - 0*j - 875, -915 = -h + 3*j. Suppose -4389 = -3*b - h. Suppose 0 = -7*q - 8 + b. Is 11 a factor of q?
True
Is 276 a factor of 3746146/49 + (-406)/(-9947)?
True
Suppose -9*h + 210 = -14*h. Let j be (-9)/(-21) + 438/h. Let a(w) = w**2 - 5*w - 10. Is 35 a factor of a(j)?
True
Suppose -5*k - 10 = -0*m - 3*m, -2*k = m + 4. Let r(x) = -47*x + 2. Let c be r(k). Suppose -s = 5*s - c. Is 4 a factor of s?
True
Let h = 46717 - 14739. Does 20 divide h?
False
Let c(z) = -z**2 - 47*z - 130. Let x be c(-44). Suppose j + 4*b - 357 = 0, -x*j + 136 = -b - 623. Is 10 a factor of j?
False
Let v be -9 + 6 + -5 + 921. Let o = 1677 - v. Does 25 divide o?
False
Suppose -47*b + 156912 = -21*b - 10*b. Is b a multiple of 2?
False
Suppose 211*g = 67*g - 96*g + 2304960. Does 2 divide g?
True
Let k be (-1)/(-6)*(-3 + 0)*-10. Suppose -4*y = -k*y, 2*t + 5*y - 4 = 0. Suppose -132 = -j + x + 2*x, -t*j + 5*x = -263. Does 15 divide j?
False
Let j(f) = 9*f + 258. Let a be j(-28). Suppose -l + 2*b - 4263 = -a*l, l - 4*b - 835 = 0. Is 23 a factor of l?
True
Let k be (-9)/((11/55)/((-4)/(-5))). Let l be ((-500)/8)/(3/k). Suppose -l - 1258 = -8*c. Does 11 divide c?
False
Let i = -463 - -3058. Is i a multiple of 6?
False
Suppose -8*f + 13097 = 3017. Is 18 a factor of f?
True
Let q = -5143 + 9301. Is q a multiple of 4?
False
Let j = 132 - 128. Suppose -l = 5*i - 0*l - 8, -4*i + 2*l = -12. Suppose 3*o - j*b = 64, -5*o - i*b - 2*b + 64 = 0. Is o a multiple of 10?
False
Is 75 a factor of ((-153)/(-3))/((819/2054)/21)?
False
Suppose 32*w + 57*w - 1110356 = -42*w. Is 48 a factor of w?
False
Let d = 9364 - 831. Is d a multiple of 5?
False
Suppose -2*l = l - 6. Let a be 4 - (5 + l) - 18. Does 25 divide -2 + 0 - 2646/a?
False
Let a(s) = 158*s**3 + 28*s**2 - 13. Does 42 divide a(4)?
False
Suppose -8*p = -10*p. Suppose p = 10*y - 374 - 126. Is y a multiple of 4?
False
Let b(l) = l + 3. Let q be b(4). Suppose -3*p = z - q, -21 = -2*p - 3*p + 3*z. Suppose 3*n - 5*n - 9 = -3*m, p*m + 5*n = 9. Is 2 a factor of m?
False
Suppose j - 7*a = -2*a + 2005, -4*j = -4*a - 8068. Is j a multiple of 11?
False
Suppose -8*l - 3*m + 84 = -7*l, 2*m = -3*l + 259. Let z = -38 + l. Let k = 47 + z. Is k a multiple of 39?
False
Let y(v) = 27*v - 9. Let w(x) = 54*x - 17. Let n(d) = -2*w(d) + 5*y(d). Is 29 a factor of n(9)?
True
Suppose -3*h = z - 236, -5*h - 36 = -3*z - 448. Let n be -2 - (h/(-45) + (-2)/9). Suppose 3*v + 480 = 3*o, n*o + 5*v = 3*o - 478. Is o a multiple of 17?
False
Let a = -378 + 1556. Let d = a - 61. Does 31 divide d?
False
Let h be (2/(-4))/1 - (-133)/38. Suppose 5*c = 4*v + 68, -4*v + 5 = -h*c + 49. Suppose -6*q - 78 = -c*q. Does 6 divide q?
False
Let s = 5693 + -1792. Does 8 divide s?
False
Let m = 702 + -695. Suppose -3385 - 1655 = -m*x. Does 48 divide x?
True
Let s = -17116 - -25603. Does 16 divide s?
False
Let q(g) = 2*g**2 + 3*g - 17. Let w be q(4). Let r be 10900/(-15) - 6/w*-3. Does 28 divide ((-7)/14)/(3/r)?
False
Let k = 1639 + 25