1824. Is q a multiple of 11?
False
Does 12 divide ((-18)/5)/(48/(-4640))?
True
Suppose -2*o - 5*w + 83 + 58 = 0, 3*w = -3*o + 189. Let u = o - -82. Is 25 a factor of u?
False
Suppose 0*l + 3*z = 3*l - 123, 0 = -l - 2*z + 32. Let y = l - 30. Suppose 0 = -y*i + 7*i + 22. Does 22 divide i?
True
Suppose -2*r = k - 368, 69*k + r = 72*k - 1132. Is k a multiple of 8?
True
Suppose -3*k = -4*j - 105 + 393, 0 = -2*k. Does 24 divide j?
True
Let a(d) = -13*d**3 + 3*d**2 + 9*d + 41. Is 63 a factor of a(-5)?
False
Suppose -2*v - 30 = -8*v. Let i(b) = 25*b**2 - 6 - 19*b**2 - 6*b**3 + 5*b**3. Is 3 a factor of i(v)?
False
Let k(g) = -13*g - 4. Suppose -15 = 5*u - p, -5*p + 20 = -5. Is 14 a factor of k(u)?
False
Let c be (16/(-20))/((-3)/(-15)). Let h = c + 4. Suppose -5*w + 7*w - 150 = h. Does 25 divide w?
True
Suppose -2*q = -5*h - 55, -q - 3*q = -4*h - 104. Suppose q*r = 28*r - 324. Does 36 divide r?
True
Suppose 218 = 5*t + 4*x - 91, 3*t + 5*x - 175 = 0. Let l = 97 - t. Does 8 divide l?
True
Let d(a) = a - 1. Let u(i) = i**2 + 7*i - 7. Let n(q) = -q**3 + 4*q**2 - q + 3. Let w be n(4). Let k(h) = w*u(h) + 3*d(h). Is 3 a factor of k(-4)?
False
Let i be (-40)/(-14)*(-28)/(-8). Suppose -5*h + i = -15. Suppose 4*y - 35 - h = 0. Is y a multiple of 5?
True
Let k(o) = o**3 + 16*o**2 + 10*o - 23. Let w be k(-15). Suppose -10 = -7*c + 5*c. Suppose -c*d + w = 2*r - 36, 3*r = d - 21. Is 9 a factor of d?
True
Suppose -20*d + 4527 + 253 = 0. Does 2 divide d?
False
Suppose 0*s = -7*s - 273. Is 13 a factor of (s - 3)*1/(-3)?
False
Suppose 0 = -n + 2*a + 167, 3*n = -4*a + 9*a + 502. Does 5 divide n?
False
Suppose -5*u - 2*w + 6106 = 0, -2 = -13*w + 14*w. Does 19 divide u?
False
Let o = -320 - -412. Is o a multiple of 3?
False
Suppose 53*w - 2671 = 52*w. Is 56 a factor of w?
False
Suppose -243 = -5*a + 1527. Is a a multiple of 23?
False
Suppose p + 11 = 3*w - 5, 4 = -p. Suppose 0*v + 649 = w*v - 3*l, -2*l - 161 = -v. Is v a multiple of 17?
False
Let j be (-2 + -3)/(-7 + 6). Suppose 0 = j*c - 0*d + 2*d - 32, d - 28 = -4*c. Does 8 divide c?
True
Suppose 23*a = -11*a + 16184. Does 17 divide a?
True
Let f be (-3)/(15/(-22)) - 54/(-90). Suppose f*l = 11*l - 1350. Does 25 divide l?
True
Let l be ((-4)/8)/((-7)/(-5334)). Let d = -110 - l. Does 11 divide d?
False
Suppose 3*y = -4*z + 106, -65 = -3*z - 0*z + 5*y. Let h = 39 - z. Is h a multiple of 7?
True
Let l = 1011 + -523. Does 12 divide l?
False
Suppose -25*h + 7 = 132. Let l(b) = 6 - b + 0*b**2 - b**3 - 4*b**2 + 0*b. Is 12 a factor of l(h)?
True
Let l be 15/6*-2 + -2. Let i = l - -19. Let x = -3 + i. Does 2 divide x?
False
Suppose 4*t - 14*t = -50. Let o(a) = a**3 - 4*a**2 + 7*a - 6. Does 9 divide o(t)?
True
Let w = 263 - 73. Suppose -2*s + 81 + 65 = 3*o, -5*s + w = 4*o. Does 10 divide o?
True
Let r be -3 - (-1)/((-2)/(-170)). Does 9 divide (r/2 - (-1 + 3)) + -3?
True
Suppose -19 + 203 = r. Is r a multiple of 36?
False
Let l(d) = -d + 107. Let j be l(0). Let n = 37 - j. Let y = n - -126. Does 14 divide y?
True
Suppose -4*d + 292 = 12. Is 70 a factor of d?
True
Let a = 40 + -21. Suppose 0 = 5*r - x - 50, 4*x - a = 1. Is r a multiple of 11?
True
Let c = -31 + 35. Let m = c + -2. Let q = m - -33. Is q a multiple of 12?
False
Let v = 33 - 37. Let y(r) = -20*r + 5. Let b be y(v). Suppose -7*n + 12*n - b = 0. Is n a multiple of 17?
True
Suppose 12*q = -37*q + 39984. Is 12 a factor of q?
True
Is 78/52 - 2*567/(-12) a multiple of 7?
False
Suppose 615*n = 623*n - 4096. Is n a multiple of 16?
True
Let g(q) be the second derivative of -53*q**3/6 + 3*q**2/2 - 2*q - 5. Is 7 a factor of g(-1)?
True
Let s = 1062 - 936. Is s a multiple of 4?
False
Let v be 9/(-21) - (2 - (-17)/(-7)). Suppose c - 49 - 11 = v. Is c a multiple of 12?
True
Suppose 2*k = 0, 7*k = 4*i + 2*k - 56. Let b = i - 9. Suppose -b*p + n = -180, 0 = -p - 2*p - 4*n + 108. Is 5 a factor of p?
False
Suppose 7 = 2*j + 4*d - 9, -2*j + d + 1 = 0. Suppose -j*a + 110 + 34 = 0. Suppose n + 2*n - a = 0. Is n a multiple of 19?
False
Let d = 685 + -583. Is 21 a factor of d?
False
Let p(r) = -r**2 - 2*r + 3. Let v be p(-3). Suppose l + v*l + 15 = 0. Is 7 a factor of (-2)/(-3) + (-95)/l?
True
Is -2*(-299)/(-26)*-85 a multiple of 6?
False
Let x(w) = 4*w**3 - 7*w**2 - 2*w + 3. Let m(t) = 3*t**3 - 7*t**2 - 2*t + 4. Let j(s) = 5*m(s) - 4*x(s). Is j(-8) a multiple of 22?
True
Let c(t) = 41 - 43 - 30*t + t. Is c(-1) a multiple of 13?
False
Is 26 a factor of (1953/27)/7*15?
False
Let g = -30 + 22. Let q(j) = -3*j + 7. Let n be q(g). Let x = n - -49. Is x a multiple of 12?
False
Suppose 4*y = -2*k - 12, -4 = -4*k + 2*y - 3*y. Let z(t) = t**3 - 5*t - 1 + 18*t**2 - 12*t**k - 9*t**2. Is 5 a factor of z(5)?
False
Suppose -m = -4*h + 8, 24 = 4*h + 3*m - 8*m. Suppose -3 = c - d - 4, -c + 3*d + h = 0. Suppose 4*k + c = -3*j + 2*j, -2*j + k = -43. Is j a multiple of 7?
False
Suppose 2*x + 1 = c - 0*c, 4*c + 5*x - 56 = 0. Let n(i) = -c*i - 23*i + 9*i - 13. Is 36 a factor of n(-6)?
False
Suppose -1193 = -26*g + 3591. Does 16 divide g?
False
Let p(b) = 20*b - 9. Let n be p(2). Suppose -c - 11 = -n. Is 10 a factor of c?
True
Suppose 0 = -4*j + 618 + 162. Suppose 2*c - 57 - j = 0. Does 15 divide c?
False
Suppose -40*v + 24*v = -4576. Is 22 a factor of v?
True
Let z = 4 + -2. Suppose 46 - 40 = z*f. Is 3 a factor of f?
True
Suppose -4*a = -10 + 2. Suppose -a*w + w = -38. Does 19 divide w?
True
Suppose -10*x = -2517 - 1743. Is x a multiple of 10?
False
Let m = -157 - -191. Is 7 a factor of m?
False
Suppose -3*x - 2 + 21 = 2*n, 4*n - 17 = -3*x. Let l(h) = -h**3 + 6*h**2 + 5*h. Let d be l(x). Let v = 45 + d. Is 12 a factor of v?
False
Let n = -48 + -96. Let g = -138 - n. Is 6 a factor of g?
True
Is 163/1 - (-5 + 7) a multiple of 7?
True
Let c(v) = -v**3 - 8*v**2 + 5*v - 12. Let k be c(-9). Suppose 5*u - 3*g - 114 = 0, -66 - k = -4*u + 2*g. Is u a multiple of 6?
False
Suppose 0 = -5*r + 5*j + 350, -5*r + 6*r + 4*j - 60 = 0. Does 17 divide r?
True
Suppose 3*s = -2*s + 25. Suppose 3*y - 2*f - 652 = 0, -2*f - 1078 = -s*y - 3*f. Suppose 0 = -4*p + 5*t + y, -4*t - 16 = -0*t. Is 21 a factor of p?
False
Let z be (-28)/42 - (-22)/6. Suppose -p + 43 = a - 2*p, z*a = -p + 141. Let d = a - -5. Does 23 divide d?
False
Let a(q) = -8*q + 77. Is 2 a factor of a(-32)?
False
Is 991/4 + 2/8 a multiple of 36?
False
Suppose -7*r + 6098 = -167. Suppose 968 + r = 9*m. Is m a multiple of 33?
False
Let o = 543 - -18. Let q = o + -390. Suppose 3*x = -0*x + q. Is x a multiple of 20?
False
Let h(c) = 55*c**2 + 61*c + 166. Is h(-3) a multiple of 22?
False
Suppose 6*d - 11*d - 2650 = -5*o, -5*o - 5*d + 2650 = 0. Is 11 a factor of o?
False
Let a(u) = -u + 8. Let d be a(6). Suppose 4*p + 0*z - 5*z - 4 = 0, -d*p - 5*z + 32 = 0. Let i(q) = q**3 - 7*q**2 + 7*q + 1. Is i(p) a multiple of 2?
False
Suppose 2*i + 4*j + 22 = 0, -5*j = -i - 13 - 5. Let v be 69/6*5/(15/(-6)). Let o = i - v. Is 3 a factor of o?
False
Suppose -14*v + 13*v - 10 = 0. Let x be 15/v*-2 - -285. Suppose m + x = 5*m. Is m a multiple of 12?
True
Suppose -743 = -3*s + 4*z, 5*s - 3*z - 625 = 595. Is s a multiple of 10?
False
Suppose -3*w = f - 29, -2*f = -4*f + 4*w + 108. Suppose -4*x + f = 4*n, -2*n + 36 = -0*x + 3*x. Is 4/14 - (-864)/x a multiple of 19?
False
Does 3 divide (-5)/(15/(-3))*333?
True
Let w be 9/21 - 125/(-35). Suppose -w*k + k = 0. Suppose 2*d + k*d = 136. Does 17 divide d?
True
Let g(s) = -s**3 - 21*s**2 - 18*s + 25. Let h be g(-20). Let x(q) = q**2 - 2*q + 6. Let n be x(5). Let o = h + n. Does 2 divide o?
True
Let t(a) = a**3 - 5*a**2 + 20*a - 11. Let r be t(8). Let b = 493 - r. Is b a multiple of 38?
True
Suppose 12*q - 16*q = -348. Let k = q - 25. Suppose 4*c - 158 = -k. Is 12 a factor of c?
True
Let j(t) = -3*t**3 + t**2 + 2*t + 1. Let m be j(-1). Let s(u) = -u**2 - 1 + 0*u**2 - u - 5*u**3 - 2*u**m. Is s(-1) even?
True
Let x = 36 - 25. Suppose 4*r = 4*q - 0*r - 64, -q - 4*r = -x. Suppose -75 = -3*j - q. Is 6 a factor of j?
False
Suppose -5*m + m + 48 = 0. Is (392/m)/(4/6) a multiple of 7?
True
Let f(u) = 3*u**2 - 14*u - 121. Does 3 divide f(-9)?
False
Let y(d) = -89*d + 20. Is y(-4) a multiple of 47?
True
Suppose 2*z + 18*n - 14*n - 834 = 0, 4*z - 5*n = 1733. Does 17 divide z?
False
Let u = 6 - 2. Let l be (-81)/(-36)*u/3. Suppose -l*w + 6*w = 42. Does 8 divid