l = k - -237. Does 7 divide l?
False
Suppose -344642 = -261*l + 418795 + 689289. Is l a multiple of 23?
True
Is 54 a factor of ((-240)/32)/(1/((-96456)/(-578718)) - 6)?
False
Let k(i) = -89*i + 6930. Is k(-67) a multiple of 93?
False
Let j(d) = 660*d**2 - 50*d - 454. Is j(-5) a multiple of 84?
True
Suppose 12 = -3*s + 2*h, s - h - 3*h = -4. Let x(a) be the first derivative of 2*a**3/3 + a**2 - 8*a - 20. Is x(s) a multiple of 12?
False
Let c = -1936 + 2158. Is c a multiple of 74?
True
Let m be 12/9 + 69585/9. Suppose -64*v = -75*v + m. Is 15 a factor of v?
False
Let t(b) = -6*b - 14. Let v(r) = r**3 + r**2 + r + 1. Let u be v(-1). Suppose 4*l + 41 - 9 = u. Is t(l) a multiple of 11?
False
Let c(m) be the first derivative of 3*m + 25 - 20 - m**2 + m. Does 14 divide c(-5)?
True
Suppose -i - 16 = -2*n, 7*n + 5*i - 11 = 4*n. Suppose 0 = -3*b, 3*b + 385 = -n*r + 8*r. Is r a multiple of 10?
False
Suppose 0 = 4*q + 7*q + 30*q - 132840. Is 24 a factor of q?
True
Let z be (((-252)/5)/(-7))/((-15)/(-50)). Is 11 a factor of z/(1 + 3) + 432 + 2?
True
Let z(u) = -2*u + 74. Let g be -6*((15/(-2) - -4) + 1). Is 30 a factor of z(g)?
False
Suppose -2*r - f + 5979 = 0, -6272 + 313 = -2*r - 5*f. Suppose 0 = -4*k - 336 + r. Does 17 divide k?
False
Let i(d) = 401*d**2 - 23*d - 619. Is i(-8) a multiple of 20?
False
Let k(y) = y + 63. Let b = -135 - -111. Is k(b) a multiple of 2?
False
Suppose -5*r = b - 98, -3*r = r - 3*b - 86. Suppose w - 4*v - r = 0, -4*w + 18 = -5*v - 18. Suppose -l + w*m = -195, 6*l - m - 956 = l. Is l a multiple of 30?
False
Let a be 2/(-5) + (-256)/10. Let u = a + 28. Suppose -u*g = -8*g + 396. Is 11 a factor of g?
True
Suppose -3*z - 2*j + 17 = 0, 30 = -3*z - 5*j + 59. Suppose 3*l = z*w - 901 + 22, 2*l - 1472 = -5*w. Does 48 divide w?
False
Let d(p) = p**2 + 1. Let n(a) = a**2 + 15*a + 9. Let c(z) = -3*d(z) + n(z). Let y be c(8). Is (0 - y) + -1 - (1 + -250) a multiple of 16?
False
Let w(c) = -4*c**2 + 5*c - 3. Let u be w(3). Suppose 0 = -189*n + 185*n + 152. Let f = u + n. Does 7 divide f?
True
Suppose l = f + 761, 3899 - 104 = 5*l + 5*f. Is 9 a factor of l?
False
Suppose -2*d = c - 15, 0 = 2*d + 3*d. Suppose 6*l - 15 = c. Suppose -l*s + 3*s = -216. Does 18 divide s?
True
Let r(j) = 143*j + 18. Let d(v) = -573*v - 69. Let n(u) = -4*d(u) - 15*r(u). Is 27 a factor of n(4)?
True
Let f(p) = -p**3 + 13*p**2 - 11*p - 8. Let k be f(12). Suppose -6*n = -4*g - 2*n + 180, -2*g = -k*n - 86. Is g a multiple of 16?
False
Let r = -226 + 759. Suppose -5*h = -f - r + 1637, -4*h = 5*f - 5607. Is f a multiple of 14?
False
Let k(b) = -9*b - 103. Let j be k(-12). Suppose -j*a + 178 = -3*x, -3*x = 10*a - 5*a - 202. Does 19 divide a?
True
Let i = -27 + -1. Is 7 a factor of ((-11)/22)/((3/i)/3)?
True
Suppose 5*v = 3*a - 4443 - 2388, -4*a = 2*v - 9108. Let x be 4/(24/a) - 2/(-4). Suppose 3*j - 5*s - 453 - 93 = 0, 2*j - x = -2*s. Is j a multiple of 28?
False
Let q(l) = 205*l + 6. Let h be q(-1). Let f = h + 433. Does 19 divide f?
False
Suppose 0 = 4*u + 16, -u = -5*p + 2*u - 23. Let d be p/(21/(-6)) + 0. Suppose -o = -2*o + 3*j + 126, -282 = -d*o - 4*j. Is 45 a factor of o?
True
Let x(g) = -127*g - 2. Let h be x(-5). Let w = h - 343. Is 29 a factor of w?
True
Let b(i) = i**3 + 72*i**2 - 186*i - 69. Does 44 divide b(-74)?
False
Let a = 881 + 5881. Is a a multiple of 69?
True
Suppose 4*a = -3*x + 43827, -5*x + 16*a - 18*a + 73031 = 0. Is x a multiple of 23?
True
Suppose -19*n = -21*n + 14, 2*q + 5*n - 47191 = 0. Is q a multiple of 12?
False
Suppose 703 - 183 = 10*k. Suppose p - 47 = k. Suppose -h - 63 = -p. Is h a multiple of 7?
False
Suppose 21 = 4*g + 5. Suppose 0 = g*m + 3*b - 1149, -3*b - 1465 = -5*m - b. Is 73 a factor of m?
False
Suppose 0 = -7*v + 115 + 1523. Let n = -140 + v. Suppose -n + 350 = 2*y. Is 10 a factor of y?
False
Suppose -3*d = 5*u - 27039 - 29006, -3*d + 56042 = 2*u. Is d a multiple of 40?
True
Let b(p) = 393*p + 15*p**2 - 355*p - 2 - 8. Is b(-7) a multiple of 34?
False
Suppose 2*i + 3*o - 29 = 43, 3*o = -i + 42. Suppose 0 = i*z - 31*z - 5*k + 576, 3*z - 1714 = -k. Is 48 a factor of z?
False
Suppose l + 12584 = 4*l + 10*l. Is l a multiple of 4?
True
Let b(j) = 2*j**2 + 5*j + 165. Let i(w) = -44 - 53 - w - 150 - 6*w - 3*w**2. Let o(m) = -7*b(m) - 5*i(m). Is 16 a factor of o(0)?
True
Let o = -4050 + 6869. Is o a multiple of 8?
False
Let b(o) be the third derivative of 3*o**5/10 - 5*o**4/8 - 35*o**3/6 + 23*o**2. Let g be b(-7). Suppose 44 = 6*j - g. Is j a multiple of 51?
False
Suppose -x = 108*r - 110*r + 7660, -r + 4*x = -3816. Is r a multiple of 14?
False
Let k = 221 - 211. Suppose 0 = -k*t + 168 + 382. Is 2 a factor of t?
False
Let a be 6 - 0 - -163 - -3. Suppose -a = -5*g - 3*s, 31 = -5*g - 2*s + 204. Does 12 divide g?
False
Let a(r) = -10*r**2 + 3*r - 2. Let o(g) = -18*g**2 + 5*g - 5. Let q(w) = 5*a(w) - 3*o(w). Is q(3) a multiple of 37?
False
Let p = 72 - 114. Let f be (p/35 + 2)/(4/50). Suppose 7*y - 87 = -2*t + f*y, -2*t + 81 = 3*y. Does 42 divide t?
True
Let a = -233 + 594. Is 6 a factor of a?
False
Let k(n) = -2 - 7*n + 6*n + 19*n + 13*n. Let x be k(1). Suppose -28*j + x*j = 6. Is j even?
True
Let m = -22280 - -31710. Does 23 divide m?
True
Let w(v) = 365*v**2 + 10*v - 56. Does 14 divide w(4)?
True
Suppose -729*n + 135065 = -610*n. Is n a multiple of 62?
False
Let l be (15/(-10) - -2)/((-3)/(-114)). Suppose -l*q = -225 - 459. Is 12 a factor of q?
True
Let x(d) = -d**2 + 7*d. Let u be x(6). Let o(h) = 42*h**2 + 16*h - 9. Let g be o(u). Suppose -19*l + g = -6*l. Is l a multiple of 15?
False
Let n = 24347 - 6393. Is 7 a factor of n?
False
Let a(w) = -595*w - 6747. Is 23 a factor of a(-22)?
False
Let m(t) = -t**3 - 38*t**2 + 110*t - 109. Is 4 a factor of m(-41)?
True
Suppose 2*g - 9 = -o, 4*g - 14*o = -12*o + 22. Suppose g*x - 308 = -2*v, -10*x + 5*x + 320 = 5*v. Does 54 divide x?
False
Let q = 302 + -297. Suppose 8*u - 10*u + 171 = c, 0 = -q*c - 5. Is 2 a factor of u?
True
Suppose a = -4*r + 29140, 2*a - 52*r - 58340 = -48*r. Does 162 divide a?
True
Let m be 1468/(-1 - 3)*-7. Suppose -f + o = -4046, f - 3*o - m = 1477. Is 15 a factor of -6*f/(-105) - (-2)/(-10)?
False
Suppose -5*o + 767 = -6*o. Does 59 divide (o/2)/(5*(-4)/40)?
True
Let c be (-38 - 0/1) + -4. Let x = c - -65. Let t = 30 + x. Does 18 divide t?
False
Suppose 16*a - 18*a + 8 = 0. Suppose -a*s + 2*y = 754, -4*s + 3*y = 889 - 130. Let u = s - -339. Is u a multiple of 27?
False
Is 1/(-2)*(1 - 47)*(-52)/(-2) a multiple of 17?
False
Let c(v) = 29*v - 298. Let m be c(-20). Let g = m - -978. Does 12 divide g?
False
Let x(b) = b**3 + 10*b**2 - 13*b - 17. Let o be x(-11). Is 3 a factor of (o - 4) + 106 + 3 + 0?
False
Suppose -2*y - 9668 = -5*x, -5*x = 4*y - 2199 - 7445. Is 69 a factor of x?
True
Let o = 478 - 0. Is 58 a factor of o*(-23)/(-12) - (-2)/(-12)?
False
Let m be 7 + (-7)/((-7)/2) + -7. Suppose 4*n + m*x - 854 = 0, 4*n + 9*x = 6*x + 857. Is n a multiple of 22?
False
Suppose 0 = 4*j + 20 - 0, 3*v = -5*j + 557. Let b = v + -64. Suppose -35*z + 30*z = -b. Is z a multiple of 6?
False
Let o = -630 + 1064. Let u = 28 + o. Does 42 divide u?
True
Suppose 137*q - 4559616 = -338*q - 101*q. Does 3 divide q?
False
Suppose 93*n = 2*l + 90*n - 9019, 5*l = 4*n + 22565. Is l a multiple of 11?
False
Suppose 98*w - 2042496 = 1708902 - 20048. Is w a multiple of 279?
False
Let j be (14/2)/1 - (-5 - -8). Let p be j/(-12)*0 - -524. Let i = p - 336. Is 47 a factor of i?
True
Suppose 0 = -x - 3, -2*x - 68 - 26 = -2*g. Let b = g + -41. Suppose -20 = -t - 0*n - 2*n, -b*t + 2*n = -76. Does 22 divide t?
False
Suppose -33*i - 2 = -34*i. Suppose 11 = i*z + 23. Does 3 divide -18*((-14)/z - 3)?
True
Let u be ((-44)/55)/(1/(-110)). Is 12 a factor of 6*(4 + 1)*(90 - u)?
True
Does 228 divide (8/(-48) - (-492)/(-72)) + 24631?
True
Suppose -4*r = -2*m + 333 + 83, -5*m + 980 = 5*r. Suppose -5*h = -5, -p + 5*h = 64 - m. Is 14 a factor of p?
False
Let v = 11556 - 9337. Is v a multiple of 18?
False
Let s(l) = -l - 7. Let u be s(-14). Let z be (-21)/u*(-156)/(-9). Let v = z - -97. Is 15 a factor of v?
True
Let k = 77 - 67. Suppose -4*g + k = 4*d - 6, 5*d - 4*g - 2 = 0. Suppose d*v = -v + 339. Is v a multiple of 14?
False
Is 45 a factor of 13/((-156)/(-101904)) - (-1 - 2)?
False
Let h(k) = 3*k**3 - 13*k**2 + 5*k - 4