es 8 divide f(i)?
True
Suppose 20 = 5*z, -6*z + z + 530 = d. Does 102 divide d?
True
Let f(l) = -l**3 - 5*l**2 - l - 10. Suppose 1 = -w - 6. Let a be f(w). Let g = a + 18. Is g a multiple of 9?
False
Suppose 2*i = 2*z + 58, 5*z + 133 + 48 = -4*i. Let j = z + 354. Is j a multiple of 34?
False
Suppose 24*y - 21*y - 171 = 0. Let v = -52 + y. Suppose 4*s + 32 = v*s. Is 8 a factor of s?
True
Suppose -m = 13*j - 12*j - 1, j = -3*m + 3. Suppose -1956 = -j*b - 12*b. Is b a multiple of 12?
False
Let s be (-86)/((15/50)/(6/8)). Suppose 4*a = -44 - 96. Let p = a - s. Does 18 divide p?
True
Suppose 4*q = -q - 40. Let o be (q/7)/(22/(-77)). Suppose -432 = -o*s - 16. Is 15 a factor of s?
False
Let k be (-1)/((-2140)/305 + 7). Suppose 0 = k*m - 65*m + 1052. Does 12 divide m?
False
Suppose 14*m - 2268 = -7*m. Let p(s) = -77*s - 1. Let c be p(-2). Let n = c - m. Is 15 a factor of n?
True
Suppose 7350 = -930*u + 933*u. Is 4 a factor of u?
False
Let a(j) = j - 1. Let l be (-29)/6 + 2 + (-2)/12. Let g(o) = 21*o - 36. Let v(d) = l*a(d) - g(d). Is 45 a factor of v(-14)?
False
Let m(g) = 477*g**2 + 33*g - 9. Does 13 divide m(-2)?
True
Suppose -1133 = -3*j - 2*v - 0*v, j - 366 = -3*v. Let g = j - 208. Is g a multiple of 36?
False
Suppose -27*b - 16*b + 473 = 0. Suppose 13482 = 10*n + b*n. Does 6 divide n?
True
Let w(x) be the second derivative of 28*x + 23/4*x**4 + 1/2*x**2 + 0 - 1/3*x**3. Is w(1) a multiple of 6?
False
Suppose 0 = 6*n + 44 + 196. Let b = 45 + n. Suppose 0 = 2*y + 8, 4*y + 476 = b*w + 5*y. Does 32 divide w?
True
Let i = -33 + 71. Suppose -2*v + i = -5*h, -5*v + 66 = 2*h - 0. Suppose -3*q - 297 = -v*q. Does 2 divide q?
False
Let q(x) be the second derivative of 85*x**4/6 - 5*x**3/6 + 2*x**2 + 93*x. Is 3 a factor of q(1)?
False
Let x(f) = -f**3 - 79*f**2 + 130*f + 1965. Is x(-81) a multiple of 7?
True
Suppose -3 = -g, 4*g - 6 = -2*b + 2*g. Suppose b = -3*x + y + 44, -5*x = -9*x + y + 58. Suppose 0 = -2*w + 4 + x. Is 8 a factor of w?
False
Suppose -96*k + 31*k = -10660. Is k a multiple of 7?
False
Suppose -39*j = -34*j + 10. Is j/(-16) + 35717/88 a multiple of 29?
True
Suppose -45 = -6*p + 9. Let w be (-3)/(-5)*(p - 4). Suppose 0 = -w*x + 2*d + 369, -3*x + 4*d - 3*d = -366. Is x a multiple of 35?
False
Let d be -34 + 63 - 5/(20/(-8)). Let a(x) = x + 3. Let z be a(0). Suppose 5*w - 75 = -5*f, -z*w + 3*f = -f - d. Is 5 a factor of w?
False
Suppose -3*o + 21 = -3*s, 4*o - 11 = -2*s - 1. Suppose 1901 = o*z + 221. Is 9 a factor of z?
False
Let v = 15008 - 3551. Is 9 a factor of v?
True
Let u(v) = 46*v**2 - 5*v - 96. Let n be u(-7). Suppose n = 16*y - 1471. Is y a multiple of 17?
False
Suppose 2094 + 181636 = 13*l - 33240. Is 24 a factor of l?
False
Let i be ((-36)/10)/((-14)/35). Let r(b) be the second derivative of -b**5/20 + 2*b**4/3 + 8*b**3/3 - 66*b. Does 11 divide r(i)?
False
Let q = -248 + 172. Does 20 divide 2138/7 - (q/(-14) + -6)?
False
Let p = 12575 - 6709. Is 5 a factor of p/(-56)*(-8)/2?
False
Let m(q) = -4*q - 49. Let k be m(-13). Suppose 0 = k*y + 3*y - 138. Suppose y + 16 = x. Is 14 a factor of x?
False
Let p = 23598 + -10258. Is 116 a factor of p?
True
Let j(t) = -t**3 + 11*t**2 + 2*t + 10. Let c = 38 + -38. Suppose 0 = -2*i + 2*r + 16, 3*i + r - 12 - 20 = c. Is j(i) a multiple of 22?
False
Does 25 divide ((-685)/4)/((-140)/11200)?
True
Let y(i) = 5*i**2 + 11*i - 5. Let d(p) = -p**2 - 1. Let x(q) = 4*d(q) + y(q). Let t be x(6). Let b = 225 - t. Is b a multiple of 22?
True
Suppose -2*y - 5 = -k, 4*k - y = 8*k - 11. Suppose -q - 4634 = -k*i, -3*q - q = 3*i - 4654. Is i a multiple of 20?
False
Suppose -55*c + 58*c + 15 = 0. Let f(i) = -124*i - 43. Is f(c) a multiple of 17?
False
Suppose 1314 = 5*r + 54. Is (48/9)/(4/r) a multiple of 14?
True
Suppose -6*d - 42*d + 193504 = -108704. Is d a multiple of 5?
False
Suppose 100*z + 435 = 103*z. Suppose 5*m - 75 = z. Is 4 a factor of m?
True
Let k(t) = -15*t**3 + 13*t**2 + 28*t - 28. Does 39 divide k(-7)?
False
Let k(l) be the second derivative of l**4/6 - 2*l**3/3 - 29*l**2/2 - 11*l - 2. Is k(14) a multiple of 37?
False
Let t = -526 + 838. Let b = t + -241. Does 5 divide b?
False
Let z(o) = -o**3 + 4*o**2 - 4*o - 4. Let g be z(5). Suppose 6400 = -37*t - 43*t. Let i = g - t. Does 22 divide i?
False
Suppose a + a - 1846 = 0. Suppose a = 5*f - 42. Does 24 divide f?
False
Let z(q) = -4*q - 2. Let t be z(-1). Let n(g) = -6 - 9*g - 5*g**2 + 0*g**2 + 12*g**t + g. Is n(6) a multiple of 33?
True
Suppose 5 = 4*q - 3*l, 5*q + 5*l + 3 = 18. Suppose -q*j - 878 = -3*k, -2*j + 867 + 19 = 3*k. Suppose 3*y = -g + 175, 0*y - k = -5*y - 4*g. Is y even?
True
Let l(j) = 36*j. Let i(k) = -4*k - 25. Let y be i(-12). Let o = 24 - y. Is l(o) a multiple of 9?
True
Suppose -4*w = 4*t - 91 + 15, -4*t = -16. Let n = 453 - 423. Let k = n - w. Is 3 a factor of k?
True
Let u(v) = -5*v - 11. Let q be u(-6). Let k = -21 + q. Is ((-405)/(-20))/(k/(-8)) a multiple of 9?
True
Let d(p) = p**2 - 6 - 2 + 3*p + 13. Let c be d(7). Let o = c - 40. Is o a multiple of 22?
False
Let v(m) = 2*m**3 - m**2 - 22*m + 19. Let i be v(6). Let k = -92 + i. Does 7 divide k?
False
Let b(r) = 6*r**2 + 18*r - 65. Let a be b(9). Suppose -2575 = -8*v - a. Does 6 divide v?
False
Suppose -4*x = 4*s - 3*s - 196, 2*s = -3*x + 147. Let h = x - 61. Is 3 a factor of 11*4 - h/(-6)?
True
Let q = 451 + -73. Let l(r) = 2*r**3 - 12*r**2 + 18*r - 47. Let y be l(7). Let f = q - y. Is f a multiple of 17?
False
Let x(b) = b**3 - 11*b**2 + 2*b - 13. Let h be x(11). Suppose -17*z = -h*z - 712. Suppose 2*s = -2*d - 3*d + z, 2*s - d - 83 = 0. Does 14 divide s?
True
Let v be 2*(12/(-8) - (-2 - 2)). Is 39/v*(52 + -7 + 0) a multiple of 13?
True
Let m(k) = -k**2 - 14*k - 27. Let u be m(-11). Is (-14)/(-2)*3 - (u + -10) a multiple of 4?
False
Suppose 2*h + 44 = -2*f - 0*h, -2*h + 19 = -f. Let o(n) = -4*n - 20. Let v be o(f). Suppose -2*z - v = -3*z. Does 22 divide z?
False
Let u(i) be the second derivative of -i**3 + 1/3*i**4 + 4*i**2 + 1/20*i**5 + 0 + 39*i. Is 10 a factor of u(4)?
False
Let o(a) = -a**3 + 5*a**2 + 5*a - 9. Let k be o(5). Suppose 12*x = -d + k*x + 177, -5*x - 351 = -2*d. Is d a multiple of 27?
False
Suppose -10*f + 5728 = 6*f. Does 48 divide (0 + f)*(-11 + 12)?
False
Suppose -5*v + h = -4*v - 2508, -6*v - 2*h + 15048 = 0. Is 3 a factor of v?
True
Let p be (-250)/4*(-11 + 3). Suppose -2*k + p = -6*k. Let r = k + 182. Does 9 divide r?
False
Suppose -n - 4197 = -2*p + 1318, -4*p - 5*n = -10981. Is p a multiple of 33?
False
Is 100 a factor of 14030 - (-24)/((-576)/120)?
False
Suppose -3*x + 3757 = p, -4*x + 14*p = 18*p - 4996. Is x a multiple of 33?
True
Let f(n) be the second derivative of 35*n**3/6 - n**2/2 - n. Suppose -7 = 3*d - 6 - 4. Does 7 divide f(d)?
False
Let w = 17 + 5. Suppose -31*y + 1872 = -w*y. Is y a multiple of 20?
False
Suppose -7 = 4*m + 2*o + 3*o, 2*m - 16 = 4*o. Suppose m*c = 5*c - 780. Is c a multiple of 20?
True
Suppose 0 = -28*c + 24*c + 2076. Suppose c = 5*l + 4*n, 8*l - 514 = 3*l + n. Is l a multiple of 47?
False
Suppose 4*n + 391 = 5*n + b, 0 = -2*n + b + 773. Does 8 divide n?
False
Let x(z) = -52*z - 24. Let i be x(-7). Suppose -4*f + 2 = -3*f. Suppose -p = -d + p + 76, -f*p - i = -5*d. Does 25 divide d?
False
Let l(d) = 3*d + 29. Let f be l(-8). Suppose f*m - 1611 = -4*k, -k + 1 = -2*k. Is 17 a factor of m?
True
Is 10 a factor of (-16)/(-40) + (46488/(-45))/((-4)/6)?
True
Let a be -3*1/(-4)*8/(-1). Let x be ((-3)/a)/((-2)/124). Let n = x + 46. Is n a multiple of 3?
True
Let d(i) = 10*i + 118. Let y be d(-12). Let z(t) = 6*t**2 + 2. Is z(y) a multiple of 3?
False
Let d(l) = -23*l**2 + 5*l + 1. Let y be d(-1). Let x(g) = 8*g**2 + 5*g + 5. Let a be x(-4). Let i = a + y. Does 12 divide i?
False
Suppose 5*l = -5*u + 2585, -1033 = -2*u + 13*l - 16*l. Is 7 a factor of u?
True
Suppose 58*x - 517902 = 16*x. Is 210 a factor of x?
False
Let y = -151 - -59. Let a = y - -176. Let p = 286 - a. Does 45 divide p?
False
Let r be -24 + 0 + 1 + 1. Suppose 2*w - 4*o = -54, 3*w - 2*o + 6*o + 111 = 0. Let v = r - w. Is 5 a factor of v?
False
Let v be 24568/40 - (-24)/30. Let y = v - -354. Does 57 divide y?
True
Let y be (-412)/3*6/4. Let x be y/((-7)/((-14)/(-4))). Suppose -x - 457 = -5*h. Is 16 a factor of h?
True
Let k = -1855 - -3637. Does 18 divide k?
True
Le