m - 10 = -3*r. Suppose -5*p + 186 = -m*p. Does 31 divide p?
True
Let c = -80 + 368. Does 16 divide c?
True
Suppose -b - 14 = -k + b, 0 = 4*k - 2*b - 38. Suppose 4*o - k = 4. Suppose -3*d - 2*q = -25, -o*q + q + 10 = 0. Is 5 a factor of d?
True
Let p = -176 + 299. Let i = -9 - -11. Suppose 29 = -i*f + p. Does 11 divide f?
False
Let y(v) = 21*v**2. Let p be y(2). Suppose 0*o + o - 232 = -5*d, -2*d + 4*o = -p. Suppose 0 = 6*m - 3*m + 5*q - d, -3*q - 18 = -2*m. Is 7 a factor of m?
False
Let r = 9 + 239. Suppose -l = -3*x + 151, -r = -5*x - 5*l + 3*l. Is x a multiple of 10?
True
Suppose 3*h + 2 + 4 = 0. Let k be 2 + h - (-17 - -1). Suppose y - k = -7. Is y a multiple of 9?
True
Is -8 + 6 + 3 + 38 a multiple of 5?
False
Let b = 1081 + -1035. Suppose -4*q + 3*f + 181 = -297, -3*q + 352 = f. Suppose a + b - q = 0. Does 12 divide a?
True
Let o(s) = -2*s**3 - 3*s**2 - 3*s - 6. Let h be o(-4). Suppose -224 = 5*m + h. Let d = -10 - m. Does 26 divide d?
True
Suppose 18*w + 15*w = 3564. Does 16 divide w?
False
Suppose -n - 4*n - l = -102, 0 = 5*n - 2*l - 96. Is -4*1050/36*(-18)/n a multiple of 35?
True
Suppose 4*w + 5 = 17. Let r = -1 + w. Is r a multiple of 2?
True
Let y = 44 + -39. Suppose -y*f + 124 + 396 = 0. Is f a multiple of 26?
True
Let k be 1 + -2 + -1 + 4. Suppose 3*c - k*c = 75. Is 25 a factor of c?
True
Let a(m) be the third derivative of -11*m**4/24 - 11*m**3/6 + 18*m**2. Does 3 divide a(-4)?
True
Let q(v) be the third derivative of v**5/60 + v**4/4 + 2*v**3 - 8*v**2. Let o be q(-7). Let n = o - 0. Does 19 divide n?
True
Let m be (7 - -2)*(-56)/(-12). Suppose -8 = d - m. Let c = -24 + d. Is 5 a factor of c?
True
Is 108 + 6 + (-10)/(-5) a multiple of 12?
False
Let l be 4/3*(-2202)/4. Does 13 divide l/(-14) - 42/98?
True
Let c(z) = z - 2. Let q be c(5). Suppose 0 = t + q + 1. Is t*((-45)/4)/3 a multiple of 3?
True
Suppose 3*i + 3*v - 8 = 1, -3*i - 4*v + 8 = 0. Let o = 30 - i. Does 5 divide o?
False
Suppose y = 1 + 5. Let u(h) = -h**3 + 6*h**2 + 2*h - 3. Let a be u(y). Suppose -j + a + 3 = 0. Is 12 a factor of j?
True
Is 6 a factor of ((-18)/(-27))/((-134)/45 - -3)?
True
Suppose -5*n + 608 - 18 = 0. Let q be n - (-1 - 3 - -7). Suppose 3*o + 7 = q. Does 9 divide o?
True
Let j be ((-2)/10 + (-10)/(-50))/(-2). Suppose -5*b - 3*l = -930, -372 = -j*b - 2*b + 2*l. Does 31 divide b?
True
Is 2/(3/3)*621/18 a multiple of 13?
False
Let s(y) = 2*y + 14. Is s(7) a multiple of 28?
True
Let b(f) = 74*f**2 + 3*f + 10. Is 20 a factor of b(-2)?
True
Let r be -3*(-3)/(-6)*-2. Suppose -3*c - r*a + 174 = 0, 2*c - 27 = 3*a + 74. Let n = c - 35. Is 5 a factor of n?
True
Suppose -2*t + 16 = 2*l + 50, -5*t = 4*l + 68. Let h be (l - -15)*(27 - -1). Let s = h + 140. Is s a multiple of 12?
True
Suppose 2*q + 2 = 0, -w + 2 = -3*w - 2*q. Suppose w = 2*j + j - 288. Suppose j = 5*v - 39. Is v a multiple of 27?
True
Let u = 2733 - 1435. Is 38 a factor of u?
False
Let y(q) = q**2 - q + 20. Let g(z) = z**3 - 14*z**2 - 15*z + 7. Let b be g(15). Does 4 divide y(b)?
False
Suppose -5*j = -2*r + 1395, 4*j + 1116 = 4*r - r. Let b = 483 + j. Does 3 divide (b/(-17))/(-3 + 1)?
True
Let f = 279 - 207. Is f even?
True
Let t be -4 - (0 + (4 - 8)). Let y(g) = -12*g + t*g**3 - g**2 + 4*g + g**3 + 9*g + 7. Is 5 a factor of y(3)?
False
Suppose 0 = 18*x - 8*x - 600. Is x a multiple of 47?
False
Suppose 17*s + 25*s - 12936 = 0. Does 14 divide s?
True
Let f(x) = -x + 2. Let k be f(1). Suppose -5*b + 4*w = -19, -2*b - 4*w = -k - 1. Suppose 20 - 49 = -3*c - 5*m, 3*c = b*m + 69. Does 13 divide c?
False
Let u = -1 + 0. Let s = -152 + 228. Is (s + u)*7/21 a multiple of 13?
False
Suppose n = -63 + 250. Suppose u = 3*p + 179, -n - 2 = -u + p. Does 26 divide u?
False
Suppose -4*u = -5*p - 102, 10*u - 9*u = -p + 30. Does 14 divide u?
True
Let d(a) be the first derivative of a**4/4 - 23*a**3/3 + 23*a**2/2 + 8*a - 33. Is 10 a factor of d(22)?
True
Suppose -5*t - j = -29 - 30, 25 = 2*t - j. Let c(p) = -18*p - 13. Let v be c(-2). Let n = v - t. Is n a multiple of 8?
False
Suppose p - 357 = -w, 18*w - 14*w = 5*p + 1410. Does 6 divide w?
False
Let y(h) = 3*h**2 + 8*h - 7. Is 7 a factor of y(5)?
False
Suppose -165 = 5*p - 2*p. Let o = p + 67. Does 3 divide o?
True
Let f(o) be the first derivative of o**3/3 + 9*o**2/2 + 38*o - 33. Is 29 a factor of f(-17)?
True
Let k(m) be the third derivative of m**5/60 + 17*m**4/24 - 11*m**3/6 + 42*m**2. Is k(-18) a multiple of 2?
False
Let t(w) be the first derivative of w**3/3 + w**2 + 23*w - 2. Does 11 divide t(10)?
True
Suppose -6*p = -3*p - 3*y - 1122, 5*p = y + 1870. Does 22 divide p?
True
Let s(m) = -m**3 - 8*m**2 + 11*m - 9. Let r be s(-9). Let l = 32 + r. Suppose -3*z = -3*v + 42, 3*z = l*v + 7*z - 70. Is 14 a factor of v?
True
Is 471 - (0 + -3 + 5 - 5) a multiple of 41?
False
Let t = 44 - 33. Suppose 3*q - 13 = 4*v + t, 4*q - 3*v = 39. Is q a multiple of 4?
True
Let z be (-9)/(-1) - (-52)/(-13). Suppose -161 = -4*k - z*b, 3*k + 2*b - 141 = 5*b. Suppose -5*l + 86 = -k. Is l a multiple of 23?
False
Suppose -q = -2*m - 7, -4*q = -q + 3. Let t be m/(-14) - (-145)/7. Is (-12)/(-28) - (-726)/t a multiple of 11?
False
Is 4 a factor of 296 + (-32)/(8 + 0)?
True
Is (-3)/6*10 + 882/18 a multiple of 11?
True
Suppose -2*z - 25*z = -33804. Is 40 a factor of z?
False
Let t = -118 - -118. Suppose -12*o + 15*o - 243 = t. Is o a multiple of 9?
True
Let i = -284 - -311. Is 3 a factor of i?
True
Suppose -3 - 2 = 5*d. Is d/(-1 - -1*144/147) a multiple of 10?
False
Suppose -4*a + 4750 = 3*b, 8*b - 13*b = 3*a - 7913. Does 78 divide b?
False
Let r be (360/(-14))/3*2730/(-52). Let h = r - 298. Is 19 a factor of h?
True
Let l(g) = g**3 + 7*g**2 + 4*g - 7. Let n be l(-6). Let b = -20 + n. Does 16 divide ((-12)/b)/(1/40)?
True
Let l(k) = 5*k**2 - 5*k + 5. Let j be l(1). Suppose -6 = -4*g - s + 57, j*s - 90 = -5*g. Does 3 divide g?
True
Let z = 14 - 12. Suppose 0 = -2*g - 5*r - 7, 0 = 2*g - 3*g - 2*r - z. Suppose -3*x + 92 = -g*j, 0 = -5*j - 26 + 1. Is x a multiple of 16?
False
Let a = -4464 + 9974. Is 19 a factor of a?
True
Let q(p) = -21*p - 15. Let v(z) = 4*z + 3. Let j(s) = 2*q(s) + 11*v(s). Let t be j(7). Suppose t = c + 5*u - 1, 3*u = -c + 20. Is c a multiple of 23?
True
Suppose 4*i = 3*o - 1834, -15*i + 12*i = -3*o + 1836. Does 15 divide o?
False
Let s be (-82)/4 - 1/(-2). Let f = s + 5. Let k = f - -33. Does 6 divide k?
True
Let z(l) = 4*l + 34. Let r be z(-8). Suppose r*h = i + 265, -4*h + 4*i + 518 = 6*i. Is 7 a factor of h?
False
Let v = 209 + -94. Is v a multiple of 23?
True
Let l(i) = 273*i + 23. Is l(3) a multiple of 30?
False
Suppose -4*h = h + 200. Is (110/h)/((-2)/88) a multiple of 37?
False
Suppose 3*i - 9 = 0, i + 0*i = -3*s + 3. Suppose 5*h - 315 = -s*h. Is 9 a factor of h?
True
Suppose 806 = 8*x - 890. Is 32 a factor of x?
False
Let d(k) = -2*k**3 - 7*k**2 + 4*k + 3. Let i be d(-4). Is 6*1/i + 49 a multiple of 18?
False
Let h(t) = -t**3 - 3 - 10*t**2 + 4*t + 4*t**2 + 0*t**3. Let p = 9 + -16. Is 6 a factor of h(p)?
True
Suppose 0*n - 4*n - 4*l + 748 = 0, -4*n + 746 = 5*l. Is 9 a factor of n?
True
Suppose n = 2*n - 5. Suppose -2*k + 123 = 3*k - 2*s, -20 = n*s. Is k a multiple of 15?
False
Suppose 3*y = y + 670. Suppose w + 753 = 5*v, 5*w - 430 - y = -5*v. Is v a multiple of 16?
False
Let t = -48 + 73. Suppose -t*g + 16 = -21*g. Does 3 divide g?
False
Suppose 1 = b, -2*b = 3*d - 7137 + 2524. Does 12 divide d?
False
Suppose m + 657 = 4*g, -5*g + 468 + 353 = -m. Is g a multiple of 4?
True
Let h(s) = s + 19. Let g be -4 + 60/(-3) + 3. Let y be h(g). Let m = y + 39. Is 37 a factor of m?
True
Suppose -2*l = 2*m + 3*l - 18, -4*m - 2*l = -20. Suppose -m*u = u - 200. Let a = 12 + u. Is 10 a factor of a?
False
Let z(l) = 5*l**2 - 4*l - 8. Suppose 3 + 11 = -7*f. Is z(f) a multiple of 4?
True
Suppose -2*i + 5*i = -303. Let r = -32 - i. Does 34 divide r?
False
Does 2 divide (-98240)/(-208) - 8/26?
True
Suppose 3*k + 17 = 26. Is 12 a factor of (k*2/4)/(4/80)?
False
Let s(u) = -u**3 + 2*u**2 + 2*u + 2. Let f be s(3). Does 15 divide 8 + 83 + (f - 0)?
True
Suppose 0 = -5*t - 2*n + 3539, -t - 2*n + 283 = -420. Does 46 divide t?
False
Let f(a) = -a**2 - 14*a + 2. Let b be f(-14). Suppose b*p + 14 = p. Is 4 a factor of (0 - 36)*p/56?
False
Suppose -2*p + 16 = 2*p + 4*h, 8 = 2*p - 5*h. Suppose 0