or of d?
True
Let l = 7 + -7. Suppose l = m - 5 - 3. Does 2 divide ((-3)/2)/((-4)/m)?
False
Let f(q) = 3*q**2 + 9*q - 12. Is f(5) a multiple of 6?
True
Let a(t) = 4 - 2 - 2*t - 3. Is 2 a factor of a(-2)?
False
Suppose 0 = -5*w - 4*d + 255, 2*w - d + 2*d - 99 = 0. Let x(p) = -p**2 + 3*p + 6. Let i be x(-4). Let n = i + w. Is n a multiple of 11?
False
Let y(k) = k - 10. Let h be y(7). Let r = h + 5. Is 10 a factor of -9*((-8)/r + 1)?
False
Let q(y) = y**2 - 9*y + 3. Suppose -5*c - 25 = -85. Is q(c) a multiple of 15?
False
Let t(a) = 16*a**3 + 19*a**2 - a - 21. Let b(q) = -3*q**3 - 4*q**2 + 4. Let o(d) = 11*b(d) + 2*t(d). Let k be o(-6). Let x = -9 + k. Is 4 a factor of x?
False
Suppose 4*i + 5*v = 3*i + 15, 2*i + 3 = v. Suppose 26 = 2*a - l - 0*l, i = -2*a - 4*l + 6. Is 4 a factor of a?
False
Suppose 11*p + 81 = 279. Does 9 divide p?
True
Let r = -15 + 4. Let i = r + -19. Let g = -15 - i. Does 7 divide g?
False
Let d = 1 - 1. Let n be (-2 - d)*2/4. Let q(x) = -23*x**3 + 1. Is q(n) a multiple of 12?
True
Let n(k) be the first derivative of 2*k**3/3 + 2*k - 1. Is 5 a factor of n(2)?
True
Let y(z) = z**2 + z + 16. Let d be y(0). Does 4 divide 4 + 0/4 + d?
True
Suppose 8*a = 420 + 356. Is 11 a factor of a?
False
Let m(i) be the third derivative of -i**5/60 + 5*i**4/24 + i**3 - 3*i**2. Let l be m(5). Let t = l + -4. Is 2 a factor of t?
True
Suppose 3*g - 8 = p + 2, -p - 2*g + 15 = 0. Suppose -p*h + 121 = -y, 2*y + 1 = y. Is h a multiple of 12?
True
Let h(l) = -l - 2. Let o be h(-7). Suppose -o*t + 2*w = 7*w - 110, 4*w + 32 = 2*t. Is t a multiple of 10?
True
Let a(k) be the third derivative of k**6/120 - k**5/20 + k**4/24 + 2*k**3/3 - k**2. Let s(u) = -2*u - 3. Let o be s(-3). Is a(o) a multiple of 7?
True
Let u(d) = -d**3 + 2*d. Let x be u(-2). Suppose -k + 34 = k - 4*z, z + 103 = x*k. Does 12 divide k?
False
Suppose 4*o = 4 - 32. Is (-30)/(((-42)/(-8))/o) a multiple of 8?
True
Suppose 0*s = -s - 4*l + 14, 4*l = -4*s + 8. Let j be 0/((-2)/(-1)*1). Does 3 divide s*((-7)/2 - j)?
False
Let m(i) = -4 + 0*i**2 + 2*i + 2*i + 0*i**2 + 4*i**2. Does 10 divide m(2)?
True
Let z(h) = 5 + h**2 - 7*h**2 + 5*h**2. Let k be z(0). Is 18 a factor of 269/k - 1/(-5)?
True
Let j = -229 + 423. Is 14 a factor of j?
False
Let d be 3 - 18/3 - -53. Let x = d + -21. Does 15 divide x?
False
Let m = -5 - -10. Let s = 9 - m. Is s a multiple of 4?
True
Let x = 4 + 34. Is x a multiple of 11?
False
Is 36 a factor of 3 - (-4)/(-8)*-282?
True
Suppose -15 = -5*m - 4*s + 8, -3*m + 4*s + 1 = 0. Let t = 39 + m. Is 13 a factor of t?
False
Suppose 0 = -0*m - 2*m + 222. Suppose m = 4*h - 17. Suppose -2*j = -2*v - h, -v + 5*v = 5*j - 80. Is 11 a factor of j?
False
Does 19 divide 230/3 + (-4)/6?
True
Let w = -5 - -13. Suppose -w*i + 70 = -3*i. Does 7 divide i?
True
Suppose j - 5*j = 0. Suppose -2*b = -j*f - 4*f - 32, -3*f - 33 = -3*b. Suppose b*h + 24 = p + 2*h, p + 1 = -h. Is p even?
True
Suppose -3*d - 2*c = -246, d + 326 = 5*d + 2*c. Suppose 7*p - d = 2*p + 5*l, -3*p - 2*l + 63 = 0. Does 6 divide p?
False
Let a(w) = -w**2 + 4. Let v be a(5). Let l = 1 + v. Is 3/(l/26 + 1) a multiple of 13?
True
Suppose -4*q - 4*z = -44, -q + 0*q - 3*z + 17 = 0. Suppose q + 10 = -3*u. Is 39 - 3/u*0 a multiple of 14?
False
Is 30 a factor of (30*2)/((-4)/(-10)*1)?
True
Suppose 0 = r + 4*r - 275. Is r a multiple of 12?
False
Let w = 1 + -2. Suppose 0 = 2*y + 8. Is w + (-10)/(y + 2) a multiple of 4?
True
Suppose 30 = 3*q + q + 5*s, -q + 9 = 2*s. Does 5 divide q?
True
Does 9 divide (9/6)/((-3)/(-26))?
False
Let p(t) = t**2 - 4. Let g be p(-3). Suppose -g*x + 36 = -119. Is x a multiple of 14?
False
Let i = 122 + -78. Does 13 divide i?
False
Let l(j) = -4*j + 8*j**2 - j + j**3 - 2*j**3 + 5 - 14. Is l(7) even?
False
Let l(v) = 2*v**2 - 2*v + 11. Is 24 a factor of l(7)?
False
Let t(p) = -3*p**2 + 2*p - 1. Let b be (1 - -4)*(-3)/(-5). Let n be t(b). Does 12 divide (-532)/n - (-4)/(-22)?
True
Suppose -44 = 4*s - 164. Suppose 0*v = v - s. Suppose -56 = -2*a + p, 4*p = a - v - 5. Does 9 divide a?
True
Let z be 27/6*-4*1. Is (z/(-3))/(-2) + 30 a multiple of 9?
True
Suppose 3*i = 3*y + 2*y + 358, 5*y - 20 = 0. Suppose r + 0*r - 48 = 2*p, -5*p = -r + i. Let l = -18 - p. Is 8 a factor of l?
True
Suppose f + 7 = 2*m + 2*m, 5*m - 3*f - 7 = 0. Is (-160)/(-4) - (-1 + m) a multiple of 13?
True
Let o be -10*8/10*-2. Suppose 0 = c - 3*c - 2*r + o, 8 = c - r. Let b = 17 + c. Does 18 divide b?
False
Does 15 divide 9*((-136)/12)/(-1)?
False
Let g(l) = -7*l - 32. Does 9 divide g(-11)?
True
Let j(t) = t**3 + 5*t**2 - t + 4. Let o be j(-5). Let f = 32 + o. Is f a multiple of 11?
False
Let c(h) = h**2 + 3*h - 4. Let j be (-1 - -15)*12/(-24). Is c(j) a multiple of 10?
False
Suppose 20*p - 15*p = 180. Is p a multiple of 8?
False
Suppose 2 = y, -2*p + 0*y = y - 100. Is 15 a factor of p?
False
Suppose 4*s = -4*c + 231 + 125, -2*c = 4*s - 350. Suppose 2*n + 2*k = 92, 4*n - 5*k - 89 = s. Suppose 3*p + 3*f = n, p - 2*f = 2*p - 11. Does 19 divide p?
True
Let b be (76/(-12))/(2/(-6)). Suppose -3*j = -2*f + 7*f - b, 0 = 3*f - 6. Suppose -p = -j*c + 151, -c + 4*p + 59 = 8*p. Is c a multiple of 17?
True
Let i = 8 - 6. Does 15 divide (-19 - i)*14/(-6)?
False
Suppose -35 = -2*q + 3*j, j + 25 - 10 = q. Does 10 divide q?
True
Suppose -2*v + 5 = -v. Suppose -3*z - 1 = v*h - 54, 2*z = -h + 26. Suppose -5*c = z - 51. Is 5 a factor of c?
False
Let x(p) = 6*p**3 - p**2 - 2*p + 1. Let u(i) = -5*i - 3. Let n(f) = 9*f + 5. Let o(g) = 4*n(g) + 7*u(g). Let r be o(3). Is 20 a factor of x(r)?
False
Let q(n) = 8*n - 3. Is 10 a factor of q(9)?
False
Let u(b) be the first derivative of 2*b**3/3 - b**2 - 2*b - 1. Is 20 a factor of u(-3)?
False
Let r(k) = -3*k + 6 + 0 + 6*k + k**2. Let x(p) = p**2 + 2*p + 5. Let z(g) = -2*r(g) + 3*x(g). Is 12 a factor of z(-3)?
True
Let g(x) = -3*x + 1. Let h be g(-2). Let o(n) = 4*n + 13*n - 10 - n**2 - h*n. Is 3 a factor of o(8)?
True
Suppose 0 = -4*z - 0*z. Let u(j) = -j + 5. Let o be u(z). Suppose -2*q = o - 95. Does 14 divide q?
False
Suppose 5*o + d = 258, -82 = -4*o + 4*d + 134. Suppose -3*l = -4*i - o, 11 + 4 = l + i. Does 8 divide l?
True
Let d(g) = g + 3*g + 2*g**2 - 3*g. Let y(n) = n**2 - 6*n + 2. Let t be y(5). Is 6 a factor of d(t)?
False
Let j = 51 - 35. Does 12 divide j?
False
Suppose -3*q + 29 = -142. Is 10 a factor of q?
False
Let h be 158/(-13) + (-4)/(-26). Let i = 21 + h. Is 5 a factor of i?
False
Let h(g) be the first derivative of -g**3/3 + 5*g**2 + 13*g + 5. Is 8 a factor of h(10)?
False
Suppose -o + 4*x = x + 8, 0 = o + 5*x - 32. Let q(c) be the second derivative of -c**5/20 + 3*c**4/4 - 7*c**3/6 + c**2/2 + 2*c. Does 21 divide q(o)?
False
Is 46 - (9 + 0 + -5) a multiple of 7?
True
Suppose 3*k + 0*k + v - 23 = 0, v + 33 = 4*k. Suppose -k*s + 81 = -5*s. Is s a multiple of 9?
True
Let c(m) = 11 - 8 - 1 + m - 8. Let u(d) = 2*d**2 - 2*d - 3. Let x be u(-2). Is 2 a factor of c(x)?
False
Let s = -53 - -88. Is 35 a factor of s?
True
Let f(k) be the first derivative of -k**3/3 - 11*k**2/2 - 7*k - 7. Is f(-6) a multiple of 11?
False
Suppose 3*x + 19 + 10 = f, -3*f = 3*x + 33. Let p = -5 - x. Suppose p*y + 10 = 70. Is y a multiple of 12?
True
Suppose -22 = -r + 26. Does 12 divide r?
True
Suppose 0 = 4*u - 0*u - 24. Suppose 4*c - 2 = u. Is 11 a factor of 15/c*(-20)/(-6)?
False
Suppose 2*a = -0*a - 5*n + 16, 0 = -2*a - 3*n + 12. Suppose 6*l = a*l + 9. Suppose -l*i + i + 45 = 5*o, -3 = o - 2*i. Is 7 a factor of o?
True
Let f(u) = u**2 - 2*u. Let j be f(2). Suppose 3*h + j*h - q - 47 = 0, 5*h = -2*q + 93. Is h a multiple of 7?
False
Is 18/45 + (-28)/(-5) a multiple of 2?
True
Let d(j) be the first derivative of -j**4/4 - j**3/3 - j**2 - 2. Let z(a) = -a**2 - 4*a - 3. Let q be z(-4). Is d(q) a multiple of 10?
False
Let c = -7 - -6. Let k = -1 - c. Let p(f) = f**2 + 6. Is 3 a factor of p(k)?
True
Let x(l) = 5*l**2 - 2*l + 1. Let q be x(1). Suppose 5*j - 32 = 3*p - q*p, -2*j + 48 = 2*p. Is p a multiple of 11?
True
Suppose 0*l + 2*l = 8. Suppose -6 = -l*q + 162. Is 14 a factor of q?
True
Let k(o) = -47*o**3 - o**2 + 7*o + 6. Is 27 a factor of k(-2)?
False
Suppose 0 = 4*f - 4, 2*w + 2*w + 5*f = 385. Is 22 a factor of w?
False
Let s = 28 + 90. Is 13 a factor of s?
False
Let m = 31 - -20. Does 8 divide m?
False
Suppose 3*x + x = 2