2. Let n be c(2). Is p(n) a multiple of 15?
False
Let q = -1 + 4. Suppose q*c + 0*m - 3*m = 21, 3*m - 3 = -c. Does 3 divide c?
True
Let r = 12 - -20. Let l = -7 - -9. Let n = l + r. Is n a multiple of 17?
True
Let u(f) = f**3 - 8*f**2 + f - 4. Let z be u(8). Suppose -z*l + 66 = -14. Is l a multiple of 10?
True
Suppose -11*j = -14*j + 192. Is 8 a factor of j?
True
Suppose 0*m + 5*m = 90. Is m a multiple of 6?
True
Let b be 8 + -1*1 - 1. Let v(k) = 2*k - 30. Let u be v(0). Let w = b - u. Does 13 divide w?
False
Let c = 15 + -3. Is 4 a factor of 5/(-30) + 62/c?
False
Let w(j) = j + 1. Let y be w(0). Let x = 1 + y. Does 8 divide 4*((-6)/(-8) + x)?
False
Suppose d = 4*d + 21. Let w = 9 - d. Suppose 0 = 2*m + 3*t - 29, -3*m + 0*t + w = -t. Does 6 divide m?
False
Let j(y) = 3*y**2 + 6*y + 2. Let z be j(-2). Suppose p = -z*p + 252. Is p a multiple of 28?
True
Let w = -3 - -2. Let t = 1 - w. Is 8 a factor of 1 + 0 + (t - -21)?
True
Let o(r) = -r**3 - 10*r**2 - 11*r + 2. Let y be o(-9). Is (0 + -1)/((-2)/y) a multiple of 3?
False
Let r = 14 + -126. Let y = -34 - r. Is 13 a factor of y?
True
Let p = -10 + 6. Is 9 a factor of p/14 - (-368)/14?
False
Let w(l) = 5*l + 5. Let x(u) = -1. Let c(f) = w(f) + 2*x(f). Does 10 divide c(3)?
False
Is (-156)/(-16) - 2/(-8) a multiple of 10?
True
Let l be (4/10)/((-1)/(-10)). Suppose -24 - 88 = -l*u. Is u a multiple of 7?
True
Let f(s) = -s**3 - 6*s**2 - 3*s + 6. Is f(-6) a multiple of 12?
True
Let x be (-2 + 9/6)*62. Suppose -3*f + 2*l + 137 = -0*l, 5*f - 5*l - 225 = 0. Let c = x + f. Does 16 divide c?
True
Suppose 4*o - 475 = -7. Is 26 a factor of o?
False
Let k be -2 + 0 + 1 + 3. Suppose -y + 0 = -k. Is 88/(-12)*(-15)/y a multiple of 25?
False
Let i = 6 - 3. Suppose 0 = 2*o - i*o. Suppose -3 + o = -z. Is 3 a factor of z?
True
Is 7*(-3 + (0 - -4)) a multiple of 2?
False
Suppose 1050 = -3*m + 9*m. Is 7 a factor of m?
True
Let o(s) = s**3 - 6*s**2 + 6*s - 1. Let m be o(5). Suppose -m*t + 64 + 24 = 0. Is 11 a factor of t?
True
Let x = 18 + -4. Is 8 a factor of x*2/4 + 4?
False
Let x(w) = -w + 7. Let m be x(7). Suppose m = -3*c - j + 15, -6 + 0 = -2*c - 2*j. Is c a multiple of 3?
True
Does 14 divide 28 + 3 - (0 + -6)/(-2)?
True
Does 16 divide (-15)/6*(-128)/10?
True
Suppose 106 = 3*o + a, -10 = 7*a - 2*a. Does 36 divide o?
True
Let i be 57*1 - (4 + -5). Suppose 5*g = -238 + i. Is 4 a factor of ((-1)/(-1))/((-6)/g)?
False
Let o = -22 + 114. Is 19 a factor of o?
False
Let g = 9 + -5. Suppose -f - 42 = -g*f. Does 9 divide f?
False
Let a(h) = -h**3 + 13*h**2 - 11*h + 18. Is a(12) a multiple of 13?
False
Suppose -5*x + 1000 = 2*i + i, 0 = 5*i. Is x a multiple of 10?
True
Let q be (-3 - (-16)/(-12))*-12. Is 10 a factor of (-12)/(-4 - q/(-16))?
False
Let f be (-4)/3*(-18)/12. Let s = 8 - f. Let l(h) = h**2 - 3*h - 4. Does 14 divide l(s)?
True
Suppose -w = -3*i + 5, 6*i - 4*w = i + 20. Let t be 32/(-6)*(-9)/4. Suppose t = -i*m + 3*m. Is m a multiple of 4?
True
Suppose -2*p + 81 = -263. Is 11 a factor of p?
False
Is 13 a factor of (-1215)/18*6/(-5)?
False
Is 20 a factor of 252 + (-8)/2 + -4?
False
Let h = 14 + 17. Does 16 divide h?
False
Suppose 17*v = 10*v + 1155. Does 15 divide v?
True
Let t(y) = -y**3 - 6*y**2 - 11*y - 6. Let i(h) = 4*h**3 + h**2 + h. Let s be i(-1). Does 6 divide t(s)?
True
Suppose -5*u + 2*u = 3. Is (-12 + -10)/(1/u) a multiple of 11?
True
Let c(h) = -12*h**3 + 2*h + 1. Let s = 12 - 13. Does 11 divide c(s)?
True
Let b = -21 - -37. Does 12 divide (b/10)/(6/90)?
True
Let f = 6 - 5. Does 18 divide (f - -1 - 1)*30?
False
Let t be (3 + 35)*(-1)/(-1). Let d = 54 - t. Is d a multiple of 7?
False
Let c(d) = -d**3 + 4*d**2 - 2*d + 1. Does 12 divide c(-3)?
False
Let n(o) = -o**2 + 29*o - 4. Does 34 divide n(13)?
True
Let z = -9 - -15. Is 2 a factor of z?
True
Let w = 1 - -6. Suppose 3*j = 2*c + 11, -c + 0*j = j - w. Suppose 9 = 3*f, -3*f = 2*l - c*f - 31. Does 7 divide l?
True
Let a be (-4)/22 - (-4)/22. Suppose a = 3*i - 5 - 34. Is 13 a factor of i?
True
Suppose 3*y - 5*u - 315 = -2*y, 4*u - 210 = -3*y. Is 22 a factor of y?
True
Let m(o) = o + 8. Let h be m(-6). Is -3*((-44)/6)/h a multiple of 3?
False
Is (-3)/6*1*(-110)/5 a multiple of 2?
False
Let c = 19 + -13. Let n = 7 + c. Is n a multiple of 4?
False
Suppose -62*v + 1275 = -59*v. Is v a multiple of 18?
False
Suppose 0 = 4*a + 3*x - x - 358, x = -a + 88. Is a a multiple of 33?
False
Suppose 0 = 4*d - l - 1082 + 293, 9 = 3*l. Is d a multiple of 8?
False
Let n(r) = 4*r**2 + 2*r + 1. Let b be n(-1). Let h be (-1640)/(-12) - (-1)/b. Suppose 2*m + 35 - h = 0. Does 22 divide m?
False
Let g be 4/(2*(-3)/(-81)). Suppose -g = -k + 70. Is 10 a factor of (-6)/9 - k/(-6)?
True
Let o be 2 - (-2)/(4/2). Let a = 5 + o. Does 4 divide a?
True
Suppose 4*b = 6*b + 6. Let i be (b/1)/(3/(-2)). Is (-22)/i*(-2 - 0) a multiple of 15?
False
Let m = 10 - -7. Is m a multiple of 2?
False
Let g be ((-185)/(-20))/((-1)/(-4)). Let c = -23 + g. Is 14 a factor of c?
True
Let y = 68 + -55. Is 13 a factor of y?
True
Let g be (9/(-4))/(1/48). Let r = -63 - g. Let u = -29 + r. Is u a multiple of 5?
False
Suppose 28*l - 610 = 23*l. Is 61 a factor of l?
True
Let n(k) = k**3 + 5*k**2 - k - 4. Let i be n(-5). Let u = 3 - 4. Is 12 a factor of 12 + (i - u) + -2?
True
Let d be -1 + 40/((-4)/2). Let g = d + 31. Does 6 divide g?
False
Suppose -4*a - 11 = 5. Let y(d) = -4*d**2 + d - 3. Let t(w) = -11*w**2 + 2*w - 9. Let h(s) = -3*t(s) + 8*y(s). Does 11 divide h(a)?
True
Let c = -6 + 8. Suppose -c*z + 12 = 2*z. Suppose 4*a - 7 = z*a. Is 5 a factor of a?
False
Suppose 0 = 2*x - g - 182, -g + 3 = 7. Does 19 divide x?
False
Let t = -101 + 167. Suppose 2*z - 4*z + t = 0. Is 11 a factor of z*(-1 - 10/(-6))?
True
Suppose 3*m = 12, i = -4*m + 28 + 38. Is i a multiple of 10?
True
Suppose 0 = 5*c - 5*l + 30, 2*c + 3*l - 4 = -1. Let y = -48 - -25. Is 23 a factor of (c - -2)/(1/y)?
True
Let w(b) = -b + 8. Suppose 21 = 3*g - 12. Let y be w(g). Does 25 divide y/(-6) + (-297)/(-6)?
True
Let b be (-3)/12 + (-21)/(-4). Suppose 9 = b*o - 2*o. Suppose 2*q + 3*d - 33 = 0, q = -2*q + o*d + 87. Does 8 divide q?
True
Suppose -143 = -4*t - 7*t. Does 3 divide t?
False
Let c = 3 - 0. Let v = 8 - c. Is v a multiple of 5?
True
Let c(r) be the third derivative of r**5/60 + r**4/3 + r**3/3 - r**2. Let o be c(-8). Suppose -2*z = 0, -18 = x - o*x - z. Is x a multiple of 9?
True
Let c(y) = 2*y**2 + 2*y - 1. Let u be c(-2). Let f be 1/((-1)/(-1))*u. Does 3 divide ((-4)/(-6))/(f/27)?
True
Suppose -10*q - 63 = -13*q. Suppose k - q = -4. Is 17 a factor of k?
True
Suppose -152 = -3*a - 4*w + 156, 0 = 3*w + 12. Suppose 0 = 5*x + 3*h - 108, 4*x - 4*h = -h + a. Does 14 divide x?
False
Let v be (59/(-3))/(3/(-9)). Let x = -24 + v. Is 11 a factor of x?
False
Suppose 2*f = 24 + 10. Let l = -12 + f. Is 3 a factor of l?
False
Let g = 26 - -118. Does 16 divide g?
True
Let g = 29 + 42. Let x(i) = -2*i - 6. Let c be x(8). Let q = c + g. Is 22 a factor of q?
False
Suppose -s + 24 = 2*s. Suppose -4*d + s = 5*o - 18, -5*d = -20. Let t(l) = 6*l - 1. Is 4 a factor of t(o)?
False
Suppose 7*i = 4*i - 12. Is 7/(i/((-8)/2)) a multiple of 2?
False
Let l(i) = 2*i - 20. Is 9 a factor of l(17)?
False
Let p(g) = 2*g**2 - 11*g - 1. Suppose 3*k + 2 + 13 = 0. Does 26 divide p(k)?
True
Let f be (4/(-2))/(-2 + 4). Let q(b) = 11*b**2 - 13*b + 2. Let n(u) = -u**3 + u**2. Let y(c) = f*n(c) + q(c). Is y(-11) a multiple of 8?
True
Let d = -18 - -11. Let h = d - -23. Does 13 divide h?
False
Is ((-4)/6)/(2/(-321)) a multiple of 7?
False
Let m(x) = -x**2 + 4*x - 1. Let o be m(3). Let a = 4 - o. Is (a - -12) + 1 + 1 a multiple of 8?
True
Let f(b) = -b**2 - b - 5. Let p be f(0). Let r = p - -7. Suppose -5*z - 3*h + 110 = 0, 44 = r*z + h - 4*h. Is 20 a factor of z?
False
Suppose 2*o = -0 + 4. Suppose -h + o*a + 27 = -3, 138 = 5*h - 4*a. Suppose 2*v + 2*c - h = -0*v, -3*c + 12 = 0. Does 9 divide v?
True
Let u(o) = 4*o - 9. Let m be u(6). Is 2/10 + 222/m a multiple of 15?
True
Let d = -138 + 207. Is 11 a factor of d?
False
Let a(q) = 2*q**3 - 4*q**2 + 1. Let y be a(4). Suppose -2*p = -5*g - 89, -p - g + 107 = p. Suppose 5*x - i = p + 106, -2*x + y = -i. Is x a multiple of 14?
False
Let i(p) be the second derivative of p**3/6 - p**2/2 + p. Is 3 a factor of i(9)?
False
Suppose 0 = 4*b 