
False
Is (-1 + -2 + -1641)*(-8)/24 a multiple of 4?
True
Let k = 878 + -584. Does 10 divide k?
False
Suppose -5*d + 2*m + 3390 = 0, -5*d - 5*m + 2079 + 1346 = 0. Is 9 a factor of d?
False
Let g = 26 - 46. Is 28 a factor of (224/80)/((-2)/g)?
True
Let l be 10*((-2)/(-5) + 0). Suppose l*s - 90 = 2*h, -81 = -s - 3*s + 5*h. Suppose -5*k = s - 129. Does 6 divide k?
False
Let g = -19 + 300. Does 16 divide g?
False
Suppose 0 = -5*n + 567 + 58. Let a(v) = 4*v**2 + 1. Let s be a(-1). Suppose 0*j + s*j = n. Does 25 divide j?
True
Suppose 4*y - 42 = y. Let r = y + -12. Suppose -f - 2 = -r*d - 44, -3*f + 82 = 5*d. Is f a multiple of 7?
False
Let t(n) = -13*n - 31*n + 19*n. Let q be t(-1). Suppose 0 = 4*b - 5*y - 73, -b + q = 5*y - 12. Does 11 divide b?
True
Let k(f) be the first derivative of -f**5/10 + f**3/3 - 3*f + 2. Let s(u) be the first derivative of k(u). Is 8 a factor of s(-2)?
False
Suppose 5*f - 8*f - 1335 = -5*b, b + 2*f - 280 = 0. Does 10 divide b?
True
Let x = -326 + 466. Does 10 divide x?
True
Let y = -11 - -7. Let i(p) be the second derivative of -p**3/3 + 3*p**2/2 - 125*p. Is i(y) a multiple of 11?
True
Let l(u) = 5 + u**2 + 3*u + 10 + 5 + 6*u. Let h be l(-11). Suppose -k + h = 7. Is k a multiple of 11?
False
Suppose 0 = 14*i - 13*i - 248. Suppose 0*x = 8*x - i. Does 31 divide x?
True
Suppose 5*j - 5*o = 4*j + 396, 3*o = -4*j + 1584. Is 33 a factor of j?
True
Let j be 69 + ((-6)/3 - -4). Let r = j + -19. Is 12 a factor of r?
False
Let z be 5 - 1 - (3 - 1). Suppose 100 = -z*o + 6*o. Suppose h + 0*h - o = 0. Does 7 divide h?
False
Let k(t) = -2*t**2 + 11*t + 4. Let n be k(6). Let d(v) = -9*v**3 + 2*v**2 + v + 4. Is 41 a factor of d(n)?
True
Suppose 2*j - 270 = -5*f, -4*j - f = -9*j + 729. Is j a multiple of 22?
False
Suppose -5 = -8*s + 7*s. Does 5 divide 128/s - (-6)/(-10)?
True
Let x be (-16)/(-120) + (-1646)/(-30). Suppose -45 = -r - 3*l, r = 2*l - 0*l + x. Let p = r + -29. Is 13 a factor of p?
False
Let i(t) = 445*t + 6. Is 71 a factor of i(8)?
False
Let b be ((-48)/3)/4*11. Let a be (-1 + 2)/((-4)/b). Let l = a + 11. Does 6 divide l?
False
Let v = -184 + 384. Does 4 divide v?
True
Suppose -17*n = -7*n - 370. Does 3 divide n?
False
Let q(h) = 2*h**2 - 4*h + 2. Let f be q(3). Suppose 55 = b + 29. Let d = b - f. Is 6 a factor of d?
True
Suppose 4*c = -4*c + c. Suppose -6*i + 38 + 190 = c. Is 3 a factor of i?
False
Let m(p) = -12*p - 15. Let k = 10 - 4. Let q be (-32)/k - (-10)/(-15). Is 13 a factor of m(q)?
False
Suppose 329 = 31*s - 30*s. Is 18 a factor of s?
False
Let a(c) be the third derivative of -c**6/120 - 2*c**5/15 + c**4/8 + c**3/3 - 17*c**2. Is 22 a factor of a(-9)?
False
Let n = 110 - 104. Is (39/n)/(((-52)/(-216))/13) a multiple of 13?
True
Let c(n) = -n**2 - 10*n + 8. Let x be c(-10). Suppose p - x = -5. Suppose 3*b - 90 = -p*u, -36 = -u + b + b. Is u a multiple of 16?
True
Let o(b) = 19*b + 11. Let v be o(3). Let f = -26 + v. Does 19 divide f?
False
Is 80 a factor of (((-260)/(-3))/(-2))/((-18)/432)?
True
Suppose 2*u - 10 = 28. Does 12 divide (-3 - (u + 2))*15/(-6)?
True
Suppose -2*g = 5*o - 21, o - 5*g = -o + 20. Suppose 30 = 3*x - x + 4*f, 5*f = o*x - 15. Suppose -2*q = -3*q + x. Is 3 a factor of q?
False
Suppose -16 + 152 = z. Let m = z + -99. Is 35 a factor of m?
False
Suppose 4*y + 20 = 0, 3*y - 6*y + 553 = 2*a. Let f = 37 - 207. Let w = f + a. Is w a multiple of 38?
True
Let u(j) = 23*j**2 - 2*j + 3. Let a(l) = l**2 - 7*l - 7. Let k be a(8). Is 5 a factor of u(k)?
False
Let z be 0 + 2 - 6/(-3). Is 5 a factor of (350/(-56))/((-1)/z)?
True
Let i = -29 + -21. Let g = 87 + i. Is g a multiple of 8?
False
Let w(o) = 0 - 2*o**2 + 4*o + 0 - 8*o**2 - o**3 - 5. Does 17 divide w(-11)?
False
Let y = -3213 - -5943. Does 130 divide y?
True
Let f(v) = v + 24. Let n be f(-20). Let r(w) = -w**2 + 5*w + 2. Let j be r(4). Suppose -4*l - n*s + 62 = -j, 4*s = 4*l - 44. Is l a multiple of 10?
False
Let i(t) = 15*t**2 - 17*t**3 + 0 + 5 - 2 + 18*t**3. Let a be i(-15). Suppose 123 = a*u - 5*o, -o - 3*o - 12 = 0. Is 13 a factor of u?
False
Suppose 44 = 3*f + 38. Suppose -a - f*r - 474 = -5*a, -5*a + 593 = -2*r. Does 17 divide a?
True
Let v be 15/20 - (-3554)/8. Suppose 5*r = -2*o - 3*o + v, 2*o + r - 174 = 0. Let j = o - 40. Does 23 divide j?
False
Let t = -13 - -26. Suppose 5*b + 23 = -d, 3*b + t + 0 = -d. Suppose 283 + 93 = 4*z - d*k, 6 = -3*k. Is z a multiple of 22?
False
Let j be (-9)/9 + -16 + 1. Is 2 a factor of -1 - ((-1 - -3) + j)?
False
Let q(h) be the second derivative of h**4/12 - 13*h**2/2 + 2*h. Let g(k) = k**2 + 2*k - 2. Let c be g(-4). Does 19 divide q(c)?
False
Does 17 divide (1/(-3))/((-89)/854934)?
False
Let m be (6 - 3)/((-3)/(-7)). Suppose m = -s + 2*s. Let d(v) = -v**3 + 6*v**2 + 7*v + 7. Does 3 divide d(s)?
False
Suppose 4*v + 20 = 3*h - 0*v, 2*v + 4 = h. Suppose -5*d + 8 = -12. Suppose d + h = t. Is 9 a factor of t?
False
Let m be 54 - (-3)/6*8. Let f = m - 133. Does 7 divide 412/60 + (-10)/f?
True
Let a be (-5 - (0 - 1)*3)/2. Does 7 divide ((-16)/24)/(a + 249/252)?
True
Let d be -3 + 2/(6/21). Let a be (16/6)/(d/6). Is (-5 + a)*3*-1 a multiple of 3?
True
Suppose 4*o + 3 + 2 = -q, -12 = 4*o. Suppose -d - 460 = -3*w, 615 = 11*w - q*w - 3*d. Does 17 divide w?
True
Suppose -1022 = -7*q + 4*q + 2*u, 2*q + 5*u - 656 = 0. Is 49 a factor of q?
False
Let c = 1274 + -84. Is 34 a factor of c?
True
Let j(x) be the third derivative of -x**6/120 + x**5/15 - x**4/6 + 5*x**3/6 + 7*x**2. Is j(3) a multiple of 2?
True
Let b be 4/(-3) - 117/(-27). Suppose 0 = -b*z - 2*z + 280. Suppose 2*y = 3*y - z. Is 29 a factor of y?
False
Suppose -i + 21 = -3*v, -i - 2*v - 38 = -3*i. Is i a multiple of 6?
True
Let h be 2 - 75 - (-1 - 3). Let u = -43 - h. Is 13 a factor of u?
True
Suppose u - 2*u = 0. Suppose u = 3*r - 13 - 2. Suppose n = r + 43. Is n a multiple of 16?
True
Let w(i) = -174*i + 381. Does 59 divide w(-9)?
True
Let d = -154 + 378. Is 14 a factor of d?
True
Suppose -3*x + 2030 = 7*j - 7038, 0 = -5*j + 3*x + 6472. Is 35 a factor of j?
True
Suppose -9*b + 318 = -6*b. Suppose f - 62 = -4*t + b, -3*f - 3*t + 540 = 0. Is 46 a factor of f?
True
Let s(b) = -b**3 + 3*b**2 + 5*b + 7. Let r be s(4). Let a = -20 - -36. Suppose -a*w = -r*w - 70. Is w a multiple of 5?
False
Let n(v) = v**2 - 2*v + 18. Let j(o) = -5*o - 11. Let k be j(-4). Is n(k) a multiple of 27?
True
Does 14 divide (816/(-119))/((-2)/63)?
False
Let d(q) = -q**2 - 9*q - 5. Let m be d(-8). Suppose -c + 5*a = -135, -m*c + 0*a + 2*a + 366 = 0. Is c a multiple of 16?
False
Suppose 5*o = -5*c + 3*c + 1428, -3*o = -4*c + 2856. Is c a multiple of 21?
True
Let a(n) = -4*n + 2. Let m be a(4). Let z(o) = 3*o**3 + 7*o**2 - 8*o + 16. Let f be z(-6). Is 10 a factor of f/(-14) + (-4)/m?
False
Suppose 7*p = 2*p + 1240. Let z = p - 159. Is z a multiple of 10?
False
Suppose 5*d - 279 = 296. Suppose -379 + d = -6*h. Does 22 divide h?
True
Let j(f) = 6*f - 3. Let x be j(1). Is 5 + -7 + 3 + x*16 a multiple of 16?
False
Let r be (1 - 12/3) + 6. Suppose 0*u + 2*v - 30 = -r*u, 0 = 3*u - v - 30. Is 5 a factor of u?
True
Is 36 a factor of ((-56227)/177)/((-2)/6)?
False
Suppose -o - 1 = -6. Suppose -4*z + 5*x = -120, z + 0*x + 5*x = o. Is 2 a factor of z?
False
Suppose -4*f + 4*j + 5 = -3, 4*f - j = 20. Suppose -3*a = -f*a + 18. Does 3 divide a?
True
Let c = -262 + 261. Suppose -s = -5*i + 64, 3 + 5 = -2*s. Let h = i - c. Is h a multiple of 2?
False
Suppose 43*l + 2112 = 67*l. Does 2 divide l?
True
Let y = -1012 - -1734. Is 19 a factor of y?
True
Let i be ((-11)/(165/(-486)))/(3/10). Let b = -48 + i. Is b a multiple of 9?
False
Suppose -2*n = 3*s, -n = -0*n + 4*s. Suppose n = -3*f + 5*b + 98, 3*f = b - 3*b + 70. Is f a multiple of 19?
False
Suppose 4*u - 49 + 9 = -4*b, 3*b - u - 30 = 0. Does 33 divide (-6)/(12/b)*(-218)/10?
False
Let g be (14/42)/(1/12). Suppose 0*y = 4*l + 3*y - 237, 2*l - 116 = -g*y. Suppose 15*a - 20*a = -l. Is 9 a factor of a?
False
Let u(i) be the first derivative of i**5/60 + 53*i**3/6 + 3*i**2 - 2. Let g(x) be the second derivative of u(x). Is g(0) a multiple of 18?
False
Suppose 5*o + h - 120 - 199 = 0, -h = 3*o - 191. Suppose -4*p = -3*x - 8, -3*x - p = -3*p - 2. Suppose o = x*v + m, 9*v - 71 = 4*v + m. Is v a multiple of 5?
True
Suppose x - g = -3*x + 80, -4*x - g = -80. Suppose 