= m + -7. Suppose 4*p - n = -p. Does 3 divide p?
True
Let m(c) = -3*c**2 + 2*c**2 + c - c + 23*c**3. Is 7 a factor of m(1)?
False
Let q(j) = 167*j - 7. Let r(c) = 111*c - 5. Let y(m) = -5*q(m) + 7*r(m). Let h be y(-2). Let k = h + -83. Does 16 divide k?
False
Suppose 13 - 8 = b. Suppose 0 = -7*z + b*z + 4. Is z even?
True
Suppose 10*k + 452 - 1652 = 0. Does 15 divide k?
True
Let o = 22 + -15. Let q be 2/(3/9*2). Let b = o - q. Does 4 divide b?
True
Let c(j) = 2*j**2 + j - 3. Let v be c(-3). Suppose -4 - v = -b. Is b a multiple of 5?
False
Let h(o) = -o**3 - o + 7. Let p(w) = w**3 - 5*w**2 + 3*w + 4. Let t be p(4). Let a be h(t). Let i = a - 4. Does 3 divide i?
True
Let v(a) = 16*a - 4. Does 14 divide v(2)?
True
Let c(b) = 9 - 2*b - b - b. Let v be c(-8). Let j = v - 8. Does 11 divide j?
True
Let d be (-2)/(-9) + 173/(-9). Let u = 35 + d. Is 8 a factor of u?
True
Let p = -6 + 95. Let z = -61 + p. Is 14 a factor of z?
True
Let h(o) = -4*o**3 + o**2 - 2*o + 1. Let f be h(2). Let v = f - -55. Is 8 a factor of v?
True
Is (-1 - -2)/((-54)/57 - -1) a multiple of 5?
False
Let v(u) = -u**2 + 6*u + 2. Let p be v(6). Suppose -p*w - 303 = -5*w. Does 17 divide w?
False
Suppose -188 = u - 5*u. Suppose 16 - 68 = 2*v. Let p = u + v. Does 11 divide p?
False
Let k be 530/50 + 6/(-10). Suppose 4*f - 2 = k. Is f/(-3 + (-66)/(-20)) a multiple of 6?
False
Suppose 2*g - 12 = -g. Let a(n) = 6 - 7*n + 14*n - 4. Is a(g) a multiple of 15?
True
Suppose 5*j = 2*a + 11, -4 - 1 = -j. Let x be (-3 - 5)*a/(-4). Suppose 5*f = 26 + x. Is 4 a factor of f?
True
Let q(v) = -v**3 + 10*v**2 - 4*v - 18. Is 14 a factor of q(8)?
False
Let l(n) = n**3 + 6*n**2 + n + 7. Let r be l(-6). Suppose -7 + r = g. Let q = g - -14. Is q a multiple of 4?
True
Let h = -22 - -27. Does 4 divide h?
False
Let r = 2 + 45. Let w = r - 27. Is w a multiple of 10?
True
Suppose -5*x + 10 = -0*x + 5*k, -x = -3*k - 14. Suppose x*t = -0*t + 205. Is 19 a factor of t?
False
Let z(d) = 2*d**3 - 5*d**2 - 19*d - 1. Let u(y) = -y**3 + 2*y**2 + 9*y + 1. Let i(j) = 7*u(j) + 3*z(j). Is i(-4) a multiple of 12?
False
Suppose 24*l + 50 = 29*l. Is l a multiple of 6?
False
Let u = -8 - -24. Is 10 a factor of u?
False
Let m(g) = -g**2 - 2*g + 3. Suppose -3*d + 3*q = 12, -2*d - 2*q - 1 = 3. Let r be m(d). Suppose -2*j = -r*j - 10. Is 5 a factor of j?
True
Suppose 609 = 4*z + 3*q, -2*q + 6*q = -z + 136. Is 12 a factor of z?
True
Is 13 a factor of 53 + (1 - 0) - 4?
False
Let n(f) = f**3 + 8*f**2 - 5*f - 15. Does 7 divide n(-7)?
False
Suppose -5*u = 4*x - 92, -u + 4*x + 68 = 2*u. Let r = u - 15. Is 3 a factor of r?
False
Let q(y) = y**3 + y**2 - y. Let j be q(0). Suppose -17 = -n - j*n. Is n a multiple of 13?
False
Is (7 - 0)*(-7)/(1 - 8) a multiple of 2?
False
Let w(h) = h**3 - h**2 - 7. Let v be w(0). Let q = v + 10. Is 3 a factor of q?
True
Let r be (-1)/(-3)*(6 - -3). Suppose -9 = -b - r. Is b a multiple of 3?
True
Suppose -3 = -3*x - 5*n, -17 = 5*x - 2*n - 53. Suppose 0 = 5*h - x - 34. Is 2 a factor of (10/h)/((-1)/(-4))?
False
Let n be (1 - 6)/(1/5). Suppose 3*z = 6*z - 108. Let h = z + n. Is h a multiple of 8?
False
Suppose -2*y + 3*n = -y - 65, -3*y = 3*n - 243. Is y a multiple of 16?
False
Let x(c) = 7*c - 1. Let o be x(3). Does 15 divide (o/12)/(2/18)?
True
Let p be 0/(-1) - (2 + -4). Let t be -1 + (3 - -2 - p). Suppose f = -5*m + 50, t*f - f = -4*m + 48. Is 18 a factor of f?
False
Let i(v) = -v + 3. Let u be i(0). Suppose 0*a - u*o + 98 = 2*a, 0 = -a + o + 54. Does 26 divide a?
True
Let z(l) = -89*l - 21. Is z(-4) a multiple of 67?
True
Let q = 50 - 25. Let i = q - 13. Suppose a - i = -3*a. Does 2 divide a?
False
Let w be ((-1)/2)/(2/(-24)). Let t = w - -31. Is 11 a factor of t?
False
Let v(w) = w**3 - 8*w**2 + 9*w + 2. Suppose -8 - 13 = -3*g. Is v(g) a multiple of 16?
True
Let m(b) = -16*b + 6. Let x(z) = -z + 1. Let a(c) = m(c) - 6*x(c). Is a(-2) a multiple of 10?
True
Is 57*4/12 + -4 a multiple of 5?
True
Let q = -7 - -9. Suppose 5*a = -4*t + 89, -q*a + 0 = -2. Suppose -4*y + t = -3. Does 2 divide y?
True
Suppose 3*w = 5*b + 88, -38 = -3*w + 4*b + 48. Let f = w + -16. Is 7 a factor of f?
False
Suppose l + 1 = -4*l + 2*s, -l + s = 2. Let g(t) = 2 + 29*t**3 - t**2 - 1 + 10*t**3 + 9*t**3. Is 24 a factor of g(l)?
True
Suppose 5*l + 4*v - 171 = 0, 4*l - 45 - 91 = -3*v. Let m = 50 + l. Does 25 divide m?
False
Let l(i) = -3 - 34*i + 4 + 6*i. Let n be l(-2). Suppose n = h + 2*h. Is h a multiple of 19?
True
Suppose 0 = -2*o + 14 + 34. Is o a multiple of 12?
True
Let j = -47 - -6. Let m = 6 - j. Is m a multiple of 21?
False
Let p be 1/3 - (-627)/9. Let z = p + -40. Suppose 3*y - z = -2*y. Is y a multiple of 6?
True
Let t(o) = -2*o**3 + 18*o**2 + 19*o + 5. Let r(y) = 3*y**3 - 27*y**2 - 28*y - 8. Let l(g) = 5*r(g) + 8*t(g). Does 10 divide l(10)?
True
Let w = 6 + 7. Does 6 divide w?
False
Suppose 5*u - 24 = u. Suppose 5*a + 4 = 2*b, 0 = -2*b - 0*a + 4*a + u. Is b a multiple of 3?
False
Let o = 329 - -28. Is 51 a factor of o?
True
Suppose -1 = -h + 2. Suppose -h*v - 15 = -4*v. Is v a multiple of 3?
True
Does 35 divide (42/5)/(((-14)/50)/(-7))?
True
Let l be 8/36 - 6/27. Let y be (-5)/(1/(-1 + l)). Suppose y*v - 7 - 23 = 0. Is v a multiple of 6?
True
Let j = 39 - -25. Let o(c) = -c**3 + c**2 + 2*c + 3. Let u be o(4). Let r = j + u. Does 22 divide r?
False
Suppose -2*t + 75 = t. Let b = t - 15. Does 6 divide b?
False
Does 3 divide (18 - 0) + 5 + 2 + -4?
True
Suppose -3*q - 9 = 3*r - r, 0 = -5*r + 4*q + 35. Suppose l - 140 = -r*l. Is l a multiple of 19?
False
Suppose 4*p - j - 17 = -4*j, -4*p + 5*j = -25. Is 34/p - (-3)/15 a multiple of 7?
True
Suppose 5*m - 3*k + k = 21, -12 = -2*m + 2*k. Suppose 0 = 4*n - 16, m*a - 4*n = -a + 40. Does 14 divide a?
True
Let r = 22 - 11. Let v = r + -9. Does 2 divide v?
True
Let q(t) be the second derivative of t**3/2 + 4*t**2 - 7*t. Is 8 a factor of q(7)?
False
Let n be (-5)/(-10) - (-2)/(-4). Suppose -4*r - 4 = n, -r - 1 = 2*v - 0*v. Suppose 3*a - 74 - 55 = v. Does 21 divide a?
False
Let y = -8 - 5. Let r = y - -22. Is 3 a factor of r?
True
Let b(u) = 164*u**2 - 2*u - 1. Let f be b(-1). Let y = f + -97. Does 19 divide y?
False
Suppose 92 = 5*u + 32. Is u a multiple of 6?
True
Is (2/(-4))/(5/(-510)) a multiple of 20?
False
Let h = 295 + -200. Does 10 divide h?
False
Let p(n) = -7*n - 35. Is 21 a factor of p(-17)?
True
Let y(s) = -s - 6. Let b be y(0). Let x = 7 + -10. Is (-25)/x - b/9 a multiple of 9?
True
Let y be 3*(-6)/27*3. Let k be (-3)/y + (-387)/(-6). Suppose -s - 2*s = -k. Is s a multiple of 11?
True
Is 22 a factor of (-290)/(-3) + 4/(6 + 6)?
False
Suppose -l - h = -64, 2*l - 3*l - 4*h = -76. Is 15 a factor of (l - -2)*(-1)/(-2)?
False
Suppose 0 = -4*t - 0 + 80. Let n be (-3 - -4)*1*t. Let h = n - -1. Is 13 a factor of h?
False
Is (-2)/5*50/(-60)*423 a multiple of 31?
False
Suppose -2*q - 3*q - 180 = 0. Does 6 divide (q/14)/(6/(-28))?
True
Suppose 2*a + 2 = -h, -a = 4*a + 3*h + 6. Suppose a*v = v - 17. Is 8 a factor of v?
False
Let x(b) = -b**3 - 11*b**2 - 6*b - 30. Is x(-11) a multiple of 9?
True
Let t(r) = -r**2 - 2*r. Let i be t(0). Let k(o) = o**3 - 2*o**2 - o - 1. Let x be k(3). Suppose -w = 2 + 3, i = -x*q - w + 80. Is 17 a factor of q?
True
Suppose 180 = 2*z + z. Is z a multiple of 12?
True
Suppose -5*v + 25 = -0*c + 2*c, 2*c = -v + 45. Suppose -w = 4*w - c. Let a = w + 4. Does 4 divide a?
False
Let b = 115 + -73. Is b a multiple of 26?
False
Let i(s) = -4 + s + 5 - 2*s**2 + 5*s**2. Is 10 a factor of i(2)?
False
Suppose -f = -3*i - 603 + 246, 4*i = f - 356. Does 20 divide f?
True
Let x(s) = -s**3 + 5*s**2 - s + 1. Let n be x(5). Let b = 4 + n. Suppose b = 2*v - 8 - 8. Does 8 divide v?
True
Let y(f) = -f**3 - 5*f**2 + 7*f - 4. Let a be y(-6). Let n be (5 - 3)/((-4)/a). Is (32/n)/((-1)/(-5)) a multiple of 17?
False
Suppose 23 = -7*i + 65. Is 6 a factor of i?
True
Suppose 2*c - 300 = -2*z - 2*z, -3*z + 9 = 0. Does 25 divide c?
False
Let j(o) = o**2 + 2*o - 7. Suppose 10 - 38 = 4*g. Does 14 divide j(g)?
True
Suppose -4*t = -u + 6*u - 44, -3*u - 6 = -3*t. Suppose -2*x = -t - 70. Suppose -50 = -2*g - 2*g + 2*c, 2*c = 3*g - x. Is 12 a factor of g?
True
Let p(w) = -5*w**2 + w + 1. Let o be p(-1). Let q = 9 - o. Does 7 divide q?
True
Let v(a) = -a**3 + 15*a**2 + 17*a + 4. Is 10 a factor o