. Suppose 5*p - k*g - 80 = 0, 5*g = -4*p + g + 80. Is p a multiple of 13?
False
Let n(u) = u**3 + 3*u**2 + 36. Let i(t) = 12*t + 64. Let q be i(-5). Let f be (-7 + 8)*0*(-2)/q. Is 9 a factor of n(f)?
True
Suppose t - 16 = -3*q, -q - 4*t + 12 = -2*q. Suppose -4*x = q*h - 16, 0 = h - 2*h + x. Suppose -5*w + 17 = h*d - 0*w, 3*d - 73 = 2*w. Does 7 divide d?
True
Suppose -114*a = 6*a - 27674 - 124246. Does 15 divide a?
False
Let p = 364 + -361. Does 93 divide 4*p*4/(-12) + 1528?
False
Let t = 23198 + 8267. Is 155 a factor of t?
True
Suppose -4*a = -0*a - 8, 12 = 4*x + 2*a. Let u(g) = 14*g**2 + x + 9*g**2 - 22*g**2 - 6*g. Does 17 divide u(9)?
False
Let m(g) = -3*g**3 + 11*g**2 - g - 5. Let s be m(3). Let t be ((-3)/2)/3 + 45/s. Suppose -19 = t*h - 271. Is h a multiple of 21?
True
Let z = 13895 - 9215. Is z a multiple of 18?
True
Let s = -66729 - -142905. Is 15 a factor of s?
False
Suppose -4*z = 5*o - 3208, -3*o + 4*z + 2588 = o. Does 27 divide o?
False
Suppose 58*s - 20 = 54*s. Suppose s*g + 6*g - 1683 = 0. Is 13 a factor of g?
False
Suppose 4*v - 3*t = -1234, 0 = 4*v - 0*t + 3*t + 1222. Let g = v + 517. Is g a multiple of 11?
False
Let o(s) = 2*s + 11. Let v be o(-4). Suppose 4*f - 4*l = -8, 5*f - v*l + 17 = 3. Does 19 divide (-2)/(2 + -3)*(-190)/f?
True
Suppose -149*c = 151*c - 5299200. Is c a multiple of 192?
True
Let z = -34 + 38. Suppose z*w = w - 2*n + 116, -5*n - 185 = -5*w. Let y = w + 3. Is 6 a factor of y?
False
Let t(j) = -24*j**3 - 14*j**2 - 13*j + 4. Let y be t(-4). Suppose 4*x = w + 664 + 704, 4*w = -4*x + y. Does 18 divide x?
True
Suppose -2*m + 3*k + 66348 = 0, m - 26861 = k + 6310. Is 11 a factor of m?
True
Let q(o) = 4*o**2 + 27*o + 8. Suppose 23 = -2*p + 3*v, 4*p + v + 13 + 12 = 0. Let w be q(p). Does 13 divide (8/(-6))/(-4) + 715/w?
False
Let x(o) = 18*o**3 - 4*o**2 - 3*o + 2. Let m be x(-2). Let n = -107 - m. Does 6 divide n?
False
Let t be (505/(-20) - -5)*8/(-3). Let k = -53 + t. Let v(o) = 5*o**2 + o. Is 3 a factor of v(k)?
True
Suppose 3*j = -j + 12. Suppose j*x = 3*v + v - 17, v + x = 13. Is 193/(-1)*v/(-5 - 3) a multiple of 25?
False
Suppose 4*o = -16, 2*r - 9*o = -7*o + 32104. Is 236 a factor of r?
True
Suppose c + 5*s - 583 = 0, 7*c - 4*c = 3*s + 1659. Suppose -4*n = -x - 1359 + 257, -4*x - c = -2*n. Does 11 divide n?
True
Let p be (-20)/6*(-11 - (-3 + 7)). Suppose 49*b = p*b - 3. Suppose 44 = 4*q + 4*x, -q - b*x = -4*x - 13. Does 12 divide q?
True
Let u be ((0/(-4))/(6/3))/(-1). Suppose u*p - 4920 = -6*p. Suppose 12*d = 7*d + p. Does 15 divide d?
False
Let t(d) = 381*d - 21485. Does 370 divide t(130)?
False
Let h(b) = 4 - 4*b - 10*b - 15*b + 3*b**2 - 10*b. Let f be h(9). Let r = 57 - f. Does 23 divide r?
True
Let o(g) = 4*g**2 - 2*g - 3. Let d be o(-3). Let b = -37 + d. Suppose -5*y = 2*h - 231, -4 = b*y - 14. Does 19 divide h?
False
Suppose 0 = -3*b + 3, g = 2*g + 4*b - 1189. Suppose -3*l = -y + l + g, 2*y = 5*l + 2382. Suppose 10*c - 1449 - y = 0. Is 25 a factor of c?
False
Suppose 4*v + 4*y - 28 = 0, 0 = -3*v + 2*y + 37 + 4. Let x(m) = 46 - v*m - 32 - 72*m. Does 45 divide x(-2)?
True
Let w be ((-168)/35)/(4/(-10)). Let u(s) = s + 9. Let o be u(w). Suppose -16*i = -o*i + 175. Is i a multiple of 7?
True
Let m = -1 - -1. Suppose 14*s - 31 - 11 = m. Is s a multiple of 3?
True
Suppose 0*l + 4*l + 5*c = -69, -2*l - 42 = 4*c. Let p be ((-2)/3)/((-4)/(-318)). Let a = l - p. Is a a multiple of 14?
True
Let b = -701 + 831. Suppose -7*v + 614 = -2*v - 4*y, v + y = b. Is v a multiple of 14?
True
Suppose 2*u - 241 = 155. Let w = u - 26. Is 43 a factor of w?
True
Let z = -61 + 61. Suppose z = -2*l - 33 + 119. Let r = 54 - l. Is r a multiple of 11?
True
Is -36200*-10*11/220 a multiple of 107?
False
Let u = 136 + -145. Let l be (-3)/(4/((-12)/u)). Is 26 a factor of 3/(l - 2) - -2 - -51?
True
Let i = 27449 + -11679. Does 89 divide i?
False
Suppose -h - 36 = 3*p - 46, -2*h + 20 = 3*p. Suppose -14*d - z = -h*d - 2976, 4*z - 3731 = -5*d. Is d a multiple of 17?
False
Suppose 4*l = 5*v + 1152, -5*v = 32*l - 27*l - 1395. Suppose 5*z + 877 = 3*y + z, z - l = -y. Is 18 a factor of y?
False
Let j = -70111 - -122059. Is 247 a factor of j?
False
Let y = 23864 + -23863. Let o be 2/(-4)*5*2. Is 3 - (y + o + 0) even?
False
Let d(v) = 87*v - 362. Suppose 32 = 2*b - f + 20, -2*f - 9 = -b. Is d(b) a multiple of 4?
False
Is 5 a factor of (-2 - -12)/(4/(270 - 6))?
True
Let a = 67544 - 39936. Is a a multiple of 7?
True
Does 25 divide (16 + (-440 - -4))*(-3 + (-87)/6)?
True
Suppose 4*m - 7*r = -4*r + 27930, -m + 6988 = 2*r. Is 37 a factor of m?
False
Let n = -621 + 968. Suppose -3*a - 450 = -2*v, v - 4*a + 122 = n. Is 25 a factor of v?
True
Let x be -7*(51/(-7) - 3). Let h = 157 - x. Does 12 divide h*1 + 29 + -33?
False
Let z(s) = -45*s - 9. Suppose 6 + 32 = k. Let i = k - 41. Does 42 divide z(i)?
True
Suppose 4*k - 3830 = -2*w, 0 = -w + 5*k - 0*k + 1901. Suppose 11*i - w = -2*i. Does 21 divide i?
True
Suppose -2*u - 10 = -4*x, u - x = -0*u. Suppose 0 = -u*d + 30 - 15. Does 21 divide -2 + 5 + (d - -16) + -1?
True
Let q(s) be the first derivative of s**4/4 - 5*s**3/3 + 5*s**2 + 19*s + 65. Is q(6) a multiple of 23?
True
Let k(c) = c**3 + 22*c**2 - 10*c + 60. Let u be k(-22). Let b = 311 - u. Is b a multiple of 2?
False
Suppose 38*a + 83*a = 77770 + 14674. Is a a multiple of 191?
True
Let a = 407 + -562. Let x = a + 428. Is x a multiple of 7?
True
Let p = -800 - -802. Suppose -34*u + p*r - 3481 = -39*u, -4*r = u - 707. Is u a multiple of 27?
False
Let f(x) = 2*x**2 + 5*x - 36. Let n = -326 - -337. Does 75 divide f(n)?
False
Let s be (1 - (5 - 2))/(-3 - -2). Suppose -2*h + 2*z + 14 = z, -5*h + s*z + 34 = 0. Does 6 divide h?
True
Let v(g) = 21*g**2 - 6*g. Let h be (-30)/90 + (-178)/(-3). Let s = h + -60. Is 13 a factor of v(s)?
False
Suppose 5*a - 725 = -d, -2*d + 7*a + 1462 = 11*a. Let v = 1263 - d. Is 33 a factor of v?
True
Suppose -52*i + 53*i - 469 = 0. Suppose 463*r - i*r + 408 = 0. Does 17 divide r?
True
Let i(b) be the first derivative of 3*b**2/2 + 38*b - 2. Does 2 divide i(1)?
False
Let g(y) = -15*y**3 + 15*y**2 + 22*y + 18. Is 105 a factor of g(-9)?
True
Does 15 divide (7442/305)/(2/(-310)*-1)?
False
Let c(m) = 26*m + 20*m - 24*m**2 + 158*m**2 - 47*m. Is c(-1) a multiple of 13?
False
Let d(s) = -12*s + 108. Let h be d(9). Does 11 divide ((-1032)/(-20) - h)/(10/275)?
True
Suppose a = 23*a - 176. Let b(k) = 8*k - 19. Does 9 divide b(a)?
True
Let i be 822/(-4)*(-2)/3. Suppose -5*j = 5*p - 1330, 5*p = j - 153 - i. Suppose 0 = -8*y + 2*y + j. Does 15 divide y?
True
Suppose 0 = 107*v - 4182696 - 1509080 + 1491063. Is 381 a factor of v?
False
Suppose 0 = 2*t + 10 - 4, -6849 = -4*j - 5*t. Does 143 divide j?
True
Let i = 55 - 39. Suppose 19*f = -i*f + 15330. Is f a multiple of 4?
False
Let r be (-18636)/(-10) + (-12 - (-342)/30). Let t = r + -1109. Does 26 divide t?
True
Let d be 2/(-6) - (-280)/84. Let c(q) = -q. Let s be c(-1). Is 3 a factor of s/((-6)/(-49)) + d/(-18)?
False
Let n = 17752 + -10324. Does 24 divide n?
False
Let a(o) = 375*o - 387. Is a(8) a multiple of 24?
False
Suppose 2834 = 3*o - m, -37*o + m - 1901 = -39*o. Is 6 a factor of o?
False
Let n(p) = p**2 + 47*p - 380. Let d be n(7). Is (462/24)/(d/(-24)) a multiple of 21?
True
Is (-11 - -13)*12984/16 a multiple of 6?
False
Suppose 4*a - 3 - 5 = 0. Suppose q = 3 + a. Let y(m) = 8*m + 10. Is 10 a factor of y(q)?
True
Let j = -988 + 682. Is 22 a factor of (-7)/(14/j) - -1?
True
Let s(w) = 20*w**2 + 7*w - 1. Let v = 357 - 352. Is s(v) a multiple of 89?
True
Let y be (-38)/(-9) - 34/153. Suppose 0 = -y*q + 4*j + 59 + 273, 4*j + 162 = 2*q. Is q a multiple of 19?
False
Let x = -16 + -4. Let o be 2/4*(-16 - x). Suppose -410 = -o*u - 8*u. Does 17 divide u?
False
Let o = 146 + -141. Suppose 4*d = -o*j - d + 915, -179 = -j + d. Does 11 divide j?
False
Let t = 198 - 236. Is -3*2/3*t a multiple of 3?
False
Suppose 4*v + y + 3*y = -32, 4*v + 22 = y. Let d be 3/v*(-1 - 267). Let f = d + -92. Is 14 a factor of f?
True
Suppose -11637*k + 11617*k = -797280. Does 22 divide k?
True
Suppose 99*b - 106920 + 12623 = 1037372. Is b a multiple of 71?
True
Let k(p) = 26*p + 37. Let w be k(11). Let c = 548 - w. Let s = c + -144. Does 27 divide s?
True
Let f(o) = 82*o**2 + 188*o + 1802. Is f(-9) a multiple of 107?
