 5?
False
Does 30 divide (-12)/20 + 10824/40?
True
Suppose -3*i = -2*c - 8, -3*c = 3*i - 7*c - 10. Suppose -i*s - 15 - 5 = -4*m, 0 = -m + 5. Let h(a) = a**3 + 18. Is h(s) a multiple of 5?
False
Suppose -5*s - 6*p + 3338 = -2*p, 2674 = 4*s + 5*p. Is 8 a factor of s?
False
Suppose 45*s - 69*s = -5184. Does 9 divide s?
True
Let c be (-2)/6*0 - -4. Suppose 192 = w - 3*r, 5*w + 0*r + r - 880 = 0. Suppose 0 = -3*t + 3*g + w, -59 = -4*t + 3*t - c*g. Is t a multiple of 22?
False
Suppose 5*t - 6 = 11*t. Let f(m) = -m**3 + m**2 - 1. Let l(x) = 41*x**3 - 6*x**2 + 5. Let p(s) = -4*f(s) - l(s). Is 19 a factor of p(t)?
True
Let i be (-9)/(3/((-6)/2)). Suppose -w + 0 - i = -3*s, 5*w = -15. Suppose -m + s*m - 9 = 0. Is m a multiple of 9?
True
Suppose 2*m = 3*l - 80, -5*l + 6*m + 130 = 2*m. Let x = -17 + l. Does 10 divide x?
False
Let b(i) = i**2 - 5*i - 7. Let r(f) = 2*f**3 - 2*f**2 - f + 1. Let l be r(2). Is b(l) a multiple of 7?
True
Let m be ((-2 - -2)/1)/2. Suppose 3*h + m*h = 6. Suppose -h*t - 90 + 10 = -5*i, 11 = 2*i - 5*t. Is i a multiple of 6?
True
Let l be (-4 - -3)*(2 - 21). Suppose l = p - 19. Suppose 7 = -x + p. Is x a multiple of 14?
False
Let o(d) = -d**3 - 15*d**2 - 21*d - 38. Let m(y) = -9*y**2 + 7*y + 2. Let g be m(-1). Does 5 divide o(g)?
True
Suppose 3*h = 2*s - 5837, 16*s - 18*s - 4*h = -5872. Is 22 a factor of s?
True
Let z(u) = -u**2 + 8. Let m be z(0). Is ((-276)/(-24))/(2/m) a multiple of 24?
False
Suppose 0 = -6*v + 6498 + 504. Is v a multiple of 8?
False
Suppose -6*g - 4*n = -g - 4280, 0 = -7*g - n + 6015. Is 10 a factor of g?
True
Suppose 3*i - 8*i = 160. Let d = -32 - i. Suppose -4*c + 252 = 4*v, 3*c - 309 = -d*v - 5*v. Does 13 divide v?
False
Suppose 2*a = -j + 1844, -6*a - j = -7*a + 928. Is 13 a factor of a?
False
Suppose 5*f - 442 = -a, 3*a + 337 = 5*f - 117. Suppose 8*l + f = 401. Does 14 divide l?
False
Let n = 289 - -20. Suppose 3 + 9 = 4*u. Suppose -j + 539 = 4*j - 3*q, 0 = u*j + 3*q - n. Is j a multiple of 30?
False
Let k = 997 - -565. Is 18 a factor of k?
False
Suppose 802 + 227 = p. Is p a multiple of 21?
True
Suppose 652 = 4*h - 1844. Is h a multiple of 24?
True
Suppose 2514 = 15*a - 9*a. Is a a multiple of 46?
False
Let z(g) be the first derivative of 4*g - 1 + 7*g**2 - 3 - 2 + 9. Does 20 divide z(4)?
True
Does 29 divide ((-12)/(-16))/((-108)/(-179568))?
True
Let q = 823 - 413. Is 5 a factor of q?
True
Let s(h) = -h**2 + 14*h - 7. Let a be s(13). Suppose q = 5*g - a - 229, -q = g - 53. Does 3 divide g?
True
Let g = -3 - -10. Suppose 28 = -g*p + 11*p. Does 2 divide p?
False
Let a be 1966/1 + 7 + -5. Suppose -n - 5*n = -a. Is n a multiple of 14?
False
Let s be (-4)/12 - (-543)/9. Suppose s = y - 6*y. Does 22 divide (162/8)/(y/(-32))?
False
Let f(n) = -11 - n + 15 + 13 - 8*n. Is 22 a factor of f(-25)?
True
Suppose 25*b - 36432 = -8*b. Is b a multiple of 48?
True
Let a(t) = 6*t**2 + 8*t + 12. Suppose -b = 2*b + 15. Is 14 a factor of a(b)?
False
Suppose n + 6*n - 357 = 0. Let d be 4/(-3)*n/(-17). Suppose -7*y = -d*y - 318. Is 28 a factor of y?
False
Let p = 16 - 12. Suppose 2*i - 43 = -z - 3*i, -p*z + 5*i + 272 = 0. Does 27 divide z?
False
Suppose 6*t - 27 = -3. Suppose t*d - 3*d = 6. Let r(c) = 2*c**2 - 8*c - 3. Is r(d) a multiple of 8?
False
Suppose -s - 19 = 11. Let v = s + 70. Does 7 divide v?
False
Let m be (26/39)/((-2)/(-3))*547. Suppose -m = -5*h - 52. Does 11 divide h?
True
Let u = 10 - 12. Let y = 4 - u. Is (28/y)/((-2)/(-6)) a multiple of 4?
False
Let z(s) = -s - 4. Let a be z(-9). Suppose f - i = 34, -206 - 9 = -a*f - 4*i. Let x = -22 + f. Is 12 a factor of x?
False
Let h(n) = -n**3 - 6*n**2 + 17*n + 8. Let y be h(-7). Suppose 0 = -2*f + 25 - 111. Let i = f - y. Is 15 a factor of i?
False
Suppose 0 = b + 4*v - 311, -20*b + 4*v = -15*b - 1651. Is 13 a factor of b?
False
Suppose 4*h + 28 = 2*p + 3*p, -h - 2 = 0. Suppose -t = p*t + 5*l - 10, 0 = 3*t - 2*l - 11. Suppose -4*c - 56 = -t*g, 4*g - 4*c - 47 = 21. Is g a multiple of 6?
True
Let j be (-1 + 2/(-6))/((-2)/12). Let t(c) = c**3 - 8*c**2 + 11*c - 11. Is 7 a factor of t(j)?
True
Let b be -1*(-3354)/3 + 2. Let t be (-2)/3 + b/24. Let k = t - 32. Is k a multiple of 13?
False
Is (-4)/7 - (-1)/(42/8340) a multiple of 3?
True
Let n = -183 + 240. Is 20 a factor of n?
False
Suppose 5*y = -4*i + 83, -4*y - 91 = -3*i - 2*y. Suppose 2*a = -3*a. Suppose p = i - a. Is 27 a factor of p?
True
Suppose 3*u = 5*u. Let p be 6 - (u - -1)*-1. Let t(q) = -q**3 + 7*q**2 + 2*q - 8. Is t(p) a multiple of 2?
True
Let r = -29 + 167. Is r a multiple of 17?
False
Let p = -234 + 254. Is p a multiple of 10?
True
Let h(r) = -r**3 - 6*r**2 + 20*r + 8. Let m(l) = -l**3 - 5*l**2 + 21*l + 7. Let p(q) = -6*h(q) + 5*m(q). Does 22 divide p(-11)?
False
Let h(r) = -2*r**3 - 4*r + 3. Does 11 divide h(-3)?
False
Let m be 8/(-10) - 224/(-80). Suppose 4*a + d - 302 = 3*d, 0 = 5*a + m*d - 364. Is a a multiple of 12?
False
Suppose 3*f - 2*h - 39 = 0, 4*f + 5*h = -0*f + 29. Let a = -16 + 20. Let t = f - a. Is t a multiple of 2?
False
Let f(g) = 26*g**3 + 4*g**2 - 8*g - 1. Does 15 divide f(4)?
True
Let f = -6 - -11. Let m(b) = -b**2 + 6*b - 2. Let j be m(f). Suppose 63 = 3*q - z, q - j*q + 4*z + 52 = 0. Is q a multiple of 20?
True
Let f(v) = -v**2. Let n = 39 - 40. Let k(h) = -6*h + 22. Let i(u) = n*k(u) - f(u). Does 14 divide i(-11)?
False
Is 17 a factor of -2 - 3*(0 - 250)?
True
Let m = 104 + -31. Let z = 95 - m. Is 4 a factor of z?
False
Is 69 a factor of ((-29)/(-58))/(0 + (-2)/(-980))?
False
Let w(u) = 339*u + 218. Does 29 divide w(3)?
False
Does 15 divide 3 - (-18)/4*(-116)/(-6)?
True
Suppose 0 = 4*t - 2 - 10. Suppose -4*n + 88 = 4*u, 8*n + t*u = 3*n + 114. Is n a multiple of 6?
True
Let r = -1901 + 2042. Is r a multiple of 10?
False
Let q = 17 + -12. Suppose -2 = -l + 3*b, l - q*b = 4*l - 6. Is 2 a factor of l?
True
Let k be (5/(-4))/((-6)/48). Let f(t) = -t**3 + 9*t**2 + 13*t - 10. Does 5 divide f(k)?
True
Suppose -7*f + 118 = -463. Does 6 divide f?
False
Let b = 369 + 151. Does 8 divide b?
True
Does 6 divide 117*(-4)/(-6) + 40 + -36?
False
Suppose -8*i + 3453 = -5*i. Suppose -109 - i = -6*t. Is t a multiple of 35?
True
Let q(c) = -c**3 + 20*c**2 + 4*c - 18. Let x be q(20). Let s = 4 + x. Is s a multiple of 11?
True
Does 16 divide (-8 - -5 - -221)/((-2)/(-18))?
False
Let j be (-3*(-16)/6)/2. Suppose 0*t + 28 = 3*t + j*z, 0 = -t - 3*z + 11. Let s(v) = -v + 17. Is 9 a factor of s(t)?
True
Let u be (-3)/(-6) + 19/(-38). Let t(f) be the second derivative of -f**5/20 + f**4/6 + 15*f**2 - f. Does 15 divide t(u)?
True
Suppose 5*o + 4*g - 6 = -1, 5*g + 35 = 2*o. Suppose x - o = 6. Suppose -5*w = -4*h - 110, w + 2*h - 5*h - x = 0. Is w a multiple of 6?
False
Let m be (2 - -7)*1*-1. Let s = m - -11. Suppose s = o - 22. Is o a multiple of 8?
True
Let f(u) be the first derivative of 5*u**2/2 + 12*u + 93. Let w = 16 - 11. Does 29 divide f(w)?
False
Suppose -b + 2 = -1. Is b/(3/49) + 0 a multiple of 9?
False
Suppose 0 = 3*k + m - 274, 0 = -3*k + 4*m + 353 - 99. Does 5 divide k?
True
Let z(f) = -5*f**3 + 33*f**2 - 18*f - 13 + 4*f**3 - 51*f**2. Let i be z(-17). Suppose -i*j + 87 = -j. Is j a multiple of 8?
False
Let n = -3 + 5. Suppose -5*f - 321 = -261. Does 13 divide 38 - (f/4 + n)?
True
Suppose 7*s - 72 = 12. Is ((2 - 16/s) + 1)*27 a multiple of 5?
True
Let i be 1/(-6) + 675/162. Is (600/16)/(2/i) a multiple of 6?
False
Suppose 0 = -3*w - 53 - 121. Let b = w + 94. Does 8 divide b?
False
Let l(g) = -g**2 + 7*g - 6. Let f be l(6). Suppose -y = -f*y + 54. Is 12 a factor of (y + 0)*(-10)/15?
True
Let i(g) be the first derivative of -g**2/2 + 13*g + 5. Let k be i(10). Does 23 divide (230/3)/5*k?
True
Let s(y) = 7*y - 48. Does 3 divide s(12)?
True
Suppose 2*o = -l + 676, -2*o - 5*l + 612 + 48 = 0. Suppose -3*v = -h - 224, -2*v + 7*v + 5*h - o = 0. Is 38 a factor of v?
False
Suppose -3*v + 5*r = -2438, 0 = -3*r + 3 + 12. Is v a multiple of 71?
False
Suppose 0 = 3*q + x - 508, -3*x = -2 - 1. Suppose 3*k + n = q - 52, 5*k - 4*n - 212 = 0. Is k a multiple of 4?
True
Suppose -u - 3*t = -2*u - 18, -5*u + 3*t - 42 = 0. Let j(l) = -5*l - 16. Does 14 divide j(u)?
True
Suppose -4 = -g - 3*g. Let x(u) = -9*u + 2*u - 2 - g - 5*u. Is x(-3) a multiple of 8?
False
Suppose 2*r + 5*m = 25, 5*r = m - 0*m + 22. Suppose -4*w - 8*a + 7