3*o + 154 = l. Is 13 a factor of g?
False
Is 68 a factor of ((-69190)/66)/((-15)/540)?
True
Let p = 491 + -487. Suppose 0 = -3*z - 4*m + 726, -484 = -6*z + p*z + 4*m. Is z a multiple of 11?
True
Let u = 1791 - 1204. Suppose 2*t - 213 = u. Does 50 divide t?
True
Let h be (2 - 1)*(3 - 0). Suppose 5*p - 1060 = 7*r - 3*r, -h*r = 5*p - 1025. Does 13 divide p?
True
Is (148*(-12)/40)/(4/(-170)) a multiple of 58?
False
Suppose 5*m = -d + 1194, 22*m + 3*d - 964 = 18*m. Suppose -5*f + 64 = 3*i, 4*f - 2*i - 54 = -3*i. Suppose f*n = 7*n + m. Does 7 divide n?
False
Suppose 2*l + 3*k = 22008, -4*l - 96*k = -93*k - 44028. Is l a multiple of 3?
True
Suppose -186 = -35*n + 4*n. Suppose -2*r + 12 = o + n, o - 4*r - 36 = 0. Is 5 a factor of o?
False
Let j(h) = h**3 - 14*h**2 + 116*h - 58. Is j(26) a multiple of 27?
True
Suppose 0 = 5*u - 5, -4*q = u + 3805 - 117282. Is 71 a factor of q?
False
Is 29324/11 + 18 + -24 - (-4)/22 a multiple of 35?
True
Suppose 5*f - 2*c - 93 = 0, -5*f - 3*c + 124 - 26 = 0. Suppose 3*z = -31 + 7. Let x = z + f. Is 11 a factor of x?
True
Let l(x) = x**2 - 2*x - 35. Let j be l(7). Suppose 2*b = -j*w - 3*w + 862, 3*w - 4*b = 850. Is w a multiple of 13?
True
Suppose 6*y = -32*y + 190. Suppose -y*v = -1803 - 1297. Is 13 a factor of v?
False
Let f be 6297/(15*(-2)/(-20)). Suppose -3*b - 3*a - 385 + f = 0, -b + 3*a + 1263 = 0. Does 13 divide b?
False
Let i be ((-4)/(2 + 2))/(4/(-1924)). Suppose 3*q - 917 = -q - 3*n, 3*n + i = 2*q. Is 14 a factor of q?
False
Let b(u) = u**3 - 10*u**2 - 2*u - 4. Let t be b(10). Does 39 divide (t/14)/(2/(-504))?
False
Suppose -z = 4*y + 2*z + 1429, -3*z = -3. Let b = y - -610. Does 42 divide b?
True
Is -4 + (-360)/(-92) + -15 + 8060265/345 a multiple of 13?
True
Let g(q) = q**2 - 15*q + 49. Let l be g(11). Suppose 0*j - j + 1 = -2*w, -10 = -l*j + 5*w. Does 3 divide j?
True
Let p(k) = 1985*k + 16. Does 31 divide p(15)?
True
Let g = 49 + -45. Suppose 5*q + a - g*a - 2265 = 0, 0 = -5*q + 2*a + 2260. Suppose 5*y = 3*x + 2*y - q, -482 = -3*x - 5*y. Is x a multiple of 21?
False
Suppose 0 = 60*c - 64*c + 1544. Suppose -g = -3*i + c, -3*i = i - 2*g - 514. Suppose 4*u = -4*s + 164, -3*u = 3*s - 6*s - i. Is 7 a factor of u?
True
Suppose -8512 = 395*i - 414*i. Is i a multiple of 35?
False
Let a(s) = 28*s**2 - 7*s - 37. Let r be a(-4). Let c = r - 263. Is 11 a factor of c?
True
Suppose 56*k + 8425 - 50093 = 26260. Is k a multiple of 23?
False
Suppose 10*g + 8*g = 36. Suppose -2215 = -5*u - 5*q, 5*u = -g*q + 1355 + 860. Is 26 a factor of u?
False
Let b = -3510 - -5851. Does 7 divide b?
False
Let s be -18 - 5*8/20*1. Let h be (-5)/s + 943/4. Suppose -2*o + 351 = 3*f - 13, 2*f - 2*o - h = 0. Is f a multiple of 10?
True
Let x(j) = -3*j - 12. Let y be x(-6). Suppose -40 = -4*d - y*d. Suppose 119 + 77 = d*a. Is 11 a factor of a?
False
Suppose -38 = -x - 4*d - 6, -x = 2*d - 22. Suppose 0 = 2*q + 13*n - x*n - 274, 0 = -2*n + 4. Does 36 divide q?
False
Let f(a) = 251*a - 605. Is f(3) a multiple of 63?
False
Let b(x) = 3*x**2 + 8*x + 5. Let h = -4 - 2. Let f be b(h). Suppose 3*s = -2*k + 369, 464 = 2*k - 3*s + f. Is k a multiple of 16?
True
Let b(i) = -i - 14. Let l be b(-13). Let w be (-209)/(-38)*4/l. Let v = 90 + w. Is v a multiple of 34?
True
Let f = -82 + 362. Suppose -128*a + f = -127*a. Is a a multiple of 56?
True
Suppose -4*z - g + 9 = -4*g, 0 = -2*z - 3*g + 9. Let d(r) = r**3 + r**2 - 11*r + 11. Is 7 a factor of d(z)?
True
Suppose 37 = -21*n + 121. Suppose z - 852 = -n*t, 2321 + 2002 = 5*z - t. Does 18 divide z?
True
Let v be (-204)/5 - (3 + 42/(-15)). Let g = v - -41. Suppose -7*a - 4*a + 121 = g. Does 2 divide a?
False
Let u = 358 - -482. Suppose -3*l + 4*g = -840, -3*l = -5*g + 4*g - u. Is l a multiple of 8?
True
Let b(y) = -16*y**3 - 77*y**2 + 37*y + 5. Let z(s) = 14*s**3 + 77*s**2 - 38*s - 6. Let m(d) = 6*b(d) + 7*z(d). Is 2 a factor of m(-39)?
False
Suppose 6 = -5*j + 16. Suppose -o = -i - 46 - 91, -2*o - j*i + 274 = 0. Does 9 divide o?
False
Let y = -62 + 67. Is (23050/12)/y + (-10)/60 a multiple of 6?
True
Suppose -2*b = -2*x - 1556, 0 = 8*b - 7*b - 3*x - 786. Is b a multiple of 232?
False
Does 24 divide -1 - (1 - 3)*71996/8?
False
Let r(o) = -o**2 + 4*o**2 + 14 - 4*o**2 - 19*o. Let b be r(-20). Let j = 60 - b. Is j a multiple of 10?
False
Let p(w) = w**2 + 5*w - 22. Suppose -4*f + 5 = 29. Let n be p(f). Let j(g) = 2*g**2 + 30*g - 16. Is 4 a factor of j(n)?
True
Suppose 316818 = -5*q + 16*q + 7*q. Is 13 a factor of q?
False
Let f be 2/(-10) - (-153)/(-85). Is (f/4)/(4/(-192)) a multiple of 12?
True
Suppose -3*r - 7*n + 5*n = 1011, 1328 = -4*r + 4*n. Let y = r + 670. Does 29 divide y?
False
Let a(f) = -f**2 - 9*f + 10. Let v be a(-10). Suppose v = -d - 8*d + 18. Suppose 3*h - 3*i = 27, -d*h + 2 + 16 = 2*i. Does 2 divide h?
False
Suppose 0 = 3*o + 2*o + q - 21, 0 = -3*o + 4*q + 31. Let f be (1 - o)*(-270)/(-20). Let c = f - -100. Is c a multiple of 23?
True
Let g = -3154 - -17410. Is g a multiple of 33?
True
Let h be 2/(-11) - (431/(-11) - 3). Let y = h + -40. Suppose 3*x + 169 = g, -y*g + 4*g - 366 = -x. Is g a multiple of 32?
False
Let y be (5 - 0) + 19 + -20. Suppose -y*x - 64 = -512. Is 14 a factor of x?
True
Let f = -2302 - -4597. Does 17 divide f?
True
Let x(t) = 61*t**2 + 81*t + 638. Is 8 a factor of x(14)?
True
Let l(k) = -16*k**3 - 31*k**2 - 10*k - 3. Does 8 divide l(-5)?
True
Let t be (2 - -3) + -3 - -10. Suppose 69 = -t*s + 429. Does 10 divide s?
True
Suppose -u - 5*r + 1012 = -17897, u = -6*r + 18907. Is u a multiple of 267?
False
Suppose u + 3*x = 3213, -5*x - 21274 = -5*u - 5149. Does 4 divide u?
False
Let n = 32215 + -17319. Does 266 divide n?
True
Let q = 3899 + -60. Is q a multiple of 11?
True
Does 13 divide (144 - -1)/((-9)/(-117))?
True
Suppose -148872 = 69*b - 93*b. Is 34 a factor of b?
False
Suppose 4*s = 20, 0 = -7*r + 5*r + 3*s + 1929. Suppose 4*y + 1210 = 5*x, 0 = 4*x - y - 3*y - r. Is x a multiple of 10?
False
Suppose 5*o = 7*o - 2*z + 12, -28 = 5*o - 3*z. Does 6 divide (1005/o)/(1/(-2))?
True
Let p(f) = 127*f + 35 + f**2 + 10 - 129*f. Does 6 divide p(11)?
True
Let v(l) be the first derivative of -39*l**2/2 + 6*l + 31. Is 9 a factor of v(-1)?
True
Let k(p) = -139*p - 2. Let z be k(1). Suppose 4*v - 64 = 4*l, -4*v = -0*v + 3*l - 85. Let t = v - z. Is t a multiple of 32?
True
Suppose 3414 + 10446 = 36*g. Let s = g + 36. Is 29 a factor of s?
False
Let p = 6605 - 1871. Is p a multiple of 31?
False
Let d(t) = 47*t**2 + 7*t - 258. Is d(9) a multiple of 42?
True
Let j = 2993 + -2580. Is 7 a factor of j?
True
Suppose 28120 = 5*f + 3*t, -122*f + 5*t = -120*f - 11279. Is f a multiple of 17?
True
Let o(m) be the third derivative of -m**6/120 + m**5/5 - m**4/2 + 9*m**3/2 + 48*m**2 - 8. Let l = 15 + -7. Does 11 divide o(l)?
True
Let j be (-2)/17 + -1842*5/(-255). Is 40 a factor of -51*6*(-20)/j?
False
Let s = -28 + 48. Is 285/s*(-88)/(-3) a multiple of 38?
True
Let g(j) be the first derivative of -3*j**2 - 33*j + 1. Let k = -52 + 42. Is g(k) a multiple of 8?
False
Let l be 9*10/(120/124). Suppose -7 = -5*w - 187. Let f = l + w. Is f a multiple of 19?
True
Let v(z) = -72*z**3 + 8*z**2 - 2*z - 10. Is v(-1) a multiple of 3?
True
Suppose 20 + 16 = 9*x. Let a(d) = d**3 + 7*d**2 - 4*d - 5. Does 47 divide a(x)?
False
Let i(j) = 17821*j - 3467. Does 325 divide i(2)?
True
Suppose -5*p + 6*p - 2 = 0. Suppose 44 = -0*n - p*n. Is (3 - 5) + 0/(-2) - n a multiple of 10?
True
Is (-6 + 36/(-21)*16240/100)*-35 a multiple of 14?
True
Let s = 65370 + -43348. Does 10 divide s?
False
Let v be (-369 - -13) + (2 - 4). Let n = v - -941. Is n a multiple of 11?
True
Let t(h) = h**3 - 9*h + 2. Let k be t(3). Suppose -2*x + 12 = -r, k*x - 5*r - 4 = 16. Suppose j + 402 = 5*f - 21, -x*f - 5*j + 435 = 0. Is 13 a factor of f?
False
Let y = -2290 - -3538. Is 16 a factor of y?
True
Let k(j) = 46*j - 10. Let r(a) = 84*a - 22. Let n(i) = 11*k(i) - 6*r(i). Let v be 3*(2 - 11/3). Is n(v) a multiple of 3?
True
Suppose 193*j - 1202563 = 66*j. Is 11 a factor of j?
False
Let z(a) = 128*a**2 + a + 1. Let k be z(2). Suppose 0 = -q, -2*q = 4*w - w + q. Suppose -20*n - k + 1475 = w. Is n a multiple of 8?
True
Suppose 4*h + 0 = 12. Let c be 0 + h + -2 + 52/4. Suppose g = u + 28 + c, 0 = -3*u - 12. Is g a multiple of 13?
False
Suppose -15*a - 24*a 