
Let p(m) = -7*m**3 + m**2 + m. Let v be p(-1). Suppose 46 - v = -3*n. Let i = n - -24. Is i a multiple of 6?
False
Suppose v + 1 = -2, 60 = 5*u + 5*v. Is 7 a factor of u?
False
Suppose -4*q = -5*n + 16, -2*n + 5*q - 3*q + 8 = 0. Suppose n*t - 58 = -2*t. Let r = t + -16. Does 10 divide r?
False
Does 13 divide (26/(-22) - -1) + (-13185)/(-99)?
False
Let g(j) = -4*j**2 - 3*j - 11. Suppose 3*k + k - 5*w - 22 = 0, 0 = -k - 4*w - 5. Let z(m) = -m**2 - 1. Let x(l) = k*z(l) - g(l). Does 9 divide x(-6)?
False
Is (0 + 1)*27 - 4 a multiple of 15?
False
Suppose -5*y + 27 = -2*y. Let p = y - 2. Is (-384)/(-21) + (-2)/p a multiple of 18?
True
Does 34 divide (((-272)/3)/(-4))/((-4)/(-42))?
True
Suppose -8 = 6*b - 2*b. Let d(h) = 4*h**2 - 2*h - 6. Is d(b) a multiple of 6?
False
Suppose -297 = -3*i + 207. Does 42 divide i?
True
Let w(n) = 44*n**2 - n - 1. Let j be w(-1). Let u = 78 - j. Is 9 a factor of u?
False
Let f = -4 + 9. Suppose 0 = f*k - 2 - 8. Suppose -k*x + 72 = 2*x. Does 9 divide x?
True
Let h be 0*(-2)/4 + 3. Let z be h/2*(-1 + -3). Let p = 10 + z. Is p a multiple of 4?
True
Let x = 88 + -24. Does 13 divide x?
False
Suppose -4*n + 133 - 25 = 0. Is n a multiple of 9?
True
Suppose 5*w = -5*u + 20, w + 3*u - 4 = 8. Suppose w = b - 0*b. Suppose 13 = 3*l - c, l + b*l + 5*c = 15. Is 3 a factor of l?
False
Suppose 4*n + 5*m = 1129, 2*n - 3*m - 1439 = -3*n. Is 22 a factor of n?
True
Let g(q) = 5*q**2 + 3*q - 2. Let v be g(1). Suppose v*n - 36 = 2*n. Is 3 a factor of n?
True
Let q = -57 + -38. Let a = 50 + q. Let s = -21 - a. Is 12 a factor of s?
True
Suppose -3*x - 3*m + 0*m - 15 = 0, -2*x - 25 = -3*m. Let j = x + 75. Does 17 divide j?
False
Suppose 0 = -k + 4*k - 378. Suppose 0 = -4*m + m + k. Is m a multiple of 11?
False
Let v = -13 - 5. Let a be v/5*200/(-15). Suppose -2*k + a = -0*k. Is 24 a factor of k?
True
Let d(l) = l - 3. Let n be d(-7). Does 11 divide (-108)/n + 7/35?
True
Let t(x) be the third derivative of 0 + 0*x - 2*x**2 - 1/12*x**4 - 2/3*x**3 + 1/60*x**5. Is 2 a factor of t(4)?
True
Let h be (-4)/10 - 135/(-25). Suppose -5*b = h*f - 5, -5*f + 0*f + 9 = 3*b. Does 18 divide 10/(b - 5/(-2))?
False
Let f = 18 + -13. Let t = -14 + 26. Let m = t - f. Is 4 a factor of m?
False
Let z(s) = -9*s**2 - 2*s**2 - 13*s - 2*s**3 + 2 + 0 + s**3. Is z(-10) a multiple of 10?
False
Let w be 1/(-1 + 2) + 135. Suppose -3*t = -w - 53. Does 29 divide t?
False
Let q(b) = b**3 + 5*b**2 - 9*b + 6. Let n be q(-7). Let f = -17 - n. Is 12 a factor of f?
True
Let g be 1 - (3/3 - -6). Let w(v) = v**3 + 6*v**2 + 6. Let z be w(g). Let r = z + -2. Is r even?
True
Suppose -5*y + 232 = 2*j - 306, 1 = -j. Is y a multiple of 32?
False
Let a be -3 - (-8 + 3) - -2. Suppose k - 90 = -a*k. Does 16 divide k?
False
Is 5 a factor of 1/(-2) + 11/2?
True
Suppose 0 = 2*w + 2*l - 2 - 0, w - 2*l = -2. Suppose w = 5*k + 3 - 68. Is k a multiple of 6?
False
Let u = 224 + -130. Does 30 divide u?
False
Suppose -72 = -v + 11. Is v a multiple of 23?
False
Let t = 193 + -63. Is t a multiple of 25?
False
Let i(m) = 14*m - 6. Is 8 a factor of i(5)?
True
Let y be -2 + 1 - (3 - 3). Is (-2 + y)*(-14 + 2) a multiple of 18?
True
Let p(u) = -4*u - 3*u**3 - 7*u**3 - 11 - 8*u**2 + 9*u**3. Is 20 a factor of p(-8)?
False
Let a(y) = -5*y**2 - 4 - 3*y + 8 + 8*y**2. Does 10 divide a(-3)?
True
Let r(h) = 34*h - 17. Let q(b) = 17*b - 8. Let o(j) = -5*q(j) + 2*r(j). Let w be o(4). Let z = -30 - w. Is 16 a factor of z?
True
Suppose -28 = -2*g + 16. Does 11 divide g?
True
Is 0 + (1 + 125)/3 a multiple of 14?
True
Suppose 25*i - 180 = 24*i. Is 36 a factor of i?
True
Let w = 3 - 13. Does 9 divide 4/w - 1182/(-30)?
False
Let v = 403 + -248. Does 18 divide v?
False
Suppose 0 = 4*f + 12, 0*f + 243 = 3*n + 3*f. Suppose -2*u + n = u. Is u a multiple of 14?
True
Let m(f) = f**2 + 13*f + 4. Is m(-14) a multiple of 2?
True
Let w(g) = -13 - 2*g + 2*g - 2*g. Is 5 a factor of w(-9)?
True
Suppose -4*t = -0*t. Suppose -16 = -4*v - t. Does 4 divide v?
True
Let h be (-2)/(-5) - (-46)/10. Suppose 3*w + 281 = 4*i, -i - 3*w = -3*i + 145. Suppose 0 = -z + h*z - i. Does 14 divide z?
False
Let m(b) = 26*b - 13. Is 4 a factor of m(2)?
False
Let z(l) = -l**2 - 10*l - 4. Let x be z(-9). Suppose -x = -2*r + 5. Is r a multiple of 2?
False
Let v(h) = -h**3 - 9*h**2 + h + 10. Let s be v(-10). Suppose i - 2*w = -7*w + 95, 3*w + 125 = 2*i. Let o = s - i. Is 15 a factor of o?
True
Let i(c) = 2*c**2 - c. Let x be i(2). Let m = -9 + x. Is (m/(-9))/((-2)/(-132)) a multiple of 13?
False
Suppose 3*q + s - 108 = -2*s, -q + 54 = -5*s. Suppose -f = -2*o + 65 - 8, -3*f + q = o. Is o a multiple of 6?
True
Suppose m = 22 - 3. Is m a multiple of 11?
False
Suppose -2*f + 2 = -0*f. Let i(r) = 20*r + 1. Is 9 a factor of i(f)?
False
Let x(a) = 20*a - 1. Let n(g) = -13*g + 6. Let o(u) = 13*u - 5. Let d(c) = -4*n(c) - 5*o(c). Let q(j) = -8*d(j) - 5*x(j). Is 9 a factor of q(3)?
True
Suppose m + m = 4. Let l = m - 0. Suppose -5*q = 4*p - 99 - 9, -l*p = q - 24. Is 10 a factor of q?
True
Let k = -175 - -465. Does 20 divide 2/3 - k/(-15)?
True
Suppose 14*q - 268 = 10*q. Is q a multiple of 6?
False
Let x = -5 - -7. Suppose -4*b + x*m = -148, b + 2*b - 137 = -5*m. Is b a multiple of 16?
False
Let y(d) be the third derivative of d**5/60 + 5*d**4/24 + 7*d**3/6 - d**2. Is y(-8) a multiple of 12?
False
Let q = -1 + 28. Is 5 a factor of q?
False
Suppose 4*j - 4*b = 900, 10*j - 2*b - 1116 = 5*j. Does 7 divide j?
False
Let g(b) be the third derivative of -3*b**6/40 - b**5/60 - 3*b**2. Does 4 divide g(-1)?
True
Suppose -2*x + 18 = x. Is 3 a factor of ((-32)/10)/(x/(-15))?
False
Let m = 2 - 2. Suppose -4*a = -4*t - 184, 2*t = -6 - m. Is a a multiple of 14?
False
Suppose -6*t + 620 = -2*t. Let w be -1*3*t/(-15). Suppose 2*c - w = -3*x, 5*c - 7 = 3*c + 5*x. Is 7 a factor of c?
False
Suppose 3*p + 3 = 4*z, 2*p = -4*z - 0*p + 18. Suppose -2*f + z*f = 2. Does 4 divide f/(-7) - 51/(-7)?
False
Suppose 3*o = -25 + 133. Does 12 divide o?
True
Let u(g) = 2*g**2 + 2*g + 4. Let b be (-3)/3*(-1 + -4). Does 32 divide u(b)?
True
Suppose -5*n + 3 - 13 = 0. Let o = n + 6. Suppose o*h + 5*d = -h + 140, 126 = 5*h - 2*d. Is 13 a factor of h?
True
Let g be 191/7 - 10/35. Let a = g - 15. Is a a multiple of 11?
False
Let q(r) = 11 - 3 + r**3 - 8*r**2 + 0*r**2 + 3*r. Let o(k) = -12*k - 4. Let x be o(-1). Is 16 a factor of q(x)?
True
Let x(d) = 3*d + 1 + 2 + d. Does 6 divide x(3)?
False
Let j(v) = -6*v. Let s be j(1). Is (4/s)/((-18)/135) a multiple of 2?
False
Let p(h) = 4*h**2 - 8*h + 1. Let k(c) = 11*c**2 - 25*c + 4. Let z(a) = 3*k(a) - 8*p(a). Does 2 divide z(11)?
True
Let o(d) = 3*d + 42. Is 3 a factor of o(-9)?
True
Let z be 3/(3/(-6)*-3). Suppose z*x + 0 = 4. Suppose -2*y = t + 2, 4*t + 0*y = -x*y + 22. Is t a multiple of 6?
False
Let j = -3 + 4. Suppose -14 = -2*a - 2*x, -a + 0*a + j = -5*x. Is 5 a factor of a?
False
Suppose g = -2*g - 3*y + 18, -4*y = -3*g + 53. Let t = 43 - g. Is t a multiple of 20?
False
Let g = -78 - -123. Let v = -75 + g. Let b = 44 + v. Does 14 divide b?
True
Suppose 11 - 1 = -5*w. Let y = -1 + w. Is 13 - (-2 + 3/y) a multiple of 16?
True
Let f be 11/1 - (5 - 5). Suppose -13 = -4*b - 4*k + f, 0 = 5*b + 3*k - 22. Suppose 0*n + b*n - 8 = 0. Is n a multiple of 4?
True
Suppose -152 = -3*j + 52. Is 15 a factor of j?
False
Suppose -4*m + 127 = 2*l + l, -4*m + 102 = -2*l. Does 28 divide m?
True
Let g(w) = 2*w**2 - w - 2. Let z be g(5). Suppose -5*m = -0*l - 5*l - 60, 4*m = -l + z. Is m a multiple of 6?
False
Suppose x - 34 = 17. Suppose 4*p - 11 = -x. Does 13 divide (52/p)/((-2)/10)?
True
Suppose -21*n = -24*n + 72. Is 13 a factor of n?
False
Let d = 70 + -41. Is 9 a factor of d?
False
Let o(x) = -6*x. Let i be o(1). Let y(m) be the first derivative of -m**3/3 - 5*m**2 + 8*m - 23. Does 9 divide y(i)?
False
Let l(v) = v**2 - 10*v - 8. Let o be l(12). Is (2 - 1)*(-3 + o) a multiple of 3?
False
Let b be 34/3 + 14/21. Is 12 a factor of 68*(b/(-4))/(-6)?
False
Let k be -1 + 1 + -2 + 1. Let n be 1*242/2 - k. Is 14 a factor of n/6 - (-2)/(-6)?
False
Suppose -3*d - 48 = -d. Let g = 52 + d. Does 14 divide g?
True
Is 15 a factor of (-2)/11 - (-1491)/33?
True
Let v be 10/5 - 378/(-2). Suppose 0 = h - 4*c + 2*c - 44, -4*h + v = -5*c. Does 27 divide h?
True
Let z be (18/(-15))/(2/(-10)). Let 