*f - 3*f. Suppose f = q - 0 - 4. Is 3 a factor of q?
False
Let p(f) be the first derivative of f**3 - 2*f + 3. Is p(4) a multiple of 23?
True
Let v(y) = -y - 1. Let n(x) = x**2 + 5*x. Let l be n(-5). Let t be v(l). Is 18 a factor of (2/4)/(t/(-36))?
True
Suppose -j + 3 - 1 = 0. Is j/(-3)*(-33 + -3) a multiple of 16?
False
Let d(a) = -a**2 - a. Let z be d(-3). Let x = z + 11. Is x a multiple of 2?
False
Suppose 3*d + 111 - 480 = 0. Suppose d = 2*q - 5*q. Let x = -28 - q. Is 13 a factor of x?
True
Let c(d) = -2*d - 6. Let q be c(-5). Let x(i) = 19*i - 9. Is x(q) a multiple of 23?
False
Let y be (-6)/(-4)*(2 + 0). Suppose 27 = 2*n + 5*d, n + d = -y*d + 15. Is n a multiple of 11?
True
Let w be (54/(-4))/((-3)/4). Suppose w*u = 20*u - 88. Is 11 a factor of u?
True
Suppose -2*p - u - 21 = 0, p = -4*u - 30 + 2. Let t(h) = -h**3 - 8*h**2 - 6*h - 3. Is 23 a factor of t(p)?
False
Suppose 8*j = 1944 - 224. Does 28 divide j?
False
Suppose -3 + 11 = 4*x. Suppose x*d + d = 252. Is d a multiple of 22?
False
Let m(w) = -5*w - 21. Let k be (-1)/(51/(-27) + 2). Does 11 divide m(k)?
False
Let g = 22 - 19. Does 16 divide (-755)/(-30) - g/18?
False
Let c(d) = 22*d + 2. Let u be c(1). Suppose -r - j + 14 = 0, j - u = -2*r - 0*j. Is r a multiple of 10?
True
Let y = -11 + 8. Let u = 0 - y. Let t = u - -2. Is t a multiple of 5?
True
Let o(y) = -2*y**2. Let d be o(-1). Does 4 divide d - (-1 + 2 + -14)?
False
Let k be (-1)/((2/1)/2). Let z(c) = 0 - 3*c + 0*c + 1. Does 4 divide z(k)?
True
Let s(m) = 2*m**2 + 6*m - 8. Is 7 a factor of s(-6)?
True
Suppose 126 = u - 3*u. Let g = u + 108. Does 15 divide g?
True
Suppose -3*l - 48 = -5*l. Let i = -11 + l. Suppose 3*d = 6*d - 2*z - i, 0 = 2*d + z - 11. Does 5 divide d?
True
Suppose j - 5 + 0 = 0. Suppose -5*c - 5 = -5*i, -14 = -5*i - 3*c - c. Suppose d - i = j. Does 5 divide d?
False
Let b(u) = u**3 - 11*u**2 + 10*u + 1. Let i be b(10). Let g = 1 + i. Suppose 4*j + 16 + 12 = g*t, j - 70 = -3*t. Does 11 divide t?
True
Let u be (10/5)/(2/(-4)). Is 12 a factor of (-1)/u - (-188)/16?
True
Suppose -10 = 4*k - 34. Suppose -k*x + x + 85 = 0. Let d = x - 2. Does 9 divide d?
False
Let g = 15 + -7. Suppose 0 = -4*p + 2*o + 22, -p = -0*o - o - g. Suppose 7 = w - p. Does 10 divide w?
True
Let h = -47 + 17. Let t be ((-2)/1)/((-3)/h). Let o = t - -38. Is o a multiple of 9?
True
Let u = -5 + 26. Is u a multiple of 5?
False
Suppose -2*w = -5*r - 16, -r - 3*w + 5 = -2. Let l be ((-5)/r)/(3/6). Suppose l*n = -38 + 118. Is n a multiple of 8?
True
Suppose 0*c + 15 = 5*c. Suppose 3*m = -5*y - m + 53, c*m + 9 = 0. Is 13 a factor of y?
True
Let b(u) = -u**3 + 16*u**2 - 29*u + 26. Is 2 a factor of b(14)?
True
Let f = 7 + 27. Suppose 0 = -3*h + 32 + f. Does 22 divide h?
True
Suppose 6 = 4*o - 2. Suppose 0 = -t + l + 8, o*l - 1 = l. Does 8 divide t?
False
Suppose -i = i + 5*p - 185, 4*p + 194 = 2*i. Suppose 0*n + 5*x - i = -5*n, 0 = -4*n + 4*x + 100. Let v = n - 10. Is 11 a factor of v?
False
Suppose 5 = 5*i + 4*h, -i + 3*h - 7*h + 1 = 0. Is i - (-1 - (9 + 0)) a multiple of 11?
True
Let w = 43 - 26. Does 15 divide w?
False
Suppose -21*b + 25*b = 444. Is b a multiple of 37?
True
Let x(m) = m**3 + 13*m**2 + m + 15. Let d be x(-13). Is 12 a factor of d/2*-1 - -37?
True
Let p(q) = -8*q - 12. Does 25 divide p(-14)?
True
Let d(z) = -z**2 - 6*z - 6. Let k be d(-4). Let h(x) = -3*x**3 - 2*x - 6 - 29*x**3 - x**k + 5. Is 16 a factor of h(-1)?
True
Suppose -5*c + 137 + 723 = 0. Suppose 0 = 4*k - p + 3*p - 328, 2*k = p + c. Does 21 divide k?
True
Let h be 6/15 - (-26)/10. Is 17 a factor of (1/h)/((-3)/(-279))?
False
Suppose 5*y - 2*y - f - 16 = 0, 20 = -5*f. Suppose 3*g = y*b + 176, 2*g - 6*b - 129 = -b. Is 13 a factor of g?
True
Let s(l) = -64*l - 4. Is s(-1) a multiple of 3?
True
Let h be 18/5 + (-2)/(-5). Suppose i + 54 = h*i. Let v = 34 - i. Is v a multiple of 16?
True
Let l = -121 + 166. Is l a multiple of 5?
True
Let h be (-66)/(-9) - (-4)/6. Let k = 14 - h. Suppose k*n - 60 = 3*n. Does 7 divide n?
False
Let b(s) = s**2 + 5*s - 44. Is 44 a factor of b(-16)?
True
Let c(x) = 6*x - 3. Let w(z) = -z - 1. Let a(d) = -c(d) - 5*w(d). Does 20 divide a(-12)?
True
Let l = -69 + 138. Is 23 a factor of l?
True
Let z be 228/14 + 4/(-14). Suppose 0 = -2*n - 0*n + z. Does 3 divide n?
False
Suppose x = -x - 1032. Let k = x + 344. Is k/(-8)*1*2 a multiple of 15?
False
Let s be (-2 + 402/9)*3. Suppose -4*x - 24 + s = 0. Does 13 divide x?
True
Suppose -5*p = -82 - 148. Is 10 a factor of p?
False
Let x = -2 + 4. Suppose -2 = 5*t - 27, 0 = -3*m - x*t + 220. Suppose k = -4*k + m. Is 14 a factor of k?
True
Let g(u) = 102*u. Let z be g(1). Let i = z - 47. Is 23 a factor of i?
False
Suppose -2 + 12 = 5*t. Suppose 5*g = -2*b + 3*b - 3, 4*g - 6 = -t*b. Suppose 0*k - 75 = -b*k. Does 14 divide k?
False
Let f = -7 - -2. Let m(d) = -4*d - 3. Is m(f) a multiple of 6?
False
Let t(v) = v**2 - 3*v - 3. Is 8 a factor of t(6)?
False
Let l(p) = 41*p**2 - p. Let c be l(1). Suppose 0 = -d + 5*m + 34, 2*d + m + 16 = c. Does 14 divide d?
True
Suppose 2*t + 6 = 4*t. Suppose t*m + 0*m = 0. Is 8 a factor of 2 + m - (-7 - -1)?
True
Let h(s) = 3*s**2 - 3*s + 3. Let x be h(2). Let i(j) = j**2 - 7*j - 5. Is i(x) a multiple of 5?
False
Let k = 238 + -151. Does 16 divide k?
False
Suppose -56 = -4*s + 52. Is 11 a factor of s?
False
Let w(d) = -5*d**3 - d**2 + 3. Let g be w(-3). Is 6/(-8) + g/12 a multiple of 5?
True
Let f(s) be the first derivative of 2*s**3/3 - 5*s**2 - s - 2. Let v(w) be the first derivative of f(w). Is 9 a factor of v(7)?
True
Let d be ((-8)/(96/(-42)))/((-2)/(-4)). Let z = 10 + -32. Let x = d - z. Is x a multiple of 8?
False
Let h(o) = 24*o - 6. Let y be h(5). Suppose 0 = -3*w + y - 27. Is w a multiple of 17?
False
Let p(d) = 29*d - 3. Let w(x) = 30*x - 4. Let v(r) = 5*p(r) - 4*w(r). Is 13 a factor of v(1)?
True
Let s = 101 - 69. Is s a multiple of 8?
True
Suppose -2*v - 3*i + 582 = -24, v = 2*i + 296. Suppose -g = 4*g - v. Does 7 divide (-10)/3*g/(-25)?
False
Suppose 2*t = -t - 207. Let s be (-3)/(0 + 3/t). Does 8 divide -1 - s/6*-2?
False
Let y be (2 - 3) + 0 + 4. Suppose 3*f - 128 = -2*m, -y*f + f = -3*m - 81. Is 14 a factor of f?
True
Let q be (-1*1)/((-5)/15). Suppose l + o = q, 2*o + 5 = 3*l + 1. Suppose y = 7*d - 2*d - 147, 0 = 3*d + l*y - 96. Does 15 divide d?
True
Suppose 5*b - 948 = -7*b. Is 21 a factor of b?
False
Let o(k) = -31*k - 3. Does 22 divide o(-7)?
False
Suppose -4*a = 33 - 5. Let c(r) = 5*r**2 - 27*r - 17. Let o(p) = 3*p**2 - 14*p - 9. Let x(m) = 4*c(m) - 7*o(m). Is 8 a factor of x(a)?
True
Suppose 3*i + 2*w - 149 = 36, -4*i + 5*w = -262. Is 9 a factor of i?
True
Suppose 5*u - 1039 = -2*v, -416 = -5*v + 5*u + 2164. Is v a multiple of 47?
True
Let i(j) = j + 21. Is i(18) a multiple of 39?
True
Let s = 6 + 8. Let b = s + 20. Suppose -b = 4*a - 90. Is 6 a factor of a?
False
Suppose 3*h - 2*h = 61. Suppose 5*n = h + 104. Does 11 divide n?
True
Let g(y) = -9*y**2 - 5*y - 3. Let r(z) = 10*z**2 + 6*z + 4. Let c(x) = -6*g(x) - 5*r(x). Let a = 3 - 5. Is c(a) a multiple of 14?
True
Let r(d) = -1 + 3 - 4 - 2*d + 2*d**2. Let n be r(2). Is n/(4/2) - -1 even?
True
Let h(l) = 7*l + 4. Let i be h(7). Suppose -i = -2*t - 5. Let k = t + -2. Is k a multiple of 11?
True
Let h = -147 - -219. Suppose 4*m - h = -0*m. Does 11 divide m?
False
Let m be 3 + 1*(-1 + 2). Is 4 - (0 + m)/(-2) even?
True
Let m be (0 - 1) + (-8 - -9). Suppose -5*c - 2 - 3 = m. Let h(w) = -17*w**3 + w**2. Does 11 divide h(c)?
False
Suppose 0 = 5*i + 3*r - 162, 5*i + 2*r = 211 - 48. Suppose 0*t - 3*t + i = 0. Does 6 divide t?
False
Suppose -21*p + 5*p + 208 = 0. Is p a multiple of 2?
False
Suppose 4*x - 2 + 0 = -5*t, 12 = 2*t - 4*x. Suppose -s + 1 + t = 0. Is (s/4)/((-6)/(-48)) a multiple of 3?
True
Suppose 6*t - 4*t = 74. Suppose -t = -3*g + 8. Does 14 divide g?
False
Let k(t) = -3*t - 16. Let u(n) = -4*n - 17. Let i(f) = -3*k(f) + 2*u(f). Is 7 a factor of i(-7)?
True
Suppose 4*x - 2*t - 360 = -0*x, -t + 457 = 5*x. Does 9 divide x?
False
Suppose -16 = -m + 2*z, 0 = 2*m + 2*m - 2*z - 34. Let d(o) = o**2 - 5*o + 1. Is 7 a factor of d(m)?
True
Is 9 a factor of 503/5 + 6*(-5)/50?
False
Let r be 1*-3 - 6/6. Let s(k) = 2*k**2 + 5*k - 2. Is s(r) a multiple of 7?
False
Let w = 148 + -140. Is 5 a factor of w?
False
Let u(