ctor of n?
True
Suppose 0 = 2*c + v - 4, -2*c = -v - 2*v + 4. Is 13 a factor of 114/8 - c/4?
False
Suppose 3*s - 25 = 128. Is 17 a factor of s?
True
Let t(v) = v**2 + 4*v + 4. Let f be t(6). Let j = f - 44. Does 4 divide ((-12)/(-10))/(6/j)?
True
Let c(x) = 6*x**2 - 1. Let m be c(-1). Let h(i) = 0*i - m - 2*i - 5*i. Is 13 a factor of h(-5)?
False
Let y(u) = u**3 - 15*u**2 - 29*u - 29. Does 2 divide y(17)?
True
Let k(l) = l**2 - 11*l - 2. Let b be k(9). Let c = b + 29. Does 8 divide c?
False
Let g be (6/(-9))/((-4)/6). Let a = g + 6. Is 2 a factor of a?
False
Let n be 2/(-1) + 48/6. Is 254/10 + n/(-15) a multiple of 25?
True
Suppose 4*r + r = -2*q + 1287, -1029 = -4*r - q. Is r a multiple of 20?
False
Let k = 68 + -39. Suppose -h - 4*p + k = 4*h, 4*p = 4*h - 52. Does 9 divide h?
True
Suppose 5*i - 1946 = -9*i. Does 23 divide i?
False
Let l be (6/(-7))/((-4)/28). Let h be 2/l + 3/(-9). Suppose -3*t + 2*u + 11 = 0, -t + 4*u - 2*u + 5 = h. Does 3 divide t?
True
Let n(f) = -f**3 - f + 5. Let s be n(0). Suppose 0 = 2*z - 0*z - 4. Suppose 208 = 5*q - s*x - 142, -134 = -z*q + 4*x. Does 25 divide q?
False
Let u(q) = -5*q + 3. Suppose 4 + 2 = -n. Is 11 a factor of u(n)?
True
Let x = -4 + 6. Let l = x - -6. Is l a multiple of 4?
True
Suppose y - 21 = -5*k, -3*k - 2*y - y = -15. Suppose 3*i - 84 = -4*p, 5*i + 2*p - 126 = -0*p. Suppose x = k*x - i. Is x a multiple of 4?
True
Let w be (2 - 3) + 7/1. Suppose w = -2*u + 16, -3*u - 399 = -3*k. Suppose 9*f - z - 247 = 4*f, 0 = -3*f + 4*z + k. Does 13 divide f?
False
Let u(h) be the first derivative of 13*h**2/2 + 4*h - 2. Does 30 divide u(6)?
False
Suppose -5*s = -h + 85, h + 485 = 6*h + 5*s. Does 7 divide h?
False
Suppose -3*a - 9*j + 9 = -4*j, -4*a = -3*j + 17. Let w(q) = 0 - q + 2 - 10*q. Is w(a) a multiple of 8?
True
Suppose -k = k - 4. Suppose 3*t = -k*n - 6, 1 = -2*t + 4*n - 3. Does 6 divide (3 + -2)/(t/(-24))?
True
Let d(s) = 76*s**2 + 1. Let f be d(-1). Suppose 7 - f = -5*o. Is 8 a factor of o?
False
Suppose -q + 2*h = -24, -145 = -7*q + 2*q + 5*h. Let i be q/8 - 4/16. Suppose -54 = -i*k + 26. Is k a multiple of 7?
False
Let u be 4/6*(13 - -5). Does 11 divide u/(-6)*(0 + -22)?
True
Let d = 104 - 72. Does 12 divide d?
False
Suppose 4*x - 165 = 5*j - x, -j - 5*x - 51 = 0. Let v = j + 51. Does 15 divide v?
True
Suppose -4*g = 3*c - 4 - 59, -3*g = -9. Is 5 a factor of c?
False
Let h(t) = -t + 8. Let i be h(8). Suppose -5*v + 14 + 11 = i. Suppose 3*n - 11 = -3*d + 10, -v*n - 5 = -3*d. Is d a multiple of 5?
True
Suppose -6 - 18 = -2*v. Suppose 2*j + 13 = 47. Let m = j - v. Is 2 a factor of m?
False
Let d = 2 + 2. Let t be d/1*3/4. Suppose 2*b + t = 15. Does 3 divide b?
True
Is 2 a factor of (0 + -3 - -5)*1?
True
Suppose 0 = -5*t + 1486 + 764. Suppose 0 = 3*j + 2*j - t. Is 17 a factor of j?
False
Suppose 4*o = g + 812, -5*o + 3*o + 2*g = -400. Is 31 a factor of o?
False
Suppose 3*m = -8 - 1. Does 12 divide (3 + 29 - m) + 3?
False
Let o(j) be the third derivative of j**6/120 + 7*j**5/60 + j**4/6 + j**3/3 + 2*j**2. Does 22 divide o(-5)?
False
Does 27 divide (0 + 1*-1)/(22/(-1782))?
True
Let s = 40 - 18. Does 3 divide s?
False
Let q = 1 - -392. Is q a multiple of 68?
False
Let l = 16 - 11. Let j be -2 - -1 - -73 - 1. Suppose -3*q = -m - q + 13, -l*m + 4*q = -j. Is 15 a factor of m?
True
Let i = 34 + -22. Does 7 divide i?
False
Let b(t) = 23*t**2 + t. Let n be b(1). Suppose 7*q + 10 = 6*q. Let f = n + q. Is f a multiple of 7?
True
Does 3 divide (-3 + 1)*5/(-2)?
False
Let t = 3 + 5. Is 2 a factor of t?
True
Suppose 3*k = -k + 288. Suppose -2*a + k = a. Is 17 a factor of a?
False
Does 4 divide -8*(6 + -5)*(-1)/2?
True
Suppose 3*p + 68 = 2*j, 2*j + 0*j - 2*p - 66 = 0. Is 7 a factor of j?
False
Does 7 divide (3/6)/(3/210)?
True
Let v(u) = -u**3 - 5*u**2 + 7*u - 3. Suppose 3*g = -11 - 7. Let j be v(g). Let o = -4 - j. Does 5 divide o?
True
Let q be (12/(-15))/((-4)/(-10)). Does 3 divide (-14)/(-6) - q/3?
True
Suppose 2*n = 5*d - 3*n + 25, 3*n + 25 = -d. Let s(y) = -y**2 - 12*y + 4. Does 12 divide s(d)?
True
Let q be (0 + -9)*(3 + -4). Suppose 0 = 2*l + l - q. Is l a multiple of 3?
True
Let z = 48 + -13. Does 5 divide z?
True
Suppose 4*q = 3*t - 18, -5*t + 3*q + 17 + 13 = 0. Is 14 a factor of (50/t)/(2/6)?
False
Let k(m) be the first derivative of 2*m**3/3 + 5*m**2/2 - 5*m + 4. Does 9 divide k(-5)?
False
Let p(a) = 0 + 0*a - a + 5 + 3. Is 18 a factor of p(-10)?
True
Let w(r) = -2*r - 5. Let u be w(-5). Let v be ((-4)/u)/((-8)/(-140)). Let s = v - -62. Is s a multiple of 24?
True
Let d = 777 - 441. Does 24 divide d?
True
Let z = -121 + 190. Does 7 divide z?
False
Suppose 2*r + r - 55 = -m, -2*r = -8. Suppose -4*v - 3 = -5*k - 16, -4*v - 5*k = -m. Does 4 divide v?
False
Let p = 25 - 1. Is 7 a factor of p?
False
Let y(t) = 100*t - 1. Let d be y(1). Suppose -4*j = -j - d. Is 12 a factor of j?
False
Suppose 2*k - 33 = 33. Suppose -2*a - v + k = -33, 4*a = v + 132. Is 12 a factor of a?
False
Suppose 21 + 54 = 3*j. Does 9 divide j?
False
Suppose -145 = -4*f + 75. Is f a multiple of 5?
True
Let f(t) = t + 15. Let m be f(-13). Suppose p = 3*y + 36, -1 = -3*y + m*y. Is 9 a factor of p?
False
Suppose 18 = 2*d - 6. Does 6 divide d?
True
Suppose -3*l + 305 - 41 = 0. Suppose 2*g - l = 4*g. Let i = g - -74. Does 16 divide i?
False
Let m = 33 - 1. Is m a multiple of 16?
True
Let a(z) be the third derivative of -z**5/60 - 7*z**4/12 - z**3 - 4*z**2. Is 13 a factor of a(-9)?
True
Let q = -23 + 36. Is q a multiple of 5?
False
Let p be 13/3 + 20/30. Let s be ((-8)/(-5))/(2/p). Suppose -2*z - s*a - 20 = -3*z, 28 = 2*z - 4*a. Is z a multiple of 4?
True
Is 29 a factor of (-16 - -1)*(-4 + 51/(-9))?
True
Suppose -1 = -3*s + 2*s. Let l be -4 - -6 - (1 - s). Suppose 59 = 2*d - 3*w - 4, l*w = -d + 14. Is 12 a factor of d?
True
Suppose -2*n - 8 = -4*i, -2*n + 2*i + 3 = 9. Is (-1)/n - 33/(-2) a multiple of 16?
False
Suppose 2*g + 128 = -5*t, 2*t + 9 = -2*g - 47. Let i = t + 12. Is (62/6)/((-4)/i) a multiple of 15?
False
Let l = 13 + -2. Let a = l + -9. Suppose a*w = 3*w - 17. Is w a multiple of 17?
True
Let u(l) = 2*l**2 - 8*l - 3. Let y be u(-6). Suppose -c = 2*c - y. Does 11 divide c?
False
Let u(f) = 22*f**2 - f - f**2 + 6*f**2. Let y be u(1). Suppose -4*l + 12 = 0, -l = 2*v + l - y. Is v a multiple of 10?
True
Let w be (46/(-4))/(6/(-12)). Let h = w + -9. Is h a multiple of 10?
False
Let s = 0 + 2. Let b be (73/3)/(s/12). Is 12 a factor of 1/(-3) + b/6?
True
Let c(n) = 6*n**2 + n - 1. Is c(-2) a multiple of 21?
True
Suppose 50 = i + i. Suppose 2*m - 3*n - 10 = -3*m, -5 = 4*m - 5*n. Does 2 divide 2/(m/(i/2))?
False
Let h(s) be the third derivative of -s**6/120 + s**5/60 + s**4/6 - 8*s**2. Is h(-3) a multiple of 6?
True
Suppose 2*z = -z + 48. Is z a multiple of 5?
False
Is 1/(-1)*(0 + (-37 - 1)) a multiple of 19?
True
Let v be (-1 + -2)*6/9. Let m be 4*(0 + 1)/v. Is (-2)/4 - 35/m a multiple of 10?
False
Let b = 69 - -19. Does 22 divide b?
True
Let p = 442 + -220. Suppose p = 3*a - 3*g, 4*a - 5*g = 115 + 181. Let t = a - 50. Is 12 a factor of t?
True
Let o be 2/(8/(-5))*-4. Suppose 0 = -4*f + 16, -2*j - 42 = -4*j - o*f. Does 5 divide j?
False
Suppose -4*o + 5*j + 198 - 45 = 0, -4*j + 12 = 0. Is 7 a factor of o?
True
Suppose 2 = 2*k - 0*k, 0 = 4*g - 2*k - 6. Let y be (11 - 6) + (-2)/g. Is 12 a factor of 0/1 - -4*y?
False
Let b(z) = 4*z - 12. Let v be b(7). Suppose 0*i - v = -i. Is 8 a factor of i?
True
Suppose 1 = 4*d - 199. Suppose -d = -3*s + b, -5*s + 84 = -0*s - 2*b. Suppose 3*i - 7*i + s = 0. Is 2 a factor of i?
True
Let x = 419 - 209. Is x a multiple of 30?
True
Let w be 0/(-4) - (-7 - -2). Suppose w*g - 2 = -7, -3*g + 147 = 3*d. Is d a multiple of 21?
False
Suppose d = 2*i - 201, 0 = 5*i - 4*d - 162 - 336. Suppose 2*t = -t + i. Is t a multiple of 19?
False
Suppose 0 = -j + 4*i - 10, i = 4*j - 0*i + 10. Does 7 divide 0*j/6 - -7?
True
Let m(y) = 2*y**3 + 2*y**2 - 2*y. Let z be 63/27 + (-2)/6. Does 20 divide m(z)?
True
Let k(l) = -l**3 + 13*l**2 - 13*l + 16. Is k(12) a multiple of 4?
True
Let l = -25 + 41. Does 16 divide l?
True
Let j = -87 + 97. Is j a multiple of 2?
True
Let r = 198 + -128. Is r a multiple of 33?
False
Let z be ((-8)/6)/((-4)/(-144)). Let s be (-2)/4 + 165/(-6). Let k = s - z. Does 15 divide k?
False
Let q(p) = -p**2 + 4*p