)/18*-238 - -2)*3. Let y = 145 - t. Is 2 a factor of y?
True
Is 119 a factor of (-6*6/24)/((-14)/36652)?
True
Let d(o) = -207*o + 422. Is 36 a factor of d(0)?
False
Suppose -5*c - 5*q + 55 = 0, 3*c = q + q + 18. Is 13095/108 - 10/c a multiple of 15?
True
Suppose -1 = -13*r - 1. Does 14 divide 31/((-162)/(-32) + r + -5)?
False
Let d = 77 + -72. Suppose -4*i + 1379 = -d*u - 604, 4*u = -2*i + 972. Suppose -150 + i = 6*f. Is f a multiple of 7?
False
Let i(m) be the second derivative of -7*m**2 - 3/4*m**4 + 1/20*m**5 + m**3 + 24*m + 0. Is i(9) a multiple of 10?
True
Suppose 276 = m - 3*s, 9*m - 4*m - s - 1366 = 0. Suppose 0 = 4*d + n - 521, d - 3*d - 3*n = -m. Is 55 a factor of d?
False
Let u = 3410 - 2242. Is u a multiple of 50?
False
Suppose 0 = 3*m + m - 4*z - 472, -2*m - z + 239 = 0. Suppose -4*f + 676 = k, 3*f - m = 4*k + 407. Is 34 a factor of f?
True
Let w = 42 + -19. Suppose 0 = -f + 29 + w. Let t = f + 6. Is 11 a factor of t?
False
Let t(u) = 75*u**2 - 36*u - 120. Is t(-3) a multiple of 18?
False
Let y(o) = o**3 + o + 1. Let a(j) = 5*j**3 - j**2 + j - 1. Let z(f) = -a(f) + 4*y(f). Let t be z(0). Is 28 a factor of 87 + 1 + (t - 7)?
False
Let m(f) = 329*f - 175. Does 23 divide m(23)?
False
Let w(z) = -13*z**2 + 537*z + 66. Is w(23) a multiple of 5?
True
Let z be 25/(-2)*(-5)/(125/4880). Let s = 3940 - z. Is s a multiple of 15?
True
Let o(s) = 2*s**2 - 2*s - 3. Let b(d) = -1 - 32*d - 6 - 31*d + 64*d. Let l be b(5). Is 9 a factor of o(l)?
True
Suppose 0*q = -0*q + 5*q. Suppose -5*f - 6 + 21 = q. Is 8 a factor of ((-1)/4)/(f/(-276))*2?
False
Suppose -29*c + 378206 + 274028 = 17*c. Is 12 a factor of c?
False
Let k(r) = 2*r**2 - 11*r - 192. Is 54 a factor of k(41)?
False
Let a(i) = i**3 - 6*i**2 - 32*i + 82. Is 27 a factor of a(25)?
False
Is 2/(-48)*(-536)/67*35706 a multiple of 22?
True
Let i be (14 - 36/9)*(-4)/(-10). Suppose -i*r - 5*l + 2092 = 0, -r + 528 = 5*l + 20. Is 48 a factor of r?
True
Let w be (1821/2)/((-105)/1120). Is w/(-7) + (-160)/(-280) a multiple of 31?
False
Suppose 2*c + 3*c = 4*l + 20, 0 = 2*c - 8. Suppose l = -0*u + 5*u - 20. Let w = 23 + u. Does 27 divide w?
True
Let n = 2686 + -2101. Does 4 divide n?
False
Suppose 2*i + 0*i = 2*b - 2, 0 = -2*i + 5*b - 5. Let t be i + 2 - 14/(-7). Suppose 4*r + 2*u = 120, -5*r - 3*u = -t*u - 164. Does 4 divide r?
True
Suppose 4*j - 47 + 35 = -4*v, -3*j = -2*v + 1. Suppose 2*h = 7*h - y - 559, -v*y = -3*h + 334. Is h a multiple of 8?
True
Let i(m) = -2*m**2 + 30*m - 44. Let r be i(19). Let a = 328 + r. Is 34 a factor of a?
False
Let n be (-1)/(1/(-45)*(-20)/36). Let y = 228 - n. Is 12 a factor of y?
False
Let m(a) = -2355*a - 2438. Does 13 divide m(-10)?
True
Let g = -5632 - -9498. Is 23 a factor of g?
False
Suppose 0 = 2*c - 52 - 20. Suppose c*q - 10639 = 593. Is 13 a factor of q?
True
Let c = 36431 + -17009. Is c a multiple of 18?
True
Let n(p) = -569*p**3 + 8*p**2 + 19*p - 4. Does 6 divide n(-2)?
True
Let n(y) = 4*y**2 + 38*y + 766. Is n(-17) a multiple of 116?
True
Let j be 1/(-2)*(-8 - -14). Let m be (-45)/(-12) + j + 11/(-4). Does 34 divide m*(0 + 1) + (0 - -66)?
False
Let w(g) = g**3 + 15*g**2 - 39*g + 15. Suppose 62 = 7*c - 2*c - 4*l, -4*c = -5*l - 55. Let h = c - 27. Does 19 divide w(h)?
False
Suppose 42036 = 5*h + 9982 - 4286. Is h a multiple of 79?
True
Let y(v) = 12*v + 67. Let z be y(-5). Suppose 1689 = z*s + 506. Is 12 a factor of s?
False
Let p(c) = 27*c + 33. Let k(v) = -26*v - 38. Let z(r) = 4*k(r) + 5*p(r). Suppose -3*a + 1 = -8. Is z(a) a multiple of 23?
False
Let k(m) = 12*m**2 - 14*m + 29. Let d be k(-7). Suppose -5*g = -2*g + x - 2200, -d = -g - 4*x. Does 12 divide g?
False
Let z(d) = d**3 + 11*d**2 - 14*d. Let m be ((-237)/(-316))/((-2)/((-24)/(-1))). Is 48 a factor of z(m)?
True
Let t = 126 - -57. Suppose z = -3 + 6, 2*z = -2*f + 86. Let v = t - f. Is v a multiple of 6?
False
Let f(q) = 2*q**2 + 57*q - 686. Is f(-42) a multiple of 28?
True
Suppose -13*y = s - 17*y - 6256, 0 = -3*y - 6. Does 31 divide s?
False
Is 766100/30 + 28/12 + 2 + -5 a multiple of 56?
True
Let g(i) be the second derivative of -2*i**3/3 + 12*i**2 - 20*i. Let o be g(6). Suppose 3*x + 132 = 2*u + 7*x, 4*u - x - 273 = o. Does 29 divide u?
False
Let a = 206 - 206. Suppose a = 3*o - 5*f - 210, 0 = o + 3*o - 4*f - 280. Does 5 divide o?
True
Let n(q) = -q**2 + 16*q + 20. Let k be 4/(-10) + 174/10. Let t be n(k). Suppose 3*v - 135 = -w, -w = 2*v - t*v + 41. Does 8 divide v?
False
Suppose -3*p - 647 = 2*z + 2018, -3*p + 6694 = -5*z. Let h = z + 2394. Does 58 divide h?
False
Let u(a) = -12*a + 17. Let k be u(4). Let j = 35 + k. Let f = 36 - j. Does 10 divide f?
False
Suppose 5*a - 4*c = 45, a = 5*c + 14 + 16. Suppose -2*r = t - 120, -11*t = -6*t + a*r - 580. Does 28 divide t?
True
Suppose -3*v - 5*v = -2*v. Suppose -6*s + s + 1320 = v. Let t = s - 174. Is t a multiple of 17?
False
Let r = 51 - 16. Let k = r - 35. Let x = 12 + k. Is 7 a factor of x?
False
Let p(h) = 59*h**2 + 443*h - 6. Is p(7) a multiple of 6?
False
Let o(f) = 6*f**2 - 76*f + 43. Let j be o(13). Suppose -4*x = 4*s - j - 679, 4*s = -2*x + 738. Is s a multiple of 13?
True
Let h(b) = b + 157. Let k be h(34). Suppose 8*a = 1121 + k. Is a a multiple of 5?
False
Does 78 divide (9 - -19)*(-7875)/(-84)?
False
Let i(h) = 12*h - 127. Let l = -331 - -355. Is 4 a factor of i(l)?
False
Let p = -83 + 91. Suppose 0 = -p*z + 18*z - 130. Is z a multiple of 4?
False
Let j(v) = -20*v + 3870. Does 94 divide j(-65)?
True
Let p(h) = -h**3 - 15*h**2. Let t be p(-15). Suppose t*z + 3*g + 546 = 3*z, -2*z + 5*g + 370 = 0. Is 10 a factor of z?
True
Let i = 16562 - -10427. Is 137 a factor of i?
True
Suppose -112*i - 18377 = -135*i. Is i a multiple of 28?
False
Let b(t) = 1351*t + 444. Is b(6) a multiple of 30?
True
Suppose 142*r + 18*r - 254880 = 0. Is 59 a factor of r?
True
Let z be (8 - -6 - 7) + 6. Suppose z*r = 7*r + 1296. Does 24 divide r?
True
Suppose -7*b + 6*b - 28 = 0. Let x = 41 + b. Let o(w) = 12*w - 28. Is 15 a factor of o(x)?
False
Is 88 a factor of 0 + -97*108*(-7)/((-112)/(-8))?
False
Suppose 89*x - 85*x = 176. Suppose 0 = -39*i + x*i - 650. Does 15 divide i?
False
Let j be (4 - 91/28) + (-946)/(-8). Suppose -3*c = -475 - j. Does 22 divide c?
True
Let a be 5 - (-5 + 9) - (0 - 1). Let v(g) = 3*g**2 + 3*g - 3. Let s be v(a). Suppose -16*h = -s*h - 80. Is h a multiple of 16?
True
Suppose -27*r - 20513 + 70510 = -10*r. Is 19 a factor of r?
False
Let g(k) = -k**3 + 9*k**2 - 28*k + 318. Is 11 a factor of g(-15)?
True
Suppose 4*j - 3*y - 195 = 0, -3*y - 78 - 21 = -2*j. Suppose -8*w + 5*z - 176 = -11*w, 0 = 3*z + 6. Suppose j*g - w = 46*g. Does 5 divide g?
False
Let z = -192 + 195. Suppose 0 = 3*p - z, 5*w = 5*p + 412 + 1473. Is 51 a factor of w?
False
Let b = -255 - -156. Let d = b + 173. Does 5 divide d?
False
Let f(w) = 382*w**3 + w**2 + 2*w - 2. Let j be f(2). Suppose -5*c + j - 432 = 0. Is 36 a factor of c?
False
Let t be 10*4/8*113. Let q = 634 - t. Is 6 a factor of q?
False
Does 143 divide 9/(-4)*16/(-12) + -21 + 447?
True
Let q(v) = 2618*v**2 - 29*v + 27. Is 11 a factor of q(1)?
False
Suppose -5*v = m - 5605, -5*v = 19*m - 17*m - 11205. Is m a multiple of 28?
True
Let t be -2*(-1745)/20*2. Suppose -q - t = -2*g, 3*g - 7*g + 3*q + 697 = 0. Is g a multiple of 9?
False
Let o = 77604 + -41825. Is o a multiple of 15?
False
Let w(y) = -29*y**2 - 17*y + 84. Let s(p) = 2*p. Let g(f) = 3*s(f) - w(f). Is 61 a factor of g(6)?
True
Let x be (-3 - (-4)/(-16))*5*4. Let q = x - -92. Let w = 35 - q. Does 5 divide w?
False
Does 13 divide (-135)/(-15) + (-16158)/(-3)?
True
Let c(d) = 3*d - 13. Let l be c(33). Suppose l*t = 75*t + 7073. Is t a multiple of 99?
False
Let b = 14439 + -6783. Is b a multiple of 11?
True
Let d be 214/10 - 6/15. Let f = 1193 + -1175. Is 1353/d + f/(-42) a multiple of 16?
True
Let s(m) = 342*m**2 - 761*m - 7. Is s(4) a multiple of 13?
False
Let k be 5 - ((-15)/3 - -11). Is 24 a factor of k*(-2 - 3)*(71 - 4)?
False
Let i be (-2368)/24*(-9)/2. Let c = i - 317. Is c a multiple of 39?
False
Let x(v) = 73*v - 38. Let q be x(0). Let c = q + 727. Is 52 a factor of c?
False
Let v = 213 - 152. Let d = 175 - v. Is 4 a factor of d?
False
Let j = 365 + -355. Is 981 + -7 + (j - 2) a multiple of 15?
False
Let k(t) = -t**2 - 22*t + 25. Let z be k(-17). Le