 a multiple of 10?
True
Let r(d) = d**2 + 8*d - 11. Let v be r(-9). Let y = 15 - -72. Let x = y + v. Does 20 divide x?
False
Let v(s) = -59*s**3 - 3*s**2 - 4*s - 3. Let x be v(-2). Let c = 66 + -60. Does 26 divide x/6 - (-3)/c?
True
Let o = -2691 + 4514. Is 11 a factor of o?
False
Let q = -928 - -961. Is 33 a factor of q?
True
Let m(y) be the second derivative of y**3/6 + y**2 + 6*y. Suppose -50 + 18 = -4*n. Is m(n) a multiple of 5?
True
Suppose 0 = 14*q + 20 - 6. Let w(x) = 71*x**2 + 2*x - 1. Is 11 a factor of w(q)?
False
Suppose -3*y + 29 = -4*l, y = -4*y + 2*l + 25. Suppose -3*t + 424 = -4*x, 3*x + y = -0. Is 28 a factor of t?
True
Suppose -13 = 4*v - 37. Suppose 5*p + 3*b = v*b + 16, b + 10 = 4*p. Is 3 a factor of 3 - p/(-4)*8?
False
Suppose -7*w = -2258 + 662. Is 12 a factor of w?
True
Let d be 454/(-4) - (-2)/4. Let l = -68 - d. Is 9 a factor of l?
True
Suppose 2*u = 2*m - m + 2, -14 = -4*u - 3*m. Suppose -u*p + 3*o + 2*o + 48 = 0, 2*p - 3*o - 48 = 0. Does 8 divide p?
True
Let x(i) = -3*i**3 + 9*i**2 + 4*i + 65. Is x(-8) a multiple of 65?
True
Let c(h) = -3*h - 48*h**2 + 92*h**2 - 49*h**2 - 5 - h**3. Let a be c(-4). Does 12 divide (a/4)/(3/(-88))?
False
Let k = 628 - 128. Is 36 a factor of k?
False
Let q = 25 - 48. Let g = q + -5. Let n = g - -62. Is 18 a factor of n?
False
Is 4 a factor of (-2 - 14/(-4))*3048/12?
False
Let w = -115 + 250. Is w a multiple of 9?
True
Suppose 0 = 3*d + 9 + 15. Does 4 divide (6*(-1)/d)/((-1)/(-32))?
True
Suppose 5*h + 32 = x, -2*x - h + 0*h = -9. Suppose 2*f - 31 = x. Suppose 16*l = f*l - 252. Does 13 divide l?
False
Suppose -l - 2*x + 112 = 0, -346 = 7*l - 10*l - 4*x. Is l a multiple of 10?
False
Let l = -133 - -136. Let p(u) = 49*u + 1. Does 12 divide p(l)?
False
Suppose 20*r + 20 = 24*r. Suppose r*w + 76 - 692 = -4*i, -3*w - 137 = -i. Is i a multiple of 21?
False
Let x(g) = g**2 + 18*g + 74. Let n be x(-18). Suppose 2*j - 278 = -2*w - 2*w, -w + 4*j + n = 0. Is 3 a factor of w?
False
Let u(f) = f**2 - f + 140. Let j be u(0). Let w = -12 + 15. Suppose 5*d - j = -4*l, w*d - 4*d + 29 = l. Is 6 a factor of d?
True
Let a = 6716 + -2145. Is a a multiple of 14?
False
Let l = 821 + -707. Is l a multiple of 3?
True
Let k = 658 + -348. Let l = k + -205. Does 15 divide l?
True
Let q be 1*(-2)/1*(-2967)/(-138). Let p = 246 + -176. Let y = p + q. Does 8 divide y?
False
Let t(m) = m**3 - 2*m**2 - m - 3. Let n be t(3). Suppose 2*s - 3*h - 174 - 58 = 0, -n*s - h + 359 = 0. Does 15 divide s?
False
Let u(x) be the first derivative of 4*x**3/3 - 4. Let z be u(3). Let y = z + -18. Is y a multiple of 6?
True
Let p = -5 + 12. Suppose 0 = -d + 4*b - p*b + 87, -4*d = 4*b - 356. Does 15 divide d?
True
Let h be (-30)/45*(-3)/2. Let a be h/(-4) - 65/(-20). Suppose 2*x - 87 = a*b, 0*b + b = x - 44. Does 13 divide x?
False
Let l be (8/6)/((-10)/15). Does 23 divide (231/(-9))/(l/6)?
False
Let d(m) be the first derivative of 2*m**2 - 4*m - 3. Let k be d(4). Suppose k - 56 = -2*t. Is 10 a factor of t?
False
Let c(u) = u**3 - 6*u**2 + 7*u - 3. Let f be c(5). Is 4 a factor of (((-14)/(-3))/f)/(4/246)?
False
Let q(g) = -g + 17. Suppose 0 = 2*u - 15 - 5. Let n be q(u). Suppose 0 = -3*o + 2*o + n. Is 2 a factor of o?
False
Suppose -4*t + a = 5*a - 812, -2*t = -3*a - 431. Does 17 divide t?
False
Suppose -13*r - 196 = -9*r. Let l = r + 80. Does 14 divide l?
False
Let g = 77 - 76. Is (g - -1) + (-8 - -78) a multiple of 23?
False
Let t = -15 - -8. Let u = 34 + t. Suppose 187 = 4*c + u. Is 19 a factor of c?
False
Suppose 2*v - 3060 = -5*p - v, 3*p = 2*v + 1836. Is 9 a factor of p?
True
Suppose -2*g = 5*h - 59 - 63, 16 = -4*g. Let o = h + -10. Does 9 divide o?
False
Suppose 878 = 5*g + 118. Let i be g/20*(-2 - -7). Suppose i + 2 = 5*o. Is 2 a factor of o?
True
Is 78/(-26) - -1*135 a multiple of 12?
True
Let t(p) = -21*p + 1. Suppose -o = 4*o + 20. Is 17 a factor of t(o)?
True
Suppose -s + 346 = 274. Does 10 divide s?
False
Let c(q) be the second derivative of 53*q**5/20 + q**4/6 - q**3/6 + 26*q. Suppose 4*v + 3*x - 10 = 0, -11 = -v + 5*x - 10*x. Does 18 divide c(v)?
True
Let f = -23 + 25. Let p(g) = 7*g - 6*g**2 + 0*g - 3 + 8*g**f - g. Is p(3) a multiple of 10?
False
Suppose 0 = 3*q + v - 208, 0 = q + 4*q + 5*v - 350. Is 16 a factor of q?
False
Let g(w) = 23*w - 6. Let n = 8 - 0. Let d be g(n). Is 14 a factor of d/3 - (-5)/(-15)?
False
Suppose -4*n - 15 = n. Let g(c) = -49*c - 14. Is 52 a factor of g(n)?
False
Let c = 1413 - 469. Does 16 divide c?
True
Let f(t) = 2*t**3 + t**2 + 126. Is f(0) a multiple of 7?
True
Let t be ((-32)/(-40))/((-4)/(-70)). Suppose 2 = 4*q - t. Suppose -2*v + 2*x = -85 + 19, 0 = 4*v + q*x - 164. Is 17 a factor of v?
False
Suppose v - 5*r + 4 = -17, -3*v + 2 = -2*r. Suppose -4*n + 292 = v*a, -433 + 104 = -5*a + 4*n. Is 21 a factor of a?
False
Let x(k) = k**2 + 8*k + 26. Let t be x(-13). Let n = t - 77. Is n a multiple of 4?
False
Let x = 8 - 6. Let p(s) = 3*s + 1 + s**3 - 1 - 6 + 4 + 6*s**x. Is 9 a factor of p(-4)?
True
Let y(j) = -j**2 + 3. Let g be y(0). Let w(i) = 4*i - 2*i**3 + 10 - 8*i + 3*i**g - 7*i**2. Does 21 divide w(8)?
True
Let m = -697 + 1009. Is m a multiple of 11?
False
Let g be 4/12*3 + 1. Suppose 4 = -2*v, -3*v - g = -0*l - 2*l. Does 7 divide ((l - -3) + -2)*-28?
True
Suppose -4*s = 3*l + 15, s = -2*s + 4*l + 20. Suppose s*i = -3*i + 117. Let j = i + 0. Does 8 divide j?
False
Let f(p) = 3*p**3 - 60*p**2 + 18*p - 6. Is 17 a factor of f(20)?
False
Suppose 4*f + 20 = -3*y, -4*f + 10 = -4*y - 6*f. Suppose y = 5*i - 0*i - 150. Does 10 divide i?
True
Is (-1 - 0) + 17748/29 - -5 a multiple of 8?
True
Suppose -u = -5*u - 2*l + 128, -3*u = 4*l - 96. Suppose -4*w + 0*r = -4*r - 128, 0 = w - 4*r - u. Does 9 divide w?
False
Let y be 200/(-16)*(0 - 2). Suppose -54 = -l + y. Let c = l + -55. Is c a multiple of 12?
True
Let x = 14 - 36. Let n = 35 - x. Does 19 divide n?
True
Let l(k) be the third derivative of k**7/2520 + k**6/120 + k**5/15 + k**4/6 - k**2. Let a(z) be the second derivative of l(z). Does 12 divide a(-8)?
True
Let y(x) = 4 + 2 - 3 - x**2 + 4*x. Let d be (-6)/18*(-27)/(2 + 1). Is y(d) a multiple of 6?
True
Suppose -40 = y - 3*y. Suppose 0 = 4*o + y, -3*l = -4*o - 262 - 667. Suppose -5*p + l = 83. Does 22 divide p?
True
Suppose 30*f - 32*f = r - 1455, 0 = 4*r - 4*f - 5832. Is r a multiple of 47?
True
Suppose o - 4*o - 42 = 0. Is 17 a factor of (10/(-2))/(o/266)?
False
Let x = -76 + 76. Suppose -2*t + 348 = -2*f + 122, x = f + 5. Is 6 a factor of t?
True
Let w = -38 + -83. Let s = w + 174. Suppose -171 = -4*v + s. Does 14 divide v?
True
Let n be (-18)/(-12)*16/6. Suppose 4*y = 3*m + 62, n*y + 3*m - 2*m = 70. Suppose 3*o = y + 28. Is 4 a factor of o?
False
Let x be 16/3*21/28. Suppose -m - x*m = -250. Is m a multiple of 10?
True
Suppose 2*j = 2*f - 2*j, -5*f = -2*j - 16. Let r(y) = -3 - f*y + 3*y - y**2 - 4*y - 2*y. Is 4 a factor of r(-5)?
False
Let q(d) = -d**2 - 16*d + 7. Suppose 3*u - 58 = 4*t - 2*u, -4*t + 2*u - 64 = 0. Let y be q(t). Let x = y - -16. Is x a multiple of 6?
True
Let l be (-19 - 0/(-1)) + 1. Suppose q + 3*x + 76 = 0, 0 = -2*q - 9*x + 12*x - 107. Let d = l - q. Is d a multiple of 12?
False
Suppose -3*w - 2*w + 2140 = 0. Is w a multiple of 29?
False
Let c(l) = 5*l + 3. Let m = 16 - 7. Is 12 a factor of c(m)?
True
Suppose 381 = 4*n - 359. Is n a multiple of 5?
True
Let r(v) = -12 - 15*v - 11 + 8. Does 15 divide r(-7)?
True
Is 15 a factor of 15960/195 - (-6)/39?
False
Let j(w) = -w + 1. Let m be j(-8). Suppose -m*b + 8 = -5*b. Let x(n) = 27*n + 2. Does 14 divide x(b)?
True
Suppose 85 = -13*i - 45. Let c(k) = -26*k + 10. Is c(i) a multiple of 10?
True
Let a(q) = -4 - 8*q + 20*q + 6 + 0. Let p = 9 - 5. Does 12 divide a(p)?
False
Suppose 0 = -22*a + 1956 + 12916. Is a a multiple of 10?
False
Suppose 2 = 4*t - u, 5*u = 2*t + 4*u. Let j be (17 - t)/(2/3). Is -12*(-4)/j*10 a multiple of 15?
False
Let v(o) be the third derivative of -o**4/2 - o**3/3 + 5*o**2. Let x be v(-5). Is 22 a factor of x + (0 - (3 - 0))?
False
Let l(g) = -9*g**3 - 2*g**2 - 9*g + 2. Let i be l(4). Is 18 a factor of i/(-12) - 1/(-2)?
True
Suppose 3*r - 25 = -10, -5*y + 5*r - 45 = 0. Does 15 divide y - (-4 + 3)*89?
False
Let f(h) = 3*h**2 + 2 - h**2 - 20*h + 3*h. Let g be f(14). Suppose 5*p - g = 89. Is p a multiple of 16?
Fal