n/y a multiple of 2?
True
Suppose f + 12 = -5*m, -3*f + 2 = -2*f - 2*m. Let w be f/15*5*309/(-2). Suppose -w*t + 106*t - 6 = 0. Does 2 divide t?
True
Suppose 14*l = 26*l. Suppose 23*p - 7728 - 1748 = l. Is 13 a factor of p?
False
Is 9 a factor of (-3)/(-8) + (-183009)/(-424)?
True
Suppose -49519 = -4*d - 5*h + 6383, d = 5*h + 13988. Is 114 a factor of d?
False
Let h = -87 + 107. Suppose -17*s + 12*s - h = 0. Does 3 divide ((-8)/(-6))/(s*(-3)/162)?
True
Let x(z) = 4*z**2 - z + 1. Let f = 2 + -1. Let h be x(f). Does 9 divide 58/(1/3 + h/6)?
False
Suppose 2*c - 5*c = -3*y + 18, -3*c - 10 = -y. Suppose b = 6 - y. Suppose 0 = 4*n + m - 285, -b*n + 3*n - 55 = 3*m. Is 16 a factor of n?
False
Let x(j) = j**3 - 7*j**2 + 2*j - 5. Let i be (-1 + 4)*2/2 - -1. Let z be x(i). Let b = z - -92. Is 10 a factor of b?
False
Suppose -52474*w = -52457*w - 53278. Is 40 a factor of w?
False
Suppose -369 - 147 = 3*t + 6*b, -2*t = 2*b + 336. Let i be 1/(2/(-140)) + 2. Let j = i - t. Is j a multiple of 12?
True
Suppose r - 4*o + 5 = -0*o, 2*o + 2 = 2*r. Suppose -4*w = -6*w + 8, -3*t = r*w - 2328. Is 92 a factor of t?
False
Suppose 4*y + 16 = -o, 16 = -4*o - 5*y + y. Suppose o = -13*g - 3*g + 5472. Does 18 divide g?
True
Let u = -3512 + 4657. Is 14 a factor of u?
False
Let r = -2650 - -2790. Is r a multiple of 4?
True
Suppose 0 = c - 4*t - 4103, 99 = -2*c + t + 8291. Does 13 divide c?
True
Suppose -5*d = -3*d + 16. Let r be d*((-20)/8 - -2). Suppose -5*p + 4*j + 29 = 0, -5*j - 28 = -r*p - 12. Is p a multiple of 9?
True
Suppose 3*u = -238 + 229, 0 = -r - u + 25250. Is 125 a factor of r?
False
Suppose 2*i + 1475 = 4*t - i, -i - 369 = -t. Let p = -218 + t. Is p a multiple of 30?
True
Let x(s) = -s**2 + 305*s - 721. Is x(123) a multiple of 239?
False
Suppose -m - 16 = -3*x - 2*m, 2*m = -4*x + 22. Suppose -14*g + x*g + 7443 = 0. Is g a multiple of 19?
False
Suppose 3*r = u - 57, 4*u + 2*r - r - 189 = 0. Suppose -31*o = -30*o - u. Is 13 a factor of o?
False
Suppose 3*a = 109 + 14. Suppose 0 = a*b - 40*b - 300. Is b a multiple of 20?
True
Let u(x) be the third derivative of -x**5/60 + x**4/12 + 42*x**3 + 2*x**2. Let q be (44/33)/(16/36) - 3. Does 14 divide u(q)?
True
Suppose 0 = 2*g - 23*g + 44366 + 259903. Is 4 a factor of g?
False
Let r be -17*(3 + -4)*13. Let z be (r + 1)*(4 - (-44)/(-12)). Suppose -136 = -5*u + z. Is 24 a factor of u?
False
Suppose -3*x = -2*m + 5*m - 135, -5*m - 4*x = -222. Suppose -2381 = -m*s + 2029. Is s a multiple of 35?
True
Suppose -13*j + 9*j = -2268. Suppose 0 = 8*p - 15*p + j. Is 8 a factor of p?
False
Suppose 0 = -5*u + b + 82879, -3*u + 4*b - 6*b = -49730. Does 28 divide u/24*(-6)/(-4)?
True
Suppose -3*n = -9, 3*y - 2*n + 9 = 4*y. Suppose 0 = -y*g + x - 1326 + 3783, 3*g + 3*x - 2469 = 0. Is 20 a factor of g?
True
Suppose 14*d - 656 = 226. Is 2 a factor of 1 + -9 - (-5229)/d?
False
Let u be 24 - (6 - (7 - 9)). Is 543 + -10*u/(-20) a multiple of 11?
False
Let h(m) = 4551*m**3 - 2*m**2 + m. Is h(1) a multiple of 76?
False
Let m = 10775 - 7504. Is 13 a factor of m?
False
Let i be (-954)/27*(-18)/4. Let y = 57 - i. Let j = -63 - y. Does 11 divide j?
False
Let b be (11 - (1 + 4)) + -6. Suppose c + 3*n - 263 = 0, -5*n + b = -5. Is c a multiple of 10?
True
Suppose -5*u - 17362 = -4*s, 2*s - 430*u = -428*u + 8684. Does 165 divide s?
False
Let r(h) be the first derivative of -134*h**2 + 5*h + 104. Is r(-1) a multiple of 7?
True
Suppose 25956 = 49*f - 7*f. Let u = -355 + f. Does 16 divide u?
False
Suppose -65*l + 66*l + 47189 = 5*o, -o - 5*l = -9417. Is 39 a factor of o?
False
Let i = 45828 - 23731. Does 10 divide i?
False
Suppose -4*t = -2*o + 18, -o - o - 7 = t. Does 21 divide (-6 - t)/(-4)*-2*-294?
True
Let z(l) = l**2 - 8*l + 10. Let p be z(7). Suppose -2*q = x - 5, -4*x = q - p*q - 40. Suppose 287 - 2555 = -x*j. Does 36 divide j?
True
Suppose -b + 3 + 0 = 0, -3*y - 12 = -b. Let s be 868/(-8) - y/(-2). Does 22 divide ((-32)/(-10))/((-4)/s)?
True
Suppose 3*z + 3*v - 119343 = 0, -4*v - 69547 = -2*z + 9985. Is 176 a factor of z?
True
Let d = -5067 + -2957. Is d/(-18) + (-12)/(-54) a multiple of 10?
False
Let j(w) = w**3 + 11*w**2 + 5*w + 14. Let n(b) = -b**3 - 12*b**2 - 4*b - 15. Let h(p) = -4*j(p) - 3*n(p). Let r be h(-7). Is 35 a factor of 140*-4*r/32?
True
Suppose 0 = -5*n - 15, 0 = 2*h - 0*h - 5*n - 47. Suppose 0 = -h*c + 1760 + 5760. Does 12 divide c?
False
Let j(m) = 2*m**2 + 1. Let g(b) = b**2 + 16*b - 293. Let k(p) = -g(p) + j(p). Does 14 divide k(0)?
True
Let o be -3*(-2)/(-3 + 9)*-3. Let k be (3 - (o + 0))/(-1 + -1). Is 5/((-15)/9)*49/k a multiple of 7?
True
Suppose 2 - 34 = -16*d. Suppose 2*p - 1798 = 4*i, -3*p - 4*i = d*p - 4565. Is 35 a factor of p?
False
Suppose -44400 = -4*r - 4*b, 5*r - 13843 = 2*b + 41629. Is 144 a factor of r?
False
Suppose 7*j + 64 = 1030. Suppose 0 = y - j - 123. Suppose -3*u + 1 = 4, 4*b - 5*u - y = 0. Does 12 divide b?
False
Let f(k) = -980*k + 1274. Is 17 a factor of f(-31)?
True
Let y(l) be the first derivative of 139*l**4/4 - l**3/3 - l**2/2 + 4*l - 19. Let p be y(2). Suppose 7*t - p = t. Is t a multiple of 37?
True
Let h = 61 - 585. Let c be (h/(-2))/((-10)/(-25) + 0). Suppose 0 = 2*i + s - 317, 0*i = -4*i + 5*s + c. Does 30 divide i?
False
Let s be (2/5)/(2/10). Let q(w) = 21*w + 51. Let f be q(3). Suppose -5*a = 0, 0 = 3*u + a + s*a - f. Is 19 a factor of u?
True
Does 34 divide 40422/27 - 410/369?
True
Let h be -1 + -195 + 1 + -5. Suppose 4*q + 35 = -3*a, -2*q - 2*a = -7*a - 15. Let k = q - h. Is 22 a factor of k?
False
Suppose 0 = -5*u + 4*u + 4. Suppose 2*d + 2*q = -0*d + 230, -2*q = u. Suppose -4*f = i - d, -f - 6*i + 2*i = -18. Is 2 a factor of f?
True
Let l = 59 - 67. Let d be (-1)/((1/4)/(10/l)). Suppose -22 = -r - d. Is r a multiple of 2?
False
Suppose 9 = 3*u, -c - 3*u = -5*c + 2527. Suppose -15 = -3*l, t + l = 385 + c. Is t a multiple of 13?
True
Let a(d) = 771*d**2 + 27*d + 8. Let l be a(-4). Suppose 0 = 13*s + 6*s - l. Is 9 a factor of s?
False
Let l(z) = -z**3 - 2*z**2 - 8*z - 12. Let u be l(-6). Let b = u + -144. Does 4 divide b?
True
Let r be (-20)/25 + (-14)/(-5). Suppose 684 = 4*h + r*i, -h + 4*i + 189 = 36. Is h a multiple of 30?
False
Is 178 a factor of (-14)/(-231) - -28*186544/132?
False
Suppose 0 = -2*l - 3*b + 798, 13*l + 2*b + 778 = 15*l. Suppose -s + l = 2*p, 0*p + 2*p - 1925 = -5*s. Is s a multiple of 8?
False
Suppose 15*g - 21 = 24. Is 70 a factor of g/(-2)*(-37050)/171?
False
Let g = -1791 - -4872. Is 91 a factor of g?
False
Let s = -35 - -30. Let c be (1/(6/(-6)))/(1/s). Suppose 0*d = 4*d - u - 52, 0 = 5*d + c*u - 40. Is d even?
True
Let u(h) = 2*h**2 + 7*h - 95. Suppose -4*v + 7*v = 9, -2*v - 7 = -y. Is 11 a factor of u(y)?
False
Let s be 24/(12/64*4). Suppose 33*m = s*m + 2. Suppose m*w = 46 - 18. Is 7 a factor of w?
True
Let m = -203 - -572. Suppose -5*w + 1339 = m. Is w a multiple of 4?
False
Suppose 13*s = 10*s + 27. Suppose s*w - 7 = 2*w. Is 5640/75 + w/(-5) a multiple of 25?
True
Let n = 30030 + -29026. Is n a multiple of 7?
False
Let v(t) = t**2 + 2*t - 20. Let j be v(6). Let f = 31 - j. Let c = f + 11. Is c a multiple of 7?
True
Suppose 0*f = -4*f. Suppose -4*r - 2*r = f. Suppose -8*g + 5*g + 42 = r. Is 14 a factor of g?
True
Let b(z) = 340*z + 5948. Is 25 a factor of b(81)?
False
Let u = 8525 - 3761. Does 12 divide u?
True
Suppose -10*z = -6*z - 260. Let c be 1456/z + (-3)/(-5). Let l = c + 6. Does 29 divide l?
True
Let l(j) = 8*j - 109. Let f be l(13). Let g(r) = -54 - 15*r - 32 + 59. Is 16 a factor of g(f)?
True
Let t(w) = 101*w**3 - 7*w**2 + 50*w - 214. Is t(7) a multiple of 5?
False
Let l = 57 - 54. Suppose 20 = -l*c + 8*c. Suppose c*f - 9 = -2*z + 83, 92 = 4*f - 5*z. Does 23 divide f?
True
Let u(b) = 22*b + 24 - 35*b - 44 - 40 - 25. Is u(-17) a multiple of 34?
True
Suppose -3*d + 40*d - 128120 = -16232. Is 168 a factor of d?
True
Let g = 1676 - -40. Is 13 a factor of g?
True
Suppose -5*v - 16301 = -4*u, -706*u - 20369 = -711*u - v. Is 21 a factor of u?
True
Suppose -4*p = 5*a - 13132, -4*a + 3*p + 2289 = -8198. Is a a multiple of 41?
True
Suppose -28430*a = -28434*a + 592. Is a a multiple of 10?
False
Let z(l) = -2*l**2 + 15*l - 24. Let n be z(4). Let q(j) = 53*j**2 - 8*j + 1. Is 43 a factor of q(n)?
True
Suppose -796*j - 288 = -808*j. Does 2 divide j?
True
Let z