 t = 66 + i. Does 2 divide t?
False
Let s be (2/3)/((-8)/168). Let y be s/63 + 58/18. Suppose 132 = 5*f - y*t, t - 46 - 70 = -5*f. Is 10 a factor of f?
False
Suppose -3*t - 1 = 2*b + 2*t, 2*b = -t + 3. Let a = 5 - b. Suppose 4*u = 4*z + 12, -a*z = 2*u + z - 12. Is 4 a factor of u?
True
Let y = -28 + 31. Suppose -15 = -l - 2*q + 13, -y*l + 5*q = -139. Is l a multiple of 19?
True
Suppose 17*l - 15 = 12*l. Suppose -q = -l*q. Suppose q - 1 = -w - z, 6 = -3*z. Is 3 a factor of w?
True
Suppose 0 = 2*c + 6, 2*c = 3*v - 4*v + 2. Suppose -v = -14*r + 10*r. Suppose r*u + 22 = x + 5*u, 0 = x + 4*u - 18. Is x a multiple of 10?
False
Suppose 0*m - 2*m = -3*t - 18, 5*m + 2*t - 45 = 0. Suppose -7*v = -m*v + 140. Suppose 3*s - v = -4. Is s a multiple of 7?
False
Let y(a) = 15*a**3 + 18*a**2 + 21*a - 22. Let c(v) = -7*v**3 - 9*v**2 - 10*v + 11. Suppose 5 + 1 = -g. Let l(s) = g*y(s) - 13*c(s). Is 13 a factor of l(-5)?
False
Let s(r) = 2*r**3 + 3*r**2 + 2*r + 2. Let y be s(-2). Let f = 53 - -38. Is -3 - y - (-1 - f) a multiple of 25?
False
Is 3 a factor of 87/(-116)*32/(-3)?
False
Let l(r) = 167*r**2 - 7*r + 8. Let o = -110 + 111. Does 28 divide l(o)?
True
Let l = 82 + 184. Suppose -15*c + l = 4*c. Is 2 a factor of c?
True
Suppose -2*k = -2*a - 0*k + 144, 146 = 2*a - 4*k. Does 13 divide a?
False
Let b(f) = -3*f**2 - 3*f + 1275. Does 23 divide b(0)?
False
Suppose 0 = 30*w - 98*w + 187816. Is 67 a factor of w?
False
Suppose 0 = -5*w + 101 + 79. Let g be (w/(-54))/(1/(-198)). Let k = g + -45. Does 20 divide k?
False
Suppose 0 = -2*i - 2, 5*i + 7 = -l + 308. Is l a multiple of 18?
True
Let y(h) = 16 + 2 - h**2 - 14*h - 3*h**2 + 6*h**2. Does 39 divide y(10)?
True
Let l be 1/2 + 215/(-10). Let r = 12 + l. Let y = r - -35. Is y a multiple of 12?
False
Let d(g) = -17*g - 2. Let o(n) be the third derivative of -3*n**4/8 - n**3/6 + 5*n**2. Let q(r) = 2*d(r) - 5*o(r). Is 3 a factor of q(1)?
True
Let x = -1 - -1. Is 7 a factor of -7*(1 - (x + 3))?
True
Let x(t) = 11*t + 1. Let y be x(-5). Let i = 108 + y. Does 18 divide i?
True
Let u = -26 + 34. Suppose -3*i - u = -62. Is 6 a factor of i?
True
Does 14 divide ((-9)/(-6) - (-202170)/180)*3?
True
Let b = 25 - -73. Let x = 49 - 45. Suppose -x*r + 241 = -0*r - h, 4*h - b = -2*r. Is 14 a factor of r?
False
Let f = -19 - -22. Suppose -5*b + 0*b + 430 = 0. Suppose -y - 2*y + 48 = -3*m, 0 = -5*y + f*m + b. Is 11 a factor of y?
False
Is (-10)/(-15) + 6730/30 a multiple of 25?
True
Suppose -5*t = -6*g + 4*g + 975, 4*t = -4*g + 1880. Is 65 a factor of g?
False
Let y = -10 - -15. Suppose 0 = -3*l + y*r - 9 - 31, 4*l + 4*r = -64. Let q = 36 + l. Is q a multiple of 7?
True
Suppose -4*t - 87 = 5*g - 3207, 0 = -4*t. Does 12 divide g?
True
Let k(d) be the third derivative of d**5/30 + d**4/24 + 5*d**3/6 + 10*d**2. Let b(q) = -q**2 - 3. Let c(o) = 5*b(o) + 3*k(o). Is c(-11) a multiple of 11?
True
Let j(n) = 7*n**3 - n - 3. Let f be j(4). Let a = f - 279. Does 18 divide a?
True
Let p = -13 + 12. Let k be 0 - ((-3 - p) + 5). Does 16 divide k/(6/(-8))*4?
True
Suppose 4*i = -2*q + 1910, -11*q = -4*i - 15*q + 1904. Is 2 a factor of i?
False
Suppose -5*d = 20 + 5, -2*r = -d - 7. Does 13 divide (-4)/r - (-102)/6?
True
Suppose -10*i - 172 = -5*c - 8*i, i - 4 = 0. Is c a multiple of 3?
True
Let z(i) = -i + 16. Let u be z(13). Suppose 3*r + r - 136 = -3*n, -u*r = -3*n + 150. Suppose g = -g + n. Does 16 divide g?
False
Suppose -2*a - a - 25 = -5*i, 3*a + 29 = 4*i. Let x be 3*a/18*-2. Is x + 3 + 1 - 4 a multiple of 2?
False
Let i(y) = -7*y**2 - 5*y - 22. Let r be i(7). Is 8 a factor of (24/(-10))/(60/r)?
True
Let k = -1451 - -2276. Is k a multiple of 6?
False
Suppose -5*x + 2 = 5*a - 43, x = -5*a + 33. Is 18 a factor of -3 + (-663)/(-6) + 3/a?
True
Suppose -19*b - 9*b + 14112 = 0. Does 36 divide b?
True
Let b(g) = -2*g - 3. Let j be b(-5). Let i(f) = f**3 - 7*f**2 - f + 1. Let s be i(j). Let v = s + 49. Is v a multiple of 26?
False
Let d(u) = -u**2 - 3*u + 2. Let c be d(-3). Suppose -2*n + 34 = c*z, -2*z + 0*z + 44 = 4*n. Suppose -5*o - 203 = -2*v, -o = 3*o + z. Does 19 divide v?
False
Let y be (5/(50/(-6)))/((-3)/30). Does 14 divide (-7)/(147/y) - 394/(-7)?
True
Let z = -1007 + 1254. Is 5 a factor of z?
False
Let p(i) = 16*i**3 - i**2 + 3*i - 1. Let k be p(1). Suppose 4*r = 5*f - 391, r = f + k - 96. Is 8 a factor of f?
False
Suppose -i + 3 - 18 = 0. Suppose -62 = -5*x + 83. Let f = i + x. Is 14 a factor of f?
True
Let n(z) = z**3 - z**2 + 2. Let v be n(2). Suppose -2*f + 0 = v. Does 11 divide f + (2 - 11)*-3?
False
Is (54774/(-81))/(-17) - (-4)/18 a multiple of 5?
True
Suppose -2*y + j = -263, j - 387 = 2*y - 5*y. Is 10 a factor of y?
True
Let p(w) = -2*w**3 + 3*w**2 - 8*w - 6. Does 19 divide p(-9)?
True
Let w(q) = 2*q**2 + 10*q + 16. Let y be w(-7). Let z = 70 - y. Suppose -4*r + z = -46. Is r a multiple of 6?
True
Let z(t) be the second derivative of t**3/2 + 13*t**2/2 + 6*t. Let u(b) = -b**2 + 9*b + 3. Let v be u(8). Is 17 a factor of z(v)?
False
Let x be ((-56)/(-20))/((-6)/(-15)). Is (-373)/(-2) - x/(-14) - 0 a multiple of 29?
False
Let n = -58 + 124. Suppose -n = -0*c - 3*c. Is 22 a factor of c?
True
Suppose 4*p + 1392 = 7356. Does 21 divide p?
True
Let w(g) = -g. Let i be w(-6). Suppose -o = -i*o. Suppose o*y + 3*y - 78 = 0. Is y a multiple of 13?
True
Does 18 divide 3*50/(-30) + (-315)/(-1)?
False
Suppose -5*k - 2 + 82 = 0. Suppose -4*t = -0*t + 28. Let r = t + k. Is r a multiple of 3?
True
Let q(v) = v**3 + 11*v**2 - v - 14. Let d be q(-11). Let s be ((-2)/(-3))/(d/(-207)). Let k = s + 19. Is 19 a factor of k?
False
Let s be 11184/10 + (42/15)/(-7). Is 26 a factor of s/12 + -3 + 34/12?
False
Let m be (139 + (-1 - -2))*(-115)/92. Is 9 a factor of (-6)/(-21) - 5/(m/1670)?
False
Let a(v) = -7*v + 22*v + 4*v**3 - 3*v**3 - 2*v**3 - 18 + 7*v**2. Does 16 divide a(5)?
False
Let c(r) = 7*r**2 - 3*r - 6. Suppose -5*l - 37 + 13 = -3*d, 2*d + 6 = -4*l. Does 11 divide c(l)?
True
Suppose -1266 = -4*q - 5*n, -n + 317 = -0*q + q. Is q a multiple of 11?
True
Let m be ((-5)/4)/(5/(-20)). Suppose -5*a + f + 4*f + 130 = 0, -f = m. Does 7 divide a?
True
Suppose 0 = 12*x - 17957 - 17827. Is 42 a factor of x?
True
Suppose 0 = 10*z - 6*z - 16. Suppose 0 = -2*l + z*l + 3*x - 102, -3*l + 4*x + 136 = 0. Does 16 divide l?
True
Let k = 42 + 126. Is k a multiple of 23?
False
Suppose 5*c - i - 335 = -2*i, 4*i = 5*c - 360. Let y = 124 + c. Suppose -4*q - y = -6*q. Is q a multiple of 28?
False
Does 4 divide -10 + 0 - -7 - -93?
False
Let k(x) = 2*x**2 + 2*x - 6. Suppose 5*q = -m, -3*q = -m - 5*q + 9. Let a = 18 - m. Is k(a) a multiple of 8?
False
Let u(d) = -d**3 - 9*d**2 - 13*d + 55. Does 23 divide u(-9)?
False
Let y(r) = -r**3 - 6*r**2 + 10*r + 2. Let t be y(-7). Suppose -5*h - 204 + 4 = -5*p, h + 24 = -3*p. Let u = t - h. Does 17 divide u?
True
Suppose -20 = -12*y + 8*y. Does 42 divide -4 - y/((-10)/262)?
False
Suppose -j = 4*n - 0*n - 17, 5*j = -4*n + 149. Let h = j - 28. Is 4 a factor of h?
False
Let i(q) = 3*q - 67. Let w be i(24). Let g(p) = 2*p**3 - 5*p**2 + 4*p - 4. Is g(w) a multiple of 17?
False
Let f(c) be the first derivative of -c**4/4 - c**3/3 + c**2/2 + 3*c - 11. Let a be f(0). Suppose -2*v - 29 = -a*v. Is 12 a factor of v?
False
Let d = 538 - 113. Suppose 0 = 5*q + 25 - d. Is 20 a factor of q?
True
Let q(i) = -i**2 + 4*i + 4. Let r be q(4). Suppose -3 + 7 = -r*n, 33 = -j + 2*n. Let l = j + 59. Does 8 divide l?
True
Suppose 0 = 32*s - 31*s - 255. Suppose s = 4*p - 177. Suppose -4*v = -p - 96. Does 17 divide v?
True
Let w = -13 + 108. Let t = -89 + w. Does 4 divide t?
False
Suppose 0 = -3*r + 4*s + 13, 3 = 3*r - 2*s - 8. Suppose r*v - 6*x - 410 = -2*x, 255 = 2*v + x. Suppose 0 = 6*z - 20 - v. Does 25 divide z?
True
Suppose 3*i = -959 + 4271. Is 16 a factor of i?
True
Let a = -506 - -604. Is a a multiple of 26?
False
Is (-10)/10*(-369 - (0 - 0)) a multiple of 13?
False
Let b = -448 + 1536. Suppose -5*g + 9*f = 6*f - 1828, 3*g = 4*f + b. Is g a multiple of 54?
False
Let d = -35 - -38. Suppose -3*b - d*b = -192. Suppose -q = -117 + b. Does 32 divide q?
False
Suppose -5*b = q - 77, 4*q - 3*q = 4*b - 67. Suppose 2*p + 2*i = b, -3 = 5*i + 17. Is 11 a factor of p?
False
Suppose -3*g + 157 = 1. Does 11 divide ((-106)/8)/((-13)/g)?
False
Suppose 4*c + 2 + 2 = 0. Let