+ 880 = y. Suppose -49 = 3*q - w. Is q a multiple of 11?
False
Let k = 1 - -7. Does 37 divide 143 - k - (-1 - 1)?
False
Let o = 3239 - 2084. Does 11 divide o?
True
Let b(f) = -5*f - 2. Let v be b(-1). Is 22 - v/6*(1 - 1) a multiple of 12?
False
Let k(r) = 17*r**2 + 4*r + 2. Let d be k(-2). Let q be d/12 - (-7)/(-42). Does 8 divide 119/5 - (-1)/q?
True
Suppose -2*q = -5*h + 2, h - 5*q - 5 = -2*h. Suppose -5*w - 23 = -4*d - 4*w, h = -5*w + 5. Is d a multiple of 2?
True
Let y(x) = 3*x**2 - 7*x + 2. Let v = 31 - 37. Let l(n) = n**2 + 7*n + 1. Let f be l(v). Is 28 a factor of y(f)?
True
Suppose -45*s + 5539 = -49046. Does 4 divide s?
False
Is 30 a factor of 8/36 + (-45610)/(-90)?
False
Let m = 503 - 303. Is m a multiple of 12?
False
Suppose 0 = -5*z - 4 + 14. Suppose -z*r - 576 = -3*j + r, -4*j + 772 = -5*r. Is j a multiple of 38?
False
Let l = 7038 - 4976. Is l a multiple of 49?
False
Let a = -55 + 60. Suppose -73 = -a*k + 7. Is k a multiple of 8?
True
Suppose 0 = 74*o - 60279 - 137227. Is 54 a factor of o?
False
Suppose 5*l + 2*h = -3*h - 230, 5*h - 98 = 3*l. Let m = l - -89. Is m a multiple of 12?
True
Suppose -110 = -4*r + 3*x, -4*x = 5*r - 3*r - 66. Let s = r - 16. Is s a multiple of 3?
False
Let v be (6/(-21) + (-74)/(-14))*13. Let j = v + 8. Is 8 a factor of j?
False
Let h(l) = -62*l - 2. Let x be h(-1). Suppose 13*s - x = 10*s. Suppose 0 = 4*p - 368 + s. Is p a multiple of 21?
False
Suppose h = -2*o + 7*o + 411, -3*h = 3*o - 1251. Does 13 divide h?
True
Let s be (-354)/(-30) - (-1)/5. Suppose 0 = -s*g + 16*g - 88. Is 10 a factor of g?
False
Let x(t) = -37*t + 14. Let l be x(-6). Suppose -h - 20 = -l. Suppose 0 = -2*k + 5*k - h. Is 24 a factor of k?
True
Suppose -3*f + 6 = -3. Suppose 0 = -3*n - 9, f*u + 2*n - 93 = 5*n. Is u a multiple of 14?
True
Suppose 0 = 10*l - 13*l + 24. Suppose l*h = 4*h - 8. Let p(w) = -27*w + 3. Is 14 a factor of p(h)?
False
Let q(x) = x**3 + x**2 - x + 2. Let z be q(0). Suppose 0*h = -h + 7. Suppose -z*v + 1 = -h. Is 3 a factor of v?
False
Suppose -7*z - 21 = -0*z. Let q(h) = -14*h + 12. Does 18 divide q(z)?
True
Suppose -4*p + p - 27 = 0. Let q be 6/p*(-216)/(-16). Let k(b) = b + 21. Is 4 a factor of k(q)?
True
Suppose 9*m = -m + 6270. Is m a multiple of 57?
True
Let q(g) = g**3 - 18*g**2 + 59*g - 12. Is 4 a factor of q(15)?
False
Let g(r) = r + 4. Let h(c) = -1. Let f(m) = g(m) + 5*h(m). Let z(u) = u**2 - 10*u - 8. Let y(t) = 3*f(t) - z(t). Does 5 divide y(13)?
True
Let v = -509 - -1455. Is 22 a factor of v?
True
Suppose 1064 - 360 = 8*k. Is k/22 + 23/1*4 a multiple of 12?
True
Let f = 9 + -1. Suppose 0 = 2*l + f - 74. Is l a multiple of 11?
True
Suppose -k + 13 = 3*n, 4*n - 3*n = -3*k + 15. Suppose 3*x = -3*q + 6*q + 75, n*x - 4*q = 78. Is 6 a factor of x?
False
Suppose 5983 = 25*r + 6*r. Is 8 a factor of r?
False
Suppose 4*c - 185 = 43. Suppose -s + 3 = 4. Is 19 a factor of (2/(-3))/(s/c)?
True
Let t(n) = -n. Let k be t(-4). Suppose -40 = -m - k. Is 18 a factor of m?
True
Let v = 18 - 30. Let k(b) = 5*b - 15. Let g be k(v). Let a = -44 - g. Is 10 a factor of a?
False
Let g(s) = s**3 - 12*s**2 + 5*s + 6. Does 10 divide g(13)?
True
Suppose 7*n = 7935 - 1355. Does 10 divide n?
True
Suppose -3*k + 399 = f - 2*f, -f + 657 = 5*k. Does 9 divide k?
False
Suppose -21*y - 340 = -25*y. Is 32 a factor of y + -1 + (-36)/(-18)?
False
Suppose 421 = 7*r + 92. Does 10 divide r?
False
Let t = 58 + -54. Suppose 0*k + 3 = k. Suppose -t*s = k*l - 63, 0 = 3*l + 5*s - 0*s - 63. Is 7 a factor of l?
True
Suppose -2*z = -5*y - 1, 0 = -z + 2*y - 4*y - 22. Let q = z - -91. Suppose 3*t - q = 131. Is t a multiple of 23?
False
Let q = -676 + 910. Is 18 a factor of q?
True
Let v = -102 + 288. Does 31 divide v?
True
Let c(h) = -h**3 + 7*h**2 + 6*h + 3. Let y be c(6). Let u be 10*((-25)/10)/(-5). Suppose -u*v + 300 = y. Is 22 a factor of v?
False
Suppose 5*o - 12 = 2*a + o, 5*a = 2*o + 2. Suppose a*q = 4*b + 3 + 9, 2*b + q = 2. Does 35 divide (-35)/((2/b)/2)?
True
Suppose 5*m - 2*r = 120, 4*r = -3*m + 1 + 45. Suppose -3*b + 5*y = y - 10, 2*b + 5*y - m = 0. Suppose -g = -b*g + 105. Is g a multiple of 7?
True
Let n = 2666 + -1586. Is 15 a factor of n?
True
Let h be (-160)/(-7) - (-6)/42. Suppose -43 - h = -2*p. Suppose p = -0*n + 3*n. Does 5 divide n?
False
Let x(s) = s - 5. Let t be x(7). Is 16 a factor of (t - -10)/(3/(21/2))?
False
Let p(q) = 2*q**3 - 16*q**2 + 12*q + 22. Is 19 a factor of p(10)?
False
Suppose j = 2*y - 7 + 3, -4*y = 3*j - 18. Suppose 3*f = y*v - 45, -v - 4*f + 7 = -8. Does 12 divide v?
False
Suppose -s = -5*q + 6152, 36*s = 32*s + 12. Is q a multiple of 31?
False
Let y be -2 + 105/20 - 3/(-4). Suppose -2*h - 48 = y*v - 6*v, -v - 3*h + 20 = 0. Is v a multiple of 11?
False
Let l = 279 - 147. Let t = -8 + 13. Suppose t*c - l = c. Is c a multiple of 15?
False
Let a(m) = -3*m**2 + m + 1. Let b be a(-1). Let f = b - 6. Does 11 divide (22/1)/((-6)/f)?
True
Let d be 116/6 + (-10)/(-15). Suppose -5 = -2*v - v + 2*k, 3*k - d = -v. Suppose v*t + 4*o - 54 = 0, 2*t + 0*o = -2*o + 20. Is t a multiple of 7?
True
Suppose -q + 6 + 147 = -3*p, 2*p = -q + 138. Suppose 41*h - 39*h = q. Is 18 a factor of h?
True
Let q(y) = -y**3 + 5*y**2 - 3*y. Let g be q(4). Is 13 a factor of 5270/51 - g/(-6)?
True
Let i = 1271 - 738. Is 41 a factor of i?
True
Let f be ((-12)/(-32))/((-1)/(-8)). Suppose f*c - 95 = 10. Is 35 a factor of c?
True
Suppose -5*p + 185 + 499 = -4*w, p - 4*w - 140 = 0. Suppose -3*z + m + p = -m, 0 = 5*z + 3*m - 233. Does 29 divide z?
False
Let b(t) = -2*t - 363 - 49*t**3 + 0*t + 361 - t**2. Suppose 0 = -4*w - 3 - 1. Does 12 divide b(w)?
True
Let f be -2*(-4 + 5)*-2. Is 21*f*(3 - 2) a multiple of 21?
True
Let n(s) = 3*s**2 + 4*s + 4. Let i be n(-5). Let d = 104 - i. Is d a multiple of 15?
True
Let w(p) = p**3 - 14*p**2 + 10*p + 4. Let y be w(14). Suppose 0*i - y = -2*i. Is 12 a factor of i?
True
Suppose 0 = 2*a - 3*k - 5, -7*k = -2*a - 3*k + 4. Suppose 0 = -5*q - 5*j + 6695, 0 = 3*q - 5*q + a*j + 2666. Does 19 divide (-1)/5 + q/35?
True
Let m(c) = 3*c**3 - c**2 - 3*c + 4. Suppose 6*w = 5*w. Suppose -a + w = -2. Does 6 divide m(a)?
True
Let u(r) = -r**2 + 21*r - 10. Let h be u(9). Suppose 3*t + 278 - h = 0. Let f = 123 + t. Is 15 a factor of f?
False
Suppose -15 = -3*j - 3*a, 0*j - 7 = -j - 2*a. Suppose -5*l + 11 = -0*l - m, -j*l + 4 = 2*m. Suppose -l*c + 30 = 4*k, 5*c - k - 39 = k. Does 4 divide c?
False
Let d(x) = 3*x**2 + 5*x - 34. Let i be d(-18). Suppose -9*s - 7*s + i = 0. Is 41 a factor of s?
False
Let g(l) be the third derivative of -l**5/60 - l**4/4 + l**3/2 - l**2. Let c(o) = -o**3 + 17*o**2 + 2*o - 37. Let q be c(17). Does 3 divide g(q)?
True
Suppose -5*m + 11 = 4*p, 0 = m - 3*p - 6. Is (-98)/(-4) - m/(-6) a multiple of 5?
True
Suppose -95 + 483 = 4*l. Let x = -71 + l. Is x a multiple of 6?
False
Let j(x) = -x**3 + 2*x**2 - 2*x + 3. Let s be j(-3). Let t = s - 12. Is 7 a factor of t?
True
Let w(p) be the first derivative of p**5/20 + p**4/12 + p**3/2 - 2*p**2 - 5*p + 6. Let l(q) be the first derivative of w(q). Is 7 a factor of l(2)?
True
Let g(h) = -h**3 - 14*h**2 + 54*h + 19. Is 114 a factor of g(-19)?
True
Let l = -1 + 4. Suppose 2*s - 8 = 0, l*x + 5*s - 36 = x. Let i = 15 - x. Is i a multiple of 7?
True
Is 895 - (-11 + -9)/(-10) a multiple of 4?
False
Let z(y) = -2*y**3 - 11*y**2 - 5*y + 7. Let m be z(-6). Suppose 9 = -4*t + m. Is t a multiple of 4?
True
Suppose -106 = -j + 2. Suppose 3*k - 9*k + j = 0. Does 6 divide k?
True
Let d(h) = h**2 + 14*h - 11. Let a be d(-15). Let q(r) = -2*r + r**2 - 2 + 0 + a - 2*r. Is 34 a factor of q(8)?
True
Let v be (-277)/11 + 2/11. Let t = -11 - v. Does 5 divide t?
False
Suppose 128 + 472 = p. Does 8 divide p?
True
Suppose -435 - 1911 = -6*r. Is r a multiple of 22?
False
Let l be -7*((-80)/77 - (-2)/11). Suppose 7*w - 140 = l*w. Is w a multiple of 35?
True
Let m = 9 + -2. Suppose -10*y + 21 = -m*y. Does 3 divide y?
False
Let z(h) = -25*h**3 - h**2 + 1. Suppose 10*p + 8 = -2. Does 5 divide z(p)?
True
Suppose 2*p - 31 - 1 = 0. Suppose p*l - 344 = 14*l. Is l a multiple of 43?
True
Let d = 106 - 96. Suppose 5*p + 255 = d*p. Is p a multiple of 8?
False
Suppose -6313 - 23 = -24*w. Is 6 a factor of w?
True
Let u be (25352/(-44))/(-1) + (-2)/11. Suppose -180 = 4*h - u. Is 10 a factor of h?
Fa