t derivative of -p**3/3 + 11*p**2/2 + 7*p - 1. Does 9 divide c(9)?
False
Suppose 0 = -4*v - 12 - 24. Let j = -4 - v. Is 5 a factor of j?
True
Suppose -4*f + 439 = -57. Does 11 divide f?
False
Suppose 2*s + 2 = -4*n, 0 = -4*s + s - 2*n + 13. Let o = 31 - s. Is 6 a factor of o?
True
Suppose 4*q - 2*b - 1304 = 0, 0 = 5*q + 3*b - 2331 + 712. Does 10 divide q?
False
Let f(j) = -j**3 - 6*j**2 + 6*j - 3. Let i be f(-7). Suppose -i*x = -2*x - 26. Does 3 divide x?
False
Let m be (-3 - -4 - -1)/1. Suppose m*y = 4*u + 174, u = -4*u. Is 24 a factor of y?
False
Suppose -5*g + 5*w = -25, 3*g + 2*w - 13 = 3*w. Suppose -2 = -l + g. Is l a multiple of 3?
True
Let w be (3/6)/(1/4). Does 15 divide ((-14)/(-3))/(w/9)?
False
Suppose 4*c - 1 - 7 = 0. Suppose c*i - 120 = -i. Is 11 a factor of i?
False
Suppose 11*d - 88 = 10*d. Is 32 a factor of d?
False
Let d = 13 - 8. Let z(u) = -u**2 + 8*u - 3. Is z(d) a multiple of 5?
False
Let q = 0 + 3. Does 12 divide 3/((-69)/24 + q)?
True
Suppose -4*i - 211 = -3*r, 0 = 4*r - 6*i + i - 283. Is 11 a factor of r?
True
Let s(k) = 5*k - 2. Let d = 12 - 6. Let q be s(d). Let v = 44 - q. Is v a multiple of 9?
False
Let k(n) = n**2 - 4*n - 8. Does 12 divide k(8)?
True
Does 33 divide (1 - 2)/((-3)/249)?
False
Suppose 2*g = 2*j - 6, 4*g + 5 = -2*j - j. Let i = g + 8. Does 3 divide i?
True
Suppose -2*o = 10, -o - 5 = -5*m + 3*m. Suppose j - 48 = -m*j. Is 16 a factor of j?
True
Suppose -4*v - 5*i = -9*v + 1750, 0 = v - 5*i - 370. Is v a multiple of 33?
False
Let b = -75 + 93. Is 6 a factor of b?
True
Suppose r - 1 + 13 = 5*a, 4*r = -3*a + 21. Suppose -r*j + 8 = -j. Suppose n + j*f - f - 16 = 0, -3*f - 12 = 0. Is 14 a factor of n?
True
Let z(c) = c**2 + 3*c + 4. Let o be z(-3). Let s = o + 7. Does 4 divide s?
False
Let a = -34 + 64. Let t(i) = -i**2 + 5*i. Let f be t(6). Let u = f + a. Is 12 a factor of u?
True
Let h(a) = -1. Let o(g) = -9*g**2 - 2*g - 6. Let u(f) = 3*h(f) - o(f). Is 20 a factor of u(-2)?
False
Let a(i) = -2*i - 12. Suppose 21 = -2*b - 5. Is 5 a factor of a(b)?
False
Does 9 divide (-4)/18 + (-2328)/(-27)?
False
Suppose -x = -0*x + 2, 46 = 4*i - x. Let f(c) = -c**3 + 2*c**3 - 4*c - i + 5 + 4*c**2. Does 4 divide f(-4)?
False
Let l = -31 + 51. Suppose 2*u = 34 + l. Does 9 divide u?
True
Suppose -d + 8 = 2*y + 2, -5*y = -2*d + 30. Is 2 a factor of d?
True
Suppose -3*m + 2*m + 4 = 0. Suppose 33 - 213 = -m*y. Is y a multiple of 13?
False
Suppose 207 = 8*w + w. Is w a multiple of 23?
True
Suppose -3*d - 4*p - 3 = -37, -2*d - 4*p + 28 = 0. Is d even?
True
Does 20 divide ((-36)/27)/((-2)/78)?
False
Let w(f) = -f**2 - 12*f + 8. Is w(-11) a multiple of 7?
False
Let q(u) = 1 - 18*u - u**2 - 8 - 3 + 7*u. Does 18 divide q(-7)?
True
Let t(s) = 4*s**3 - 4*s + 3. Let l(r) = 5*r**3 - r**2 - 4*r + 3. Let y(k) = -2*l(k) + 3*t(k). Let v be y(2). Suppose -4*c + v + 69 = 0. Is c a multiple of 11?
True
Let w be (9/4)/((-4)/16). Let t(d) = d**3 + 8*d**2 - 10*d + 1. Does 6 divide t(w)?
False
Let b(o) = o**3 + 7*o**2 + 5*o + 4. Suppose -2*f - 21 = k + 2*f, -4*k - 32 = 3*f. Does 9 divide b(k)?
False
Let k(o) = -o**3 - 4*o**2 + 6*o + 5. Let v be k(-5). Suppose v = 5*h + 15, 5*h - 1 = -4*u + 8. Suppose -4 = -2*x + j, -u*x = -2*x - j - 12. Does 4 divide x?
True
Suppose 4*z = 4*b + 432, -2*b = 5*z + 2*b - 540. Is z a multiple of 9?
True
Let b(g) = 63*g**3 - 2*g**2 + g. Is 31 a factor of b(1)?
True
Let k = -86 - -152. Is k a multiple of 22?
True
Suppose -5*i + 146 = 4*s, -i + 117 = 3*i + 3*s. Is 10 a factor of i?
True
Suppose 3*u = 5*q - 2*u + 25, 5*u = -10. Suppose -4 = -5*a - 24. Let h = a - q. Is 3 a factor of h?
True
Suppose 0 = -5*d - 6 + 26. Suppose -5*h - w = d*w - 35, -5*w = -4*h - 17. Suppose h = -3*r + 41. Does 13 divide r?
True
Let u(q) = q**2 + 5*q - 9. Suppose 3*o + 4*d + 1 = -d, o - 1 = -2*d. Is u(o) even?
False
Let h be (-9)/5*(-90)/27. Suppose 8*z - h*z - 114 = 0. Does 20 divide z?
False
Let l(m) = m**2 + 7*m + 6. Let b be l(-7). Suppose 4*i - 2 = -n, -3 = -i + 4*n + b. Does 11 divide 30/(i - -2) + 1?
True
Suppose -m + 3*m - 4 = 0, -n + 4*m - 37 = 0. Let z = n + 45. Is z a multiple of 8?
True
Let w(c) = 25*c**2 + 7*c - 6. Does 48 divide w(3)?
True
Suppose 0 = -v + 16 - 7. Let f = -5 + v. Is (-1)/4 - (-9)/f even?
True
Let b = -62 + 177. Does 23 divide b?
True
Let d be 18 - 16 - (-1)/1. Suppose 0 = d*j - 13 - 74. Is 12 a factor of j?
False
Let r be ((-3)/2)/(2/(-4)). Let f(q) = 4*q**2 - 4. Does 19 divide f(r)?
False
Suppose -5*b + 3*i = -69, -b = -2*b + 4*i + 24. Does 6 divide b?
True
Let c = 5 + -3. Suppose 3*g = -9*g + 372. Suppose -f = -c*f + g. Is f a multiple of 13?
False
Let q(i) = -i**3 - 5*i**2 + 5*i - 8. Let v be q(-6). Let d = -8 - v. Let n(m) = -m**3 - 5*m**2 + 4*m - 1. Does 6 divide n(d)?
False
Suppose 7*c = 2*c - 420. Does 13 divide (c/(-10))/(2/5)?
False
Let l(z) = 0 - 10*z + 7*z - 6. Is l(-4) a multiple of 6?
True
Let d = 2 + -1. Let y be ((-2)/d)/(-3 - -5). Let k(u) = -5*u - 1. Is k(y) a multiple of 4?
True
Is ((-10)/(-4))/((-2)/(-24)) a multiple of 6?
True
Suppose -10*t - 103 + 313 = 0. Is 6 a factor of t?
False
Let d(n) = -9*n + 28. Does 11 divide d(-11)?
False
Suppose -5*g + 20 = -0*g. Let l be -1 + 6/3 + g. Suppose 0 = -l*h + 29 + 1. Is 6 a factor of h?
True
Is 5 a factor of -10*(-2 - (-15)/10)?
True
Let u = 30 - 16. Let h = 1 + -1. Suppose h = -2*x - 0*x + u. Is 3 a factor of x?
False
Let x(v) = v + 10. Let a be x(-9). Let i be ((-948)/16)/(a/(-4)). Does 5 divide i/21 - (-2)/(-7)?
False
Let f(r) = 3*r - 11. Suppose 0 = 5*m - 4*w + 17 - 53, 0 = 5*m + w - 41. Does 13 divide f(m)?
True
Suppose 3*c = 16 + 32. Is 5 a factor of c?
False
Let k(s) = s**2 - 2*s + 1. Suppose -1 = -2*x + 2*f + 7, 5*x - f - 12 = 0. Let q = 4 + x. Is 15 a factor of k(q)?
False
Suppose -5*q + 4*o + 36 = 2*o, 2*o = 4. Is 3 a factor of q?
False
Let j be 12*(1 + (-2)/3). Let n(r) = r**3 - 4*r**2 + r - 1. Let h be n(j). Suppose -4*c + 5*a = -133, -c = -h*c + 3*a + 67. Is 11 a factor of c?
False
Let s be 3/1 - 0/(-12). Is 10 a factor of 1 - (s + -54 + -3)?
False
Let t = -108 + 218. Is t a multiple of 32?
False
Let b = -15 + 15. Suppose 0*n + 5*n = 5*f + 45, b = n - 5*f + 7. Is n a multiple of 3?
False
Suppose -119*i = -114*i - 365. Does 7 divide i?
False
Let v = 5 - 3. Does 27 divide v/5 + 133/5?
True
Suppose 0 = 3*u + u - 16. Suppose 3*g = u*z - 131, 5*z = 3*g + 69 + 91. Suppose -5*a - 5*h = -60, -2*a - h = 2*h - z. Is 2 a factor of a?
False
Let b(q) = 3*q**2 - q - 1. Let k(h) = -2*h**2 + 2*h + 2. Let u(g) = 3*b(g) + 4*k(g). Does 4 divide u(-7)?
False
Is 2/(-7) - 2560/(-140) a multiple of 12?
False
Let i(j) be the third derivative of 1/60*j**5 + 0*j + 1/2*j**3 + 0 - 1/6*j**4 + 1/120*j**6 - 2*j**2. Is 5 a factor of i(2)?
False
Does 20 divide (-404)/(-6) - (-6)/9?
False
Suppose -6*i = 4*s - 3*i - 30, -3*s - 5*i + 28 = 0. Let m be (-103)/(-7) + s/21. Suppose 5*l = -3*d - 0*d + m, 0 = -d + l + 13. Does 5 divide d?
True
Suppose r = 3, 3*r - 46 = -x - 0*r. Is 9 a factor of x?
False
Let y be (-7)/((-7)/6) - 1. Let o = y + 85. Does 24 divide o?
False
Let w be (4*-2)/2*-6. Let k(t) = -5*t + w - 4*t**2 + 5*t - t**3 + 5*t**2 + t. Does 12 divide k(0)?
True
Let i be ((-2)/3)/(3/(-18)). Suppose 0 = -i*o - f + 1, -5*f = -0*o - o - 26. Does 25 divide ((-2 - 29)*1)/o?
False
Let g(b) = -b**3 + 8*b**2 - 9*b + 5. Let r be g(7). Does 5 divide 6/(-27) + (-92)/r?
True
Suppose -3 - 189 = -4*j. Does 24 divide j?
True
Let v be -10 - (2 + 3/(-3)). Let n = 1 - v. Is n a multiple of 12?
True
Suppose 5*y + 5 = 690. Is 10 a factor of (-2)/5 + y/5?
False
Let b(l) = 3*l**2 - 6*l - 5. Let j be 4/12*(1 + 14). Is b(j) a multiple of 20?
True
Let k = 188 + -144. Does 44 divide k?
True
Let n = 301 - 215. Suppose -2*r + n = -v, 3*r - 2*v - 56 - 75 = 0. Does 13 divide r?
False
Let h be (34/(-6))/(2/(-210)). Let j be (h/(-14))/((-1)/2). Suppose -5*g = -10*g + j. Is g a multiple of 17?
True
Does 6 divide (93/(-15))/(-1*3/15)?
False
Suppose 0*r = -5*r - 155. Let m = 77 + r. Suppose -5*s + m + 79 = 5*i, 3*s = -15. Is 15 a factor of i?
True
Suppose 0 = 5*m - 4 - 1. Suppose 15 = 4*f - m. Does 2 divide (-8)/((-2)/4*f)?
True
Suppose -t = -5*s + 3*t + 271, -2*t - 161 = -3*s. Is 27 a factor of s?
False
Suppose -25 = -2*t - a + 4*a, 5*t = -2*a + 53. Let g be 4/12 - t/(-3). Suppose g*f = -5*h + 111 + 