 4*p + 646. Is 7 a factor of b/(-4)*(-4)/6?
True
Let z = -8 - 0. Let t = z + 23. Let h = t + -2. Is 12 a factor of h?
False
Let p = 1277 - 737. Is p a multiple of 18?
True
Suppose -j - 3*x = -727, -x = 4*j - 5*x - 2988. Is j a multiple of 33?
False
Let d be (180/24)/(6/8). Is (d/(-6))/((-11)/231) a multiple of 7?
True
Let v(h) = -h**3 - 5*h + 4. Let y be v(3). Let q = y + 57. Is q a multiple of 5?
False
Is 19 a factor of (-2)/(-1) + 65 + 541?
True
Let m = 138 + -132. Let c = m + 90. Does 24 divide c?
True
Let t = 1099 - 524. Does 16 divide t?
False
Does 56 divide (-32 + 8)*-48 + -4?
False
Let m = -47 + 114. Let i = m - 124. Is 8 a factor of (-3 + 4)/((-3)/i)?
False
Let c(p) = 5*p**3 + p**2 - 2*p + 2. Let g be c(1). Suppose -g*o + 213 + 147 = 0. Does 4 divide o?
True
Suppose -5*o - 719 + 3689 = 0. Does 22 divide o?
True
Suppose 104*j - 102*j = 670. Does 50 divide j?
False
Let k be ((-42)/(-9) + -2*2)*3. Suppose 0 = 4*t - 3*t + 4*j - 76, -358 = -5*t + k*j. Does 18 divide t?
True
Let q(s) = s**3 - 7*s**2 - 3*s - 3. Let h be q(8). Let g = -23 + h. Does 14 divide g?
True
Suppose -2*n - 7 - 5 = 4*g, 4*g + n + 16 = 0. Let m(w) be the first derivative of -w**2 + 6*w + 1. Does 8 divide m(g)?
True
Let k(a) = 2*a**2 - 34*a + 144. Is 8 a factor of k(24)?
True
Suppose -4*l + 78 = b, -5*b + 4*b + 80 = 5*l. Suppose -5*k = -6*k + b. Does 19 divide k?
False
Suppose -5*x = -3*v - 32, -2*v = -3*x + 7 + 15. Let y(g) = 6*g - 7. Let u be y(6). Let t = u + v. Does 5 divide t?
True
Let s(x) = -x**2 - 15*x - 12. Let j be s(-14). Suppose -4*y + 90 = j*d, 0*y + 2*d = 4*y - 110. Does 25 divide y?
True
Suppose 3*l - 1613 = -4*h, 2*l - 945 = -3*h + 266. Is 7 a factor of h?
False
Let n(r) = -6 - r**2 + 15*r + r - 11 - 13. Is n(13) a multiple of 3?
True
Suppose 5*o + 666 = -4*k + 2236, 0 = 2*o + 3*k - 621. Does 30 divide o?
False
Let i be 172/(-6) + ((-2)/(-3) - 0). Let a be 62/3*(-3)/1. Let n = i - a. Is n a multiple of 30?
False
Let o(i) = -i**3 - 7*i**2 + i + 19. Let s be o(-7). Let w = s - -25. Does 18 divide w?
False
Let t = -18 + 30. Let w be -1 - -3 - t/(-4). Suppose 2*l + w = 3*a + 3, 3*a - l = 7. Is a a multiple of 4?
True
Let s(r) = r**2 + 8*r - 7. Let n be s(-9). Let k(j) = 7*j - n*j**2 - j**2 + 8*j**2. Does 13 divide k(-4)?
True
Let n = -41 - -746. Is n a multiple of 47?
True
Let l = -21 + 13. Let i be ((-690)/9)/(l/12). Suppose i = 3*k + 5*z, -2*z - 136 = -0*k - 4*k. Does 8 divide k?
False
Let j = 13757 - 9782. Does 15 divide j?
True
Suppose -10*w = 17*w - 7533. Is 13 a factor of w?
False
Let q be (-13)/((-39)/666) - -3. Suppose -89*u + 90*u - q = 0. Is u a multiple of 45?
True
Let w = 611 - 343. Is 4 a factor of w?
True
Suppose -4*q = y - 89 - 563, -y - 815 = -5*q. Is 3 a factor of q?
False
Let y = 90 + -65. Is y a multiple of 4?
False
Suppose -4*s + 5 - 28 = k, 79 = -2*k + 3*s. Is 11 a factor of 10/k - 156/(-7)?
True
Let n(p) = -12*p + 3. Let j be n(-5). Let d = j - 2. Suppose -5*f = -326 + d. Is 20 a factor of f?
False
Suppose 240 = 19*b - 7*b. Does 15 divide b?
False
Suppose -434*c = -432*c - 252. Is c a multiple of 13?
False
Let w = 50 + 10. Let c = -94 + w. Let m = -4 - c. Is 5 a factor of m?
True
Is 30 a factor of 25/250 + 2399*(-2)/(-20)?
True
Let z(k) = 14*k**2 - 2*k + 1. Let t be z(-2). Let y be -1 + 5 - (0 + t). Does 11 divide (1 - (y + -1)) + -4?
True
Let p = -32 - -16. Let x = 19 + p. Suppose x*a - 3*o = -o + 11, -3*a = -4*o - 7. Is a even?
False
Let f(g) = -g**3 + 9*g**2 + 3*g - 14. Suppose 3*u + 18 = 3*q, -5*u - 19 = -3*q - 3*u. Is 15 a factor of f(q)?
True
Suppose d + 732 = 4*d. Suppose 2*s + 76 = d. Is 12 a factor of s?
True
Is 37 a factor of (-2548)/(-6) + (3 - (-55)/(-15))?
False
Let b = 3313 + -1985. Is 7 a factor of b?
False
Suppose -532 - 910 = -7*a. Does 8 divide a?
False
Suppose 2*a - 55 = 4*a + l, -3*a = 5*l + 79. Is (-972)/a + -4 + (-6)/(-21) a multiple of 31?
True
Let n(m) = -m**3 + 8*m**2 - 2*m - 9. Let b be n(7). Suppose -2*r = b + 56. Let v = r - -73. Is 16 a factor of v?
True
Suppose -2*y + 3*c + 15 = -2, -2*y + 5*c + 23 = 0. Is y a multiple of 2?
True
Suppose 3*t = 4 - 10. Let d(m) = -20*m**3 - 3*m - 2. Let p be d(t). Let o = -114 + p. Does 10 divide o?
True
Let g(v) = -19*v**3 + 2*v**2 + 2. Let c be g(-2). Suppose c = 3*y + 6*y. Is 5 a factor of y?
False
Let t(c) = -c + 8. Let a be t(3). Suppose -a*l + 20 + 166 = -3*w, 5*w = -10. Does 16 divide l?
False
Suppose 3*z + 8*g - 503 = 12*g, 343 = 2*z + 5*g. Does 6 divide z?
False
Suppose 0*q = 4*q - o - 4, -4*q - 4*o = 16. Suppose q = -u + 5 + 75. Is u a multiple of 17?
False
Let s = -26 - -46. Suppose 47 = w - s. Is w a multiple of 9?
False
Let c be (27/(-12))/((-12)/32). Suppose -4*x = -c*x + 88. Does 13 divide x?
False
Let o(h) = h**3 + 4*h**2 + h + 4. Suppose 0 = u + 3 + 1. Let n be o(u). Suppose 2*s - 153 + 51 = n. Is s a multiple of 17?
True
Let q(v) = -v**2 - 6*v + 120. Is 8 a factor of q(-12)?
True
Is 27 a factor of (-12)/6 + -5 + -2 + 1359?
True
Let c(q) = -211*q + 40. Is c(-20) a multiple of 30?
True
Is -2 - (0/3 - -3) - -1353 a multiple of 79?
False
Suppose 0 = 2*o - 4, -5*y + 5*o + 7 = 17. Suppose 0*j + 4*j + z + 25 = 0, y = 4*j + 4*z + 16. Is (-51)/j - (-2)/(-7) a multiple of 7?
True
Let z = 3960 - 2010. Does 78 divide z?
True
Let a(t) = -t + 19. Let j be a(-5). Suppose -4*f + 3*x + j = -x, 26 = 2*f + 5*x. Is f a multiple of 6?
False
Let t(z) be the first derivative of -3*z**2 - 4*z - 9. Let n = -11 - -5. Does 15 divide t(n)?
False
Let i(z) = 2*z + 6. Let l be i(-4). Let u be 5*l*(4 + 2). Let y = -24 - u. Is 12 a factor of y?
True
Let p be (-2)/(-3) + 16/(-24). Let q be 1*10*(-50)/(-4). Suppose p*i + q = 5*i. Is i a multiple of 16?
False
Suppose -2*j + 37 = l + 4*l, -2*j = 2*l - 10. Let x be 4/6 - (4/6 - 1). Let u = l + x. Is 10 a factor of u?
True
Let a(b) = -11*b - 19. Let j be a(-26). Suppose 5*c + 5*s = -8 - 12, 0 = -5*c + 2*s + 15. Is (-2)/c + j/3 a multiple of 29?
True
Let f = -60 - -124. Is 4 a factor of f/(-16)*-4*1?
True
Suppose -5*g + 1846 = 3*m, 2*g = -5*m + 124 + 2978. Suppose 492 = -4*q + 2*s - s, -3*s = -5*q - m. Let r = -74 - q. Is r a multiple of 20?
False
Suppose 7*s + 112 = 14*s. Let r(v) = v**2 - 6*v - 1. Is 19 a factor of r(s)?
False
Suppose 15*s + 62 = 3167. Is 23 a factor of s?
True
Let x(t) be the first derivative of t**3/3 + t**2/2 - 17*t - 8. Is 18 a factor of x(-8)?
False
Let f be ((-2)/(-4))/(6/228). Let k = f - 15. Suppose j + 196 = 5*d, -d - k*j + 43 = -8*j. Is 33 a factor of d?
False
Suppose 0 = 6*i + i - 14. Does 18 divide (i/4)/((-4)/(-240))?
False
Let t(k) = 2*k**2 - 22*k + 34. Let a be t(14). Suppose g - a = 11. Is g a multiple of 43?
True
Suppose -3*t + 404 = 2*m, -3*t - t = 5*m - 996. Is 22 a factor of m?
False
Is (-6567)/(-9) - (-13)/(351/(-18)) a multiple of 27?
True
Does 21 divide (-9)/(-18)*(2491 - -1)?
False
Let d = 423 - 336. Does 50 divide d?
False
Let r(f) = 2*f - 15. Let m be r(9). Suppose -s + 595 = 3*z + 4*s, -4*z + 832 = -m*s. Is z a multiple of 41?
True
Let k(f) be the third derivative of f**6/360 + f**5/30 + 2*f**4/3 - 7*f**3/6 + 7*f**2. Let l(z) be the first derivative of k(z). Is l(-11) a multiple of 26?
False
Let g(x) = -x**2 - 16*x - 7. Let t be (-6)/4*130/15. Is 10 a factor of g(t)?
False
Let r(l) = -l**3 + 11*l**2 - 5*l - 16. Let c be r(8). Let g = c + -84. Does 13 divide g?
True
Suppose 2*w + 4*c = -0*c + 80, -3*w - 5*c + 119 = 0. Is w a multiple of 17?
False
Suppose 9*r = -8*r + 34. Does 13 divide ((-4)/r)/(22/(-2717))?
True
Suppose 75*n = -9177 + 136752. Does 81 divide n?
True
Suppose 4424 = -11*j + 18636. Is 34 a factor of j?
True
Suppose -3*o - 190 = s, 4*s + 542 = -4*o - 186. Let c = s + 279. Is 14 a factor of c?
False
Let j(n) = -n**2 - 16*n + 17. Does 12 divide j(-8)?
False
Suppose 0 = -3*k - 0 + 48. Is 57 a factor of (-24)/k - (-234)/4?
True
Let w be 104/6*12/8. Suppose -4*i - w = d - 1, i = -4*d - 55. Let l = 91 + d. Is 23 a factor of l?
False
Is 13 a factor of (1995/(-6))/((-90)/72)?
False
Is 6/(-4)*(8 + 0 + -578) a multiple of 19?
True
Let l = 4 + 5. Let t(f) be the third derivative of f**6/120 - 3*f**5/20 + f**4/24 + 11*f**3/6 + 5*f**2. Is 4 a factor of t(l)?
True
Suppose -54*j = -49*j - 760. Is 9 a factor of j?
False
Let t = 11 + -3. Suppose -2*w = 2*w - t. Suppose 2*k - 3*q - 219 = -w*k, 3*k + 5*q 