 3 divide f?
True
Suppose -4*t + 8*t + a - 110 = 0, 2*t = -5*a + 46. Does 14 divide t?
True
Suppose -4*q + 2*j - j = -15, -2*j = 2*q - 10. Suppose 0 = q*x - 1075 + 335. Is 37 a factor of x?
True
Let r(n) be the third derivative of -n**4/24 + 2*n**3/3 + 3*n**2. Suppose 0 = 8*c - 7*c. Is 2 a factor of r(c)?
True
Let q(y) = -4*y + 12. Let o be q(6). Let l be 103/(-2) - (-6)/o. Let p = l - -103. Is 17 a factor of p?
True
Let r = -696 - -982. Does 26 divide r?
True
Suppose -5*o = 2*o - 77. Suppose -o*r = -16*r + 1100. Is r a multiple of 55?
True
Let c be 1*3*248/12. Suppose 5*s = -k - k + 669, -5*s - 3*k = -671. Let g = s - c. Is g a multiple of 19?
False
Let r(t) = 32*t**3 - 15*t**3 - 16*t**3 - 2 - 4*t**2. Is 5 a factor of r(6)?
True
Suppose 5*n - 315 = 10*n. Let x = n + 111. Does 14 divide x?
False
Let t = 524 + -344. Is 22 a factor of t?
False
Let i(d) = -d + 1. Let s be i(-2). Let q(t) = -2 - 7*t**2 - t**s + 18*t**2 - 4 + 17*t. Does 27 divide q(12)?
True
Let m be (-24)/(-40) - (-84)/10. Let a(p) = 15*p - p**3 - 27*p + 3*p**2 + m - 13*p**2. Is 9 a factor of a(-9)?
True
Let f = -315 - -375. Is f a multiple of 3?
True
Let k(u) = 2*u**3 - 4*u**2 + 4*u - 3. Let g be k(2). Suppose 0 = -5*d - v + 423, -d - 346 = -g*d + 3*v. Is d a multiple of 17?
True
Let w = 46 + -6. Let h be w*((-9)/(-12) + 0). Suppose 0*j - h = -2*j. Is 15 a factor of j?
True
Suppose 20 = -3*p - 46. Let u = p + 92. Is u a multiple of 27?
False
Let j(l) be the third derivative of -1/3*l**3 + 1/120*l**6 + 5*l**2 + 1/24*l**4 + 0*l - 1/60*l**5 + 0. Does 5 divide j(3)?
False
Let f = -31 + 383. Is f a multiple of 24?
False
Suppose 4*d = 23*d - 3192. Does 21 divide d?
True
Suppose -28*v - 32 = -36*v. Let z be (-4)/10 - (-4)/10. Suppose v*s - s - 49 = -w, z = -2*w + 3*s + 80. Does 11 divide w?
False
Let s = 24 - 20. Let d(w) = -w**3 - 10*w**2 + 7*w - 1. Let q(x) = x**3 + 9*x**2 - 6*x. Let l(i) = s*d(i) + 5*q(i). Is l(-4) a multiple of 16?
False
Let f be 54 + (5 + 7)/(-3). Suppose r + 4*m + 25 = -m, 0 = 3*m - 6. Let c = r + f. Does 5 divide c?
True
Suppose 0 = 2*f + 5*v + 1, 0 = -f - 5*v + 4 + 8. Let q be 12/(-18) + f/3. Is ((-6)/q)/((-4)/(-40)) a multiple of 12?
True
Suppose 20539 = 5*p + 14*p. Is 95 a factor of p?
False
Suppose 0 = 4*n - 357 - 279. Let j = n - 76. Let z = j + -49. Is 17 a factor of z?
True
Let r be 14*-9*4/42. Let h = r - -94. Is 16 a factor of h?
False
Let y be 3*(14/6 - 0). Let k be (12/y)/(-2)*-7. Does 7 divide (-18)/(-4)*1*k?
False
Let y = 71 - 69. Suppose 8*m - 2*v - 478 = 4*m, 2*v = y*m - 244. Is 13 a factor of m?
True
Let f = -181 - -289. Suppose 2*c + 2*c = 16. Suppose f = c*t - t. Is t a multiple of 23?
False
Suppose -2*i + 3*f + 777 = -753, 5*i - 3779 = -4*f. Does 23 divide i?
True
Let z(u) be the second derivative of -7*u**3/6 - 7*u**2 + 10*u. Is z(-7) a multiple of 31?
False
Suppose 0*p - 2 = -2*p, j + 5*p - 8 = 0. Suppose 2*f - 9 = -j. Is 14 a factor of ((-280)/(-12))/5*f?
True
Let i(w) = -w**3 + 12*w**2 - 3*w - 13. Does 14 divide i(11)?
False
Let n(a) = -279*a**2 - a + 2. Let m(d) = -d**2 + 5*d + 1. Let c be m(5). Let x be n(c). Let w = -173 - x. Is 25 a factor of w?
False
Suppose -118*z + 116*z + 420 = 0. Suppose d = 0, 2*i - 10*d + 5*d - z = 0. Is i a multiple of 11?
False
Let c(l) be the first derivative of 5*l**3/3 - 2*l**2 - 20*l + 14. Is c(-8) a multiple of 42?
False
Suppose -3*b = -0*n + 4*n - 11, n - 4 = -b. Suppose 3 - 19 = -2*s. Suppose -s = -m + 2*f, 2*m = -4*f + 3 + b. Is 5 a factor of m?
False
Let l = 4113 - 2816. Does 34 divide l?
False
Let z = 12 + -8. Suppose 0 = 2*g + z*j - 16, 4*g - j = 2*j - 1. Suppose -g*y = y, y = -w + 8. Does 3 divide w?
False
Let b = 3 + -1. Suppose -b*i + 0*f + 12 = 2*f, -9 = -i + 2*f. Is 7 a factor of i?
True
Suppose -n - 3*n = -1452. Suppose 6*p - 765 = n. Suppose -p = -5*y + 232. Is y a multiple of 14?
True
Does 70 divide (-4)/12 - -1126*3/9?
False
Is ((-15)/(-9))/(-5)*6*-29 even?
True
Let h = -41 - -50. Suppose 5*y - 246 = 2*d - 0*d, 3*d = -h. Is y a multiple of 20?
False
Suppose -5*k + 24 = k. Suppose -2*n + 5 = t, -4*n + k*t = -t - 3. Suppose 4*y - 56 = n*y. Does 17 divide y?
False
Let l be (-1)/(-6) - (70/(-12))/(-5). Let h(d) = -3*d**2 + 2*d - 1. Let x be h(2). Is (x/(-15))/(l/(-10)) even?
True
Let p = -31 - 6. Is 13 a factor of (p + 1 + -2)*(-2)/4?
False
Suppose 0 - 4 = -x. Suppose x*q - 16 = -0*q. Suppose -5*w + 29 = -2*p, w + 16 = 5*w - q*p. Is 5 a factor of w?
False
Suppose 0 = -k + 8 - 5. Suppose -5 + 35 = k*x. Does 3 divide x?
False
Suppose 3*v = -d - 2*v + 421, 2*d - 853 = v. Suppose -3*o + d = -114. Does 10 divide o?
True
Does 2 divide 4/((-25)/50*1/(-7))?
True
Let p(j) = 35*j**2 + 42*j - 289. Is 7 a factor of p(8)?
False
Let c(k) = -2*k - 4. Let z be c(-5). Suppose -z = 2*n - 5*n. Suppose -4*q = n*d - 7 - 7, -5*q + 23 = 3*d. Is 3 a factor of d?
False
Let a(u) = -u + 2. Let i be a(6). Let k(m) = -m**3 + 2*m**2 - 6*m - 2. Does 14 divide k(i)?
False
Let m(o) = 619*o - 63. Does 26 divide m(3)?
True
Suppose 12*n + 93 = 13*n. Let p = n - -12. Is 14 a factor of p?
False
Suppose -5*l = 2*v - 23143, 2*l - 3*v = -2*v + 9259. Is l a multiple of 98?
False
Let k(l) = -l**2. Let t(y) = -4*y**2 - 2*y + 1. Let f(u) = 5*k(u) - t(u). Let o be f(1). Suppose -d + 5*d - 20 = o. Is d a multiple of 2?
False
Let q(f) = f + 8. Let i be q(-5). Suppose -i*o - t = o - 173, -4*t + 188 = 4*o. Is 7 a factor of o?
True
Is 3*(-29)/2*20/(-6) a multiple of 20?
False
Let m(f) = 2*f**2 + 7*f - 9. Let j(g) = g - 7. Let w be j(11). Suppose w*u + 25 = -u, -5*s + u = -30. Does 19 divide m(s)?
True
Let f = -36 + 39. Suppose -8*l + f*l + 225 = 0. Does 10 divide l?
False
Let o be 310/5 + (-5 - -1). Suppose -4*u = -4*y + o + 126, -3*y - 2*u = -138. Is 3 a factor of y?
False
Let j(k) = 0 + 5 + 3*k - 1 + 3. Let f be j(-7). Let l = f - -43. Is 7 a factor of l?
False
Suppose -3*j + 3*g + 1162 = 2*j, -4*j + 3*g = -929. Is 32 a factor of j?
False
Let q = 1355 - 677. Is 84 a factor of q?
False
Let t(z) = -z**3 - z**2 + z. Let h(s) = -3*s**3 - 4*s**2 + 10*s. Let i(b) = -h(b) + 2*t(b). Is i(5) a multiple of 15?
True
Let d(h) = 31*h - 2. Let a be (0 - -3)/(2/(-4)). Let r(f) = 2*f + 13. Let t be r(a). Is d(t) a multiple of 21?
False
Let m(v) = v**2 + 12*v - 14. Is 13 a factor of m(7)?
False
Let j = -19 + 20. Let v = j + 33. Is v a multiple of 26?
False
Let b(g) = 14*g - 11. Does 5 divide b(4)?
True
Let g = -227 + 490. Is 6 a factor of g?
False
Suppose -5*f = 13*f - 1368. Does 38 divide f?
True
Let u(n) = -n + 9. Let a be u(7). Suppose -3*j - 12 = -4*j + 5*i, a = -j - 2*i. Suppose -2*b - k = 3 - 115, j*k - 278 = -5*b. Is 27 a factor of b?
True
Suppose -14*k = 548 - 6680. Let j = k - 144. Does 49 divide j?
True
Suppose -5*m - 73 - 77 = 0. Let r = m + 26. Does 21 divide (9/(-4))/(r/112)?
True
Let d(m) = 3 + 11 - 2*m - 4*m. Suppose -5*r - c - 32 = 0, -r - 5*c - 22 = r. Does 16 divide d(r)?
False
Let k(x) = 4*x - 2. Let a be k(-1). Let j(c) = c**2 + 2*c - 6. Is j(a) a multiple of 6?
True
Let p be 5 - 14/3 - (-23)/3. Suppose -p*i + 285 = -99. Does 16 divide i?
True
Suppose q + 0*j = j + 344, 5*j = -3*q + 1000. Does 20 divide q?
True
Suppose 0*j - 3*j - 7 = -5*f, 5*j - f = -19. Let l(v) = -3*v**2 - 4. Let u be l(j). Is (-4)/2*u/4 a multiple of 13?
True
Let x(i) = 7*i**2 + 14*i - 2. Let u(p) be the first derivative of -8*p**3/3 - 15*p**2/2 + 3*p - 7. Let d(y) = -6*u(y) - 7*x(y). Is d(-5) a multiple of 3?
False
Let d(c) = -75*c**2 + 74*c**2 + 8*c - 27 + 11*c. Does 15 divide d(9)?
False
Suppose -h + 85 + 283 = 4*y, -5*h - 3*y = -1925. Is h a multiple of 7?
False
Let q(x) = 21*x**2 - 8*x + 10. Let j be q(6). Suppose -5*k + 247 + j = 0. Does 13 divide k?
False
Let n(g) = g**3 - 1. Let v(q) = -3*q + 3*q**3 + 9*q - 4*q**3 + 52 - 7*q**2 - 50. Let i(u) = 2*n(u) + v(u). Is 6 a factor of i(7)?
True
Let l(q) = 1693*q**2 - 7*q - 9. Is 27 a factor of l(-1)?
False
Does 52 divide -4 - 1 - -213 - (2 + -2)?
True
Let y(p) = p**3 + 2*p**2 - p + 1. Suppose 0 = -3*s + 2*t, 6 = 3*s - 5*t - 3. Is 3 a factor of y(s)?
True
Let n(x) = 23*x**2 - 11*x - 33. Is n(-3) a multiple of 31?
False
Let z = -160 - -341. Is z a multiple of 17?
False
Suppose -3*z = -27 + 15. Suppose 4*x - 124 = 4*v, -z*x + 0*x + 140 = 4*v. Does 5 divide x?
False
Let a(k) = 29*k**2 - 25*k - 94. Does 16 divide a(-4)?