ultiple of 12?
False
Let w = 991 + 35. Does 6 divide w?
True
Let v(q) = 75*q**2 + 259*q - 70. Is v(18) a multiple of 233?
True
Let c = 4 + -6. Let z(i) = -i**2 + 18*i + 32. Let m be z(8). Let u = m - c. Is u a multiple of 24?
False
Suppose 8*d = 45 - 13. Suppose 7*h + 363 = -d*h. Let s = h + 61. Is s a multiple of 5?
False
Suppose 0 = n - 2, -3*d + 2*n - 1 = 9. Does 12 divide (1 + (-2 - -5))*(-24)/d?
True
Let c be ((-16)/(-6))/((-30)/(-45)). Suppose 0 = c*l - 2*p - 698, 3*l + 0*p - 534 = -2*p. Is l a multiple of 14?
False
Let r(p) = 5*p**2 + 0*p**2 - 4*p**2 + 252 + 49*p - 17*p. Is r(-30) a multiple of 96?
True
Is (-17 - 700/(-40))*(-3340)/(-2) a multiple of 4?
False
Let k = -16 - -18. Let o(a) = 28*a + 2. Let t be o(k). Suppose -t - 38 = -12*b. Is b a multiple of 3?
False
Is (-13080)/(-28)*35*((-16)/(-6))/2 a multiple of 100?
True
Is 31 a factor of 5 - (-2 + 6) - 1*-2501?
False
Suppose 0 = -3*x + d + 86726, 3*d - 52823 - 33871 = -3*x. Is 9 a factor of x?
False
Let p = 267 - 302. Is (130/p + 4)*63 a multiple of 18?
True
Suppose -4*p - 5*m = 10, -1 + 9 = p - 4*m. Suppose p = 22*s - 21*s - 117. Does 6 divide s?
False
Let w = 20130 - -12841. Is w a multiple of 72?
False
Let u = -14 + 53. Suppose -y + u = -5*r - 0, 4*y = -4*r + 36. Is y a multiple of 12?
False
Suppose 0 = -2*y + 2651 + 11253. Is 84 a factor of y?
False
Let y be (-1)/(-1 + (-3990)/(-1329) - 2). Let r = -267 - y. Does 11 divide r?
True
Let m(k) = k**2 + 2*k + 8. Let j be m(0). Suppose -i = 4*w + i - 1120, j = 4*i. Does 11 divide w?
False
Is ((-2)/7 - 2798/7)/(267/(-2937)) a multiple of 88?
True
Let r = 12894 - -58268. Is r a multiple of 13?
True
Suppose 3*k - 2496 = 5*s - 52644, -s - 3*k = -10044. Is s a multiple of 19?
True
Suppose 44071 + 44349 = 14*i + 21430. Is i a multiple of 55?
True
Suppose 0 = -13*j + 12*j + 5. Let p(l) = 22*l - 1. Let x be p(j). Let v = 31 + x. Is 14 a factor of v?
True
Let c = 6603 + -4942. Is 151 a factor of c?
True
Let m(j) = 259*j + 3178. Does 38 divide m(-4)?
False
Suppose 3*d = 2*r - 268, 5*r - 111 = 2*d - d. Does 32 divide 6/((-24)/d)*14?
False
Let g(o) = o**3 - 5*o**2 - o + 21. Let n be (-11)/55 + (-6)/(-5). Let z be -4 - (2 - n)/(4/(-36)). Does 5 divide g(z)?
False
Let z = 14189 + -8186. Is 29 a factor of z?
True
Suppose 514*k - 388*k - 1125601 - 481529 = 0. Does 15 divide k?
False
Let c(r) = -153*r - 170. Does 14 divide c(-25)?
False
Let l be (-20)/(-6)*(22/5 - -1). Suppose 2*q - l = 3*f, 2*f - 6*f + 2*q - 22 = 0. Does 55 divide f/(-26) - (24955/65)/(-7)?
True
Let f = 16827 - -1642. Is 7 a factor of f?
False
Let l be 254/(-5)*115/(-46). Suppose -58 = -g - 4*t, 3*t + 325 = 5*g + l. Is 21 a factor of g?
True
Let i(b) = 4*b - 9. Let n be i(2). Let d(a) be the first derivative of -187*a**2/2 - 4. Is d(n) a multiple of 17?
True
Let f be ((-56)/(-49))/4 - (-2)/(-7). Let u be f - -1 - 4/(-4). Suppose -12 = -4*j, -4*j + 171 = u*m + j. Does 26 divide m?
True
Suppose -38*d + 76*d - 1744960 = -57*d. Is d a multiple of 82?
True
Let g = 12407 + -9509. Does 18 divide g?
True
Suppose 6 = -8*r + 7*r. Let n(f) = f**3 + 5*f**2 + f. Let q be n(r). Let o = q + 75. Is o a multiple of 8?
False
Let h(m) = -83*m + 33. Let c be 25/(1 - 6) - 0. Does 14 divide h(c)?
True
Suppose 17*s + 1967000 = 52*s. Is 100 a factor of s?
True
Let d = -47 - -37. Does 3 divide (-1 + (-4)/d)/((-5)/25)?
True
Let a(n) = -n**2 + 24*n - 20. Let p be a(23). Suppose -29*u - p*h = -24*u - 1787, 1792 = 5*u - 2*h. Is u a multiple of 13?
False
Let u(i) = 2*i**3 - 14*i**2 + 34*i + 22. Is 11 a factor of u(11)?
True
Let h(o) = 3*o**2 + 13*o + 12. Let a be h(-5). Let w = a + -18. Let k(z) = 2*z**2 + 3*z - 7. Is k(w) a multiple of 8?
False
Suppose 2*y - j - 30 = 0, 0 = 3*j + 4 - 16. Let d = 77 - y. Is 6 a factor of d?
True
Suppose 0 = -5*p - 2*l + 456 + 139, -4*p + 3*l = -476. Suppose -4*f + 4 = -0*f, 0 = -v + f + p. Does 38 divide v?
False
Suppose -5*y + b = -15, -5 = -4*b + 3*b. Let z = y + 2. Suppose -25 = -3*d + 5*l, 2*d - z*d + 5*l = -40. Does 14 divide d?
False
Let x be (13 - 1)*21/42. Suppose x*t = 10*t + n - 1996, -2484 = -5*t - 4*n. Is t a multiple of 25?
True
Let y = -1 + 7. Let r(f) be the second derivative of f**4/12 + f**3 - 13*f**2 - 2*f + 3. Is 3 a factor of r(y)?
False
Does 78 divide 24/(408/(-17)) - (-1 + -7626)?
False
Let h(n) = -31*n + 4*n - 35*n**2 + 36*n**2 + 33. Let a(f) = 1. Let i(o) = -2*a(o) - h(o). Is i(25) even?
False
Is 10 a factor of 13190 - (-18 + (-19)/(-1))?
False
Let a be 3/(-5) - 37352/(-70). Let w = a + -155. Is 18 a factor of w?
True
Let d = 461 + -457. Suppose 0 = -d*h - 16 + 24, 147 = 3*z - 3*h. Is 3 a factor of z?
True
Suppose -9*f - 476990 = -109*f - 79490. Is f a multiple of 75?
True
Let j(y) = 137*y + 235. Does 12 divide j(27)?
False
Let v(s) be the second derivative of s**3/6 - 15*s**2/2 - 14*s. Let i be v(-5). Let k(x) = x**3 + 19*x**2 - 28*x - 39. Is 21 a factor of k(i)?
False
Let t(b) = -b**3 + 57*b**2 - 265*b - 138. Is 3 a factor of t(51)?
True
Let a = 57818 + -36510. Is a a multiple of 28?
True
Let m(k) = k**3 + 10*k**2 - 13*k - 9. Let a = -585 + 577. Is 7 a factor of m(a)?
False
Let a(w) = w - 14. Let y be a(11). Let q be 112/20 - y/(-5) - 1. Does 17 divide 34*(5 - 14/q)?
True
Let c(g) = -g**3 - 9*g**2 + g + 9. Let a be c(-9). Suppose -4*q - 2*t = 0, 2*t = -3*q - a*t. Suppose -6*v - 221 + 1085 = q. Is 8 a factor of v?
True
Suppose -11*h - 8*h + 988 = 0. Let s = 17 + -10. Suppose m + s = 3*z - h, 5*m = -z - 7. Is z a multiple of 6?
True
Let n = 60709 + -41047. Does 113 divide n?
True
Let b = 21942 + -20139. Is b a multiple of 18?
False
Let i(o) = -6*o**2 - 3*o - 30. Let f be i(-4). Is (4 - f/(-24))*-308 a multiple of 19?
False
Let u = -303 - -412. Suppose u + 307 = 4*v. Is v a multiple of 27?
False
Is (5538/52)/(-2*(-4)/1456) a multiple of 13?
True
Suppose 0 = 25*v + 10*v - 103320. Does 41 divide v?
True
Let c be 4*(0 - (5 - 6)). Suppose -i - 4*q = -6*i + 185, 4*i - 144 = c*q. Is 12 a factor of i?
False
Suppose x - 5*l = 19808, -3*x + 18*l + 59324 = 23*l. Is x a multiple of 42?
False
Let c(v) = 12*v**2 - v - 1. Let f be c(1). Let q(h) be the third derivative of -h**5/60 + 11*h**4/24 + h**3/2 - 7*h**2. Is 13 a factor of q(f)?
True
Suppose s - 3*z - 7905 = 0, -3*z = -4*s + z + 31596. Is s a multiple of 84?
True
Let k(g) be the second derivative of 5*g**4/3 - 8*g**3/3 - 15*g**2/2 + 11*g. Is k(-1) even?
False
Let w = 441 + -1094. Let f = -278 - w. Is 8 a factor of f?
False
Suppose 47*w + 2684 = 48*w. Suppose -3*t - 1025 = -w. Is 13 a factor of t?
False
Let j(s) = 149*s + 5177. Is j(-31) a multiple of 38?
False
Let y(f) = 2*f - 7*f + 45 + 3*f - 3*f. Let d be y(9). Suppose 8*s - 172 - 52 = d. Is s a multiple of 5?
False
Suppose -v + 5 = 3*m, 4*m - 7 = -v - 1. Suppose 450 = v*h + 2*g, -3*h + 3*g = -0*h - 693. Suppose -11*x + 13*x = h. Is 38 a factor of x?
True
Let w be (15/(-4))/(5/(-8) - -1). Let i be w/(-4)*126/15. Let d = -2 + i. Is d a multiple of 19?
True
Is (9/(36/40))/2 + (-267718)/(-43) a multiple of 31?
True
Is 1015 + (23 - 17) + -6 + -1 a multiple of 10?
False
Suppose -236224 = -68*k + 636033 + 422123. Is k a multiple of 81?
True
Suppose -2 = -x + 3. Suppose 10*o + 30 = x*o. Is (3 - (-9)/o)/((-6)/(-12)) a multiple of 3?
True
Let m(q) = -2*q - 25. Let p be m(-14). Suppose 4*a - p*r - 38 = 361, a + 2*r - 86 = 0. Does 24 divide a?
True
Let f(g) = 124*g**2 - 272*g - 2482. Is 154 a factor of f(-9)?
True
Suppose 0 = 5*m - 3*l - 39684, 3*m + l - 1305 = 22497. Is 43 a factor of m?
False
Let u(y) = 2*y**2 + 11*y - 55. Let o be u(7). Is 320/o*273*2 a multiple of 26?
True
Let v(h) = 3*h**2 - 7*h - 3. Let u = 102 + -92. Let m be v(u). Let d = m - 90. Is d a multiple of 22?
False
Let b = -33 + 37. Suppose -3*w + 3780 = 3*t, b*w = -5*t + 3*w + 6300. Suppose 11*u - t = 2*u. Is 35 a factor of u?
True
Let v(t) = t**2 + 3 - t**2 + 3 + 12*t - 3*t**3 + 3*t**2. Is 12 a factor of v(-5)?
True
Let l = 729 + -2101. Let z = l + 1939. Is z a multiple of 21?
True
Suppose 6 = 3*d, -4*n + 5425 = d - 2009. Is 24 a factor of n?
False
Suppose -4 = -528*b + 530*b, -d + 34648 = -b. Is 12 a factor of d?
False
Let s(m) = -22*m**2 + 5*m - 6. Let f(c) = -23*c**2 + 7*c - 7. Let k(d) = 4*f(d) - 5*s(d). Is 47 a factor of k(3)?
False
Let s = -4 + -5. Let i(u) = u**3 + 9*u**2 + 2*u + 18. Let t b