be ((-6)/(-12))/(3/76)*-3. Let r = t + l. Is 5 a factor of r?
False
Suppose -15*g + 17*g - 3*u - 29950 = 0, 0 = -g + 4*u + 14970. Is g a multiple of 24?
False
Does 76 divide ((-17)/(-51))/((-1)/(-18699))?
False
Let l(d) = 459*d + 4. Let f be l(3). Suppose 4*m = f - 253. Is m a multiple of 37?
False
Let i = 56141 - 13819. Is 16 a factor of i?
False
Let a(x) = 8*x**3 - 2*x**2 - 2*x + 7. Let r be -3 + 5*(-30)/(-25). Does 19 divide a(r)?
False
Let m(h) = -h + 40. Let s be m(35). Suppose 86 = p + s*t, -186 = -2*p - 5*t + 2*t. Does 2 divide p?
True
Let r(n) = 81*n + 1515. Does 11 divide r(-13)?
True
Suppose -x - 3*x = -2*n + 30, 4*x = -4*n - 36. Let r(d) = d**3 + 10*d**2 - 11*d + 19. Is 50 a factor of r(x)?
False
Let j = -490 + 488. Let n(z) = -99*z**3 - 3*z**2 + 9*z + 18. Is n(j) a multiple of 65?
True
Suppose 3*x = -3*w + 4677, -x - 3*x + 6229 = -3*w. Is 92 a factor of x?
False
Suppose 21*u - 21*t = 17*u + 167171, -5*t = 35. Does 73 divide u?
True
Suppose -2*l = 4*j - 558, -132 = j - 2*j + 2*l. Let y = j - 103. Does 18 divide y?
False
Let b be 1/(4 + (-5 - (-12)/14)). Is 22 a factor of 764 + (2 - 28/b)?
True
Suppose 3*s = q - 12211, 5*q - 61139 = -3*s + 4*s. Is 2 a factor of q?
False
Suppose 0 = -2*z + 2, -5*l + 3*z - 87 = -34. Let v be (32/20)/((-4)/l). Is 2*(10/v - -1) a multiple of 2?
False
Let c(g) = 25*g**2 - 22*g - 39. Let u be c(-2). Let k = u + 180. Does 7 divide k?
False
Let w(o) = 83*o + 73*o - 134*o. Is w(8) a multiple of 22?
True
Suppose 3*j - 23 = 2*t, -t + 5*j = -0*t + 15. Let k(h) = -32*h - 51. Let d be k(t). Is 30 a factor of (1 - d/3)/(6/(-9))?
False
Suppose -261*b = -38*b - 53520. Is 30 a factor of b?
True
Let b(l) = -2*l**3 - 20*l**2 - 18*l + 53. Let a(s) = -3*s**3 - 21*s**2 - 19*s + 54. Let m(i) = 3*a(i) - 4*b(i). Is 12 a factor of m(17)?
False
Let b = 1022 - -352. Suppose -8*a + b = -986. Is 10 a factor of a?
False
Let d = 420 + -394. Suppose 0*k = -3*k - 4*c + 121, -4 = -c. Let q = k - d. Is q a multiple of 2?
False
Let u(s) = 9*s**2 - s + 3. Let j be u(9). Let z = 1347 - j. Suppose 316 = 10*p - z. Is p a multiple of 15?
False
Suppose 65*m - 24250 + 9950 = 0. Does 5 divide m?
True
Let y(n) = 2*n**2 - 2*n - 36. Let t be y(-4). Suppose t*s = -z - z + 1186, s - 3*z = 300. Is s a multiple of 55?
False
Let d(h) = -h**3 - 163*h**2 + 192. Is d(0) a multiple of 20?
False
Let t be ((6 - 3) + 0)/((-18)/(-24)). Let q(o) = 2*o**2 - 4*o - 1 - o - t*o**3 + 0*o**2. Is q(-3) a multiple of 50?
False
Is 150/(((-2)/(-9))/(7506/486)) a multiple of 15?
True
Let s(h) = -13*h + 72. Let c(q) = -3*q**2 + 11*q + 30. Let j be c(-3). Is 33 a factor of s(j)?
True
Let j = 233 + -44. Let i = j + 7. Suppose 2*w + 2*z - i = 6*z, 0 = w + 2*z - 118. Is w a multiple of 9?
True
Let g(p) = -32*p + 10458. Does 3 divide g(-137)?
False
Let r = 26521 - 11643. Is r a multiple of 22?
False
Let s(t) = 356*t + 7 - 7 + 31 - 18. Is 31 a factor of s(1)?
False
Let i be 1 + 0 + (420 - 6). Suppose 2*s = 3*n - 245, n + 5*s = 6*n - i. Is 6 a factor of n?
False
Let n be (-54)/81*58131/(-2). Suppose 38*b = n - 6039. Does 13 divide b?
True
Let h = -37 - -714. Let u = -457 + h. Does 45 divide u?
False
Let r be 9 + -1 + 3 + -3. Let d(x) = 26*x - 12 + 13 + r + 14. Is 14 a factor of d(5)?
False
Suppose 15*c - 20 = 10. Suppose -4*b + 909 = -c*m - 105, -m = 3*b + 482. Let j = -211 - m. Is 17 a factor of j?
False
Let i be (240/(-28))/(-6) - (-4)/7. Let t(l) = -140 - l**2 + 0*l**i + 162 - 10*l. Is 22 a factor of t(-10)?
True
Let k be 11 - (8/(-4) + 3). Suppose 3*d = d + k. Suppose 2*b + d*z - 111 = 0, -4*b + 2*z = 3*z - 195. Is b a multiple of 24?
True
Suppose -4*p + 4*a = 5*a - 396, 5*p - 495 = -3*a. Suppose 97*k - p*k = -118. Does 3 divide k?
False
Let n(b) = 25*b**2 + b - 2. Let j(h) = 2*h**3 - 3*h**2 + 2*h - 2. Let o be j(2). Suppose 0 = 3*w + 3*i - 5*i - 1, -3*w = -3*i - o. Is 20 a factor of n(w)?
True
Let q = -158 + 3110. Is 22 a factor of q?
False
Let m(t) = -t**3 + 3*t**2 + 4*t - 8. Let b be m(3). Suppose -4*x + u + 409 = 0, -411 = -b*x - 3*u - 6. Does 17 divide x?
True
Suppose 3*k = 15*k - 72. Let s be (-8)/(-12) - (-26)/k. Suppose 4*g - 648 = -2*r, -2*r = -s*g + 3*r + 810. Is g a multiple of 35?
False
Is ((-3)/(-3))/(-3 - (-903)/300)*50 a multiple of 8?
True
Suppose -6*o = 3*p - 31836, 16*o + 2*p = 20*o - 21224. Does 29 divide o?
False
Suppose -173588 - 125692 = -172*a. Is 10 a factor of a?
True
Suppose 2*f - a - 5 = 0, -9 = -2*a - a. Let x(y) = -2*y + 152. Let z be x(-21). Suppose z = f*p - 42. Does 32 divide p?
False
Suppose 0 = 2*a - 2*f, -a + 8*f = 3*f. Suppose 21*o - 280 = -7*o. Does 17 divide (a + 1/2)/(o/5780)?
True
Let n(k) = 61*k**2 - k + 2. Let z(r) = -r**3 + r + 1. Let a be z(0). Is n(a) a multiple of 8?
False
Let f(o) = 1170*o**2 - 82*o + 321. Is f(5) a multiple of 38?
False
Is 221 a factor of 34/(39007/(-19513) + -2 + 4)?
True
Does 26 divide (-723)/482*(29689/(-3) + -1)?
True
Let w(j) = -j**3 - 4*j**2 - 4*j - 5. Let i be w(-3). Let s be (-6)/(-33) - i/(-11). Suppose s = 5*b - 73 - 167. Does 24 divide b?
True
Let y(n) = -52*n - 58. Let d(r) = -7*r - 30. Let q be d(-2). Is y(q) a multiple of 43?
True
Let m = -25757 + 27848. Is 12 a factor of m?
False
Let a = 32104 - 22451. Is a a multiple of 197?
True
Let f(y) = 2*y**3 - 5*y**2 + 4*y - 1. Suppose 0 = -3*a + 11*a - 16. Let c be f(a). Suppose -4*u = -p - 276, -5*u - c*p = 15 - 377. Does 5 divide u?
True
Suppose 24 = 5*n - p - 4, 0 = 4*n + 3*p - 11. Suppose 7*f + 251 = 671. Suppose -f = 4*w - n*w. Does 20 divide w?
True
Let l = -28 + 28. Suppose l = 6*s - 276 - 18. Is 12 a factor of 7/(35/15) + s?
False
Let x(s) = -7*s - 32. Let j(t) = t**2 + 13*t - 3. Let p be j(-12). Let h be x(p). Suppose -h = -i - 4*y + 7, 236 = 4*i - 5*y. Is i a multiple of 8?
True
Let z be 21*(-18)/(-12)*18. Let k = z + -331. Is k a multiple of 12?
False
Let c be (2 + -1)*(-6 + 3 - -3). Suppose 4*f + 3*b + 176 = 5*f, -177 = -f + 2*b. Suppose 2*p + f = 3*q, -2*q + 3*p + p + 122 = c. Does 5 divide q?
False
Let u be (-1104)/32*((-20)/6 - -2). Suppose -7*t + 242 - u = 0. Is t even?
True
Is (-4)/(-6) - (1245/(-225) - 36/45) a multiple of 5?
False
Let t(w) = -615*w**3 - 5*w**2 + 14*w + 32. Is t(-2) a multiple of 8?
True
Let o(s) = s**2 + 13*s - 58. Let v be o(-15). Is 114*v/(-8) - 7 a multiple of 7?
True
Suppose 0 = -4*h + 3*m + 108, 3*m = 3*h - 20 - 61. Let i be 1 + (2*27)/((-3)/h). Does 13 divide i/(-6) + 4/24?
False
Suppose 0 = -4*a - y + 16990, -2*a - 32*y = -30*y - 8486. Is a a multiple of 39?
False
Is 12/14*(-2812502)/(-462) a multiple of 10?
False
Let c be ((-4)/(-6))/2*0/(-1). Suppose c = -5*f + 974 + 71. Is 19 a factor of f?
True
Let b(k) = 13*k**2 - 141*k - 714. Is 30 a factor of b(63)?
True
Suppose -p - 3*p - 1171 = f, -3496 = 3*f - 5*p. Let w = 2319 + f. Does 13 divide w?
False
Suppose -116*p = -107*p - 7614. Is 17 a factor of p?
False
Let f = 36 - 26. Suppose f + 6 = 4*u. Suppose 4*p - 120 = -u*x + 88, 3*x - 252 = -5*p. Does 24 divide p?
True
Let w = -97 - -149. Suppose -w - 143 = -3*p. Suppose 5*k = v + 7 - p, 0 = 4*v + 4*k - 184. Is 12 a factor of v?
True
Let o(f) = 108*f**3 - 8*f**2 + 12*f - 15. Let z(r) = 54*r**3 - 4*r**2 + 6*r - 7. Let l(n) = -3*o(n) + 7*z(n). Does 53 divide l(2)?
True
Let s = -1000 + 1938. Is 11 a factor of s?
False
Does 65 divide (-4006554)/(-460) + (-2)/(-20)?
True
Suppose -4*a + 9*a = 510. Let y = a + -97. Suppose -y = 2*r - j - 96, 0 = -3*r - 4*j + 153. Is 4 a factor of r?
False
Let c be (-2)/7 + 8976/1232. Let h(y) be the third derivative of y**5/20 - 7*y**4/24 - y**3/2 + y**2. Is 19 a factor of h(c)?
True
Let k be 167/(-2)*(32 - 62). Suppose 5*a - 5*c = k, 3*a + 2*c - 1158 = 365. Does 13 divide a?
False
Let d(k) = 22*k + 1. Let f be d(-1). Let l be f/(-28) + 1 + (-253)/(-4). Does 4 divide ((-13)/l - (-22)/10) + 10?
True
Let x = 8280 - -3716. Does 63 divide x?
False
Suppose 3920 = -g - 9*g. Let f = g + 729. Is f a multiple of 33?
False
Let t = -32 + 32. Suppose 4*h - 3*j + 73 = t, 4*j + 108 = -h - 3*h. Let u = 62 - h. Is 28 a factor of u?
True
Let p(g) = 2*g. Let m(z) = -394*z + 4. Let r(n) = -m(n) + 8*p(n). Does 14 divide r(1)?
True
Suppose 0 = -3*o + 3*r - 3, -3*o - 4 = 6*r - 10*r. Suppose 4*f + o*i + 2*i = 250, 3*f = -i + 189. Does 8 divide f?
True
Suppose -5*h - 24 = -2*r, -r - 4*h - 14 = -0*r. Is 12 a fac