 a factor of a?
False
Suppose -276*z + 2345086 = 105622. Does 97 divide z?
False
Let l(f) = -3*f**3 - 14*f**2 + 4*f - 3. Let b be l(-5). Let t(d) = 30*d**2 + 27*d - 54. Is 24 a factor of t(b)?
True
Let s = -542 - -545. Suppose -2822 = -3*r - 4*z, -s*r + 4*z = 2*z - 2792. Is 67 a factor of r?
False
Let p(z) = z + 9. Let b be p(-7). Suppose 2*g + 0*x - 1519 = -3*x, -b*x = -2*g + 1514. Suppose -g = -5*o - 178. Is 29 a factor of o?
True
Suppose 6*k + 3 = 15. Suppose -k + 14 = -3*o. Is 34 + (o/(-1))/4 a multiple of 29?
False
Let m(y) = -y**2 + 31*y - 42. Suppose 18*r - 335 - 97 = 0. Is 14 a factor of m(r)?
True
Let j = -84 - -84. Suppose 2*m = -4*v + 149 + 277, -5*v + 25 = j. Is 4 a factor of m?
False
Let z = 2 + -3. Let l = -668 - -637. Let w = z - l. Is w a multiple of 10?
True
Let h(w) = 501*w**2 - 655*w + 3901. Is h(6) a multiple of 27?
False
Let g(z) = 2*z**2 + 18*z - 37. Let j be g(13). Let l = -285 + j. Does 25 divide l?
True
Let i be 53/4 + (-51)/(-68). Suppose 2*b = i*b - 5352. Is b a multiple of 66?
False
Suppose -a = -2*w + 39501, 16*a + 59249 = 3*w + 17*a. Is 25 a factor of w?
True
Suppose 2*g = l - 24, 0 = l - 4*g - 8 - 12. Is 3 a factor of 5 - ((-218)/4)/(14/l)?
True
Let c(m) = -15*m - 37. Let y(b) = -2*b**2 + b**3 - 15*b**2 - 3 + 16*b - 1. Let w be y(16). Is c(w) a multiple of 2?
False
Let q(j) = 300*j**2 - 158*j + 14. Is 70 a factor of q(-7)?
True
Suppose -7*b - 11*b = -0*b. Suppose 13*c - 193 - 795 = b. Is 19 a factor of c?
True
Let d(l) = l**2 - 6*l**2 + 0*l + 19*l - 13 + 7*l**2. Suppose 0 = -z - 4*x - 25 + 6, -4*x - 8 = 0. Does 10 divide d(z)?
True
Let u(s) be the third derivative of 17*s**4/24 + 21*s**3/2 + 6*s**2. Is u(9) a multiple of 54?
True
Let o = -471 + 583. Is 8 a factor of (o/(-84))/(-1*2/564)?
True
Suppose -8 = -4*y, -5*b + 6*b = 2*y - 1. Suppose -2557 = -4*g - 5*r, 0 = -3*g + 6*g - b*r - 1938. Is 19 a factor of g?
False
Suppose -q - 70 = 60. Suppose -2139*u - 2178 = -2148*u. Let m = q + u. Is 16 a factor of m?
True
Suppose -3*r + 5*t = 20, 6*r + 2*t - 8 = 5*r. Suppose 2*y - 956 + 44 = r. Does 24 divide y?
True
Suppose -w = 4*s - 193, -s + 40 = 5*w - 13. Suppose -3*i = i + s. Let p(d) = -10*d + 14. Is p(i) a multiple of 23?
False
Suppose -13*v - 4723 = -d - 12*v, 4*d = 2*v + 18898. Is 56 a factor of d?
False
Suppose 3*w + d + 232 = 6*d, 2*w + 5*d + 138 = 0. Suppose -27*g - 2*i = -22*g - 614, -g + i = -127. Let t = g + w. Is t a multiple of 13?
False
Suppose 126*x - 124*x + 2*z = -178, 0 = 4*x + z + 356. Let d = 16 - 75. Let l = d - x. Is l a multiple of 25?
False
Let y(h) = -h**3 - 7*h**2 + 25*h + 30. Let j be (-4)/(4 + -8 + (-78)/(-18)). Is y(j) a multiple of 15?
True
Let l be 6/(-14) + (-271051)/(-287). Let p = -602 + l. Is p a multiple of 19?
True
Let t(u) = -u**3 + 13*u**2 + 2*u + 6. Let b be t(11). Let n = -186 + b. Is 9 a factor of n?
False
Let o(n) = -4*n - 66. Let f be o(-17). Suppose 0 = 9*h + f*h - 3520. Is 20 a factor of h?
True
Let u(o) be the third derivative of 9*o**6/10 + o**5/15 - 3*o**3/2 + 3*o**2 + 31. Does 67 divide u(2)?
True
Suppose 2*m + 1638 = 2*s, -536*s - 1629 = -538*s + 5*m. Does 3 divide s?
True
Suppose 5*j = -2*w + 53933, -5*w - 26662 = -3*j + 5673. Does 15 divide j?
True
Let n = 65 + -100. Let g = n - -120. Suppose -q - 15 = -g. Is 10 a factor of q?
True
Suppose z + 4 = 0, -z + 309 - 2053 = 5*n. Let m = n - -487. Is 3 a factor of m?
False
Let w(b) = 15*b**2 + 8*b - 14. Let q be w(4). Let j be ((-48)/36)/((-4)/q). Let z = -38 + j. Is 12 a factor of z?
True
Suppose -1234 = -2*c + 530. Suppose -2*u = -8*u + c. Suppose -5*o = 5*h - 1015, 4*o + u = -3*h + 757. Does 24 divide h?
False
Let z(f) = 130*f**3 + 9 + 2*f - 131*f**3 + 7*f**2 - 10*f. Is z(4) even?
False
Let z = -26 + 37. Suppose -2*r + 98 + 606 = 0. Suppose 539 + r = z*g. Is g a multiple of 5?
False
Suppose -5*n - 4144 = -4149, v - 4*n = 29295. Is v a multiple of 153?
False
Let v be (-11)/11*20/(-2). Suppose 15 = -5*r, -v*c + 14*c - 873 = 3*r. Is 27 a factor of c?
True
Suppose 16*k - 47333 = 5947. Let l = -36 + k. Does 16 divide (l/81)/(2/6)?
False
Suppose 40*h = 27*h + 94952. Is 83 a factor of h?
True
Let v be (3 - (6 + -7)) + 10/2. Suppose v*h - 608 = 1957. Is h a multiple of 16?
False
Let j(u) = 1126*u - 332. Does 10 divide j(9)?
False
Let w = -23885 - -37479. Is 148 a factor of w?
False
Let s(l) = -1207*l - 2. Let x be s(-1). Let v = x + -2315. Does 5 divide 4/14 + -2 + v/(-35)?
True
Is 16 a factor of (72*24/160)/((-6)/(-5895))?
False
Let z(y) = 5 - 7 - 4 + 90*y - 3*y. Let v be z(2). Suppose 4*q = -3*q + v. Does 12 divide q?
True
Let l be 1/(4/(-12)*3). Let i be (2 - (4 - 1))/l. Let k(r) = 25*r**2 - 4*r + 3. Does 7 divide k(i)?
False
Suppose -11*u + 23 = -109. Suppose -5*l = -3*l + u. Let j(i) = -15*i - 14. Does 50 divide j(l)?
False
Suppose 4*c - 2 = 2*x, -4*x + 4*c = 5*c - 23. Suppose x*u - 2475 = -8*v + 3*v, -4*v = -12. Does 12 divide u?
True
Suppose -66*v = -329507 + 82523 - 219306. Is 54 a factor of v?
False
Let w(d) = 19*d**2 + 3*d + 2. Let x be w(-2). Suppose 4*k - 20 = x. Is 2 a factor of k?
False
Let y(n) = 0 - 6 - 11 - 19*n - 7. Let s be y(-5). Let b = s + -57. Is b a multiple of 13?
False
Let o = -630 + 633. Suppose 2*y + 87*a - 342 = 88*a, -3*y = o*a - 504. Is y a multiple of 10?
True
Let k(h) be the third derivative of 3*h**5/10 + h**4/12 + h**3/6 + 3*h**2. Let o = 410 + -407. Is 13 a factor of k(o)?
True
Suppose -210314 = -24*p + 61966. Does 92 divide p?
False
Let z = -15133 - -20269. Is z a multiple of 6?
True
Does 13 divide 13201 + (225/27 - 7 - 24/(-9))?
False
Suppose -g + 4*q = -2151, -2*q - 13 + 25 = 0. Is 11 a factor of g?
False
Let v = 24 - 20. Suppose 3*w - v*w - 93 = -2*o, 0 = -o + w + 46. Suppose -6*j + 715 = -o. Does 15 divide j?
False
Suppose 4*z - v - 538 = -4*v, 0 = 3*v + 6. Let u = -230 + z. Let d = u + 144. Is 5 a factor of d?
True
Let x = 62 + -59. Suppose -1053 - 892 = -x*b - c, -b + 2*c = -646. Is b a multiple of 12?
True
Let b(c) = -c**2 + 7*c - 11. Let w be b(7). Does 7 divide 1 - 91/(w - -4)?
True
Suppose -13238 = -38*g + 8460. Is g a multiple of 22?
False
Let a(v) = v**3 + 10*v**2 + 15*v - 4. Let w be a(-8). Suppose i + 571 = -n, 3*i + w*n - 2*n = -1716. Does 16 divide (1 - 3)/(28/i)?
False
Let u = -88 - -47. Let g = -92 - u. Let r = 90 - g. Is 47 a factor of r?
True
Let x be (100/15)/(3/9). Let c(v) = v + 1. Let d be c(-1). Suppose d = -5*n - x, -4*g - 5*n + 159 + 129 = 0. Does 12 divide g?
False
Let u(q) = 89*q**2 + 3. Let o be u(2). Let v = o - 161. Suppose -2*x + 4*f - f = -v, -5*x + 495 = -2*f. Is x a multiple of 27?
False
Suppose -512944 = 183*k - 1827982. Is k a multiple of 6?
False
Suppose -3*a = 2*d - 2, -2*d = -3*a - 16 + 2. Is (0 - -2 - -176)*(-1)/a a multiple of 6?
False
Suppose -22*y = -172*y + 617400. Is y a multiple of 49?
True
Let w = -701 + 459. Is 34 a factor of (-57640)/w - 2/11?
True
Suppose 4*p = 4*c - 0*p - 608, 0 = c + 2*p - 155. Suppose -c = -3*y + 126. Is y a multiple of 5?
False
Is 7 a factor of 6346/5 - -6 - -4*(-3)/(-15)?
False
Suppose 38*n = -29*n + 42277. Does 64 divide n?
False
Let m(p) = p**3 + 13*p**2 + 10*p + 9. Let g = 103 + -38. Suppose 5*r + 125 = g. Does 11 divide m(r)?
True
Let v(m) = -30*m**2 - m - 1. Let n(q) = 62*q**2 + 2*q + 3. Let b(l) = 4*n(l) + 9*v(l). Let w be b(4). Let g = -160 - w. Is g a multiple of 10?
False
Suppose 0 = -2*a - 4*s + 23308, -32*a + 11*s - 46643 = -36*a. Does 45 divide a?
False
Suppose -10*k - 20*k = 2*k - 74816. Is 14 a factor of k?
True
Let t be 16*((-20)/8 + 3). Let z(p) = 81*p + 3. Let l be z(t). Suppose 8*d - 669 = l. Is 11 a factor of d?
True
Suppose 4*f = -r + 638, -r + 5*f + 310 + 283 = 0. Suppose -2*z - 5*z = -35. Suppose r = i + z*i. Is 31 a factor of i?
False
Suppose -17*r - 75 = -32*r. Let p(m) = -m**3 + 8*m**2 - 9*m + 5. Let g be p(6). Suppose r*q - 87 = g. Is q a multiple of 5?
False
Suppose -n + 5 + 5 = 0. Suppose 2*c = -2*i - n, 0*i + 2*c = -3*i - 14. Does 4 divide ((-6 - i) + -12)/(-1)?
False
Suppose -3 - 63 = -6*d. Let l(b) = b**3 - 10*b**2 + 5*b - 11. Does 5 divide l(d)?
True
Suppose -4*k = -4*g, 4*g + 3*k - k + 18 = 0. Let u = g + 3. Suppose -b + 64 = -4*y, -4*b - y + 239 = -u*b. Is b a multiple of 5?
True
Suppose -75*w = 4*w - 43529. Is w a multiple of 3?
False
Suppose -7*q - 35*q - 12600 = 0. Let c = 398 + 