 y(g) = 6*g - 1. Let k(i) = 2*s(i) + 20*y(i). Does 25 divide k(c)?
True
Suppose -117 = 119*p - 128*p. Suppose 6*b = p*b - 672. Does 5 divide b?
False
Suppose -3*v + 58*c + 44690 = 53*c, 21 = -3*c. Does 115 divide v?
False
Let o(x) be the second derivative of -7*x**3 - 36*x**2 - 5*x + 1. Is o(-6) a multiple of 15?
True
Suppose 0 = 15*v - 34 - 56. Suppose -4*n = -4*j + 136, -139 = 2*j - v*j + n. Is j a multiple of 5?
True
Let j(o) be the second derivative of -29*o**3/6 - 3*o**2 - 16*o - 3. Is 25 a factor of j(-14)?
True
Let a = 21303 - 9420. Is a a multiple of 14?
False
Suppose -24 = -m + 2*y, 5*y + 49 + 38 = 4*m. Suppose -m*x = -28*x + 4340. Is 18 a factor of x?
False
Let y(i) = i**2 + 18*i - 48. Let r(w) = -w**3 - 5*w**2 + w. Let l be r(-4). Let f be y(l). Does 21 divide ((-36)/f)/(2/28)?
True
Let b(q) = 144454*q - 144450*q - 2 + 10. Suppose 48 = 5*n + 8. Is b(n) a multiple of 9?
False
Suppose 2*r + 8 - 96 = 0. Let o be 14/(-539)*-11*-42. Let p = r - o. Is p a multiple of 14?
True
Suppose -19*b - 40*b = -37*b - 135696. Is b a multiple of 6?
True
Let c(w) = 3*w**2 + 453 + 34*w - 231 - 224 - 5*w**2. Does 23 divide c(7)?
True
Let o(f) be the first derivative of -f**4/4 - 8*f**3/3 - 12*f**2 + 2*f + 109. Is o(-10) a multiple of 13?
True
Let c(x) = -x**3 + 31*x**2 - 23*x - 10. Let o = -34 + 35. Let d be -4 - ((-4 - 31) + o). Is 20 a factor of c(d)?
True
Suppose 21144 = -3*m + 2*u - 5*u, 3*m + 21164 = u. Does 26 divide (-138)/(-322) - m/7?
False
Suppose -2*y + 5*x = -737, 0 = 159*y - 158*y - 5*x - 361. Is 8 a factor of y?
True
Let b(l) = 62*l**2 - 46*l + 128. Let z(a) = 21*a**2 - 15*a + 44. Let x(d) = 5*b(d) - 14*z(d). Does 13 divide x(7)?
False
Let i be (6/9)/(3/36). Suppose -3*v = -g + 2*v - 115, -2*v = -i. Let k = g + 142. Does 7 divide k?
False
Let l = -64 - -48. Let r be (-180)/l - 12/(-16). Let d(i) = -i**3 + 12*i**2 + 5*i + 52. Does 16 divide d(r)?
True
Let i(k) = -724*k - 4954. Is 14 a factor of i(-42)?
False
Suppose -5*w - 3 - 57 = 0. Does 12 divide ((-2)/5)/(w/1440)?
True
Let y(t) = t**3 + 7*t**2 - 10*t + 2. Let z be y(-8). Suppose 0 = z*o - 5*o - 65. Suppose 59 + 2 = q - 2*u, o*q = -2*u + 245. Is q a multiple of 9?
False
Let y be (35/(-10) - -3) + (-2)/(-4). Let n be (3 - -136) + y + 1. Suppose -2*w - 112 = -4*p, 0 = -4*p + w - 6*w + n. Is 10 a factor of p?
True
Suppose 2*z + 2*r = 43816, 2*z = -51*r + 46*r + 43795. Is 152 a factor of z?
False
Let f = -8415 + 11257. Is 7 a factor of f?
True
Suppose -911735 = -214*c + 204703. Is 102 a factor of c?
False
Let n be ((-9)/15)/(6/(-90)). Suppose 3*r + 5*h - 22 = 0, 2*r = -h + n + 1. Suppose r*i = -3*i + 1575. Does 36 divide i?
False
Let b = 16936 - 12200. Does 8 divide b?
True
Let z = -162 - -134. Is 12 a factor of (-6)/(-14) - (-16)/z*-29?
False
Let u be 5*19/(-57)*39. Suppose -3*s = y - 58, -2*y - 4*s - 17 = -139. Let v = y - u. Does 33 divide v?
True
Suppose -4*y + 0*y = x + 5, 2*x + 3*y - 15 = 0. Suppose x*r = 10*r. Suppose z + 3*d + 0*d = 40, r = 3*z + 5*d - 132. Does 13 divide z?
False
Let n be 0 + (-40)/28 + 33/77. Is (-72)/8 + 4 + (-521)/n a multiple of 9?
False
Suppose 2*i = -4*x + 30354, 5*x - 25 = -60. Is 111 a factor of i?
False
Does 17 divide 1*(-2)/(-3)*(-55)/(2640/(-34272))?
True
Let t(d) = 3*d**2 - 25*d + 93. Is 13 a factor of t(7)?
True
Let k = 60 - -180. Suppose 6*x = 13*x - 4*x. Suppose 245*y - k*y - 520 = x. Does 13 divide y?
True
Suppose 4*n + 3*a - 9342 = 1128, -2*n + 4*a + 5246 = 0. Is 10 a factor of n?
False
Let o = -225 - -227. Suppose 5*n = 2*q + 1640, 0 = 5*n - o*n - 5*q - 965. Does 30 divide n?
True
Let q = -1136 + 726. Let o = q + 485. Does 75 divide o?
True
Let y = 8735 - 2292. Is 11 a factor of y?
False
Suppose 0 = 5*z + 151*b - 149*b - 8904, 3*z + 5*b = 5350. Is 20 a factor of z?
True
Let a be (-90)/36 + (-60)/(-8) + -3. Suppose a*q = 213 + 795. Does 18 divide q?
True
Suppose 0 = 2*c + 2*a - 7 - 21, 0 = -2*c + 5*a + 56. Let i(f) = f**3 - 15*f**2 - 37*f + 16. Is 7 a factor of i(c)?
True
Let b = 147 - 140. Suppose -b*q + 2754 = -q. Is q a multiple of 36?
False
Let w = 14211 - 9460. Does 48 divide w?
False
Suppose -13 = -10*o - 3. Suppose -o - 115 = -2*q. Is q a multiple of 9?
False
Let y = -2392 + 4501. Suppose 0 = -3*j + 2*k + 1586, -3*k = 3*j + j - y. Does 24 divide j?
True
Let o(i) = i**3 - 14*i**2 - i + 44. Let m be o(-10). Let c = m - -4092. Does 4 divide c/27 - 6/27*-6?
False
Let x(j) = -2*j**3 - 15*j**2 - j - 97. Let l be (-52)/(-39)*9/(-2) + -6. Is x(l) a multiple of 23?
False
Suppose -83 = 9*g - 1379. Suppose -2*t - 2*t = -g. Suppose -4*k + 86 = 4*i - 5*k, -t = -2*i - 3*k. Is 21 a factor of i?
True
Let t be 8 + -9 + (0 - -1 - 2). Let o be 4 - (-4)/t - -147. Suppose 12*f + o = 605. Does 5 divide f?
False
Let q = 1947 - -5293. Does 8 divide q?
True
Suppose -v = 3*i - 70 + 21, -v - 59 = -3*i. Suppose 10*m = i*m - 4464. Does 42 divide m?
False
Let y be (-6)/(-8) - (-36)/16. Suppose -3*b + 93 = -0*l - y*l, 2*b = -l - 31. Let t = l - -69. Is t a multiple of 15?
False
Suppose 13*k + 32*k = -0*k + 11835. Is 2 a factor of k?
False
Suppose -12*g + 212526 + 17874 = 0. Is 32 a factor of g?
True
Let b = -123 - -107. Let v be b/12*(-2 + -4). Suppose t = 3, -v*i = -4*i + 5*t - 291. Does 23 divide i?
True
Let j = -24979 - -34595. Is j a multiple of 70?
False
Suppose u + 34975 = 2*y, 2*u - 25243 + 77705 = 3*y. Does 16 divide y?
True
Let u be (5 - (2 + 2))/((-3)/(-252)). Let q = u - 132. Does 6 divide q/(0 + -2) + (-6)/(-3)?
False
Let x(p) = 15*p + 2. Let s be x(4). Let n = 1465 + -1509. Let f = n + s. Is 18 a factor of f?
True
Let j(r) = -8*r + 21. Let a = -52 - -41. Let n be j(a). Is (-2)/4*(-7 - n) a multiple of 14?
False
Does 42 divide (-6)/57*1 + (-215565)/(-95) + -2?
False
Let t be 18/(-4)*8/3. Let x(b) = -7*b + 8. Let h be x(t). Let r = h + -28. Is r a multiple of 16?
True
Let d = -9155 + 15854. Is d a multiple of 21?
True
Suppose o + 1 = 4*b - 7*b, -5*b = 5*o - 5. Suppose 0 = -8*j - 46 - o. Does 6 divide (-1 - (0 + 3))*j?
True
Let p = 7491 + 1265. Is p a multiple of 35?
False
Suppose -68*m + 63*m + 5356 = 4*n, 3*n - 4048 = 4*m. Does 7 divide n?
True
Does 9 divide 39/((-9)/(-6) + -1 + (-4530)/9180)?
True
Let y(c) = -2087*c**3 - 77*c - 77. Does 11 divide y(-1)?
False
Let j be (6/(-12))/((-4)/(-2568)). Let l = j - -664. Is l a multiple of 14?
False
Let v(r) = -r**3 - 22*r**2 - 32*r - 23. Let u be v(-21). Does 6 divide (396/(-44))/(2/(u/(-6)))?
True
Let t(q) be the third derivative of 4*q**4 - 8*q**3 - 4*q**2 - 4. Is 18 a factor of t(4)?
False
Let x = 448 + -446. Suppose -3*m - 3*w = -x*m - 556, -2*w = -10. Is m a multiple of 36?
False
Let x(j) = j**3 + 12*j**2 + 21*j + 4. Let o be x(-10). Let k = 37 - o. Suppose -p + k + 117 = 0. Is 20 a factor of p?
True
Let a(b) = -404*b + 5503. Does 61 divide a(-51)?
False
Let c = 5745 + -5191. Is c even?
True
Let c = 216 - 321. Let b = 91 - c. Is b a multiple of 15?
False
Suppose -u = 10*u - 88. Suppose a = -u*a. Suppose -13*n + 15*n - 520 = a. Does 38 divide n?
False
Suppose -6*n + 260 + 4 = 0. Let w = 49 - n. Suppose 3*m - 2*m - 4*c = 29, c - 145 = -w*m. Is m a multiple of 25?
False
Let n = 233 + -214. Suppose 9*m + n*m = 18172. Does 33 divide m?
False
Suppose -v + 5 = -0*v. Suppose r - 49 = -5*s, s + v*r + 0*r - 5 = 0. Suppose 45 + 205 = s*n. Does 25 divide n?
True
Is 8 a factor of (4 - 6)*(-329 + 75)?
False
Let u be 2/(-6)*(42 + -9). Let w(p) = 28*p + 3. Let c be w(u). Is ((-16)/(-20))/((-6)/c)*3 a multiple of 27?
False
Let r be 9 + 0 + (8 - 12) + -1. Suppose 0 = -r*k + 3*k + 4*m + 35, -k + 26 = 5*m. Let t = k + -13. Does 6 divide t?
True
Let m(d) = -3*d**3 - 52*d**2 + 32*d - 126. Is 23 a factor of m(-24)?
True
Let x(p) = 65*p**2 - 152*p + 1411. Does 2 divide x(11)?
True
Suppose -2*a + 16988 = -3*u, -3*a + 40621 = -3*u + 15130. Is 40 a factor of a?
False
Let h(f) be the second derivative of -f**5/20 + 5*f**4/6 + 11*f**3/6 - 11*f**2/2 + 3*f. Suppose -v - 5*y = -35, -9*v + 30 = -4*v - 4*y. Is 6 a factor of h(v)?
False
Suppose 6*p = 414 - 390. Let f(y) = 20*y**2 - 19*y + 6. Does 10 divide f(p)?
True
Suppose -3*v - 5*m + 13 = -11, -4*m = -5*v + 3. Is 13 a factor of (v - -2)*9*13?
True
Let i(t) = -t**3 - 14*t**2 - 15*t - 10. Let r be (-6)/(-2 + -1)*(-130)/20. Let c be i(r). Let m = c - -25. Does 4 divide m?
False
Let l(u) be the