4 = -2*l - 138. Let c = l + 437. Suppose 0 = -5*t + 15, w = -4*w - 2*t + c. Is 15 a factor of w?
True
Let h(z) = 4*z**2 + 14*z + 9. Let w(c) = -c**2 - c + 1. Let o(v) = -h(v) - 3*w(v). Let d be o(-10). Is ((-2)/d - 2) + 30 a multiple of 20?
False
Suppose -10*i - 2232 + 10414 = -11138. Is i a multiple of 7?
True
Let n(d) = 8*d**2 + 12*d + 10. Let a(o) = 7*o**2 + 14*o + 12. Let i(b) = -3*a(b) + 4*n(b). Is i(-2) a multiple of 4?
True
Let r be 823*(-120)/(0 - 6). Is 14 a factor of r/28 + 11/77?
True
Suppose -4*o = f - 102 + 29, o = f + 12. Suppose -o*w = -12*w - 65. Does 10 divide w?
False
Does 45 divide (-31)/((-372)/45360) - 4?
False
Let r(j) = -j**3 + 17*j**2 + 62*j - 46. Let h be r(20). Is 23 a factor of -10 - (2 + h) - -435?
False
Suppose 2*i = -5*r + 168151, 3*i - 17633 - 49645 = -2*r. Is r a multiple of 11?
True
Let r = 47 + -37. Let m be (-12)/r*(2 + (-2168)/(-6)). Let t = -296 - m. Does 7 divide t?
True
Suppose -m + 4*z - 21 = 0, 2*z - 25 = -3*z. Let t be (5/5)/(m/(-59)). Let n = -35 + t. Is 24 a factor of n?
True
Let t(c) = -c + 10. Let k be t(-5). Suppose -k = -5*l - 0*l. Suppose 4*w - 4*b - 140 = 0, -5*w - l*b = b - 211. Does 12 divide w?
False
Let y(o) = o**3 - 19*o**2 - 36*o - 51. Let c(p) = 8*p**2 + 35*p - 4. Let t be c(-5). Let m be y(t). Suppose -2*s - 2*w + 56 = -6*w, 3*s = 3*w + m. Is s even?
True
Let k(w) = 172*w - 2307. Is 23 a factor of k(29)?
False
Let b(h) = -h**2 - 6*h - 2. Let w be b(-9). Let f(i) = -21*i + 175. Does 8 divide f(w)?
True
Suppose 5*w + 91 = -4*b, -3*w + 5*b = 9*b + 53. Let c = w + 250. Is c a multiple of 11?
True
Let n be (-3 + 1)/((-4)/6). Let u = 256 - 104. Suppose -s = 5*q - u, 5*q - n*q + 718 = 4*s. Is s a multiple of 41?
False
Let b be 1 - (-2)/(-3)*-30. Let k(x) = 2 + 12 - 9 - b*x - 29. Is k(-6) a multiple of 17?
True
Let t be (-4)/4 - (-1 - 4). Suppose -t*k = -k - 96. Suppose 0 = 8*h - 7*h - k. Is 12 a factor of h?
False
Let p(w) = 11*w - 42. Let v = -158 - -168. Is 6 a factor of p(v)?
False
Suppose -2180 = 8*v + 1524. Let h = v - -727. Let d = 544 - h. Does 35 divide d?
True
Let r be (198 + 17)/(-3 + (1 - -3)). Is ((-70)/(-4))/7*(-3 + r) a multiple of 20?
False
Let j = -27707 + 68351. Is 18 a factor of j?
True
Suppose -5*o + 5*o = -6*o. Suppose -16*r + 313 + 727 = o. Let q = r - 31. Is 15 a factor of q?
False
Let x(m) = 2*m**3 + 41*m**2 + 5*m + 45. Let y be x(-18). Let g = -1046 + y. Is 72 a factor of g?
False
Suppose -2*c - 3*b = -17, -2*c + 3*b = -3 + 4. Let j(i) = -8*i + 14. Let d be j(c). Is 13 a factor of (-6)/(-4)*(-624)/d?
True
Let j = 131 - 124. Let h(d) = 10*d**2 + 16. Is 46 a factor of h(j)?
True
Suppose 57 = -4*i - 39. Let j = i + 136. Does 7 divide j?
True
Suppose -31*n + 30688 = -239942. Is n a multiple of 31?
False
Let s be (-2)/(-1 - (-75)/65). Let g be s/3*-21 + (-4)/(-1). Suppose -7*d + 1341 = g. Is d a multiple of 14?
False
Let s = -918 - -382. Let u = s - -762. Does 20 divide u?
False
Let w(n) be the third derivative of n**5/20 + 5*n**4/24 + 9*n**3/2 + 2*n**2 - 3. Is 5 a factor of w(6)?
True
Suppose 3*a = 76 - 1579. Suppose 19*o + 16147 = -48*o. Let q = o - a. Is q a multiple of 29?
False
Let z(h) = -32*h + 2574. Is z(0) a multiple of 78?
True
Is 197 a factor of (0 - 1)/(82734/8274 - 10)?
True
Suppose g - 3*i + 10 = 0, -3*g + 4*i + 2 = 42. Let z be g/88 - (1 + (-20)/(-11)). Is 9 a factor of z/((-9)/(-2)) + (-1406)/(-57)?
False
Let p(r) = 7*r**2 - 495*r + 131. Is 25 a factor of p(77)?
False
Suppose 5*h - 1460 = -2*y, -6*h + 7*h + 1436 = 2*y. Is y a multiple of 18?
True
Let h be (4/(-63) + (-2)/9)*-14. Suppose 21*v + h = 23*v. Suppose -v*k - 556 = -3*f, -3*k + 733 = 4*f - 4*k. Is 7 a factor of f?
True
Suppose -28*t + 27*t = -4. Suppose 48 = t*p - 12. Let m(v) = -v**2 + 17*v - 9. Is m(p) a multiple of 9?
False
Let x be (-10)/((-20)/6*(-42)/(-56)). Is 22 a factor of ((-165)/x)/(2*(-12)/128)?
True
Let j be (-921)/12*(-23 - -27). Let h = 373 + j. Does 11 divide h?
True
Let z be (((-72)/(-30))/(-3))/((-1)/5). Let m be z + (7 - 4) + -3. Suppose 0 = 2*h + 5*b - 2*b - 367, -5*h + 860 = -m*b. Does 22 divide h?
True
Suppose n - 2401 = 5*q + 1624, 5*n - 4*q - 20083 = 0. Is 10 a factor of n?
False
Let y be -1038*(-5)/10 + -4. Let j = -208 + y. Let b = -192 + j. Does 21 divide b?
False
Let v(g) = 3*g**2 - 118*g**3 - 8 + 5*g - 116*g**3 + g + 233*g**3. Let b be v(4). Suppose b = m - 3*u - 34 - 122, -m + 5*u = -164. Is 16 a factor of m?
True
Let u(s) = -s - 2. Let f be u(-2). Suppose -22*v + 24*v - 112 = f. Suppose 5*t - 406 = -v. Is t a multiple of 18?
False
Suppose -1090466 - 861143 = -39*n - 410329. Is n a multiple of 16?
True
Let l be (-1)/(4 + -3 + -2). Let r be 1*-3 + -2 + l + -1. Does 21 divide (-68)/20*r/2*6?
False
Suppose 974 - 5966 = -6*l. Does 8 divide l?
True
Let d be 260/4 + 2 - 2. Let i = d + -58. Suppose 8*x - 2880 = -i*x. Does 23 divide x?
False
Let h be (3/(-6) + 1)/((-1)/(-8)). Suppose 0 = a - h*x + 8, 0 = -a - 4*a - 3*x - 86. Let p(b) = b**3 + 17*b**2 + 10*b + 26. Is p(a) a multiple of 29?
False
Let l = 41 + -26. Suppose 2*i = 7 + l. Suppose -13*v + 92 = -i*v. Is 23 a factor of v?
True
Suppose 6*d + 312 = 10*d + 5*b, -4*b + 390 = 5*d. Suppose -3*n - 5*x + 409 = d, 5*n - x - 561 = 0. Does 2 divide n?
True
Suppose 0 = -b - 5*i + 2700, 2695 = b - 3*i + 27. Is 40 a factor of b?
True
Let m be (15/3)/(3/60). Let a = -39 + m. Suppose -2*k + 4*k = 2*r + 44, 4*k - a = -5*r. Does 19 divide k?
True
Suppose 364*d - 367*d + 4308 = 0. Let f = d + -773. Is f a multiple of 12?
False
Suppose -20*t = -18*t - 8. Suppose -4*x + 6 = -2*d - 8, -4*x = -t*d - 20. Suppose -r - 4 = -9, -x*k - 2*r = -298. Is 8 a factor of k?
True
Suppose 0 = 581*k - 572*k - 53856. Is 8 a factor of k?
True
Suppose 0 = 2*z + 8, -1608 = -4*i - 0*i + 5*z. Suppose -247 = -7*p + i. Let h = p + -29. Is h a multiple of 10?
False
Let f be (-84)/(-22) + 6/33. Suppose -f*q - 159 = -r, 0 = 3*r - 2*r - q - 153. Suppose -8*t - 7 = -r. Does 4 divide t?
False
Let u(c) = -c**3 + 33*c**2 - 110*c + 6. Let x be (-115)/(-4) - (-4)/16. Does 2 divide u(x)?
True
Suppose -51*t - 24*t + 456000 = 0. Does 38 divide t?
True
Let y(f) = 3*f**2 - 5*f + 3. Suppose 3*g + 4 = -4*b, -g = 3*b - b. Let p be y(b). Suppose 0*v - v + 33 = 2*d, -105 = -5*v + p*d. Is 4 a factor of v?
False
Suppose 52*g - 71*g + 4750 = 0. Is g even?
True
Let k = -10232 + 14894. Does 63 divide k?
True
Suppose 128*n = 125*n. Suppose n = -31*i + 8*i + 8280. Is i a multiple of 10?
True
Does 39 divide 3/((-87255)/29100 - -3)?
False
Let h be (-1824)/144 + (-4)/3. Let j = h - -72. Does 29 divide j?
True
Suppose 0 = 3*d - 10*d + 301. Suppose 3*w - 4*p = 71, 48 - 11 = w + 2*p. Let k = w + d. Is 18 a factor of k?
True
Suppose 0 = x - 46 + 43. Suppose -x*j + 4*f + 220 = 0, f = 5*f - 20. Suppose -3*d - 14 = -2*m + 62, -j = -2*m + 4*d. Is 19 a factor of m?
False
Let q(h) = -h**3 + 23*h**2 + 46*h - 22. Let x be q(20). Suppose -3*b - 4*y = -1475, -y - 345 - x = -5*b. Does 10 divide b?
False
Let i be (-14)/42*(-10 + 1). Suppose i*g - 421 = 2*y, -7*g + 269 = -5*g + y. Does 4 divide g?
False
Let a(o) = o**3 - o**2 - 6*o - 8. Let y be a(4). Is 43 a factor of (-86)/(y/(-88)*1)?
True
Suppose 23*g - 22*g + b = 24608, 0 = 5*g - 2*b - 122984. Does 15 divide g?
True
Let h(a) = -2*a**2 - 45*a - 13. Let i be h(-15). Let v = i + -59. Is 10 a factor of v?
False
Let q(x) be the first derivative of 33*x**4 + x**3/3 - 5*x**2/2 + 4*x - 168. Is q(1) a multiple of 4?
True
Suppose 3*i + 2*i + 1151 = 4*g, 5*g - 1465 = i. Suppose 0 = -5*u + 3218 + 2852. Suppose -5*s = -u + g. Is s a multiple of 32?
False
Does 130 divide (-3 + 15087 + -9 + -1)/2?
False
Let d(m) = m**3 - 4*m**2 - 5*m - 16. Let f be d(6). Let s = f + 79. Suppose -5*q + 250 = 4*w, s = 3*q + 3*w - 42. Is 9 a factor of q?
True
Let a(h) = -4*h - 26. Let u be a(-7). Suppose 0 = -7*p + 5*p - 2*q + 572, -u*q - 1156 = -4*p. Does 16 divide p?
True
Suppose 0 = 4*s + 5*i - 14017 - 13168, 0 = 2*i - 10. Is s a multiple of 14?
True
Let u = -83 + 242. Suppose 0 = -3*y - u + 483. Does 27 divide y?
True
Suppose -3*y + 4*f = -5*y + 49692, 4*y = -5*f + 99396. Is y a multiple of 15?
False
Suppose m + 2*n + 33 = 0, 38 = -2*m - 3*n - 24. Let h = 53 - m. Is h a multiple of 9?
False
Suppose 4*a + 55*t - 7153 = 58*t, 5*a + 4*t = 8980. Is a a multiple of 7?
True
Let l = 33 + -