3)?
True
Let i = -23 + 36. Let o(y) = 4*y - 37. Is o(i) a multiple of 15?
True
Suppose 3*x - 600 - 135 = 0. Is 25 a factor of x?
False
Suppose -15*s + 2677 = -2183. Is s a multiple of 54?
True
Let g = 108 + -58. Suppose 2*v = -4*r + 210, 0 = 2*r + 3*v - g - 53. Is r a multiple of 11?
False
Let j(s) = -6*s + 107. Is 11 a factor of j(-23)?
False
Let q = 3107 + -1017. Is 19 a factor of q?
True
Let u = -123 + 317. Does 7 divide u?
False
Let u(f) = 47 + 21*f + 17*f**2 - 18*f**2 - 24*f. Is u(0) a multiple of 18?
False
Let j be 1942/(-12) + 1/(-6). Let g be ((-2)/(-3))/((-9)/j). Let n = 32 + g. Does 18 divide n?
False
Let u(i) = -239*i**3 - 3*i**2 - 2*i - 2. Let b be u(-1). Let a = 463 - b. Is a a multiple of 15?
False
Let z be (-179)/(-1)*(-4 - -5). Let q = -1 + 4. Suppose 5*g + l - z = 0, 0 = -q*g + 2*l + 107 + 3. Does 20 divide g?
False
Let a(f) = -f**3 - 8*f**2 - 7*f + 16. Let u be a(-7). Suppose 97 = l + u. Is 9 a factor of l?
True
Let n(g) = g**2 - 2*g + 19. Let c be -4 - (0 - (3 - (5 - -2))). Is n(c) a multiple of 49?
False
Let x(n) = n**2 + 5 + 0*n**2 - 7*n + 3 - 2*n. Let d be x(8). Suppose -s = -4*q + 106, 2*q - 5*q + 5*s + 71 = d. Is 9 a factor of q?
True
Let f(o) = -o**2 + 5*o - 6. Let l be f(3). Suppose l = -12*u + 199 + 17. Is u a multiple of 5?
False
Suppose 0 = 97*d - 68*d + 87. Let h = 46 - -65. Let t = d + h. Is 26 a factor of t?
False
Suppose 0*v + 4752 = 11*v. Is 17 a factor of v?
False
Let z = 256 - 4. Does 12 divide z?
True
Let y(h) = -263*h + 41. Is 16 a factor of y(-2)?
False
Let u(t) be the first derivative of 34*t**3/3 - 3*t**2/2 + 10*t - 11. Is u(2) a multiple of 10?
True
Let f(r) = -r**3 + 2*r**2 - 3*r + 9. Is f(-4) a multiple of 26?
False
Let z = 53 - 49. Suppose 2*i = -n + 8, z*n + 0*n - 2*i - 22 = 0. Is n a multiple of 6?
True
Let v = -307 + 3088. Is 103 a factor of v?
True
Suppose q = -5*t + 25462, -3*t + 8127 = 2*q - 7153. Is 15 a factor of t?
False
Let w(a) = -1. Let g(m) = -m**3 + 10*m**2 - 3*m - 21. Let o(c) = g(c) - 5*w(c). Does 11 divide o(8)?
True
Let j(c) = -c + 3. Let t be j(0). Suppose t = -2*h + 3*h. Suppose 0 = -2*m - h*m + 195. Does 13 divide m?
True
Let u = 10 - 18. Let m(n) = -n**2 - 7*n + 11. Let h be m(u). Suppose v + 98 = h*v. Does 12 divide v?
False
Let y(q) = -56*q**2 - q - 1. Let u be y(2). Let z = -131 - u. Is 24 a factor of z?
True
Let v = -63 - -71. Suppose s - 5*u = -v*u + 120, -3*u - 540 = -4*s. Is 6 a factor of s?
True
Let k be (-2)/(-28)*-4*-7. Let x(f) = 3*f - 5*f**2 + 2 - 63*f**3 - k*f**2 + 10*f**3 + 9*f**2. Is 8 a factor of x(-1)?
False
Let c be (-2)/(-1*(-5)/50). Does 6 divide 1/2 - 230/c?
True
Let x = 92 - -59. Is x a multiple of 29?
False
Let o = 3628 + -1773. Is 12 a factor of o?
False
Let q(k) = -245*k - 96. Does 71 divide q(-3)?
True
Suppose 5*f - 24*v + 23*v = 7924, 0 = 2*f + 2*v - 3160. Is f a multiple of 70?
False
Suppose 4*p + 1239 = 4*u + 3343, u + 2*p = -526. Is 2/(-3) + u/(-6) a multiple of 23?
False
Let l(z) = -6*z**3 - 14*z**2 - 7*z - 8. Does 2 divide l(-3)?
False
Let z(k) = 252*k**2 + k + 15. Is z(3) a multiple of 9?
True
Suppose 2*f - 8 + 0 = 0. Suppose -f*p = -0*p - 448. Suppose -5*j + j + p = 0. Is j a multiple of 11?
False
Suppose -12*f + 1879 = -2849. Does 15 divide f?
False
Is 15 a factor of 524 + 0/((-8)/((-28)/7))?
False
Suppose 2 = 5*p - 68. Let i = -15 - -21. Let o = p - i. Does 4 divide o?
True
Suppose -w + 3 = -0. Suppose -w*b - 7 = -52. Is b a multiple of 6?
False
Let q(x) be the second derivative of x**3/3 + 4*x**2 + 3*x. Let j be q(-9). Is (0 - -8)*(-5)/j a multiple of 4?
True
Let j(u) be the first derivative of 5*u**3/3 + 22. Is j(-1) a multiple of 2?
False
Let w = 642 + -424. Is w a multiple of 29?
False
Let m be (-106)/14 + 39/(-91). Let v = m + 10. Suppose 19 = v*s - 65. Does 14 divide s?
True
Let g(j) = 14*j**2 - 5*j - 2. Let h be g(4). Suppose -3*l = -0*u - 4*u + h, -3*u + 162 = 3*l. Is 7 a factor of u?
False
Suppose -8*h + 15*h = 2975. Let v = h - 259. Is v a multiple of 17?
False
Let t(d) = -4*d**3 - d**2 - 3*d. Let c be t(3). Is ((-1407)/c)/(2/12) a multiple of 14?
False
Let a be (-8)/(-6)*24/(-16). Does 5 divide a/1 + 14 + 1?
False
Let z(g) = -g**3 - 7*g**2 + 9*g + 12. Let w be z(-8). Let u be (3 - 18/8)/((-2)/16). Does 19 divide (-338)/u + w/6?
True
Let x = -20 - -55. Suppose -j + 6*j = 80. Let p = x - j. Does 19 divide p?
True
Let b = 171 - 109. Does 26 divide b?
False
Suppose 32*a - 27*a = m + 5604, -2*m = 8. Is a a multiple of 80?
True
Let d = -12 - -21. Suppose 0 = -11*i + d*i + 84. Is i a multiple of 23?
False
Suppose 11*v - 29*v + 4446 = 0. Is v a multiple of 3?
False
Let t be 3 - (0/3)/1. Suppose -y - 4*d = -2*y + 15, t*d = -2*y - 3. Suppose y*o = -4*q + 26 + 111, -5*q + 25 = 0. Does 15 divide o?
False
Let w be 250/(-4) - 3/(-2). Let c = 116 + w. Suppose -4*x = -0*d - 3*d - c, 2*x - 29 = d. Does 6 divide x?
False
Suppose 3 = -f + 3*f + 3*p, 0 = 2*f - 5*p - 11. Is 14 a factor of 181 + f - 0/3?
False
Let g = -21 - -36. Let f be -43 + g/3 + -3. Let n = f - -103. Is 19 a factor of n?
False
Suppose -4*h + 1336 = 4*h. Suppose 0 = -6*p + 13 + h. Does 19 divide p?
False
Let a(c) = c**2 - 8*c + 3. Let u be a(8). Suppose -u*s - 2*s - 240 = 0. Does 16 divide 0 + s/(-4 - -2)?
False
Let f = 3 + 2. Let x = f - 11. Let z(l) = -l + 7. Is z(x) a multiple of 13?
True
Let m = -57 - -56. Let t(u) = 283*u**2 - 1. Does 47 divide t(m)?
True
Suppose -19*w - 15367 = -86864. Is w a multiple of 7?
False
Let d = 17 + -13. Let t(b) = 3*b**2 - 39*b - 3 + 37*b - b**2. Is t(d) a multiple of 21?
True
Let n = 6 - -12. Let m be (-453)/(-24) - 1/(-8). Let i = n + m. Does 16 divide i?
False
Let i(r) = 2*r**2 + r - 1. Let l(d) = -4*d - 16. Let w be l(-11). Let a = -32 + w. Is 14 a factor of i(a)?
False
Is 13 a factor of -2*(-2)/((-36)/(-819))?
True
Suppose -5*n - 5*u = -900, 0*n - 734 = -4*n + 3*u. Suppose -70 = -j + h - 27, 0 = 4*j + h - n. Is 9 a factor of j?
True
Suppose 3*j + 3*s - 291 = 0, -4*j = -s - s - 400. Let u(p) = 2*p**2 - 3*p + 1. Let f be u(2). Suppose -84 = -f*l + i, 4*l - i = -4*i + j. Is 20 a factor of l?
False
Let g = 264 + -109. Suppose 3*w = 370 + g. Is w a multiple of 35?
True
Let f = 399 - 249. Is f a multiple of 29?
False
Suppose 0 = -4*s + 8, -s - 144 = -2*f + 4*s. Suppose -4*d = -51 - f. Suppose 0*p - 4*p = -d. Does 4 divide p?
True
Let l(h) = h**3 + 3*h**2 - 2*h + 2. Let k be l(2). Let s(c) = 18 - 5*c**3 + 19*c + 6*c**3 + 8 - 19*c**2. Is s(k) a multiple of 13?
False
Suppose -3*p = 2*x + 2*x, 0 = 3*x + 2*p - 1. Suppose x*y - 43 = -1. Is 14 a factor of y?
True
Let i(d) = d**2 + 1. Let t(l) = l**2 - 7*l + 6. Let y(k) = -2*i(k) + t(k). Let x be y(-10). Let p = x + 48. Does 22 divide p?
True
Let p(i) = -i**2 - 6*i + 21. Let c be p(-5). Suppose 0 = -3*k - 8*g + 3*g + 4936, -4*k = g - 6570. Does 21 divide k/c + (-4)/26?
True
Let h = -877 + 1173. Does 7 divide h?
False
Suppose 3*q - 300 = -3*q. Let i = -5 + q. Does 9 divide i?
True
Let a(x) = -2*x**3 + 24*x**2 + 17*x + 3. Let r(w) = w**3 - 13*w**2 - 9*w - 1. Let n(h) = 4*a(h) + 7*r(h). Is 5 a factor of n(5)?
True
Suppose -2*l + 2 = -20. Let c be 0 - (-14)/3 - (-68)/51. Let w = c + l. Is w a multiple of 17?
True
Suppose -21*g = -10*g - 6006. Does 26 divide g?
True
Suppose 5*n - 3140 = -5*i, -8*i + 4*n = -10*i + 1250. Is i a multiple of 6?
False
Let k = -412 + 1000. Is 14 a factor of k?
True
Let s be 1/2*-8 - -136. Let y = 185 - s. Is 10 a factor of y?
False
Let p(n) = -77*n - 26. Let l(i) = 39*i + 13. Let y(h) = 5*l(h) + 3*p(h). Is y(-2) a multiple of 12?
False
Let b(s) = -s**2 - 7*s - 2. Let k = 3 - 9. Let g be b(k). Suppose 4*n - 5*m = 39, -3*n + g*m = -5 - 24. Is 11 a factor of n?
True
Suppose 0 = 2*r - t - 6332, 2*r - 2*t - 3*t = 6332. Is r a multiple of 9?
False
Let h(u) = 43*u + 463. Is h(29) a multiple of 19?
True
Let f = 154 + 145. Is f a multiple of 23?
True
Suppose 3*d = -d + 3*y + 26, y = -d + 3. Suppose d*a - 3*u - 210 = 0, 5*u + 1 = -4*a + 169. Does 7 divide a?
True
Let w be (2 + -3)*(280 + -3). Let a = 482 + w. Does 41 divide a?
True
Let b(j) = 7*j + 145. Does 26 divide b(12)?
False
Let u = 18 - -21. Suppose 4*o = 2*n + u - 7, 5*o = -2*n + 22. Does 3 divide o?
True
Does 7 divide (0 + (-2709)/(-14))*(-4)/(-3)?
False
Suppose -3579 + 42 = -3*d. Is 9 a factor of d?
True
Let u(d) be the second deri