le of 27?
True
Let q(c) = -c**2 - 26*c + 350. Is q(0) a multiple of 35?
True
Let k(j) = -j - 2. Let g be k(-6). Suppose -17*p + 68 = -4*q - 18*p, 2*q + p = -32. Is g/q + 1902/54 a multiple of 10?
False
Let m(f) = -5*f - 11. Let x be m(-4). Suppose 8*v = 9*v - x. Is v even?
False
Let d(g) = g**2 + 7*g + 4. Let p be d(-7). Suppose 2*n - 260 = p. Let l = -90 + n. Does 10 divide l?
False
Let t(z) = -5*z**3 - z**2 - 4*z. Let i be ((-2)/3 + 1)/((-18)/162). Is t(i) a multiple of 10?
False
Let u(x) = -x**2. Let y(r) = -r**3 - 5*r**2 - r - 93. Let a(z) = 6*u(z) - y(z). Is 13 a factor of a(0)?
False
Let y(k) be the first derivative of -7*k**4/24 - k**3/6 + 5*k**2/2 + 4. Let x(q) be the second derivative of y(q). Is 6 a factor of x(-3)?
False
Suppose 104*i - 109*i + 360 = 0. Let u = i - 56. Is u a multiple of 7?
False
Let s = -19 + 31. Let l = 56 - s. Suppose -266 = -5*w + l. Does 31 divide w?
True
Let b be 3353 + (-3 + 3 - 3). Suppose 0 = 5*s - 15*s + b. Does 52 divide s?
False
Suppose -4*r + 780 = 4*t, 5*r + t - 2*t - 981 = 0. Does 10 divide r?
False
Let a be 2 - 2*9/(-6). Suppose -298 = -a*l - 4*k + 22, k = 5. Is 8 a factor of l?
False
Let w(x) = -61*x**2 - x. Let r be w(-3). Does 31 divide (r/3)/(-2)*1?
False
Suppose -3*x = -5*w + 17, -5*w = -2*x - 12 - 6. Suppose 166 + 662 = w*p. Is 21 a factor of p?
False
Suppose 6*q + 7*q - 65 = 0. Suppose 0 = -5*t + q*b + 860, -3*b + 5*b - 664 = -4*t. Is 42 a factor of t?
True
Suppose 0*x + 5*d = -4*x + 759, 0 = 4*d + 4. Suppose 2*o - 5*b = -b + 354, -x = -o - 5*b. Suppose 4 = -3*h + o. Is h a multiple of 14?
False
Suppose -3*z = -0*z - 423. Let c(o) = 2*o**2 + 11*o + 9. Let q be c(-7). Suppose 0 = 3*n + q - z. Is n a multiple of 8?
False
Is 14 a factor of ((-5370)/9)/((-119)/21 - -5)?
False
Suppose 582 = 3*k + 126. Let o = -257 + k. Is (-12)/(-15)*o/(-6) a multiple of 8?
False
Let z = -57 + 3. Let p be z/6 - (-5 + 3). Is 24 a factor of (7/p)/((-1)/61)?
False
Is 1677 + (-21)/(-7) - 1 a multiple of 30?
False
Suppose -2*p - 296 = -2*t, -t = -3*p - 131 - 23. Does 29 divide t?
True
Suppose -3*h - 163 = 35*w - 37*w, -5 = -5*h. Does 30 divide w?
False
Let y = 111 + -215. Let u = y - -230. Is u a multiple of 21?
True
Let j = -2 - -4. Suppose j*q = -4*u + 18, 4*q - 15 - 5 = 0. Is 21 a factor of (-1329)/(-21) + u/(-7)?
True
Let i(m) be the third derivative of m**6/120 - 3*m**5/20 - m**4/4 - 2*m**3 - 5*m**2. Is i(10) a multiple of 7?
True
Suppose 31 = 2*j - r - 24, 3*r - 10 = -j. Is j a multiple of 5?
True
Let r(b) = -b**3 - 6*b**2 + b + 5. Let a be r(-6). Let x = a + 4. Suppose -63 = -x*h - v - 2*v, -5*h - 3*v = -107. Is h a multiple of 6?
False
Suppose y + 5*b + 14 = -13, y = 4*b + 9. Let q = y + 13. Suppose 30 - q = 3*v. Is v a multiple of 3?
False
Let r(c) be the third derivative of c**4/2 - 7*c**2. Does 10 divide r(4)?
False
Let t be (-10)/(-4)*(-10 + 12). Suppose t*g = 4*r - 21, -4*g - 3*r + 10 = -2*g. Is 13 a factor of 2/g - 122/(-2)?
False
Let f(k) = 22*k**2 - k. Suppose 4*h + 0*h = 72. Suppose -3*m + 5*n + h = 0, m = 5*m - 2*n - 10. Does 21 divide f(m)?
True
Suppose 0 = -12*i + 28*i - 880. Is i a multiple of 5?
True
Let l be -21 + 22 + (0 - 0). Is 9 a factor of (-5)/(-10)*(l - -75)?
False
Let l(i) = 169*i - 11. Is 31 a factor of l(3)?
True
Suppose 4*k + o = -3, -3*k - 2*o + 0*o - 6 = 0. Suppose -5*g + 425 - 120 = k. Does 11 divide g?
False
Let j be -2 + -16*((-1 - -3) + 0). Let f = j + 139. Is f a multiple of 30?
False
Let w = -1483 - -3243. Is w a multiple of 22?
True
Suppose -4*h - 2192 = -5*n, 18*h - 21*h = -6. Is 8 a factor of n?
True
Suppose 3*a - 5*u - 3004 = 0, -725 - 273 = -a + u. Does 53 divide a?
False
Suppose -72*r + 110880 = -16*r. Is 55 a factor of r?
True
Suppose 15*f = 26*f - 440. Is f a multiple of 9?
False
Let q be (-543)/3 + (0 - -4). Let r = q + 312. Is r a multiple of 21?
False
Let v = 39 + -42. Is (-125)/(-3) + 2/v a multiple of 41?
True
Suppose 5*v = r + 4604 + 236, 5*r + 4840 = 5*v. Is v a multiple of 11?
True
Suppose 0 = -3*w - 5*n + 11, 0*n + 17 = w + 5*n. Let m be 74 - (w + 3 - -4). Suppose d - 161 = -m. Is 13 a factor of d?
True
Let n(y) = -y**3 - 8*y**2 - 10*y - 24. Let s be n(-7). Is (s - -63)*2/5 a multiple of 12?
True
Does 23 divide 491 - 5 - (6 - -1)?
False
Let l be ((-4 + 13)/(-3))/(-1). Let k(o) = -o**2 + 4*o. Let u be k(l). Suppose 0*g + u*g + 5*j - 321 = 0, 3*j = -4*g + 417. Is 13 a factor of g?
False
Is -180*((-1)/3)/(26 + -25) a multiple of 15?
True
Let d(v) = -2*v**2 + 22*v + 33. Let m be d(12). Suppose -3*y - m*y = -684. Is 19 a factor of y?
True
Let o(h) = -7*h**3 + 3*h**2 - h + 7. Let i be o(-6). Let p = i + -1125. Is 7 a factor of p/18 - 4/18?
True
Let o = -51 + 815. Is o a multiple of 21?
False
Is 97 + 12 + -7 - 0 a multiple of 14?
False
Suppose 0 = -3*w - 3*l + 5*l + 37, l - 4 = -w. Suppose -w*x + 63 + 1143 = 0. Is x a multiple of 25?
False
Suppose -11*f + 6*f + 2265 = 0. Does 41 divide f?
False
Let g(x) = 6*x + 4. Let o be g(5). Let t(p) = -3*p + 19. Let s be t(-9). Suppose o + s = 4*q. Is 5 a factor of q?
True
Suppose 0 = -3*f + 11*f - 4576. Is f a multiple of 26?
True
Is 11 a factor of (-19)/38 - 1413/(-2)?
False
Suppose 3*f + 4*n - 132 - 2796 = 0, 4903 = 5*f - n. Suppose 5*c = f + 60. Let d = c - 143. Is d a multiple of 13?
True
Suppose -4*u + 1346 - 98 = 0. Is 4 a factor of u?
True
Is 22 a factor of (-43 + 21)*(-1 + -28)?
True
Let a(b) = b**3 - 23*b**2 - 23*b + 48. Is a(24) a multiple of 24?
True
Let s(z) = 4*z**2 + z. Let p be s(-1). Suppose 83 = 2*w + p. Is 10 a factor of w?
True
Let a(k) = 356*k**2 + 7*k - 6. Is a(1) a multiple of 13?
False
Does 2 divide (-22)/((-9)/(-126)*-7)?
True
Let o(b) = -214*b - 8. Let i be o(-4). Suppose -4*n + i = 224. Is n a multiple of 39?
True
Let y = 12 - 7. Suppose 0 = -3*n + 1 - 10, -2*o + 159 = -y*n. Is o a multiple of 28?
False
Suppose 4*m - 40495 = -31*m. Does 13 divide m?
True
Let t(s) = s**2 - 15*s + 20. Suppose -q - 5*c + 14 = 0, 15 = -4*q + c + 71. Is t(q) a multiple of 2?
True
Let f(v) = 15*v + 8. Let k be f(-2). Let q = k + 22. Suppose 5*o + 85 = 2*w, -3*o + q = -3. Does 9 divide w?
True
Suppose 4*l - 366 = 2*p, 0 = l + l + p - 181. Suppose -524 = -4*s + 5*n, -s = 2*n - l - 53. Does 34 divide s?
True
Let f = 59 + -59. Suppose 0 = -f*s + 3*s - 186. Is s a multiple of 8?
False
Suppose 15*v = 13*v + 40. Let h = -19 - v. Let p = -5 - h. Is p a multiple of 15?
False
Suppose 37*o + 2392 = 41*o. Is o a multiple of 23?
True
Let r(i) be the second derivative of -2*i**3/3 + 7*i**2 + 10*i. Is 13 a factor of r(-6)?
False
Suppose 4*x = 2*m + 6, -4*m - 3 = 3*x - 2. Let h(p) = 35*p**2 - 2*p - 1. Is 36 a factor of h(m)?
True
Let n(v) = 112*v**2 + 12*v - 25. Does 21 divide n(2)?
False
Let l(h) = -3*h**2 + 17*h + 2. Let b(v) = 5*v**2 - 26*v - 3. Let s(n) = -5*b(n) - 8*l(n). Let q be s(-5). Does 4 divide 6/q*(-3 - -13)?
False
Suppose -x = -2*x, -2*h - 18 = -4*x. Let z = -8 - h. Is (-3 - -13)*z/2 even?
False
Is 2 a factor of -218 + 215 - (-1*1 - 224)?
True
Is 32 a factor of (304/10 - (-4)/(-10))*16?
True
Suppose 0*l - l = 0. Suppose 2*o + 264 = 4*w, l = -o - 3*o. Suppose -3*g = -2*h - w, 0*g - 3*h = g - 33. Does 8 divide g?
True
Suppose -34*u + 26*u + 864 = 0. Is 12 a factor of u?
True
Let d be (-78)/(-8) + 4/16. Let s be 110/25 - (-6)/d. Suppose -34 = -s*w + 86. Is 10 a factor of w?
False
Let i be ((-3 - 1)/4)/1. Let v = 8 + i. Suppose -3*a + 5*b = -34, -3*a - b + v = a. Is a even?
False
Let i(w) = 3*w + 26. Let r(y) = y**3 - 20*y**2 - 20*y - 6. Let c be r(21). Let m be i(c). Suppose -21 + m = 5*n. Is n a multiple of 5?
True
Let s(h) = 32*h - 108. Is s(6) a multiple of 21?
True
Let r be 6/21 + (-192)/(-14). Let a = r + -3. Let z = 9 + a. Does 7 divide z?
False
Suppose 1013 = 14*a - 2375. Is a a multiple of 11?
True
Let n = 1171 + -1042. Does 16 divide n?
False
Suppose 22 = 2*z - 4*b + 2, -4*z = 4*b + 20. Let r(o) = -o + 88. Let w(g) = 29. Let k(a) = -2*r(a) + 7*w(a). Does 12 divide k(z)?
False
Let g be (-1 - (-4 + -2)) + -2. Suppose -g*t + 189 + 591 = 0. Suppose 6*m - m - t = 0. Does 12 divide m?
False
Let n = -189 - -272. Suppose 0 = -5*g - 4*q + 360, g - 2*g - 3*q = -n. Is 17 a factor of g?
True
Let t = -5 + -6. Is -1*2 - (-31 - t) a multiple of 3?
True
Let u = 30 + -25. Suppose -14*i - u = -425. Is 6 a factor of i?
True
Suppose -10*