75 = 0, 2*q + 3*w - 55 + 16 = 0. Is 2 a factor of q?
True
Let d(p) = -p**3 + p**2 + 3. Let s be d(0). Suppose b = -4, -14 = -s*u - b + 81. Does 12 divide u?
False
Let p(v) = 2*v - 2. Suppose 3*s = 5*x + 19 + 33, -4*x = s + 28. Let m be (18/x)/(6/(-16)). Is p(m) a multiple of 10?
True
Is 2/(-4)*(-4 + -100) a multiple of 13?
True
Suppose 8 = 2*j + 2*c - 0*c, 0 = j - 2*c + 8. Suppose 3*a + 152 + 163 = 2*k, -4*k + a + 625 = j. Let t = k - 110. Is 14 a factor of t?
False
Let o = -10 - -36. Does 7 divide o?
False
Suppose 0 = 2*j + 3*q - 62, -184 = -5*j - 5*q - 34. Is 6 a factor of j?
False
Let n = 4 + -2. Suppose n*o = 4*o - 36. Does 9 divide o?
True
Let n = -14 - -35. Does 10 divide n?
False
Let t = 6 - -14. Is 20 a factor of t?
True
Let d(q) = -q**3 - 13*q**2 + 9*q - 5. Does 16 divide d(-14)?
False
Let c(w) = 35*w + 2. Let j(h) = -h + 5. Let z be j(3). Is c(z) a multiple of 12?
True
Let t(v) = -v**3 + 25*v**2 - 23*v + 1. Is t(24) a multiple of 5?
True
Suppose -25 = y - 77. Does 13 divide y?
True
Let t be (-14)/63 + (-418)/(-18). Suppose -3*d + t + 37 = 0. Is 20 a factor of d?
True
Let l be -3 + 10 + -3 + 1. Suppose 2*p - 129 = -l*i, 0*i + 2*i = -p + 65. Suppose -100 = -5*w - 3*c, -4*c = -5*w + 33 + p. Is 20 a factor of w?
True
Let g = 19 + -6. Suppose -3*x + 76 = g. Is 7 a factor of x?
True
Let g = -8 + 8. Suppose 2*m = 10 - 4. Suppose -t + 65 = 4*t + 5*v, t - m*v - 13 = g. Is t a multiple of 13?
True
Let x = -28 - -128. Is 20 a factor of x?
True
Suppose 5*q - 18 = 2. Is q a multiple of 2?
True
Let d = 26 - -6. Let k = d - 23. Is k a multiple of 4?
False
Let g = 109 - 63. Is g a multiple of 16?
False
Let s = -2 - -2. Suppose s = -b - 4*b + 80. Is 13 a factor of b?
False
Let y(v) = v + 16. Is y(-10) a multiple of 2?
True
Suppose -3*l + 51 = 3*z, -3*z - l + 89 = 2*z. Let u = z + 8. Is 13 a factor of u?
True
Let f(r) = -5*r**3 + 23*r**2 - 17*r - 3. Let m(i) = i**3 - 6*i**2 + 4*i + 1. Suppose 0 = 2*k + 3 + 1. Let c(o) = k*f(o) - 9*m(o). Is 9 a factor of c(-8)?
False
Let j(y) = y**3 - 8*y**2 + 7*y + 6. Is 3 a factor of j(7)?
True
Is ((-60)/(-35))/((-1)/((-63)/2)) a multiple of 10?
False
Let w be (-2)/4 - 12/8. Let c be -1 - (1 + w - 32). Let p = 0 + c. Does 16 divide p?
True
Let l = 16 + -11. Suppose -72 + 442 = l*b. Is 13 a factor of b?
False
Suppose 0 + 9 = 3*o. Suppose -15 = -6*z + o*z. Suppose -v = -t, v = z*t + 3*v - 21. Is 2 a factor of t?
False
Suppose -k + 25 = -6*k. Let b(u) = 2*u**2 + 7*u + 3. Is 4 a factor of b(k)?
False
Suppose 0 = -2*z - 4, -5*u + 2*z + 558 = -2*z. Does 10 divide u?
True
Let s(p) = 3*p**2 + 4*p - 4. Is s(2) a multiple of 16?
True
Let z be ((-6)/(-15))/((-1)/5). Let m(u) be the first derivative of -9*u**2/2 + 2. Does 9 divide m(z)?
True
Let b be (6/2)/(27/36). Suppose 12 = j - b. Does 16 divide j?
True
Let v be (-828)/81 - (-2)/9. Let m = v + 23. Does 13 divide m?
True
Let b(m) = m**2 - 7*m + 3. Let f be b(7). Suppose -6*p = 3*u - f*p - 66, 4*u + 5*p = 93. Does 7 divide u?
False
Let i = 121 - 58. Is i a multiple of 21?
True
Suppose 3*h + 0*g = 2*g + 35, 0 = -5*g + 25. Suppose 2 - h = -5*i - 3*n, 4*n = 4*i - 36. Suppose -5*o = i*s - 50, 0 = 7*s - 3*s - o - 15. Is s a multiple of 5?
True
Suppose 5*p + 57 = -293. Let n be (-2)/4 + p/(-20). Suppose -3*m = -n*g + 18, 7*g = 3*g - 4*m + 56. Is g a multiple of 10?
True
Suppose -26 = -5*c - 2*w, 4*c - 10 = c - 4*w. Let j be ((-4)/6)/((-4)/c). Is (-20)/2*(j - 3) a multiple of 10?
True
Let z(j) = -j + 25. Suppose -20 = 4*g + 5*x, 4*x = 3*g - g - 16. Let y be z(g). Suppose y = s - 8. Is 12 a factor of s?
False
Let h = 67 - 31. Is 18 a factor of h?
True
Let x be 5 - -2*1/2. Suppose 0*j - x = -j. Is 3 a factor of j?
True
Let w(f) = -5*f**3 - 13*f**2 + 17*f - 27. Let s(u) = 3*u**3 + 6*u**2 - 8*u + 14. Let z(b) = 7*s(b) + 4*w(b). Is 12 a factor of z(9)?
False
Let p be (372/(-8))/(6/(-8)). Suppose 166 + p = 4*b. Is 13 a factor of b?
False
Suppose 0 = 13*n - 10*n - 15. Does 2 divide n?
False
Let p(y) = y**2 - 9*y + 4. Let v(m) = m**3 + 11*m**2 + 9*m - 1. Let z be v(-10). Is 2 a factor of p(z)?
True
Let t be 8*((-3)/2 + 2). Does 22 divide 89/t - 1/4?
True
Suppose 0 = -5*o - 7 - 3. Is 13 a factor of o + 3 + 41 + -3?
True
Let t = 1 - -7. Is t even?
True
Let g = 5 + 2. Suppose -p - g + 4 = 0. Let k(i) = i**3 + 7*i**2 + 2*i - 2. Does 14 divide k(p)?
True
Let p(j) = -4*j**3 + j**2 + j. Let a be p(-1). Suppose -t + 10 = a. Is t a multiple of 2?
True
Let x = -125 + 271. Does 16 divide x?
False
Let k(z) = -11*z - 1. Suppose i + i - 5*y + 29 = 0, 2*i - 2*y + 14 = 0. Is 7 a factor of k(i)?
True
Let n(c) = -28*c + 5. Is n(-4) a multiple of 9?
True
Let c = 91 - 28. Let m = 5 - 2. Suppose 0 = m*x + 3*j - c, 3*x - 88 = 5*j - 17. Does 11 divide x?
True
Does 3 divide 9/2*5*4/10?
True
Suppose 6*x + 6*x = 48. Is x a multiple of 4?
True
Let l be 28/6*(-18)/(-21). Is 27 a factor of l/6 + (-620)/(-6)?
False
Suppose -4*p - y + 3 = 0, 22 + 3 = -5*y. Let j be (-26)/(-3 + (p - 1)). Let l = 29 - j. Does 8 divide l?
True
Let q be (6/(-4))/(2/(-4)). Let j(l) be the second derivative of -l**5/20 + l**4/3 - l**3/6 + 2*l**2 - 7*l. Does 3 divide j(q)?
False
Let z(d) = -d**2 + 9*d. Does 3 divide z(6)?
True
Suppose 0*p + 3*p = 0. Suppose -5*d + 32 + 3 = p. Let a(v) = v**3 - 8*v**2 + 9*v - 4. Is 8 a factor of a(d)?
False
Is 1/((-524)/132 - -4) a multiple of 31?
False
Is 13 a factor of 122/((3 + 3)/3)?
False
Let a(h) = h**2 + 3*h**3 - 2*h - 2*h**3 + 2 + h**2 + 0*h**3. Is 14 a factor of a(2)?
True
Suppose -2*h - 3*k = -8*k - 102, h = -k + 37. Is h a multiple of 41?
True
Suppose 5*c - 40 = -0. Is c a multiple of 6?
False
Let r = 7 + -4. Suppose -2*i + 4*g + 62 = i, -3*g - 66 = -r*i. Does 9 divide i?
False
Suppose 60 - 1 = g. Suppose 2*x = 3*k - 37, -4*x = -x - k + g. Is 10 a factor of (30/4)/((-15)/x)?
True
Let r(n) = -3*n**3 + 3*n**2 - 3*n - 1. Let q(o) = 2*o**3 - 4*o**2 + 2*o + 2. Let s(b) = 4*q(b) + 3*r(b). Let j be s(-5). Let i = -18 - j. Does 11 divide i?
True
Let j(y) be the second derivative of -y**3 + y**2/2 - 3*y. Let d be j(1). Let g(b) = -b**2 - 7*b - 2. Does 5 divide g(d)?
False
Let c(k) = k + 1. Let i be c(7). Let q be (-16)/(-10)*(-60)/i. Let f = -7 - q. Is 5 a factor of f?
True
Suppose 96 = 5*s - 3*s. Suppose 4*j - s - 96 = 0. Is 18 a factor of j?
True
Let n(b) = -b**2 + 6*b. Let r be n(8). Is 7 a factor of (-2)/8 - 228/r?
True
Let v = 138 - -144. Is 47 a factor of v?
True
Let l(j) be the second derivative of -j**4/12 - j**3/2 - 3*j**2/2 - j. Let t be l(-2). Does 9 divide t/(-2) + 34/4?
True
Suppose 5*a - 316 = 24. Let x = a - 42. Is 12 a factor of x?
False
Let o = 2 + -2. Suppose 5*g + o*g = 80. Does 16 divide g?
True
Suppose -x = 4*x + 10. Let s = 5 + x. Suppose -b + 120 = s*b. Is b a multiple of 19?
False
Let k be -2 + 2 + 1 + -1. Suppose 4*d + 4 - 20 = k. Suppose -x - 1 = -d*c, 4*x + 11*c - 38 = 6*c. Is 7 a factor of x?
True
Let u(d) = 8*d - 29. Does 4 divide u(8)?
False
Suppose -5*c + 20 = r, 5*c - 45 = -0*c + 4*r. Suppose -f - c*f + 150 = 0. Is f a multiple of 16?
False
Let b = 22 + -17. Suppose c = b*c - 100. Does 25 divide c?
True
Suppose -2*g = -3*w - 27, -5*g + 63 = -2*w - 32. Let t be 30/7 - 6/g. Suppose t*i = -0*i + 120. Does 15 divide i?
True
Let j(p) = -4*p**3 + p**2 - p - 1. Does 4 divide j(-1)?
False
Suppose -d + 5*d = 0. Let p be -2 - (-6 - (d - 1)). Suppose x - 59 = -p*n - x, 5*x = -n - 2. Is n a multiple of 9?
False
Let x(i) = -i**3 - 5*i**2 - 9*i - 16. Let h be x(-7). Let w = h + -100. Is w a multiple of 9?
True
Let d(u) = u**3 + 6*u**2 + 6*u + 2. Let f be d(-5). Is 9 a factor of 2*f*(-22)/6?
False
Suppose -4*r + 266 = 74. Does 6 divide r?
True
Suppose -459 = -3*c - 4*s, -c + 6*s - s = -134. Let k = c + -94. Is k a multiple of 14?
False
Suppose 5*s = 249 + 111. Is s a multiple of 37?
False
Suppose 0 = p - 1 - 5. Suppose 152 = -2*i + p*i. Suppose -d + 3*d + 24 = 2*h, -i = -3*h + 5*d. Is 11 a factor of h?
True
Suppose 5*f + 50 + 0 = 0. Let t(n) = n**2 + 9*n - 6. Is 2 a factor of t(f)?
True
Let u be (9/4)/(9/(-24)). Let f = 9 + u. Is f a multiple of 3?
True
Suppose -28 = -4*k - 4. Let a be 17 + 3/((-9)/k). Does 5 divide 2/(-3) + 85/a?
True
Let i(o) = 9*o + 2. Does 10 divide i(1)?
False
Let u(o) = 2*o**3 - 4*o**2 + 2*o + 1. Let p be u(2). Suppose 12 = 3*n - c, 0 = -5*n + 5*c + 35 - p. Suppose -