 22 divide p?
True
Let p = 961 - -5111. Is 23 a factor of p?
True
Let o = -70 + 73. Suppose -o*m = -207 - 843. Suppose m = 6*u - u. Is 5 a factor of u?
True
Let g(x) = 23*x**2 + x + 2. Let z be g(-1). Suppose z = -5*f + 174. Suppose -w - 4*w + f = 0. Is w a multiple of 6?
True
Is (50151/9 - 2) + (-85)/(-51) a multiple of 28?
True
Suppose -4*d = -4*z + z + 165, 0 = 2*d + 2*z + 86. Let l = d + 45. Suppose l*i - 3 = 42. Is 12 a factor of i?
False
Suppose -325 = -n + 4*r, -5*n + 963 = 2*r - 728. Suppose n + 7115 = 23*k. Is k a multiple of 12?
True
Let i be (-2)/7 + (-306)/(-42) + -7. Suppose 5*w - 4 - 11 = i. Suppose w*g - 366 + 78 = 0. Is g a multiple of 55?
False
Suppose 23*u - 27*u = 2*s - 5580, 5*u = 9*s - 24903. Does 28 divide s?
True
Let r(i) = 8*i**2 - 2*i - 4*i**2 + 31 - 4*i - 31*i. Is 10 a factor of r(13)?
False
Suppose p - 69 + 42182 = 4*x, -3*p = x - 10512. Is x a multiple of 29?
True
Suppose -12868 = -2*u + 3*t, 0 = u - 5*t - 2336 - 4084. Is 3 a factor of u?
False
Is -7*24/(-448) + (-122607)/(-24) a multiple of 13?
True
Let f = -8 + 27. Suppose 8*y + 22 = f*y. Suppose -13 = -y*n + 57. Is n a multiple of 7?
True
Let u = 360 + -349. Suppose -5*d = 4*r - 1428, -5*d - 1388 = -15*r + u*r. Is 22 a factor of r?
True
Let m(q) be the third derivative of 5*q**4/6 + 67*q**3/6 + 31*q**2 + 2*q. Does 9 divide m(7)?
True
Let u be (-16)/(-6)*(-1 - (8 + -3)). Let n(j) = j**3 + 18*j**2 + 10*j - 100. Is n(u) a multiple of 14?
True
Suppose j + 35 = 2*r, 5*r + 3*j - 152 = -59. Suppose r*q - 3090 = 8*q. Is q a multiple of 45?
False
Let j = 2086 - 723. Is j a multiple of 10?
False
Suppose -4*c - 8 = 0, 9 = -2*x + 4*c + 3. Let v = 63 + x. Does 56 divide v?
True
Suppose 2*o - 2205 = 3535. Let f = o + -1382. Does 11 divide (-4)/(-6)*3 + f/16?
False
Suppose 0 = 40*t - 38*t + 144. Let n = t + 67. Is 748/10 + (3/n)/(-3) a multiple of 15?
True
Let j(o) = o**2 - 7*o + 4. Let b be j(7). Let d(u) = u**2 + 2 + 0*u - 4*u + b*u. Does 11 divide d(3)?
True
Let p be (-2)/13 + (-1620)/117. Let d(z) = z**3 + 13*z**2 - 20*z - 1. Let i(u) = 2*u**3 + 26*u**2 - 39*u - 2. Let j(q) = -5*d(q) + 3*i(q). Does 31 divide j(p)?
False
Let b(m) = m**3 + 161*m**2 + 120*m + 1412. Is 84 a factor of b(-160)?
True
Let b(w) = -w**3 + 11*w**2 + 14*w + 984. Does 24 divide b(0)?
True
Let p be 11 + (1 + -4)*1. Let s be 8*2/(-4) + p. Suppose s*d + d - 80 = 0. Does 2 divide d?
True
Let i = 3316 - 3316. Let q(m) = -m + 5. Let j be q(5). Suppose j = 4*s + l - i*l - 237, -5*s = 5*l - 285. Is 12 a factor of s?
True
Let z(i) = 6060*i + 0*i**2 + 4*i**3 + 21*i**2 - 6062*i - 4. Is 3 a factor of z(-5)?
False
Suppose -142*y + 717264 = -91*y. Does 12 divide y?
True
Does 16 divide (-4)/(-54) - (-11 - (-14065)/(-27))?
False
Let l = 389 + -384. Suppose -5*x - 1 = 9, -2*x - 4 = -3*o. Suppose o = w - l*t - 48, t - 268 = -5*w - 2*t. Is 53 a factor of w?
True
Let c(g) = 626*g + 8656. Is c(18) a multiple of 34?
True
Let w = 943 - -499. Is 3 a factor of w?
False
Suppose -g = 3*d - 103969, -46*d = -41*d + 4*g - 173298. Does 63 divide d?
False
Suppose 5*q - 15*q - 85*q = -3277215. Does 235 divide q?
False
Let o(c) = -2*c**2 - 16*c + 12. Let i(f) be the first derivative of 2*f**3 + 49*f**2/2 - 37*f + 47. Let l(x) = 3*i(x) + 8*o(x). Is l(-11) a multiple of 9?
True
Let i = 51487 - 35088. Does 27 divide i?
False
Let c be -4 + 7 - (0 + -7). Let m be 2534 + c + 0/2. Is (-4)/3*m/(-32) a multiple of 22?
False
Suppose 0 = 5*l + 2*z - 7013, l = 32*z - 37*z + 1375. Does 5 divide l?
True
Let c = 2132 + 724. Is 56 a factor of c?
True
Let k = 25 - 23. Suppose 3*q - 193 = a - 41, -4*q + 216 = k*a. Does 14 divide q?
False
Suppose 3*g = 4*j - 11, -j = 20*g - 22*g - 4. Does 11 divide 57/j*(-1584)/(-27)?
True
Let k(b) = -8*b**2 - 8*b + 3. Let n(s) = -7*s**2 - 7*s + 3. Let q(r) = -6*k(r) + 7*n(r). Let j be q(-2). Let l(o) = 28*o**3 - 2*o**2 + 2*o. Does 14 divide l(j)?
True
Let c(z) = -25*z**2 + 3*z - 2. Let b(g) = g - 1. Let v(o) = 2*b(o) - c(o). Suppose -6 = -11*f + 8*f. Does 14 divide v(f)?
True
Let c be -1*(-1 - -3) - -71. Suppose -64 = 8*i - 24*i. Suppose -13 + c = i*t. Does 14 divide t?
True
Let q(m) = 4*m**2 + 387*m + 686. Does 10 divide q(-117)?
False
Suppose -14 = -5*r + 6. Suppose -7*s = 4*z - 3*s - 1084, r = -2*s. Suppose 10*u = 13*u - z. Is u a multiple of 24?
False
Suppose -646 = -46*i + 12*i. Suppose 460 = i*c - 14*c + 4*j, j - 91 = -c. Is c a multiple of 12?
True
Suppose t = -3*t - 4*t. Suppose t = 11*p - 5*p - 432. Suppose -2*s + 32 = -2*h - p, -4*h = 20. Does 9 divide s?
False
Suppose 5*f - 24075 = 5*c, 186*f - 3*c - 4817 = 185*f. Is 52 a factor of f?
False
Suppose -5*a + 3*a + 6 = 0. Let n be (-6)/a - (0 + -2). Suppose -2*u - 9 + 25 = n. Is u a multiple of 5?
False
Let v be (1 - 0)/((-1)/3)*-1. Suppose 5*w - v*w = 52. Let s = w - 18. Is s a multiple of 4?
True
Suppose -8*k - d + 24 = -4*k, 0 = -2*k - 2*d + 18. Suppose z + 8 = l, z - k = -0*z. Is 9 a factor of l?
False
Suppose -5*r + l + 3393 = -257, 4*r - 2936 = 4*l. Is r a multiple of 9?
True
Let h = 11211 + 6031. Is h a multiple of 102?
False
Let j = 50 - 47. Suppose 0 = -j*p + 20*p - 4624. Is p a multiple of 12?
False
Let o(b) = 2*b**2 - 9*b - 41. Suppose 5 = 5*a, 5*k - 2*a = -7*a - 30. Is o(k) a multiple of 20?
True
Suppose 8*p + p = -24*p + 114840. Is p a multiple of 12?
True
Let w = -241 + 250. Suppose 0 = w*k - 2612 + 407. Is k a multiple of 8?
False
Let a(j) = -j**2 + 4*j - 4. Let l be a(3). Let r(h) = 35*h - 1. Let u(s) = -1. Let d(m) = -r(m) - u(m). Is d(l) a multiple of 8?
False
Let j = 251 + 11. Let z = j + -106. Is z a multiple of 26?
True
Suppose -27*g + 6*g = -17325. Suppose -123*r + g = -112*r. Is 32 a factor of r?
False
Let o(q) = -11*q**2 + 5*q + 141. Let c be o(-15). Let u = -1128 - c. Does 21 divide u?
True
Suppose -s + 7 = 4*h, -4*s + h = -3 - 59. Suppose 0 = s*d - 725 + 5. Is 3 a factor of d?
True
Suppose n - 8 = -w, -5*n + 0 = -3*w + 16. Suppose 0 = w*d - 18 - 80. Does 18 divide (-2)/7 - ((-2160)/d - -2)?
False
Suppose 73*s + 74*s = 141*s + 8712. Is 132 a factor of s?
True
Suppose w = -h + 229, 4*h = 4*w + 96 + 860. Is h a multiple of 13?
True
Let i = -18437 - -18872. Is 15 a factor of i?
True
Suppose -3*i + 0*i + 46 = -5*j, j - 48 = -2*i. Suppose -19*d - 594 = -i*d. Is d a multiple of 18?
True
Suppose 5*n + 0*n = 5*x + 5, 2*n = 3*x. Suppose 6 = w + 2, -n*z + 3*w + 408 = 0. Is 7 a factor of z?
True
Let s be 6 - -137 - 1/(2/(-4)). Suppose -9*t + s = -4*t. Is 29 a factor of t?
True
Let o be (345/(-92))/((-2)/312). Does 13 divide o/18*(-348)/(-10)?
True
Suppose -3*i + 1019 - 1004 = 0, -4*i - 26946 = -2*h. Does 97 divide h?
True
Let p = -363 + -235. Let b = p + 1109. Suppose 3*j = 3, -2*w = -j + 62 - b. Does 45 divide w?
True
Let h = 108 + -103. Suppose -h*t - z = -4155, 5*z = 3*t + 2*t - 4185. Is t a multiple of 26?
True
Let t = -413 - -413. Suppose -568 + t = -2*h. Does 9 divide h?
False
Let m be (12 - (-140)/(-10))*(-1 + 448). Let y = 156 - m. Does 50 divide y?
True
Let v be 16/12*6 + -8. Suppose v = 13*g - 953 - 1049. Is 8 a factor of g?
False
Suppose -8*k - 21 = 11. Let g(a) = -6*a - 22. Let l be g(k). Does 29 divide l/(-7) + (-11187)/(-77)?
True
Suppose 4*s + 754 = -5*g, -2*g + 4*g = 5*s - 295. Let k = g + 212. Is 37 a factor of k?
False
Suppose -5*d + 243002 = 4*h, 5*d + 29228 = -3*h + 272227. Does 11 divide d?
True
Let q be 39/(-6 - (-72)/16). Let x = 57 - q. Is 8 a factor of x?
False
Suppose 49*v = 42*v + 119. Suppose 5*t - 3*u + v = 84, -5 = -5*u. Is t a multiple of 7?
True
Suppose -5*t - 25*n = -28*n - 1227, 4*t + 4*n = 1020. Is 115 a factor of t?
False
Suppose -8*g = g - 6*g. Let o be (g - (-2)/9) + (-94)/423. Suppose o = -s + 34 + 31. Is s a multiple of 18?
False
Suppose 0 = -n + x + 67, -2*n = -0*n - 3*x - 133. Let k = n - -61. Let v = k + -90. Is 9 a factor of v?
False
Suppose -220 = -2*v + 3*k + 456, k = -4. Let c = v + -236. Is c a multiple of 24?
True
Let r = 51 + -48. Suppose -3*d - d - 5*o = -2, 7 = r*d + o. Suppose 3*s - d*t - 43 = s, -5*s + 73 = 4*t. Is 7 a factor of s?
False
Let g(v) = 3*v**2 - 34*v + 190. Does 27 divide g(-29)?
True
Suppose 3*o + 710 = -5*g + 2135, 2*g - 2*o - 570 = 0. Is g a multiple of 3?
True
Suppose 2*y - o = 117, 0 = -7*y + 9*y - 2*o - 114. Suppose -5*v + c = -150, -c - c - y = -2*v. Does 3 divide v?
True
L