 + 0*d + 20 = 0. Suppose -d*a = -n - 3*n - 24, -3*a = 4*n - 11. Suppose -48 = a*r - 163. Does 16 divide r?
False
Suppose 3*f - 7 - 2 = 0. Suppose 3 = -f*t, t = -5*l - 3*t - 4. Suppose c + 4*d - 4 = l, -5*c + 3*d - 15 + 58 = 0. Is c a multiple of 8?
True
Is 4/18 + 628/9 a multiple of 19?
False
Suppose a + 3*a + 3 = 3*m, 1 = -a + m. Suppose i + a*i - 5 = 0. Is i even?
False
Let d(h) = -2*h - 2. Let k be d(-7). Let g(c) = -c**2 + 13*c + 7. Does 5 divide g(k)?
False
Does 17 divide 34 + (-4 - (-2 + -2))?
True
Let d = 24 - 22. Suppose 0*u = -d*u + 20. Does 4 divide u?
False
Suppose -3*f + o - 18 = -60, -5*f + o + 72 = 0. Does 3 divide f?
True
Let n(l) = -l - 6. Let i be -8 + 2 + 1 + -5. Let w be n(i). Suppose -50 = -w*x - x. Is x a multiple of 6?
False
Suppose 0*h + o = 5*h + 5, -2*o = -h - 10. Suppose j + j - 16 = h. Is 18 a factor of (-4)/16 + 218/j?
False
Let y(n) = -14*n**3 - 14*n**2 + 9*n - 2. Let b(d) = 9*d**3 + 9*d**2 - 6*d + 1. Let w(z) = -8*b(z) - 5*y(z). Let a = 8 + -11. Is w(a) a multiple of 19?
False
Suppose 84 = -6*d + 714. Is d a multiple of 21?
True
Let f be (-12)/(-10)*35/14. Suppose h = -t + 77, 0 = -2*h - f*t + 19 + 140. Does 16 divide h?
False
Let v(r) = r**2 + 2*r + 7. Let g be v(-9). Suppose 2*a - g = -i, 4*i - 163 = -5*a + 9. Let u = 11 + a. Is u a multiple of 22?
False
Suppose -127 = -y - 3*y - 5*n, 0 = 3*y - n - 119. Is y a multiple of 19?
True
Let n = 6 - 11. Let c = n + 8. Is 2 a factor of c?
False
Let v(y) = -y**3 + 3*y**2 + 6*y - 5. Let w be v(4). Suppose 2*m + 5*r = 2, -r - 1 = -m + w*r. Let p(k) = 10*k - 1. Is 9 a factor of p(m)?
True
Suppose 0 = -q, 2*m = 4*q + 17 + 23. Is 20 a factor of m?
True
Let x = 59 - 33. Is 23 a factor of x?
False
Let b(j) = j**2 - 1. Let r(i) = 3*i**2 + i - 3. Let p(c) = -2*b(c) + r(c). Let t(m) = -3*m**2 + 3*m + 9. Let q(x) = -4*p(x) - t(x). Does 3 divide q(-4)?
False
Let x(a) = -a + 6. Let k be (2 + -3)/(2/12). Is 4 a factor of x(k)?
True
Let u = -22 - -54. Suppose u = 4*k - 116. Is 21 a factor of k?
False
Let y = -8 + 4. Let f be (-80)/12*18/y. Let q = 54 - f. Does 10 divide q?
False
Let m(j) = j**2 + 2*j + 9. Is 12 a factor of m(-6)?
False
Let n(s) = s**3 + 11*s**2 - 20. Is 19 a factor of n(-10)?
False
Let w(s) = -s + 7. Let n be w(0). Suppose -3*o - 5*a + 17 = -4, -n = -o - 5*a. Is 7 a factor of o?
True
Suppose x - 184 = -x. Let z be 2/(-7) + x/28. Is (-22)/z*15/(-10) a multiple of 9?
False
Let f be -1 - -2*2/4. Suppose -2*o - 4 = f, o + 29 = -2*d - d. Is (d + 7)/(1/(-11)) a multiple of 7?
False
Suppose 0*b - 2*j = 3*b - 14, -5*b = j - 14. Let m(k) = 5*k**3 - k**2 + k. Is 15 a factor of m(b)?
False
Suppose -3*v + 84 = -3*q, 4*v + 4*q - 28 = 3*v. Let k be (3/(-2))/(3/(-16)). Suppose -4*p + k = -v. Does 8 divide p?
False
Suppose -4*i + 46 + 30 = -2*h, 26 = 2*i - 4*h. Is i a multiple of 21?
True
Does 36 divide -1 + 366 + -2 + 2?
False
Let r(a) = a**2 + a - 13. Let p(v) = -5*v**2 - 4*v + 66. Let h(i) = 2*p(i) + 11*r(i). Let t be h(-10). Suppose 4*j - t = 69. Does 11 divide j?
False
Suppose 1 = 2*d - 3. Let j(w) = 4*w**2 - 4*w + 2. Is j(d) a multiple of 5?
True
Let x be 2/(3*(-6)/(-81)). Let p = x - 58. Let l = 76 + p. Is l a multiple of 13?
False
Let v = 14 + -6. Suppose -4*u - v = 0, 0*g + 2*u = g - 6. Suppose w = -g*w + 24. Is w a multiple of 8?
True
Let n be (1 + (1 - 1))/(-1). Does 23 divide -2 + 0 - (n - 26)?
False
Let u(t) = 6 - 6*t**3 - 15*t**3 + 20*t**3 - 3*t**2 + 7*t. Does 7 divide u(-5)?
True
Suppose x - 10*x = -585. Does 18 divide x?
False
Let z = 72 + -216. Is 3 a factor of 6/(-21) + z/(-14)?
False
Let a(k) be the third derivative of 11*k**4/8 - 3*k**2. Let q be a(1). Is 9 a factor of (-2)/(-4) + q/2?
False
Let a = 0 + -3. Is -3 + a/(-3) - -44 a multiple of 11?
False
Suppose 3*a + 3*i = -126, i = -5*a - i - 210. Let g(t) = -t**3 + 5*t**2 + 4*t - 2. Let r be g(6). Let o = r - a. Is o a multiple of 14?
True
Let k(r) = 3*r - 3. Let v be k(2). Suppose -31 = -2*u - v*u + 3*d, -d + 18 = 4*u. Suppose -u = 5*h - 130. Is 12 a factor of h?
False
Let c be (-669)/5 - 6/30. Let s be 0 + (-4 - -2) - c. Does 14 divide (1 + 1)*s/8?
False
Suppose 3*y = 2*p - 17, -3*y - y = p + 8. Let m(g) = -g**3 + 6*g**2 - g - 1. Is 13 a factor of m(p)?
False
Let i = -20 - -38. Is 8 a factor of i?
False
Let c be -6*(44/(-8) + 3). Let g = c - -29. Is 18 a factor of g?
False
Let x be 0/(1 + 0 - 4). Suppose 182 = 4*i + 2*j, -i + j + 27 + 26 = x. Is i a multiple of 11?
False
Let a(g) = 4*g**2 + 0 + 2 - 2*g**2. Suppose 0 = -2*b - f - 4, 13 = -5*b - f. Does 20 divide a(b)?
True
Suppose -4*w + w = 288. Let u = w - -163. Is 25 a factor of u?
False
Suppose -3*z - 51 = -z + 3*s, 0 = -2*z - 4*s - 56. Is 166/18 - (-4)/z a multiple of 9?
True
Suppose -2*l + 4*t = 6*t - 78, 0 = l - 5*t - 57. Is l a multiple of 19?
False
Suppose 0*h - 2*q = -3*h + 416, -3*q = 2*h - 299. Does 14 divide h?
False
Suppose v - 2*v = -33. Suppose -s - v = -2*s - 5*h, 5*h - 41 = -2*s. Does 4 divide s?
True
Suppose 3*j - 210 = h - 0*h, -5*h - 222 = -3*j. Suppose 4*m - j = m. Is 12 a factor of m?
False
Suppose -3 + 0 = -a. Does 3 divide a?
True
Let k(b) = -b**3 + 3*b**2 + 6*b - 3. Let y be k(4). Let l be (4/y)/((-4)/(-10)). Is 12 a factor of (1 - l)*2*-17?
False
Let y(q) = 3*q**2 + 2*q + 3. Suppose 0 = -0*p - 2*p. Suppose -b - 1 - 1 = p. Is 3 a factor of y(b)?
False
Let s(w) = 2*w**3 + 3*w**2 - 5*w - 2. Let v be s(-3). Let k be 4/14 - 136/v. Suppose k = f - 6. Is f a multiple of 8?
True
Let l be (-3)/(-6)*(4 - -8). Let h(s) = 3*s + 2. Is 20 a factor of h(l)?
True
Does 13 divide (-4)/3 + 3 + (-102)/(-9)?
True
Suppose 5*b + 4*x = 278, -x = x - 4. Is 15 a factor of b?
False
Suppose -5*n + 102 = 3*v - 14, -v + 3*n + 48 = 0. Is 9 a factor of v?
False
Let x(y) be the third derivative of y**6/120 + y**4/24 + y**2. Is 10 a factor of x(2)?
True
Let t = 7 + -2. Let f(y) = -y + 4. Let g be f(4). Suppose g = 3*s - p - 71, -s = t*p + 3 - 0. Is 11 a factor of s?
True
Let c = -79 + 113. Let h = -14 + c. Is h a multiple of 4?
True
Let a(l) = -15*l - 1. Let s be (-4)/5 - (-3)/(-15). Is a(s) a multiple of 9?
False
Suppose 2*c + 3*c = 215. Does 19 divide c?
False
Does 4 divide (-1 + -1)*(-10)/16*64?
True
Suppose -3*s + 9 = -3. Suppose -s*l + 25 = -55. Does 13 divide l?
False
Let z = -36 + 96. Is 48 a factor of z?
False
Let f(q) be the first derivative of -q**4/4 - 4*q**3/3 + 9*q**2/2 + q + 1. Is 10 a factor of f(-6)?
False
Suppose 0 = -4*r - 0*r + 20. Let b be r/4*(-4 + 0). Let o = b - -12. Is 7 a factor of o?
True
Suppose 3*d = 5*d - 34. Suppose -g + i = -2*i - 13, -g - i + d = 0. Does 4 divide g?
True
Suppose -5*j = -x + 92, -6*x + 440 = -2*x - 2*j. Is x a multiple of 16?
True
Let r = 87 + -33. Is r a multiple of 28?
False
Let i be 4/18 - (-170)/45. Suppose h = 5*f - 4*h, i*h = -12. Let g = 0 - f. Does 3 divide g?
True
Let y = -7 + 10. Suppose -y*q + 8*q - 210 = 0. Does 19 divide q?
False
Let t be 45*-1 - (3 - 6). Let z = t + 70. Does 14 divide z?
True
Let a(b) = 8*b - 53. Does 41 divide a(25)?
False
Let d(h) = -h + 99. Is 20 a factor of d(0)?
False
Let z(p) = 5*p**2 + 2*p - 2. Does 14 divide z(3)?
False
Let q(v) = 9*v - 3. Let t(k) = -10*k + 4. Let y(p) = 6*q(p) + 5*t(p). Let l = -1 + 6. Is 11 a factor of y(l)?
True
Suppose -4*r - 2*r = -1350. Is r a multiple of 25?
True
Let n be (3/(-2))/((-5)/10). Is 16 a factor of -78*-1*n/6?
False
Suppose 0 = -4*k - 0*k + 20. Suppose 0 = -0*x - k*x. Suppose 5*v - 6*w = -2*w + 23, x = -v + 4*w - 5. Is 3 a factor of v?
False
Let h(i) = 21*i - 3. Let u be h(-3). Is u/(-4) + (-3)/(-6) a multiple of 9?
False
Suppose 40 = -5*x + 230. Does 10 divide x?
False
Let o(l) = -2*l**3 - l**2 - l. Let f(x) = -2*x + 1. Let m be f(1). Let c be o(m). Suppose -u - 32 = -c*u. Is 21 a factor of u?
False
Let m = 22 - -4. Suppose 4*z - 3*s = z, 3*z + 14 = -4*s. Is 1/(m/(-14) - z) a multiple of 4?
False
Suppose -255 = -8*p + 3*p. Is ((-2)/(-2))/(1/p) a multiple of 17?
True
Let u(g) = -g**2 + 5*g + 5. Let x be u(5). Suppose x*f = 3*h + 45, 3*h + 21 = f - 0*h. Does 6 divide f?
True
Let h(m) = m**2 + 27. Let g be h(0). Suppose g = b - 5. Does 17 divide b?
False
Suppose 7*y - 756 = -7*y. Is 18 a factor of y?
True
Let z = 1 + -2. Does 7 divide -6 - (z - 1) - -33?
False
Let z be ((-8)/(-12))/(2/6). Suppose -4*l = -z*s, 3*s - 4*l = -0*l - 2. Is ((-86)/8)/(s/