 5*o - 945. Let c = -10 + 14. Suppose -136 = -4*l - c*i, 5*l + i - 3*i = o. Does 9 divide l?
False
Let r(j) = -j**3 + j**2 - 14*j + 30. Does 98 divide r(-8)?
False
Suppose 0 = 4*y + 5*j - 11026, 5*y - 13210 = j + 558. Suppose 0 = -7*n + y + 95. Is n a multiple of 43?
False
Let j(h) = h**2 - 15*h + 38. Let r be j(5). Let v(a) = a**3 + 20*a**2 + 7*a - 12. Is 22 a factor of v(r)?
True
Let j(y) = 15*y**3 - 2*y**2 + 2*y - 5. Let k be j(3). Suppose -6*u - k = -10*u. Suppose 0 = -n + c + u, -2*n - 5*c + 160 = -55. Does 17 divide n?
False
Suppose -881*m + 900*m = 142768 + 978308. Is m a multiple of 132?
True
Let g = -7317 - -16405. Is 64 a factor of g?
True
Let f be 2/(-4) + (-68931)/(-54). Suppose 0*h = -29*h + f. Does 2 divide h?
True
Suppose 136*g + 798244 - 2977236 = 0. Is 46 a factor of g?
False
Let n(s) = -s - 6. Let r be n(-8). Let u be (-1858)/(-16) + 60/(-480). Suppose 93 = 2*f - 3*i, 2*i + u - 24 = r*f. Does 31 divide f?
False
Is ((-21)/(-4))/(492/10496) a multiple of 10?
False
Let i(z) = 299*z - 385. Is 137 a factor of i(50)?
False
Suppose 742 + 3983 = 3*l - 4*i, 0 = -4*l - 3*i + 6300. Is l a multiple of 7?
True
Let a = 1129 + -1081. Is 2 a factor of a?
True
Suppose -o - 5*j - 3 = -1, -j = 3*o - 8. Suppose 122 = o*u + 2*y - 171, 4*u - 4*y = 424. Is u a multiple of 14?
False
Suppose -21 = -2*h + 3*o, -4*o = -2*h + 14 + 10. Suppose h*s - 15 - 9 = 0. Suppose s*k = 2*k + 14. Is 2 a factor of k?
False
Let h = -287 - -295. Suppose 3*r - h*r = -545. Is 34 a factor of r?
False
Let j(h) be the first derivative of 4*h**3 + 17*h**2/2 + 183*h - 45. Does 40 divide j(-7)?
False
Let a(i) = i**3 - 13*i**2 - 62*i + 7. Let k be a(17). Let w = k + 329. Is 7 a factor of w?
False
Let h be 1*(3 + -7)*-62. Suppose -l + h = w, 0*l - 3*l + 769 = -2*w. Does 23 divide l?
True
Let x be -2*4/(-72) + 503/9. Suppose x*q - 108 = 15684. Does 47 divide q?
True
Let t = 607 + -232. Is 19 a factor of t?
False
Suppose 57 = 16*p - 439. Suppose -p*z = -13218 + 1655. Is 4 a factor of z?
False
Suppose -34*q = -27*q - 21. Suppose q*t = -5*k + 644, -5*t = -5*k + 4*k - 1092. Is 10 a factor of t?
False
Let l be 2*((-100)/8)/5. Let s be (13/5 + l)/(2/10). Let c = s + 36. Is 12 a factor of c?
True
Let r be (-3)/(-5)*(5 - -210). Is 15566/r + (5/(-3) - -2) a multiple of 23?
False
Let d = 68 + -79. Let x(j) = -9*j**3 - 28*j**2 - 51*j - 65. Let m(l) = 5*l**3 + 14*l**2 + 26*l + 33. Let q(n) = d*m(n) - 6*x(n). Is q(15) a multiple of 13?
False
Suppose 0 = -5*l + 14*l - 108. Let j = -9 + l. Is 3 a factor of (j - 44/20)/((-3)/(-75))?
False
Let n = 49 + -45. Suppose -n*y + i = -9, 6 = 6*i - 4*i. Suppose -57 = -y*d - 21. Is 6 a factor of d?
True
Let g(l) = 3*l**2 + 15*l + 45. Let o be g(-3). Is (-3)/o - (-37051)/63 a multiple of 49?
True
Suppose 40*g - 4*g - 353745 = -98181. Does 21 divide g?
False
Let c = 41339 - 27621. Is 19 a factor of c?
True
Does 33 divide 8*(-14697)/(-36) + 1?
True
Let n(d) be the first derivative of 3*d**2/2 - 16*d + 19. Let k be n(6). Is 64 + -2 - (-4)/k a multiple of 32?
True
Suppose 153*a - 72743 = 142*a. Is a a multiple of 18?
False
Let l be -2 - ((2 - 82) + 2). Let v be (-44)/1 - (10 + (-17 - -8)). Let q = l + v. Is 3 a factor of q?
False
Is 117184/10 - (-8)/1*(-41)/820 a multiple of 63?
True
Let h(u) = 5*u - 6. Let v be h(-3). Let y be -1 + (2532/(-36) - 1/(-3)). Let r = v - y. Does 8 divide r?
False
Suppose 4*r - t = 21, -r - 15 + 6 = -5*t. Suppose 5*k - 220 = -12760. Does 19 divide (k/44)/(-1*2/r)?
True
Let h be ((-44 + 2)/(-3))/(2/(-1)). Let n be h*1/2*2. Let f(g) = g**2 + 4*g + 10. Is f(n) a multiple of 31?
True
Suppose -3*t = -7*t - 2*w + 2922, 0 = -w + 1. Suppose 0 = 4*g - 8*g + 108. Suppose -g*l + t = -22*l. Is 15 a factor of l?
False
Let u(w) = -1885*w - 1158. Does 101 divide u(-6)?
False
Suppose 0 = -34*j + 869 + 1273. Does 7 divide 17742/15 - (j/35 - 2)?
True
Let j = 310 + -613. Let t = j - -404. Is t a multiple of 13?
False
Suppose -4 = -5*a - 2*n, 1 + 9 = -4*a + 5*n. Suppose -y = -r + y + 6, 5*y = 5*r - 20. Let t = a + r. Is 2 a factor of t?
True
Suppose 5*j + 4*n - 7383 = 0, 0 = 3*n - 3 - 3. Let r = j - 938. Suppose i + s + 435 = 5*i, -5*i - s + r = 0. Does 27 divide i?
True
Let s be ((-21)/42)/((-2)/(-24)). Let m(p) = 10*p**2 + 9*p + 2. Is m(s) a multiple of 31?
False
Let q be (-72)/48*87412/(-6). Is (-8 - 0) + q/41 a multiple of 49?
False
Suppose y - 8 = -2. Let i be y/4 - 132/(-8). Suppose 190 = -13*l + i*l. Is 19 a factor of l?
True
Suppose 0 = 4*y + h - 13123, h + 2264 = 4*y - 10853. Is y a multiple of 105?
False
Suppose i - 15 = 6*i + 4*t, 3*t + 17 = 2*i. Let f(a) = 23*a - 2 + i - 4 - 8*a. Is f(1) a multiple of 2?
True
Suppose -89*o - 3126 = -95*o. Let u = o + -351. Is u a multiple of 11?
False
Let c be (3/(-2))/(3/(-22)). Let o(j) = 6*j - c*j + 10 + 5 + 6*j. Is o(-7) a multiple of 2?
True
Let w(t) = -12*t - 19. Suppose 3*o + 17 = -u, 4*u - 2*o = -7*o - 33. Let l be w(u). Suppose 0 = -5*j - l, b - 5*b + 226 = -2*j. Does 8 divide b?
True
Let c(r) = 174*r + 9. Let h be c(2). Suppose h = t - 2*g - 17, -2*g = -4*t + 1508. Is t a multiple of 18?
True
Let n = 89 + -84. Let l(x) = 3*x**3 - 3*x**2 - 2*x - 10. Let p be l(n). Is 0 - (-9)/(9/p) a multiple of 35?
True
Let k(y) = 2*y**3 + y**2 + 18*y + 1. Let m be k(7). Let x = m - 466. Is x a multiple of 11?
True
Let n be (6 - (-8376)/16)*(-2)/3. Is 23 - 21 - -2*n/(-2) a multiple of 14?
False
Let z = -80 + 81. Is (9 + z)*(10 + 3087/45) a multiple of 22?
False
Let f(o) = -10*o**2 + 6*o - 47. Let i(b) = -9*b**2 + 7*b - 46. Let h(p) = 4*f(p) - 5*i(p). Is 2 a factor of h(3)?
True
Suppose n = -o + 881, 0 = -5*o - 2*n + n + 4409. Suppose 5717 - 2198 = 4*q - w, 2*w = -q + o. Does 44 divide q?
True
Let d = 10090 + -6308. Is 62 a factor of d?
True
Let a(d) = -d**2 + 4*d - 1. Let z be a(5). Let x be z*1*(-9)/6. Is 12/x + (-222)/(-9) a multiple of 17?
False
Let k = -443 + 448. Suppose 5*g - 202 = -z, -k*z - 14*g = -15*g - 958. Is 32 a factor of z?
True
Suppose 2*n + 3*f = 29058, -288 = -4*n - 3*f + 57840. Is n a multiple of 17?
True
Let m(d) = d**2 - 18*d + 39. Let p be m(15). Let b(j) = j**2 - 3*j + 5. Let a be b(p). Suppose 38 - 6 = 2*l + o, -3*l + a = -4*o. Is 2 a factor of l?
False
Let i(r) = -r**2 + 11*r + 9. Suppose -6*t = -12*t + 60. Let h be i(t). Let a = 168 - h. Is a a multiple of 14?
False
Let q(r) = -r**2 + 6*r - 3. Let a be q(2). Suppose 0 + 14 = 3*o + 5*y, 0 = 5*o - 4*y + 26. Is 5 a factor of (-113)/o - a/30*-3?
False
Suppose -131*m + 102*m = -45298. Does 2 divide m?
True
Suppose 6 = -3*d, 5*q + d - 586 = 417. Let w = 516 - q. Does 15 divide w?
True
Let s(y) = 10*y**2 - 98*y - 425. Is s(-4) a multiple of 4?
False
Let v = 22564 - 7796. Is 16 a factor of v?
True
Let c(m) = 76*m**3 + 11*m**2 + 14*m - 74. Is 27 a factor of c(4)?
True
Let f(h) = -39*h - 29. Let w be f(14). Let m = w + 803. Is m a multiple of 6?
True
Let n be 8/20*(10 - 0). Suppose n*s + 35 = 7. Is (-68)/(s/(98/4)) a multiple of 34?
True
Suppose -21*h - 3 = -108. Does 10 divide 158/4 - (h + (-99)/18)?
True
Let o be (8/(-7))/((-8)/28). Suppose -3*t + 3*p + 60 = 0, -4*t + o*p - 2*p + 82 = 0. Let y = t - -96. Is 32 a factor of y?
False
Let z(x) = -x**2 - 11*x - 3. Let f be z(-4). Suppose f*y - 22*y = 60. Is 3 a factor of y?
False
Let u = 33963 + 8958. Is 197 a factor of u?
False
Let o be 8/7*35/10*1. Suppose -17*f - 2*b + 352 = -12*f, o*f + b = 281. Is f a multiple of 35?
True
Let m = 52 + -43. Suppose -3*f + 0 + 1 = 4*l, 5*f = -3*l + m. Suppose 5*n + f*z - 585 = -0*n, 4*n - 2*z - 446 = 0. Does 32 divide n?
False
Let u(m) = -2*m**2 - 7*m + 6. Let q be u(6). Let p be q*(4/(-16) + 1). Let h = 0 - p. Is 15 a factor of h?
False
Suppose 604624 + 638001 = 135*a - 1268645. Does 111 divide a?
False
Suppose -2205116 - 427072 = -52*c. Does 47 divide c?
True
Let y = 1804 - 1235. Does 11 divide y + 1/(-3) + 2/6?
False
Let x(d) = 34*d**3 + 6*d**2 + 2*d - 21. Is 79 a factor of x(5)?
False
Suppose 85*h + 37672 - 244137 = 0. Is 32 a factor of h?
False
Let u be ((-3)/2)/(6/(-8)). Suppose 894 = 4*m - 2*n, 456 = 2*m - 0*m + u*n. Is 15 a factor of m?
True
Suppose 3*y - 241 = 3*f + 110, -f + 228 = 2*y. Suppose -4*b = 2*n + 62, 4*n + 18 = b - y. Let a = n - -89. Is a a multiple of 7?
True
Let k(p) = 9999*p + 3551. Is 19 a factor of k(2)?
False
Let j be 64/24 + -3 - (-