 Does 12 divide q(-12)?
True
Let y(l) = l**3 + 2*l**2 + 11*l + 1. Let t be y(-4). Let f = t + 131. Is f a multiple of 14?
True
Suppose -2*o + 6*o - 9 = -q, o = 3*q - 14. Let n = 67 - q. Does 15 divide n?
False
Let p(n) = n**3 - n**2 - 19*n. Is p(10) a multiple of 7?
False
Let s = 44 - -115. Let y(f) = -2*f**2 + 8*f + 5. Let r be y(4). Suppose r*p + i = s, -4*p + 5*i + 132 = i. Is 16 a factor of p?
True
Suppose 0 = 2*m + 10*m - 432. Suppose 3*f - m = 219. Is f a multiple of 17?
True
Let r(v) = 15*v + 13. Let n(i) = -16*i - 14. Let f(h) = -4*n(h) - 5*r(h). Let l(a) = -a**3 - a**2 + a + 2. Let y be l(2). Is 30 a factor of f(y)?
False
Let f(l) = 1673*l + 10. Is 16 a factor of f(1)?
False
Let t(s) = 76*s - 2. Let c be t(-1). Let z be (-2)/9 - (-502)/(-9). Let a = z - c. Does 8 divide a?
False
Let m = -1 + -1. Let b(g) = -3*g**2 + 2*g + 7. Let k(w) = -10*w**2 + 5*w + 22. Let d(s) = m*k(s) + 7*b(s). Is 4 a factor of d(4)?
False
Is 18 a factor of 1664/32 - -1*2?
True
Let z(q) = 11*q**2 - 2 - 5*q + 0*q + 6*q. Is 2 a factor of z(1)?
True
Suppose -609 = -5*c + 81. Suppose 0 = -k - 2*k + c. Is 22 a factor of k?
False
Let p = 2 - -17. Suppose -4*f + 185 = -p. Is 14 a factor of f?
False
Let q(i) = -3*i - 12. Let a be q(-15). Suppose 0 = 38*w - a*w - 25. Is w a multiple of 5?
True
Suppose -5*h + 25 = -10. Let n = h - -11. Does 8 divide n?
False
Let n = 256 + 189. Does 27 divide n?
False
Let f(s) be the second derivative of s**5/20 - s**4/6 + s**2/2 - s. Let l be f(2). Let t(c) = 36*c**3 - c + 1. Does 18 divide t(l)?
True
Let l be 5/(5/14) + -2. Suppose l = 4*c + 4. Suppose 22 + 4 = c*s. Is 13 a factor of s?
True
Suppose 22*q - 663 = -135. Is 4 a factor of q?
True
Suppose 4*o + 18 = 122. Suppose 75 = 5*z + 4*k, 4*z - 2*k - o = 34. Is 12 a factor of 282/4*10/z?
False
Let v be (-3*1/(-9))/((-1)/93). Let x = v + 69. Is x a multiple of 7?
False
Let m(a) = 5*a**2 + 4*a - 22. Let u(r) = -6*r**2 - 5*r + 21. Let n(d) = 5*m(d) + 4*u(d). Does 10 divide n(6)?
True
Let g(h) = -11*h**2 - 3*h**2 + 3*h - 6*h**2 + 25*h**2 - 20. Is g(-7) a multiple of 34?
True
Let m = 4 + 2. Suppose -d - m + 0 = 0. Is 8 a factor of -51*d/9 + -2?
True
Suppose -29*i + 111672 = 25*i. Is 47 a factor of i?
True
Let v(w) = -11*w**2 + 7*w**2 + 4*w - 4 - 14*w**2 + w**3. Does 17 divide v(18)?
True
Let h(p) = 7*p**2 - 5*p + 6. Is h(3) a multiple of 18?
True
Let h(d) be the first derivative of 3*d**2/2 - 16. Does 12 divide h(12)?
True
Suppose 4*t = 4*n + 536 + 1124, 2*t - 822 = -2*n. Does 19 divide t?
False
Suppose -3*g - 3*k + 27 = 0, 2*g + 7*k - 3*k = 10. Let n(u) = 3*u + 21. Is 23 a factor of n(g)?
False
Let w(b) be the first derivative of -b**4/4 + 4*b**3/3 + 3*b**2 - 3*b + 5. Let a be w(4). Suppose -3*x + 9 = -a. Is 5 a factor of x?
True
Suppose 3*x - 2*j - 7 - 3 = 0, -4*x - 4*j = 0. Suppose 5*y - 74 = -x*v + 4*y, 0 = 2*y. Is v a multiple of 3?
False
Let z(l) = -70*l - 86. Is 32 a factor of z(-5)?
False
Is 103 a factor of (-618)/(-18)*(38 + 1)?
True
Let d(h) = h**2 - 32*h + 47. Does 8 divide d(33)?
True
Does 15 divide (-30)/(8 - 4185/522)?
True
Suppose -h + 15 = 3*i - 3*h, -2*h - 6 = 0. Let v = i - -2. Suppose -10 = 5*f, -2*b + v*f = -25 - 25. Does 5 divide b?
True
Let x = 28 - 23. Suppose 2*o - 326 = -x*y + 2*y, 4*y + o = 438. Is 10 a factor of y?
True
Let u(m) = 32*m**2 - 7*m - 6. Let n(s) = -16*s**2 + 4*s + 3. Let p(i) = 5*n(i) + 3*u(i). Is p(-2) a multiple of 9?
True
Suppose 3*r - 178 = 4*r. Let s = -93 - r. Is s a multiple of 29?
False
Let t(i) = 7*i - 23. Let o be t(5). Suppose 984 = 9*c + o. Does 18 divide c?
True
Suppose 87 = 2*i - 69. Suppose -4*d + d = -i. Is d a multiple of 13?
True
Let c be (-4)/1 - 40/(-4). Suppose -2*h + 3*j - c = -4, -3*h - 3*j + 12 = 0. Suppose 10 + 2 = h*s. Is 6 a factor of s?
True
Let c(y) = -y**3 - 17*y**2 - 16*y + 8. Suppose 0 = -4*d + 2*j - 80 + 18, 0 = d - 2*j + 14. Is c(d) a multiple of 8?
True
Let r = 24 - 20. Suppose -44 = -n - 3*i, -80 = 2*n - 4*n - r*i. Does 8 divide n?
True
Suppose 2*c - 6*c + 72 = 0. Suppose -i = i + c. Let b = i + 15. Does 6 divide b?
True
Suppose -20*w - 281 = -1241. Does 13 divide w?
False
Let k = -27 + 131. Is k a multiple of 6?
False
Let k = 204 - 88. Let z = k + -2. Is 18 a factor of z?
False
Let l = -6 - -11. Suppose 3*r - 7 = l. Suppose 0 = -r*b + 39 + 133. Is b a multiple of 8?
False
Suppose 6*g - 4*g + 2 = 0. Let i = 5 + g. Is 3 a factor of 2/(-3)*(-42)/i?
False
Let l = 601 - 331. Is l a multiple of 30?
True
Let f = 349 - -327. Is f a multiple of 50?
False
Let y(l) = -16*l - 4. Let t be y(-10). Is 16 a factor of 1*t - (-12 + 8)?
True
Let i = 26 + -22. Suppose 70 = i*c + c. Is c a multiple of 7?
True
Let u = -71 + -49. Let y = u - -204. Is y a multiple of 28?
True
Suppose 4*p + 4*h - 16 = 0, 0 = -0*p + p + 2*h - 6. Let f(x) = 2*x + p*x + 7*x - 2 + 2*x. Does 13 divide f(4)?
False
Let j(a) = -a**3 - 17*a**2 - 35*a + 5. Let i be j(-15). Let r = 111 - i. Is r a multiple of 5?
False
Let c be (-2)/(-4) + 7/14. Let b be (4/8)/c*-16. Let k(r) = r**3 + 8*r**2 - 3*r - 10. Is k(b) a multiple of 7?
True
Let k be 6*(-1338)/(-24) + (-3)/6. Let a = -179 + k. Is a a multiple of 13?
False
Suppose -17*t - 10 = -19*t. Suppose t*r = 8 + 2, 3*n - 2*r - 320 = 0. Does 9 divide n?
True
Let a(h) = -12*h**3 + 2*h**2 - 8*h - 4. Is 14 a factor of a(-3)?
False
Let b = 17958 + -12463. Is b a multiple of 26?
False
Is 55 a factor of (-4)/1 + 10 - -2578?
False
Let w = 1161 + -543. Suppose 23 = -7*t + w. Is t a multiple of 15?
False
Let y(l) be the second derivative of l**7/630 + l**4/2 - 5*l. Let h(b) be the third derivative of y(b). Does 2 divide h(1)?
True
Suppose -k + 16 = -2*w - 14, 3*k - 2*w = 94. Suppose -5*n = -3*q + 638, -2*n - k - 248 = 5*q. Let i = -75 - n. Is 11 a factor of i?
True
Let t = 32 + -54. Let d be 24/10*(-165)/t. Is 2 a factor of -16 + d + 1 + 0?
False
Suppose 0*q - 16 = 2*q. Let m be 0 + 3*q/(-12). Does 38 divide 6258/66 + m/11?
False
Suppose 5*f = 14 + 1. Let w = f + 2. Let d = 21 - w. Is d a multiple of 16?
True
Suppose 1 = -m + 4. Suppose m*u - 61 = 35. Let a = -19 + u. Does 13 divide a?
True
Let a = 1113 - 828. Does 57 divide a?
True
Suppose -51 = 4*x + 1. Let u be (-4)/(8/x)*4. Suppose 2*z - u = -3*c, c = -7*z + 2*z + 26. Is 3 a factor of c?
True
Suppose -39*n + 45*n = 588. Let v(r) = -r**2 - 6*r. Let y be v(-6). Suppose y = 2*x - 7*g + 2*g - n, -g - 43 = -x. Does 13 divide x?
True
Is (-2)/4 + 2 - 1239/(-14) a multiple of 9?
True
Suppose 12*h = 4*h. Suppose h = -3*m + 445 - 10. Is 5 a factor of m?
True
Let t be (-643)/(-4) - (-2)/8. Let c = 103 - t. Let n = -40 - c. Does 5 divide n?
False
Let p(c) = c**2 - 40*c - 25. Let w(h) = -3*h**2 + 161*h + 99. Let z(i) = 9*p(i) + 2*w(i). Does 12 divide z(16)?
False
Suppose 13861 = 13*z + 5060. Is z a multiple of 32?
False
Suppose -73*b = -35*b - 36822. Does 57 divide b?
True
Let h(z) = 2*z**2 - 3*z. Let i be h(-1). Suppose 650 = i*s + 3*q, 6*s = 2*s + 5*q + 520. Does 12 divide s?
False
Let h(d) = d - 11. Let k be h(4). Let o = k - -7. Let y(i) = i**3 + 90. Is 20 a factor of y(o)?
False
Let v(r) = -3*r**2 - 10. Let q(y) = 27 - 53 + 36 + 4*y**2. Let s(c) = -4*q(c) - 5*v(c). Is s(0) a multiple of 10?
True
Suppose 4 = 36*n - 32*n. Let r(x) = 114*x**2 - 3*x + 1. Is 8 a factor of r(n)?
True
Suppose -2*b + 32 = 2*b. Let z = b - -28. Is z a multiple of 15?
False
Suppose 5*o = -5*z + 340, -5*z + 387 - 33 = -2*o. Is 3 a factor of z?
False
Let d = 151 - 37. Does 2 divide d?
True
Let u = 23 - 18. Does 16 divide 490/28*32/u?
True
Let n be (5/(25/(-18)))/((-26)/1495). Let c = 297 - n. Is c a multiple of 18?
True
Suppose -238*s + 245*s = 763. Is 8 a factor of s?
False
Suppose 3*l = 5*l + 10, -3*s + 179 = 2*l. Does 14 divide s?
False
Let k = -2441 + 3019. Is k a multiple of 7?
False
Suppose 34*r = 2*f + 38*r - 1544, 2*f - 1546 = -2*r. Is f a multiple of 44?
False
Suppose -3*h + 863 = -1228. Suppose 127 - h = -5*z. Suppose -3*o = -z + 18. Is o a multiple of 15?
False
Let d(f) = 6*f + 38. Let n be d(-7). Does 6 divide 94 + -2 + -2 + 0/n?
True
Let p(x) = 61*x - 4. Let f(z) = -121*z + 9. Let u(d) = -3*f(d) - 5*p(d). Does 25 divide u(4)?
True
Let h be -1*2*(-34 + 5). Does 4 divide (1 + h)*(-6 + 7)?
False
Let s(t) = 91*t - 42. Is 30 a factor of s(12)?
True
Let z(v) = -136*v + 223. Does 43 divide z(-5)?
True
Le