d?
True
Let k(t) = 15*t**2 + 1. Is 10 a factor of k(-1)?
False
Let o = -4 - -7. Suppose -5*q - 4*t = -231, -59 = -q + o*t - 7*t. Suppose q + 17 = 5*k. Is k a multiple of 9?
False
Let u = 6 - 8. Is 9 a factor of 25 + 1*(-4)/u?
True
Let z(j) = 7*j - 4. Let g(a) = 22*a - 12. Let t(i) = 5*g(i) - 16*z(i). Does 10 divide t(-3)?
True
Suppose 4*h - 276 = 180. Is 19 a factor of h?
True
Let w(q) = 7*q**2 + 14*q + 9. Is w(-4) a multiple of 7?
False
Suppose u - 3*u - 626 = 0. Let h = -15 - u. Is 11 a factor of (-1)/(-5) - h/(-10)?
False
Suppose 516 = 6*g - 2*g - 2*v, 0 = 5*g - 5*v - 650. Is 18 a factor of g?
False
Let y(z) = -z**3 + 8*z**2 - 4*z - 5. Let r be y(5). Suppose 0 = 2*w - 7*w + r. Is 3 a factor of w?
False
Let o = 3 - 7. Let g = 28 - o. Is g a multiple of 16?
True
Suppose 2*o + 150 = g, g - 150 = -0*g - 3*o. Suppose -5*w + g = -0*w. Is w a multiple of 17?
False
Suppose -3*h - 32 = -4*z + 2*h, -3*z - 2*h = -1. Suppose -z*n + 4*a + 104 = 0, -2*n + 4*a + 29 + 47 = 0. Is 14 a factor of (2/(-1))/((-2)/n)?
True
Let d = -81 + 115. Suppose 0 = -3*b - a + d + 27, -2*b - 5*a = -32. Is (0 + b)/(4/4) a multiple of 21?
True
Let n be (-6)/(-27) - 68/(-18). Let f(v) = -v**3 + 5*v**2 - 3*v + 4. Does 4 divide f(n)?
True
Suppose 3*q = 2*a + a + 108, -q = 2*a - 36. Does 9 divide q?
True
Does 20 divide ((-30)/(-4))/(45/390)?
False
Suppose 0 = -9*z + z + 616. Is 9 a factor of z?
False
Suppose 4*w = -5*q + 30, -4*q - 8 = -2*w - 3*q. Let i(b) = 2*b**2 + b + 4. Does 24 divide i(w)?
False
Let q(o) = -o**3 - 7*o**2 + 9*o + 10. Let h be q(-8). Let i be 2 + -2 - (0 - h). Suppose i*s - 12 = s. Is 10 a factor of s?
False
Suppose 5*s + 2*p = 7*p + 95, 5*s - 4*p - 96 = 0. Let t be ((-6)/(-8))/(5/s). Suppose 54 = 3*i - t*z, 133 = 5*i - 2*z + 31. Is 9 a factor of i?
False
Let d(l) = -34*l - 3. Is 13 a factor of d(-2)?
True
Suppose -6*s + 5*s = -44. Is s a multiple of 22?
True
Suppose 0 = -3*o + 27 + 3. Is o a multiple of 5?
True
Suppose -7 + 22 = 3*c. Suppose 14 + 11 = c*y. Is y a multiple of 2?
False
Does 24 divide (1*6)/((-6)/(-24))?
True
Suppose -5*a + 16 = -14. Let b(l) = 64*l**2 - l + 1. Let h be b(1). Is (a/(-4))/((-6)/h) a multiple of 16?
True
Suppose -19 = -5*p + 2*l, 4*p - 23 = -3*l + 2*l. Is 5 a factor of p?
True
Suppose -27 = -4*c - 3*v + 6*v, -4*c - 2*v = -2. Is (-6 + c + -1)*-4 a multiple of 16?
True
Let z = 7 + -11. Let u be (-6)/z*100/15. Let j = 21 - u. Is j a multiple of 8?
False
Let l = 18 + -2. Let n = 34 - l. Is n a multiple of 6?
True
Suppose 4*u - 2*u - 8 = 0. Suppose -2*v = -u*v + 8. Suppose 2*b = v*b - 38. Does 7 divide b?
False
Is 14 a factor of 2/(-4)*(-52 + -6)?
False
Let m(l) = -2*l - 9. Is 9 a factor of m(-9)?
True
Let b(f) = 6*f + 13. Let l be b(10). Suppose -5*t - 2*s = -l, 0*s = -5*t + s + 76. Is t a multiple of 15?
True
Let i = -104 - -229. Is 14 a factor of i?
False
Let p be (3/3)/2*0. Suppose p*q - 4*x + 248 = 4*q, 4*x - 116 = -2*q. Is 16 a factor of q?
False
Let b = -20 - -6. Is 11 a factor of ((-7)/b)/(2/148)?
False
Suppose -2*x = x. Suppose 3*d - d - 18 = x. Does 3 divide d?
True
Let x(r) = 14*r**2 - 13*r + 4. Let w(i) = 7*i**2 - 6*i + 2. Let l(b) = 5*w(b) - 2*x(b). Is l(2) a multiple of 22?
True
Let b(j) = j**3 - 8*j**2 + 8*j. Let a be b(6). Let q = 25 - a. Is q a multiple of 15?
False
Let c(d) = -d**3 + 5*d**2 + 2. Let r = 12 - 7. Let k be c(r). Suppose k*w + 25 = -5*n + 96, 3*n - 149 = -4*w. Is w a multiple of 13?
False
Let y(j) = 3*j**2 + 13*j + 4. Does 4 divide y(-5)?
False
Let f(w) = -w**2 + 6*w - 5. Let x(m) = m**2 - 7*m + 4. Let y(u) = -4*f(u) - 3*x(u). Is y(7) a multiple of 18?
True
Let a = 4 + -1. Suppose 4*k = 0, -a*k - 55 = -0*q - 5*q. Suppose 0 = -2*p - 2*l + q + 3, 0 = 5*p + 4*l - 32. Is p a multiple of 3?
False
Suppose 42*q - 37*q = 715. Does 11 divide q?
True
Suppose 3*q - 55 = 20. Is q a multiple of 25?
True
Suppose 0 = -3*h - w + 23, -h + 4*h - 2*w = 26. Let y(d) = -d**3 + 8*d**2 + 12*d - 6. Is y(h) a multiple of 30?
True
Let q = -37 - -130. Does 13 divide q?
False
Let d(c) = 2*c**3 - 6*c**2 + 9*c - 3. Is 4 a factor of d(3)?
True
Suppose 76 = 4*v + 2*l, -2*l = -3*v - 5*l + 54. Suppose 5*c - 3*f = -f + v, 4*f = 0. Suppose 20 = c*y, -k + 18 = y + 4. Is k a multiple of 9?
True
Is (-40)/((-10)/20*1*2) a multiple of 10?
True
Let b = 6 + -8. Let r(w) = w**3 + 4*w**2 + 4*w + 3. Let p be r(b). Suppose p*y - 25 = -2*y. Does 2 divide y?
False
Does 35 divide 3090/20 - (-3)/(-2)?
False
Suppose j + 4*j = k + 448, -5*k = 5*j - 430. Is 12 a factor of j?
False
Suppose 0 = -5*p + 25 - 85. Let y = p + 17. Does 5 divide y?
True
Let j(a) = -a + 3. Let w be j(6). Let o(v) = 6*v**2 + v - 2. Let h be o(w). Let y = h - 21. Does 14 divide y?
True
Let a(l) = l**2 - l + 5. Let i(b) = b**2 - 2*b + 6. Let x(r) = 6*a(r) - 5*i(r). Let u be x(-5). Is (-12)/(-1*2/u) a multiple of 15?
True
Let g = 1 + 7. Let q = 21 + g. Is q a multiple of 11?
False
Let v be (-1)/5 + (-32)/(-10). Let d be 2*-2*v/(-6). Suppose 19 = -f + d*f. Is 12 a factor of f?
False
Let s(p) = p**2 - p + 3. Let n be s(0). Suppose n*x + 115 = 8*x. Is 23 a factor of x?
True
Let u(s) be the second derivative of s**4/12 - 2*s**3/3 - 5*s**2/2 - s. Is 3 a factor of u(6)?
False
Suppose -5*o - 5*x + 175 = 0, -2*o = x + 4*x - 82. Is o a multiple of 17?
False
Suppose 4*y - 2 = 2. Does 10 divide 42/15*(y + 9)?
False
Let v = -63 + 103. Is 4 a factor of v?
True
Let m(g) = g - 3. Let b be m(5). Let n(c) = -6*c**2 + 5*c**b + 3*c - 8 - 4 + 9*c. Is n(10) a multiple of 3?
False
Let p(d) = d**3 - 188. Let a be p(0). Let u = a + 324. Suppose 0*n + 4*n - u = -4*k, 4*k + 2*n - 128 = 0. Is k a multiple of 15?
True
Is 351/21 + (-2)/(-7) a multiple of 6?
False
Suppose 5*l - 4*q + 88 = 0, 2*l + 0*l = 4*q - 40. Does 12 divide (24/l)/((-1)/8)?
True
Let g(p) = p**2 + 4*p - 4. Is g(-6) a multiple of 8?
True
Let g(u) = 26*u - 9. Let r(t) be the third derivative of -13*t**4/24 + 2*t**3/3 + t**2. Let b(s) = 4*g(s) + 9*r(s). Does 13 divide b(-1)?
True
Suppose -4 = -w, 4*w - 401 = -3*n - 1. Does 32 divide n?
True
Suppose 37*m = 34*m + 474. Is m a multiple of 9?
False
Suppose -3*v = -v. Suppose 3*o - 2*o - 6 = v. Let y = o - -4. Does 3 divide y?
False
Let r(v) = 3*v - 50. Is r(22) a multiple of 4?
True
Suppose 0*q = q. Let i = q - -1. Is 13 a factor of 15 - 2/2 - i?
True
Let r be (-1)/(-3) + 56/(-6). Let i(l) = 7*l - 11. Let v(f) = -6*f + 10. Let h(a) = 5*i(a) + 6*v(a). Does 7 divide h(r)?
True
Let o(p) = 2*p**2 + 7*p - 1. Let b be o(-6). Let i = b - 14. Is i a multiple of 15?
True
Suppose 6*m - 3*m = 0. Let y(j) = -j + 42. Does 18 divide y(m)?
False
Suppose 2*r + 3*d + 8 = 0, -r - d - 10 + 5 = 0. Let q = -34 + 50. Let v = q - r. Does 9 divide v?
False
Let f(j) = 3*j**2 + 4*j + 3. Let r be f(-2). Suppose -2*z + r*z - 130 = 0. Is z a multiple of 26?
True
Suppose -5*f = 3*r - 13, 4*r - f + 0 = -21. Let h be (-6)/r*16/3. Suppose 4*d - 4 = -l, 5*l + h*d - 4*d = 52. Does 6 divide l?
True
Suppose 0 = 2*f - 74 + 8. Is 11 a factor of f?
True
Let l be 12/(-2 - (-1)/2). Let w = l + 12. Is 4 a factor of w + (0 - 0) + 0?
True
Let b(d) = -3*d**3 - d**2 + d - 1. Suppose 4*s = -s + 5. Let g be b(s). Is 11 a factor of (44/6)/(g/(-6))?
True
Let v = 2 + 2. Suppose -5*p = o + 58 - 182, 0 = p - 5*o - v. Is 9 a factor of p?
False
Suppose -3*i + 120 = i. Suppose 2*o - 6 = i. Does 12 divide o?
False
Let s(i) = 78*i**3 + i**2 - 2*i + 2. Is s(1) a multiple of 11?
False
Suppose 2*c - 2 = c. Suppose -c*l + 35 + 1 = 0. Is 11 a factor of l?
False
Let o = 10 + 67. Suppose 1 = 3*z - o. Is 13 a factor of z?
True
Suppose 3*c = -5*j + 19, -j - 5 = 5*c - 0*j. Let n = 48 + -49. Is 8 a factor of 10 + 1 + c/n?
False
Let l(i) = -i**3 - 4*i**2 + 3*i - 6. Let r be l(-5). Suppose -4*v - v - 15 = 2*q, -2*v - 30 = -r*q. Let d(b) = b**3 + 5*b**2 + 7. Is d(v) a multiple of 7?
True
Let o be 4/10 - 24/(-15). Suppose 4*q + 5*j = -8, -2*q = o*q + 4*j + 4. Suppose -k - 4*y = -31, 3*y = q*k - 15 - 18. Is k a multiple of 10?
False
Does 7 divide 17 + 0 + -1 + 5?
True
Let c = 4 + -7. Let j(u) = u**3 - 3*u**2 + u - 7. Let d(m) = m**3 - 4*m**2 + 2*m - 6. Let x(h) = c*j(h) + 2*d(h). Is 4 a factor of x(0)?
False
Let a = -54 + 102. Suppose -3*p = -7*p + a. Is p a multiple of 6?
True
Suppose -3*g = -6*g + 2*d + 50, g - 19 = 3*d. Let z be (-4)/g - 853/(-4). Suppose 5*x - z - 22 = 