2. Is 12 a factor of p?
True
Suppose 0 = -108*v + 105*v + 6. Let n(w) = w**3 - 3*w**2 + 5*w. Let a(k) = -2*k**3 + 4*k**2 - 6*k - 1. Let m(j) = -3*a(j) - 4*n(j). Is 12 a factor of m(v)?
False
Let n = 735 + 1492. Is 13 a factor of n?
False
Suppose -p - 4 + 8 = 0. Suppose -2*l - o + 1182 = 2*l, -p*o + 1176 = 4*l. Is 12 a factor of ((-4)/(-16))/(2/l)?
False
Suppose -r - 795 = -2*d, d + 165 - 552 = 4*r. Let l = d - 223. Does 11 divide l?
True
Suppose 0 = -5*t + 8*t - 72. Does 12 divide t?
True
Let m be (24/9 - 2)*9. Suppose 3*a - 6*a + m = 0. Does 7 divide 4/(a - 7/4)?
False
Is 2 a factor of (-8008)/(-70) + (-6)/(-10)?
False
Let m = 1883 - 795. Does 93 divide m?
False
Suppose -4*p = 2*y - 9 - 9, 0 = 5*y + 5*p - 35. Suppose -y*l = -8*l + 558. Does 13 divide ((-1)/3)/((-2)/l)?
False
Let u be (-242)/(-5) - 2/5. Is ((-24)/32)/((-2)/u) a multiple of 9?
True
Suppose -8*t = 52 - 36. Let g(l) = -36*l - 13. Is g(t) a multiple of 8?
False
Suppose 28*y + 4450 = 33*y. Does 89 divide y?
True
Is 17 a factor of (-1 + 3/1)*(-7701)/(-34)?
False
Suppose a = -4*c + 328, c = -a + 6*c + 373. Is a a multiple of 44?
False
Suppose 38*c = 22*c + 37392. Is c a multiple of 41?
True
Let j(p) = 5*p**3 + 4 + 0 - 3*p**3 - 3*p**3 - 3*p**2. Let o be j(-3). Suppose -5*r - 31 = -t, 2*t + o*r - r = 23. Is 8 a factor of t?
True
Let x(t) = -23*t + 5. Let g = 48 + -49. Is x(g) a multiple of 4?
True
Let a(q) = q**2 + 12*q + 6. Let c be a(-12). Is (-10094)/(-63) - c/27 a multiple of 11?
False
Let w(t) = 2*t**2 + t - 3. Let u = -2 + -1. Let o be w(u). Suppose -3*s = -36 + o. Is s a multiple of 4?
True
Let d(x) = -4*x**2 - 3*x + 15. Suppose 5*k = 2*k + 15. Let y(t) = -7*t**2 - 7*t + 30. Let l(m) = k*d(m) - 3*y(m). Is l(-11) a multiple of 10?
True
Is (-19940)/(-105) - 14/(-147) a multiple of 10?
True
Does 21 divide -21*(1 + -43)/3?
True
Let k(j) = 26*j - 230. Let b be k(10). Let m(i) = i**2 + i + 2. Let u be m(-5). Let d = b - u. Is 2 a factor of d?
True
Is -3 - (-5)/((-10)/(-158)) a multiple of 4?
True
Is 13 a factor of 6*((6 - 3025/(-15)) + -4)?
True
Suppose -22 - 38 = 4*m. Let o(a) = a**2 + 15*a + 4. Is o(m) a multiple of 4?
True
Let p(f) = -f**2 - 15*f - 28. Let m be p(-14). Let a = m - -37. Is a a multiple of 5?
False
Suppose 5207 - 503 = 6*l. Is l a multiple of 16?
True
Suppose 4 = -4*y, 0*f - 5*y = f - 169. Let k = f - 48. Does 21 divide k?
True
Let r be ((-6)/(-4))/(3/242). Suppose 5*z = 3*n + 404, -4*z = -n - r - 205. Is z a multiple of 27?
False
Let i = 2859 + -4269. Is i/(-27) - 2/9 a multiple of 26?
True
Let o(b) = 22*b**3 - b + 44*b**3 + b**2 - b + 1 + 0*b**2. Is o(1) a multiple of 33?
True
Let x be (-2)/(-14) - (-4404)/42. Let d = -46 + x. Is d a multiple of 21?
False
Let d = 12 - 4. Suppose -7 = -5*r + d. Suppose 5*v = r*z + 330, 2*z + 267 = 4*v - z. Is 14 a factor of v?
False
Let j(y) = -y**2 + 4*y + 26. Let x be j(7). Suppose 0 = 18*a - x*a - 156. Is a a multiple of 4?
True
Let s(f) = f**2 + 2*f - 187. Does 13 divide s(-29)?
False
Let z be 3 - 1 - (-15 + 14). Suppose -5*p = 4*l + l - 165, 15 = z*p. Does 9 divide l?
False
Let p = -23 - -26. Suppose -9 = -3*k - 3*b, 0*k - k = -p*b - 11. Suppose 3*i + 3*x = 5*x + 130, -k*i + x = -226. Is i a multiple of 20?
False
Let k = 12 - 13. Is ((-18)/12 - k) + 109/2 a multiple of 6?
True
Suppose -3*r = -5*l + 2409, -1441 = 2*l - 5*l + 4*r. Is 18 a factor of l?
False
Suppose 0 = -d + h + 33, -43 = -d + 9*h - 6*h. Is d a multiple of 14?
True
Suppose 21 = 2*o - 67. Suppose 3*g - 2*g = o. Is g a multiple of 11?
True
Suppose 2*p + 2*i = 2972, 2957 = 2*p - i - 0*i. Is p a multiple of 24?
False
Let w be 38 - (3 + 21/(-3)). Suppose v = -v + w. Is -4 - (0 + -1 - v) a multiple of 6?
True
Let o(z) = 0*z + 5 + 3*z + 10 - 4*z. Let n be o(12). Suppose -56 = n*w - 149. Does 10 divide w?
False
Suppose 3*z - 4*d = -0*d + 400, d - 5 = 0. Does 4 divide z?
True
Let l(z) = -16*z + 15*z - 3*z**3 - 1 + z**2 - 1 + 0*z**2. Let d be l(-2). Does 20 divide d*(3 + -2) + 3?
False
Let m(i) be the second derivative of 19*i**4/12 + i**3/6 + i**2/2 - 6*i. Let n be m(-1). Is n/4*4/1 a multiple of 19?
True
Suppose 0 = 3*z - 67 + 19. Suppose 12*f - z*f + 244 = 0. Is 8 a factor of f?
False
Is ((-1)/3)/(2/(-2946)) a multiple of 41?
False
Let q be (-4)/(-8) + 6/4. Is 13 a factor of -2 + (1 - 0) - (-270)/q?
False
Suppose 5*j = -2*z - 13, -5*z - 23 = 4*j - j. Let q be (-100)/j + -13 + 12. Is (-3)/(3 - q/32) a multiple of 11?
False
Let m(h) = 26*h**2 + 8*h + 23. Is 7 a factor of m(-5)?
False
Let q(r) = -r**3 + r**2 + 6*r + 590. Is q(0) a multiple of 86?
False
Is (3620/8 - 2) + 9/6 a multiple of 4?
True
Let h(j) = -18*j**3 - 4*j**2 - 63*j - 183. Does 76 divide h(-3)?
True
Suppose 4*p - j - 59 - 24 = 0, -88 = -4*p - 4*j. Is p a multiple of 10?
False
Suppose 3*c - 5*c - 5*r = 0, 3*c - 17 = r. Suppose -4*l = 3*k - 77, -5*l - 2*k + 86 = -5. Is 11 a factor of (l/c)/(2/10)?
False
Let d be (-7)/(140/(-8)) + 2263/5. Let h = -213 + d. Is h a multiple of 40?
True
Suppose -79 = 2*g - 19. Let q be g/42 - (-2)/(-7). Does 2 divide 0 + 3 + (1 - q)?
False
Let a be (-6)/((-4)/8*4). Suppose -2*s + a*j = 1 + 1, -5*s + 29 = j. Let p = 2 + s. Is p a multiple of 5?
False
Let o(c) = 232*c**2 - c. Let g be o(4). Suppose 15*j + 543 = g. Is 50 a factor of j?
False
Let i = -28 - -40. Let z be i/(-8)*(-8)/3. Is 11 a factor of 1/(-2) + 222/z?
True
Let g(j) = -109*j + 97. Does 69 divide g(-18)?
False
Let z(h) = -16*h + 64. Let s be z(4). Suppose -8 = -2*l + u, -3*l = -0*l + u - 7. Suppose 3*v + s*v + 438 = l*b, -4*b = v - 569. Is b a multiple of 24?
False
Does 5 divide ((-220)/(-3))/(8/24)?
True
Let q(r) = -35*r - 7. Suppose z + 6*f - f - 7 = 0, -1 = -2*z + 3*f. Let o(n) = -18*n - 3. Let i(t) = z*q(t) - 5*o(t). Is 27 a factor of i(5)?
False
Let v(k) = k**2 - 10*k + 14. Let b be v(7). Does 20 divide (-2)/(-4) + ((-1113)/2)/b?
True
Suppose 0 = -41*w + 43*w - x - 520, -x - 1300 = -5*w. Does 52 divide w?
True
Let k(m) = m**2 + 3*m - 4. Let c be k(-3). Let a(d) = 2*d**2 - d + 4. Let b be a(2). Is 3 a factor of c/b - 68/(-20)?
True
Let s(h) = -h**3 + 6*h**2 + 29*h + 9. Let z be s(9). Let b = -10 + 17. Let m = z - b. Does 7 divide m?
False
Suppose -5669 - 1646 = -11*q. Is q a multiple of 5?
True
Suppose 6*x - 4*x = 1288. Is 46 a factor of x?
True
Suppose -4*b + 2*a + 678 = 0, a = -2*a - 9. Is b a multiple of 7?
True
Let n(d) = d**3 - 7*d**2 - 7*d - 8. Let z be n(8). Suppose z = -4*j + 2*j + 32. Suppose 0 = m - 28 - j. Does 11 divide m?
True
Let y(a) = a**2 + 16*a + 8. Let k be y(-18). Let m = k + -33. Does 9 divide m?
False
Let y = 19 + -15. Suppose -v - 2*l - 3 = -y*l, -3*v + 5*l = 5. Let b = v - -14. Does 12 divide b?
False
Let s(w) = -w - 6. Let b be s(-6). Let g = b + 18. Let t = 38 + g. Is 14 a factor of t?
True
Suppose -4*m = -g - 17 + 4, 3*m - 14 = 5*g. Let u(p) = -m + p + 0*p - 2*p. Is 6 a factor of u(-9)?
True
Suppose 4*b - 6237 = -l + 216, 0 = 4*b - 4*l - 6428. Is b a multiple of 13?
True
Let q(n) = n**2 + 3*n + 6. Let r(j) be the first derivative of 5*j**2/2 - 2*j + 6. Let l be r(-1). Does 25 divide q(l)?
False
Let s = -406 - -702. Let a = s + -204. Let b = a + -45. Is 10 a factor of b?
False
Suppose -b + 412 = 122. Suppose -5*v + 0*v = -b. Is (3 + v/(-10))*-10 a multiple of 7?
True
Let f = 109 - -221. Does 8 divide f?
False
Let n(a) = 2*a - 10. Let c be n(6). Is 28 a factor of c - (6 + -3 + -85)?
True
Let p(o) = -o**2 - 19*o - 34. Let i be p(-17). Suppose 3*u + 5*s - 35 = 0, -2*s + 0*s - 10 = i. Does 5 divide u?
True
Let z(u) = u**2 - 6*u - 7. Let k be z(6). Let q be k*(4/7)/(-2). Suppose -5*f - 42 = -h + 16, q*h = 4*f + 92. Is h a multiple of 19?
True
Suppose 0 = 2*v + 13 - 3. Let o(m) = m**2 - 2*m + 3. Is o(v) a multiple of 19?
True
Suppose 0 = u + 5*n - 168, -6*u - 396 = -8*u + 2*n. Is u a multiple of 7?
False
Let d be (2*10)/((-16)/(-10) - 2). Does 43 divide ((-80)/d)/((-4)/(-130))?
False
Suppose -4*h + 8 = -0*h. Let s be (-4)/(-3)*39/h. Is 1*20 + s/(-13) a multiple of 9?
True
Let s(b) = -b**3 + 5*b**2 - 6*b + 2. Let d be s(3). Suppose -d*l + 3*c + 16 = 0, 4*l - l = 4*c + 24. Is l a multiple of 2?
True
Does 44 divide -304*(8 + -6)*-1?
False
Let v = 134 - -144. Is 21 a factor of v?
False
Let r = -46 - -58. Suppose -8 = r*a - 344. Does 14 divide a?
True
Suppose -4*u = -p - 29, -4*u + 3 = -5. Let i =