(u) = -2*u**2 + 64*u - 372. Does 27 divide y(20)?
True
Let f = -215 + 430. Let b(s) = 3*s**2 + 8*s + 47. Let u be b(-11). Let k = u - f. Does 11 divide k?
False
Suppose 19*f = 8752 + 3218. Is 18 a factor of f?
True
Suppose -4*r = -y - 23, -88 - 51 = 3*y + 2*r. Let x = -2 + y. Does 11 divide (6/(-2))/((x/440)/3)?
True
Let w = -29 - -197. Suppose -46 + w = 2*r. Does 7 divide r + -15 - (3 + 1)?
True
Suppose 8*a + 206 = -498. Is 12 a factor of (7*-1)/(44/a)?
False
Let g(u) = u**3 + 2*u**2 - 81*u + 1073. Is 17 a factor of g(19)?
False
Suppose z + 0*f = 2*f + 2904, -2919 = -z + 5*f. Suppose 5*i - 3*y - z = 0, -y + 4 = y. Is 58 a factor of i?
True
Is 15 a factor of -2 - (1 + 343/(-5))/(5/850)?
True
Suppose -7*d + 2*i = -2*d - 12618, 3*d - 3*i = 7569. Does 4 divide d?
True
Let z(r) = r - 3. Let q be z(-21). Is 22 a factor of 989/3 + q/(-18) + -1?
True
Suppose 9*o + 146*o = 916515. Is 34 a factor of o?
False
Suppose -2*o - 380 = -7*o - q, 2*q = -2*o + 160. Suppose 0 = 26*s - 29*s + o. Is 5 a factor of s?
True
Let x(u) = -33*u**2 - 31*u - 41. Let c be x(-14). Is 45 a factor of c/(-21) - (2 - 24/14)?
False
Let z(g) = 8*g**2 - 65*g + 8. Let w be z(8). Suppose -2*s - 7*b + 4*b + 224 = w, 2*s - 5*b = 224. Is s a multiple of 7?
True
Suppose -2*a - 52 = -2*y, -4*y - 111 + 7 = 4*a. Let g = 24 + a. Is 17 a factor of (g/(-4))/((-2)/(-340))?
True
Let a(s) be the first derivative of 8*s**3/3 - 8*s**2 + 8*s - 1452. Let o = 8 + -1. Does 18 divide a(o)?
True
Suppose 176*k - 52*k = 14632. Does 77 divide k?
False
Let s(h) = 14*h - 49. Let z be s(10). Suppose -7*r + z = 6*r. Let c = r - -36. Is c a multiple of 43?
True
Suppose -3*l = -4*h - 15128 - 20504, 0 = -4*h + 8. Is l a multiple of 66?
True
Let l(r) = -9*r**2 - 135*r + 2. Let b be l(-15). Suppose 9*v - b*j = 4*v + 2625, -4*v - 5*j + 2067 = 0. Is v a multiple of 7?
False
Let v be -1*2 - (11 + 4)/(-3). Suppose -v*g = -2*g - 483. Is 21 a factor of g?
True
Suppose 4*w + 22 = 2*k, -5*k - w - w = -55. Let l(u) = -u**3 + 12*u**2 - 9*u - 20. Let y be l(k). Is 15 a factor of 284*5/(18 + y)?
False
Let y = -493 - 258. Let d = -466 - y. Is 11 a factor of d?
False
Let j be (5/(-25))/(2/(-20)). Let s(w) = -17*w + 5 - 7 - j*w**2 - 1 + w**2. Is 8 a factor of s(-16)?
False
Let w = -34 - -55. Suppose w = 2*h + 3*l, 0*h + 19 = 2*h + l. Suppose 0 = 7*o - h*o + 78. Is o a multiple of 13?
True
Suppose 5*c - x - 303 = -4*x, -2*c + 146 = -5*x. Does 2 divide 14/3*108/c?
True
Does 19 divide (4166/(-3))/((-123)/738)?
False
Let y(p) = -p**3 - 10*p**2 + 9*p - 9. Let o be y(-11). Let u = -47 - -80. Let l = u - o. Is 5 a factor of l?
True
Suppose 651*i = 607*i + 821172. Is i a multiple of 14?
False
Let z(j) = -j**3 - 64 - 37 - 13*j + 14*j**2 + 133. Is 4 a factor of z(13)?
True
Let d(h) = -5*h - 46. Let y be d(-14). Let x = y + 548. Suppose -x = -10*r + 508. Is 54 a factor of r?
True
Let i(w) = -w**3 + 14*w**2 - 9*w + 67. Let k be i(13). Let h = k + -4. Is h a multiple of 33?
False
Let c(d) = 6174*d**2 - 30*d + 31. Let u be c(1). Suppose -2*b + 2305 - u = -3*q, 5*b - 2580 = -2*q. Is 86 a factor of q?
True
Let w be ((-14)/(-4) - 3) + (-102)/(-12). Suppose -y + 3*m = -5*y - w, 5*m + 15 = 5*y. Suppose y*c - 4*c + 662 = 5*t, -c = -2*t - 172. Is c a multiple of 29?
False
Suppose -2*z - 5 = -2*j + 1, -z + 5*j = -5. Let y(i) = -102*i + 18. Does 18 divide y(z)?
False
Suppose -4*b = 4*h + 4, 4*b - 15 = 2*h + 5. Suppose -8*p - q + 550 = -b*p, -5*q - 440 = -4*p. Is p a multiple of 11?
True
Let r = -21567 - -30712. Is 9 a factor of r?
False
Let f be (23 - 11)/(1*-1). Let p be (-2 - (-12)/9)*1026/f. Suppose -193 - p = -5*o. Is o a multiple of 5?
True
Suppose 0*h + 6*h + 11021 = 48929. Is 107 a factor of h?
False
Suppose 29*n + 28 = 318. Let w(q) = q**2 + 5*q + 7. Let i be w(-5). Suppose -347 - n = -i*s. Is s a multiple of 11?
False
Let l(g) = -g + 10. Let n be l(6). Suppose -n*a = d - 2072, -4*a - d + 2080 = 2*d. Is a a multiple of 47?
True
Let x(k) = -27*k + 21*k**2 + 4*k**3 + 3*k**3 + k**3 - k**3 - 6*k**3 + 34. Is x(-22) a multiple of 16?
True
Suppose 32*v + 244 = -268. Does 6 divide (12/v + 0)*-480?
True
Let t(r) be the first derivative of -r**4/4 - r**2 - 8*r + 9. Let y(p) = 2*p + 27. Let z be y(-16). Does 34 divide t(z)?
False
Let p = -398 - -409. Is 25 a factor of ((-120)/(-4))/((p/20)/11)?
True
Suppose 16 = 6*f - 2. Let p be f - (4/1 + -4). Suppose l = -p*z + 187, -720 = -4*l + z - 6*z. Is l a multiple of 30?
False
Let w(h) = 2*h**2 + 21*h - 7. Let g be w(-11). Let y be 7*g*(-2)/(-8). Let t(f) = -f**3 + 7*f**2 + 6*f + 6. Does 16 divide t(y)?
True
Suppose -2*x - 5*o + 0*o = -33, -4*x + 2*o = -6. Suppose -37 - 193 = -t + x*j, -3*t + 648 = 2*j. Is t a multiple of 4?
False
Suppose -6*t + 140 = -580. Is t a multiple of 16?
False
Let s = -8 + 35. Suppose -28*i + 414 = -s*i. Does 23 divide i?
True
Let h(w) = 11*w**2 - 60*w + 382. Is 4 a factor of h(8)?
False
Let c(v) = 1120*v**2 - 34*v + 9. Does 49 divide c(-8)?
False
Let q(a) = 42*a + 6. Let o be q(6). Let t = o + 713. Is t a multiple of 91?
False
Suppose 0 = 9*k - 4*k - 10. Let j(l) = -1 - 5 - 4*l**2 + l**3 + 11*l**k - 7*l. Does 20 divide j(-6)?
False
Let h(t) be the second derivative of t**5/20 - 11*t**4/3 + 13*t**3/6 - 51*t**2 + 116*t. Does 47 divide h(44)?
True
Let p(u) = -u**3 + 60*u**2 - 106*u + 90. Does 5 divide p(58)?
True
Suppose 0 = 3*b + 4*o - 324, 7*o = -b + 2*o + 119. Suppose 0 = 26*i - 27*i + 3*k + b, i = 4*k + 102. Is 5 a factor of i?
True
Suppose 10*w + 38 = -9*w. Let k(j) = -403*j + 22. Let p be k(w). Suppose a - 20 = -3*x + 187, -4*x = -4*a + p. Does 23 divide a?
True
Suppose -3*w = n - 1533 - 210, 3*w = -4*n + 1752. Suppose 0*a - 5*g + 442 = 3*a, 2*g = -4*a + w. Does 12 divide a?
True
Suppose 5*x - 4*y - 2886 = -6*y, -5*x = -y - 2877. Is 4 a factor of x?
True
Let r(t) be the second derivative of -5*t**4/24 - 2*t**3/3 - 23*t**2/2 + 32*t. Let g(b) be the first derivative of r(b). Does 2 divide g(-7)?
False
Let y = -25 + 26. Let h be y - 2/(-1) - (0 - -2). Let x(g) = 67*g**2 + 2*g - 1. Is x(h) a multiple of 17?
True
Suppose 5*x - 9*x + 36 = 0. Let t(f) = 3*f - 9*f**2 + 3*f - 24 - 5*f + 11*f + f**3. Is t(x) a multiple of 49?
False
Let j(u) = -1140*u + 98. Is j(-1) a multiple of 11?
False
Let t(j) = -22*j + 6. Let r be t(0). Is (-64 - (-1 - -3))*(-81)/r a multiple of 18?
False
Suppose -3*k = 4*i - 864, 4*i - k + 215 = 5*i. Let f = 479 - i. Is 17 a factor of f?
False
Let o be 30/4 + 6/4. Let p = -9 + 9. Suppose -o*h + 5*h + 8 = p. Does 2 divide h?
True
Let s(d) = 3*d**3 + 2*d**2 - 4*d + 1. Let c be s(2). Let l = c - 20. Suppose -z + 296 = 3*z - 2*k, 0 = 3*z + l*k - 235. Is 11 a factor of z?
False
Let b(m) = m + 5. Let d be b(1). Suppose 3*o - 2*h - 167 = 0, -2*o - 4*h - 228 = -d*o. Is 17 a factor of o?
False
Suppose -1149 = -2*u - 0*u - f, u - 5*f - 591 = 0. Suppose 23*b + u = 32*b. Let r = b + -4. Does 6 divide r?
True
Let o = -1661 + 1663. Suppose -a - 2*w + 4*w - 1 = 0, 0 = 5*a - 3*w + 5. Does 40 divide ((-62)/a - (-11 - -9)) + o?
False
Let o = -141 + 144. Suppose o*u - 187 = 269. Does 19 divide u?
True
Let a = 3220 - -6094. Is 27 a factor of a?
False
Suppose -4*c = -5*q + 100, -5*q - 1 = 2*c + 19. Is 27 a factor of (144/c)/(9/(-540))?
True
Let h = -14478 + 19368. Does 15 divide h?
True
Suppose -97*w + 25114 = 2707. Is w a multiple of 33?
True
Let s = -30 - -33. Suppose -30 = -5*z + 3*b - 7, -s*z - 2*b = -10. Suppose 4*o - 24 = -3*m - z, 4*o + 76 = 5*m. Is 4 a factor of m?
True
Suppose -4*k = -5*y + 801, -3*k + 773 = 5*y - 0*y. Let u = -141 + y. Is 8 a factor of u?
True
Let q(l) be the second derivative of -41*l**3/6 + 38*l**2 - 2*l - 2. Is q(-6) a multiple of 64?
False
Suppose 0 = -3*m - 15, 2370 = 13*d - 4*m - 2356. Does 3 divide d?
False
Let d be (-8 + 2)*(-10)/3. Let u be d - (2 - 4 - -2). Suppose -15*n = -u*n + 660. Is n a multiple of 12?
True
Is 50 a factor of 7/((-77)/(-61053)) + (-6)/22?
True
Let j = -6984 + 48609. Does 25 divide j?
True
Let j = -182 - -175. Let b(r) = 3*r**2 - 22*r + 11. Does 32 divide b(j)?
False
Suppose 0 = 5*j + 3*j - 1792. Let p = j + -172. Is p a multiple of 7?
False
Suppose 0*q - 6*q = 84. Let b = q + 19. Suppose 2*j - 518 = -b*j. Is j a multiple of 19?
False
Let t be ((2 - -4)*-1)/(12/(-8)). Let z be -4*(-9 + 8/t). Let i = 66 + z. Is i a multiple of 21?
