e
Let u(x) = x**3 + x**2 - 6*x + 1. Does 7 divide u(3)?
False
Suppose 4*i = 9 + 3. Suppose 49 = i*x - 20. Is x a multiple of 15?
False
Suppose 5*b - 16 = b. Let x(j) = -2*j - 5. Let a be x(b). Let n = 35 + a. Does 11 divide n?
True
Let m(v) = v**3 + v**2 + v + 1. Let k(h) = -4*h**3 - h**2 - 4*h - 3. Let i(q) = k(q) + 3*m(q). Let y be i(3). Is 2 a factor of y/(-3) + 0 - -1?
False
Let l = 1 - -91. Is l a multiple of 15?
False
Let d(g) = g**2 + 8*g + 3. Let k be d(-5). Let t be 185/10 - 3/2. Let q = t + k. Does 5 divide q?
True
Suppose 3*j - 62 = -2*y - 3*y, -3*y + 22 = -2*j. Does 4 divide y?
False
Let t(h) = -5*h - 3. Let o be t(4). Let w = 33 + o. Does 9 divide w?
False
Let q = 7 - 7. Let a(d) = -d + 37. Is a(q) a multiple of 11?
False
Let b(q) = 2*q**3 - 2*q**2 + 4*q - 3. Let j be b(3). Let y = j - -7. Is y a multiple of 23?
False
Suppose -3*z = -5*z + 16. Suppose 0 = -3*d - z + 71. Does 7 divide d?
True
Let l(r) = r - 5. Let d be l(4). Let o(h) = 79*h**2 - 1. Let t be o(d). Suppose v + 2*k = -k + 30, 5*v - t = 3*k. Is 8 a factor of v?
False
Let f be 4 - (-1 + 4)/3. Suppose -h - 54 = -f*k, k + h = 5*h + 18. Is 9 a factor of k?
True
Let a(t) = -10*t**2 + 3*t + 12. Let r(j) = -3*j**2 + j + 4. Let l(x) = 2*a(x) - 7*r(x). Is 13 a factor of l(-4)?
False
Let p be ((-4)/3)/(2/(-3)). Let v be (-1 + 1/2)*p. Is 4 a factor of (-60)/35*v*7?
True
Let v = 62 - 4. Is v a multiple of 17?
False
Suppose -5*c + 16 = -2*a, -98 = 8*a - 3*a + 2*c. Does 10 divide ((-36)/54)/(1/a)?
False
Suppose -3*a = 32 - 77. Suppose -3*i - 4*c = -38, -3*c + a = -2*i + 46. Does 7 divide i?
True
Let l(x) = -x**2 + 1. Let g be l(0). Suppose -2*m = 0, 3*y = 3*m + 41 + g. Is 14 a factor of y?
True
Let k = -1 - -5. Let x(h) be the third derivative of h**6/120 - h**5/20 - 2*h**3/3 + 2*h**2. Does 12 divide x(k)?
True
Let w(v) = 11*v**2 - 4*v - 2. Let i be w(3). Let h(j) = 6*j**2 - j. Let y be h(1). Suppose 4*a + p - 2*p - 68 = 0, 5*a + y*p - i = 0. Is 6 a factor of a?
False
Suppose -a - 14 = -55. Is a a multiple of 21?
False
Let o = 3 + 11. Let v be o/((4/(-3))/(-2)). Suppose -3*b = m - 25, 3*m + v = 3*b - 0*m. Is b a multiple of 4?
True
Suppose 2*v = -0*v + 150. Is v a multiple of 25?
True
Let w = -22 + 25. Is 16/w*(-126)/(-24) a multiple of 14?
True
Suppose -2*g = -o + 4*o - 10, 5*o = 4*g + 2. Is 25 a factor of o/(73/(-25) + 3)?
True
Let t = -29 - -77. Does 9 divide t?
False
Let c = -3 + 3. Suppose c*n - 3 = n. Is 5 a factor of n*(30/(-9) + 0)?
True
Let i = -2 - -6. Let h = 6 - i. Suppose h*u - 4 = 24. Does 7 divide u?
True
Let y(g) = -g + 6. Let n be y(-6). Suppose -i + 26 + 32 = 3*x, -3*x - 272 = -5*i. Suppose -3*v = -4*r - n + 107, 3*v + i = 2*r. Is 10 a factor of r?
True
Is 28 a factor of 25 - 0 - (-24)/8?
True
Let z(m) = -18*m - 1. Is z(-1) a multiple of 17?
True
Let m = 58 + -29. Let f(p) = -5*p + 4. Let r be f(-2). Let h = m + r. Is h a multiple of 16?
False
Let d = -3 - -6. Suppose -6 = 4*p - 2*a - 146, 127 = d*p + 4*a. Suppose 11 = 2*x - p. Is x a multiple of 12?
True
Suppose 3*b - 22 = -4. Let p(g) = 2*g - 7. Let x(v) = v - 4. Let q(m) = 4*p(m) - 7*x(m). Is q(b) a multiple of 3?
True
Let g(q) = -q + 8. Suppose 0 = 5*k - k. Is g(k) a multiple of 3?
False
Suppose 0 = -4*r + 4*x - 40, -3*r + 5*x = -5*r + 8. Let f(l) = -l + 2. Is 7 a factor of f(r)?
False
Let p(n) = n**2 - 3*n - 40. Is p(13) a multiple of 10?
True
Suppose -k + 5*u = 7, -u - 1 - 4 = -k. Let z = k - -22. Is 15 a factor of z?
True
Suppose 0 = -5*k + 9*k + 36. Is 2 a factor of (11/(-4))/(k/36)?
False
Let k(p) = 5*p + 1. Let f be k(5). Suppose 2*y - 3*o = 6*y + 52, 3*y - o + f = 0. Let c = y + 14. Is c even?
True
Is 131/4*(-2 + 36/6) a multiple of 15?
False
Suppose 60 = 3*q - 2*q. Does 30 divide q?
True
Is 4 a factor of 8/(-7 + 7 + 1/4)?
True
Let a(y) = y**3 + 2*y - 1. Let o be a(2). Let i = o - -17. Is 24 a factor of i?
False
Let t(b) = -1 - 2*b + 9 + 2. Is 10 a factor of t(-7)?
False
Let q(v) = v - 4. Is q(11) a multiple of 4?
False
Suppose 4*u + 87 = r + u, -5*u - 89 = -r. Suppose 5 = 2*t - 2*d + 47, -5*d = -4*t - r. Let w = -14 - t. Is 7 a factor of w?
True
Suppose 2*x - 4*x + 160 = 0. Is x a multiple of 31?
False
Suppose 2*c - 3 - 5 = 0. Suppose 2*k + c*l - 30 = 0, -5*l = -0*k + k - 12. Does 15 divide 2*k - (-1 + 1)?
False
Let a = 370 - 163. Is a a multiple of 42?
False
Suppose -6*w + 17 = -3*w - 2*h, 4*w = 4*h + 28. Suppose 5*a = -2*m + 18, -2*m + 2*a + w = -1. Is m/(-6)*(-174)/4 a multiple of 10?
False
Suppose 5*a + 221 = 3*k - 134, -k + 124 = 4*a. Does 30 divide k?
True
Suppose -j + 4 = 4*z, 2*z + 2*z = 2*j - 44. Is 4 a factor of j?
True
Suppose -w = -3*i - 34, -70 = -3*w - i - 18. Is 6 a factor of w?
False
Let m = 21 - 19. Let q(p) = 8*p**3 - 3*p**2 + 1. Is 15 a factor of q(m)?
False
Suppose 125 = k - 0*q - 5*q, -4*k + 2*q + 482 = 0. Is 19 a factor of k?
False
Let f(s) = s**3 - s**2 - s + 3. Let g(i) = i**2 - 8*i - 6. Let h be g(9). Is 12 a factor of f(h)?
False
Suppose 0 = 5*z + 7 - 42. Let k = 27 - z. Suppose 3*l + k = 5*l. Is 10 a factor of l?
True
Let j be 5/(-10) - (-15)/2. Suppose -k + 2*d + 14 = 0, 0*k - d + j = 3*k. Suppose 0 = -k*f + 199 - 55. Is 11 a factor of f?
False
Suppose p + b = -2*p + 17, 2*b = -4*p + 22. Let f(z) = z - 2. Is 3 a factor of f(p)?
False
Let p(s) = s**3 + 7*s**2 + 4*s + 3. Is p(-6) a multiple of 10?
False
Let h(v) = v**3 - 7*v**2 + v. Let s be h(9). Does 10 divide (-2)/3*s/(-6)?
False
Let p be -2 + 2 + (72 - 2). Let n = p - 48. Is 9 a factor of n?
False
Let z(u) = -u**2 - u. Let s be z(0). Let l be s*(2/4)/(-1). Suppose l = r + r - 56. Is 10 a factor of r?
False
Is 29 a factor of (-2 + -58)*(-5 + (1 - -3))?
False
Let u(k) = 96*k - 4. Does 29 divide u(2)?
False
Suppose 0 = 3*n - 2*n - 3*f - 80, 0 = n - 2*f - 76. Let i = 122 - n. Is 18 a factor of i?
True
Let l = 12 + -20. Let j be 2/l - (-26)/8. Suppose -5*y - 28 = -g - 2*g, -30 = -j*g + 3*y. Does 5 divide g?
False
Let i(s) = -s**3 + 7*s**2 + s - 5. Suppose 0 = -4*v + 4, 5*v - 3 + 23 = 5*f. Let h be i(f). Let q = 88 - h. Is q a multiple of 19?
True
Let f = -109 + 370. Is 28 a factor of f?
False
Suppose 2*n + 3 = -9. Let x(k) = k**2 + 7*k. Let p be x(n). Let d = 26 - p. Does 13 divide d?
False
Suppose -4*z + 19 = 3*p - 9, -32 = -5*z - 3*p. Let x be 3 + (1 - -6) + 2. Suppose -z = -2*q + x. Is 8 a factor of q?
True
Suppose -t = 5*g - g + 8, -4*g - 2*t - 8 = 0. Let w be g/(-9) + (-25)/(-9). Suppose 3*c = 2*r - r - 26, w*r - c = 78. Does 7 divide r?
False
Suppose -h = 1 - 3. Suppose h*i = -i. Suppose -2*k + i*k + 40 = 0. Is 10 a factor of k?
True
Let q = -8 - -120. Is 14 a factor of q?
True
Is 32 a factor of 4/(12/(-39))*-8?
False
Suppose 3*m = -6, 1 + 1 = -k - 3*m. Suppose a + k*t = 11, -3*a + 38 = t - 17. Does 12 divide a?
False
Let q = -1 - -1. Suppose -4*w + q*w + 35 = -3*d, -w = -d - 10. Suppose -r = 2*a - w*a + 19, 4*a - 57 = -5*r. Does 7 divide a?
False
Is 64 - (-4)/10*-10 a multiple of 27?
False
Suppose 0 = 4*k - 3*b - 0*b - 11, 4*k + 3*b - 5 = 0. Suppose -4*g - 84 = -4*h, -4*g - 36 = k*h - 4*h. Is 7 a factor of h?
False
Suppose -k = 2, 2*r - 17 = 5*r - 2*k. Let y = 2 - r. Let m = y - -1. Is m a multiple of 4?
False
Is 1*(-21)/(-6)*(-396)/(-63) a multiple of 11?
True
Let h(i) be the third derivative of i**6/45 + i**5/30 + i**4/8 + 5*i**3/6 + 4*i**2. Let b(a) be the first derivative of h(a). Is 16 a factor of b(-2)?
False
Suppose -3*b - b = -656. Suppose 2*i - 7 = -4*q + 19, 2*i = 6. Suppose 0 = q*t - t - b. Is t a multiple of 14?
False
Is 20 a factor of (-12)/36 - (-506)/6?
False
Let r(i) = 12*i**2 - 2*i. Is r(-3) a multiple of 19?
True
Suppose 259 = 3*h - 35. Is 25 a factor of h?
False
Suppose 0 = 9*t + 179 - 791. Is 9 a factor of t?
False
Let x(c) be the first derivative of -c**3/3 - 3*c**2 + 3*c + 3. Let l be x(-6). Suppose l*o = 7 + 8. Is o even?
False
Suppose 5*v - 28 = -8. Suppose v*q = 18 + 30. Is 6 a factor of q?
True
Suppose -176 = -3*o + a, 5*o - 50 = 5*a + 240. Let c = o - 38. Is c a multiple of 21?
True
Suppose 728 = 5*o + 4*r, 4*o - 752 = -o + 4*r. Is o a multiple of 48?
False
Is (1 - -3)*(-1)/((-28)/455) a multiple of 5?
True
Let t = 228 - -214. Does 53 divide t?
False
Let r = 12 + -7. Let o = 14 - 15. Let s = o + r. Is 3 a factor of s?
False
Suppose -5*g + 2*o = 4*o - 31, 2*o = 3*g - 25. Suppose -18 = 6*a - 