e a?
True
Suppose 13*g + 42 = 14*g. Suppose 0 = -q + 5*l - 3, q + 3*l + 13 - g = 0. Suppose -q*b = -b - 1456. Is b a multiple of 18?
False
Let y be (-25)/(-3 + -2) + (-1)/1. Let j be 13/y + (-10)/40. Does 14 divide 81/j + (-1 - 0)*-1?
True
Suppose 6*k - 358398 = -36*k - 6774. Is 23 a factor of k?
True
Suppose -3*t = -5 - 10. Let r be (-3 - 14/(-4)) + t/2. Suppose 380 = 5*g - 0*q - 4*q, 2*q = -r*g + 228. Is 18 a factor of g?
False
Let i(t) = -1465*t + 22 - 8 + 1470*t. Is 28 a factor of i(14)?
True
Let z(o) = 3*o**2 - 6*o - 38. Let y be z(13). Let j = 126 - y. Let d = j - -373. Is d a multiple of 12?
True
Suppose -799 = -w + 74. Let a = -197 + w. Is a a multiple of 45?
False
Let b be (7/(-21))/(1/996). Let a = b + 686. Does 11 divide a?
False
Let b = -4679 + 9581. Does 38 divide b?
True
Is 198 a factor of 125606/299 + (-8)/92?
False
Let l be -95 - (6 - 7)/((-1)/(-1)). Does 23 divide (1 - -3) + (18/(-3) - l)?
True
Suppose -5*l = 175*p - 180*p + 35160, 14068 = 2*p - 4*l. Is 163 a factor of p?
False
Suppose 4*l = -f - 45 + 119, 2*l - 280 = -5*f. Does 20 divide (-4792)/(-20) - (-4 - f/(-15))?
True
Let x(c) = c**3 - 4*c**2 - 45*c - 31. Let b = -302 + 312. Is x(b) a multiple of 7?
True
Let i(n) = n**3 + 6*n**2 + 4*n - 4. Let b be i(-2). Suppose b*g - q = 587, -4*g - 2*q + 624 = 34. Is g a multiple of 3?
True
Let s(b) = 17*b**2 + 21 + 43*b**3 + 40*b**3 - 84*b**3 + 19*b. Suppose -o - 17 = -4*c + 3*c, -5*c + 88 = -2*o. Does 13 divide s(c)?
True
Let z = -9495 + 10194. Does 2 divide z?
False
Let n(c) = 4*c**2 - 99*c + 1157. Is 27 a factor of n(35)?
True
Let d(v) = -4*v + 58. Let i be d(14). Suppose 3*q - 365 - 319 = 0. Suppose i*g + 124 = 4*g - 5*j, -q = -3*g - 3*j. Is 36 a factor of g?
True
Let x = 298 + -106. Let u = -27 + 31. Suppose -8 = -u*q + x. Is q a multiple of 5?
True
Let y(a) = 6*a**2 + 43*a + 44. Is y(-12) a multiple of 87?
False
Let x be 2/3*(1 - 6/(-3)). Suppose 5*p - x = s + 14, 12 = p + 2*s. Let t(n) = 3*n**3 - 5*n**2 - 6*n + 4. Is t(p) a multiple of 16?
False
Let j = -140 - -143. Suppose -q - 4*q = 5*s - 480, q + j*s = 106. Is q a multiple of 50?
False
Let b(j) be the second derivative of -j**3/3 - j**2/2 - 17*j. Let c be b(6). Let p(m) = -m**2 - 19*m - 6. Is p(c) a multiple of 9?
True
Let j be (8 - (-24)/(-2)) + (-66)/(-2). Suppose -j + 335 = 17*a. Is a a multiple of 6?
True
Suppose -4*k + 67 + 41 = 0. Suppose -l - k - 27 = i, 0 = -5*i - 3*l - 268. Let w = -42 - i. Is w a multiple of 3?
False
Let h be 5 + (-6 - -4) - (-112 + -1). Let b = h + 136. Does 36 divide b?
True
Suppose 231*q - 236*q + 58711 = j, 2*q = 5*j + 23479. Is 114 a factor of q?
True
Let g(v) = 203*v + 2599. Is g(7) a multiple of 55?
False
Suppose 0 = 18*a - 14764 - 10310. Is a a multiple of 23?
False
Suppose 39 = -4*h + 15. Suppose 63*g + 196 = -119. Is (4/h)/(g/630) a multiple of 14?
True
Let a(y) = 9*y**2 + 1. Let m be a(1). Suppose -60*d - 196 = 284. Is 3 a factor of (-4*(-2)/m)/(d/(-180))?
True
Let j(t) = 2*t**3 - 138*t**2 - 551*t + 150. Does 9 divide j(75)?
True
Suppose -14860 = -5*z + 5*n - 1190, -2*z = 2*n - 5452. Is 65 a factor of z?
True
Let c be 15/(-6)*24/(-10). Suppose -a - 4*v - 5 = c, -3*a + 3*v + 27 = 0. Suppose -5*s - 5*i + 82 + 103 = 0, 5*s - a*i - 225 = 0. Does 17 divide s?
False
Let z = 784 + -460. Suppose 16*d = 22*d - z. Is d a multiple of 6?
True
Suppose -3*x + 34 = -2*o, -4*o = o + 25. Let v = 18 - x. Suppose -z = -p - 2 - v, z - 3*p = 22. Is z a multiple of 2?
False
Let m = -19950 + 44042. Does 76 divide m?
True
Suppose 2*g = -17 + 11. Does 12 divide 264 + (-3 + (-21)/g - 4)?
True
Let l = 3087 + 1634. Is 6 a factor of l?
False
Let p = 1748 - -22237. Is 195 a factor of p?
True
Suppose 0*b + 2*b = -2*l + 10460, 3*b + 26166 = 5*l. Is 13 a factor of l?
False
Let f(v) = 7*v - 11. Let q be f(6). Let i be (-700)/(-12) - 4/(-6). Let n = i - q. Is 4 a factor of n?
True
Let g = -70 - -40. Is 1590/12*(-12)/g a multiple of 9?
False
Suppose 0 = 2*s + 2 - 30. Suppose -2*i - 6 = -s. Suppose -d = -i*d + 15. Does 5 divide d?
True
Let c(v) = v**2 + 25*v - 92. Suppose -g + 10*g = 36. Does 3 divide c(g)?
True
Let w(c) be the third derivative of 19/6*c**3 - 5/24*c**4 - 5*c**2 + 0 + 0*c. Is w(-8) a multiple of 13?
False
Let l = 8789 + 8139. Is 16 a factor of l?
True
Let d(y) = 1131*y + 517. Is 3 a factor of d(3)?
False
Let b be -4 - ((-4)/6*-6 + -922). Suppose -2*h - 3*d + b = 0, 0 = -6*d + 2*d. Is 37 a factor of h?
False
Let i(r) = -21*r + 20. Let y be i(1). Let g(f) = 53*f**2 - 6*f - 5. Does 2 divide g(y)?
True
Let p(u) = -39*u + 2353. Is p(44) a multiple of 13?
True
Suppose -5*v = -3*b + 265, 5*v = -4*b + 378 - 13. Let y be (-81)/(-3)*4/(-6). Let g = y + b. Is g a multiple of 9?
True
Suppose -5*h - j = -2*h - 49, 4*h = -4*j + 52. Let s(c) = -c + 6*c - c - 68 + h. Does 13 divide s(23)?
False
Let t(v) = v**2. Let b be t(1). Let p(q) = 845*q - 420*q - 6 - 420*q + 8*q**2. Does 2 divide p(b)?
False
Suppose -4*l + 3*c + 14 = 0, 4*c - 3*c + 18 = 4*l. Suppose 1052 = l*m + 332. Let x = m + -124. Does 4 divide x?
True
Suppose c - 2*o = -3*c + 1922, 0 = 3*c - 2*o - 1442. Does 56 divide c?
False
Let i(q) = -4*q**2 + 2*q - 9. Let m be i(-6). Let r = 335 + m. Does 10 divide r?
True
Suppose -45*y + 26766 = -978039. Is 21 a factor of y?
False
Suppose 74074 = -82*q + 108*q. Is q a multiple of 11?
True
Is (30 + (-288)/(-32))/(((-1)/(-339))/1) a multiple of 203?
False
Let g(q) = -2*q + q**3 + 13*q - 2 - q - 6*q**2. Suppose 11*o - 80 = -9*o. Does 6 divide g(o)?
True
Suppose 374637 = 22*u + 23341. Does 16 divide u?
True
Suppose -2*r = -3*r - 5*v + 12, 4*v + 2 = 5*r. Suppose -3*d + 293 = -4*a, 3*d + r*a - 209 = 72. Is d a multiple of 8?
False
Suppose 2 = -12*r + 11*r. Is 21 a factor of (3 - (r + 4))*513?
False
Let y(z) = 2*z**2 - 8*z + 6. Let w be y(6). Let d = 66 + -53. Suppose d*u = 15*u - w. Does 4 divide u?
False
Suppose k - 9206 = -2*c + 10600, -2*k + 39618 = 2*c. Does 39 divide k?
True
Suppose -80*v + 79*v = -427. Let i = -308 + v. Is i a multiple of 17?
True
Let v(u) = 607*u + 1410. Does 109 divide v(8)?
False
Let i = -3875 + 7612. Suppose -711 = -4*m + i. Does 55 divide m?
False
Suppose -k - 4*o + 17236 = 0, -94*k + 99*k - 86026 = 2*o. Does 36 divide k?
True
Let m(p) = 103*p**2 - 6*p - 1. Suppose 0 = v - 2, 8*g - 12*g + 4*v = 0. Does 11 divide m(g)?
False
Let f = -564 - -1662. Is f a multiple of 23?
False
Let v = -38 + 114. Let t = 275 - v. Let r = t - 119. Is r a multiple of 16?
True
Suppose -117*y + 251649 = -47052. Is 37 a factor of y?
True
Is (-3)/(-1) + -3 + (12 - -10236) a multiple of 42?
True
Let a = 126812 + -61500. Is a a multiple of 32?
True
Let r(a) = 2*a - 148. Let y(v) = -v + 150. Let s(j) = 4*r(j) + 5*y(j). Does 11 divide s(6)?
True
Suppose 385*t = 384*t - 2, 2*d = -4*t + 1416. Does 5 divide d?
False
Suppose -2*d - 5*u + 55649 + 13576 = 0, -103833 = -3*d - 3*u. Is 14 a factor of d?
False
Let j = 13938 + -2702. Is 16 a factor of j?
False
Suppose 15*i - 20*i = -10. Let p be 3 - (-5)/i*2. Is (4/p)/((-3)/(-162)) a multiple of 5?
False
Let b be 12/10*(-3)/((-3)/5). Suppose -b*o + o - 45 = 0. Let p(c) = -c**2 - 11*c + 8. Is p(o) a multiple of 26?
True
Let o = -154 - -299. Suppose -4*z - 4*h - 680 = 0, 735 = -5*z + h - o. Let y = z - -265. Does 50 divide y?
False
Is ((-1260)/720)/((0 - 1)/572) a multiple of 75?
False
Let d(l) = 16*l + 11. Let h be d(14). Let z = -218 + h. Is 17 a factor of z?
True
Suppose -20*l + 792 - 692 = 0. Suppose 0 = 5*d - 1149 + 219. Suppose -2*c = -l*h + d, -2*h - 3*h = -c - 183. Is 12 a factor of h?
True
Suppose 0 = -2*l - 39 - 21. Let r be (3 - l/(-4))*4. Let s = -3 - r. Does 15 divide s?
True
Suppose 34*q - 54664 = 9586 + 24762. Does 30 divide q?
False
Suppose 2*q - 15*q + 9*q = -95280. Does 10 divide q?
True
Let k(v) = -2*v**2 + 29*v + 37. Let f(n) = 10*n + 12. Let z(c) = 8*f(c) - 3*k(c). Is 18 a factor of z(-6)?
False
Let w(x) = 37*x - 150. Let r(t) = -37*t + 149. Let y(n) = -5*r(n) - 4*w(n). Does 19 divide y(7)?
True
Let o(y) be the second derivative of 7*y**3/3 - 5*y**2 - 161*y. Let j(x) = -x**3 + 4*x**2 + x + 5. Let w be j(4). Does 29 divide o(w)?
True
Does 63 divide 27 - (-17 + -63968)/5?
False
Let n = 20 + -11. Let d = -183 + 186. Does 6 divide n/(-3) - (-25 - d)?
False
Suppose 113*w - 88462 = 682763. Does 195 divide w?
True
Suppose -5