 of n(p). Does 12 divide r(4)?
True
Let d be 12 + (0 - 1*(3 - 3)). Suppose -d*a + 19*a = 7. Is a*(3 - 0) + 2 + 0 a multiple of 2?
False
Let g be 3/6 + (-30)/12 - 8. Let d(l) = 2*l**2 + 17*l + 29. Does 3 divide d(g)?
False
Let g = -10 + 15. Suppose 0 = 2*l - 3*q - 18 - 5, g*q = -3*l + 25. Is 10 a factor of 792/55*l*(-2)/(-6)?
False
Suppose 0 = -16*w + 17574 + 8674 + 51800. Does 18 divide w?
True
Let c(s) = -64*s**2 + s. Let j be c(1). Let a be ((-17 - -11) + 0)*19. Let u = j - a. Is 8 a factor of u?
False
Let s(y) = 690*y**2 + 981*y + 3. Does 21 divide s(-4)?
True
Let x(i) = -i**3 - 30*i**2 - 276*i + 62. Is 9 a factor of x(-27)?
False
Suppose -11*o = -16*o - 1635. Let d = -173 - o. Is 14 a factor of d?
True
Suppose -29*p + 57 = -30. Suppose -2141 - 4899 = -5*a + 5*q, p*a = -2*q + 4224. Is 17 a factor of a?
False
Suppose -4*s = -3*l + 7*l + 12, -2*l = 5*s. Suppose 5*b - 4*o + 7*o = 422, -s*b = -5*o - 175. Let a = b - 60. Is 6 a factor of a?
False
Let o(b) = 11*b**3 - 3*b**2 - b + 3. Let i be o(2). Suppose -26*f = -27*f + i. Is f a multiple of 11?
True
Let x be (-139)/(-3)*5/(-10)*30. Let n = x - -988. Is 13 a factor of n?
False
Let l(n) = -n**2 + n + 1. Let p(g) = -g**2 + 36. Let d(k) = -4*l(k) + p(k). Does 12 divide d(8)?
True
Let g(v) = 3*v + 29. Let s be g(-7). Suppose -p - 3 = -s. Suppose p*o - 144 = -2*x + 87, -3*x - 2*o + 330 = 0. Does 25 divide x?
False
Let o be (1897/813)/((-2)/12). Let z(k) = 26*k - 2 - 12*k**2 - 1 - k**3 + 0. Does 4 divide z(o)?
False
Suppose -t - 22 = -2*g - 2*g, -4*t - 2*g - 34 = 0. Let r = t + 135. Is r a multiple of 11?
False
Let q be 15/(-1 + 4)*1. Suppose -p - 3*p + 41 = -5*f, 0 = -4*p - q*f - 9. Suppose 2*d = -0*d + 2*s + 124, -p*d - 5*s = -275. Is d a multiple of 14?
False
Does 15 divide (33459536/357)/44 + (-132)/63 + 2?
True
Suppose 0 = -5*s + c + 29, -25 = -4*s - 6*c + 5*c. Let r(x) = -4 + 6*x + 2*x**2 - 7 - x + 5. Is 14 a factor of r(s)?
False
Let h = 29 - 75. Let p = -38 - h. Suppose -8 = -2*o + p. Does 8 divide o?
True
Let x(v) = 35*v + 7. Let t be x(-3). Let g = 53 + t. Let w = 123 + g. Does 39 divide w?
True
Suppose -2*s - 5*n - 7 + 2 = 0, 0 = n + 1. Suppose 3*a = -5*t + t + 208, s = -4*a + 2*t + 292. Is a a multiple of 18?
True
Let r(g) = -g + 8. Let v be r(5). Let f(a) = a**3 + 19*a**2 + 68*a - 3. Let s be f(-6). Suppose -3*t = d - v, -2*t + t + s = 5*d. Is 2 a factor of d?
True
Suppose -b - 4*q = 11, -2*b + 5*b + 5*q = -33. Let v(f) = 6*f**2 + f - 33. Let i(p) = -5*p**2 - p + 32. Let t(o) = 7*i(o) + 6*v(o). Is 33 a factor of t(b)?
False
Suppose 0 = -13*c - 4*c + 97410. Does 10 divide c?
True
Let d(i) = 1163*i - 32. Let f(r) = 388*r - 13. Let h(a) = -4*d(a) + 11*f(a). Is h(-3) a multiple of 60?
False
Let s(h) = -8*h**3 + 5*h**2 + 10*h + 1. Let p(t) = t**3 - t**2 + t. Let r(m) = -4*p(m) + s(m). Is r(-3) a multiple of 43?
False
Let a(y) = 4*y**2 + 6*y - 9. Let c be a(-5). Suppose -3600 = -69*s + c*s. Is s a multiple of 30?
True
Suppose 5*w + 2526 = 4*x, w - 1498 - 387 = -3*x. Does 17 divide x?
True
Let r(o) = 154*o - 7143. Is 125 a factor of r(117)?
True
Does 22 divide (-4576920)/(-516) - (25 - -1)?
True
Let x(h) = 4*h**3 - 23*h**2 + 33*h - 48. Is 68 a factor of x(11)?
True
Suppose u + 231 = -p, p - 915 = 4*u + 2*p. Let f = u - -246. Is 3 a factor of f?
True
Let n(k) = 16*k**2 + 4*k**3 - 36*k**2 + 102 - 15*k + 44*k - 5*k**3. Is 12 a factor of n(-22)?
True
Let o be 9/((24/(-4))/(-6)). Suppose o*g + 217 = 1531. Is 23 a factor of g?
False
Let b(f) be the second derivative of 3/4*f**4 - 2*f**2 - 1/20*f**5 + 11*f - 2/3*f**3 + 0. Does 38 divide b(7)?
False
Let h = -57 + 61. Suppose -4*f = -5*b + h*b - 4, 16 = -3*f - 4*b. Suppose -g + 70 - 6 = f. Is g a multiple of 16?
True
Let v(r) = -2*r**3 - 95*r**2 + 36*r - 121. Is 11 a factor of v(-49)?
False
Let w(r) = -336*r + 1. Let c be w(-1). Suppose 16 - 1 = 5*u. Suppose 4*t + o - c = 2*o, -264 = -u*t - 3*o. Is t a multiple of 18?
False
Let i(g) = 3*g**2 - 100*g - 13. Let d be i(14). Let n = d - -2171. Is n a multiple of 41?
False
Let h = -36 + 14. Let s(w) = w**2 + 79. Let z be s(0). Let i = h + z. Is 9 a factor of i?
False
Let g(j) = 12*j**2 - 1040*j - 50. Does 136 divide g(95)?
False
Let l = 1696 + -752. Does 12 divide l?
False
Suppose 0 = 2*t + 4*q, -2*t + 4*t - 3*q = 0. Suppose t*z - 3*z = -d + 8, -5*d + 58 = 3*z. Let l(x) = 5*x + 8. Is l(d) a multiple of 7?
True
Let r(u) = u**3 + 2*u**2 + 2*u + 7. Let a be r(-4). Let v = a + 47. Suppose -v*m + 120 = -13*m. Does 24 divide m?
True
Let x be (192 - (-6)/6) + -5. Let f = x - 170. Does 9 divide f?
True
Let r = 228 + -112. Suppose y - 4*a = 64, r = 2*y - 3*a + a. Is y a multiple of 12?
False
Suppose 3*g - 155 = 2*g - 5*o, -5*g = -4*o - 746. Suppose 592 = 4*s - 0*s - 4*p, 3*p = s - g. Does 24 divide s?
False
Let s(k) = 21*k + 23. Let l be s(-4). Let r = -59 - l. Is 7480/32 + (r - 7/4) a multiple of 20?
False
Suppose 0 = -274*i + 262*i + 72. Suppose -i*s = -5*d - 3*s + 1425, -5*s - 871 = -3*d. Is 47 a factor of d?
True
Let i be (-10 - -7)/((-9)/4920*2). Let y = -215 + i. Is 23 a factor of y?
False
Is -204*(-25 - -16)/(6/92) a multiple of 207?
True
Suppose -8 - 16 = -6*h. Suppose h*y + 3*y = 35. Suppose 756 = y*p - 144. Is p a multiple of 36?
True
Suppose 0*u - 3*u = -2*u. Suppose -6*f + 11*f - 1360 = u. Suppose 0*q - 4*q + f = 0. Does 11 divide q?
False
Let z = 172 - 35. Suppose 4*t + j + 443 = 146, -2*t - 143 = -5*j. Let i = t + z. Is 13 a factor of i?
False
Let t = -39 + 25. Let m be (21/t)/((-3)/(-68)). Let z = m - -81. Is z a multiple of 23?
False
Let s = 26001 - 15081. Is s a multiple of 10?
True
Suppose -5*y - 2 = 4*s - 3, 5*s + 3*y - 11 = 0. Let b be 0 + 843/s + (-4)/(-16). Suppose -237 = -7*z + b. Is 8 a factor of z?
True
Let a = -138 + 220. Let g = a - 17. Does 5 divide g?
True
Let b be (14/4)/(7 + 13/(-2)). Suppose 317 = 4*r - n, b*r + 5*n = 4*r + 232. Is r a multiple of 79?
True
Let d be 1/10*-8*-1390. Suppose 5*n + d = 4*q, 2*q + 0*q = -3*n + 534. Does 17 divide q?
False
Suppose 2*j = 3*k + 4215, 3*j + 0*k + 3*k = 6345. Is j a multiple of 64?
True
Let d = 70 + -70. Let h be (-5 + 8)/(-3) - (-1 - d). Suppose -q + 283 = -n + 4*n, h = -2*q + 8. Does 23 divide n?
False
Suppose -4*h + 3*o + 541 = 0, -4*h - 122 = -o - 673. Let p = -113 + h. Does 3 divide p?
False
Let h(g) = g**3 - 25*g**2 + 24*g + 5. Let k be h(24). Suppose -k*t + 1116 = 4*y, -2*y - 572 = -4*y + t. Does 26 divide y?
False
Suppose -45*u = -2*z - 47*u + 178, -z + 117 = -6*u. Is 2 a factor of z?
False
Let f(a) = -2*a - 23. Let v be f(-19). Does 54 divide 805/v + 8/24?
True
Let w = 2039 + -759. Does 10 divide w?
True
Let g(w) = w**3 + w**2 + 5*w + 2. Let v be g(-3). Let h = -28 - v. Suppose 2*c - 6*b = -h*b + 49, 0 = -c + 5*b + 21. Does 13 divide c?
True
Suppose -43927 = -2*s - 5*r, r + 43969 = -22*s + 24*s. Does 7 divide s?
False
Suppose -100*g + 109488 + 173933 = 67221. Does 14 divide g?
False
Let f be ((-298)/1)/((-2)/3). Suppose 4*w + f = 5*w. Suppose 3*q - w = 153. Does 20 divide q?
True
Suppose -2*r - 67 = -5*a - 1, -5*r - 75 = -5*a. Suppose 8*s - a*s = -40. Let n = 53 - s. Does 13 divide n?
False
Let d(q) = -q**2 - 20*q + 73. Let s be d(3). Suppose -5*o - 1 = -6. Is 7 a factor of (1 + s - -33)/o?
False
Let a(p) = 13 + p - p**2 - 36*p - 42 - 38. Does 3 divide a(-31)?
True
Suppose -1434 = 9*z - 3*z. Let x = 342 + z. Does 11 divide x?
False
Let g(t) = 3*t**3 - 19*t**2 - 5*t - 25. Let v(m) = m**3 - 2*m**2 - m. Let j(r) = -g(r) + 2*v(r). Is j(15) a multiple of 10?
True
Let o(m) = m**2 - 47*m + 282. Is o(63) a multiple of 215?
True
Suppose -4*j = -1141 - 22763. Suppose j = 14*q - 1304. Does 20 divide q?
True
Let c(q) = q**3 - 35*q**2 + 18*q - 74. Let b be c(36). Suppose 5*p = 5*v - b, p - 1110 = -16*v + 13*v. Is v a multiple of 7?
True
Suppose 5*b - 417 = -2*r, 821*b + 3*r = 820*b + 86. Let l = -33 + 58. Let d = b - l. Is 13 a factor of d?
False
Let n(a) be the second derivative of -32*a**3/3 - 25*a**2 + 3*a - 50. Does 7 divide n(-8)?
True
Let v(t) = 3*t - 24. Let j be v(10). Suppose -136 - 452 = -j*u. Is u a multiple of 30?
False
Let v(z) = z**2 - z. Suppose 1 = d - 1. Suppose -d*b = 6*b - 72. Does 24 divide v(b)?
True
Does 24 divide (-3)/8 - (-4239840)/1280?
True
Let v = 24 + -22. Suppose -8*f = -26 + v. Suppose 4*x + f*i - 159 = 0, 14 + 65 =