k be o(-1). Suppose 5*s - 137 - k = 0. Is s a multiple of 8?
True
Suppose -2*z = -4 + 2, 0 = -8*r - 4*z + 7012. Is 6 a factor of r?
True
Suppose -4*r + 3126 = -11*q + 13*q, q + 5*r = 1572. Is q a multiple of 9?
True
Let b be 6290/30 + 1 + 2/(-3). Let g(z) = z**3 + z**2 + 7. Let i be g(0). Suppose 0 = o + 4, 2*x = i*x - 5*o - b. Is 10 a factor of x?
False
Let y(h) be the third derivative of -h**6/60 - h**5/4 - 31*h**4/24 + 2*h**3/3 - 52*h**2. Is 18 a factor of y(-7)?
False
Suppose -5*o + o - 5*i = 0, 0 = 5*o - i. Let n = 35 + o. Does 3 divide n?
False
Suppose -1538 = -2*l + y, 3*l + 4*y - 2318 = -0*l. Does 14 divide l?
True
Does 11 divide ((-4)/(-14))/(5/35) - -86?
True
Suppose -12*w - 1500 = -27*w. Is 23 a factor of w?
False
Let r be (-1)/(2*1/(-10)). Suppose r = -q + 38. Does 4 divide q?
False
Suppose u + 1 - 59 = -4*c, 2*u + 5*c - 113 = 0. Does 9 divide u?
True
Let f be (-42)/(-18) + (-2)/6. Suppose 10 = q + q. Suppose q*r = -4*b + 235, -3*r - 1 = f. Does 15 divide b?
True
Let d = -24 + 114. Suppose i = -5*j + 445, -2*j + d + 88 = -4*i. Is j a multiple of 18?
False
Let b(u) = u**3 - 4*u**2 - 5*u - 4. Let c be (2/6)/((-7)/(-105)). Let d be b(c). Let o = 11 + d. Does 2 divide o?
False
Let m(d) be the second derivative of -d**3/3 - 2*d**2 - 16*d. Let y(n) = n**2 + 12*n + 14. Let w be y(-10). Is 4 a factor of m(w)?
True
Let m = -27 - -30. Suppose 4*w = -20, -y + m*w + 215 = 8*w. Is 12 a factor of y?
True
Let x(q) = -7*q. Let r be x(2). Suppose 792 = -25*b + 3*b. Let l = r - b. Does 8 divide l?
False
Suppose 5*n - 89 = 3*w - 17, -n + 16 = w. Let a = 19 - n. Suppose 0 = -a*h + 3*h + 26. Is h a multiple of 15?
False
Let w = 4260 + -2372. Is w a multiple of 16?
True
Let m(y) = -y + 19. Let z be m(-8). Let h be (-3)/6 + (-158)/(-4). Suppose -z - h = -3*b. Is 7 a factor of b?
False
Suppose -2*g = -404 + 80. Does 27 divide g?
True
Suppose -i - 1 = -4. Does 13 divide i/(45/426) - (-15)/25?
False
Let g be (-12)/(-18) + 4/(-6). Suppose -5*c + 129 + 36 = g. Suppose 2*q - 157 + c = 0. Is 33 a factor of q?
False
Suppose 6*j - 1234 = 6860. Does 8 divide j?
False
Let o be (-4)/7 + (-5520)/140. Let c = -14 - o. Is c a multiple of 13?
True
Let h(q) = 89*q - 190. Does 28 divide h(10)?
True
Suppose -l = -3*l - m + 487, 5*m = 5. Does 8 divide l?
False
Let a(u) = -u - 36 + 18 + 12. Does 3 divide a(-18)?
True
Does 3 divide 20*((-3)/(24/(-62)) - 4)?
True
Let m be ((-14)/3)/(2/(-15)). Suppose m = -4*n - 21. Is -9*1/(6/n) a multiple of 17?
False
Let c(t) = 20*t - 4. Suppose -4*h - g + 51 = 0, -g + 63 = 5*h - 0*h. Does 14 divide c(h)?
False
Let r(o) = -o**3 - 8*o**2 - 10*o + 7. Let p be r(-5). Is p/12 - 203/(-2) a multiple of 25?
True
Let h = 2 + 3. Suppose -3*i + r + 168 = h*r, 193 = 4*i - 5*r. Is i a multiple of 13?
True
Suppose -5*q - 20 = 0, 4*h - 3*q = 953 + 1723. Does 37 divide h?
True
Suppose -4*a + 0 - 3 = -3*c, -9 = 2*a - 3*c. Suppose 2*z + 100 = -a*z. Let r = z - -52. Is r a multiple of 16?
True
Is 30 a factor of (-124 - -4)*26/(-8)?
True
Suppose 26*s - 53109 = 2375. Does 11 divide s?
True
Let n be ((-44)/8)/((-4)/(-64)). Let d = n - -142. Is d a multiple of 18?
True
Let c = 73 - 71. Suppose c*m - 35 = -3*m. Is m a multiple of 2?
False
Suppose -5*k = 1 - 6. Is 2 a factor of (-7 - 11)*k/(-2)?
False
Suppose -10*u = 2*u + 120. Let z(y) = 2*y**3 + 22*y**2 + 15*y + 17. Is 10 a factor of z(u)?
False
Suppose 6*v + 12 = -0*v. Is 7 a factor of v - 1 - -58 - 9/(-3)?
False
Suppose -3*u = -5*u + n + 717, -2*n = -5*u + 1790. Does 16 divide u?
False
Suppose 29*k - 13980 = 17*k. Does 36 divide k?
False
Let q(a) = 32 - 6*a + 19*a + 7*a. Is 14 a factor of q(4)?
True
Let k = 80 - 77. Does 16 divide k*(45 - (-3 + 1 - -2))?
False
Let m = -198 + 400. Is m a multiple of 8?
False
Let t be 108/45 - (-4)/(-10). Suppose 5*f - 45 = -t*s, -2*s + 3*f + 1 = -4. Is 10 a factor of s?
True
Suppose -4*p + 767 = -t, 0 = 5*p - 2*t - 320 - 638. Is p a multiple of 32?
True
Let r = 46 - 117. Let c = r + 75. Does 2 divide c?
True
Suppose 0 = 5*t - 25. Let n = 4 - 1. Suppose 4*p - 129 = n*r - 11, -4*p + 114 = -t*r. Does 19 divide p?
False
Let x(p) = p - 2. Let s be x(8). Suppose -i = 2*t - 94, -3*t + 136 = -2*i + s*i. Is 8 a factor of t?
True
Suppose n - 4*a - 6 = -0, -2*n - 5*a - 1 = 0. Let l be (-2)/(-9) + 604/36. Is 6*l/n - 1 a multiple of 25?
True
Suppose -44 = -0*h - 2*h - 4*n, 5*h = -3*n + 124. Suppose -s + 12 = 3*s. Suppose 3*p - h = l + 21, -3*l = -s. Does 9 divide p?
False
Let n = -8 - -11. Suppose 3*w = -2*w + 55. Let x = n + w. Is 14 a factor of x?
True
Let a be (-660)/77 - (-6)/(-14). Let c be a*5*8/60. Is 7 a factor of (-128)/c - (-16)/(-48)?
True
Let s = 1 + 1. Suppose -g - 7*j = -3*j + 7, s*j + 11 = -g. Let y(f) = -f**2 - 15*f + 20. Is 5 a factor of y(g)?
True
Let z be -2 + 28 + -1 + 5. Suppose -z = -12*v + 9*v. Is 10 a factor of v?
True
Let i = -110 - -191. Let x = i + -40. Does 4 divide x?
False
Suppose 3*i - 26 = -u + 21, 82 = 5*i - 2*u. Does 3 divide i?
False
Let r = 686 + 264. Is 73 a factor of r?
False
Let k(o) be the first derivative of -o**3/3 - 29*o**2/2 + 12*o - 22. Is 30 a factor of k(-18)?
True
Let w(j) = j - 3*j**2 - 411 + 9*j**2 + 9*j**3 + 417. Is w(3) a multiple of 34?
True
Let s = -564 - -1069. Suppose 530 = 5*a + 2*v - 5*v, -2*v + s = 5*a. Suppose 4*j - 41 = a. Is j a multiple of 12?
True
Let y be (-4 - -2) + (-9)/(-3). Is 3 a factor of (-2 + y)*4 - (1 - 35)?
True
Suppose b - 7 = -2. Let h = b + -5. Suppose h = -y - 2*y - i + 31, -4*y + 3*i = -24. Is 2 a factor of y?
False
Does 14 divide 2238/16 - 14/(-112)?
True
Is 4 a factor of 8/(-7)*(-7)/2?
True
Let i = -31 + 35. Is 2 a factor of 15/5 - i/(-2)?
False
Let c(z) = -55*z - 423. Does 9 divide c(-9)?
True
Let z be 0 - (2 + 0) - -2. Suppose z = 5*k - 4*k - 179. Is k a multiple of 17?
False
Suppose -2*j - 3*d + 31 = -0*j, -5*j + 2*d = -30. Let h(o) = -o**2 + 6*o + 1. Let a be h(j). Is (a/(-4))/(6/32) a multiple of 10?
True
Let w = 283 + -45. Is w a multiple of 17?
True
Let w(g) = 2*g + 14. Let d be w(-6). Let t(i) = 7*i**2 + 3*i**2 + 5*i**d - 1 - i - 20*i**3 - 13*i**2. Is 7 a factor of t(-1)?
False
Suppose -114 = 9*u + 39. Let a(o) = o**3 + 17*o**2 - 3*o - 7. Is a(u) a multiple of 6?
False
Is (3/((-60)/704))/((-5)/25) a multiple of 14?
False
Let l(z) be the first derivative of z**4/4 + 2*z**3 + 2*z**2 - z + 6. Let j be l(-5). Is (-6)/j*(-21 - -7) a multiple of 21?
True
Suppose 2*z - 176 = 4. Suppose z = 4*k + k. Suppose 2*m - 42 = -4*v, 0 = 2*v - v + 3*m - k. Is v a multiple of 5?
False
Does 47 divide 2 - (-700 + (-1 - 2))?
True
Let n = 5 + -2. Let i be 6/(-2)*(-19)/n. Suppose 0 = 5*x - 3*j + j - 40, 5*j = -x - i. Is x even?
True
Does 10 divide 394 + (-1 - 9/(-9))?
False
Let s(p) = -p**3 - 28*p**2 + 15*p - 72. Does 68 divide s(-29)?
False
Let p(w) = -w**2 + w + 265. Is 19 a factor of p(0)?
False
Does 14 divide (3330/8 - 6) + 2/(-8)?
False
Let q = 981 - 511. Is q a multiple of 47?
True
Let a be (4 - (-38)/(-6))*-207. Suppose -a = -12*s + 45. Is s a multiple of 44?
True
Let x(g) = 6*g + 12 + 8*g**2 + 2*g + 5*g**2 + 2. Let i be x(-4). Suppose 4*c = -c + i. Is 10 a factor of c?
False
Let o = -411 - -667. Is 16 a factor of o?
True
Does 98 divide (-1)/(((-17)/(-29155))/(2/(-5)))?
True
Let z(q) be the second derivative of q**5/20 - q**3/2 + 5*q**2/2 + 9*q. Let u be 4/((-1)/1 - -2). Is z(u) a multiple of 19?
True
Suppose 3 = 3*i - 4*f, 2*f - 1 = 3*i - 10. Suppose l = -3*u + 415, -l + 687 = i*u + 3*l. Does 22 divide u?
False
Let s = -16 - -20. Let k(u) = -4 - 2 + 6*u + 2. Does 10 divide k(s)?
True
Is 32748/(-66)*-1 - (-2)/(-11) a multiple of 5?
False
Let p = 203 - 195. Is 8 a factor of p?
True
Let c = -97 - -142. Let o be (-2)/(-5 + 3) + 4. Suppose 4*q = o*q - c. Does 15 divide q?
True
Let f = 16 - 16. Let j be (f/3 - -2) + -101. Let a = j - -181. Is 36 a factor of a?
False
Suppose 0 = -4*i - 20, -5*s + i + i + 595 = 0. Is 9 a factor of s?
True
Let h(c) = 4*c**2 - 2*c - 2. Let n be h(-1). Is 22 a factor of 176 + (17/4 - 1/n)?
False
Suppose -5*c + 390 = 3*t + 2*t, 2*t = -4*c + 316. Suppose 2*d + h + 33 = c, -4*h - 76 = -3*d. Does 6 divide d?
True
Suppose 2*u - 219 = -43. Suppose -l - 3*t + 3 = -4*l, -4*t = -16. Suppose -u = -l*n - 7. Does 9 divide n?
True
Let v(z) = -41*z - 20*z - 19*z + 8*z. Does 24 divide v(-1)?
True
Let c(p) 