?
True
Let y be (2/4)/(1/(-4)). Let z be (13 + -1)*1/y. Let l = 20 - z. Is 10 a factor of l?
False
Let s(k) = 2*k + 33. Is s(24) a multiple of 25?
False
Let f = -26 + 87. Is f a multiple of 7?
False
Let k(s) = -9*s - 23. Let q be k(-10). Let z = -3 + q. Does 18 divide z?
False
Let v(c) = -3*c + 6. Let s be v(4). Let n = -1 - s. Suppose 0 = -3*m - 2*u + 42, -n*m + 72 = -5*u + 2. Does 14 divide m?
True
Let c(q) = -q**3 - 16*q**2 - 4*q + 14. Does 21 divide c(-16)?
False
Let a = 306 - 184. Does 6 divide a?
False
Let b = 167 - 90. Let k = -50 + b. Is 27 a factor of k?
True
Is 26 a factor of 6/(-27) - (-2193)/27?
False
Suppose 6*n = 65 + 103. Is 8 a factor of n?
False
Is 2 a factor of 1 - -4 - (-3 + 1)?
False
Let n(f) = -2*f**2 - 2*f - 3. Let d(r) = -r**2 - r - 1. Let b(i) = -4*d(i) + n(i). Let y be b(-2). Suppose c + 2*g - 12 - y = 0, -2*g + 4 = 0. Does 10 divide c?
False
Let f = -35 - -63. Is f a multiple of 4?
True
Suppose 20 = 2*o + 2*y, -3*o - y = -6*o + 46. Suppose -t + 78 = -4*i, -3*i - 29 = -2*t + 122. Is 5 a factor of (-2)/7 + t/o?
True
Does 7 divide ((-2)/2 - -5) + (-1414)/(-14)?
True
Let n = 5 + 6. Let d = -33 - n. Let o = 78 + d. Is o a multiple of 14?
False
Let k(q) = 2*q**2 - 2*q + 20. Is 14 a factor of k(0)?
False
Is ((238/(-6))/7)/((-2)/24) a multiple of 12?
False
Suppose -5*l = -4*z - 96, 4 = 3*l - z - 48. Suppose 0 = -0*c + 4*c + 5*m + l, 8 = -2*c + 4*m. Does 10 divide 136/14 + c/(-14)?
True
Let p be (2 - 6)/1 + 0. Let s(l) = -17*l - 4. Let n be s(p). Suppose 3*a + 51 = 3*h - 45, a - n = -2*h. Is h a multiple of 15?
False
Let n = 554 - 374. Suppose 5*t - n = t. Is t a multiple of 21?
False
Let n(p) = -p - 4. Let d be n(-8). Is d/(-6) + 68/3 a multiple of 14?
False
Let n(v) = -v**3 + 10*v**2 + 3*v - 12. Is n(9) a multiple of 16?
True
Suppose -k + 25 = -0*k. Is 25 a factor of k?
True
Let y(t) = -t**2 - 2*t + 4. Does 4 divide y(0)?
True
Let m(f) = 2*f**2 + 18*f - 17. Is m(-13) a multiple of 12?
False
Let f(g) be the first derivative of -1 + 3*g - 1/4*g**4 - 2/3*g**3 + 0*g**2. Is f(-3) a multiple of 12?
True
Let g(m) = 2*m - 2. Let v be g(2). Suppose 0 = 4*y + d - 24, -2*y + d + 14 = v. Does 3 divide y?
True
Let f be 1434/26 - (-14)/(-91). Suppose 8*a = f + 33. Is a a multiple of 11?
True
Suppose 0*z = 3*m + 2*z - 19, 4*m - 22 = -z. Let u = -12 + 17. Suppose 3*p + m*g = 60, u*g + 60 = 3*p + 2*p. Is 15 a factor of p?
True
Let d(u) = 7*u**2 + 3*u - 3. Let q(a) = a**2 - a + 2. Let g be q(0). Is 18 a factor of d(g)?
False
Let f(s) = 25*s - 6. Let x be f(-6). Does 16 divide (-2)/(1/(x/8))?
False
Suppose 3*c - 379 = -0*c - 4*i, -4*c + 552 = -4*i. Let n = -187 + c. Is (-4)/(-6)*n/(-12) a multiple of 2?
False
Suppose 0*g - 5*g + 15 = 0. Suppose 3*a = -4*f + 20, -g*a + 36 = 2*f - 8*a. Is f a multiple of 5?
False
Let f be ((-56)/2)/(2 + -1). Let d = f + 58. Let t = d + -4. Does 24 divide t?
False
Let a(s) = s. Let y be a(-5). Is 1*-1 - 55/y a multiple of 5?
True
Let l(x) = -x**3 + 3*x**2 + 2*x - 1. Let q be l(4). Let t(b) = -2*b + 4. Does 11 divide t(q)?
True
Suppose -g = -3*f - 17, -5*g + 3*f + 0*f + 37 = 0. Let k(s) = 2*s**2 - 4*s + 2. Is 16 a factor of k(g)?
True
Let x = 9 - 6. Does 3 divide x?
True
Suppose 0 = 2*f - 4, -2*l + 0*f - f + 6 = 0. Suppose u + 38 = l*u. Is 19 a factor of u?
True
Let m = -126 - -76. Let i = m + 82. Does 16 divide i?
True
Let h be (-1)/3*-3*5. Let s be 2/(-10) - (-151)/h. Suppose 4*i - s = i. Does 3 divide i?
False
Suppose -3*r - 3*b + 21 = 0, -3*b = -0*r - 4*r + 49. Does 24 divide 6/r*270/6?
False
Let u(x) = 6*x**2 - x - 1. Suppose 5*d = 9*d - 8. Is u(d) a multiple of 7?
True
Suppose 0 = 3*k - o + 16, 2*k + 3*o + 0*o = 4. Let j(u) = -u**3 - 3*u**2 + 2*u + 3. Does 3 divide j(k)?
False
Let f = -36 - -8. Let t be (f/(-6))/(1/(-3)). Let y = -2 - t. Does 12 divide y?
True
Let p(f) = 2*f + 12. Let i be p(-10). Let w(u) = -u**2. Let v(n) = -5*n**2 + 5*n + 3. Let r(s) = v(s) - 6*w(s). Is 10 a factor of r(i)?
False
Let a(c) = 16*c**3 + 2*c**2 - 1. Let u be a(-1). Is 5 a factor of (u/(-12))/((-2)/(-8))?
True
Is -5*(-36)/30*14/12 a multiple of 7?
True
Suppose -6*a = -427 - 341. Suppose -3*o - a = -7*o. Does 16 divide o?
True
Let n(l) = 2*l**2 - 14*l - 10. Is n(10) a multiple of 11?
False
Is 25 a factor of 1*117 - (-7 + 5)?
False
Suppose 49 + 29 = 3*q + 3*r, q = -5*r + 42. Is q a multiple of 22?
True
Suppose -2*p + r - 5 = -0, 0 = 5*p + r - 5. Let d = p + 0. Suppose d = 3*m - 40 + 10. Does 5 divide m?
True
Suppose -m = w + 48 - 167, 5*m + 449 = 4*w. Is w a multiple of 4?
True
Let b be 2 + ((-6)/3)/1. Let h(a) = a**3 + 9*a**2 + 7*a - 7. Let r be h(-8). Does 11 divide (b/(-1) - r) + 16?
False
Let o = 2 - -3. Suppose 68 = o*k - k. Does 13 divide k?
False
Let t be (-5)/(-15) - (-213)/9. Let o = -10 + t. Is o a multiple of 4?
False
Suppose 0*u = -3*u - 2*d + 47, -3*d = -12. Is u a multiple of 13?
True
Suppose 130 = -k + 6*k. Does 21 divide k?
False
Let k(v) be the third derivative of -v**5/60 - v**4/2 - 7*v**3/3 + 3*v**2. Is 21 a factor of k(-7)?
True
Let r be 1/(-2) + 420/(-8). Let s = 86 + r. Is s a multiple of 15?
False
Suppose 16 = f - 3*f. Let k = -2 - f. Suppose -k*v + 96 = -3*v. Is 11 a factor of v?
False
Does 9 divide ((-30)/(-9))/((-6)/(-81))?
True
Suppose u = -4*j - 51 + 343, 297 = u - j. Is u a multiple of 40?
False
Let t(q) = 2*q - 1. Let b be t(3). Suppose 0*m - 10 = -b*m. Suppose -5*z + 12 + m = 4*j, 0 = -5*z - 10. Does 4 divide j?
False
Let n = 30 - -78. Is 14 a factor of n?
False
Suppose 2*r + 5*b + 144 = 28, -4*r - 232 = -3*b. Let k = -34 - r. Does 5 divide k?
False
Is (-64)/3*(24 + -30) a multiple of 19?
False
Does 6 divide 6*-6*(-1)/3?
True
Let w = -169 - -242. Suppose 0 = -2*q - 0*j + 5*j + 17, -w = -4*q - 3*j. Does 8 divide q?
True
Let c be (-8)/24 + (-91)/(-3). Suppose -3*l + 0*l + c = 0. Is 5 a factor of l?
True
Let u(x) = 7*x**2 + x + 6. Does 13 divide u(3)?
False
Suppose 0 = 3*k - 8*k + 10. Suppose 0 = 4*q - h - 27, k*q - 6 + 3 = -3*h. Is 1/3 - (-106)/q a multiple of 10?
False
Let v(s) = 3*s - 8. Is 2 a factor of v(5)?
False
Suppose 3*u + y - 60 - 68 = 0, -4*u + 176 = 4*y. Is u a multiple of 14?
True
Is 1/(3 + 1) + (-860)/(-16) a multiple of 18?
True
Does 3 divide ((-4)/(-8))/(3/36)?
True
Let l = -4 - -6. Suppose 0 = -2*a - l*a + 200. Is a a multiple of 19?
False
Let g(u) = 26*u**3 + u. Is 9 a factor of g(1)?
True
Let h(w) be the first derivative of -w**3/3 - 5*w**2 + 14*w - 4. Let a(s) = -s**3 + 7*s**2 - 9*s + 7. Let j be a(6). Is h(j) a multiple of 3?
True
Suppose 3*o + 265 - 70 = 0. Let t = 101 + o. Is 9 a factor of t?
True
Suppose 0 = -h - 6*u + 2*u + 68, 0 = 5*u + 15. Is 31 a factor of h?
False
Let n(a) = a**2 - 6*a + 8. Does 19 divide n(-8)?
False
Suppose -19 = -2*c + z + 3, 0 = 3*c - z - 31. Let j be 745/c + (-4)/(-18). Suppose -i + 2*f + 11 = 0, 7 = -5*i + 3*f + j. Is 12 a factor of i?
False
Suppose -4*c - 9 = 3. Does 7 divide 2*(c - 13/(-2))?
True
Suppose -6*g + 252 = -2*g. Does 21 divide g?
True
Let b be 41*((1 - 3) + 7). Suppose -5*y - 5*s + b = 0, -5*y - 2*s = -6*s - 187. Let i = y + -27. Is 12 a factor of i?
True
Let d(q) = q**2 + 6*q + 8. Let k be d(8). Does 20 divide -6*(k/(-9))/4?
True
Suppose 3*h + 2*v - 25 = -0*v, -5*h - 2*v = -47. Suppose h = 5*m - 89. Is 20 a factor of m?
True
Suppose -104 = -5*c + 61. Let i be 9*(0 + (-3)/(-9)). Suppose i*x + c = 87. Is x a multiple of 9?
True
Let b(s) = 1 + s**2 + s + 1 + 3. Let f be b(0). Suppose k + 3*k + 92 = 4*t, f*t + 5*k = 115. Does 23 divide t?
True
Suppose -4*g - 46 = -6*g. Is 5 a factor of g?
False
Let n = -66 - -162. Is n a multiple of 24?
True
Suppose 2*j - 58 = -4*k, 0 = 5*k - j + 4*j - 75. Is 3 a factor of k?
True
Suppose -2*b + 5*f = 1 - 5, 4*f + 27 = 5*b. Let j(u) = 7*u**2 - 8*u - 14. Let d(s) = -11*s**2 + 12*s + 21. Let x(a) = 5*d(a) + 8*j(a). Is 12 a factor of x(b)?
False
Does 22 divide (-1852)/(-14) - 20/70?
True
Suppose 3*v + 2*q - 178 = 103, 2*q + 384 = 4*v. Does 24 divide v?
False
Suppose 2*u = -4*c + 2, 5*u = -5*c + 3 + 12. Suppose -3*z = -3, -u*z = -n - z + 17. Does 17 divide n?
False
Is 20 a factor of (-284)/(-14) - 2/7?
True
Let u = -23 - -170. Does 21 divide u?
True
Suppose -5*r + 1 + 14 = 0. Is 3 a factor of r?
True
Suppose 3*o - 4*f + 30 = o, 3*o = -4*f - 15. Let u = 15 + o. Is u a multiple of 6?
True
Let y(q) = q**2 - 