 985 + 3527. Is q a multiple of 21?
False
Let v = 16 - -64. Suppose -49*o = -45*o. Is (v + o)*(-1 + 2) a multiple of 20?
True
Let t be 2/6*(-3 - 0). Is 1*(t - (-5)/(20/32)) a multiple of 2?
False
Suppose o = -3*k + 594, -5*k + 0*k + 990 = -2*o. Is k a multiple of 33?
True
Suppose 131*s - 72542 = 108*s. Does 72 divide s?
False
Let b(u) = -14*u**3 - 12*u**2 - 5*u + 13*u**3 + 5 - 8*u + u. Is 2 a factor of b(-11)?
True
Let a(m) = -1796*m - 38. Is 19 a factor of a(-1)?
False
Suppose 5*p - p - 524 = 3*q, -p = 5*q - 108. Does 24 divide p?
False
Let m(f) be the second derivative of 7*f**5/20 - f**4/4 + f**3/3 + 15*f. Does 9 divide m(2)?
False
Let o = -61 + 289. Is o a multiple of 19?
True
Let d be (40/12)/(2/(-6)). Let z be d/5 - (-13 - 1). Suppose 0 = 3*v - 0 - z. Is v a multiple of 4?
True
Suppose 4*b - 246 = -2*q, 0*q + 162 = 3*b - 3*q. Let x = 109 - b. Is x a multiple of 9?
False
Let s(a) = 911*a**3. Is 13 a factor of s(1)?
False
Is 8 a factor of (-89 - -1)*(-16 - (-29 + 15))?
True
Suppose 0*m + 144 = 4*m. Suppose 3*r - 13 = -3*b - b, -5*b = -2*r - 22. Suppose -4*t = 17 - 1, -b*h + m = -4*t. Does 2 divide h?
False
Suppose -5*s - 19492 = 4*n - s, -3*n - 14579 = -5*s. Let w be 4/(-5) - n/10. Suppose -3*c + 9*c - w = 0. Does 22 divide c?
False
Suppose -3*v + 20 = -4*j, -j - 4*j = -v + 25. Suppose -2*x + x + 24 = v. Is x a multiple of 19?
False
Suppose 326 - 308 = 3*g. Suppose 0 = 5*x - 0*x - 105. Suppose -r - g = -x. Does 3 divide r?
True
Let f = -1518 - -1838. Does 5 divide f?
True
Let u = 259 - -366. Is u a multiple of 13?
False
Suppose 0 = -11*m - 397 + 1123. Is 5 a factor of m?
False
Let l = -61 + 57. Let p = l - -49. Does 14 divide p?
False
Let w(l) be the second derivative of l**5/20 + 5*l**4/6 - l**3/3 + 11*l**2 + 16*l. Does 15 divide w(-10)?
False
Suppose -6 = -7*b + 4*b. Suppose b*f + o = -9 + 25, -4*f = -5*o - 18. Suppose f*j - 110 = 2*j. Does 11 divide j?
True
Suppose -5*y + 25 = 0, l - 6*y = -5*y + 1124. Is l a multiple of 82?
False
Let p = 2895 + -1707. Is p a multiple of 11?
True
Let s(g) = -g**3 - 3*g**2 - 5*g - 3. Suppose 3*h - 4*j + 56 = -2*j, 3*h = -j - 62. Let w = h - -17. Does 6 divide s(w)?
True
Let m(j) = -j**3 + 6*j**2 + 9*j - 10. Let s be m(6). Suppose x = 118 - s. Does 11 divide x?
False
Suppose -7*i = -35 - 0. Suppose 18 = i*c - 32. Is c a multiple of 4?
False
Let c = -61 - -61. Suppose 4*m - 7*m + 540 = c. Is m a multiple of 13?
False
Suppose -9*v = -4*b - 10*v + 1493, 2*b - 3*v - 757 = 0. Is b a multiple of 7?
False
Let z = 7439 + -3890. Is 91 a factor of z?
True
Let a(x) = -8*x + 33. Is a(-14) a multiple of 17?
False
Let a = -47 + 24. Let t be (-1)/(0 + -1)*438/(-6). Let o = a - t. Is o a multiple of 12?
False
Let i = 92 - 190. Let t = 109 + i. Is t a multiple of 5?
False
Let p = 18 + 17. Suppose 2*x = 4*j - 140, 0 = 2*j - 3*j + 3*x + p. Is 35 a factor of j?
True
Let q(a) = -655*a**3 + a**2 + 5*a + 4. Let f be q(-2). Does 39 divide f/135 - (1/(-5) - 0)?
True
Let c be -1 - (-1 + (2 - 4)). Suppose -5*v + c = -4*v. Is v/7 - (-173)/7 a multiple of 25?
True
Let d(o) = 2*o**3 + 22*o**2 - 20*o - 19. Does 4 divide d(-10)?
False
Suppose 2*r = 940 + 2130. Is r a multiple of 8?
False
Let p(j) = -5*j**2 - 4*j - 12. Let y(u) = -4*u**2 - 3*u - 11. Let c(d) = -6*p(d) + 7*y(d). Is 20 a factor of c(6)?
False
Suppose -88*s - 335 = -93*s. Does 36 divide s?
False
Let n = -1 - -4. Let t(w) = -10*w**2 - 10*w + 17. Let l(h) = 5*h**2 + 5*h - 8. Let i(u) = 5*l(u) + 2*t(u). Is 14 a factor of i(n)?
False
Let l(m) = m**3 - 3*m + 3. Let u(s) = s**3 - 7*s**2 - 5*s - 10. Let x be u(8). Let b(z) = -z + 17. Let c be b(x). Is l(c) a multiple of 21?
True
Let i(m) = -2*m**2 + 2*m**2 - 2 + 14*m**2. Let k be i(2). Suppose 0 = -5*p + 2*p + k. Is 7 a factor of p?
False
Does 5 divide (-2)/(-4) + (-12233)/(-26)?
False
Let x be ((-2)/6)/((-10)/360). Suppose -7*m + 4*m + x = 0. Is 4 a factor of m?
True
Suppose 3*c + 0*c + 4*x = 42, 17 = 2*c - x. Is c/((-165)/85 + 2) a multiple of 34?
True
Suppose 0 = -3*b - b + 16. Suppose b*o - 176 + 0 = 0. Is o a multiple of 11?
True
Let v = 67 + -114. Let l = -23 - v. Is 4 a factor of l?
True
Suppose 4*y - y = n - 51, 2*y - 6 = 0. Suppose 13*c + n = 16*c. Is 20 a factor of c?
True
Let w(f) be the third derivative of f**5/10 - f**4/12 - f**3/3 - 8*f**2. Suppose z = -1 + 3. Is w(z) a multiple of 6?
True
Let m = -48 - -53. Suppose m*g - 458 = 252. Is g a multiple of 13?
False
Let w = -1795 - -2015. Does 22 divide w?
True
Let i be 0/(-3 + 9 + -4). Let d(s) = -s**2 + 72. Is 8 a factor of d(i)?
True
Suppose 5*k = 7 - 12. Let a be (48/10)/(k/5). Let t = a - -69. Does 15 divide t?
True
Suppose 4*j - 96 = 2*j - 2*c, -2*j + 104 = 4*c. Does 24 divide j?
False
Suppose f = 45 + 24. Let p = f + -38. Is p a multiple of 31?
True
Let k be (-1*8)/(2 + (-126)/66). Let u = 226 + k. Is u a multiple of 23?
True
Let t(q) = -q**2 - 11*q - 31. Let a be t(-5). Is 39 a factor of (-3 - a)/(-4)*(-4914)/(-21)?
True
Let z be 2 - 0*2/(-2). Let p(h) = -6*h - 4 + h**z + 2 - 3. Is 7 a factor of p(8)?
False
Let f(m) = 2*m + 7. Let a(i) = -i + 1. Let q(j) = -2*a(j) + 2*f(j). Is q(3) a multiple of 6?
True
Suppose 2*x + 5 = 3*x. Suppose -144 = -w - x*w. Is 4 a factor of w?
True
Let r be (1/2)/(1/(-12)). Is 2/r + (-6631)/(-57) a multiple of 29?
True
Suppose 36*p = 14*p + 11880. Is 12 a factor of p?
True
Let k(x) = -2*x**3 - 8 + x**3 - 10*x**2 - 3*x - 4*x + 4. Let i be k(-10). Let q = 94 - i. Is 28 a factor of q?
True
Does 12 divide (-3)/(-2)*1*904/4?
False
Suppose 0*c = -2*p - 5*c + 35, 5 = 3*p - 2*c. Suppose -2*b + 3*i = -5*b + 852, -b + p*i = -302. Is b a multiple of 41?
True
Let s(m) be the second derivative of -m**6/720 + m**5/10 - m**4/12 - m. Let u(c) be the third derivative of s(c). Is 8 a factor of u(-10)?
False
Suppose 110*t = 105*t. Let f be (36/(-15))/(1/(-5)). Suppose g + t*g = f. Does 6 divide g?
True
Let v = -142 - -271. Suppose -5*g = -4*y - v - 56, -3*g = 5*y - 74. Does 9 divide g?
False
Let l(y) = 8*y**3 - 8*y**2 + 5*y + 7. Does 114 divide l(7)?
True
Suppose -5*h + 2*j + 404 = 0, -2*h + j - 3 = -164. Suppose -4*a + h = -110. Is 12 a factor of a?
True
Suppose -q = -7 + 4. Suppose l - 4*i = 9, l - 2*i - q*i - 12 = 0. Is -2 - l - 210/(-5) a multiple of 31?
False
Let j be (-35)/(-2)*(-3 + -3). Let q = -58 - j. Suppose 1 = t, 0 = f - 4*f + t + q. Is 4 a factor of f?
True
Let r = 550 + -521. Does 3 divide r?
False
Let n(i) = -i**2 - 20*i - 17. Let m be n(-18). Suppose -m = -0*a - a. Is 3 a factor of a?
False
Is (6/8)/((-10)/(-23120)) a multiple of 16?
False
Let d(l) = l**3 - 7*l**2 - 4*l + 10. Let a(g) = 3*g**3 - 2*g + 1. Let r be a(1). Suppose -q + 3 = -5*x + 10, -r*x = 3*q - 30. Is 15 a factor of d(q)?
False
Suppose -4*h - 4*l + 24 = 0, 0*h = h + 3*l - 2. Suppose 4*t - 2*c - 3*c - 148 = 0, h = -2*c. Suppose 5*s - t = 3*s. Is 4 a factor of s?
True
Let w = 12 + 480. Is w a multiple of 11?
False
Suppose -4*x - n = -2*n - 813, -4*x + 822 = 2*n. Suppose -2*a + 362 = 5*k + 107, -4*k + a + x = 0. Let u = k - -25. Is u a multiple of 38?
True
Suppose q + 2297 = 2*m - 434, -2*m + 5*q + 2743 = 0. Is 124 a factor of m?
True
Let l(j) = -20*j**3 - j**2 + 17*j + 1. Does 28 divide l(-4)?
False
Let f be -14 - (0 + -2 + 4). Let v be (40/16)/((-1)/f). Suppose h - 2*h = -v. Does 8 divide h?
True
Let n = 8 + -4. Suppose -4*p - n*l = -120, 3*l - 12 = -0*l. Is 26 a factor of p?
True
Let y(z) = 3*z**2 - 29. Does 4 divide y(6)?
False
Let w(z) = 78*z**2 - 77*z - 435. Is w(-6) a multiple of 45?
True
Suppose 3*i - 14 = -5. Suppose -1101 = -5*d - r, 4*d + i*r = 160 + 723. Is 40 a factor of d?
False
Let v be 2/(-1 - 6/(-4)). Let h = -228 + 240. Suppose j - h = -v. Is 8 a factor of j?
True
Let q(r) be the second derivative of r**4/12 - 2*r**3/3 + 5*r**2/2 + 8*r. Let c be q(4). Suppose 40 = -3*h + c*h. Does 5 divide h?
True
Let k(l) = l**2 + 9*l + 3. Let o be k(-9). Let y = 7 - o. Suppose y*j = 2*q - q - 79, 2*j = 3*q - 237. Is q a multiple of 16?
False
Let a = -1137 - -1984. Is a a multiple of 77?
True
Suppose -2*f + 228 = 2*j, -6*j + 5*j - 5*f + 98 = 0. Is 3 a factor of j?
False
Let f(w) be the second derivative of 47*w**5/20 + w**4/12 + w**3/6 - w**2/2 + w. Is f(1) a multiple of 6?
True
Suppose n = 3*l - 1, -3 = -n - l - 0. Suppose 3*a = 2*w + 2, 5*w - 16 = -a - n*a. Suppose 2 -