de q?
True
Let w(x) = -7*x + 2. Let k be w(-2). Let d = 0 + 3. Suppose 0 = -y + d*y - k. Is y a multiple of 4?
True
Let y = -140 - -290. Is 15 a factor of y?
True
Suppose 4*g + 72 = 5*g. Suppose g = o - 3*o. Let p = 58 + o. Is p a multiple of 11?
True
Let w(s) = s**2 + 3*s - 6. Is 11 a factor of w(4)?
True
Let w(a) = a**3 - 7*a**2 + 3*a + 8. Let l be w(6). Let q = 22 + l. Does 4 divide q?
True
Suppose j = -2*c - j + 240, -2*c = -j - 240. Is c a multiple of 20?
True
Let z be 8/(((-4)/2)/1). Let y = z + 37. Is y a multiple of 11?
True
Let k(q) be the third derivative of -5*q**4/24 + q**3 - 6*q**2. Does 6 divide k(-3)?
False
Let h(b) = -b**3 + 10*b**2 + 14*b + 1. Is h(11) a multiple of 5?
False
Does 8 divide -28*(12/(-14) + 0)?
True
Let b = 21 + -13. Suppose -2*d = -4*h + b - 4, -2*d = -5*h + 6. Suppose -h*i = 11 - 71. Does 15 divide i?
True
Suppose 8 = -2*h, 0*o + 5*h = 2*o - 50. Let d = o - 5. Does 3 divide d?
False
Suppose d = -9*d + 420. Does 21 divide d?
True
Let w be (105/20)/((-2)/(-16)). Let q = w + -27. Is 5 a factor of q?
True
Let v = 0 + 16. Is 15 a factor of v?
False
Let l be 0*4/(-8)*1. Suppose l = 2*o - x - 18, -o + 2*x = -6*o + 36. Does 4 divide o?
True
Let u be 0 + (0 - -2) - -47. Suppose -46 = -5*j - 4*o + 22, -4*j + u = 5*o. Does 13 divide ((-13)/4)/((-4)/j)?
True
Let c(p) = 2*p**2 - 4*p - 5. Let o be c(4). Let d = o + 3. Is 14 a factor of d?
True
Let i(n) = 6*n + 4. Let s(j) be the third derivative of -13*j**4/24 - 3*j**3/2 + 2*j**2. Let v(l) = -5*i(l) - 2*s(l). Is 11 a factor of v(-6)?
True
Let z(i) be the second derivative of i**4/12 - i**3/2 + i**2 + 3*i. Let s be z(2). Suppose 0*d + 3*d - 12 = s. Is d a multiple of 2?
True
Let b(h) = -h**3 + 6*h**2 + 11*h + 3. Does 12 divide b(7)?
False
Let g be 7/(14/(-312)) - 1. Let d = g + 236. Is d a multiple of 30?
False
Let h(s) = 11*s**2 + 3*s - 2. Is h(1) a multiple of 2?
True
Let s(p) = p**2 + 3*p - 1. Let f be s(-3). Let w be 3 + f - 0/2. Suppose -4*b - w*r = -60, 29 + 23 = 3*b - 2*r. Is b a multiple of 16?
True
Let k = 215 - 120. Does 19 divide k?
True
Let g(z) = z**2 + 4*z - 5. Let r be g(4). Suppose -r = 4*u - 7*u. Does 6 divide u?
False
Suppose 7 + 13 = -2*m. Let h(o) = 2*o - 2. Let z be h(-3). Does 4 divide (m/z)/(-1)*-8?
False
Let m(s) = s**3 - s + 13. Suppose -3*z - z = 0. Is m(z) a multiple of 13?
True
Let g = -66 + 92. Suppose 0 = -4*a + 30 + g. Does 7 divide a?
True
Let o(b) = -4*b**3 - 2*b**2 - 1. Is 6 a factor of o(-2)?
False
Does 29 divide ((-384)/10)/(15/(-50))?
False
Suppose 0 = 5*v + 20. Is 7 a factor of 172/8 - (-2)/v?
True
Let m = 195 - 140. Is m a multiple of 40?
False
Suppose 0*h - 3*h + 9 = 0. Suppose -g = -h*a + a - 2, -4*g + 2*a = -38. Does 4 divide g?
True
Let d = 92 - 83. Is d a multiple of 4?
False
Suppose -t = -i + t + 37, 3*i - 103 = 2*t. Suppose i = -l + 2*l. Suppose 5*a - 59 = u, 0 = -2*a - a + 3*u + l. Is 12 a factor of a?
True
Suppose -4*l = -p + 162, -3*p + 479 = -13*l + 8*l. Does 23 divide p?
False
Let z(c) = c**2 + 2*c**2 + 0*c - 8 + c - 2*c**2. Does 15 divide z(6)?
False
Let w = -11 - -8. Let z = w + 5. Does 2 divide z?
True
Suppose -1 + 11 = 2*g. Suppose g*n - 15 = 0, -3*r + 12 = -2*r + n. Does 12 divide (-2)/6 + 111/r?
True
Let r = -35 + 58. Is 3 a factor of r?
False
Suppose 3*x - 1 = 50. Does 5 divide x?
False
Let x(w) = -w**3 - 2*w**2 - w - 2. Let f be x(-4). Suppose 4*d + 204 = 5*k, -f + 236 = 5*k - 2*d. Does 20 divide k?
True
Suppose 3*x = -245 + 869. Is x a multiple of 19?
False
Let g be 1340/5*(-1)/(-4)*1. Let d = 3 - -1. Suppose -11 = d*w - g. Does 7 divide w?
True
Let k(v) = -v**3 - 18*v**2 - v - 13. Is k(-18) a multiple of 2?
False
Let a(c) = -3*c**2 - 5*c + 14. Let u be a(-6). Let z = u + 92. Is z a multiple of 11?
False
Let f(m) = -m + 5. Let v be f(6). Let y be (-2 - (-2 - 0))*v. Let d(i) = i**3 + i**2 - i + 11. Is 11 a factor of d(y)?
True
Let p be 35/49 + (-4)/(-14). Let h = p + 7. Is h a multiple of 4?
True
Let s(o) = o**3 + 6*o**2 - 9*o + 10. Is 9 a factor of s(3)?
False
Let t(r) = r**2 + 8*r + 8. Let q(d) = 2*d - 1. Let y be q(-3). Let h be t(y). Does 12 divide (-1 - h)*1 - -26?
True
Let j be 2/(-11) - 128/22. Is (-28)/(-4)*j/(-7) a multiple of 6?
True
Let m(g) = -g**3 + 9*g**2 - 16*g + 8. Is m(6) a multiple of 3?
False
Let g = 5 + -9. Does 11 divide (14/g)/(3/(-24))?
False
Suppose 4*x + 7 = -5. Is 2 - (-58 - (x + 2)) a multiple of 24?
False
Let m be (2 - (0 + 2))/2. Let n(o) = -o**2 + o + 4. Let b be n(m). Suppose s + 7*a - 2 = b*a, -a = 5. Does 7 divide s?
False
Suppose -14 - 1 = -5*d. Let m be 87/1 - (-26)/(-13). Suppose -m = d*c - 8*c. Does 12 divide c?
False
Let h(a) = 3*a**2 + 0*a - a + 2*a**2. Let t be h(1). Suppose 20 = t*c - 0*k + 2*k, -4*k = -c - 4. Is c a multiple of 4?
True
Let m(w) = 3*w + 2 + 1 - w**3 + 0 + 0. Let c be m(-2). Suppose 170 = c*p - 45. Does 23 divide p?
False
Suppose 0 = w + 4*p - 28, -4*p = -4*w + 231 - 19. Does 12 divide w?
True
Suppose 7*w - 13*w + 468 = 0. Is 13 a factor of w?
True
Suppose 3*k - k = 222. Is 34 a factor of k?
False
Suppose 2*z - 120 - 104 = 0. Does 27 divide z?
False
Let a = 64 + -21. Let r = 22 - 51. Let z = r + a. Does 14 divide z?
True
Suppose -5*r + 4*i - 12 = 0, -3*r - 2*r = i + 22. Let a(f) be the third derivative of f**5/60 + f**4/12 + f**3 - f**2. Is a(r) a multiple of 7?
True
Let k = -7 + 7. Suppose 2*f - 23 - 53 = k. Is f a multiple of 19?
True
Suppose 3 = 5*w - 2*z + 6*z, 2*w - z = -4. Let p(o) = -10*o**3 - 2*o**2 - o. Let h be p(w). Let j(k) = k + 5. Is 14 a factor of j(h)?
True
Suppose -2*a = -6, 5*a + 252 + 186 = 3*z. Let l be (-3)/(-12) - z/(-4). Let j = l - 2. Is 18 a factor of j?
True
Suppose 5 = 5*t - 15. Suppose -u - u = 3*f - 52, -5*f + 90 = t*u. Does 14 divide f?
True
Suppose -2*h - 2*h = 0. Suppose -d - 1 = 0, 3*w + 2*d - 4*d - 137 = h. Is 15 a factor of w?
True
Let c(g) = 7*g**2 + g + 5. Let x(k) = -k**2 - 1. Let v(u) = c(u) + 4*x(u). Does 11 divide v(-2)?
True
Suppose 5 - 3 = d. Suppose 4*z - 20 = -2*f, -2*z - 20 = -6*z + f. Suppose -3*p - 117 = -3*k, z*p = k + d*k - 119. Does 19 divide k?
True
Let f(z) = -z**3 + 4*z**2 + 2*z - 5. Let b be f(4). Suppose -b*p + 52 = -p. Is p a multiple of 11?
False
Let k(x) = 4*x**2 + 9*x - 5. Let p be k(-7). Suppose 2*u + p = 2*q + 4*u, 72 = q + 3*u. Does 12 divide q?
True
Let f(u) = -u**3 + u**2 + u + 3. Let z be 0 + -2 + (1 - -1). Let j be f(z). Does 3 divide (j/(-4))/(1/(-4))?
True
Let v(k) be the second derivative of 5*k**3/2 - k**2/2 - 3*k. Is v(3) a multiple of 11?
True
Let n be 0/(0 - (2 + -4)). Suppose -4*r - r = n. Suppose 10 = q - r*q. Does 10 divide q?
True
Let h = 12 - 8. Suppose 232 = -h*o - 4*l, 5*o = -0*l + 4*l - 299. Let g = -40 - o. Does 8 divide g?
False
Let p be (1 + -1 - -2) + 0. Let m = p - -7. Is m a multiple of 9?
True
Let d be 18/21*7/2. Let c = d + 4. Does 6 divide c?
False
Let f(j) be the first derivative of -j**3/3 + 8*j**2 - 5*j - 6. Is f(14) a multiple of 7?
False
Let g be (-20)/6*6/(-4). Suppose n + 0 = 3*r - 11, 5*r = g*n + 5. Suppose -2*x = -u + 20, 5*u - 84 = u + n*x. Is 6 a factor of u?
False
Let o = 41 - 12. Is 19 a factor of o?
False
Let r = -8 - -9. Let q(w) = -w**2 - w + 1. Let c(k) = -k**3 + 2*k**2 - 6*k - 1. Let m(i) = r*c(i) - 6*q(i). Is m(7) a multiple of 14?
True
Let g be (-10)/(-4) + 1/2. Let b(s) = s**3 - 3*s**2 + 5*s - 2. Does 13 divide b(g)?
True
Suppose 0 = -3*h - 6 + 66. Is 6 a factor of h?
False
Let c be 0 + 1 + 4/1. Let f(g) = g**2 - 6*g - 8. Let y(r) = r**2 - 5*r - 9. Let d(i) = c*f(i) - 6*y(i). Does 12 divide d(0)?
False
Let a(u) = u - 1. Let z be a(3). Suppose -i + 9 = z*i. Suppose o + j = 4*o - 98, 0 = 4*o + i*j - 135. Is 24 a factor of o?
False
Suppose -15 = -2*q - 3*p, -8*q + 35 = -4*q + p. Suppose -5*b = -4*l - q, b + 0 + 11 = 4*l. Does 2 divide l?
True
Let f be (4/6)/((-4)/(-30)). Suppose -w + f = -2. Let o = w - -23. Is 9 a factor of o?
False
Suppose 5*i + 5*g + 35 = 0, -4*i + g = 30 - 2. Let h = i - -31. Suppose h + 28 = 4*v. Is v a multiple of 12?
False
Let n = -82 + 120. Is n a multiple of 7?
False
Suppose 2*u + 3*t - 73 = 29, -3*u + 153 = -t. Is 26 a factor of u?
False
Let o be (1/(-2))/((-1)/(-92)). Let c = 66 + o. Is c a multiple of 16?
False
Let t be (22/(-6) + 2)*-3. Suppose o + t = -4*o. Is 4 a factor of 4 + -2 + o - -5?
False
Let f = -131 + 65. Let 