
True
Let d = -179 - -133. Let f = 179 + d. Is 14 a factor of f?
False
Suppose 2*f + 264 = 5*o + 4*f, -228 = -4*o + 4*f. Let d be ((-2)/(-6))/(3/o). Let z(v) = -3*v + 31. Is 2 a factor of z(d)?
False
Let h be (-376)/(-1)*(-713)/(-124). Suppose 13*c = 1127 + h. Is 15 a factor of c?
False
Suppose 446*o - 449*o - 5*j = -69060, 0 = -5*o + 3*j + 115032. Does 111 divide o?
False
Suppose -5*n + 299 = -4*r, 237 = -2*r + 2*n + 85. Let b = -162 - r. Let z = -43 - b. Is z a multiple of 19?
True
Let y(m) = 8 + 7*m**2 - 4*m - 3*m - 4 + 10. Does 28 divide y(3)?
True
Suppose 0 = -7*x + 5*x. Does 22 divide (2/(-4) + 1 - x)*762?
False
Let h(y) = 16*y + 10. Let k be h(-6). Let f = k + 27. Let q = f + 103. Is q a multiple of 22?
True
Let y = 56 + -37. Suppose 5 - 3 = 2*n. Let q = y + n. Does 4 divide q?
True
Let m(c) = 10 - 31*c - 4 - 21*c + 8. Let p be m(5). Let q = 517 + p. Is q a multiple of 18?
False
Suppose -15*u = 27*u - 83*u + 441037. Is 31 a factor of u?
True
Let p(r) = 37*r + 25. Suppose -9 = 98*t - 101*t. Does 8 divide p(t)?
True
Let g(p) = -699*p + 844. Is 47 a factor of g(-6)?
False
Let p(c) = 4*c + 11. Suppose 0 = -3*s - k - 27, k = -5*s + 2*k - 53. Let y be s/20 + 22/4. Does 19 divide p(y)?
False
Is 14 a factor of (6 - 0)*(-253890)/(-270)?
True
Suppose 3*p + 35 = 29, -5*p + 8 = -2*r. Does 13 divide (75/r + -9)*9/(-1)?
True
Let u = 78 - 75. Suppose v + u*a - 3 = 0, 0 = -4*v + 4*a - 4 - 0. Suppose 3*j - j - 976 = -5*r, -5*r - 5*j + 970 = v. Is 25 a factor of r?
False
Suppose -7*s + 3*s - 20 = 0. Let t(i) = 6*i**2 - 4*i + 5. Let o(c) = -5*c**2 + 3*c - 6. Let a(b) = s*o(b) - 4*t(b). Is 25 a factor of a(9)?
True
Suppose -40*x - 395 = -41*x. Suppose 429 = 4*p - 5*c, -x + 73 = -3*p + 4*c. Is p a multiple of 17?
False
Let p = 6309 + -2664. Is 27 a factor of p?
True
Let q = 64 + -153. Let j = 91 + q. Suppose g = -2*l + 181, 0*l + 98 = l + j*g. Does 13 divide l?
False
Is ((-6)/(-3) + 15722/(-21))*525/(-20) a multiple of 8?
True
Let c(t) = -194*t + 250. Let n be c(-7). Suppose 2*k - n = 120. Does 54 divide k?
True
Let g = 5495 - 985. Is 82 a factor of g?
True
Let t = 583 - 580. Let l(z) = 25*z**2 - 12*z + 9. Does 3 divide l(t)?
True
Let c be 6*(4 - (-26)/(-6)). Is 2 + 2/(-2) + c + 93 a multiple of 15?
False
Suppose -21 = 9*o + 123. Is 5 a factor of 232/3 - ((-144)/27)/o?
False
Let b = 152 + -157. Does 4 divide 15*7*2*b/(-10)?
False
Suppose 3*x - 38298 = -4*w + 19773, 0 = -3*x + 27. Does 21 divide w?
True
Suppose 0 = -11*u + 20 + 46. Suppose u*a - 5*a = 0. Let t = 23 + a. Does 3 divide t?
False
Suppose 5*k - 20278 - 7122 = -q, k - 3*q - 5496 = 0. Is k a multiple of 95?
False
Let d = 36667 - -2170. Is 157 a factor of d?
False
Let f = 175 + -156. Does 10 divide 266*(f/9 - 22/198)?
False
Let m = 617 + -632. Let x(u) = -u**3 - 14*u**2 - 36*u - 24. Is x(m) a multiple of 47?
False
Suppose -9*f = -15919 + 2941. Suppose -v + f = 2*z, 5*v = -z + 217 + 513. Is 15 a factor of z?
True
Let l(a) = -9*a + 33. Let w be l(3). Is 96 a factor of (w/(72/428))/(5/75)?
False
Suppose -9*z - 520 = 4*z. Let h = z - -69. Does 11 divide h?
False
Does 25 divide 5744 + -16 + ((-10)/(-2) - -1)?
False
Let p(v) = -3*v. Let l be p(-2). Suppose -3116 = -l*m + 3904. Suppose 0 = -5*r - 0*r + m. Is r a multiple of 26?
True
Suppose 5*f - 828 = -3*d, 3*d - d - 552 = -f. Suppose -10*r + d = -454. Suppose r*b - 76*b + 312 = 0. Is 8 a factor of b?
True
Let j(n) = 116*n**2 + 3*n - 14. Let q(w) = 8*w - 110. Let b be q(14). Does 12 divide j(b)?
True
Let h(w) = 82*w**2 + 5*w - 10. Let j be h(2). Suppose 5*b + j = 3*t, -5*t + 4*b + 520 = b. Does 6 divide t?
False
Let b(j) = 3*j**2 - 6*j - 162. Let g(q) = q**2 - 2*q - 1. Let m(t) = b(t) - 2*g(t). Is 21 a factor of m(-17)?
False
Suppose 453 = 5*x - 667. Suppose -x = 5*v + 186. Let l = v + 117. Does 26 divide l?
False
Let y = 352 + -346. Does 11 divide (-4703)/(-8) - y/(-48)?
False
Let l(u) = -16*u - 21. Let j be l(21). Let o = j + 1037. Is o a multiple of 17?
True
Suppose -v + 370 + 388 = 0. Suppose -j = -10*z + 5*z + 759, 5*z = 2*j + v. Is z a multiple of 15?
False
Let o = 46 - 43. Suppose 3*b = -3*m - 57, -4*m = -b - o*b + 84. Is 5*(-1 + 2)/((-4)/m) a multiple of 5?
True
Let y be (-24)/108 - 26/(-18)*1049. Suppose 3*l = -4*w + y, 5*l = 2*w - 6*w + 1525. Suppose 0 = -3*s - 5 - 1, -3*m + w = -3*s. Is 14 a factor of m?
False
Suppose -3*n + 10*s - 42166 + 111846 = 0, -5*s = 4*n - 92815. Does 185 divide n?
False
Suppose -5*m = 844*f - 839*f - 50590, 0 = 4*f - m - 40512. Does 83 divide f?
True
Let p = -121 - -126. Let s(q) = -q**3 + 5*q**2 - q + 7. Let b be s(p). Suppose -3*c + 3*w + 312 = 0, 2*w + w = -b*c + 228. Is c a multiple of 27?
True
Does 33 divide (694/9 + 0)*36?
False
Let d(x) = -4*x + 28. Let s be d(4). Suppose 5*t - 3*r = -0*t + 2512, 3*r = -s. Is t a multiple of 13?
False
Let y = 28485 + -19606. Does 13 divide y?
True
Let c(y) = -1041*y**3 + 3*y**2 + 2*y - 2. Let z be c(-1). Let d = 1588 - z. Does 29 divide d?
False
Suppose 4*a = -5*b + 34, 5*a - 29 = 5*b + 36. Does 52 divide 158 - a/((-66)/(-12))?
True
Let m(y) be the second derivative of -2*y**3/3 + 53*y**2 + 145*y. Is m(11) a multiple of 16?
False
Suppose 76*w - 77*w + 33992 = 5*g, 3*w = 2*g - 13573. Is 8 a factor of g?
False
Suppose -2*t + 5*d + 877 + 2562 = 0, t - 4*d = 1718. Is t a multiple of 42?
True
Suppose -10*p = -25 - 25. Suppose p*t + 21 = -2*v + 1068, -4*v = 4*t - 828. Does 20 divide t?
False
Does 75 divide -48819*(-4)/12 - (-16 + 14 + 0)?
True
Let r(f) = 1953*f - f**2 + 3*f**2 + 41 + 50*f**3 - 1976*f. Is r(2) a multiple of 31?
True
Let h(j) = -j**2 + 4*j + 5. Let k be (2 + -3)/((-7)/28). Let s be h(k). Suppose s*t = -3*c + 311, -3*t - 464 + 30 = -4*c. Is c a multiple of 9?
False
Let l be 5 + 0*1/(-5 - -3). Does 61 divide 608/5 + 2/l?
True
Is 8 a factor of (48/(-15))/((-49)/20090)?
True
Let r = 36 - 34. Let t(f) = 6*f - 3*f - 35 + f**r + 48. Does 31 divide t(-6)?
True
Suppose -713 - 17246 - 1801 = -20*k. Is 26 a factor of k?
True
Let c = 519 - 469. Let a = 586 - c. Is a a multiple of 67?
True
Let r be 0 + ((-25)/(-5) - (-28)/1). Suppose 22*v - 5*o - 119 = 19*v, v - 3*o = r. Does 21 divide v?
False
Suppose 2*n = 39 + 27. Suppose 6*z - 3*z = n. Let t = z - -6. Is t a multiple of 17?
True
Let s(p) = -p**3 - 4*p**2 + 2*p - 9. Let q be s(-5). Suppose -h + 8372 = q*h. Is h a multiple of 23?
True
Let t = -773 - -1181. Does 51 divide t?
True
Is 10 a factor of 252 + -256 - (-1)/(1/132)?
False
Let n = 46353 + -24198. Is n a multiple of 15?
True
Suppose -8*v + 16 = -0. Suppose 0 = -4*c - 0*q + q - 34, 2*q - 20 = v*c. Does 12 divide (9/(-2))/(1/c)?
True
Suppose -9570*j = -9566*j - 1232. Is 14 a factor of j?
True
Suppose 0 = 18*k - 6137 - 3745. Let j = -525 + k. Is j a multiple of 6?
True
Let h(n) = -n**3 + n**2 - 4*n - 70. Let x(o) = o**2 - o. Let u(r) = -h(r) + 2*x(r). Suppose -4*p - 4*d + 2*d = 6, -5*d = 3*p + 15. Is u(p) a multiple of 10?
True
Let m(a) = 134 + 135 + 3*a + 0*a - 257. Let l(c) = -c**2 + 7*c + 8. Let s be l(6). Is m(s) a multiple of 14?
False
Let s be (-690)/69 + 610/1. Let k(y) = 2*y**3 + y**2 + y - 4. Let b be k(3). Suppose b*f = 67*f - s. Is f a multiple of 10?
True
Suppose 2*k - 29 + 108 = 5*i, -4*k + 2*i - 198 = 0. Does 13 divide (-4)/((-8)/(-26))*k/4?
True
Suppose -5*h - 56070 = -4*z + 105692, -5*z = 2*h - 202252. Is 63 a factor of z?
False
Suppose -r - 2*w + 2958 = 3*r, 5*r = w + 3701. Suppose -r = -15*c + 1360. Does 14 divide c?
True
Suppose -4*b + 12 = 44. Does 22 divide (-4)/(160/(-1635)) - 1/b?
False
Suppose -3*n + 42 = 3*u, -22 = -3*n + u + u. Let l(o) = -o**3 + 11*o**2 - 9*o - 7. Let w be l(n). Suppose 0 = w*f - 11*f + 424. Is f a multiple of 11?
False
Let m = 36431 - 22848. Does 5 divide m?
False
Suppose -x = 4, -3*h + x + 2*x + 18 = 0. Let a(k) = 9*k**h - 52 + 57 - k + 8*k - k**3. Does 11 divide a(9)?
False
Suppose 12*i - 105 = -141. Let h(d) = -10*d**3 - 7*d**2 + 5*d + 12. Is h(i) a multiple of 3?
True
Suppose -5*w - 69*w + 263514 = 0. Is w a multiple of 45?
False
Suppose 127*h = -2880 + 14564. Let n be 4/2 - 58*1. Let u = h + n. Does 5 divide u?
False
Let k(d) = 20*d**2 - 9*d - 50. Let j(r) = -11*r**2 + 4*r + 25. Let q(v) = -11*j(v) - 6*k(v). Is 13 a factor of q(11)?
False
Let s(l) be the third derivative of 4*l**3 + 0 + 0*l + 1/60*l**5 - 16*l**2 - 13/24*l**4