x(u) = 375*u + 125. Is x(13) a multiple of 20?
True
Let a be (-32)/(-20)*10/4. Suppose 5*m - a*m = 8. Is m a multiple of 3?
False
Let y = 4452 + -2837. Is y a multiple of 19?
True
Let z = -26 - -18. Let r = z - -37. Suppose 35 = 4*k - r. Is k a multiple of 13?
False
Let v(c) = -86*c - 12. Does 76 divide v(-24)?
True
Let j be -1 + 3 + -4 - 31. Let o = j - -38. Let i(u) = 17*u + 1. Is i(o) a multiple of 26?
False
Suppose x - 5 = -2*z, -3*x - 11 = -5*z - 4. Suppose -65 = z*i + 7. Let t = -3 - i. Does 15 divide t?
False
Let f be (-5)/20 + (-84)/(-16). Suppose -3*p = j - 163, 4*j + f*p - 865 = -j. Suppose 0 = 4*o + 3*l - j, 2*o - 2*l - 28 = 68. Does 8 divide o?
False
Let r be -1 - (-1 - -5)*-1. Let b be ((-126)/r)/(-8 - -7). Let a = b + -15. Does 9 divide a?
True
Let b(d) = 10*d - 14 + 91 + 3. Is 5 a factor of b(-7)?
True
Let l(n) = 28*n**2 + 44. Does 12 divide l(-9)?
False
Let h = 36 + -30. Let o be (-16)/(-3) - h/(-9). Suppose 15 = o*n - 45. Is n even?
True
Suppose -1104 = -i - 15*i. Is i a multiple of 23?
True
Let w(l) = 2*l**2 - 1. Let m be w(2). Let x be (-26)/m - (-6)/(-21). Let g = x + 28. Is 13 a factor of g?
False
Let p = 155 + 81. Is p a multiple of 59?
True
Let p(a) = -a**3 + 17*a**2 - 13*a + 96. Is 10 a factor of p(12)?
True
Let l = -625 - -1355. Is 10 a factor of l?
True
Suppose 793 + 2597 = 10*a. Is 12 a factor of a?
False
Let u(s) = s**3 - 15*s**2 - 15*s + 7. Let o be 3 - -6*2 - -2. Let h be o - (3 + (-2)/1). Does 5 divide u(h)?
False
Let d be (-20)/6*(-24)/20. Suppose -3*p + 0*k + 21 = 3*k, 0 = d*p + 2*k - 18. Suppose -49 = -p*g - z - 4*z, 3*z = -15. Is 17 a factor of g?
False
Let i(g) = g - 11. Suppose -3*k + 21 = -3*q, -2*k + q = -5*k + 33. Let c be i(k). Let v(w) = 10*w**2 + w. Does 7 divide v(c)?
False
Let x(a) = -311*a**3 + 4*a**2 + a - 6. Is 13 a factor of x(-2)?
True
Let z = -119 + 284. Suppose -10*m = -7*m - z. Is m a multiple of 11?
True
Let u be 4/(-12) + 106/(-6). Does 16 divide u/(-36) - (-1 - 226/4)?
False
Suppose -1545*d + 1275 = -1540*d. Does 40 divide d?
False
Let b(m) = m**3 - m**2 + m - 15. Let o be b(-8). Let u = -426 - o. Does 54 divide u?
False
Let g be -5*((-36)/(-10))/(-6). Suppose 0 = 4*k + 3*z + 2, 4*z + g = 11. Let w(d) = -5*d**3 - 3*d**2 - 4*d - 2. Is w(k) a multiple of 34?
True
Suppose -6 = 3*m + 24. Let n(q) = q**3 + 11*q**2 + 3*q - 15. Is n(m) a multiple of 11?
True
Let c be (-1)/(-4)*-2*-4. Suppose 11 = a + c. Let i = 25 - a. Is i a multiple of 4?
True
Let o(u) = -13*u + 1395. Is 15 a factor of o(0)?
True
Let o be (-39)/(-52) - 9/(-4). Suppose -v + 3*u = 1, 0 = -o*v + 4*u + 9 - 2. Suppose -v*d + 5*g = -75, -4 + 0 = 2*g. Does 13 divide d?
True
Let h = -11 - -8. Suppose -5*l + 2*g + 41 = -g, 4 = -2*g. Let p = h + l. Does 2 divide p?
True
Is 25259/117 + -2 + 19/9 a multiple of 54?
True
Let c(o) = 3*o. Let v be c(0). Suppose v = 3*i + 3*w - 2*w - 6, 5*w = 5*i - 30. Is 4 a factor of -1 + (6/i - -10)?
False
Is -3*(384/28)/((-117)/910) a multiple of 80?
True
Let x(j) = -3*j + 6. Let u be x(0). Let y = 7 + u. Does 5 divide y?
False
Is (53 + 6 - -9)*13/2 a multiple of 4?
False
Let u be (-3 + 12)*(-160)/(-3). Is (4/6)/((-1436)/u + 3) a multiple of 10?
True
Let k = 1348 - 529. Suppose 0*v = 9*v - k. Is v a multiple of 16?
False
Suppose -6*q = -2*q - 3*o - 28, -2*o = 5*q - 12. Suppose 2*c - 4*c - q*j + 132 = 0, -c + 70 = 3*j. Is 13 a factor of c?
False
Let h(l) = l**2 + 4*l - 9. Suppose 0 = -b + 5*b - 5*z - 37, -3*z = -4*b + 27. Is 3 a factor of h(b)?
True
Let f be 2 + 4 + (2 - 3). Let d(s) be the third derivative of 17*s**4/24 - s**3/3 - 7*s**2. Is 23 a factor of d(f)?
False
Suppose a - 4*f = -0*a + 1, -5 = -5*f. Let l(n) = n**3 + 3*n - 14. Does 6 divide l(a)?
True
Let u = 9 + -10. Let y(g) be the third derivative of g**5/30 - g**4/12 - g**3/3 - 14*g**2. Is y(u) even?
True
Suppose 0 = d + 3*q + 7, -5*d + 4*q = -67 + 7. Suppose 0 = -3*b + d + 4. Suppose b*h = 5*y + 42, -4*h - 4*y = y - 62. Is h a multiple of 13?
True
Is ((-212646)/(-664))/(6/64) a multiple of 56?
True
Let u be ((-26)/(-5))/(13/(-65)). Let i = 19 - u. Is 9 a factor of i?
True
Let z(r) = 3*r**3 + 8 - 3 - 4*r**2 + 0*r**2 - 2*r**3. Is 11 a factor of z(6)?
True
Let a(w) = -w**3 + 2*w**2 + 4*w + 4. Does 16 divide a(-10)?
False
Let b(m) = 5*m**2 - m - 4. Suppose 4*y + 3 = -5. Let n be b(y). Let k = -14 + n. Is 2 a factor of k?
True
Let c(f) = -f**3 + 7*f**2 + 9*f - 6. Let z be c(8). Suppose -4*j + 8 = -8. Suppose -z*q = -j*q + 76. Is 13 a factor of q?
False
Let g be (58/4 - 1)*2. Let p be (1*70/(-56))/((-2)/24). Let x = g - p. Is 12 a factor of x?
True
Let i(d) = -30*d. Let u = -7 - -11. Let k be 2/u - 15/6. Does 20 divide i(k)?
True
Let q = 27 + -25. Suppose -480 = -3*o - q*o. Does 24 divide o?
True
Let l = 0 - -2. Let z = l - -22. Suppose 2*p - z = -p. Is 3 a factor of p?
False
Suppose 1 - 6 = 5*k. Let p be (-97)/(-1) - (k + 3). Suppose -p = -4*h - h. Is 19 a factor of h?
True
Suppose -28*c + 6*c = -3432. Is 2 a factor of c?
True
Let n(y) = -8*y**3 - 4*y**2 - 3*y - 3. Is n(-3) a multiple of 62?
True
Let v(m) = 6*m + 27. Let l be v(11). Suppose 6*d - 8*d - l = -3*o, -3*d - 155 = -5*o. Is 31 a factor of o?
True
Suppose 3 = -5*u - 17. Is 15/(1 - (-3)/u) a multiple of 15?
True
Suppose 0 = -5*z + 2*q + 78, -3*z + 5*z - 3*q = 40. Suppose -6 = -z*v + 11*v. Suppose v*k = -0*k, 2*k = 4*s - 124. Is s a multiple of 27?
False
Let k(w) = 3 + 43*w**2 - 8*w + 2*w - 23*w**2. Let z be k(3). Suppose -z = -h - h - 3*b, -2*b = 2*h - 170. Is 30 a factor of h?
True
Suppose 7*i - 168 = 4*i. Let p be (16/i)/(2/14). Suppose 0 = n + 1, p*x - x - 38 = -4*n. Is 14 a factor of x?
True
Let t = -206 + 524. Let z = t + -210. Is 36 a factor of z?
True
Suppose 0 = -6*a - 5*a + 16731. Does 60 divide a?
False
Suppose 0 = 23*i + 19*i - 2688. Is i a multiple of 33?
False
Does 68 divide (13468/18)/1 - (-6)/(-27)?
True
Suppose -3 = 5*u + 2*q - 0, u + 2*q - 1 = 0. Does 27 divide u*((-53)/2 - -3)*6?
False
Let m = -50 - -62. Does 10 divide (112/m + 2)/(1/3)?
False
Suppose 2*i - 17 + 79 = h, -2*i - 326 = -5*h. Let k = h + -55. Does 2 divide k?
False
Let j = -230 + 254. Is j a multiple of 4?
True
Suppose 0 = -4*n - 14 + 518. Does 21 divide n?
True
Does 12 divide (-1)/((5/230)/((-9)/2))?
False
Suppose -57715 = -58*p - 27*p. Is 6 a factor of p?
False
Let i be ((-24)/9 - -5) + 2/3. Suppose 0 = -7*p + i*p + 20, -3*p - 48 = -3*m. Does 21 divide m?
True
Suppose 2*t + 679 = -5*a + 1960, 0 = 2*t + 3*a - 1291. Is 53 a factor of t?
False
Let k(s) = -29*s + 1. Let i(o) = -o**3 - 4*o**2 - 2*o. Let j be i(-3). Is 13 a factor of k(j)?
False
Let d be -1 + 407 + (-4 - (1 + -1)). Suppose -8*h + 278 = -d. Is h a multiple of 12?
False
Suppose h = -4*h + 265. Suppose 2*w - 13 = -c + 10, c - 4*w = h. Does 3 divide c?
True
Let g(k) be the second derivative of -k**4/12 - 5*k**3/2 + 11*k**2 - 11*k. Let w be g(-16). Suppose -3*o = -w*a + 2*a - 131, -o + 3*a = -37. Does 28 divide o?
False
Suppose 3*t + 0 - 15 = 2*w, 4*w - 15 = -3*t. Let m(x) = -6*x + 351. Is m(w) a multiple of 13?
True
Let b(q) = q**3 + 2*q**2 - 4*q - 6. Let w be b(-3). Let p be 2 + (4 + w)/1. Is 10 - (0 - (p - 0)) a multiple of 3?
False
Let z(v) = -2*v + 5. Let b(i) = i**2 - 19*i - 20. Suppose 0 = 3*a - 32 - 25. Let m be b(a). Is z(m) a multiple of 9?
True
Suppose 5*r - 4*q = -3*q + 56, 0 = 4*r - q - 44. Does 26 divide -4 - (451/(-22))/(1/r)?
False
Suppose 0 = 46*m - 50*m - 24. Let s(y) = -y**2 + 0 - 3 + 3*y + 2*y**2. Is 5 a factor of s(m)?
True
Suppose -3*y + 2*p = -1984, -3447 + 800 = -4*y + p. Is y a multiple of 10?
False
Suppose -4*d - 4 = 0, 0 = -3*b - 0*b - 2*d - 59. Let x = -11 - b. Is x a multiple of 4?
True
Let p = 98 + -10. Let y = p + -32. Does 4 divide y?
True
Suppose 4*l + z - 316 = 0, 11*z = 4*l + 8*z - 332. Is l a multiple of 5?
True
Let j(m) = m**2 - 4*m - 28. Suppose 0 = -w + 29 - 20. Is 17 a factor of j(w)?
True
Is 12 a factor of (-3)/10 + 704628/360 - 1?
True
Let f(s) = -s**2 - s + 2. Let l(m) = m**2 - 2*m - 6. Let w be l(4). Let z be f(w). Let g = z + 46. Is 7 a factor of g?
True
Let b = -69 + 69. Suppose -6*s + 12*s - 1626 = b. Does 13 divide s?
False
Let y(d) = -d**3 - 20*d**2 - 14*d - 23. Let w be y(-21). Is 4 a factor of w/32 + 3/4?
False
Let k be 1/(-4) - (-13)/52. Suppose 219 = 5*w - k*w + o, 235 = 5*w + 5*o. Does 5 divide 