iple of 9?
False
Let a(v) = -v**3 + 10*v**2 + v + 4. Is 16 a factor of a(7)?
False
Let f be -3 - (-2 - (2 - 0)). Is -4 + (f - 0) - (-25 - 2) a multiple of 3?
True
Let s(g) be the first derivative of g**6/120 + g**5/15 - g**4/4 - g**3/3 + g**2 + 3. Let r(n) be the second derivative of s(n). Does 11 divide r(-4)?
True
Let n be (-25)/(-2)*(-10 + 8). Let d = n + 11. Is 20 a factor of (d - -9)/((-2)/16)?
True
Suppose 0 = -9*k + 889 + 4052. Does 9 divide k?
True
Suppose 36 = 3*r + 6*r. Suppose -k = -r*l + 793, -190 = -l - 2*k + 6. Does 18 divide l?
True
Let s = 10 + 7. Let m = s + -15. Suppose 0 = -2*j + 3*v + m*v + 48, 5*j + v = 147. Is 22 a factor of j?
False
Suppose -5*u = -29 - 6. Suppose -i = -0*i + 28. Does 24 divide u/(i/16) - -52?
True
Suppose 0 = -4*z - 2*y - 31 + 13, -5*z - 18 = -2*y. Let u = z - -11. Suppose -u*p = -9*p + 96. Does 16 divide p?
True
Let t(c) = 0*c - 8 + 39 + c. Suppose -3 = -2*a - 3*l, 4*l = 5*a + 2 + 2. Does 13 divide t(a)?
False
Suppose -2*d + 2*w = -54, -76 + 15 = -3*d - w. Let q = 105 + d. Suppose 6*f = q + 5. Does 6 divide f?
False
Suppose -3*y + 2*u = -u - 93, 2*y - u - 63 = 0. Suppose -4*q = 5*a - 99, 0 = -3*q + 5*a + y + 16. Suppose -d = -0*d - q. Does 7 divide d?
True
Suppose 0 = 2*z + 2*z + 60. Let g = z + 29. Let h = -11 + g. Is 3 a factor of h?
True
Does 48 divide (2 - 1) + -12 + 10 + 769?
True
Let l(q) = q**3 - 3*q**2 - 14*q - 47. Does 27 divide l(10)?
True
Let q(f) = 3*f**3 - f**2 + 12*f - 14. Does 9 divide q(4)?
False
Is 4 a factor of (2/8)/(-6 + (-15725)/(-2620))?
False
Suppose -4*l = -r - 43, 4*l - l - r - 31 = 0. Suppose -l*o + 51 = -9*o. Is o a multiple of 5?
False
Let q(c) = 17*c + 25*c - 18 - 49*c. Is q(-6) a multiple of 12?
True
Let a = 419 + -713. Let u be (-11)/(-22) + a/(-4). Suppose -2*m + u = 5*x - 123, -5*x + m + 194 = 0. Is 5 a factor of x?
False
Let r(o) = -o**2 + 2*o + 90. Is 5 a factor of r(0)?
True
Does 2 divide -521*((-6)/9)/(24/36)?
False
Suppose 0 = 3*a - 560 - 598. Suppose m - i + a = 4*m, -4*m = -2*i - 518. Is 8 a factor of m?
False
Suppose 0 = 34*z - 654 - 2032. Does 8 divide z?
False
Suppose 0*a + 4*f = a - 5, 3*a = -4*f - 33. Is 27 a factor of 14/(-2)*1*198/a?
False
Does 24 divide (-1788)/(-9)*3/2?
False
Suppose -2*f - 5 = -7*f. Let t = -3 - 5. Does 3 divide f/3*(1 - t)?
True
Let h be -3 - ((3 - 3) + -5). Suppose 0*n = 5*r - 3*n - 92, h*r = -4*n + 16. Is r a multiple of 8?
True
Let q(j) = -23*j - 7. Suppose 0 = -v + 2 + 22. Suppose 0 = 8*f - 0*f + v. Is 31 a factor of q(f)?
True
Suppose 19*x - 7560 = 10*x. Does 24 divide x?
True
Is 11 a factor of (-1653)/(-2) - (-2 + (-7)/(-2))?
True
Let i(k) = 335*k - 2 - 338*k - 3 + 15*k**2. Does 16 divide i(-2)?
False
Let v(f) = -2*f**2 - 2*f - 4. Let b be v(-3). Let t be (-15 + 1)*24/b. Is 4 a factor of (-1 - -6) + t/7?
True
Let h(p) = 13*p**2 - 6*p - 10. Does 20 divide h(8)?
False
Suppose -526*g = -529*g + 144. Does 9 divide g?
False
Suppose 998 - 130 = 2*n. Suppose -n = -5*r + 261. Is r a multiple of 29?
False
Let x(f) = 8*f**2 + 5 + 0*f - 8 + f**2 + 6*f. Let m be x(5). Let z = m - 164. Does 18 divide z?
False
Suppose -5*l + 76 - 16 = 0. Let h be ((-184)/l)/(2/60). Is h/(-24) - (-4)/(-24) a multiple of 19?
True
Let h = -82 + 141. Let w = -33 + h. Does 26 divide w?
True
Suppose -7*w = -12*w + 800. Suppose w = 2*j - 2*t, 4*j + t - 379 = -74. Is 15 a factor of j?
False
Let a = -4307 - -7403. Is a a multiple of 43?
True
Suppose 611*o - 619*o = -5704. Is o a multiple of 25?
False
Suppose 0 = -10*i + 32 + 8. Suppose -36 = -i*k + 60. Is 13 a factor of k?
False
Suppose p + 1021 = 2*p - 2*n, 0 = 2*p - 2*n - 2032. Is 6 a factor of p?
False
Suppose 2*y + 3*x = 26, -3*y + 4*x + 31 = 9. Let d be (3/(-2) - -1)*-2. Let b = d + y. Is 11 a factor of b?
True
Let v(o) = -4*o - 10. Let a be v(-5). Let x(n) = -n**3 + 12*n**2 + 3*n - 2. Let y be x(a). Suppose -y = -4*m - 2*m. Does 15 divide m?
False
Let y = 271 - 128. Let a = y - 95. Suppose 7*q - 3*q = a. Does 8 divide q?
False
Let w(s) = 55*s - 22. Let i(t) = t + 6. Let k be i(-1). Does 18 divide w(k)?
False
Let q(i) = -i**2 - 6*i - 6. Let p be q(-3). Suppose -p*w + 478 = 133. Does 15 divide w?
False
Let p(m) = 20*m**2 - 6*m - 3. Let u be p(3). Does 16 divide u + 2 + 3 + -4?
True
Let m(g) = -g**3 - g**2 + g + 38. Let n = 28 + -42. Let o = -14 - n. Does 13 divide m(o)?
False
Let u = -58 - -1139. Is u a multiple of 47?
True
Suppose a - 5*d = 4*a - 1, 2 = -2*d. Suppose -a*h + 38 + 8 = 0. Does 4 divide h?
False
Let m be 4/(-8)*-254*1. Suppose m = k + q - 93, 4*k = -q + 865. Suppose -3*t + k = -5*a, -a + 4*a + 385 = 5*t. Does 16 divide t?
True
Let j = 279 - 89. Is j a multiple of 19?
True
Let r(z) = 19*z - 26. Let a be r(7). Let w = a + -71. Does 36 divide w?
True
Suppose -2*o - o + 15 = 0. Suppose 55 = 2*m - o*j, -5*m + 82 = -5*j - 93. Is m a multiple of 20?
True
Does 18 divide (7*-40)/(-4 + 3 + 0)?
False
Let b = 4 - 4. Suppose 3*i + 1 = 3*f - 8*f, -5*i - 3*f + 9 = b. Is 14 a factor of 54 - (8/(-4) + i)?
False
Let b = 9 - 9. Let h(v) = -1 + b*v + 3*v - 2*v. Does 3 divide h(6)?
False
Let b(x) = 32*x + 16. Let o be b(2). Suppose 2*t + 114 = 3*a + 38, -4*t = -3*a + o. Is a a multiple of 4?
True
Let k(f) = f - 1. Let l(s) = 5*s + 5. Let h(p) = 4*k(p) - l(p). Let a be h(-10). Does 7 divide (2 - 2) + 7/a?
True
Suppose -g = 5*m + 2*g + 24, 3*g = 4*m + 30. Let j(k) = -23*k - 6. Is 33 a factor of j(m)?
True
Suppose y - 168 = 5*d, 5*y = -3*d + d - 78. Let t = -4 - d. Does 14 divide t?
False
Suppose h - 30 = -2*h. Suppose h*v = 396 + 4. Is 10 a factor of v?
True
Let q = 42 - 104. Let c = 104 + q. Is 7 a factor of c?
True
Suppose -12*z = -16*z. Suppose 3*x - 5*x - 5*j + 100 = z, -5*x + 4*j + 184 = 0. Does 9 divide x?
False
Is 57 a factor of (13 + -7)*5235/9?
False
Let i(k) = -k**2 - 7*k - 5. Let w be i(-5). Suppose -r = w*g + 5180, 4144 = -3*g - g - 5*r. Is g/(-26) - 32/(-208) a multiple of 10?
True
Suppose 0 = 7*z - 3*z - 20. Suppose -3*w + 7 = 1. Suppose -4*k = 0, 0 = -z*a - w*k + 316 + 89. Does 17 divide a?
False
Suppose -2 = -n - 0. Let o be (-492)/4*-1 - n. Does 21 divide (o/(-5))/(4/(-20))?
False
Let c(o) = -7 + 16*o - 5 + 0*o**2 - 3 - o**2. Let m be c(11). Suppose h - 6*h - 2*b = -178, -4*b - m = -h. Is h a multiple of 18?
True
Suppose -5634 = 21*m - 30*m. Is m a multiple of 34?
False
Is 26 a factor of -4 - (-6 + 6) - -787?
False
Let k = 71 - 33. Let b = k + -6. Is 8 a factor of b?
True
Let s be (-5)/20*-4 - -13. Is 23 a factor of 1210/s - (-44)/77?
False
Let g(c) = 4*c**2. Suppose 5*h - 2*b = -11, -3*h + 2*h + 2 = b. Let d be g(h). Let t = d - -6. Is t a multiple of 4?
False
Let m = 1884 - 1308. Is 45 a factor of m?
False
Suppose 5*v = -2*c + 1535, 25*c - 27*c + 4*v = -1526. Is c a multiple of 59?
False
Let n(x) = x**2 + x - 1. Let b be n(5). Suppose b = -3*f + 512. Let t = -88 + f. Is 20 a factor of t?
False
Let i be (-4 - 3/(-1))/((-2)/194). Let t = -31 + i. Is t a multiple of 14?
False
Suppose 3*b + l - 1991 = 0, 735 + 589 = 2*b - l. Is b a multiple of 27?
False
Suppose 24 = 4*n + 5*k + 1, 9 = 3*k. Let o = 54 + -30. Does 19 divide (n - o)*3/(-2)?
False
Let m be (-178)/(-5) + (-6)/(-15). Let a = -5 + m. Does 2 divide a?
False
Let q be (-3)/(9/6) + (-16)/(-1). Suppose 5*l + 810 = q*l. Is 18 a factor of l?
True
Let a be (607 + 3)/5 - -3. Suppose -5*m - 21 = -2*m. Let z = a - m. Is 38 a factor of z?
False
Suppose 5 = 3*a + 2*r, 4*r + 13 = -a - 2. Suppose -108 = -a*t + 192. Is t a multiple of 22?
False
Suppose -3*m - 4*d + 193 = -5*d, 4*d - 188 = -3*m. Does 8 divide m?
True
Let z(l) = -7*l + 8 - 5*l - 23. Is 9 a factor of z(-14)?
True
Suppose 4*n - 17*d - 540 = -15*d, 2*d = 0. Does 9 divide n?
True
Is 13 a factor of ((-8)/(-5))/(1/420)?
False
Suppose -w + 3*p - 723 = -2*w, 2*w - 1482 = 3*p. Suppose 0 = -5*c + 2095 - w. Is c a multiple of 17?
True
Let z be (-5)/(-10)*(-1 + 3). Let y be (-72)/(-16) + z/2. Suppose 76 - 1 = y*r. Does 3 divide r?
True
Suppose -16*k = 13*k - 56202. Is k a multiple of 51?
True
Suppose -228 = 12*p - 16*p. Suppose -5*i + 2*s + 537 = 0, 5*i - 534 = -2*s + s. Let w = i - p. Does 25 divide w?
True
Let f be (-76)/(-6) + (-1)/(-3). Suppose -3*x + f = 5*i, 0 = -5*i - 5 - 0. Does 6 divide (x/1)/2 - -15?
True
Let k be 26 - (-1 + 8/(-4)). Suppose z - 3*y = -5*y + 31, z - k = -y. Is 9 a factor of z?
Tru