 a multiple of 17?
True
Let o = -285 + 691. Is 24 a factor of o?
False
Suppose 4*d + 31 = 155. Does 11 divide d?
False
Let a be ((-15)/(-12) + 0)*-4. Let v = 12 + a. Is 7 a factor of v?
True
Let i = 19 - 28. Let d = 1 - i. Does 5 divide d?
True
Let z(w) be the third derivative of -w**4/24 + 4*w**3/3 + 4*w**2. Does 5 divide z(-6)?
False
Let t(k) = -2*k**2 + 30*k. Does 2 divide t(14)?
True
Suppose 5*j + 2*x = -2, -5*j + 3 = 2*x - 5*x. Suppose 9*f - 4*f + 122 = z, j = 5*f - 2*z + 119. Does 24 divide (2 - f) + 3/(-1)?
True
Let w be (4/(-5))/(1/(-10)). Suppose -2*z = 5*x - 17, -z + w = 2*x + x. Is z a multiple of 11?
True
Let x be 0/(-2) + 37 + -3. Let o = -12 - 9. Let f = x + o. Is 13 a factor of f?
True
Let t = -1 + 3. Suppose -p - n = -4*n - 9, -4 = t*n. Let v = 8 - p. Does 3 divide v?
False
Suppose -3*i - 12 = 0, 3*z - 8*z = -3*i - 37. Suppose -240 = 2*g + g - 2*o, -3*o = z*g + 381. Does 5 divide (-6)/10 + g/(-5)?
True
Suppose 0 = s - 2*s - 4*n + 20, 90 = 3*s - 3*n. Is 5 a factor of s?
False
Let h(b) = -b**3 + 6*b**2 + 8*b - 1. Let n be h(7). Let y be (-35)/2 - 2/(-4). Does 7 divide 2/(n/9) - y?
False
Suppose -5*w - 4*m - 22 = 0, 4*w - 4 = -2*m - 18. Let l = 8 + w. Does 3 divide l?
True
Let k = -1 - -121. Is k a multiple of 10?
True
Suppose 2*y = h + 36, -y - 52 = -3*y - 3*h. Is y a multiple of 12?
False
Let b = -14 - -24. Is b a multiple of 5?
True
Is (-695)/(-4) + (-5)/(-20) a multiple of 15?
False
Suppose 7 + 48 = w. Let s = w + -29. Let q = s - -3. Is 17 a factor of q?
False
Suppose 0 = -4*p - p + 755. Suppose 2*m + p = 4*s - m, 155 = 5*s + 3*m. Is s a multiple of 25?
False
Let u = 10 - 9. Let w be u/(-6) - 155/(-30). Suppose 2*v + 6*q - 54 = 4*q, 89 = 3*v - w*q. Is v a multiple of 9?
False
Let a(c) = c**2 - 5*c - 19. Let h be a(8). Suppose -b = -2*v - 6*b + 102, 0 = -v + h*b + 66. Is v a multiple of 28?
True
Suppose 5*z + 27 = 3*l, -3*l - 2*l + 2*z + 26 = 0. Let v(q) = q + l + q**2 - 6 + 0. Does 2 divide v(-3)?
True
Suppose 755 = z + 4*z. Suppose -80 = -2*s + 3*k + 9, -3*s + k + z = 0. Suppose 5*n + 4*o - 107 = 0, 2*n - 4*n + s = -3*o. Is n a multiple of 13?
False
Let p(n) = -5*n**3 - 2*n**2 + 1. Let k be p(-1). Let s be (-46)/6*1*-3. Suppose k*w - 95 + s = 0. Does 8 divide w?
False
Let n be 22/(6/3) + -2. Let k = n + -5. Suppose 3*v - m - 2*m - 57 = 0, k*v + 5*m - 76 = 0. Does 11 divide v?
False
Suppose 0 = -7*w + 2*w - 5*f + 170, -3*f + 180 = 5*w. Does 13 divide w?
True
Let u be (-8)/3*189/(-4). Let j = u - 76. Suppose -d = 4*d - j. Is 5 a factor of d?
True
Suppose l + l = -82. Let y = l - -69. Is 14 a factor of y?
True
Let w be 2*(0 - -1) + 48. Is (-274)/(-10) - 20/w a multiple of 27?
True
Let z(s) = -s**3 - 5*s**2 - 3*s. Let c be z(-3). Suppose 4*u = -3*g + 57, 5*g = u - 2*u + 78. Let f = g + c. Is f a multiple of 6?
True
Suppose -3*g - 2*m = -6*g + 10, -4*m = 3*g + 20. Suppose 0 = -2*b + 26 - 6. Let l = b + g. Does 5 divide l?
True
Suppose -61*n + 65*n = 84. Does 10 divide n?
False
Let i = 6 + -12. Let t(d) = -d**2 - 8*d + 1. Does 13 divide t(i)?
True
Suppose 149 - 47 = -2*k. Let d = -5 - k. Is d a multiple of 14?
False
Suppose 5*k = 4*b - 565, -2*k - k = -5*b + 703. Is 35 a factor of b?
True
Suppose -b + 6*b = -g - 25, 3*g - 5 = b. Suppose c - 5*c + 72 = g. Is 8 a factor of c?
False
Let z be (-15)/(-9) - (-2)/6. Suppose -z*c + 0*c = -80. Is c a multiple of 10?
True
Suppose 5*l + 4*d = 273, -28 = -l + 5*d + 44. Let t = l + -20. Does 11 divide t?
False
Let y(n) = -n**3 - 3*n**2 + 3*n + 6. Let w = 0 + -4. Is y(w) a multiple of 10?
True
Let j(f) = 36*f - 4. Let v be j(7). Suppose -v = -13*q + 9*q. Is q a multiple of 17?
False
Let a be 4/(-2*(-3)/(-51)). Let h = -21 - a. Is 6 a factor of h?
False
Let p = -25 - -121. Does 32 divide p?
True
Let p(n) = -6*n - 6. Let g(z) = -z**3 - z**2 - 10. Let t be g(0). Is p(t) a multiple of 18?
True
Let g(u) = -6*u - 12. Is 14 a factor of g(-9)?
True
Suppose 5*r - 5 = 4*r. Let g(z) = z**2 - 5*z + 2. Is 2 a factor of g(r)?
True
Is (-8)/(3 - 19/6) a multiple of 8?
True
Suppose 2*u = -t + 15 - 6, 4*u - 4*t = 0. Suppose h - 6 = -2*z + u*h, z + h + 7 = 0. Is 12 a factor of ((-1)/2)/(z/96)?
True
Let c(l) = -l**3 - 7*l**2 - 5*l + 3. Suppose 16 = -4*m - 8. Let b be c(m). Let t(g) = g**3 + 5*g**2 + 3*g - 4. Is 5 a factor of t(b)?
True
Let n(k) = -6*k**2 + 17*k - 11. Let a(v) = 4*v**2 - 11*v + 7. Let l(t) = 8*a(t) + 5*n(t). Does 13 divide l(4)?
False
Is (-2)/9 + (-4436)/(-36) a multiple of 41?
True
Suppose 9*s - 7*s - 146 = 0. Is s a multiple of 24?
False
Let g(q) = -q**2 - 13*q - 2. Let j be g(-12). Suppose 0 = j*r - 6*r - 12. Is r even?
False
Let k be 2*-2*1/2. Is 9 a factor of (3 + k)/(1/21)?
False
Does 11 divide (-44 - (3 + -3))/(-2)?
True
Let f(k) = 3*k + 18 - 18. Let a be f(-2). Does 20 divide (-4)/a - (-282)/9?
False
Let i be 60/14 + (-14)/49. Suppose -i*d = -7*d + 6. Suppose -d*m = m - 63. Is m a multiple of 7?
True
Let u(j) = -5*j + 11. Is u(-9) a multiple of 14?
True
Let c be 1/2 - (-5)/10. Let d be c - (-3 + 2 - 0). Let a(j) = 2*j**3 + 2*j - 2. Is 6 a factor of a(d)?
True
Suppose 70 = -5*k + 215. Let q = k + -9. Is 4 a factor of q?
True
Let l(s) = -s**2 - 6*s + 17. Is 7 a factor of l(-6)?
False
Let l = 0 + 1. Let p(q) = -3*q - 5 - l + 8*q. Is p(4) a multiple of 14?
True
Suppose 4*a = a + 9. Let i(f) = -f**3 + 4*f**2 + 4*f - 6 + 2 - f. Is 7 a factor of i(a)?
True
Let n be (-1 + 129/9)*9. Suppose -q - 3*q + n = 0. Does 10 divide q?
True
Suppose 3*q + 15 = 108. Does 9 divide q?
False
Let i = 15 - 13. Is 2 a factor of i?
True
Let d(r) be the first derivative of r**2/2 - 4*r + 3. Let t be d(4). Suppose 2*k + t*k = 128. Is k a multiple of 25?
False
Let l(j) = -j**2 - 8*j + 11. Does 7 divide l(-7)?
False
Let w = -8 + 17. Let p = 17 - w. Is 3 a factor of p?
False
Suppose 3*o + 0*q - 4*q + 41 = 0, 3*q - 28 = 2*o. Suppose 19 = 5*l - 4*l. Let m = l + o. Does 6 divide m?
False
Suppose -8*p + 28 = -p. Is 5 a factor of p/(-10) + (-81)/(-15)?
True
Let t = 35 - 5. Does 10 divide t?
True
Is (-4)/14 + (-762)/(-21) a multiple of 9?
True
Suppose -4*f + 96 = -0*f. Let x = 44 - f. Is x a multiple of 10?
True
Let a(h) = -h**2 - 5*h + 2. Let t be a(-5). Let i = 8 - t. Is 6 a factor of i?
True
Let s be 2/3*(-9)/(-2). Suppose -s*j = -126 + 15. Does 14 divide j?
False
Suppose v - 252 = -2*a, -4*v - 390 - 266 = -5*a. Is a a multiple of 31?
False
Suppose 2*q - 3*q + 28 = 0. Suppose y - 4*t - q = 0, 2*y - 5*t + 0*t = 59. Is 16 a factor of y?
True
Let q(r) = 12 - 3*r + 4*r - 3*r + r. Let d be q(10). Suppose l - u = 5 + 7, -5*l + d*u + 66 = 0. Does 4 divide l?
False
Suppose -1 - 4 = -s. Suppose s*g = 35 - 15. Is 4 a factor of g?
True
Let q(u) = -u**2 - 6*u - 6. Let r be q(-4). Let i(c) = -c**2 + 3*c + 3. Let t(g) = 4*g + 3. Let b(a) = -6*i(a) + 5*t(a). Does 15 divide b(r)?
False
Suppose 160 = 4*d - 4*h, h - 70 = -2*d + 19. Let z = d - 23. Let u = z + -8. Is u a multiple of 7?
False
Let f(h) be the second derivative of h**5/20 + h**4/4 + h**3/3 + h**2 + h. Let m be f(-2). Suppose 4*z + 13 = 5*u - 45, u = 4*z + m. Is u a multiple of 14?
True
Let y be (-3)/2*(-1 - -5). Suppose -p = -2*t - 1 + 8, 5*p + 22 = -3*t. Does 20 divide t/2 + (-237)/y?
True
Let p be (16 - 0)*(-9)/(-4). Let c = p - 0. Does 12 divide c?
True
Suppose -3*t + 3 = -3*s, t = -3*s - 0*t + 9. Suppose 5*x - 126 = 2*f, 0*x + 4*f - 60 = -s*x. Is 21 a factor of x?
False
Suppose -5*u = -505 + 10. Suppose 3*c + u = 3*p, -p - 3*p + 3*c + 130 = 0. Is 31 a factor of p?
True
Suppose 5*a - 167 - 123 = 0. Does 28 divide a?
False
Let t(j) = -2*j**3 + 2*j**2 + 2*j + 1. Let l be t(-1). Let c be 1/l + 10/6. Suppose 0*x = -c*x + 46. Is 6 a factor of x?
False
Let f be 2/8 + (-527)/(-4). Let u be f/(-20) - (-2)/(-5). Let m = u + 10. Is 3 a factor of m?
True
Suppose -2*o + 35 = h, -2*o - 2*o = -2*h + 38. Is 10 a factor of h?
False
Suppose -28 = -3*p + 53. Suppose 0*h + 37 = 4*o + h, -25 = -5*h. Suppose 0 = u - o - p. Is u a multiple of 17?
False
Let l(q) = q**3 + 6*q**2 + 4*q - 1. Let p be l(-5). Let s(i) = 2*i - i**3 + 2*i + 7*i**2 + p*i + 10. Is s(8) a multiple of 10?
True
Suppose -3*z + 7*t + 23 = 3*t, 4*t - 13 = -z. Is z a multiple of 3?
True
Suppose -144 = -3*i + 87. Suppose 3*w - 10 = 4*k - 91, w = -3*k + i. Does 10 divide k?
False
Suppose 5*b - 152 - 33 = 0. Suppose 5*s = 123 + b.