Let h be d(7). Let z be 1/2 + 66/h. Is ((-4)/6)/(z/135) a multiple of 18?
True
Suppose -n - 5*j = -587, 0*n - 2*j + 2958 = 5*n. Suppose 6*o - 2*o - n = 0. Does 13 divide o?
False
Let d be (-2)/(-12) - 3*7/126. Suppose 3*r = -0*o + 3*o - 501, d = 4*r + 8. Is o a multiple of 15?
True
Let l(w) = 36*w - 110. Is l(53) a multiple of 95?
False
Let h = -1300 - -2245. Suppose 0 = -5*u - 5*z - 0*z + h, 3*z = 6. Is u a multiple of 28?
False
Let a(m) = -m**3 + 3*m**2 - m + 1. Let g be a(2). Suppose -g*s + 18 = 2*c - 15, -s + 11 = -3*c. Is 3 a factor of s?
False
Suppose 0*a + 17*a - 2754 = 0. Is a a multiple of 27?
True
Let o = -1183 + 1499. Does 12 divide o?
False
Let o(u) = u**3 + 17*u**2 - 7*u - 39. Let m be o(-18). Let j = 335 + m. Is 7 a factor of j?
True
Let u(j) = -j**2 + j + 12. Let s(h) = -h**2 - 2*h. Let v be s(-2). Is 3 a factor of u(v)?
True
Suppose 3*t - 8*t = 3*q, -3*q + 4*t - 27 = 0. Let y be ((2 - q) + 1)*2. Suppose -59 = -5*z + y. Is 5 a factor of z?
True
Suppose 0 = u - i - 2, 1 = 2*u + i - 9. Let y = 22 - 2. Suppose 3*m - u - y = 0. Is 3 a factor of m?
False
Suppose -5*u = 5*j - 3205, j - 827 = 4*u - 191. Is 10 a factor of j?
True
Let p(h) = -22*h**3 + 10*h**2 - 31*h + 9. Is p(-6) a multiple of 52?
False
Suppose -4*m = -3*m + 5*j - 63, 3*m + 3*j - 225 = 0. Suppose 312 = 5*z - m. Is z a multiple of 13?
True
Is 110/11 + 2884 + -4 a multiple of 49?
False
Let z(r) = -r**3 + 9*r**2 + 10*r + 2. Let b be z(10). Suppose 6*y = -b*m + 3*y + 70, 98 = 3*m + y. Is m a multiple of 8?
True
Does 16 divide (-919)/(-3) + -3 - 6/(-9)?
True
Suppose 9*x - 13*x + 160 = 0. Is 5 a factor of x?
True
Suppose -31*j + 30*j - 4*g = -316, -5*j + 1520 = 5*g. Does 12 divide j?
True
Let j be (6*-23 - -3) + -3. Let f = j - -91. Let g = f + 99. Is g a multiple of 17?
False
Let y(n) = -20*n - 21. Let f be y(5). Is 2 + 2 - f - 0 a multiple of 25?
True
Let l = 462 + -232. Suppose 5*g + l = 2*q - 0*q, -4*q + 2*g + 444 = 0. Is q a multiple of 11?
True
Suppose 6*s = s - 225. Suppose 10*i - 6 = 8*i. Is 22 a factor of i + -1 - 1 - s?
False
Suppose -2*r - 6 = -5*r, -3*q + 5*r = -56. Let z = q - 17. Suppose 193 = z*u + 58. Is 9 a factor of u?
True
Let q(n) = -3 - 4*n**3 - 6*n - 4 - 2 + 2*n**3. Is 11 a factor of q(-4)?
True
Let j be -6*(6 + (-9)/3). Let q be -2*(j/4 + 3). Suppose -q*y = -2 + 11, -4*u + y = -51. Is 12 a factor of u?
True
Let r = -543 + 559. Is 6 a factor of r?
False
Let n be (334/(-5))/(12/(-30)). Is n/11 + 34/(-187) a multiple of 5?
True
Let s(x) = -x**3 + 7*x**2 + 11*x + 16. Let g be s(10). Let d = g - -307. Is d a multiple of 19?
True
Let f(p) be the third derivative of p**6/120 + p**5/60 + p**4/12 - 29*p**3/3 + p**2. Let r be f(0). Does 3 divide (-7)/28 - r/8?
False
Let k be 2*-5 + (-4 - -7). Let i(g) = g**2 + 9*g + 1. Let j be i(k). Let w(u) = -u**2 - 17*u - 18. Is 17 a factor of w(j)?
True
Let s be (1 - -210) + (-4)/2. Suppose -n + z + 67 = 0, -4*n - 3*z + s + 52 = 0. Does 20 divide n?
False
Suppose 912 = 16*a - 12*a + 4*p, 0 = -3*a - 2*p + 683. Is 38 a factor of a?
False
Suppose 0 = z + z - 180. Let o = 126 - z. Does 9 divide o?
True
Does 18 divide ((-18)/27)/((-3)/324)?
True
Suppose 4*d - d = 9. Let v be (15/10)/((-3)/(-8)). Suppose -d*h - n + 19 = 0, -v*h = -0*h - 5*n. Does 5 divide h?
True
Let h(i) = -i**2 + 6*i - 8. Let o be h(4). Suppose o = 6*k - 3*k. Suppose 5*g - 196 = -d, -2*g = -k*g - d - 77. Is 12 a factor of g?
False
Suppose -x = -2*l + 308 - 1172, 0 = x - 3*l - 867. Is x a multiple of 11?
True
Let c(a) = a**3 + 29*a**2 - 75*a + 93. Is 81 a factor of c(-29)?
True
Suppose 0*m + 9 = -m. Suppose -26*b + 24*b = -48. Let v = m + b. Does 5 divide v?
True
Let m = 817 + -37. Is m a multiple of 10?
True
Let l = 2317 - 1561. Is 7 a factor of l?
True
Let p(v) be the first derivative of -29*v**2/2 - 5*v + 4. Let y be p(-2). Let a = 100 - y. Does 9 divide a?
False
Let o = 25 - 24. Let c be (-5 - -59) + 4*o. Let q = c + -40. Is 4 a factor of q?
False
Suppose 46 - 378 = 4*j. Let o = 59 + j. Does 14 divide 517/6 - (-4)/o?
False
Suppose -5*l = -117 + 22. Suppose 3*g - 2*g - l = -5*n, -5*n + 31 = 4*g. Is 2 a factor of -5 - -7 - n/(-1)?
False
Suppose -5*h + 2*y + 792 = -4*h, 4*y - 12 = 0. Is h a multiple of 18?
False
Let r(d) = -16*d + 23. Let q(t) = -t + 1. Let n(x) = 4*q(x) - r(x). Is 6 a factor of n(4)?
False
Suppose 0 = 4*z + 8*o - 3*o - 2815, 2*z = 5*o + 1385. Is z a multiple of 28?
True
Let x(y) = 7*y - 83. Does 13 divide x(28)?
False
Suppose -26367 = -33*r + 2772. Is r a multiple of 12?
False
Suppose -4*j = 5*r - r - 96, -93 = -4*r - j. Let d = r + -7. Is d a multiple of 5?
False
Let v(d) = d**3 - 6*d**2 + 5*d + 9. Let h be v(7). Let z = h - 49. Is 22 a factor of z?
True
Let u(t) = -t - 11. Let z be u(-5). Let k be (-3)/z*0 - 207. Let o = 305 + k. Is o a multiple of 14?
True
Suppose 0 = -3*m - 2*m. Suppose j - 2*j - 5*w = 0, m = -w. Does 12 divide (1 - -38) + -3 + j?
True
Suppose 690*w + 15072 = 702*w. Is w a multiple of 26?
False
Suppose -218 = 3*f - 53. Let o = f - -69. Is o a multiple of 7?
True
Suppose -2*z = -3*a + 18 + 45, z = -4*a - 48. Suppose 0 = 4*k - 26 - 38. Let j = k - z. Is 13 a factor of j?
True
Suppose -3*h = -3*f + 459, -2*h = -f + 84 + 68. Is f a multiple of 34?
False
Let j = -140 + 272. Suppose 2*c - c - j = 0. Is c a multiple of 34?
False
Is (-12 - -6)*(0 + -4*11) a multiple of 11?
True
Suppose 0 = 5*z + 25, -o - 5*z + 22 = -74. Is 4 a factor of o?
False
Is 3 - 3*(-1255)/15 a multiple of 7?
False
Is 2 a factor of -6*(-6)/(-12) + 64/2?
False
Let d(v) be the first derivative of 14*v + 1/4*v**4 + 4*v**3 + 15/2*v**2 - 2. Is d(-10) a multiple of 25?
False
Suppose 8*r + 0*r - 336 = 0. Suppose 4*b = 4*m - m - r, 5*m - 5*b - 70 = 0. Is m even?
True
Let h be 0/(0 - (0 - 2)). Suppose -13 + 48 = 5*y. Let z = y + h. Does 7 divide z?
True
Let f(l) = -l**3 + 10*l**2 + l + 4. Let a(g) = 4*g - 5. Let i be a(3). Is f(i) a multiple of 15?
False
Let k be -3 + (-3 - 24) + -1. Let b = -16 - k. Is b a multiple of 5?
True
Let h(q) be the second derivative of 5/6*q**3 + 0 - 3/2*q**2 + 7*q. Is 13 a factor of h(5)?
False
Is 3 + (-1 - -290) - 2/1 a multiple of 29?
True
Let z = 2 + -1. Let w(p) = 64*p. Does 16 divide w(z)?
True
Let f = -16 + 9. Let j = 3 + f. Does 5 divide 426/21 + j/14?
True
Does 39 divide (-17)/((-34)/1302) + 12?
True
Suppose -107800 = 13*n - 90*n. Is 51 a factor of n?
False
Let i(j) = j**3 - 5*j**2 - 7*j + 7. Suppose 5*b - 28 - 2 = 0. Let u be i(b). Is 16 a factor of 4/(20/405) - u?
True
Is 8 a factor of ((-11)/((-99)/(-36)))/((-2)/94)?
False
Suppose l + 525 = 2190. Is l a multiple of 37?
True
Let z be 124/(-10)*(-1 + -4). Suppose 3*s = -n + 77, -4*s + 2*n + 35 + 61 = 0. Let f = s + z. Is 29 a factor of f?
True
Let n(s) = 4044*s**3 - 6*s**2 + 3*s + 2. Does 105 divide n(1)?
False
Let y = 8 + 98. Does 3 divide y?
False
Let z = -1918 + 5047. Is z a multiple of 22?
False
Let h be (3/1)/(8 + -9). Let d(j) = 3*j**3 - 2*j. Let i be d(2). Let a = i + h. Does 6 divide a?
False
Let c = -16 + 22. Suppose -2*x + 4*x = -c. Let b(v) = -v**3 - v**2 + 2*v + 3. Is b(x) a multiple of 15?
True
Suppose 0 = h + 3. Suppose 24 = -2*d - 16. Is ((-2)/h)/(d/(-1710)) a multiple of 16?
False
Suppose 5*v + 74 = 3*l - 9, 4*l - 68 = 4*v. Let x be (-12)/v - 26/(-8). Does 9 divide 1 + ((-120)/(-2))/x?
False
Suppose -i + 25 + 2 = 5*h, 5*i - 75 = -5*h. Let j be i - -3 - (0 + -3). Suppose 2*r - j = 24. Does 7 divide r?
True
Suppose 0 = -4*w + 14 + 2. Suppose y + 34 = -4*f + 142, -y + w = 0. Is f a multiple of 26?
True
Suppose -4*m + 22 + 44 = 2*u, 5*u = 3*m - 43. Let s be 20/(-11) + m/(-88). Let o = 30 + s. Is o a multiple of 14?
True
Suppose -5*z + 9 = -16, 2*j + z = 1363. Does 12 divide j?
False
Suppose -1 = -3*o + 11. Is 8 a factor of ((-4)/o + 2)*8?
True
Suppose -116 = 9*g - 1196. Is 12 a factor of g?
True
Let f be 922/12 + (-8)/(-48). Suppose 5*x - 2*x - 2*a - 242 = 0, x + 3*a = f. Is x a multiple of 11?
False
Suppose 4*h = -3*g - 1058, -4*h + 1 = 9. Is g/20*(-4)/5 a multiple of 3?
False
Suppose -4127 = -2*z + l + 1272, -4*z = 5*l - 10763. Does 59 divide z?
False
Suppose 4*c - 289 - 83 = 0. Suppose t - 168 = q, 0 = t + 3*q - 63 - c. Is 21 a factor of t?
False
Suppose 3*l + 5*x = 0, 0 = -7*l + 4*l + 4*x. Suppose 0 = -5*p + 10 - l. Suppose -2*i = 3*g - 16, p*g - 2*i - 2 = i. 