?
True
Let u be 2/13 - (-542)/26. Suppose 4*f + 3570 = u*f. Is f a multiple of 16?
False
Let q = 11907 - 11335. Is 11 a factor of q?
True
Suppose 0 = 3*m - 22085 - 10324. Does 39 divide m?
True
Does 58 divide (-142)/3*477/(-12)*(2 - -2)?
False
Let t = 24414 + -11154. Is t a multiple of 30?
True
Let w(x) = -98*x**3 + 4*x**2 - x - 5. Let a be w(3). Is 14 a factor of (0 + -5)*a/85?
True
Let t = 97 - -3. Let q = 190 - t. Does 12 divide (-1)/6 + 6495/q?
True
Let g(h) = 268*h**3 + 12*h**2 - 38*h + 72. Does 34 divide g(3)?
False
Let b(g) = -g**3 - 18*g**2 - 5*g + 1. Let h be b(-18). Suppose -h*k + 93*k - 936 = 0. Is 18 a factor of k?
True
Let k be (9/5)/(18/30). Suppose -k*c - 544 = -4*p, -7*p - c + 272 = -5*p. Is 68 a factor of p?
True
Let m(s) = 2*s**3 - 19*s**2 - 12*s + 22. Let r be m(10). Suppose -5*j = -r*c - 194, 5*j = 2*c + c + 191. Let k = -17 + j. Is 7 a factor of k?
False
Let c(k) = -70 - 20 - 22*k - 26. Is c(-8) a multiple of 13?
False
Let h = 255 + -250. Suppose -h*k = -214 - 421. Is 16 a factor of k?
False
Let y be (-2)/2*2*-1. Let i(j) be the first derivative of 4*j**4 - 4*j**3/3 + 3*j**2 - 3*j + 700. Is 14 a factor of i(y)?
False
Suppose -133*k + 31584 = -13636. Is k a multiple of 49?
False
Let n = -5033 - -5267. Is n a multiple of 39?
True
Is 27 a factor of (212/6)/((34/1479)/2)?
False
Let j(r) = r**3 + 33*r**2 + 64*r - 1. Let t be j(-31). Is 20 a factor of 67 + t - (0 + -445)?
False
Let z(p) = 2*p. Let h(a) = -21*a + 19. Let n(o) = h(o) + 4*z(o). Does 4 divide n(-33)?
True
Suppose -14*s + 223560 = 31*s. Is 6 a factor of s?
True
Let b(p) = 758*p**2 + 26*p + 142. Does 13 divide b(-7)?
True
Let p = 868 + -864. Let r be (-30)/(-9) + 1/(-3). Suppose -r*q - 64 = -p*q. Does 11 divide q?
False
Let f be (-5 - 214/(-3))*6. Suppose 4*w - f = o - 43, -12 = 4*o. Is 44 a factor of w?
True
Let x be (9/(-15))/((-21)/70) - -7. Let h = x + 189. Is 22 a factor of h?
True
Let b = -2077 + 4359. Is b a multiple of 36?
False
Suppose -19*g + 35 = -14*g. Suppose -5*w = 2*w - g. Does 35 divide 4 - w*-46 - 0?
False
Let r(f) = -11*f**3 - f**2 - 53*f - 7. Is r(-8) a multiple of 19?
True
Suppose 1002*k - 850*k = 5823554 + 2605910. Does 28 divide k?
False
Let u = 74873 + -39423. Does 191 divide u?
False
Is 1*3/6 - (-364824)/16 a multiple of 26?
True
Let g(w) = -2*w - 24. Let i(h) = 10*h + 118. Let r(f) = 14*g(f) + 3*i(f). Is 8 a factor of r(11)?
True
Let r be ((-105)/(-20))/((-97)/(-48) - 2). Suppose -5*h = -28 - 2. Suppose r = h*y - 0*y. Does 7 divide y?
True
Suppose 4*k = -4*x + 1964, 0 = -3*k + 2*x - 0*x + 1488. Let q = 865 - k. Does 49 divide q?
False
Suppose 0 = 16*h + 598 - 2134. Is h a multiple of 96?
True
Let h(r) = -306*r + 6. Suppose 3*n + 9 = 5*p, 2 = -2*n - p - 4. Does 42 divide h(n)?
True
Suppose -g + 4*z + 9 = 23, -4*g - 5*z + 28 = 0. Suppose -4*n = 3*f - 1455, -3*f - g*n = 243 - 1704. Is f a multiple of 16?
False
Let q = 3042 - -918. Is 24 a factor of q?
True
Let c = 22285 - 8846. Does 151 divide c?
True
Let u(s) = 2*s - 30. Let w be u(12). Let k be 1 + (-1)/(2 - w/(-2)). Suppose 0 = 3*l - 2*h - 61 + 21, 5*l - 72 = k*h. Is 9 a factor of l?
False
Let q be ((-33)/5)/((-42)/10 + 4). Let f be 39/q + -1 + (-540)/66. Let o(a) = -33*a - 12. Is o(f) a multiple of 42?
True
Does 27 divide (5487 - 7) + -3 + (-5)/((-15)/12)?
True
Let p(f) = 76*f + 226. Let z be p(7). Let t = -223 + z. Does 11 divide t?
False
Suppose 0 = -1564*s + 1604*s - 1135560. Is s a multiple of 39?
False
Let x = 41489 + 1583. Is 14 a factor of x?
False
Let n be 2/1*1 - -388. Suppose -131*q = -128*q - n. Is q a multiple of 13?
True
Suppose -2*w + 10 = 5*a - 3*w, -a - 3*w + 18 = 0. Let b(p) = 23 + 0*p + p**3 - 2*p**2 - 2*p + a*p + p. Is 4 a factor of b(0)?
False
Let l = -95 + 95. Suppose 87 = 6*u + 15. Suppose -u*k + 626 - 122 = l. Is k a multiple of 14?
True
Suppose 13*h - 7658 - 647 = 9713. Is 14 a factor of h?
True
Let q = -45 + 45. Let n be 6/3 + q + 27. Suppose v + 101 = r + n, r - 75 = 2*v. Does 13 divide r?
False
Suppose 0 = -g - 13 - 45. Let f = g - -63. Suppose 164 = -4*w + f*w + 2*c, 0 = -5*c + 5. Is w a multiple of 29?
False
Suppose -3*r + 234 = 3*a, -2*r + 143 = -3*a + 387. Suppose 0 = 4*v + 6*v - a. Is 3 a factor of (-6)/v - (-2413)/76?
False
Is 17 a factor of (-25)/(-30) + (-141681)/(-18)?
False
Let d be 2/((-8)/11*(-2)/8). Suppose -5*c = -i + 261, -9*c + d*c = -2*i + 534. Is 19 a factor of i?
True
Let c be ((-36)/(-8))/(-3) + 18/(-4). Let a(i) = 7*i**2 - 5*i - 5. Let y(d) = -13*d**2 + 9*d + 10. Let j(k) = c*y(k) - 11*a(k). Is 25 a factor of j(5)?
True
Let l be (-3)/(-6) - (-1449)/6. Let v = l + -146. Suppose 0*n - v = -j + 5*n, -384 = -4*j - 3*n. Does 24 divide j?
True
Let h = -5466 - -6342. Is h a multiple of 6?
True
Suppose 8*t = 762 + 7462. Does 4 divide t?
True
Suppose 94*y + 7548 = 49660. Is 56 a factor of y?
True
Suppose 36 = 6*p + 12. Suppose p*v + 3 + 4 = -3*h, -10 = 5*v + 4*h. Suppose 0*y + 61 = 2*y - a, -v*y = 4*a - 76. Is 11 a factor of y?
False
Let o be (2 - -70)*21/9. Let b be (-197)/((-5)/5 - 0) + -1. Suppose -2*l - o = -4*q + b, q - 5*l - 100 = 0. Does 36 divide q?
False
Let q be (-2)/((4876/1220 - 4)*2). Let p = 455 - q. Is p a multiple of 6?
True
Let o = 85 - 85. Does 26 divide (3 - o/1) + 105 + -4?
True
Suppose 0*a - 9*a - 9 = 0. Is 2 a factor of 6 + 0 - (a + -4)?
False
Let m be (4/(-5))/((-38)/17955*9). Suppose 1205 = 5*n + 165. Suppose n*t + m = 209*t. Does 14 divide t?
True
Let w = -193 - -3965. Does 23 divide w?
True
Suppose -5*k - 108 - 12 = 0. Let c(u) = 20*u + 17. Let j be c(-1). Let n = j - k. Is n a multiple of 7?
True
Let w(g) = -21*g - 21. Let t be w(-4). Let c = -81 - -158. Let x = c - t. Is x a multiple of 4?
False
Let o(k) = 8*k**2 - 66*k + 914. Does 16 divide o(21)?
True
Let c(l) = l**2 + 2*l - 60. Let r be c(29). Let v = r - 820. Is 19 a factor of v?
True
Suppose 0 = 5*t - 34 + 104. Suppose 238*i = 236*i + 120. Let k = t + i. Is 12 a factor of k?
False
Suppose -2*s - 326 = -2*h, 3*s + 166 = 2*s - 2*h. Let l be (3 + -9)/(3/s). Suppose -2*i + 166 = v, -i - 3*i - 4*v + l = 0. Is i a multiple of 14?
True
Suppose 165*s - 1795603 - 2260611 = -516964. Is s a multiple of 19?
False
Suppose -9*y = -y - 2656. Let v = 614 - y. Let z = -197 + v. Does 17 divide z?
True
Let y(q) = -154*q**3 - 17*q**2 + 50*q + 10. Is 22 a factor of y(-6)?
True
Let v(p) = -3*p - 6. Suppose -2*j + 5 + 7 = 2*f, 0 = -5*j + 4*f + 48. Let k be v(j). Let r = k + 73. Is 4 a factor of r?
False
Let a(h) be the third derivative of 7*h**4/2 + 23*h**2. Is 21 a factor of a(2)?
True
Let s(l) = -l**2 + 7*l + 66. Let b be s(15). Let k = b + 62. Does 6 divide k?
False
Is 173 a factor of 25/(6650/313054) + 2/19?
False
Let y be (-14)/3*912/(-32). Let u = y - 54. Suppose -5*o + 71 = -u. Is o a multiple of 16?
False
Let f(p) = -p**3 + 29*p**2 - 57*p - 107. Let s(d) = -d**3 + 28*d**2 - 59*d - 104. Let m(h) = 3*f(h) - 2*s(h). Is 13 a factor of m(27)?
False
Suppose 5*p - 42 = -17. Suppose -20 = -p*l - 0. Let n(x) = 3*x - 3. Does 2 divide n(l)?
False
Does 26 divide (-1 - 5) + (1028 + (0 - -4) - 6)?
False
Let w(v) = -v**3 - 7*v**2 - 2*v + 7. Let n be w(-3). Let s(d) = -13*d - 122. Is s(n) a multiple of 59?
True
Suppose 10*m + 25 - 65 = 0. Suppose 316 = 5*r - 7*x + m*x, 5*x + 10 = 0. Does 18 divide r?
False
Let r(x) = -4*x + 44. Let h be r(10). Suppose j - 97 = -h*z, 0*z - z = -5*j - 19. Is (z/20)/((-1348)/(-1340) - 1) a multiple of 14?
False
Suppose -3*j + 277 - 70 = 0. Suppose -j = 7*m - 4*m. Let s = 83 + m. Is s a multiple of 30?
True
Let s(a) = -383*a - 824. Is 136 a factor of s(-16)?
True
Suppose 6*v = 2*v. Let u be (v/(-3))/4 + 227 + -3. Let t = -134 + u. Is 18 a factor of t?
True
Suppose 0 = -11*c - 16*c + 16*c + 28996. Is c a multiple of 9?
False
Is (14 - (-10 + (-1701)/(-72))) + (-68586)/(-16) a multiple of 6?
False
Let u(a) = a - 1. Let h(y) = 3*y + 7. Let v(x) = h(x) - 4*u(x). Let o be v(5). Suppose -3*g - 276 = -o*g. Does 24 divide g?
False
Suppose -5*q = -3*u + 1960, -u + 3*q + 40 = -616. Suppose 281*n + u = 286*n. Is 7 a factor of n?
False
Let n be 124/155*(-10)/4. Is ((-35)/((-245)/(-126)))/(n/31) a multiple of 33?
False
Let f = 94 - 58. Let x = f - -424. Is 19 a factor of x?
False
Suppose -2*u = 5*l - 4699, l - 6*l + 3*u = -4664. Is l a multiple of 17?
False
Suppose -16*y - 287 = -1