) - -4?
True
Let u(r) = 14*r**2 + 11*r - 4. Let n be (-18)/(-12) + 25/(-2). Let b(l) = -3*l**2 - 2*l + 1. Let c(g) = n*b(g) - 2*u(g). Does 21 divide c(3)?
True
Let x(p) = -6*p**3 + 12*p**2 + 16*p. Let j(c) = c**3 - c**2 - c. Let q(n) = 5*j(n) + x(n). Let m be q(8). Is 8 a factor of 30/4*m/20?
False
Suppose 7700 = 947*t - 936*t. Does 20 divide t?
True
Let a be (-39)/(-9) + (-8)/(-12). Suppose -3*s = 2*f - 460, -a*f + 480 + 145 = 4*s. Does 25 divide s?
True
Let x = 31 - 29. Does 17 divide 37 - 0 - 6/x?
True
Let p = 125 - 122. Suppose 0 = -p*q - 10*q + 936. Does 18 divide q?
True
Let h = -133 + 339. Suppose -j - 30 = 3*w + 275, -2*w = -2*j + h. Let k = w + 156. Is k a multiple of 14?
False
Let w = 82 - 24. Let a(q) = -76*q**3 + q + 1. Let s be a(-1). Suppose r - 5*m - w = 0, -3*r + m - s = -4*r. Is 14 a factor of r?
False
Let j be -72*-5*5/10. Suppose 0 = 10*y - 9*y - j. Does 36 divide y?
True
Suppose -38*r + 34*r + 756 = 0. Is 9 a factor of r?
True
Let r = -615 - -1599. Does 77 divide r?
False
Suppose -25*q = -5*m - 28*q + 2529, 5*q - 1527 = -3*m. Does 12 divide m?
True
Let v be (-6 + -6)/(3/(-24)). Suppose 0 = 4*j + 20 - v. Does 7 divide j?
False
Let p = -1260 + 1292. Does 3 divide p?
False
Let g(h) = -4*h - 57. Let l be g(-15). Suppose 250 = l*n - 47. Is n a multiple of 11?
True
Let h(j) = -j - 1. Let b be h(-3). Suppose 3*a - 8 = -b*n - 0, -16 = -4*n + a. Suppose 3*s + 6 = n*s. Is 2 a factor of s?
True
Let q(l) = -l**3 + 17*l**2 - 14*l - 29. Let c be q(16). Suppose c*o - 474 = -4*k, -o + 162 = k + 43. Is 15 a factor of k?
False
Let q(u) be the third derivative of -43*u**4/12 - 4*u**3/3 + 26*u**2. Is 25 a factor of q(-3)?
True
Let l(v) = -148*v + 36. Is 15 a factor of l(-3)?
True
Let x(u) = -7*u - 3. Let z(q) = q**2 + q + 2. Let s be z(3). Suppose 0*y - c + s = -2*y, 3*y + 11 = -c. Is 12 a factor of x(y)?
False
Suppose -15 = h + 10. Let v = h - -155. Is v a multiple of 15?
False
Let k be (-8)/(-12) + 654/(-9). Let z = k + 153. Let r = -47 + z. Does 22 divide r?
False
Let s(r) = -r**2 + r + 4. Let l be s(3). Suppose 5*j - 66 = 2*j. Does 6 divide 3 + -2 - j/l?
True
Let k = 63 + -30. Let i be 11/k - (-2)/3. Does 9 divide ((-1)/i - -1) + 9?
True
Suppose -6*z = -9*z, z + 9460 = 4*c. Is 65 a factor of c?
False
Suppose -39*b = -27*b - 10920. Does 35 divide b?
True
Let x(z) = 9*z**2 + 174*z - 8. Is 16 a factor of x(-27)?
False
Let k(o) be the third derivative of o**6/120 - 8*o**5/15 + 11*o**4/8 - 2*o**3 - 18*o**2. Is 5 a factor of k(31)?
True
Suppose -29 = -r - 4*r + 3*q, -q = r - 1. Suppose 0*p = -r*p + 176. Is p a multiple of 11?
True
Let u(v) = 4*v**2 - 19*v. Does 17 divide u(18)?
False
Let x = 7 - 0. Let i(d) = d + x*d + 1 + 0 - 5*d + 2*d**2. Is i(3) a multiple of 7?
True
Let l(q) = 24*q + 2 + 13 + 4. Is l(6) a multiple of 27?
False
Let k = -1524 - -820. Let t be (-4)/(-22) + k/(-121). Does 3 divide (2 + -12)*(-9)/t?
True
Suppose g - 15 = u, -g + u = 4*u - 27. Let h = 38 - g. Suppose 2*o + p = 22, 6*o - 2*o - h = 4*p. Does 9 divide o?
True
Let i = 1869 + -1182. Is i a multiple of 35?
False
Let j(a) = 8*a. Let n be j(3). Suppose -4*w = -w - n. Does 2 divide w?
True
Let h(f) = f**2 - 3*f. Let m be h(-13). Suppose -4*d + 0*d + m = 0. Suppose -d = -3*q + 113. Is 23 a factor of q?
False
Suppose -6*h + 0*h = 468. Let v = 138 + h. Is v a multiple of 15?
True
Suppose 14*x - 618 = 10344. Is 9 a factor of x?
True
Let z = -346 - -350. Is z even?
True
Let j(h) = -11*h**2 + 9*h + 13*h**2 + 0 + 2. Let o be j(-6). Let d = 44 - o. Is 12 a factor of d?
True
Let k = -780 - -806. Is k a multiple of 4?
False
Let g = 26 - -5. Let l = g + 4. Does 10 divide l?
False
Let x be 34/(-8) - (-3)/(-4). Suppose -10*s + 11*s = 2. Is (-3 - x - -50)/s a multiple of 13?
True
Let c = 4 + -2. Let u(a) = -a**3 - 3*a**2 - 6*a - 6. Let z be u(-4). Suppose 4*d - z = c*d. Is d a multiple of 6?
False
Let h be 4/18 + (-224)/(-126). Suppose -4*g + 1 = 3*v - 30, 0 = -v + h*g - 3. Suppose -m - 316 = -v*m. Does 19 divide m?
False
Suppose 5*k = -4*x + 17, 0 + 37 = 5*x + k. Suppose 7*v - x*v + 33 = 0. Let m = v + 13. Is 13 a factor of m?
False
Suppose 9*z = 12*z - 444. Let s = -97 + z. Does 15 divide s?
False
Let u(w) be the second derivative of w**5/10 + w**4/12 - w**3/3 + 3*w**2/2 - 2*w. Let r be u(2). Let h = -8 + r. Does 11 divide h?
True
Suppose 0*w + 5*w = 4*r - 17, 2*r + 3*w = 3. Suppose p = r*g + 44, 0 = 4*p - 5*g - 41 - 156. Is 6 a factor of p?
False
Let x(m) = 257*m + 2. Is x(1) a multiple of 21?
False
Suppose 14 = a + 2*z + 3*z, 5*a = 3*z - 14. Let v be (8/(-2) + a)*-1. Suppose -2*w + v + 11 = 0. Does 3 divide w?
False
Let g(v) = v - 1. Let t(j) = -2*j + 22. Let m(s) = 4*g(s) + t(s). Is 7 a factor of m(9)?
False
Let i = 3475 + -646. Is i a multiple of 41?
True
Let n(l) = 8*l - 12. Suppose -5*q + 5 = 0, -t + 4*q - 52 = -4*t. Let u(m) = -m**3 + 15*m**2 + 15*m + 21. Let v be u(t). Is 5 a factor of n(v)?
False
Suppose -4*m = m - 4*a - 1, -3*m = -2*a - 1. Let z be (-14)/(-18) + 2/9. Is 3*(m + z + -1) a multiple of 2?
False
Let q(w) = w**2 + 28*w - 25. Does 3 divide q(-30)?
False
Suppose 3*o - 12359 = -2*m, -5*m = 7*o - 4*o - 12353. Does 13 divide o?
True
Suppose 0*a = -a + 98. Suppose 0 = 4*h - 17 - 31. Is a/6 + 8/h a multiple of 4?
False
Suppose 176*a - 188*a = -1056. Is a a multiple of 5?
False
Suppose 0 = -5*v + 877 + 213. Suppose 9*q + 92 = v. Is 7 a factor of q?
True
Let q be (101 + -2)*-2 - -3. Let z = q - -377. Is 29 a factor of z?
False
Let u(a) = -a**3 + 2*a**2 + 9*a - 1. Let b be u(4). Suppose b*x = 175 + 50. Is 25 a factor of x?
True
Let l be -2 - (-10)/((-4)/(-2)). Suppose 0 = -2*a + l + 3. Suppose 0 = 3*u + 9, -z - 113 = -5*z + a*u. Is 12 a factor of z?
False
Suppose -534 = -4*r - 5*f + 7*f, 4*f = -r + 129. Is 6 a factor of r?
False
Let w = 117 + -61. Is w a multiple of 35?
False
Is 45 a factor of ((-3)/(-9))/(25/18300)?
False
Let x(w) be the second derivative of 17*w**3/6 - 21*w**2 - 18*w. Is x(11) a multiple of 34?
False
Suppose 2*p - 4*r + 4 = -24, -4*r + 68 = -4*p. Let m be ((-24)/p)/(2/5). Suppose 0*y + 39 = m*y. Does 13 divide y?
True
Let z(m) be the third derivative of m**5/60 + m**4/4 + 2*m**3/3 + 3*m**2. Let g be z(-5). Does 7 divide (g + 1 - 3)*-3?
False
Let v be -2*12/8 - -3. Let s = -1 + 3. Suppose 3*b = s*b - 3*n + 13, 5*b - 2*n - 99 = v. Is 6 a factor of b?
False
Let u = -7 + 11. Suppose 3*g = -f + 2*g - 2, 5*g = -u*f - 12. Suppose 0*d = -f*d + 42. Is 7 a factor of d?
True
Let t(g) = 6*g + 5. Let n(x) = x**3 + 2*x**2 - 9*x - 4. Let h be n(-4). Suppose -w - w - 16 = -4*c, -5*c + w + 23 = h. Is 12 a factor of t(c)?
False
Let a(s) = -8*s - 2. Let v be a(11). Is 12 a factor of (-7506)/v - 3/(-5)?
True
Let w(y) = y**2 - 12*y + 6. Let d be w(-5). Let o = d + -49. Is 9 a factor of o?
False
Suppose -3*j + 2342 = -646. Suppose 2*x = 5*x + 5*k - j, -1296 = -4*x + 4*k. Is 23 a factor of x?
False
Suppose 4*z - 2*v = -v + 134, -4*z - 3*v = -142. Is z a multiple of 7?
False
Is 364*(((-124)/(-14) - 4) + -4) a multiple of 13?
True
Suppose 2*o = -4*k + 2*k + 418, -2*o + 404 = -5*k. Is 9 a factor of o?
True
Let d = -362 - -370. Let l = -42 + 22. Is 4 a factor of d/l - (-171)/15?
False
Suppose 3*u = -4*n + 11, -2*n - 5*u + 7 = -n. Suppose -2*f = -o + 15, -3*o + f = n*o - 75. Is o a multiple of 5?
True
Let p = 7 + 7. Let x(k) = -k - 9*k + 11*k. Is x(p) a multiple of 5?
False
Suppose 598 = o + 2*p, 5*o - 18*p = -23*p + 3005. Does 38 divide o?
False
Let j = 1834 + -1269. Does 22 divide j?
False
Let b = 2092 - 1167. Is 25 a factor of b?
True
Let r(v) = 2*v**2 - 6*v - 150. Is 5 a factor of r(-15)?
True
Let c(i) = i**2 - 8*i + 33. Let q be c(11). Suppose q = 2*b + 4*d, d = 3 - 1. Does 7 divide b?
False
Suppose -2*s - 3*c = -7, -5*s = -4*c - 24 - 5. Suppose 0 = -4*t + 2*u + 168, 2*u - 15 = s*t - 223. Is t a multiple of 18?
False
Let w(o) = o**3 + 12*o**2 - 40*o + 12. Is w(-13) a multiple of 11?
True
Let c = 227 - 115. Does 12 divide c?
False
Let x = 17 + 103. Is x a multiple of 10?
True
Let y = -14 + 32. Suppose 13*r - y*r = -75. Is r a multiple of 15?
True
Let k = 74 + -125. Suppose 0*p + 441 = 5*w + 2*p, -2*p = -6. Let g = w + k. Does 12 divide g?
True
Suppose -3*a - a + 108 = 0. Suppose 2*h - 31 = 5. Let n = a - h. Is n a multiple of 9?
True
Let k(n) = -2*n**3 - 3*n**2 + 4. Let a b