ivide o?
True
Suppose 0*w - 11 = 5*r + 4*w, -w = r + 2. Let z be -2*(-2)/(-12)*-3 - r. Suppose -7*k = -z*k - 84. Is 7 a factor of k?
True
Let p = -41 - -46. Suppose -p*d + 16 = -3*d. Suppose m + d*u - 3*u - 99 = 0, 3*u - 285 = -3*m. Does 26 divide m?
False
Suppose -2*z = 4*p - 33164, -33164 = -253*p + 249*p + 3*z. Does 9 divide p?
False
Suppose 149*d = 5*w + 144*d - 28660, 4*w - 22921 = -3*d. Does 30 divide w?
False
Let m be 1432/32 - -9 - 2/(-8). Suppose -m = -u + 15. Does 19 divide u?
False
Let h be ((-12)/15)/(4/(-50)). Suppose -1187 = -h*a + 4663. Is a a multiple of 6?
False
Let x(i) = 11*i**3 - 7*i**2 + 6*i + 8. Let a be x(-14). Is 17 a factor of a/(-104) - -4 - (-4)/(-26)?
False
Let f(t) be the first derivative of -t**2/2 + t + 7. Let u be f(-7). Let o(a) = a**3 - 6*a**2 - 9*a - 12. Does 11 divide o(u)?
True
Let p = -2617 + 4947. Suppose 13*x - 803 - p = 0. Is x a multiple of 24?
False
Suppose -5*p + 4 + 16 = 0. Suppose 0 = -5*l + p + 6. Suppose u + l*y + 60 = 3*u, -u + 5*y = -10. Is u a multiple of 7?
True
Suppose 4*r = 37*l - 36*l - 13791, -3*r + 9 = 0. Is l a multiple of 107?
True
Let y(m) = -m**2 + 5*m + 32. Let z be y(9). Let i(a) = -24*a - 41. Is 5 a factor of i(z)?
True
Let q(h) = -98*h + 61. Let k be q(-8). Suppose -m - m = -3*r - k, 2*m = -4*r + 880. Does 37 divide m?
False
Let k(t) = 1361*t + 4236. Is k(6) a multiple of 9?
True
Suppose -9*l = 37*l - 7*l - 114933. Is l a multiple of 4?
False
Suppose 3*n - 2376 = 3*x, -2*n + 1583 = x - 4*x. Let q = 1165 - n. Is q a multiple of 34?
False
Let q(n) = -2*n**2 - n - 11. Let t(z) = z**2 + 2*z + 10. Let c(o) = 2*q(o) + 3*t(o). Let l be c(5). Suppose 275 = -l*g + 815. Does 45 divide g?
True
Suppose 0 = -5*y - 633*p + 636*p + 8813, 0 = 5*p + 30. Is y a multiple of 10?
False
Let b(y) = -8*y - 149. Let s be b(-19). Suppose 7*i - 9*i = v - 8, -s*v + 34 = 4*i. Is 6 a factor of v?
True
Let j(k) = k**2 - 15 + 9*k - 6 - 5*k**2. Let x(p) = -11*p**2 + 28*p - 63. Let d(z) = -8*j(z) + 3*x(z). Is 5 a factor of d(9)?
False
Let l(q) = 3*q**2 - 36*q + 32. Does 61 divide l(41)?
True
Suppose 213*g - 455*g + 29282 = 0. Is g a multiple of 3?
False
Let v = -2091 + 3255. Suppose 2*t - 3*y - v = 0, 0 = 4*t - 16*y + 15*y - 2308. Is 8 a factor of t?
True
Let c = 75 + -71. Suppose -2*w = 4*p - p - 4389, c*p = -2*w + 5854. Is 13 a factor of p/11 + -3 + 2/(-11)?
True
Suppose -96968 = -4*r - 5*f, -r - 8*f + 11*f + 24208 = 0. Is r a multiple of 26?
True
Let d(g) = -491*g - 27. Let w = -828 + 825. Is d(w) a multiple of 45?
False
Let t(o) = -10 + 15*o + 0*o**3 + 8*o**3 - 4*o**3 - 8*o**2 - 3*o**3. Is t(6) a multiple of 4?
True
Does 12 divide 95/(-1710) - (-2194565)/90?
True
Let l(a) = a**3 - 6*a**2 + 9*a - 3. Let u be l(4). Let y = -2 - u. Is 1 - ((y - -4) + -99) a multiple of 8?
False
Is 24 a factor of (64/48)/(11/15048)?
True
Let h be (-78)/(3 + -6) + -2. Suppose -h*r + 4200 = 26*r. Does 7 divide r?
True
Let q(z) = -153*z - 36. Let u be q(-11). Let x = u + -979. Is 26 a factor of x?
False
Let c(z) = -294*z - 42. Suppose -18*l - 4*l - 44 = 0. Does 91 divide c(l)?
True
Let i = -684 - -468. Let s = 977 - 615. Let c = s + i. Does 10 divide c?
False
Let d be 7/35 - (-19)/5. Suppose -6*l + 28 = -l - d*q, 3*l - 14 = q. Suppose 2*k - 297 = -3*b, l*k - 2*k = b + 285. Does 16 divide k?
True
Suppose -18*i + 1479816 = 119*i - 33*i. Is 31 a factor of i?
True
Let r = 15223 - 6583. Is 90 a factor of r?
True
Suppose -54*z - 34610 + 196502 = 0. Is z a multiple of 5?
False
Suppose -5*c + 1060 + 3215 = -4*u, -4260 = -5*c + u. Let p = 1459 - c. Does 7 divide p?
False
Suppose -56*k + 5*o = -60*k + 86057, 5*k = 4*o + 107520. Is 76 a factor of k?
True
Suppose -865 + 215 = -25*f. Suppose -f*o - 1029 + 6957 = 0. Is o a multiple of 19?
True
Let m be 2*(-12)/(-32)*4. Let c(d) = -2*d**2 + 3*d + 6. Let w be c(m). Is 134 - -1*(-4 - w) a multiple of 19?
True
Suppose -24*s = -22*s - 10. Suppose 1285 = s*l - m, 3*l - 5*m = -0*m + 749. Does 26 divide l?
False
Let g be ((-9)/36)/(-4*1/(-48)). Does 18 divide 75/(-3)*-22 - g?
False
Suppose -39*r + 53811 - 22799 = -35132. Does 68 divide r?
False
Let d = 140 + -140. Suppose -4*v = 3*p - 1023, d*v - 3*v + 766 = p. Does 30 divide v?
False
Let s = -20958 + 21089. Is 131 a factor of s?
True
Does 10 divide (-219219)/(-28) - (-1)/4 - 10/(-20)?
True
Suppose -99229 = -5*f + j - 21984, -61796 = -4*f - 3*j. Does 277 divide f?
False
Suppose 0 = -2*c - q + 4 + 31, 0 = 3*c + 5*q - 70. Let p = c + -11. Suppose -m + 128 - 52 = -p*x, -3*x = -4*m + 317. Is 8 a factor of m?
True
Suppose 0 = 7*w - b - 127006, 3*w - 9*b = -14*b + 54442. Does 189 divide w?
True
Let m(a) = -32*a + 2*a**2 - a**2 + 64*a - 30*a. Let n(v) = -12*v**2 - 2*v - 9. Let z(i) = -3*m(i) - n(i). Does 9 divide z(3)?
False
Is 124*-33*(-40)/6*3/6 a multiple of 221?
False
Let g(z) be the first derivative of -z**2/2 - 14*z + 29. Let r be g(-20). Suppose -r*n = -9*n + 435. Is 33 a factor of n?
False
Suppose -2*p + 12 - 8 = 0. Let o be 334/p*(1 - 3 - 4). Is 21 a factor of (4/12)/((-2)/o)?
False
Suppose 0 = 5*f + x - 601, f - 103 = x + 22. Suppose 5*b = 2*p + 70, -3*p = -8*p - b - f. Is 65 + (-7)/((-35)/p) a multiple of 17?
False
Suppose 0 = 27*w - 21*w - 108. Suppose w*b - 1716 = 14*b. Does 15 divide b?
False
Let o(s) = -22*s**2 + 4*s - 2. Let z be o(2). Let c = z + 82. Suppose -2*k + 167 - 119 = c. Is 24 a factor of k?
True
Suppose -18*f = -16*f - 1354. Let j = f - 593. Is 10 a factor of j?
False
Let x be (0/(-3))/(-5) + (3 - 1). Let f(n) = 79*n**x - 34*n**2 + 1 + 4*n - 37*n**2. Is 15 a factor of f(-4)?
False
Suppose -12*k - 1512 = -15*k. Is 35 a factor of -305*(k/30)/(-7)?
False
Let i be 1 - 5/((-5)/(-2)) - -156. Suppose 0 = -5*u - k + 120 + 39, 5*k = -5*u + i. Is u a multiple of 8?
True
Let p = 358 + 2282. Suppose -14*r - 106 = -p. Does 49 divide r?
False
Let g(l) be the third derivative of -3*l**2 + 0 + 0*l + 25/12*l**4 - 5/3*l**3. Is g(2) a multiple of 15?
True
Does 73 divide ((-8)/(96/(-122628)))/(3 - 2)?
False
Suppose 6*p - p = 0. Suppose 13*k - 8*k - 15 = p. Suppose 5*y = k*i + 190, -3*y + 2*i = -i - 120. Is 6 a factor of y?
False
Let j = 209147 + -140796. Is 13 a factor of j?
False
Let f be 1/2 - -3*9/6. Suppose -n + 15 = 5*z, 5*n - f = -2*z + 1. Suppose 6*r - 5 = r, -5*r + 77 = z*t. Does 6 divide t?
True
Let b(h) = -h. Let u(x) = 38*x + 5. Let i(g) = -6*b(g) + u(g). Let j be i(-5). Let t = j + 310. Does 19 divide t?
True
Let g(v) = v + 21. Let o be g(-27). Let t(z) = 9*z**2 + 17*z + 33. Is t(o) a multiple of 5?
True
Let k = 453 + 5005. Suppose 5*a = -m + k, a + 3*a = -m + 4366. Does 28 divide a?
True
Let t be 5*-4*(14/(-4) + 3). Is (5/t)/((44/(-2872))/(-11)) a multiple of 5?
False
Suppose -9*b + 19*b - 594872 = -96*b. Is b a multiple of 122?
True
Let x be (2 + 1)*-1 - (-10 - 2). Let c(s) = -s**3 + 11*s**2 - 19*s + 12. Let b be c(x). Suppose 0 = -5*v - a + 296, 0 = -b*v + 2*a - a + 184. Does 5 divide v?
True
Suppose 90 - 18 = 3*o. Suppose 0 = m - 0*m + 5*p - o, p = m. Suppose -r - r - 6 = 0, 0 = m*v - 4*r - 504. Is v a multiple of 16?
False
Let j(n) = 2*n**3 - 31 - 46*n - 28*n**2 + 1 - n**3 - 34. Is 38 a factor of j(30)?
False
Let u(m) be the second derivative of -5*m**5/2 + m**4/12 + m**3/2 + m**2 + 13*m. Is u(-2) a multiple of 16?
True
Suppose 0 = 2*z + 153 - 167. Does 13 divide 218/z*(70 + -56)?
False
Suppose 0 = -2*i + 3*z - 22, -i + 3 = -4*i - 3*z. Is (5 - 6) + i - -19 a multiple of 2?
False
Let c be (876/(-18) - 0) + 20/(-15). Let a = 372 + c. Is 4 a factor of a?
False
Suppose -4*p + 5*y + 26543 = 0, -18*p + 13*p + 2*y = -33200. Does 18 divide p?
True
Suppose -72*d - 261931 + 1542379 = 0. Does 17 divide d?
False
Let j(m) = m**2 + 6. Let h be j(0). Let i be 5/(1 - h) - 731. Does 3 divide i/(-32) + 2/16?
False
Let h = 34 + 1. Let n = h - -13. Suppose 0 = -5*s - 2*u + 211, -s + n = -4*u - 3. Is 5 a factor of s?
False
Let u = 940 + -325. Suppose 5*t - u = -5*x, 3*t - 362 = -0*t + 4*x. Suppose 0 = -a - j + t, -4*a + a = -2*j - 361. Is a a multiple of 17?
False
Let s = 244 + -343. Does 9 divide (8 + -7)*(-4 - s)?
False
Let j(v) = -3*v**2 + 28*v - 11. Let z be j(8). Suppose -2*p + 6 = 0, -3*o = -z*p + 18*p - 2082. Does 44 divide o?
False
Suppose -31*l - 18*l + 52249 = -106119. Is l a multiple of 37?
False
Let n be (-10 + 8)/2*(1 - 4). Suppose -3*p + 4