2?
True
Suppose 42*p = 47*p - 75. Does 4 divide p?
False
Let w = -256 + 308. Is w a multiple of 13?
True
Let r(d) = -41*d + 3. Let x be r(-3). Suppose 0 = 21*o - 23*o + x. Is o a multiple of 7?
True
Suppose -2*p + 5 + 1 = 0. Suppose -11 = -p*z - 2. Suppose 0 = -z*v + 95 + 28. Is 18 a factor of v?
False
Let z(t) = t**2 + 15*t + 74. Is z(-10) a multiple of 24?
True
Suppose 4*i + p = 8*i + 11, 4*p - 8 = -2*i. Let a be ((-1)/i)/((-1)/(-10)). Suppose 4*h + 2*t - t = 56, a*h = -3*t + 63. Is 2 a factor of h?
False
Suppose 5*x + 26 = 4*o - 14, -16 = 4*x. Let j(f) = 5*f**2 + 7*f + 2. Is 18 a factor of j(o)?
True
Let o be 219*(-3)/(-18)*-2. Let s = o + 121. Does 24 divide s?
True
Let c(q) = q**2 + 3*q - 8. Let m be c(-6). Let i(w) be the first derivative of -w**4/4 + 10*w**3/3 + 3*w**2 - 5*w + 180. Does 11 divide i(m)?
True
Is (6 - (-600)/(-16))*-14 a multiple of 26?
False
Suppose -1232 = -23*c + c. Does 28 divide c?
True
Suppose 2*d = -d + 189. Let s = -28 + d. Suppose 2*l - 5*h - 120 = s, 0 = l + 5*h - 100. Is 19 a factor of l?
False
Does 12 divide (-226)/(-19) - 12 - 65210/(-19)?
True
Let r = -25 - -28. Let t(g) = 39*g**2 + g. Let z be t(1). Suppose -b = -2*o + r*o - z, 2*b + o - 84 = 0. Does 18 divide b?
False
Let y(a) be the third derivative of -a**6/360 - a**5/12 + a**4/3 + 8*a**2. Let q(b) be the second derivative of y(b). Is 2 a factor of q(-10)?
True
Let b(y) = -4*y + 9. Let i be b(16). Let o = i - -98. Is 8 a factor of o?
False
Let v be (-11 - -12)/(-2 - 6/(-4)). Does 20 divide (-5 - 932/(-8)) + (-3)/v?
False
Suppose -3*y = -4*f + 5*f - 233, 5*f - y - 1165 = 0. Let j = f - 123. Is 10 a factor of j?
True
Suppose 5*a = -z + 505, 47*a + 92 = 48*a + 2*z. Is 3 a factor of a?
True
Suppose 29*a = 43*a - 518. Is a a multiple of 9?
False
Let q(g) = 3*g + 40. Let i be q(-12). Suppose 0 = -i*v + 182 - 22. Does 4 divide v?
True
Let u be 164/14 - (-6)/21. Let f = -10 + u. Suppose 3*g = 2*p - 75, f*p = -3*g + g + 70. Is p a multiple of 18?
True
Let c be (1/(-1))/((-6)/24). Suppose -5 + 88 = 3*x - 5*l, c*x - 129 = 3*l. Is 4 a factor of x?
True
Let p be (1 - -2)*1*-1 - -1. Is 14 a factor of (-2)/1*-14 + p?
False
Suppose -25 = 6*v - 11*v. Suppose 2*s - 127 = s - x, -v*x + 15 = 0. Is s a multiple of 35?
False
Let u(y) = y**3 - 8*y**2 + 7*y + 12. Let x be u(7). Let n be 16/6*6*x. Does 20 divide 3*(-9)/((-81)/n)?
False
Suppose -45*q + 43954 + 24896 = 0. Does 83 divide q?
False
Suppose -2*a + 0*a = -6. Let b(i) = 6*i - a*i**2 + 0*i + 4*i**2 + 8 + 2. Is 11 a factor of b(-9)?
False
Let u(f) be the second derivative of -f**3/2 + 3*f**2/2 - 2*f. Is 21 a factor of u(-6)?
True
Suppose n = 3 + 2. Suppose -343 = -n*l - 5*i + 167, 4*l - 436 = 3*i. Does 27 divide l?
False
Let z(d) = 1 - d**2 - 7*d**3 - 4*d - 4*d**3 - 3*d**3 + 5*d. Let c(l) = l**3 - 7*l**2 - l + 6. Let j be c(7). Does 13 divide z(j)?
True
Let h(a) = -a**3 + 26*a**2 + 48*a - 430. Does 32 divide h(23)?
False
Is 35 a factor of 132685/91 + (-11)/143?
False
Suppose -2*l + 1070 = -5*r, 2690 = 35*l - 30*l - 5*r. Is 54 a factor of l?
True
Let l(r) = 3*r - 1. Let x be -4 - 0/3 - -11. Is 6 a factor of l(x)?
False
Let n(i) = -2*i**2 + 10*i - 23. Let f be n(9). Let x = 163 + f. Does 7 divide x?
False
Let j(v) = -3*v - 3. Let p be j(-3). Suppose -5*r + 7 = -b - p, 0 = -2*r + 5*b - 4. Suppose 28 = 2*z - 2*o, -r*z + 48 = -0*o - 5*o. Is z a multiple of 11?
True
Let i(j) = 91*j + 82. Is 9 a factor of i(5)?
False
Let d(i) = 108*i + 2. Let o be 1/3 - (-12)/18. Is d(o) a multiple of 10?
True
Let l(u) = u. Suppose -3*s = 4*w - 13, -6*w + 55 = -w - 4*s. Is 3 a factor of l(w)?
False
Is -10 + 1 - (-129 - 424) a multiple of 8?
True
Suppose 8*l - 888 - 2120 = 0. Does 47 divide l?
True
Let v(h) = -h**2 + 30*h - 65. Is 5 a factor of v(16)?
False
Let b(n) = n**3 - 6*n**2 + 12*n - 13. Let t(k) = -k**3 + 7*k**2 - 11*k + 13. Let q(u) = -2*b(u) - 3*t(u). Is 3 a factor of q(9)?
False
Let k(s) = 36*s**2. Let w = 10 - 10. Suppose -3*b + 3 = -w*b. Is k(b) a multiple of 18?
True
Let q = -1564 - -2212. Is 5 a factor of q?
False
Does 10 divide (3/(90/6395))/(1/6)?
False
Let k(n) = 9*n - 30. Let a be (-10)/(-10) - (-4 - (-1)/(-1)). Does 8 divide k(a)?
True
Is 13 a factor of -1 - (-6 - (-297)/(-3))?
True
Suppose 10 = 9*h - 4*h. Suppose 2*o - a - 124 = -3*a, -h*o = -2*a - 128. Suppose 0*m - o = -m. Is 12 a factor of m?
False
Let h = 6 - 4. Suppose -h*w + 81 = 11. Does 33 divide (w - (-8)/(-4)) + 0?
True
Suppose 7*t - 6240 = -5*t. Does 52 divide t?
True
Suppose -3*l = 2*s - 154, s + 202 = 4*l + 2*s. Let w = l - -27. Is 7 a factor of w?
True
Suppose 4*k + 0*k = 4*z + 12, -3*k - 4*z + 9 = 0. Suppose 3*r - 73 = -3*c + 251, c - 318 = -k*r. Is 13 a factor of r?
False
Let i = -9 - -25. Let w = i - 10. Let a(t) = t**2 - 2*t + 7. Does 9 divide a(w)?
False
Let z(h) = -2*h - 22. Let o be z(-8). Is (35/1)/(-5 - o) a multiple of 19?
False
Suppose -7*r + 3582 = -632. Does 43 divide r?
True
Let l = -18 + 36. Is 4 a factor of 276/l - (-1)/(-3)?
False
Let d(o) = 0 + o**2 + 4 - o**3 - 8*o + 7*o**2. Let b(k) = 2*k**2 - 21*k + 15. Let v be b(10). Does 13 divide d(v)?
True
Let p(r) = -2*r + 67. Let s be p(27). Is 36 a factor of (-1 - 8)*(5 - s)?
True
Let j(r) = -179*r - 221. Does 8 divide j(-4)?
False
Suppose v - 2*q = 1259 + 776, 0 = -5*v + 3*q + 10175. Is v a multiple of 11?
True
Let c(r) = r**3 - r**2 + 5. Let o be c(0). Suppose 7*w = 2*w - o*i + 790, 3*w + 2*i - 474 = 0. Let f = w - 73. Does 17 divide f?
True
Suppose -7*w + 10*w - 12 = 0, 0 = -3*m + 2*w + 505. Is m a multiple of 57?
True
Let n(a) = 7*a**3 - 3*a**2 - 11*a + 26. Does 5 divide n(3)?
True
Let r = 5 - 2. Let l be 5/(-3) - 198/(-54). Is 125 + 2 + l - r a multiple of 44?
False
Suppose 5*v + 5 = 5*i, -4*i - 5*v + 31 = -0*v. Let y be (i - 9)*44/(-10). Is y*(-4)/(-8) - -2 a multiple of 6?
False
Let m = 189 - 19. Does 34 divide m?
True
Let i(x) = -x**3 + 7*x**2 - 8*x - 2. Let j be i(4). Is (8/j)/(4/154) a multiple of 11?
True
Let j = 45 + -46. Let s = -1 - -1. Does 20 divide (59 - j)/(1 + s)?
True
Suppose -3380 = -5*w - 4*u, 6*w - 5*w = -4*u + 660. Is 12 a factor of w?
False
Let c = -51 - -54. Suppose -2*x + 2*d = -24 - 6, -43 = -c*x + 4*d. Is x even?
False
Suppose 6*j - 8*j = -v + 9, -j = 2*v - 8. Is 4 a factor of v?
False
Suppose -5*d + i - 20 = 0, d + 1 + 3 = -5*i. Let t be (-2)/d + 9/6. Suppose -2*u = 0, -2*u + 5*u - 50 = -t*y. Is y a multiple of 25?
True
Suppose 4*n = -573 + 4577. Is n a multiple of 80?
False
Let q = 8 - 5. Suppose q*d = d. Suppose -s + 49 + 12 = d. Is 21 a factor of s?
False
Suppose -3*m = -4*k + 1311, 2*k - 975 = -k + 5*m. Is k/3 + 1 + (-11)/11 a multiple of 28?
False
Suppose -4 = 7*w - 3*w, -3*w + 9 = 3*c. Let a be (-3)/c + 1/(-4). Let i(u) = -6*u. Is 6 a factor of i(a)?
True
Let a(r) = -r**2 + 42*r - 133. Is a(27) a multiple of 50?
False
Let d be (22/4)/(26/24 + -1). Suppose 138 = u - d. Does 17 divide u?
True
Let g = 103 - 116. Is 14 a factor of ((-3)/(-1))/(g/(-182))?
True
Suppose -2*l + 106 = -30. Suppose 0 = z - 3*z + l. Does 19 divide z?
False
Let l(o) be the second derivative of -o**3/6 + 7*o**2/2 - 3*o. Let i be l(7). Suppose -3*m = -i*m - 66. Is 22 a factor of m?
True
Let y = 180 + 26. Suppose 3*f = -6, -2*f = 2*b - 7*f - y. Suppose 4*x - 238 = -b. Does 7 divide x?
True
Let l(q) = q**3 + q**2 - q + 2. Let j be -2 - (-4)/(1 + 1). Let k be l(j). Suppose -k*i + 5*o + 2 = -3*i, 2*o = 2*i - 32. Does 12 divide i?
False
Let k = -20 - -70. Let j = -14 + k. Does 12 divide j?
True
Let q(j) be the third derivative of -5*j**4/6 - 2*j**3/3 + 3*j**2. Let x be q(-4). Suppose -a - x = -3*a. Does 19 divide a?
True
Let o(u) = 19*u**2 - 7*u - 5. Does 29 divide o(3)?
True
Let h(j) = 4*j**2 - 7*j + 1. Let i(k) = -k**2 + k + 1. Let q(v) = -h(v) - 5*i(v). Is 6 a factor of q(4)?
True
Suppose -q - 2*p - 71 = 4*q, 0 = -2*q - 3*p - 24. Suppose -l = 5*r + 176, r + 2*l = 3*l - 34. Let b = q - r. Is b a multiple of 5?
True
Let f(g) = 6*g - 11. Let c be f(-2). Let m = 61 - c. Is 6 a factor of m?
True
Let k(v) be the third derivative of 1/120*v**6 + 1/3*v**3 + 0*v**4 + 7/60*v**5 + 0 + 5*v**2 + 0*v. Is 26 a factor of k(-3)?
False
Suppose 1442 = u + 2*o - 398, 5532 = 3*u + 3*o. Is u a multiple of 66?
True
Suppose -5*l = -2*g - 282, -4*g = -3*l - 3*g + 169. Is l a multiple of 9?
False
Is 4 a factor of (-33)