et g(f) = 11*l(f) + 2*r(f). Does 10 divide g(19)?
False
Let r be ((-14)/35)/((-2)/5). Let s(w) = w**3. Let l(x) = -24*x**3 + 2*x - 2. Let a(h) = -l(h) + 3*s(h). Does 8 divide a(r)?
False
Let o(a) = -a**3 + 7*a**2 - 4*a - 12. Let s be o(6). Suppose s = 8*j - 6*j - 16. Suppose j*w - 202 = 782. Is 12 a factor of w?
False
Suppose 57 = 2*d + i, 4*d + 5*i = i + 104. Let f(y) = -d*y - 15 - 2*y - 46*y. Is 37 a factor of f(-3)?
True
Does 35 divide (490/(-3))/(1/(-18)*(-12)/(-54))?
True
Let n = -69 - -71. Let b be 2 - (-40 - (n - 6)). Let p = b + -29. Does 5 divide p?
False
Let i = 4282 + -1952. Is 123 a factor of i?
False
Suppose 5*v + 1 - 6 = -5*s, -2*s - 3 = 3*v. Let i(l) = 4*l - 7*l - s + 9*l. Is 12 a factor of i(7)?
True
Suppose 3*u - 4*j + 1891 + 2060 = 0, 3*u + j = -3936. Let b = u + 1925. Is b a multiple of 34?
True
Let q(m) be the second derivative of -m**5/20 - 3*m**4/2 + 26*m**3/3 + 12*m**2 - 16*m. Let v be q(-21). Is 7/(-14) - (v/(-2))/3 a multiple of 21?
True
Let z = -1085 + 1138. Let v(a) = 21*a - 3. Let g be v(6). Let m = g - z. Is m a multiple of 7?
True
Let b(l) = 82*l - 19. Let r be 5*9/15 + -3. Suppose r = -6*s - 10 + 28. Does 13 divide b(s)?
False
Let m(x) = x**3 + 21*x**2 - 41*x + 36. Is 9 a factor of m(-17)?
False
Let v = -28603 - -39032. Does 2 divide v?
False
Suppose 0 = -58*v + 57*v + 13. Suppose y - 31 = -u, v + 49 = 2*u + 3*y. Is 16 a factor of u?
False
Suppose 8*g - 3*s = 3*g + 1281, 0 = 5*g - s - 1277. Suppose -3*w + v = -g, 2*w = -5*v - 0*v + 187. Suppose 554 = 9*c + w. Is 13 a factor of c?
True
Let w(d) = -d**2 - d - 2. Let n be w(2). Let x(u) = -22*u - 20. Is 3 a factor of x(n)?
True
Let w(m) = -4*m**3 - 3*m**2 - 2*m + 14. Let j be w(-3). Let g = 255 - j. Is 56 a factor of g?
False
Does 74 divide (-371)/265 + (-29991)/(-15)?
True
Let w(z) = -4*z. Let x(c) = c. Suppose -g = 4*a + 13, -2*g - 5*a - 20 = -0*g. Let b be x(g). Does 6 divide w(b)?
False
Does 9 divide (-10 - -13)*-3 + 4935 + -1?
False
Let b(p) = p**3 + 2*p**2 + 2*p + 1. Let l be b(-1). Is 8 a factor of l/((9 - 5)/2) - -177?
False
Let t be (27/36)/((-6)/(-1112)). Suppose 319 = 2*y + 45. Let n = t - y. Does 2 divide n?
True
Let a = -83 - -85. Suppose -4*s - r + 33 = -a*s, 2*r = -3*s + 52. Suppose s*n - 3*n = 539. Does 14 divide n?
False
Suppose 0 = -22*n + 1468 + 13492. Let k = n + -530. Is k a multiple of 25?
True
Let a(o) = -o**2 - 21*o + 72. Let l be a(-24). Suppose -4*p + 5*h + 78 = l, 0 = -6*p + p + 5*h + 95. Does 3 divide p?
False
Suppose -y = 10*y - 44. Suppose -y*q + 177 = -67. Does 7 divide q?
False
Suppose -57724 = -p + b, -2*p - 16*b + 115445 = -19*b. Is 184 a factor of p?
False
Let d(v) = -v**2 + 34*v - 232. Let i be d(25). Is (127/(-5))/(i/35) a multiple of 4?
False
Suppose -3*o = -4*b + 3, 2*o + 3 = -4*b + 1. Suppose -3*t - 152 = -5*t - 4*u, b = 2*u - 2. Let k = -32 + t. Is 11 a factor of k?
False
Suppose 0 = -2*h - 54 + 48. Let u be (-8)/h*39/52. Suppose u*j + 3*r - 95 = 0, 0*j + 246 = 5*j - r. Is 7 a factor of j?
True
Let d be 54/(12/2) + -5. Suppose -209 = -d*q + 4*b + 443, -2*q + 320 = 4*b. Is q a multiple of 9?
True
Let b(i) be the third derivative of i**5/60 + 13*i**4/24 + 10*i**3/3 - 17*i**2. Let h(t) = t**3 + t**2 - 7*t + 7. Let n be h(-4). Is 20 a factor of b(n)?
True
Suppose 2*l = u + 19297, -18*u + 12*u = -3*l + 28950. Is 144 a factor of l?
True
Suppose 113*c - 46*c = 49379. Does 11 divide c?
True
Let d(z) = 3*z**3 - z + 1. Let n be d(1). Suppose -q + 7 + 147 = 4*r, 6*q + r - 901 = 0. Suppose 2*g = i + q, 5*g - 386 = -0*g - n*i. Is 5 a factor of g?
False
Suppose 74 = 19*x + 226. Let r = -20 - -1. Let p = x - r. Is p a multiple of 6?
False
Let l(z) = -80*z**3 - 2*z**2 + z + 1. Let v be 28/35*(-10)/(-4). Let c be (10/15)/(v + 16/(-6)). Does 11 divide l(c)?
False
Let n(f) = f**3 + 20*f**2 - 2*f - 21. Does 42 divide n(-19)?
True
Is (-33)/(-6)*330 - (0 - -1) a multiple of 7?
False
Let k(l) = 1218*l**2 + 235*l - 1735. Is 104 a factor of k(7)?
True
Suppose 4*k - 27702 = -2*q, -2*q - 2*q = -k - 55413. Does 7 divide q?
True
Let b(x) = -8*x + 943. Does 3 divide b(69)?
False
Let g be -1 + 1 - (-6)/3. Suppose 452 = 4*s - g*a, 2*a + 147 = s + 37. Suppose s = -3*h + 9*h. Does 14 divide h?
False
Let y be (0 + -22)*-4 + 1. Suppose -79*v - 480 = -y*v. Is 4 a factor of v?
True
Let o(g) = -31*g + 135*g - 86 + 59*g. Is o(3) a multiple of 13?
True
Suppose -5 = 5*r - 25. Let z(c) = -8*c + 287. Let o be z(35). Suppose -p = 2*y - 51, -5*y + o*y - 56 = r*p. Is y a multiple of 2?
True
Let n = 3715 + -3384. Does 11 divide n?
False
Let u = -31912 - -53672. Is 64 a factor of u?
True
Is (-3 - (-5 + 0))*-16*333/(-36) a multiple of 4?
True
Let u(o) = 3*o**2 + 12*o + 30. Let r be u(-6). Let l = r + -12. Suppose l*d - 55*d = -161. Is d a multiple of 24?
False
Suppose -5*k + 385 = 6*k. Suppose 7*s = k - 0. Is 22 a factor of 118 - (-4 + 0/s)?
False
Let c(d) = d**3 - 17*d**2 - 15*d - 4. Let x be c(18). Let j = 43 - x. Does 11 divide j/(-2 - 5) + (-1 - -32)?
False
Let w(p) = 9179 - 47*p - 4588 - 4590. Let y = -1 - 0. Is w(y) a multiple of 6?
True
Let p = 11121 - 7161. Is p a multiple of 18?
True
Is (((-13)/(455/(-1440)))/(7/(-49)))/(-1) a multiple of 12?
True
Let n = -169 - -1326. Suppose -5*w = -18*w - n. Let c = 384 + w. Is 24 a factor of c?
False
Suppose 0 = -x - 3, 3*b + 29*x - 33*x - 7248 = 0. Is 12 a factor of b?
True
Suppose -834*a - 2*v - 722 = -836*a, v = 3. Is a a multiple of 94?
False
Let x(u) = -u**3 - 8*u**2 + 11*u + 14. Let b be x(-11). Let p = -228 + b. Is p even?
True
Let o(p) = p**3 - 7*p**2 - 8*p + 3. Let f be o(8). Suppose 3*s = 0, -f*y = 2*y - 3*s - 805. Does 7 divide y?
True
Let b(v) = v**3 + 3*v**2 + 2*v + 3. Let f be b(-2). Suppose -6*l - f*l = 135018. Does 16 divide 4/(-18) + l/(-117)?
True
Let b(j) = -j**3 - 7*j**2 - 4*j - 11. Let g be (14/(-5))/((-38)/(-95)). Let z be b(g). Suppose 5*i - 190 = 5*d, 0 = -i - 4*d + 11 + z. Does 17 divide i?
False
Suppose -15 = -341*k + 340*k. Is 24872/40 + 3/k a multiple of 56?
False
Let y(g) = g**3 + 15*g**2 + 22*g - 12. Is y(14) a multiple of 130?
True
Suppose 4*z + 3*p = 6*p + 9, -3*p + 9 = 2*z. Suppose -3*i + 555 = -z*r, r = 3*i - 690 + 139. Let q = -114 + i. Is 16 a factor of q?
False
Does 91 divide ((-9609)/(-5))/(3/10)?
False
Suppose 0 = 3*a + o - 657, 4*o - 95 = -a + 124. Let w = a + 159. Does 18 divide w?
True
Let x be (-24)/36 + 5/3. Let f be x/(315/79 - (3 + 1)). Let u = 89 + f. Does 10 divide u?
True
Let k = 200 + -121. Let h = 124 - k. Let v = 77 - h. Does 16 divide v?
True
Let c = 406 - 402. Is c + (-5 - -11*34) + 1 a multiple of 22?
True
Suppose 19*y - 46256 + 1125 = 16144. Is 75 a factor of y?
True
Let k(g) = 31*g**2 - 26*g + 160. Let v be (-455)/(-77) - 2/(-22). Is k(v) a multiple of 28?
True
Suppose -17*j + 82233 + 5351 + 85204 = 0. Is j a multiple of 21?
True
Let p(r) = -r**3 - 8*r**2 - 14*r + 29. Let b(g) = -g**2 - g. Let f(o) = 6*b(o) + p(o). Let x be f(-12). Let d = 30 + x. Is d a multiple of 8?
False
Suppose -3*a + 4372 = -7*s + 9*s, -5*a - 2*s + 7292 = 0. Is a a multiple of 190?
False
Suppose -75*j + 76*j - 38 = 0. Let x = 50 - j. Is 18 a factor of x*((-161)/(-10) + (-30)/50)?
False
Suppose d - 3*x - 3837 = 0, -35*x = -31*x + 12. Is 11 a factor of d?
True
Suppose -10*d + 160776 = 10*d + 62816. Is 79 a factor of d?
True
Does 82 divide (-835328)/(-39) - (-20)/15?
False
Suppose 7*j + 287 - 91 = 0. Does 82 divide j/6*(2418/(-7) - 6)?
True
Is 6/81 - (6/81)/(14/(-93919)) a multiple of 7?
True
Let u(v) = -28*v**3 + v**2 - v. Let z be u(1). Suppose 105*y = 96*y. Let g = y - z. Is 18 a factor of g?
False
Suppose 0 = 87*d - 2063969 + 285689. Is 20 a factor of d?
True
Let g(p) = p + 3. Let k be g(2). Suppose 69 - 219 = -k*c. Let u = c + -12. Does 6 divide u?
True
Let m(h) = -62*h**2 - 15*h + 64. Let t be m(4). Let p = -530 - t. Does 4 divide p?
False
Suppose m = -5*f + 2846, -2*m + 1387 = 4*f - 885. Is f a multiple of 5?
True
Suppose -c - 80 = -2*c. Suppose 0*s + s + 162 = 164. Suppose -6*a + c = -s*a. Is a a multiple of 5?
True
Suppose -28*o - 8 = -30*o, o = 2*v - 22876. Is v a multiple of 143?
True
Suppose 0 = -4*p + 4*x + 1024, 67*x = -3*p + 71*x + 762. Is p a multiple of 3?
False
Let p(j) = 2*j**2 - 44*j - 14. Let n be p(23). Is 31 a factor of (1 - -105) + -35 + n?
False
Let w = -46 - -52. Let m be 