 + 33. Let p be u(0). Suppose p*t - 5228 = -146. Is 27 a factor of t?
False
Let a = 2882 - 1441. Is 4 a factor of a?
False
Let c(p) = p - 11. Let n be c(12). Let j be (-2)/4*2/n*3. Does 12 divide 20 - (1 + -2 + j)?
True
Suppose 17*h - 21*h = 0. Suppose 0 = -4*a + 5 - 1, h = 4*f - a - 303. Does 38 divide f?
True
Let v be (-6)/(-51) + 3827/(-17). Is v/(-4) - (-30)/40 a multiple of 3?
True
Let y be -3 + (5 - 3) + 1. Let a(v) = -v - 1. Let q be a(0). Does 13 divide y + q + 134 + -16?
True
Let u = 1224 + -378. Suppose -4*l + 601 = z - u, -358 = -l - 4*z. Is 5 a factor of l?
False
Suppose -24 + 79 = 11*u. Let l(r) = 31*r**2 - 26*r + 114. Does 33 divide l(u)?
True
Suppose -2*k = -8, 5*v + 4*k - 30 = -k. Suppose 6*z = 4*z - 2, 2*y - 36 = -v*z. Is 2 a factor of y?
False
Let k = 28 + -24. Suppose -k*f + 32 - 20 = 0. Is 15 a factor of -5 + f/((-15)/(-155))?
False
Let z(s) = s - 1. Let l(d) = -2*d**2 + 40*d + 6. Let i(m) = -l(m) + 4*z(m). Does 11 divide i(-5)?
True
Let q(i) = 5*i**2 - 60*i - 296. Is q(-22) a multiple of 13?
False
Suppose t = -42*g + 38*g + 183, -3*g = 4*t - 147. Suppose 40*p + 6555 = g*p. Is p a multiple of 19?
True
Is 154413/(-114)*80/(-3) a multiple of 24?
True
Let r = 3826 + 732. Does 43 divide r?
True
Let n be (129*6/36)/(2/4). Let o = 43 - n. Suppose -12*m + 11*m + 140 = o. Is 15 a factor of m?
False
Suppose 68*t - 23*t - 287475 = -30*t. Does 26 divide t?
False
Let q be (-18)/3 + 3/(-3) + 1. Let m be 4/q - (-1617)/63. Suppose 0 = 3*o + c + m - 113, 4*c + 98 = 3*o. Is o a multiple of 10?
True
Suppose 3*n - 111 = -2*x, 5*x - 26 = -4*n + 248. Does 9 divide x/126 + 5524/14?
False
Let g(d) = d**3 + 16*d**2 + 26*d - 23. Suppose 46*u - 320 = 51*u. Let t = 50 + u. Is g(t) a multiple of 4?
False
Suppose -2*c + 5020 = -3*i, 12550 = 5*c - 15*i + 14*i. Does 4 divide c?
False
Let h(a) = -101*a + 291. Let r(c) = 209*c - 582. Let s(q) = 5*h(q) + 3*r(q). Is s(6) a multiple of 9?
True
Does 25 divide (15934/93)/((-8)/(-468))?
False
Let p = -9370 + 12037. Does 15 divide p?
False
Let u(s) = -s**3 + 6*s**2 + 7*s + 12. Let h be u(7). Suppose -7*n + h*n - 25 = 0. Suppose -7*c - n = -75. Is 4 a factor of c?
False
Does 50 divide (-398)/(-8) - 5/(-20)?
True
Let r = 141 - 141. Suppose 0 = -4*u - 2*d + 5288, 0*u + u + 2*d - 1325 = r. Is 89 a factor of u?
False
Suppose -4*q + 2*w = -472 + 168, 380 = 5*q - 3*w. Suppose -2410 = -22*h + q. Does 17 divide h?
False
Suppose 4*p = -3*d + 48611, 3*p - d - 24313 = p. Suppose 117*w - 128*w = -p. Is w a multiple of 13?
True
Suppose -4*v + 71 = -5*k, -3*k - 6 - 3 = 0. Suppose v*j - 518 = 2338. Is 6 a factor of j?
True
Does 11 divide 3129 - (3 + ((-8)/1 - 1))?
True
Suppose y = -4*v + 140, 5*v + 27 = 2*y + 202. Suppose z + c - v = 0, z - 27 = -6*c + 7*c. Is z a multiple of 7?
False
Is 79 a factor of 3*44694/20 - 227/2270?
False
Let w(p) = -p - 6. Let r be w(-6). Suppose 612*l - 234*l = 0. Suppose r = 3*u - 3, l = 2*d + 2*u - 5*u - 157. Is 20 a factor of d?
True
Let z = 598 + -245. Suppose 3*s + 5*r = z, 2*s + 345 = 5*s - 3*r. Let k = 166 - s. Is k a multiple of 25?
True
Suppose 0 = -4*i + 10*i - 132. Suppose -h - i = -26, -5*g = -3*h - 838. Is 17 a factor of g?
True
Let g be (-62*1/4)/((-2)/12). Let c = 9 - 72. Let d = g + c. Does 10 divide d?
True
Let d(r) = r**2 - 7*r - 8. Let q be d(9). Suppose 0 = -q*o + 12*o - 10. Is 17 a factor of ((-60)/18)/o - 257/(-3)?
True
Suppose 0 = 4*j + 4*y - 364, -164 - 288 = -5*j - 4*y. Does 5 divide j?
False
Suppose -2311*k = -2306*k - 16995. Does 147 divide k?
False
Suppose 0 = -14*y + 263 - 95. Suppose -1716 = y*u - 16*u. Does 11 divide u?
True
Suppose -44*b = -62*b + 57960. Is b a multiple of 2?
True
Let h be 5/(-15)*(-333)/1. Let s = -72 + h. Let p = s + -13. Does 26 divide p?
True
Let p = 49 - 46. Let m be (-108)/(-18)*(-1)/p. Let a(r) = 13*r**2 - 2*r. Is 28 a factor of a(m)?
True
Let z = -168 - -168. Suppose -9*o - 2*o + 1925 = z. Does 35 divide o?
True
Suppose 4*m - 3*d - 2554 = 2601, m - 1286 = -2*d. Does 17 divide m?
False
Let r = -1502 + 2624. Does 34 divide r?
True
Let o(s) = 20*s**2 + s**3 - s**2 + 1 + 15*s + 2. Let w(h) = -4*h**2 + 2*h + 12. Let a be w(3). Does 14 divide o(a)?
False
Let k = 684 - -6596. Is 16 a factor of k?
True
Suppose 0 = -71*a - 44*a + 371486 + 847744. Is 114 a factor of a?
True
Let i(w) = -13 - 13*w + 13 + 12 + 22 + 11*w. Let v = 2 + -13. Is 5 a factor of i(v)?
False
Suppose -9*a + 3*v = -12*a + 102, -3*a = -3*v - 96. Suppose -j + a = -2*b, 4*j - 111 = -10*b + 11*b. Does 8 divide j?
False
Let y(r) = -r**2 + 6*r - 2. Let i be y(4). Does 21 divide (-24100)/(-28) - i/(-21)?
True
Let o be (-7 + 5 - -5)/((-6)/(-4)). Suppose -o*k - 44 = 5*n, -3*n = 3*k - 6*n + 45. Let b = 27 - k. Is b a multiple of 12?
False
Let j be (1 + -14)*2*(-6)/4. Let a be j/4*(-104)/(-6). Suppose 0 = 3*y - 4*c - 435 - a, c - 410 = -2*y. Does 34 divide y?
True
Let c = 1709 + 508. Suppose 4*z + 3*u = c, -738 = -3*z + 4*u + 906. Does 12 divide z?
True
Let u = -236 + 1571. Let l = u - 822. Is 24 a factor of l?
False
Suppose -2*u + 2*a + 1891 = -1665, -a + 3550 = 2*u. Is 16 a factor of u?
True
Suppose -6*a - 2*w + 650 = -2*a, -3*a + 5*w + 481 = 0. Suppose 4*c - 1468 = 3*n, c - a = -n + 205. Is 10 a factor of c?
False
Suppose -5*q + 3144 = g, -18*q + 13*q = 2*g - 6288. Is 25 a factor of g?
False
Let y = -28 + 30. Suppose k - 5*r = 5*k - 2, -4*r = -y*k + 14. Suppose k*f = -4*f + 210. Does 5 divide f?
True
Suppose 7*d - 5*u - 9256 = 0, d - 3*u - 558 - 778 = 0. Does 219 divide d?
False
Let v(g) = -g**3 - g**2 - 2*g + 12. Let i be v(0). Suppose q + 2*k + 8 = 4*q, 2*q + 2*k - i = 0. Is 9 a factor of q/18 + 25/9 - -36?
False
Suppose 4 - 12 = -2*s. Does 7 divide 49 - 4 - (-3)/3*s?
True
Let o(w) = -4*w + 52. Let r be o(-8). Suppose -p = j - r, -j + 5*p + 95 = -1. Is j a multiple of 46?
False
Let k(j) = 39*j + 4. Let s(v) = -39*v - 4. Let y(x) = -4*k(x) - 3*s(x). Let t be y(-5). Let p = t + -64. Is p a multiple of 10?
False
Suppose 275*y = 270*y + 3795. Let c = y - 368. Is c a multiple of 23?
True
Suppose 0 = o - 4*o + 69. Suppose -7223 + 2623 = -o*d. Is d a multiple of 10?
True
Suppose 2*k - 5*s - 165 + 41 = 0, 4*k + 5*s - 248 = 0. Suppose k = g - 11. Let a = 119 - g. Is 23 a factor of a?
True
Let h be ((16 - 8) + 0)/(-1). Is 28 a factor of (h + 2)/(-24)*5128?
False
Let m = -837 + 844. Let b(c) = 7*c + 94. Is b(m) a multiple of 83?
False
Let w = -34 - -36. Suppose -w*t + 3*k + 4 = -98, -4*k - 16 = 0. Let d = t + -10. Does 35 divide d?
True
Suppose 8*i - 425 = -25. Suppose -952 = -i*s + 43*s. Is 8 a factor of s?
True
Suppose -524 = 4*r + 52. Let z = -184 - r. Is (-1)/((-4)/20 + z/(-225)) a multiple of 3?
True
Suppose j = -5*q + 1688, -4*q + 1951 = 2*j + 597. Let c = q - 289. Is c a multiple of 24?
True
Suppose 0*b - 3*b = 0. Suppose -4*t - 19 - 25 = b. Let w = t - -37. Does 12 divide w?
False
Let z = -44 - -132. Let k = -352 + z. Let c = k + 576. Is c a multiple of 52?
True
Let v = 45 - 135. Let x = 649 + v. Is 43 a factor of x?
True
Let o = 2586 - 2596. Let h = -15 + 23. Does 8 divide (-5 + h - -1) + (1 - o)?
False
Let c(d) = 1 + 153*d + 0 - 44*d + 3. Let x be c(5). Suppose 0 = 8*t - 1669 + x. Is 21 a factor of t?
False
Let b(g) = g**2 - 11*g + 20. Suppose 3*v + 5*w - 19 = 0, -32 = -4*v - 3*w - 2*w. Let s be b(v). Let q = 159 - s. Is q a multiple of 28?
False
Let f = -81 - -328. Let o be (-1 - 114)/(-1 - -2). Let l = o + f. Is l a multiple of 11?
True
Is 15145760/336 + 2 + 4/3 a multiple of 92?
True
Suppose -14 = m + 5*u, -u = -4*m + u + 54. Let v be 1*-2 + 4 + (38 - m). Suppose -3*x = -v - 91. Is x a multiple of 20?
True
Suppose 5 = -3*c - 4*n, 0 = 2*n + 12 - 2. Suppose -b - 35 = c. Is (234/(-15) + 2)/(8/b) a multiple of 17?
True
Let s(h) = -2853*h - 4459. Does 26 divide s(-11)?
False
Let w(f) = -18*f**3 + 18*f**2 - 80*f - 644. Is w(-11) a multiple of 54?
False
Suppose o + 2701 = 2*j - 8093, 4*o = 24. Is 40 a factor of j?
True
Let j(m) = -m**3 + m**2 - 2*m + 2. Let o be j(0). Suppose -2*w + 169 = -o*g - 321, 734 = 3*w - 4*g. Is 17 a factor of w?
False
Let d be 387/(-4)*(-4)/1. Suppose 3*j = -4*k + 142 + d, 2*k + 899 = 5*j. Is 37 a factor of j?
False
Let p(q) = 2802*q - 30. Does 132 divide p(1)?
True
Let w(s) be the third derivative of -19*s**4/8 - 17*s**3/2 + 2*s**2. Is w(-5) a multiple of 17?
False