m be o(6). Suppose 10*n - 10 = m*n. Suppose 2*z - 20 = -n*q, -41 - 30 = -5*z - 2*q. Is 6 a factor of z?
False
Let u = 1423 - 605. Let s = u + -83. Is s a multiple of 19?
False
Let l(n) be the first derivative of 15*n**2/2 - 13*n - 13. Let y be -2 - (3 + -3 - 4). Is l(y) a multiple of 6?
False
Let o = 12617 + -3180. Is 56 a factor of o?
False
Suppose j - 5*z + 12 = -4*z, 6 = -j - z. Let d = j + 12. Suppose 2*g = -2*g - 4, 4*g = -d*n + 131. Is 5 a factor of n?
True
Let u = -27 - -19. Let y be (-9)/6*u/(-12). Is 12 a factor of ((-259)/28)/(y/4)?
False
Suppose 5*j = 5*p + 350, -2*p - 12 = -j + 55. Suppose 70*n = j*n - 6. Is n even?
True
Let q(g) = -g**3 - 69*g**2 - 77*g + 960. Does 173 divide q(-68)?
False
Suppose -5*a + 4257 = -3*z, -2*a = -6*z + 11*z - 1678. Suppose -y = -5, -o - 3*y - y = -a. Is o a multiple of 11?
False
Suppose -661*i = -667*i + 24330. Is 29 a factor of ((-45)/(-6))/(7 - i/580)?
True
Suppose 0 = 9*g - 3*g - 12. Suppose 3*r - 4*b - 60 = b, -40 = -g*r + 5*b. Suppose -4*s + r = 0, -2*s = -7*c + 2*c + 365. Does 21 divide c?
False
Let d(h) = -8*h + 173. Let l be d(34). Let w = 294 + l. Does 15 divide w?
True
Suppose 20 = -5*j, -3*h = 5*j + 5 - 3. Suppose 0 = -3*i - h*i + 216. Does 8 divide i?
True
Is ((-29670)/(-207))/((-8)/(-36)) a multiple of 139?
False
Let w be 40/32 - (-5)/(-4). Suppose 3*m - 467 - 3427 = w. Is 11 a factor of m?
True
Suppose -5*c - 6*c + 12650 = 0. Let f = -729 + c. Let d = f + -286. Is d a multiple of 15?
True
Let s = 4188 + -2620. Suppose -15*i = -i - s. Is i a multiple of 14?
True
Let g = 334 + -336. Does 10 divide ((-36)/(-8))/(g + 1)*-10?
False
Let k = 201 + 57. Let m = 3 - -1. Suppose -3*f + 408 = -m*i, 0 = -4*f + 6*f + 2*i - k. Is f a multiple of 11?
True
Let y(g) be the second derivative of 0 - g**2 + 7/12*g**4 + g - 1/3*g**3. Is y(-1) a multiple of 4?
False
Let d(l) = 5*l**2 - 31*l - 396. Is d(-33) a multiple of 33?
True
Suppose 279*m = 356*m - 626857. Is m a multiple of 12?
False
Suppose -3*u + 3*r = -3, -5*r = 2*u + 2*u - 40. Let x be (-42)/30 - (-2)/u. Is 143/3 + (2/(-6))/x a multiple of 6?
True
Suppose 0 = -3*g - 8*g - 11. Is 15 a factor of 892/4 + 7 + g?
False
Let o = 43 - 23. Suppose 2 - o = -g. Is (13 - 1)/(9/g) a multiple of 8?
True
Let q be (-1)/(4*(-1)/(-604)). Suppose -7*h + 2*h - 184 = 3*o, -4*h = -5*o - 319. Let k = o - q. Does 11 divide k?
True
Let c(i) = -368*i + 3. Let s be c(-1). Suppose -4*r = h - 2555, -2204 = -4*r + 3*h + s. Is 10 a factor of r?
True
Suppose -3*x + 5*d + 663 + 1569 = 0, -2*d = -x + 744. Suppose 4*z + 8 = 6*z. Suppose -10*f = -z*f - x. Does 8 divide f?
False
Let o = 12498 - 2620. Is o a multiple of 30?
False
Let z(n) = 4470*n + 120. Does 76 divide z(3)?
False
Suppose 27*q - 93936 = 9*q + 6*q. Does 38 divide q?
True
Let i = 524 - 522. Is (-22281)/(-21) - (-3 - (i - 2)) a multiple of 8?
True
Let p(m) = 49*m + 104. Is p(4) a multiple of 4?
True
Suppose 21*g + 514 = 23*g - m, -g - m + 251 = 0. Does 60 divide ((-1348)/(-3))/(170/g)?
False
Let z = 29 + -29. Suppose 2*u + z + 40 = 3*a, -u = -4*a + 55. Suppose -28 - a = -2*x. Does 18 divide x?
False
Let a(h) = -h - 3. Let y be a(-14). Suppose -5*l + 9 = -y. Suppose -69 = -l*p + 219. Does 6 divide p?
True
Let p(n) = 21*n**2 + 156*n - 24. Does 9 divide p(-11)?
True
Let z = -57007 - -83059. Is 39 a factor of z?
True
Let n(w) = -298*w - 2490. Let c be n(-9). Let j be (-3)/(((-18)/20)/3). Suppose 8*b - j*b = -c. Is 9 a factor of b?
False
Suppose 4*z = 3*o + 1772, 8*o - 4*o - 3*z = -2365. Does 6 divide (-9)/(2/(o/(-580)) - 2)?
True
Let d be 7*(8 + -7) - (-18 + 2). Let u = -1 - -1. Suppose g = -j + d, 2*g - 2*j + u*j - 54 = 0. Does 12 divide g?
False
Suppose -8 + 7 = -l. Let f be (0/(-4) + l)/((-4)/(-24)). Suppose -f*w = 7*w - 1937. Does 24 divide w?
False
Let o be -2994 - (-13 + 5 + 4). Let x = -1367 - o. Is 10 a factor of x?
False
Let m = 87 + -85. Let b(j) = 12*j**2 - 3*j + 6. Is 5 a factor of b(m)?
False
Let n(d) = -28*d**2 + 13*d + 44. Let l be n(-3). Let j = 133 - l. Is 8 a factor of j?
False
Suppose -386*r = -457*r + 710000. Does 4 divide r?
True
Suppose -796826 - 843006 = -84*p + 728968. Is 20 a factor of p?
True
Let o = 977 + 51. Let s = o + -692. Is 12/(-30) + s/15 + -1 a multiple of 7?
True
Suppose 5*r + 23466 = 2*h, 22*h - 4*r + 58764 = 27*h. Does 11 divide h?
True
Let l(p) = 41*p - 35. Let c be l(6). Suppose -i = -2*w + c, i + 106 = -3*w + 4*w. Is w a multiple of 12?
False
Suppose 12 = -26*x + 29*x. Suppose 968 = 4*b + 2*l, -3*b + 728 = x*l - 2*l. Does 8 divide b?
True
Let x(a) be the third derivative of 29*a**4/24 - 3*a**3/2 - 2*a**2. Let d = 384 + -378. Is 15 a factor of x(d)?
True
Let d(s) = -2*s**2 + 22*s - 41. Let r be d(6). Let n(f) = -3*f**3 + 58*f**2 + 23*f + 31. Is n(r) a multiple of 40?
False
Let w(i) = i**2 + 2*i - 26. Let l be w(7). Let a = l + -37. Suppose 2*f - 3*f + 8 = a. Is f a multiple of 4?
True
Let g = 12 + -3. Let r be ((-12)/g)/((-6)/(-9)). Let z = r - -26. Is z a multiple of 7?
False
Does 54 divide (-18)/(-4)*168674/123?
False
Suppose 15*t - 620 = 5*t. Let m = 111 - t. Does 3 divide m?
False
Suppose 3*l - h = 2*l, -2*l = -5*h + 9. Suppose 0 = -3*q + 9 - l. Suppose 0 = -f - q*f + 549. Is f a multiple of 17?
False
Let f(m) = -2*m**3 + 13*m**2 - 11*m + 7. Let v be f(6). Let q(s) = -3*s**2 - 74*s - 31. Is 4 a factor of q(v)?
True
Let a = 1710 - 596. Suppose -6639 = -25*x - a. Is x a multiple of 20?
False
Let m be (6 + -8)/(3/366). Let s = 137 + m. Let p = -74 - s. Is 11 a factor of p?
True
Suppose 66838 = 82*y - 196792. Is 18 a factor of y?
False
Let j = 20 - 26. Let f be 1/j + 3419/(-78). Does 8 divide ((-72)/33 + (-8)/f)*-10?
False
Let o(z) = -58*z + 20. Let f be o(-2). Let s(n) = -f*n - 3*n**3 + 2*n**3 + 122*n + 20*n**2 + 30. Is 22 a factor of s(19)?
False
Let p(w) = -3*w**2 + 5*w + 9820. Does 10 divide p(0)?
True
Is (172710/(-228))/((-6)/20) a multiple of 25?
True
Suppose 4*k = 2*k - 4*m - 310, 0 = 2*m - 8. Let w = k + 467. Is w a multiple of 8?
True
Suppose 4*r - 3*r = -47. Let z = r + 45. Is 7/2 + z/4 - -30 a multiple of 11?
True
Let w(u) = 37*u**2 + 16*u - 16. Let i = -73 + 59. Let q be w(i). Is (-4 - q/(-52)) + (-2)/(-13) a multiple of 13?
False
Suppose 5*v + 214 = -5*i - 56, -2*v + 242 = -5*i. Suppose 32 = -35*h - 38. Let u = h - i. Is u a multiple of 12?
True
Suppose 18 - 24 = -3*z. Suppose 0 = z*a - 8, 306 = 2*f - 0*f + a. Suppose 0 = 6*t - 7*t + f. Is 13 a factor of t?
False
Let m(h) = -87*h - 4. Let p(x) = 173*x + 8. Let w(y) = 5*m(y) + 2*p(y). Let u be w(-2). Suppose u = 2*r + 3*r - 3*b, 0 = 4*r - 5*b - 147. Is r a multiple of 5?
False
Let y = -180 + 230. Suppose 52*s - 232 = y*s. Does 11 divide s?
False
Suppose 2*p - 12485 = -5*x - 2*p, 0 = 2*p. Suppose -29*g - x + 16243 = 0. Is 37 a factor of g?
False
Is (-4*(-4)/(-8))/((-17)/130679) a multiple of 9?
False
Let s(u) = 138*u + 66. Let y = -431 - -435. Does 5 divide s(y)?
False
Suppose 107489 = 9*s + 6*s - 58111. Does 115 divide s?
True
Let q(j) = 12*j**2 + 4. Suppose 0 = 5*v - 2*x + 2, 4*v - 10 + 2 = 4*x. Let b be (-2 - -2 - v)/(2/(-3)). Is 8 a factor of q(b)?
True
Let n(m) = -170*m**3 - 14*m**2 + 45*m + 161. Is n(-7) a multiple of 35?
True
Let o = 279 - 145. Suppose -2*t + 188 = 3*y, 3*t - o = -2*y + 6*t. Is y a multiple of 16?
True
Let j = 18184 + -17898. Does 55 divide j?
False
Let u(h) = 14*h**2 - 323*h + 12. Let f be u(23). Let v = -43 - -75. Let s = f + v. Does 7 divide s?
True
Let c = -16904 + 21502. Is c a multiple of 33?
False
Let m(c) = -24*c + 13*c**2 - 81 + 12*c + 24*c. Is m(9) a multiple of 40?
True
Suppose 39*u = -207 - 27. Let x be (-16)/(-2*2/12). Does 8 divide 4/u + 3152/x?
False
Let c(p) = p**3 + 14*p**2 - 20*p + 79. Is 24 a factor of c(-10)?
False
Suppose 7*k - 16 - 257 = 0. Suppose 4*h + 751 = k. Let v = -65 - h. Is v a multiple of 18?
False
Suppose -5*z + 347442 = 26*z - 14948. Does 15 divide z?
False
Let p(b) = 450*b - 30. Let i be p(4). Suppose 202*x - 196*x - i = 0. Is x a multiple of 3?
False
Let s(z) = 2*z**3 + 15*z**2 - 9*z + 472. Is s(17) a multiple of 80?
True
Let j = -9219 - -15569. Suppose -3*f = 22*f - j. Is 26 a factor of f?
False
Suppose 3*r = 5*k - r - 6, 0 = 4*k - 3*r - 5. Suppose -515 = -u - 4*l, 0 = 3*u + k*l - 259 - 1336. Is 41 a factor of u?
False
Suppose 4*r + 92 = -64. Let h = r - -38. Is 2