+ v - 1. Let y be u(p). Suppose -4*d + 98 = 2*w, -3*d = -3*w - 2*w - y. Does 15 divide d?
False
Let p(j) = 7*j**2 - j + 2. Let x be p(1). Let r be (-1)/(x/(-1950)) - (-3)/12. Let w = 420 - r. Does 22 divide w?
True
Suppose -2730*q - 70268 = -2732*q - 4*b, -5*q - 3*b + 175628 = 0. Is q a multiple of 17?
True
Let p be (37/(-7) - -1)/((-3)/21). Let f = 33 - p. Suppose -9 = f*a, -4*c + a + 115 = -2*c. Is 8 a factor of c?
True
Is (364 - -3) + (5/(-1) - 2) a multiple of 6?
True
Suppose -2*w + 5*w - s - 12 = 0, 2*w - 7 = s. Suppose 0 = -a + w*a. Suppose a = 4*i, 75 + 58 = f - 5*i. Is 19 a factor of f?
True
Let j(u) = 10. Let c(l) = -14 - 2*l - 15 + 8*l**2 - 7*l**2 + 3*l. Let w(r) = 2*c(r) + 7*j(r). Is w(-4) a multiple of 21?
False
Let y(w) = 2*w**3 - 4*w**2 + 5*w - 4. Let t be y(2). Suppose 15*f = -t*f + 1386. Is 3 a factor of f?
True
Suppose 65*k + 84*k - 6600600 = -51*k. Does 25 divide k?
False
Let w = -152 - -152. Suppose 12*n - 971 - 1537 = w. Is n a multiple of 66?
False
Suppose -3*o = -3*q - 4341, -3*o - 2*q + 4306 = -0*o. Does 45 divide o?
True
Let w = -42 + 18. Let x = -19 - w. Suppose -x*i + 93 = -2. Is 2 a factor of i?
False
Let u(d) = -5*d**3 + 3*d**2 - 4*d. Let j(b) = -b**3 - b. Let r(o) = -6*j(o) + u(o). Suppose 2*m = -5*k - 3 + 28, 0 = -3*k - 3*m + 24. Does 19 divide r(k)?
False
Let f = -247 + 3303. Does 33 divide f?
False
Suppose 310*z - 4841916 = 26*z. Is z a multiple of 275?
False
Suppose 3*i + 5*l = 25 + 134, -237 = -5*i + l. Does 3 divide 4*(-606)/i*-2?
False
Let p be 649 + 21 + 8 + -1. Let s = -216 + p. Is s a multiple of 29?
False
Is 10 a factor of 18/(-21)*-7*(-21650)/(-30)?
True
Suppose 0 = -15*v + b + 41160, -2*v - 46*b + 50*b + 5488 = 0. Is 49 a factor of v?
True
Let h(z) = 389*z - 318. Is 144 a factor of h(10)?
False
Let o be 2/24 + (-1591)/516. Does 8 divide 99/12 - o/(-12)?
True
Suppose 3*n = 10*n - 49. Suppose -n*u + 5*u + 3*l + 155 = 0, -5*u + 393 = -2*l. Is 14 a factor of u?
False
Let j(q) be the first derivative of -q**4 + 5*q**3/3 + 4*q**2 + 4*q + 3. Let z be 7/(-3) - 26/39. Is 31 a factor of j(z)?
False
Let a = 130668 + -69553. Is 17 a factor of a?
True
Let w be (-1 + -3)/((-24)/408). Let x = 191 + w. Is x a multiple of 3?
False
Suppose 5*i - 3*i + 2*z = 80, -5*i = -z - 176. Suppose k = -3*k - i. Is 29 a factor of (-31025)/(-153) + (-2)/k?
True
Is (-1)/((-3)/(-2)) + (-180404)/(-1137) a multiple of 3?
False
Let i(u) = -2*u**3 + 79*u**2 - 84*u - 164. Does 106 divide i(32)?
True
Let j = -2174 - -4603. Suppose 261 = -4*o + 4*v + 2693, 0 = 4*o - v - j. Is 71 a factor of o?
False
Suppose -4*t - y + 37 = 0, -2*y + 1 = 2*t - 5*y. Suppose -7*n = -t*n. Suppose -5*s + 2*b + 3*b + 240 = n, 0 = 5*s - 3*b - 246. Is s a multiple of 18?
False
Suppose 772*x - 750*x = 113410. Is x a multiple of 64?
False
Suppose 1 = 3*i - 5. Suppose -2*w + w = 4*l - 59, l + i = 0. Suppose 0 = 62*b - w*b + 1140. Is 19 a factor of b?
True
Suppose -43 = 2*f - 5*f + 5*d, -3*d - 27 = -2*f. Suppose 197 - 2555 = -f*v. Does 17 divide v?
False
Suppose -288834 = -106*x + 37*x. Does 7 divide x?
True
Let w(z) = 338*z + 152. Let b be w(-8). Is 44 a factor of (b/203)/(2/(-7))?
True
Suppose 13 = -2*d - 1. Let x(k) = 4*k**3 + 12*k**2 + 17*k. Let b(u) = -9*u**3 - 24*u**2 - 35*u - 1. Let z(o) = 3*b(o) + 7*x(o). Is 16 a factor of z(d)?
True
Suppose 3 = g + 1, i + g - 39 = 0. Suppose -2*b = -11 - i. Is b a multiple of 24?
True
Suppose -4*w + 17 + 15 = -2*r, -r = -5*w + 46. Let x(o) = 23*o - 176. Let n be x(8). Suppose -n*j - 140 = -w*j. Is 35 a factor of j?
True
Let a be (4/14)/(-1 + (-8)/(-7)). Suppose -a*w + 40 = 6*w. Suppose 0 = -w*t - 3*k + 149, -2*t + 69 = t - 5*k. Is 28 a factor of t?
True
Let f(l) = -417*l**3 - l**2 - 10*l - 15. Is 6 a factor of f(-2)?
False
Suppose 4*n = 5*r + 12, -12 = -5*n + 3. Suppose -2*l + 3*w + 137 = r, 5*l = 5*w - w + 332. Suppose 3*k - f - 86 = f, -2*k = 2*f - l. Is 14 a factor of k?
False
Let m be (1 + -1 - -2)/(18/45). Suppose 178 = m*k - y, 0 = 5*k + y - 4*y - 184. Is 3 a factor of k?
False
Let h(u) = -2*u**2 - 4*u - 4. Let y be h(-3). Let i be (5*41)/(11 + y). Suppose 4*z = 2*j + 121 + i, 4*z - 3*j = 321. Is 14 a factor of z?
True
Let g = -1192 - -644. Let q = -439 - g. Does 8 divide q?
False
Let d(c) = 15*c + 22*c + 5 - 44*c + 10*c**2 + 3*c**3. Is 18 a factor of d(8)?
False
Let s = 5206 + 3326. Is s a multiple of 71?
False
Let c(l) = -77 + 287 + 28*l - 118. Is 12 a factor of c(30)?
False
Let k = -3095 + 4343. Does 96 divide k?
True
Let m be ((-20)/(-3))/(120/432). Suppose m*i - 718 = 1466. Does 10 divide i?
False
Let l(n) = n**3 - 9*n**2 - 10*n + 3. Let r be l(10). Is 22 a factor of r/3*-3*(-349)/3?
False
Let o(t) = 40*t - 271. Let a(r) = -42*r + 272. Let p(y) = 5*a(y) + 6*o(y). Is 17 a factor of p(10)?
True
Let s be (-25)/(-15) + (-2424)/(-9). Suppose 0 = 275*c - s*c - 676. Is 22 a factor of c?
False
Suppose -2*o = -6*o + 60. Suppose -f = -o*f + 126. Is 13 a factor of 52/8*(1 + f)?
True
Let j(a) = 5*a**2 + 17*a - 37. Let w be j(-12). Let k = 807 - w. Is k a multiple of 9?
False
Suppose -3 = l, -g - 6*l = -7*l - 6. Let h(u) = 10*u**3 - 8*u**2 + 13*u - 7. Is h(g) a multiple of 46?
True
Does 19 divide (-2)/((-8)/53290) - -6*(-9)/(-108)?
False
Let y(k) = -k**3 + 11*k**2 - 5*k - 39. Let x be y(10). Suppose -x*s = 15*s - 2496. Does 3 divide s?
True
Let l = 46305 + -21342. Does 159 divide l?
True
Suppose 0 = -3*l + 37 + 35. Suppose c + 81 = -5*p - l, 3*p - 65 = c. Let i = 0 - c. Is i a multiple of 16?
True
Suppose 0 = 5*v - 7950 + 630. Is v a multiple of 23?
False
Let z be (-4)/(6/63*(-6)/(-8)). Let m = z - -94. Suppose 2*p - 118 = 2*o, -p - 2*o + 109 - m = 0. Does 7 divide p?
True
Suppose 3*p - 42 = -3*n, 2*n - 13*p + 9*p - 52 = 0. Is -180*(108/243 - 35/n) a multiple of 18?
True
Suppose -5*j - 129 = -2*y - 122, 0 = 5*j - 15. Does 4 divide y?
False
Suppose 50 = -5*r + 17*g - 12*g, 0 = 5*r - 2*g + 44. Does 4 divide 4/r + (-153)/(-6)?
False
Let c(w) be the first derivative of -w**2 + 13*w - 11. Let f be c(-3). Let l(v) = 3*v + 11. Is l(f) a multiple of 20?
False
Suppose a - 376 = -a + 3*r, -2*a + r + 380 = 0. Suppose -o + a = -0*o - m, 975 = 5*o - m. Does 28 divide o?
True
Let n = 2554 - -6581. Is n a multiple of 105?
True
Let x = 47 - 40. Let l(z) = 2*z**2 - 4*z + 2. Let w be l(x). Does 12 divide -4*(-6)/(w/39)?
False
Suppose -3*c + 96555 = 5*r + 15920, -11*c = -2*r + 32254. Does 86 divide r?
False
Let q = -6677 - -12689. Does 6 divide q?
True
Suppose 0 = h + 14 - 20. Suppose -5*d + 2 = 3*l, d + h = -l + 2*l. Suppose 4*g - 504 = -4*r, 2*g = 4*g - l. Is r a multiple of 10?
False
Let h = -885 + 638. Let y = h - -633. Is 28 a factor of y?
False
Let x be 84/63*((-1026)/2)/1. Is 18 a factor of (x/(-133))/(4/322)?
True
Let h(f) = 2*f**3 - 2*f**2 - 2*f + 7. Let y = -9 + 13. Let q be h(y). Let u = q - -37. Is 6 a factor of u?
True
Suppose 48*t = -385 + 6961. Let g = -48 - 47. Let p = g + t. Is p a multiple of 14?
True
Let o = -4463 + 6407. Is o a multiple of 3?
True
Let k = 1169 - 799. Does 10 divide k?
True
Let g = 68 + -63. Suppose -4 = g*n - 144. Let c = n + 31. Does 6 divide c?
False
Let m(u) = 4*u**3 - 10*u**2 - 34*u + 15. Let y(v) = 5*v**3 - 10*v**2 - 33*v + 14. Let x(t) = -4*m(t) + 3*y(t). Does 3 divide x(12)?
True
Suppose -3*v + 197 + 224 = f, -v = -3*f + 1263. Suppose 0 = 2*q + 45 - f. Let i = q - 75. Is i a multiple of 54?
False
Suppose 9*m - 8*m - 5*h = -479, -1389 = 3*m - 3*h. Is 18 a factor of (-14)/7*(1 + m/6)?
False
Let z be 39*((-16)/6 - -1). Let h = z + 65. Suppose 0 = 5*t + 4*m - 105, 0 = -t - h*t + m + 12. Is t a multiple of 8?
False
Suppose 0*n - 4176 = -3*p + n, 0 = 2*n. Does 8 divide p?
True
Let w = -19053 + 29355. Is 51 a factor of w?
True
Suppose -b - w + 79 = 0, -12*b = -7*b + w - 379. Is 31 a factor of 1*((-124)/(-6))/(10/b)?
True
Suppose -10363 = -x - 3359. Is 34 a factor of x?
True
Let k = -37 + 83. Let n(a) = -a**2 + 51*a - 158. Does 12 divide n(k)?
True
Does 21 divide (282548/35 - -6)/(18/45)?
False
Let v = -564 - -1095. Suppose 1874 = 5*r - v. Does 13 divide r?
True
Let p be (-40)/4 - 3/3. Let n(x) = -x**2 - 9*x + 26. Let q be n(p). Suppose 0 = -q*k - 2*h + 152, 0*h = -3*h. Is k a multiple of 13?
False
Let w = 33 + -31. Suppose -w*j + 1350 = 3*j. Suppose 0 = 21*x - 18*x - j. Does 45 divide x?
True
Suppose 0 = 4*n