s 31 a factor of g?
True
Let w(k) = 54*k + 112. Let l be w(6). Let s = 476 - l. Is 40 a factor of s?
True
Let o be 1 + 0 + -19 + -82. Let h = o + 104. Does 13 divide ((-2)/h)/((-3)/(-1638)*-3)?
True
Let d be 4/10 - -3*(-1)/(-5). Suppose -2*f - d + 7 = 0. Suppose -2*w + 2*x - 62 = -5*w, -f*w + 2*x = -70. Does 11 divide w?
True
Suppose 254*u = 250*u - 1204. Let m = 346 + u. Is 16 a factor of m?
False
Let b = 257 + 4413. Is 24 a factor of b?
False
Let m(p) = p**3 + 2*p**2 - p - 4. Let h(c) = 3*c**2 - 38*c - 18. Let y be h(13). Let s be m(y). Is 23 a factor of s*(-5 - 21/(-6))?
False
Suppose -5*q - 17645 = -2*o, -144*o + 142*o + 17639 = q. Does 63 divide o?
True
Let x(o) be the first derivative of o**4/4 - 10*o**3/3 + 5*o**2 - 11*o - 3. Let v be x(9). Is (9/(-27))/(v/18) a multiple of 3?
True
Let r = 2951 + -62. Let q = r - 1944. Does 9 divide q?
True
Let z(t) = -2*t - 9. Let y be 1160/24 + 4/6. Suppose y + 31 = -5*q - 2*r, 0 = -5*r + 25. Is z(q) a multiple of 2?
False
Suppose -2*i + 5881 = 5*b, 3*i + 4714 = -5*b + 9*b. Is 40 a factor of b?
False
Does 94 divide (-11)/(121/(-44)) + 372?
True
Let q(x) = 14*x**3 + 425*x**2 + 29*x - 4. Is q(-30) a multiple of 37?
True
Suppose -513*i + 71210 = 5*t - 511*i, 0 = -3*t - 4*i + 42740. Does 8 divide t?
True
Suppose -t = 4*l - 17, 0 = -3*l - 7*t + 4*t + 24. Suppose 0*n + 6 = l*n, -g = 5*n - 415. Is g a multiple of 9?
True
Suppose -v - v = 4*y - 390, 2*y + 207 = v. Suppose t = v - 18. Is t a multiple of 5?
False
Let q be (6/21 - (-132)/28)*2. Suppose 0 = -4*d + 2 + q. Suppose -35 - 334 = -5*s - p, d*p + 61 = s. Is 11 a factor of s?
False
Suppose 30 = 14*l - 8*l. Suppose -183 = -b - 3*h + 183, -2*b = l*h - 730. Is b a multiple of 6?
True
Let f(r) = 46*r - 420. Let v be f(9). Suppose 5*y + 5*o = 1285, 0 = -3*y + o - 455 + 1214. Is 9 a factor of (y/2)/((-6)/v)?
False
Let y = 33 + -53. Let c be (3/(-2))/(18/15)*y. Let f = 10 + c. Is 19 a factor of f?
False
Suppose 4*p = -37 + 85. Suppose -s + 52 = p*s. Suppose -3*g + 353 = s*z, -4*g = -3*g + 4*z - 123. Is 13 a factor of g?
False
Let c = -718 - -1204. Suppose 5*p + 4*w = 1241, -4*p + w = -2*p - c. Suppose 0*n - 5*n + p = 0. Is 30 a factor of n?
False
Suppose -8*q = -10*q + 228. Let g = q + -111. Suppose 3*s - 16 = 5*i + 12, 0 = g*s + i - 52. Does 7 divide s?
False
Let w(b) = 22*b**2 - 104*b + 321. Let t be w(3). Let n be (157/3)/(2/36). Suppose n - t = 7*p. Is 10 a factor of p?
False
Suppose 21855 = 5*d + 3390. Suppose 615 = -6*x + d. Suppose -l - 8*l + x = 0. Does 16 divide l?
False
Suppose 0 = -2*w + 4*s - 4 + 16, 5*s + 15 = -3*w. Suppose 4*t + 3*j - 3399 = 0, w = 4*j - 21 + 1. Does 32 divide t?
False
Let t(u) be the second derivative of -u**4/24 + 69*u**3/2 + 19*u**2/2 + 13*u. Let l(x) be the first derivative of t(x). Does 34 divide l(0)?
False
Let n = 47 - -9. Suppose 0 = 3*p - 12*p + 1152. Let j = p - n. Does 23 divide j?
False
Let i(y) = -y**2 + 9*y - 4. Let s be i(8). Let g(k) = -k**2 - 9*k - 6. Let h(x) = 3*x + 2. Let u(l) = -2*g(l) - 7*h(l). Is 9 a factor of u(s)?
True
Suppose -2*c + 9991 = 3*a, c = -3*a - 667 + 5658. Is c a multiple of 8?
True
Suppose -15*q + 21 = -12*q. Let i(z) = z**3 - 2*z**2 + z - 15. Is 46 a factor of i(q)?
False
Suppose 0 = -7*b + 2*b + b. Let o(w) = -w + 0*w - 55 + 145 + w**2. Is 15 a factor of o(b)?
True
Suppose 5*f - 4421 = 1519. Suppose -8*p - f = 4*p. Let h = 179 + p. Is 40 a factor of h?
True
Suppose -12*r - 21801 = -110505. Suppose -r = -21*n - 12*n. Does 8 divide n?
True
Suppose 1256 = -36*w + 38*w. Let a = -582 + w. Is a a multiple of 7?
False
Let z be (-1)/(-4*4/2032). Let i = z + -4. Does 4 divide i?
False
Suppose -224*f + 217*f = 2 - 14765. Does 230 divide f?
False
Let p = 12140 - 6792. Is p a multiple of 41?
False
Let i = 21 - 19. Let z be 57 + -6 - (2/2 + i). Suppose -47*o + z*o - 126 = 0. Does 27 divide o?
False
Suppose -16252*c + 16242*c = -71880. Is 63 a factor of c?
False
Let l = -56 + 70. Suppose -3*i + l - 2 = 0. Suppose 2*t = i*c - 194, 0 = -0*c - c - t + 53. Is c a multiple of 25?
True
Suppose -8*b = -17 - 23. Suppose -2*m - 414 = -4*p, p - b*m = -4*p + 510. Is 5 a factor of p?
True
Let l(g) = 2*g**2 - 3*g + 13. Let c be l(9). Let h be c - 1/(2/6). Suppose h = w + i - 4*i, -3*i + 483 = 3*w. Is w a multiple of 23?
False
Let t be -3 - 1 - (-20 + 0). Let l be 40/t + (-5)/2. Suppose -5*u + 6*u - 39 = l. Is u a multiple of 13?
True
Let h = -13843 - -20370. Is 176 a factor of h?
False
Suppose -x - 15 = 4*x. Let f(k) = 2*k + 6. Let h be f(x). Suppose 5*s + h*s = 640. Is 16 a factor of s?
True
Is 26 a factor of 3434/12 - 7/42?
True
Let k be (120/18 - (-8)/(-4))*1518. Suppose -84*v + 77*v = -k. Is v a multiple of 23?
True
Let z(h) = 2*h**3 + 19*h**2 + 9*h + 15. Let a be z(-9). Suppose -20*j + a*j + 2265 = 0. Is j a multiple of 52?
False
Let u(b) = 227*b**2 + 2. Let o be u(1). Let n be (-1)/(6/4 + -2). Suppose -21 = n*a - o. Is 21 a factor of a?
False
Let q be (-4)/14 - (-5 + (-10)/35). Suppose -2*j + 3*j - 92 = -q*a, -276 = -3*j + 5*a. Suppose 2*p - 108 = j. Does 10 divide p?
True
Is 2225/(-10)*6820/(-25) a multiple of 62?
True
Suppose 32*h = 45908 + 55884. Does 14 divide h?
False
Let a = -26115 - -42798. Is 40 a factor of a?
False
Let m = -5962 - -15502. Is 60 a factor of m?
True
Let v = -224 + 225. Is 28 + -21 + (-3 - v) - -276 a multiple of 44?
False
Let x be (-208)/5*(-30)/4. Suppose 5*b - 3*c - 393 = 0, -4*b = -11*c + 8*c - x. Is b a multiple of 9?
True
Suppose -2*z - p + 8 + 7 = 0, 23 = 3*z + 2*p. Suppose -z*b + 168 = -5*b. Suppose c + 2*q = 5*q + 108, -3*q = c - b. Does 8 divide c?
True
Let o(l) = -l**3 + 32*l**2 - 42*l - 46. Suppose 0 = -28*i + 38*i - 300. Does 38 divide o(i)?
True
Suppose -x - 2 = 2*v + 22, -3*x - 2*v - 52 = 0. Does 54 divide (-13602)/x + (-4)/7 + 1?
True
Let d = 69 - 30. Let p = 60 - d. Let q = p - 12. Does 7 divide q?
False
Let a = -285 - -289. Suppose 5*s = 4*u + 1488, s = -u - a*u + 315. Is 12 a factor of s?
True
Let p = 232 - 227. Does 61 divide 0 - ((-335 - p) + -6)?
False
Let v = -163 + 173. Let u(d) = 26*d - 35. Is 15 a factor of u(v)?
True
Let t = -1463 + 3716. Is 7 a factor of t?
False
Let z(m) = -4*m**2 - 43*m + 12. Let g be z(-11). Let k be 0 + (-20)/(-2) + g. Does 22 divide (-3 + k)*(-22)/(-8)?
True
Let r be (-45)/(-60)*(-40)/(-3). Let k(l) = l - 6. Let m be k(8). Let v = r + m. Is v a multiple of 12?
True
Suppose 0 = -2*d + 4*d - 390. Let h be (3 + d/2)*(-12)/18. Let l = 73 - h. Is 20 a factor of l?
True
Suppose -110*l + 215518 + 248939 = 9*l. Is 58 a factor of l?
False
Let q(b) = 414*b**2 + 107*b + 211. Is q(-2) a multiple of 29?
True
Let s(l) = 330*l + 1325. Let n be s(-4). Let q = 4 - 1. Suppose -6*f + 7*f = b - n, -4*b + 20 = q*f. Does 5 divide b?
True
Suppose 4794*g + 352682 = 4828*g. Is 21 a factor of g?
False
Is 15 a factor of (-1622385)/(-248) - (4/(-32) - 0)?
False
Suppose 3*p - o = 282, o = -3*p + 4*o + 294. Does 11 divide p?
False
Suppose -4*v - 12796 = -5*f, v + 12434 + 380 = 5*f. Is f a multiple of 9?
False
Let d be 4545/12 - 1/(-4). Let t = -253 + d. Let i = -45 + t. Does 9 divide i?
True
Suppose 0 = -321*d + 300*d + 11781. Does 11 divide d?
True
Let g = 26 + -24. Let q(n) = -7*n**g - 3 + 8*n**2 + 12. Is q(3) a multiple of 18?
True
Suppose -4*l + 167*v + 1566 = 162*v, 4*v = 4*l - 1564. Is l a multiple of 2?
False
Let p(t) = 92*t + 2. Suppose -x - w - 28 = 0, 0 = 3*x - 4*w + 115 - 17. Let i = -28 - x. Is 31 a factor of p(i)?
True
Let g(d) = -d**3 - 3*d**2 + 3*d + 5. Suppose 44*m = 45*m + 7. Does 18 divide g(m)?
True
Let m be (70/25)/((-2)/(-5)). Suppose -3756 = -13*x + m*x. Does 10 divide x?
False
Let c(f) = f**2. Let p be c(-2). Suppose p*m - 5*h + 11 = m, 0 = 4*m - 3*h. Suppose -94 = 2*o - 7*o + 2*j, -2*o = -m*j - 42. Does 4 divide o?
False
Let c(f) = 47*f + 748. Let n = 527 + -527. Is c(n) a multiple of 32?
False
Suppose -4*f + z + 20 = -3*z, -3*z + 9 = 3*f. Suppose d = f*g + 24, d = 2*d - 2*g - 20. Does 16 divide d - 8/(-5 + 1)?
False
Suppose 0 = 75*s - 72*s - 279. Let q = 967 - s. Does 24 divide q?
False
Suppose 0 = -r - y + 7, -17 = -2*r - 3*y. Suppose -36 = 4*w - r*k + 48, 0 = 3*k - 9. Is (w/(-27))/((-6)/(-315)) a multiple of 5?
True
Suppose -15 = 3*d + 9. Let b be ((-123)/(-6) - 0)/(4/d). Let n = b - -97. Does 8 divide n?
True
Let w be -2*(-8994)/(-44) - 