
Let k(q) = q**3 + 7*q**2 + 6*q + 6. Let i = -35 - -31. Is 30 a factor of k(i)?
True
Suppose 3*j - 144 = 3*z - 30, 0 = 5*j + 3*z - 198. Is 6 a factor of j?
False
Let c = 394 - 44. Is 14 a factor of c?
True
Let b(t) = t**3 - 17*t**2 + 17*t - 21. Let z be b(16). Is 340*z/(-10) - (1 + 1) a multiple of 20?
False
Let x(s) = s**3 + s**2 - 6*s + 2. Let w be x(8). Suppose -1454 = 4*r - w. Is 21 a factor of (-42)/r - 240/(-11)?
False
Is (-1878)/(-4) + 5 + 99/(-18) a multiple of 7?
True
Let r = 23 - 21. Does 14 divide 153 - (r - 5 - 1)?
False
Let p = 1086 - 626. Is p a multiple of 8?
False
Let q(j) = -5*j**2 - 3*j - 2. Let x be q(-2). Let v = 19 + x. Suppose -d = -v*b + 193, 3*b + d = 5*b - 129. Does 13 divide b?
False
Suppose 4*g + 4*p = 8, 4*p = -g + 5 + 9. Let j(s) = -29*s + 2. Is j(g) a multiple of 17?
False
Let c(s) = -204*s - 154. Does 49 divide c(-7)?
True
Let u(k) = -k - 6. Let i be (-85)/15 - (-2)/3. Let o be u(i). Let h = 32 - o. Is 11 a factor of h?
True
Let v be ((-24)/32 - 145/4)/(-1). Suppose 5*q = v + 38. Does 15 divide q?
True
Let l(m) be the second derivative of -m**3/6 + 6*m**2 + 7*m. Let d be l(15). Is -3 - d/(12/92) a multiple of 5?
True
Let r(i) = -i**2 - 2*i + 16. Let f(b) be the first derivative of -b**3/3 - 7*b**2/2 + 5. Let y be f(-7). Is 16 a factor of r(y)?
True
Let l(f) = f**2 + 11*f - 4. Let y be l(-16). Suppose -4*b + 36 = -y. Is 14 a factor of b?
True
Let u = -69 + 133. Let t = u - 49. Is t a multiple of 5?
True
Suppose 209*w + 10439 = 222*w. Is w a multiple of 73?
True
Suppose -517*q + 503*q + 13860 = 0. Does 22 divide q?
True
Suppose -4*l = -2*y - 10, -l = 4*y - 8 - 8. Suppose 70 = -y*v + 289. Does 21 divide v?
False
Let o = -389 + 965. Does 12 divide o?
True
Let s = 28 - 18. Let r be s/(-15) - 88/(-6). Is 9 a factor of (2 - -10)*r/4?
False
Let p = -562 - -364. Let c = p - -333. Is c a multiple of 15?
True
Let p = -41 + 359. Suppose -2*g - p = -5*g. Is g a multiple of 33?
False
Suppose -3*h = -193 - 224. Suppose 0*o - 3*o + h = 4*m, 5*o - 87 = -2*m. Does 31 divide m?
True
Suppose -2*i + 10 = -4*h, -4*h - h - 18 = 3*i. Let c = i - -4. Suppose -3*v - 3*j + 8*j + 30 = 0, 30 = c*v - 4*j. Is v a multiple of 3?
False
Let v(g) = -g**2 + 2*g + 5. Let c be v(3). Suppose 5*q - c*j = 0, q + 21 = 3*q - 5*j. Let s(r) = 2*r**2 + r - 2. Is s(q) a multiple of 4?
True
Let w be (1 + (-6)/4)*0. Suppose -4*p + w*c + c + 487 = 0, -5*c - 361 = -3*p. Is 10 a factor of p?
False
Let i(q) = 19*q + 1. Let j(g) = -2*g. Let p be j(-2). Let o be (6/p)/(4/8). Is 15 a factor of i(o)?
False
Let m = 147 + -61. Let n be (47/(-94))/(2/(-28)). Suppose z - m = -2*u, -172 = 5*z - n*z - 5*u. Is 13 a factor of z?
False
Let j(x) = 14*x - x**3 - 7*x**2 - 3*x**2 - 1 - 3*x**2 - 1. Let d be j(-14). Let n(q) = -4*q**3 - q**2 + q - 1. Does 23 divide n(d)?
False
Suppose 3*z - 2*z + 3*f = 6, 0 = -f + 1. Suppose 3*k - 17 = z*a + 7, 4*k = -a + 17. Does 2 divide k?
False
Let c(u) = u**3 + 30*u**2 + 78*u - 4. Is c(-20) a multiple of 52?
False
Let h = 24 - 2. Let l = h + 0. Is 12 a factor of l?
False
Let z(i) = -8*i**2 - 18*i - 17. Let g(b) = -3*b**2 - 8*b - 8. Let f(a) = 9*g(a) - 4*z(a). Suppose 2*d + 6 = -0*d, 2*r + 12 = -2*d. Is f(r) a multiple of 16?
False
Let n(q) be the first derivative of -q**3/3 - 10*q**2 + 32*q - 29. Is 2 a factor of n(-20)?
True
Suppose 0 = -7*n + 6*n + 7. Suppose -77 = -0*x - n*x. Is 6 a factor of x?
False
Let z(o) = -301*o + 21. Let n be z(-2). Suppose -m = -2*q - 158, -4*m + 4*q - 5*q + n = 0. Does 13 divide m?
True
Suppose -18*c = 12301 - 75751. Does 98 divide c?
False
Let n(l) = 7*l**3 + 6*l**2 - 5*l + 8. Let o(i) = i**3 - 5*i + 1. Let p(a) = a. Let g(b) = o(b) + 4*p(b). Let k(u) = 6*g(u) - n(u). Is k(-7) a multiple of 13?
False
Let a be 5/10 + 211/(-2). Let j = a + 135. Is 15 a factor of j?
True
Let u be ((729/(-6))/(-9))/(2/4). Let w be 11 - ((-2)/(-1) + 0). Suppose -c = d + 2*c - w, c + u = 3*d. Is 3 a factor of d?
True
Let d = 1641 + -844. Is d a multiple of 10?
False
Suppose -2*j + 25 = n, -6*j + n + 35 = -3*j. Does 7 divide (-3)/9*(j*9)/(-2)?
False
Suppose -f - 3152 + 822 = -5*a, 2340 = 5*a - 3*f. Is 9 a factor of a?
False
Suppose -2*m - 6306 = 2*t, 0 = 4*t - m - m + 12612. Is (-2)/(54/t) + 10/45 a multiple of 39?
True
Let v = 280 + -135. Suppose -1 + v = 4*z. Is z a multiple of 21?
False
Suppose -16*g = -20*g + 36. Suppose -276 = -g*a + 48. Is a a multiple of 11?
False
Let w(l) = 9*l - 28. Let b be w(-7). Let c = -51 - b. Is 10 a factor of c?
True
Let o = 0 - 9. Let b = o + 12. Suppose 5*q = -b*f + 77, 3*f - 4*q + 29 = 97. Is f a multiple of 12?
True
Let h = 810 - 193. Is 14 a factor of h?
False
Let h(j) = 8*j**2 + 3*j - 16. Let a be h(-6). Suppose x - 2*g = a, -g = -x - 2*g + 242. Does 41 divide x?
True
Let t(j) = 61*j**2 - 15*j + 6. Is t(3) a multiple of 102?
True
Let l(y) = 9*y**2 - 6*y + 16. Let g be l(-5). Suppose -3*b = -5*x + 289, 0*b + g = 5*x + 3*b. Does 28 divide x?
True
Suppose 5*l - 2*a = -a + 15, -5*a = -l + 27. Suppose -7*j + 432 = l*j. Does 4 divide j?
True
Suppose 2*h - 61 = 75. Suppose -h = -3*l - m, -5*m + 38 = 5*l - 72. Suppose 0 = 5*y - 158 + l. Does 9 divide y?
True
Let m(r) = 87*r**2 - 3*r. Let q be m(1). Suppose 2*p = 5*n - 845, 3*p + q = n - 72. Does 8 divide n?
False
Suppose 2*h + 3*x - 15 = 8*x, 2*h + 3*x = -9. Suppose -z = 5*c - 282, 114 = 2*c - h*c + z. Is 26 a factor of c?
False
Let w(c) = -c**2 + 17*c + 128. Is 16 a factor of w(22)?
False
Suppose 2*k = -3*k + 4*z + 811, 4*z = -5*k + 779. Does 16 divide k?
False
Let x(s) = 2*s**3 - 6*s**2 + 6*s - 2. Let q be x(3). Suppose -4*i + 4 = -q. Suppose -5*o + 3*o + 44 = 4*p, 4*p = -i*o + 140. Is o a multiple of 12?
False
Let l(p) be the third derivative of 1/12*p**4 - 1/6*p**3 + 0 + 0*p - 1/60*p**5 + 19/120*p**6 - 3*p**2. Does 4 divide l(1)?
False
Let q(x) = 34*x + 46. Is 25 a factor of q(38)?
False
Let h = 50 - 16. Suppose 5*f - 21 - h = 0. Suppose 2 = q + d - f, d = -3*q + 49. Is q a multiple of 5?
False
Is 13 a factor of (-1)/(-6 + 17065/2845)?
False
Suppose -7*w + 8*w = 3. Suppose -111 = -3*b + 3*z, 7 = w*z + 4. Is 12 a factor of b?
False
Let b(n) = 5*n - 8. Suppose -p + 5 + 0 = 0. Suppose -12 = -p*s + 2*s. Is 12 a factor of b(s)?
True
Let m(j) = 26*j**2 + j + 1. Let u be m(1). Suppose h = 4*w - u - 234, -2*w = -3*h - 136. Is 13 a factor of w?
True
Is 32 a factor of 109/(90/(-280) - 4/(-7))?
False
Let o be (132/55)/(2/(-15)). Does 4 divide (2 - 1)/((-3)/o)?
False
Let d be (15/(-9) - -2)/((-1)/249). Let h = 1 - d. Is 21 a factor of h?
True
Does 46 divide 74*4*1/((-3)/(-3))?
False
Suppose -32*f + 21*f = -6171. Does 17 divide f?
True
Suppose -2025*b + 2032*b - 1176 = 0. Is 24 a factor of b?
True
Let p be 1*3 - (-1858 + -12)/11. Suppose -3*c + 647 = 2*y - y, 2*c - 436 = -3*y. Suppose -5*n + c = 4*l, 3*n + 5*l + 31 = p. Does 13 divide n?
True
Suppose 6*v - 2554 + 1636 = 0. Is 30 a factor of v?
False
Let s = 389 - 624. Let w = -13 - s. Does 37 divide w?
True
Suppose 8 = 4*a + 20. Let q(v) = -v**3 - 3*v**2 - 3*v + 1. Let h be q(a). Does 8 divide 218/9 + h/(-45)?
True
Let p = -76 + 64. Let g(y) = -19*y - 51. Is 30 a factor of g(p)?
False
Let z = -1421 + 2431. Is 11 a factor of z?
False
Let g(y) = y**3 - 25*y**2 - 27*y + 37. Let k = -5 - -31. Is g(k) a multiple of 3?
False
Let z be (5/(-3))/((-1)/(-3)). Let s be ((-6)/(-7))/(z/(-35)). Let k(r) = 3*r**2 - 11*r - 2. Is 13 a factor of k(s)?
False
Suppose 4*n - 525 - 131 = 0. Let j = n + -10. Let m = j - 103. Is m a multiple of 11?
False
Let i be (-1)/(4 - (-100)/(-24)). Is 16 a factor of 24*(i - (-12)/(-3))?
True
Suppose -4*c = c + 65. Let x = c + -3. Let i = x - -28. Does 3 divide i?
True
Let j be -4 + (-4 + 0 - -12). Suppose j*n = 5*o + n - 399, -395 = -5*o + 5*n. Does 51 divide o?
False
Let l(q) = -5*q + 46. Let a be l(-14). Let c = a - 62. Is 9 a factor of c?
True
Suppose 2*o = 4*s + 2348, 22*s = 17*s. Is o a multiple of 21?
False
Let h = -38 - -44. Suppose 7*q - 30 = h*q. Is q a multiple of 3?
True
Let v(o) be the first derivative of -26*o**3 - 3*o - 2. Let z(x) = x + 1. Let n(b) = -v(b) - 2*z(b). Is 28 a factor of n(1)?
False
Is 22 a factor of 20/(-6)*(-5544)/70?
True
Suppose -3*k = 5*n - 5175, -2*n + 2*k + 540 = -1530. Is 14 a factor of n?
False
Let i be -4*(2 - (-2 + 5)). Suppose n = 1, 3*d + i*n = -0*d + 64. L