 16*d. Is 40 a factor of d?
False
Let z(n) = 2*n**2 + n - 10. Does 5 divide z(-5)?
True
Let y = 391 + -278. Is y a multiple of 17?
False
Let j(v) = v**2 - 6*v + 6. Let w be j(5). Suppose 5*t - 5*k = -5, 4*t + k - w = 2*t. Suppose t = 5*y + 7 - 27. Does 4 divide y?
True
Suppose -w + 2 = g, 3*w + 4*g = 6 - 0. Let f(x) = x - 2*x**2 - w*x - 2*x**2 - x**3 + 2. Is f(-4) a multiple of 3?
True
Let c be 1/(-6) - 34/12. Does 3 divide (-3 - (c - -2)) + 14?
True
Suppose 0 = -5*c + x + 501 + 43, 4*c - 452 = 5*x. Is c a multiple of 27?
True
Let w = -15 - -31. Suppose 3*k + w = -17. Is 4 a factor of (-2)/3*(2 + k)?
False
Let t = 20 - 5. Is t even?
False
Is 170/3 + (-8)/(-24) a multiple of 25?
False
Suppose l = 2*i + 11 + 26, -4*i = 4*l + 104. Does 14 divide (-891)/i - 15/35?
True
Let c = -5 - -1. Let q(g) = -3*g**2 - g + 1. Let y(l) = 3*l**2 + l - 1. Let v(p) = 5*q(p) + 6*y(p). Does 21 divide v(c)?
False
Let r be (-5)/(-3 - -4)*-1. Let a(v) = -11*v**2 - 5*v + 2. Let f(h) = -5*h**2 - 2*h + 1. Let x(k) = 4*a(k) - 9*f(k). Is 14 a factor of x(r)?
True
Let i = 30 - 90. Let j = -38 - i. Does 11 divide j?
True
Suppose -2*g = 3*n + 2*n - 6, 0 = -4*g - 3*n + 12. Suppose g*l + 2*f - 137 = -0*f, 0 = -l + 3*f + 53. Does 23 divide l?
False
Let a = -4 - -4. Suppose p + p - 82 = a. Is 17 a factor of p?
False
Suppose 3*x - 4*x + 3 = 0. Does 6 divide 6*x - (8 - 7)?
False
Suppose -q = 2*l - 35, 0*l + 4*q = 2*l - 60. Is 5 a factor of l?
True
Let a(t) = 2*t**3 + 11*t**2 - 5*t + 8. Let r be a(-6). Suppose -4*p + r*p = -14. Is p a multiple of 5?
False
Suppose 5*n + 27 = -23. Let a be 58/18 - n/(-45). Suppose a*m - 8 = m. Is m even?
True
Does 11 divide ((-240)/(-16))/(6/104)?
False
Suppose 72 = x + 16. Suppose 0 = 4*a - 2*i - 96 - x, -4*a - 4*i = -140. Is 23 a factor of a?
False
Suppose -2*w = -4*y - 108, 7*w - 3*w = -4*y - 96. Let r = 23 - y. Is r a multiple of 14?
False
Let v(t) = t**3 + t**2 - 5*t - 3. Let z be v(-3). Does 8 divide (0 - (-51)/z)*-2?
False
Suppose -5*h = 4*t - 100, -3 = -3*h + 9. Let q = t - 3. Does 5 divide q?
False
Let d be (-10)/4*(-20)/25. Let u = 2 + d. Is u a multiple of 2?
True
Let d(t) = t**2 + 9*t - 4. Let f be d(-7). Let n = 1 - 4. Let s = n - f. Is s a multiple of 15?
True
Is 13 a factor of (-3)/(-2 - 69/(-39))?
True
Let y be (-3 + 6 + -4)/1. Let d be (-1 + 5)/(3 + y). Suppose -2*n - 3*p = 2, d = 5*n + 5*p - p. Is n a multiple of 2?
True
Suppose -68 = 4*t - 16. Let m(s) = s**3 + 12*s**2 - 14*s + 15. Is 10 a factor of m(t)?
False
Let o = -7 - 16. Let s = -40 - o. Let r = 34 + s. Is 13 a factor of r?
False
Let y = -99 - -65. Let j = y + 86. Is j a multiple of 13?
True
Suppose 0 = 4*j - 3*p - 20 + 47, 5*p = -5*j - 60. Let h = j + 11. Suppose h*u - 34 = -10. Is u a multiple of 6?
True
Let j = -5 + 9. Suppose l - j - 3 = 0. Does 7 divide l?
True
Suppose -46 = -5*w + 89. Is 18 a factor of w?
False
Suppose u = -u + 12. Is u even?
True
Suppose -k = -5*x + 4 - 2, -k = -x - 2. Suppose 4*t - x = 63. Is t a multiple of 16?
True
Is 10 a factor of 574/10 + 24/(-60)?
False
Suppose -a = 2*f, -2*a + a = -3*f. Suppose a = 2*h - 3*h. Suppose -2*k - n + 54 = -h*k, -3*k - 5*n + 74 = 0. Does 10 divide k?
False
Let z(m) = -m - 4. Let i be z(-5). Let d = i + -2. Does 9 divide (-2 - d)/(2/(-44))?
False
Let k(q) = -q**3 - q**2 + q. Let s(y) = -5*y**3 - 13*y**2 + 2*y. Let c(f) = 4*k(f) - s(f). Is 16 a factor of c(-8)?
True
Suppose -52 + 15 = -4*g + 3*s, 50 = 5*g - 3*s. Is 2 a factor of g?
False
Let l(p) = 26*p**2 - 3*p + 11. Is 23 a factor of l(2)?
False
Suppose 8*g = 4*g + 104. Is 6 a factor of g?
False
Suppose 0 = f - g - 19, -4*g = -4*f - 2*g + 68. Is 5 a factor of f?
True
Suppose -3 = -3*c + 2*c. Suppose 65 = -c*o + 191. Does 21 divide o?
True
Suppose 0 = 6*x - 9*x + 6. Suppose 4 = 2*f - 2, 5*f + 89 = -x*g. Let i = g - -97. Is i a multiple of 16?
False
Suppose 5*o - 32 = -m, 3*m - 3*o - 129 = m. Does 18 divide m?
False
Suppose 0 = -4*x - 3*w - 0*w + 207, 4*x + 5*w = 209. Does 17 divide x?
True
Let t be (-6)/4*(1 + -43). Let c = t + -20. Let b = -21 + c. Is 13 a factor of b?
False
Let h(m) = 111*m**3 + m**2 + m - 1. Let t be h(1). Let j be t/(-12) - 2/(-6). Let w = j - -21. Is w a multiple of 12?
True
Let y(n) = 7*n**2 - 4*n + 5. Is y(-4) a multiple of 19?
True
Suppose 5*d - 5 = 0, -3*i - d + 174 = 2*d. Is 22 a factor of i?
False
Let f(d) = -2*d - 6. Let y be f(-4). Is 3 a factor of (6 + -5)/(y/12)?
True
Suppose 4 = -3*a + 10. Suppose -p - w + 8 = -8, -a*w = -3*p + 43. Is 12 a factor of p?
False
Let w(m) = -m**3 + 7*m**2 - 5*m + 7. Let x(d) = d**3 - 9*d**2 + 9*d - 2. Let o be x(8). Is w(o) a multiple of 13?
True
Suppose 2 = -5*n - 8. Let q(v) = v**3 + 4*v**2 + 5*v + 4. Let x(s) = -3*s**3 - 11*s**2 - 14*s - 11. Let a(j) = 11*q(j) + 4*x(j). Is 9 a factor of a(n)?
False
Suppose -4*l + 9*l - 525 = 0. Suppose 0 = -5*d + l. Is (-2)/7 - (-489)/d a multiple of 12?
False
Suppose 0 = c + j - 14 + 73, 0 = 4*c + 2*j + 230. Let k = c - -88. Is 8 a factor of k?
True
Suppose -4*q - 60 = -n - 0*n, -282 = -4*n + 2*q. Is 6 a factor of n?
True
Let d be 2/(-7) - 54/(-42). Let r(y) = 17*y**2 + 2*y - 1. Is 4 a factor of r(d)?
False
Suppose -5 = -2*b - 3*t + 4*t, -5*b + 5*t = -15. Suppose 0 = -b*u - 3*u + 390. Does 13 divide u?
True
Let k = 32 - 6. Suppose -4*h + k = -5*j - 29, 70 = 5*h - 5*j. Does 9 divide h?
False
Let h(b) = -b + 92. Let n be h(0). Let m be 1*4*n/(-8). Let o = 64 + m. Is o a multiple of 18?
True
Suppose 0 = -4*c + 20, x + 4*x - 20 = -4*c. Suppose -4*o - 28 + 84 = x. Is 3 a factor of o?
False
Let f(l) = -9*l - 35. Let j(v) = -3*v - 12. Let r(o) = -6*f(o) + 17*j(o). Is r(3) a multiple of 15?
True
Suppose -59 = -c - 2*v, -3*c + 4*v = -192 + 55. Suppose -4*f + c + 1 = 0. Is f a multiple of 12?
False
Suppose -2*r = -r - 7. Let t(u) = 7*u - 12. Is t(r) a multiple of 19?
False
Does 16 divide (96/15)/(1/5)?
True
Let w(v) = -1 + 1 + 8*v. Let i = 35 + -33. Is 13 a factor of w(i)?
False
Let o(u) = -u**3 - 5*u**2 - 4*u + 4. Let h be o(-4). Suppose 0*w + w + f - 94 = 0, -372 = -h*w - 5*f. Does 26 divide w?
False
Let r(a) = 117*a**2 + 2*a - 1. Is 25 a factor of r(1)?
False
Is 15 a factor of (76 - (3 + 1)) + 3?
True
Does 7 divide 43/2 - (-1)/(-2)?
True
Is (-2 + -13)*(1 + (-58)/6) a multiple of 20?
False
Let f(l) = -l + l + 3*l. Is f(4) a multiple of 12?
True
Suppose 5*l + 720 = 9*l. Is l a multiple of 21?
False
Suppose -4*u - 28 = -2*r, -r - u + 10 = -4. Is 7 a factor of r?
True
Let b = 42 + 22. Is 16 a factor of b?
True
Let a(i) = i**2 + 3*i + 12. Does 19 divide a(-7)?
False
Suppose 3*d - 4*l = -247, -3*l + 170 + 164 = -4*d. Let h(t) = 122*t**2 + t. Let k be h(1). Let b = d + k. Is b a multiple of 19?
True
Is 12 a factor of -3 - (-3)/(-6)*-166?
False
Let d(i) = i**2 + 10*i - 3. Let m be d(-10). Let k = m - -12. Does 12 divide 6/k*51/2?
False
Suppose 0 = -4*v, 30 = -0*c - 5*c - 5*v. Let m = c - -6. Suppose m = 2*x - 7*x - 3*a + 75, 5*x = -4*a + 80. Is x a multiple of 7?
False
Let b be (-3)/(-2) - (-5)/10. Suppose 0*c = -5*u - b*c + 60, -u = -2*c. Is u a multiple of 3?
False
Suppose 0 = -39*a + 44*a - 365. Is a a multiple of 13?
False
Let y(j) be the second derivative of 7*j**4/12 + j**3/3 - j**2/2 + 2*j. Is y(1) a multiple of 8?
True
Suppose 0 = -n - n + 3*v - 30, -4*n = -4*v + 52. Is n/6 - (-17)/2 a multiple of 5?
False
Let z(l) = 2*l**2 + 3*l - 3. Let s be z(-3). Let h be 36/s - (-1 + 1). Does 15 divide ((-20)/h)/(4/(-30))?
False
Let q = -2 + 7. Let r = -1 + q. Suppose -r*x + x = -54. Is x a multiple of 18?
True
Let c be (-2)/(-6) - 4/(-6). Does 5 divide (-6)/(-18)*45*c?
True
Suppose 0*q = 4*q - 20. Suppose 2*m = 2*s - 149 + 27, q*s - m - 313 = 0. Is 22 a factor of s?
False
Suppose -k = -7 + 1. Does 17 divide (3/k)/((-1)/(-94))?
False
Let o be 129/(-27) - 6/27. Let y(f) = f**2 - 2*f - 1. Does 17 divide y(o)?
True
Suppose -261 = -4*k + 2*z + 197, -476 = -4*k - 4*z. Let b = -38 + k. Does 29 divide b?
False
Suppose -u = 0, -4*i - 4*u + 6 = -2. Suppose 5*y - 97 = -i*f, 4*y - 4 = -2*f + 88. Is 12 a factor of f?
True
Let b(u) = -5*u. Is b(-2) a multiple of 6?
False
Let y(a) = 2*a**3 + 0 + 2 + 1 - 2. Is y(2) a multiple of 11?
False
Let y = -6 - -10. Suppose y*d - d - 9 = 0. Suppose 4*w + 3*f - 59 = -w, d*f = 4*w - 31. Does 5 divide w?
True
Is (-1)/((-2)/166*1) a multiple of 14?
False
Let r(z) 