ltiple of 12?
False
Let b(x) = 43*x**3 - 18*x**2 + 78*x - 84. Is b(6) a multiple of 16?
True
Suppose -5*j = -6 + 21. Let c be j/(-12) - ((-650)/(-8) + -2). Let b = c - -90. Does 3 divide b?
False
Suppose 60*t = 59*t + 2. Suppose 3*i = t*y - 472 - 1229, 4255 = 5*y - 5*i. Is 6 a factor of y?
True
Let a(i) = -i**2 + 11*i - 25. Let s be a(7). Suppose s*g - 238 - 671 = 0. Is 65 a factor of g?
False
Let i(b) = 4174*b**2 + 257*b + 517. Is 125 a factor of i(-2)?
False
Let a(m) = 6*m + 154. Let g be a(-26). Is 15 a factor of -7 + (209 - g) + 2?
False
Is 22 a factor of (3 - (-65)/(-10))*-86 - -7?
True
Let v = -56 - -54. Let d be 411/(-27) + v*2/(-18). Let q = d - -118. Does 35 divide q?
False
Does 200 divide (-30)/(-2)*1 + 26185?
True
Suppose -332*u + 949754 = -6301126. Does 104 divide u?
True
Let i(m) = m**3 + 10*m**2 - 10*m - 8. Let s be i(-11). Let j = s + 10. Does 43 divide 2*(3 + j/2)*-25?
False
Let d(l) = -5*l**3 - 26*l**2 - 76*l + 21. Is d(-9) a multiple of 26?
False
Let a(q) = 12*q + 59. Let u be a(-6). Let r(m) = m**2 + 12*m + 131. Does 5 divide r(u)?
False
Suppose 10*c - 90098 = -11*j + 6*c, -3*j + 3*c = -24564. Does 68 divide j?
False
Let y = 65 - 61. Suppose y*h + 30 = -6. Let x(r) = r**2 - 5*r - 6. Does 30 divide x(h)?
True
Let f(q) = 44*q**2 + q - 1. Let r be f(-1). Let d = r - -6. Is 24 a factor of d?
True
Let d(u) = u**2 - 3*u + 3780. Does 28 divide d(0)?
True
Let f(z) = 4*z**3 + 94*z**2 + 91*z + 31. Is f(-22) a multiple of 4?
False
Suppose 3*z - 2*n = 8, 2*n - 2 = z - 10. Let h = z + -2. Does 8 divide (h - (-18)/3) + 42?
False
Suppose 5 = -2*u - s + 29, -3 = -u - 5*s. Suppose 0 = -k + 9 + u. Suppose -5*g - 2 - 8 = 0, -2*d - 5*g + k = 0. Does 8 divide d?
True
Let r = -2501 + 4489. Is r a multiple of 27?
False
Suppose 0 = 167*x - 165*x - 13040. Is 37 a factor of x?
False
Let r(h) = -5*h - 47. Let c(t) = -t**2 + 5*t + 26. Let s be c(-4). Let m be r(s). Suppose -5*k + 2*q = -258, -k + m*q + 2*q = -70. Is k a multiple of 10?
True
Suppose -32*r + 600852 = 4*r - 545460. Is 58 a factor of r?
True
Let f = 194 + -192. Suppose -f*n + 2*g = -388, -g - 779 = -n - 3*n. Is n a multiple of 15?
True
Let f = 15357 + -12396. Is f a multiple of 19?
False
Is ((-14)/(-8))/(1/116*11/143) a multiple of 91?
True
Let m be 4/(-10) - 55*(-18)/225. Does 3 divide (-11 + 410/10)*10/m?
True
Suppose -4*n + 2074 = 2*q, 18*q - 2056 = -4*n + 22*q. Is n a multiple of 10?
False
Let a = 98 - 68. Suppose -4*g + 2*g = f + 35, 2*f = 4*g - a. Let p = 103 + f. Does 29 divide p?
False
Suppose -13*a = 6*a - 24*a. Let y(h) = -h**2 - 10*h + 475. Does 23 divide y(a)?
False
Let n(u) = 9*u - 32. Let y be n(4). Does 14 divide 177*1*y/(-96)*-8?
False
Let y be ((-18)/9)/((-1)/(-58)). Let l be 12/(2 - y/(-64)). Suppose 0 = -4*v - 2*k + l, -v - 2*k - 3 = -13. Is v a multiple of 9?
True
Let k(n) = -n**2 + 5*n - 14. Let q(b) = 3*b + 2*b - 3*b**2 - 13 + 2*b**2. Let m(x) = 3*k(x) - 4*q(x). Is m(3) even?
True
Let a = -247 - -349. Suppose 10*c - 7*c = 27. Does 12 divide 6/c*a - -4?
True
Suppose 254*s - 239*s - 864645 = 0. Is 59 a factor of s?
True
Is 4 a factor of 28/(-12) - 702770/(-186)?
True
Let z = -14845 + 25994. Is z a multiple of 14?
False
Suppose 6*p + 7*p = 0. Suppose 11*w - 18111 - 33149 = p. Is 6 - 1 - w/(-20) a multiple of 31?
False
Let j be -5*-1*(-11526)/(-15). Suppose 11*o + 6*o = j. Is 42 a factor of o?
False
Suppose -d + 233 = -81. Suppose -5*t + d = c, -t - 1596 = -11*c + 6*c. Is c a multiple of 29?
True
Let g(h) = 97*h**3 - 8*h**2 + 38*h - 24. Does 37 divide g(6)?
True
Let h(m) = 2*m**2 + 10*m + 4. Let x be h(-5). Suppose 0 = x*n + n - 25. Suppose 4*i = -4*b + b + 672, -i + 168 = -n*b. Does 24 divide i?
True
Let q(j) = -6*j - 6*j - 5 + 6. Let s(y) = y**2 - 8*y - 347. Let m be s(-15). Does 17 divide q(m)?
False
Suppose 10 = 5*i, n = -0*n + 2*i + 923. Suppose -w = -4*w + n. Suppose 5*r = w + 6. Does 7 divide r?
True
Let z(n) = -96*n - 272. Is 7 a factor of z(-25)?
True
Let m be (-276)/(-9) - -1 - 1/(-3). Suppose 0 = -m*k + 23*k + 36. Is k even?
True
Let y(q) = q**2 - 38*q + 108. Let v be y(35). Suppose -2*a - 3*s = -177, 3*a - v*s + 270 = 6*a. Is a a multiple of 3?
True
Suppose 22 = -2*b - 16. Let f(i) = -i**3 - 18*i**2 + 18*i + 24. Let r be f(b). Suppose 2*u - r - 35 = 0. Is u a multiple of 11?
False
Suppose -54*n = -53456 - 81112. Is 79 a factor of n?
False
Let w = 99 - 95. Suppose l - 6 = 4*l, -w*m + 492 = 4*l. Is 12 a factor of m?
False
Is 114 a factor of 33 + (64 - 103) + (1 - (0 - 21736))?
False
Let f = -25769 - -39573. Is 59 a factor of f?
False
Suppose -54*j - 4287 = -57*j. Suppose -174 = 3*y - o - j, -3*y + 4*o = -1240. Does 12 divide y?
True
Suppose 9*y = 3*y + 18. Suppose t = 5*f - y*f + 112, -4*t + 422 = 5*f. Is t a multiple of 7?
False
Let x(o) be the third derivative of o**5/3 + o**4/6 + o**2 - 71. Is 30 a factor of x(2)?
False
Let u(l) = -54*l - 1332. Is 4 a factor of u(-41)?
False
Suppose -13*c = -2*c - 10890. Suppose 2*r + r = c. Does 15 divide r?
True
Suppose -31*l + 258721 + 205934 - 55362 = 0. Does 12 divide l?
False
Suppose -6*p - 26 - 46 = 0. Suppose 5*m + 10 - 44 = 2*j, m + 5*j + 4 = 0. Does 25 divide 4/m + (-520)/p?
False
Suppose 10*t - 75777 = -36*t + 7*t. Is t a multiple of 9?
False
Suppose -4*m + 3*o + 5687 = 0, -348*o - 1430 = -m - 350*o. Is m a multiple of 13?
False
Let o = 23 - 19. Suppose 0*n - 56 = -o*n. Suppose a + 5 - n = 0. Is a a multiple of 3?
True
Let u be 4/10 - 180/75. Let j be (-1 - 3/u)/((-11)/(-66)). Suppose -6*s + j*s + 49 = -4*v, 3*v - 57 = -4*s. Is 5 a factor of s?
True
Let m(p) = 433*p + 13548. Does 7 divide m(-13)?
False
Suppose 10*r + 10*r - 8060 = 0. Let x = r - 297. Does 11 divide x?
False
Let b = -6799 + 3836. Let c = 4854 + b. Is 11 a factor of c?
False
Let b be -2 - 9/(-5) - 1212/(-60). Is (3/(-1))/((-121)/b + 6) a multiple of 60?
True
Suppose 10813 = 6*v + 4371 - 21620. Is 17 a factor of v?
False
Let b(m) = -4*m - 44. Let q be b(-7). Let f(s) = -s**3 - 16*s**2 - 2*s - 27. Let n be f(q). Suppose -8*a - 94 = -r - 10*a, a - 479 = -n*r. Is 32 a factor of r?
True
Let s be 152/(-6)*135/(-30). Suppose -b + 2*u - 5*u + 37 = 0, -4*u - s = -2*b. Suppose 0 = -5*k + 66 + b. Does 14 divide k?
False
Let j(c) = 4822*c - 1586. Does 39 divide j(12)?
False
Let x = -49281 + 70789. Does 38 divide x?
True
Let i = -118 + 119. Does 5 divide (i/((-2)/(-288)))/(21/28)?
False
Suppose 0 = 791*c - 666*c - 534375. Does 5 divide c?
True
Suppose 1402 + 3306 = 44*w. Suppose -69 - 40 = -3*x + 2*s, 0 = 3*x - 4*s - w. Is 7 a factor of x?
False
Let q(h) = h + 17. Let t be q(-14). Suppose 0 = -2*s + v, t*v = 5*s + 1 + 1. Is 16 a factor of (-1 - (-8)/s) + 157?
True
Suppose 0 = 2*j + 2*v - 6, -4*v = -2*v + 6. Suppose j*r - 357 = 333. Suppose -2*d + 91 + r = 0. Is 18 a factor of d?
False
Let k = -34289 - -61329. Suppose 29*t - 55*t = -k. Is 65 a factor of t?
True
Suppose g - 2*q + 12 = 187, 2*g - 345 = 3*q. Suppose 5*b = -2*x - 0 + 47, -3*x = -5*b - 8. Suppose 0 = -6*y + x*y - g. Is y a multiple of 8?
False
Suppose -n = 3*n - 20. Suppose 6158 = 23*w - 4192. Suppose 0 = n*r - 5*b - 0*b - w, -90 = -r + 5*b. Is 15 a factor of r?
True
Let p be (116/10)/((-5472)/1095 - -5). Suppose 7*q - 1142 = p. Is q a multiple of 48?
True
Let b(m) = 2*m**2 - 18*m - 32. Let y be b(10). Is (-20)/30*y + 2140 a multiple of 23?
False
Let g be (6 + (-39)/6)/((-2)/12). Let u(q) be the second derivative of 8*q**3 - 24*q. Does 12 divide u(g)?
True
Let i = 352 - 663. Let c = i + 413. Does 34 divide c?
True
Suppose -x = 39 - 49. Suppose -c = -x*c + 1512. Suppose 2*k = -k + c. Is 14 a factor of k?
True
Suppose -2*f + 289 = 5*s - 321, 5*s - 310 = -f. Is f a multiple of 2?
True
Suppose 0 = 3*g + g - 296. Suppose -17*k = 10*k + 1215. Let p = k + g. Is 22 a factor of p?
False
Let y be (-278)/16 - (-66)/176. Let x = -15 - y. Does 5 divide (-9)/(-2)*4/x?
False
Suppose 0 = -17*j + 211981 + 204927 + 367948. Is j a multiple of 29?
True
Let x(t) be the third derivative of 0*t + 47*t**2 - 11/24*t**4 + 0 - 2*t**3 + 7/20*t**5. Does 46 divide x(-4)?
True
Let w(t) = -6*t + 1. Let d be w(-4). Suppose 0 = -d*o + 10180 - 280. Is 7 a factor of o?
False
Let x = 11712 - -8987. Is 7 a factor of x?
True
Suppose 258312 + 213819 = 251*y. Is 2 a factor of y?
False
Does 36 divide 80952 + 14 - (-8)/((-48)/42)?
False
Le