4*o(h). Is 19 a factor of k(-5)?
True
Suppose -26*y - 6*y = -2304. Suppose y*a - 63*a - 7740 = 0. Is 10 a factor of a?
True
Let y(m) = 608*m**2 - 303*m**2 - 31 - 10*m - 300*m**2. Is 19 a factor of y(-11)?
True
Suppose 81*s + 24 = 83*s. Suppose -2*z + 452 - s = 0. Does 22 divide z?
True
Let m be (-4)/(-28) + (-202)/(-7). Suppose -m*g - 1950 = -34*g. Is g a multiple of 15?
True
Is 2 a factor of ((-28)/(1092/39))/((-1)/6332)?
True
Suppose 3*w + 2*k - 2444 = 0, -8*w + 7*w + 5*k + 809 = 0. Does 30 divide w?
False
Let g(l) = l**3 + l**2 - 4*l - 4. Let c be g(4). Suppose 188 = 423*p - 419*p. Suppose -59*s - p = -c*s. Is s a multiple of 21?
False
Let b be 29/((-380)/(-75) - 5). Suppose 440*i - 865 = b*i. Does 16 divide i?
False
Let m be (-2918)/(-4) + 18/4 + -5. Let c = 1416 - m. Is 11 a factor of c?
False
Suppose 19187 = 117*l - 34*l - 26380. Does 81 divide l?
False
Let m(r) = 20*r**2 + 237*r + 84. Is m(-13) a multiple of 15?
False
Suppose 2*w - 12 = -5*m, -w - 2*w + 4*m - 5 = 0. Let h be (-2 + 1)*(1*-3)/w. Suppose -2*g = h*p - 87, p - 4*p + 240 = 5*g. Is 17 a factor of g?
True
Let b = 1325 - -4204. Is b a multiple of 23?
False
Let l(s) = -s**3 + 4*s**2 + 2*s - 5. Let t be l(4). Suppose 13114 = 4*h - 3*j, 7*h - 3*h + t*j = 13126. Is 15 a factor of 4/(-7) - h/(-56)?
False
Let c(g) = 324*g + 66. Does 5 divide c(1)?
True
Is 19026/8 + 2 + (-16)/(832/13) a multiple of 70?
True
Let v be 1*((-9)/(-3) - -61). Let n = v - 111. Let a = 281 + n. Does 18 divide a?
True
Let d(u) be the second derivative of -u**5/20 - u**4/4 + u**3/2 - 5*u**2 - 34*u. Let n be d(-6). Suppose 2*x + n = 3*x. Does 10 divide x?
True
Let g = 159 + -152. Let i(t) = 4*t**3 - 18*t**2 - 9*t. Is i(g) a multiple of 61?
True
Let n(c) = -1958*c + 517. Is 26 a factor of n(-2)?
False
Suppose 0 = -7*f + f + 12. Suppose -f*n = -3*h + 1259 - 17, 4*h - 4*n = 1656. Suppose -3*y - 150 = -h. Does 11 divide y?
True
Let w be 3 - ((-61)/7 + (-4)/14). Let t(f) = -f**2 + 12*f + 5. Let s be t(w). Suppose -11 = s*q - 86. Does 4 divide q?
False
Let n(a) = -4*a**3 + 2*a**2 - 5*a + 893. Is 19 a factor of n(0)?
True
Let l be (-51)/(-12) - 7/28. Suppose 1646 = 2*y + 3*g - 2*g, 0 = y + l*g - 830. Does 17 divide y?
False
Suppose 4*z - 2*p - 1208 = 0, -31*z + 4*p - 594 = -33*z. Is 3 a factor of z?
False
Suppose -5*b - 4*z + 27 = 0, 0*b - 6 = -5*b + 3*z. Suppose -4*s = -i + 196, b*i - s = 2*i + 211. Suppose g + 3*g = i. Does 14 divide g?
False
Suppose 9*z - 19903 + 2002 = 0. Is 39 a factor of z?
True
Suppose 0 = -13*o + 26*o - 52. Suppose -4*q + 25 = q, 4*b - 1868 = -o*q. Is b a multiple of 7?
True
Suppose -l - 10 + 11 = 0, 0 = -5*f + l - 47881. Is 6/15 + f/(-60) a multiple of 29?
False
Let h(f) be the second derivative of f**4/12 - 5*f**3/6 + 12*f**2 + 121*f - 1. Is h(-11) a multiple of 26?
False
Let z(m) = 22 - 48 - 33*m - 53*m + 23*m. Let o be z(-2). Suppose 2*i - 2*g + 115 = 3*i, o = i - 3*g. Is i a multiple of 18?
False
Let r = 153 - 153. Suppose 3*t = -l + 3*l + 532, r = l + 2. Is 44 a factor of t?
True
Let n(v) = 53*v**2 + 2*v - 1. Let q be n(1). Suppose -s + q = -58. Is 16 a factor of s?
True
Let o be 6*3/(-6)*-1. Let g(j) = -1408*j**2 + 3*j + 1 + 2823*j**2 - 1411*j**2. Is 16 a factor of g(o)?
False
Suppose -5*h - 5 = 0, -7*j - h = -5*j - 3. Does 63 divide (0 - 2)*(-32 - j)?
False
Let o be 2/3*(174/12 + 2). Suppose -o = -w + j + 2*j, 0 = 3*w - j - 1. Is 1/(-2)*(-1 + (-38 - w)) even?
False
Let q be (1660/(-15))/4*-3. Let m = 395 - q. Is 52 a factor of m?
True
Suppose -f = -4*f - 9. Let y(s) = -s**2 - 2*s + 6. Let r be y(f). Suppose -n - r*n = -112. Is 11 a factor of n?
False
Let v be 14 + (4 + -1)/(-24 + 27). Suppose -8*g = -2*x - 10*g + 614, -3*g - v = 0. Is 24 a factor of x?
True
Let c(w) = 59*w**3 - 2*w - 622*w**2 - 31*w**3 - 29*w**3 + 18 - 2*w + 631*w**2. Let z(i) = -6*i**3 + i**2 - i - 1. Let k be z(-1). Does 22 divide c(k)?
True
Suppose 8*j - 4 - 12 = 0. Is 11 a factor of (8 + j)*(-152)/(-10)?
False
Suppose 49*b + 12*b - 33232 = 19289. Is 7 a factor of b?
True
Let g = -47 - -34. Is 4 a factor of (13416/(-15))/g - (-8)/(-10)?
True
Let d(r) = r**2 - 8*r - 4. Let b be d(10). Let w(m) = m**3 - 2*m**2 + 1 + 8*m + b*m**2 - 11*m + 12. Is 37 a factor of w(-13)?
False
Suppose -10*u + 9760 = -2*u. Suppose 4*s + 3*j = -u, 908 = -3*s - 4*j - 0*j. Does 11 divide (s/(-49))/((-4)/(-14))?
True
Let a = -1657 + 5155. Does 22 divide a?
True
Is (-4)/15 - 4533802/(-870) a multiple of 3?
True
Let n(f) = 1273*f**2 - 403*f - 807. Is 143 a factor of n(-2)?
False
Let c = 35 + -31. Suppose 0*r + 11 = r + 2*o, -3*r + 33 = -5*o. Let q = c + r. Is 6 a factor of q?
False
Suppose 150*t - 694227 = -318439 + 1919362. Does 38 divide t?
False
Let q = -13 + 15. Let d be 1/((-2)/(-4)) + 2. Suppose -3*n - 3*o + 186 = -d*o, 0 = -q*o + 6. Is n a multiple of 21?
True
Let p = 26 - 17. Suppose 14 = f + p. Suppose -f*c = -596 + 191. Is 10 a factor of c?
False
Let w = -22 + 22. Suppose -32*a + w*a + 10912 = 0. Does 10 divide a?
False
Let j(f) = -83*f**3 - 11*f**2 + 17*f - 18. Is 25 a factor of j(-4)?
True
Let a(t) = 81*t + 4. Suppose -21 - 10 = -p - 5*i, 0 = -4*p + i + 19. Is 11 a factor of a(p)?
False
Suppose -24*w + 3574914 = 117*w. Does 15 divide w?
False
Let a = 326 + -532. Let j = 344 + a. Suppose j = 3*w - 0*w. Does 8 divide w?
False
Suppose 19 = -2*o + 5. Does 23 divide (-4)/26 + o/182*-7544?
False
Suppose 2*k - 4*p - 64686 = 36570, -2*p - 202506 = -4*k. Does 34 divide k?
True
Let s = 87 + -78. Suppose -10*f + s*f + 154 = 0. Suppose -f = -6*o + 332. Is 6 a factor of o?
False
Let u(d) = -3*d**3 + 177*d**2 + 28*d - 191. Is u(59) a multiple of 7?
False
Let x(i) = 55*i**2 + 1. Let p be x(3). Let t(s) = 22*s + 126. Let a be t(9). Suppose 10*b = p + a. Is 11 a factor of b?
False
Let b = -531 + 535. Suppose -11*q = -b*q - 4760. Does 47 divide q?
False
Is 24 a factor of (60/27)/(-5) + -640*426/(-108)?
False
Let h(z) = z**3 - 21*z**2 - 23*z + 35. Let s be h(22). Suppose 82 = -11*b + s*b. Is 5 a factor of b?
False
Let y(p) = 111*p - 5686. Does 9 divide y(85)?
False
Let n(i) = i**3 - 8*i - 5. Let l be n(3). Is 9 a factor of (210/(-2))/(l + (-45)/(-27))?
True
Let c(f) = -11*f - 68. Suppose 4*b - 4*q = -12, -b + 0*q - 23 = 4*q. Let m be c(b). Suppose 0 = -m*p + 623 + 1249. Is p a multiple of 32?
False
Let z be (-6)/(-4) + (-225)/(-6). Suppose -y = z - 190. Is y a multiple of 3?
False
Suppose -1825 - 1765 = -10*l. Let o = l - 79. Does 35 divide o?
True
Let v = 2483 + -1266. Let p = v + -673. Is p a multiple of 34?
True
Let q be (-4)/(-10) - (-51)/(-15). Let f(t) be the first derivative of -33*t**2 - 16*t - 446. Is f(q) a multiple of 13?
True
Let g be 4/(-320)*-8 + (-209)/(-10). Suppose 0 = g*r - 2898 - 441. Is r a multiple of 61?
False
Let b = 88 + -84. Suppose 4*x - 19 = b*a - 383, 0 = -a - x + 83. Is a a multiple of 29?
True
Let w(c) = 2*c**3 - 9*c**2 - 9*c - 46. Suppose -242 = 7*r - 298. Is w(r) a multiple of 22?
True
Let v(a) = -a**3 - 5*a**2 - 3*a - 2. Let x be v(-5). Suppose 2*n = 4*d + 2, 2*d - d + 4*n = x. Let u(w) = 141*w + 2. Is 13 a factor of u(d)?
True
Suppose 0 = 2*k, -3*r + 3*k = 2*r + 2*k - 166780. Is 124 a factor of r?
True
Let q = -60 - -96. Suppose -4*a + 386 = 5*z, z - q - 39 = -3*a. Is z a multiple of 3?
True
Suppose 0 = -6*j - 18*j + 2640. Suppose 3*b - 1476 = -5*g, 0 = b + 2*g - j - 382. Is b a multiple of 8?
False
Let l(s) = -5*s - 117. Let u be l(0). Is (-66651)/u + 2/6 a multiple of 19?
True
Let p be ((-9)/(-6)*4)/((-1)/(-3)). Suppose 2464 = p*a - 14*a. Is a a multiple of 24?
False
Let p = 11394 + -4838. Is p a multiple of 27?
False
Let u = -37 - -48. Suppose 2*p = u*p - 36. Let n(b) = -b**2 + 9*b - 2. Is n(p) a multiple of 8?
False
Suppose 108 = 13*y - 9*y. Suppose y*p - 4590 = 10*p. Does 30 divide p?
True
Let z = 223 - 225. Is (-1385)/(-5) + 6/z a multiple of 26?
False
Suppose -3*q - 53*q + 310176 = -8*q. Is 10 a factor of q?
False
Let l(g) = -4*g**3 - 6*g**2 - 11*g. Let v be l(-2). Suppose 37*x - v*x - 35 = 0. Suppose -65 = -x*n - 10. Does 9 divide n?
False
Let g(b) = 3*b + 57. Let j be g(-21). Let a be 0/(10/(-25)*(j - -1)). Suppose a = 3*y - 6, -3*y - 46 = -m - 0*m. Is m a multiple of 13?
True
Let d(v) = v**3 - 2*v + 2. Let b be d(-2). Let q(o) = -o**3 - 2*o**2 + o + 6. Let p be q(b). Suppose -p*j + 15*j = 418. Is j even?
T