9?
False
Suppose 113*r - 138909 - 222917 = 0. Is 15 a factor of r?
False
Suppose -135*w + 932 = -55363. Does 19 divide w?
False
Is 75 a factor of 13215 + (13 + 69/(-5))/(3/(-15))?
False
Let v(p) = -p**2 - 28*p - 75. Suppose 20*u + 29 + 171 = 0. Is v(u) a multiple of 21?
True
Let a(h) = -h**2 + 178. Let x be a(0). Let v be (-104)/7*10/(180/(-63)). Suppose -v = m - x. Is m a multiple of 18?
True
Suppose 8627 = 247*v - 3476. Let p(s) = 50*s. Let j be p(2). Let o = j - v. Is o a multiple of 20?
False
Suppose 24231 = -18*b - 23*b. Let w = -494 - b. Is w a multiple of 4?
False
Let m(r) = -r**3 - 10*r**2 - 6*r + 15. Let v be m(-9). Let o be v/66 - 422/(-22). Suppose q = 6 + o. Does 2 divide q?
False
Let v(b) be the first derivative of -267*b**2/2 - 9*b + 17. Let k be v(-2). Suppose 2*y = -3*g + 515, 0*g + 3*y = 3*g - k. Is g a multiple of 24?
False
Let r(v) = 14*v**2 + 14*v - 1077. Is r(23) a multiple of 9?
True
Let l be (35/15)/((-120)/(-18) - 7). Let r(b) = -14*b + 0 + b + 4. Does 19 divide r(l)?
True
Suppose -5*d - n = -1355, -3*d + 5*n + 1084 = d. Suppose d + 16 = 7*x. Suppose 3*a - x = 229. Is 18 a factor of a?
True
Suppose -2*m = -4*m. Let n(k) = -4*k + 70. Let b be n(14). Suppose -2*p + 16 + b = m. Is 15 a factor of p?
True
Let q be ((-22)/(-4))/(12/3000). Suppose 276 = 8*t + 164. Suppose t*h + q = 19*h. Is h a multiple of 50?
False
Suppose -b = 6*b - 273. Does 18 divide -206*(b/6 + -7)?
False
Let p(n) = -n**2 + 9*n + 4*n**2 - 2*n**2 + 15. Let r be p(-6). Is (5 + -8)/(r/86) a multiple of 16?
False
Let x(w) be the second derivative of w**5/20 + 5*w**4/12 - w**3/3 + 687*w**2/2 - 2*w + 23. Is 22 a factor of x(0)?
False
Let z(f) = -16*f + 52. Let g be z(3). Suppose 2*m + g*m = 936. Is m a multiple of 13?
True
Let p = -2334 + 2658. Does 12 divide p?
True
Suppose 287*r - 1822027 - 509922 = -12989. Is r a multiple of 37?
False
Let p = 47468 + -31990. Is p a multiple of 71?
True
Suppose -14*x - 246 = -11*x. Let l = x - -82. Suppose -9*o + 10*o - 132 = l. Is 11 a factor of o?
True
Let r(g) = 4*g**2 - 40*g + 6. Suppose -82 = -5*q - 2*u, 12*q - 14*q + 35 = 3*u. Is 13 a factor of r(q)?
True
Let v = -51198 + 101776. Is v a multiple of 242?
True
Suppose -3*m - 3*m + 252 = 0. Let i be 5/(-20) - m/(-8). Suppose 0*x = -i*x + 525. Is x a multiple of 24?
False
Let q(x) = x**3 + 21*x**2 + 35*x - 36. Let n be q(-19). Suppose n*m = 35*m - 2380. Is m a multiple of 13?
False
Let f be 0 - (-7 + 3 - 1*-2). Is (35 - 6)*(36/3)/f a multiple of 29?
True
Let x(y) = 7*y + 12. Let w be x(6). Let j be 4/(-18) + 12/w. Let i(h) = h**3 - 3*h + 31. Is i(j) a multiple of 17?
False
Suppose 4*i + 43672 = 2*y, 4*y - 2*i - 53504 - 33852 = 0. Is 40 a factor of y?
True
Let f = 50320 + -28300. Does 204 divide f?
False
Suppose 0 = 2*q + 2*z - 44, 0 = 5*q - 4*z - 55 - 64. Let t = 27 - q. Suppose -t*f = -5*f + 49. Does 28 divide f?
False
Suppose 82*m = 327*m - 1382535. Does 27 divide m?
True
Suppose -5*s + 24 = -s. Suppose 33 = 9*d - s*d. Suppose 6 = -2*f + 2*r + 32, 0 = -f + 2*r + d. Is f a multiple of 5?
True
Let v(t) = t - 4. Let g be v(8). Suppose -2*i = -g*i. Suppose -2*y - 4*y + 894 = i. Is y a multiple of 14?
False
Let w(q) be the second derivative of -q**4/6 + q**3/3 + 2*q**2 - 31*q. Let n be w(2). Suppose n = 23*f - 24*f + 198. Is 18 a factor of f?
True
Suppose -5*k + 2*k - 2*t + 115 = 0, -5*k + 4*t = -199. Let u = 176 + k. Does 43 divide u?
True
Let x(m) = m**3 + 9*m**2 + 17*m + 25. Let t be x(-7). Suppose -2*k + 608 = -t*h, 9*k - 1542 = 4*k - h. Does 77 divide k?
True
Let k = 283 + -255. Does 48 divide (-4500)/(-11) + k/(-308)?
False
Let d be ((-228)/(-95))/(3/360). Suppose -8*j - d = -16*j. Is 9 a factor of j?
True
Suppose 59*t = 57*t - 214. Let d = 133 + t. Is d a multiple of 8?
False
Suppose 7*w - 20 = -3*a + 2*w, -3*w = 5*a - 44. Suppose -15 = -p - a. Suppose p*h + 2*t - 128 = 0, t - 25 = 3*h - 4*h. Is 26 a factor of h?
True
Let a(m) = 6*m**3 - 172*m**2 - 33*m + 37. Is a(29) a multiple of 32?
False
Suppose -u - w = -2977, -2*u = 4*w - 0*w - 5950. Does 12 divide u?
False
Let o(f) = 34*f**2 + f - 24. Let x be o(4). Suppose -928 = -6*u + x. Is u a multiple of 11?
True
Let y = 263 + -254. Let f(q) = 5*q**2 + 3*q - 1. Is 16 a factor of f(y)?
False
Suppose p + 3*k - 760 = 0, -4*p + 3040 = -6*k + 3*k. Suppose -8*a + 0*a = -p. Does 5 divide a?
True
Let p(f) = -3*f**2 - 3*f + 0*f - 3974 + 7*f**3 + 3973. Let o be p(-1). Is 14 a factor of (-1401)/(-4) - (-2)/o?
True
Let a(g) = 8*g**3 - 12*g**2 + 6*g + 21. Is 33 a factor of a(6)?
True
Suppose -7*l + 60 = -2*l - 5*p, 4*l - 46 = 5*p. Suppose 0 = -19*a + l*a + 1000. Is 4 a factor of a?
True
Suppose 5*p - 10313 = -3*x, 4*x + 23*p - 13*p - 13764 = 0. Is 25 a factor of x?
False
Let n be (42/(-7) - -10) + 504. Let d = -268 + n. Is d a multiple of 10?
True
Let k(i) = -5185*i + 241. Does 27 divide k(-2)?
True
Let t(v) = -v**3 - 6*v**2 - v + 7. Let u be t(4). Let p = 184 + u. Is 9 a factor of p?
True
Let q be 3 - (2 + -2)*5/5. Suppose 3*m - 2*m + q*c - 27 = 0, 0 = 5*m - 3*c - 117. Is m a multiple of 6?
True
Let n = 70 + -75. Let z = n + 5. Does 7 divide z/1 - -3*(-224)/(-24)?
True
Let h = -25 + 27. Suppose 0*y + y - 3 = -m, -h = -3*m + 4*y. Suppose 2*t - 3*t = -2*q - 9, -2*t + 42 = m*q. Is t even?
False
Let z(g) = -2*g + 28*g**2 - g + 6*g. Let h be z(2). Let s = -73 + h. Does 9 divide s?
True
Let u be (-148)/(-18) + (-6)/27. Let m = u + -3. Suppose -7*h = -m*h - 4. Is 2 a factor of h?
True
Let z(p) = -12*p + 219. Let b be z(15). Suppose -q - s + b = 0, -11*q + 8*q + 5*s + 141 = 0. Is 3 a factor of q?
True
Let q = -4280 + 10422. Is q a multiple of 83?
True
Suppose -44 = -0*v - 11*v. Suppose 3*q + 4*n = -0*n + 17, 21 = v*q + 5*n. Is q*1 - 140/(-14) a multiple of 9?
True
Let q(m) = 5*m**3 + m**2 - 2. Let p be q(1). Suppose 290 = -l + 2*l + p*s, 5*l + 5*s - 1420 = 0. Suppose l = 4*x - 2*x. Is x a multiple of 30?
False
Suppose -w + 10 + 7 = 0. Suppose w*o - 341 = 4385. Is o a multiple of 83?
False
Is -207 + 211 + 246/(1 - -1) even?
False
Let d(p) be the third derivative of p**6/24 - p**5/30 - 13*p**4/24 + 7*p**2. Let h(u) be the second derivative of d(u). Is 14 a factor of h(2)?
True
Suppose 2*b + 4*r - 38 = 0, -2*b + 5*b + 3*r - 60 = 0. Suppose -13*q = -14*q - b. Let f = q + 78. Is f a multiple of 5?
False
Let j be 1/2*(11 + -11). Suppose j = -2*y - 5*c + 532, -y = -6*c + 5*c - 266. Is 38 a factor of y?
True
Let f(u) = 6*u - 341. Let a(j) = 5*j - 227. Let k(b) = -8*a(b) + 5*f(b). Is k(-10) a multiple of 8?
False
Let l(g) = 28*g + 3. Let a = 43 - 37. Suppose 0 = -7*p + a*p + 4. Does 47 divide l(p)?
False
Is 11 a factor of (69/(-2))/(3/(-18))?
False
Let v(b) = b**3 - b**2 - b + 4. Let r be v(0). Let g be 2*(2 - r)/(24/(-1086)). Suppose -12*m + g = -527. Is m a multiple of 9?
False
Let l(x) = x**2 + 2*x + 16. Let m(q) = -2*q**2 - 10*q + 5. Let o = -28 + 22. Let a be m(o). Does 17 divide l(a)?
True
Suppose -4*r - 7 = -175. Suppose y + 110 + r = 0. Let z = y - -295. Is 13 a factor of z?
True
Let u(a) be the second derivative of a**4/4 + 2*a**3/3 + 2*a**2 + 2*a + 4. Let d(k) = 3*k**2 + 9*k - 4. Let y be d(-3). Does 4 divide u(y)?
True
Let b(l) = -9*l + 8. Let d = 10 - 4. Let v be b(d). Let r = 76 + v. Is r a multiple of 6?
True
Let m be 2/(-5) + (-270)/(-50). Suppose m*w + 5*c = 0, -2*w = 2*w + 3*c + 2. Let u(d) = 20*d**2. Is u(w) a multiple of 16?
True
Suppose -4 = 2*s - 6*s. Suppose -s = -z - 3. Let l(f) = -11*f**3 + 5*f**2 + 2*f + 2. Does 22 divide l(z)?
False
Let l(d) = -16*d**3 + 13*d**2 + 28*d + 123. Is 121 a factor of l(-15)?
True
Let z be (10/4 + -1)*(-178388)/(-966). Suppose 0*v = 5*v + 825. Let k = v + z. Does 11 divide k?
False
Let f = -14 + 101. Suppose 0*x + 3*x - 462 = -l, 2*l = 6. Let v = x - f. Does 11 divide v?
True
Suppose r + 2 = -b, -2*r - 8 = -0. Suppose b*w + 2800 = 12*w. Does 70 divide w?
True
Suppose 0*u + 3*o - 12 = -3*u, u = 2*o + 10. Let n be 20/3*u/5. Let v(x) = 2*x + 1. Does 3 divide v(n)?
False
Suppose -17*g = -5*i - 13*g + 507, -2*g = 4*i - 390. Suppose -27*b + i + 6867 = 0. Is b a multiple of 6?
True
Let x be ((-14)/14)/(2 - 258/130). Suppose -2*w + 26 = -4*w. Let s = w - x. Does 26 divide s?
True
Let c(l) = l**3 - 8*l**2 - 14*l - 16. Let g be c(10). Let p = 44 - g. Suppose -4*z + p + 8 = 0, -172 = -4*h + 2*z. Does 4 divi