01. Is 76 a factor of p?
True
Let x(h) = 5*h + 32. Let z be x(-7). Is 2 a factor of (62*z)/(-6) - 4?
False
Suppose 14*n - 4035 - 5723 = 0. Does 41 divide n?
True
Let q be (-6)/4*8/(-12)*1. Is (136/(-20))/(q/(-20)) a multiple of 34?
True
Let b = -37 - -39. Suppose 66 = 8*j - b*j. Does 3 divide j?
False
Let x be 2668/18 - (-6)/(-27). Suppose -m + 0*w = -2*w - x, -4*w + 640 = 4*m. Is 52 a factor of m?
True
Is 36 a factor of (464/145)/(2/135)?
True
Suppose -8*y + 13*y = -3*o + 4526, -3*y = -3*o + 4518. Is o a multiple of 72?
False
Let a = 1424 - 1116. Does 20 divide a?
False
Let z(v) = v**3 + 10*v**2 - 10*v + 8. Let r be z(-11). Let m(b) = b**3 + 4*b**2 - 4*b + 3. Let q be m(r). Does 6 divide (q/(-4))/((-3)/16)?
False
Does 48 divide -85 + 86 - ((1 - 48) + 0)?
True
Let f = 154 + 222. Is f a multiple of 47?
True
Let n be (148/(-4)*-1 - -3)/(-1). Let t = n - -54. Does 11 divide t?
False
Suppose -2*j + 6*j - 287 = 5*p, -4*p + 124 = 2*j. Is j a multiple of 14?
False
Let i = 374 + -257. Is 39 a factor of i?
True
Suppose -2936 = -13*p - 219. Is 11 a factor of p?
True
Suppose 47 + 64 = 3*y. Does 3 divide (-5)/15 + y/3?
True
Let r = -4 + 9. Let f(p) = -r*p + 4*p + 2*p**2 + 2*p - 1 - 4. Does 23 divide f(-4)?
True
Let x = 3524 - 1613. Is x a multiple of 39?
True
Suppose -3*g + 12 = 3*r, 4*g - 4 - 12 = r. Suppose t + r*t - 105 = 0. Suppose 139 = 4*i - t. Does 26 divide i?
False
Let y = 21 + -15. Suppose y*d - 2*d = 0. Suppose d = -0*r - 6*r + 132. Does 15 divide r?
False
Suppose 0 = -216*u + 214*u + 556. Is u a multiple of 17?
False
Let q(l) = -l**3 + 16*l**2 + 22*l + 13. Is 14 a factor of q(17)?
True
Is (-5 - (2 + 0/5))*-62 a multiple of 61?
False
Let w(b) = -b**3 - 6*b**2 - 7*b - 5. Let s be (-28)/6 + (-11)/33. Let n be w(s). Suppose -n*a + a = -24. Does 3 divide a?
True
Suppose j + 563 = 2*q, -3*j = 2*q - 157 - 426. Does 16 divide q?
False
Suppose -2*l + 368 = -3*n, l + 2*l - 4*n - 552 = 0. Let t = 60 + -56. Suppose t*z - 46 - 82 = -4*a, a = 5*z - l. Is z a multiple of 12?
True
Let g(r) = -11*r - 196. Is g(-19) a multiple of 13?
True
Suppose -8 = 7*z - 11*z. Suppose 0*r - 4*r = 2*b - 48, -z*r + b = -28. Does 9 divide r?
False
Suppose 3*a - 5*g - 282 = 0, 9*a - 6*a + 2*g - 261 = 0. Is 5 a factor of a?
False
Suppose 2*u + 5*o - 36 - 4 = 0, -o - 154 = -5*u. Suppose k = 4*a + u, -k = a + 2*a - 16. Does 17 divide k?
False
Suppose -r = r - 24. Let a be (-550)/(-8) - (-3)/r. Let c = a + -27. Is 16 a factor of c?
False
Let i(g) be the second derivative of g**4/4 + 7*g**3/6 + 5*g**2 - g. Let p be i(-4). Let y = 99 - p. Is 18 a factor of y?
False
Let s(v) be the second derivative of -v**5/15 - 5*v**4/12 + v**3/3 - 8*v. Let u(a) be the second derivative of s(a). Does 7 divide u(-3)?
True
Let g(q) = q + 59. Is g(-28) a multiple of 23?
False
Let r(d) = 3*d**2 - 9*d - 2. Let j(b) = 7*b**2 - 18*b - 4. Let v(x) = 2*j(x) - 5*r(x). Let i be v(9). Is (-3 - -1)/(i/(-9)) a multiple of 2?
False
Let m(b) = b**3 + 15*b**2 - 10*b - 8. Let r(f) = f**3 + 16*f**2 - 9*f - 7. Let x(t) = -4*m(t) + 3*r(t). Does 4 divide x(-13)?
False
Is (-16092)/(-45) - (56/(-20))/7 a multiple of 2?
True
Let h be ((-2)/7)/(8/(-56)). Let v(y) = 97*y - 8. Let f(s) = -32*s + 3. Let p(n) = -7*f(n) - 2*v(n). Is 15 a factor of p(h)?
False
Suppose 0 = 5*k - 0*k - 15. Suppose 0*c + c + 64 = k*q, -5*q + 104 = c. Is 21 a factor of q?
True
Let w be (0 + -5)*(5 + -6). Suppose -r = 2*r + w*p - 39, r - 13 = -p. Does 2 divide r?
False
Suppose 4*m = 5*m + 3. Let c be (m + 8/1)*1. Suppose -5*f = -5*k - 105, 3*k = 4*k - c. Is 13 a factor of f?
True
Let x = 325 + 728. Is x a multiple of 27?
True
Let r(p) = p**3 - 7*p**2 + 3*p - 12. Let t be r(8). Suppose -o + 5*o = t. Suppose 0 = h - 3*l - o, -3*h = h - 2*l - 56. Is 4 a factor of h?
False
Let j(a) = a**2 + 9*a. Suppose 44 = -4*n - 2*p, 5 = -n - 3*p + 4. Is j(n) a multiple of 3?
False
Let v(q) = 2*q**2 - 2*q - 4. Let b be v(4). Let n = b + -15. Does 23 divide n/((-10)/(-92))*2?
True
Let v(m) = 3*m**2 + 2*m + 2. Let k be v(-3). Suppose 0 = 2*b - 203 + k. Is 18 a factor of b?
True
Let q(g) be the second derivative of 27*g**5/20 - g**4/6 + g**3/3 - g**2/2 + 17*g. Let f(x) = -x - 6. Let p be f(-7). Is q(p) a multiple of 26?
True
Let w(j) = 13*j**2 - 15*j + 100. Is w(9) a multiple of 25?
False
Suppose -40*z + 378014 = 27*z. Is 26 a factor of z?
True
Suppose j + 0*j = 8. Let b = 10 - j. Is (3/b)/(12/784) a multiple of 27?
False
Let g = 9 + -7. Suppose -2*m + 5 = -z - 7, 12 = -g*z - 2*m. Let o = z + 24. Is o a multiple of 8?
True
Let w be 2/5 - 12/30. Let a(d) = -d + 3. Let p be a(w). Suppose -2*b + 2*u = b - 50, 4*u + 58 = p*b. Does 3 divide b?
False
Suppose -3*q - 4 = -19. Suppose -4*c - c = -d - 132, q*d = -5*c + 120. Is 13 a factor of c?
True
Let q(r) = 3*r**2 - 78*r + 18. Is 9 a factor of q(29)?
True
Let p = 33 - 20. Let h = p - 11. Suppose 28 = -0*b + h*b. Is b a multiple of 3?
False
Let z be (-128)/(-7) - (-16)/(-56). Let t be (-4)/z - 470/(-90). Suppose 0*v = 5*v + t*y - 105, 0 = 5*v + 4*y - 100. Is v a multiple of 14?
False
Let v(d) = d + 170. Is 17 a factor of v(0)?
True
Let b be (-46)/(-14) + (-6)/21. Suppose -b*f = 4*t - 13, -2*f = t - 2*t + 6. Let x = t + 10. Is x a multiple of 14?
True
Suppose -112 = -4*m + 4*a, 10*m - 13*m - 5*a = -52. Is m a multiple of 17?
False
Let o(q) = 10*q**3 + 5*q**2 - 2*q + 4. Is 37 a factor of o(5)?
True
Let u be 1*180/(-2 - 1). Does 3 divide 365/75 + (-8)/u?
False
Is ((-915)/(-10))/(((-63)/24)/(-7)) a multiple of 34?
False
Suppose 0 - 5 = -o + 2*v, o - 7 = 4*v. Suppose -o*i = 2*i. Let l = 38 + i. Does 19 divide l?
True
Is 17 a factor of 359 - -2 - (-20)/(-8 + 3)?
True
Let y(l) = 5*l - 4*l + 3*l - 5 - l. Does 6 divide y(11)?
False
Let n be (42/49)/(2/7). Suppose -5*k + n*k = -48. Does 6 divide k?
True
Let z(b) = 6*b**2 + 6*b + 9. Let y(h) = 7*h**2 + 6*h + 10. Let s(a) = -4*y(a) + 5*z(a). Does 20 divide s(-8)?
False
Does 20 divide (-360)/(-16)*-3*16/(-6)?
True
Let x(d) = -d - 2. Let o be x(-1). Let w(n) = -72*n**3 - n**2 - 3*n - 2. Is 24 a factor of w(o)?
True
Let v(t) = t**3 - 18*t**2 + 3*t - 2. Let k(r) = -r**3 + 10*r**2 + 13*r - 4. Let s be k(11). Is 3 a factor of v(s)?
False
Suppose -2 + 6 = -2*s. Let f be 189 + -3 + (2 - s). Suppose 50 = 5*l - f. Is l a multiple of 16?
True
Let s = 41 - -67. Is s a multiple of 8?
False
Let u(r) = -r**3 + 2*r**2 - 5. Let s be u(-4). Suppose 0 = 4*q - 363 + s. Suppose -6*v = -2*v - q. Is 7 a factor of v?
False
Let v be ((-4)/(-6))/(8/(-48)). Let r be v/(-24)*-3*-6. Suppose r*y + 4*y - 420 = 0. Does 15 divide y?
True
Let s = 196 - 139. Let i = -21 + s. Is i a multiple of 18?
True
Let a(m) = 4*m**2 - 2*m + 5. Let b(g) = 9*g**2 - 4*g + 11. Let c(i) = -5*a(i) + 2*b(i). Let j be c(2). Let t = 15 + j. Is 3 a factor of t?
False
Let k(h) = -4*h - 5. Let p be k(-8). Let i = p - -126. Is i a multiple of 37?
False
Let f = 4453 - 2707. Is 18 a factor of f?
True
Let n = 58 + -34. Suppose -7*l + n + 116 = 0. Does 6 divide l?
False
Let y be (7/(-7))/(1/(-3)). Suppose -y = -l - 2. Let j(c) = 28*c**2 + 2*c - 2. Is 7 a factor of j(l)?
True
Let o be (-10)/(-25) + (-2)/5. Suppose x + 0*x - 27 = o. Is 27 a factor of x?
True
Let c(n) = -5 + 2 - 4*n - 6*n - n. Let y be c(-3). Suppose -2*d + y = -k + 5*k, -k - 2 = 0. Does 9 divide d?
False
Suppose -10*w + 7810 = -110. Does 44 divide w?
True
Let y(n) = n**3 + 8*n**2 + 5*n - 6. Suppose -x = -2*x - 3*o + 12, -2*x = 5*o - 19. Does 8 divide y(x)?
True
Is (7/(-2))/(29/(-11832)) a multiple of 12?
True
Let x(f) = f**3 + 57*f**2 + 40*f + 144. Is 20 a factor of x(-56)?
True
Let f(y) = y**3 - 10*y**2 - 9*y - 5. Let t be f(11). Let m = 22 - t. Suppose 7 - 132 = -m*g. Is 16 a factor of g?
False
Let o = -1218 - -1638. Does 30 divide o?
True
Let x(s) = -s**3 + 5*s**2 - 4*s + 3. Let y be x(3). Let u be ((-3)/y)/(2/(-12)). Suppose 0 = 5*o + v - 59, 6 = u*o - 0*v - 4*v. Is 11 a factor of o?
True
Let x = 14 - 8. Suppose -2*m + x*m + 8 = 0. Is 163/2 - (-1)/m a multiple of 14?
False
Let u(t) = t**2 + 5*t - 8. Let c be u(2). Is 6*((-2)/(-4) - (-23)/c) a multiple of 15?
False
Suppose -g - 715 + 4684 = 0. Does 27 divide g?
True
Let j be ((-50)/(-15))/((-2)/(-21)). Let d be 218/14 - 20/j. Is (-35)/(-2)*48/d a multiple of 13?
False
Let s be (7 + -4)/((-6)/(-4)). Suppose -s*g + 116 = -64. Is g a mul