 53 a factor of f(-18)?
True
Let b = 178 - 70. Is b a multiple of 9?
True
Let r(t) = -t**2 - 7*t - 7. Let l be r(-5). Suppose 4*h - 12 = 0, 4*o - l*h = -h + 14. Suppose 0*y + 2*m = -o*y + 66, 45 = 4*y - m. Does 12 divide y?
True
Suppose -4*r + 3*m = -0*r - 18, -3*r + 7 = m. Suppose r*f = 4*f - 25. Let o = 0 + f. Is 7 a factor of o?
False
Suppose -3*i + 282 = -0*i. Let a(y) = -y**2 - 6*y - 6. Let r be a(-4). Suppose -r*c = -0*c - i. Does 9 divide c?
False
Suppose 4*l - 4*b - 704 = 0, -l + 2*b + 21 = -151. Is l a multiple of 36?
True
Suppose -9995 = -9*u + 373. Is u a multiple of 12?
True
Let g(m) = -m**2 + 3*m + 2. Let t be g(-2). Let u = 19 + t. Let d = 27 - u. Is d a multiple of 3?
False
Is 8 a factor of (-1 - (-6)/4)/(243/445662)?
False
Let g = 75 - 39. Does 2 divide g?
True
Let l(t) = 26 + 23 + 9 - 3*t. Does 14 divide l(0)?
False
Let r(f) = 12*f**2 + 3*f - 2. Is r(-4) a multiple of 44?
False
Let a(l) = 39*l**3 - 2*l + 1. Suppose 5*f - 2 = 3. Let w be a(f). Suppose 4*q = -2*h + 26, -q + 2*q = -2*h + w. Does 14 divide h?
False
Suppose -5*v = 2*t - 141, -3*v + 2*t + 3*t = -97. Is 3 a factor of v?
False
Let d be 29 - -1*(4 - 0). Suppose 2*r - d = 23. Is r a multiple of 19?
False
Suppose 4*f - 388 = -2*z + 6*f, 3*z - 5*f - 580 = 0. Does 39 divide z?
True
Is (0 + 1)*110670/119 a multiple of 31?
True
Let h(l) = -491*l - 32. Does 17 divide h(-1)?
True
Suppose 0 = -4*m - 2*i + 8008, 3*i = 85*m - 81*m - 8008. Does 21 divide m?
False
Let s = -754 - -2314. Is 40 a factor of s?
True
Suppose 5*o - 289 = b, o - 2*b + 0 - 65 = 0. Suppose p + p + 62 = -3*r, 5*p = -4*r - 141. Let d = o + p. Is d a multiple of 12?
False
Suppose t + 3*o + 6 = -2*o, -3*t = 2*o - 8. Suppose 816 = 5*d + 4*w, -9*d + t*d - 2*w + 808 = 0. Is 16 a factor of d?
True
Suppose 5*z = 4*z. Let k = z + -2. Is 20 a factor of 190/4 - k/(-4)?
False
Let f = -4812 - -8594. Is f a multiple of 16?
False
Let c(t) = -t**3 + 7*t**2 + t + 2. Let l be c(6). Let h = l - 8. Let y = h - 21. Is y a multiple of 12?
False
Suppose -7*u = -2*u - 25. Suppose -r + 35 = -u. Let i = -22 + r. Is i a multiple of 8?
False
Let j(k) be the third derivative of 23*k**4/24 - 7*k**3/6 + 4*k**2. Let h be j(8). Let t = h + -97. Is t a multiple of 27?
False
Suppose -32*j - 104 = -33*j. Let b = j - 39. Is 11 a factor of b?
False
Suppose -g = 3, -5*m + m = -3*g + 239. Let t = 133 + m. Is 4 a factor of t?
False
Let m be 2/4 - 1/2. Let q = m - -10. Suppose 15*a = q*a + 90. Does 9 divide a?
True
Suppose 0*w = 2*w - 12. Suppose -5*d - 4*b + 3 + w = 0, -b = 4*d - 16. Suppose 70 = 3*k - 4*n, 5*k + 0*n + d*n - 175 = 0. Is 9 a factor of k?
False
Suppose -3*g + 1 = -4*f + 9, 4*f = -3*g + 32. Suppose -f*x + 284 = w + 102, -2*x - 728 = -4*w. Does 14 divide w?
True
Let p(j) = 3*j - 7*j - 12 - j + 10*j. Is 19 a factor of p(10)?
True
Suppose 0 = -3*z + 27. Suppose g - z = -1. Does 2 divide g?
True
Let l be ((-20)/(-8) + -3)*0. Suppose 4*d + 3*j - 122 = 0, -3*d + 0*j - 4*j + 88 = l. Is d a multiple of 7?
False
Suppose 0 = 4*f + 5 - 33. Suppose -2 + f = o. Suppose 2*z + 5*d = -z + 115, 4*z - 150 = -o*d. Is 10 a factor of z?
False
Suppose 4*p = p + 6. Suppose p*z = 45 + 87. Is 4/(8/z) - 0 a multiple of 13?
False
Suppose 0 = 9*d + 46 + 8. Is 11 a factor of (-472)/d - 2/(-6)?
False
Suppose 4*y + 423 = 13*y. Is y/3 - (2 - (-16)/(-12)) a multiple of 12?
False
Let f(d) = d - 6. Let j be f(5). Let c be -1 - (j + 0)*-7. Let m = c + 28. Is 10 a factor of m?
True
Let r(k) = 23*k - 85. Is r(10) a multiple of 5?
True
Suppose 2*o - 3*s - 2064 = 0, 4*o - 5110 = -o - 5*s. Does 54 divide o?
True
Does 14 divide 3 + -5 + 82 - -4?
True
Is (620 - -10)*(-13)/((-52)/8) a multiple of 126?
True
Suppose u - 224 = g, 2*u - 4*g - 1124 = -3*u. Let y = 81 - -48. Let n = u - y. Is n a multiple of 33?
True
Suppose -g = -4*x + 968, 5*g - 528 + 22 = -2*x. Is 16 a factor of x?
False
Let i = -19 + 42. Let q(b) = 2*b + 3. Let r be q(4). Let t = i - r. Does 9 divide t?
False
Let l be -54*(12/(-8))/(-3). Let i = 69 + l. Suppose 3*k - 84 = -4*v, k = -4*v + i + 50. Is 7 a factor of v?
False
Let z(g) be the second derivative of 15*g**3/2 - 9*g**2 - 46*g. Is 27 a factor of z(4)?
True
Let h be (3 - 1)*(-2 - -4). Let n be (-2)/h*(-1 + 1). Suppose n = -y + 5*y - 32. Is y a multiple of 4?
True
Let a(q) = -q + 11. Let s be a(7). Suppose s*i - 2*v = 104, -4*i + 4*v + 40 = -3*i. Does 4 divide i?
True
Let a(v) be the second derivative of -v**5/20 + 3*v**4/4 + 2*v**3 + 5*v**2/2 - 13*v. Is a(10) a multiple of 10?
False
Let z(p) = -p**2 + 13*p - 9. Suppose x + 3*d = 3*x - 25, 3*x - 34 = d. Does 7 divide z(x)?
False
Let u(b) = b**3 - 4*b**2 - 11*b - 4. Let w be u(6). Let t(i) = 2*i**2 + 2*i**2 + 2*i**2 + 5*i - 4*i**w. Is 15 a factor of t(-8)?
False
Suppose 10*z - 12*z - 1914 = -5*d, -1905 = -5*d + 5*z. Does 23 divide d?
False
Let w(x) = 14*x**2 + 3*x + 12. Does 57 divide w(-3)?
False
Suppose 2*v + 1 = 5. Suppose v*s - 8*s = -360. Is s a multiple of 12?
True
Let y(r) = r + 15. Let k be y(0). Let p be (-3)/k + 302/10. Suppose -i + 47 + p = 0. Is 13 a factor of i?
False
Suppose -541 + 170 = -7*v. Suppose -v = -10*i + 297. Is 12 a factor of i?
False
Let q = -8 + 21. Suppose -2*t = 7 + q. Does 22 divide 41 + (-5)/(t/6)?
True
Let i(l) = -2*l + 38. Let g be i(19). Suppose 0 = 5*n - 25, 2*n - 98 = -4*h - g*n. Does 11 divide h?
True
Let k(z) = 9*z - 4 - 2*z**2 + 4*z**2 - 10*z**2 + z**3. Suppose -4*l + 4*h = -24, 2*l + 2*h - 5 = 11. Is k(l) a multiple of 4?
False
Suppose -6*m + 12 = 5*i - 3*m, 0 = 4*i - 3*m - 15. Suppose -3*s = 3*x + s - 389, 364 = i*x - s. Does 41 divide x?
True
Suppose -6*d + 8*d = -84. Is 3 a factor of d/9*(-1 + 5/(-10))?
False
Let t(q) = 6 + 6*q**2 - 2*q**2 - 4*q + 4*q**2 - q**3. Suppose 0 = -3*r - 2*r + 3*v + 29, 0 = 2*v + 6. Is 27 a factor of t(r)?
True
Let x = 7813 - 3205. Does 12 divide x?
True
Let k(w) = -11 + 4 + 0 + 5 + 2*w. Let f = 14 - 7. Is 4 a factor of k(f)?
True
Let t(i) = 55*i + 14. Is 26 a factor of t(4)?
True
Suppose -31*a - 7992 = -43*a. Does 19 divide a?
False
Let y(i) = i + 109. Is 46 a factor of y(-16)?
False
Suppose 1 = -k - 2. Is k/(-4) + 628/16 a multiple of 4?
True
Let h(n) = 2*n**2 - 3*n - 2. Let j(f) = -21*f - 9. Let w(v) = 32*v + 14. Let x(p) = 8*j(p) + 5*w(p). Let q be x(-1). Is 22 a factor of h(q)?
False
Suppose -3*x + 7*x = -l + 56, -4*l + 4*x + 204 = 0. Is l a multiple of 15?
False
Suppose -2*z - 2*k + 14 = 0, z = -z + 4*k - 4. Suppose -12 = -t + 3*v, 5*t = 3*t - z*v + 14. Does 21 divide 66 + t/(-3)*1?
True
Let t(q) = q + 1. Let d be t(-4). Let g(s) be the second derivative of s**5/20 + s**4/2 - s**3/6 + s**2/2 - 2*s. Is g(d) a multiple of 12?
False
Let l = 517 + -237. Is 11 a factor of l?
False
Let p(h) = 2*h**2 - 142*h + 3. Does 9 divide p(-4)?
True
Let k(q) = 23*q + 100. Is 15 a factor of k(10)?
True
Let r be (1 - 10)*(-2)/(-6) + 5. Let m(q) = 5*q**2 + 4*q - 8. Is m(r) a multiple of 5?
True
Let o = 96 - 44. Is o a multiple of 3?
False
Suppose -h + 21*w - 19*w + 75 = 0, -5*w = -2*h + 152. Is 6 a factor of h?
False
Let b be 1 - -2 - (-3 - (-6)/1). Suppose c - 2*c + 126 = b. Is c a multiple of 35?
False
Suppose 5*d - 5*m - 5915 = 2*d, 0 = -2*d + 2*m + 3950. Does 15 divide d?
True
Let l(h) = 7*h**3 + 3*h**2 - h + 1. Let d = 12 - 10. Is l(d) a multiple of 18?
False
Let a = -132 + 54. Let w = a - -109. Does 6 divide w?
False
Let s(i) = -i**3 + 7*i**2 - i + 7. Let t = -6 - -13. Let m be s(t). Suppose 4*v - 2*v - 18 = m. Is 9 a factor of v?
True
Let h(k) = -k**3 + 4*k**2 - k - 2. Let r be h(3). Let x = r - -5. Is 6/x*7*3 a multiple of 4?
False
Suppose 0 = -0*t + 5*t + 2*l - 285, -3*t - 3*l + 171 = 0. Is 28 a factor of (t - (-1 + 1)) + 3 + -4?
True
Let p be -2*(4/(-4) + 0). Suppose -p*c = 10 - 74. Is c a multiple of 8?
True
Let r(y) = -y**2 + y - 1. Let j(v) = -3*v**2 + 11*v - 14. Let a(w) = j(w) - 4*r(w). Is a(-12) a multiple of 10?
True
Let m = 431 - -16. Is m a multiple of 25?
False
Is 10 a factor of (1700/(-14))/(128/(-1792))?
True
Suppose 0 = -5*u - 10 + 40. Suppose -2*b + u - 120 = -4*l, 2*b = -l - 104. Let j = -27 - b. Is 13 a factor of j?
True
Suppose 5*p - 2*p + 3*f - 300 = 0, 5*f = 5. Is 11 a factor of p?
True
Let l(i) = -i**3 - 10*i**2 - 2*i + 3. Let x be l(-7). Let f = x + 58. Let m = f + 176. Does 21 divide m?
False
Let v(g) = 2*g + 15. Let a 