6). Is x(a) a multiple of 10?
False
Is 20 a factor of (72/(-48))/(3/(-440))?
True
Let g be (-16)/(-6)*105/2. Suppose 2*w = -2*w + g. Does 14 divide w?
False
Let l(q) = -q**2 + 11*q - 10. Let z(x) = -x + 1. Let t(v) = l(v) + 2*z(v). Let w(r) = -r**2 - 8*r - 5. Let m be w(-6). Is 6 a factor of t(m)?
True
Let f(a) = -44*a**3 - 4*a**2 + 2. Does 54 divide f(-2)?
False
Let u be 0 - 1 - 1 - -2. Suppose u*l = -2*l + 108. Does 27 divide l?
True
Let i = 4 - 15. Let y(s) = -5*s**2 + 1. Let r(n) = -9*n**2 - n + 3. Let z(l) = i*y(l) + 6*r(l). Is z(7) a multiple of 8?
False
Let d(c) = c - 6. Let a = 17 + -10. Let x be d(a). Is 8 a factor of (x/(-2))/(1/(-44))?
False
Let r = -65 - -187. Let g = r + -78. Suppose -2*f - g = -4*f. Is f a multiple of 12?
False
Suppose 7*g = 2*g - 2*x + 220, 4*x = -g + 44. Suppose -h - g = -5*h + o, -o + 36 = 4*h. Suppose v - 2*a = 0, 4*v - a - h - 11 = 0. Is v a multiple of 5?
False
Suppose 0*l - 21 = -3*l - 3*b, -2*l + 5*b = 0. Let d be (1 - 3) + 1*l. Suppose -2*n - 80 = -d*u, 9 = 4*n + 25. Is u a multiple of 12?
True
Let g(y) = 2*y**2 - y. Let t be g(-1). Suppose 0 = 2*f - t*k - 84, -5*f + 4*k = k - 210. Does 15 divide f?
False
Let b(i) = i**2 - 11*i + 21. Let y be b(9). Suppose -2*u + y*w = -5*u + 189, -5*u - w + 335 = 0. Is u a multiple of 20?
False
Let s(k) = -6*k**2 - 12*k + 2. Let g(n) = -7*n**2 - 13*n + 1. Let x(d) = 5*g(d) - 6*s(d). Is 11 a factor of x(-9)?
True
Suppose -157*h = -163*h + 2592. Does 24 divide h?
True
Let q(w) = 8*w + 24. Does 4 divide q(0)?
True
Suppose 5*g = 2*i + 140, 8*g - 4*i - 130 = 3*g. Is g a multiple of 6?
True
Suppose x + 4 = 5*x. Suppose 0 = -3*d - 2*b + x - 4, -2*b = -5*d - 21. Is (d/(-4))/(2/96) a multiple of 12?
True
Is (24/(-14))/((-14)/1274) a multiple of 13?
True
Let o = -1 - -39. Does 12 divide o?
False
Let z = 19 + -33. Is 5 a factor of (z/(-1))/(6 + -5)?
False
Let x = 7 + -6. Is x/((-3)/(-15)) - -1 a multiple of 3?
True
Let v = -6 - -72. Is 22 a factor of v?
True
Let x = -10 - -11. Let j(h) = -19*h - 4. Let t be j(-6). Suppose 0 = 3*y - 4*c - t, -c + 2 = x. Is 13 a factor of y?
False
Suppose 2*w = 2*i - 3*w + 19, 5 = 5*i - 2*w. Let o(g) = -3*g**2 - 14*g - 2. Let j be o(-4). Suppose i + j = v. Does 4 divide v?
False
Suppose 4*g + 2*q + q - 344 = 0, 0 = -3*g - 3*q + 258. Is g a multiple of 12?
False
Suppose 0 = 2*z - 3*i + 2*i + 13, 0 = -3*z - i - 17. Does 6 divide 2/z + 56/6?
False
Let o(h) = h**2 + 10*h - 17. Let j be o(-12). Let z = 30 - j. Is z a multiple of 18?
False
Let l(u) be the second derivative of -3*u**3 - u**2/2 - 2*u. Let g(a) = a - 5. Let z be g(4). Is l(z) a multiple of 14?
False
Let c(a) = 11*a**3 + 23*a**2 - 13*a + 18. Let h(m) = -4*m**3 - 8*m**2 + 4*m - 6. Let d(x) = 3*c(x) + 8*h(x). Does 10 divide d(-6)?
False
Let c(s) be the third derivative of s**5/60 - 5*s**4/24 - 5*s**3/3 + 3*s**2. Let i be c(7). Is 4 a factor of 34/i + (-4)/8?
True
Suppose -2*o + 132 = -p, -4*o + 2*o + 3*p = -136. Is o a multiple of 10?
False
Let v(q) be the first derivative of 5*q**2/2 + 2*q + 1. Let z be v(-2). Does 5 divide z/(-10)*(-2 + 17)?
False
Let d = -4 + 1. Let s be (-47)/d + 1/3. Suppose 3*z - s = 2*z. Is 6 a factor of z?
False
Let q(y) = 4*y + 3*y - 6 - 3*y**2 + 2*y**2. Let j be q(5). Suppose -j*p + 59 + 65 = 0. Is p a multiple of 14?
False
Is 11 a factor of (-10)/(60/152 + 1/(-2))?
False
Suppose -y - 68 = -0*u + 2*u, u + 3*y = -34. Let f = u + 58. Is 12 a factor of f?
True
Does 8 divide 525/10 + 1*1/(-2)?
False
Suppose 0 = 4*c - x - 122, 3*x = 5*x - 4. Suppose -235 = -4*v - c. Is 17 a factor of v?
True
Suppose -4*m = -2*m - 4*u - 600, -m + 300 = u. Does 12 divide m?
True
Let v(d) = 9 - 22 - 4*d - d + d. Is v(-11) a multiple of 11?
False
Suppose 0 = 5*h + 194 + 31. Does 12 divide h/20*64/(-6)?
True
Let b(j) = j**3 - 6*j**2 + 6*j - 3. Let q be b(5). Suppose 0 = 4*h + 5*m, -4*m - 15 = h + m. Suppose 21 = q*w + h*a - 30, 0 = -2*w + 5*a + 21. Does 16 divide w?
False
Let o(y) = -y**3 - y**2 - 2*y - 1. Let p be o(-1). Let m(w) = 47*w**3 + w**2. Let t be m(p). Suppose 5*k + t = 2*b - 0*b, 2*b - k = 40. Is 8 a factor of b?
False
Is 21 a factor of 0 + 335 - ((-6 - 2) + 7)?
True
Is 55/2 - (-20)/(-8) a multiple of 4?
False
Is 41 + (-4 - -2)*-1 a multiple of 16?
False
Let k = 171 - 100. Is 24 a factor of k?
False
Let i be 6/15 - (-69)/15. Suppose -i*o = -2*n - 3*n, 5*o + 2*n - 14 = 0. Suppose g - 18 = -o*h, 3*h - h - 16 = -2*g. Is h a multiple of 5?
True
Let b(u) = 19*u**2 - 6*u - 8. Is b(-2) a multiple of 40?
True
Suppose -4*r + 9*r - 180 = 0. Suppose 4*i = 4*s - r, -4*s + 5*i = 2*i - 31. Does 2 divide s?
True
Suppose 5 = 2*r - 3*r. Let n(s) = -s**2 - 8*s - 1. Let g be n(r). Does 13 divide 248/g + 4/14?
False
Suppose -3*z - 15 = -3*k, 0 = 4*k - 3*k - 5*z - 17. Suppose -5*t + 2*d - 86 = 14, t - k*d + 28 = 0. Let l = t + 44. Does 13 divide l?
True
Suppose 3*v - 50 = -5*f, -2*f + 3*f + 4*v = -7. Does 7 divide f?
False
Suppose -13*u - 4*u + 85 = 0. Is 2 a factor of u?
False
Suppose -j + 4*l - 7 - 2 = 0, 2*j + 5*l - 34 = 0. Let r = -2 + j. Suppose 64 = 3*f - r*z, 2*z - 68 = -3*f + 3*z. Is 7 a factor of f?
False
Let y = -75 + 120. Suppose y = -p + 4*p. Is 15 a factor of p?
True
Let t(x) = -2 + 5*x - 3 + 4 + 2*x. Let j(d) = -20*d + 2. Let w(m) = 5*j(m) + 14*t(m). Is 10 a factor of w(-7)?
True
Suppose -5*f + 2*d + 145 = d, -85 = -2*f - 5*d. Is 23 a factor of f?
False
Suppose 2*z + 10 = -g, -7 = 4*z + 3*g + 9. Let q(s) = -s**3 - 7*s**2 + 4*s - 7. Let u be q(z). Is 11 a factor of u/(-2) + 1/2?
False
Suppose 2 = -3*l - 3*h + 77, 2*l + 5*h - 56 = 0. Let f = l + -3. Is 20 a factor of f?
True
Let v = 32 - -9. Let s = v - -1. Does 21 divide s?
True
Suppose 2*q = 2 - 0. Suppose 0*z + z - q = -4*d, z - 6 = -3*d. Is 14 a factor of (0 - -1)*(z - -2)?
False
Let y be -1*(-2)/4*2. Let m be 3/9 + (-2)/(-3). Let t = y + m. Is 2 a factor of t?
True
Suppose 8 = 5*p - 117. Does 12 divide p?
False
Let z be (3/(-6))/(3/(-576)). Suppose o = 3*i - 54, -z = 2*o - 0*i - 3*i. Let y = o + 90. Is y a multiple of 18?
False
Suppose -3*u + 8 = -4. Let n be (2/4)/((-1)/(-2)). Is 19/n - u/(-2) a multiple of 8?
False
Let z(i) = -6*i**3 + 2*i**2 + 4*i + 2. Does 12 divide z(-2)?
False
Let x(k) = -3*k + 6. Let q be x(4). Let p = 15 - q. Does 17 divide p?
False
Does 6 divide (-12)/(-10) + -1 - (-838)/10?
True
Suppose h - 1 = -0*h. Is 17 a factor of 3/h - (-2 + -30)?
False
Let u(g) = 2*g**2 + 11*g - 6. Let i be u(-11). Suppose 0 = -2*t + 3*n + 26, 5*t + 2*n - i = -3*n. Does 19 divide t?
True
Let t = -7 - -5. Is t/(-11) - 2236/(-44) a multiple of 21?
False
Let x(v) = 2*v + 6. Let c be x(-7). Let i = 13 + c. Is 17 a factor of (-2)/(-5) - (-83)/i?
True
Let h = 0 + 1. Suppose 5*k - 2 = 13. Suppose 4*d = -k*b - h, -3*d = b - 7*d - 21. Is b even?
False
Let q be 8/2*(4 + -3). Let x(v) = -11*v - 3. Let h be x(q). Let w = h - -81. Is 17 a factor of w?
True
Suppose 20 = 7*h - 3*h. Suppose c + 2 = h. Is c a multiple of 3?
True
Suppose -s + 5 = 1. Is (8/(-3))/(s/(-24)) a multiple of 6?
False
Let m(u) = -u**2 + u + 12. Let w be m(0). Let i = -1 + w. Is 3 a factor of i?
False
Let q(m) = m**3 + 3*m**2 - 4*m + 5. Let v be q(-4). Suppose 0 = -5*h + v, -3*i + h - 10 + 24 = 0. Suppose 0*a - i*a = -130. Is a a multiple of 13?
True
Let o(n) = n**3 - 10*n**2 + 3*n - 8. Let t be o(10). Suppose -7 + t = 5*g. Suppose -z + 108 = g*z. Does 10 divide z?
False
Does 5 divide 1/(-4) - 451/(-44)?
True
Let r(a) = a**3 + 3*a**2 - 7*a + 1. Let p be r(-5). Let u(s) = -25*s**2 + s. Let q be u(-3). Is q/p - (-4)/(-14) a multiple of 13?
False
Let z(a) = -a**3 + 2*a**2 + 3*a + 2. Let t be z(3). Suppose -t*o = -5*n + 2*n + 33, -30 = -3*n + o. Is 9 a factor of n?
True
Let p(n) = -n + 42. Is 17 a factor of p(-22)?
False
Let s be -1*7*(-6 - -7). Let w(b) = b**2 + 2*b + 1. Is 10 a factor of w(s)?
False
Suppose 0 = -161*t + 160*t + 120. Is 24 a factor of t?
True
Let b = -24 + 9. Is 5 a factor of (6/9)/(-1)*b?
True
Suppose 4*v + 53 = 305. Does 13 divide v?
False
Let k = 3 - 1. Suppose -3*y - 4*o = -114, 2*o + k = -2*y + 80. Does 13 divide y?
False
Let o(m) = m**3 + 7*m**2 - 10*m - 1. Let y be o(-8). Is ((-4)/10)/(y/(-975)) a multiple of 11?
False
Is 19 a factor of (19/(-3))/(1*3/(-81))?
True
Let m(k) = -k**2 + 2*k + 3. Let o be m(3). Suppose 0 = 3*r + 2*l - o + 2, 5*l = -2*r - 16. S