factor of n?
True
Suppose x - 5*h = -38, -2*x - 180 = 5*h - 29. Let d = 135 - x. Is d a multiple of 33?
True
Is (-3072)/(-5) - (68/20 - 3) a multiple of 7?
False
Suppose i = 17 - 2. Let d be (4 - 3 - -1) + 3. Suppose -r = -i - d. Does 6 divide r?
False
Suppose -5*u + 0*z = -3*z - 4930, -3*u - 5*z = -2924. Is u a multiple of 99?
False
Suppose -4*x - 19 = -11. Is x*(-2 - 0)*1 a multiple of 3?
False
Let a(t) = -2*t**3 + 27*t**2 + 25*t + 29. Let d(k) = -k**3 + 13*k**2 + 12*k + 14. Suppose 5*r + 8 = -22. Let x(m) = r*a(m) + 13*d(m). Is x(6) a multiple of 16?
True
Let o = -422 - -239. Let b = o - -337. Is 22 a factor of b?
True
Suppose -3*l + l - 3*q = -262, 5*l - 655 = q. Let v = -59 + l. Is 14 a factor of v?
False
Suppose 19*p - 3990 = 3914. Is p a multiple of 14?
False
Let u be (-15)/(-9) + (-4)/(-12). Suppose -5 = -u*w + w + 5*o, -2 = -4*w + 2*o. Suppose x + 3*l - 30 = 0, -3*x + 114 = -w*x + 3*l. Does 14 divide x?
True
Suppose 14 = 12*z - 5*z. Let m(b) = 3*b**3 - 5*b**2 + 2*b - 5. Let j be m(4). Suppose -z*l + j = 3*l. Is l a multiple of 15?
False
Let l(i) = -8*i - 1 + 3 + 2*i**3 - i**3. Let n be l(3). Suppose 300 = n*o - 180. Is 24 a factor of o?
True
Is ((-177)/4)/3*-16 a multiple of 9?
False
Let f = -2108 - -4283. Is f a multiple of 15?
True
Suppose 0 = 2*r + 110 - 122. Suppose -q + 4*h = -157, r*q - 7*q = h - 152. Does 17 divide q?
True
Suppose -10*m + 158 + 2 = 0. Does 16 divide m?
True
Let c = -225 - -161. Let b(q) = 4*q**3 - 2*q**2 + 4*q - 2. Let x be b(3). Let d = c + x. Is 12 a factor of d?
True
Suppose 0 = -10*a - 319 - 21. Is 3 a factor of 663/a*2/(-3)?
False
Let a(m) = -m**2 + 5*m + 9. Let i be a(6). Suppose -t = -i*t + 26. Is t a multiple of 13?
True
Suppose 7*q - 3*q + 4 = 0, -5*o = 3*q - 287. Suppose -5*c + 142 = 4*l, 2*l - 4*c = -0*c + o. Does 11 divide l?
True
Let t(z) = -z**3 - 9*z**2 - z - 11. Let j be t(-9). Let x be j*1*21/(-14). Suppose -4*l + 13 = -x*r, 0 = -5*l + 5*r + 21 - 6. Is 4 a factor of l?
True
Is 64 a factor of (-5)/385*-14 - (-23932)/22?
True
Let i be (1 - 4) + 348/8*-2. Let c = -50 - i. Does 20 divide c?
True
Let l(v) = -311*v**3 + 3*v**2 - 2. Let f be l(-1). Suppose 0*b - 4*b = -f. Is b a multiple of 13?
True
Let d(l) be the third derivative of 5*l**4/24 + 23*l**3/6 - 14*l**2. Is d(17) a multiple of 18?
True
Let d = 1550 + -1088. Is d a multiple of 14?
True
Let r(q) = -q**2 + 7*q - 6. Let l be r(4). Let x = l + -7. Does 12 divide x/(2 + 75/(-36))?
True
Let j = 38 + -37. Let m = j + 6. Let r = 11 + m. Is 9 a factor of r?
True
Let x be 50/(-15) + 4 - 410/3. Let p = 190 + x. Does 18 divide p?
True
Suppose -66*j = -57*j - 8820. Is j a multiple of 35?
True
Suppose -5 = -2*x - 11, 47 = 2*m + 3*x. Does 17 divide m?
False
Suppose 4*l - 5*w = -3*w + 410, 2*l + 3*w - 217 = 0. Does 52 divide l?
True
Suppose 7*r - 8 = 20. Suppose -6*u + 3*l = -8*u + 84, 132 = r*u - 3*l. Is 9 a factor of u?
True
Let z be (4/(-8))/(2/(-4))*1. Does 14 divide z/(-2) + (-123)/(-6)?
False
Suppose 0 = -v - 0 + 1. Suppose 19 = 3*t + v. Is t even?
True
Let i(o) = o**2 + 16*o. Let q be i(-16). Is (q - (-111)/2)/(3/8) a multiple of 42?
False
Does 25 divide 2 + (-1 - -815 - -3)?
False
Suppose -6*f = -7*f + 6. Let p(u) = 6*u - 4. Is p(f) a multiple of 23?
False
Suppose 4*j = 416 - 172. Suppose -j = -2*g + 99. Does 8 divide g?
True
Let h(g) = -g**3 - 6*g**2 - 2*g - 57. Is h(-10) a multiple of 13?
False
Suppose -5*p - 8 = -o + 23, p - 3 = 0. Does 8 divide o?
False
Is (378/(-30))/(((-1)/(-5))/(-1)) a multiple of 6?
False
Let k = 244 - 108. Suppose -26 = 5*l - k. Does 11 divide l?
True
Let x = -6 + 0. Let n = x - -8. Suppose 0 = -3*v - n + 20. Is v a multiple of 3?
True
Let w be 2/3*(-6 - -39). Is 12 a factor of w/77 - 1004/(-14)?
True
Suppose -4*d = -2765 - 535. Does 70 divide d?
False
Does 40 divide (372/14)/((-23)/(-161))?
False
Suppose -m + 2*c + 169 = -217, -2*m + 3*c = -771. Does 8 divide m?
True
Suppose 2 - 12 = g. Let f(i) = -i**3 - 10*i**2 + i + 22. Is f(g) a multiple of 4?
True
Suppose 8*z = 3*z - 60. Let f = -43 + 23. Let t = z - f. Does 4 divide t?
True
Let u(m) = -8*m**2 + 57*m - 1. Does 5 divide u(7)?
False
Let t = 31 - -16. Suppose -4*q + 113 = -3*m, 5*m + 2*q + t = -98. Is -3*(-2 - m/(-3)) a multiple of 25?
False
Let m be (2/8)/(9/108). Is 13 a factor of 131*(4 - 1)/9*m?
False
Suppose -97 = -2*o - 5*t - 32, 0 = -3*o + t + 72. Let g(c) = -14*c**2 - c - 1. Let h be g(-1). Let x = o - h. Does 13 divide x?
True
Let p(w) = w**3 + 6*w**2 - 2*w + 42. Is 18 a factor of p(-6)?
True
Suppose -3*w = 20*w - 621. Is w a multiple of 6?
False
Let j be (-24)/10*(-40)/16. Suppose 432 = j*t - 3*t. Suppose t = 4*z + 16. Is 16 a factor of z?
True
Let u = -2 + 0. Let d be (3/(-2))/(u/12). Suppose -w - z = 2*z + 1, -3*z - d = 0. Is 5 a factor of w?
False
Suppose -3*r + 6 = 3. Let v(b) = 30*b**3 - b**2 + 1. Is v(r) a multiple of 10?
True
Let o(g) be the second derivative of -g**5/10 + 2*g**4/3 - 4*g**3/3 + 2*g**2 + 6*g. Let t be o(5). Let w = -25 - t. Is 19 a factor of w?
False
Let a(q) = -q - 22. Let h be a(16). Let m = h - -142. Is 8 a factor of m?
True
Suppose 0 + 5 = z. Suppose -185 - 125 = -z*u. Does 6 divide u?
False
Suppose -a - 3*h - 11 = 0, 5*a + 18 = 5*h - 17. Let g be (-6)/a + (-130)/(-40). Suppose -g*j + 34 = -5*f, 2*j - f + 10 = 4*j. Is j a multiple of 6?
True
Suppose y = -2 + 7. Let t = 61 + -24. Suppose i - 3*m - 2 = t, -y*i + 231 = -3*m. Does 18 divide i?
False
Is 46 a factor of 5/(-10)*(-1 - 175)?
False
Suppose s - 6*k = -10*k + 313, -318 = -s - 3*k. Does 9 divide s?
True
Let c be 524/(-26) - (-10)/65. Is 29 a factor of (-1012)/c + (-2)/(-5)?
False
Let g = 362 + -192. Is 34 a factor of g?
True
Suppose 2*x + 32 = o, -2*x + x + 204 = 5*o. Suppose -8*n = -f - 3*n - 5, -4*n = -3*f + o. Let u = f - 7. Is u a multiple of 3?
False
Suppose 2 = -a, 2*k + 3*k + 15 = -5*a. Let j(v) = 49*v**2. Let m be j(k). Suppose 5*f + m = 229. Is f a multiple of 11?
False
Suppose 0 = -5*v + 4*p + 219, 4*v - 5*p - 60 = 117. Does 12 divide v?
False
Let l(g) = 5*g + 10. Suppose -2*x - c + 18 = 0, x - 15 = c - 3*c. Does 9 divide l(x)?
True
Let t(m) = -3*m + 15*m + 13 - 33. Is t(8) a multiple of 19?
True
Is 20 a factor of ((-60)/(-33))/10 - (-8356)/22?
True
Let y = -35 - -61. Suppose -y + 83 = 3*v. Let g = v + 19. Is 9 a factor of g?
False
Let n be -12 + -19 + 2*1. Let w = 1 - n. Is 10 a factor of w?
True
Is 9 a factor of (-2)/1*1 - (-6 - 32)?
True
Let r be ((-17)/2)/((-9)/162). Suppose -3*a + f = 2*a - 837, 5*f + r = a. Does 13 divide a?
False
Let n = -1627 + 2544. Does 35 divide n?
False
Suppose -3*h + 4*j + 106 = 0, -3*j + j - 104 = -3*h. Let o = 148 - h. Is 12 a factor of o?
False
Let h(t) = -6*t**2 + 64*t - 6. Is h(9) a multiple of 42?
True
Suppose -31 = -4*c + 109. Let y(f) = f**3 + 18*f**2 - 14*f - 5. Let h be y(-19). Is 11 a factor of (14/c)/((-1)/h)?
False
Suppose s + s = 3*i - 221, -2*i + 3*s + 154 = 0. Suppose 2*n = 357 + i. Does 13 divide n?
False
Let x = 85 - 83. Suppose -5*i = -6*z + 3*z + 356, -2*i - 244 = -x*z. Is z a multiple of 11?
False
Let t(m) = m**2 - 4*m + 4. Let x be t(6). Let d = x + -16. Is (d + 1)/((-5)/(-125)) a multiple of 25?
True
Suppose -u + 4 - 3 = 0, r - 19 = -4*u. Is (-36)/r*(-10)/3 a multiple of 8?
True
Let r = -34 - 51. Let g = r - -158. Does 20 divide g?
False
Let i(a) = -2*a**2 - 16*a. Suppose 10 = -4*v + 2*f - 28, -3*f = 4*v + 23. Let l be i(v). Suppose l = 10*z - 9*z - 105. Is z a multiple of 21?
True
Suppose -94 = t - 98. Suppose 0 = x - t*x - 2*v + 132, -v = -x + 39. Is 14 a factor of x?
True
Suppose 3*v - 101 = -5*q, 16*v + 99 = 19*v + 3*q. Is v a multiple of 5?
False
Let s(w) = w**3 - 9*w**2 + 28*w + 4. Is 16 a factor of s(6)?
True
Let g(p) = 128*p + 953. Is g(0) a multiple of 29?
False
Let n = 57 + -55. Suppose n*t + t - 3*s - 258 = 0, -2*s = 2. Is t a multiple of 17?
True
Suppose -30 = -9*s + 3*s. Does 6 divide (-19)/s*(-1 - (-4)/(-1))?
False
Suppose 5 = 5*a + 3*d, -a - 3*d = 2*a - 3. Suppose s + 6 = a, k = -s - 5. Suppose -o + 3*o - 128 = k. Is o a multiple of 16?
True
Let n(i) = 13*i - 10. Let l be (-2)/(2*4/(-16)). Suppose -3*k = 2*g - 24, -5*k + 14 = -l*g - 26. Does 17 divide n(k)?
False
Let b = -1882 + 3389. Is b a multiple of 17?
False
Let p(t) = -t**2 + 13*t + 15. Let k be p(13). Suppose -k - 141 = -4*i. Is 13 a factor