ple of 15?
False
Let h(g) = g**2 - g. Let p be h(5). Let d = -10 + p. Suppose d*s = 5*s + 25. Is 5 a factor of s?
True
Suppose -c - 5 = 13. Does 16 divide 0 + 8*c/(-3)?
True
Let a = 26 + -17. Is 9 a factor of a?
True
Let a(d) = d**3 - 3*d**2 - 5*d + 1. Let k be a(4). Let j = 7 + k. Suppose 0 = -0*c + j*c - 76. Does 19 divide c?
True
Suppose 4*p + d - 194 = 114, 0 = 4*p - 4*d - 328. Is 18 a factor of p?
False
Let i(s) = -s**2 + 7. Let o be 1 + (3 - 2) + -2. Is i(o) even?
False
Let x = 2 + 2. Let w = 11 - x. Does 3 divide w?
False
Let h be (2 - 4 - -52) + -1. Let p(r) = r**3 + 5*r**2 - 3*r + 2. Let d be p(-3). Let o = h - d. Does 10 divide o?
True
Suppose -3*g = -53 - 127. Is g a multiple of 15?
True
Let y(f) = -1 - 4*f**2 - 2*f + 6*f**3 - 24*f**3 + 3*f**2. Suppose 0 = -2*s + 2*g - 12, 2*s = 4*s + 2*g - 8. Is y(s) a multiple of 8?
False
Let l(d) = -3*d - 1. Let f = 0 + -2. Does 4 divide l(f)?
False
Let l(u) = 25*u**2 + 3*u + 1. Is 27 a factor of l(-2)?
False
Let w = -12 - -14. Suppose -4*s - w*f = 3*f - 110, 3*f - 6 = 0. Is s a multiple of 11?
False
Suppose v = -8 + 4. Let b(l) = l**3 + 6*l**2 + 5*l + 5. Does 12 divide b(v)?
False
Let h be 5*6*(-2)/(-5). Suppose 0 = -2*a + 14 + h. Does 8 divide a?
False
Let g(o) = o**3 - 3*o**2 + o + 2. Let j be g(2). Suppose j = -3*c - 2*m + 117, 2*c - 78 = m + 3*m. Is (0 - c/6)*-4 a multiple of 15?
False
Let b be (-6)/(-15) - 72/(-20). Does 20 divide 4/b - (-33 - -3)?
False
Is 8 a factor of -6 + 452/10 - (-4)/5?
True
Suppose 5*p = -18 + 43. Suppose p*g - 47 + 147 = 0. Let w = g - -28. Does 4 divide w?
True
Let a = 36 + 12. Is 11 a factor of a?
False
Does 5 divide -2 + 594/8 + 18/(-72)?
False
Let m = 13 - 8. Suppose 2*d - m*j - 25 = 0, 2*j = d + j - 8. Is d a multiple of 2?
False
Suppose -2*z + 27 + 11 = 0. Is z a multiple of 4?
False
Suppose 5*g + 95 = 10*g. Is g a multiple of 16?
False
Suppose -4*n + 6*u + 15 = u, -4*n = 5*u - 25. Suppose n*d - 81 = -6. Suppose -2*c + d = -11. Does 13 divide c?
True
Let n(o) = 2*o**2 - 6*o + 1. Let p be n(5). Does 21 divide (p/14)/((-2)/(-44))?
False
Suppose -5*s = h - 1416, 5*h - 3 = 2. Is 25 a factor of s?
False
Let u = 63 - 19. Let b = u - 14. Suppose -5*l + 2*l + b = 0. Does 5 divide l?
True
Suppose -3*x - 24 = -2*x. Let g = 38 + x. Is g/(-4*3/(-6)) a multiple of 5?
False
Suppose f = 2*k - 15, -k = 3*k + 3*f - 5. Let l be (12/2)/2 + -1. Suppose 2*s = l*n - 20, -3*n + 5*s + 15 = -k*n. Is 2 a factor of n?
False
Suppose 0 = 2*y + 3*y - 50. Let c = 7 + -5. Suppose -c*u - y = 0, 33 = 2*h + 4*u + 1. Is 8 a factor of h?
False
Suppose -25 = 5*x + 5*u, 2*x - 4*u + 7 = -3*x. Is (-95)/x + 4/3 a multiple of 11?
True
Suppose 3*w + w + 8 = 0. Let n be ((-37)/w)/((-2)/(-4)). Suppose 8 = 2*t + 5*c, -18 - n = -5*t + 5*c. Is 9 a factor of t?
True
Let n = 87 + -167. Let a = n + 137. Is a a multiple of 19?
True
Let s be (0 + -1)*4 + 2. Let l = 4 + s. Suppose -1 = -l*b - 2*t + 15, -19 = -2*b - 3*t. Is 3 a factor of b?
False
Let w(q) be the first derivative of -12*q**2 - 1. Does 19 divide w(-1)?
False
Suppose -3*s + 7*s - 48 = 0. Let i be 1/4 - (-45)/s. Suppose 5*j - 154 = i*r, -3*r = -j + 3*j - 57. Is 15 a factor of j?
True
Let s be (1 + -1)/(1 - 0). Is 7*8 + s/(-2) a multiple of 22?
False
Suppose -c = -6 - 9. Let u = -9 + c. Is 3 a factor of u?
True
Let q be 1/3 + (-14)/6. Let a be 43 + -1 + q + 0. Is 19 a factor of (a - 3) + 2/2?
True
Suppose -3*j + 243 - 38 = 5*g, -3*g + 255 = 4*j. Does 10 divide j?
True
Let y = -22 - -117. Is y a multiple of 19?
True
Let m be (0/6)/(0 - -1). Suppose m = -3*g + 13 - 4. Is g a multiple of 3?
True
Let t = 15 + 15. Let h be t/9*3/2. Let o(n) = -n**3 + 6*n**2 - 3*n + 5. Is o(h) a multiple of 15?
True
Suppose -2*c = -2*x - 50, -2*x - 60 = -3*c + 20. Is c a multiple of 10?
True
Suppose -2 = 5*q - a + 3, 2*q + 4*a = -2. Is 13 a factor of (0 + q)/(2/(-106))?
False
Suppose 6*c - 530 = 214. Does 4 divide c?
True
Let o = 9 - 10. Is o/(-3) - (-222)/9 a multiple of 10?
False
Suppose -7*a + 400 + 160 = 0. Is a a multiple of 40?
True
Let p = 0 - -3. Suppose 0 = 2*f + 3*u - 2*u - 69, f - 42 = -p*u. Is 18 a factor of f?
False
Let r(z) = -z**3 + 12*z**2 + 12*z + 18. Let y = 20 + -7. Is 2 a factor of r(y)?
False
Suppose -4*b + b - 42 = 0. Let l = -6 - b. Does 6 divide l?
False
Suppose 0 = -10*h + 6*h + 112. Is 7 a factor of h?
True
Let w(t) = t + 4. Let m be w(0). Is 8 a factor of 1/2*12*m?
True
Suppose 0*k + 5*k = 0. Suppose 4*f + 2*s - 332 = 0, 2*s + 256 = 3*f - k*s. Does 18 divide f?
False
Let w(c) = 2*c - 4 + 1 + 1. Is w(7) a multiple of 12?
True
Let t(s) = s**2 - 1. Let i(l) = 18*l**2 - 2*l - 7. Let p(r) = i(r) - 6*t(r). Is p(-1) a multiple of 13?
True
Let n be (-4)/(-10) - 16/(-10). Suppose -255 = -5*j - 5*g, n*g + g = 2*j - 117. Does 13 divide j?
False
Suppose -2*z - 25 = -97. Is 10 a factor of z?
False
Let y(o) = o**3 + 8*o**2 - 5*o - 7. Let l be y(-6). Let t = l - 33. Is t a multiple of 32?
False
Let y(k) = k**2 - 3*k - 2. Let m be y(-2). Let b = 8 - m. Suppose 0 = -3*j + 36 - b. Does 12 divide j?
True
Suppose -3*w + 1152 = 6*w. Does 32 divide w?
True
Suppose 0 = 2*t - 13 - 5. Suppose -124 = -4*n - 4*f, 0 = n - 4*f - t - 47. Does 15 divide n?
False
Let v be 23/5 + 36/(-60). Suppose -5*d = v + 6, 50 = 2*k + 3*d. Is k a multiple of 18?
False
Let k = -25 + 62. Does 5 divide k?
False
Let q be 55 - -2 - (-1 + 1). Suppose 5*y = -317 + q. Does 13 divide 4/((-32)/6)*y?
True
Let f(j) = 3 + 4*j**2 + 7*j - 7*j. Let l be f(-3). Suppose -4*d + 17 + l = 4*h, 0 = 4*d - 3*h - 35. Is 5 a factor of d?
False
Let q = -5 - -10. Suppose 5*a - 5 = q*c, a = 2*c - 2 + 5. Does 4 divide (-11 - a)*(-4)/4?
False
Suppose 1068 = 14*c - 3356. Is c a multiple of 9?
False
Suppose 3*p + c = -4, 0 = 2*p - c - c. Suppose -4*s + f + 18 = s, 16 = 5*s - 2*f. Let z = s - p. Is z a multiple of 5?
True
Let o(p) be the third derivative of -2*p**4 + p**3/6 + 3*p**2. Is o(-1) a multiple of 13?
False
Let c(n) = n**3 + 2*n**2 - n. Let y be c(1). Does 5 divide (y + (-16)/1)*-1?
False
Suppose -3*t + 3*p = -873, -5*t + 1122 = p - 309. Is 4/(-6) - t/(-21) a multiple of 8?
False
Suppose -3*m - 4 = -2*r + 9, 4*r = -2*m + 18. Let c(t) = -t**2 + 6*t + 5. Does 5 divide c(r)?
True
Suppose -16 = -2*u - 2*u. Suppose 1 = -2*r + 3*j, 3*r - j = j - u. Is r - 3*6*-2 a multiple of 22?
False
Let v(z) = -z + 5. Let f be v(4). Does 11 divide 25 - (f/(-1) + -1)?
False
Does 8 divide 2667/33 + (-6)/(-33)?
False
Let l be ((-18)/(-5))/(1/(-10)). Let w = -15 - l. Is w a multiple of 10?
False
Suppose b - 49 = -3*u - 4*b, -5*u = 4*b - 60. Is u a multiple of 5?
False
Suppose -a + 3*a = 0. Let c be (-1 - a)*0 - 2. Is 58*c/(-2 + -2) a multiple of 16?
False
Let y = 159 + -109. Does 10 divide y?
True
Is ((-10)/7)/((-3)/21) a multiple of 3?
False
Suppose 5*h = q + 19, 0 = -5*q + 4*h - 6*h - 203. Let c = 75 + q. Does 18 divide c?
True
Let f = -21 - -43. Let x = 11 + f. Is x a multiple of 22?
False
Suppose -2*a - 74 = -4*d, -2*d = 4*a - 10 + 118. Let w = a - -69. Does 14 divide w?
False
Suppose -8 = -4*x + 16. Is 15 a factor of (4/x)/((-2)/(-123))?
False
Let a = 6 - 2. Let y(s) = s**3 - 3*s**2 - 2*s - 5. Let m be y(a). Suppose -m*b - 4*w + 22 = 0, -b + 38 - 14 = -2*w. Is 7 a factor of b?
True
Does 4 divide ((-18)/15)/(15/(-100))?
True
Let l be (14 + -8)*(-4)/6. Let a(k) = -3*k + 2. Does 4 divide a(l)?
False
Let x(k) = k**3 - 8*k**2 - 8*k - 13. Let z be x(9). Let j = 7 + z. Is j a multiple of 3?
True
Suppose -j - 2*j + 15 = 0. Suppose 9 = -3*l - a + 41, j*l - a = 64. Is l a multiple of 12?
True
Suppose 5*o = d - 0*o - 36, -4*o = 5*d - 151. Let q = 4 + 3. Suppose q = -3*a + d. Does 4 divide a?
True
Suppose -5*h - 2*p = -221, 0 = 4*h + 2*p - 140 - 36. Is h a multiple of 9?
True
Suppose -135 = -5*q + 2*a + 3*a, 5*q = -5*a + 85. Is 5 a factor of q?
False
Let b be ((-6)/4)/(15/(-20)). Let a be 107/2 + b/(-4). Suppose -c = -k + 4*c + 1, c = 5*k - a. Is 6 a factor of k?
False
Let g = 95 - 44. Does 13 divide g?
False
Suppose s + 11 = -4*o, -3*s + 4*o + 5 + 10 = 0. Suppose 3*a - 3*v = -12, v - 12 = 5*a + 4. Does 4 divide (a + s)/(2/(-4))?
True
Is 2/(-2) - -16 - -3 a multiple of 18?
True
Let s = -13 + 32. Suppose -4*q + 7 = s. Is 10 a factor of ((-2)/4)/(q/138)?
False
Let t be 6/21 + (-76)/(-28). Suppose 2*d + d - 39 = -w, -t = -w. Is d a multiple of 4?
