-g**3 + 17*g**2 + 8*g - 55. Let u(m) = 14*m**2 - 2*m. Let q be u(-1). Is j(q) a multiple of 26?
False
Let n(u) = u**3 + 24*u**2 - 34*u - 55. Let d = -353 - -329. Is n(d) a multiple of 43?
False
Let n be (-6712)/32 - (0 - (-2)/8). Is 11 a factor of 1800/n*(-154)/4?
True
Suppose -7*m + 4*m + 801 = 0. Let n = 36 + m. Does 55 divide n?
False
Suppose -42449 + 7466 = -23*k. Is k a multiple of 12?
False
Let u = 6 + -4. Let x(m) = m**2 + 14*m - 120. Let h be x(-20). Suppose u*y + h*y = 52. Is 5 a factor of y?
False
Let d be -486*((-14)/(-3) - 7). Let x = d + -726. Does 17 divide x?
True
Suppose 6*l - 2283 - 1587 = 0. Let h = l - 417. Let q = 375 - h. Is q a multiple of 23?
False
Does 87 divide 20264 - (-7 - (-91)/(-26) - (-14)/4)?
True
Let u(g) = 631*g**2 - 21*g + 102. Is u(3) a multiple of 6?
True
Is (207/(-92))/((-1)/260) a multiple of 13?
True
Suppose -31*p + 2 = -32*p, -2*f + 5*p + 18 = 0. Suppose -f*q = q - 1870. Is 22 a factor of q?
True
Suppose 6*x - 685 + 247 = 0. Suppose -3*f - 1 = -i + 3, 0 = -f. Is 3 - (i - x)*1 a multiple of 19?
False
Suppose -3*s = -g + 3217, 70*g - 66*g + 4*s - 12900 = 0. Is 38 a factor of g?
False
Let n = -1784 + 9809. Is n a multiple of 25?
True
Let s(u) = u**3 - 2*u**2 - u - 1. Let k be s(3). Suppose 3*l = 3*j + 4*l - 179, 299 = k*j + l. Suppose -j = -3*a + 48. Is a a multiple of 18?
True
Let q be 3 + 3 + 4*(-3)/3. Suppose 2*l = -q*l + 64. Is l a multiple of 10?
False
Let n = 251 - 139. Does 2 divide n/21*(-81)/(-12)?
True
Let o be (-20481)/(-21) - -2 - 24/84. Is o + (-3 - (-13 - -8)) a multiple of 9?
False
Suppose -49*h = -12*h + 666. Does 33 divide (3/(h/(-4044)))/2?
False
Let k(b) = -2*b**2 + 14*b + 6. Let c be k(8). Let h = 57 + c. Is -4 + h + -3*1 a multiple of 10?
True
Suppose 0 = 5*m - 7*m - 32. Let f be ((-6)/12*-9)/(2/m). Is 27 a factor of (-1)/(-4) - 2907/f?
True
Let a(p) = 17*p**2 - p + 25. Let r be a(-7). Let j = r - 761. Is 26 a factor of j?
True
Does 160 divide 2*(-1)/12 - 5*(-24775)/30?
False
Let q(a) = a**3 - 7*a**2 + a. Suppose 0*i = 2*i - g - 12, 0 = 5*i - 4*g - 24. Let r be q(i). Suppose 10*b = 8*b + r. Is b a multiple of 17?
False
Let f(t) = -t - 7. Let r be f(-10). Suppose -p + 253 = -r*d + p, 0 = -4*d - 3*p - 326. Is 3/(6/8) - d a multiple of 7?
False
Let t be (-3)/21 + 72/14. Let p(c) = 14*c**3 - 13*c**2 - 3*c + 13. Let b(i) = -9*i**3 + 9*i**2 + 2*i - 9. Let m(x) = t*p(x) + 7*b(x). Is m(2) a multiple of 5?
False
Let j(a) = -14*a - 62. Let h be j(-34). Suppose -5*r + y = -2809, -4*y + h = r - 152. Is 75 a factor of r?
False
Let h = -8 + 12. Is 9 a factor of (-8 + -16)/(h/(-26))?
False
Let x(l) = 3*l**2 + 3*l**2 + 48*l - 24 - 4*l**2 - 3*l - 3*l**2. Is x(37) a multiple of 11?
False
Let a be 4 - 6/((-3)/(-1)) - 31. Is (a + 19)*(2 - 76/5) a multiple of 5?
False
Suppose -10*t + 985679 + 918461 = 135*t. Is t a multiple of 67?
True
Let s(v) be the first derivative of -3 - 1/4*v**4 + 3*v**3 - 5/2*v**2 + 12*v. Does 9 divide s(5)?
False
Suppose 7*w = 2*w - 25. Let q(y) = -4*y**2 - 5*y - 2. Let g be q(w). Let x = -25 - g. Is x a multiple of 8?
False
Let t be (4/(-10))/(12/(-120)). Suppose 3*j - 32 = t*w, -2*w = -4*w + 8. Suppose 0 = 14*l - j*l + 156. Is l a multiple of 13?
True
Suppose 26*i + 0*i - 2496 = 0. Suppose -15*c = -11*c - i. Is 8 a factor of c?
True
Let x be 2/(-12) - (-5024)/192. Let y = 40 - x. Suppose -118 = -y*i + 12*i. Is 19 a factor of i?
False
Let h(o) = 2*o**3 - 14*o**2 - 25*o - 94. Is h(10) a multiple of 32?
True
Let i = -5892 + 6180. Suppose -5*c + 0 = 4*r - 4, c + 16 = -5*r. Suppose -c*x = 2*x - i. Is 16 a factor of x?
True
Let y be 279/(-15) - 4/10. Let x be 3/((-6)/y)*(1 + 1). Suppose -63 = -2*c - x. Does 13 divide c?
False
Let o = 39 - -51. Suppose 3*u = -339 + o. Let m = u - -104. Is 9 a factor of m?
False
Let z(k) = -2*k**3 - 66*k**2 - 528*k + 141. Does 8 divide z(-38)?
False
Suppose 20*y + 3 + 17 = 0. Let q be (-2 + 2)/(-1 + 2)*y. Suppose q*l = g - l - 26, -4*g = 4*l - 88. Does 2 divide g?
True
Let l(n) = 2*n**3 + 2*n**2 - 3*n - 1. Suppose -6 = 4*t - o, 4*t + 6 = -3*o - 8. Let w be l(t). Let z(y) = -14*y - 19. Does 2 divide z(w)?
False
Suppose -3*w + 4 - 13 = 0. Let u = w + -15. Is 12 a factor of 18/21*(4 - 1 - u)?
False
Suppose z + 400 = 5*t - 705, 645 = 3*t + 3*z. Does 4 divide t?
True
Is 13 a factor of 88062/(-91)*(-9 + 2015/(-39))?
True
Let z = -34494 + 36258. Is 18 a factor of z?
True
Let w(a) = -a**2 - a - 1. Let o be w(0). Let m be -4 + -84 + 1 - o. Let n = -31 - m. Does 9 divide n?
False
Is 13 a factor of 94380/75 - ((-14)/(-10) + -2)?
False
Suppose -3*i + 2335 + 787 = -2311. Is i a multiple of 13?
False
Suppose -m + 2*h = m - 1440, 0 = -5*m + 3*h + 3604. Suppose y - 5*y + 296 = 2*c, 0 = -5*c - y + m. Is 43 a factor of c?
False
Let t(w) = 25*w - 313 + 89*w + 604 - 305. Is 20 a factor of t(1)?
True
Suppose 210*s - 240*s = -194400. Is s a multiple of 10?
True
Suppose -1221 = -3*p + 31170. Does 69 divide p?
False
Let q = 46 - 51. Let b(n) = -n**3 + n**2 - n - 1. Let s(k) = 6*k**3 - 7*k**2 + 7*k - 104. Let o(x) = q*b(x) - s(x). Does 11 divide o(0)?
False
Let l = -37 - -42. Suppose -q = 5*r - 36, l*q + r = -r + 295. Suppose 0 = -z - w + q, z + 244 = 5*z - 3*w. Does 22 divide z?
False
Let y(r) = -r**3 - 20*r**2 - 7*r - 23. Suppose -m = 2, -4*i + 3*m - 120 = 18. Let u = i + 16. Is y(u) a multiple of 41?
False
Let u = 244 + -266. Is 2 a factor of (u/(-7))/((-4)/(-28))?
True
Let h = -29 - 59. Let l = 147 - h. Is 27 a factor of l?
False
Suppose 2*p - 57 - 43 = 0. Suppose -i = 3*o - 5*i - p, i = -o + 26. Is 4 a factor of o/99 - 520/(-9)?
False
Let g = 278 - -352. Suppose -132*q - g = -134*q. Is 45 a factor of q?
True
Suppose 0 = 13*p - 15*p + 26*p - 334080. Is 6 a factor of p?
True
Let c(f) be the first derivative of 13*f**4/4 - 3*f**2 - 2*f - 25. Let x(g) = g**2 + g + 1. Let m(d) = c(d) + 3*x(d). Is m(1) a multiple of 2?
True
Suppose 4*l - 17 = -u + 564, -2*u = l - 154. Is l a multiple of 6?
True
Suppose 6*i + 9 + 33 = 0. Let g(p) = -3*p**2 - 12*p - 4 + 3*p**2 + 2*p**2 + 2. Is 20 a factor of g(i)?
True
Is 46 a factor of ((-699)/5)/(((-147)/3675)/(36/10))?
False
Suppose 60*j - 43*j = 12274. Suppose -n + 3*n - j = m, 4*n - 1444 = 4*m. Is 19 a factor of n?
True
Suppose -5*y + 272 = o, 3*o + 2*y - 744 = 5*y. Let c = 737 - o. Does 69 divide c?
False
Is 15 a factor of (12/(-14))/((-100)/5530)*(18 + 7)?
True
Suppose -3*y + 18 = 0, 2*o - 4*y - 223 - 539 = 0. Is 8 a factor of o?
False
Let t(k) = k**2 - 3*k - 70. Let h be t(-7). Is 5/((h + 8/(-14))/(-4)) a multiple of 5?
True
Suppose -16 = -12*v + 8*v. Suppose -2*x + 1050 = v*x. Suppose -x = -13*i + 8*i. Is 14 a factor of i?
False
Let v(q) = q**2 + 6*q + 19. Let z be v(-3). Suppose 0 = -5*m - 4*f + 2306, -9*m + z*m + 4*f - 458 = 0. Is 21 a factor of m?
True
Let k(c) = -c**3 + 14*c**2 + 15*c + 5. Let g be k(15). Suppose -2*o + 4*i = -214, -g*o + 2*i - 55 = -558. Does 11 divide o?
True
Let o(h) be the third derivative of -18*h**2 + 1/6*h**3 - 1/30*h**6 - 2/15*h**5 + 0*h - 1/6*h**4 + 0. Is o(-3) a multiple of 6?
False
Is 9 a factor of 4558/15 - 22/1155*-7?
False
Let y(u) = 2*u - 51. Let c be y(27). Let a be (c/(-12))/(((-2)/(-664))/(-1)). Suppose j = 5*b - 0*j - 81, -3*j - a = -5*b. Is b a multiple of 4?
True
Suppose -22420 = -14*y + 1548. Does 107 divide y?
True
Let l(i) = i**2 - 58*i + 106. Is l(61) a multiple of 29?
False
Let j = 151 - 144. Is 14 a factor of 1 - (-18 + j)*70?
False
Let v(a) = -1005*a**3 - 2*a**2 - 4*a - 2. Let z be v(-1). Suppose 4*d + 5*j - z = 0, -5*d + 2*j + 1423 - 208 = 0. Is 35 a factor of d?
True
Suppose -2*u = -3*k - 19287, 0 = -2*u + 2*k - 1019 + 20311. Is 7 a factor of u?
False
Suppose 0 = -2*z - 2438 + 328. Let o = -394 - z. Does 35 divide o?
False
Let o = 48431 + -13688. Is 111 a factor of o?
True
Let d(o) = -6*o**3 - 23*o + 7*o + 8 + 10*o**2 + 7*o**3 - 3. Does 18 divide d(-11)?
False
Is -5 + (27008/80)/((-2)/(-60)) a multiple of 10?
False
Let i(l) = l**3 - 7*l**2 + l - 9. Let o(x) = x**2 - 2*x - 1. Let s be o(-2). Let r be i(s). Is (((-6)/(-6))/r)/(1/(-42)) a multiple of 21?
True
Let u(t) = 2*t**3 - 9*t**2 - 7*t + 31. Let l be u(11). Suppose -3*y - 2001 = -3*z, -5*z + y = -1824 - l. Does 27 divide z?
False
Let j be 2*-365*(3 - (-33)/(-6)). Suppose -j - 263 = -8*f. Does 17 divide f?
False
Suppose 0 = -18*n + 1