5/4 - 1/s. Does 3 divide (-185)/(-35) - v/14?
False
Let w(t) be the second derivative of 5*t**3/2 - 2*t**2 + 2*t. Is w(3) a multiple of 10?
False
Let k = 11 + -8. Suppose -k*g - g + 28 = 0. Suppose -5 = -d + g. Is d a multiple of 6?
True
Let n(a) be the second derivative of -a**5/20 + a**4/2 - 2*a**3/3 - 3*a**2/2 + 5*a. Is n(4) a multiple of 13?
True
Let i = 3 + 0. Let v(l) = -2*l + 4*l + i + 1. Is 10 a factor of v(3)?
True
Suppose 2*j + 2*a + 2*a - 12 = 0, 2*a = -4*j + 18. Is j a multiple of 4?
True
Suppose 0 = -n + 35 + 30. Is n a multiple of 13?
True
Let p = 3 + -9. Does 15 divide p/(-21) - 208/(-7)?
True
Let o be -17*(5 - 2)/3. Let r(t) = -t + 2. Let m(g) = -2*g + 5. Let c(n) = o*r(n) + 6*m(n). Is c(4) a multiple of 15?
False
Let g(m) = -m - 1. Let x be g(-6). Suppose -x*o + o + 36 = 0. Is o a multiple of 6?
False
Does 17 divide -5 + 24/6 + 85?
False
Let w = -5 - -10. Let o(z) = 3 + z + 5 - 2*z. Is o(w) even?
False
Suppose 13 = h + 4. Does 3 divide h?
True
Let m = 29 - 19. Is 5 a factor of m?
True
Let b(a) = 4*a + 1. Let j be b(-3). Let q = -9 - j. Is q even?
True
Suppose p - 5*i = -2*p, -3*i = 0. Does 19 divide 2 + 45 + p/(-1)?
False
Let z(d) be the third derivative of d**6/40 - d**5/30 - d**4/12 + d**3/3 + 3*d**2. Does 9 divide z(2)?
False
Let y = -3 - -4. Let f be 111/(-3)*1 - y. Does 19 divide (-4 - -2)/(4/f)?
True
Let d be 1/(-5) - (-144)/45. Suppose -d*l = -2*l - 44. Is l a multiple of 13?
False
Suppose -5*l = -4*g - 2*l + 12, g = -5*l + 26. Does 3 divide g?
True
Suppose 1 = -a + 2. Is 6 a factor of (a + (-6)/9)*33?
False
Is 30 a factor of ((-10)/(-3))/(9/324)?
True
Let a(q) = -3*q + 1. Let n be a(-1). Suppose f - 9 = -2*c - 0, 3*c + 3 = n*f. Is 2 a factor of f?
False
Let f be (2/3)/((-4)/6). Let z(l) = l + 1. Let r be z(f). Suppose t = -r*t + 15. Is 6 a factor of t?
False
Let c(n) = 23*n + 3. Is c(1) a multiple of 11?
False
Is (-3 + 1)*((-41)/2 - -4) a multiple of 11?
True
Let l be 1308/(-8) - (-2)/(-4). Does 14 divide ((-2)/(-4))/((-2)/l)?
False
Let s = -4 + -20. Let d = s - 8. Let b = d - -56. Does 12 divide b?
True
Suppose 4*d - 986 = 5*d. Does 15 divide d/(-22) - (-8)/44?
True
Let u be ((-44)/3)/((-4)/(-12)). Let o = u + 89. Is 15 a factor of o?
True
Let i(s) = -2*s**3 - 3*s**2 - 4*s - 4. Is 19 a factor of i(-4)?
False
Let m = -31 - -59. Does 4 divide m?
True
Let a(z) = 2*z + 1. Let q be a(-2). Let t(d) = -d - 1. Let f be t(q). Suppose f*v + 3*v - 135 = 0. Is v a multiple of 10?
False
Let p = 0 - -4. Let k be (-6)/9 - 772/(-6). Suppose p*c + 0*v = -3*v + k, c - 3*v = 47. Is c a multiple of 13?
False
Let j be 788/(-22) + (-6)/33. Suppose 5*v - 222 - 28 = 0. Let a = j + v. Is 7 a factor of a?
True
Suppose y + 0*y - 2 = 0. Let q be (2 - 7/(-2))*y. Is (q - (-2 - -1)) + 1 a multiple of 13?
True
Suppose -2*f + 5*d + 23 = 0, 0*f - 3*f + 3*d = -30. Let c = -3 - f. Is (3 + 0)/(c/(-8)) a multiple of 2?
True
Let g = 8 - 5. Let d(w) = 11*w**2 + 0*w + 2*w - g*w. Is 6 a factor of d(1)?
False
Let o(d) be the third derivative of -1/20*d**5 + 1/6*d**3 + 1/120*d**6 + 0*d + d**2 + 1/12*d**4 + 0. Does 2 divide o(3)?
False
Let f(c) = -c**3 - 5*c**2 - 2*c - 5. Let p be f(-5). Suppose -3 = 4*o + p. Is (17 - 2) + (-5 - o) a multiple of 6?
True
Let t(l) = -7 - 4 - 6*l + l**2 + 0 + 2. Does 2 divide t(8)?
False
Suppose 63 = -3*s + 234. Is 19 a factor of s?
True
Let i(r) = r**2 - 10*r + 12. Is 12 a factor of i(10)?
True
Suppose 2*s = 2*u - 6, u - 6*s + 6 = -2*s. Is 105/u + 4/8 a multiple of 11?
False
Suppose 0 = -28*n + 27*n + 23. Is n a multiple of 9?
False
Suppose -28 + 88 = 2*o. Suppose -a + o = 10. Does 13 divide a?
False
Let h(z) = z + 4. Let m = -4 - -7. Suppose -22 = -4*s + 2*n, -m*s + 4*n = n - 18. Is h(s) a multiple of 4?
False
Let o = -17 - 37. Let j = 84 + o. Is j a multiple of 16?
False
Suppose 2*h = 14 + 34. Let s(o) = -8 + o + h*o**2 + 8. Does 6 divide s(-1)?
False
Suppose 0 = -8*p + 3*p + 500. Suppose 67 = 3*j + 5*z, p = 4*j - 0*z - 4*z. Does 24 divide j?
True
Let f(t) = -7*t - 7. Let x be f(-6). Let c = x - -4. Is c a multiple of 13?
True
Let o(z) = -4*z**2 - 4*z + 1. Let j be o(3). Let h = 83 + j. Is h a multiple of 9?
True
Let l = -7 + 10. Suppose -8 = -l*t - 2*p, 3*p = 5*t - 3*t - 14. Is t + -3 + 51 + 2 a multiple of 19?
False
Let o = -362 + 560. Is o a multiple of 22?
True
Suppose j + 3*o + 0 = -5, -35 = 5*j + 5*o. Let z(r) be the third derivative of -r**4/12 + 5*r**3/3 + 8*r**2. Does 13 divide z(j)?
True
Let u(z) = 2*z**3 - 1. Does 12 divide u(2)?
False
Let h = 32 - 34. Let n be (52/1 - -1)*1. Is 21 a factor of h + 0 - -1*n?
False
Suppose -4*d - 269 = -3*q, 0 = q - 2*q + 5*d + 86. Is 32 a factor of q?
False
Suppose 11*x - 3*x - 464 = 0. Does 8 divide x?
False
Suppose b - 3 = -2*k, k + k = 0. Suppose 5*n - 40 = -b*x, 3*x + 2*x = -2*n + 92. Is 11 a factor of x?
False
Let r = 146 - 92. Is r a multiple of 19?
False
Suppose 1100 = -2*v + 12*v. Does 11 divide v?
True
Let m = 15 - 10. Is 4 a factor of m?
False
Let g be 2 - (6 + 0) - -178. Does 26 divide 2/((15/g)/5)?
False
Let h(i) = i + 1. Let r be h(6). Let l = r - 0. Is 6 a factor of l?
False
Suppose 2*z = 5*x - 164, -x + 21 + 5 = 3*z. Suppose 0 = 4*p - 2*p + 2*f - x, f = 1. Is p a multiple of 5?
True
Suppose -5*p = -113 - 7. Let k = p - 19. Is k a multiple of 2?
False
Suppose 0 = -3*n - 3*o + 6, -n + 2*o = 2*n + 4. Suppose z + 3*m = -n*z + 50, z - 46 = -m. Is z a multiple of 19?
False
Let p be (-3 - -4)*(5 + 0). Suppose 2*g - 2*t - 11 = 5, -3*t = p*g - 24. Does 2 divide (-1 + 3)*g/6?
True
Suppose 0 = -3*n + 1 + 5. Suppose 10 = 3*h + n*h. Is 3 a factor of 16/3 - h/(-3)?
True
Let b be (32/(-12))/(2/6). Let n = b + 11. Does 2 divide n?
False
Suppose -2*p + 10 = -0*p. Suppose 0 = -p*d + 19 + 241. Is d a multiple of 26?
True
Suppose 4*j + 6 = -2. Is 17 a factor of 9*1/j*-16?
False
Let b = -8 + 12. Suppose 39 + 85 = b*k. Does 13 divide k?
False
Suppose 8 + 1 = 3*c. Suppose -c*u - 6*j + 108 = -3*j, -4*j + 39 = u. Let h = u + -3. Is h a multiple of 16?
True
Let x(q) = q - 9. Let c be x(13). Let n be 6/c - 15/(-6). Suppose -3*m - 2*m + 66 = 3*s, -3*s - n*m + 66 = 0. Is 8 a factor of s?
False
Suppose h + 3 = 2*z + 8, -2*h + 8 = -2*z. Is 11 a factor of 23/1 - (z - -4)?
False
Suppose -4*g = 9 - 25. Suppose -4*v - g*m + 964 = 0, -3*v - 4*m + 728 = -0*m. Is (-2)/(-7) - v/(-7) a multiple of 17?
True
Let u = 4 - 11. Let a(l) = -6*l + 2. Does 22 divide a(u)?
True
Let b(x) = -3*x + 1. Let k(u) = u**2 - 6*u + 2. Let l(g) = -11*b(g) + 6*k(g). Is 6 a factor of l(2)?
False
Let p(o) = -o + 1. Let b be p(4). Let z = b + 7. Suppose -3*j = z - 25. Is j a multiple of 5?
False
Does 15 divide (2 + 10)/((-4)/(-10))?
True
Suppose p + c - 170 = 3*c, -5*c = -15. Does 22 divide p?
True
Let q(f) = f**2 + 6*f - 3. Suppose 10 = -c + k, -2 = 4*c + 2*k + 20. Is 3 a factor of q(c)?
False
Suppose 12*m - 523 = 1121. Is m a multiple of 9?
False
Suppose -4*h = h. Let y be (6 + -7)/(1/(-35)). Let q = y - h. Is q a multiple of 15?
False
Let x = 127 - 37. Is x a multiple of 29?
False
Let b(m) = -8*m - 3. Is 7 a factor of b(-2)?
False
Let k = 35 - 59. Is (k/9)/2*-18 a multiple of 10?
False
Let i(m) = m + 10. Let g be i(0). Let b(z) = -g + 1 + 0 + 9*z - 2*z. Is 15 a factor of b(7)?
False
Let g be 69/2 + 1/(-2). Suppose -3*f - 166 + g = 0. Let j = f - -63. Does 17 divide j?
False
Suppose 7*s = 2*s - 10. Let z be (-6)/(s - 0) + -1. Suppose 4*u = t - 8, -t - 2*t + 94 = z*u. Does 11 divide t?
False
Suppose 3*f + n = 116, 5*f + 0*n - 220 = 5*n. Is f a multiple of 20?
True
Suppose 4*i - 9 = -1. Suppose -i - 14 = 2*y. Does 9 divide (-146)/y + (-1)/4?
True
Suppose -v - h - 1 - 2 = 0, 0 = -4*h - 20. Suppose -63 = -3*t + 3*b, 3*t - 30 = -4*b - v. Is 9 a factor of t?
False
Let d(j) = j - 7. Let n be d(0). Let t(m) = -6*m + 4. Is 12 a factor of t(n)?
False
Let v = 12 + -10. Suppose 4*c - 4 = -h + 33, -4*c + 38 = v*h. Does 9 divide c?
True
Let o be 7/(7/(-2))*-3. Does 11 divide 176/o - (-2)/3?
False
Let f(o) = -76*o**3 + o**2 + 2*o + 1. Is f(-1) a multiple of 20?
False
Let y(s) = -s**3 - 10*s**2 - s - 7. Let x(r) = r**3 + 2*r + 2. Let t be x(-2). Let u be y(t). Suppose -u*i - 180 = -8*i. Is i a multiple of 15?
False
Let p = -23 + 66. Is 21 a factor of p?
False
Let k(b) = -11*b**2 - b + 1. Let w be k(1). Let x = w - -22. Is 11 a factor of x?
Tru