ultiple of 10?
False
Suppose 277 = -c - 3*d, -7*c - d = -3*c + 1086. Let r = -253 - c. Is r even?
True
Let n(p) = 201*p + 1 + 1 - 15*p. Let s = -390 + 391. Is n(s) a multiple of 35?
False
Let v be 3 + (96/(-10))/(2/10). Let s = -41 - v. Suppose 2*n - 102 = -s*x, -x - n = -5*n - 48. Does 4 divide x?
True
Let q be ((-39)/5)/((-2)/30*3). Let o(s) = 22 - 22 + q + 5*s. Is 9 a factor of o(12)?
True
Let n(x) = x**3 + 8*x**2 - x - 20. Let b be n(-5). Let p = -308 + 1016. Suppose 58*t + p = b*t. Is 59 a factor of t?
True
Let l = 772 - 515. Let h be 4/(8/6) + l. Suppose 3*a = 4*v - 243, -6*a = 5*v - a - h. Is v a multiple of 40?
False
Suppose -42*j - 517024 = -256*j. Is 62 a factor of j?
False
Let s be -9*6/(36/(-10)). Let x be (6/((-36)/s))/(2/(-4)). Suppose -14*m + 549 = -x*m. Is m a multiple of 6?
False
Suppose -4*v - 5*z + 229230 = 0, 2*v + 4*z - 40738 = 73886. Is 15 a factor of v?
True
Suppose 5*x + 5*p + 2 = -58, -8 = 4*x - 4*p. Let i be x/(-28)*(-16)/(-2). Suppose -23 = -i*s + s. Is s a multiple of 19?
False
Is (3 - -1)*24983/28 - (0 - 1) a multiple of 17?
True
Let i(g) = g**3 + 21*g**2 - 25*g + 10. Let p be i(-11). Let y = p + -918. Does 14 divide y?
False
Let k = 139 + -138. Does 50 divide (-1*3/k)/(-1) - -107?
False
Let t(c) = -3*c**3 - 2*c**2 - 3*c. Let b be t(-1). Suppose -b*y = -4, -q + 59 = -5*y - 56. Does 12 divide q?
True
Let a(y) = y**2 - 1. Let r = -49 + 45. Let l be a(r). Suppose -1 = -q + 4*m - 7, 0 = 3*m - l. Is 14 a factor of q?
True
Suppose 182077 = 19*g + 12287 - 6131. Does 104 divide g?
False
Suppose 0 = p + 29 - 33. Suppose 13 = p*n + 9. Does 31 divide 4 + (-3 - n - -186)?
True
Let w(h) = -h**2 + 39*h - 243. Let x be w(8). Let y(j) = 13*j + 19. Does 29 divide y(x)?
False
Let l be 6/(-4)*4/(-2). Suppose 0*x + 28*x = -16*x. Suppose l*u - 220 = -5*y, u + x*y - 77 = 2*y. Is 15 a factor of u?
True
Let w(u) = -39*u**3 + 17*u + 29. Suppose -17 + 21 = -2*d. Does 29 divide w(d)?
False
Suppose -18900 = 26*x - 68*x. Is 90 a factor of x?
True
Let t = 6 - 4. Suppose 2415*j - 2414*j - 3 = 0. Suppose 3*w = -j*c + 513, -t*c + 196 + 665 = 5*w. Does 12 divide w?
False
Let y = -20173 + 28303. Is y a multiple of 30?
True
Suppose 4*v + 5*o = -15, -2*v + 3*o + 9 = 2*v. Let r(w) = -3*w + 3. Let g be r(v). Does 17 divide 4/(-4) - (-321)/g?
False
Is 9 a factor of (-109593)/(-21) + (-333)/(-259)?
True
Let u(l) = 237*l + 8321. Does 29 divide u(-30)?
False
Suppose -16844 = -d + 3*r, 103*d + 3*r - 84184 = 98*d. Does 194 divide d?
False
Let m(a) = a**3 + 16*a**2 - 2*a + 34. Let h be m(-14). Let v = h - -284. Is 18 a factor of v?
True
Suppose 3*i - 5*j - 8 = 0, -5*i + 4*i + 8 = j. Suppose i*f - 138 = -42. Suppose f*m = 1156 + 1340. Is 12 a factor of m?
True
Suppose 4*j - 4*k - 23800 = 0, -5*j + 0*k + 29762 = k. Is 12 a factor of j?
True
Let l(n) = -n**3 + 6*n**2 - 5*n + 4. Let t be l(5). Let p be 2*10*(-5)/(-25). Is 79 - (2/p)/((-2)/t) a multiple of 20?
True
Let b be (0 - (3 - 8)) + -5. Suppose 14 = x - 16. Does 5 divide 1 + b + (x - -6)?
False
Let p(d) = -d**2 - 10*d + 39. Let b be p(-13). Suppose b = -x + 7 + 17. Is 4 a factor of x?
True
Is 3 a factor of 12245 + 407/(-37) - -5*(2 + -1)?
False
Suppose 7*f = -5*a + 2*f - 90, 0 = -5*a + 4*f - 99. Is (-68)/(-646) - 7389/a a multiple of 6?
False
Let n = 75 + -49. Let k be (-13)/(n/(-12))*1/3. Suppose 2*f - k*a = -2*f + 114, 0 = -3*f + 2*a + 83. Does 5 divide f?
False
Let d(l) = -l**3 + 23*l**2 + 51*l - 193. Does 11 divide d(21)?
True
Let z(p) = -38*p + 9448. Does 4 divide z(-7)?
False
Suppose m = -4*p + 3*m + 544, m = 4. Let h(b) = 13*b + 7. Let d be h(2). Let q = p - d. Is 15 a factor of q?
True
Suppose 0 = 137*z + 194*z - 4674713. Is 29 a factor of z?
True
Suppose 0*f = 2*f + 24. Let j(h) be the third derivative of h**5/60 + h**4/2 + h**3 + 77*h**2. Does 6 divide j(f)?
True
Suppose -78 + 8 = -10*o. Let h(c) = -c**3 + 6*c**2 + 8*c - 5. Let k be h(o). Is k/(-10) + (-360)/(-50) a multiple of 5?
False
Let f(m) be the second derivative of -3*m**5/20 - 5*m**4/4 + 2*m**3 + 5*m**2/2 - 7*m + 6. Is 7 a factor of f(-7)?
False
Suppose 3*z - 6*b = 4002, 1992 = 2*z + 3*b - 662. Is z a multiple of 7?
True
Suppose 18*t + 1496 = 26*t. Let z = t + -162. Is 12 a factor of z?
False
Let t(n) be the first derivative of n**4/4 - 16*n**3/3 - 37*n**2/2 + 41*n + 34. Is 12 a factor of t(18)?
False
Let f(j) = j**2 + 4*j - 5. Let g be f(-7). Let l = 20 - g. Suppose 4*i - 69 = 3*o, 5*i + 3*o = l*o + 89. Is i a multiple of 6?
True
Let z = 123 + -112. Suppose -z*l - 816 = -13*l. Does 24 divide l?
True
Let v = -59669 + 98392. Does 57 divide v?
False
Is ((-128)/(-112) + 4)*(897 - 1) a multiple of 12?
True
Let r(p) = p**3 - 13*p**2 + 7*p + 2. Let g be r(5). Let k(j) = -12*j**2 - 2*j + 1. Let a be k(2). Let y = a - g. Is y a multiple of 20?
False
Let k(f) = 2*f**3 + 33*f**2 + 15*f - 36. Let r be k(-16). Let o be ((-18)/45)/(1/r*2). Suppose -d + 5*l = -75, -d + o*l + 348 = 3*d. Is d a multiple of 6?
True
Let i(d) = -23*d - 41. Let r = -77 + 72. Is 10 a factor of i(r)?
False
Let x = -523 - -552. Suppose -x*v + 6*v = -16031. Does 6 divide v?
False
Let h = -398 - -1075. Is 3 a factor of h?
False
Suppose 0 = -5*f + 3*a + 2*a + 25, 5*f + 2 = -4*a. Suppose 5*l - w - 4*w + 20 = 0, 4*l + 16 = f*w. Does 4 divide 21 + (6/4)/((-2)/l)?
True
Suppose 3*m + 4*u + 40 = 0, -m + u = 2*u + 13. Let v(z) = -13*z - 53. Is v(m) a multiple of 3?
False
Does 339 divide 16114*((-110)/20)/(-11) - 0?
False
Suppose -o + 240 = -4*x - 235, -5*x + 457 = o. Let a = o + -203. Does 8 divide a?
True
Let g = -22 - -36. Suppose 0 = r - g + 9. Suppose 5*z = 2*o + 641, 205 = 5*z - r*o - 445. Is z a multiple of 7?
False
Is ((-204309)/(-235))/(4 + 117/(-30)) a multiple of 18?
True
Suppose 4*t - 4*i - 28 = 0, 4*i - 26 - 2 = -3*t. Let f be (t/(-10))/(-2) + (-2112)/55. Let x = f - -44. Does 3 divide x?
True
Suppose -n = -5, 2*s = -n + 25 + 10. Suppose 1674 = -s*z + 24*z. Does 31 divide z?
True
Let k(t) = -2*t + 27. Let j(n) = -n**3 - 5*n**2 - 6*n + 3. Let c be j(-4). Let m be k(c). Suppose 4*z - 136 = -i - 0, -i = m*z - 170. Does 29 divide z?
False
Suppose 5*l - 15679 = -2*g, l - 12012 = -g - 4180. Suppose g = 12*t - 3837. Is t a multiple of 12?
True
Is 17 a factor of (8/(-6))/(53287639/(-1184169) + 45)?
False
Suppose -33*x - 18 = -36*x, -3*n + 9618 = 4*x. Is 108 a factor of n?
False
Let o(k) = 2*k. Let y(h) = 24*h + 32. Let r(t) = -2*o(t) + y(t). Is r(2) a multiple of 36?
True
Let x(m) = 2*m + 4*m - 4*m + 2*m - 56. Let k be x(18). Suppose -1378 = -k*b + 3*b. Is b a multiple of 40?
False
Let p be (-1)/((8/10)/4). Let i(m) = 2*m**2 + 17*m - 4. Let g be i(-9). Let o = g - p. Is o a multiple of 5?
True
Let h be -12*7*(24/18 + 3). Let o = h - -753. Is 22 a factor of o?
False
Let x be 2/(-16) - 11/(-88). Suppose -5*r - 8*c + 6*c + 520 = x, 4*c - 86 = -r. Is r a multiple of 53?
True
Suppose -28*f - 3720 = -13*f. Let d = -206 - f. Does 24 divide d?
False
Let b = -298 + 175. Suppose -4*z = -4*o - 752, o - 3*z + 124 = -64. Let r = b - o. Is 24 a factor of r?
False
Suppose k = 16 + 1. Suppose 26*w + 47*w = -24*w - 873. Is 22/((-3)/k*6/w) a multiple of 13?
False
Suppose 0 = 3*r + 4*a - 4119, -4*r + 54*a - 51*a + 5467 = 0. Is 37 a factor of r?
True
Let s be (-28466465)/(-1805) - (-4)/38. Does 24 divide (-19)/57 - s/(-9)?
True
Suppose 7*t - 240 = 26. Does 10 divide t?
False
Let p(l) = l**2 - 5*l - 26. Let q(y) = y**2 + y. Let x(i) = -p(i) - 5*q(i). Let n(d) = 1. Let k(c) = 12*n(c) - x(c). Is k(5) a multiple of 10?
False
Suppose -3*u - 4 = -m - 1, 0 = -4*m + u + 1. Suppose 6*q - 25 + 1 = m. Suppose -159 = -q*r - 5*p, -4*p + 11 - 35 = -r. Is 12 a factor of r?
True
Suppose 9*w - 21088 = -4*v - 5501, 3*v + 2*w - 11676 = 0. Does 10 divide v?
True
Suppose -2*a - 3*w + 15 = -107, -a - 3*w + 58 = 0. Let o = a - -83. Is 11 a factor of o?
False
Suppose -6*x + 50 = -106. Let w = -21 + x. Suppose 17 = -0*v + v - t, -1 = -v + w*t. Is 6 a factor of v?
False
Let n be (-799)/((-24)/30 - (-21)/45). Suppose -7*g = -4*g - n. Suppose 0 = 16*i - g - 1393. Is 13 a factor of i?
False
Let n(w) = -2*w**2 + 13*w - 19. Let i be n(7). Let l = i - -76. Suppose 3*p - l = 13. Is p a multiple of 4?
False
Suppose -v + 1 = -2. Let i(f) = -29*f**3 + 10*f**v + 0*f + 11*f**3 - 2*f + 1 - 3*f**2. Is i(-2) a multiple of 19?
True
Suppose 