- 2*l + 505. Is 18 a factor of l?
False
Let v(a) = -96*a + 1469. Is v(-31) a multiple of 35?
True
Suppose -3 = 3*t, -4*l + 12904 + 970 = -2*t. Is 66 a factor of l?
False
Suppose -7 - 5 = -3*g. Suppose 4*i - 3*y = 41, 4*i + g*y + 9 = 57. Does 3 divide 0 + (-1 - i)*-1?
True
Suppose y + 2*y = 12. Suppose 3*q - 1327 = y*z, 0*q + 5*q = 3*z + 2208. Is q a multiple of 49?
True
Suppose t = -19*t + 100. Suppose 0 = -4*i + t*r + 2823, i = r + 695 + 10. Is 26 a factor of i?
True
Suppose -3*m + 59*m = 89604 + 430636. Is 31 a factor of m?
False
Let i(l) = 3046*l**3 + 9*l**2 - 11*l + 3. Does 3 divide i(1)?
False
Suppose 17 = 6*f - 19. Suppose 3*d + f = 12. Is (34/(-6))/(d/(-12)) a multiple of 17?
True
Let i = -41 + -73. Let t = -38 - i. Is t a multiple of 16?
False
Suppose 3*l - 34011 = -6*r, 3*r = 7*l - 12*l + 16995. Does 70 divide r?
True
Let y = 44167 + -37715. Does 2 divide y?
True
Let n(b) = b**3 + 11*b**2 + 3*b - 6. Let x(j) = j**3 + 12*j**2 + 4*j - 7. Let a(f) = -6*n(f) + 5*x(f). Let g be a(-4). Let u = -16 - g. Is 23 a factor of u?
True
Does 26 divide -13 + (-7878)/2*-1?
True
Let p = 703 + -2533. Let m = -803 - p. Is 19 a factor of m?
False
Let i = 26 - 26. Suppose i*a + 4*a + 4*o = -48, 0 = o - 4. Let x = a - -36. Is x a multiple of 3?
False
Suppose -3791 = -5*b - 231. Let j = 1202 - b. Does 10 divide j?
True
Let z = 386 - 410. Is 20 a factor of (-2)/6 - (-10 + 21512/z)?
False
Let u = 108 + -121. Let y = -3 - u. Let q(s) = s**3 - 7*s**2 - s + 11. Is 18 a factor of q(y)?
False
Let o(p) be the third derivative of 1/24*p**4 + 0*p - 1/120*p**6 + 1/15*p**5 + 14*p**2 + 0 + 3/2*p**3. Is 13 a factor of o(4)?
True
Let t(l) = 119*l - 1050. Does 11 divide t(20)?
False
Suppose 6*b = -19*b - 250. Suppose -8*k = -2*k - 762. Let a = b + k. Is 13 a factor of a?
True
Suppose 5560 = 2*x + 3*y - 845, 16035 = 5*x + 3*y. Is x a multiple of 6?
True
Let m(o) = -3*o**2 - 18*o - 9. Let t be m(-7). Let z = t + 30. Suppose z*a + 5*a - 375 = 0. Is 15 a factor of a?
True
Suppose 5*z - 5*s - 85045 = 0, -120*z + 3*s - 51033 = -123*z. Does 315 divide z?
True
Let q = -7 - -108. Let r = q - 5. Let p = 142 + r. Is 19 a factor of p?
False
Suppose -f - 6*v = -2*v - 46, 4*f = -4*v + 148. Suppose 13*d - f*d + 4851 = 0. Is 56 a factor of d?
False
Suppose 0 = 4*v + 7 - 15. Suppose -3*n = -v*r - 3, -4*n = -0*n - r - 4. Is 18 a factor of (n - 1 - 2)/((-6)/165)?
False
Suppose -136*g = 87*g - 21*g - 791840. Is 80 a factor of g?
True
Let w be 0*(-2)/6 + 4. Suppose -w*d + 315 = -t, -6*t - 230 = -3*d - 4*t. Is 4 a factor of d?
True
Let x(z) = 2656*z**2 + 15*z - 36. Is x(1) a multiple of 17?
True
Let x = 11185 + -8943. Is 19 a factor of x?
True
Let d(a) = 1 + 12 + 4 + 1 - a. Does 4 divide d(8)?
False
Suppose -115*s + 111*s = -32. Suppose -s*w + 722 = -46. Does 6 divide w?
True
Suppose 100*d - 2531040 = -140*d. Is d a multiple of 53?
False
Let d(x) = -19*x**3 + 836*x**2 + 13*x - 48. Does 26 divide d(44)?
False
Suppose 16*k - 13*k = 3*z + 210, 5*z = 4*k - 346. Is 44 a factor of (-238)/((z/(-12))/(-11))?
False
Suppose 156*m - 150*m = 18. Suppose 4*p = -2*s + m*s + 6, -5*s + 75 = p. Is s even?
True
Let s = -171 + 507. Suppose 5*k - 1673 = -2*p, -37*p - s = -k - 36*p. Is k a multiple of 36?
False
Let o be (-52)/(-10)*25/5. Let v = 25 - o. Is 11 a factor of -2*(316/(-8) - v)?
True
Suppose -6*q = -q - 375. Let s = -71 + q. Is 17*4/4 - s a multiple of 13?
True
Suppose -532543 = -41*g + 350700 - 171401. Is 37 a factor of g?
False
Let z be -18*(-3 - 11/(-2)). Let o be (-6)/z + (-9440)/(-75). Let a = -56 + o. Is a a multiple of 9?
False
Let s(g) = 13 - 7 + 112*g - 5*g**2 - 4 - 39*g. Is s(7) a multiple of 17?
False
Suppose -2*p = -0*j - 2*j, 15 = 3*j. Suppose -p*f - 14 = -7*f. Suppose 5*y - f*y = -72. Does 9 divide y?
True
Let u(a) = a**3 - 7*a**2 + 5*a - 7. Let y be u(6). Let t(v) = v**3 + 12*v**2 - 15*v - 30. Let h be t(y). Is 10 a factor of 6/2*-15*h/18?
True
Let h = 20441 + -7061. Is h a multiple of 8?
False
Let f(c) = c**2 - 6*c - 5. Let v be f(4). Let y = v + 48. Suppose o - y = 114. Does 30 divide o?
False
Let p = -3636 - -3724. Is p even?
True
Let z(k) = 13*k**3 - 321*k**2 + 11*k - 111. Is z(25) a multiple of 24?
True
Let g = -2405 - -2297. Suppose 0*y = -5*r - 3*y + 932, 4*r = -y + 747. Let l = g + r. Is 9 a factor of l?
False
Let p be 5 + (-12)/3 + 1 + 0. Suppose 3*j - 7*j = 0, -5*j = p*d - 154. Is d a multiple of 7?
True
Is 16 a factor of 352/(-48) - -7 - 3/((-36)/19048)?
False
Suppose -3*d + 741 = -3*r - 1134, -d = -3*r - 623. Does 4 divide d?
False
Does 15 divide (11 + -9)*30*41?
True
Let c(j) = j + 5. Let z be c(-4). Suppose -85*d = -172*d + 86*d. Suppose d = -h + z, -3*p + 2*h = -41 + 4. Is p a multiple of 4?
False
Suppose 3*v - 431 = -q + 120, -4*q = -3*v + 556. Suppose -101*i = -103*i + v. Let l = -34 + i. Is l a multiple of 29?
True
Suppose 0 = -32*q + 26*q + 30. Suppose 4*h - 360 = -q*h. Does 10 divide h?
True
Let v(g) = 5*g**3 + 24*g**2 - 3*g - 12. Is 23 a factor of v(5)?
False
Does 40 divide -2 + (-58)/(-435) + 56154/45?
False
Let u(p) = 2*p + 1. Let o be u(-17). Let g = 7 - o. Suppose g*a = 44*a - 336. Does 6 divide a?
True
Suppose -4*c + 3*p + 961 + 224 = 0, c - 310 = -2*p. Is c a multiple of 15?
True
Suppose -2*q + 113*j = 116*j - 7960, 0 = 3*q + 4*j - 11940. Is 149 a factor of q?
False
Let o(p) = 21*p - 4 - 19*p + 5 - p**2. Let d be o(0). Does 11 divide 0 - (d/(-2) - 43/2)?
True
Let y be 30/(-4)*-1*(-1460)/(-15). Is 24 a factor of (-3 + 2)*1 + y?
False
Let t(s) = 278*s**2 - 3*s - 1. Let z be t(-1). Suppose 0*a = -5*w + 4*a + z, a + 5 = 0. Does 13 divide w?
True
Let y = -66 + 87. Suppose -5*t + v = -2, -y = -5*t - 3*v - 7. Is 16 a factor of 19/95 - 319*t/(-5)?
True
Let w be 1 + 0 + (-11 - 0). Let o be 66/10 + -3 + (-4)/w. Is (-6 - -41)*o/10 a multiple of 4?
False
Let f be (-20)/170 + (-52160)/(-34). Let o = 2272 - f. Does 18 divide o?
True
Let g(h) = h**3 + 5*h**2 + 5. Let l = 29 + -32. Let v be g(l). Suppose -4*t + 128 = 4*j, -2*j + 4*t + 65 = -v. Is 6 a factor of j?
True
Suppose -101*r = -99*r - 22. Suppose 350 = -6*c + r*c + 5*o, 2*c - o = 146. Does 9 divide c?
True
Suppose -8*b = -165 + 21. Suppose -b*w = -21909 + 2901. Is w a multiple of 12?
True
Suppose -2*v + 6*v = 104. Let c(h) = 5*h**2 + h**3 + 4 - v*h + 28*h - h**2. Does 7 divide c(-3)?
True
Let l(d) = d**2 - 4*d - 15. Let n be l(6). Is 7 a factor of (-1 - 1*-55*1) + n?
False
Suppose 994*c - 1031*c = -1263328. Does 176 divide c?
True
Suppose 1 = -w + 3. Suppose -486 = -4*n + 2*t, 4*t - w = 2. Suppose 3*f - 5*x = 68, 5*f - 43 - n = -2*x. Is 9 a factor of f?
False
Is ((82*-7 - 1) + -2)/((-303)/7272) a multiple of 13?
False
Let n = 22 - 29. Let c(v) = -5*v - 2. Let k be c(n). Suppose k = -5*d + 423. Is d a multiple of 39?
True
Suppose -z = 3*i - 0*i - 19, 2*i - 8 = 4*z. Let c be 5/i*-2*(-14 - 88). Suppose -29 + c = 3*r. Is r a multiple of 12?
False
Let c be -1*(227 - (-49)/(-7)). Let b = 358 + c. Does 6 divide b?
True
Suppose -40*y + 43*y + 2*w = 53040, 88396 = 5*y + 2*w. Does 221 divide y?
False
Let p(w) be the third derivative of -15*w**4/8 - 109*w**3/6 - 12*w**2 - 4. Is p(-5) a multiple of 26?
False
Let o = -6661 - -7230. Does 9 divide o?
False
Let c = -94 + 108. Does 9 divide (512 - -1)/(2/c*7)?
True
Is ((-18)/(-8))/((-88)/(-57024)) a multiple of 7?
False
Suppose 1041*n - 2050290 = 942*n. Is n a multiple of 218?
True
Let w(y) = y + 45. Let s be w(-21). Suppose s = -2*p + 4*j, -4*j - 38 - 22 = 4*p. Is (-1 - (-43)/7)*p/(-4) a multiple of 18?
True
Suppose 5*d - 2*h - 5902 = 0, -d + h + 1484 - 303 = 0. Is 5 a factor of d?
True
Suppose o - 6*w + w - 1 = 0, 0 = 3*o - 2*w - 16. Let f be (-497)/5 + o/15. Is 29 a factor of 18/f - 4470/(-22)?
True
Let g(t) = -1394*t - 5942. Is g(-10) a multiple of 62?
True
Suppose 8106 = 3*x + 2*p, -18*x + p = -14*x - 10808. Is x a multiple of 193?
True
Is 12 a factor of (-3)/39 + 200/65 + 34365?
True
Let f(v) = 96*v**2 + 5*v + 46. Is 11 a factor of f(-4)?
True
Let p(c) = c**2 + 3*c + 167. Let u(k) = 2*k - 14. Let l(w) = 2*w - 15. Let b(f) = -4*l(f) + 3*u(f). Let h be b(9). Is 12 a factor of p(h)?
False
Let b = 8584 - 797. Does 6 divide b?
False
Let r(u) = -2*u**2 + 64*u - 63. Let o be r(31). Is 0 + o - (0 - 3) - -55 a multiple of 57?
True
Suppose 0 = -0*x + 12*x - 34560. Suppose 13*p + x = 23*p