0). Does 11 divide 3/(-2)*(-3)/((-9)/r)?
False
Suppose 12 = 3*y - 0*y. Suppose 0 = -4*x - y. Let d(l) = -40*l + 1. Does 27 divide d(x)?
False
Let d(w) = 74*w**2 + 11*w + 21. Is 29 a factor of d(-2)?
False
Let m be (-4)/(-10) - (-22380)/50. Suppose m = 4*r - x, 206 = 3*r + x - 123. Is 32 a factor of r?
False
Let v(p) = -p**3 - p**2 + 2*p + 1661. Let u be v(0). Suppose -8*i + 243 = -u. Is i a multiple of 24?
False
Let c = -1 - -7. Let q(d) = 1 + 4 + 6*d + 8*d + c*d. Is 15 a factor of q(2)?
True
Is 34/(-221) - 5154/(-39) a multiple of 15?
False
Let y(j) = 0 + 1 - 10*j + 14*j. Let i be y(-1). Does 3 divide (16/6)/(-1)*i?
False
Let y be ((-62)/(-217))/(2/14). Suppose -3*x + 48 + 10 = -5*p, -x + 20 = -y*p. Does 6 divide x?
False
Suppose 5*g - 39 - 6 = 0. Suppose -g*l - 12 = -7*l. Let p(t) = -t**3 - 4*t**2 + 2*t + 4. Is p(l) a multiple of 32?
True
Let j be 8/(-12) + (0 - (-51)/9). Suppose 0*b - 2*r = 4*b - 198, 0 = -j*b - 4*r + 246. Is 33 a factor of b?
False
Let c be (-3)/(0 + 2/(-14)). Let s = -9 + c. Is s a multiple of 6?
True
Suppose -3*q = q - 988. Let o = q + -13. Is 39 a factor of o?
True
Suppose -5*b + 3*t + 1342 = 0, 4*t + 0*t = -3*b + 811. Suppose -2*g - 5*o + b = g, 253 = 3*g + o. Let u = g + -43. Is u a multiple of 10?
True
Suppose -15 + 5 = -5*n. Let q = 1 + n. Suppose 0 = -3*k + 5*x + 68, -4*k = 5*x - q*x - 82. Does 12 divide k?
False
Suppose -i - 1 = 1, 209 = -5*f + 3*i. Let h = -19 - f. Is 25 a factor of (-8)/h + (-242)/(-6)?
False
Is 10 a factor of 30 + -30 - (-2 + -617)?
False
Suppose -3*o + 54*r - 55*r + 7730 = 0, 2*o - 2*r = 5148. Does 28 divide o?
True
Suppose 0 = 17*y - 4392 - 3020. Is y a multiple of 46?
False
Suppose 4*d + 7 = 5*d. Let j = 3 + d. Let i = 24 - j. Is 5 a factor of i?
False
Suppose 3*q = -2*q + 1055. Is q a multiple of 6?
False
Let f(h) = -h**3 + 36*h**2 - 73*h - 28. Does 11 divide f(33)?
False
Suppose 7*l = 2*l - 20. Let m(k) = 2*k**2 - 6*k - 6. Is m(l) a multiple of 7?
False
Let o be (-12)/4 - (-9 + -77)*1. Let i be (1 - 2 - 48) + 2. Let b = i + o. Is 9 a factor of b?
True
Suppose 0 = 4*u + s - 3, 3 = -s - 2. Let n(c) = 2*c - c**3 + 3*c**2 - 7*c**2 - 1 + c**u. Is 13 a factor of n(-5)?
True
Let u(l) = -l**2 + 5*l - 2. Let a be u(4). Suppose 2*j = a + 2. Is ((-2)/3)/(j/(-81)) a multiple of 7?
False
Let h = 0 + 3. Is 8 a factor of 1 + 22 + -2 + h?
True
Let f = 18 + 197. Let s = f - 154. Is 12 a factor of s?
False
Let a be (-10)/(-25)*-1*5. Let q be (a*1)/(10/(-95)). Let u = q + 41. Does 20 divide u?
True
Let r = 14 - 16. Let o be (2/(-4))/(r/312). Suppose -5*b = -g - 0*g - o, -b = 5*g. Does 6 divide b?
False
Let f be (-4)/(3 + 4 + -9). Suppose -97 = -5*t - f*q, -q + 6*q = -20. Does 7 divide t?
True
Let k be -2*(-3 + -2) + 2. Suppose 15 = -b + 5*j - 10, 5*b = -2*j + 10. Suppose -3*f + 5*x + 44 = b, 0 = -0*f - 4*f - 5*x + k. Does 4 divide f?
True
Let h(o) = o**2 - 5*o - 19. Let s be h(-7). Suppose 0 = p - 2*t - s, 7*t = 6*t - 5. Does 50 divide p?
False
Let f = 2816 - 997. Does 21 divide f?
False
Let c(q) = 2*q - 3*q + 8*q**2 - 1 + q - q**3 - 6*q. Suppose -4*i + 45 = i + 2*k, 0 = i + 3*k - 22. Does 2 divide c(i)?
True
Let k(x) = -5*x + 2. Let l be k(-1). Let c(a) = 3*a**2 - 7*a - 7. Let g be c(l). Let i = g - 41. Is i a multiple of 20?
False
Let t(j) = j**3 - 5*j**2 - 6*j + 6. Suppose 3*h = 12, -3*k = -k - 3*h. Let y be t(k). Does 18 divide y/9*(-162)/(-6)?
True
Let p be (-4 - (-2 - 4/4)) + 36. Let g(i) = i - 7. Let y be g(6). Let f = p - y. Is 18 a factor of f?
True
Suppose -3*m + 81 = 3*k - 459, 729 = 4*k + m. Let p = k + -134. Is 5 a factor of p?
False
Let c(k) = -k**3 - 11*k**2 - 116. Is 19 a factor of c(-12)?
False
Suppose 5*t - 4*j - 952 = 0, t + j - 4 = 181. Does 12 divide t?
False
Is 2 a factor of ((-80)/100)/((-4)/330)?
True
Suppose -585 = -5*p + 5*g, -2*p + 242 = -0*g + 2*g. Is (p/(-28))/(1/(-4)) even?
False
Let v be -107*(-5 + 2) + (-2 - -5). Suppose -4*q = 2*q - v. Is 27 a factor of q?
True
Let g(s) be the second derivative of 5*s**2 + 4*s - 1/20*s**5 - 3/4*s**4 + 0 - 5/3*s**3. Does 13 divide g(-8)?
True
Suppose 6*v - 2238 = -5*a, 17*v + 1346 = 3*a + 19*v. Does 15 divide a?
True
Let c(l) be the second derivative of l**3/6 + 5*l**2/2 + 5*l. Is 2 a factor of c(0)?
False
Let n(h) be the second derivative of 13*h**3/2 + h**2 + 16*h. Is n(1) a multiple of 3?
False
Let t = -57 - -315. Suppose -t = -3*a + 3*z, 2*a + 2*z - 87 = 77. Does 6 divide a?
True
Suppose 3*n + 208 = 2*i, 3*n - 2*i = 4*n + 80. Let y be (-404)/(-4) + (-4)/2 + 4. Let f = y + n. Is 14 a factor of f?
False
Suppose 87*r = -42*r + 146931. Does 62 divide r?
False
Let k = 1151 + -434. Is 27 a factor of k?
False
Suppose 0 = -0*m - 3*m + 2*i + 62, 3*m - 4*i = 64. Suppose m = -5*c, 3*y - 19 = -2*c + 81. Is 12 a factor of y?
True
Let b = 1186 + -729. Suppose 0 = 5*o + 2*g - b, 3*o + 4*g = 5*o - 178. Is 32 a factor of o?
False
Suppose -5*i + 0*i + 465 = 0. Let y = -133 + i. Is 6 a factor of (-142)/(-5) - (-16)/y?
False
Let i be 2/4 + (-237)/(-6). Does 2 divide -15*4/i*-4?
True
Suppose 0 = 63*f - 30*f - 23562. Is f a multiple of 6?
True
Let c = -170 + 300. Suppose 0 = -2*b - 2*b - 4, l + 4*b = c. Is l a multiple of 12?
False
Let g be 12/(-66) - (-1190)/11. Let t = -38 + g. Is t a multiple of 22?
False
Let k = -23 + 29. Suppose 2*y = k*y. Suppose -3*a + t + 422 - 142 = y, 0 = -t + 5. Does 13 divide a?
False
Let c be (-3)/7 - (-240)/21. Let l = -4 + 8. Let b = l + c. Does 3 divide b?
True
Suppose -2*m + 4*s - 8 = 0, 5*m = -4*s + 9 + 13. Let k(t) = -4 + t**m - 4 + 6 + t - 2. Is k(-7) a multiple of 17?
False
Suppose -3*j + 6 = 0, 1413 = -4*u - 4*j + 8293. Is 7 a factor of u?
False
Does 7 divide 70542/144 + (-1)/(-8)?
True
Suppose -4*q = q. Suppose q*l + 12 = -3*l. Is l/5*(-105)/6 a multiple of 7?
True
Is ((-16)/(-5)*-1)/(18/(-1620)) a multiple of 9?
True
Let y(g) = g. Let k be y(4). Let x(s) = -5*s**3 + s**2 + 3*s - 2. Let c(t) = t**3 + t**2 - t + 1. Let i(w) = 4*c(w) + x(w). Is 14 a factor of i(k)?
True
Suppose -4*q - 112 = -6*q. Let h = 112 - q. Is 14 a factor of h?
True
Suppose -4*f - 3*k + 14 = -15, 5*f + 3*k = 34. Suppose 2*c = -2*o - 34, 3*o = c - 0 + f. Let y = c + 19. Is y a multiple of 5?
True
Suppose -2*h = -2*k - h - 33, -5*h = -2*k - 37. Is 36 a factor of ((-24)/k)/((-2)/(-236))?
False
Let m(r) = 3*r**2 - r + 1. Let l be m(2). Let f = l + 53. Suppose 4*g + f = 224. Is g a multiple of 9?
False
Let t be (6/(-4))/(16/(-96)). Let b be (t/(-2) + 4)*6. Is 22 a factor of 651/15 - b/5?
True
Suppose 43*u - 4*u - 97656 = 0. Is 8 a factor of u?
True
Suppose 18*p = -24*p + 61446. Is 19 a factor of p?
True
Suppose -12 = -4*c + 2*a, -4*c + 4 = -3*a - 6. Suppose -2*b + 66 = -5*s, 6*s = c*s - 4*b - 12. Let d = s - -113. Is 12 a factor of d?
False
Let g(j) = -7*j - 73. Let y be g(-16). Let c = 137 + y. Is c a multiple of 11?
True
Let c be (-606)/2*(4 - 3). Let j = -127 - c. Does 12 divide j?
False
Let y = -214 - -1582. Is 12 a factor of y?
True
Suppose 114 = 5*a + 19. Let d = a - 13. Suppose -3*v - 21 = -y, -4*y + d*y = v + 62. Does 13 divide y?
False
Suppose -17*z = -14*z - 687. Does 6 divide z?
False
Let x = 19 - -1. Let r = x + -14. Let z = r + 15. Is z a multiple of 14?
False
Suppose -53350 = -34*o + 12*o. Does 25 divide o?
True
Is 1541/2 - (84/(-8) + 11) a multiple of 14?
True
Let q be -1 - (-3 + 2 + 2). Does 3 divide 276/15 + 4*q/20?
True
Suppose 14*f - 7749 = 10423. Is 61 a factor of f?
False
Suppose -5*t - 3*n = 499, -5*t - 352 = -4*n + 161. Let b = 151 + t. Let j = b + -13. Is 16 a factor of j?
False
Let z(k) = -499*k**3 + k**2 + 19*k - 16. Let j(u) = -166*u**3 + 6*u - 5. Let o(l) = -7*j(l) + 2*z(l). Does 53 divide o(1)?
False
Suppose 0*v - 48 = -3*v. Let x be v/(-28)*7/(-2). Suppose 4*s = a + 7, x*a = -a - 3*s + 39. Is 9 a factor of a?
True
Suppose -3*a = -4*d - 135, -13*a + 14*a - 2*d - 45 = 0. Does 11 divide a?
False
Suppose 280*y - 271*y - 6093 = 0. Is y a multiple of 114?
False
Let v = -757 + 991. Is 13 a factor of v?
True
Let b(l) = l. Let t be b(8). Suppose -3*m - 660 = -t*m. Does 33 divide m?
True
Suppose 0 = -33*p + 55*p - 23782. Is p a multiple of 17?
False
Suppose u - 3 = 45. Suppose -4*d + u = 3*j - j, -5*j = d - 21. Is 3 a factor of d?
False
Let w(l) = 4*l**3 - 7*l + 5. Let u(a) = 12*a**3 - 20*a + 14. Let v(r) = -6*u(r) + 17*w(r). Let m