True
Let i(j) = 13*j + 15. Let c be i(11). Suppose -2*b + 276 = -c. Is 11 a factor of b?
False
Let v = -9645 + 18125. Is v a multiple of 16?
True
Let d(i) = -60*i**2 - 1851*i + 34. Is 42 a factor of d(-30)?
False
Suppose -7*m + 54 + 44 = 0. Suppose 4*g = 2*l - 3 + 1, 4*l = 5*g + 4. Does 20 divide (g - 60/(-7))*m?
True
Let q(k) = 29*k**2 + 1331*k - 10. Is q(-48) a multiple of 21?
False
Suppose 0 = 20*s - 7716 - 584. Does 64 divide s?
False
Suppose 39862 + 46341 = 59*q - 92213. Is q a multiple of 48?
True
Let p be (340/6)/((-8)/(-4380)). Does 58 divide (4/(-10))/((-17)/p)?
False
Suppose -2*p - 3*p - z = 38, 0 = -2*p + 5*z + 1. Let o be (-1 - p/3)*60/1. Is 31 a factor of (o/32)/(61/(-62) - -1)?
True
Let c = -1500 - -2620. Suppose p + c = 4*n - 1149, 3*n = 4*p + 1718. Suppose 140 = 2*h - 4*w, -n = -5*h - w - 205. Does 8 divide h?
True
Let a(u) = -9*u + 16. Suppose 5*y - 5*o = -65, -2*o + 2 = y - 0. Is a(y) a multiple of 29?
False
Let o = 603 + -601. Let g(m) = m + 120. Let j be g(0). Suppose -2*t + o*v + 60 = 0, 5*t = 2*t - 3*v + j. Does 6 divide t?
False
Let s be (-1)/1 + (0 - -4). Let c(w) = w**3 - 10*w**2 + 13*w - 16. Let j be c(10). Suppose 0 = 5*u + s*x - j, 4*u = u - 4*x + 64. Is 3 a factor of u?
True
Suppose 13*n + 186 = -919. Let h = -165 - n. Let m = -64 - h. Is 4 a factor of m?
True
Let l(x) = 498*x**2 + 73*x + 674. Does 17 divide l(-7)?
True
Suppose 0*u - 1 = -u, -2*i - 11 = -u. Let h = -841 - -866. Is 19 a factor of (-512)/i + (60/h)/4?
False
Let m(y) = -3139*y**3 + 3*y**2 - 2. Does 16 divide m(-1)?
False
Let f(c) = -c**2 + 6*c + 47. Let t be f(-4). Suppose t*g = 2*g + 2100. Is 30 a factor of g?
True
Let u(y) be the third derivative of y**5/60 - 5*y**4/8 + 4*y**3/3 + 15*y**2. Does 2 divide u(16)?
True
Suppose -t = -5*m - 7056, -2*t - 112*m + 14168 = -114*m. Is t a multiple of 39?
False
Suppose -5*l - 4*q = -2288, -l - 8*q = -3*q - 466. Is l a multiple of 3?
True
Let w(t) = -18*t**3 - t**2 - 3*t - 3. Let x be w(-2). Suppose z = x - 32. Let o = -28 + z. Is o a multiple of 36?
False
Let a(b) = b**3 + b**2 - 3*b - 7. Let m be a(3). Suppose 3*p = -5 + m, x + p - 818 = 0. Is 16 a factor of x?
False
Suppose -578680 = -67*n - 48*n. Is n a multiple of 68?
True
Suppose -s = 14*l - 86661, -3*s - 9528 - 9039 = -3*l. Is l a multiple of 4?
False
Let a be 4 + (-1)/3 + (-2745)/27. Let v = a - -137. Is 3 a factor of v?
True
Suppose -3*s - 522 = -6*s. Is (-4)/(-58) + 78984/s a multiple of 7?
False
Let b(h) = h**3 + 13*h**2 + 11*h - 7. Let x be b(-12). Suppose -4*r = 5*c - 1705, -c - 341 = -2*c - x*r. Is 31 a factor of c?
True
Let j(o) = 399*o**2 - 3*o - 3. Let v be j(-1). Suppose -7*h + 2*h = 4*u - 550, v = 4*h - 5*u. Suppose -b + 27 = -h. Is b a multiple of 19?
True
Let z = 1642 + 1085. Does 9 divide z?
True
Let s = 2 - 0. Let q(u) = -43*u - 382. Let k be q(-11). Suppose -d - o + 97 = 0, 0 = -4*d - s*o + k + 295. Does 37 divide d?
False
Suppose 3*y = -3*m - 828, -19*y - 1108 = 4*m - 17*y. Let b = m - -499. Is b a multiple of 3?
False
Suppose -4 = -t + 7. Let q(m) = -1 + 40*m - 15*m + t. Does 27 divide q(7)?
False
Suppose -4*b = -v - 18, -v - 34 = 3*v + 3*b. Is 2338/20 + (-1)/v a multiple of 5?
False
Suppose 0 = -4*r + 24 - 32. Is 22 a factor of 19728/69 + r/(-23)?
True
Let q(p) = 2926*p**2 + 2*p + 2. Is 7 a factor of q(-1)?
True
Let d(w) = w**3 - 44. Let q be d(0). Let o(t) = -6*t - 13. Let i be o(9). Let b = q - i. Is b a multiple of 10?
False
Let y = -131 + 125. Is (36/(-21))/(y/21) a multiple of 6?
True
Let z(q) = 0 + 22*q + 14 - 6*q + 9. Does 11 divide z(6)?
False
Suppose 434336 = 69*n + 30*n + 97*n. Is n a multiple of 8?
True
Let c(k) = 445*k**2 - 116*k - 88. Does 24 divide c(-7)?
False
Suppose -122*v + 1266222 = 117*v. Does 25 divide v?
False
Suppose 37*m + 1447 = 38*m - 2*d, -4*d + 7305 = 5*m. Does 130 divide m?
False
Let d = -17 - -27. Suppose 0 = -d*q + 8*q + 92. Let k = q + -10. Does 11 divide k?
False
Suppose 7*g + 34942 - 204342 = 0. Suppose -68*t + g = -24*t. Is t a multiple of 11?
True
Let a(z) = 116*z**3 + 14*z**2 - 39*z + 45. Is a(5) a multiple of 5?
True
Let m(n) = 115*n - 5. Suppose 19 = 15*r - 41. Is m(r) a multiple of 35?
True
Suppose -99*z - 500686 = -1807486. Is 75 a factor of z?
True
Suppose 0 = 5*s - 0*s - 5, 3*w - 2*s - 31 = 0. Let o be (-3)/4 + ((-15785)/(-20))/w. Suppose -184 = -5*d + o. Does 32 divide d?
False
Suppose -2*t - 4*w = 122, -2*w = -2*t + 5*t + 175. Is 2 a factor of 33/(-4)*-2 + t/(-114)?
False
Let g be 13/((-26)/(-16)) - 9/3. Suppose -g*l = -b - 2*l + 71, -l = -3*b + 237. Is 5 a factor of b?
True
Let t = 398 - 394. Suppose 574 = t*k + s, -5*k = 4*s - 92 - 620. Does 9 divide k?
True
Suppose u - g = -5171, -5 = -g - 7. Let q = -3058 - u. Suppose -8*x + 23*x = q. Does 14 divide x?
False
Suppose -9*o = -8*o - 20. Suppose -12 = -5*s + 3*u, -s + 0*u = -5*u - o. Suppose 4*z = -4*h + 56, 4*z - 4 + s = 0. Does 13 divide h?
True
Suppose 0 = -186*w + 44*w + 4880114. Does 45 divide w?
False
Suppose 8*p = 4*p - 3*x - 5, 3*p + 3 = -2*x. Let n be (p*-1)/(2/(-86)). Suppose -5*g - 4*d + 66 = 0, -4*g = -2*d - 15 - n. Is g a multiple of 7?
True
Suppose 1686*b - 3213 = 1679*b. Is 2 a factor of b?
False
Suppose 3*b + 29 + 7 = 0. Let t be 32/b*(-1 + 41/2). Let o = 198 + t. Is 7 a factor of o?
False
Let b = 4704 - 3928. Is b a multiple of 2?
True
Let f(m) = m**2 + 0*m**2 - 792 + 4*m + 880. Does 6 divide f(-14)?
True
Suppose 113*x - 75 = 108*x. Suppose 3*k = x, 3*k = -3*v - v + 1915. Does 19 divide v?
True
Suppose -4*j = 959 + 541. Let r = j - -543. Is 14 a factor of r?
True
Let b(u) = 21*u - 5*u**2 + 5*u**2 + 7*u**2 - 5*u**2 + 108. Is b(-10) a multiple of 7?
True
Suppose 2*f + g - 464 = f, 4*f = -3*g + 1860. Is f a multiple of 39?
True
Let v(r) = -20*r. Let x be v(-8). Let n be (-21)/(-2)*x/30. Let g = n - 29. Is g a multiple of 3?
True
Let l(s) = -6*s + 2. Let w be l(-8). Let z = w - 46. Suppose 2*o = -z*y + 1052, -3*o = -2*o - 4. Is y a multiple of 48?
False
Let t(g) = -5821*g + 1450. Is 45 a factor of t(-5)?
True
Suppose 28169 + 3331 = 20*x - 18*x. Is 50 a factor of x?
True
Let b(p) = p**2 + 24*p + 101. Let g(w) = 23*w + 104. Let u(f) = 4*b(f) - 5*g(f). Does 69 divide u(20)?
True
Let n be -14 - -11 - 9/(-3). Suppose -21*c + 9*c + 1200 = n. Does 35 divide c?
False
Let l be (205/(-15))/(2/(-276)). Suppose l = 4*a + 142. Suppose 0*y + y + 320 = 3*k, 4*k = -y + a. Is 36 a factor of k?
True
Suppose 4*f - 8 = l + 4, -3*l + 2*f = -4. Suppose 2*n - l*n = -6. Suppose 5*g - 328 = n*m, 4*g = -5*m + 97 + 158. Is 13 a factor of g?
True
Suppose 4822*v - 4826*v + 21752 = 0. Is 12 a factor of v?
False
Does 78 divide ((-627)/(-95) + -7)/(2/(-47380))?
False
Let l(u) = -45*u - 4. Let o be l(2). Let p = o + 336. Is 22 a factor of p?
True
Suppose -4*z = -d + 29, -40 = 2*d + 3*z - 43. Let y = 233 - d. Is 16 a factor of y?
True
Let p = 7635 - 6711. Is 44 a factor of p?
True
Let j(v) = v**2 - 88*v - 1466. Is 13 a factor of j(-61)?
False
Let x be 1/3 - (9 + 104/(-12)). Suppose -f + 3*u + 166 = x, -3*f - 172 = -4*u - 655. Suppose -14*z = -235 - f. Is z a multiple of 28?
True
Suppose 13*q = 10 + 16. Suppose 4*d - 64 - 161 = 3*n, -q*n = -10. Suppose d*o - 65*o = -650. Is o a multiple of 10?
True
Let u(z) = z**2 + 15*z + 37. Let n(a) = a**3 - 11*a**2 - 13*a - 1. Let s be n(12). Is 2 a factor of u(s)?
False
Suppose -20 = -3*r + 5*p, 3*p - 2 = 5*r - 30. Suppose 0*x - r*x + 2275 = 5*k, 0 = 3*k + 4*x - 1370. Is 22 a factor of k?
False
Let g = 15 + -10. Suppose 10*m + 10 = 5*c + g*m, 6 = -3*m. Suppose 2*t + h - 119 = c, 6*t + h = t + 293. Does 6 divide t?
False
Let i be (6 - -1)*130/91. Let y be 554/i - 28/70. Suppose 0 = -n + y + 47. Is n a multiple of 17?
True
Suppose 4*t + t = -15. Let i(o) be the second derivative of o**4/12 - 5*o**3/6 - 3*o**2 - 11*o. Is i(t) a multiple of 9?
True
Let q(u) be the third derivative of -27*u**4/8 - 11*u**3/6 + 39*u**2. Does 73 divide q(-11)?
False
Suppose -77*u + 69*u + 608 = 0. Let p = u + 34. Is p a multiple of 10?
True
Let v(t) = -9*t**2 + 6*t - 3. Let l(m) = -56*m**2 + 36*m - 18. Let o(f) = -6*l(f) + 34*v(f). Is 22 a factor of o(5)?
False
Let s = -48 + 55. Let h be (270/12)/9*(-14)/(-1). Suppose a - h = -s. Is 4 a factor of a?
True
Let x be (-5)/(10/24)*1/(-2). Suppose -3325 - 2063 = -x*a. Is a a multiple of 35?
False
Let