= 10*i - 3492 + 122. Does 46 divide i?
False
Let m(r) be the second derivative of 5*r**4/12 + 2*r**3/3 - 9*r**2/2 + 14*r. Is m(5) a multiple of 8?
True
Let m(v) = -v - 13. Let f(d) = -d**2 + 2*d + 9. Let z be f(0). Let y be m(z). Is 13 a factor of (0 - (y - 2))*2?
False
Suppose z - 3*m - 1192 = 0, -12*m = -15*m - 6. Is z a multiple of 24?
False
Suppose -u + 342 = -321. Suppose -5*j - s = -u, 2*s - 3 = s. Is j a multiple of 10?
False
Let k be -3*(4 + (-40)/12). Let u be (-90)/(-7)*(-14)/k. Suppose -4*z = -h + u, -2*h - h - 5*z = -355. Is 29 a factor of h?
False
Let m(l) = 4*l + 4. Suppose -9 = -4*k - k - f, 3*k + 2*f = 4. Let y be 5*(k - 0/(-2)). Is m(y) a multiple of 23?
False
Let o(n) = 3*n**2 - 2*n - 24. Does 33 divide o(-10)?
False
Let i(c) = -6*c - 13. Let d be i(-4). Suppose 15 = -16*w + d*w. Is (224/(-12) - 0)*w a multiple of 21?
False
Is -6 - (16/4 - 50) a multiple of 20?
True
Let s(a) = -a**2 - 8*a + 2. Let m be s(-7). Is 7 a factor of (-2)/((-4)/(-66))*(-12)/m?
False
Let n(j) = 4*j**2 + 4*j. Let y be (1 - (-14)/(-2)) + 0. Let f be n(y). Suppose -i = -4*i + f. Is i a multiple of 9?
False
Let p = 16 + -14. Let t(k) = -11*k**2 + 11 - 4*k + 4 + 12*k**p. Does 6 divide t(6)?
False
Suppose 4*p + 0*c = 3*c + 423, -4*c + 12 = 0. Let h = 156 - p. Does 12 divide h?
True
Let c(z) = -159*z + 5. Is 4 a factor of c(-1)?
True
Does 41 divide -82*2*2/(-8)?
True
Let n(l) = l + 1. Let o = -2 + -2. Let t be n(o). Let u = 5 - t. Is u a multiple of 8?
True
Let k(j) = -18*j - 9. Let u be k(-4). Suppose -u = 19*v - 22*v. Is 3 a factor of v?
True
Suppose 3*n = -4*w + 317, 2*n - 4*n + 208 = 2*w. Is 11 a factor of n/(-2)*(-14)/21?
True
Suppose 2*v = -5*b + 4*b + 41, -3*b = v - 8. Suppose -5*r + 2*q = -v, -r + q = -3*q - 19. Suppose 0 = -p + r*p - 72. Is p a multiple of 12?
True
Is 14 a factor of 8 + (-16908)/(-15) - (-4)/5?
False
Suppose 14*l - 42950 - 6162 = 0. Is 20 a factor of l?
False
Suppose 5*a + 2*q - 5086 = 8746, 0 = -2*a - 5*q + 5516. Does 10 divide a?
False
Let a(t) = -t**2 + 34*t + 1. Is a(26) a multiple of 13?
False
Let t = 129 + 117. Suppose 4*q - t = 2*u, -5*q + 202 = -2*q + 2*u. Does 8 divide q?
True
Let z(n) = 2*n**2 - 4*n + 2. Let h be z(4). Let l = h + -15. Suppose 6*p - l*p = 27. Is p a multiple of 3?
True
Let c = -148 + 217. Is 3 a factor of c?
True
Suppose 2*h - 420 = -3*h. Is h a multiple of 7?
True
Let q(p) = 33*p + 175. Does 57 divide q(10)?
False
Let c(u) = -112*u**3 - u. Let x be c(-1). Let k = x + -63. Does 10 divide k?
True
Suppose 0 = n + 5 - 9. Suppose -5*y + 4*y = n*q - 36, -5*y + 212 = 4*q. Is 4 a factor of y?
True
Suppose -c + 0*c = -4*p - 11, 4*c - 4*p - 56 = 0. Let w = c + -3. Does 5 divide w?
False
Suppose -4*i - 3*t = -7*i + 12, -3*t - 8 = -2*i. Suppose l + i - 13 = 0. Let d = l + -7. Does 2 divide d?
True
Let b(c) = -c + 15. Let m be b(11). Let k be (-298)/(-8) - m/16. Suppose k = 3*j + 4*v - 227, -j + v = -88. Is j a multiple of 24?
False
Is 59 a factor of (-45816)/(-72) - 15/(-9)?
False
Suppose 2*c - 19 = -9. Suppose -c*g + 2*s = 5*s - 54, 3*g = -3*s + 36. Is g a multiple of 3?
True
Is 41 a factor of (-2)/(-2)*(1684/2 - 1)?
False
Suppose 10*n - 291 - 339 = 0. Is n a multiple of 3?
True
Let t be 8/36 - 1036/(-36). Let r = 45 - t. Is 8 a factor of r?
True
Let b be 2/(-3) + (-4480)/48. Does 4 divide b/(-7) - 3/7?
False
Suppose 0 = -92*t + 139*t - 275232. Is t a multiple of 23?
False
Suppose 3*n = q + 5043, -95*n + 96*n - 1674 = -2*q. Is 12 a factor of n?
True
Suppose 5 - 29 = -8*m. Suppose 0*h + 2*k = -m*h + 659, h - 220 = -k. Does 20 divide h?
False
Let q(a) = -a**3 - 24*a**2 - 7*a + 72. Does 24 divide q(-24)?
True
Suppose -5921 = -12*y + 6823. Does 10 divide y?
False
Suppose 0 = -4*h + 5 + 15. Suppose -h*r + 183 + 122 = 0. Suppose -4*m = -9*m - 5*o + 230, -m + 2*o = -r. Is m a multiple of 17?
True
Let y be (2/(-5))/((-5)/425). Let w = y - -23. Is w a multiple of 13?
False
Suppose x - 18 = 14. Suppose -p - x = -2*p. Does 8 divide p?
True
Suppose 2*n + 3*p - 18 = -n, 3*n + 2*p = 19. Let m(f) = -3 - f**2 - 9 - 8*f + n*f - 9*f. Does 4 divide m(-8)?
True
Let a(g) be the second derivative of g**3/6 + 82*g**2 + 21*g. Is 16 a factor of a(0)?
False
Suppose -x + 42 = z, -z + 183 + 19 = 5*x. Suppose 0 = 5*i + 130 - x. Does 7 divide (112/(-10))/(i/45)?
True
Let q = 11 - 11. Let i(k) = -6*k**3 - 3*k - 2. Let s be i(-2). Suppose 2*n - s = -q*n. Does 11 divide n?
False
Let k = 157 - -291. Does 60 divide k?
False
Let b = -4 + 6. Suppose 4 = p + b. Suppose a + 4*x = -a + 18, -p*x = 3*a - 27. Is a even?
False
Let y(g) = -g**3 + 15*g**2 - 13*g - 14. Let w be y(14). Does 23 divide w/1 + (-1 - -126)?
False
Let u(y) = 125*y - 86. Is u(8) a multiple of 82?
False
Suppose 5*q = 3*c - 0*q - 503, 5*c = -2*q + 890. Does 16 divide c?
True
Let z(m) = 8*m - 1. Suppose -2*d - 11 = 5*q + 1, 0 = q + 5*d - 16. Let b be -6*(1 + q/3). Is 5 a factor of z(b)?
True
Suppose 414 = -8*k + 3334. Does 73 divide k?
True
Let v(a) = -7*a - 8. Let j(i) = 22*i + 24. Let o(s) = -3*j(s) - 10*v(s). Suppose -u + 4 = x + 2, -5*x - 4 = 3*u. Is 12 a factor of o(u)?
True
Let g = 117 + 138. Let d be -1 + 135 + (-2 - -4). Let l = g - d. Is l a multiple of 22?
False
Suppose -2*a + 143 = l - 151, 1206 = 4*l + 2*a. Is 9 a factor of l?
False
Let r(t) = -t**3 - 5*t**2 - 2*t - 1. Let g be (6 - 1)/(-10 - -9). Let d be r(g). Let c(v) = -v**2 + 11*v - 13. Does 5 divide c(d)?
True
Let u(m) be the second derivative of m**4/12 + m**3/3 - m**2/2 + 3*m. Let a be u(-3). Suppose -7 + 1 = -a*f. Is 2 a factor of f?
False
Is 9 a factor of 6*(-2 + 60 + -1)?
True
Let d(a) = 2*a**3 + a**2 - a - 3. Is d(2) a multiple of 3?
True
Let b = 986 - 503. Let i = -306 + b. Does 10 divide i?
False
Suppose 6 = -5*o + 7*o. Suppose 6 = o*j - 9. Suppose -j*x = -x - 88. Is x a multiple of 5?
False
Let y(a) = 5*a**2 - 6*a - 8. Let g be y(-8). Suppose -g = -6*u + u. Suppose 4*f - u = 2*f. Is 9 a factor of f?
True
Suppose -4*p - 1046 = -3*q + 771, 3*q = 3*p + 1818. Is q a multiple of 37?
False
Suppose 3750 - 186 = 6*b. Does 54 divide b?
True
Let z(c) = -c**2 + 11*c + 8. Let s be (10 - -2)/(-4)*(-28)/21. Does 18 divide z(s)?
True
Suppose s + 456 = 5*s. Let p = 26 + s. Suppose -3*r + p = 2*r. Is 10 a factor of r?
False
Suppose -m - 3*h - 10 = -3, 17 = m - 5*h. Let w(o) = -o**3 - 2*o**2 - 6*o + 4. Let c be w(5). Is c/((-6)/m) + 1 a multiple of 17?
True
Suppose -3*v = 4*d - 502, 5*v - 378 = -3*d + 2*v. Let b = d + -70. Is 18 a factor of b?
True
Is 7 a factor of (843/2)/((-14)/(-4) - 3)?
False
Let p(g) = 3*g**3 - 13*g**2 - 7*g + 2. Is 20 a factor of p(6)?
True
Suppose -2*j + 309 = 3*k, j + 5*k - 210 + 45 = 0. Let i = j - -70. Suppose m = -3*m + 5*f + i, 2*f = 4*m - 208. Is 12 a factor of m?
False
Let w(u) = -u**2 - 8*u - 9. Let y be w(-6). Suppose y*d = 2*a + 330 - 7, 3*d + 4*a - 299 = 0. Suppose -18 = -j - 3*n, 4*j - 12 - d = 3*n. Does 12 divide j?
False
Let n = -2172 - -3261. Does 33 divide n?
True
Suppose 20*j - 7*j + 52 = 0. Is (j - -9)*64*4/10 a multiple of 46?
False
Let f = -609 - -1935. Is f a multiple of 39?
True
Let l = 2 - -8. Suppose -l*z + 1760 = z. Is 16 a factor of z?
True
Let x = 347 - -83. Is 12 a factor of x?
False
Let n(o) = -3*o - 5. Suppose 62 = -7*v + 20. Is 13 a factor of n(v)?
True
Let b(g) = g**3 + 5*g**2 - 2*g - 8. Let o be b(-5). Is 2 a factor of ((-20)/(-15) - o)*159/(-2)?
False
Let w(l) = -3*l**3 - 29*l**2 + 35*l - 12. Is w(-11) a multiple of 2?
False
Suppose 4*o + l = 165, 5*o + 4*l - 55 - 165 = 0. Does 40 divide o?
True
Let i(m) = -m**3 + 5*m**2 - 3*m. Let y be i(3). Suppose 0 = -n + 5 + y. Is 7 a factor of n?
True
Let s = 9 + -13. Let y = -20 - -36. Is ((-328)/y)/(1/s) a multiple of 22?
False
Let m = 1631 + -931. Is 14 a factor of m?
True
Let y = 36 - 36. Suppose y = 4*t - 56 - 32. Does 3 divide t?
False
Let l = -3253 + 7861. Does 36 divide l?
True
Let u = -344 - -631. Does 20 divide u?
False
Let v = -86 + 48. Let h = 200 + v. Is h a multiple of 9?
True
Suppose 3*o - 16 = 4*a, 5*o - o - 8 = 2*a. Is (-78)/a*32/24 a multiple of 14?
False
Let j = 102 - 97. Suppose -101 = 5*o - 4*f - 358, -o = -j*f - 43. Does 11 divide o?
False
Let h(q) be the third derivative of -q**4/12 - 11*q**3/6 - 4*q**2. Let j be h(-8). Suppose -l = 3*z - 132, 4*z + j*l - 176 = -11. Is z a multiple of 15?
True
Let j(p) = 18