?
True
Let w(k) = -k - 30. Let b be w(8). Let p = -24 - b. Does 7 divide p?
True
Suppose -2*x - 3*x + 20 = 0. Suppose 0 = -s - x*s + 20. Suppose 2*f = -s*i + 214, 2*i = f + f + 110. Is 17 a factor of i?
False
Let p(x) = x - 7. Let q be p(5). Let h = q - -29. Is 9 a factor of h?
True
Let a(s) = s**3 + 25*s**2 + 12*s - 51. Does 112 divide a(-22)?
False
Let w(l) = 2*l**2 - 2*l + 13. Let a be w(4). Let i = -25 + a. Does 2 divide i?
True
Suppose -2*b = 8*s - 6*s - 1010, -s + 1517 = 3*b. Is 23 a factor of b?
True
Suppose -11*z - 2 = -24. Is -67*(1 + -2) + z a multiple of 5?
False
Does 27 divide ((-29432)/(-130))/(4*(-1)/(-10))?
False
Let b be (-76)/(-3) + (-8)/(-12). Let h be (-3 - -5)/((-3)/(-9)). Suppose h*g = 4*g + b. Does 11 divide g?
False
Suppose 5*p - 180 = -2*h, 4*h - h - 2*p = 308. Does 20 divide h?
True
Let j(g) = g**2 + g + 2*g**2 - 2*g**2 - 6*g - 1. Let w be j(6). Suppose -2*o + w*o = 15. Is o a multiple of 5?
True
Suppose 3*k - b - 5 = 2*k, -5*k - 15 = 3*b. Suppose k = -2*s - l - 4, l + 5 - 1 = 0. Suppose 0 = -3*d - 2*d - 5, 4*z - 3*d - 43 = s. Is 5 a factor of z?
True
Let n(d) be the third derivative of -d**5/60 - 2*d**4/3 - 11*d**3/3 - 11*d**2. Is n(-14) a multiple of 5?
False
Suppose 6 - 41 = -5*u. Let y be (7/2)/u*0. Suppose 5*j - 232 + 82 = y. Does 6 divide j?
True
Is 40 a factor of (-5)/(-20) - (2 - 1927/4)?
True
Let c = -548 + 830. Is c a multiple of 16?
False
Suppose -2*y - 5*q = -12, -4*q = -4*y + 5*y. Suppose -4*r = 4 - y. Suppose -2*p = 5*f + r*p - 75, 3*f - p = 49. Is f a multiple of 4?
True
Suppose -4*u = -2*h - 28, 4*u = h - 0*u + 14. Let y = h + 10. Is 7 a factor of y + -11*(-4 + 3)?
True
Let n(w) = 44*w**3 - 8*w**2 - 3*w + 1. Does 16 divide n(3)?
False
Let j(b) = 14*b**2 - 2*b. Let m be j(1). Suppose 0 = -5*k + 5*g + 43 + m, -5*g = k - 29. Does 7 divide k?
True
Suppose 3*l = -2*q + 893, 4*q = -5*l - 0*l + 1487. Suppose 0 = -3*m - 15, l = 2*k + 4*m - 347. Is k a multiple of 16?
False
Does 2 divide 45 - (1*(-7 + 3) - 1)?
True
Suppose 2*h - 6*h = 3*i - 75, -4*i + 128 = -4*h. Let l = -21 + i. Suppose l + 2 = m. Does 5 divide m?
True
Let b(l) be the second derivative of l**4/6 + 11*l**3/3 - 21*l**2/2 + 25*l. Does 9 divide b(-14)?
True
Suppose -234 = -3*i + 3*g, 5*i - 174 = 3*i - 4*g. Does 3 divide i?
True
Does 4 divide 104/17 + -6 - 6796/(-34)?
True
Suppose 3*l = -l + 20. Suppose -2*q + 48 = 4*a, -l*a + 15 = q - 12. Is q a multiple of 5?
False
Let f = 2260 - 1600. Does 23 divide f?
False
Let h(w) = 41*w**2 + 27*w - 120. Is 13 a factor of h(5)?
True
Suppose 983 = 4*f - 421. Suppose -165 - f = -2*w. Suppose 2*x = 4*k - 146, 0 = -5*k + 2*x - 74 + w. Is k a multiple of 19?
True
Is 28 a factor of (-2)/8 + ((-23890)/(-40) - 9)?
True
Let c(v) = -3*v**3 - 13*v**2 + 19*v - 8. Let p(a) = a**3 + 7*a**2 - 9*a + 4. Let z(m) = 2*c(m) + 5*p(m). Let q be z(4). Let i = q - 11. Is 19 a factor of i?
False
Suppose -15796 = -21*s + 8837. Is 23 a factor of s?
True
Suppose 5*p - 5400 = -2*s, -54*s = -58*s. Does 12 divide p?
True
Let k(q) = 162*q - 39. Let y be k(10). Suppose 9*d - y + 636 = 0. Does 7 divide d?
True
Let j = -52 + 55. Suppose u - j*u = -88. Is u a multiple of 7?
False
Let k = 655 - 370. Is k a multiple of 11?
False
Let m = 6 + -5. Let w = 5 + m. Is 2 a factor of (w/(-9))/((-4)/42)?
False
Let b = 5515 + -3331. Does 56 divide b?
True
Let v = 3727 + -2539. Does 27 divide v?
True
Let m(a) = -14*a**3 + 6*a**2 + 9*a + 2. Is m(-2) a multiple of 40?
True
Let s(w) = -w + 11. Let b be s(0). Let n(l) be the third derivative of -l**6/120 + 11*l**5/60 + l**4/24 + 11*l**3/6 + 3*l**2. Is n(b) a multiple of 19?
False
Does 35 divide -3 - 1/((-10)/17140)?
False
Suppose 0 = -5*o + b + 21, 5*o = 4*o - b + 3. Suppose -o*f - 1502 = -5*n, -2*f + 1506 = 5*n - 4*f. Suppose 5*y - n = 103. Does 19 divide y?
False
Does 21 divide (1 - (-6)/(-18)) + (-3398)/(-6)?
True
Let n(g) = -60*g - 138. Is n(-21) a multiple of 33?
True
Let u(b) = -b**3 - b + 3. Let t be u(0). Suppose 6*v = t*v + 6. Suppose j = -5*q - v*j + 245, 56 = q + 2*j. Does 10 divide q?
False
Let y be 5 - 9 - (-9 + 0). Suppose -3*t = -5*f - 178, y*t - f - 310 = 4*f. Is 22 a factor of t?
True
Suppose -4*o = -g - 4*g - 82, 3*o = -5*g - 61. Let v = g - -11. Let k = 7 - v. Is 8 a factor of k?
False
Suppose -76 = -18*n + 770. Is 5 a factor of n?
False
Let y(j) = -8*j**3 - 8*j**2 + j - 37. Is 15 a factor of y(-5)?
False
Suppose -l - 10 = -0*l. Let i = 116 + -115. Let a = i - l. Is 11 a factor of a?
True
Let o(q) = -1365*q + 39. Is 9 a factor of o(-1)?
True
Let q = 13 - 10. Let l = 1 + q. Suppose 247 = 3*c - 4*w, 0 = -5*w - 1 - l. Is c a multiple of 27?
True
Suppose 4164 = 9*l - 579. Is 15 a factor of l?
False
Suppose 0 = 2*r + 3*r - 4*h - 26, 2*r + 8 = -3*h. Let z be 2 - (4/r - 1). Is 6 a factor of z + 0 + (-66)/(-3)?
False
Let a = -42 + 69. Does 4 divide a?
False
Let y(f) = 2*f**2 + 15*f + 64. Let m be y(-12). Suppose -168*q = -m*q + 440. Is 22 a factor of q?
True
Is 59 a factor of (-300)/(-200) + (-13830)/(-4)?
False
Let l be (-2880)/6 - (-1 - (1 - 2)). Is (((-1)/(-2))/1)/((-8)/l) a multiple of 15?
True
Let i = 36 + -36. Suppose i = -9*g + 4*g + 90. Is 11 a factor of g?
False
Suppose -190 = -8*r - 38. Suppose -r*b + 65 = -6*b. Does 2 divide b?
False
Let t = -620 + 330. Let k = t - -418. Does 21 divide k?
False
Is 4 a factor of (-12 + -9)*(-75)/35?
False
Let y(o) = -86*o + 549. Does 59 divide y(-19)?
True
Let a(q) = -2*q**2 + 94*q - 87. Does 4 divide a(46)?
False
Suppose -10*i + 16*i = 828. Is i a multiple of 5?
False
Let w(l) = -28*l - 1. Let y be w(-1). Suppose 5*v = 4*v + y. Is 6 a factor of v?
False
Let s be ((-42)/32)/((-3)/4)*76. Let i = 268 - s. Is 27 a factor of i?
True
Let u(q) = 2*q**2 + 2*q - 1. Let r be u(1). Let h(i) = 9*i - 10. Let a be h(r). Let g = a - 0. Does 17 divide g?
True
Suppose 3*b + 3 - 6 = 0. Let v(r) = 40*r. Does 10 divide v(b)?
True
Suppose 3*p - 7*l + 3*l = 3745, 0 = p - 4*l - 1235. Is 20 a factor of p?
False
Does 17 divide (1 - 14/7)*(-305 + 0)?
False
Let v = -1326 + 1871. Is 28 a factor of v?
False
Suppose -m + 8 = 5. Let n be ((-5)/m)/(11/(-99)). Suppose 190 = 5*k - 5*a + a, -3*a + n = 0. Does 7 divide k?
True
Let j(n) = n**3 + 6*n**2 - 9*n - 10. Let u be j(-7). Let d(y) = -u - 2 - y**2 - 20*y + 4. Is 26 a factor of d(-12)?
False
Let q be -1 + (-1)/(-4) + 249/12. Is 9 a factor of (108/q)/9 - (-242)/5?
False
Suppose 2*l - 470 = -q, 3 - 13 = 2*l. Is q a multiple of 12?
True
Let r(i) = -5*i - 20. Let g be r(-5). Suppose j - 61 = -3*c, -g*j + 3*c = -c - 362. Is 25 a factor of j?
False
Let d(i) = 72*i**3 + i. Let r be d(1). Let u be (r/3)/(3/36). Suppose -4*q = 76 - u. Is q a multiple of 27?
True
Is (-1)/(249741/24975 - 10) a multiple of 15?
True
Let d(g) = 7*g**2 - 94*g - 52. Is d(22) a multiple of 47?
False
Suppose 2*p + 996 = 14*p. Does 22 divide p?
False
Let p = -255 + 554. Does 23 divide p?
True
Let h(s) = -107*s**3 - 8*s**2 - 10*s + 4. Is 8 a factor of h(-2)?
True
Let v(l) = -l**2 + l - 4. Let o be v(6). Suppose 3*z - 3*a = -51, -z + 6*z = 2*a - 70. Let r = z - o. Is r a multiple of 7?
False
Let q(o) = -14*o - 3. Let v be 1/(-3*(-2)/24). Suppose -5*i + 10 = 3*g + 49, -v*i = 3*g + 33. Does 22 divide q(i)?
False
Let b(s) = 2*s**3 - 7*s**2 + 5*s - 3. Let p be b(5). Let r = 11 + p. Suppose -r = 4*u - 412. Is 27 a factor of u?
False
Let h(i) = i**2 - 6*i - 19. Does 35 divide h(12)?
False
Let r = 117 + 1. Is r a multiple of 12?
False
Let i = 88 - 70. Let y = i - 5. Does 8 divide y?
False
Suppose -3*s + 0*s = 9. Let i = 34 + s. Is i a multiple of 19?
False
Let s(a) = a + 16. Let y be s(8). Let i = y + 6. Is i a multiple of 6?
True
Let q(k) = -k**3 - 14*k**2 + 14*k - 14. Let b be q(-15). Is 22 a factor of (-4 - 108/(-4)) + -2 + b?
True
Let b(i) be the second derivative of -i**4/12 + 7*i**3/3 - 6*i**2 + 2*i. Let q be b(12). Let f = q - -54. Is f a multiple of 22?
True
Let f(t) be the third derivative of 11*t**4/6 + t**3/3 + 29*t**2. Is 15 a factor of f(2)?
True
Suppose -5*w + 125 = -0*w. Let a be 20/2 + (-3)/3. Let p = w + a. Does 27 divide p?
False
Let v be (-12)/(-5)*(-20)/(-8). Suppose -v = -3*i + 6. Suppose -179 = -4*d + 5*j - i*j, 5*j = 5. Does 14 divide d?
False
Let f(a) = 3 + 178*a - 111*a - 94*a - 2. Let h be (-1 + 2)*2/(-1). Is 32 a factor of f(h)?
False
Let r(a) be the