
Suppose 0 = -5*d + 2*d + 9. Suppose 6 + 12 = -d*k. Is 5 a factor of (3 + 0)*(-32)/k?
False
Let r(a) = -a**2 + 11*a - 6. Let m be r(10). Let c be 2/m + 9/2. Suppose -x + 5*x - 2*i - 12 = 0, c*x + 4*i - 15 = 0. Does 3 divide x?
True
Let r = 5 - -1. Suppose 3*a - a + r = -4*m, -5*m - 12 = a. Suppose a*s - 72 = 6. Does 13 divide s?
True
Suppose -7*f = -3*f - 12. Suppose -4*s + x = -88, f*s + 0*x - 3*x = 66. Is 6 a factor of s?
False
Let t = -2 - -20. Does 7 divide t?
False
Let h(i) = i**3 + 8*i**2 - 9*i + 3. Let g be h(-9). Let v(a) = a**2 + 2*a + 2. Is v(g) a multiple of 7?
False
Let x(o) be the second derivative of -o**5/20 - o**3/6 + 2*o. Does 8 divide x(-3)?
False
Suppose 19 + 1 = 4*r. Suppose 0 = r*z - 2*z - 42. Is 5 a factor of z?
False
Let h = 18 + 20. Is 19 a factor of h?
True
Let c = 11 + -13. Is 15 - (-2)/(2/c) a multiple of 10?
False
Is 9 a factor of (-4)/(-18) - (15680/(-45))/7?
False
Let t(g) = -6*g**2 - 2*g - 1. Let p be t(-1). Let n(r) = 2*r**2 + 5*r - 5. Is n(p) a multiple of 10?
True
Let u(b) = -b**2 - 5*b + 6. Let a be u(-7). Let l = 14 + a. Does 6 divide l?
True
Let z = 15 - 11. Suppose -2*o = -z*t - o - 62, 4*t + 4*o + 52 = 0. Is 4/(-6) + (-115)/t a multiple of 7?
True
Suppose -g + 43 = 2*s, 3*g - 6*s + 3*s - 84 = 0. Is 7 a factor of g?
False
Let v = 107 - 230. Let l = -50 - v. Is 21 a factor of l?
False
Let p(d) = 2*d**2 + 14*d. Does 8 divide p(-8)?
True
Let g(a) = 2*a**3 - 7*a**2 + 2*a - 5. Let i be g(5). Suppose c = 2*l + 13, 0*c = 4*c - l - i. Suppose 0 = s - 2*k - 6, -c = -s + 2*k - 3*k. Does 6 divide s?
False
Let f be (-2)/3 + 1435/15. Let p = -57 + f. Does 8 divide p?
False
Is 26 a factor of (39/(-6)*8)/(2/(-7))?
True
Suppose 2*x - 2 = 4*x. Let s be ((-1)/x)/(3/27). Is 2 a factor of (-2)/s + 29/9?
False
Suppose x - 4*x = 0. Suppose y + 3*y - 200 = x. Does 25 divide y?
True
Suppose 3*c + 40 = 4*c. Is 3 a factor of c?
False
Let t(n) = 8*n**2 - 2*n + 7. Let o(h) = -7*h**2 + h - 7. Let x(q) = -7*o(q) - 6*t(q). Is 3 a factor of x(-5)?
False
Let j(q) = q**2 - 3*q - 6. Is j(-7) a multiple of 13?
False
Suppose -4*b - 88 = -4*c, 7*c - 3*c - 5*b - 91 = 0. Is c a multiple of 5?
False
Let k(f) = -f**3 + 10*f**2 + f + 7. Let g be k(10). Suppose 0 = i - g + 3. Is i a multiple of 4?
False
Let o = -12 + 8. Let l be 1/(0 - (-2)/o). Is 11 a factor of l/5*(1 + -56)?
True
Suppose 40 = c - 5*c. Let t be (2 + (-10)/4)*c. Suppose 0 = 6*p - p + t*s - 150, 0 = 2*p + s - 57. Is p a multiple of 14?
False
Suppose c + 0*c = w - 6, 2*w - 5*c - 27 = 0. Is 10 a factor of 5 + 6 + -2 + w?
True
Let b(h) = -2*h + h + 3*h - 5*h. Let w be b(-1). Suppose -4*x = 4*i - 44, 2*x + 0*i = w*i + 12. Is x a multiple of 3?
True
Let d = 150 - 91. Does 15 divide d?
False
Let h(t) = 4*t**2 + 3*t + 3. Let d be (2 + 1)*(-4 + 3). Does 15 divide h(d)?
True
Let z(p) = -13*p**3 + p. Let n be z(1). Let x = 0 - n. Is 12 a factor of x?
True
Suppose 0 = 5*p - 1 - 14. Let c be -3*1*p/(-9). Is 2*c + 5 + 27 a multiple of 17?
True
Suppose -m + 66 = 39. Does 2 divide m?
False
Let f = -65 + 243. Suppose 52 - f = -3*t. Is t a multiple of 14?
True
Is (((-495)/12)/(-11))/((-1)/(-4)) a multiple of 8?
False
Let w be (-166)/(-8) - 11/(-44). Is 9/21 - (-495)/w a multiple of 8?
True
Let f = -6 + 16. Let c(b) be the second derivative of b**3/6 - 2*b**2 + 7*b. Is 3 a factor of c(f)?
True
Suppose 4*a + a = -2*t + 49, 8 = a + t. Does 11 divide a?
True
Let o(l) = 10*l - 22. Does 4 divide o(5)?
True
Suppose -5*m + 280 = -375. Does 31 divide m?
False
Let n = 15 + -11. Suppose -n*d = 2*v - 20, -5*v = -d - 137 + 32. Does 7 divide v?
False
Suppose -2*i + 6*i - 8 = 0. Suppose g + 9 + 9 = -5*a, -i*g = 5*a + 21. Does 21 divide a*(1 + (-19 - -2))?
False
Suppose 3*b = -g + 10, 0 = 2*g + b + 3*b - 18. Is g a multiple of 2?
False
Suppose -7*u = -2*u + 5*h - 85, 3*h - 9 = -u. Suppose 6*g - 3*g = u. Let y = 8 + g. Is 5 a factor of y?
True
Let r = 96 - 45. Is 11 a factor of r?
False
Let g(x) = -x**2 - 7*x - 2. Let y be g(-6). Suppose 4*m - 10 = -3*u, 1 = 3*u - m - y. Suppose -5*w + 4*d = 3*d - 60, -u*w + 24 = -4*d. Is 5 a factor of w?
False
Suppose 0 = -3*l - 0*l + 36. Does 8 divide 6/l - (-63)/2?
True
Let r = 22 - 2. Does 9 divide r?
False
Let k = -212 - -308. Does 8 divide k?
True
Suppose 2*y - 10 = 2. Let b(m) = -2*m - m - 2 + y*m + 3*m. Is b(2) a multiple of 10?
True
Let n(g) = 49*g**3 - g**2 + 1. Let l = 6 - 5. Is 14 a factor of n(l)?
False
Suppose 12*q + 585 = 17*q. Is 22 a factor of q?
False
Let o(a) = -a + 3. Let d(t) be the third derivative of -t**5/60 + t**3/3 - 3*t**2. Let y be d(-3). Is o(y) a multiple of 7?
False
Let k(h) = h**3 + 3*h**2 + h. Let m be k(-2). Let t(j) = j**2 - j - 2. Let v be t(m). Suppose v*w - 4*w + 32 = 0. Does 4 divide w?
True
Let b(v) = 38*v - 1. Let j be b(-3). Is j/2*(-12)/15 a multiple of 15?
False
Suppose 3*m = 43 + 62. Is m a multiple of 6?
False
Suppose 2*h - 162 = s, -2*h - 4*s + 72 = -h. Is h a multiple of 40?
True
Let i(s) = -s**2 - 5*s - 1. Let o be i(-3). Suppose 4*w = o*j + 30, 5*j + 0 = -w - 5. Let k = w - -4. Does 6 divide k?
False
Suppose 0*c + 35 = -5*c. Let p(w) = w**2 + 6*w - 4. Let t be p(c). Suppose t*f = 2*f - 2*q + 20, 3*q + 30 = f. Is 12 a factor of f?
True
Let w be (2/(-3))/((-6)/36). Suppose 4 = -i - i, -i - 58 = -w*r. Is 4 a factor of r?
False
Let p(q) = 11*q**2 + q - 1. Let z be p(3). Let w = z - 61. Is w a multiple of 12?
False
Let l be ((-2)/(-3))/((-4)/6). Let h(b) = 10*b**2 - b - 1. Is h(l) a multiple of 10?
True
Let h be (-6)/(-10) - (-2112)/55. Let b = -12 + 17. Suppose -d + h = b. Does 14 divide d?
False
Suppose -u - 6*g = -2*g - 12, g + 88 = 3*u. Let h be -1 + (-4)/(-2) + -15. Let t = u + h. Does 7 divide t?
True
Suppose -4*b = -18 - 414. Does 13 divide b?
False
Suppose -q - 2*k - 104 = -2*q, -k = 2*q - 198. Does 20 divide q?
True
Let s be (-5)/10 - 11/(-2). Suppose -5*v = s*y - 170, y + 2*v - 35 = -2. Suppose 100 = 5*r - m + 6*m, -5*m - y = -4*r. Does 15 divide r?
True
Is 21 a factor of (-2)/((-12)/3042*3)?
False
Let m(q) = -2*q**3 - q**2 - 2*q - 1. Let n be m(-1). Suppose 3*g = n*w + 2, g - 36 = -3*g - 4*w. Is g even?
True
Suppose x + 29 = 5*n + 3, -3*x = 3*n - 30. Suppose 10 = 4*y - n. Does 2 divide y?
True
Let q be (-8)/(-2) + (-5 - -5). Let s be q + 1 + -3 - -38. Suppose -4*x - x = -s. Does 7 divide x?
False
Let k(s) = 0*s - 15 + s + s**3 + 20. Let g be k(0). Suppose p + 216 = g*p. Is 17 a factor of p?
False
Suppose -3*u = -15, -3*n - u + 10 = 2. Is 13 a factor of (-301)/(-7) - (3 + n)?
True
Suppose -9 - 1 = -5*p. Suppose 0 = 3*d - 5*z + 4, 3*d - 2*z = p*z - 2. Suppose 5*q = 3*f + 12, -q + d*f = 1 - 2. Is 2 a factor of q?
False
Let o(w) = w**3 + 6*w**2 + 2. Let x be o(-6). Is 6 a factor of 9 - (-2 + (x - -1))?
False
Suppose 3*i - 5*i + 4 = 3*r, 5*r - 5*i = 15. Suppose v = -r*t + 152, 4*t + 3 = 5*v + 321. Is 23 a factor of t?
False
Suppose -5*d - 4*r + 340 - 37 = 0, 192 = 3*d - r. Does 21 divide d?
True
Let p be (3/(-6))/((-1)/62). Let y = 86 + -86. Suppose y = 3*g + 4 - p. Does 6 divide g?
False
Suppose -4*s = -4 - 0. Is 14 a factor of 38 + 2 + (s - 6)?
False
Suppose 3*v = -0*y + 3*y + 81, 63 = 4*v + 5*y. Is v a multiple of 11?
True
Let t = 7 - -30. Is 37 a factor of t?
True
Suppose 0 = -4*r + 2*u + 562, -r + 7*u + 138 = 4*u. Does 31 divide r?
False
Suppose 0*o - 5*o + 10 = 0, 5 = g + 3*o. Let d(y) = y. Let l(n) = 2*n**3 + 5*n + 1. Let t(x) = g*l(x) + 3*d(x). Is 19 a factor of t(-2)?
True
Let q(i) = -12*i**3 + i**2 + 2*i - 1. Is q(-2) a multiple of 19?
True
Let s(h) = -h**3 + h + 3. Let d be s(0). Let w = d + 17. Does 11 divide w?
False
Let m(w) = -9*w + 27. Is 26 a factor of m(-21)?
False
Let m be (4/(-5))/((-2)/5). Suppose -7*l + m*l = 0. Suppose -j + 7 = -l*j. Is 3 a factor of j?
False
Let q = -4 - -5. Suppose -3*s - q = -58. Is 7 a factor of s?
False
Suppose -t - 3*w = 1 + 4, -1 = -t - w. Suppose t*l - 56 = -0*l. Let n = l + -10. Is n a multiple of 4?
True
Let i be (-15)/(-2)*12/9. Suppose -d = d - i. Suppose d*f - 44 = 26. Is f a multiple of 13?
False
Suppose -15 = -g - 4*g. Is 3/g*-2 + 26 a multiple of 12?
True
Let q(k) = k**3 + k - 1. Let z(l) = 5*l**3 + 3*l**2 + 4*l - 7. Let v(a) = 4*q(a) - z(a). Does 9 divide v(-4)?
False
Does 25 divide (3/1)/((-1)/(-10))?
False
Suppose 3*f - 2*f = t - 5, t - 25 = -3*f. Suppose -t*y = -9*y - 4