 9*v - v**2. Let a be y(11). Suppose g - a = 38. Does 13 divide g?
True
Let g = -64 + 108. Is g a multiple of 44?
True
Let l = 68 - 68. Does 12 divide (-4)/(-10) - l - 24748/(-230)?
True
Let z(c) = c**3 + 8*c**2 - 8*c + 3. Let a be z(-9). Let n = a + 19. Suppose i = 2*i - n. Is i a multiple of 13?
True
Let t be (-2)/3 - 64/3. Let h = 30 + -32. Is 2 a factor of (-121)/t + (-1)/h?
True
Suppose 19*c - 4 = 17*c. Suppose -6 = -c*x + 2. Suppose -2*k + x*k = 100. Does 22 divide k?
False
Suppose 14 = 5*x + 2*j, 0*x - x + j = -7. Suppose x*n = -i + 2 + 45, 5*i - 5*n - 160 = 0. Is i a multiple of 7?
True
Let q(f) = -2*f + 11. Let y be q(8). Is (-282)/(-4) + y/10 a multiple of 41?
False
Let f = 407 + -194. Let d = 25 + -22. Suppose d*n - 276 + 39 = -3*w, f = 3*w - 5*n. Is 19 a factor of w?
True
Suppose 0 = q - 4, -2*q = 2*r - 5*q + 14. Let d = r - -78. Is 7 a factor of d?
True
Let d(j) = -103*j + 162. Does 72 divide d(-6)?
False
Is 11 a factor of 6/(-1) + 1 + 11480/40?
False
Suppose 0*q = -5*h - 2*q + 169, 0 = 3*h + q - 101. Suppose h = 5*m - 37. Is m a multiple of 7?
True
Let t be (-22)/165 - 836/30. Let p be (0 + 5)/((-14)/t). Suppose -11*x + 13*x = p. Is x a multiple of 2?
False
Suppose 5*b + 37 = -5*a + 12, 5 = -a. Suppose 4*l + 212 = 4*h, b*h + 5*h - 4*l = 260. Is h a multiple of 26?
False
Let n(s) = 368*s - 12. Is n(1) a multiple of 35?
False
Let a(s) = -s**3 - s**2 + 29*s + 208. Does 19 divide a(-12)?
True
Suppose -3*s - 165 = -2*a, -s + 6*s - 3*a = -274. Let r = 3 + 71. Let j = r + s. Is j a multiple of 7?
True
Let t be (-3 - -4)*1 + 50. Let v(n) = -2*n - 4. Let j be v(-4). Suppose 0 = y - i - 0*i - 9, 0 = -j*y - i + t. Is 12 a factor of y?
True
Let p(h) = -5*h**3 + 12*h**2 + 72*h + 5. Is p(-7) a multiple of 44?
True
Let u = 18 + -30. Let b = 31 - u. Does 10 divide b?
False
Let u(g) = 40*g + 15. Does 7 divide u(10)?
False
Let f(q) = -q**2 + 4*q - 2. Let z be f(2). Suppose -358 = -4*t + 3*d, 3*d + 168 = z*t + 7*d. Suppose 123 = 3*s - 3*g, 2*s = -2*g - 2*g + t. Does 14 divide s?
True
Let t = 358 + -17. Does 94 divide t?
False
Is 2/(-13) + 14/819*114201 a multiple of 16?
True
Let r(u) be the first derivative of 6 - 5/2*u**2 + 1/3*u**3 - 3*u. Is 7 a factor of r(-4)?
False
Suppose -f - 2*w = -4*f + 113, 174 = 4*f + 2*w. Suppose -f*d + 90 = -39*d. Is d a multiple of 9?
True
Is 556 + ((-18)/45 - 2/(-5)) a multiple of 14?
False
Let i be -2 + -1 + (-2928)/(-12). Suppose -5*z = 3*f - 62 - 69, -3*z - i = -5*f. Suppose f = -3*a + 149. Is 16 a factor of a?
False
Let c(r) = -21*r + 419. Is c(-48) a multiple of 35?
False
Suppose -o + 8*o = 8393. Is o a multiple of 72?
False
Does 46 divide (-10)/(-5)*(-966)/(-4) + -3?
False
Let d(a) = 7*a**3 - 17*a**2 - 7*a - 6. Let h(z) = 6*z**3 - 16*z**2 - 7*z - 5. Let l(n) = -5*d(n) + 6*h(n). Is l(12) a multiple of 16?
False
Suppose g - 5*m - 494 = 55, -g = 3*m - 541. Is 34 a factor of g?
True
Let h be (-126)/(-8) - 21/(-84). Let a = 20 - h. Suppose -d = 2*n - 25, -n = a*n + 3*d - 62. Is n a multiple of 13?
True
Suppose 3*x + 3*m - 3357 = 0, 95*m - 99*m + 5590 = 5*x. Is 9 a factor of x?
False
Suppose 0*h + 5*x + 254 = 2*h, -482 = -4*h - 3*x. Is (1/(-2))/(2 + (-245)/h) a multiple of 9?
False
Let y be (0/(0 + 1))/(-1). Suppose y = -2*z, 12 = o - 4*o + 3*z. Is 22 a factor of 2*(o - (-17 + 0))?
False
Suppose 149*u - 152*u = -3. Is 7 a factor of ((-820)/(-4) + 4)*u?
False
Let k be 374/6 - 6/(-9). Let g = -39 + k. Is 8 a factor of g?
True
Let j = 466 + -192. Does 5 divide j?
False
Suppose -3*d - 103 = -5*a + 54, 3*d - 75 = -3*a. Let r = a - -19. Is 8 a factor of r?
True
Let d = -9 + 20. Let j be 3/(-2 - 4)*8. Let i = d - j. Is i a multiple of 9?
False
Suppose n + 3*g = -n + 121, 5*n + g - 270 = 0. Let r = 61 - 30. Let f = r + n. Is 24 a factor of f?
False
Let w = -405 - -817. Does 35 divide w?
False
Let i(t) = -3*t**3 - t**2. Let w be i(-3). Let a be (-4)/(-14) + (-57)/(-21). Suppose -a*b + w = -b. Is b a multiple of 12?
True
Suppose 2*f + k + 2*k = 3, -15 = -4*f + 3*k. Suppose 9 - f = 3*m. Suppose m*s + 2 = 74. Does 13 divide s?
False
Let r = -70 - -75. Suppose -r*n - 66 = -176. Is n a multiple of 22?
True
Let h(o) = -o**3 - 9*o**2 + 10*o + 8. Let l be h(-10). Is ((-20)/l - -3)*22 a multiple of 7?
False
Suppose 5*v = -4*s - 5, -2*v - v - 3 = -5*s. Suppose 10*l - 6*l = s. Suppose l*z = 4*z - 5*a - 43, 13 = z + a. Is z a multiple of 2?
True
Suppose -2*t = t - 6*t. Suppose t = 5*s - 36 - 214. Is 6 a factor of s?
False
Let a(d) = -d + 51. Is 33 a factor of a(-25)?
False
Suppose 25*l - 7554 - 29221 = 0. Is 23 a factor of l?
False
Let x(r) = 6*r - 2. Let t(z) = -z**2 + 16*z - 12. Let m(g) = -g**2 + 12*g - 13. Let p be m(9). Let u be t(p). Does 18 divide x(u)?
False
Let p = 4159 - 2284. Does 23 divide p?
False
Does 4 divide 1/(9*2/7902)?
False
Let y(b) = 42*b**2 - 6*b + 2. Let h be y(4). Suppose 0 = 7*r + 3*r - h. Is r a multiple of 25?
False
Suppose 2*f - 8 = -0*f. Let t(s) = -3*s + 5*s**2 - 4*s**2 + 2*s - f*s - 3. Is 11 a factor of t(8)?
False
Let f = -3 - -7. Suppose -f*t + 554 - 50 = 0. Suppose 177 = 4*y + i, 3*y + 0*i = -3*i + t. Is y a multiple of 16?
False
Let w = 411 + 83. Does 38 divide w?
True
Is 6 a factor of ((-404)/(-12) + -3)*9/2?
True
Let p be (-1 - 1)/(1 - 3). Suppose 0 = -4*c + 3*z + p + 18, 4*z + 4 = 0. Suppose u + 3*u = 2*j + 158, -2*u - c*j = -54. Is 12 a factor of u?
False
Suppose 126 + 404 = 5*o. Let j = 162 + o. Is 22 a factor of j?
False
Suppose -3972 = -4*p + 4436. Suppose 7*r - p - 68 = 0. Is 31 a factor of r?
True
Suppose -2*k + 6*k - 16 = 0. Suppose 0 = -5*b + k*x + 21 + 21, -3*x = -6. Is 5 a factor of b?
True
Suppose 3*f - 219 = -2*b + 6*b, 0 = 4*f - 5*b - 293. Let l be ((-69)/(-5))/(1/5). Suppose -2*s + f = -l. Does 19 divide s?
False
Suppose 0 = 34*b - 7150 - 3594. Does 13 divide b?
False
Let a be (105/(-10))/7 + (-7)/(-2). Is 5 a factor of 3 - (-200)/11 - a/11?
False
Let c(i) be the first derivative of 2*i**3/3 - 3*i**2 - 17*i - 11. Is 23 a factor of c(10)?
False
Let w = 73 + 134. Suppose -s + w = -5*r, s - 45 = r - s. Let p = r + 57. Is 8 a factor of p?
True
Suppose -5*x + 155 = -5*n, -4*x + 148 = 2*n - 0*n. Suppose -4*q = -3*l + 9 + x, -5*l + 58 = q. Suppose -13*i - l = -14*i. Does 12 divide i?
True
Suppose -q - 4*q - 95 = 0. Let t = q - -66. Is 4 a factor of t?
False
Suppose 2*r - 4*h - 8 = 0, -5*h = 4*r - 106 + 25. Is 11 a factor of ((-35)/r - -2)/(2/(-316))?
False
Suppose 6*t - 80 = 370. Suppose 5*n - t = 30. Is 2 a factor of n?
False
Suppose -637*y = -650*y + 9035. Is 36 a factor of y?
False
Suppose -3*i = -4*p + 19, -5*p = 2*i - 14 - 4. Is 4 a factor of p?
True
Suppose 3*u - 8 = -3*t + 7*t, 4*t + 8 = -2*u. Suppose 0*x + 7*x - 630 = u. Does 10 divide x?
True
Let y be (-325)/(-35) + (-8)/28. Suppose -11 = -i + 5*v + y, -4*i + 2*v = -8. Suppose -5*u + 5 = i, -4*t = -3*t - 3*u - 71. Is 20 a factor of t?
False
Suppose 45 = 2*n - 5*v, 7*v + 65 = 5*n + 4*v. Is n a multiple of 10?
True
Let o(i) = -3*i**3 - 2*i**2 + 2*i + 4. Let w be o(-1). Suppose -3*b - 2*q + 110 = 0, -w = -4*q - 11. Is b a multiple of 19?
True
Is (-2)/(-7) - 2917/(-7) a multiple of 26?
False
Suppose -5*m + 2*a - a = -18, -4*m + 3*a + 10 = 0. Suppose 4*v = 8*v + 4*p - 360, -2*v - m*p + 184 = 0. Is v a multiple of 44?
True
Let t(s) = 10*s**2 + 7*s - 13. Let z be t(-7). Suppose -5*b + z = -167. Is 9 a factor of b?
False
Suppose 5*x = 2*o - 575, -6*x - 6 = -8*x. Is (-115)/(-23) - (-1 - o) a multiple of 43?
True
Let l(u) = 73*u - 4. Let i be l(3). Suppose -5*r - 3*w + i = 0, -5*w + 0*w = 0. Let m = r + 70. Is m a multiple of 20?
False
Let c = -166 - -232. Is c a multiple of 4?
False
Let w = -6 - -10. Let d(f) = 38*f**2 - 2*f - w*f + 5*f - 1 - 17*f**2. Is d(-1) a multiple of 10?
False
Let r = -495 + 1047. Is 24 a factor of r?
True
Suppose 11*p = 12*p - 74. Suppose -p = -4*h - 26. Let y = 30 - h. Is 12 a factor of y?
False
Let h(t) = -103*t + 17. Let w(v) = -34*v + 6. Let j(q) = -4*h(q) + 11*w(q). Is 10 a factor of j(1)?
False
Let r(c) = 56*c + 4. Suppose 5*a = 4*i + 18, a - i = 4*i + 12. Does 13 divide r(a)?
False
Let l = 9 + -6. Let r = 64 - 44. Suppose 0 = -l*h - r + 110. Is 15 a factor of h?
True
Let n = 2 + 1. Suppose -4*j = -3*f - 124 + 440, -3*j - 321 = -n*f. Is 14 a factor of f?
True
Let f be 20 + -11 - (-16)/(-2). Suppose -57 = 2*o