pose -8*k = -5*k - 5*g + 110, 2*g = k + 37. Let y = k - u. Does 13 divide y?
False
Let w(f) = f**3 + 32*f**2 - 4*f - 54. Is w(-32) a multiple of 37?
True
Suppose 5*g + 5798 = 2*n - 2077, -4*n = g - 15695. Does 34 divide n?
False
Suppose -h - 10 + 12 = 0. Suppose -f + 21 = s, 52 = -0*f + h*f + 4*s. Is 7 a factor of f?
False
Does 9 divide 1038/15 + ((-26)/5 - -6)?
False
Suppose -5*t + 2*u = 235, 5*u + 60 + 14 = -t. Let s be -2 + -4 + 4 + -95 - 3. Let f = t - s. Is 15 a factor of f?
False
Let m(z) = 2*z**3 + 15*z**2 + 8*z + 1. Let s be m(-7). Let r(q) = q + 6. Let b be r(s). Suppose b = -7*h + 358 - 78. Is h a multiple of 10?
True
Let k(t) = 392*t - 452. Is k(9) a multiple of 11?
False
Let j(t) = -t**3 + 17*t**2 - 33*t - 18. Let r be j(16). Is r*(1/6 + (-14)/21) a multiple of 8?
False
Suppose -9*k + 2517 = -1749. Suppose -32*g + 29*g + k = 0. Is 13 a factor of g?
False
Suppose -17*a + 19*a + 6482 = 5*h, -2595 = -2*h + 3*a. Is h a multiple of 11?
False
Suppose -33*o - 288 + 1443 = 0. Is o a multiple of 2?
False
Suppose -3*q - 2*w = 1, -4*q - 4 = 2*w - 6. Suppose -4*u - 5*a - q = 9, -a - 2 = u. Suppose 3*m + u*m = 60. Is 6 a factor of m?
True
Is 3 + (-12)/4 + 3451 a multiple of 34?
False
Let k(h) = -h**2 - 3*h + 27. Let x = 96 - 96. Is k(x) a multiple of 3?
True
Suppose 0 = -p + 5 + 10. Let n be (-315)/25 - 6/p. Let j = -8 - n. Is 3 a factor of j?
False
Suppose b = -5*u + 4*u + 1343, -4*u + 5381 = -5*b. Is u a multiple of 6?
True
Suppose -5*j = 2*v - 1974, -1581 = j - 5*j - v. Is j a multiple of 9?
True
Let b be 4/(-1) + 7 + 0. Let d = b + -1. Suppose -4*z - 3*p + 184 = p, 4*z - 178 = -d*p. Is z a multiple of 26?
False
Suppose 1 = -2*h - 3. Let f(m) = -11*m**3 - m + 4. Is 29 a factor of f(h)?
False
Let d be (479/5 + -1)/(36/120). Suppose 3*n - d = 5*p, 3*p = -n - 0*n + 96. Is 16 a factor of n?
False
Let d(u) = 6*u + 21. Let q = 72 + -60. Is d(q) a multiple of 28?
False
Suppose -1388*l = -1377*l - 286. Does 13 divide l?
True
Suppose 4*l = -3*a - 0*a - 38, 4*l - 3*a + 50 = 0. Let h be ((-44)/(-12) - -1)*12. Let p = h + l. Does 15 divide p?
True
Suppose -3*u = 5*p - 1691, -4486 = -5*u - p - 1631. Is u a multiple of 5?
False
Let s = -112 - -436. Is 9 a factor of s?
True
Let f be (-2)/(-4) - 245/10. Let k = -24 - f. Suppose k = 5*c + 3*x - 60, -16 = -4*c - 3*x + 35. Is c even?
False
Is (-6)/14 + 29286/126 a multiple of 21?
False
Is 31 a factor of (-40)/60*(-1953)/3?
True
Suppose p + 25 = 6*p. Suppose -p*m = -45 - 45. Is m a multiple of 5?
False
Suppose -50*i = -51*i + 231. Does 28 divide i?
False
Let p(i) be the first derivative of -i**2/2 + i - 1. Let k(a) = 2*a - 13. Let m(c) = k(c) + 6*p(c). Is m(-5) a multiple of 10?
False
Suppose 3*t - 459 = -2*w, 3*w - 4*t = -9*t + 689. Suppose 5*s + 3*p - p = 95, 4*s = -3*p + 69. Is (-6)/s + w/14 a multiple of 16?
True
Does 87 divide (-7 - (-1042 - 1)) + (-3 - -3)?
False
Suppose -426*y + 419*y = -2450. Does 52 divide y?
False
Suppose -5*v - i = -1160, 3*v + i - 5*i = 673. Is v a multiple of 33?
True
Let m(i) be the first derivative of 1/4*i**4 + 7/3*i**3 + 7*i + 1 - 5/2*i**2. Is 14 a factor of m(-7)?
True
Let k(g) = -g. Let f(b) = -12*b - 20. Let z(t) = -f(t) - 3*k(t). Suppose 6*i - 3*i = -5*j + 23, 3*j = i - 3. Does 33 divide z(i)?
False
Let u(q) = 5*q**2 - 4*q - 5. Does 14 divide u(-5)?
True
Let d = 2393 + -566. Does 46 divide d?
False
Let l(x) = -x**3 + 14*x**2 + 2*x - 10. Does 33 divide l(7)?
False
Suppose -16*g + 28*g - 16728 = 0. Is g a multiple of 89?
False
Let j be -6 + 4/1 - -5. Let h(t) = -98*t**3 - t**2 - 151 - t - 44*t**j + 29*t**3 + 150. Does 16 divide h(-1)?
True
Let f = 2 + 27. Let z = f + -26. Suppose -z*w + 8*w = 50. Is 10 a factor of w?
True
Suppose 2278 = 8*u - 19482. Is u a multiple of 34?
True
Let q(g) = -g**2 - 10*g + 6. Let b(u) = -u**2 + 3*u - 4. Let d be b(4). Let n = d + -2. Is q(n) even?
True
Let d be -15*1*3/(-9). Suppose -d*r = -190 - 185. Suppose j - 65 = -5*n, 4*n = -n - 3*j + r. Is 4 a factor of n?
True
Suppose 1 = i + 2. Let p be 0 - (i + 0 + -1). Suppose 0 = -3*s - p*m + 164, -2*m = -s + 3*m + 83. Does 29 divide s?
True
Let a(f) = -16*f**3 + 24*f**2 - 51*f. Let w(d) = 3*d**3 - 5*d**2 + 10*d. Let l(s) = 2*a(s) + 11*w(s). Does 12 divide l(6)?
True
Suppose -5*r + 8 = a, 3 = 5*a - 3*r - 9. Suppose x + 4*b = 42, -4*b = -a*x + 50 + 44. Let y = 67 - x. Is 10 a factor of y?
False
Let r(j) = -15*j**3 + 3*j**2 + 8*j + 5. Does 14 divide r(-2)?
False
Does 75 divide 0/1 + 450/(-3 + 9)?
True
Let q = -596 + 1660. Is q a multiple of 12?
False
Is 2 a factor of -1 + 2 + 6/12*108?
False
Suppose i - 17 - 35 = 4*d, 4*i - 223 = d. Does 16 divide i?
False
Is (3*(-110)/198)/(2/(-8736)) a multiple of 13?
True
Let l = -504 - -844. Does 34 divide l?
True
Suppose 0 = -3*t + 3 - 0. Let q(r) = -10*r**2 - 1. Let y be q(t). Does 5 divide (1 - y - -2) + -1?
False
Let z = 57 + -7. Suppose -4*l + z = 10. Suppose 3*n = -3*m + 189, l = -n - n. Is m a multiple of 18?
False
Suppose 0 = -2*j + 4*j - 176. Suppose -3*m + 478 = j. Does 13 divide m?
True
Does 4 divide (6966/(-162))/(0/2 + -1)?
False
Suppose 4*h - 668 = -5*z, z = 5*h + 73 + 49. Let b = -84 + z. Is 16 a factor of b?
True
Let c(o) be the second derivative of -2*o**2 + 3/4*o**4 + 0 - 1/20*o**5 - 6*o - 7/6*o**3. Is c(8) a multiple of 2?
True
Suppose 4*z - 4*d = 16, -1 = z + 2*d - 2. Let q be (-1)/((-1*2)/(-7 + 9)). Is (30/z)/(q/5) a multiple of 28?
False
Let v be 99/18 + 3/(-2). Suppose v*n - 4*d + 3*d = -11, 5*d = -2*n + 11. Is 18 a factor of 66 + (-6)/2 - n?
False
Let g = -20 - -28. Does 32 divide (-2)/4 + (-1916)/g*-1?
False
Let v = 41 + 141. Is 6 a factor of v?
False
Let u(b) be the third derivative of -2/3*b**4 - 7/3*b**3 - 1/120*b**6 + 0 + 0*b - 13/60*b**5 - 4*b**2. Does 10 divide u(-12)?
False
Suppose 3*p + 9*j - 16 = 4*j, -4*p = 5*j - 18. Suppose 3*b - 152 = -2*o, -128 = p*b - 5*b + 4*o. Is 12 a factor of b?
True
Let q(x) = 73*x + 4. Let p be q(6). Suppose p - 1622 = -2*y. Does 7 divide 4/18 + y/18?
False
Is (-1160)/50*(3 + 242/(-4)) a multiple of 17?
False
Suppose 2*t - 127 = -j + 615, 2214 = 3*j + 2*t. Is 92 a factor of j?
True
Let b be (-3)/(-4) + (-15)/20. Suppose -10 = -2*s - b, -2*h = -4*s - 16. Is 5 a factor of (-6)/(-27) + 176/h?
True
Let q(d) = 25*d**2 + 42*d + 83. Is q(-11) a multiple of 14?
True
Suppose 4*l - 211 = -3*j + 111, 3*l - 252 = 3*j. Is l a multiple of 2?
True
Let n(o) = o**3 - o**2 - 8*o + 6. Let b be n(3). Suppose r = 4*r - 405. Suppose -a - 4*a + r = b. Does 9 divide a?
True
Suppose 0 = 34*h - 30*h + 16, 2*d + h = 764. Is 9 a factor of d?
False
Let g(i) = -5*i - 13. Let l(b) = -5*b**2 + 51*b - 20. Let f(s) = -s**2 + 10*s - 4. Let d(j) = -11*f(j) + 2*l(j). Let k be d(5). Does 21 divide g(k)?
True
Is (-14 - 0)*(4 + -14) a multiple of 4?
True
Let f = -67 + 71. Suppose 0 = f*h - 20 - 28. Does 4 divide h?
True
Let z = -156 - -200. Is 4 a factor of z?
True
Let n = -36 + 43. Suppose n - 101 = -3*o + 2*k, 2 = 2*k. Does 32 divide o?
True
Suppose 323*b + 2691 = 326*b. Does 23 divide b?
True
Let k(i) = -i**3 + i**2 - 1. Let f(l) = 7*l**3 + 3*l**2 - 5*l - 4. Let u(x) = -f(x) - 6*k(x). Let r be u(-8). Let d = 170 + r. Does 24 divide d?
False
Let f = -46 - -1128. Is f a multiple of 15?
False
Let o(s) = -2*s**3 - s**2 + 4*s + 2. Let m(t) = -t + 9. Let l be m(6). Suppose -2*h - 15 - 4 = l*v, -h = -5*v - 23. Does 2 divide o(h)?
True
Let i(o) = 3*o + o - 2 + 3*o**3 - 2*o**3 - 1 - 6*o**2. Let z be i(5). Let m(r) = -9*r - 16. Is m(z) a multiple of 8?
True
Let q be (18/15)/((-3)/(-470)). Suppose 2*p = 3*p - 3*i - q, 0 = -2*p - 2*i + 376. Suppose -4*l + p = -2*l. Is l a multiple of 31?
False
Suppose -3*r = 2*p - 951, 954 = 3*r - p + 2*p. Does 11 divide r?
True
Is 6 a factor of 11/(264/520)*18?
True
Let d(i) = -i - 1. Let w be d(-3). Let p(b) = 2 + 3*b**2 + 3*b**w + 1 + 6*b + 0*b**3 + b**3. Is p(-4) a multiple of 11?
True
Suppose -14832 = h - 5*h - 2*f, 3*f = -5*h + 18540. Does 18 divide h?
True
Suppose -7*a - 83 = 85. Is 0 + (-1)/(-2) - 3516/a a multiple of 40?
False
Let q(u) = -10*u + 4 - 6 + 4. Does 4 divide q(-1)?
True
Suppose -25 = -v - p, 36*v + 73 = 39*v + 2*p. Is v a multiple of 2?
False
Suppose -4*p + r = -3892, -5*p = -3*p - r - 1948. Is 12 a factor of p?
True
Let l(w) = -3*w - 14. Let r be l(-6). Let o be r/(-14) - 1200/14. Let g = -46 