Suppose -4*o = p*n - 196, -1 + 0 = -n. Is o a multiple of 24?
True
Suppose 4*r = -5*q + 6166, 23*q - 5*r = 24*q - 1250. Is 30 a factor of q?
True
Let z = -31 - -35. Suppose x + z*x = 95. Is x a multiple of 13?
False
Let u be 2/(4/(-3) + 2). Let b(a) = 7 - 15 - a**2 + 14*a - u. Is 11 a factor of b(12)?
False
Suppose 0 = 4*b - 8 - 16. Suppose 3*q + 123 = 5*h + 2*q, 3*q = b. Is 25 a factor of h?
True
Let w be -2 + (-9)/((-36)/16). Is 52 + 1/w*-4 a multiple of 10?
True
Suppose 2*x + 2*x = 4*c, 4*x - 20 = 0. Suppose 10*w - 35 = c*w. Is w even?
False
Let n be (-224)/(-6) - (-3)/(-9). Let h be (-1)/(-2) - (-8 - (-138)/4). Let a = h + n. Does 11 divide a?
True
Suppose -5*h = -3*c - 1271, -3*h - c + 303 = -468. Does 53 divide h?
False
Let g(t) = 6*t**2 + 20*t - 43. Does 26 divide g(3)?
False
Let i(u) = -12*u + 6. Let w be i(4). Let o = 75 + w. Is o a multiple of 2?
False
Let h be 2/6 + (-3)/((-18)/10). Suppose 2*j - 5*l = -l + 370, h*l = -4*j + 790. Is 39 a factor of j?
True
Suppose 0 = -85*j + 23*j + 12772. Does 6 divide j?
False
Suppose 4*a + 18 = -4*j - 18, 2*j - 2 = 2*a. Let r(q) = -24*q - 12. Let w be r(j). Does 3 divide w/4 + 0 + 0?
True
Let d(i) = i**3 - 41*i**2 - i + 55. Is 2 a factor of d(41)?
True
Let a be 36 + -1 + 5 + -4. Does 17 divide a/8 - 4 - 3395/(-10)?
True
Let q(f) = -6*f**2 + 14*f**2 - 5*f**2 + 1. Let v be q(-1). Suppose y + 141 = 4*s + v*y, 5*s = -3*y + 177. Is s a multiple of 19?
False
Suppose -2*q + 221 - 42 = w, 0 = -q - 4*w + 93. Let y(p) = 37*p**2 + 1. Let n be y(2). Let a = n - q. Is 12 a factor of a?
True
Does 50 divide 2*((-3)/2)/((-15)/7475)?
False
Suppose -3659 = -6*c + 2197. Is c a multiple of 61?
True
Let h be -4*(2 + (-15)/6). Suppose 4*a = h*a + 4. Is (a - -57 - 1) + -1 a multiple of 17?
False
Suppose -9*x = -803 - 6478. Does 33 divide x?
False
Suppose -202*v - 6864 = -228*v. Is v a multiple of 11?
True
Does 8 divide (-45)/30 + (-1653)/(-6)?
False
Let s = -948 - -1819. Is s a multiple of 13?
True
Suppose 0 = j - 2 - 0. Let q be -5*(-4)/j + 1. Suppose -z + 3*g + q = -0*g, -3*z + 15 = -3*g. Is z a multiple of 2?
True
Let s be 1*(-2)/6 - 54/81. Let c(f) be the first derivative of 23*f**3/3 - f**2 - f - 2. Is c(s) a multiple of 7?
False
Let u(d) = -12*d + 121. Is 7 a factor of u(6)?
True
Let u(z) = 92*z + 41. Is 13 a factor of u(4)?
False
Let h be (0 - 38) + (-3)/(-1). Let w = 95 + h. Does 5 divide w?
True
Suppose -265 = -3*j - 5*f, 4*j = -3*f + 148 + 220. Let c = j + -46. Is 7 a factor of c?
True
Let r = 1017 + -679. Suppose -5*b + r = -2*m, -205 - 134 = -5*b + m. Is 17 a factor of b?
True
Suppose 16*s - 9259 = 389. Is s a multiple of 18?
False
Suppose 0 = -3*y - 5*s + 6 + 21, -3*y = s - 15. Suppose -159 = -5*g + y*g. Let w = -84 + g. Is 25 a factor of w?
True
Let g(d) = 3*d**2 - 30*d - 10. Is g(11) a multiple of 2?
False
Let n(g) = 2*g**3 - 12*g**2 + 22*g. Does 48 divide n(8)?
True
Suppose 4*k - 3*k = 2. Let s(r) = 0*r**2 - k*r + 2 + 2*r**2 + 4*r**2 - 4*r**2. Does 6 divide s(2)?
True
Suppose 4*j - g = 1013, -2*j + 426 = -3*g - 83. Is j a multiple of 19?
False
Let k = -87 + 340. Suppose k = 7*m - 272. Does 12 divide m?
False
Let w be (6/(-4))/((-15)/10). Let s = -35 - w. Let k = 52 + s. Is 8 a factor of k?
True
Let r(y) = y**2 - 20*y - 46. Let w be r(21). Let s = w - -110. Is s a multiple of 18?
False
Suppose -6 = w + 4*d, d - 18 = -4*w + 6*d. Suppose -2*t = w*t - 32. Suppose 3*b - t*b + 195 = 0. Is 14 a factor of b?
False
Let u = 818 - 517. Is 3 a factor of u?
False
Let r(k) be the second derivative of k**4/2 + 2*k**3/3 - 5*k**2 - 5*k. Does 14 divide r(3)?
True
Let p(f) = f**2 - 10*f + 6. Let y be p(11). Let d = 23 - y. Is (-32)/d*(-27)/4 a multiple of 18?
True
Suppose 22 + 981 = k. Does 50 divide k?
False
Suppose -4*m - 1116 = -2*z, 79 = -2*z + 3*m + 1199. Is 11 a factor of z?
False
Let x = 5 + -44. Let f = 49 + x. Is f a multiple of 9?
False
Let f be ((-10)/6)/(21/(-13482)). Is 23 a factor of f*1/6 + 3/(-9)?
False
Suppose 0 = -3*d - 3*o, -4*d + 9*o + 35 = 6*o. Suppose -132 = -s + d*g, g + g + 614 = 5*s. Is 36 a factor of s?
False
Let t = 363 + 32. Is 7 a factor of t?
False
Let o(d) = d**2 - 17*d + 56. Is 4 a factor of o(20)?
True
Let q(t) = -t**3 - 13*t**2 - 14*t - 10. Let k be q(-12). Let j = -8 + k. Suppose -g = -5 - j. Is g a multiple of 3?
False
Let w = 309 + -216. Let v = 43 - w. Is 20/v + (-274)/(-10) a multiple of 5?
False
Let d(a) be the first derivative of -5*a**2/2 + 6*a + 2. Let q be d(-4). Is 117/7 + q/91 a multiple of 3?
False
Let p = -95 + 101. Let k(n) = 35*n + 31. Is k(p) a multiple of 32?
False
Let l be 0 - 0/(-2 + (1 - -3)). Suppose 2*h + 76 = -5*i + 18, -2*i - h = 23. Is (-2 - l)/(6/i) even?
True
Let o = -20 - -13. Let c be (-12)/o + (-8)/(-28). Suppose -4*p + 4*b = -2*p - 96, c*p - 72 = -4*b. Is 14 a factor of p?
True
Let z(s) = -5*s**3 - 5*s**2 + 10*s. Let c(a) = -6*a**3 - 6*a**2 + 11*a + 1. Let q(x) = 4*c(x) - 5*z(x). Does 15 divide q(4)?
True
Let r be (-4)/(-4)*31/(-1). Suppose -3*s = s + 68. Let x = s - r. Does 13 divide x?
False
Let k be (-2)/10 - 2/(-10). Suppose 0 = -k*n - n. Suppose s - 8 = -n*s. Is s a multiple of 8?
True
Let c(s) = 4*s**3 - 10*s**2 + 10*s - 2. Let w(q) = -7*q**3 + 19*q**2 - 20*q + 5. Let h(v) = -5*c(v) - 3*w(v). Let t = -134 - -141. Is 13 a factor of h(t)?
True
Let v(x) = -139*x + 21. Let p be v(-4). Let z = 922 - p. Is 59 a factor of z?
False
Suppose -110 = -l + 30. Suppose -4*m + l = -40. Is 15 a factor of m?
True
Let l = -69 + 36. Let y = -42 - l. Is 9 a factor of 386/6 + 3/y?
False
Let n(d) = 2*d**3 + 14*d**2 + 22*d + 6. Let s be n(-5). Let m be 0 - 1 - -5 - 0. Let l = m - s. Does 8 divide l?
True
Let s(q) = -q**2 - 8*q + 5. Let v be (-148)/20 - (-3)/(-5). Let i be s(v). Suppose i*o - 71 = -3*f - f, -3*f - 2*o + 48 = 0. Does 7 divide f?
True
Let t(u) = 15*u**2 + 21*u + 14. Is t(-6) a multiple of 13?
False
Suppose z + 363 = 4*z. Does 4 divide z?
False
Let n be (-464)/64 - (-1)/4. Let x(c) = -c**3 - 5*c**2 + 13*c + 7. Does 14 divide x(n)?
True
Let g be 2 - 0 - (-1 - -3). Let h be -1 + (-4 - -5) - -3. Suppose -h*x + g*x = -45. Is 12 a factor of x?
False
Suppose 4*y - 6*q = -3*q + 360, -5*q - 281 = -3*y. Let c = y - -65. Is c a multiple of 19?
True
Suppose -x + 3*x - 226 = 0. Suppose -w + x = 49. Does 16 divide w?
True
Let w = 117 - 51. Does 19 divide w?
False
Let b = -54 - -31. Let q = b - -37. Does 5 divide q?
False
Let o(s) be the first derivative of -s**3/3 + 6*s**2 - 6*s + 9. Let u be o(11). Is -3*(-52)/12*u a multiple of 15?
False
Let b = 18 + 320. Does 13 divide b?
True
Let w be -2 + 64/4 + 1. Suppose 2*o + 4 = -4*b + 6, -3*o - w = 0. Suppose -3*m + 124 = i, b = -3*i - 3. Is m a multiple of 17?
False
Let p(m) = -1 + 3*m - 4*m + 5*m**2 - 17*m**3 - 4*m**2. Let x be p(-1). Let y = -3 + x. Is 5 a factor of y?
True
Let w(h) = -h**2 + 8*h + 4. Let i be w(-7). Let c = -51 - i. Is 10 a factor of c?
True
Suppose 0 = -2*b + 5 + 3. Let q be -3 + (-1 - (2 - 6)). Suppose -4*f + q*f = -3*o - 89, -5*o + 65 = b*f. Is 20 a factor of f?
True
Let o = 5 + 0. Suppose j = 4*y - 381, y = -o*j + 3*y - 1869. Is j/(-7) + 14/(-49) a multiple of 19?
False
Is (-409035)/(-363) - (0 - 6/33) a multiple of 32?
False
Suppose 2*d + 0*k - k - 131 = 0, -3*d = 2*k - 193. Suppose b + d = z, 3*z + b - 191 = 2*b. Is 21 a factor of z?
True
Let m be 1 + (2 + -1)*1. Suppose -2*l - 4*o + 52 = 0, 0*l - 5*o + 47 = m*l. Is (-16)/(-6)*l/2 a multiple of 18?
False
Let w(y) = -y**3 - 15*y**2 - 4*y + 89. Is w(-16) a multiple of 8?
False
Suppose t - 4*d - 126 = 0, 5*t = -0*t - 4*d + 654. Let o = t - 66. Is o a multiple of 16?
True
Let j(o) = o + 1. Let t be j(1). Suppose 4*w = -a + 134, -3*w = -t*w + a - 35. Let x = w - 7. Does 4 divide x?
False
Let q(c) = -3*c**3 - 4*c**2 - 2*c - 7. Let v be q(-7). Suppose -8*s + v = -s. Does 24 divide s?
True
Suppose 0 = n + k - 0*k - 2, 5*n - 22 = -k. Suppose 1911 = -n*i + 12*i. Is 26 a factor of i?
False
Let c = 987 + -699. Does 18 divide c?
True
Suppose 962 + 254 = 4*n. Is n a multiple of 10?
False
Let v be (-5)/(-15)*1*84. Let s = v - -55. Is s a multiple of 31?
False
Suppose 5*f = 3*t + 156, -3*t - 2*t - 150 = -5*f. Let d = -31 + f. Suppose d = 2*l - 24. Is 3 a factor of l?
False
Suppose 63257 = -63*i + 80*i. Is i a multiple of 19?
False
Let g be -4 - (-8 + -4)/3. Suppose 