0*f. Let i(s) = -14*s - f + 6*s + 3*s**2 - 11*s - 4*s**2. Is 11 a factor of i(-11)?
False
Suppose 2*z = 0, -x = -4*z - z - 198. Suppose -616 = -2*j + x. Does 11 divide j?
True
Suppose 0 = -11*o + 6*o - 235. Let b = o - -49. Suppose 0 = b*g - 2, 5*g - 101 = -3*j + j. Is 24 a factor of j?
True
Let t be (19 + -25)/(((-15)/182)/(-5)). Let w = 754 + t. Does 39 divide w?
True
Suppose 17*o - 126834 = 69754. Is 28 a factor of o?
True
Let q be (-1 - (3 + -2)) + 2. Let a be 46/(-2 + (q - -4)). Suppose 0 = -a*m + 27*m - 220. Does 11 divide m?
True
Let h(r) = 6*r**2 + 69*r - 6. Suppose f - 16 = b, b + 21*f + 4 = 18*f. Is h(b) a multiple of 77?
False
Suppose -133 = -3*f - 4*f. Suppose 0 = 2*h + f*h - 3696. Does 20 divide h?
False
Suppose -22*d + 20*d - 18 = -5*b, 0 = -4*d + 4. Suppose -2*c - 273 = -l, l - b*c - 275 = -c. Does 27 divide l?
False
Is 60 a factor of 1925 - ((-3)/1)/(81/(-135))?
True
Let t(r) be the second derivative of 7*r**3/3 + 3*r**2 + r. Let y be t(1). Let c = y - -31. Does 9 divide c?
False
Suppose -4*g + 4*h + 1088 = 0, -4*h + h = g - 284. Does 55 divide g?
True
Let q be (0 - (-3)/6)/((-2)/(-716)). Suppose q = c + 1. Is (6/1)/(-6) + c/2 a multiple of 8?
True
Let q = 119 + 9. Suppose 0 = -3*l - 2*y + 229, 4*l - 4*y = 164 + q. Does 15 divide l?
True
Suppose 135*c - 33*c - 54*c = 229728. Is c a multiple of 19?
False
Suppose -3*p = 5*w - 67780, 5*p = -4*w - 1769 + 114714. Is 177 a factor of p?
False
Let b(s) = 131*s**3 + 7 - 3*s**2 - 132*s**3 - 3*s**2 + 5*s + 4*s**2. Let f be b(-5). Let t = f + -9. Is t a multiple of 6?
True
Let k(w) = -w**2 - 10*w - 13. Let y be k(-8). Suppose -y*n = -6*n + 30. Suppose -n*v + 444 = -7*v. Does 28 divide v?
False
Let g be ((-108)/(-63))/(2/7). Let k = g + 7. Is 11 a factor of (k - 16) + (-132)/(-2)?
False
Let y(j) = 798*j + 24. Does 10 divide y(2)?
True
Suppose -11 = -4*k + 13. Suppose 5 - 11 = k*h. Is 2 a factor of h/((-5)/(30/3))?
True
Let x(k) = -20*k - 6. Let j(q) = -q**3 + 3*q**2 + 5*q + 3. Let p be j(4). Suppose 3*u = p*u + 24. Does 38 divide x(u)?
True
Let f = 2990 - -5999. Is 89 a factor of f?
True
Does 11 divide (442 + -15897)/((-5)/3)?
True
Suppose 214 = -4*w - 2*o, 2*w = -0*w + 4*o - 102. Let l(c) = -c**3 - 55*c**2 - 109*c + 58. Is 7 a factor of l(w)?
True
Let i = 137 + 971. Is i a multiple of 2?
True
Suppose -48*v = 41*v - 13*v - 2763360. Is v a multiple of 46?
False
Let l = -86 + 90. Suppose -l*c + 1059 = c - 4*j, -c + 231 = 4*j. Is c a multiple of 20?
False
Let u(k) = 151*k**2 - 774*k - 8. Does 49 divide u(14)?
False
Suppose 7*w - 3*j = 3*w + 20, -3*w + 15 = -5*j. Suppose -9 = 4*r - 4*y - 21, 0 = r - w*y + 1. Suppose 5*h + 111 = 3*o, 0 = -4*h - r - 8. Is 25 a factor of o?
False
Let t = -123 - -187. Suppose -2*h = 4*v - 126, -10*v + 282 = 4*h - 12*v. Let c = h - t. Is 2 a factor of c?
False
Suppose -72*d + 191009 = -253015. Is 111 a factor of d?
False
Suppose d + 3*p - 2124 = 0, -273*p + 272*p + 10704 = 5*d. Does 54 divide d?
False
Suppose -7*n = 27610 - 1346. Is 1/((3 - 10)/n) a multiple of 83?
False
Let s(d) = 12858*d**3 - 2*d**2 - 87*d + 89. Is s(1) a multiple of 59?
False
Suppose q + 113 = -3*r - 235, -5*q = -4*r + 1759. Let y = -311 - q. Is 5 a factor of y?
True
Let w be 7/(1/1) - 7. Let l(t) = t**3 + 2*t + 759. Is 17 a factor of l(w)?
False
Let c(y) = -y**3 - 17*y**2 - 8*y - 41. Let p be c(-17). Suppose 836 = 7*i - p. Does 22 divide i?
False
Let s = -29 - -31. Suppose -3*h = -s*h - 402. Suppose -2*f + h = 3*k, 970 - 188 = 4*f - 5*k. Is f a multiple of 16?
False
Let s be 1496/(-40) + (24/(-15))/(-4). Let a = 39 + s. Suppose 0 = 2*d, -a*g - d + 372 = d. Is g a multiple of 32?
False
Let a(m) = 3*m - 12. Let x be a(4). Suppose -2*b + 5*q + 59 = x, 2*q + 64 - 3 = 3*b. Is b - (-1)/(-2 - (-9)/6) a multiple of 4?
False
Suppose -430*x + 161184 = -422*x. Does 23 divide x?
True
Let q(c) = -14*c**2 - 9*c + 8. Let s be q(1). Let y be 84*(s/(-12))/(3/6). Suppose -6*p = 4*o - 3*p - 215, -4*o = -2*p - y. Is 9 a factor of o?
False
Let q be -3 - 18/(-12)*(-8)/(-3). Let v(c) = -6*c - 11. Let p be v(7). Let g = q - p. Does 9 divide g?
True
Let s(a) = a**2 - 32*a + 2938. Does 3 divide s(86)?
False
Suppose 4*g - 900 - 485 = 5*z, -4*z = 4. Let o = g + -37. Is o a multiple of 14?
True
Suppose -2 = -3*l + 13. Suppose 0 = l*r + 4*h - 16, 3*r - 5*h + 13 = -7. Suppose r*z + 420 = 3*z. Is z a multiple of 16?
False
Suppose 25*t - 200 = 33*t. Is (-10)/t + (-6918)/(-30) a multiple of 14?
False
Let x = 52 + -2029. Let i = -859 - x. Is 81 a factor of i?
False
Let d be ((-20)/(-9) - 6/27)*-3. Is 13 a factor of d/((21/(-234))/7)?
True
Suppose -5*n - 2*w + 127 = 0, 2*n = 3*n - 5*w - 47. Suppose -2*f - n = -5*f. Suppose -20 = -f*r + 8*r. Is 10 a factor of r?
True
Suppose 240*n - 251*n + 66055 = 0. Is n a multiple of 68?
False
Let h(v) = -v**2 - 8*v - 5. Let x be h(-7). Suppose 0 = -0*c - x*c - 134. Is -4 + 3 - c*1 a multiple of 6?
True
Let c = -612 - -620. Suppose -q + 3*l + 411 = 0, -2*q - c*l = -9*l - 812. Is q a multiple of 7?
False
Let k(z) = z**2 + 2*z + 3. Let u be (-525)/70 - 1/2. Is k(u) even?
False
Suppose 0 = 3*i - 3*s - 51, 5*i + 0*s = -4*s + 40. Suppose -3*p - i = 3, 3*w - 85 = -4*p. Suppose 5 + w = t. Does 5 divide t?
True
Let g = 4913 - 2837. Suppose -a - 12*y = -15*y - 532, -4*a = y - g. Is 8 a factor of a?
True
Let c = 1202 + 5507. Does 11 divide c?
False
Suppose 0 = 2*r + 2*r - r. Suppose -19 = -4*t + 2*t - 3*b, -2*t - 2*b + 14 = r. Is t a multiple of 2?
True
Suppose 0 = 3*a - 2*s - 38072 - 17748, -5*a - 5*s + 93000 = 0. Is 26 a factor of a?
False
Suppose -21*u + 26*u - 195 = 0. Let d = 41 - u. Suppose 2*q - d*b = 3*q - 44, -q + 79 = -5*b. Is 9 a factor of q?
True
Suppose -64567 + 126695 = -29*n + 583838. Is 35 a factor of n?
True
Let f = 2894 + -1889. Suppose 132*k = 127*k + f. Is 30 a factor of k?
False
Suppose -4663 - 15258 = -11*u. Does 7 divide u?
False
Suppose j - 4*u - 79 = 0, -246 = -2*j - 5*u - 23. Let b = j + -142. Let i = b + 65. Is 7 a factor of i?
False
Suppose 16 = 4*s, -3*s + 22 = 2*v + s. Let d(c) = -3 + 24*c**2 - 20*c - 2*c**2 + 19*c. Does 42 divide d(v)?
False
Let h(g) = g - 2. Let n(c) = -c + 3. Let r(b) = 7*h(b) + 6*n(b). Let m be r(-2). Suppose -558 = -m*y - y. Does 31 divide y?
True
Suppose 36 = 6*q - 330. Suppose -q = -4*r + 39. Let v = 28 - r. Does 2 divide v?
False
Suppose 0 = -434*g + 427*g + 12733. Does 47 divide g?
False
Does 80 divide 4104/45*600/18?
True
Let c(k) = 11*k**2 - 2*k + 29. Let m be c(4). Suppose j + 2*d = 12 - m, -4*d + 535 = -3*j. Let z = j + 307. Does 9 divide z?
True
Let w = 1284 + -589. Suppose -11*i + w = -273. Is i a multiple of 4?
True
Let d be (-402)/27 + 3 - 3/27. Let f(q) = q**3 + 11*q**2 - 14*q + 48. Does 6 divide f(d)?
True
Let m = -27573 + 84165. Does 72 divide m?
True
Let w(q) = 87*q**3 + 3*q**2 + 5*q - 18. Does 100 divide w(2)?
True
Let r = -25 - -34. Let o be 3/(r/73)*3. Suppose 4*f - 39 = o. Is f a multiple of 14?
True
Let s(q) = 8*q + 443. Suppose a + 4*z + 4 = 0, 4*a - z = -4*z - 81. Is s(a) a multiple of 13?
False
Let l = -31 + 35. Suppose 5*y - 1 = 4*n + 9, -4 = -2*y + l*n. Does 10 divide (-4 + -26)/(y - 3)?
True
Let l = -92 - -71. Let c be (-6)/l - (326/14 + 2). Let a = c - -37. Is a a multiple of 3?
True
Let k be 3/3 + -6 - (-30)/3. Suppose 2*w - 3*m - 1117 = 0, k*w + 0*m - 2*m = 2765. Is w a multiple of 29?
True
Let x be (-19423)/(-21) + (-34)/(-357). Let s = x + 315. Is 31 a factor of s?
True
Let b(v) = 2*v. Let t be b(-1). Suppose 6*g - 12 = 3*g, -2*n - g = -34. Is (n/5 + t)*47 a multiple of 11?
False
Let q(n) = 2*n**3 + n**2 - 2*n. Let x be q(-2). Let u be 1*x*(-2)/8. Does 23 divide u + 2 + -4 + 47?
False
Let w = 66 + -60. Suppose 606 = -t + w*t + 4*h, 3*h = -3*t + 366. Is t a multiple of 8?
False
Let d(k) = -2*k**3 - 12*k**2 + 28*k + 198. Does 4 divide d(-15)?
True
Suppose -197*u + 195*u + 32 = 0. Suppose 0 = -12*w + u*w - 2296. Does 12 divide 2*5/40 + w/8?
True
Let k(g) = -g**3 + 5*g**2 - 48*g - 63. Is 141 a factor of k(-12)?
True
Let b be 71/(-2)*(1 - 3). Suppose 0*r + 99 = -3*r + 3*h, -2*h + 6 = 0. Let f = b - r. Is f a multiple of 18?
False
Suppose 0 = q + 3*v + 1, 0 = -4*q + 5*v + 17 - 4. Suppose 4*s + 17 = 2*o + 3, o + 9 = -q*s. Does 13 divide 6/s + (-2046)/(-12)?
True
Let s be (-2)/((-24)/8475) + (-2)/8. Suppose -s - 44 = -2*q. Do