Is 35 a factor of l?
False
Let r = 37818 + -29806. Does 163 divide r?
False
Suppose -5777 = -5*z + 2*s, 0 = z - 24*s + 19*s - 1137. Is 9 a factor of z?
False
Suppose -5*k + 1334*a + 9135 = 1329*a, 4*k = -5*a + 7326. Is k a multiple of 31?
True
Let g(a) = a**3 - 15*a**2 - 21. Let b be g(7). Let y = -284 - b. Is 43 a factor of y?
True
Suppose -774*d + 826*d = 1256736. Is d a multiple of 57?
True
Let z(s) = 760*s - 2074. Is 9 a factor of z(11)?
False
Let o = 21287 - 20661. Is o even?
True
Suppose 989 = 2*g - 831. Let y = g + -105. Is 21 a factor of y?
False
Suppose -4*c + 23114 = -c + 5*m, 15405 = 2*c - m. Does 12 divide c?
False
Is ((-3304)/(-6))/((-132)/(-594)) a multiple of 66?
False
Let h = 3 + -2. Let f = 2933 - 2948. Is 12 a factor of -7*(3 + f)*h?
True
Let x = 2900 + -2565. Does 7 divide x?
False
Suppose -3654*g + 40768 = -3647*g. Is 16 a factor of g?
True
Let k(j) = 417*j - 18. Let h be k(3). Suppose 10*c - h = c. Does 11 divide c?
False
Suppose 55 = -5*r - 4*s - 14, -3*r + 4*s = 35. Does 8 divide 2*4213/13 + 2/r?
True
Is 11 a factor of (420/(-735))/((-2)/53921)?
False
Suppose -1011 - 2949 = -72*l. Is 44 a factor of l?
False
Suppose j + 8*m - 3*m = -49, -m = 3*j + 217. Let l = 91 + j. Let r(i) = i**2 - 16*i - 1. Is 16 a factor of r(l)?
True
Let m(z) = -6*z + 12. Suppose 2*t + 183 = 493. Suppose t*d = 153*d - 24. Is 11 a factor of m(d)?
False
Is (4348/(-6))/((148/18)/(-37)) a multiple of 64?
False
Suppose 22*g - 14*g = -64. Is 45 a factor of (g - (8 - 942)) + 4?
False
Let u be (1/6)/(((-2)/1)/12). Is 69 a factor of (u/2)/(53/(-111406))?
False
Let u = -1690 - -3761. Suppose u = 25*f - 1079. Does 17 divide f?
False
Suppose -n = -5*s - 3*n + 3419, 2*s - 1374 = -4*n. Suppose -16*l + s = -325. Does 9 divide l?
True
Suppose 25*d - 124353 = -87778. Is d a multiple of 6?
False
Let c(q) = -11*q - 23*q + 25 - 6*q**2 - 17416*q**3 + 17417*q**3. Is 60 a factor of c(13)?
False
Let p = 286 - -317. Suppose 480 + p = 19*h. Is h a multiple of 19?
True
Let i = 62967 - 32657. Does 10 divide i?
True
Let b be (-1 - (280 - 3)) + 5. Is ((-36)/42)/(3/b) a multiple of 5?
False
Let o(h) = h**3 - h**2 + 80*h + 5625. Does 116 divide o(0)?
False
Suppose -14*r = -17*r + 6. Does 19 divide (r/(-5))/((22/(-5345))/11)?
False
Let v(l) = l**3 + 3*l**2 + 5*l + 2. Let w be v(-2). Does 4 divide w/(-3)*(-7500)/(-40)?
False
Let c(d) be the third derivative of d**6/120 + 7*d**5/20 + d**4 - 23*d**3/6 - 2*d**2. Let g be c(-20). Let w = g + 163. Is 10 a factor of w?
True
Suppose -1335 = 6*k + 1989. Let q = 151 - k. Is 18 a factor of q?
False
Let a(l) = 23*l**2 - 232*l + 1939. Does 9 divide a(8)?
False
Let d be 13 - (-7 + (-6 - -6)). Suppose 0 = d*y - 19*y + 2*a - 192, 0 = a. Is 8 a factor of y?
True
Let b = 79694 + -47183. Is b a multiple of 99?
False
Let t = 11489 + 11284. Is t a multiple of 112?
False
Let n be 4/12 - 13/3. Let z be (-21)/(-9) - (n - (-30)/9). Suppose 5*k + 95 = z*m, -3*m = -k + 3*k - 88. Is 5 a factor of m?
True
Let o = 1440 + -832. Suppose -174*r + 176*r = o. Is 38 a factor of r?
True
Suppose 17506 = 21*c - 56771. Is c a multiple of 27?
True
Let x = 38 - 36. Suppose -x*p = 3*p - 4*h - 4772, 5*p + 5*h - 4745 = 0. Does 17 divide p?
True
Does 108 divide (11 + -8)*-3 - (0 + -6016)?
False
Is (15 - 852/60)*171460/8 a multiple of 15?
False
Let h = -16 + 19. Suppose h*x - 11 = -5. Suppose -161 = x*n - 489. Is n a multiple of 41?
True
Suppose -6*g + 13*g = 4452. Suppose -16*o + 36 + g = 0. Is 16 a factor of o?
False
Let i = -44823 + 74823. Is 48 a factor of i?
True
Let y(t) = 223*t**2 - 345*t - 5853. Is y(-19) a multiple of 86?
False
Let b(i) = -478*i**2 + 3*i - 2. Let a be b(2). Does 41 divide 3/(3 + a/640)?
False
Suppose 3*p - 29 - 49 = 0. Suppose p*a = 21*a + 2460. Is (-6)/33 + a/44 a multiple of 7?
False
Let a(q) be the third derivative of 3*q**7/35 + q**6/360 - q**4/24 + 7*q**3/6 - 11*q**2. Let c(x) be the first derivative of a(x). Is c(1) a multiple of 8?
True
Suppose -2*s = -4*q - 216, -4*s + q - 2*q + 450 = 0. Let n = 112 - s. Suppose 5*v - 67 = -4*b + 19, n = -3*b + 4*v + 49. Is b a multiple of 6?
False
Let x = -104 - -98. Is 11028/72 + 1/x a multiple of 37?
False
Let v(b) = 66*b + 49*b + 20*b - 25*b. Does 20 divide v(4)?
True
Is (1 + (-11)/(-2))/((-9)/(-7866)) a multiple of 13?
True
Suppose -6*s = -n - 3*s - 6, -4*n = 2*s - 18. Suppose -4*x - 127 = -n*z, 2*x + 0*x - 140 = -4*z. Is 7 a factor of z?
False
Suppose 11*n + 26 = 12*n. Let b = -26 + n. Suppose b*a - 1365 = -7*a. Is a a multiple of 13?
True
Is 80/(-520) + ((-156324)/(-26))/3 a multiple of 11?
False
Let h(s) = -8*s**3 + 4*s**2 + 5*s + 38. Let o be h(-5). Let l = o - 571. Is 59 a factor of l?
False
Let s(u) be the second derivative of -31*u**3/6 + 5*u**2 - u + 7. Let w be s(-26). Suppose 10*i - 16*i + w = 0. Is 18 a factor of i?
False
Is 5 a factor of -90*(1310/(-60) + 11)?
True
Suppose 5*u = 46104 + 37906. Is 31 a factor of u?
True
Let z = -26233 + 40723. Is z a multiple of 42?
True
Let r(h) = -5931*h - 15391. Is r(-12) a multiple of 121?
True
Suppose 1171314 + 2554650 = 396*r. Does 97 divide r?
True
Let f(z) = -3*z**3 - 15*z**2 - 2*z + 99. Is f(-9) a multiple of 9?
True
Suppose -56806 = -4*c - 2*y, 0 = -2*c + 4*y + 26090 + 2298. Is c a multiple of 16?
False
Let n(l) = 2*l**2 + 177*l - 6234. Does 85 divide n(91)?
True
Suppose 301*b = 305*b - g - 12646, -3*g + 6330 = 2*b. Is 38 a factor of b?
False
Let z(f) = 4*f - 11. Let s be z(5). Suppose 0 = -s*o - 1913 + 4667. Is o a multiple of 51?
True
Suppose 357 = -4*b - 3*b. Let i = -57 - b. Let q(o) = -40*o + 6. Is 14 a factor of q(i)?
False
Let z(y) be the first derivative of y**4/4 - 14*y**3/3 - 15*y**2/2 - 14*y + 7. Let o be z(15). Does 3 divide (1 - 3)*o/(-28) + 36?
False
Let z(g) = g**3 - 6*g**2 - 5*g - 8. Let c be z(7). Let v(p) = -p**3 - 22*p**2 - 2*p + 48. Let a be v(-22). Suppose -292 = -c*h + a. Is 9 a factor of h?
False
Let s be 178784/555 + (-2)/15. Let i = 602 - s. Is i a multiple of 10?
True
Let o(p) = 2*p**2 + 29*p - 14. Let w be o(-16). Suppose w = 13*b - 967. Is 7 a factor of b?
True
Suppose 5*i - y = 1470, 4*i + 5*y = 9*i - 1490. Let h = i - 236. Does 4 divide h?
False
Suppose -g - 3*g - 136 = 0. Is g/(-3) + (-1)/3 a multiple of 9?
False
Let b be (150/(-9))/(8/600). Let f = -890 - b. Does 72 divide f?
True
Let z(g) = -2*g + 28 - 7 + 5. Let d be z(11). Suppose d*x - 216 = -4*l, -2*l = 3*x - 214 + 54. Does 5 divide x?
False
Suppose 0 = 494*r - 542*r + 54471 + 20121. Does 10 divide r?
False
Let j = 38 + -40. Let x be (j/(-4))/(5 - 6)*-58. Is x + -5 + 6/2 a multiple of 23?
False
Let z(v) be the second derivative of 1/3*v**3 + 13*v + 1/3*v**4 + 0 - 9*v**2. Is z(5) a multiple of 22?
False
Suppose 37 = 9*i + 10. Suppose -i*j - h = 123, -2*j = j - 5*h + 141. Let m = j - -76. Does 34 divide m?
True
Is ((-2618)/(-60) + 4/(-30))*364/21 a multiple of 7?
False
Let s(l) = 31*l**2 + l + 3. Let d be s(-3). Is 6 a factor of (15 + d)*(-18)/(-21)?
True
Suppose -w + 0 - 6 = 0. Let m(f) = -11*f + 14. Let j(a) = a - 5. Let h(z) = 6*j(z) + m(z). Does 8 divide h(w)?
False
Let p(a) = -5*a**3 - 24*a**2 - 16*a - 143. Let y(i) = -11*i**3 - 47*i**2 - 32*i - 287. Let s(k) = -13*p(k) + 6*y(k). Is 103 a factor of s(29)?
True
Let h(p) be the third derivative of 0*p + 13/6*p**4 + 14*p**2 + 0 + 0*p**3. Does 38 divide h(5)?
False
Is 8 a factor of (-13)/(91/70) + (-6762)/(-14)?
False
Let t(q) = q**3 - 82*q**2 - 27*q + 474. Is 12 a factor of t(83)?
False
Let u = 4 - -23. Let n be (-14)/42*(2 + -95). Suppose -n*i = -u*i - 156. Is i a multiple of 15?
False
Suppose -43*c + 14*c + 45772 + 298748 = 0. Does 7 divide c?
False
Let l = 373 + -383. Is 17 a factor of l/(-20) - (-3 - (-163)/(-2))?
True
Let n(k) = -k**2 - 13*k + 3. Let d be n(-9). Let t = d + -40. Does 5 divide (17 - (2 - t)) + 1?
True
Let p = 44673 + -42184. Does 7 divide p?
False
Let c = 96517 - 57580. Is 12 a factor of c?
False
Let r = 4506 + -4200. Is 96 a factor of r?
False
Let s = 25280 + -16112. Does 47 divide s?
False
Let o = 13013 - 7397. Suppose 337*i - 345*i + o = 0. Is i a multiple of 27?
True
Let z(y) = -127*y - 2896. Does 22 divide z(-28)?
True
Let s = 401 + -404. Does 18 divide s + (-19)/(-7) + 4601/7?
False
Let x = -17100 + 33366. Is 29 a factor of x?
False
Let k(c) = -72*c + 15. Suppose -10*a + 7*a - 9 = 0.