4*x + 1156. Let f = n + 648. Is f a multiple of 12?
True
Suppose -15*a - 69 = -38*a. Let s(x) = 13*x**3 - 6*x**2 + 7*x + 11. Is 5 a factor of s(a)?
False
Let m(h) = 3*h**2 + 4. Let l be m(15). Suppose l*r = 670*r + 7632. Is r a multiple of 12?
False
Let i(t) = 2*t - 13. Let h be i(9). Suppose 35 = 10*n + h. Suppose -305 = -4*g - n*k, -2*g + 4*k + 260 = g. Is 20 a factor of g?
True
Let r = -179 + -349. Let l = r - -781. Is 23 a factor of l?
True
Let b = -130 + 522. Is b a multiple of 8?
True
Let y = 2919 - 1754. Suppose -y = -3*b - 325. Is b a multiple of 28?
True
Let r be (292/16)/(4/(-40)) + 4/8. Let g(a) = 7*a**3 + 2*a**2 - 3*a + 2. Let n be g(4). Let s = r + n. Does 36 divide s?
True
Suppose -113*x - 2*a = -114*x + 4149, -16583 = -4*x - 5*a. Does 140 divide x?
False
Let v(n) = -228*n - 2. Let a(f) = 798*f + 6. Let m(r) = -5*a(r) - 18*v(r). Does 13 divide m(2)?
True
Suppose 47 + 11 = 29*s. Suppose -w - 3*h = s*w - 3429, -3*h + 4569 = 4*w. Is w a multiple of 20?
True
Let y(h) = 36*h - 30. Let x(f) = -3*f**3 + 18*f**2 + f - 8. Let r be x(6). Let s be ((-3)/(-2))/((-3)/20*r). Does 13 divide y(s)?
False
Let i(s) = 60*s - 5. Let m be i(2). Let x = m - 113. Suppose -2*n + 74 = -7*b + 9*b, b + x*n = 38. Is 11 a factor of b?
False
Suppose -2*w - 22*n + 17*n + 419 = 0, -3*w + 657 = -2*n. Suppose -2*x + 5*h = w - 1505, 5*h + 1942 = 3*x. Is x a multiple of 85?
False
Suppose -5 - 1 = -3*l. Suppose 38*n - 34*n - 392 = 0. Suppose 0*u - u + 40 = -l*x, 0 = -3*u - 5*x + n. Is u a multiple of 12?
True
Let n(y) = y**3 - 11*y**2 - 25*y + 9. Let w be n(13). Suppose -w*a = 2479 - 10993. Is 49 a factor of a?
False
Suppose 4*s - 138 = 234. Suppose 3*g - s = v + 44, -5*v + 215 = 5*g. Does 9 divide g?
True
Let z(q) = q**3 - 7*q**2 + 12*q - 3. Let y be z(5). Suppose -d - 808 = y*d. Let u = 191 + d. Is u a multiple of 9?
True
Let a = 75 - 67. Suppose 11*q - 3*j - 252 = a*q, 4*q + 2*j = 324. Is 11 a factor of q?
False
Does 15 divide (3/2)/(7/17920)?
True
Let c = -71 + 75. Suppose q - 288 = -2*d, -c*d = -18*q + 23*q - 1434. Is q a multiple of 8?
False
Let r = 85 + -86. Is 7 a factor of -62*(-5 - r)/8?
False
Suppose -5*f + 23 = -y, 4*f - 5*y - 71 + 40 = 0. Let c(x) = -20*x + 2. Let q be c(4). Is 13 a factor of (f + 0)/((-4)/q)?
True
Let y(z) = 0*z - 66*z**2 + 34*z**2 - 7 + 3*z + 34*z**2. Let k be y(-3). Suppose -3*r - k*r - 2*g + 354 = 0, -5*g + 273 = 4*r. Does 18 divide r?
True
Let p = 21 - 21. Let c be p/(0 - -3) - -7. Suppose -n = c*n - 216. Does 2 divide n?
False
Suppose 3*m + 248 = 2*z - 116, 0 = z - 3*m - 179. Suppose 0 = -2*k - w + 156, 5*w = 5*k - z - 235. Is k a multiple of 8?
True
Suppose -26*q + 18*q = 0. Suppose q = -27*a + 54*a - 3726. Does 3 divide a?
True
Let o(b) = -b + 12. Let h be o(12). Suppose h = -d + 3*d. Is 11 a factor of ((-231)/(-15) + d)/((-5)/(-25))?
True
Suppose 8*l - 2*l = 36. Does 4 divide 332*((-46)/8 + l)?
False
Suppose 2579 = 3*i + j, 7*i + 1066 - 7097 = j. Is 11 a factor of i?
False
Suppose 4*j = j + 465. Let i = -52 + j. Suppose 4*q - i = -2*r + r, 5*q = r + 122. Does 5 divide q?
True
Let v(i) = -2*i - 25. Let s be v(-11). Let z = 5 + s. Suppose z*r - r - 78 = 0. Is 13 a factor of r?
True
Is 183 a factor of (-122)/(((-2230)/225)/(-2) - 5)?
True
Let z(g) = 158*g**2 - 3*g. Let x be z(2). Suppose 0 = -5*h + x + 944. Is h a multiple of 21?
False
Let p(f) = -f**2 + 13*f. Let j be p(15). Let x be 484/10*j/(-12). Let n = x + -71. Is n a multiple of 20?
False
Let c = -4471 - -6432. Does 36 divide c?
False
Let i(o) = o**3 + o**2 - 2. Let c(r) = -3*r**3 + 10*r**2 + 12*r + 35. Let k(y) = c(y) + 4*i(y). Is k(-13) a multiple of 20?
True
Let b = -140 + -76. Let u = 363 + b. Is u a multiple of 19?
False
Let z be (7 - 5)*4 + 1. Does 13 divide 39/(z - (-894)/(-100))?
True
Is 13 a factor of 516/30*5*(10 - 0)?
False
Is (-62)/(3844/186) + 2*8109/2 a multiple of 7?
True
Let a(u) = 5*u**2 + 17*u + 19. Let i be a(-10). Let r = -643 + i. Let d = r + 444. Does 11 divide d?
False
Suppose -16280 = -4*l - 7*l. Does 37 divide l?
True
Let c be 146/14 + 4/7. Let i(m) = -15 - 22 + 11 - 4 + c*m. Does 27 divide i(8)?
False
Suppose 0 = -87*o + 37*o + 493900. Is o a multiple of 11?
True
Let w(q) = -3*q - 12. Let f be w(-8). Let i(o) = -1 - f*o - 6 + 0*o**2 - 2*o - 2*o**2. Is 3 a factor of i(-6)?
False
Let r(g) = 45*g**2 + 37*g - 68. Is r(9) a multiple of 5?
True
Let i(q) = 2*q**2 + 98*q + 4856. Is 114 a factor of i(100)?
True
Let s(a) = a**3 - 20*a**2 + 20*a - 16. Let h be s(19). Suppose 4*r + 2*n = 148, 97 = -h*r + 6*r - 2*n. Is r a multiple of 17?
False
Suppose 3*a = 29 + 13. Let r = a - 11. Suppose -8*f + 3*f + 135 = r*z, -5*f = 2*z - 140. Is f a multiple of 8?
False
Let q(r) = 3*r + 2570. Does 67 divide q(-75)?
True
Let d = -114 + 81. Let w be (2/(-6))/((-8)/48). Is (d - -9)/(w/(-16)) a multiple of 12?
True
Let j = 0 - -3. Suppose 5*x - 2*x + 3*t = -6, -3*x + j*t = -24. Suppose -x*k = -4*k - 3*h + 112, 3*h = -5*k + 524. Is k a multiple of 13?
False
Suppose 4*f - 31844 = -12*j + 8*j, -3*j = 4*f - 31838. Is 28 a factor of f?
False
Let k be (-124)/(-2) + 34 + -40. Suppose -50*h = -k*h + 2592. Does 36 divide h?
True
Suppose -21*k = -15*k - 636. Let s = 4 - 2. Suppose -c - k = -s*c. Is 10 a factor of c?
False
Let t(q) = -q - 2. Suppose 4*y - 57 = -0*y - 5*v, -4*v = 4*y - 52. Suppose -7*m = -y*m - 10. Is t(m) a multiple of 5?
False
Let b = 8835 - 3933. Is 43 a factor of b?
True
Let h(j) = j + 2. Let p(g) = -2*g**2 + g + 32. Let t(a) = 6*h(a) - p(a). Is 11 a factor of t(7)?
False
Suppose -5*u + 8696 - 2851 = 0. Is u a multiple of 123?
False
Let m(s) = -112*s + 69. Let r be m(5). Let l = r + 714. Is 2 a factor of l?
False
Suppose -8*k + 26 + 70 = 0. Suppose 16*g = -k*g + 5180. Does 6 divide g?
False
Let y = 12 + 8. Let d(u) = 2*u - 31. Let v be d(y). Suppose -c - v = -47. Is c a multiple of 9?
False
Let u = -44 - -68. Let k = u - 24. Suppose 0 = -4*p - 5*d + 66, p - d + 2*d - 16 = k. Is p a multiple of 2?
True
Let c = -6844 + 15204. Is c a multiple of 38?
True
Let d be (-102)/(-12) + (3/2 - 0). Suppose -498 = 4*t - d*t. Let l = t + 1. Is l a multiple of 12?
True
Suppose 5*m - 5*x - 80 = 0, -2*x + x - 4 = 0. Suppose 9*j - m*j = -15, 0 = 3*q - 3*j - 333. Is q a multiple of 14?
False
Let o be 7/21 - (435/(-9))/5. Suppose 0 = -o*r - 2284 + 6244. Is r a multiple of 22?
True
Is 21 a factor of ((-54208)/4)/(-4) + (-8 - 2) + 3?
True
Let u be (((-48)/(-5))/(-2))/(9/(-240)). Let g = -72 + u. Does 49 divide g?
False
Let m be (-6)/(-8) + 11/((-176)/(-9028)). Suppose 133 = -12*j + m. Is j a multiple of 18?
True
Let z(k) = -28*k - 35. Suppose 2*y + 5*n + 39 = 0, 36 = -y - 2*y - 3*n. Is 7 a factor of z(y)?
True
Suppose 115*u + 66*u = -24*u + 1081170. Does 6 divide u?
True
Let x = 45 - 311. Let y = x - -392. Is 16 a factor of y?
False
Suppose -4*c = -8*z + 5*z + 663, 5*z - 1105 = -5*c. Let o = z - 149. Does 3 divide o?
True
Let u(q) be the second derivative of q**4/3 - 8*q**3/3 + 3*q**2/2 - 18*q. Let g be (-2)/(-2) + -4 + 10. Is u(g) a multiple of 21?
False
Let n = -13571 - -13735. Suppose -4*r - 90 = -3*r. Let d = n + r. Is 6 a factor of d?
False
Let a(f) = -f**3 - 15*f**2 - 3*f - 13. Let t be a(-15). Suppose -r - t = -580. Is 12 a factor of r?
False
Suppose -1120*d + 1153*d = 657756. Is 53 a factor of d?
False
Let c be (-1)/2*8*(-5 + 9). Is (-568)/c - (-2)/4*1 a multiple of 15?
False
Let u = 45 - 57. Let d be ((-1)/3)/(6/72) + u. Is 19 a factor of (-44)/16*-83 - (-4)/d?
True
Let y(t) = -34*t - 3. Let a(o) = -3*o - 16. Let j be a(-5). Let q be 104/(-56) + j/7. Is y(q) a multiple of 19?
False
Let p(n) = n**3 + 9*n**2 - 2*n - 20. Let k be p(-9). Let b be 12*(14/6 + k). Suppose 2*x = 5*q - 852, -4*q - b*x = -3*x - 692. Is 42 a factor of q?
False
Let d(j) = -3*j**2 + 7 + 9*j**3 - 4*j - j - 8*j**3. Let o be d(4). Suppose 4*h - 322 = -o*h. Does 9 divide h?
False
Let r = -93 - -3993. Is r a multiple of 25?
True
Let z = -304 + 309. Suppose 3*g + 4*t = z*g - 3282, 3*g - 4943 = t. Is g a multiple of 17?
True
Let p = 1633 + -825. Let x = -463 + p. Does 42 divide x?
False
Let u = -301 + -316. Let w = u - -932. Does 9 divide w?
True
Does 98 divide (-2)/(23 - 5) + 3612/81*363?
False
Does 66 divide ((-704)/40)/(1 - 1430/1425)?
True
Let d be 0 + (-7466)/(-6) + (-2)/6. Let y = d + -488. Is 42 a factor o