 -2*r. Does 17 divide 2 - (j - -3 - 113)?
False
Suppose 15*l = 14*l - z + 2, 3*l - 4*z = 13. Suppose 0 = 5*c - l*k - 1122 - 178, 5*c - 1300 = 2*k. Is c a multiple of 10?
True
Suppose 35*j = 299118 - 71828. Does 44 divide j?
False
Let y be ((-3)/(-4))/(1/(-180)). Does 29 divide (-2)/(-6) + (-62595)/y?
True
Let s be (-21)/((-6)/2) - 6/3. Suppose 3*d = 0, 0 = -5*w + 3*d + 15 + 5. Suppose -a + 17 = -q + w*a, 2*q = -s*a + 26. Is q a multiple of 3?
True
Suppose -290*w + 315773 + 198109 = -563178. Is 26 a factor of w?
False
Let a(t) = t**3 + 44 - 13*t + 16 - 33*t**2 + 30*t**2. Is 18 a factor of a(6)?
True
Suppose g = -9*n + 7*n - 349, -g - 5 = 0. Is (n/(-10))/(47/3055) a multiple of 39?
False
Let w(i) = 2*i**3 - 11*i**2 + 4*i + 5. Suppose -3*r = -16 + 1. Let x be w(r). Suppose s + x = -5*d + 1, 4*s - d = 109. Is 5 a factor of s?
False
Suppose 2*i = -5*b + i + 6926, 5*b + 3*i = 6918. Is 18 a factor of b?
True
Let y(j) = -80*j + 104. Let w be y(-7). Suppose 0 = 9*r - w - 119. Does 3 divide r?
True
Suppose 0*g - 3*s = 4*g - 47, 4*g = -4*s + 44. Let a be (29 - (-4)/1)/(3/2). Suppose g*d = 16*d - a. Does 5 divide d?
False
Suppose -130152 = -278*i - 215*i. Does 4 divide i?
True
Suppose 0 = -6*v - 11*v + 85. Let x(h) = 16*h**2 + 15*h - 13. Is x(v) a multiple of 42?
True
Suppose -5*b + p = -27856, -3*p = 11*b - 6*b - 27832. Does 4 divide b?
False
Let k be (8 + -2)/(3/(-2)). Let v(h) = -h + 3. Let m(t) = t - 2. Let y(a) = -3*m(a) - 2*v(a). Does 4 divide y(k)?
True
Suppose 19 = 5*p + 9. Let o be -2 + (p/2 - 94). Let j = o + 282. Is 11 a factor of j?
True
Let c(u) = 9*u**2 + 21*u + 510. Is 20 a factor of c(-34)?
True
Suppose f + 9 = 2*h, -2*h + 4*f - 5*f = -15. Let m be (-32)/5*(h - -4). Let p = 108 + m. Is p a multiple of 11?
True
Suppose -u + b + 2309 = 0, 7*u - 59*b + 63*b - 16174 = 0. Is u a multiple of 11?
True
Let p = 36777 + -11708. Is p a multiple of 167?
False
Let k be (-8)/(-4) + (1257 - 0). Let h = k + -679. Suppose -12*g + 16*g = h. Is g a multiple of 9?
False
Suppose 3*g - 2*h - 15710 = 0, -3*g = 380*h - 376*h - 15740. Does 12 divide g?
False
Let w = 74 + -32. Let x = -60 + w. Is 14 a factor of ((-8660)/x)/5 + (-4)/18?
False
Let q be (-2 - 2)/((-2)/8). Suppose -q - 8 = -6*z. Let x(u) = u**3 - u**2 - 4*u + 17. Does 7 divide x(z)?
True
Suppose 23*s - 653558 = 47827. Is 82 a factor of s?
False
Suppose -q + 212 = 3*q. Let p = q + -1. Let u = p + -36. Is u a multiple of 8?
True
Suppose -3*u + 15 = 9. Let m be 1 - (4/(1 - -1))/u. Suppose -l + 72 = 4*z, z - 18 = -m*z + 5*l. Does 6 divide z?
True
Let y(j) = -11292*j**3 + 16*j**2 - 5*j - 20. Is y(-1) a multiple of 23?
True
Let y = 743 + -110. Let s = y - 376. Is s a multiple of 19?
False
Let n(i) = -10*i - 7. Let m(a) = a + 1. Let g(l) = -6*m(l) + n(l). Let s be g(-7). Let u = -68 + s. Is u a multiple of 6?
False
Is (-230 + 30595)*2/5 a multiple of 154?
False
Suppose 18*r + 9*r - 665280 = -6*r. Is 35 a factor of r?
True
Let v = -34 + 36. Suppose 6*y + v*y = 7296. Is y a multiple of 38?
True
Suppose 0 = 5*o - 7 + 17, -4*j + 3*o = -4226. Suppose -5*c + b - j = 6*b, 4*c + 849 = -3*b. Let v = c + 378. Does 27 divide v?
True
Suppose -2*i = -5*k + 31 - 6, -3*i = -2*k + 10. Is ((-7792)/(-28))/(k*10/175) a multiple of 15?
False
Let l(h) = -h**2 + 14*h. Let f be l(14). Let t be 5/(-20) + (-505)/(-4). Suppose 4*n - 116 = 4*s, -4*n = -f*n - 2*s - t. Does 13 divide n?
False
Let q(m) = 7*m**2 + 15 - 636*m + 288*m + 287*m. Is q(14) a multiple of 13?
True
Let t(v) = 5*v - 101. Let p be t(20). Is 14 a factor of (368/(-56) + -4)/(p/7)?
False
Let i = 6996 + -3300. Does 14 divide i?
True
Suppose -70 = -4*z + 46. Suppose z*k = 11*k + 3960. Does 55 divide k?
True
Let l be 20*((-1017)/36 - 7). Let m = l - -1142. Is 13 a factor of m?
False
Let p(y) = -y + 1. Let r(d) = -113. Let z(w) = -2*p(w) - 2*r(w). Let a be z(0). Suppose v = 3*g + 68, -v = 2*v - 5*g - a. Is v a multiple of 18?
False
Does 8 divide (-16*(-3)/15)/((105/(-250))/(-21))?
True
Let u(s) = 99*s**3 - 5*s**2 + 45*s - 10. Does 14 divide u(4)?
True
Suppose 50*v + 49*v - 108392 = 31*v. Is v a multiple of 14?
False
Let o = -15 + 19. Suppose o*z - g + 4*g = 394, -z = 5*g - 90. Does 9 divide z?
False
Let c(n) be the first derivative of n**3/3 - 9*n**2/2 + 29*n + 4. Let l be c(8). Does 35 divide 15*4/(36/l)?
True
Suppose -5*x + 2821 = 3*p, 927 = p - 24*x + 19*x. Is 9 a factor of p?
False
Let n = 14355 - 13420. Is 49 a factor of n?
False
Suppose 64*v + 53944 = 66*v - 4*y, -5*v + 3*y + 134853 = 0. Does 31 divide v?
True
Let b(u) = 159*u + 760. Does 35 divide b(12)?
False
Let y be ((-140)/16 + 2)*(-16)/2. Let p = -52 + y. Suppose -40 - 64 = -p*v. Is 26 a factor of v?
True
Let v = 4042 - -3806. Does 4 divide v?
True
Let h(w) = 16*w**2 - 9*w + 4. Let u be h(2). Let l = u - -60. Suppose -3*j + 4*j - l = -2*y, -162 = -3*y - 3*j. Does 8 divide y?
True
Suppose -6*t + 2*z = -5*t - 414, -t = -5*z - 402. Suppose 3*n - 376 = t. Is 15 a factor of n?
False
Let p(z) = -z**3 - 20*z**2 + 5*z - 47. Let f be p(-20). Let o be 4/(-6)*3 - 307. Let h = f - o. Is 17 a factor of h?
False
Let h = 65 - 60. Suppose -4*k + h - 117 = 0. Is 36 a factor of 2522/k*-2 - (-5)/(-35)?
True
Let c = 138 - 142. Is 5 a factor of ((-51)/c)/(48/128)?
False
Let l(s) = s**3 + 20*s**2 - 21*s - 27. Let n be l(-18). Suppose -4*q - 4*o - o = -n, q - 5*o = 281. Is q a multiple of 16?
True
Let p(l) = 51*l**2 - 1. Let d = 322 + -320. Is p(d) a multiple of 29?
True
Is 15/18 + ((-74)/24 - -4)*1306 a multiple of 4?
False
Suppose 3*f + 956 = -f - 4*n, 3*n + 6 = 0. Is 26 a factor of 158/f - 254/(-3)?
False
Let q(u) = -u**2 - 99*u + 6063. Does 43 divide q(0)?
True
Suppose 90890 = 49*b - 52002 - 99168. Is b a multiple of 10?
True
Suppose n = -21 + 6. Let z = n + 57. Suppose 3*j + 239 = 4*i, 4*i + 2*j - 172 - z = 0. Does 8 divide i?
True
Let t be ((-2088)/(-9) + 3)/((-1)/5). Let v = -97 - t. Is v a multiple of 22?
True
Is 9 a factor of (1142174/(-2233) + 34/493)/((-2)/21)?
False
Suppose -1347 = 3*p - 3*z - 11070, 5*p = -4*z + 16178. Is p a multiple of 83?
False
Suppose -s = 3*d - 27, 6*s - 5*d = 2*s + 159. Suppose -u = u + s. Is 21 a factor of u/24 - 591/(-4)?
True
Let i be (1 - 169)*(-36)/(-48). Let f = 54 - i. Does 30 divide f?
True
Suppose 10*c - 70415 = -9*c + 62984. Does 41 divide c?
False
Let n be (-14*33/9)/(1/3). Let c = 196 + n. Does 5 divide c?
False
Let z = -14 - -3970. Is 23 a factor of z?
True
Suppose -2*p = 15*j - 11121, 5610 = -3*p + 4*p + 2*j. Is p a multiple of 84?
True
Let l = -122 + 130. Suppose -l*g - 2*g + 110 = 0. Is g a multiple of 11?
True
Let x(a) = 3*a - 2. Let t be x(1). Let y be 1*t/(-2)*-46. Suppose 3*k + y = 203. Does 10 divide k?
True
Suppose -2*m - j = m - 2522, -5*m = -3*j - 4208. Is 15 a factor of m?
False
Suppose 0 = 81*f + 148*f - 2074354 - 989666. Is 223 a factor of f?
True
Suppose -2*b + 2*b = 2*b. Let q be (b + -99)/((-15)/50). Suppose s + q = 5*k, -4*k + 5*k - s = 70. Is 13 a factor of k?
True
Suppose -15*k + 38166 = -9*k. Suppose 4*o = -4*l + 6316, -3*o = o - 5*l - k. Is o a multiple of 44?
True
Suppose 1746 - 576 = -5*a. Let b be a*(((-5)/(-2) - 2) + -3). Suppose 15*c = 18*c - b. Does 15 divide c?
True
Suppose -10*h + 712376 = 55*h - 9*h. Is h a multiple of 23?
False
Let f = -10878 + 11303. Is f a multiple of 85?
True
Suppose -30 = -3*q + 3*p, -4*q - 2*p = -70 + 6. Let x(t) = -t**2 + 17*t - 11. Is x(q) a multiple of 14?
False
Is 11 a factor of (-11)/((-187)/65603) + 13?
True
Let y = 19 + 11. Let h be 38/76*5/(15/426). Let m = y + h. Does 5 divide m?
False
Does 10 divide 14259 + 260/195*(-18)/(-8)?
False
Suppose 3*y - 48392 = -5*x, -3*y + 5*x = -53868 + 5546. Is y a multiple of 13?
False
Suppose 4*f - 724 = 3*x, -f + 4*x = -45 - 136. Let a = -148 + f. Is 11 a factor of a?
True
Suppose -10*x - 4*p - 1982 = -11*x, 7968 = 4*x + 4*p. Is 14 a factor of x?
False
Let s(q) = 6*q - 67. Let p be s(11). Is 42 a factor of (-2 + 30)*(p - (-29)/2)?
True
Let o(z) = -3*z**3 - 18*z**2 - z - 1. Let y be o(-7). Let p = 38 + 43. Let d = y - p. Does 18 divide d?
True
Suppose -75*h = -9*h - 422466. Does 37 divide h?
True
Let i = -542 + 57. Let m = -270 - i. Does 8 divide m?
False
Suppose -15 = r - 38. Let o = -18 + r. Suppose o*k - 300 = 60. Does 36 divide k?
True
Let s = -22 - -98. Let f(n) = 3*n**3 - n**2 + 2.