 be p(n). Suppose -v*r + 972 = 5*r. Does 13 divide r?
False
Suppose 67651 + 5177 = 11*c + c. Is 27 a factor of c?
False
Suppose 3*x + 11*x = -952. Let h = -84 - x. Is 4 a factor of (h/12)/((-12)/306)?
False
Let p(j) = 3*j**2 + 36*j + 61. Is p(-43) a multiple of 14?
True
Let r(m) = 2*m**2 + 3*m**3 + 30 - 29 - m - 2*m**3. Let f be r(-2). Is f*(3/(-3) + 4 + 50) a multiple of 21?
False
Let s be (-4)/4*(0 + -25). Suppose -s = -7*o + 2*o. Suppose x = -o*x + 582. Is x a multiple of 40?
False
Suppose -4*g + 4399 = 2*h - 217, 4630 = 4*g - 5*h. Is g a multiple of 55?
True
Let s(l) = 160*l**3 - l**2 - l - 2. Let p be s(-1). Let f = p + 240. Is f a multiple of 26?
True
Let f(t) = 31*t + 29. Let u(y) = 47*y + 43. Let v(r) = 8*f(r) - 5*u(r). Suppose 0 = j - 5*l - 7, -9*l = 5*j - 8*l - 87. Is 17 a factor of v(j)?
True
Suppose 0 = -65*o + 69*o - 28. Suppose d - 4*a = 142, -o*d + 3*a = -3*d - 529. Is 8 a factor of d?
False
Suppose -26*y + 90*y = -13*y + 2594746. Does 83 divide y?
True
Let x = -31 + 32. Suppose 3*p - x = -4*r, -5*p = -3*r - 5 - 16. Is 26 a factor of (-39*1/r)/(1/8)?
True
Suppose 9*o - 12*o + b = -48746, 2*o + 5*b = 32520. Is o a multiple of 125?
True
Let q = -72 + 63. Let k = q - -51. Let x = k + 149. Is x a multiple of 12?
False
Suppose 4*q - 4*p = -556, -3*q - 2*p = -p + 421. Let g = q - -100. Is (-1610)/g - 1/4 a multiple of 8?
True
Let j be (-12)/(-28) - 9/21. Suppose -3*m + 40 = 5*n, -3*m - n + 20 = -j. Suppose -m*i = 0, 4*i = 2*u - u - 55. Is 5 a factor of u?
True
Let n(p) be the first derivative of 5*p**4/24 + 8*p**3/3 - 5*p**2 - 7. Let x(r) be the second derivative of n(r). Is 18 a factor of x(3)?
False
Let r = 174 + 609. Suppose -3*v + r = 3*s, -7*s + 9*s = -5*v + 510. Is s a multiple of 53?
True
Let g = 14951 + -13122. Is 5 a factor of g?
False
Suppose -13*l - 117 = 0, -59*s + 249886 = -54*s + l. Does 41 divide s?
True
Suppose -g + 5 = 0, -2*g + 10 = -2*t - 36. Let k = t + 3. Let b = 91 - k. Is 12 a factor of b?
False
Let c = -13368 + 28564. Does 20 divide c?
False
Let f(u) = -u**3 - 2*u + 1. Let i be f(0). Suppose -4*b - 2*p - 3 = -i, 11 = 2*b - 3*p. Is (3 + 14/8)/(b/8) a multiple of 19?
True
Suppose -5*s - 682 = -277. Let w = -49 - s. Let z = 172 - w. Is 14 a factor of z?
True
Let b = 707 + -705. Does 7 divide 1*((-13398)/12)/(-11)*b?
True
Let j(o) = -149*o**3 - 2*o**2 + o + 1. Is 42 a factor of j(-3)?
False
Let a(b) be the third derivative of -b**4/24 + 8*b**3/3 + 22*b**2. Let g be a(6). Suppose -g*i = -153 - 77. Is i a multiple of 7?
False
Let p(u) = 157*u - 2779. Is 14 a factor of p(21)?
True
Let f(l) = l**2 - 4*l + 9. Let t be f(7). Suppose -t*v + 17761 + 6179 = 0. Does 21 divide v?
True
Let j be (43/(-2))/(3/6). Let t(p) = 2*p**2 + 51*p + 37. Let h be t(-24). Let z = h - j. Is z a multiple of 8?
True
Suppose -2*p - 2*d = 68, -53 - 98 = 4*p + d. Is 8 a factor of (-20*28/(-105))/((-2)/p)?
True
Let s(y) = 1983*y - 8921. Is s(6) a multiple of 3?
False
Suppose -3*k = -t - 16419, 5*k - 31455 = 4*t - 4083. Is 65 a factor of k?
False
Let m(f) be the third derivative of 13*f**4/8 + 4*f**3 - 4*f**2. Let j be m(3). Let l = j + -91. Is l a multiple of 13?
False
Let q = 35 + -33. Let f(z) = 2*z**3 - z**2 - 6*z + 3. Let g be f(q). Suppose -g = -l + 1. Does 2 divide l?
True
Suppose x = -5*z + 7013, 6*z - 2*z - 35191 = -5*x. Does 28 divide x?
False
Suppose 4*z + 4*q - 20 = 4, 3*z = q + 14. Suppose -2*t + 13*w + 946 = 11*w, 1417 = 3*t - z*w. Is 12 a factor of t?
False
Let t(l) = l**3 - 10*l**2 - l + 12. Let q be t(10). Suppose -4*w + b + 36 = -b, q*b + 26 = 3*w. Does 27 divide (44/w)/(-3*4/(-120))?
False
Suppose r + 2 = 0, -3*b - 232 = -5*b + r. Let w = 113 - b. Does 9 divide w/(-9) - (11648/18)/(-4)?
True
Let v = 36 - 28. Suppose -p = p - v. Suppose -3*g + 47 = d + p*d, -3*d + 17 = g. Is 7 a factor of g?
True
Let t = 25972 - 13348. Does 8 divide t?
True
Let z be (2*40/3)/((-2)/(-6)). Suppose 24*b - 20*b = z. Does 10 divide b?
True
Does 12 divide (27756/6)/(20/140 + 2/(-308))?
True
Let d be (1/2 + -3)/(-5)*-18. Let s(j) = -j**3 - 7*j**2 - 19*j - 9. Is 9 a factor of s(d)?
True
Is 61 a factor of 5912/1 + 915/183?
True
Let z(b) = 8*b**3 + 2*b**2 + 3*b - 2. Suppose 5*o = -r - 17, -o - 7 = 8*r - 9*r. Does 20 divide z(r)?
False
Let s = 41114 + -23065. Is 99 a factor of s?
False
Let y = 91573 - 61918. Is 282 a factor of y?
False
Suppose -5*z = -4*a - 2, a - 5*z + 1 = -7. Let y(x) = 13*x**2 - 11*x + 14. Is 4 a factor of y(a)?
True
Let v = 47517 - 22884. Is v a multiple of 119?
True
Let p(q) = -42*q**3 + 22*q**2 + 15*q + 45. Is 55 a factor of p(-8)?
False
Suppose -5*f + 4*u + 40 = 0, -3*f + 5*u + 26 + 11 = 0. Suppose -2*b = -3*r + 3*b + 1259, f = 2*b. Is 10 a factor of r?
False
Let y(f) = 2*f**3 - f**2 + 9*f - 38. Let l be y(6). Suppose -493 = -d + 2*c - 109, d + 5*c - l = 0. Is 14 a factor of d?
True
Suppose 0 = 516*f - 10781765 - 4996208 - 3120527. Is 218 a factor of f?
False
Suppose 5*u + 3*q = 30, -3*u - 19 = -u - 5*q. Suppose -t + 543 = u*b, 5*t + 91 - 2836 = -5*b. Is 46 a factor of t?
True
Let f = -378 - -389. Is 3137/f - 10*(-1)/(-55) a multiple of 19?
True
Let t(p) = 345*p**3 - p**2 + 10*p - 7. Does 9 divide t(4)?
False
Let n(j) = -1067*j + 4533. Does 15 divide n(-25)?
False
Let k = 445 + -450. Let s(t) = -24*t + 2. Is 61 a factor of s(k)?
True
Let b(s) = -3*s + 95. Let w(g) = -g**3 + 14*g**2 + 15*g + 24. Let y be w(15). Does 2 divide b(y)?
False
Let v = -261 + 1211. Suppose 29*j - v = 10*j. Is 4 a factor of j?
False
Suppose t - 8*w = -13*w - 442, -5*t - w - 2306 = 0. Is t/(-11)*(-1 + 6) a multiple of 7?
True
Suppose 0 = 12863*t - 12888*t + 511500. Is t a multiple of 66?
True
Let f(n) = -50*n + 13. Let k be f(9). Let p = -1767 + 1154. Let o = k - p. Does 11 divide o?
True
Suppose 0 = -0*j - 3*j + 63. Let g(o) = 6*o - j - 11*o + o. Is g(-10) a multiple of 3?
False
Let a(v) = -10*v + 132. Does 2 divide a(-20)?
True
Let s = -17 - -6. Let m(q) = -q**3 - 10*q**2 + 11*q + 9. Let c be m(s). Is 51/c - 6/9 a multiple of 3?
False
Suppose 2*k - 3*t - 42501 = -3*k, -6*k + 51004 = -5*t. Is k a multiple of 37?
False
Suppose 0 = 7*x + 6 - 6. Suppose x = -31*b - b + 6560. Is b a multiple of 19?
False
Suppose 0 = -5*i + 5*h + 680, 5*h - 6*h = i - 130. Does 46 divide (16 + 2)/(14/i)?
False
Let i = 6453 - 3375. Does 4 divide i?
False
Let x be 3/((-9)/519) - -1. Suppose 22 = -8*u - 2. Is 2/(x/58 - u) a multiple of 5?
False
Suppose 11*j = 112779 - 19851. Suppose -j = -5*r - 11*r. Is 11 a factor of r?
True
Suppose 0 = -62*l + 61*l + 50. Let p = l - 50. Suppose -k + 0*r = r - 56, p = k - r - 62. Is 10 a factor of k?
False
Let c be 3380/(-24)*-4 + (-2)/6. Let x = -253 + c. Does 5 divide x?
True
Let h be 3/((-6)/(-4)*1). Suppose 571*v - 44 = 549*v. Suppose -h*t - 3*t = 3*r - 115, 5*t = -v*r + 120. Is t a multiple of 13?
True
Let u = 13358 + -659. Is 17 a factor of u?
True
Let t(u) = 3*u**2 + 6*u - 4. Let h be (-3)/2*((-192)/9)/4. Let i be 15/(-6) - 4/h. Is t(i) even?
False
Suppose -3*r - 9 = 0, 2*r + 11 + 22 = 3*u. Suppose -2*h = -13*b + u*b + 1354, -2*h - 682 = -2*b. Is 28 a factor of b?
True
Is 17 a factor of (-2)/3 + 13*18/351 + 14382?
True
Suppose 12*y - 3690 + 18313 - 128635 = 0. Is 31 a factor of y?
False
Suppose 9*c + 5*c - 55900 = 4*c. Is 44 a factor of c?
False
Does 46 divide 6/15 + 52926/10 - 2136/(-534)?
False
Let m(o) = -o**3 + 8*o**2 + 11*o + 14. Suppose -w + 4*w + 71 = 2*n, -181 = -5*n + 4*w. Let r be (2*(-1)/(-2))/(n/333). Is m(r) a multiple of 7?
False
Suppose h + 36 = 50. Is 19 a factor of 122 - 1 - h/2?
True
Let n(q) = -q**3 + 66*q**2 - 100*q + 2495. Is 25 a factor of n(54)?
False
Suppose -219 = 8*s - 1291. Let p = -58 + s. Is p a multiple of 4?
True
Let p(h) = 73*h**2 + 4*h + 13. Let k be p(-3). Suppose -8*q - 2 = -k. Is q a multiple of 41?
True
Suppose 5*l + 31 = -3*f - 19, -l + 2*f = -3. Let n(z) = -z**3 - 5*z**2 - 11*z - 12. Does 6 divide n(l)?
False
Let v = -12311 - -20316. Is 12 a factor of v?
False
Suppose 3*u = n + 19, 0*u - 5*u = -3*n - 25. Suppose -u*o + 2*o = -2610. Does 49 divide o?
False
Suppose 37 - 35 = 2*i, -5*i + 15662 = 3*j. Does 3 divide j?
False
Let s = 62 + -56. Does 61 divide (52/s)/(18/513)?
False
Is 13 a factor of (3 + -2)/(((-6)/2)/(-24093))?
False
Let f = -699 + 699. Is 11 a factor of (-19343)/(-21) + (-6)/63 + f?
False
S