 Is 12 a factor of s?
True
Let m(b) = 7*b**2 - 5*b + 6. Let y be m(5). Suppose -y = -3*h - h. Is h a multiple of 13?
True
Let t(k) = -4*k - 4. Let g be t(-3). Let c be 15/4 - (-2)/g. Suppose c*d + d = 150. Does 16 divide d?
False
Let u(v) = v**2 + v + 52. Does 26 divide u(0)?
True
Let a(m) = -42*m + 1. Let u be a(-2). Suppose 3*v - 4*y + 20 = 0, 0 = -3*v + 2*y - 0*y - 10. Suppose 2*t + 13 - u = v. Is t a multiple of 19?
False
Suppose -2*j + 4*k - 16 = -5*j, 2*j = 4*k + 4. Suppose 0 = r + j + 2. Does 12 divide ((-20)/r)/(6/45)?
False
Suppose -m = 2*m - 339. Let a = m + -66. Does 13 divide a?
False
Suppose -3 - 1 = -k. Suppose 5*p + 105 = 5*g, k*g - 2*p = -3*p + 69. Does 6 divide g?
True
Suppose -k = -5*k - 8. Let g be (2/6)/(k/(-24)). Suppose 4*p + x = 15, -x = 5*p - g*x - 6. Is p even?
False
Does 2 divide 5 - (0 - (-2 - -4))?
False
Let w = 9 + -2. Let s(o) = -1 - 7 - 3*o - 2*o + o**2 + 4*o. Is s(w) a multiple of 17?
True
Is (-24)/(-32) + (-234)/(-8) a multiple of 15?
True
Suppose -3*z = 5*x - 141, -4*x - 2*z + 42 + 72 = 0. Suppose 0 = f - x + 8. Does 11 divide f?
True
Suppose 5*a - 25 = 5*v, 0*a + 3*v - 55 = -4*a. Let m be (-4)/(-5)*a/4. Suppose 5*k = 5*c + 45, m*k + c - 11 = -2*k. Is k even?
True
Let y(g) = -2*g - 7. Let k be y(8). Is 3 - (k - 1) - -2 a multiple of 13?
False
Let w = -15 - -16. Let x(h) = 35*h**2 + h. Does 14 divide x(w)?
False
Suppose 5*w + z - 384 = 0, -3*w - z = -2*w - 80. Is w a multiple of 19?
True
Let y(k) be the first derivative of 1 + 1/3*k**3 - 5*k + 0*k**2. Is 4 a factor of y(-4)?
False
Suppose 10 + 5 = 5*l. Let d(c) = -2*c - 9. Let s be d(-6). Suppose b - 13 = 2*v - 3*v, l*b = s*v + 15. Is b a multiple of 9?
True
Suppose -7 + 118 = t + 3*c, 2*c + 278 = 3*t. Does 12 divide t?
True
Let r(o) = o**2 - o**2 - 4*o - o**2 + 9*o. Is r(4) a multiple of 4?
True
Let d(y) = 7*y**2 + 3*y. Let i(f) = f**3 - 7*f**2 - 2. Let h be i(7). Does 20 divide d(h)?
False
Let q(t) = 8*t - 16. Is q(12) a multiple of 28?
False
Let f = -35 + 40. Is 4 a factor of f?
False
Let r(f) = -f**2 - 8*f - 2. Let n be r(-6). Is 15 a factor of n/(-4)*510/(-25)?
False
Suppose -3*r + 344 = 32. Let j = r - 38. Does 22 divide j?
True
Let b be (-8)/14 - (-10)/(-7). Let c = 4 + b. Is c a multiple of 2?
True
Let f(c) = -4*c**3 + c**2 + c + 2. Suppose -6*q + 20 = -d - q, 4*q - 20 = 0. Suppose 0 = -a + d*m - 2, 0 = 2*a + 5*m - 3*m + 4. Is f(a) a multiple of 12?
True
Let q = 1 + -1. Suppose -54 = -12*l + 10*l. Suppose q = z + 9 - l. Is z a multiple of 14?
False
Let j be 14 + 0 - (1 + -1). Suppose 0 = -4*g + 5*p - j, -3*g - p - 2 = -1. Is -2 + (g - 0)*-22 a multiple of 20?
True
Let d(i) = -13*i + 2. Let b be d(6). Let q be (b/(-10))/(2/10). Suppose 2*z = -0*z + q. Does 12 divide z?
False
Let m(q) = -1. Let p(x) = -x - 4. Let h(f) = -6*m(f) + 2*p(f). Let g be -3 - (-4)/8*-2. Is 3 a factor of h(g)?
True
Let k = 107 - 46. Suppose k = 2*y + 15. Is 17 a factor of y?
False
Let y(r) = -r**3 + 6*r**2 + 1. Let f be y(6). Let w(q) = 14*q + 2. Is w(f) a multiple of 8?
True
Suppose 2*l = 5*p, -2*l - l + 5*p = 0. Suppose m + 18 = -4*s - 7, -5*s + 5*m - 25 = l. Is -27*(14/s + 2) a multiple of 9?
True
Let w(a) = a**2 + 4*a - 2. Is w(10) a multiple of 36?
False
Let v be ((-20)/8 - -4)*-4. Suppose -4*n - 19 = 41. Let u = v - n. Is u a multiple of 9?
True
Let u(q) be the first derivative of -q**4/4 + q**3/3 - q**2/2 + 11*q + 9. Let k be -1 - (-1 + 2 + -2). Is 6 a factor of u(k)?
False
Let b = 273 + -38. Is b a multiple of 47?
True
Suppose o = -11 + 5. Let s(t) = -t**3 - 6*t**2 - 7*t. Is 14 a factor of s(o)?
True
Does 13 divide (-768)/(-30) + (-6)/(-15)?
True
Let l(m) = -m**3 + 8*m**2 + 4*m + 9. Does 37 divide l(7)?
False
Let c be 1 + -1 - (-2 - -7). Let w be ((-12)/c)/((-6)/(-30)). Suppose 6 = a - w. Is 9 a factor of a?
True
Let d(q) = 2*q**2 - 3*q + 6. Let t be d(4). Let b = t - 11. Is b a multiple of 8?
False
Does 9 divide (6/(-9))/((-2)/108)?
True
Suppose -2*g = 21 - 7. Does 7 divide (-6)/(-14) + (-144)/g?
True
Let d(h) = h**2 + 0*h - 4*h**3 + 0*h. Suppose 5*f + 4 = -6. Is 12 a factor of d(f)?
True
Let z(l) = -l**2 + 5*l - 2. Let q be z(4). Suppose 0*w + q*w = 54. Suppose -n + w = 2*n. Is 9 a factor of n?
True
Let u = 6 + -4. Let l be (-6)/((-7)/u - -2). Suppose l*n + 0*n - 32 = 0. Is 3 a factor of n?
False
Let s(o) = o**3 - 7*o**2 + 5*o - 3. Does 8 divide s(7)?
True
Suppose 5*i + 117 = 8*i. Let u = i + -20. Is 19 a factor of u?
True
Suppose 3*m - 309 = -3*i, -5*m + 8 = -m. Is 19 a factor of i?
False
Let r(d) = d**3 + 2*d**2 - 4*d + 3. Is 2 a factor of r(-3)?
True
Suppose 0 = -0*s - 5*s - 4*v + 339, 4*s + 2*v = 270. Suppose -7 = 4*o - s. Is o a multiple of 15?
True
Suppose 8*f - 27 = -3*u + 4*f, 0 = -2*u - f + 13. Suppose -12 = -u*x + 218. Is 16 a factor of x?
False
Let q = -8 - -11. Let a(r) = 3*r + 2. Let j(v) = -v - 1. Let o(m) = q*a(m) + 5*j(m). Does 15 divide o(5)?
False
Let t be -204 - ((0 - -2) + -3). Let c = t + 82. Does 12 divide 3/(-15) - c/5?
True
Let x(c) = 30*c + 2. Is x(1) a multiple of 6?
False
Let h(x) = x**3 - 7*x**2 + 8*x - 3. Let d be h(5). Let f = -10 - d. Suppose f*u = -17 + 68. Does 8 divide u?
False
Let d(g) = -g**2 - 8*g - 8. Let a be d(-6). Suppose 5*n + 85 = a*z, 0 = 4*n + 7 - 3. Is z a multiple of 10?
True
Suppose -5*b + 177 = 5*v - 3, -3*v + 5*b = -108. Does 9 divide v?
True
Let y(x) = -x**3 - 10*x**2 - 10*x + 8. Let l be y(-9). Let o = -12 + l. Suppose -n - o*h + 90 = 0, -175 = -3*n + 3*h + h. Is 24 a factor of n?
False
Suppose h = 1, 2*r + 10*h - 5*h = 17. Is r even?
True
Suppose 2*p - 13 - 27 = 0. Suppose -3*z + a = -65, -a = -2*z + 64 - p. Is z a multiple of 17?
False
Suppose 7 = 5*i - 18. Suppose -i*t = -5*d - 220, 200 = 4*t + t - d. Does 22 divide t?
False
Let c = -4 + 8. Suppose 3*b + 3*d - 3 = -2*d, 0 = -c*d + 12. Is 237/21 + b/14 a multiple of 11?
True
Suppose -2*m - 303 = -3*m. Suppose 5*v + 103 = m. Suppose 0 = 2*f - v - 4. Does 11 divide f?
True
Suppose -59 = -4*j + 33. Does 3 divide j?
False
Suppose 3 = 3*w, 2*w = 3*p - p + 262. Let o = 188 + p. Does 16 divide o?
False
Suppose -5*j + 27 = -213. Is j a multiple of 24?
True
Suppose 5*t - 570 - 405 = 0. Suppose -4*n - 2*q - 1 = -179, -3*q = -5*n + t. Is 14 a factor of n?
True
Let v(a) = 3*a**2 + a - 3. Suppose 3*x = 6*x - 6. Is v(x) a multiple of 3?
False
Let k(r) = -3*r**2 - 30*r - 9. Does 12 divide k(-7)?
False
Let c(b) be the third derivative of 5*b**5/12 - b**4/12 - b**3/6 + b**2. Suppose -y = -v - v - 7, -2*y - 14 = 3*v. Does 13 divide c(y)?
True
Suppose -4*t - 55 = -287. Suppose 43 = 3*s - 5*l, 2*s + 0*l - t = -4*l. Is s a multiple of 7?
True
Is 35 a factor of 243/2 - (-2)/(-4)?
False
Suppose 5*d + l = 2486, 0 = -d + 5*l + 287 + 205. Is d a multiple of 51?
False
Let u be (-1083)/209 + 2/11. Let d(s) = -2*s**2 + 2*s - 10. Let n(f) = 3*f**2 - 4*f + 19. Let v(r) = -5*d(r) - 3*n(r). Is v(u) a multiple of 4?
True
Let k(z) = z**3 - 10*z**2 - 3*z + 11. Is 9 a factor of k(11)?
True
Let y be (0 - 1)/(3/(-258)). Suppose -5*f + 114 = -y. Is 16 a factor of f?
False
Does 31 divide (32/(-20))/((-3)/90)?
False
Is 8816/57 + (-5)/3 + 2 a multiple of 39?
False
Suppose 0*z + 3*z = -195. Let k be z/2*(-16)/(-20). Let r = 41 + k. Is 4 a factor of r?
False
Let a be 5 + -7 + 2/2. Suppose -4*p - 18 = z, 16 + 4 = 5*z - 2*p. Does 12 divide z/(-2) - 25/a?
True
Let x = 14 - 22. Is ((-138)/4)/(x/16) a multiple of 21?
False
Let k(g) = g**2 + 7*g + 1. Let m be k(-6). Does 5 divide 1/(-2 - 11/m)?
True
Suppose -4*u = -4*z - 336, 0 = -4*u - 0*u + 2*z + 346. Suppose -u = -5*v + 101. Does 19 divide v?
True
Suppose w = 5*w - 80. Let s = w + -10. Is s a multiple of 10?
True
Suppose 0 = 3*t + 32 - 122. Let d = 43 - t. Does 13 divide d?
True
Let l = -4 - -6. Suppose -l*f - 1 = -h, -4*f + 3 = -h + 2. Is h a multiple of 2?
False
Is 4 a factor of 38 - -3*(-8)/(-6)?
False
Let q = -15 - -19. Is 17 a factor of q/6 + (-1980)/(-27)?
False
Let v be 9/21 + 75/21. Suppose -3 = -4*j - 5*z + 13, j + 4*z - v = 0. Suppose -5*c + 81 = 5*w - 74, -2*c = j*w - 52. Is 11 a factor of c?
False
Suppose 6*t + 3*t - 189 = 0. Is 6 a factor of t?
False
Let l be (-3 - -4) + (1 - 1). Is 7 + (l*-3 - -2) a multiple of 6?
True
Suppose 0 = a - 5 - 0. Suppose 0 = 5*s - a*d - 265, -3*s + 2*d + 75 = -88. Is 18 a factor of s?
False
Suppose 4*g = g - 24. Let u