/(-13) a multiple of 3?
True
Let k(f) = 11*f**2 - 86*f + 134. Is k(16) a multiple of 19?
False
Suppose 74 = 5*r + 4*k, -2*k = 12*r - 7*r - 72. Suppose -n + 2*j = -1717, -4*n - r*j + 6863 = -17*j. Is 73 a factor of n?
False
Suppose -9*t - 57 + 138 = 0. Is 2 a factor of -2 + 71 + -10 + t?
True
Let p(f) = -f**2 + 41*f + 352. Let r be p(49). Let h(a) = -12*a - 330. Is h(r) a multiple of 10?
True
Suppose 0*t + 3*t - 481 = -4*j, t = 3*j - 377. Let w = j - 23. Let v = 116 + w. Does 30 divide v?
False
Let l(b) = b**3 + 19*b**2 - 20*b + 6. Let k be l(-20). Suppose -y = -k*y + 2405. Is 23 a factor of y?
False
Let l be 4*((-36)/(-16) + -1). Is 4 a factor of (24 - l)/((-3)/(-3)) - -1?
True
Suppose -4*w + 3*o = -1520, -2*w + 3*o + 760 = 6*o. Is w a multiple of 38?
True
Suppose 2*i - 4*d = -6*d + 2938, -i = 3*d - 1477. Suppose -14*n + 3911 = -i. Is n a multiple of 64?
True
Let r be (-84)/(-10) + -4 - 15/(-25). Suppose -3*x - 3*z = -r*x + 1851, -5*x - 4*z + 4570 = 0. Is 51 a factor of x?
True
Let w(n) = 10671*n**2 - 213*n + 412. Is 82 a factor of w(2)?
False
Let l(q) = 3*q**3 - 15*q**2 - 12*q + 4. Let t(x) = -8*x**3 + 44*x**2 + 35*x - 11. Let f(a) = 11*l(a) + 4*t(a). Let r = -154 + 144. Is f(r) even?
True
Suppose 3*t = 5*x + 31, -4*x + 5*x + 11 = -t. Let o be (-6)/x - 54/(-24). Suppose -4*f - 22 = -2, -294 = -3*j - o*f. Is j a multiple of 19?
False
Let i = -25 + -3. Let d(l) = 2*l**2 - 34*l + 39. Let p be d(16). Does 9 divide (p/i)/(2/(-344))?
False
Let u(v) = -7*v**3 - 6*v**2 + 19*v + 35. Let c(f) = -11*f**3 + 71 - 4*f - 4*f**3 + 43*f - 11*f**2. Let h(s) = -6*c(s) + 13*u(s). Is h(-13) a multiple of 29?
True
Suppose 5*r = 2*h - 35, -5 = -2*h - 2*h - 3*r. Suppose 0 = -h*l + 5*m + 87 + 533, 5*m - 262 = -2*l. Is 63 a factor of l?
True
Let a be 12 + (-12)/2 + 0 + -1. Suppose -2*d + 0*s = 5*s - 2227, -a*d + 5542 = 4*s. Is d a multiple of 24?
False
Suppose 27 - 3 = i. Suppose -101 = -5*z + i. Is 5 a factor of z?
True
Let p be ((-3)/(-4))/(7 - (-2010)/(-288)). Is 27 a factor of (p/(-10))/((-22)/2860)?
False
Suppose 599767 = 155*b - 122223. Does 32 divide b?
False
Let s be (-5098)/(4/18 + 14/18). Let y be (-8)/36 - s/18. Suppose -2*c + c = 4*r - 359, -3*r + y = -2*c. Is r a multiple of 18?
False
Let m(g) = -19*g - 245. Let p be m(-12). Is 6 a factor of 26 + (8 + p - -16)?
False
Suppose 5*z = -3*r - 0*z - 14, -1 = 2*r - 5*z. Is r*(-6)/9 - 234/(-3) a multiple of 10?
True
Is 8/(-30)*1680/(-24)*4524/8 a multiple of 52?
True
Suppose -5*s = 2*c - 2, -s - 1 + 11 = 2*c. Let u be c/(-9) + 52/6. Suppose -u*l + 544 = -1224. Is l a multiple of 17?
True
Let s(u) = 2*u - 23. Let v(y) = -y**2 + 10*y + 7. Let a be v(10). Let x be s(a). Let k(g) = g**3 + 11*g**2 - 4*g + 22. Does 37 divide k(x)?
False
Suppose 3*n = 5*j + 792, 2*n - 29*j = -32*j + 528. Suppose s - 248 = -4*p, 4*p + 38*s = 33*s + n. Is p a multiple of 15?
False
Let x = -7 - -6. Let n be (-1)/x*-1 + 3. Suppose -4*z - n*q + 294 = 0, -q + 75 = 2*z - z. Does 11 divide z?
False
Let s(x) = 28*x**3 + 4*x - 1. Suppose -5*g = 0, 3*g - 2*g + 2 = w. Let u be s(w). Suppose 5*l = 16*l - u. Is 7 a factor of l?
True
Let c = -578 - -1973. Let s = c - 960. Is 15 a factor of s?
True
Suppose 0*o = 7*o - 280. Suppose c = -c + o. Suppose 3*w - c = 79. Does 4 divide w?
False
Let g = -8559 + 9612. Is 2 a factor of g?
False
Let g(a) = 3*a - 31. Let l = -7 - -30. Suppose -2*z = -y + l, 0 = 5*y - 2*z + 3*z - 71. Is g(y) a multiple of 7?
True
Suppose -5*y + 5990 = 3*n, -2*n - 1597 = -y - 399. Suppose -5*k - 1802 = -3*r - k, 2*k + y = 2*r. Is 22 a factor of r?
True
Let r be (-1)/(-4) - (-85)/(-20). Does 9 divide ((-3)/(-8)*r)/((-6)/104)?
False
Let i = 1520 + -829. Let k = 211 + i. Is 11 a factor of k?
True
Let t(u) = -u**3 + 2*u**2 + 33*u + 14. Let a be t(7). Let j(r) = 29*r**2 + 5*r - 4. Let s be j(-5). Suppose a = -11*z + 7*z + s. Is 18 a factor of z?
False
Suppose -7436 = 11*n - 31031. Is n a multiple of 33?
True
Suppose -18*w - 210 = -33*w. Suppose 0 = t - 3*t - 3*d + 5, -d = 4*t + 15. Let i = t + w. Is 3 a factor of i?
True
Suppose 4*t + t = -65. Let p(m) = -m**3 - 12*m**2 + 12*m - 11. Let n be p(t). Suppose 0 = 2*g - 0*g + 4*f - n, 0 = -2*g - 5*f - 1. Is 7 a factor of g?
True
Let o be (-96)/(-12) + -2*4. Suppose 11*s - 14*s + 3240 = o. Is s a multiple of 90?
True
Let c = 53 + -48. Suppose 3*r + 5*b + 262 = 9*b, 4*r + 339 = -c*b. Let w = 235 + r. Does 9 divide w?
False
Suppose -4 = 2*p - 6*p, -2*o - 5*p = -11. Suppose -3 = o*u - 0. Let c = 20 + u. Does 6 divide c?
False
Suppose -1607 = -o + 4*c, 4*o - 5*c = 2670 + 3714. Is o a multiple of 9?
False
Suppose -3*c + 7*c = 0. Let h = -15 - -234. Suppose -4*n + 2*q + 234 = 0, -4*n + c*q - q = -h. Is 27 a factor of n?
False
Let v be (-2 + (-2 - -270))*(-1)/(-1). Suppose -8*s + v - 26 = 0. Is 18 a factor of s?
False
Let y = 141 - 0. Let s = y + 136. Is 20 a factor of s?
False
Let j be 1/2 + 481/(-74). Does 3 divide (93/2)/(3*j/(-36))?
True
Suppose 0 = p - 2*f - 2, -5*p + 11*f + 1 = 10*f. Suppose p = -23*x + 25*x + 186. Let m = x + 381. Does 18 divide m?
True
Let q(u) = 5*u - 21. Let m be q(5). Suppose 0 = -3*f - m*f. Suppose -3*j = -f*j - 213. Does 13 divide j?
False
Suppose -2*c = -12*c - 60. Let q be (c/(-7))/(-5 + (-426)/(-84)). Suppose -w + q = -45. Is 19 a factor of w?
True
Suppose 3*n = -15, -2*n - 195 = -2*z + 85. Let x be (-57 + 80)/(2/16). Let b = x + z. Is 17 a factor of b?
False
Let z = -3706 - -19993. Does 183 divide z?
True
Let h = 12485 + -11378. Is h a multiple of 3?
True
Suppose 4*z - 6620 = 2*r - 3*r, 4965 = 3*z + r. Is z a multiple of 3?
False
Let r(x) = -2*x + 11. Let l be r(4). Is 17 a factor of (-9*(4 - 21))/(4 - l)?
True
Let f = -2410 - -4357. Does 4 divide f?
False
Suppose 3*c = -4*b + 18627, -5336 - 872 = -c - b. Is c a multiple of 85?
True
Is -43 + 18 - -22 - 1/((-2)/1118) even?
True
Is (-10)/((-1194479)/(-132726) - 9) a multiple of 198?
False
Does 4 divide 89 + (-26)/6 + (-56)/84?
True
Let p be (-2 - -1)/8 - (-99)/24. Let w be ((-40)/(-60))/((-3)/(90/p)). Let u(c) = 5*c + 34. Does 2 divide u(w)?
False
Suppose 5*d = -0*d + 25. Suppose 3*n - 1010 = d*r, -r - 4*r = -2*n + 675. Is n a multiple of 67?
True
Let k(t) = 582*t**3 - 16*t**2 + 11*t - 16. Is 80 a factor of k(2)?
False
Suppose -20 = -0*v - 2*v. Let j be ((-3 - -2) + 0)*10. Does 13 divide (234/v)/(j/(-50))?
True
Is 54 a factor of (-32)/208 - (-9)/((-234)/(-181120))?
True
Let w(t) = -2*t - 7. Suppose 2*k - 31 = -0*x + 3*x, 3*x + 5*k - 4 = 0. Let z be w(x). Let g = 156 + z. Does 22 divide g?
False
Let p = -651 - -687. Let y be (18/4 + 1)*2. Is p/9 - y*-1 a multiple of 15?
True
Suppose -g + 138 = -2*g. Let o = 1090 + -776. Let a = o + g. Does 16 divide a?
True
Let c(g) = 5*g**2 - 150*g - 80. Is c(-24) a multiple of 17?
False
Let q = -123 + 125. Suppose -6*c = -5*c + a - 596, -q*a = -c + 587. Is c a multiple of 94?
False
Suppose -3216 = -4*m - 4*c, -156 + 3399 = 4*m - 5*c. Let p = m - 562. Is p a multiple of 7?
True
Suppose -6*o + 2*o - 5*v - 22 = 0, -12 = 2*o + 3*v. Let j be (o - -1)*(-1365)/(-14). Let f = -103 - j. Does 23 divide f?
True
Suppose 3*j + 55 = 8*j. Let o(s) be the second derivative of -s**5/20 + 13*s**4/12 - 17*s**3/6 + 11*s**2/2 - 17*s. Does 8 divide o(j)?
False
Let d(v) = 2*v**3 - 37*v**2 - 37*v - 288. Is 62 a factor of d(26)?
False
Let q(h) = h**3 - 19*h**2 - 136*h + 74. Does 74 divide q(30)?
False
Suppose 51 = 5*y - l - 2834, -5*y = -4*l - 2870. Suppose -2*k + y = a, -k + 2*a - 289 = -2*k. Does 48 divide k?
False
Let x = -412 + 441. Let s(l) = 11*l - 179. Is 8 a factor of s(x)?
False
Let l be 18/(-4) + 2 - 90/(-20). Suppose -l*w = 2*v - 4*w - 92, 244 = 5*v + 2*w. Is 15 a factor of v?
False
Suppose -6*m = -9*m - 207. Does 4 divide 2 - m - (20 - 20)?
False
Let u(z) = 6*z**2 + 29*z + 9*z**2 + 0*z**2 - z**3 - 43*z + 38. Is 7 a factor of u(7)?
False
Let k(b) = -b**3 - 7*b**2 - 10*b - 14. Let j be k(-6). Suppose 532 = j*s + 52. Does 8 divide s?
True
Suppose -8*z = 21 - 165. Is 12 a factor of -36*(-1 + (-48)/z)?
True
Let y be ((-1)/2 - -1) + (-4510)/20. Let j = y - -713. Suppose -67 = -5*i + j. Is 12 a factor of i?
False
Let z(s) = 7*s**3 + s**2 - 12*s + 8. Let w(c) = 9*c**3 - c**2 - 13*c + 7. Let b(p) = -4*w(p) + 5*z(p). Suppose 4*j = j + 24. Is 2 a factor of b(j)?
True
Let q be (-8)/20 + 1/((-5)/648). Let 