actor of m - (-3 - 0) - a?
False
Let s be (2/4)/((-1)/46). Let o = s - -32. Is o a multiple of 9?
True
Suppose -6*q + 8*q = 10. Suppose 11*r = q*r + 120. Is 20 a factor of r?
True
Suppose -5*w - 3*l + 50 = 17, 2*w + 5*l = -2. Suppose -2*j + 5*v - 11 = 0, -3*j = -j - v - w. Is j a multiple of 2?
False
Suppose -51*h = -47*h - 88. Suppose -4*p - h = -70. Is p a multiple of 12?
True
Let v be -14*(-3 + 2 + 1 + -20). Let d = -196 + v. Is d a multiple of 6?
True
Suppose 14*c = 711 + 353. Is c a multiple of 38?
True
Suppose 5*q + 10 = 70. Let v be (-2)/6 - 2/(-6). Suppose 5*p - 18 - q = v. Is 3 a factor of p?
True
Suppose -5*w = 2*t - 1632, t = -5*w - 3*t + 1624. Suppose -4*d = -d - o - 227, -5*o = 4*d - w. Does 14 divide d?
False
Let m(b) = 10*b**2 - 86*b - 10. Does 78 divide m(10)?
False
Suppose -9824 = -4*r + 268. Is r a multiple of 87?
True
Is 14 a factor of ((-224)/24)/((-2)/372)?
True
Let y = -30 + 39. Suppose -5*q - 9 = -4. Is y/q*2/(-3) a multiple of 5?
False
Let o(r) = 5*r**3 + 6*r**2 - 6*r + 3. Let x be o(4). Suppose 3*d - x = -2*d. Is d a multiple of 36?
False
Let x(q) be the second derivative of -7*q**3/6 - 3*q**2 - 29*q. Is 7 a factor of x(-17)?
False
Let h = 163 - 73. Is 17 a factor of ((-24)/(-20))/(3/h)?
False
Let v = -1 + -40. Is (v/3 + 4)*-6 a multiple of 12?
False
Let q(n) = -79*n - 135. Is 85 a factor of q(-8)?
False
Suppose 10 = 5*z - 0. Let a(t) = -6*t**3 - 3*t + 3. Let h be a(z). Does 6 divide (-117)/(-5) - h/85?
True
Let y = -39 + 24. Let o = 55 + -13. Let w = o + y. Is w a multiple of 9?
True
Suppose -678 = -3*t + t + l, 0 = 5*t + l - 1709. Let f = t + -242. Does 9 divide f?
True
Let w(n) = 15*n**2 + 4*n - 1. Let m be w(5). Suppose 0 = -5*x - 4*z + m - 57, -4*x + 2*z = -280. Is 23 a factor of x?
True
Suppose 119*z = 115*z + 60. Suppose -w - 212 + 17 = -4*i, 3*w = z. Is 35 a factor of i?
False
Is (-40)/(-3 - 68/(-48)*2) a multiple of 24?
True
Let x be (-4)/(-14) - (-54956)/77. Is (-10)/25 + x/10 a multiple of 9?
False
Let q = -12 - -14. Let s(z) = 5*z**2 - 8*z**q + 4*z**2 + 5. Is 11 a factor of s(-6)?
False
Let n = 6 + 20. Suppose -4*a + 14 = -n. Suppose 0 = -l + a. Does 3 divide l?
False
Let d(h) be the first derivative of -h**6/120 - h**5/10 + h**4/6 + 5*h**3/6 + 5*h**2 - 5. Let x(g) be the second derivative of d(g). Is x(-7) a multiple of 13?
True
Let q be (-60)/9*(-6)/4. Suppose -29 - q = -3*r. Suppose -2*s - 17 - r = -3*w, -9 = -3*s. Does 4 divide w?
True
Let t(p) = -p**3 - 27*p**2 - 3*p - 57. Is 12 a factor of t(-27)?
True
Suppose 0*q = -q + 463. Is q a multiple of 5?
False
Let b(q) = 10*q**2 + 34*q - 7. Does 41 divide b(-12)?
True
Suppose -m - 3*m + 3*s + 940 = 0, 0 = -5*m - 5*s + 1175. Is m a multiple of 16?
False
Let d(q) = q**2 + 5*q + 22. Let a be (11 - 0)*(1 + -2). Is 8 a factor of d(a)?
True
Suppose 3*i = 3*b - 4*b + 562, -5*i + 4*b + 948 = 0. Let t = i + -132. Does 14 divide t?
True
Suppose -a + 18 = -3*b + 2*a, -2*b = -5*a + 24. Let s be ((-15)/6)/(1/b). Let l(g) = 2*g**2 + 3*g + 5. Is 18 a factor of l(s)?
False
Let d(c) = c**3 + 11*c**2 - 9*c - 3. Let o be d(-10). Let n = o - 85. Is n a multiple of 26?
False
Suppose t - 2 + 10 = 0. Let u(w) = -16*w - 11. Is u(t) a multiple of 39?
True
Let y(p) = -419*p - 397. Does 29 divide y(-5)?
False
Suppose 3*a = -2*m + 16, 2 + 16 = m + 4*a. Suppose -y - m*y + 3 = 0. Is (y - 153)*(-9)/18 a multiple of 29?
False
Suppose u - 2011 = 1275. Is 15 a factor of u?
False
Suppose 5*r - 3*c = 1500, -17*c + 20*c = 0. Does 26 divide r?
False
Let f = -57 - -57. Suppose f = -0*y + 6*y - 1008. Does 14 divide y?
True
Suppose 3 = j, s - 2*j = -121 + 400. Is s a multiple of 19?
True
Does 11 divide (12 + 10 + -16)*6722/12?
False
Suppose -50 = -h + 3*p, 2*h + 6*p = p + 155. Is 3 a factor of h?
False
Suppose 2*y - 4*i = 2, -28 = -4*y - 2*i - 2*i. Is 6 a factor of 89/y - (3 + (-64)/20)?
True
Let l = -34 + 63. Suppose 3*a - 86 - l = -2*r, 0 = 4*a + 2*r - 154. Does 14 divide a?
False
Let d = 11 + -27. Does 21 divide (-40)/d*126/5?
True
Let u be (-18)/5*2990/(-39). Suppose u = 3*m - 138. Suppose 33 = -3*l + m. Is 7 a factor of l?
True
Let t(u) = 5*u + 23. Let r(c) = 2*c + 2. Let g be r(-1). Is t(g) a multiple of 2?
False
Does 13 divide (55/(-165))/((-2)/2652*1)?
True
Suppose 18*s = -18 + 90. Is 2 a factor of s?
True
Let y(t) = t + 1. Let m(u) be the third derivative of 3*u**4/4 - u**3/6 + 5*u**2. Let q(c) = -m(c) - 3*y(c). Is 10 a factor of q(-2)?
True
Let k be 0/(-3*(-1)/3). Suppose 0 = -k*g - 3*g + 135. Is g a multiple of 20?
False
Suppose 4*w + 3*g - 59 = 0, 13 = -w + 2*g + 25. Is 5 a factor of w?
False
Suppose 3*j + 3 = 0, -7 = -i - 3*i - j. Suppose -3*y + 48 = 3*r, 4*r + i*y - 50 = 5*y. Is 7 a factor of r?
True
Let k(u) = -u**2 + 12*u + 10. Is k(7) a multiple of 8?
False
Suppose 3*o = 2*r + 2*r - 1092, 3*o + 546 = 2*r. Suppose 0 = -3*n - 3*h + r, -129 - 235 = -4*n + 5*h. Is n a multiple of 16?
False
Suppose -2*k - 52 = -4*h, 0*k - 2*h = -2*k - 44. Let r = -16 - k. Suppose 5*g - 150 = -r*b, 3*g - 5*b - 26 - 33 = 0. Is g a multiple of 19?
False
Let b = -45 - -51. Suppose 0 = 4*l - 2*l + 16. Let r = b - l. Is 13 a factor of r?
False
Let s = 1175 + -989. Does 5 divide s?
False
Let a(o) = -127*o - 41. Is a(-6) a multiple of 4?
False
Suppose -8*t = 4*t - 18252. Does 21 divide t?
False
Let m(f) = -f**2 - 7*f + 6. Let z be m(-7). Suppose -10*i = -z*i - 120. Is 5 a factor of i?
True
Suppose -489*z + 952 = -488*z. Is z a multiple of 56?
True
Suppose 3*d + 155 = -2*p - 3*p, 47 = -d + 3*p. Is (-1)/(d/16 - (-15 - -12)) a multiple of 4?
True
Let r(l) = -l**3 - 6*l**2 - 3. Let w be r(-6). Let b(g) be the first derivative of -g**4/4 - 2*g**3/3 + g**2/2 - 1. Is 2 a factor of b(w)?
True
Let q(l) be the third derivative of l**4/24 + 7*l**3/6 - 32*l**2. Let s(a) = -4*a - 3. Let p be s(-2). Does 7 divide q(p)?
False
Let s(n) = 16*n + 698. Is s(-23) a multiple of 15?
True
Suppose -3*j = -6*j - 21. Let a = 48 - j. Is a a multiple of 14?
False
Let p(t) = t**3 + 12*t**2 + 22*t + 1. Is 9 a factor of p(-8)?
True
Let u = 21 - 6. Suppose -3 = 3*y - 6*y + 3*m, 3*m = y - 3. Suppose 2*n = 2*i - 3*n - 149, y = 3*n + u. Is i a multiple of 13?
False
Suppose -4*q = 3*n - 1520, -7*q = -4*q - n - 1140. Does 5 divide q?
True
Suppose 2720 = 165*b - 157*b. Does 16 divide b?
False
Suppose 0 = -a + 84 + 48. Suppose a = 5*f - 48. Does 36 divide f?
True
Let u(i) be the third derivative of -7*i**5/20 + i**4/24 + 6*i**2. Let o be u(1). Does 12 divide (o/(-6))/(18/243)?
False
Let k(t) = -5*t + 24. Does 2 divide k(-6)?
True
Suppose 7 + 19 = -2*o. Let q = -23 - o. Is (-154)/q - (-10)/(-25) a multiple of 5?
True
Let o be (1 + -2)/((-5)/355). Suppose -5*g = 2*p - 176 - o, -4*g = 2*p - 242. Is 23 a factor of p?
False
Suppose -5*z = 5*x - 535, 3*x = 3*z - 7*z + 431. Suppose -3*o + 8*o - z = 0. Is o a multiple of 15?
False
Let t(j) = 3*j**2 - 30*j + 31. Is t(14) a multiple of 11?
False
Suppose -5*j = 3*v - 20, -23 = -5*j + v + 17. Let b(y) = -y**2 + 8*y - 5. Let a be b(j). Suppose -2*x - 62 = -a*m, -3*m + 5*x + 87 = -0*x. Does 17 divide m?
True
Suppose 5*t = 35 - 10. Suppose -2*x - 25 = 5*o, -3*x + 2*o = 3*o + t. Is 4 a factor of -2*(x/(-1) + -8)?
True
Let y(k) = k + 1. Let c be y(2). Suppose 0 = f + 5*m - 46, -5*f - c*m + m = -276. Is 28 a factor of f?
True
Suppose 512 = 3*z - 2*j, 5*j - 355 = -2*z + 18. Does 10 divide z?
False
Suppose 5*d + 6 = 2*d. Let j be d/6 + 192/9. Suppose 0 = -3*k - 2*x + 63, 0*k + k - j = 4*x. Is k a multiple of 7?
True
Suppose -2 - 5 = -t. Let a = t - 6. Is 12 a factor of (a - -29)*(-2 - -4)?
True
Suppose 0*k - 4*k + 11835 = -5*v, 12 = -4*v. Is 15 a factor of k?
True
Suppose 6*p - 8000 = -2*p. Is p a multiple of 40?
True
Suppose 0 = j - 3*i - 18, 0*j + 19 = 3*j - 2*i. Suppose -21 = -3*u + 3*o, u - o - j*o - 22 = 0. Let q = 4 + u. Is q a multiple of 3?
True
Suppose 0 = -2*y - 24 + 4. Is 6/y + 1458/30 + -4 a multiple of 5?
False
Let r be (-19)/57 - 223/(-3). Let k = -38 + r. Is 9 a factor of k?
True
Suppose c - 739 = -54. Suppose c = 4*d + d. Suppose d + 10 = 7*l. Is l a multiple of 7?
True
Suppose -d - 2*i = -534, 2*d + 3*d + 5*i - 2660 = 0. Does 7 divide d?
False
Is 29 a factor of (2 + 6/(-6))*67?
False
Let n = 33 - 16. Suppose 20*u = n*u. Suppose 30 = -u*s + s. Does 10 divide s?
True
Let v = -10 - -13. Let x = v + 2