s 16 divide r?
False
Let q(j) = -39 - 20 - 13*j - 10 + 26 + 4*j**2 - 48. Does 13 divide q(-14)?
False
Let k(a) = 83*a - 130. Suppose x - 2*b = 0, x - 3*x = 4*b - 32. Is k(x) a multiple of 89?
True
Let q(m) = 5 + 27 + 465*m + 11 + 7. Does 70 divide q(2)?
True
Let u(m) be the first derivative of m**3/3 + 2*m**2 - 12*m - 2. Let l(v) = v**3 - 4*v + 6. Let x be l(2). Is 12 a factor of u(x)?
True
Let b be 4749*4*(-7)/(-84). Suppose -4*f + 2115 = -3*k, -3*f - 2*k = -k - b. Does 16 divide f?
True
Let f = 298 + -277. Let j = f - -215. Is 24 a factor of j?
False
Let r be 3/(-3 - ((-5)/2 + -2)). Suppose -r = 2*x - 12. Suppose b - 189 + 489 = 5*u, -x*u - 3*b + 300 = 0. Is 20 a factor of u?
True
Let z(o) = -2 - 5 + 15*o - 5*o**2 - 7*o + 4*o**2. Let j be z(6). Suppose j*n - 20 = -0*n, -2*n - 91 = -3*r. Is 7 a factor of r?
False
Let u(a) be the third derivative of a**6/12 - 2*a**5/15 - 3*a**4/8 + 7*a**3/2 + 37*a**2 + 4. Is 6 a factor of u(5)?
True
Let v be ((-4)/(-6))/((-214)/42 + 5). Let d = -5 - v. Suppose -d*f + 70 = -46. Does 13 divide f?
False
Suppose -31557 = 42*c - 138237. Suppose -l + 4*b - c = -5*l, 4*l - 3*b = 2561. Does 11 divide l?
True
Let s(k) = 7*k**2 + 7*k + 9. Let l be s(8). Let d = 1078 - 1075. Suppose 105 = -d*n + l. Is 34 a factor of n?
True
Let c = -105 - -151. Let b = -46 + c. Is -6 + 18 - b/2 a multiple of 12?
True
Suppose -28*d + 32*d = 16, -18698 = -2*t - 5*d. Does 24 divide t?
False
Let q be -6*(-12)/(-40)*20/(-12). Is 58 a factor of q - 5 - -1*60?
True
Suppose -4*y = 5*k - 16772, -k = 3*y - 4971 + 1610. Is k a multiple of 55?
False
Suppose -111*o = 14279 - 156433 - 219928. Does 14 divide o?
True
Let f(c) = 19*c**2 - 17*c + 63. Is f(-34) a multiple of 13?
False
Suppose 5*z - 8*x = -5*x + 114, -2*z - 4*x + 30 = 0. Suppose -3*i - 45 = 2*i. Let p = z - i. Is p a multiple of 10?
True
Let d(v) = -v**2 - 18*v - 14. Let y be d(-17). Suppose 2*r + 0*r = y*z - 1580, -5*r = -3*z + 1592. Is 31 a factor of z?
False
Let j = -9363 + 11896. Does 7 divide j?
False
Let x(n) = n**3 + 17*n**2 + 3. Suppose 0 = q - 25 + 42. Let h be x(q). Suppose c + 284 = h*c. Does 22 divide c?
False
Let i = 633 + 7057. Does 82 divide i?
False
Let h(i) = i**3 - 2*i**2 + 4*i - 3. Suppose -3*t + 3 = -0. Let w be h(t). Suppose -5*m - 67 = -2*f, w = 3*f + 5*m - 52 - 86. Does 22 divide f?
False
Suppose 0 = 7*x - r - 16822, 2*x - 4772 = -33*r + 29*r. Is 21 a factor of x?
False
Is 6/39 + 3071903/(-1495)*-10 a multiple of 11?
True
Let x = 39590 - 34728. Does 221 divide x?
True
Suppose 93*l - 98*l = -35. Suppose 5*j + 5*z - 2375 = 0, -5*j + l*j + 3*z - 945 = 0. Does 16 divide j?
True
Let l(n) = n**2 + 59*n + 4413. Is l(0) a multiple of 11?
False
Let y(r) = 9*r + 71. Let x be y(7). Suppose -3*s + 21 = 5*n - 73, -2*n - x = -4*s. Does 12 divide s?
False
Let j = -37 - -3. Let z = j - -40. Let g = z - -11. Is 5 a factor of g?
False
Let j(y) = -9 + 16*y + 0*y + 17 + 40. Is 22 a factor of j(19)?
True
Let m be (1 + 0)/(14/56). Does 9 divide ((-305)/m)/((-4)/16)?
False
Let f be (19 - (10 - 1))/2. Suppose f*s = -12 - 13, 0 = -2*x - s + 1023. Does 13 divide x?
False
Let b(h) be the first derivative of -2/3*h**3 - 3*h + 1/4*h**4 + 3*h**2 + 5. Does 9 divide b(3)?
False
Let a(q) = 18*q - 18. Let w(b) = 13*b - 13. Let x(z) = -8*a(z) + 11*w(z). Suppose 40 = -5*g - 0*g. Is x(g) a multiple of 5?
False
Let s(h) = -h**2 + 31*h - 24. Suppose 17 = 2*j - 39. Suppose 5 - j = -t. Is 10 a factor of s(t)?
True
Suppose -8*v = -3*v + 3*o + 26, 0 = v + 4*o + 12. Is (v - 0)/(10/(-495)) a multiple of 16?
False
Suppose 0 = -2*n - 3*s + 58452, -5*n = 4*s - 7*s - 146088. Is 15 a factor of n?
True
Let c = 12998 - 8357. Is 12 a factor of c?
False
Let s = -1057 + 9532. Is s a multiple of 36?
False
Let n = -95 + 97. Suppose -4*j + 4*a + 3 + 9 = 0, -27 = -5*j + n*a. Is 7 a factor of j?
True
Suppose 16*w = k + 240260 - 47011, -4*w + 48310 = 2*k. Does 11 divide w?
True
Let l(d) = 135*d - 10. Suppose -15 + 9 = -2*q. Let s be l(q). Suppose s = 5*w + 5*i, 173 = 2*w - 3*i + 2*i. Is 12 a factor of w?
True
Let x be (0 + 20)*(-2)/(-4). Let f(c) = c - 18. Let s be f(x). Does 5 divide 2*-2*30/s?
True
Suppose g + 0*g = -3, v - 19 = 3*g. Is 715*(9/v)/((-3)/(-2)) a multiple of 13?
True
Suppose -3*j + 3*t = 3, 0 = j - 5*t - 0*t + 13. Suppose -905 - 789 = -j*a. Is 11 a factor of a?
True
Let v(h) = -3*h - 22. Let f be v(-9). Suppose -4*w - m + 4*m + 15 = 0, -3*m - 15 = f*w. Suppose 3*g + w*g - 117 = 0. Does 13 divide g?
True
Let u(g) = 31*g**2 - 271*g + 30. Let n(s) = 15*s**2 - 137*s + 15. Let a(x) = -13*n(x) + 6*u(x). Does 58 divide a(16)?
False
Let i(f) = f + 100. Let t(u) = -25. Let y(c) = -2*i(c) - 9*t(c). Let b be y(-11). Suppose p = 2*p - b. Is p a multiple of 12?
False
Let f(r) = 36 + 5*r**2 - 45*r - r**2 + 31*r. Is 36 a factor of f(12)?
False
Suppose -2*n = 5*v - 0*n + 4, 17 = -v + 5*n. Let a be 0 - 1 - (-5)/(-5)*v. Does 11 divide 1/(-5) - a/((-30)/2826)?
False
Let k(z) = z**3 + 4*z**2 + 3*z + 2. Let p be (2 + -1)*((-5)/5 + -2). Let f be k(p). Is 5 a factor of 35 + (2 - f)/(-1)?
True
Let k(i) = -10*i**3 + 49*i**2 - 40*i - 28. Is 71 a factor of k(-13)?
True
Suppose -51*m + 27*m = -36*m + 111936. Does 8 divide m?
True
Suppose -4*t - 3 + 35 = 0. Suppose 2*o + y = 7, -3*o - 17 = -6*o + 5*y. Suppose -m + 16 = -2*c, 0 = -3*m + t*m - o*c - 98. Does 4 divide m?
False
Let m = 4 + -1. Let u = -813 - -813. Suppose u = 4*o - 20, m*f - 288 = 2*o - 31. Is 22 a factor of f?
False
Suppose -5*a = -4*c - 64552, 10*a - 15*a + 64568 = 4*c. Is 8 a factor of a?
True
Let z(t) = 47*t**3 - 11*t**2 + 11*t + 1. Let q = -237 - -238. Is z(q) a multiple of 5?
False
Suppose 0 = -2*y - g + 13, -5*y + 17 = -2*y - g. Let u be 158 + 2 - (-5 + y). Let w = u - 17. Does 15 divide w?
False
Let a = 483 - 478. Suppose -188 = -3*s - 4*h, 4*s + 56 = a*s - 2*h. Is s a multiple of 3?
True
Suppose 21 = 3*w + 3*k, -4*w + 6 = 5*k - 27. Suppose 2*j - w + 17 = 3*n, -n = 2*j + 11. Let c(l) = -l**3 - 7*l**2 - 9*l - 4. Is c(j) a multiple of 2?
True
Let f = -7995 - -10167. Is 3 a factor of f?
True
Let j = 124 + -218. Let x = -48 - j. Is 23 a factor of x?
True
Suppose 4 = -0*t + t. Suppose g = -4*f + 83, t*g + g = 4*f + 463. Is g a multiple of 6?
False
Suppose 3*z - 108*z = -0*z - 1119300. Is z a multiple of 79?
False
Suppose -3*w + 4*s + 10024 = 0, 33*s - 28*s = 2*w - 6699. Is 68 a factor of w?
True
Let x be ((-21)/(-28)*4)/(1/200). Let y be (-86)/(-18) - (-4)/18. Suppose -u + x = y*u. Is 25 a factor of u?
True
Let u be 4/(-5) - (9/(-5) + 2). Is (-3 + u/(-2))*30/(-1) a multiple of 25?
True
Is (1691/1)/((-249)/(-747)) a multiple of 57?
True
Let d(x) = -2*x**3 - 3*x**2 - x + 2. Let j be d(-2). Suppose -30 = -13*r + j*r. Let z(k) = 3*k**2 - 4*k - 4. Is z(r) a multiple of 8?
True
Suppose -36 - 4 = -4*r. Let h be 2 - 5 - (3 - r). Suppose d - 41 = -5*g, 3*g = -h*d + 4*g + 164. Is 6 a factor of d?
False
Let q be 5 + (0 - (1 - -28)). Let z(o) = -5*o - 17. Is 28 a factor of z(q)?
False
Suppose 12*k = 9*k + 12*g + 58062, 0 = 5*k + g - 96875. Is 46 a factor of k?
False
Suppose -k = -5*n + 16565, 106*n - 110*n + 3*k + 13263 = 0. Is n a multiple of 9?
True
Let h be ((-2)/3)/(18/135). Let x be ((-8)/h)/((-6)/(-15)). Suppose 1 - 4 = -k + x*q, -5*q = -15. Is 5 a factor of k?
True
Suppose i = -2*k + 53, -116 = -4*k + i - 5*i. Let m = -21 + k. Suppose m*h - 5*s = 80, 4*s + s = 2*h - 50. Is h a multiple of 6?
True
Let b(z) = 12*z - 1. Let g be b(1). Let s(c) = 60 - 9*c - 16 - 28 + c**2. Does 8 divide s(g)?
False
Let w = -326 + 695. Suppose 3*v - h + 43 = -316, -3*v + 3*h = w. Let g = v - -226. Is g a multiple of 18?
True
Suppose 0*c - 3*c = 84. Suppose 82 = q - 0*q. Let m = c + q. Is m a multiple of 27?
True
Let s(q) = q**3 - 5*q**2 - 3*q - 10. Let x be s(6). Suppose -x*c + 12*c - 112 = 0. Is 4 a factor of c?
True
Let f be (-6 + 8 - 5) + 6. Suppose 12 = -f*h, z + h = -h + 344. Does 44 divide z?
True
Suppose -2*b + 10 = 2, 2*b + 20 = 4*k. Let q(o) be the third derivative of 7*o**4/24 - 19*o**3/6 - o**2. Does 15 divide q(k)?
True
Let w be -3 - -4 - (-11 - 0). Suppose w*l = 7*l + 10. Is 46 a factor of l/2 - -46 - 1?
True
Let j be (2 + 24/15)*(-10)/(-3). Let p(o) = o**3 - 11*o**2 - 14*o + 21. Let v be p(j). Is 28 a factor of (33/18*v)/(3/(-114))?
False
Let y be 53 + 3/(4 + -5). Suppose 0 = -2*o +