Let v(o) = 9*i(o) + 2*l(o). Is 13 a factor of v(3)?
True
Does 7 divide (-42)/(-9)*(5 - -1)?
True
Let i = -11 - -22. Does 3 divide i?
False
Suppose 0 = -5*u - 200 + 860. Is u a multiple of 33?
True
Let i = -50 + 138. Is 22 a factor of i?
True
Is 3 a factor of (-1)/(-7) + (-60)/(-21)?
True
Let g(s) be the second derivative of -s**3/6 + 19*s**2/2 - 3*s. Let r be g(0). Suppose 0 = 2*d + 5*f - 8, 0*f = -d + 5*f + r. Is d a multiple of 9?
True
Let y be (2 - (3 - 2))*1. Let v be y + (-2 - 0 - -1). Suppose v = 4*b - 14 - 14. Is b a multiple of 7?
True
Suppose -4*y + 5 = -23. Is 3 a factor of y?
False
Let i = -8 + 57. Suppose 3*o + 10 - i = 0. Does 8 divide o?
False
Let n = 3 - -16. Does 17 divide n?
False
Does 3 divide (-14)/(-1) + 12/(-4)?
False
Let v = 150 - -24. Is v a multiple of 22?
False
Let x(n) = -5*n - 6. Is x(-4) a multiple of 14?
True
Suppose 5*n - 6 = -21, -3*n = -2*r + 265. Is 16 a factor of r?
True
Let f = -94 - -191. Does 9 divide f?
False
Let r(x) = x**2 - 7*x - 7. Let f be r(9). Let s = f + 12. Does 17 divide s?
False
Let z(v) = -24*v - 33. Does 28 divide z(-16)?
False
Let z(y) = -14*y + 4. Let q be z(-6). Let h = q - 23. Is 19 a factor of h?
False
Let w(p) = p**3 + 2*p**2 - 2*p - 2. Let o be w(-2). Let m(a) = 6*a - 1. Let j be m(o). Is -4 + 1 + j*4 a multiple of 18?
False
Suppose -3*x + 158 = -184. Does 9 divide x?
False
Let p be (-6)/(-2)*(7 - 6). Suppose -14 = g + k + p*k, -3*k = -2*g + 27. Let h = g + 1. Is 2 a factor of h?
False
Let o(r) = r**2 - r - 4. Let y be o(-4). Let w = y + -5. Does 11 divide w?
True
Suppose -10*r - 448 = -18*r. Is r a multiple of 8?
True
Let g(a) = a**3 + 4*a**2 + a. Let o be g(-4). Let l(i) = i**2 + 3*i - 2. Let x be l(o). Suppose -x*n + 88 = 34. Is 25 a factor of n?
False
Let w = -1 - -1. Suppose -5*a + 3*a - 4*v = -12, w = -5*v - 25. Suppose n - a = -n. Is n a multiple of 3?
False
Suppose -1 - 5 = -f. Suppose 0 = b - 2*b + 132. Suppose 0 = -2*p + f*p - b. Is 11 a factor of p?
True
Let o(u) = u**2 + 1. Let z be o(0). Suppose -4*v = 3*h - 195, -14 - z = -3*h. Suppose -5*q = 5 - v. Does 4 divide q?
True
Let n = 8 + -8. Suppose 0 = -n*k + k. Suppose y - 37 - 2 = k. Does 13 divide y?
True
Let m be (1 - (-8)/(-6))*-24. Suppose 0 = g - 2*i - 24 - 0, 0 = -2*i - m. Is 8 a factor of g?
True
Suppose 4*q + 68 = 8*q. Let w = q + -8. Does 6 divide w?
False
Suppose 2*a + 88 = 6*a. Is a a multiple of 3?
False
Let w be (-3)/4 + 7/(-28). Let h = 25 - w. Is 14 a factor of h?
False
Let i = 58 - 28. Is 10 a factor of i?
True
Let h(q) = 4 - 1 - 2*q**3 - q + 3*q**3 + q**2. Is 3 a factor of h(0)?
True
Let k(v) = -v**3 + 8*v**2 + 8*v - 7. Is 19 a factor of k(8)?
True
Suppose 15 = 4*a - a. Suppose 14 + 6 = a*b. Suppose 0 = -b*t + 4*w + 47 - 3, 1 = -w. Does 5 divide t?
True
Let g(f) be the first derivative of -8*f - 1 - 1/3*f**3 - 9/2*f**2. Is g(-7) a multiple of 4?
False
Let a(w) = -3*w + 0*w - 5 + 11*w - 3. Let m = 11 - 5. Is 20 a factor of a(m)?
True
Let q(u) = -u**2 + 26*u + 30. Is q(20) a multiple of 16?
False
Suppose 2*s = -3*f + 4, -s - 4*s - 3*f + 10 = 0. Suppose s*g = -d + 19, 4*d = 7 + 5. Let q = g + 4. Is 10 a factor of q?
False
Suppose 153 = 4*c - 3*n, -33 = -5*c + 4*c - n. Is 18 a factor of c?
True
Let u(k) = -k**2 - 2*k - 3. Let a be u(-2). Let c(t) = -t**3 + t**2 + t. Let r(g) = 5*g**3 + g**2 - 3*g + 3. Let x(b) = 4*c(b) + r(b). Is x(a) a multiple of 11?
False
Is (4/(-6))/(2/(5*-36)) a multiple of 6?
True
Let b(f) = f**2 - 5*f - 3. Let p be b(5). Let x(i) = -i**3 - 2*i**2 - i + 3. Is x(p) a multiple of 15?
True
Let a(g) = g**2 - g. Let w(c) = -7*c**2 - 3*c + 6. Let n(r) = 6*a(r) + w(r). Let u be n(-10). Let j(h) = h**3 + 8*h**2 - 5. Does 16 divide j(u)?
False
Let i(j) = 21*j + 14. Is i(10) a multiple of 32?
True
Let y = 60 - 32. Suppose -3*f + y + 98 = 0. Is 19 a factor of f?
False
Let p be (10/8)/((-2)/(-8)). Let o = -5 + p. Suppose o*x - 36 = -2*x. Is 6 a factor of x?
True
Suppose 235 + 55 = 5*c. Does 12 divide c?
False
Suppose -2*z + 7*z - 120 = 0. Let o = z + -8. Does 8 divide o?
True
Let i be 175 + (-2)/(-2) + 0. Let s be ((-6)/(-4))/(12/i). Suppose 2*h - s = -8. Is h a multiple of 7?
True
Let s = -1 + 4. Suppose 14 = -4*l + 3*c, -2*c + s*c = 3*l + 8. Let n = l - -54. Is 22 a factor of n?
False
Let m = 158 + -80. Is m a multiple of 26?
True
Let b(t) = t + 5. Let q be b(-5). Suppose 2*v - 6 = 5*y - 26, q = 3*y - 4*v - 12. Let k(u) = 6*u - 6. Does 6 divide k(y)?
True
Let x = -23 - -44. Is 7 a factor of x?
True
Suppose -5 - 2 = -o. Suppose u - o = 33. Is u a multiple of 14?
False
Let o be -1 + (-1)/(3/(-63)). Is o*(48/20 + 0) a multiple of 16?
True
Let t be (-6)/27 + (-61)/9. Let v = t + 13. Suppose -4*n + 50 = v. Is 11 a factor of n?
True
Suppose 0 = -4*m - 3 + 171. Is 21 a factor of m?
True
Suppose -4*a - 5*j + 56 = -0*j, -a + 14 = 5*j. Is a a multiple of 11?
False
Suppose 7*f - 10 = 2*f. Suppose f*x - 7*x + 70 = 0. Does 5 divide x?
False
Let m be 76/3*(-6)/(-4). Let z be (1 + 0)*m/2. Does 9 divide (-1)/(-2) + z/2?
False
Suppose -3*n + 6 = -0*o - 2*o, -4*o + 24 = 3*n. Suppose -2*w = -4*y - 122, 0*w + n*w = y + 258. Does 10 divide w/4 - (-1)/(-4)?
False
Let l = 292 - 197. Is l a multiple of 19?
True
Suppose -3*q + 3*j = -3, 0*q + 3*j - 2 = 2*q. Suppose -3*k + 2*a = -3*a - 120, -166 = -q*k - 3*a. Does 9 divide k?
False
Let p(v) = v**3 + 6*v**2 + 4*v - 4. Let d be p(-4). Let m = -6 - d. Is 9 a factor of (-3)/6*0 - m?
True
Let w = -129 - -138. Does 2 divide w?
False
Let x(y) = -17*y - 6. Is 11 a factor of x(-1)?
True
Let w = -3 - 2. Let c = w + 5. Suppose 0*r = -2*r - v + 78, c = r - v - 42. Does 14 divide r?
False
Let r(b) = -4*b - 8. Let m(z) = -4*z - 7. Let i(y) = 3*m(y) - 2*r(y). Is 14 a factor of i(-9)?
False
Let b be 1/2*0 - -20. Let m be (b - -1) + (-1 - 2). Suppose 0 = i - m - 0. Is i a multiple of 18?
True
Let u = -4 - -4. Suppose u = -2*o - 2*d + d + 8, -20 = -5*d. Suppose 3*w - 77 = -i + 3*i, 0 = 5*w - o*i - 127. Is 12 a factor of w?
False
Let p(r) = -2*r - 6. Let h = 9 - 6. Suppose -h*g = -g - 4*c + 26, -4*g - 26 = 5*c. Is p(g) a multiple of 6?
True
Suppose 9 = j + 2*j. Suppose -5*q = -j*q - 94. Is 15 a factor of q?
False
Let w(x) = -x**3 - 7*x**2 - 3*x - 10. Is w(-7) a multiple of 11?
True
Let g(d) = d**2 + 10*d + 9. Let s be g(-9). Suppose -2*m - m - 12 = s, -4*j = 2*m - 12. Does 4 divide j?
False
Let h(p) = 14*p - 1. Is 8 a factor of h(1)?
False
Let h(p) = p**2 - 4*p + 4. Suppose t - 3*n - 12 = -0*n, 24 = 5*t - 3*n. Let v be h(t). Is 19 a factor of ((-114)/(-15))/(v/5)?
True
Suppose 3*m = -3*h, -3*m = -4*m - 2. Suppose -2*g + g + 26 = -3*u, -3*u - 40 = -h*g. Is 8 a factor of g?
False
Let j = 8 - 6. Suppose 3*d - 182 = -2*v, 4*d - 250 = -v + j*v. Is d a multiple of 19?
False
Suppose -4*t + 57 = 3*r, -6*r + 3*t + 66 = -r. Let m be (4/6)/(8/12). Let u = m + r. Does 9 divide u?
False
Let c = -72 + 94. Is 3 a factor of c?
False
Suppose -5*r + 39 = 5*d - 2*r, -5*r = -4*d + 9. Does 3 divide d?
True
Suppose 2*s - w = 4*w + 239, -2*s = -3*w - 249. Is 11 a factor of s?
True
Let c = 10 - 7. Suppose -3*f = 15 - c. Does 6 divide ((-6)/f)/(2/12)?
False
Let x = -46 + 107. Is x a multiple of 13?
False
Let u(i) = -18*i**3 + i**2 + i. Is 6 a factor of u(-1)?
True
Let h(o) = 2*o**2 - 2*o + 2. Let w be h(-4). Does 23 divide 364/w*(-21)/(-2)?
False
Let x(p) = -p**2 - 10*p - 5. Let b(z) = 5*z - 4. Let g be b(4). Let w = g - 24. Does 4 divide x(w)?
False
Let t(j) = 2 - 6*j + 1 - 2*j**2 + j**2. Is 5 a factor of t(-3)?
False
Let c(u) = -u - 10. Let x be c(-15). Suppose 3*n - 70 = 4*k + 62, -3*k - 231 = -x*n. Is n a multiple of 16?
True
Is (-3 - 20/(-2))*11 a multiple of 23?
False
Let a(d) = -35*d - 4. Is a(-2) a multiple of 6?
True
Let t(y) = -4*y**2 + 13*y + 10. Let z(a) = a**2 - a. Let d(k) = -t(k) - 5*z(k). Does 4 divide d(-5)?
False
Suppose 0 = 2*u + 3*b - 17, 2*u - 4*b = -u + 68. Let t(g) = 3*g**2 + 5*g - 1. Let a be t(-5). Suppose a = 3*x + u. Is 11 a factor of x?
True
Let v(b) = -b**3 - 5*b**2 - b + 2. Let d be v(-5). Let r = d + -1. Does 3 divide r?
True
Suppose -2*w - 180 = 3*w + 5*j, -w - 16 = -3*j. Let p = w - -13. Does 23 divide (-610)/(-9) - 4/p?
False
Suppose 3*j = -u + 12, 3*j - 48 = 7*u - 11*u. Does 6 divide u?
True
Let n be -7*2*(-130)/91. Let l = n + -8. Is 12 a factor of l?
True
Let n(x) = 16*x**2 - 