divide v(0)?
True
Suppose -4*j + 120 = 4*j. Is j a multiple of 3?
True
Let k(u) = -3*u + 4. Suppose -4*x = -2*c + 8, -10 - 2 = 2*x + 3*c. Is 11 a factor of k(x)?
False
Let u(b) = -5*b**3 + 5*b**2 - b + 9. Let n(i) = i**3 - i - 1. Let z(p) = 4*n(p) + u(p). Let k be z(4). Is 26/(k + 0) - 0 a multiple of 13?
True
Suppose 3*u = u - 30. Is 16 a factor of ((-40)/u)/((-2)/(-12))?
True
Suppose 22 = 3*n - 20. Let g = n - -1. Is 8 a factor of g?
False
Let d(r) = 34*r - 10. Is 5 a factor of d(2)?
False
Let q be ((-4)/(-8))/(1/100). Let r be (-520)/25*q/4. Is 20 a factor of -2*1 - r/5?
False
Suppose w + 5*c - 12 = -0*w, -2*w = 5*c - 24. Suppose 37 = b + w. Suppose 0 = q - b - 9. Does 17 divide q?
True
Suppose 2*j - q - 40 = 0, -q - 50 - 26 = -4*j. Suppose 3*b = -i + j, -7*b + 2*b = -4*i - 13. Suppose 0*t + 9 = i*t. Is t even?
False
Let b = 28 - 1. Let c be ((-1)/(-3))/(3/b). Suppose l = 5*s - 43, -3*s + c*l = 6*l - 33. Does 9 divide s?
True
Suppose 5*u - 61 = 24. Suppose u*n - 480 = 12*n. Does 14 divide n?
False
Suppose 2*f = -5*v + 3*v + 118, -3*f + 165 = -3*v. Let x = f + -16. Suppose x = z + 5*u, -32 = 6*z - 7*z + 4*u. Is 12 a factor of z?
True
Is 30 a factor of 2*3/((-6)/(-86))?
False
Let t(n) = -n**3 - n + 5. Let c be t(0). Suppose -4*a = -5*s + 701, c*a + 70 + 489 = 4*s. Does 20 divide (0 - s/6)*-2?
False
Suppose -2*j + 0*j = -100. Suppose 4*g = -5*y + j, -3*y + 0*g = 4*g - 22. Is 13 a factor of y?
False
Let o(i) = 67*i**2 - 2*i + 1. Let j be o(1). Suppose -5*r - 184 = 31. Let y = j + r. Is y a multiple of 10?
False
Does 8 divide -2 + -1 + -7 + 50?
True
Suppose -3*u - 2*b = -0*b + 15, -u + 2*b = 5. Let o be u*((-92)/5 + 2). Suppose 4*j = 2*j + o. Is 14 a factor of j?
False
Let y(o) be the third derivative of o**5/5 + o**4/4 + 2*o**3/3 - 3*o**2. Let f be y(-4). Is 12 a factor of f/14 + (-4)/14?
True
Suppose 184 = -4*r - 20. Let i = 84 + r. Does 10 divide i?
False
Suppose 19 + 66 = 5*z. Is z a multiple of 6?
False
Suppose 3*t + 0*t - 300 = 0. Does 25 divide t?
True
Suppose 3*a + 5*d - 8 = -0, -3*a - 3*d = -12. Let h be (-9)/a*(-94)/3. Suppose 5*t - h = q - 5*q, -2*q - 48 = -4*t. Is t a multiple of 9?
False
Let x be -1*(-3 - -2)*-1. Suppose 5*l = q + 17, 3*q = 4*l - 2*q - 22. Is (l/9)/(x/(-12)) a multiple of 3?
False
Let v(n) = 8*n - 6. Let p = -11 - -15. Does 13 divide v(p)?
True
Let j = 15 - 21. Let v be 0 - 1/((-2)/8). Let f = v - j. Is f a multiple of 8?
False
Let c = -1 + 5. Let m be (-2)/(-1)*6/c. Let x(f) = f**3 - f**2 + 4*f - 2. Does 14 divide x(m)?
True
Let f(c) = 7*c + 3. Is 18 a factor of f(7)?
False
Suppose 27 = 5*y - 28. Suppose -y = -h + 3. Is 14 a factor of h?
True
Let x(u) = -u**2 - 30*u + 16. Does 32 divide x(-22)?
True
Let u(a) = a**3 - 6*a**2 - 5*a - 3. Is u(7) a multiple of 7?
False
Let b(i) = -i - 1. Let y be b(-1). Suppose c + 9 = 2*o, y = o + o + 2*c + 6. Suppose -2*z - 20 = -5*z + o*d, -2*z = -4*d. Is 5 a factor of z?
True
Let m = 6 - 4. Suppose m*x + 0*x = 40. Is x a multiple of 7?
False
Suppose -2*w + 4*v = -2, -3*w + 2*v + 4 = -3*v. Does 3 divide w?
True
Let x(b) = 2*b + 3. Let j be x(4). Suppose 16*d = j*d + 300. Is d a multiple of 15?
True
Let s = -86 - -164. Does 17 divide s?
False
Let k(a) = 4*a - 6. Is 18 a factor of k(6)?
True
Suppose 3*o = -g + 2, -6*g - 4*o + 21 = -g. Suppose -g*c = 5*r - 165, 2*r = -3*c + r + 93. Suppose -2*b + 5*b = c. Is 5 a factor of b?
True
Suppose 3*x + 79 = 5*g - 128, -2*g = -4*x - 94. Is g a multiple of 12?
False
Let y(n) = n - 6. Let u be y(5). Let r = 3 + u. Suppose r*z + 63 = 5*z. Is 8 a factor of z?
False
Let o(c) = -c**2 + 8*c - 2. Let x be o(7). Let w(j) = -j**3 + 7*j**2 + 2. Let a be w(x). Suppose 5*m - a = 2*g, 0*m - 3*m - 3*g = -48. Is m a multiple of 4?
True
Suppose 83 = 3*m - t, 17 = 2*m - 3*t - 50. Is 13 a factor of m?
True
Suppose -3*a = 2*a. Let v = 3 - a. Suppose v*j - 42 = -6. Does 7 divide j?
False
Does 15 divide 2/8 + 2511/36?
False
Let d = 25 - 13. Does 10 divide d?
False
Let x(v) = -v**2 - 10*v - 2. Let i be x(-5). Let m = -13 + i. Is m a multiple of 10?
True
Let o be 235/45 + (-6)/27. Suppose m = -5, 4*s - o*m - 175 = -s. Does 10 divide s?
True
Suppose -2*u - m + 12 + 6 = 0, 0 = -3*m + 6. Is 5 a factor of u?
False
Let c = 117 + -67. Is 10 a factor of c?
True
Let s be 0/(-1) - (-2 + -1). Suppose 3*m + 4*n = 23, 4*m - 36 = -7*n + s*n. Is m a multiple of 10?
False
Suppose 0 = -3*m + 4*m + 19. Let o = m + 31. Does 6 divide o?
True
Let l(a) = -29*a - 1. Let m be l(-1). Does 7 divide 680/m + 2/(-7)?
False
Suppose 426 = 3*w + 5*h, 3*w + 3*h = 4*h + 444. Is 31 a factor of w?
False
Let m be (-4)/6*3*-1. Suppose -7*i - m*x + 104 = -2*i, -4*x = -5*i + 92. Is i a multiple of 10?
True
Suppose 5*x - 29 = -p, 2*p - 2*x - 44 - 62 = 0. Is 7 a factor of p?
True
Let k be ((-6)/(-4))/(3/56). Is 104/7 + 4/k a multiple of 5?
True
Suppose 2*h = 2*v - 14, -2*h = 2*h + 8. Suppose -2*o + 10 = 3*x, v*o = 3*x + 2*x. Suppose -22 = -2*s - 2*y, 4*y - 25 = -s - o. Does 7 divide s?
True
Let n(w) = 4*w**2 - 3*w**2 + 0*w**2 + w - 6. Is n(6) a multiple of 18?
True
Suppose 4*v = 21 + 227. Does 11 divide v?
False
Let a(m) = 9*m**2 + 1. Let r be a(1). Let s = r - -8. Is 9 a factor of s?
True
Let s(k) be the second derivative of k**4/4 - k**3/3 - k**2/2 - k. Is 9 a factor of s(-2)?
False
Let f = 224 + -134. Is 15 a factor of f?
True
Let p = -2 + 4. Let i(f) = 10*f**2 + 2. Let c be i(p). Is 14 a factor of (c/4)/(15/40)?
True
Let o = -2 + 7. Suppose -o*r = -0*r + 85. Let s = r - -29. Does 6 divide s?
True
Suppose 6*v - 2*v - 448 = 0. Is v a multiple of 16?
True
Suppose -8*w - 3*o = -4*w - 9, -4*o = 3*w - 12. Let j be w/(6/9*-3). Suppose -5 = -a - 1, y - a - 8 = j. Is y a multiple of 10?
False
Let m(r) = -r**2 - r + 4. Let x be m(0). Let k be (4/(-6))/(12/(-1350)). Suppose c - k = -x*c. Does 15 divide c?
True
Suppose 0*s - 4*s + 280 = 0. Does 35 divide s?
True
Let i(s) = s**2 + 4*s + 4. Let z be i(-4). Let v(k) = 2*k**3 - 5*k**2 - 3*k + 6. Is v(z) a multiple of 14?
True
Let q(c) = -c**3 + 7*c**2 + 5. Let h be (-2)/((-27)/21 + 1). Let n be q(h). Suppose -n*p - i = -120, 2*i + 24 = 2*p - 24. Does 9 divide p?
False
Suppose 2*a + 2 = 8. Suppose -a*v = -0*v - 414. Does 37 divide v?
False
Suppose w - 12 = -2*w. Suppose -3*i = -w*i - 4*l + 52, -5*i + 184 = l. Does 12 divide i?
True
Let a be 22/2*(-3 + 4). Suppose 1 + a = o + 2*u, -3*o - 3*u = -21. Suppose -2*f + 76 = o*f. Does 10 divide f?
False
Is 21 a factor of (58/(-5))/(5/(-50))?
False
Let y(q) = -q**3 + 11*q**2 + 12*q - 17. Is 13 a factor of y(11)?
False
Let o be 1/(-2)*(-10 + 2). Let a(b) = b**3 - 3*b**2 - b - 4. Let n be a(o). Suppose 3*q = n*q - 170. Is 19 a factor of q?
False
Let u(w) = 80*w**2 + 3*w - 2. Is 11 a factor of u(1)?
False
Let b(r) = r**3 - 4*r**2 + 3*r - 3. Let n be b(4). Let s = 1 + 3. Let u = s + n. Is u a multiple of 5?
False
Suppose -6*r - 15 = -r. Let g = r + 15. Is 12 a factor of g?
True
Let x(b) = -2*b**3 + 4*b**2 + 1. Let y(r) = -r**3 + 5*r**2 + r + 1. Let c(d) = 2*x(d) - 3*y(d). Does 7 divide c(-7)?
False
Let w(f) = f**3 + f**2 - 2*f. Let o be w(-2). Suppose 2*p + 3 = 2*u + p, 4*p - 12 = o. Suppose s = u*s, 2*s + 68 = 4*r. Is r a multiple of 16?
False
Suppose 160 = -58*m + 59*m. Is 8 a factor of m?
True
Does 9 divide (4 - 0) + 100/2?
True
Let p be -3 - -3*(3 - 2). Suppose -2*w = p, -2*a = w - 5 - 55. Does 15 divide a?
True
Suppose 0 = 5*r - k - 28, -k + 12 = 3*r. Let j(g) = 4*g - 6. Is 14 a factor of j(r)?
True
Let f(h) = 13*h**3 + 5*h**2 - 2*h. Let a(t) = 39*t**3 + 14*t**2 - 5*t. Let n(o) = 3*a(o) - 8*f(o). Let u be n(-1). Is 15 a factor of (u/8)/(3/(-64))?
False
Is (-8)/6*(-84)/8 a multiple of 10?
False
Let w be 2*-1 - 4/2. Suppose 3*l + 2*m + 10 = 0, 0*l - l - 5*m = -1. Is 18/l*w/6 a multiple of 3?
True
Suppose 0 = 4*b - 2*b + 2*j - 136, 174 = 3*b - 3*j. Is b a multiple of 21?
True
Is ((-2)/3)/((-8)/264) a multiple of 5?
False
Let m = 88 + -15. Suppose -4*g = -23 - m. Suppose -3*i + g = i. Is 3 a factor of i?
True
Let i = 829 - 541. Does 24 divide i?
True
Is (-55)/(-10)*(2 - -8) a multiple of 11?
True
Suppose -3*k - 3*q + 4*q = -77, -121 = -4*k + 5*q. Let b = 51 - k. Is 4 a factor of b?
False
Let q(v) = v**3 + 2*v**2 - 2*v - 3. Let o be q(-4). Let n be 1/(-1 - o/24). Suppose 0 = -u + n + 22. Does 11 divide u?
False
Let z be (0 - -8) 