 be h(-17). Suppose -3*k = -p*k + 440. Suppose -4*x + k = x. Does 17 divide x?
False
Let f(m) be the third derivative of -m**6/30 - m**5/20 + m**4/24 - m**3/2 + 5*m**2. Is f(-3) a multiple of 15?
True
Suppose y + 1 = 0, 0 = -2*t + y + y + 10. Suppose t*d + 4*o - 230 = d, -4*o = 4*d - 308. Is d a multiple of 26?
True
Let o(p) = -73*p + 133. Let v(b) = 109*b - 199. Let m(n) = 7*o(n) + 5*v(n). Does 20 divide m(6)?
True
Let j be (18 - 0)*(-28)/(-42). Suppose 5*d + j = 6*d. Is d a multiple of 3?
True
Suppose 0 = -5*o - 81*s + 78*s + 3156, 0 = -5*s + 10. Is 18 a factor of o?
True
Let x = -2145 - -2271. Does 14 divide x?
True
Suppose 0 = 2*q - 4 - 116. Let j = 103 - q. Let u = j + -4. Is 10 a factor of u?
False
Suppose -255 - 35 = -5*x. Let y = x - 2. Suppose 2*s - 6*s = -y. Is s a multiple of 7?
True
Let d = -10 - 6. Let w = 118 + d. Is w a multiple of 18?
False
Is 11 a factor of (6/(-18))/((-5)/6765)?
True
Let v = -7 - -3. Let j(q) be the first derivative of -7*q**2/2 + 5*q - 33. Does 11 divide j(v)?
True
Let d = -16 - -45. Suppose -3*j + 2*g - 5*g + 81 = 0, -3*g = j - d. Does 13 divide j?
True
Let m be (60/(-8))/(-3)*-2. Let g be 0/((m + 4)*4). Suppose 0 = 5*s + 2*p - 210, g*s - p = -5*s + 195. Does 5 divide s?
True
Let g(h) = h**2 + 5*h - 10. Let q be g(11). Is q/3 + (-60)/(-36) a multiple of 12?
False
Is ((-1510)/4)/(-14 + (-2171)/(-156)) a multiple of 20?
False
Suppose s = -4*s + 45. Let p = 21 + s. Does 15 divide p?
True
Suppose 4*h - 2 + 10 = 0. Let i(s) = -3*s - 3. Let o be i(h). Is 2/12*o*12 a multiple of 3?
True
Is 114 a factor of (975/(-52))/(4/(320/(-12)))?
False
Suppose 3*w - 1835 + 8 = 0. Is w a multiple of 39?
False
Suppose 10*t + 21 = 1. Is (t/20*-4)/(1/235) a multiple of 16?
False
Let l(t) = 2*t**2 - 53*t + 146. Is 14 a factor of l(30)?
False
Let j(u) = -u**3 - 4*u**2 - u. Let i be j(-3). Let c(m) = 4*m + 54. Is c(i) a multiple of 5?
True
Suppose 2*g + 12 = -0*g. Let x(b) = 2*b**2 + b - 2. Is x(g) a multiple of 16?
True
Let s = -14 - -8. Let m(q) = -10*q + 6. Does 33 divide m(s)?
True
Let d(v) = -7*v + 7*v + 2 + 22*v**2. Does 15 divide d(2)?
True
Let g(u) = -2*u**2 - 2*u - 35. Let r be g(-6). Let n = r - -158. Is 37 a factor of n?
False
Let s(m) be the first derivative of m**5/12 - 4*m**3 + 12. Let l(z) be the third derivative of s(z). Does 10 divide l(5)?
True
Let p(g) = g**3 + 4*g**2 + g - 2. Let i be p(-4). Let o be (i/8)/((-11)/44). Suppose -7 = -5*k - o*s + 144, 2*k - s = 67. Is 16 a factor of k?
True
Let a(u) = 7*u**3 - 4*u**2 + 4*u - 12. Is a(4) a multiple of 25?
False
Let b = 39 - 36. Suppose -3*p - 39 = 4*f, -7*f - 15 = -2*f - b*p. Is (4/f)/(18/(-1755)) a multiple of 24?
False
Suppose 0 = 13*o - 6935 + 1501. Is 27 a factor of o?
False
Suppose -4*o = 16, 4*p + 3*o = 5*p - 48. Does 11 divide p?
False
Suppose -4*c - 954 = -7*c. Suppose -5*m + 2*h + c = 0, 5*m - 5*h - 448 + 133 = 0. Is 26 a factor of m?
False
Let g be 3*4/(-24)*-10. Suppose w + g + 1 = -2*n, 0 = -3*w + 5*n + 26. Suppose 4*r - 199 = -2*d - r, 4*d - 338 = w*r. Is 26 a factor of d?
False
Suppose 0*j = -8*j + 144. Suppose j = -12*w + 13*w. Is w a multiple of 3?
True
Let x be (1508/(-78))/(4/(-6)). Suppose -4*r + x + 11 = 0. Suppose r*z + 240 = 14*z. Is 12 a factor of z?
True
Suppose 0 = 5*t - 10*t - 10. Let w(f) = -f**2 + 5*f - 12. Let q be w(4). Is 33 a factor of q/(-2 + t)*33?
True
Let j = 0 - -2. Let a(f) = -1230*f**2 + 8*f - 8. Let q be a(1). Is 4 a factor of q/(-105) + j/7?
True
Suppose 0 = -4*o - 7 - 9. Let b be o*(3/(-2) + 1). Suppose -3*z - 99 = -4*x - 4*z, 0 = -b*x + z + 51. Is 18 a factor of x?
False
Let i(n) = 2*n + 191. Is i(8) a multiple of 23?
True
Suppose -2*p + 745 = -7*p. Let j = p - -235. Let g = -43 + j. Is 19 a factor of g?
False
Suppose -3*k + 9*b + 14688 = 7*b, -4*k + 19584 = -b. Is k a multiple of 51?
True
Suppose t + 36 = 3*t. Let u be (-12)/54 + 4/t. Suppose 3*w - 139 + 4 = u. Is 15 a factor of w?
True
Let i(b) = b**3 - 5*b**2 + b + 3. Let s be i(5). Let y be (1 - -5)*s/12. Suppose 5*m - 39 = -k, 5*k = y*m - 7 - 1. Is 5 a factor of m?
False
Let v = -8307 + 11927. Is 20 a factor of v?
True
Let b(p) = -20*p - 4. Suppose -3*a - 8 = -2. Does 12 divide b(a)?
True
Suppose 0 = -15*y + 5827 + 1523. Is 35 a factor of y?
True
Suppose 63 = 2*x + w, -3 + 7 = x - 5*w. Let t(j) = 20*j + 1. Let q be t(-1). Let r = x + q. Is r a multiple of 10?
True
Let n(j) = 9*j**2 + 4*j + 1. Suppose -4*c = -4*r + 64, -5*r + 4*c + 37 = -41. Let z(v) = v - 12. Let s be z(r). Is n(s) a multiple of 8?
False
Let f(q) = 7*q**2 + 19*q - 37. Is f(-6) a multiple of 10?
False
Suppose 0 = 4*x - 5*b - 109, -10 = -4*b + 2. Let p = 2 + -2. Suppose v + p*v + z = x, -70 = -2*v - 4*z. Does 9 divide v?
True
Suppose 0 = 6*v - 3*v - 408. Let z(j) = -9*j**2 + 1. Let c be z(-3). Let k = v + c. Is 14 a factor of k?
True
Suppose 0 = 5*y - 2*v + 611, -3*y - 262 = 5*v + 117. Let x be 5 + -8 + (0 - y). Suppose 3*w + 68 = 4*n + 7*w, x = 5*n - 2*w. Does 11 divide n?
True
Suppose 4*z - 20 = 0, -9*l + z + 5 = -4*l. Suppose 3*y + 2*m - 187 = 0, 2*y - 191 = -y + l*m. Does 10 divide y?
False
Suppose 0 = 5*i - 2*i. Suppose 33 = 4*c - 4*f + 1, i = f - 2. Let o(k) = 2*k + 10. Is 10 a factor of o(c)?
True
Suppose 21 = 8*v - v. Suppose v*i = 871 - 145. Is i a multiple of 40?
False
Let a(h) = 0 + 3 + 12 - h**2. Is 5 a factor of a(0)?
True
Let z(f) = -f - 6. Let h be z(-7). Let o be (15/(-10))/(h/12). Let i = -4 - o. Is 7 a factor of i?
True
Suppose -612 - 123 = -5*s. Suppose -t = -3*k - s, 2 + 1 = -k. Suppose -30 = -6*z + t. Does 9 divide z?
False
Suppose 6*i - 2*i = 4. Is 12 a factor of 1/((-510)/(-505) - i)?
False
Suppose -7 = -o - 4. Let w(r) = 8*r - 131. Let g be w(17). Suppose 3*v - 40 = -o*z + 4*z, 0 = -g*v - 4*z + 61. Is v a multiple of 8?
False
Suppose -4*s + a + 73 = 0, 0*s - 5*a = 2*s - 9. Suppose 12*i - s*i = -495. Is i a multiple of 11?
True
Let g be (-1)/2*4 - -4. Suppose 6 = 3*v, v + v - 14 = -g*j. Suppose -j*t + 2*t = -27. Is t a multiple of 3?
True
Let x = -484 - -591. Is x a multiple of 12?
False
Let r(a) = -a**3 + 6*a**2 + 3*a + 21. Is 5 a factor of r(4)?
True
Suppose -24*m + 10*m + 4186 = 0. Is 23 a factor of m?
True
Let n = -205 - -520. Is n a multiple of 45?
True
Let u = -35 + 43. Let d be (2 - u/(-4))/2. Suppose d*g - 34 = -12. Is 11 a factor of g?
True
Is 39 a factor of (-586)/15*-3 - 14/70?
True
Let i be -2 - (168/18)/((-2)/6). Is 8 a factor of (i/(-13))/((-1)/28)?
True
Suppose 1 = -5*r + 26. Suppose 5*h - 2*v = -0*h + 5, 4*v = 0. Is (0 - h)/(r/(-95)) a multiple of 12?
False
Let l be 2/(-5) - (-135)/25. Let a = l + -5. Suppose 5*y + 76 = 5*u + 1, a = -y + 4. Is 5 a factor of u?
False
Suppose -5*w - 4*z + 35 = 0, 0 = -2*w + 4*z + z - 19. Suppose 0 = 5*f + w*o - 24, 3*o = 4*f + 2*o - 9. Let l(v) = -v**3 + 4*v**2 + v - 4. Is 8 a factor of l(f)?
True
Let a(w) = -w + 6. Let o be a(16). Is 8 a factor of -10*6*-3*(-4)/o?
True
Let z be (-1)/(-2) + 9139/26. Suppose 2*n - z = -4*c - n, -4*n + 88 = c. Is c a multiple of 24?
False
Let w(s) = 7*s - 1. Let k = 7 - 2. Suppose -k*t - 1 = 2*q - 4*q, t + 11 = 4*q. Is w(q) a multiple of 10?
True
Let d(p) = 748*p**3 - p + 1. Is 68 a factor of d(1)?
True
Suppose 3*g - 571 - 827 = -f, g - 4210 = -3*f. Does 117 divide f?
True
Suppose 0*g + 12 = -3*g. Suppose -4*r + 1 = b, 0*b = -5*b + 5*r + 55. Let x = b + g. Is 4 a factor of x?
False
Suppose 10*v - 9*v - 9 = 0. Is 6 a factor of 34/v + -4 + (-866)/(-9)?
True
Let d(s) = -4 + 4 + 12*s - 11*s. Let a be d(-2). Is 39 + -3 + (-2 - a) a multiple of 9?
True
Let r be 4/22 + 84/22. Suppose r*h - 50 = 3*c, 0*h + 3*h - 15 = 0. Let l = c - -14. Does 4 divide l?
True
Let d be 2 - 5 - (-28)/2. Suppose 15*z - d*z = 136. Is 17 a factor of z?
True
Suppose 0 = -6*x + 2*x + 100. Suppose 27*l + 34 = x*l. Is l/(-3) + (-2)/(-6) a multiple of 6?
True
Let v(t) = -2*t**3 + 1 - 1 - 2*t - 6*t**3 - 1 - 3*t**2. Let r be v(-2). Suppose 3*o - 47 = r. Is 8 a factor of o?
False
Suppose 0*n - 4*n = -32. Suppose -7*f + n*f - 12 = 0. Is 4 a factor of f?
True
Let b = -22 - -32. Suppose -6*k = -b*k + 204. Let i = k - -74. Does 27 divide i?
False
Suppose -62*b + 22*b + 3840 = 0. Is 16 a factor of b?
True
Suppose o = -0*o + 163. Suppose 5*k - o = 87. Is k a multiple of 10?
True
Let b = 35 + 3. Let d = 92 - b. Let t = d - 35. Does 16 divide t?
