u be l(-4). Let w(q) = 22*q - 6. Is w(u) a multiple of 24?
True
Let y(o) = 109*o**3 + 11*o**2 - 10*o + 13. Let w be y(9). Does 45 divide w/225 - (-4)/18?
False
Let z(p) = 2*p**2 - 4*p - 8. Let h be z(4). Let t(f) = 6*f - 32. Let s(q) = -q. Let g(j) = -5*s(j) - t(j). Does 8 divide g(h)?
True
Let f(i) = 17*i**2 - i - 9. Is 50 a factor of f(8)?
False
Is 21 a factor of 428 + 40/(-60)*(-3)/(-2)?
False
Suppose -3*i = -0*i - 12. Let y = 1 - i. Is 8 a factor of (y/4)/(11/(-440))?
False
Is (-4028)/(-9)*(-243)/(-54) a multiple of 24?
False
Suppose -72*s + 25088 = -58*s. Does 94 divide s?
False
Let x = 90 - 86. Suppose -5*g + 2*j = -73, -4*j + 2*j + 77 = 5*g. Suppose -3 - g = -q - r, 0 = q - x*r + 2. Does 14 divide q?
True
Suppose 5*b = -127 - 398. Let u be (b/(-20))/(6/64). Let m = -27 + u. Is m a multiple of 20?
False
Is 8 a factor of 285 + (3/(-6))/((-1)/6)?
True
Suppose 0*c - 3*c + 5*k = -3908, -4*c - 5*k = -5269. Is 69 a factor of c?
True
Does 27 divide 5 + 939*(-2)/(-6)?
False
Let o(a) = -418*a + 298. Does 41 divide o(-14)?
True
Let y(i) = i**3 + 6*i**2 + 2*i + 3. Let m be y(-6). Let j = m - -13. Is 7 a factor of (0 - 1)*(-11 + j)?
True
Is 5 a factor of (97 - (-4)/20*0) + 0?
False
Let f = 688 - 451. Is 10 a factor of f?
False
Let d(z) = 53*z + 11. Let h be d(-8). Let b = -203 - h. Suppose -b = n - 6*n. Is n a multiple of 11?
False
Let g(b) = -7*b - 15. Let c(k) = 8*k + 14. Let t(v) = -3*c(v) - 4*g(v). Does 20 divide t(10)?
False
Let h = 109 + -59. Is 3 a factor of h?
False
Let c(x) = -6*x + 72. Is c(-18) a multiple of 5?
True
Suppose 3*j + 458 - 71 = 0. Let m = -34 - j. Is m a multiple of 19?
True
Let y be 14/8 + 6/24. Suppose y = b - 0*b. Does 14 divide 7*6*2/b?
True
Let p(s) = 11*s**2 - 8*s + 11. Suppose -5*y = -a - 5, 2*y = -10*a + 13*a - 11. Does 11 divide p(y)?
False
Suppose -2*x - 10 = -2*z, 4*z - 25 = -z + 4*x. Suppose -159 - 86 = -z*c. Does 6 divide c?
False
Suppose -5*n = -3*n + 2, j = n + 10. Let h(s) = -s + 14. Let p be h(j). Suppose -5*t + t - p*c + 268 = 0, 0 = t + c - 68. Is 29 a factor of t?
False
Let q(j) = -436*j + 554. Does 19 divide q(-3)?
True
Suppose -4*h + 52 + 256 = 0. Is h a multiple of 4?
False
Let c(p) = -p + 1. Let o(j) = 14*j - 7. Let w(g) = c(g) + o(g). Suppose -q + 14 = 5. Is w(q) a multiple of 28?
False
Suppose -5*g + 0*q = -5*q - 1950, -3*q - 780 = -2*g. Is g a multiple of 65?
True
Let x(q) = q**2 + 11*q - 1. Let h be x(-12). Let c(j) = -j**3 + 11*j**2 + 2*j - 18. Let z be c(h). Suppose z*w - 330 = -w. Is 18 a factor of w?
False
Let o(l) = l**3 + 12*l**2 - 5*l - 14. Suppose 5*x - 47 = -107. Is 46 a factor of o(x)?
True
Let h(i) = i + 12. Let g be h(-9). Suppose 3*r + 5*l - 97 = 0, -56 = r - g*r + l. Does 6 divide r?
False
Let z(o) = -o**2 - 22*o + 64. Is 68 a factor of z(-18)?
True
Is (8 + (-36)/(-4))*6 a multiple of 15?
False
Let h(c) = 25*c**2 - 2*c - 3. Let g(r) = r**2 + 25*r - 2. Let a be g(-25). Does 17 divide h(a)?
False
Let p(m) = -m**2 - 18*m - 16. Let c be p(-7). Let j be -1*2*(1 + -3). Suppose 5*y - 198 = -3*q - c, 0 = -q - j*y + 41. Is 21 a factor of q?
False
Let a be 34/(-51)*-6*1. Let g(f) = -6*f + 2. Let o be g(4). Does 4 divide a/(-10) + o/(-5)?
True
Suppose -3 = -b - 6. Let q be 9*(12/b - -9). Let g = q + -16. Is g a multiple of 10?
False
Let a(v) = v**3 + 7*v**2 + v + 6. Let n be a(-7). Suppose -k + 15 = j, -4*j - 2 - 38 = -k. Let l = n + k. Is l a multiple of 5?
False
Let p be (-345)/(-39) - 6/(-39). Let s = p + -4. Suppose -3*f - s*r - 9 = -65, 42 = 2*f + r. Is f a multiple of 6?
False
Suppose 17*t + 3*u - 185 = 15*t, 0 = t - u - 85. Is 5 a factor of t?
False
Let r(l) = 20*l - 35. Let g(v) = 3*v - 5. Let h(b) = 15*g(b) - 2*r(b). Is h(17) a multiple of 10?
True
Suppose -3*z + h = -1148 - 951, -z + 4*h + 696 = 0. Is z a multiple of 12?
False
Let t(j) = 18*j - 133. Does 34 divide t(15)?
False
Let j = -20 - -22. Suppose 0*l - 5*l + k + 1021 = 0, -j*l - k = -407. Is l a multiple of 34?
True
Let p(y) = -y**2 + 5*y - 6. Let k be p(2). Suppose -4*b = 3*z + 1, 3*b - z = -k*b - 4. Is 7 a factor of b/(4/336*-2)?
True
Let s(p) be the first derivative of p**2/2 + 27*p - 16. Is 6 a factor of s(-15)?
True
Let f = -201 - -799. Does 11 divide f?
False
Suppose 3*u + 4*m = 24, 0 + 19 = u + 5*m. Suppose u*j = 8 + 12. Suppose 45 = j*o - 245. Does 21 divide o?
False
Let j(w) = 3*w**2 - 15*w - 11. Let b(r) = -r**3 - 7*r**2 - 11*r - 3. Let i be b(-3). Is 43 a factor of j(i)?
False
Let x = 639 + -221. Is 11 a factor of x?
True
Does 60 divide 728 + (-7)/(63/72)?
True
Suppose 0 = 2*d - 3*j - 2956, -5*d - 151 = -5*j - 7531. Does 64 divide d?
True
Let i(g) = g**2 + 5*g + 4. Let m be i(-6). Let j be (4/(-8))/(6/(-48)). Suppose -2*t - m = 0, 0*t = -j*s - 3*t - 3. Is s even?
False
Let v = 9 - 7. Suppose 2*o = g - 4*g + 2, -2*g - v*o = 0. Suppose g*d = d + 24. Is d a multiple of 6?
True
Let i = -87 + 59. Is 19 a factor of -1 + 0/(-4) - i?
False
Let n = 1 - -3. Suppose -4*d - 12 = -4*q, q - 4*d = -n*q + 20. Is 8 a factor of q?
True
Does 90 divide (48/(-14))/(5*(-6)/12600)?
True
Suppose 5*c - 3128 = -3178. Let k = 29 - 5. Let d = k - c. Is 18 a factor of d?
False
Let j(o) = -o**2 + 26*o - 80. Is 16 a factor of j(18)?
True
Let t = 4737 + -1774. Is 48 a factor of t?
False
Let r(s) = s**2 - 27*s - 114. Is 47 a factor of r(40)?
False
Let k = -29 + 34. Suppose 0 = -k*c - 4*c + 189. Is c a multiple of 3?
True
Let b(c) = 2*c**3 + 3*c + 15. Let h be b(0). Is 15 a factor of (-8)/10 - (-4287)/h?
True
Let o be (-204)/(-10) - (-6)/(-15). Suppose -2*m + o = -2*j - 6, 79 = 3*m + 5*j. Is 6 a factor of m?
True
Let y = -162 + 764. Does 14 divide y?
True
Does 3 divide (1060/14)/(74/518)?
False
Let u(n) = 2*n**3 - 3*n**2 - 2*n + 1. Let i be u(4). Let b = -127 - -244. Suppose b = 5*r - 4*m + 35, m = 5*r - i. Does 8 divide r?
False
Let n(t) = -t**2 - 13*t - 9. Suppose -3*x - 23 = 4. Is 7 a factor of n(x)?
False
Let f be (-10)/(-6)*(2 + 1). Suppose -4*z + 11 + f = 0. Suppose 54 = -3*a + z*a. Does 39 divide a?
False
Let d(w) be the second derivative of -5*w**3/2 - w**2 - w. Let p = -399 - -395. Is 12 a factor of d(p)?
False
Let c(a) = a**3 - 9*a**2 + 2*a - 11. Let s be c(6). Let x = s - -193. Is 43 a factor of x?
True
Is 499020/360 + 1/(-6) a multiple of 14?
True
Suppose 2*x - 4*x = 2*c - 1072, c = 3*x + 552. Is 60 a factor of c?
True
Does 19 divide (-48 + 63)/((3/19)/1)?
True
Suppose 421*j - 419*j = 3180. Is j a multiple of 159?
True
Let s(b) = b**2 - 8*b - 18. Let u be s(9). Let d(q) = q**3 + 10*q**2 + 2*q + 12. Does 16 divide d(u)?
False
Suppose 3*o = 1 + 2, -903 = -4*z + 5*o. Suppose 4*d + k + z = 2*k, -117 = 2*d + 3*k. Let h = -41 - d. Does 16 divide h?
True
Let x(z) = -z + 1. Let w be x(-4). Suppose 3*d = -5*k + 2*k + 6, 60 = w*k - 5*d. Suppose k*m - 2*m = 75. Is 5 a factor of m?
True
Suppose 28*c = 6*c + 14938. Is 5 a factor of c?
False
Let n(t) = -t**3 + 7*t**2 - 3*t + 2. Let k be n(6). Suppose -4*b - 6 = -18. Suppose -b*j = -k - 19. Is j a multiple of 5?
False
Suppose 6*o - 44 = 10*o. Let z = o - -30. Does 4 divide z?
False
Let l be 2*(-4)/(-24)*0. Suppose 6*o - 5*o - 2*f = 57, 4*o - f - 249 = l. Does 9 divide o?
True
Suppose 9*b - 8*b = 251. Let g = -151 + b. Is g a multiple of 21?
False
Let s be 160/24*18/10. Let d be (-1 + -1)*(-18)/s. Suppose -d*i + 81 = -72. Is 16 a factor of i?
False
Let a(c) = -c + 16*c + 4*c + 8. Does 24 divide a(7)?
False
Suppose 0 = k + 5*i - 30, -2*i - 19 - 35 = -4*k. Is k a multiple of 4?
False
Let h(w) = 62*w**3 + 9*w + 2. Let n(z) = 62*z**3 + 10*z + 2. Let f(s) = -7*h(s) + 6*n(s). Does 8 divide f(-1)?
False
Let i = 884 - 3941. Is i/(-18) - 0 - 4/(-24) a multiple of 10?
True
Suppose 3*i = -i. Let y be i/(-2*5/10). Suppose -3*z - 3*j + 41 + 124 = y, -305 = -5*z + 5*j. Is z a multiple of 20?
False
Let f = 57 + -43. Let u = 0 + f. Does 14 divide u?
True
Let t(r) = 15*r**2 - 3*r + 48. Is t(-11) a multiple of 45?
False
Let y be 0/(-3 - (-3 + -2)). Let s(k) = k**3 + 6. Let z be s(y). Suppose z*c = 10*c - 100. Is c a multiple of 25?
True
Let x(t) = -42*t. Suppose 0 = -2*h - 4*p - 14, 0*h + h + p = -2. Suppose -7 + 4 = h*o. Does 14 divide x(o)?
True
Suppose 12 = -3*p + 9*p. Suppose -5*h + 125 - 16 = 4*y, -3*y = -p*h + 62. Let o = h - 15. Is 3 a factor of o?
False
Suppose -133 = -8*x + x. Suppose -x*h + 15*h + 40 = 0. Is