((-3)/6)/(6/(-1188))?
True
Let y(l) = 85*l - 32. Let c be y(-8). Does 8 divide (-18)/(-54) + c/(-6)?
False
Let d(n) be the third derivative of 25*n**4/8 - 5*n**3/2 + 2*n**2. Let v be d(9). Suppose 6*g - v = g. Is g a multiple of 21?
False
Suppose c - 10 = -7. Suppose -4*r - f - c*f = -368, f = 4*r - 343. Let l = -50 + r. Is 23 a factor of l?
False
Let z(s) be the third derivative of -s**6/120 + s**5/15 + s**4/6 - s**3/6 + 9*s**2. Is 50 a factor of z(-3)?
True
Suppose 0 = -5*l - 15, -l - 406 = -3*h + 1598. Suppose y - 658 = -4*o - y, 4*o - y = h. Let a = -100 + o. Is 22 a factor of a?
True
Let i(n) = 11*n**3 + 4*n**2 + 2*n + 1. Let w be i(3). Suppose -w = -3*m - 55. Does 35 divide m?
False
Suppose -9*c + 13484 = -448. Is 40 a factor of c?
False
Suppose 5*h = -c - 4 + 59, 4*c - 60 = -4*h. Let s be (1106/(-35))/((-2)/h). Does 24 divide s/(-4)*-2 - -1?
False
Suppose 6 = -16*m + 54. Suppose -3*l + 26 = -j - 521, 4*j = -m*l + 542. Is 26 a factor of l?
True
Let q be 1*(-58 + 2)*(1 - 2). Let y = 169 - q. Does 15 divide y?
False
Suppose -3*y - 4*y + 35 = 0. Suppose 5*w = w + i - 13, y*w - 4*i + 30 = 0. Does 32 divide (w + 3)/(2/256)?
True
Suppose -100*d + 88*d + 16200 = 0. Does 15 divide d?
True
Let p(y) = 76*y + 2. Suppose -2*a - 6 = 0, 4*a + a = -z - 31. Let r be z/32 - (-6)/4. Is p(r) a multiple of 26?
True
Suppose -18*v + 10897 - 3031 = 0. Does 23 divide v?
True
Let q(w) = -w**3 + 8*w**2 - 5*w + 3. Let a = 23 + -17. Does 25 divide q(a)?
False
Suppose -y = 4*o + 2*y - 351, 2*y = 2*o - 172. Suppose 4*l - o - 93 = 0. Let u = 96 - l. Does 13 divide u?
False
Let d = 6 + 0. Let p(s) = s**3 - 6*s**2 - s + 9. Let r be p(d). Suppose 0*n = r*n - 66. Does 9 divide n?
False
Suppose 0 = 2*k - o - 1, 2*k - k + 1 = -o. Let m(w) be the second derivative of w**4/12 + w**3/3 + 13*w**2 - 3*w. Is m(k) a multiple of 6?
False
Suppose 4*a - 808 = -t, -5*t = -4*a + 2*a + 382. Does 11 divide a?
False
Let g(s) = -5*s**3 - 7*s**2 - 69*s - 16. Does 19 divide g(-5)?
True
Does 69 divide (-15464)/(-14) - ((-180)/(-35))/9?
True
Suppose 2*v - 2 = 2. Suppose -4*d - v*w = 48 + 22, 3*w - 30 = 3*d. Does 7 divide (3 - (-1 + d)) + 3?
False
Let n(u) = -u**2 + 3*u - 15. Let d be n(-8). Let o = 170 + d. Does 21 divide o?
False
Let q(z) = -9*z - 2. Let a be q(-2). Suppose -5*t + a = -124. Is 14 a factor of t?
True
Let i = 5 - 7. Let r(c) = -2*c - 1. Let h be r(i). Suppose -o - h*w + 6*w + 19 = 0, 3*o - 71 = -5*w. Is 11 a factor of o?
True
Let c(q) = 3*q**3 - 65*q**2 - q + 2. Does 18 divide c(22)?
False
Let a be (-14)/(-8) - (-2)/8. Suppose 2*x - 20 = -5*i + 4, a*x = -4*i + 18. Is i + -3 - (-1 + -54) a multiple of 9?
False
Suppose -75 = -5*b - 5*d, -2*d + 11 = b - 0*d. Let t = b - 11. Suppose 64 = t*y - 4*y. Does 5 divide y?
False
Let b(x) = 46*x - 51. Let z be b(7). Suppose -2*u + 4*t = -7*u + z, -2*t = -5*u + 277. Does 9 divide u?
False
Suppose 25 = -2*p + 601. Suppose -5*m + p = -17. Does 38 divide m?
False
Suppose w - m = -3*w - 31, -3*m - 3 = 0. Let d be w/28 - 16/(-7). Suppose -5*g + d*s + 312 = -2*s, -3*s + 134 = 2*g. Is g a multiple of 16?
True
Does 10 divide (-13587)/(-27) - (-58)/(-261)?
False
Let o(j) = -3*j**3 - 3*j - 2. Let p be o(-1). Suppose 3*g - 64 = -p*i, -3*i = 2*g + g - 66. Is g a multiple of 14?
False
Suppose 0 = 17*b - 24*b + 18550. Does 22 divide b?
False
Suppose q + 3*m = 622, 0 = q + 83*m - 85*m - 647. Is 21 a factor of q?
False
Is 9 a factor of 27174/189 + 4/18?
True
Suppose -10*o + 951 = -7*o. Suppose 0 = -5*v - 3*l + o + 38, -4*l - 316 = -4*v. Is v a multiple of 11?
False
Let g(t) = -t**2 + 9*t - 6. Let p be g(8). Suppose 3*u = p*l + l + 3, 0 = -3*l + 2*u - 6. Let m(c) = -8*c + 7. Is m(l) a multiple of 19?
False
Let r = -1435 - -2036. Is r a multiple of 17?
False
Let i be -41*1 + (-9 + 1 - -4). Let h = i - -205. Is 40 a factor of h?
True
Suppose -b - 1138 = -3*x, -4*x = -0*x - 2*b - 1520. Suppose -5*p + x = 2*p. Is 9 a factor of p?
True
Let y(m) = 8*m + 6*m + 117 + 5*m**2 - 84. Is y(-7) a multiple of 30?
True
Let m(l) = -111*l + 31. Is m(-2) a multiple of 30?
False
Let u(x) = 3*x**2 + 4*x + 1. Let m be u(-3). Let k(r) = -r + 36. Does 5 divide k(m)?
True
Let u(y) = 2*y**2 - 4*y + 11. Suppose -2 = -3*v + v. Let h be 4 - v/3*-3. Is u(h) a multiple of 22?
False
Let q(l) = -l**2 + 17 - 16*l**3 + 12*l - 13*l**2 + 17*l**3 - 1. Let w be q(13). Let b = 6 + w. Is 3 a factor of b?
True
Let c = -579 - -587. Is c a multiple of 4?
True
Let k = 336 + -150. Suppose -2*h + 5*h - k = 0. Suppose 0*r - r + h = 0. Is 31 a factor of r?
True
Suppose 2*n + 35 = -z, 4*z + 4*n + 135 = n. Let f = 48 + z. Suppose -2*v + f = -1. Does 5 divide v?
False
Is 12 a factor of (-13042)/(-8) - 22/88?
False
Let t = -78 - -855. Suppose 4*o = -2*h + 774, -o - 3*o + h + t = 0. Is o a multiple of 50?
False
Let w(u) = -20*u + 10. Suppose -5*n + 7 = 2*o - o, 2*n = -2*o - 10. Is 17 a factor of w(o)?
True
Let z be (-22)/121 + (-378)/(-22). Suppose -23*v = -z*v - 474. Does 9 divide v?
False
Does 10 divide 1495/2 + 20/(-40)?
False
Let l(n) be the third derivative of 2*n**6/45 - n**5/120 + n**4/24 + n**3 - 5*n**2. Let a(j) be the first derivative of l(j). Does 19 divide a(2)?
False
Let z(l) = 3*l**2 + 3*l - 7. Let d(n) = -n**3 - 9*n**2 + 10*n + 8. Let i be d(-10). Let m be z(i). Let a = m + -137. Is a a multiple of 18?
True
Let x be ((-567)/(-135))/((-1)/(-15)). Suppose -2*n = -29 - x. Is 4 a factor of n?
False
Suppose 11*i - 2058 = 4*i. Suppose 4*p - 2*v - i = -0*v, 5*p - 5*v - 370 = 0. Does 15 divide p?
False
Let r = 38 + -2. Suppose 4*i + 3*q - r = -q, -2*i + 5*q = 3. Is i a multiple of 6?
True
Suppose -4*w + 3*j + 1446 = 0, -w - 1436 = -5*w - 2*j. Does 10 divide w?
True
Let z(u) = -2*u**3 - 13*u**2 - 32*u + 22. Is z(-11) a multiple of 6?
False
Let x = -46 - -43. Is 3/6*(x + (38 - 3)) a multiple of 16?
True
Let y(t) = t**2 - 8*t + 7. Suppose -q + 6 = -0. Suppose 2*o - q = 10. Is y(o) a multiple of 3?
False
Suppose -15*i + 22*i = 819. Is i even?
False
Let n(j) = -j**2 - 3*j + 4. Let g be n(5). Let o = 61 + g. Is 5 a factor of o?
True
Is -1122*(3 + (-5)/15 + -3) a multiple of 11?
True
Let g(q) = -7*q - 80. Does 6 divide g(-14)?
True
Suppose 4*l - 2*y - 13 = 15, 0 = -4*l + y + 26. Let o(k) = -k + 2. Let v be o(l). Let x(w) = 4*w**2 + 6*w + 5. Does 9 divide x(v)?
True
Let a(h) = -5*h**3 - 4*h**2. Does 6 divide a(-2)?
True
Is 18 a factor of ((-198)/(-45) - 0)*(1 + 99)?
False
Let b = 32 + -30. Suppose -b*h = 4*p - 0 - 2, 0 = -5*p - h + 10. Suppose -p*v = -2*v + 3, 3*m - 108 = 4*v. Is m a multiple of 16?
True
Suppose -5*n - 4*w = -1694, 4*n - 5*w + 4*w - 1372 = 0. Does 18 divide n?
True
Let t = -18 + 18. Suppose t = -4*v + 2*q + 8 + 14, 5*v = 4*q + 26. Does 6 divide v?
True
Suppose -303 = -9*u + 6*u. Suppose p = -3*z + 362, u = -3*z + 5*p + 433. Suppose h = -h + x + 83, 3*h + 4*x = z. Is 24 a factor of h?
False
Let r(j) be the first derivative of j**3 - j**2/2 - 4*j + 10. Let q be -3 + 0 + 2/(-2). Is r(q) a multiple of 12?
True
Suppose 0*d - 2 = 4*t + 3*d, 0 = -t - d. Let j be 150/20*(-20)/t. Suppose 0 = 5*q - j + 15. Is q a multiple of 12?
True
Suppose b = 9 - 4. Does 4 divide 100/6 + (-3 + b)/6?
False
Suppose 2*m = -2*m + 24. Suppose x + 450 = m*x. Suppose 6*k - x = k. Is 16 a factor of k?
False
Let l = -30 - -36. Suppose 3*d - l*d = -111. Is 11 a factor of d?
False
Let o(k) be the third derivative of -k**5/60 - k**4/3 - k**3/2 - 8*k**2. Let g be o(-6). Suppose 49 = 2*n + g. Does 4 divide n?
True
Does 11 divide -4*(-22)/8*38?
True
Let w be (36/(-30))/(2/(0 - -10)). Is 13 a factor of (-4)/(-6) - 140/w?
False
Suppose 16*p - 2742 = 1290. Is p a multiple of 14?
True
Let u = 104 + 277. Is 11 a factor of u?
False
Let p = -86 + 182. Does 24 divide p?
True
Is (6 - 24)/9 - -11 a multiple of 9?
True
Let o(g) = -g**3 - 13*g**2 - 3*g - 11. Let a(t) = -3*t**3 - 39*t**2 - 9*t - 32. Let j(d) = 3*a(d) - 8*o(d). Is j(-13) a multiple of 3?
False
Let t = -24 + 18. Let w be -10 + t - (4 - 0). Is 20 a factor of 2*w*(2 + -4)?
True
Suppose -2 - 1 = 3*x - 3*m, 2*m = x. Let o(h) = -12*h**2 - 4*h - 1. Let s(z) = -6*z**2 - 2*z - 1. Let w(k) = -3*o(k) + 5*s(k). Does 18 divide w(x)?
True
Let q(c) be the second derivative of -c**4/12 - 13*c**3/6 + 2*c**2 - c - 5. Does 3 divide q(-11)?
False
Let z(u) = -10*u + 5. Let w(k) = -k + 4. Let x be