e of 44?
False
Let z be 425/225 + ((-16)/18 - -1). Suppose z*b = -i + 266, -4*i - 3*b + 2*b = -1036. Is i a multiple of 20?
False
Let z = 4214 + 32. Is 7 a factor of z?
False
Let m = 678 - -568. Let r = m + -627. Does 60 divide r?
False
Let w(o) be the first derivative of o**4/4 - 31*o**3/3 - 31*o**2/2 + 72*o + 1. Does 13 divide w(32)?
True
Let z(j) = 2508*j**2 + 123*j + 246. Is z(-2) a multiple of 5?
False
Let f(q) = -239*q + 4. Let a be f(-1). Suppose -a = -4*u + 269. Suppose 4*b = 3*j + 467, b + 5*j - 2*j = u. Is b a multiple of 17?
True
Does 213 divide (17/((-612)/1863))/((-27)/10224)?
True
Let d(k) = 5*k**3 - 3*k**2 + 43*k - 13. Does 59 divide d(9)?
True
Let y(w) = -w**2 - 20*w - 14. Let f(q) = -q - 32. Let d be f(-13). Let r be y(d). Suppose -58 = -u - 0*n - n, -5*n - 260 = -r*u. Is 25 a factor of u?
False
Suppose 3*n - 4 = 8, 2*u + 12 = 2*n. Let p be (-1 - u)*((-6)/3 - -3). Is p/(-4) + (-468)/(-16) a multiple of 29?
True
Let h(g) = 9*g**2 - 49*g + 48. Is 14 a factor of h(19)?
True
Suppose 0 = -13*l - 0*l - 208. Is 22 a factor of (-2027)/(-2) + 136/l + 9?
False
Let c be (55/22)/(9/2 - 2). Is 58 a factor of -1*103*((-8)/c + 6)?
False
Suppose -244*j + 250*j - 8580 = 0. Does 12 divide j?
False
Let s(r) = r**3 - 2*r**2 - 21*r + 17. Let p be 3/((-27)/(-24))*3. Does 71 divide s(p)?
False
Suppose -4*n = 2 + 14. Let f be 162/n*-3 + 4/8. Suppose -1318 - f = -4*p. Is 36 a factor of p?
True
Let n(b) = -11*b - 10. Let k be n(-8). Suppose -2*i = 4*r - 7*i + 105, 3*r = 4*i - k. Let z = 19 - r. Is 5 a factor of z?
False
Let k = 10342 + -4647. Is 67 a factor of k?
True
Suppose -20090 = -4429*a + 4419*a. Is a a multiple of 49?
True
Let f(m) = 17*m**2 + 6*m - 19. Let b be f(4). Let h be (1 - b)/(-1 + 2). Does 11 divide h/(-2)*(40/12 + -3)?
False
Let l(s) = 82*s + 22 + 32*s - 46*s. Is l(6) a multiple of 10?
True
Let f = -12965 - -27975. Is f a multiple of 190?
True
Let i = -284 + 147. Let x(y) = 228*y**3 + y**2 - y + 2. Let v be x(1). Let r = v + i. Is 15 a factor of r?
False
Let u be 372860/(-8) - 1/6*3. Is 16 a factor of 2/15 + u/(-90)?
False
Let q be 3/1*(160/(-12))/4. Let w(a) = 3*a**2 + 20*a + 14. Let x be w(q). Let j = 196 - x. Is j a multiple of 17?
False
Let i be (-1440)/(-15) - 12/2. Suppose -494 = i*t - 91*t. Does 63 divide t?
False
Let d(v) = 11*v - 422. Let j be d(0). Does 14 divide -2*(-2 - (-1 - (-4 + j)))?
True
Suppose -2*t + 2 = 0, -3*t + 316 + 236 = 3*u. Suppose 0 = -28*d + 69 + u. Does 3 divide d?
True
Suppose -5716 = -2*k - 2*g, -4*g - 7826 = -3*k + 720. Is k a multiple of 22?
False
Suppose 0 = -4*m, -8*t + 15756 = -5*t + 3*m. Is 101 a factor of t?
True
Let z(t) = 8*t**2 + 17*t - 12. Let l be z(4). Suppose 0 = -2*b + 5*q + 229, 2*b - 5*q + 9*q = l. Does 16 divide b?
False
Let z be (5 + -2)*(0 + -2 - 115). Let q = z + 848. Suppose 5*c - q = 188. Does 13 divide c?
False
Let t(n) = n**2 - 126*n + 1500. Is t(147) a multiple of 33?
True
Suppose -3*j = -0*j - 18. Suppose 0 = -j*o + 22 - 4. Suppose -384 = -5*f + o*f. Is 32 a factor of f?
True
Let b = -150 - -250. Suppose 4*h = -a - b + 37, 5*h = a + 27. Let m = 137 + a. Does 15 divide m?
True
Suppose -4*p + 3*r - 75 = 0, 4*p + 58 = -2*r - 12. Is (-8500)/p - (4 + (-102)/27) a multiple of 59?
True
Let s(y) = 2*y**2 - 12*y - 52. Let l be s(-6). Let w = l + -40. Is w a multiple of 14?
False
Suppose 6*z = -3*z - 9. Is 42 a factor of -7 + 3 + (6 + z - -45)?
False
Let n = -501 - -1290. Is 14 a factor of n?
False
Suppose 0 = 5*h - 20, 0*h + 280 = -5*p - 5*h. Does 26 divide (24/p - 642/(-5)) + 4?
False
Let h be ((-68)/(-102))/(-2*1/9). Does 4 divide 10*90/(-60)*74/h?
False
Suppose -303 - 167 = -j. Suppose 5*w = 5*s + 1190, 2*w - 3*s - 2*s = j. Is w a multiple of 30?
True
Suppose -2*w + 12 = w. Suppose r + c - 18 - 103 = 0, w*c = 0. Is r a multiple of 9?
False
Let v(s) = s**3 + 6*s**2 - 5*s + 14. Let u be v(-9). Is 23 a factor of (-2 - 8/4)*u/2?
True
Suppose -2*m + 2*n + 3*n = -1343, 3*n + 2651 = 4*m. Suppose 33*b = -m + 4916. Is b a multiple of 37?
False
Let c(h) = 8*h**3 - 9*h**2 + 7*h - 6. Let q be c(4). Let g = -74 + q. Is g a multiple of 16?
False
Let g(z) = 30*z**2 - 26*z - 19. Is g(-5) a multiple of 35?
False
Let z(v) = -v**3 + v**2 + 6*v. Let j be z(-4). Suppose 0 = -57*y + j*y + 2. Suppose 0 = -4*n - 3*x + 79, 5 + 28 = y*n - 5*x. Is n a multiple of 19?
True
Let d = 3049 + -899. Is 43 a factor of d?
True
Suppose -31*w - 852 = -35*w. Let k = w + -60. Is 17 a factor of k?
True
Let c = 16927 - 11968. Is 87 a factor of c?
True
Let d(t) = t**3 + 31*t**2 + 70*t - 58. Is 23 a factor of d(-23)?
False
Let s = -2919 + 6645. Is s a multiple of 18?
True
Suppose 0 = -5*f + r + 57651, -2*f + 370*r + 23046 = 372*r. Does 21 divide f?
True
Suppose -c + 432*r + 11032 = 428*r, c - 11023 = r. Is 58 a factor of c?
True
Let i(z) = -3438*z - 882. Does 36 divide i(-7)?
True
Let w = 53 - -155. Suppose w*n = 194*n + 5026. Is 29 a factor of n?
False
Suppose -6 = -2*d - 4. Suppose j + 2*b - d = 77, 4*b = 5*j - 362. Suppose -2*p + j = -2*i, -189 + 66 = -3*p - i. Is 20 a factor of p?
True
Suppose 5*d + 43 = 173. Suppose -3*g + d = -22. Is 42 a factor of (g/2)/(2/22) - -2?
False
Let g = 9837 + -5636. Is g a multiple of 4?
False
Suppose -5*d - 18637 = -2*b, 3*b + 5*d - 23910 = 4133. Is 15 a factor of b?
False
Suppose -2*p - 5*p = 12208. Let l = p - -2563. Is 39 a factor of l?
True
Is 329*(55250/91)/17 a multiple of 10?
True
Let i(h) = -370*h - 1574. Does 9 divide i(-12)?
False
Suppose 19*m - 24 = 109. Is 2/m - (-7254)/91 a multiple of 4?
True
Is (180/70)/((-18)/(-3717)) a multiple of 9?
True
Let q be ((-1)/3)/(65098/(-65109) - -1). Let r = q - -3835. Does 49 divide r?
True
Suppose -198 = -4*w - 46. Suppose -236 = -6*z - w. Let o = -10 + z. Is 23 a factor of o?
True
Let p be ((-24)/20)/(1*3/(-10)). Suppose 0 = 2*s - p*s + 10, -419 = -4*m + 5*s. Is m a multiple of 37?
True
Suppose -792*g = -791*g + 1, 0 = 5*r + 4*g - 93666. Does 108 divide r?
False
Suppose 85*q - 2752304 = -39*q. Does 31 divide q?
True
Suppose 0 = 5*g + 15, -5*g + 8 = 2*o + 15. Let f(i) = -2*i**2 + 12*i - 28. Let k be f(o). Is 11 a factor of 2*-2 - (k - 141)?
False
Let a(z) = -14*z - 8*z + 7 + 4 + 2 + 106. Is 31 a factor of a(-27)?
True
Let g(a) be the first derivative of a**5/20 + a**4/6 + a**3/6 + 20*a**2 + 17*a - 13. Let i(n) be the first derivative of g(n). Is i(0) a multiple of 20?
True
Suppose 0 = c + 12*c - 10588 - 852. Is 22 a factor of c?
True
Is 19 a factor of 4/(-6) - (-22 + (-109963)/69)?
True
Let u = 29 + -29. Suppose -18*m + 3875 - 41 = u. Does 34 divide m?
False
Let u(f) = f**2 - 43*f + 84. Let m be u(43). Does 6 divide (-4 - 272/28)/((-8)/m)?
True
Suppose 3*r = k - 6591 + 23439, 5616 = r - 3*k. Is 39 a factor of r?
True
Suppose -4*p + 10281 = 3*u, -3*p + 1889 = -2*u - 5843. Is p a multiple of 99?
True
Suppose 4*c + c = 2*g + 230, 4*c = 4*g + 172. Let v = c + -61. Is 13 a factor of (-2)/v + 3100/130?
False
Suppose 174*p + 239616 = 226*p. Is 9 a factor of p?
True
Let y be (51646/(-442) - 4/26)*-3. Suppose -3*r = -5*k + 347, -8*k + 3*k + y = r. Does 18 divide k?
False
Let i(t) = t + 18. Let h(l) = -3*l - 36. Let q(f) = -6*h(f) - 15*i(f). Let u be q(19). Suppose -2 = -w + 2*d, u*w - 3*d = 2*w - 3. Is 3 a factor of w?
True
Suppose -7*g = -2*j - 4*g - 274, 270 = -2*j + 4*g. Let h = j - -174. Is 3 a factor of h?
False
Let h = 632 + -211. Let d = 844 - h. Does 9 divide d?
True
Let f = -206 + 602. Suppose f = -24*v + 30*v. Does 66 divide v?
True
Let c be 122 - (3 + -3 + 4). Suppose y = -y + c. Suppose 39 + y = 2*l. Does 18 divide l?
False
Suppose 9*a - 10270 = 4*a + 5*d, -7*d = 0. Does 41 divide a?
False
Let g = -2141 - -4169. Suppose 9*y - 3*y - g = 0. Is y a multiple of 13?
True
Let o = -522 - -485. Let g = o + 58. Does 21 divide g?
True
Let x = -180 - -180. Suppose y + 7*k = 2*k + 840, -3*y + 3*k + 2556 = x. Is 17 a factor of y?
True
Let m = 62 + -51. Suppose m = g + 6. Let h(c) = 5*c - 15. Does 10 divide h(g)?
True
Suppose -j = 11*n - 339027, 15*j - 10*j - 61675 = -2*n. Is 92 a factor of n?
True
Suppose w - 208 = -10*m, 2*m - 408 + 1198 = 4*w. Is w a multiple of 11?
True
Let o(i) = 220*i**2 + 19*i + 4. Let g = -464 + 466. Is o(g) a multiple of 22?
False
Let n = 82 - 85. Let x be 8*(2 - -20) + n. Does 16 divide x + 0 + -12 + 15?
True
Suppose -61*a 