- 17*y**2 - 42*y + 1. Let i be c(19). Let h = -48 - i. Does 9 divide h?
True
Suppose -4*a + 40600 = 4*m, 2*m - 1151*a = -1156*a + 20282. Does 40 divide m?
False
Let v(k) = -k**2 - 2*k + 48. Let d be v(-8). Suppose -34*f + 472 = -32*f - 4*g, 5*f - 5*g - 1195 = d. Does 6 divide f?
False
Suppose g + 87 = 86. Is 84 + (g - -6) + 100/(-20) a multiple of 7?
True
Let z = -558 + 802. Suppose 76 = 4*o - 4*h - 164, 3*h = 4*o - z. Does 5 divide o?
False
Is (-22599033)/(-1608) - (-2 + (-17)/(-8)) a multiple of 71?
False
Suppose -2*h - 34 + 30 = 0. Let c be -3 - h - (-2 + 1). Let u(f) = -f**3 + 85. Does 10 divide u(c)?
False
Let m = 13239 - 1050. Does 17 divide m?
True
Suppose -5*s = 3*d - 23403, -3*d - 8223 = -5*s + 15174. Does 90 divide s?
True
Suppose -5*b + 2*b - 122 = -5*x, b - 84 = -4*x. Suppose x*w + 0*w = 3278. Is w a multiple of 12?
False
Let b = -19 - -8. Let l(q) = -q**3 - 10*q**2 + 2*q - 21. Let r be l(b). Does 52 divide 16/(-3)*r/(-2)?
True
Let r = 142 + -146. Is 16 a factor of (43877/r)/(-17) + (-3)/(-4)?
False
Suppose -2*u - 9 = -r - 4, -2*r = -u + 5. Let f be u/(-6) + -1 + 72386/(-204). Let x = 576 + f. Is 17 a factor of x?
True
Suppose 5*a + 1467 = -2*w, -3*a - 246 = w + 634. Let p = 542 - a. Suppose 560 + p = 5*i. Is 33 a factor of i?
False
Suppose 256991 = 46*i - 196339. Does 27 divide i?
True
Suppose 0 = 3*k + 4*r - 121767, 0 = -4*k + 8*r - 9*r + 162330. Does 9 divide k?
True
Let q = 118312 - 60499. Is 23 a factor of q?
False
Let y(t) be the third derivative of -211*t**4/24 + 5*t**3/3 - t**2 + 60. Is y(-1) a multiple of 32?
False
Let g be ((-3)/(-6))/(1/(-1018)). Let l = g + 734. Suppose 2*v - l = 3*j, -5*v - 3*j + 255 = -3*v. Is v a multiple of 20?
True
Let p(r) = -r**2 - 10*r - 3. Let n be p(-8). Is (n/(-2))/((-2)/52) a multiple of 19?
False
Suppose -2*n + 4*k + 0 = -102, 241 = 5*n + 4*k. Let d = -6 - n. Let i = 158 - d. Is 27 a factor of i?
False
Let j(i) = 55*i**2 + 51*i - 690. Is j(10) a multiple of 140?
True
Suppose -49*x + 71*x - 635206 = 0. Does 127 divide x?
False
Let c be (-2)/1*(1 - 2). Suppose c*j - 4*s = 14, 4*j - 2*s - 4 = -6*s. Suppose -j*p + 24 = 3*y, -4*y - 5*p + 8 = -24. Does 8 divide y?
True
Let i = -10478 + 28915. Does 112 divide i?
False
Let o(j) = 6*j - 170. Let l be o(29). Is 0 - (16/l - 214) a multiple of 10?
True
Does 8 divide 0 - ((-4)/(-16) - 1001341/116)?
True
Suppose 23*j = 28*j - 1110. Let d = 228 - j. Does 2 divide d?
True
Suppose 0 = -n + 2*g - 0*g + 151, 4*g - 483 = -3*n. Suppose -a = n + 2. Let d = a - -242. Is d a multiple of 13?
False
Let c(r) = 2*r**3 + 4*r**2 - 16*r. Let t be c(-4). Suppose -10*x + 5595 + 4355 = t. Is x a multiple of 33?
False
Suppose -922 = 56*p - 57*p. Suppose p*z + 1008 = 924*z. Is 56 a factor of z?
True
Let m be 5 - (21/(-12))/((-1)/4). Is (87 - 3)*(-30)/9*m a multiple of 40?
True
Let a(n) = -2 + 6 - 10 + 5*n - 7. Let i be a(3). Suppose 2*b + 26 = 4*b - 3*g, i*g = b - 14. Is b a multiple of 5?
True
Let f be -62*(-52)/8 - -1. Let v = 800 - f. Is 33 a factor of v?
True
Suppose -2*u + 3 = -4*f - 15, 3*f + 17 = 5*u. Let d be f/42*3*-14. Suppose -4*c - d*k = -447 + 35, 0 = 5*c - 4*k - 479. Does 33 divide c?
True
Suppose -4*t = 6*t - 50. Suppose -6*y + 104 = -t*y. Suppose 552 = 5*c - 4*r, 0 = 2*c - 3*c + 4*r + y. Is 14 a factor of c?
True
Let j be (-37530)/324*(-2 - 4). Let z = j - 455. Does 10 divide z?
True
Suppose 5*o - 3*y = 954, 5*y = -4*o + 889 - 111. Suppose -c = -4*a - o, -c = -6*c. Let i = -18 - a. Does 10 divide i?
True
Suppose -27*n - 4878 = -5165 - 65539. Does 46 divide n?
True
Is (2*(-16 + 15))/(((-1)/(-1))/(-1268)) a multiple of 6?
False
Let j(h) = -h**3 - 10*h**2 + 11*h + 40. Let s be j(-16). Suppose -s = -7*r + 2219. Is 11 a factor of r?
True
Suppose -123*c - 742390 + 1963780 = 0. Is 15 a factor of c?
True
Let u be 11459*(0 + 24/28). Is 23 a factor of u/39 + (-34)/(-221)?
False
Suppose 39*h = 45*h - 20064. Does 4 divide h/114*(3 + (-2 - -2))?
True
Let x(g) = 9*g**2 + 8*g - 3. Let p be x(-10). Suppose -5*q - p = -217. Let i = -72 - q. Does 16 divide i?
True
Suppose -s = -2*z - 1442, 3*z + 4351 = 3*s + 2*z. Does 6 divide s/32 - (-9)/(-24)?
False
Let k(i) = -i**3 - 26*i**2 - 51*i + 12. Does 174 divide k(-34)?
False
Suppose -200 = 11*l + 3562. Let g = -215 - l. Does 18 divide g?
False
Suppose 2*t - 10 + 4 = 0. Suppose 4*d - 325 = -t*z, -z + 303 - 58 = 3*d. Does 23 divide d?
False
Let l(q) = -q**3 + 8*q**2 - 6*q - 5. Let x = -63 - -70. Let w be l(x). Is 15 a factor of (-1)/2 + (2 - (-177)/w)?
True
Suppose 4*n = -12, n + 6 = h + 2. Let c = -11 + 21. Is 13 a factor of 17 + c + (-1 - h)?
False
Suppose -2*g - 2*g + c = -87, 93 = 4*g + 5*c. Suppose -g*v = -17*v - 250. Suppose v = -u + 6*u. Is u a multiple of 10?
True
Suppose -2*h = -2 - 22. Let c = h - 7. Is ((-3)/(-10))/((-6)/(-152))*c a multiple of 19?
True
Let o(u) = 389*u - 157*u + 8*u**2 + 30 - 112*u. Is 18 a factor of o(-17)?
False
Let p = -1988 - -865. Let q = 1582 + p. Is q a multiple of 27?
True
Let t = 16041 - 903. Is 21 a factor of t?
False
Suppose -21560 = -29*t + 9*t + 38920. Is t a multiple of 6?
True
Let v(t) = 58*t**3 + 11*t**2 - 45*t + 170. Is v(7) a multiple of 36?
False
Is 330*4250/(-935)*22/(-6) a multiple of 11?
True
Let t = 6030 - 3054. Let c = t - 1506. Is 21 a factor of c?
True
Let w be (0*2/(-10))/(-1 - -2). Is 30 a factor of 148 + (6 - 4 - w)?
True
Suppose 53*n - 101530 = -18*n. Is n a multiple of 55?
True
Suppose -47*f + 68*f = -420. Let w(l) = 3*l**2 + 3*l + 240. Does 12 divide w(f)?
True
Suppose 4*m + 42 = -5*x, 39 = -4*m + 5*x + 17. Does 7 divide (-820)/m + 3 - 9/18?
True
Suppose -82 = -2*j + 11*d - 9*d, -2*j = -4*d - 72. Let q = j + 241. Does 29 divide q?
False
Let f(k) = -10*k - 3. Let m be f(-2). Let b(g) = -g**3 + 18*g**2 - 19*g - 17. Let c be b(m). Is 11 a factor of (187/c)/(1/(-3))?
True
Let i(l) = -29*l - 135*l**2 + l**3 - 3*l**3 + 305*l**2 - 137*l**2 - 30. Is i(15) a multiple of 15?
True
Suppose 3*b + 8*s - 26028 = 0, -b + 46*s - 47*s + 8676 = 0. Is b a multiple of 22?
False
Let y(f) = 2*f + 4. Let q be y(7). Suppose 2 = 20*j - q*j. Suppose -i - i + 3*c = -83, c = j. Is 6 a factor of i?
False
Let j be (16 + -7 - 11) + (1 - 9). Is (22/110 - 118/j)*6 a multiple of 9?
True
Let x(z) = z**3 + 5*z**2 + 4*z + 1. Let i be x(-3). Is 202/1 - 42/i a multiple of 6?
False
Suppose 0 = 4*x - 15*x. Suppose -4*q - 4 + 3 = -o, 5*o - 5 = x. Is 3 a factor of (-6)/((-8)/12 + q)?
True
Let w be (4 - (-13706)/(-33))*(-6)/(-4). Is 4 a factor of (w + 8)*(-4)/12?
False
Let q = -3465 + 9822. Is q a multiple of 13?
True
Suppose -91*j + 17204 = -179*j + 90*j. Does 46 divide j?
True
Let v = 34 + -32. Let b(j) = -4*j - 8*j - 5*j - v*j - 12. Does 3 divide b(-2)?
False
Suppose -2*z - 2*c - 3 = -17, 4*z = -3*c + 24. Let s = -87 + 94. Suppose 0 = 4*v + 2*g - 490, 0 = s*v - z*v + g - 493. Is 13 a factor of v?
False
Let u be -1 - ((-2 - -3)*1 + -11). Let c be (366/u)/((-2)/(-6)). Let z = -38 + c. Does 14 divide z?
True
Suppose 26*l = 23*l + 285. Let w = -32 + l. Is 18 a factor of 12/((-2)/2 + 69/w)?
True
Let y be (-26)/(-8) - (-42)/56. Let u(r) = -10*r - 3. Let i be u(y). Let p = -37 - i. Is p a multiple of 6?
True
Let j be (-2)/6 - (-50)/15. Suppose 5*c + d - 9 = -j*d, 3*c - d - 19 = 0. Suppose 2*o - 31 = c. Does 2 divide o?
True
Let p(n) = n + 1. Let q(a) = -6*a - 24. Let i(c) = -44*p(c) - 2*q(c). Suppose 2*l - 16 = 0, -4*z - 2*l + 387 - 379 = 0. Is 10 a factor of i(z)?
False
Suppose 663 = -43*z + 9700 + 45100. Is 6 a factor of z?
False
Is (-2 - -13)*40358/374 a multiple of 10?
False
Let b(a) = a**3 + 8*a**2 + 9*a + 19. Let p be b(-7). Suppose 4*q + 21 = 5*z, -4*z - 26 = p*q - 10. Let o = 60 + q. Does 36 divide o?
False
Let s = 3 + 105. Suppose 5*j + 222 = -3*q, -2*j + 25 = -2*q + 117. Let m = j + s. Does 8 divide m?
False
Suppose -81*h + 73*h = -2080. Let n = h + 568. Does 14 divide n?
False
Let v = 180 - 174. Suppose -8*c + 208 = -v*c. Is c a multiple of 8?
True
Let o be (-1)/(-4 - -3)*21. Let s be 217/o - 2/(-3). Suppose s*q - 1170 = 2*q. Is q a multiple of 29?
False
Suppose -63*c = -59*c + 164. Let i = c + 46. Suppose 0 = -i*m - m + 366. Is 11 a factor of m?
False
Suppose 2*q - 525 = -525. Let g(b) = -b**2 + 13*b + 544. Is g(q) a multiple of 11?
False
Let g be 4/8 - 5/10. Suppose -4*s = 5*b - 304, -5*b - 122 = -2*s - g