ide (-5 + 388 + 6)/1?
False
Suppose -9 = b - 0. Is (0 + b)/(6/(-4)) a multiple of 4?
False
Let f = -2 - -24. Suppose f = -5*q - 8. Let h = 30 + q. Does 12 divide h?
True
Let o(z) = -24*z**2 - 5*z + 4. Let t be o(4). Does 14 divide t/(-8) - (1 + -1)?
False
Let z(s) = s**2 + 3*s - 7. Let b(r) = -10*r + 1. Let x be b(-1). Let y = x - 17. Is z(y) a multiple of 10?
False
Let m(b) = b**3 - b**2 - b + 2. Let j be m(3). Suppose 5*p - 13 = j. Is (5/3)/(1/p) a multiple of 10?
True
Let w(z) = -3*z**2 - 5*z - 2. Let y be w(-4). Let r be (18/(-15))/(9/y). Suppose -r*m - 4*k + 124 = 0, -4*m + 1 = -5*k - 96. Does 14 divide m?
True
Let w(c) be the third derivative of -c**4/24 + 5*c**3/6 - 2*c**2. Is 8 a factor of w(-5)?
False
Let p(r) = -r**3 - 3*r**2 - 2*r - 1. Let d be p(-3). Let g(m) = 4*m - 9. Does 11 divide g(d)?
True
Let z = 27 - 5. Let l = z + 2. Is 12 a factor of l?
True
Let s(f) = 7*f**2 - f + 2. Let z be s(1). Let c(v) = -v**3 + 8*v**2 + v + 3. Is 4 a factor of c(z)?
False
Let w be 6/(-27) - (-615)/(-27). Let m = -15 - w. Is m a multiple of 3?
False
Let j = 2 - -6. Let t(p) = 10 + 4*p + 2*p + 0*p - 18. Is 20 a factor of t(j)?
True
Let n = 15 - 5. Let r = n - 5. Suppose -r*a + 163 + 52 = 0. Does 15 divide a?
False
Suppose 6*w + 4*w = 20. Is w a multiple of 2?
True
Let v(m) = -2*m**3 - 7*m**2 - 7. Is 16 a factor of v(-6)?
False
Let i(r) = 18*r**3 - r. Let a be i(1). Suppose -a = 5*u - 7, -q = -u - 4. Suppose 5*n - 2*n + q*x - 20 = 0, -14 = -2*n - x. Does 5 divide n?
False
Let h(o) = 2*o**2 + 3*o**2 + 1 - o - o. Let v be h(-3). Suppose 3*p + p = v. Is p a multiple of 8?
False
Let h be 1/(2*2/24). Does 7 divide (4/h)/((-2)/(-51))?
False
Is 19 a factor of 28/24*3*22?
False
Suppose -6*u = -u - j - 62, 0 = 5*u + j - 58. Let w = 47 - u. Suppose -3*x = -2*v + w + 29, 5*x + 98 = 3*v. Does 13 divide v?
True
Suppose 15*i - 12*i - 6 = 0. Is 2 a factor of 64/(-24)*(-3)/i?
True
Suppose 5*t = -9 + 24, 165 = 3*y - 5*t. Is 4 a factor of y?
True
Let f(c) = -c - 5. Let l be f(-6). Suppose -2*b = -7 - l. Is 4 a factor of b/(-14) - 172/(-14)?
True
Let c(b) = 4*b + 2. Let y be c(2). Does 23 divide 0 - -87 - (11 - y)?
False
Let r(j) = 3*j + 3. Let p be r(-8). Let n be (p/(-9) - 3)*-3. Suppose n*d = -d + 51. Is d a multiple of 17?
True
Suppose -35 = -4*w + 77. Suppose 3*o - w = o. Does 4 divide o?
False
Suppose 9*n - 204 = 5*n. Is 15 a factor of n?
False
Let r = -105 + 150. Is r a multiple of 9?
True
Let g be ((-2)/(-4))/(3/108). Suppose 10 = 2*n - g. Is n a multiple of 14?
True
Let a = -121 + 79. Suppose f - 5*f - 4*g = 220, 4*g = f + 75. Let r = a - f. Is 13 a factor of r?
False
Let h(u) = u + 1. Let d(o) = 5*o - 10. Let p(m) = d(m) + 6*h(m). Suppose -4*y = -14 + 2. Does 12 divide p(y)?
False
Let v = 11 + -15. Let r = v + 4. Suppose 3*x - 11 - 31 = r. Is x a multiple of 14?
True
Let w = 51 + -33. Does 9 divide w?
True
Let x(g) = g**2 + 6*g - 5. Let j be x(5). Suppose 4*n - 36 = -2*p + 112, 3*p - 3*n - 267 = 0. Suppose 2*c - j = 5*k, 3*c - 3*k + 0*k = p. Is c a multiple of 15?
True
Suppose -202 = 32*y - 34*y. Does 13 divide y?
False
Let h(l) = -12*l + 4. Let n be h(-3). Suppose 2*i - n = -w, 0 = 5*w - i + 3*i - 184. Is 11 a factor of w?
False
Suppose 38 = -4*s - 74. Let l = 46 + s. Does 6 divide l?
True
Let o(v) = 0*v - 4 + 5 - v. Let a be ((-4)/6)/((-1)/(-3)). Does 3 divide o(a)?
True
Let y = 17 - -109. Is 9 a factor of y?
True
Suppose -2*k = -0*k + 20. Let h be k/(-35) - 60/14. Let o(l) = -2*l**3 - 5*l**2 + 5*l + 4. Does 16 divide o(h)?
True
Suppose 0 = -4*p + 5*m + 658, 2*p - m = 2*m + 330. Is 14 a factor of p?
False
Let t = 0 + 0. Suppose a - 34 = -t*a. Is 12 a factor of a?
False
Suppose -48 - 17 = -5*y. Let m be 6/4*(-188)/(-6). Let k = m - y. Does 12 divide k?
False
Let r(b) = 4*b**2 - 6*b - 2. Let m be r(-4). Suppose -5*o + 3*u + m = 0, -6*o + 98 = -o + u. Is o a multiple of 9?
False
Suppose y + 2*p = 2, 2*p - 2 = -2*y - 2*y. Let g be ((-2 - -2)/(-2))/(-1). Suppose g = -y*i + 2*i - 44. Is i a multiple of 22?
True
Let t be 3/(0 + 0 - -1). Let p be (3 + 0)/1 + t. Suppose -c + 22 + p = 0. Does 14 divide c?
True
Suppose f = 75 - 19. Is f a multiple of 56?
True
Let i(f) = -f**2 - f - 1. Let g(k) = -k**3 - 5*k**2 - k - 12. Let y(j) = -g(j) + 6*i(j). Does 17 divide y(4)?
True
Suppose 11*f - 12*f + 3 = 0. Suppose f*a - 50 = -2*a. Is a a multiple of 6?
False
Suppose -7*q = -19*q + 1584. Is q a multiple of 33?
True
Suppose 130 = 5*u + 3*r, -4*u + 78 = -u - 3*r. Is 2 a factor of u?
True
Let h = -3 - -4. Let k be 2/(-4)*(1 - h). Suppose 2*g + k*g = 40. Is 10 a factor of g?
True
Let x be 2/7 - 1440/(-56). Let a(z) = z**3 + z + 4. Let r be a(0). Does 9 divide (0 - (-2)/r)*x?
False
Suppose 3*p - 468 = -p. Is p a multiple of 13?
True
Let n be (9/3)/(-1) + 1. Let a be (-1 - 1)/n + 1. Does 10 divide (-26)/(-3 - (a - 3))?
False
Let z(g) = 2*g**2 + 6*g - 6. Let j = -4 - -10. Let w = 1 - j. Is 14 a factor of z(w)?
True
Let k = -25 - -14. Let t = -5 - k. Is t a multiple of 4?
False
Suppose 3*r + 8 = 4*r. Let o(l) = l**2 - 4*l - 4. Does 10 divide o(r)?
False
Let t(y) = y**3 + 3*y**2 + 2. Let u be t(-2). Suppose d - 2 = u. Is 8 a factor of d?
True
Suppose 5*k - 220 = -3*q, -2*q + 6*q = -2*k + 88. Is 12 a factor of k?
False
Suppose 3*t = -j + 145, 3*j - 2*t - 457 = -0*j. Suppose 4*o - j = 17. Does 14 divide o?
True
Suppose -3*a + p + 4 = 0, -2*a + 2*p = p - 4. Suppose a*w + 8 = 2*w. Suppose -2*h + 2 = -3*h, -w*o = 2*h - 44. Is 12 a factor of o?
True
Suppose 0 = f - 14 - 15. Does 7 divide f?
False
Suppose 21*j - 139 - 155 = 0. Is j a multiple of 14?
True
Let w(g) = 1. Let u(m) = m - 7. Let l(q) = -u(q) - 3*w(q). Is l(2) even?
True
Let w(y) = -y**2 + 38. Let n be -2 + -2 + (-3 - -7). Is 9 a factor of w(n)?
False
Let f = 122 - 12. Is 11 a factor of f?
True
Suppose 4*r - 43 = -5*p, -4*p - r = 5 - 35. Let i be -1 + 1/(-1) + p. Suppose y + 144 = i*y. Is 14 a factor of y?
False
Suppose 3*a + 96 = a. Let v = -17 - -5. Let l = v - a. Is l a multiple of 13?
False
Let p = -6 + 7. Let d = p - -29. Is 15 a factor of d?
True
Suppose -5*j + 58 = 3*m - 0*m, 0 = -m - 3*j + 26. Is 4 a factor of m?
False
Let m = 203 + -130. Does 17 divide m?
False
Let z(n) = 10*n**2 + 3*n - 1. Does 30 divide z(2)?
False
Suppose 9*a - 81 = 6*a. Is a a multiple of 9?
True
Let r(q) = -q**2 + 4*q - 13. Let g(b) = -b**2 + 5*b - 12. Let d(v) = -3*g(v) + 2*r(v). Does 14 divide d(9)?
True
Is 2 a factor of -4 - (-17)/1 - (-1 + 2)?
True
Let b be 443/9 + (-22)/99. Let m = -32 + b. Is m a multiple of 15?
False
Let h(a) = -10*a + 11. Let w(s) = -5*s + 5. Let t(j) = 6*h(j) - 13*w(j). Is t(5) a multiple of 13?
True
Suppose 2*f + 5*v + 1 + 14 = 0, -2*f = 2*v. Does 5 divide f?
True
Let f = 50 + 20. Does 7 divide f?
True
Let j(b) = -b**3 + 4*b**2 + 2*b + 2. Let m = 11 - 6. Let t be j(m). Let f = t - -18. Is f a multiple of 5?
True
Suppose 5*p = -5*o - 73 - 252, 4*o + 260 = 3*p. Let x = -26 - o. Is x a multiple of 19?
False
Let n = 19 + -39. Let z = n - -26. Does 6 divide z?
True
Let h(a) = -3*a + 1. Let y(o) = -2*o + 5. Let v be y(4). Is h(v) a multiple of 5?
True
Let y = 140 + 20. Is 10 a factor of y?
True
Let j = -5 + 9. Let n(m) be the third derivative of m**4/6 - m**3 + 2*m**2. Is n(j) a multiple of 7?
False
Let z(c) = c**3 - 5*c**2 - 4*c + 6. Suppose 0 = 2*i - 7*i. Suppose -4*s = 4*a - 40, -2*a - 3*s = -i*a - 24. Is 18 a factor of z(a)?
True
Let g = -9 + 5. Is 16 a factor of g/6 + (-438)/(-9)?
True
Let p(n) = 5*n + 2*n**2 - 3*n**2 + n + 4. Let v be p(7). Let j = v - -21. Is j a multiple of 9?
True
Suppose -w - x - 16 = 3*x, 3*w - 4*x + 48 = 0. Is ((-10)/(-8))/((-2)/w) a multiple of 10?
True
Let i(d) be the third derivative of d**5/30 + d**4/24 + d**3/3 + 8*d**2. Is i(2) a multiple of 4?
True
Suppose 5*i - 15 - 35 = 0. Is 2 a factor of i?
True
Suppose 2*h + 2*s + 3*s = 18, -2*h + 12 = 2*s. Let x = -24 - -42. Is (-508)/(-18) - h/x a multiple of 14?
True
Let s be (-4)/(-4)*5*1. Suppose -s*c = -5*w - 30, 0 = -2*c - 2*w - 4 + 24. Let j(a) = 2*a - 11. Is j(c) a multiple of 2?
False
Suppose -2 = -2*w - 4. Let k(f) = -3*f**3 - f**2 - 2*f - 1. Let d be k(w). Suppose -20 = -4*v + d*h, v - 3*h - 18 = -2*v. Is 2 a factor of v?
True
Suppose 3*y - 2*j = -15, -y + 4*j + 4 + 1 = 0. Let s be (12/21)/((-2)/y). Suppose -4*m = 4*l - 37 + 9, 0 = -2*m - s