ltiple of 94?
False
Let l(f) be the first derivative of -2*f - 239/4*f**4 + 0*f**2 + f**3 - 3. Is 40 a factor of l(-1)?
True
Suppose 11*h + 14 = -613. Let i = 58 + h. Suppose 2*z + 43 = 2*n - 3*z, 0 = z - i. Is 6 a factor of n?
True
Let n(w) = 136*w**2 + 959*w - 3. Is n(-11) a multiple of 123?
True
Let w = -178 + 191. Let r(t) = -t**2 + 13*t + 42. Is r(w) even?
True
Let r(l) = 6*l - 9. Let a be r(2). Suppose 0 = a*g - 102 + 57. Is 4 a factor of g?
False
Let t(f) = -f**3 - 11*f**2 + 9*f - 7. Let v be t(-6). Let z = v - -547. Is 18 a factor of z?
True
Suppose -5*t - 5*y - 185 = 3220, 5*t = -4*y - 3403. Let v = t + 1640. Does 59 divide v?
False
Let a(s) = -10*s**2 - 81*s - 8. Let g be a(-8). Suppose 383*v - 365*v - 6300 = g. Is 10 a factor of v?
True
Let w be (-2 + -1)*((-324)/6)/6. Suppose 4*v = w + 9. Is 399/v - 1/(-9)*-3 a multiple of 22?
True
Suppose 3*i = 247*p - 250*p + 67779, -17*p + 383937 = -i. Is p a multiple of 28?
False
Suppose -391 + 3277 = 3*h + 3*b, 5*b = h - 968. Suppose 0*w - 9*w = -h. Let y = 165 - w. Is 11 a factor of y?
False
Let h = -2352 + 4009. Is h a multiple of 3?
False
Let f(i) be the first derivative of 12*i**2 - 67*i - 42. Let g be f(13). Suppose -4*s + g = 3*d - 0*d, 5*d + 2*s - 385 = 0. Is 12 a factor of d?
False
Let r = -2300 + 3035. Is 21 a factor of r?
True
Suppose 4*f - 854 = 2*j, 0 = 9*f - 4*f + 2*j - 1081. Is f a multiple of 2?
False
Let q be 32/144 + 16/9. Suppose -q*s - 5*g + 89 - 11 = 0, -4*s - 2*g = -140. Is s a multiple of 17?
True
Let z be ((-1)/4)/((-17)/1020). Suppose -z*m = -7689 - 4596. Does 39 divide m?
True
Let s(l) = l**2 + 8*l - 12. Let r be s(-12). Suppose 11*b - 30 = r. Is 19 a factor of ((-2)/b*-80)/((-1)/(-3))?
False
Suppose 0 = 4050*c - 4015*c - 361410. Is c a multiple of 47?
False
Let l = 59 - 54. Let w be (0/l)/2*2/4. Suppose -3*x + w*x = 6, -o + 12 = -4*x. Is 4 a factor of o?
True
Let g(a) be the second derivative of a**5/20 + 13*a**4/12 - 8*a**3/3 - 41*a**2 + a - 15. Does 14 divide g(-11)?
True
Let d = -176 + -632. Let y = 1197 + d. Suppose -4*x = -3*p - 391, 0*p = -4*x + p + y. Does 30 divide x?
False
Let p(z) be the second derivative of -z**5/20 - 2*z**4/3 - 5*z**3/3 - 5*z**2 + z. Let d be ((-15)/(-6) - -1)*-2. Does 7 divide p(d)?
False
Let n = 3378 - 609. Is n a multiple of 39?
True
Suppose 333 + 289 = i + 4*o, 5*i - 2*o = 3220. Suppose -8*g - i = -12*g + 2*w, -178 = -g - 3*w. Is 13 a factor of g?
False
Suppose -j = -0*j - 8. Suppose -628 = -j*l + 1676. Is l a multiple of 18?
True
Let r = -346 + 370. Let k = 6 + -6. Suppose -h + 0*h + r = k. Is h a multiple of 8?
True
Let u(r) = 358*r + 2. Let g be u(2). Let c(k) = 4*k**3 + 6*k**2 - 6*k - 129. Let o be c(-5). Let i = o + g. Is 22 a factor of i?
False
Let j(w) = -w**3 + 10*w**2 - w + 16. Let g be j(10). Suppose 6*c - 8*c + 106 = 0. Let k = c + g. Is k a multiple of 9?
False
Suppose k - 482 = -4*c + 9840, c - 5*k - 2591 = 0. Does 89 divide c?
True
Let k(n) = -1027*n**3 + 13*n**2 + 12*n - 1. Is k(-1) a multiple of 4?
False
Suppose -4*p - i - 13 = -8, -3*p + 2*i + 10 = 0. Let b(g) = 31*g**3 - 1. Let y be b(1). Suppose -s + 165 + y = p. Is 23 a factor of s?
False
Is 68 a factor of 7 - (-5 - -4)/(-1 + 1524/1522)?
False
Let t = -23309 - -23889. Does 20 divide t?
True
Suppose -2*j + 3*g = -5, 3*g - 34 = -3*j - 4. Let l(u) = u - 2. Let v be l(j). Suppose 5*h - v*m - 105 = 0, 0 = -3*h + 7*h - 2*m - 94. Is 4 a factor of h?
False
Let l = 6403 - 4514. Is l a multiple of 3?
False
Let y(n) be the second derivative of -1/20*n**5 - 1/12*n**4 - 1/2*n**3 + 0 + 4*n - 15/2*n**2. Is 16 a factor of y(-4)?
False
Let c be 31*-22*5/10 + 6. Does 11 divide (-1)/(-1 + -2 - -4) - c?
False
Let o(h) = 5040*h - 3381. Is o(11) a multiple of 21?
True
Let r be ((-78)/(-12))/((-1)/6). Let w = r - -120. Let t = 136 - w. Is t a multiple of 9?
False
Let d = -46 + 49. Let z(f) = f**2 - 4*f + 2. Let u(w) = -2*w**2 + 9*w - 4. Let n(r) = d*u(r) + 5*z(r). Is 10 a factor of n(4)?
True
Let f = -757 + 426. Does 14 divide (-5 + 7)/((-663)/f + -2)?
False
Is 53 a factor of 0 + 475 - (11 + -12 - -8 - 9)?
True
Suppose -2*z - 5*h = -6221, -2*z - 7*h + 6*h = -6209. Does 5 divide z?
False
Suppose -3*x = -2*d + 2, 4*x + 2 = d + 1. Suppose -4*a - 16 = -x*a. Let o = 12 - a. Is 8 a factor of o?
True
Let m(h) = h - 33. Let t be m(7). Let l = t + 184. Suppose 0 = 4*j - l - 66. Is 8 a factor of j?
True
Is 66 a factor of (-19065)/2*4/(-24)*(41 + -9)?
False
Is -10 - 51/(-34)*2566 a multiple of 54?
False
Suppose -h = -4*b - 156, 6*h = 5*h + 2*b + 148. Suppose -4*u = 3*u + h. Is (-9)/(-15) + (-508)/u a multiple of 13?
True
Suppose 4*c - 20 = -8. Let n be ((-17)/(-2))/((-3)/c)*-6. Let w = n - 7. Is 11 a factor of w?
True
Let c(a) = 4*a**2 - 14*a + 51. Let m(l) = -l**3 - 13*l**2 + 12*l - 25. Let y be m(-14). Does 22 divide c(y)?
False
Let s be (-4 + -264)*2/4. Let b = s - -136. Suppose -3*p - 5*h = 44 - 848, -5*p - b*h + 1340 = 0. Is 13 a factor of p?
False
Does 56 divide (((-2560)/(-30))/16)/((-28)/(-183162))?
True
Suppose -371 = t - 3*l, -2*l - 1432 = 4*t - l. Let b = 555 + t. Suppose 145 = 2*i + m, 0 = -2*i - 3*m - 61 + b. Is i a multiple of 12?
False
Let o be (-11585)/14*(-3 - -11)/4. Let j = -762 - o. Does 61 divide j?
False
Suppose -158746 + 23751 = 31*a - 164*a. Is a a multiple of 35?
True
Let l = -17 - -11. Let j be ((-20)/(-5) + l)*-22. Let y = j - -123. Is 34 a factor of y?
False
Let r = 43 - 43. Let h(s) = s**2 + 3*s + 3. Let l be h(r). Is (-2756)/(-39) - 2/l a multiple of 13?
False
Let h be -6 + (13 - (-7 + 11)). Suppose 0 = -5*u - 15, h*m - 279 + 18 = -4*u. Is m a multiple of 32?
False
Let c(n) = -50*n + 53. Let o be c(-11). Suppose 0 = -4*b - 4*d + 379 + 221, 0 = -4*b - 3*d + o. Suppose b = 2*z - 33. Is 49 a factor of z?
False
Suppose -3*y + 2*r = -10, 5*y - 5*r = 7 + 8. Suppose -4*i - 17*i + 8610 = 0. Suppose 0 = y*f - 0*f - p - i, 316 = 3*f - 5*p. Does 24 divide f?
False
Suppose 5 = g - 0*g. Suppose -u + 5*v + 273 = 0, 7*v + 927 = 3*u + 10*v. Suppose -2*a = g*z - 532, -5*a = -5*z + u + 222. Is 20 a factor of z?
False
Suppose -j - 10*j + 319 = 0. Suppose j*g = 5*g + 10080. Is 14 a factor of g?
True
Let d = -103 + 87. Let p be (-2*1 - -18)/1. Is 252/d*p/(-6) a multiple of 21?
True
Let t = -4 + 43. Let h = -253 + 437. Suppose h = d + t. Is d a multiple of 27?
False
Suppose 0 = -4*w + 3*j + 12401, 5*w = 4*j + 4601 + 10900. Does 7 divide w?
True
Let m = 50 - 57. Let k(j) = -2*j**3 - 14*j**2 + 6. Let q be k(m). Suppose -q*s + 375 = -753. Is 32 a factor of s?
False
Suppose 3*n = -2*r - 2, 3*r - n + 25 = -0. Let t(m) = m**3 + 8*m**2 - m - 2. Is 7 a factor of t(r)?
False
Suppose -3*n + 94779 = 150*s - 153*s, 5*s - 20 = 0. Is 19 a factor of n?
True
Suppose 4*n + 59 + 1 = 0. Let s(o) = -o**3 - 13*o**2 + 30*o + 12. Let z be s(n). Is (4/z)/((-5)/(-330)) a multiple of 4?
False
Suppose 0*z = 4*y - 3*z - 21, 4*z - 34 = -5*y. Let o(k) = -21*k + 19. Let x be o(y). Let s = 278 + x. Is 13 a factor of s?
False
Let b = -652 - -1364. Let l = b - 327. Does 9 divide l?
False
Let q(o) = -o**2 + 10*o - 4. Let s be q(9). Suppose -s*t + 28 = 4*c - 9*t, 2*c - 17 = t. Does 5 divide c?
True
Suppose -h = -k - 3, 2 + 34 = 5*h + 2*k. Suppose h*x = 1159 + 161. Is x a multiple of 55?
True
Let b = -78 - -80. Suppose 357 = 4*p - p - 3*n, -243 = -b*p + 3*n. Is 11 a factor of (p/(-5))/(12/(-40))?
False
Let g = -6182 - -8784. Is 66 a factor of g?
False
Suppose 6*c - 33867 - 47779 - 8432 = 0. Is 25 a factor of c?
False
Let l = -3040 + 3816. Is 3 a factor of l?
False
Let z(q) = 64*q + 4. Let s be z(-17). Let m = s - -1830. Is 10 a factor of m?
False
Let y(x) = 192*x**3 + 3*x**2 - 97*x + 358. Is 11 a factor of y(4)?
False
Let l(x) = 5*x**3 - 6*x**2 - 3*x + 4. Let d = 210 - 206. Does 24 divide l(d)?
True
Let a(p) = 11*p**3 - 41*p**2 - 3*p - 28. Is 24 a factor of a(9)?
False
Let a(s) = 457*s**2 - 137*s - 420. Is 57 a factor of a(-3)?
True
Suppose 45*r - 165645 = 1009755. Is r a multiple of 40?
True
Let b = -49 - -56. Let c be b + (-7 - 2)/(-3). Suppose c*w - 6*w = 184. Does 14 divide w?
False
Suppose -u + 5*f - 2 = -7, -f = 3*u - 47. Is (-2040)/(-48)*162/u a multiple of 17?
True
Suppose -t - 3*t = 4*s + 76, -5*t = -5*s - 45. Let o be (20/s)/(11/(-77)). Suppose -5*j = -b - 2*j + o, -j + 10 = b. Does 5 divide b?
True
Let t be 2*(0