 Suppose 0 = 2*t + y - 483, -3*y = 5*t - 35 - 1170. Suppose t = o*i + 44. Is 17 a factor of i?
False
Is (4 - 6) + (0 - -36) a multiple of 15?
False
Let n be (-2)/1 - (-5 - -4). Does 7 divide (2/n)/((-5)/30)?
False
Is (-2367)/(-36) + (-6)/8 a multiple of 13?
True
Is (-16)/(-24) + 92/6 a multiple of 16?
True
Let c = 16 + -83. Suppose -2*s + 166 = -4*j, s - 161 = -3*j + 7*j. Let q = j - c. Is 14 a factor of q?
True
Let f(o) = 2*o**2 - 4*o + 4. Is 3 a factor of f(3)?
False
Suppose 20 = 4*m + 4*a, -2*a + a = -2*m + 4. Suppose m*q = 4*q. Suppose v - 3*z = 4*v - 30, 4*v - 4*z = q. Is v a multiple of 5?
True
Let a = 218 + -85. Does 19 divide a?
True
Let c(u) = -u**3 - 4*u**2 - 3*u. Let w be c(-2). Let d(k) = -3*k - 3. Let m be d(w). Suppose -v - m*f - 17 = -59, 5*v - 134 = 4*f. Is v a multiple of 15?
True
Suppose 4*w - 19 = 9. Suppose k = -i + 5*i + w, 0 = 5*k + 2*i - 13. Is 37 - (0 - (-1 + k)) a multiple of 12?
False
Suppose -2*z + 3*q + 79 = 0, z - 22 = -0*z - 2*q. Let x = 221 + -105. Suppose g + h = z, h - x = -4*g - 0*h. Does 14 divide g?
True
Suppose -2*z + z = -2*b + 1, -b - z = 1. Suppose -3*x + 121 + 50 = b. Suppose -2*y + 15 = -x. Is 14 a factor of y?
False
Let x be (6/1)/((-3)/4). Let n(h) = -h**3 - 8*h**2 - 1. Let d be n(x). Does 3 divide (-39)/(-3) + (-3 - d)?
False
Let n = 39 + -15. Does 24 divide n?
True
Suppose -8 - 52 = -3*d. Let u = d - 1. Is 12 a factor of u?
False
Let u(s) be the first derivative of -s**6/120 - s**5/12 - s**4/24 + s**2 - 2. Let j(h) be the second derivative of u(h). Does 15 divide j(-6)?
False
Suppose -66 = -2*z + 250. Is 12 a factor of z?
False
Let p(s) = -s + 8. Is p(-8) a multiple of 8?
True
Let f = -5 - -5. Let g(m) = -m - 3. Let b be g(f). Is 0 + (b - -1*34) a multiple of 21?
False
Let k = -1 + -24. Let f be (k/1)/((-2)/(-2)). Is 2 a factor of 46/10 + (-10)/f?
False
Let x = 5 + 1. Let z = x + 0. Is 3 a factor of z?
True
Let i = -160 + 265. Is i a multiple of 21?
True
Does 6 divide (-4)/10 + 1104/10?
False
Let z(d) be the third derivative of 1/2*d**3 + 5/12*d**4 - d**2 + 0 - 2/15*d**5 + 0*d + 1/120*d**6. Is 12 a factor of z(7)?
True
Suppose -4*z + 6 = -234. Is z a multiple of 10?
True
Let y = -7 - -4. Let j be (y/9)/((-2)/24). Suppose -s - 92 = -3*h, -3*h + s = -j*s - 76. Is h a multiple of 16?
True
Let t = 5 + -13. Is 6 a factor of 20*(2 + t/5)?
False
Suppose p - 6 = -p - 4*c, 0 = -5*c + 15. Does 7 divide (2/p)/(3/(-72))?
False
Suppose -3*p + 261 = -3*a, a - 6*a + 10 = 0. Does 29 divide p?
False
Suppose 0*g = -4*g. Suppose 0 = 2*i - g*i - 20. Is i a multiple of 7?
False
Let g(r) = 2*r**2 + 6*r - 3*r**2 + 4 + 0*r**2. Let j be ((-18)/3)/(-2)*1. Does 13 divide g(j)?
True
Let t(c) = -9*c + 4. Let d be t(3). Let m = -9 - d. Does 14 divide m?
True
Let x = 67 - 34. Let v = 82 - 79. Let r = x + v. Is 14 a factor of r?
False
Let f = -5 + 2. Let r = f - -3. Suppose 5*o = 80 - r. Does 10 divide o?
False
Let b(t) = -t - 1. Let l be b(-6). Let i = 13 - l. Suppose 3*n = i + 70. Does 15 divide n?
False
Suppose 4*w + 63 = -3*s, -3*w + 0*s = -2*s + 26. Let i = 7 - w. Does 6 divide i?
False
Let b be (0 - 4)/(-12)*309. Suppose 4*l = b + 49. Is 10 a factor of l?
False
Let p = 2 - -2. Suppose -3*i = -p*i + 75. Suppose x = 5*f - i, -2*x + 11 = 1. Is 12 a factor of f?
False
Let s = -13 - -3. Suppose 4*k - 48 - 60 = 0. Let y = s + k. Is 17 a factor of y?
True
Let x = -6 - -10. Suppose 4*h = -l - x, 2*l - 5*h = 8 + 23. Does 8 divide l?
True
Is 20 a factor of 40/(0 - 3/(-6))?
True
Suppose -2*x + 31 - 3 = 0. Is (-5 - 2)*(-72)/x a multiple of 12?
True
Suppose -4*d + u + 5 = -9, -u = 2*d - 10. Suppose -5*h + 0*w - 8 = -3*w, -5*h - 9 = -d*w. Is h*7*(-2 + 1) a multiple of 6?
False
Suppose -30 = -5*s + 5*j, 4*s - 2*j - 22 = j. Let u(n) = -n**3 + 6*n**2 + 7*n - 4. Let w be u(7). Is 3 a factor of 2/w + 34/s?
False
Let h(o) = -2*o - 7. Is 3 a factor of h(-10)?
False
Let g(h) = 5*h + 67. Does 4 divide g(0)?
False
Let u(h) = -h**3 - 7*h**2 + h + 2. Let a(s) = s**3 + 7*s**2 - 2*s - 2. Let p(o) = 2*a(o) + 3*u(o). Does 4 divide p(-7)?
False
Let b = 17 + -35. Let q be (-10)/45 + (-166)/b. Let k = -1 + q. Is 8 a factor of k?
True
Is (1 - 0)*(-5 + 309)/4 a multiple of 14?
False
Suppose -4*m + 16 = -2*w, 4*w = -0*m + 3*m - 22. Suppose 67 = m*z - z. Suppose -2*b = 3*b + 4*h - z, -4*b + h = -62. Does 11 divide b?
False
Let d = 77 + -53. Is d a multiple of 6?
True
Let x(c) = -c + 7. Is 16 a factor of x(-10)?
False
Let m = 28 - 16. Suppose -a + m = -3. Is a a multiple of 5?
True
Let u(t) = -t**3 + t + 82. Let m be u(0). Let o = m - 50. Is o a multiple of 7?
False
Does 20 divide -3 - (-20)/4 - -58?
True
Let m(a) = -a**2 - 18*a + 2. Does 22 divide m(-15)?
False
Suppose -x + 34 = -3*v, -3*x + 5*v = x - 157. Let c = -29 + x. Is c a multiple of 14?
True
Let h(g) = 4*g**2 - 3*g + 5*g - 3*g**2. Suppose 2*x - 3*x - 12 = -4*q, 5*x + 20 = 0. Does 3 divide h(q)?
False
Is (2 + 28)*120/50 a multiple of 9?
True
Suppose 3*o - 2 = 4. Suppose 35 = o*x - 83. Is x a multiple of 16?
False
Suppose 3*h - 118 = 2*c, -3*h - 2*h - 2*c + 218 = 0. Let p = h - 25. Is 16 a factor of p?
False
Let x(n) = -n**3 + 12*n**2 - 12*n + 6. Let y be x(10). Suppose -3*g = 3*t - 0*g - 66, 5*t - g = y. Is 9 a factor of t?
True
Let p = -9 - -9. Suppose h + p*h = 47. Is 15 a factor of h?
False
Let z = 5 + -2. Suppose -29 = -z*q + 13. Does 8 divide q?
False
Let t(a) = -a + 2. Let p be t(-3). Suppose 4*k = p*k. Suppose k*s - s = -18. Is 9 a factor of s?
True
Let f(g) = g**3 - g**2 + 3. Let t be (-34)/(-8) - 1/4. Is f(t) a multiple of 32?
False
Let i(b) = b**3 - 6*b**2 - 5*b + 6. Does 20 divide i(7)?
True
Let a be 8/2 - 1*2. Let w(v) = -1 + a*v**2 - 5*v + 1 + 5. Is 20 a factor of w(6)?
False
Suppose -5*g + 77 = -173. Does 5 divide g?
True
Let n(i) = -3*i + 0*i**3 - 3 + 5*i - i**3 - 7*i**2. Let p be (-66)/8 - (-18)/72. Does 15 divide n(p)?
True
Suppose 6*t = 41 + 271. Is 13 a factor of t?
True
Suppose 4*q + f = 24, -4*q + 0*f + 36 = 4*f. Does 3 divide q?
False
Suppose -2*c + 5*i = -67, 41 = c + 2*i - 7*i. Is 18 a factor of (c/(-6))/((-2)/12)?
False
Let k = 0 - -6. Let j be 4/(-14) + k/21. Suppose 2*y - 33 + 1 = j. Does 8 divide y?
True
Let f = 2 + 35. Is f a multiple of 10?
False
Suppose 0 = 3*x - 3*k - 446 - 319, -4*k = -20. Is 7 a factor of x?
False
Is (2 - 10/6)*618 a multiple of 7?
False
Is 268/9 + 2/9 a multiple of 6?
True
Let c be ((-4)/6)/(6/(-9)). Let r be (-6)/(-3) - c - 2. Does 6 divide 57/9 - r/(-3)?
True
Let v be (5 + 10)/(2/8). Suppose 0 = -3*j - 5*s + 52 + 35, v = 2*j + 4*s. Does 7 divide j?
False
Let o = -1 - -2. Let p(m) = m**2 - 4*m - 3. Let c be p(5). Let v = o + c. Does 2 divide v?
False
Let p be -21 + 20 + 3*-4. Let z = 15 + -34. Let o = p - z. Is o a multiple of 4?
False
Let l(f) = -12*f - 2. Let y be l(-7). Suppose -5*b - 2*d = -10*b + y, 49 = 3*b - d. Is b a multiple of 8?
True
Let v(q) = 1 + 5*q + 0*q**2 + 2*q**2 + 0. Is v(-4) a multiple of 4?
False
Suppose f = 2*f. Let r(u) = -u**3 - u**2 + u + 2. Let j be r(f). Suppose -8 = -j*p + p. Does 5 divide p?
False
Let b be (-3)/((2/1)/(-8)). Suppose 32 + b = 2*r. Does 11 divide r?
True
Suppose -162 = -0*u - 3*u + w, 0 = -2*w + 6. Suppose 3*f = -2*f + u. Does 4 divide f?
False
Let w(n) be the second derivative of n**3/3 + n**2 - n. Does 8 divide w(11)?
True
Let c = -19 + 28. Suppose -c = -5*t + 21. Does 3 divide t?
True
Suppose -2 + 4 = 2*r. Let l = 0 - r. Is (-1 - -1) + l + 31 a multiple of 15?
True
Let l be 922/10 - 5/25. Suppose 4*r - 4 = 0, -3*n + 119 = 4*r - l. Is n a multiple of 23?
True
Let w(q) = -q**2 - 5*q - 2. Let p be (-34)/8 - 2/(-8). Let y be w(p). Suppose 0*i = -3*u + 4*i + 43, -y*i = -5*u + 67. Is u a multiple of 13?
True
Is 20 a factor of 39/13 + (58 - 1)?
True
Suppose -4*s + 117 = 5*d - 5*s, 3*d - 78 = -2*s. Is 9 a factor of d?
False
Let m(k) = -k - 3. Let x be m(-8). Suppose 0 = x*t + 83 - 273. Does 18 divide t?
False
Suppose -4*p + 249 + 259 = 0. Let v = 193 - p. Is 14 a factor of v?
False
Let m = 0 + 29. Does 6 divide m?
False
Let c = -208 + 304. Does 15 divide c?
False
Let g be (-1)/2*(-4)/(-2). Let j be g + (-1 - (-1 + 9)). Let q = 15 + j. Is q a multiple of 5?
True
Suppose 3*v + 2*j - 6*j = 142, -j + 80 = 2*v. Is 14 a factor of v?
True
Let p(d) = 3*d**2 - 2*d + 4. Let c(u) be the first derivative of u**2 - u - 