s - 3*q = 21846, 12436 = 4*s - 5*q - 5046. Does 104 divide s?
True
Let c be (-15 - 3)*(5 - -49). Let r = 1980 + c. Is r a multiple of 24?
True
Let f(r) = 2*r + 42. Let c be f(-24). Let q(p) be the second derivative of -p**3 - 11*p**2/2 - p. Is q(c) a multiple of 6?
False
Suppose -2*m + 28 - 12 = 0. Let r = 65 + -63. Let f = m - r. Is f even?
True
Let l = -457 - -461. Suppose 0 = 5*j - o - 1278, l*o = -4*j + 384 + 648. Is 32 a factor of j?
True
Suppose -8 = -h - 9. Is 10 + 405 + h + 0/(-1) a multiple of 58?
False
Suppose 83 + 61 = 2*z. Let o = 265 + -145. Let w = o - z. Does 16 divide w?
True
Let s be 11 + (0 - 112/8). Let r(w) = 9*w**3 + 11*w**2 - 2*w + 17. Let f(c) = 8*c**3 + 10*c**2 - c + 16. Let j(p) = -5*f(p) + 4*r(p). Is j(s) a multiple of 8?
False
Let b(p) = 25*p**2 + 2*p + 7*p + 5*p**2 + 6 - 2*p. Let a be b(-1). Let f = a + 34. Is f a multiple of 21?
True
Let o = 259 + -127. Suppose 0 = -3*g + 4*a - 95, g - 69 = 3*g + 3*a. Let f = o + g. Is 32 a factor of f?
False
Let p = 38 - 35. Suppose 0 = -p*n - 2*n + 3*t + 60, -2*t = -4*n + 48. Does 49 divide ((-2)/5)/(n/(-5880))?
True
Suppose -46 = -4*w - 5*o, -2*w - o + 24 = 2*o. Suppose 4*t = -5*u - 41, -3*t + 5*u = t - w. Is ((-4)/(-12))/(t/(-144)) a multiple of 3?
True
Let u(d) = 14*d**2 - 8*d + 44. Does 34 divide u(-11)?
False
Let y = -40 - -39. Let j be (-30)/12*y*2. Suppose 0 = l + c - 10, c = l + j*c - 4. Is l a multiple of 3?
True
Let z(m) = -m**3 - 13*m**2 + 9*m - 13. Suppose 3*r - 25 = 4*a + 3, -15 = -3*a. Suppose 3*y + 5*i + 47 = 0, y + r = -5*i - 3. Is z(y) a multiple of 19?
True
Is (-1)/(-3) - 168435/(-135) a multiple of 51?
False
Let z(n) be the second derivative of n**4/12 + n**3/3 - 41*n**2/2 - 272*n + 3. Let g(a) = -a**2 - 7*a + 6. Let k be g(-9). Is 38 a factor of z(k)?
False
Suppose -3*i = -4*o + 223, -410*o + 5*i + 181 = -407*o. Does 2 divide o?
True
Let u = 11993 - 6833. Is 15 a factor of u?
True
Let c(j) = -j**3 - 4*j**2 + 2*j + 4. Let f(u) = -17*u - 40. Let o be f(-2). Does 9 divide c(o)?
False
Let o be 3 + -1 + (1 - -4). Suppose -5*h - o = -17. Suppose -4*b - h*v + 114 = -0*v, -b - 3*v = -21. Does 3 divide b?
True
Let k(b) = 4*b**2 + 191*b + 47. Is 13 a factor of k(-73)?
False
Let x(c) = 2*c**2 + 6*c + 10. Suppose -4*u + 4*a - 3*a - 143 = 0, 5*u + 200 = -3*a. Let f = -41 - u. Is x(f) a multiple of 5?
False
Let q(f) = 4*f - 91. Let w(d) = -d + 18. Let z(y) = -2*q(y) - 11*w(y). Let t(k) = k**3 + 11*k**2 + 9*k + 3. Let p be t(-10). Is z(p) even?
False
Let w(b) = 174*b**2 - 12*b + 11. Let n be w(1). Let t = 245 - n. Is t a multiple of 4?
True
Suppose -12*x - 3*i + 677301 = 0, 43*i - 39*i + 282256 = 5*x. Is 137 a factor of x?
True
Let l(d) = d**3 + 30*d**2 - 24*d - 28. Does 98 divide l(-13)?
False
Let n = 10 + -10. Suppose n = -2*q - 2, -4*q = -4*l + 4. Suppose l = 3*j - 379 - 434. Does 13 divide j?
False
Let k(f) = 12*f + 107. Let a be k(-8). Suppose -a*i = -14*i + 324. Does 9 divide i?
True
Let v(m) be the third derivative of -m**6/120 - m**5/6 + m**4/12 + 5*m**3/3 + 13*m**2. Let s be v(-10). Is 25 a factor of (-223)/(-3) - s/(-45)*-3?
True
Let l be (-2)/(1383/(-690) - -2). Suppose 15*b - 185 = l. Is 4 a factor of b?
False
Let r be 57824/112 + 6/(-21). Let k = r - 496. Is k a multiple of 4?
True
Suppose 0 = 12*c + 2*c - 28. Suppose -242 = -16*h - c. Is h a multiple of 15?
True
Let x(w) = 197*w + 283. Does 106 divide x(38)?
False
Suppose 4*z + h - 33 = -2*h, -z = -2*h - 22. Suppose z*v - 10586 + 914 = 0. Does 20 divide v?
False
Is 66 a factor of (-1 - (-8)/(-3))*56499/(-407)*11?
False
Suppose 4*c - w - 15115 = 0, 764 = -4*c - 3*w + 15899. Suppose -40*s + 58*s = c. Is 42 a factor of s?
True
Let t(a) be the second derivative of a**3/3 + 129*a**2 - 156*a - 1. Does 9 divide t(17)?
False
Let p(l) = -l**3 - 17*l**2 + 22*l - 5. Let o be p(-19). Suppose -5*r + m = -471, -3*m - 80 = -4*r + o. Is 47 a factor of r?
True
Let x(v) = 52*v**2 + 3*v - 2. Let j be -18*((0 - 3) + 16/6). Let t(f) = -f**3 + 5*f**2 + 7*f - 5. Let z be t(j). Is x(z) a multiple of 10?
False
Suppose -12*o + 16*o = 4*f - 31696, 5*f - 39617 = 2*o. Does 57 divide f?
True
Suppose 4*n - 2*f = 22, -4*n - f = 2*f - 7. Suppose 0 = -4*k - 3*l + 1218, 3*k - 5*k + 620 = -n*l. Does 51 divide k?
True
Let s(q) = -9798*q**3 + 27*q**2 + 23*q - 4. Is 71 a factor of s(-1)?
True
Let d(v) = 10*v**2 - 54*v - 148. Is d(19) a multiple of 12?
True
Let f = 11079 - 4995. Does 18 divide f?
True
Suppose 3*f - 3*k = 6, -5*f + 2*k + k + 14 = 0. Let y be (1 + -2)/((-2)/f). Suppose 5*v + 59 = 2*p, 0 = -y*p - 3*p - 3*v + 225. Is 19 a factor of p?
False
Suppose -5*x = -3*f + 1980, -3*x + 2*f - 1159 = 6*f. Let r = x - -397. Is r even?
True
Let d(s) = -10*s - 2. Let l be d(-3). Let n be 78/14 - 16/l. Suppose m = -q + 118, 32 = n*m + 7. Is 12 a factor of q?
False
Let m = -11 + 18. Let j(w) be the first derivative of 5*w**3/3 - 7*w**2/2 + 14*w + 251. Is 14 a factor of j(m)?
True
Suppose -4*o = 8*z - 3*z + 119, -2*o = 2*z + 48. Let h(x) = x**3 + 22*x**2 - 33*x + 34. Does 12 divide h(z)?
True
Let r = -22282 + 30550. Is r a multiple of 142?
False
Suppose -4*x - 5*t + 6719 = 0, 2*t + 1711 = x - 3*t. Suppose -5*k + 3*a = -x, 4*k = -a + 2037 - 695. Suppose -5*b + k = 2*b. Is 37 a factor of b?
False
Let q be (-54)/(-4) - ((-52)/(-8) - 6). Suppose 12*n - 1825 = -q*n. Is 9 a factor of n?
False
Let r = 248 - 177. Suppose 68*o + 48 = r*o. Is 13 a factor of 8/(o/(-6)) + 42?
True
Suppose 1425 = 9*q - 1179 - 546. Does 35 divide q?
True
Suppose 3*q = 2*m + 57562, 3*q = 1416*m - 1419*m + 57582. Does 173 divide q?
False
Suppose -210 = 15*z - 5*z. Let x be (-196)/(-6)*(-216)/z. Suppose -3*a - a = -x. Is 21 a factor of a?
True
Is (9482 + 82)*(21/(-14))/(1 + -3) a multiple of 96?
False
Let s be 6/(-4)*(-1914)/99. Suppose 0 = -2*d - 5*t + s + 131, 5*d - t - 454 = 0. Is d a multiple of 10?
True
Let y(b) = 193*b**2 + 7 - 192*b**2 + 6*b + 0. Let w be y(-5). Suppose -o + 0 - 28 = -w*x, -2*x - 5*o = -16. Is 3 a factor of x?
False
Is 11 a factor of ((-817)/3)/(5/(-375)) - (-28)/4?
False
Suppose -231589 = -66*k + 181835. Is k a multiple of 16?
False
Let a = 823 + -778. Let s(k) = 8*k - 5. Let w be s(5). Let x = w + a. Is x a multiple of 16?
True
Suppose 0 = -3*p + 14*p + 1144. Let u = -44 - p. Is 8 a factor of 2664/u + 2/(-5)?
False
Let l = -150 - -152. Suppose 3*v - 4*f = 997, l*f + 666 = -5*v + 7*v. Is 31 a factor of v?
False
Suppose 0 = -3*y - 1 + 7. Suppose z = 2*z - 1, -y*a - 20 = 4*z. Let t = a + 20. Is t a multiple of 4?
True
Suppose -49497 + 18846 = -2*g + 3*x, -g + x + 15325 = 0. Is g/54 - (-4)/54*3 a multiple of 41?
False
Suppose -3*z = -9, 4*j - 5*z = 25617 + 4084. Is 176 a factor of j?
False
Suppose -k = -4*w + 119098, -119*w - 5*k + 89312 = -116*w. Is 91 a factor of w?
False
Suppose -5 = v, 3*q - 4*v - 5942 = 7752. Does 53 divide q?
True
Suppose 11*x - 14*x + 10208 = 4*z, -2*z = 5*x - 5104. Is z a multiple of 232?
True
Suppose -42*n = -67*n + 35*n - 10460. Is n a multiple of 50?
False
Let g = -502 - -737. Let f = 1012 - g. Does 62 divide f?
False
Let b(f) = -f**2 + 13*f - 26. Let g be b(12). Is ((-30)/7)/(3/g) a multiple of 10?
True
Let g = -9700 + 13171. Is g a multiple of 9?
False
Let h(b) = 5 - b**3 + 0 + 4 + 12 - 8*b - 10*b**2. Let u be h(-9). Does 2 divide -1 - (-6)/2 - (4 - u)?
True
Let l = 18 + 666. Let a = -414 + l. Does 30 divide a?
True
Let v = -1005 + 1804. Suppose 0 = 5*y - v - 521. Is y a multiple of 24?
True
Let i(j) = 3*j**2 - 12*j + 17 + 147*j**3 - 138*j**3 - 2*j - 1. Is 30 a factor of i(4)?
False
Suppose 9*j - 14946 - 2469 = 0. Is 24 a factor of j?
False
Suppose -r + 89 = v - 5, -4*r = 2*v - 384. Suppose -2*m + r = 3*a - 196, -2*m = -6. Is a a multiple of 3?
True
Let y(d) = -10*d - 4. Let u = 44 - 29. Suppose u*r - 20*r - 20 = 0. Is y(r) a multiple of 18?
True
Suppose 411*t = 420*t - 40833. Is t a multiple of 25?
False
Let w(x) = 2*x - 12. Let c(n) be the first derivative of -n**4/4 - 7*n**3/3 - 5*n**2/2 - 27*n - 19. Let r be c(-7). Is w(r) a multiple of 2?
True
Suppose 0 = -182*v - 184683 + 910135. Does 26 divide v?
False
Let o be 6*(-2 + 1) + 5. Is 1966*o/(-10) - 132/220 a multiple of 30?
False
Let p(o) = -4*o - 63. Let a be p(13). Let g = a + 282. Is 10 a factor of g?
False
Is 69*26/(1320/209 - 6) a multiple of 81?
False
Let l(s) = 41*s**2 - 21