19 divide t?
False
Let j(f) = 5*f**3 - f**2 + 8. Let r(h) = -14*h**3 + 3*h**2 + h - 23. Let w(b) = 11*j(b) + 4*r(b). Is 20 a factor of w(-4)?
True
Let o = 76 - 111. Let x = o + 52. Is 13 a factor of x?
False
Let i(y) = 4*y - 5. Let m be i(2). Does 4 divide 0 + (3 - m*-7)?
True
Let r = 497 - 748. Let z = -145 - r. Does 33 divide z?
False
Does 14 divide (1 - 3)/(2/(-16))?
False
Let g = 6 + -3. Suppose a = -0*o + 4*o + 12, -5*o = g*a + 49. Is (1 - a)/((-6)/(-8)) a multiple of 12?
True
Let q(i) be the third derivative of i**5/60 + 7*i**4/24 - 5*i**3/6 - i**2. Let c be q(-8). Suppose -c*x = -4*x + 24. Is x a multiple of 12?
True
Let i = 45 - 26. Is i a multiple of 19?
True
Suppose -5*w - 5 = 0, -4*n + 5*w - 2*w - 157 = 0. Does 25 divide (-476)/(-5) - (-8)/n?
False
Let s(b) = -b - 5. Let i be s(-7). Let z be (-15)/i - (-3)/(-6). Let a(p) = -p**2 - 7*p + 11. Is a(z) a multiple of 3?
True
Suppose -b + 600 = 2*b. Suppose 0 = -r + 6*r - b. Is r a multiple of 20?
True
Let i(x) = 22*x**2 + x - 2. Is 18 a factor of i(2)?
False
Let d(s) be the third derivative of s**6/120 - s**5/10 - s**4/3 + s**2. Let k be d(6). Let b = k - -68. Is 20 a factor of b?
True
Suppose -3*g = -z + 7 + 1, -4*z - 4*g = -64. Let t = -7 + z. Let k(u) = u**2 - 6*u - 1. Is 5 a factor of k(t)?
False
Let m be 4*(2 - 3)/1. Let r be ((-15)/6)/(2/m). Suppose -3*w + 26 = r*x - 26, -3*x + 3*w = -36. Is x a multiple of 11?
True
Let u = -24 + 66. Does 6 divide u?
True
Let a be (-120)/(-25) - 1/(-5). Suppose a*q + 154 = 3*f, 2*f + f - 136 = -4*q. Is f a multiple of 24?
True
Let m(a) = 3*a + 11. Let l be m(-5). Is 22 a factor of ((-44)/5)/(l/10)?
True
Let h(s) = -5*s. Suppose 2*f - 5*v - 2 = -16, 0 = 5*f + v + 8. Let p be h(f). Let t = p - -4. Is 7 a factor of t?
True
Let i = 11 - 8. Suppose -i*w + x + 40 = 0, 5*w - 5*x + 0*x - 70 = 0. Is w a multiple of 9?
False
Let u(j) = -2*j**3 - 3*j**2 - 3*j - 3. Suppose -3*c + 7*c + 8 = 0. Is 7 a factor of u(c)?
True
Suppose -6*n + 9*n - 150 = 0. Let s = n + 14. Is 16 a factor of s?
True
Let i be (-189)/12 - 2/8. Let d = i + 29. Suppose -q - 5*f = -10, -q + 5*f + 7 + d = 0. Is q a multiple of 9?
False
Let v(f) = f**2 + 11*f + 8. Let z be v(-10). Let w = 41 + z. Is 13 a factor of w?
True
Let z(l) = 4*l - 4. Let o be z(3). Let r = 24 - o. Is r a multiple of 12?
False
Suppose -5*b + 69 = 3*p - 10*b, -46 = -2*p - b. Suppose 11 = 2*f - p. Is f a multiple of 3?
False
Suppose -5*s - 5*h + 25 = 0, -4*h = 4 - 0. Suppose 0*d - 2*d = s. Does 18 divide (-2 - 1)*2*d?
True
Let v = -2 + 49. Let s = v - 33. Is 5 a factor of s?
False
Let l(r) = r**2 + 62. Does 63 divide l(-8)?
True
Let t = 26 + -20. Suppose -t*f + 4*d + 154 = -4*f, -4*f = -4*d - 288. Is f a multiple of 20?
False
Suppose 3*a + 12 = 0, -3*s + 0*a - 5*a + 70 = 0. Is s a multiple of 15?
True
Let h(b) = b - 5. Let t be h(7). Let u be 2 - (-1 - -1) - 1. Is 2 a factor of 1 + u - 0/t?
True
Suppose -164 = 6*p - 2*p - 5*u, p + 16 = -5*u. Let c = 51 + p. Is c a multiple of 15?
True
Let c be ((-32)/(-10))/(-4)*-30. Suppose 12*s - c = 9*s. Is 8 a factor of s?
True
Suppose 5*j - 239 - 151 = 0. Let k = j - 33. Is 15 a factor of k?
True
Suppose -10 = 2*t, 0*t = -3*q - t + 403. Is q a multiple of 17?
True
Let l = 10 + -5. Suppose -r - l + 0 = 0. Is 18/r*(-1 - 9) a multiple of 12?
True
Let o(x) = -x**3 - 6*x**2 - 12*x + 8. Is 16 a factor of o(-6)?
True
Suppose 4*m - 202 = 2*l, 0*m - 2*m = 2*l - 110. Is m a multiple of 13?
True
Suppose 6*q = 3*q - 3*m, -5*m + 20 = -5*q. Let p(u) = -85*u + 1. Let s be p(q). Is (-4)/10 + s/15 a multiple of 5?
False
Let b(q) = 2*q**3 - 4*q**2 - 13*q - 8. Let p(j) = -j**3 + 2*j**2 + 6*j + 4. Let w(m) = 3*b(m) + 7*p(m). Does 16 divide w(-3)?
False
Let y(z) = -z**2 - 7*z + 4. Let h be y(-4). Suppose o - 225 = 6*o. Is 11 a factor of (h/6)/((-6)/o)?
False
Let w be 2/(-9) - (-2)/9. Suppose w = 3*j - j - 18. Let c = -5 + j. Is 4 a factor of c?
True
Let d(s) = -s + 19. Suppose -5*c - 1 = 2*h + h, -3*c = -5*h + 21. Suppose 0 = -v + h*v. Does 7 divide d(v)?
False
Suppose -4*f + 157 = 3*t, -2*t + t + 2*f + 39 = 0. Suppose 0*d + 4*d - 36 = 0. Let k = t - d. Is k a multiple of 19?
True
Suppose 10*x - 5*x = 435. Does 51 divide x?
False
Let m(k) = k**2 - k + 3. Let s be m(0). Let d be s - 3*(-22)/(-6). Let q(o) = -2*o + 10. Is q(d) a multiple of 9?
False
Let r(l) = -l**2 - 6*l + 8. Let o be (-189)/35 + 3/(-5). Is r(o) a multiple of 8?
True
Let o = 25 + 2. Let u = -84 + 213. Suppose -4*v - i + 0*i = -u, v - o = 5*i. Does 13 divide v?
False
Let d(w) = 3*w**3 + 5*w**2 - 5*w + 1. Does 16 divide d(3)?
True
Suppose -3*y = 2*c - 106, 8*y = 4*y + 4*c + 168. Is y a multiple of 38?
True
Suppose -2*j - 3*j = -4*l - 29, -l = -3*j + 16. Let g(f) = 2*f**2 - 5*f + 3*f + 9 - 2 - f**2. Does 11 divide g(j)?
True
Let b = -142 + 214. Let m(v) = 7*v - 5. Let x be m(-6). Let q = x + b. Does 11 divide q?
False
Let o(s) = -6*s - 10. Suppose 3*g + 17 = -0*g - 2*a, 3*g = a - 23. Let i be o(g). Suppose -4*u + i = -4. Is 7 a factor of u?
False
Let r be (-1)/4 - (-85)/20. Let n be 1/4 - (-223)/r. Suppose 3*u - 2*u - 2*z = 13, -4*z - n = -4*u. Is 15 a factor of u?
True
Suppose -43 - 49 = -4*c. Is c a multiple of 4?
False
Suppose -5*p = 85 + 35. Does 6 divide (8/(-16))/(2/p)?
True
Let g(q) = 7*q + 13. Let c(j) = j - 7 - 2*j - 3*j. Let v(y) = 5*c(y) + 3*g(y). Does 7 divide v(3)?
True
Let t(x) = x**3 - 3*x**2 - 6*x - 11. Does 28 divide t(6)?
False
Let k = 20 + -8. Suppose -54 = -3*l - k. Is 508/l - (-12)/(-42) a multiple of 13?
False
Let j(a) = a**3 - 7*a**2 + 8*a - 9. Let o be j(6). Suppose -o*b - b = -92. Does 6 divide b?
False
Let t(m) = 238*m**3 + 2*m**2 - 1. Let b be t(-1). Does 12 divide b/(-6) - (-2)/(-4)?
False
Let u be (-2)/(-1 + 3) - -7. Suppose 30 = 2*l + u. Does 7 divide l?
False
Let m be 1/2*(3 - -1). Suppose -m*h = 3*h. Suppose h = q - 1 - 4. Is 3 a factor of q?
False
Let g = -8 + 11. Suppose 0 = 3*x - 3*h, -g*h = -4*x + 2*h + 1. Is (x + 2 - 1) + 2 even?
True
Let o = -20 + 25. Suppose 8*u - o = -z + 3*u, 3*z - 39 = -3*u. Does 7 divide z?
False
Suppose 2*g + 2*g = 0. Let a be g + (17 - (-1 - -1)). Is 6 a factor of 1 + a + (1 - 2)?
False
Suppose 41 = 5*j - 9. Is 3 a factor of j?
False
Let d be -1 + 3 + (-3)/3. Let f = 8 - d. Is f a multiple of 3?
False
Let d = -78 - -142. Let z be (-2 + -1)*4/(-3). Suppose -4*u + 3*f - f + d = 0, 0 = 4*u - z*f - 68. Is u a multiple of 15?
True
Suppose -x + 413 = 4*y, -3*y = -4*x - 285 - 20. Suppose -3*r = 2*k - y, 0 = 3*k + 3 - 0. Does 8 divide r?
False
Let n be -14*(-3)/(-12)*-18. Suppose 0*j + n = 3*j. Does 9 divide j?
False
Let s = 29 - 11. Is 7 a factor of s?
False
Is 13 a factor of -9 - -7 - -5*3?
True
Let d = 101 - 64. Let o = d + 36. Let h = 115 - o. Is 21 a factor of h?
True
Let o(r) = r + 3. Let c be o(0). Suppose c*s - 2*q - 20 = 2*q, 0 = -2*s + q + 10. Suppose -3*j = s - 28. Is 7 a factor of j?
False
Let q = 16 + 25. Is q a multiple of 25?
False
Suppose 3*f = 4*f + 5*p - 8, 2*p + 67 = 5*f. Suppose -y - 4*a + f = 35, 0 = -2*a - 4. Let b = -7 - y. Is 5 a factor of b?
False
Suppose 11*y - 1906 - 470 = 0. Is y a multiple of 6?
True
Suppose 79 = 2*z - 5*w, -4*z + 3*w + 82 = -41. Let x = z + 3. Is 10 a factor of x?
True
Let b = -9 - -13. Suppose -4*m = -b - 0. Is 3 a factor of 3 + -3 - (m - 10)?
True
Suppose 0 = -u - 2. Is 7 a factor of ((-2)/2)/(u/36)?
False
Let z be ((-5)/3)/(3/9). Let u be (-22 + z)*6/2. Let b = u - -141. Does 21 divide b?
False
Let t = -5 + 9. Suppose -t*z = -7*z. Suppose z = 3*q - 27 - 27. Does 5 divide q?
False
Let n = -19 + 16. Does 22 divide (3/n)/(3/(-222))?
False
Suppose 4*d = 2*d + 4*k + 112, -3*k = 4*d - 246. Suppose 7 = 2*x - 7. Suppose -d = -x*z + 4*z. Is z a multiple of 20?
True
Suppose -2*j - 125 - 53 = -2*o, -3*o + 279 = j. Is o a multiple of 21?
False
Let x be (-32)/((-2)/(-2)*-1). Let d be (-1 - 0)/(-2)*x. Is (d/(-6))/(3/(-9)) a multiple of 7?
False
Let r be ((-51)/(-4))/(3/(-24)). Let w = 6 - r. Is 23 a factor of w?
False
Let l = 73 + 20. Is l a multiple of 12?
False
Let x = -6 + 8. Let r(m) = 8*m**3 + 2*m**2 - x + 1 + 11*m**3. Is r(1) a multiple of 12?
False
Let c = 11 - 5. Suppose c*o - 4*o = 44. Is 6 a factor of o?
False
Suppose -b + 32 = -43. Let s = 125 - b. Is 25 a factor of s?
True
Let f(i) = -41*i**3 - 2*i**2 + 1. Does 4 divide f(-1)?
True
Let