 Suppose y*x = 6*x - 30. Suppose -x*r + 19*r - 44 = 0. Is r a multiple of 11?
True
Let t = -13 - 51. Let h = 61 + t. Is 6*8*h/(-6) a multiple of 9?
False
Suppose -5*f + x = 3470 + 1747, -2103 = 2*f + 5*x. Is 11 a factor of (8/(-16))/(1045/f + 1)?
False
Let y(p) = 39*p + 10. Let z(f) = -f + 11. Let x be z(7). Let r be y(x). Let s = -110 + r. Is 14 a factor of s?
True
Suppose -48 = -2*m + 2*o + 70, -3*m + 176 = -4*o. Let j = 1523 - 1519. Is 10 a factor of 0 + j/(-1) + m?
False
Let z = -74443 + 124339. Does 14 divide z?
True
Suppose -6*a + a = 4*d - 33, 0 = -3*d - 3*a + 21. Suppose 2*t - d*t = 5*t. Suppose t*h - 1076 = -4*h. Is h a multiple of 45?
False
Let w be (-29 - -16)*1/(-1). Suppose -w*d + 1131 + 273 = 0. Suppose 468 = 18*t - d. Is 8 a factor of t?
True
Let g(u) = -21*u + 123. Let o be (169/(-91))/(1/7). Is g(o) a multiple of 36?
True
Let x(n) = -4*n - 84. Let g be x(-25). Let f(i) = 27*i - 92. Does 17 divide f(g)?
True
Suppose 34616 + 45165 = -23*v + 492861. Is v a multiple of 17?
False
Let k be ((-9 - -5) + 2)*-29. Let q be (k/(-10))/((-10)/(-25))*-2. Suppose q*s - 21*s = 960. Is 11 a factor of s?
False
Let x = -71 - -76. Let o(r) = -r**3 + 6*r**2 - 3*r + 6. Let q be o(x). Is q + -10 - 3*-1 a multiple of 9?
True
Let q(x) = x**3 - 3*x**2 - 2*x + 168. Let i be q(0). Suppose -5*z + 325 = -5*b, 3*b - i + 63 = -2*z. Does 6 divide z?
True
Let f(m) = -3*m**2 - 30*m + 10. Let g be f(-8). Suppose g*s - 1772 = 54*s. Does 14 divide s?
False
Let v be (-6)/18 - 5/3. Let q be (-1 + v)*6/(-18). Does 4 divide -4 - (46/(-2) + q)?
False
Suppose 20*g = -g + 105987. Is g a multiple of 47?
False
Suppose 2*q - 2*a = -q + 7477, 2*a - 7493 = -3*q. Does 5 divide q?
True
Let z(i) = -i**3 - 5*i**2. Suppose 4*y = -3*s + 4*s - 17, -s = 3. Let p be z(y). Suppose -m + 8 = -p*m. Is m a multiple of 6?
False
Let x(t) = -3*t**2 - 8*t - 32. Let v be x(20). Let h = -776 - v. Does 22 divide h?
True
Suppose 45*j - 26*j - 9120 = 0. Suppose 73*a - 81*a + j = 0. Does 15 divide a?
True
Let u = -1184 - -1417. Does 9 divide u?
False
Suppose -r = 3*m - 42994, -5*m = -21*r + 19*r + 85955. Is 166 a factor of r?
False
Let d(m) = -13*m - 10. Let w be d(-4). Suppose -w - 400 = -2*g. Suppose 15*r + g = 971. Is r a multiple of 3?
False
Let z be 40/16 + (-5)/(-2). Let y = 45 - 44. Is (-12032)/(-40) + y/z a multiple of 48?
False
Let l = 10698 - 3437. Is l a multiple of 53?
True
Suppose 428 = 81*w - 769 - 504. Let o(f) = 34*f + 3. Let u be o(3). Let t = w + u. Is 25 a factor of t?
False
Let g = -1309 - -653. Let a = g + 679. Does 2 divide a?
False
Let n = 551 - 62. Let h = n - 169. Is 10 a factor of h?
True
Suppose -91*w + 389288 = -20212. Does 22 divide w?
False
Let u = 91 + -86. Let z be u/(-2)*8/(-10). Suppose 3*v - 42 = z*v. Is v a multiple of 14?
True
Let u(f) = 213*f + 29. Let n be u(-8). Let d = 2459 + n. Does 49 divide d?
True
Let n(s) = 18*s**2 - 4*s + 66. Let h be n(-15). Suppose 0 = -15*l + 7*l + h. Is l a multiple of 29?
True
Let w(n) = n. Let y(m) = -4*m - 5. Let j(i) = -6*w(i) + y(i). Let p be j(5). Let c = -40 - p. Does 15 divide c?
True
Let c(y) = -y**2 - 101*y - 73. Is 7 a factor of c(-11)?
True
Suppose 5 = -o + 3, 4*m = 4*o + 828. Let l = 4 + m. Is 12 a factor of l?
False
Let f(j) = 17*j**3 - 9*j**2 + 13*j - 11. Let d be f(6). Let u = d + -1895. Is 20 a factor of u?
True
Let z(j) = -3634*j - 8804. Does 21 divide z(-5)?
True
Let u = 3958 - -3570. Does 7 divide u?
False
Is ((-13419)/18)/(-3) - 14/(-28) a multiple of 116?
False
Let j = 15 + -10. Suppose 25 = j*i - 45. Suppose i*s + 10 = 15*s. Does 5 divide s?
True
Let z(p) = -p**2 + 16*p - 47. Let f be z(12). Let h be (-2 - f) + 61 + -2. Let a = -37 + h. Does 19 divide a?
True
Let u(g) = g**3 - 4*g**2 - 3*g - 21. Does 11 divide u(6)?
True
Let x be -526*(-1 - 1/(-2))/1. Suppose l - 824 = -5*k - l, -4*k + 2*l + 670 = 0. Let d = x - k. Is d a multiple of 12?
False
Suppose 5 + 4 = -y. Let n = -18934 + 13470. Is n/(-24) + ((-12)/y - 1) a multiple of 19?
True
Let d(x) = x**3 + 11*x**2 + 16*x + 9. Suppose 0 = c + 2*c - z + 14, 8 = -2*c + z. Let q be d(c). Suppose -q = -7*y - 23. Is y a multiple of 4?
False
Let z(a) = 1444*a - 4127. Is z(22) a multiple of 131?
True
Suppose 2*h - h = -3*z - 476, -h - z - 486 = 0. Let w = h + 542. Is w a multiple of 11?
False
Let f(b) = 69*b + 3. Suppose 0 = -9*p - 6 + 15. Is 24 a factor of f(p)?
True
Let c be (0 + -3)*(-14)/21. Suppose -2*h + c*s - 4 = 0, 2*h + 3*s = 4*s. Suppose -52 = -h*x - 5*m + 100, 4 = m. Is x a multiple of 22?
True
Suppose -1404*k + 1420*k - 10368 = 0. Does 45 divide k?
False
Suppose -2*n - 22 = 4*q, 0 = -3*n - 0*q - 2*q - 13. Let f = -32 - n. Let j = f + 36. Does 5 divide j?
True
Let d be -1 + ((-2)/9 - (-76)/18). Is 17 a factor of d + (-4145)/(-10) - 2/(-4)?
False
Let o be (34/(-51))/((-1)/3). Suppose 0 = o*u - 5*u + 4*q + 259, -5*q = -10. Let l = u - 73. Is l a multiple of 6?
False
Let o(s) = -2*s**2 - 13*s - 6. Let k be ((-2 - -3)/(-1) - 0)*5. Is 2 a factor of o(k)?
False
Is (-1)/((2/10)/((-390220)/100)) a multiple of 29?
False
Does 110 divide (345/36 + 80/(-60))/(12/20704)?
False
Let n(q) = 2*q**3 + 127*q**2 + 154*q - 215. Is 58 a factor of n(-57)?
False
Let w(l) = -697*l + 9921. Does 11 divide w(0)?
False
Let b(d) be the third derivative of -d**6/120 + 11*d**5/15 + d**4/12 + 25*d**3/6 - 2*d**2 - 22. Is 3 a factor of b(44)?
False
Let k(m) be the third derivative of -4*m**4/3 - 43*m**3/6 - 141*m**2 + 2*m. Is k(-6) a multiple of 71?
False
Suppose -8695 = 5*o - 3*p, -5*o - 20*p - 8705 = -25*p. Let z = o + 2674. Does 9 divide z?
False
Let k be -59 + 1/(8/(-16)). Let p = 259 + k. Is 26 a factor of p?
False
Let m(w) = -3*w**2 + 22. Let j be m(-6). Let a = j - -89. Let g(d) = 34*d + 6. Is 27 a factor of g(a)?
True
Let d be (-2)/(-3) - (1625/(-15) - 1). Let u = 140 - d. Is 6 a factor of u?
True
Suppose 15 - 75 = 4*h. Let g be h/9 + 1 - 2154/9. Let u = 344 + g. Is u a multiple of 13?
True
Suppose -2159 = 11*w - 24137. Is 111 a factor of w?
True
Suppose 4*v + 0*v = -180. Let d be (20464/(-18))/(-4) - (-10)/v. Let u = -75 + d. Is 33 a factor of u?
False
Suppose 874368 = 5838*y - 5805*y. Is 36 a factor of y?
True
Suppose -43*x + 160116 = x. Is x a multiple of 73?
False
Let i be 1/((-534)/(-108) + (-1 - 4)). Let d(n) = -n**3 - 17*n**2 - 28*n + 19. Does 11 divide d(i)?
True
Suppose -4*c + 0 = -u - 6, 0 = 2*u - 3*c + 7. Is ((-8862)/28)/(1/u) a multiple of 40?
False
Let r be ((-5)/(-2))/(1/2). Let h be 1522/8 - ((-9)/(-4) - 2). Suppose g = -5*j + 185, -4*j - r*g + h = 42. Is j a multiple of 27?
False
Suppose 0 = 4*l + 3*w - 131370, 47649 = -4*l + 3*w + 178983. Does 24 divide l?
False
Suppose 29*g = 21*g + 2544. Suppose 1488 + g = 14*k. Does 51 divide k?
False
Suppose -6*m = 632 + 208. Let v = m + 307. Is 16 a factor of v?
False
Suppose 0*o - 4*x = 5*o - 27600, 2*x = x. Is 20 a factor of o?
True
Suppose 7*d - 4541 = 2529. Does 101 divide d?
True
Let g = 6284 + -4144. Let y = g + -1502. Does 22 divide y?
True
Let m(y) = y**3 + 12*y**2 + 4*y + 10. Let u(v) = 14*v**2 + 4*v**3 - 11 - 9*v**2 - 5*v**3. Let g be u(5). Is m(g) a multiple of 21?
False
Let m(i) = -402*i + 14688. Is 205 a factor of m(0)?
False
Let n(r) = r**2 + 200*r + 224. Is n(79) a multiple of 16?
False
Let f(j) = 82*j**2 - 604*j - 1814. Is 16 a factor of f(-3)?
True
Suppose 309 = 3*k + 5*y, 0*y = 3*k - 3*y - 309. Let d = 85 - k. Let q = d - -147. Is q a multiple of 15?
False
Suppose 26*j + 1603 + 399 = 0. Let i = 223 - j. Is i a multiple of 20?
True
Let t be (-3 + 2)/((-1)/11332). Is 40/70 + t/14 a multiple of 40?
False
Let b(t) = t**3 + 16*t**2 - 5*t + 19. Let r be b(-16). Does 43 divide 30/7*17094/r?
False
Suppose 25 = -5*a, -5*q + 9810 = -3*a - 7860. Does 75 divide q?
False
Let q(j) = j**3 - 9*j**2 + 8*j + 10. Let t(y) = 2*y**3 - 10*y**2 + 7*y + 10. Let o(n) = -3*q(n) + 2*t(n). Suppose -2 - 145 = 21*x. Does 15 divide o(x)?
True
Suppose 0 = m + 5*d - 39137 - 2545, 4*m = 4*d + 166920. Does 11 divide m?
False
Let f(j) = 3*j - 90. Let u be f(-13). Let q = 293 + u. Is q a multiple of 4?
True
Let n(l) = 8*l**2 - l + 12. Suppose -22 = -5*i - 12. Is 20 a factor of n(i)?
False
Let v(p) = -5*p - 6*p + 4*p + 0 + 10. Let g(f) = -9*f + 22. Let w be g(4). Does 9 divide v(w)?
True
Suppose 771*k + 2*h = 772*k - 104, 390 = 4*k + 5*h. Is k a 