- 9*w**3 - 5 + 4*w**2 - 3*w. Does 39 divide t(-6)?
False
Let m(c) = 2*c**3 - 43*c**2 + 23*c - 40. Let z be m(21). Suppose z*q = -9*q + 5324. Is q a multiple of 22?
True
Suppose -5*o + 14 = -3*o. Suppose -3*n - 47 = -5*i, 2*i - o*i + 55 = -5*n. Is (72/i)/((-9)/(-63)) a multiple of 18?
True
Let s(v) = v**2 + 72*v + 12. Is 4 a factor of s(6)?
True
Let f(b) = 31*b + 1955. Does 28 divide f(-27)?
False
Let o = 7706 - 6203. Is o a multiple of 3?
True
Let q be 1341/15 + (-28)/20 + 1. Let n = -26 + q. Is (-28)/9 + 3 - (-10969)/n a multiple of 29?
True
Suppose -2*b + 4*p = 304, -5*b = -p + 646 + 105. Let d be b/(-54) - (-1 - 14/(-18)). Is -57*((-7)/(-3) - d) a multiple of 19?
True
Suppose x - 59 = -50. Suppose 4*p + 5*k = 41, -x = p + 3*p - 5*k. Suppose -2*j + 172 = p*o - o, 5*o = -2*j + 292. Is o a multiple of 4?
True
Let g(a) = a**2 - 48*a + 29. Let p be g(37). Is 17 a factor of (p/(-24) + -2 + -1)*28?
True
Suppose -4*p = 3*t - 75320, 93293 + 76131 = 9*p + t. Is 45 a factor of p?
False
Let v = 137 + -129. Suppose -11*c - v*c = -1938. Is 49 a factor of c?
False
Let g be 2/9 + 2504/72. Let r be 5712/g + 2/(-10). Suppose -4*j - 241 = -3*i, -3*i + 5*j + r = -73. Does 10 divide i?
False
Let n(o) = 13*o**2 - 14*o - 17. Let i(y) = 11*y**2 - 14*y - 15. Let v(d) = 4*i(d) - 3*n(d). Is v(7) a multiple of 39?
False
Suppose -15*s + 1389 = 159. Is s + -83 + 2950/2 a multiple of 11?
True
Suppose 15*v + 0*v - 29385 - 86835 = 0. Does 21 divide v?
False
Suppose -110*z + 112*z = 676. Suppose -y = u + 326, 9*u = 8*u - 5*y - z. Does 36 divide -1 + 4/(-2) - (u + -2)?
False
Let j = 11745 - 6665. Does 46 divide j?
False
Suppose b - 3*u - 5 = 0, -u = -2*b + 1 + 4. Is 36 a factor of -5*b/(-20)*6 + 1840?
False
Let x(j) = -30*j + 23. Let q be x(-3). Is 4 a factor of q + ((-14)/8 - (-18)/24)?
True
Let w(c) = 5*c**2 + 33*c + 57. Is 3 a factor of w(13)?
False
Let i(x) = 2*x**2 - 4*x + 2. Let o be i(2). Suppose 2*b - 14 = -4. Suppose -4*g + g = b*m - 289, 166 = o*g - 2*m. Is 7 a factor of g?
False
Let r(n) = 10*n - 11*n - 28 + 5*n + 7*n. Is r(24) a multiple of 13?
False
Suppose -5*c = 551*o - 548*o - 300259, -2*c + 2*o = -120110. Is c a multiple of 23?
True
Is (8 - 50)/7 + 661 + (-5 - -3) even?
False
Let a(g) = 4*g**2 + 5*g - 2. Let h be a(-2). Suppose -p - 5*z = -h, -4*p + 2*z + 16 = 3*z. Suppose -n - 4*j + 199 = 0, -n + p*j + 597 = 2*n. Does 32 divide n?
False
Suppose 0 = 4*s - 4*z - 28, 0 = -s + z + z + 10. Let u(w) = -w**3 + 5*w**2 - 6*w + 6. Let p be u(s). Let j(f) = -8*f**3 - f**2 - 2*f - 3. Does 17 divide j(p)?
False
Let p = -38 - -42. Let y(r) = -5*r**2 - 8 + 6*r - 7*r - p*r - r**3. Is 10 a factor of y(-5)?
False
Suppose -45*x - 289122 - 362018 = -115*x. Does 98 divide x?
False
Let g(l) = -1561*l + 12689. Does 17 divide g(-8)?
True
Let h(f) = f + 14. Let m be h(0). Suppose 1248 = m*g - 10*g. Is g a multiple of 7?
False
Let d(u) = -2*u**2 - 69*u - 8. Suppose -3*c = 29*c + 896. Does 25 divide d(c)?
False
Suppose 5*p - 12 = 2*p. Suppose -3 + 2 = w - p*u, -9 = -2*w - 3*u. Suppose 3*a - 45 = -3*b + 45, a = w*b - 110. Does 7 divide b?
True
Let m(u) = -u**2 + 7*u - 19. Let w be m(4). Let t(k) = 5*k + 60. Let i be t(w). Suppose 2*x = i + 17. Is 3 a factor of x?
True
Suppose 3*f = -80 + 71, 5*f = -2*a + 6565. Is 70 a factor of a?
True
Let a be 7983*2/(-72)*-8. Suppose -p = 3*h - 1786, -10*h + a = -7*h - 2*p. Is 11 a factor of h?
True
Suppose 7*s + 3428 = -4559. Let y = s - -1653. Is y a multiple of 60?
False
Let a(t) = 5*t**2 + 31*t + 5. Let s be (4 - -3)/(3/((-9)/3)). Does 10 divide a(s)?
False
Suppose -3*s + 1611 = -3*a - 6375, -4*a + 5336 = 2*s. Is s a multiple of 9?
True
Let b(h) = 3*h + 8. Suppose -5*m - 8 = 3*l - l, 4*m + 3*l + 5 = 0. Let a be b(m). Suppose -295 = -5*v - g, 2*v = a*g + 61 + 69. Does 10 divide v?
True
Is ((-1233)/12*-1)/(4625/200 + -23) a multiple of 77?
False
Is 1 + -9 + 10 - -1*(3801 - -1) a multiple of 29?
False
Let j(y) = -5 - 2*y**2 - y**2 - y**3 - 4*y**2 - 5*y. Let x(z) = 7*z**2 + 462*z - 7. Let c be x(-66). Is 6 a factor of j(c)?
True
Let h = -578 - -933. Suppose g + 2*o = -67, -g + h = -6*g - 5*o. Let a = 77 + g. Is 2 a factor of a?
True
Let z(h) = -h**2 + h - 7. Let q be z(0). Let y(p) be the second derivative of -p**3/6 - 2*p**2 - 21*p. Is 2 a factor of y(q)?
False
Let g = -10 + 15. Does 3 divide ((-241)/g)/(-15 + (-1639)/(-110))?
False
Suppose -3*i + 12071 = -5*l, 2*i - 4892 - 3192 = -4*l. Suppose -4*w - i = -25*w. Is w a multiple of 8?
True
Let t be 3/(12/22) - 8/(-16). Is t + (4 - 3)*250 a multiple of 16?
True
Let j = -483 + 4421. Is 22 a factor of j?
True
Suppose -4*l + 6*t + 800 = t, -l - 4*t + 179 = 0. Suppose -6*c - 107 = 343. Let v = c + l. Is 40 a factor of v?
True
Suppose z + 0*o = -2*o - 48, -5*z - 227 = -3*o. Let r = z + 90. Suppose -5*m - r = -109. Does 5 divide m?
False
Let s = 24965 - -11085. Is 25 a factor of s?
True
Suppose -u + 4*q + 85 = 21, 0 = -2*u + 3*q + 143. Suppose u = 5*d - 2*d - p, -d + 2*p = -27. Suppose -3*f + 5 + d = 0. Is f a multiple of 10?
True
Let c(f) = -139*f + 30. Let z be c(-2). Let v = 318 - z. Is 4 a factor of v?
False
Let h be (6/(-9) - 322/21)*(-2)/4. Let u = -5 + 17. Suppose -h*k - 1128 = -u*k. Is 36 a factor of k?
False
Let d(t) = 416*t + 842. Is 124 a factor of d(31)?
False
Suppose h + 2*l - 5 = 0, 9*h = 11*h - l - 5. Suppose h*q + 0*d + d - 93 = 0, 93 = 3*q - 2*d. Does 5 divide q?
False
Suppose 0 = 530*r - 1689117 - 7521896 + 1809033. Is r a multiple of 98?
False
Let r = 455 + -435. Suppose -913 = -2*d - 5*u + 1563, 0 = 5*u + r. Is d a multiple of 9?
False
Let m = -41 + 42. Is (-4)/(-5)*27*(6 - m) a multiple of 9?
True
Let g be (-2555)/7 + -7 - 2. Let l = g - -514. Is l a multiple of 34?
False
Let u(j) = -j**3 - 11*j**2 - 5*j - 14. Let v(p) = -p**3 + 11*p**2 - 2*p + 11. Let q = 9 + 2. Let h be v(q). Is 18 a factor of u(h)?
False
Is 106 a factor of 4*(-1 - -2) - (13 - 1069)?
True
Suppose 0 = -o + 21*c + 45818, 4*c = -16*o + 14*o + 92004. Is 259 a factor of o?
False
Suppose 8*l = 195127 - 72095. Is l a multiple of 7?
True
Let h(r) = -3*r - 216. Let g(j) = 5*j + 325. Let y(q) = 5*g(q) + 7*h(q). Does 29 divide y(21)?
False
Suppose 205296 = -52*l + 99*l. Does 39 divide l?
True
Let d = 2736 + -461. Is d a multiple of 29?
False
Let j(u) = u**3 - 3*u**2 - 7*u - 4. Let z be j(6). Suppose g - z = -g. Let k = 79 - g. Is 24 a factor of k?
True
Let o be (-2)/(-3)*(1 + -3 - -8). Suppose -840 = -o*q + 2*f, 3*q + 3*f - 643 = -2*f. Does 9 divide q?
False
Let h(c) = 24*c**2 - 45*c - 68*c**3 + 47*c**2 + 70*c**3. Is 9 a factor of h(-36)?
True
Let r(v) = -2*v**3 - 33*v**2 - 25. Is r(-17) a multiple of 8?
True
Suppose 10*y - 516 = -136. Suppose -y*g = -43*g + 1400. Suppose -277*s - 162 = -g*s. Is s a multiple of 17?
False
Suppose -8*f + 12*f = m + 307, -2*f + 8 = 0. Let g = 26 - m. Let u = g + -167. Is u a multiple of 15?
True
Is 25 a factor of (-24220)/90*(-30)/(-35)*-48?
False
Let t be -4 - (1 - 11 - (1 - 4)). Let k(a) = -a + 17. Let b be k(t). Let d = b + 39. Is 13 a factor of d?
False
Let n(u) = 18*u - 23. Let z be n(6). Suppose -1232 = 81*r - z*r. Is 44 a factor of r?
True
Suppose -71*q + 73*q = 0. Suppose z - 5*g + 756 = 3*z, 4*z + 4*g - 1488 = q. Is 23 a factor of z?
True
Let f(r) = 3822*r + 30. Does 37 divide f(3)?
False
Let w = 71 - 56. Let v be (25/w)/((-1)/6). Is 5/(v/(-156)) + 0/1 a multiple of 6?
True
Suppose -2976 = -4*f + g, -21*g = -24*g + 12. Suppose -f = -3*y - 499. Is 3 a factor of y?
False
Suppose 259*o + 2959054 - 12271140 = 0. Is o a multiple of 284?
False
Let p(s) = -s**3 - 21*s**2 - 21*s - 17. Let i(c) = -11*c - 86. Let g be i(-6). Does 2 divide p(g)?
False
Let l(o) = 128*o**2 - 98*o - 882. Is 56 a factor of l(-8)?
False
Let h be 13*(-4 - (-2 - 3))/(-1). Let k = 15 + h. Suppose -3*t - 114 = k*m - 5*m, -m + 48 = t. Is m a multiple of 20?
False
Suppose -15*o + 11867 + 7447 = -6*o. Does 29 divide o?
True
Let g = -21 + 24. Let o(l) = 2*l**3 - 2*l**g + 11*l**2 + 4*l - 23 + l**3. Is 9 a factor of o(-10)?
False
Suppose 4*k = p - 127 - 75, -4*p + 3*k + 847 = 0. Suppose 0 = 3*s + t - 364, -394 - p = -5*s - 2*t. Does 10 divide s?
True
Let q(y) be the second derivative of -19*y**5/20 - y**4/12 + y**3/6 + y**2/2 + 4*y. Let l = -109 + 108. Is 3 a factor of q(l)?
True
Suppose -16*h + 27840 = -8*h. Is 40 a factor o