 p. Does 19 divide (-2)/(-16) + (-1725)/a?
False
Suppose 120*q - 45*q - 572712 = 54*q. Is 56 a factor of q?
True
Let z be (23 - -6) + (3 - (-1 - -1)). Suppose -v - 6 = -z. Let k = v + -9. Does 3 divide k?
False
Suppose -28*j = -470243 - 22641. Does 81 divide j?
False
Suppose -5*g + 5*j - 83155 = 0, -4*g + 28351 = -j + 94887. Does 85 divide g/(-6)*(-2)/(-5)?
False
Let x = 253 - 498. Let d = 368 + x. Does 24 divide d?
False
Let z(f) = -2*f**3 - 20*f**2 + 2*f - 4. Let a(n) = 2*n**3 - 4 - 3*n**3 + n - 23*n**2 + 3*n**2. Let b(m) = -3*a(m) + 2*z(m). Does 12 divide b(20)?
True
Suppose 133*u - 131*u + 9128 = 0. Is 35 a factor of ((-1)/(-2) - -1)/((-14)/u)?
False
Let w(z) = 68*z + 24. Let c be 0/4 + 3 + 4. Let b be w(c). Does 21 divide (1*b)/5 + (2 - -1)?
False
Suppose -117*j = -157405 + 6556 - 398934. Is 37 a factor of j?
True
Let k(r) = 7*r - 35. Let d be (-50)/(-8) + (-7)/(-4) + -2. Let j(c) = c + 7. Let h be j(d). Does 19 divide k(h)?
False
Suppose 5*h - 6*m = -9*m + 349, -4*h + 266 = -2*m. Suppose 555 = 83*x - h*x. Does 5 divide x?
False
Let n(q) = 2*q**2 + 7*q - 7. Let j be n(-4). Let r be (46/(-10) - j)/((-2)/(-10)). Is ((-3)/4)/(r/(934 + -6)) a multiple of 7?
False
Let c(q) = -q + 12. Let s be c(7). Let i be (-1 + s)*(-527)/(-68). Suppose 5*x - 4*x = i. Does 10 divide x?
False
Let q = 880 + -710. Let s = 64 + q. Does 18 divide s?
True
Suppose 4*g - 10 = 2*v, 2*g - 4*v = -2 - 8. Suppose g*l + 6 = 4*j, 1 = -j + 5. Suppose -2*f - l = -0, -y + 52 = 2*f. Is y a multiple of 18?
True
Suppose -4*p + 5620 = 4*l, 63*p - 68*p + 7009 = l. Does 6 divide p?
False
Let m = -586 + 622. Suppose -3*j = -8*j + 25. Suppose -j*x = -5, -5*g + g - 4*x = -m. Is 4 a factor of g?
True
Let l(a) = a**3 - 13*a**2 + 31*a - 15. Let v be l(11). Suppose -226*f + 232*f - v = 0. Does 2 divide f?
True
Let p(f) = f**2 + f - 4. Let a be p(2). Suppose 3*w = a*w, -3*w - 42 = 2*j. Let s = 43 + j. Is s a multiple of 22?
True
Does 4 divide (-89)/(5 - (-9 - (-9756)/696))?
False
Suppose -2*y + 27862 = -2*p, -3*y - 4*p + 2*p = -41798. Does 108 divide y?
True
Does 55 divide (-22938525)/(-1836) + (-3)/4?
False
Let f = -18972 + 32545. Is 49 a factor of f?
True
Let z(p) = -851*p**2 - 299. Let q(j) = -17*j**2 - 6. Let s(f) = 299*q(f) - 6*z(f). Let l = 932 - 930. Does 13 divide s(l)?
False
Suppose -109 + 149 = 5*q. Does 13 divide (-196)/q*(-260)/7?
True
Does 5 divide 7/2*((-100)/1000 + 1061/10)?
False
Let x = -150 - -152. Let f(l) = 134*l**3 - 3*l**2 + 23*l - 45. Is 24 a factor of f(x)?
False
Is 21 a factor of ((-1)/1)/(16/(-2) + 1433285/179165)?
False
Let t = -528 - -547. Suppose 0 = 4*m - 3*i - t - 74, 2*i - 10 = 0. Is 3 a factor of m?
True
Does 2 divide 1/((-14)/294) + 4089?
True
Suppose -5*i + 392 + 618 = 0. Suppose -2*a + i = 84. Is 7 a factor of (-5)/10 + a/2?
False
Suppose 42*z - 41*z - 5181 = -4*f, 5179 = z + 3*f. Does 9 divide z?
False
Suppose 18*f - 916 = 15*f - 4*k, f - 312 = 2*k. Let w = -123 + f. Does 7 divide w?
False
Suppose 4*o + 444 = 4*j, 2*o = -o + 9. Let i = j - 38. Is 38 a factor of i?
True
Suppose f = 2*f + 253. Let n = f + 774. Is 24 a factor of n?
False
Does 2 divide 104/(-6)*-8*(637 + -619)?
True
Let x(d) = -2*d**3 - 16*d**2 - 14*d + 4. Let z be x(-7). Suppose -z*g = 293 - 1177. Is 8 a factor of g?
False
Suppose -13*g + 3 = -12*g. Suppose g*i + 5*i = 24. Suppose 0 = 5*o - 5*c + i*c - 94, -2*o = -5*c - 25. Is o a multiple of 15?
False
Let a(w) = w**3 + 7*w**2 - w - 5. Let o be a(-7). Suppose -5*r - o*m = -10 - 25, -r - 3*m + 20 = 0. Suppose -r*y + 336 = -y. Is y a multiple of 35?
False
Suppose 0 = t - 3 + 4, -5*t = -4*i + 21. Suppose -4*o - i*g + 7*g + 621 = 0, 4*g = 4. Does 5 divide o?
False
Let q be (-14 + 7 - -10) + (-1 - 0). Does 27 divide 1*q*2275/14?
False
Is ((-5140)/(-3))/((-60)/(-225)) a multiple of 18?
False
Let s = -766 - -487. Let l = -150 - s. Suppose l = 5*h - 661. Is 10 a factor of h?
False
Let d = -38 + 37. Let v be ((-35)/(-15) + d)/((-4)/114). Does 19 divide (((-152)/10)/(-1))/(v/(-95))?
True
Suppose -1 = -3*v + 8. Suppose 3*z = -4*n + 22, -3*z + 4*n = z + 8. Suppose 266 = z*o - u + v*u, o - 2*u = 124. Is 10 a factor of o?
True
Let q = 9224 + -3229. Is 9 a factor of q?
False
Let r(c) be the third derivative of c**6/60 + 3*c**5/20 - 35*c**4/24 + c**3 - 171*c**2. Does 24 divide r(4)?
False
Let p be 2016/80 + 2/(-10) - 4. Suppose -5*o = -2*w + p, -o - 87 = -4*w - 0*w. Does 11 divide w?
False
Suppose 159600 = 69*x - 13*x. Is x a multiple of 38?
True
Suppose -81*f - 228452 = -644630. Is 7 a factor of f?
True
Let v be (((-8)/2)/2)/(42/63). Let i(b) = -b**3 - 2*b**2 + 4*b + 6. Let q be i(v). Suppose -3*a - q = 0, y + a = -3*a + 85. Is 6 a factor of y?
False
Suppose 2*h + 4520 = -22*h + 192776. Is 115 a factor of h?
False
Suppose 90 + 181430 - 19700 = 45*i. Is i a multiple of 62?
True
Suppose 3*i + 2*i - 177 = 2*h, 4*h = 3*i - 109. Let s = 2 + i. Let y = 58 - s. Is 3 a factor of y?
True
Suppose -11*d + 546 = 3*d. Suppose -18657 = -d*n + 11373. Is n a multiple of 22?
True
Suppose -5*l + 660 = -0*l. Suppose 87*j - 9672 = -6*j. Let r = l - j. Is 4 a factor of r?
True
Let h be 776/26 + 44/286. Let o be (8/3)/(5/h). Suppose -47 = -w + o. Does 9 divide w?
True
Let y = 116 - 106. Let i be (-2)/1*5/y*-3. Suppose i*q - 67 = 4*d, 4*q - 4*d + 48 = 136. Is q a multiple of 3?
True
Let c = 1279 + 4936. Does 11 divide c?
True
Suppose 2*g - 2*d + 508 = -2*g, 5*g = 2*d - 636. Let b be 798/8*g/(-48). Suppose 3*n + 14 = b. Is 12 a factor of n?
True
Let r(c) = -4*c + 95. Suppose 20 = -5*k, t - 10 = -0*t + 4*k. Is r(t) a multiple of 67?
False
Let p = -4131 - -1752. Let a = -1077 - p. Is 21 a factor of a?
True
Let z(s) = -153*s - 11. Let b be z(-4). Let x = -316 + b. Suppose 0 = 3*u - x + 90. Is 6 a factor of u?
False
Let d(o) = -o**3 + 7*o**2 - 4*o + 7. Suppose -2*l = -0*l - 74. Let i = l - 32. Is d(i) a multiple of 10?
False
Let n be (55/((-33)/(-3)))/(1 + 0). Suppose 2*i + 122 = 5*i + n*q, 2*i - 123 = 5*q. Is 7 a factor of i?
True
Let c(b) be the first derivative of 13*b**2 + 32*b - 36. Let s be c(5). Let r = s + -11. Is 41 a factor of r?
False
Suppose 261*u + 17070 = 267*u. Is 156 a factor of u?
False
Suppose -290 = 5*r - 110. Is 4 a factor of 428/16 + 27/r?
False
Let d(y) = 7*y + 76. Let w be d(-10). Is 2 + 532/3 + w/(-18) a multiple of 31?
False
Let f(h) = -h**3 + 3*h**2 - 3*h + 9. Let z be f(3). Suppose -7*j + 44 + 1636 = z. Is 60 a factor of j?
True
Suppose -48*u - 332816 = -110*u. Is 6 a factor of u?
False
Suppose 5*h + 3*i - 80 = 8*i, 50 = 3*h - i. Suppose -18*p = -h*p - 48. Let z = 185 - p. Is 11 a factor of z?
False
Let h(a) = -a**3 - 12*a**2 - a - 18. Let j be h(-12). Is 8 a factor of (81 - 32/(-8)) + j?
False
Suppose 5*g - 47621 = -v + 16012, -2*g = 5*v - 25467. Is g a multiple of 21?
True
Let w be (-24)/(-11) - 76/418. Suppose 4*y + 7 = f, 3*f - 28 = -f - 3*y. Suppose -4*l - 440 = -w*t, -10*t + f*t + 639 = l. Is 26 a factor of t?
False
Let n be 52/6 - (-6)/(-9) - -2. Let h be 215/(-25) + (-4)/n. Let w(c) = -43*c - 56. Does 27 divide w(h)?
False
Let h = -69 + 77. Let k be 6/h + (-3)/4. Suppose 2*o = -5*t + 102, k = -2*t - t - 4*o + 64. Is t a multiple of 5?
True
Let o = -767 + 772. Suppose 4170 = 5*t - 4*g + g, o*g = 25. Does 41 divide t?
False
Let r(p) = p**2 + 9*p + 5. Let h be r(-10). Let c(v) be the third derivative of v**5/30 - 5*v**4/6 - 6*v**3 + 2*v**2. Is c(h) a multiple of 6?
True
Suppose 3*m = -3*z - 387, 0 = -z - 3*m - 76 - 59. Let w be (z/(-5))/(-2) - 6/(-10). Does 23 divide ((-162)/w)/(2/20)?
False
Let m(a) = a**3 - 14*a**2 + 15*a - 19. Let d be m(13). Suppose 60 = -12*p + d*p. Is (-236)/(3*8/p) a multiple of 31?
False
Let c be (18 + -20)/((-2)/353). Suppose c*f = 358*f - 175. Is f a multiple of 4?
False
Let c be 2/4 - 656/32. Let y = 29 - -15. Let k = y + c. Does 19 divide k?
False
Let a be (-17562)/57 + 2/19. Let q be (-2)/(-3) - a/33. Is 1*((-354)/15)/((-2)/q) a multiple of 26?
False
Let b = 493 - 497. Is (b/(-5) - (-15)/75)*880 a multiple of 18?
False
Let x = 608 + -425. Suppose -x + 937 = 2*p. Does 13 divide p?
True
Suppose 8*f + 2*h - 28 = 7*f, h - 5 = 0. Suppose 0 = -f*i + 195 + 1803. Is 7 a factor of i?
False
Suppose -13*q - 116558 = -12*q - 27*q. Is 16 a factor of q?
False
Let m be (-1 + (-8)/2)*-1. Suppose 3 = -2*s - m, 0 = -3*z + 4*s + 22. Su