Is h a multiple of 16?
False
Let w(h) = 4*h**2 + 2*h - 1. Let x be w(1). Let z(v) = -4*v**2 + 5*v**2 + 0*v**2 - 4*v. Is z(x) even?
False
Is ((-7)/(-14))/(3/72) a multiple of 4?
True
Let b(x) = -x + 3. Let d be b(2). Let a = 4 - d. Suppose 2*h = -a*w + 20, 3*w - 27 = 3*h - 6*h. Is h a multiple of 7?
True
Let d(h) = h**3 + 5*h**2 + h + 7. Let i be d(-5). Suppose i*u - 52 = -2*n, 2*u + 5*n + 0 = 37. Suppose -4*q + x + 6 = -41, -5*x - u = -3*q. Does 6 divide q?
True
Suppose 4*s = 4*j - 204, 4*j + s + 103 - 282 = 0. Suppose 0 = -5*u + 4*q - 0*q + 326, -4*q + j = u. Is u a multiple of 13?
False
Suppose 5*r - 15 = 435. Let n = r - 40. Suppose 5*k + 0*k = n. Does 10 divide k?
True
Let h(s) = -s + 3. Let b be h(3). Suppose 4*j = -b*j + 20. Is j even?
False
Suppose -2*o = -3*s - 10 + 48, 0 = 5*s - 4*o - 64. Does 12 divide s?
True
Suppose -2*o + 7 = -u + 4, -4*o + 3*u = -9. Suppose -4*n + 4 + 20 = o. Does 6 divide n?
True
Is ((-1)/3)/(3/(-72)) a multiple of 3?
False
Let g(l) = -2*l**2 + l - 1. Suppose 5*n + 25 = -5*m, -n - 4 = 3*m + 5. Let u(y) = -y. Let o(i) = n*u(i) - g(i). Is 13 a factor of o(2)?
True
Is 7 a factor of ((-1)/1)/(1 + (-297)/294)?
True
Let z(c) = 136*c**3 + c - 1. Does 12 divide z(1)?
False
Suppose -4*f + 3*h + 106 = 0, 4*f - 6*f + 40 = 5*h. Is f a multiple of 5?
True
Suppose 480 = 3*s + q + 3*q, -3*s + 3*q + 480 = 0. Suppose i = 5*i - s. Does 10 divide i?
True
Let i be 15/(-10)*(0 - -2). Let j(h) = -2*h**3 - 5*h**2 - h + 4. Is 15 a factor of j(i)?
False
Suppose -24*c + 48 = -21*c. Is c a multiple of 4?
True
Let x(w) = w**3 - 7*w**2 - 4*w - 11. Let d be x(8). Let f = d - 7. Is 5 a factor of f?
False
Suppose -5 = -j - 0*j. Is 2 a factor of j - 2/((-2)/(-3))?
True
Suppose 5*l - 3 = -a + 2, -3*l + 10 = 2*a. Suppose -5*x + 56 = 3*o - 3, 0 = 4*o + a*x - 77. Is 6 a factor of o?
True
Let p = -70 - -98. Does 7 divide p?
True
Suppose -2*u + 31 = f, 3*u - f = 26 + 18. Suppose -u + 4 = -c. Is c a multiple of 6?
False
Let v(u) = -2 + 2*u**2 - 4 + 2 - 4*u - 3. Let g(w) = -w**3 - 7*w**2 - 7*w - 1. Let t be g(-6). Is v(t) a multiple of 10?
False
Let g be (-2 - 1)/9*3. Is 11 a factor of ((-96)/(-18))/(g/(-3))?
False
Let q be (-2)/(-3) + (-120)/(-9). Let g = -10 + q. Is g a multiple of 2?
True
Let k(w) = -4*w - 6. Let v be k(-5). Let s = 6 - v. Is (-12)/s*4/3 a multiple of 2?
True
Suppose -70 = -0*f - 2*f. Does 16 divide f?
False
Suppose 0*x = 8*x - 320. Is x a multiple of 40?
True
Let s(u) = u**3 + 12*u**2 + u + 12. Let r be s(-12). Suppose -3 + 8 = -5*h, r = 5*j + 3*h - 97. Is 5 a factor of j?
True
Let q(n) = 2*n**3 - n**2 + 4*n - 1. Does 14 divide q(3)?
True
Let z = -5 - -4. Let s be (2 + -6)/(1/z). Suppose 0 = 3*w - 2*r - 2, s*w - 3*w + 6 = 2*r. Is 4 a factor of w?
True
Let g = 1 + 50. Does 15 divide g?
False
Let t(s) = 4*s. Let c be t(2). Suppose 0 = 4*w - 2*u - 8, -3*u = w + c + 4. Suppose -l + w*l = -9. Is l a multiple of 6?
False
Suppose 0 = 2*g + 3*s - 91, 6*g - 210 = g - 4*s. Is g a multiple of 10?
False
Suppose -h + 2*v = -0*v - 48, -4*v = -4. Is 11 a factor of h?
False
Let p = 33 - 4. Is p a multiple of 24?
False
Suppose 4*k + 138 = 10*k. Is k a multiple of 7?
False
Suppose 4*k = -5*k + 54. Does 3 divide k?
True
Let g be (72/20)/((-4)/(-30)). Suppose 7 = -r + g. Is r a multiple of 10?
True
Let d = 1271 - 771. Suppose -d = u - 6*u. Is 25 a factor of u?
True
Let l(g) = -13*g**2 - g. Let w be l(-1). Is 10 a factor of (16/w)/(1/(-18))?
False
Suppose t = 6*t + 65. Suppose -60 = -2*b - 10. Let a = b + t. Is a a multiple of 6?
True
Suppose 0 = 2*u - 40 - 20. Is 8 a factor of u?
False
Let t be 14/4 + (-9)/6. Suppose -t*v - 58 = o - 5*o, -4*v + 4 = 0. Suppose z + 4*z = o. Is 2 a factor of z?
False
Let u be (-20)/3*48/40. Let o = u - -6. Does 7 divide o + (-1)/((-2)/40)?
False
Let o(u) = -u**3 + 13*u**2 + 9. Let x be o(13). Is x/(22/8 - 2) a multiple of 6?
True
Suppose 5*f = 5, -2*b - f = -3*f + 234. Is 14 a factor of 2/6 + b/(-3)?
False
Let s(j) = j. Let i be s(6). Suppose 0*p - 3*p = -i. Is 7 - (p/2 - 1) a multiple of 3?
False
Let v be 1*(-1 + 2 - -18). Suppose v = 4*s - 13. Let t(w) = -w**3 + 8*w**2 + 2*w. Is 6 a factor of t(s)?
False
Let t(g) = -g - 4. Let h be t(-7). Let i be 13/3 - (-5)/(-15). Suppose -59 = -i*n - 5*b, 2*n + b = -h*b + 34. Is n a multiple of 10?
False
Let a = 5 + -5. Suppose a = -4*t + 5*m, -t + 3*m = -4*t. Suppose t*u - 4*u = -204. Is 20 a factor of u?
False
Let y(o) = 4*o**2 - 13*o - 13. Let x(g) = -2*g**2 + 6*g + 6. Let p(q) = -13*x(q) - 6*y(q). Let m = -16 - -15. Is p(m) a multiple of 2?
True
Suppose 0 = 4*a + 1 - 13. Suppose 0 = 3*g, -a*l = -6*l - 5*g + 159. Does 12 divide l?
False
Suppose f - 95 = -o + 6*f, -3*o + f + 285 = 0. Is o a multiple of 6?
False
Suppose -2*b - 3*g + g = 8, -3*g - 12 = 4*b. Suppose -2*p + 2*j + 52 = 0, b*p + 4*p = 2*j + 102. Does 7 divide p?
False
Let b = -6 + 3. Let r = b - -5. Let i(l) = 8*l + 1. Is 17 a factor of i(r)?
True
Let g(a) = -a**3 - 5*a**2 + 7*a - 13. Does 4 divide g(-7)?
True
Suppose 5*n - 126 = 2*n. Is n a multiple of 12?
False
Suppose 2*u - 6 = 2. Let d be 124/(-6) + u/6. Let k = -7 - d. Is 12 a factor of k?
False
Let g(n) = -n**2 - 9*n + 4. Let k be g(-9). Suppose 0 = -k*a - a. Does 25 divide 3 + -6 - a - -53?
True
Suppose 0 = 20*k - 23*k + 468. Is 13 a factor of k?
True
Let m(w) = w**3 + 6*w**2 + 5*w + 7. Let j be m(-5). Suppose -j - 10 = -g. Is g a multiple of 7?
False
Let y(j) = -j + 4. Let q be y(2). Suppose -94 = -4*g - q*n + 16, -3*n + 78 = 3*g. Suppose -49 = -5*v + 4*c, -g = -5*v + c + 32. Does 8 divide v?
False
Suppose -4*o = -0*o + 5*w - 2, -1 = o + 2*w. Suppose 3*t = -t + u + 21, 0 = -o*u - 15. Is 5 a factor of (20/(-3))/(t/(-6))?
True
Suppose 0 = d - p - 34 - 17, p + 259 = 5*d. Is 26 a factor of d?
True
Let s be 14/(-18) + (-14)/63. Let a = 3 + s. Is 5 - a/(2/(-3)) a multiple of 4?
True
Let n(m) = -9 - 5*m + m + m + 0. Is n(-9) a multiple of 18?
True
Let a be (2 + -4)/(-2)*-10. Let b be 6*5*(-4)/a. Does 6 divide b + -1 + 3 + 1?
False
Suppose 4*f - 920 = 4*i, 74 = -2*f - i + 534. Is 23 a factor of f?
True
Let z(w) = w**3 + 3*w**2 + 4*w - 6. Let i(u) = 2*u**3 + 5*u**2 + 9*u - 13. Let t(v) = 3*i(v) - 7*z(v). Is 9 a factor of t(-6)?
True
Suppose 0 = -5*s + 3*w - w + 387, s - 3*w - 80 = 0. Is 15 a factor of s?
False
Let b = -116 + 206. Let p = b - 20. Does 14 divide p?
True
Let m be (-2)/(-3)*(-27)/(-6). Suppose 12 = -m*g - 15. Is (-263)/g - 2/9 a multiple of 12?
False
Suppose n - 4*h = 12, -2*n + h + 26 - 2 = 0. Suppose -7*p - 16 = -3*p. Let q = n + p. Does 3 divide q?
False
Suppose 0 = z - 2*z + 8. Suppose z*t + 148 = 10*t. Is 21 a factor of t?
False
Let h(y) = 49*y + 2. Is h(2) a multiple of 25?
True
Suppose 0 = -4*u - o + 133, o + 98 = 3*u - 0*o. Does 33 divide u?
True
Let a = 104 - 34. Let m = a - 39. Is m a multiple of 9?
False
Let s = 4 - -5. Let r = s + -2. Suppose -5*d = q - 54, r*d - 4*d = 15. Is q a multiple of 19?
False
Suppose 0 = 5*h - j - 653, -h + 128 + 11 = -3*j. Does 13 divide h?
True
Let k be (14/(-7))/(1/6). Let v = 4 - k. Does 10 divide v?
False
Let i(z) = z**2 - 7*z + 2. Let l be i(5). Let b = l + 29. Is (b/(-9))/(2/(-6)) a multiple of 4?
False
Suppose 5*z - 40 = -0. Does 4 divide z?
True
Suppose 2*m + 2*s - 214 = 0, -s - 132 = -m - 15. Suppose 5*o = o + m. Does 14 divide o?
True
Suppose 13 = -m + 4*w, -m + 24 = 5*w + 1. Is 33 a factor of (-1426)/(-14) - m/(-21)?
False
Let l(n) = -7*n**2 - 9. Let o(p) = 4*p**2 + 5 - 3*p**2 - p - 1 - 3. Let m(y) = l(y) + 6*o(y). Is m(-4) a multiple of 4?
False
Suppose 0 = 6*o - 4*o. Suppose 4*g - 60 = -o*g. Is g a multiple of 9?
False
Let q = -9 - 0. Let y(d) = 3*d + 5. Let x(c) = -c - 2. Let i(j) = -8*x(j) - 3*y(j). Does 7 divide i(q)?
False
Suppose 4*p - 6 + 22 = f, -4*p = f - 16. Suppose l + l = -3*y + f, y = -3*l - 4. Does 3 divide y?
False
Let c = -24 - -21. Let a(m) = 2 + m + 0*m**2 - 5 + 2*m**2. Is a(c) a multiple of 12?
True
Suppose i + 2632 = 9*i. Is 47 a factor of i?
True
Suppose 0 = -3*t + 7 + 5. Let y(u) = -u**3 + 6*u**2 + u + 4. Let d be y(t). Let i = -20 + d. Does 8 divide i?
False
Let v = -1 + 6. Suppose -2*a - 2*l + 22 = 0, 3*a - 44 = -a - v*l. Is a a multiple of 3?
False
Let u be 43*(-2 + -4 + 0). Let b = u + 471. Suppose -4*v - 2*k = v - 263, 4*v - k - b = 0. Is v a multiple of 19?
False
Let p(k) = -