False
Does 17 divide ((-16)/(-14))/(54/11529)?
False
Let g(i) = -7*i**2 - i - 5. Let n(q) = -20*q**2 - 2*q - 14. Let d(x) = 11*g(x) - 4*n(x). Suppose -4*p - 6 - 16 = -5*c, 0 = -2*p - 6. Is d(c) a multiple of 7?
True
Let d = 257 - 194. Is d a multiple of 59?
False
Let o = 1542 - 913. Does 17 divide o?
True
Let h(o) = -88*o**2 - 5*o + 44*o**2 + 48*o**2 + 1. Is h(-5) a multiple of 21?
True
Let o be (298/(-6))/((-2)/6). Suppose -j = 3*c - 33, -3*j - c + o = -2*c. Is 16 a factor of j?
True
Suppose -7*l = -3*l + 140. Let y = l - -63. Does 14 divide y?
True
Suppose 5*s + d + 2*d = 85, -s + 35 = -3*d. Suppose -s = -3*j + b + 14, 5*j - 40 = 5*b. Is j a multiple of 4?
False
Suppose o = 2 + 24. Let g be (-4)/o - 384/39. Let w = g - -28. Is 9 a factor of w?
True
Let g = 28 - 23. Let r(l) = l**3 - 4*l**2 + 10*l - 5. Is 19 a factor of r(g)?
False
Let f = 656 - 441. Is 4 a factor of f?
False
Suppose 83 = 4*u - 5*d - 189, d = -4*u + 272. Suppose -u = -n + 28. Is n a multiple of 12?
True
Suppose 3*f - 8*f = -20. Suppose -b - f*b - 5*m - 290 = 0, 5*m = b + 34. Is 3/(-2) - b/4 a multiple of 4?
True
Let c = 698 - 68. Does 14 divide c?
True
Let z = 59 - 24. Let v = -2 + z. Is v a multiple of 4?
False
Let j(x) = -8*x. Let w(f) = f - 19. Let t = -34 + 47. Let o be w(t). Is j(o) a multiple of 6?
True
Let c(y) = y**3 - 3*y**2 - 2*y + 3. Let n be c(3). Does 6 divide (25 - 4/(-2)) + (n - 0)?
True
Suppose -1015 - 65 = -6*k. Is k a multiple of 10?
True
Let j = -62 - -90. Is 2 a factor of j?
True
Suppose -109 + 127 = 6*r. Suppose -2*n - 40 - 3 = -3*m, 0 = r*m - n - 44. Is m a multiple of 3?
True
Is 2/14 - 39616/(-224) a multiple of 5?
False
Let p(m) = 504*m**2 + 4*m - 2. Does 11 divide p(1)?
True
Suppose p = -3*p + 10972. Suppose 895 - p = -7*y. Is 44 a factor of y?
True
Let x(v) = 2*v**2 - 2*v + 15. Let c be x(-4). Let h = c + -13. Does 7 divide h?
True
Let o be (0 + -3)*-1 + 4. Suppose -2 = 3*k - c, -2*c = o*k - 2*k - 4. Suppose k = 5*a + 102 - 342. Is 12 a factor of a?
True
Let m = -430 - -686. Is m a multiple of 8?
True
Suppose -4*o - o = -935. Does 2 divide o?
False
Let z be (58 + 0)*(-14)/(-28). Let h = 56 - z. Does 3 divide h?
True
Suppose -14*h = -57*h + 6837. Does 58 divide h?
False
Suppose 9 - 1 = -2*a, -2*k - 3*a + 26 = 0. Let d = 2 - 0. Suppose m = -u + k, -5*m = d*u - 59 + 15. Does 8 divide u?
False
Suppose 4*f - 235 = -f. Suppose -28 = -2*z - 0. Suppose v - f = -z. Is v a multiple of 6?
False
Suppose 2*l - 3*l + w - 14 = 0, 4*l - 5*w + 60 = 0. Does 16 divide 3/(-1 + 0) - 7*l?
False
Suppose -3*c + 1636 = -x, 7*c = 12*c - 4*x - 2722. Does 18 divide c?
False
Let p be (-1070)/(-50) - 4/10. Is 7/(p/18) + 1 a multiple of 7?
True
Is (35/(-14))/((-30)/156) a multiple of 2?
False
Let t(w) = -w**2 - 9*w - 11. Let k be t(-7). Suppose -n + 488 = 4*g + 2*n, -k*n = -4*g + 512. Suppose 4*x - g = -13. Is x a multiple of 6?
False
Suppose t = 4*f - 16, 0 = 17*f - 15*f + 2*t - 18. Suppose -3*v - 53 = -5*p, 10 + 15 = 3*p + 5*v. Suppose -f*z = -p*z + 80. Does 8 divide z?
True
Let h(t) = -7*t**3 - 14*t**2 + 15*t - 27. Let p(s) = -4*s**3 - 7*s**2 + 7*s - 14. Let i(r) = 6*h(r) - 11*p(r). Is 30 a factor of i(4)?
True
Let h(o) = o - 19. Let z be h(13). Is 3 a factor of 32 + (z/(-2) - 1) - 3?
False
Suppose 0 = 5*a - 3*b - 2369, -3*b + 1276 = 5*a - 1105. Is a a multiple of 19?
True
Let w = -958 + 1305. Is 5 a factor of w?
False
Let o = 6 - 4. Let g(v) = -2*v**o + 12*v**2 + 8*v**2 + 0*v - v. Is g(1) a multiple of 6?
False
Let g(l) = 44*l**3 + 1. Let x be g(1). Suppose x - 234 = -d. Suppose d = 2*u + u. Is u a multiple of 16?
False
Suppose 105*j - 750 = 103*j. Does 9 divide j?
False
Suppose 3*k + 4*k = 0. Suppose g - 28 + 7 = k. Does 9 divide g?
False
Let n = 69 + -45. Suppose 2*o = -2*o - n. Is 156/10 - o/15 a multiple of 5?
False
Let u(s) = 24 - 4 - s + s**2 + 5. Let c be 104/28 + -4 - (-6)/21. Is u(c) a multiple of 13?
False
Suppose -2*p - 5*n - 10 = p, -2*n = -5*p + 35. Let d(r) = -r**3 + 4*r**2 + r - 7. Let q be d(p). Let z = 30 + q. Is z a multiple of 3?
True
Suppose 33*o = 34*o - 250. Suppose o = -6*p + 682. Is 12 a factor of p?
True
Let g = 519 - 142. Is g a multiple of 17?
False
Suppose 4*p = 3*t + 19, -5*p - t + 17 = 2*t. Let c = 1095 - 1086. Suppose 0 = -c*w + p*w + 50. Is w a multiple of 5?
True
Let i(u) = 3*u**2 + 14*u + 3. Let d(j) = -3*j**2 - 15*j - 4. Let h(v) = 5*d(v) + 6*i(v). Is h(-6) a multiple of 6?
False
Suppose 2*n = 2834 + 370. Does 32 divide n?
False
Let m = 117 + -12. Suppose 7*y = 2*y + m. Is 3 a factor of y?
True
Suppose w - 37*w + 11484 = 0. Does 2 divide w?
False
Let c(j) = j**2 + j - 2. Let y be c(5). Let h = 34 - y. Is 2 a factor of h?
True
Let s = -209 + 319. Is s a multiple of 22?
True
Let t = 977 - -403. Does 60 divide t?
True
Let v(m) = m**2 - 4*m - 3. Let t be (-3 - -4)*-4 + -2. Let f(s) = -s**2 + 4*s + 2. Let p(u) = t*f(u) - 5*v(u). Is 6 a factor of p(5)?
False
Is 12*(-7 - 502/(-4)) a multiple of 37?
False
Let j be (-105)/10*(-2)/3. Suppose j*v - 138 = v. Is 4 a factor of v?
False
Suppose 81*v - 76*v = -3*z + 1098, -2*z - 655 = -3*v. Is v a multiple of 39?
False
Suppose 0 = -4*o + 4*f - 40, 5*f = -4*o - 2 + 7. Is 1/o + 1728/15 a multiple of 21?
False
Suppose 5898 + 36951 = 23*o. Does 29 divide o?
False
Suppose 0*m = -3*m. Suppose m = -2*b + 1315 - 8899. Does 27 divide b/(-44) - 2/11?
False
Let z(c) be the second derivative of c**5/20 + 5*c**4/6 - c**3/6 - 3*c**2 + c + 99. Suppose 24 = -3*l - k, 7*k - 60 = 5*l + 2*k. Is 11 a factor of z(l)?
False
Is 61 a factor of 930/(-4)*(-16)/12 - 5?
True
Suppose -w + 1066 = 5*j - 0*w, -2 = -2*w. Is j a multiple of 8?
False
Let u(i) = i**3 - 13*i**2 + 20*i - 31. Is u(12) a multiple of 6?
False
Let h be (-3 - (0 - 2)) + 6. Let w(l) = -l**2 + 5*l + 13. Let z be w(7). Is h*3/(z - -4) a multiple of 3?
False
Let v(t) = -t**3 - 10*t**2 - 2*t - 4. Let n be v(-5). Let b = -168 - n. Let x = -33 - b. Is 5 a factor of x?
False
Suppose -2*p + i + 70 = 0, 0 = p - 3*i + i - 41. Suppose -p = -5*t - 2*z + 1, -3*t + 4*z = -36. Is 5 a factor of t?
False
Let u = 257 + 104. Suppose -5*b - 16 + u = 0. Is b a multiple of 23?
True
Suppose 13*c = 5*c + 3360. Does 28 divide c?
True
Let l = 650 + 336. Is l a multiple of 3?
False
Let d = 208 - -368. Is 64 a factor of d?
True
Let i be (-18)/(-8)*(-4)/(-3). Suppose -i*b = b - 36. Is b a multiple of 5?
False
Suppose 3*d = -5*y - 57, -2*y - 3*d = -0*d + 30. Let v be 6/(-9) - 735/y. Does 8 divide (-1)/((-3)/(v/3))?
False
Suppose 113220 = -51*g + 312783. Does 121 divide g?
False
Let s(q) = 17*q - 33. Let o(g) = g**2 - 2*g - 4. Let c be o(-3). Does 16 divide s(c)?
False
Let o = -35 + 38. Suppose 0 = -4*q + o + 5. Suppose -q*m + 26 = -16. Is 16 a factor of m?
False
Let q(o) = -o**3 + 22*o**2 + 31*o + 21. Does 4 divide q(23)?
False
Let k(v) be the third derivative of 1/2*v**3 + 1/24*v**4 + 0*v - 1/120*v**6 - 3*v**2 + 0 - 1/20*v**5. Does 5 divide k(-4)?
True
Let z(a) = 3*a**2 - 20*a + 28. Does 28 divide z(14)?
True
Let r be (-80)/36 - 2/(-9). Let a(v) = -v**2 + 13*v - 10. Let f(t) = -5*t**2 + 65*t - 49. Let x(g) = r*f(g) + 11*a(g). Does 9 divide x(10)?
True
Let b(t) = -t**2 + 6*t + 5. Let y be (-1 - 1)/1 - -8. Let j be b(y). Suppose 0 = -0*h + j*h - 145. Is h a multiple of 29?
True
Suppose 0 = -14*g + 15*g - 4*o - 72, 3*g = o + 161. Does 2 divide g?
True
Let y be 3 - (13/(-3) - (-12)/(-18)). Is 9 a factor of (y/(-10))/2 + (-2176)/(-40)?
True
Let o = -11 + 10. Let v = o - -5. Suppose -2*y + 2*h = 2*y - 96, -v*y = 5*h - 82. Is y a multiple of 19?
False
Is 18 a factor of -4 - (-13288)/16 - (-2)/(-4)?
False
Let x = -133 + 48. Let m = -57 - x. Suppose 3*u - 3*c = m + 44, u - 5*c = 36. Is 6 a factor of u?
False
Does 13 divide 1124/2 + (-33)/11?
True
Suppose -29*s = -13264 - 6311. Is 22 a factor of s?
False
Let d = 48 + 912. Is 16 a factor of d?
True
Let d = 434 - 5. Is 11 a factor of d?
True
Suppose 0 = -10*q + 45*q - 18620. Is q a multiple of 3?
False
Let i = 20 + -10. Does 43 divide (i - 8)/((-4)/(-178))?
False
Let g = 164 + -54. Suppose 646 + g = 7*d. Does 12 divide d?
True
Let y(i) = -i**2 - 3*i + 7. Suppose h = -3*s + 17, s + s + 3*h - 23 = 0. Let z be y(s). Is 7 a factor of ((-4)/(-12))/((-1)/z)?
True
Is 10 a factor of (6 - 2) + 81 - (-4 + 9)?
True
Let x be (6 + 0)*(-5 + (13 - 2)). Suppose 590 = -