3 - 5*y**2 + 3*y**3. Is h(u) a multiple of 15?
True
Let b(j) = 15*j**2. Let d be b(-1). Let m be (-4)/10 - (-96)/d. Suppose 5*l = 4*o + 180, -m*o - 180 = -5*l - o. Is l a multiple of 18?
True
Suppose 5*i + d - 530 = 2*i, 4*i = -5*d + 703. Does 23 divide i?
False
Let v(j) = -2*j**3 - 6*j - 3. Is 8 a factor of v(-3)?
False
Suppose 2*v + 16 - 42 = 0. Is 5 a factor of v?
False
Let z(m) = m**3 + 11*m**2 + 8*m + 5. Is 40 a factor of z(-9)?
False
Suppose h = -a + 131, 0 = -5*a + 5*h + 86 + 549. Is a a multiple of 32?
False
Suppose 9*y - 13*y + 128 = 0. Is y a multiple of 19?
False
Let n(w) = -45*w - 79. Is n(-11) a multiple of 52?
True
Let f = 43 - 35. Is 2 a factor of f?
True
Let a = 38 + 22. Does 11 divide a?
False
Suppose 4*i + 3*l = 152, 2*i - 74 = -0*i - l. Is (-10)/i - 275/(-7) a multiple of 14?
False
Suppose 3*a - 6 - 12 = 0. Suppose 0 = -4*o + 2 + a. Is 25 a factor of 2 - (-3 + -95)/o?
False
Let v(t) = 4*t**3 - t + 4. Is 34 a factor of v(2)?
True
Let i be (-276)/(-8) - 1/(-2). Suppose -5*b = n - i, -5*n + 3*b + 2*b + 55 = 0. Is n a multiple of 4?
False
Suppose 4*x + 5*z - 22 = 3*z, 0 = -3*x - 3*z + 24. Let p = 4 - x. Is ((-10)/p)/(2/(-4)) a multiple of 10?
True
Let l = 39 - 79. Let i(p) = -p - 1. Let h be i(10). Let g = h - l. Does 12 divide g?
False
Let h = -98 - -197. Is 33 a factor of h?
True
Let q be -1 - (-7 + 3) - 1. Suppose 51 = q*a + a. Is 17 a factor of a?
True
Let o(x) = -x**3 + 3*x**2 + 4*x + 4. Let m be o(4). Let s = 11 + m. Is 15 a factor of s?
True
Let r = 3 - 3. Suppose -w + 5*o + 21 = r, -o = 2*w - 4*o - 21. Is w a multiple of 4?
False
Suppose -23 - 82 = -7*y. Is 4 a factor of y?
False
Suppose -v = 1, -v - 27 = 4*g - 6*v. Let i = 12 - g. Does 16 divide i?
False
Let s(c) = -c**3 - 8*c**2 + c + 11. Let x be s(-8). Is (x - (23 + -1))/(-1) a multiple of 11?
False
Let t be (0 - 1) + (9 - -1). Let f be 6/t*-1*-126. Let q = f - 51. Is q a multiple of 17?
False
Let n(t) = -3*t**3 + t**2 + t + 1. Is 9 a factor of n(-2)?
True
Let p = -8 - -22. Does 8 divide p?
False
Does 14 divide 88/6 + 10/(-15)?
True
Suppose 4*h = -n - 34, 2*h + 8 = 5*n + 2. Let d = 13 + h. Suppose d*x + c - 75 = -4*c, c + 93 = 5*x. Is 18 a factor of x?
True
Let o = 5 + -5. Suppose o = x - 12 + 4. Is x a multiple of 4?
True
Let l be (-2)/(-5) - (-69)/15. Suppose -3*n - 8 = -l*n. Suppose a - n*u = 13, u = a + 3*u - 25. Does 12 divide a?
False
Let c = 96 - 40. Does 12 divide c?
False
Let b = 1 - -2. Suppose -2*x - 15 = -a - 2*a, 0 = -b*a + 5*x + 24. Is (-51)/(-2) + a/(-6) a multiple of 13?
False
Let p = 174 - 44. Suppose 0*q + p = 4*v + 2*q, -4*v + 2*q + 110 = 0. Is v a multiple of 10?
True
Suppose 10 = -0*v + 2*v. Suppose g = 5*z - 10, -22 = -v*g + z - 0*z. Is g a multiple of 3?
False
Let b(q) = 2*q**2 + 10*q - 9. Let f(o) = 8*o - 2. Let c be f(-1). Does 29 divide b(c)?
False
Let r(d) = -d**3 - 3*d**2 - 5*d. Suppose 20 = -5*v - 0*v. Is 12 a factor of r(v)?
True
Let a be (-4)/(-18) + (-70)/(-9). Let l be (-209)/(-4) + (-2)/a. Suppose -5*m = -l - 13. Is m a multiple of 7?
False
Let f = -16 - -10. Let d = -3 - f. Suppose 2*b + 2*q = 24, -2*q = -d*b - b + 54. Is 11 a factor of b?
False
Let n be 1/(3/(2 + -5)). Is 12 a factor of n - -3 - 45/(-1)?
False
Let z be (-1)/(-2 - 14/(-8)). Let l = 6 + -5. Let m = z + l. Is m a multiple of 5?
True
Let u = 30 - 21. Is 9 a factor of u?
True
Let n(d) = -4*d**3 - d**2 + 28 + 3*d**3 + 0*d**3 - d. Suppose -2*s = q - 5, q - 5 = 6*s - 2*s. Is 14 a factor of n(s)?
True
Is 3 a factor of (4/(-5) + 4797/65)*1?
False
Suppose -3*i + 50 = -0*i + 5*s, i - 10 = -3*s. Is 3*-15*(-15)/i a multiple of 9?
True
Let i = -2 - 1. Let p = i - -3. Suppose p = -5*l + 106 + 94. Is 11 a factor of l?
False
Suppose 3*s + 28 = 7*s. Let u(n) = 2*n**2 - 9*n + 2. Does 27 divide u(s)?
False
Let z be 0*2/8 + 63. Let w = 128 - z. Does 16 divide w?
False
Let w = 19 + 5. Does 11 divide w?
False
Let d(q) = 12*q**3 + 4*q**2 - 4*q - 1. Is d(3) a multiple of 50?
False
Let p = -81 + 108. Is 2 a factor of p?
False
Suppose -3*n + 5 = -5*v - 4, -3*v + 9 = 0. Does 3 divide 66/n + 3/(-12)?
False
Let q(w) = 30*w + 12. Does 24 divide q(2)?
True
Suppose -14 = 3*y - 4*c, -y - 4 = 2*y - 2*c. Let k(h) = -h - 4 - 3*h + 3*h**2 - 2*h**y. Is 4 a factor of k(6)?
True
Is 21 a factor of ((-73)/(-4))/((-2)/(-8))?
False
Let v(p) = 9 + 0*p - 3*p + 4*p - p**2 - 2*p. Is 9 a factor of v(0)?
True
Suppose -2*v - 1 + 5 = 0. Is 7 a factor of 19 - (v + -2 + 3)?
False
Let o(h) = -2*h - 10. Let a be 5/(0 + (-1)/2). Is o(a) a multiple of 10?
True
Let f = -5 - -21. Suppose f = v + 4. Is 12 a factor of v?
True
Let v(x) = 9*x**3 + 2*x**2 + 2*x - 1. Let o be v(-2). Let n = o + 115. Is n a multiple of 15?
False
Let i(f) = 7*f**3 + 23*f**2 - 7*f + 27. Let d(l) = 3*l**3 + 11*l**2 - 3*l + 13. Let v = 7 - 2. Let g(t) = v*d(t) - 2*i(t). Does 10 divide g(-9)?
True
Let u(o) = 23*o**3 + 2*o**2 + 5*o. Let i(z) = z. Let s(w) = -6*i(w) + u(w). Is s(1) a multiple of 8?
True
Let f(l) = l + 4. Let u(w) = -w - 4. Let n(r) = 3*f(r) + 4*u(r). Let h be n(-5). Is (3 - (22 - h))*-1 a multiple of 6?
True
Let k(q) = -10*q**3 - 2*q**2 - q. Is k(-1) a multiple of 9?
True
Let s(n) = n**2 - 3*n + 1. Let d be s(3). Suppose 3*x + x = 5*b - 9, 3*x = -4*b + d. Suppose 3*w - 14 = b. Is 5 a factor of w?
True
Suppose -2*i + 4*p - 10 = 0, -2 = 5*i - 5*p + 3. Is 8 a factor of (6*(-20)/i)/(-1)?
True
Suppose -3*m + 4 = -23. Suppose m = 4*x + 5*h - 238, -186 = -3*x - 4*h. Is x a multiple of 32?
False
Let g = -5 + 5. Suppose -3*q - q + 4*m - 12 = g, m = 3. Does 4 divide (-2 + q)*5*-1?
False
Let s(h) = -10*h + 5. Let d be s(4). Let x = d + 80. Does 15 divide x?
True
Let f = 50 - 2. Suppose -3*q = q - f. Let k = q + 5. Does 17 divide k?
True
Let i(f) = -f**3 + f**2 + 2*f + 2. Let k be i(-2). Let d = 18 - k. Is d a multiple of 8?
True
Let u(s) = -s**3 + 11*s**2 - 16*s + 12. Does 8 divide u(8)?
False
Let k(s) = -s**3 - s + 74. Let l be k(0). Let z = 113 - l. Does 22 divide z?
False
Let g be (-3)/2*80/(-6). Suppose 0 = -d - d + g. Is 5 a factor of d?
True
Suppose -6*m = -7*m + 3. Is 3 a factor of 1 - (m - 2 - 3)?
True
Let q(b) = -b**3 - 9*b**2 + 9*b - 6. Let w be q(-10). Suppose 15 = -w*p - 65. Let o = 44 + p. Is o a multiple of 8?
True
Suppose g = -4*g - 3*x + 16, 0 = 4*x + 12. Suppose -14 = -r - 2*v + 19, v = g*r - 154. Is 16 a factor of r?
False
Let s be (-4)/18 + 2960/(-45). Let v be s/4*16/(-12). Suppose 0 = w - 5*k - v, 0 = 4*w - 3*k - 122. Is w a multiple of 14?
False
Suppose l + 4 = -n, -5*n + 1 = -l - 3. Suppose n = -k - k. Suppose 0 = -4*y - 2*u - 40 + 138, 5*y - u - 133 = k. Does 13 divide y?
True
Suppose -7*q - 14 = 14. Is 21 a factor of 9/12 + (-229)/q?
False
Suppose 2*x - 1 = 5. Suppose 2*t = -x*t + 30. Is 6 a factor of t?
True
Let x(r) = 2*r**2 - 6*r. Is 8 a factor of x(4)?
True
Suppose 5*a - 25 = -0*a. Suppose -f = -a*f + 160. Suppose 0 = 3*c + c - 5*b - f, -5*c + 50 = 3*b. Is 4 a factor of c?
False
Suppose 1 = a - 1. Let d be (-2)/(a*(-2)/4). Is 9 a factor of 11 - (-2 + (d - -2))?
True
Let f = -4 + 8. Suppose -2*n = -8 - 0, f*z - 4 = 2*n. Suppose -3*s = -4*v + 33, -z*v + 5*s = -2*v + 13. Is v a multiple of 6?
True
Suppose 0 = -5*y - 3 + 508. Suppose 5*j = -b + 92, 5*j + b = 3*b + y. Is j a multiple of 7?
False
Suppose -4*q - 67 = -d, -d + 69 = -0*d - 5*q. Does 12 divide d?
False
Let d(w) = w**3 + 17*w**2 + 25*w + 2. Is d(-15) a multiple of 11?
True
Suppose 3*z - 7 = 2. Is (-11)/(3/(z*-2)) a multiple of 11?
True
Let h be 3/(-18)*-10*3. Suppose h = -3*t - 1. Let f = 5 - t. Is 4 a factor of f?
False
Suppose -3*t - 208 = -5*t. Is t a multiple of 13?
True
Let l(y) = 8*y - 5. Let q(n) = 17*n - 11. Suppose 0 = -3*j - 14 - 13. Let t(w) = j*l(w) + 4*q(w). Is t(-4) a multiple of 17?
True
Let k(m) = -14*m**2 + 3*m - 4. Let o(q) = -13*q**2 + 4*q - 5. Let i(u) = -6*k(u) + 5*o(u). Let w be i(1). Does 5 divide (-4)/8*w/(-2)?
True
Let b be 9*1*5/15. Suppose -g = -4*s + 2*g + 58, 4*g = b*s - 47. Let a = 28 - s. Is a a multiple of 15?
True
Suppose -5*q = -0*q - 105. Let w = 52 - q. Let l = w + -1. Is l a multiple of 15?
True
Suppose 9 = j - 2*a - 0, -5*a + 5 = 3*j. Suppose 0 = -j*m - 0*m + 175. Suppose 0 = -z - 0*z + m. Is z a multiple of 15?
False
Is 44 a factor of 2/(-10) + (-7926)/(-30)?
True
Suppose 2*y = 4 - 0. Suppose 5*d + 5*a - 10 = 10*a, 0 = d +