190, 2*y + 2*i - 285 = -y. Does 2 divide y?
False
Let k(i) = -i**2 + 11*i + 6. Let z be k(10). Suppose z*y = 19*y - 486. Suppose 24*d + y = 26*d. Is d a multiple of 27?
True
Let l = -1446 + 7089. Suppose -20*d + l = 7*d. Does 5 divide d?
False
Suppose -f + 1 = -21*m + 20*m, -10 = m - 4*f. Suppose m*z + 910 = 16*z. Does 13 divide z?
True
Let v = 119 + -115. Suppose v*z - 269 = 3*k - 15, 0 = 4*z + k - 262. Is 5 a factor of z?
True
Let i = 48 - -49. Suppose -94*c + i*c - 375 = 0. Is 19 a factor of c?
False
Suppose 8*d = 60 - 20. Suppose d*p = 2*p + 27. Suppose -5*z + 96 = -p. Is 21 a factor of z?
True
Suppose 5*b = 2*f + 175, 2*f = 2*b - 2*f - 70. Suppose -29*t + 36*t = b. Suppose t*r + 21 = 4*u + 393, -3*u + 207 = 3*r. Is r a multiple of 8?
True
Let u(g) = 68*g**3 + 7*g**2 - 24*g + 20. Does 6 divide u(2)?
False
Let v(t) = 2*t**3 - 23*t**2 + 20*t + 16. Let a be v(11). Let o be (3/2)/((-3)/(-78)). Suppose o = 2*d - 5*c, -2*c - 3 = 5*d - a. Is 6 a factor of d?
False
Let k = -47 - -60. Suppose 0 = -3*t + j - 18, -5*j - 7 - 15 = t. Let d = k - t. Is 10 a factor of d?
True
Let s = -3835 - -4176. Is s even?
False
Let t be (-3 + 7 + -522)*-9. Suppose 25*l = 11*l + t. Is 5 a factor of l?
False
Let w be (-54)/(-21) - ((-315)/49 + 6). Suppose v = w*h - 542, -724 = -9*h + 5*h + 2*v. Is 18 a factor of h?
True
Let j = 4455 + -1662. Is 147 a factor of j?
True
Is 55 a factor of (-614767)/(-138) + 4/(-48)*-2?
True
Let n(d) be the third derivative of d**5/60 - 11*d**4/24 + 7*d**3/3 + 15*d**2. Let y be n(9). Let l(f) = -f**3 - f**2 + 5*f + 5. Does 11 divide l(y)?
True
Let s(v) = 11*v + 29. Let m be s(-2). Let h(i) = 9*i + 137. Is 25 a factor of h(m)?
True
Suppose -4*f = h - 19, -3*f + 5*h = -2*f - 10. Suppose -z - f*r + 58 = 0, -7*z + 3*z + r = -169. Does 3 divide z?
False
Let t be ((-25)/35 - -1)/(1/14). Suppose -a + 3 = -s + t, 2*a - 23 = -3*s. Suppose -8*d = -3*d + a*c - 227, 102 = 2*d - 4*c. Is d a multiple of 47?
True
Let v(l) = 15 - 43 + 6 + 36*l. Does 45 divide v(10)?
False
Suppose -3*h = -2*i + 38077 - 11671, 3*i = -h + 39576. Is 9 a factor of i?
True
Let j(n) = -2*n**3 - 5*n**2 + 20*n - 22. Let o be j(-10). Let c = -686 + o. Does 8 divide c?
True
Let k(j) be the third derivative of j**4 - 30*j**3 - 66*j**2. Is k(16) a multiple of 4?
True
Suppose 0 = 4*t - 16, -4*t - 3 - 13 = 4*s. Let x = 190 - 192. Is 7 a factor of x*4/s - -26?
False
Suppose 2310 = 2105*a - 2103*a. Is a a multiple of 32?
False
Let n(u) = -2*u**2 + 48*u - 55. Suppose -4*r + 4*i = -3*r - 22, 3*i = r - 21. Is n(r) a multiple of 33?
False
Let b = -52 + 60. Is 45 a factor of (-609)/(-5) - b/10?
False
Suppose 3*g = 2*g - 10. Let c be -2 - g*1/2. Is c/(8 - 2)*72 a multiple of 12?
True
Let s(z) = -2*z**2 - 4*z + 81. Let x be s(0). Let b = x - 70. Suppose -b*v + 7*v = -448. Is 28 a factor of v?
True
Let w(j) = j**3 - 7*j**2 - 67*j + 70. Does 4 divide w(-6)?
True
Suppose -s + 1 = -2. Let d(p) = -p**3 - 19*p**2 + 16*p - 72. Let y be d(-20). Suppose -s*c + c + 268 = -3*u, 4*u = y. Is 16 a factor of c?
False
Let j(q) = -2*q. Let y be j(0). Suppose -25 = -3*t + 5*b, 5*b + 14 - 4 = y. Suppose t*a - 542 = 78. Does 25 divide a?
False
Let x(a) = -16*a + 9*a - 8*a - 4*a**2 + 7. Let k be x(-8). Let c = -45 - k. Is c a multiple of 7?
True
Suppose 48300 = 5*x - 4*n, 3*x + n + 7256 = 36236. Is x a multiple of 92?
True
Suppose 4*y - 3*q = 32492, -23*q + 27*q = -16. Is 35 a factor of y?
True
Let b(m) = 3*m**3 + 15*m**2 - 14*m - 17. Let x(d) = -8*d**3 - 44*d**2 + 43*d + 50. Let f(z) = -11*b(z) - 4*x(z). Let p be f(9). Let i = -2 - p. Does 2 divide i?
False
Let b be (5/(40/1986))/((-3)/(-4)). Let y = b - 320. Is 11 a factor of y?
True
Let f(l) = -2992*l + 268. Is f(-11) a multiple of 60?
True
Let i be -1 + (30/(-135) - 1267/9). Let y = i + 181. Is 10 a factor of y?
False
Does 17 divide 4 + (2 - 56/16) - 233634/(-4)?
False
Let j be (-5)/(100/(-8)) - 282/5. Let v = -54 - j. Suppose 140 = 4*i + 2*m, -5*i + v*m + 75 = -91. Is 13 a factor of i?
False
Let c(h) = -43*h**3 - 10*h**2 - 273*h - 1338. Does 28 divide c(-5)?
True
Let x be 248/6 - (-18)/27. Let q = x - 37. Suppose -122 + 42 = -q*c. Is 2 a factor of c?
True
Let d(r) = -r + 16. Let i be d(26). Let v = -5 - i. Suppose 5*w - 524 = 3*u - 2*u, -500 = -5*w - v*u. Does 5 divide w?
False
Let y be 2/9 + ((-685)/45 - -1). Is 837/7 + 50/y + 4 a multiple of 17?
False
Let s(x) = 18 - 55*x + 44*x - 28*x. Does 41 divide s(-9)?
True
Let c(h) = h**3 + 16*h**2 + 13*h - 22. Let o be c(-15). Let m be (-4)/o*6 + 0. Does 26 divide (-1 - -3)/(m/(-156))?
True
Let r = 10121 + 4765. Is r a multiple of 7?
False
Let k(x) = x - 1. Let j(b) = -6*b - 24. Let g(s) = j(s) - 15*k(s). Let w be g(-4). Suppose -z - 2*r + w = 0, -5*z - 4*r = 13 - 418. Is z a multiple of 13?
False
Let z = -10 + 16. Let u(w) = 26*w - 38. Let m(l) = -25*l + 39. Let q(h) = -4*m(h) - 3*u(h). Is q(z) a multiple of 9?
True
Suppose -7 = 2*c - 7. Suppose 5*x - 2*m - 252 = c, 4*x + 0*x - 3*m - 203 = 0. Is 3 a factor of x?
False
Suppose 13284 = 152*v - 148*v. Is 27 a factor of v?
True
Suppose -17*l - 8669 = -30*l + 3837. Is l a multiple of 11?
False
Let o = -34 + 41. Suppose 3433 - 1074 = o*n. Suppose -4*t + 191 = -n. Does 11 divide t?
True
Is 2337*(-8 + 23 + -5) a multiple of 205?
True
Let k = 230 + -91. Suppose -k = -l + f, 278 = -7*l + 9*l + 3*f. Is l a multiple of 15?
False
Let r = -1221 - -1309. Let o(u) = 6*u**3. Let t be o(2). Let l = r - t. Is 10 a factor of l?
True
Let p(d) = 6*d + 123. Let u be p(-29). Let a(q) = q**2 + 35*q - 174. Is a(u) a multiple of 13?
False
Suppose l - 292 - 41 = 5*h, -207 = 3*h - 3*l. Let s = 67 + h. Let o = 111 + s. Is 16 a factor of o?
True
Suppose 757*n - 748*n - 42642 = 0. Does 7 divide n?
False
Suppose a + 5795 = 3*o, 7*o - 6*a + 5823 = 10*o. Is o even?
False
Let f = -60 + 66. Suppose f*s - 17 = 7. Is (6/s + -1)*188 a multiple of 12?
False
Let g be -75*((-575)/15 + 2). Suppose 6*n = n + g. Is 17 a factor of n?
False
Suppose 217 = 3*a - 200. Let n(s) = 2*s**3 - 7*s**2 + s + 1. Let p be n(5). Let h = a - p. Does 29 divide h?
True
Suppose 4*k = 25 - 17. Let v(c) = -c**3 + 17*c**2 - 7*c - 2. Let f be v(13). Suppose -2*w + 4 = k, -3*l + f = -5*w. Is l a multiple of 14?
True
Suppose 31*z - 63953 - 19375 = 0. Is z a multiple of 56?
True
Let s(l) = l**3 + 18*l**2 - 19*l + 28. Let f be s(-19). Let r be (-6)/(-14) + 352/f. Suppose 0 = u - 25 + r. Does 9 divide u?
False
Let i(g) = 312*g + 132. Let t be i(10). Suppose -o - 2*o = -5*m + t, 0 = 3*m - 2*o - 1951. Is 21 a factor of m?
True
Let p = -1892 + 4088. Is p a multiple of 85?
False
Suppose -3297830 = 2159*m - 2197*m. Is m a multiple of 14?
False
Suppose -2*c - l = -395, 2*l + 100 + 90 = c. Let n = -116 + c. Does 20 divide n?
True
Is 29 a factor of ((5 + 68/(-12))*52)/((-5)/4020)?
False
Let d(z) = 52 + 2*z**3 + 52 - 108 - 6*z**2. Let w be d(3). Is w/(-8) - 249/(-6) a multiple of 9?
False
Suppose 2*b - 2006 = -p - 3*p, 5*p = -2*b + 2510. Let h = -269 + p. Suppose 5*y - h - 55 = 0. Does 10 divide y?
False
Let d(y) = 2*y**2 + 6*y - 28. Suppose 98 = -4*c + 62. Is 16 a factor of d(c)?
True
Let q(u) = -3*u**3 - u**2 - 2*u + 2. Let g be q(-2). Let k = 28 - g. Suppose -2*m - v = -22, 3*m + k = -5*v + 49. Is 9 a factor of m?
True
Let x = 218 - 98. Let q = -15 + x. Is q a multiple of 5?
True
Let j be ((-7512)/16*-1)/((-3)/(-4)). Suppose 4*g + 494 - j = 0. Is 29 a factor of g?
False
Suppose -5*x = 4*k - 1210 - 5088, 0 = -2*x - 2*k + 2518. Is 16 a factor of x?
False
Suppose -6*y + 62244 = 12*y. Suppose 17*k = y + 469. Is k a multiple of 27?
False
Let r(w) = -78*w - 55. Let t be r(-3). Suppose -11*m + 96 = -t. Does 4 divide m?
False
Let h(u) = 51*u + 2616. Does 18 divide h(32)?
True
Suppose -k + 5 = -1. Let t(z) = -2*z**3 - 6*z**2 + 3*z - k*z + z. Is t(-4) a multiple of 10?
True
Suppose -53 = -12*y + 19. Let t be ((-36)/(-24))/(y/32). Suppose -2*u = -3*j - t - 2, -2*u = 2*j - 20. Is u a multiple of 6?
False
Suppose 662*z - 329*z - 322*z = 16863. Is z a multiple of 17?
False
Let l(q) = -q**3 - 7*q**2 - 8*q - 1. Let a be l(-6). Suppose -1587 - 140 = a*k. Is (k/(-3))/(((-7)/(-3))/7) a multiple of 37?
False
Let b(r) = r**3 + 2*r**2 - 2*r + 1292. Let u be b(0). Suppose 4*n + 4*g - u = 0, 4*n - g = 467 + 825. Is n a multiple of 19?
True
Let m(x) be the third der