 + 30. Suppose f = -1, x*o = -3*f + 2*f + 49. Let u(m) = 5*m - 14. Is 9 a factor of u(o)?
True
Let a(m) = -m**2 - 17*m. Let c be a(-17). Suppose c = q - 0*q - 152. Is q a multiple of 15?
False
Is (-13)/(91/(-13048)) + -2 a multiple of 7?
True
Let q be (117/(-2))/((-376)/64 - -6). Is 10 a factor of q/(-8) - (-21)/14?
True
Suppose 9 = 5*i - 11. Let m(y) = y**3 - 4*y**2 - 2. Let t be m(i). Is (-186)/(-4) - t/4 a multiple of 20?
False
Suppose 6832 = -40*l + 47*l. Is 8 a factor of l?
True
Suppose -4*n - 8 = 4*b, -5 = -2*n + 5*b + 19. Suppose 4*x + 0*x + 65 = 5*k, -n*x - 3*k = 49. Let g = x - -53. Is 10 a factor of g?
False
Let p = -26 - -30. Suppose -3*v + p*g = 17, 0*v - 2*v = -g + 13. Let l(t) = -7*t + 8. Is l(v) a multiple of 12?
False
Let r(g) = 5*g**2 - 2*g. Let i(j) = -2*j**2. Let x(o) = 6*i(o) + 2*r(o). Let y be x(-2). Let s(q) = -q + 18. Is 18 a factor of s(y)?
True
Suppose 7*l = -2*l + 36. Is 71/l + (-2)/(-8) a multiple of 9?
True
Let n be ((-106)/6)/((-7)/21). Let j = n - 23. Is 10 a factor of j?
True
Suppose 44 = b - 3*p - 479, -5*p = -5*b + 2655. Is b a multiple of 23?
False
Let p = 1188 + -572. Does 8 divide p?
True
Let y = 1110 - 810. Is 6 a factor of y?
True
Let r = 20 - 90. Let j = -28 - r. Does 21 divide j?
True
Suppose -3*i = -4*c, 4*i + 3*c = 11 + 14. Is 3 a factor of 6/i*(-64)/(-6)?
False
Suppose 0 = -4*m + 20, -u = 2*u + 5*m - 316. Suppose 8*d + u = 1377. Is d a multiple of 16?
True
Is ((-15)/5)/(-3) + (-4 - -13) a multiple of 10?
True
Let h = -112 + 274. Is 27 a factor of h?
True
Suppose 6045*z - 17886 = 6039*z. Does 11 divide z?
True
Let v = 707 - 518. Is v a multiple of 3?
True
Suppose 6*r - 69 = 3*r. Let x = -3 + r. Does 20 divide x?
True
Let u be (6/2)/((-4)/(-148)). Suppose y = u - 36. Does 14 divide y?
False
Let z(i) = -i + 3. Let o be z(-1). Suppose y + 3*c + 66 = o*y, -4*c = 5*y - 65. Does 13 divide y?
False
Let x(a) = -36*a + 56. Is 42 a factor of x(-18)?
False
Let l = 56 + -104. Does 2 divide l/(-20)*15/6?
True
Let j(b) = b**3 + 31*b**2 - 79*b + 75. Is 6 a factor of j(-33)?
True
Is 110 a factor of 41*57 - (-8)/(14/(-7))?
False
Let d(i) = -3*i**3 + 17*i + 2*i**3 + 0*i**3 + 14*i**2 + 2*i**3 + 20. Is 42 a factor of d(-12)?
False
Let b = -589 + 864. Is 81 a factor of b?
False
Suppose -r - 3*f = -1205, -5*r + f + 5974 = -f. Is 39 a factor of r?
False
Let h(t) = t**3 + 2*t**2 - 3. Let i(c) = 2*c**3 + 5*c**2 + c - 8. Let a(o) = 7*h(o) - 3*i(o). Suppose -14 - 1 = -5*y. Is a(y) a multiple of 4?
True
Let a(d) = -359*d**3 + d**2 - d - 1. Let c be a(-1). Suppose -37*q + 33*q + c = 0. Let v = -51 + q. Does 30 divide v?
False
Let h(v) = -37*v - 34. Let w be h(-10). Does 7 divide ((-1)/2)/((-3)/w)?
True
Let u(x) = x**3 + 14*x**2 + x + 16. Let m be u(-14). Suppose 7*v - 314 = m*v - 2*i, -2*i + 4 = 0. Is v a multiple of 31?
True
Let y = -714 + 1078. Is y a multiple of 14?
True
Suppose -560 = -w + 2*n, -3*n = 5*w - 45 - 2781. Does 21 divide w?
False
Suppose 4*c - 1576 = 2*r, -11*c + 10*c = -3*r - 384. Does 36 divide c?
True
Let g(s) = s - 4*s**2 - 5*s**2 + 48 + 10*s**2. Does 10 divide g(-12)?
True
Is 55*(234/60 - (-2)/4) a multiple of 11?
True
Let x = 0 + 6. Suppose 232 + 248 = x*m. Is 20 a factor of m?
True
Suppose -40 = -4*w - 4*t, -4*t - 18 = -2*w - 5*t. Suppose m + 3*m = w. Suppose 68 = 2*v - m*b, -2*b + 5*b = -v + 50. Is v a multiple of 5?
False
Let k = 2747 + -251. Is 48 a factor of k?
True
Let n = -125 - -188. Suppose 0 = r + 3, 2*l - n = -2*l + r. Is l a multiple of 5?
True
Suppose -4*k = 5*k - 5*k. Is 14 a factor of 71 - (-1 + (k - -2))?
True
Suppose 9*v - 55 = 1475. Does 10 divide v?
True
Suppose 4*v - v = 0. Let d be 5/(-4 - 1) + 12/4. Suppose 3*w + m + v*m = 198, d*m + 319 = 5*w. Is w a multiple of 11?
False
Let a(y) = -y**3 - 14*y**2 - y - 14. Let t be a(-14). Suppose -2*p = -2*f + 74, 2*f + 2*f - 3*p - 149 = t. Is f a multiple of 7?
False
Let j be 1 + -1 - (2 - -3). Let c(l) be the second derivative of -5*l**3/3 + 9*l**2/2 - 2*l. Does 7 divide c(j)?
False
Let z be -1*(-3 - -2)*8. Let j = z + -5. Let a = 35 + j. Is 11 a factor of a?
False
Let s(x) = -2*x**2 - 8*x - 3. Let a(h) = -h**2 - 7*h - 4. Let l(i) = 3*a(i) - 2*s(i). Does 9 divide l(-5)?
False
Let f(l) = 12*l**2 + 5*l**2 + 11*l - 2*l**3 + 12 + 3*l**3 - 6*l**2. Let u be f(-10). Is 10 a factor of (u - (2 - 18)) + -1?
False
Let j(p) be the second derivative of -4*p + 5/3*p**3 + 7/2*p**2 - 1/12*p**4 + 0. Is 10 a factor of j(6)?
False
Suppose 7*j - 3*j = 8. Suppose -h + 10 = 1. Suppose -h = -j*y - 3. Does 2 divide y?
False
Let o(m) = -m**2 - m - 1. Let d(k) = k**2 + 2*k + 3. Let n(j) = -d(j) - 2*o(j). Does 14 divide n(-7)?
False
Let r = -48 - -230. Let m = r + -141. Does 17 divide m?
False
Let t = 289 - 253. Is t a multiple of 18?
True
Suppose 2*d + d - 3 = 0. Suppose 3*b = -3*x - d + 19, 0 = -4*b + 2*x. Suppose 0 = -l + 7 - b. Does 2 divide l?
False
Let g = 746 - 697. Does 6 divide g?
False
Let n = 66 - 61. Does 19 divide 24 + (0 - n - -4)?
False
Let d be (-8)/12*18/(-4). Suppose -3*j = l, -5*l + d*j = 2*j - 32. Is (l/8)/(2/56) a multiple of 7?
True
Is (-2 + -12)/(4/(-344)) a multiple of 23?
False
Suppose 0*q - 4*q = -2*x - 14, 3*x + 12 = 3*q. Is 11 a factor of 179/(-1)*(x/(-1) - 2)?
False
Let k(r) = -r**3 - 2*r**2 + 2. Let t be k(-5). Suppose g + 31 - t = 0. Let b = -16 + g. Is 9 a factor of b?
False
Let z(r) = r**2 - 7. Suppose 4*v + 0*v = 28. Is z(v) a multiple of 12?
False
Let v(k) = -5*k - 38. Let x be v(-8). Suppose -4*l + 21 = -x*h + 449, -10 = -2*l. Is h a multiple of 16?
True
Let g(r) be the first derivative of 7/2*r**2 - 2 + 13*r. Does 28 divide g(11)?
False
Suppose -1201 = -o - 5*t, 30*t = -3*o + 25*t + 3573. Is 79 a factor of o?
False
Suppose 7*i = 2*i + v + 2733, -5*i - 5*v + 2715 = 0. Is i a multiple of 14?
True
Suppose -10*f + 6395 + 4415 = 0. Is 47 a factor of f?
True
Let t be 3 + 0 - (-4 + 1). Let w(g) = g**3 - 4*g**2 - 3*g - 6. Let l be w(t). Suppose a + 3*k - 51 = -4*a, -3*a + 4*k = -l. Does 6 divide a?
True
Let k(a) = -3697*a + 138. Is k(-1) a multiple of 31?
False
Let v(q) = -q**3 - 14*q**2 + 18*q + 51. Let u be v(-15). Suppose -23 = 5*o - 123. Suppose u*h - o = h. Does 3 divide h?
False
Suppose -28 = -3*s - 19. Suppose -394 + 4 = -s*c. Is 13 a factor of c?
True
Let g = 1656 - 312. Suppose -2*p + g = 6*p. Is 42 a factor of p?
True
Let f = 2308 - 1538. Does 11 divide f?
True
Let j be -427 - (3/1)/3. Let q be j/(-8) + 3/(-2). Suppose -2*w + 3*w = q. Is 21 a factor of w?
False
Is 5 a factor of 335 + -3 + 7 + -8?
False
Suppose 0 = -18*g - g + 6631. Is g a multiple of 19?
False
Let u be 11/(-22) + 6/4. Is -1 + -2 + 40 - u a multiple of 9?
True
Let r = -231 + 317. Is r a multiple of 24?
False
Is 11 a factor of -8*3/4 + (396 - 0)?
False
Let g = -75 - -535. Does 46 divide g?
True
Let o(f) = 48*f. Let m be o(-2). Suppose -v = -10 + 67. Let p = v - m. Is 25 a factor of p?
False
Let o(s) = 9*s**2 - s + 10. Does 8 divide o(3)?
True
Suppose 0 = 7*i - 34 - 1. Let r be 153/i + (-8)/(-20). Suppose 3*b - 2 = r. Does 11 divide b?
True
Suppose r - 6*r = 3*d - 15, -3 = -r + 4*d. Let q(k) = -8*k**3 + 3*k**r + 3*k**3 + 3*k**3 + 13*k - 5 - 12*k**2. Does 12 divide q(11)?
False
Let v(d) = -d + 13. Let q be v(11). Suppose -5*a = -3*y + 8*y + 10, 6 = 4*a - 3*y. Suppose a = -q*n - 3*n + 175. Is n a multiple of 13?
False
Let z = 464 + -357. Is 9 a factor of z?
False
Suppose c - 3*t = 2155, -11*c - 8665 = -15*c + 3*t. Is c a multiple of 62?
True
Suppose -8 = -7*h - 1. Suppose 101 = k - h. Is 7 a factor of k?
False
Suppose h = -j - h, -5*h + 15 = 5*j. Suppose -376 = -5*m - 5*q + 3*q, j = -3*q. Is m a multiple of 19?
True
Let m(t) be the third derivative of -11*t**4/6 + 2*t**3/3 - 9*t**2. Does 16 divide m(-1)?
True
Let y(l) = l**2 + l. Let f be y(-1). Does 10 divide 105 - -5 - (-4)/(-8)*f?
True
Suppose -16*k + 14*k = 274. Let c = -91 - k. Does 13 divide c?
False
Let m(r) = 233*r**2 + 3. Let y be m(-2). Suppose 6*a = -5*a + y. Is a a multiple of 17?
True
Let x be -1 + (-4 - 3/3). Does 12 divide 4 - 6 - x - -8?
True
Let y be (-2)/3 + (-14)/6. Is 32 a factor of 10/y*(-7 + -8)?
False
Let a = 264 + -146. Does 9 divide a?
False
Suppose -5*k + 13 = d - 2, 4*k + d - 13 = 0. Let o(p) = -14 + 0 - 3 + 6*p + p**k. Does 23 divide o(-13)?
False
Let m(y) = -y**2 - 11*y - 14. Let i be m(-9).