 d a multiple of 20?
True
Let k be 18/24 - -62*(-202)/16. Let b = -428 - k. Suppose -b = -5*j - 4. Is 14 a factor of j?
True
Suppose -303*d + 4798542 = 4*d - 6*d. Does 34 divide d?
False
Let f(p) = p**3 - 6*p**2 - 25*p - 16. Let u be f(9). Is (-1 + u)*(6 - (-36 + 1)) a multiple of 22?
False
Suppose -11*g + 7527 + 19516 = -122909. Is g a multiple of 71?
True
Let d(z) = 23*z**2 - 21 - 1 + 8*z**2 - 4 + 8*z. Is 23 a factor of d(3)?
False
Let i = 57079 + -35258. Is i a multiple of 10?
False
Let h = 1970 + 8621. Does 71 divide h?
False
Let p(k) = 9*k**2 - 5*k - 15. Let d be p(-4). Let j = d + -120. Let q = -14 + j. Is 2 a factor of q?
False
Let z be 3/9 + 2499/9 - 4. Is 20 a factor of z + -11 - 3/1?
True
Let o(b) = 11*b + 225. Let x = 488 - 473. Does 12 divide o(x)?
False
Let t = 19 - -9. Let f be -3 + (12 - (5 - -4)). Suppose f = 8*a - 404 - t. Is a a multiple of 6?
True
Let v = 135 - 131. Is 6 a factor of (-1584)/42*(-42)/v?
True
Suppose 22*k - 544 = 14*k. Suppose k*h - 58*h - 1260 = 0. Is h a multiple of 21?
True
Let i = 1451 - -2802. Is i a multiple of 28?
False
Let f be -6 + 1 - 136/2. Let v = f + 155. Is 22 a factor of v?
False
Suppose -5*f = 11*y - 7*y - 197548, 2*y + 5*f = 98784. Is y a multiple of 18?
False
Let o(h) = h**2 + 1. Let p = -34 - -35. Let k(y) = 6*y**2 + 11*y + 7. Let x(n) = p*k(n) - 3*o(n). Is x(-6) a multiple of 23?
True
Let z(l) = -l**2 - 8*l - 10. Let q be z(-7). Is 7 a factor of 30/18 + (-184)/q?
True
Suppose 3*q - 5*o = 12462, 16*o - 18*o = q - 4154. Is q a multiple of 67?
True
Let w(k) = 23*k + 60. Let o(m) = -24*m - 59. Let j(f) = -4*o(f) - 5*w(f). Is j(-5) a multiple of 8?
False
Let t(g) = 26*g**2 - 239*g + 57. Does 43 divide t(15)?
True
Let y(f) = -245*f - 5193. Is 19 a factor of y(-32)?
False
Let w(j) = -8*j**3 - j**2. Let h be w(-1). Suppose 30 = -h*v + v. Is 37 a factor of ((-4)/v - 1) + (-7152)/(-60)?
False
Let c(v) = -v**2 - 6*v + 14. Let m be c(-7). Is 14 a factor of (-90)/m*42/(-9)?
False
Let p(t) = t + 27. Let s(n) be the first derivative of -n**2/2 - 14*n + 8. Let u(o) = 2*p(o) + 5*s(o). Does 5 divide u(-12)?
True
Let p = 33 - 33. Suppose 12*w - 9*w = p. Suppose w = n + 12 - 54. Does 14 divide n?
True
Let l = 27 - 23. Suppose 3*v + l*x + 21 = 4*v, 3*v - 5*x - 35 = 0. Suppose t + 0*a + 15 = -v*a, -4*t = 4*a - 4. Is 2 a factor of t?
False
Let h(z) = -z**3 - 11*z**2 - 11*z + 21. Let m be h(-10). Suppose 12 + 4 = 4*c, c - m = -3*j. Is j a multiple of 9?
True
Let k(d) = 161*d + 392. Does 26 divide k(10)?
True
Let v = 80 - 37. Let l = -7 + v. Suppose 3*g = -0*g + l. Is 6 a factor of g?
True
Is 274*44/(-121)*-11 a multiple of 8?
True
Let y = -5562 + 13930. Is y a multiple of 8?
True
Does 3 divide ((-6987)/68)/(1/(-4))?
True
Let k(u) = 10*u + 12. Let v be k(-5). Is (-1)/(1/v)*(-75)/(-6) a multiple of 25?
True
Let w(p) = 103*p**3 + 2*p**2 + 3*p - 4. Let k be 3 + -2 - (0/1)/4. Let v be w(k). Suppose -2*g - v = -470. Is g a multiple of 14?
False
Suppose 0 = 2*j + 4*i + 20, j + 7 = 3*i - 18. Is 11 a factor of (594/(-8))/(6/j)?
True
Suppose f + 60 = -f. Let v = f + 34. Is 2 + 1/(v/52) a multiple of 4?
False
Let n = 2270 + 158. Is n a multiple of 71?
False
Let d(j) = 58*j + 217. Let i(l) = -115*l - 435. Let t(h) = 7*d(h) + 3*i(h). Is t(6) a multiple of 35?
False
Let j = 335 - 332. Let z(o) = 4*o**3 - 7*o**2 + 9*o + 1. Is 20 a factor of z(j)?
False
Suppose 0*k - 9*k = 36. Is 10 a factor of (-2646)/(-33) + k/22?
True
Suppose 25 = 5*x - 75. Suppose 2*b + 5*c - 14 = -2*b, 5*b = -5*c + x. Suppose 0 = 2*w - 0 + b, 3*k + w = 213. Does 12 divide k?
True
Let o = -5552 - -5846. Is 6 a factor of o?
True
Is 82 a factor of ((-2961348)/429)/(2/(-11))?
True
Suppose 30 = 13*i + 2*i. Suppose 2*n + o - 17 = -3*n, -i*n + 2*o + 14 = 0. Suppose 4 = 2*u - n. Is u even?
True
Suppose r - 5*y = 35, -r - 3*y + 140 = 3*r. Suppose -10 = 5*o + 4*s, 0 = -5*o + 2*s - s - r. Is 3 a factor of 146/6 + -4 + 2/o?
False
Is 4/(-20) - ((-1155)/100 - -7)*1564 a multiple of 4?
True
Suppose -5*v + i + 433 = 0, -3*i + 2*i = -2. Suppose -2*c - 2*c = -h - 15, -15 = -2*h - c. Suppose -18 = -h*q + v. Is q a multiple of 3?
True
Let u(w) = -115*w + 18. Let s be u(-2). Suppose 4*x - 8 + s = 5*m, 193 = 4*m - 3*x. Is m a multiple of 13?
True
Let o = -22 - -30. Let s be o/(-2) + 76/19. Does 17 divide (s - -35)/1 + -1?
True
Suppose -4*r + 20 = 0, -3*n + 4*r + 956 = -r. Suppose n = -2*i + 535. Is i a multiple of 4?
True
Suppose g - 313 = -p, 4*g + 3*p + 0*p - 1248 = 0. Let c = 718 + g. Suppose -10*z + 493 = -c. Is 12 a factor of z?
False
Suppose 6*v - 4*v - 4 = 0, -4*o - 2*v = -20. Let p be (-496)/o*1/(-2). Let h = p + -12. Is h a multiple of 14?
False
Let d = -194 + 182. Does 12 divide d/(-42) - (-5870)/35?
True
Suppose -303 = -6*w + 363. Suppose -w*s + 513 = -102*s. Does 28 divide s?
False
Suppose -14*i + 5*i = -18. Does 25 divide (-47292)/(-189) + i/(-9)?
True
Suppose -2*m + v + 13 = 4*v, -v + 21 = 4*m. Suppose -4*o - 51 = l - 36, o = -5. Suppose d + m*z - 99 = 0, -243 = -l*d - 4*z + 189. Is 6 a factor of d?
True
Suppose 5*v + 460668 = 151*v + 36100. Does 5 divide v?
False
Let q = -3633 + 5869. Is q a multiple of 10?
False
Let n(b) = b**3 + 3*b**2 - 7*b - 21. Let z be n(6). Suppose 9*t - 1701 = -z. Does 18 divide t?
False
Suppose -5*x = -7*x. Suppose x = u - 2*m + 11, -5*u - 48 = -7*m + 4*m. Is u/(-18) + 502/4 a multiple of 21?
True
Suppose 3*y + 159 = -3*v, -2*y + 6*y - 3*v + 191 = 0. Is (0 + 345)*(60/y)/(-1) a multiple of 6?
True
Let z be (-16)/4 - (-6 + 0). Suppose 0 = 5*l - 0*l + 5, -3*w - z*l = -4. Suppose -w*c + 0*u + 114 = -2*u, -5*c - 3*u + 253 = 0. Is c a multiple of 3?
False
Suppose 2*r = 2*c + 8, 2*r + 2*c - 12 = -r. Is (219 - r) + (-10)/2 a multiple of 14?
True
Let l(b) = 5*b**2 - 16*b - 54. Let h be l(-7). Let k = h + -23. Does 10 divide k?
True
Suppose 0 = -5*q + 2*k - 5*k + 5913, -2*q - 5*k + 2388 = 0. Is q a multiple of 22?
False
Suppose -1534*y + 1501*y + 386577 = 68622. Is y a multiple of 9?
False
Let k be (3 + (-632)/12)*(-3)/1. Let r = -80 + k. Does 15 divide r?
False
Suppose -978*q + 15822 = -975*q. Is q a multiple of 18?
True
Let m(d) be the second derivative of -d**4/4 + d**3/6 + 6*d**2 + 2*d. Let g(r) = 1. Let n(i) = 6*g(i) - m(i). Is 6 a factor of n(4)?
False
Let q be (-6 + -9 + 5)*(-47 - -1). Suppose 2*l = 6*l + q. Let m = l + 190. Is 25 a factor of m?
True
Suppose 259828 + 113658 = 17*h + 34098. Does 28 divide h?
True
Suppose 0 = -a + 129 - 17. Let z = a - 108. Suppose z*y = -10 + 626. Is 22 a factor of y?
True
Suppose 4*k + v - 328 = 0, 3*k - 2*v - 2*v - 246 = 0. Let g = k - 71. Is g a multiple of 11?
True
Let c(z) = -166*z - 55. Is 21 a factor of c(-4)?
True
Suppose -z + g - 5*g - 3 = 0, 0 = -5*z + 2*g + 7. Suppose 4 = 2*r + 4*i, -3*r - i - z = -2*i. Let o(k) = k**2 - 2*k + 115. Is o(r) a multiple of 9?
False
Suppose -5*u + 2*g = 0, 5*u + 10 = 18*g - 14*g. Is (1 + -2)/(u/(-1224)) a multiple of 34?
True
Suppose 0 = -2*x + 5*z + 1299, 3*z - 619 + 1908 = 2*x. Is 9 a factor of x?
False
Let b = -265 + 615. Let l = 884 - b. Is 89 a factor of l?
True
Let m(t) = -2*t**3 - 5*t**2 + 22*t. Let r(g) = g**2 - 3. Let d be r(-3). Let h be m(d). Is (-20)/(-30) + h/(-9) a multiple of 2?
True
Let h(b) = -6*b - 9. Suppose 2*q = 4*y + 4, -6*q + 5*y + 2 = -3*q. Is 3 a factor of h(q)?
True
Is 3 a factor of (-24 - 1665 - 5)*-2?
False
Let j(m) = -262*m + 3049. Is j(-14) a multiple of 3?
True
Does 19 divide (-3604)/(-18) - (2192/144 + -15)?
False
Let x(w) = 9*w**2 + 52*w + 799. Is x(-25) a multiple of 42?
True
Let l be 436630/150 - (-6)/45. Let q = l + -1601. Does 13 divide q?
False
Suppose 3*y - 33120 = 3*q, -7223 - 14850 = -2*y - 5*q. Is y a multiple of 102?
False
Let l(x) be the first derivative of x**4/12 + x**3 + 7*x**2 + x + 27. Let g(q) be the first derivative of l(q). Does 6 divide g(-4)?
True
Let p(n) = 3*n + 18. Let q be p(2). Suppose 26*k - 946 = q*k. Is k a multiple of 13?
False
Let z(p) = 11*p**2 + 5*p + 3. Let g be z(-6). Let s = -145 - -149. Suppose -4*d - s*q + 300 = 0, -3*q + g = 4*d + d. Is d a multiple of 12?
True
Let i(h) be the third derivative of -3/2*h**3 + 0 - 31*h**2 - 1/60*h**6 + 0*h - 1/20*h**5 - 1/8*h**4. Does 14 divide i(-3)?
False
Let r(p) = -11*p - 11. Let j(d) be the second derivative of d**5/20 - 5*d**4/6 - 3*d**3/2 - 13*d**2 + 15*d.