v, x = 3*v - 2. Suppose v*r + 85 = -k, 2*r + 4*k + 90 = 2*k. Let w = 49 + r. Is w a multiple of 9?
True
Let x(k) = k**3 - 2*k**2 - 7. Let u be x(3). Does 12 divide u/10 - (-2976)/120?
False
Let x(g) = -206 + 67*g - 8*g - 9*g - 18*g. Is x(11) a multiple of 2?
True
Let p(d) = d**2 - 65*d - 1636. Does 44 divide p(93)?
True
Let a(w) = 6*w**2 - 2*w - 8. Let m(t) = t**2 - t + 1. Let g(l) = -3*l + 4. Let z be g(1). Let y(h) = z*a(h) + 3*m(h). Does 25 divide y(-3)?
False
Let p(f) = 22*f + 374. Let w(t) = -22*t - 374. Let l(j) = 2*p(j) + 3*w(j). Is 2 a factor of l(-28)?
True
Let r(j) = -j**2 - 8*j - 2. Let z be r(-7). Suppose 0 = -5*i + 5*u + 25, 2*u + z + 9 = 3*i. Suppose i*h + t - 101 = 0, 3*h - 2*h - 22 = 3*t. Does 5 divide h?
True
Is (-6053 + 0)/(36/6 - 7) a multiple of 96?
False
Suppose g = 5*a + 39, -g + 24 = -0*g - 2*a. Is -5*g/385 + 7616/22 a multiple of 6?
False
Let o = -320 - -341. Is 16 a factor of (o - 19)*617/2*1?
False
Let s(c) = -400*c - 27. Let y be s(1). Let p = y + 833. Is p a multiple of 38?
False
Suppose 5*k + 2 = 4*r + 14, -k = -r - 2. Suppose 0 = -r*w - 5*a + 896, 2391 - 599 = 4*w + 5*a. Does 64 divide w?
True
Let k = 520 - 389. Suppose -r = -k - 16. Is 7 a factor of r?
True
Suppose -w + 1 = -3*q + 17, 3*w = -3. Suppose -413 = 2*r - 6*r + q*m, 4*m = 12. Is r a multiple of 17?
False
Let q = 16 - -300. Suppose -q + 94 = n. Let a = 332 + n. Does 11 divide a?
True
Let q be 2 + -1 + (11 - 10). Suppose -4*f = -4*x - 104 - 280, -x = q*f - 192. Is 24 a factor of f?
True
Let q = 11 - 4. Suppose 0 = -5*v + 4*l - 5 - 12, -2*v + q = 3*l. Let r(p) = 18*p**2. Is 18 a factor of r(v)?
True
Let q(k) = -13*k - 35. Let s be q(-3). Suppose 0 = -7*r + 5*r - 2, -244 = -5*l + s*r. Does 5 divide l?
False
Let j be 0 - 1/((-3)/2 - -1). Suppose 0 = 4*c - 5*z - 287, j*c - 4*z = 28 + 120. Let n = 164 - c. Is 12 a factor of n?
True
Let p(x) = -4*x**3 - 11*x**2 + 9*x - 3. Let z be (0/1 - -4)*(-10)/8. Is 16 a factor of p(z)?
False
Let b be (397972/(-222))/((-2)/(-3)). Let l = b + 3991. Is l a multiple of 21?
True
Let s(v) = -v**3 + 13*v**2 - v - 8. Let t be s(6). Let q = 28 + t. Is 22 a factor of (-2)/4 - q/(-4)?
True
Let w(h) = 25*h**3 + 3*h**2 + 2*h - 2. Let q be w(-2). Let o = -237 + 161. Let u = o - q. Is 59 a factor of u?
True
Let h(i) = i + 16*i**2 + 15*i**2 - 5 - 30*i**2. Let b be h(-3). Let g(j) = 12*j**2 + 3*j - 2. Does 13 divide g(b)?
True
Suppose 5*n = 624 + 556. Let a = -208 + n. Is a a multiple of 14?
True
Suppose 51*i = 47*i - 996. Let m = -148 - i. Is 16 a factor of m?
False
Let a = -4979 - -9651. Is 32 a factor of a?
True
Let s = -22810 + 30826. Is 8 a factor of s?
True
Let u(p) be the second derivative of 0 - 24*p + 0*p**2 - 7/6*p**3 - 1/12*p**4 - 1/10*p**5. Is 33 a factor of u(-3)?
True
Suppose c - k - 2 = k, -k = 3*c + 8. Let d = 3 - c. Suppose 0 = 2*x - d*n + 17, 0 = -x - x + 4*n - 12. Is x a multiple of 3?
False
Let f be 12/4 + (0/(-1) - -2). Suppose -5*g + 5*m = -2645, -f*g = -7*g + m + 1056. Suppose 7*c - 2053 = -g. Is c a multiple of 16?
False
Suppose k = -3*p + 12243, -8*k + 12240 = 3*p - 6*k. Does 13 divide p?
True
Does 383 divide (69/(-759) - (-21)/(-11)) + 34513?
False
Let t be ((-35)/(-15) - 2)*231. Suppose 0 = -w + 3*j + 473, t*w = 72*w + j + 2351. Is w a multiple of 6?
False
Suppose 0 = -2*y - 3*x + 2*x + 294, -3*y - 3*x + 441 = 0. Suppose -y - 222 = -3*d. Does 13 divide d?
False
Suppose -f = 53 + 108. Let w = f - -266. Does 5 divide w?
True
Suppose 5*z + 2*g - 23 = 0, 0*g - 8 = -2*g. Let f(c) = 12 - 9*c + 10*c**2 + 6*c**2 - 8 + c**z. Is f(-16) a multiple of 25?
False
Let l(g) = 2*g**2 + 120*g - 2622. Is l(-105) a multiple of 81?
False
Suppose 2 = -2*i - 0, v = -3*i + 43. Let l = 49 - v. Suppose -331 = -l*z - 4*w, z - 140 + 23 = -3*w. Does 21 divide z?
True
Let h(q) = 1020*q - 595. Does 5 divide h(7)?
True
Let p be 1080 + (-6 - -10 - 7). Let o = p + -747. Does 33 divide o?
True
Let p(w) = w**3 + 7*w**2 - 37*w - 10. Is p(6) a multiple of 45?
False
Let g(q) = 4745*q**2 + 32*q - 12. Is 32 a factor of g(-2)?
False
Let o = 1061 - 1615. Let n = o - -920. Is n a multiple of 46?
False
Suppose 4*u + 2*b - 6*b = 360, 456 = 5*u - 2*b. Suppose 9*x = 25 + u. Does 6 divide x?
False
Let w = -9764 - -13732. Suppose -8*k - w = -12*k. Does 62 divide k?
True
Let z(j) = j**3 - 5*j**2 - 8*j - 43. Let f be z(11). Let c = -8 + f. Does 32 divide c?
False
Let i = -14389 + 26038. Is i a multiple of 11?
True
Let i(u) = 2*u**3 + u**2 + 170*u - 1461. Is 4 a factor of i(9)?
True
Suppose 0 = 4*b + 4*r + 11404, 4*b + 14225 = -b + r. Let l = -1730 - b. Is l a multiple of 31?
True
Let o(x) = -x**3 - 7*x**2 + 11*x - 14. Let m be o(-9). Let a = m - 49. Suppose 5*n + 3*l = 300, a = n - 4*l - 3 - 80. Is 9 a factor of n?
True
Is (-12)/40 - 487101/(-170) a multiple of 25?
False
Suppose -3*p = r - 18, 6 = -2*r - 4*p + 32. Suppose -r*i + 1216 = 4*j, 0*j - 3*j = 6. Is 6 a factor of i?
True
Let x(o) = 183*o - 39. Let z be x(3). Suppose z*v = 507*v + 1914. Is v a multiple of 22?
True
Let f(x) be the first derivative of 46*x**2 - 2*x + 43. Let d be f(4). Let l = d - 22. Does 43 divide l?
True
Suppose -3*i - x = i - 34, -2*i + x + 20 = 0. Suppose i*c = 7*c - 4, 2*c = 2*n - 28. Suppose 453 + 1395 = n*h. Is h a multiple of 22?
True
Let n = -328 + 624. Suppose -252 - 146 = -4*s + 5*h, 5*h = 3*s - n. Is s a multiple of 5?
False
Suppose 2*v = t - 3193, 2*v + 1320 + 5074 = 2*t. Is t a multiple of 11?
True
Suppose 11960 = -4*o - 19*o. Does 8 divide o/(-12) - (-4)/6?
False
Is 4933956/108 + (140/90)/7 a multiple of 157?
False
Let o(y) = 0*y - 43 + 6*y - 6*y - 4*y. Let n be o(-6). Let t = n + 42. Is 9 a factor of t?
False
Let p(l) = -l**3 + 10*l**2 + 11*l. Let r be ((-6)/(-3))/(12/66). Let k be p(r). Let w = 150 + k. Is w a multiple of 32?
False
Let i = 851 + -1389. Let f = i - -982. Is f a multiple of 42?
False
Suppose -7*r - 2*d + 10390 = 0, -28*d + 31*d + 5933 = 4*r. Is r a multiple of 14?
True
Let o be 62*119 - (2 + -4 + 6). Suppose 33*d = 1734 + o. Is d a multiple of 12?
True
Let f = 27 + -23. Suppose 3*g + f*n - 11 = 0, 4*g = 3*n - 2 - 0. Suppose 3*q + 5*t - 161 = 0, -5*t + 4 = -g. Is q a multiple of 8?
False
Let v(o) be the second derivative of 0 + 13/2*o**3 + 12*o + 12*o**2. Does 24 divide v(3)?
False
Let b = -78 - -82. Let c = 55 + b. Is 6 a factor of c?
False
Suppose q = -5*l - 0*l - 11, 2*q + 5*l = -22. Let a = 76 + q. Is a a multiple of 13?
True
Let b(y) = -91*y - 12. Let x(u) be the third derivative of 31*u**4/8 + 11*u**3/6 - 6*u**2. Let d(l) = 4*b(l) + 5*x(l). Does 11 divide d(2)?
True
Suppose -2*s + s = -4. Does 3 divide (350/(-4))/((-2)/s)?
False
Let j(k) = -10*k - 3. Suppose 2*s + 4*f - 2*f = 6, 2*f - 6 = -3*s. Suppose -p + 0 - 8 = s. Does 9 divide j(p)?
False
Let v = 37334 + -18882. Does 146 divide v?
False
Let s(b) = b**2 + 3*b - 72. Let v be s(7). Let j = -4 - -6. Let w = j - v. Does 4 divide w?
True
Suppose -2*l - 3 = q, 7*q = 4*q + 5*l + 13. Let r be ((2 - 1) + q + -1)/(-1). Let p(a) = 56*a**2 + 2*a + 2. Is p(r) a multiple of 7?
True
Is -2 - (2/4 + (-2121840)/96) a multiple of 34?
True
Let f be (-5)/(4/(-6)*(-75)/(-200)). Let r(b) = 3*b**2 - 25*b + 176. Is r(f) a multiple of 20?
False
Let r be 6*40*(0 - 2)/6. Does 3 divide (243/3)/((-30)/r)?
True
Let b(s) = -s**3 - 10*s**2 + 7. Let j(n) = 2*n**3 + 21*n**2 - 14. Let c(d) = -7*b(d) - 3*j(d). Let m be c(-5). Let h = 5 + m. Does 4 divide h?
True
Let z = -10897 + 15367. Does 15 divide z?
True
Let a be 26/18 + 132/(-297). Is 18 a factor of 4 + (7 - -680) + (a - -5)?
False
Suppose 16*c - 17*c = 68. Let s be c/((-1)/(((-12)/4)/(-3))). Suppose -v = v - s. Does 15 divide v?
False
Let t = 1990 - -1832. Is 78 a factor of t?
True
Suppose 3*j - 499 - 632 = -5*a, -3*a = 5*j - 685. Does 25 divide a?
True
Let x(f) = 111*f - 762. Does 6 divide x(22)?
True
Does 6 divide 5*24/(-20) - (2 + -224)?
True
Let k be (-9)/15 - (1074/(-15) - 4). Suppose 0 = 12*h - 9*h - k. Is h a multiple of 25?
True
Let g be -2 + 52 + -2 + 4. Let i be 499/4 - 39/g. Suppose i = 2*m - 42. Is m a multiple of 32?
False
Suppose -715*v + 935550 = -121*v. Does 25 divide v?
True
Let m be 1 + (-16)/20*-5. Suppose 75 = 3*p + 4*d, -2*p - 2*p = -m*d - 131. Let f = p + 22. Is 8 a factor of f?
False
Let k = -10 + 15. Suppose -k*j = -j - 848. Let x = j + -134. Does 16 d