19 a factor of a?
False
Let j be (-1)/(-2) + -26*(-4)/16. Suppose -4*o - 3*c + 300 = 0, -2*c - 236 = -3*o - j*c. Suppose -i = -2*n - o, -i - 4*i + 4*n + 360 = 0. Is i a multiple of 17?
False
Let m = 36 - 34. Let k be 987/m - ((-11)/2 + 5). Suppose -5*h = j - 724, 0 = -4*h - 5*j + k + 81. Is 29 a factor of h?
True
Let m be (-6)/3 + (2649 - 1). Suppose 4*v + 698 = 3*g - m, 0 = 4*g + 3*v - 4492. Suppose 4*s + s - g = 0. Does 22 divide s?
False
Let v be 4 + 38 - (-7 + 4). Suppose 39*w + 1572 = v*w. Does 9 divide w?
False
Let v(s) = -23*s - 253. Let n be v(-10). Let l(i) = i**3 + 23*i**2 + 2*i + 50. Does 2 divide l(n)?
True
Suppose -v + 4*c + 93 = 0, 3*c = -5*v + 6*v - 95. Suppose -3*w - 3*j + 2*j + 90 = 0, v = 4*w - 5*j. Let u = w + 59. Is u a multiple of 20?
False
Does 26 divide 60456/26 - 51/221?
False
Suppose -4*z - 22*b + 19*b + 5927 = 0, 1463 = z - 3*b. Does 30 divide z?
False
Let o = 154 - 61. Let h = 47 + o. Is 35 a factor of h?
True
Let v(z) = -1373*z - 347. Does 24 divide v(-7)?
True
Is 127 a factor of (-635)/(-3)*(-157 + 190)?
True
Suppose 11*t = 9*t. Does 7 divide -3 - -152 - ((-1 - t) + 2)?
False
Suppose 6*i + 1294 = 14614. Suppose -11*a + a + i = 0. Is a a multiple of 6?
True
Let r(w) = w**2 + 13*w + 8. Let g = -81 + 162. Suppose i = -5*z - 23, 4*i - 25 = -2*z - g. Does 2 divide r(i)?
True
Is 22 a factor of 2/(((-51)/162)/(-17))*627/9?
True
Let z(b) = 564*b**2 - 137*b - 414. Is 57 a factor of z(-3)?
True
Suppose -10 + 4 = -f. Let y(b) = -b**2 + 4*b - 1. Let g be y(2). Is 149/g - 4/f a multiple of 25?
False
Let j(n) = 133*n**2 - 64*n + 530. Is j(10) a multiple of 44?
False
Suppose n + 488 = -3*n + 4*f, -f = -1. Let g = 81 + n. Does 24 divide 324/(-15)*g/12?
True
Suppose -4*s + 3*b = -55439, 36*s - 2*b = 40*s - 55454. Does 58 divide s?
True
Let f be -1 + (-8)/(-12)*9. Is (-3)/f + (5464/(-20))/(-2) a multiple of 15?
False
Suppose 0 = -5*u - u + 39289 + 9635. Is u a multiple of 6?
True
Let r be (-8 + (-278)/(-4))*2/(-3). Let y = r + 45. Suppose t = -5*x + 14 + 22, -t + y*x + 72 = 0. Does 14 divide t?
True
Suppose 46297 = 7*n + 4591. Is n a multiple of 9?
True
Let h = 26 + -26. Is 2 a factor of 41/((-2)/(-6) - h)?
False
Let n = 35087 - 23894. Is 39 a factor of n?
True
Is 2/11 - (6175091/(-122))/((-22)/(-4)) a multiple of 67?
False
Suppose -5*h - 10 = 0, 2*s + 2*h + 4 = -2*h. Let m(g) = g**3 + g**s + 4*g**2 + 0*g**2 + 0*g**2 + 4*g + 5. Is 5 a factor of m(-4)?
True
Suppose 156 = 7*h + 205. Let k(w) be the second derivative of -w**4/12 - 2*w**3 + w**2/2 - w. Is k(h) a multiple of 6?
True
Let j = 1151 + -395. Suppose -30*z = -24*z - j. Is z a multiple of 16?
False
Let z(h) = -h**3 + 62*h**2 + 146*h - 384. Is z(49) a multiple of 11?
True
Let h(d) = d**2 + 6*d - 3. Let c be h(-7). Suppose -c*i - 19 = -31. Suppose 0 = -y - 1 + i. Is 2 a factor of y?
True
Suppose 5206270 = 752*u - 31661 - 4219221. Is u a multiple of 4?
True
Suppose 5*z = -4*b + 37418, -2*b - 9212 = z - 27930. Is b a multiple of 31?
True
Let m(a) = 13*a + 52. Let o be m(-4). Suppose 5*x - 31 + 111 = o. Let g = x + 33. Is g a multiple of 2?
False
Let q(b) = -651*b - 2054. Does 6 divide q(-10)?
False
Let l(f) = 17*f**2 + 38*f - 127. Let o(v) = 12*v**2 + 25*v - 85. Let z(k) = 5*l(k) - 7*o(k). Let c be z(-27). Let n = c - 110. Is 36 a factor of n?
False
Suppose -4*a + p = -1507, 0 = -6*a + 2*a - 5*p + 1489. Suppose -2*h = k + 2*h - 120, -3*k = -4*h - a. Is 31 a factor of k?
True
Suppose 7*h + 8 = 3*h. Let k be (-3 - h)*3 + 22. Suppose 8*o - k = 717. Does 23 divide o?
True
Let a = -332 - -338. Is 80 a factor of (-27999)/18*(-4)/a?
False
Let c(m) = m**3 + 15*m**2 + 13*m - 12. Let r be c(-14). Suppose -11 = r*f - 13*f. Suppose -114 - f = -5*o. Is 23 a factor of o?
True
Suppose 3*p - 4*h - 14872 = 452, -5*p = -3*h - 25518. Is 12 a factor of p?
True
Let c be 2 - 1/((-4)/24*3). Suppose -c*k + 40 = 2*j + 2*j, -5*k + 2 = j. Is 12 a factor of j?
True
Let s(j) = 5*j**3 - 8*j**2 + 173*j - 10. Does 57 divide s(11)?
False
Let j(x) = -22955*x - 1217. Does 290 divide j(-2)?
False
Is 26 a factor of (988/2)/(2/8)?
True
Let u be ((-40)/(-120))/((-2)/(-12)). Suppose -4*n + r + 4706 = u*r, -3*r - 3537 = -3*n. Does 18 divide n?
False
Suppose -8 = 2*k, 18*r + 4*k - 11569 = 13*r. Is r a multiple of 34?
False
Let m = 32377 - 23713. Does 228 divide m?
True
Let z be 8/(32/1220) + -7. Let a = -241 + z. Is a a multiple of 3?
True
Let s(h) = 3*h**3 + 5*h**2 - 10*h + 9. Let u(x) = -x**2 - 1. Let l(d) = -s(d) - 3*u(d). Is l(-5) a multiple of 15?
False
Let d(z) = z**2 - 3*z - 6. Let p be d(5). Suppose -69 = x - 38. Let u = p - x. Is u a multiple of 17?
False
Let v be -19*((-1)/(-2) - 6/4). Suppose -v*o - 7*o + 6396 = 0. Is 4 a factor of o?
False
Suppose 0 = 2*y - 12 - 14. Suppose -y = l - 53. Does 8 divide l?
True
Suppose -1437201 = -67*s - 9*s + 651279. Does 12 divide s?
True
Let w(o) be the second derivative of o**4/4 + o**3/3 + 22*o**2 - 2*o - 22. Is 10 a factor of w(-6)?
True
Let z be ((-30429)/322)/(2/4). Let g = -35 + 67. Let k = g - z. Is k a multiple of 34?
False
Let h be (3*1/(-2))/(257/86352). Let b = 961 + h. Is 28 a factor of b?
False
Suppose -1481 = -5*l - 3*k, -335 = -4*l - 3*k + 851. Let x = 1 + -1. Suppose 2*b - l - 133 = x. Is b a multiple of 22?
False
Let w = -189 + 194. Suppose 2*a = -w*m + 49, -m + 3 - 102 = -3*a. Is 8 a factor of a?
True
Suppose 113*n + 72*n - 34*n - 51491 = 0. Does 6 divide n?
False
Let b = 136 + -132. Suppose 1197 = b*v + 3*i, -1473 = -3*v - 2*v + 4*i. Is 38 a factor of v?
False
Is 50 a factor of 501564/18 + 378/(-81)?
False
Let f = -52 + 101. Let o(m) = -m**3 + 11*m**2 - 9*m - 19. Let x be o(9). Let j = x - f. Does 7 divide j?
False
Suppose -4*h + 5569 = l + 591, -3*l = 2*h - 14894. Is l a multiple of 6?
True
Let b(t) = -t**2 + 23*t - 5. Let s be 2/3 - -4*5/6. Suppose 3*i - s*v - 41 = 0, 2*i - 6*i - v = -23. Is b(i) a multiple of 15?
False
Suppose -3*h + a + 388 = 0, 9*a = h + 90 - 254. Is h a multiple of 16?
True
Let d = -239 + 362. Let l = -57 + d. Is 23 a factor of l?
False
Suppose -25*u + 29213 = -55812. Is 6 a factor of u?
False
Let z(a) be the second derivative of -a**3/3 + 5*a**2 + a. Suppose -4*k + 4*o - 12 = 0, -249*k = -244*k - 2*o + 12. Does 3 divide z(k)?
False
Is -15*((-2565)/(-30))/((-27414)/(-4584) + -6) a multiple of 342?
True
Let a(o) = 3998*o**2 - 12*o - 37. Is 19 a factor of a(-2)?
True
Suppose 740 = g + 1922. Let f = 2047 + g. Suppose -81 + f = 7*b. Is b a multiple of 23?
False
Let a(m) = m**3 + 10*m**2 + 17*m - 2. Let f be a(-9). Let w = f - -77. Suppose w*z - 92 = -4*n, -4*z = -6*n + n - 102. Is 7 a factor of z?
True
Suppose -k = 46 - 46. Suppose -2*z + 3*l = -52, k = -9*z + 4*z - 3*l + 88. Does 15 divide 4 - (-3 - z) - (1 - 3)?
False
Let m(c) = -222*c + 1196. Is m(-26) a multiple of 38?
False
Let y(b) = -81*b - 2352. Let f(c) = -5*c - 147. Let k(n) = -33*f(n) + 2*y(n). Suppose 0 = 5*g + 3*o - 12, -4*o = -3*g - 10 - 6. Is k(g) a multiple of 45?
False
Does 100 divide 4 - (564/(-470))/(1027/(-1030) + 1)?
False
Is 3 a factor of (151 + -1)*((-18)/24 + 1241/68)?
True
Let z = -135 + 137. Suppose -2*g + 3*i = -0*i - 76, -z*g = -2*i - 78. Does 2 divide (g - -1)*(-19)/(-38)?
False
Let r(m) = -7*m - 59. Suppose 2*b - 5*l + 5 = b, 0 = -b - 2*l + 16. Let c be -17 + (b/(-5) - 0). Is r(c) a multiple of 22?
False
Let o(t) = 1099*t + 9. Let m be o(1). Suppose -6*n + 458 = -m. Does 29 divide n?
True
Let v(d) = -d**3 - 4*d**2 + 7*d + 13. Let q be v(-5). Suppose -2*n - j = -0*n - 79, q*j = -3*n + 117. Is 5 a factor of n?
True
Suppose 4*k + c - 1798 = 0, -5*k + 3*c + 178 = -2078. Is k a multiple of 150?
True
Let b = 693 + 1551. Does 44 divide b?
True
Let b = -10482 - -10403. Let p = 72 + 28. Let r = p + b. Does 2 divide r?
False
Suppose -4*t + 18 = -7*t. Is 10 a factor of 153 - 4/((-8)/t)?
True
Is (6 - -4)*19/((-475)/(-5530)) a multiple of 65?
False
Let u = -21 - -23. Suppose -i + s = 0, -4*i - u + 6 = -3*s. Suppose -544 = -3*b + a, i*a - 716 = -4*b + 3*a. Is b a multiple of 21?
False
Let q be (-47 + 2)*(4 + 40/(-15)). Let y = -37 - q. Is 23 a factor of (-25)/(-1) + (y - 25)?
True
Let c be 72/42 - ((-6)/(-7))/(-3). Is 25 a factor of 747 + 0/(-1) - (c - 5)?
True
Suppose -2 = -4*g + 14. Let d(w) = 2*w**3 - 8*w**2 + 3*w - 8. Let q be d(g). Suppose -q*t + 219 = -513. Is 14 