m(s) = -6*s**2 - 5*s - 10. Let g(x) = o*z(x) - m(x). Is g(-6) a multiple of 8?
True
Let t be (-45)/3*(-2)/(-5). Let v be -1 + 1 - -5*3. Let z = v + t. Does 9 divide z?
True
Is 1 - 20/4 - -43 a multiple of 13?
True
Suppose 3*k - 30 = 4*o - 2*o, 4*o = 0. Does 8 divide k?
False
Let b = -10 + 20. Is 6 a factor of b?
False
Suppose 0 = 3*v - 2*v. Suppose -h - 4*j = 3*h - 40, v = -4*h + 3*j + 26. Is 5 a factor of h?
False
Suppose 5*r - i = 23, 0 = -2*i + 4. Suppose -r*d = 4*w - 91, d - w + 37 = 3*d. Is 19 a factor of d?
True
Let i be 14/(1/7*-2). Let b = i + 78. Is b a multiple of 13?
False
Let i(s) = -s + 100. Let w be i(0). Suppose -4*v = v - w. Is v a multiple of 8?
False
Let h be 53/(4/(-12)*-1). Suppose k + 4*k - h = -3*v, -101 = -3*k + v. Is k a multiple of 19?
False
Is (-2 - -10)*((-74)/(-8) - 0) a multiple of 43?
False
Let u = 114 - 66. Is 15 a factor of u?
False
Suppose 15 = -6*r + 11*r. Is 5 a factor of r/(2 - 18/10)?
True
Let i(c) = c + 1. Let k be i(6). Let m = 0 + k. Does 7 divide m?
True
Is (-13360)/(-152) + 2/19 a multiple of 22?
True
Suppose -18 = -2*i - 2*h, 51 = 4*i - 0*i + h. Is i a multiple of 10?
False
Let v(r) = -r**3 - 2*r**2 + 6*r + 1. Suppose 5*x + 6 = -4*s, -4*x - 2 = 4*s + 6. Is v(s) a multiple of 7?
False
Suppose -2*a + 15 = -5*r, 0*r = 2*r - 10. Suppose 3 = -2*y - 21. Let v = a + y. Is v a multiple of 8?
True
Let r(a) = a**3 - 5*a**2 - 4*a - 2. Is r(7) a multiple of 17?
True
Suppose 2*q = 7*q + 3*u - 96, -q + 14 = -2*u. Is 18 a factor of q?
True
Let x = 63 + -23. Is 5 a factor of x?
True
Suppose -4*p + 0*p - 5*i + 434 = 0, 0 = 3*p - 4*i - 310. Is 10 a factor of p?
False
Suppose 4*h + 4*t + 200 = 2*h, 4*h + 4*t + 388 = 0. Is h/(-5) + (-4)/(-20) a multiple of 8?
False
Suppose 15 = 3*x - 39. Does 6 divide x?
True
Let f(i) = -i. Let w be f(-4). Suppose w*h - 124 + 20 = 0. Is 14 a factor of h?
False
Suppose -5*n + 2*v - 5*v = -432, -4*v = 2*n - 184. Is 11 a factor of n?
False
Suppose 0 = q - 6*q + 25. Suppose 4*i = -4*t + 296, -i + 2*i + q*t - 54 = 0. Suppose -j - 4*j + i = 3*y, -3*y - 2*j + 64 = 0. Is y a multiple of 17?
False
Let b be -3 - (-3 + 2) - -4. Let j(n) = -3 + 0 + 4 + 3*n + 0*n + n**3 - b*n**2. Is 5 a factor of j(3)?
False
Suppose 0 = -3*w + 2*w. Suppose 5*j - 275 = -w*j. Suppose 2*v = j - 1. Is v a multiple of 12?
False
Does 5 divide 6/4*180/6?
True
Let l(a) = a**2 + 2*a - 3. Let z be l(3). Suppose 2*p + z = p. Does 8 divide (-2)/(-9)*-6*p?
True
Let h = 10 + -6. Let v(j) = -2*j**3 + 3*j**2 + 6*j. Let o be v(-4). Suppose 4*c - o = q, -5*q - 16 = h. Does 14 divide c?
False
Suppose -5*k = u - 14, 2*k + 2 = -3*u + 5. Suppose 4*r - 14 = k*r. Is 11 a factor of r?
False
Suppose -l - 58 = -100. Is l a multiple of 9?
False
Let b(t) = t**3 - 12*t**2 + 12*t. Let w be (12/(-1))/(-1) - 1. Is 4 a factor of b(w)?
False
Let c(v) = v**2 - 4*v. Let u be c(4). Suppose u = -2*h - l + 1, -5*h - 2 + 0 = 4*l. Is ((-2)/1)/(h/(-16)) a multiple of 6?
False
Let g = -4 + 9. Suppose -44 = z - g*b, 2*z + 3*z + 5*b + 220 = 0. Does 11 divide 4/(-8)*z/1?
True
Let r(s) = -s**3 - s**2 - s - 7. Let b be r(0). Let k = b + 13. Suppose 1 = y - k. Does 2 divide y?
False
Suppose 0 = 5*k + 7 - 82. Is k even?
False
Suppose 526 + 554 = 9*r. Does 8 divide r?
True
Suppose 0 = n + 2*h - 25, 3*n + 3*h + 55 - 136 = 0. Suppose -3*q - 5*l - 38 = -5*q, -5*q = -l - 49. Suppose -q = t - n. Is t a multiple of 10?
True
Let g(a) = -22*a - 2. Is g(-1) a multiple of 10?
True
Let z(q) = q**3 - 20*q**2 - 9*q. Is z(21) a multiple of 18?
True
Suppose 3 + 6 = -3*a. Let l = -2 - a. Is (3 - l) + 0 + 1 even?
False
Let v = 14 - -22. Let q = v + -92. Let a = q - -107. Does 17 divide a?
True
Suppose -24 = -2*a + 74. Does 7 divide a?
True
Suppose 0 = -4*b + 3*i + 6, 4*b - 6*i - 8 = -4*i. Suppose 5 + b = o. Is o a multiple of 8?
True
Let j = 80 - 72. Does 2 divide j?
True
Let q be 11 + 0*(-3)/12. Suppose -s + q + 44 = 3*v, s = 1. Is v a multiple of 18?
True
Let s = 5 + -3. Let x be (-24)/15*(-5)/s. Suppose -4*h = 4*m - 9*m + 94, 0 = -x*m + 5*h + 77. Is 7 a factor of m?
False
Let m(p) = 2*p + 15. Does 4 divide m(0)?
False
Let b(z) = -1 + 9 + 0*z**2 - z**2 + 13*z. Is 14 a factor of b(10)?
False
Let k be 3/((-3)/(-4)) + 0. Suppose 48 = k*o - 56. Suppose 3*t - o + 8 = 0. Is t a multiple of 3?
True
Let p be 1*(-15 - -2 - -1). Does 15 divide 0 + 40/p*-9?
True
Suppose -445 = -3*z - 0*t + t, -3*z + 3*t = -435. Does 30 divide z?
True
Suppose -w + 14 = -r, -2*w + 3*r + r + 30 = 0. Suppose -z + w = 3. Does 5 divide z?
True
Does 7 divide (-48)/(-2) - 5/(-5)?
False
Let g be (-2 - -2 - -54) + -1. Let q = g + -32. Is q a multiple of 15?
False
Suppose -3*h = -7*h + 28. Suppose 2*d + h = 43. Does 6 divide d?
True
Let f be 0 - 4/6*-6. Let t(z) = -z**2 + 7*z - 6. Is t(f) a multiple of 6?
True
Let y be 2/6*(-34 - -1). Let t = y + 31. Suppose j = -j + t. Is 10 a factor of j?
True
Let d = 95 + -19. Is d a multiple of 19?
True
Let q(r) = r**2 + 2*r + 1. Let s be q(-1). Suppose s*d - 3*d + 15 = 0. Let w = 12 + d. Is 17 a factor of w?
True
Let a(o) = -54*o - 1. Let q(x) = x. Let g(d) = -a(d) - 3*q(d). Is g(1) a multiple of 13?
True
Suppose 20 = 2*r - 2. Is 4 a factor of r?
False
Let m = 3 - -11. Is 7 a factor of m?
True
Is 5/20 - (-278)/8 a multiple of 5?
True
Is 4 a factor of 4/14 + 162/21?
True
Let g = 194 - 50. Is g a multiple of 12?
True
Suppose 3 = 5*w + 118. Let h = 88 + w. Does 15 divide h?
False
Let f(k) be the third derivative of k**5/60 + 5*k**4/24 + 4*k**3/3 + 2*k**2. Let q be f(-6). Is 21 a factor of (-4)/q - (-1776)/42?
True
Does 6 divide (-3 - -1) + 4 + 12?
False
Suppose -3*t = -t - 8. Suppose -t*j + 27 = -1. Is j a multiple of 2?
False
Suppose -5*y - 111 = -2*c, 41 = 4*c + y - 126. Is c a multiple of 34?
False
Suppose 4*o + 5*a + 30 - 88 = 0, -4*o + 5*a + 78 = 0. Is o a multiple of 17?
True
Let y be 4/2 - 777/3. Let j = 49 + y. Let b = -147 - j. Does 18 divide b?
False
Suppose -4*z - 9 = -33. Let i = z + -18. Let o = 25 + i. Does 8 divide o?
False
Suppose -4*u = -u - 6. Suppose 0 = -3*b + 4*m + 11, 5*m = 5*b + u*m - 22. Is 4 a factor of b?
False
Suppose -4*t + 2 = -22. Does 3 divide t?
True
Suppose 3*j = 4*j - 4. Suppose -2*t = j*f + 14, 6*f = 2*f - 4. Is 8 a factor of t/20 - 122/(-8)?
False
Suppose 18*z - 182 - 592 = 0. Is z a multiple of 17?
False
Suppose 2*f - 4*f + 15 = d, 3*f - 31 = -2*d. Is d a multiple of 15?
False
Suppose 5*h = v - 455 + 1384, 543 = 3*h + 3*v. Let l = h - 121. Suppose -p - l = -5*p. Is 7 a factor of p?
False
Suppose -2*f + 0*f + 2 = 0. Does 18 divide -2 - 1 - (f + -40)?
True
Let r(t) = t**2 - t + 45. Is 9 a factor of r(0)?
True
Let i(c) = -c**3 - 10*c**2 - 10*c - 7. Let r be i(-9). Suppose w - 24 = -h, -h + r*w = 4*h - 99. Is 11 a factor of h?
False
Let v(l) = -l**2 - 3*l + 1. Let k be v(-2). Suppose -k*m = m + 4. Is m/(10/(-9) + 1) a multiple of 9?
True
Suppose 0 = -5*v + v + 8. Suppose 65 = 3*z + v*c, -3*c = -3*z + 1 + 74. Does 23 divide z?
True
Suppose 4*u - 2*u + 2 = 0. Let f be (-24)/8 + 1*16. Is -3 + u + 3 + f a multiple of 6?
True
Suppose -14*g = -11*g - 6. Suppose -g*v + 244 = 2*v. Is v a multiple of 14?
False
Let w be 144/4 - 4/(-4). Suppose 3*p + w = l, 4*l = -3*p + 102 + 46. Is l a multiple of 8?
False
Let r = -10 + 13. Suppose 0*c + 5*c - r*q = 76, -4 = -c - 5*q. Is 11 a factor of c?
False
Suppose 2*m + 3*b - 237 = -2*m, 2*b = 4*m - 222. Let z = 8 + m. Is 18 a factor of z?
False
Let y(d) = 12*d**2 + 2*d - 2. Suppose 0 = 4*r - 8 - 0. Is y(r) a multiple of 17?
False
Let i = 10 + -38. Is 7 a factor of (36/24)/((-2)/i)?
True
Let m = -42 + 75. Does 8 divide m?
False
Let h = 23 + 13. Does 12 divide h?
True
Suppose 0 = 3*x - 284 - 112. Is x/9*3/2 a multiple of 11?
True
Let u = 13 - 10. Suppose 0 = h + u*h - 84. Is h a multiple of 9?
False
Suppose 0 = -w - 3*w. Let y(k) = -2*k**3 + 3*k**2 - 4*k + 20. Let h(p) = 3*p**3 - 5*p**2 + 7*p - 40. Let b(r) = -3*h(r) - 5*y(r). Is b(w) a multiple of 6?
False
Suppose 0 = -2*i + 42. Is i a multiple of 7?
True
Let x(d) = 13*d + 6. Let t be (-56)/(-10) + (-8)/(-20). Let b be x(t). Suppose -k - b = -4*p, -2*p - p + 3*k + 63 = 0. Does 9 divide p?
False
Let a(z) = -3*z - 3. Let y be (-1 + -3)*(0 - 1). Let t = y - 7. Is 3 a factor of a(t)?
True
Let l be (-3)/2 - (-9)/6. Let t be -1 - l - (-12)/4. Let i = t + 22. Is i a multiple o