 = 153. Does 11 divide y?
False
Let q(l) = 2*l - 2*l**3 - 4*l**3 - 18 - 15*l**2 + 0*l**3 + 4*l**3. Is q(-8) a multiple of 5?
True
Let d = -14 - -23. Let c(p) = p - 8. Let v be c(d). Does 12 divide (288/(-42))/(v/(-7))?
True
Let i = 749 - 323. Suppose 117 - i = -3*g. Does 17 divide g?
False
Let k(w) = w**2 - 2*w + 3. Let b be k(2). Suppose l - 2*s - 197 = -2*l, -2*s = -5*l + 323. Suppose 3*m + r + 2*r = l, 88 = 4*m + b*r. Is m a multiple of 13?
False
Suppose -3*g - 2 = -2*a - 13, 31 = 5*g + 3*a. Let x = -25 + 27. Suppose g*b - 37 = -x. Is b even?
False
Suppose 3*p = 5*c + 15, -3*c = -2*p + c + 12. Let s be (p - -2)/((-1)/(-2)). Suppose -s*d + 138 = -0*l + 2*l, -5*d = 2*l - 171. Does 11 divide d?
True
Suppose 0 = d + 6*d - 3192. Suppose -5*o = o - d. Does 19 divide o?
True
Let p = -113 + 60. Let q = p + 88. Does 35 divide q?
True
Let f(u) = 82*u - 10. Is 11 a factor of f(2)?
True
Let s(o) be the second derivative of 0 + 8/3*o**4 + 4*o + 3/2*o**2 - 1/3*o**3. Is 32 a factor of s(2)?
False
Let q(m) = 5*m - 11. Let o be q(4). Suppose -o*r + 13*r = 24. Does 3 divide r?
True
Suppose -4*b - 2*v + 2200 = 0, 2*b - 2*v + 6*v = 1100. Is 11 a factor of b?
True
Suppose -28*p + 22340 = -57768. Is 37 a factor of p?
False
Let l be (-2)/(0 - (-4)/(-6)). Suppose 4 = -0*u + 2*u. Suppose 110 = 5*s - u*o - l*o, 0 = -2*o. Is s a multiple of 16?
False
Let f(o) = -6*o**3 + o**2 + 7*o + 14. Does 25 divide f(-3)?
False
Suppose -3*o = -2*o - 3*m - 24, 88 = 3*o - m. Suppose -3*d = -o - 6. Does 5 divide d?
False
Let s(q) = q**2 - 7*q - 26. Is 68 a factor of s(-36)?
False
Suppose 0 = -2*a - b + 72, 14 + 25 = a + 2*b. Suppose 15 = -g + a. Is 5 a factor of g?
True
Let f(u) = u**3 - 18*u**2 + 21*u - 32. Is f(17) a multiple of 2?
True
Let x(j) = j**3 + 23*j**2 + 20*j - 19. Let g be x(-22). Let c = g + -9. Is 16 a factor of c?
True
Suppose 3*x = 0, x - 3*x - 80 = 5*n. Let z = n + 21. Let p = z + 1. Is p even?
True
Let u = 1 + 3. Suppose -3*p = u*q - 15 - 19, 4*q = -p + 30. Suppose 0 = -4*y + q*k - 4*k + 29, -3*k - 21 = -3*y. Is 3 a factor of y?
False
Let n = -2915 - -4209. Is n a multiple of 69?
False
Suppose -3*v - 11 = -5*z, z = -5*v - 3*z + 31. Suppose 4*b - t - 484 = 0, b - v*t - 2*t - 140 = 0. Does 31 divide b?
False
Let u(m) = 3*m**3 - 3*m**2 - 2*m + 3. Let s(x) = -2*x + 24. Let f be s(10). Is 17 a factor of u(f)?
False
Suppose -3*h - 87 = 3*x, -2*x - 76 = 3*h - 7*h. Let y = -29 - x. Suppose -y*t + 2*t = 0, -2*t = 3*o - 264. Is 22 a factor of o?
True
Suppose -5*t = -9 - 16. Is (-55)/(-22)*128/t a multiple of 8?
True
Let v(l) = 845*l - 396. Does 61 divide v(4)?
False
Suppose 19*f - 4*f - 3975 = 0. Is 7 a factor of f?
False
Let c = -3013 - -4391. Does 13 divide c?
True
Is (-6 - (-2 - -2) - 1) + 1645 a multiple of 39?
True
Let q = 78 + 68. Is 4 a factor of q?
False
Suppose 3*r + 4 = -23. Does 4 divide -3*6*2/r?
True
Let p be (-6)/9 + 958/(-3). Let u be (6/(-4))/(24/p). Suppose 4*z - 76 - u = 0. Is z a multiple of 12?
True
Suppose 5*c - 1810 = -5*c. Let a = -126 + c. Is 11 a factor of a?
True
Suppose 20 = -j + 6*j. Suppose -261 = -5*b + 3*c + 245, -3*b - j*c + 292 = 0. Does 5 divide b?
True
Let k(b) = 8*b + 8. Let r be k(5). Suppose 0 = l + 3*l + 5*v - 31, 3*v = 5*l - r. Is 2 a factor of l?
False
Suppose -4164 = -4*p + 4*j, 35*p - 30*p = -3*j + 5221. Is p a multiple of 7?
True
Let l = 49 + -19. Suppose v - l = -4*v. Let t = v - -6. Is 6 a factor of t?
True
Let r be (-407 - 10)*(-4)/3. Suppose -2*b + 80 = 2*v - 146, 5*v - 4*b - r = 0. Suppose -3*q - q + v = 0. Is 7 a factor of q?
True
Does 31 divide (2 + (-5)/(-60)*-813)*-12?
False
Let r(y) = -y**3 - y**2 - 4*y - 3. Let n be r(-2). Let j(u) = n*u**2 - 15*u**2 + 9*u**2 + 5 - 3*u. Is j(5) a multiple of 20?
False
Does 10 divide -430*-4*(-6)/(-16)?
False
Let i(g) = 2*g - 1. Let s be i(3). Suppose -16 = -s*j + 29. Is j a multiple of 2?
False
Let l(g) = g**3 + g**2 - 5*g - 3. Let c = 23 + -26. Let y be l(c). Does 6 divide ((-4)/y)/((-16)/(-144))?
True
Let t = 57 - 40. Let r be 258/(-21) + (-32)/(-112). Let i = r + t. Does 2 divide i?
False
Let v = 2383 - 962. Does 62 divide v?
False
Let s(t) = t**3 - 3*t**2 - 3*t + 1. Let w be s(3). Let f be w/28 - 138/7. Is 4/f*-5*37 a multiple of 12?
False
Suppose -h - 69 = -4*x - 15, -29 = -3*x - 5*h. Suppose x = -9*u + 10*u. Is u a multiple of 5?
False
Let i = 8 - -23. Let q = 0 + -8. Let k = i + q. Does 23 divide k?
True
Suppose 5*t - t + r - 66 = 0, 0 = 5*t - 5*r - 70. Suppose 2*m - 4*g - t = 0, 3*g = -4*m - g + 80. Suppose 0 = -2*d + m + 34. Does 12 divide d?
False
Let c be -14 + 11 + 7*1. Suppose 0 = -c*p + 2*u + 66, 5*u + 2 + 13 = 0. Is 15 a factor of p?
True
Let m(d) = d - 5. Let p be m(7). Suppose p*j - 4 = j. Suppose 5*g + j*w + 5 = 0, 3*g + 8*w + 11 = 4*w. Is 3 a factor of g?
True
Suppose -5*c + 13 + 22 = 0. Suppose 2*p - c*p = 0. Suppose p = -3*j + j + 18. Does 9 divide j?
True
Let o(z) = -177*z**3 + z**2 - 2*z + 1. Let b be o(1). Suppose 0 = -183*l + 179*l - 344. Let q = l - b. Is q a multiple of 34?
False
Suppose -336 = -3*o + 2*o. Let v = o - 163. Suppose 5*f - 2*y - y - 281 = 0, -4*y - v = -3*f. Does 11 divide f?
True
Suppose -j - j + 1926 = 3*q, 0 = 3*q + j - 1923. Does 72 divide q?
False
Let a(c) = c**2 - 6. Let k be a(3). Suppose 5*d + 104 = 3*r, -4*r + 128 = -d - k*d. Is r a multiple of 4?
True
Let x = 1849 + -961. Does 6 divide x?
True
Suppose 3*u - 373 = 122. Is 33 a factor of u?
True
Let y(f) = 2*f + 5. Let w be y(3). Suppose 0 = 13*d - w*d - 60. Is d a multiple of 10?
True
Let r(m) = -8*m + 3. Let l(g) = 65*g - 25. Suppose 0*s - 4*s = 4*b, -2*s - 12 = -2*b. Let w(d) = b*l(d) + 25*r(d). Does 15 divide w(-6)?
True
Let r = 2456 + -476. Does 33 divide r?
True
Is 7 + (5 - (2 - 136)) a multiple of 21?
False
Suppose -9*d + 3 + 42 = 0. Suppose -40 = d*a - 7*a. Is 15 a factor of a?
False
Let o(j) = -81*j**2 - 70 - 3*j + 228*j**2 + 67. Is 21 a factor of o(-1)?
True
Suppose 0 = 5*q - 889 - 1806. Is q a multiple of 17?
False
Let a be -5*(-4)/10 - -1. Suppose a*z = -29 + 59. Is 5 a factor of z?
True
Let u = -117 + 127. Suppose 0 = -u*v + 21*v - 1364. Is 31 a factor of v?
True
Let a = 266 + 24. Does 29 divide a/(-6)*(18/(-6) + 0)?
True
Is 1899/4 - (-21)/84 a multiple of 13?
False
Is 11 a factor of (-2043)/(-6) + 2/4?
True
Suppose t - 5*t = -8. Suppose -t*u + 2 = -u. Suppose 3*j - 37 = u*j. Does 15 divide j?
False
Let t = 1468 - 612. Is 6 a factor of t?
False
Let g(v) = v**3 - 5*v**2 - 5*v - 7. Let p be g(6). Is 5 a factor of (-46)/(-2) + p + 3?
True
Suppose 3*i - 6*i + 4452 = -3*l, -10 = 2*l. Is i a multiple of 46?
False
Let a be ((-21)/(-6) + -2)/((-9)/120). Let u(q) = -q**2 - 21*q + 42. Is u(a) a multiple of 16?
False
Suppose 3*o + 60 = 21. Is 39 a factor of (-2)/(-13) + (-1922)/o?
False
Is 44 a factor of (2493 + 2)*1*(-3)/(-15)?
False
Let r = 2256 - 1320. Is r a multiple of 18?
True
Let l(m) = m**2 + m + 54. Let z(t) = t - 4. Let u be z(4). Let s be 0 + (u - (-1 + 1)). Does 18 divide l(s)?
True
Suppose -2*d - 3*d + 20 = 5*a, 3*d + 18 = 2*a. Suppose 69 = -a*q + 459. Is q a multiple of 16?
False
Suppose -11*y + 24863 - 5085 = 0. Is 29 a factor of y?
True
Let d(k) = -k**2 - 20*k - 21. Let u be 18/81 + 212/18. Let z = -30 + u. Is 8 a factor of d(z)?
False
Let d be 3 - ((0/(-3))/(-3))/1. Is (-2)/(-4) + d*388/8 a multiple of 27?
False
Let w be (378/5)/(-3 + (-126)/(-40)). Suppose 5*k - 291 = w. Is 41 a factor of k?
False
Suppose 2*q - 9*q = -14. Suppose 0 = -2*n - q*n + k + 264, -3*n - 4*k + 179 = 0. Is n a multiple of 28?
False
Suppose -5*b + y = -2604, -6*b - 4*y = -9*b + 1576. Does 8 divide b?
True
Does 81 divide -2 + -2211*(-2)/3?
False
Suppose 0*g - 12 = -2*g + h, 4*h = 5*g - 36. Suppose b - 20 = -5*n - b, -g*b = -4*n + 44. Is 23 a factor of 1 + n + -3 + 19?
True
Suppose 4*k - 14 = -j, 2*j - 31 = -7*k + 2*k. Is j a multiple of 4?
False
Let a = -3390 + 4856. Does 21 divide a?
False
Let q(s) = 20*s**2 - 9*s + 63. Does 14 divide q(5)?
True
Let n(t) = 7*t**2 + 5 - 6*t**2 + 5 - 19*t + 2. Is 7 a factor of n(21)?
False
Let s be 624/20 + 4/5. Let o = 20 + s. Is o a multiple of 13?
True
Let k(w) = w + 5. Let z be k(4). Suppose -14*i + 65 = -z*i. Is 13 a factor of i?
True
Let j = 618 + -69. Suppose 0 = 9*c - 144 - j. Is 23 a factor of c?
False
Suppose -5*c - s - 73 = -281, 2*c = 5*s + 67. Let