Suppose 3*c - m = 88. Does 15 divide c?
True
Let r(k) = 3*k. Suppose 15 = 3*p, -7*w = -4*w + p - 14. Is 6 a factor of r(w)?
False
Suppose -x + 3*p = -7, 4*p - 8 = -2*x - x. Suppose x*g - 165 = 103. Suppose 3*i = 4*l + g, -5*i + 2*l = -35 - 58. Is 12 a factor of i?
False
Let s(g) = 2*g - 6. Let v be s(4). Suppose 0 = -5*z - 2*t + 22, -v*z - 8 = -2*t + 7*t. Is z a multiple of 3?
True
Let v(p) = 4*p - 2. Let z = -2 + 2. Let c = 3 - z. Is v(c) a multiple of 10?
True
Suppose -4*r - 39 = -r. Let m = -3 + 27. Let y = m + r. Is y a multiple of 6?
False
Let p be ((-12)/(-18))/(2/9). Suppose -4*j - 2*r = -95 + 19, r = -p*j + 56. Is 6 a factor of j?
True
Suppose -a + n = -7 - 37, 5*n = 25. Is a a multiple of 39?
False
Suppose 3*t - 333 = -4*m, m - 3*t = -m + 171. Does 21 divide m?
True
Let z(o) be the second derivative of o**4/6 + 7*o**3/3 - 5*o**2/2 + 2*o. Let c(y) = -5*y**2 - 29*y + 9. Let n(b) = -4*c(b) - 9*z(b). Is 17 a factor of n(7)?
False
Is (-6)/(-8)*((50 - -4) + -6) a multiple of 12?
True
Is 260/(9 - 4) - 2 a multiple of 10?
True
Suppose -4*t - 2*h = -3*t - 9, 4*h - 57 = -5*t. Is t a multiple of 11?
False
Let w be 2/3*27/6. Suppose -5*l - 2*i + 553 = 0, 4*l + w*i = -2*i + 439. Suppose l = 5*n - 69. Is 15 a factor of n?
False
Suppose -2*w + 4*w = -10. Let v = 13 + w. Does 7 divide v?
False
Let y be (-74)/(-6) + 4/6. Suppose b = -2*o - 11, b - 3*o + 6*o = -y. Let s(k) = -k**3 - 6*k**2 + 5*k - 6. Does 8 divide s(b)?
True
Let m be ((-4)/12)/(2/258). Let l = m + 85. Is l a multiple of 14?
True
Suppose 3*a = 5*y + 31, 3*a = y - 6*y - 19. Suppose 0 = -0*z - a*z - 6. Let g = 28 + z. Is g a multiple of 9?
False
Let s(x) = -x**2 - 3*x + 16. Let j be s(-11). Let c be (j - 2)*1*1. Let v = 106 + c. Is 16 a factor of v?
True
Suppose 4*j + 2*a = -286, 2*a = -0*a + 10. Suppose -2*t - 2*w - 222 = 0, t = 2*t + 5*w + 115. Let k = j - t. Is k a multiple of 13?
False
Let d be (1 - -151) + -1 + 2. Does 17 divide (-1 + (-8)/(-6))*d?
True
Let z be (-2 - -1) + (-5 - -10). Suppose z*r - 1 = 55. Does 13 divide r?
False
Let s = -3 - 5. Let f = s - -12. Is 4 a factor of f?
True
Let v = -4 + 4. Is 19 a factor of (v/1)/3 + 52?
False
Let s be (-3)/(-12) - 79/(-4). Let h = s + 13. Does 11 divide h?
True
Let m = 50 + 20. Suppose -2*q - 6 = 0, u - 5*q = -0*u + m. Is u a multiple of 22?
False
Let n = 45 - 9. Does 12 divide n?
True
Suppose 4*s + 2*o = 12, -o = 5*s + 9 - 30. Suppose 0*t = -s*t + 110. Is 13 a factor of t?
False
Let g = 46 + -6. Does 4 divide g?
True
Suppose 1 = 2*a - 5. Suppose 50 = 5*n - a*n. Is 14 a factor of n?
False
Suppose -170 = -5*n + 45. Does 19 divide n?
False
Let c = 148 + -75. Is c a multiple of 16?
False
Suppose -4*h + 82 = 3*m, -5*h + 4*m + 82 + 36 = 0. Is h a multiple of 6?
False
Let p(a) = -a**3 - 6*a**2 + 5*a + 10. Let y(s) = s - 14. Let d be y(0). Let o be ((-2)/4)/((-1)/d). Does 12 divide p(o)?
True
Let q(w) = -w**3 - 4*w**2 - 4*w - 6. Let j be q(-5). Suppose f - j = 9. Is f a multiple of 17?
False
Let j = -205 - -388. Is 17 a factor of j?
False
Let p be ((-6)/4)/(2/(-8)). Suppose f - 2*f = -4*x - 13, -2*x + p = 2*f. Is 4 a factor of f?
False
Let m(q) = -q**2 + q - 7. Let v be m(-6). Is 25 a factor of ((-52)/14)/(7/v)?
False
Let q be 22/(-6) - (-3)/(-9). Let s(v) = -v**3 - 3*v**2 - 2*v + 3. Let c be s(q). Suppose -o + c = 2*o. Is 6 a factor of o?
False
Let i(o) = -15*o. Let v be 1/(-1)*(-10)/(-1). Let f(x) = -2*x. Let h(c) = v*f(c) + 2*i(c). Is 5 a factor of h(-1)?
True
Let x = 56 - 102. Let l = x - -95. Let q = l + -34. Is q a multiple of 5?
True
Let m = 15 + 10. Is 7 a factor of m?
False
Let p(r) = -r**3 - 15*r**2 + r + 19. Let t be p(-15). Suppose 3*y + 146 = 8*y - t*q, 3*y = 3*q + 90. Is y a multiple of 13?
True
Let o(v) = v**2 + v + 7. Let s be o(0). Let b = s - -1. Does 5 divide b?
False
Suppose 0 = -2*r + 8, -4*l + l - 13 = -r. Let m be 4/((l + 2)*-2). Suppose -m*p + 8 = -0*p. Is 2 a factor of p?
True
Let r(q) = q**3 + 9*q**2 + 7*q + 3. Does 13 divide r(-3)?
False
Let r(a) = -a - 1. Let y be r(-1). Suppose 3*p - 4*p + 16 = y. Is 8 a factor of p?
True
Suppose 2*w - 92 = -2*j, -3*j + 56 = 5*w - 82. Is j a multiple of 33?
False
Let n = -6 + 5. Is (n + -1 + 1)*-53 a multiple of 14?
False
Is (-2 + (-3 - -8))*8 a multiple of 8?
True
Suppose -2*v + 0 = 2. Let i be 5*v*(-18)/5. Suppose 0 = -3*d - 6 + i. Does 2 divide d?
True
Let v(i) = 8*i**2 - 2*i + 1. Let m be v(1). Suppose -2*g + 5*g + 15 = 3*u, u + g = m. Does 6 divide u?
True
Let q(z) = 2*z + 3. Let k be q(-3). Let x = 19 - k. Is x a multiple of 15?
False
Let m = 28 + 50. Is 6 a factor of m?
True
Does 4 divide 17 + (4/(-2))/(-2)?
False
Is 29 a factor of ((-58)/10)/((-1)/5)?
True
Suppose 6*w - w + 25 = 0. Suppose 8*b - 264 = 7*b. Is 3/w - b/(-40) a multiple of 4?
False
Let y be 0 + ((-18)/3)/(-2). Suppose y = -2*r + 3*r. Suppose m = -4*m - 2*q + 14, 5*m - r*q - 29 = 0. Does 4 divide m?
True
Suppose -7*r + 6*r = -36. Does 11 divide r?
False
Suppose 0 = -4*o + z + 2 - 12, o + 1 = z. Does 7 divide (o + 7)*21/4?
True
Let w(x) = 3*x**2 + x. Let b be 3 + (-1)/(1/6). Is w(b) a multiple of 6?
True
Let f = 100 - 225. Let b = 192 + f. Is b a multiple of 17?
False
Suppose 2*h + 2*h + 20 = 0. Does 22 divide -11*h/(5/6)?
True
Let l(f) = -2*f + 4. Let k(z) = -z**2 - 2. Let p be k(0). Let d = -2 + p. Is 6 a factor of l(d)?
True
Let s(m) = -m**3 - 10*m**2 + 8*m - 1. Does 8 divide s(-11)?
True
Let v = -5 + 9. Suppose -b + v + 6 = 0. Is 5 a factor of b?
True
Let y(a) = -1 - 3 + 2 + 5*a + 1. Let k be y(-2). Let w = 33 + k. Does 8 divide w?
False
Let s be ((-3)/(-6))/(5/(-100)). Let z = 0 - s. Does 8 divide z?
False
Let t = 0 - -2. Let x(v) = v**2 + v - 2. Let b be x(t). Suppose 3*i - 51 = -3*u, -6*i + 3*i + 44 = -b*u. Is 8 a factor of i?
True
Let v(f) = -f**3 - 10 - 6*f**2 + 3*f**3 - f**3. Does 13 divide v(7)?
True
Let t = 76 + -21. Does 24 divide t?
False
Let u(x) = x. Let i be u(-6). Let r be ((-2)/i)/((-5)/(-30)). Does 13 divide r/2*2 - -22?
False
Let m(t) = -3*t**3 - t**2 - t. Let w be m(-1). Suppose 3*o + 9 = w*i - 0, -o = i - 13. Suppose 0 = 2*d - i - 2. Is d a multiple of 2?
False
Suppose -4*u = 3*s - 320, u - 6*u + 2*s = -400. Let m = -36 + u. Let g = m + -9. Is g a multiple of 12?
False
Is 39 a factor of (15 - 1)/(8/156)?
True
Let w(h) = 7*h**3 - 3*h**2 - 9*h + 9. Let u(q) = -4*q**3 + q**2 + 5*q - 5. Let s(z) = -5*u(z) - 3*w(z). Is 6 a factor of s(4)?
True
Suppose 3*h - 2*h = -4*s + 24, s + 3*h - 6 = 0. Let m(q) = 5*q**3 + q**2 - 1. Let w(c) = 6*c**3 - 2. Let y(k) = 7*m(k) - 6*w(k). Is 19 a factor of y(s)?
False
Let y be -1*(-1)/(-3)*-33. Suppose 1 = n - 3*x, 5*n - 4*n = 5*x + y. Does 7 divide (-206)/n - (-4)/14?
False
Let f(p) = p**2 - 2*p - 4. Does 5 divide f(6)?
True
Suppose r = -2*j + 125, 0*r - r + 3*j = -120. Does 40 divide r?
False
Let a = 127 + -72. Is 11 a factor of a?
True
Suppose -7*i + 132 = -4*i. Is 4 a factor of i?
True
Let p(y) = -4*y**3 - y**2 + 1. Let a be p(-1). Does 10 divide (-2)/1 + a - -8?
True
Suppose 6*y - 3*y = 0. Let b be (-3 + 0)*(y - 2). Is 3/9 - (-148)/b a multiple of 12?
False
Let t be 0 - (3/(-1) + -2). Suppose 0*c - c + 44 = -3*z, t*c - 140 = -5*z. Is c a multiple of 17?
False
Suppose -26 - 6 = -4*y + 2*z, 26 = 5*y + z. Does 4 divide y?
False
Let g be 0 + 4/6*12. Let t = g - 2. Is 6 a factor of t?
True
Let a = 204 - 128. Is 19 a factor of a?
True
Suppose -2*z + 23 + 79 = 0. Suppose z = 2*j - 33. Is 14 a factor of j?
True
Let m(s) = -s**3 - 8*s**2 - 11*s - 8. Is 9 a factor of m(-7)?
False
Let i(s) = -10*s - 6. Is 16 a factor of i(-14)?
False
Let d be (-1 + 0 - 3)/1. Let k be (d/8)/((-1)/(-40)). Does 4 divide (k/(-6))/((-10)/(-45))?
False
Is 5/30 - 3835/(-30) a multiple of 32?
True
Suppose 2*o = 24 + 2. Let l = o - 6. Let y = 13 - l. Does 5 divide y?
False
Is 7 a factor of (-30)/18*27/(-1)?
False
Let f = 64 - 43. Is 2 a factor of f?
False
Suppose 3*p - 2*k + 4 = -4*k, 5*p - 5 = -k. Suppose 4*v + 5 = 7*v - p*f, 5*v - 2*f = 7. Does 8 divide 4*v/(-2)*-4?
True
Let l(g) = -g**2 + 18*g - 22. Does 50 divide l(12)?
True
Suppose 5*v - 58 + 24 = -2*k, -3*k = 3*v - 24. Let a be (1/(-3))/(v/(-18)). Does 13 divide (2 + -3)/(a/(-13))?
True
Is 21 a factor of 2*(-1 - -63)/2 - -1?
True
Let q(t) = t**2 - 11*t + 4. Let i be q(11). Suppose -i*j + 5*s = -38, -3*j - s = 4*s - 46. Is 4 a factor