-2045, -2*t = 4*c - 2726. Does 64 divide c?
False
Suppose -3*k = -m + 700, 14*m - 18*m = 2*k - 2758. Is m a multiple of 15?
False
Is 2/(-3) + 4784/39 + -11 a multiple of 5?
False
Let c(u) = 25*u + 3. Let t be c(4). Let h be ((-157)/3)/(-3*6/54). Let l = h - t. Is 9 a factor of l?
True
Let x(k) = -337*k**3 - 3*k**2 + 7*k - 2. Let d(m) = 505*m**3 + 5*m**2 - 11*m + 3. Let v(o) = 5*d(o) + 8*x(o). Is 19 a factor of v(-1)?
False
Let o(p) = -p + 72. Let z = -25 + 15. Is 26 a factor of o(z)?
False
Let b(r) = -20*r + 93. Does 7 divide b(-3)?
False
Let d(l) = -l**2 + 13*l + 96. Is d(18) even?
True
Let m(g) = 2*g**3 + 2*g**2 + 4*g - 2. Is 6 a factor of m(4)?
True
Suppose -42*a - 320 = -38*a. Let c = a + 135. Is c a multiple of 13?
False
Does 4 divide (-7*1 - (-5992)/280)*10?
True
Let z(u) = 2*u**2 + 49*u**2 - 9*u**2. Suppose -4*f - 5 = 4*w - 1, 0 = -4*f - 3*w - 4. Is 10 a factor of z(f)?
False
Suppose -201*b + 4*c - 51 = -202*b, -3 = -c. Is 3 a factor of b?
True
Let g(k) = k**2 - 5*k - 8. Let f be g(7). Let a(b) = -2*b - 6*b + b**2 - f*b + 8 + 4. Does 4 divide a(14)?
True
Let z = -5 + 8. Suppose -64 = z*v - 304. Let m = v + -56. Is 12 a factor of m?
True
Suppose -8 = -4*x, -3*x + 7 = -3*a + 1. Suppose 2*p - 23 = -b - 2*p, -2*b + 2*p - 4 = a. Suppose b*g = 5*v + 137, v - 2*v + 221 = 4*g. Does 12 divide g?
False
Suppose -56 = 2*n + 2*n + 4*i, -i = 4. Let o(l) = -l**3 - 9*l**2 + 10*l + 3. Let s be o(n). Suppose s = 2*b - 25. Does 6 divide b?
False
Let t be 3 + -6 + 33 + 0. Suppose 66 = w - t. Is 15 a factor of w?
False
Is ((-7196)/84)/(2/(-6)) a multiple of 57?
False
Let i = -8 + 22. Is 2 a factor of 104/14 - (-8)/i?
True
Let u(y) = y**3 - 3*y**2 + 3*y + 2. Let i be u(3). Let v be 15/6*8/5. Suppose 0 = v*k - i - 33. Does 5 divide k?
False
Suppose 3086 = 2*r - 3*i, 0 = 85*i - 84*i. Does 44 divide r?
False
Suppose -295*v + 293*v + 14 = 0. Is v a multiple of 2?
False
Let f be 5/((-10)/2)*(0 - 0). Suppose 0 = -2*l - l + g + 487, f = 3*l - 5*g - 491. Is l a multiple of 43?
False
Let c(x) = x**3 - 11*x**2 - 10*x + 13. Let l be c(12). Is l - 3*4/12 a multiple of 9?
True
Let v = 287 - 191. Let o = v + -55. Is o a multiple of 13?
False
Suppose 0 = -4*p + s + 801, p + 0*s = 3*s + 214. Let w = p - 67. Is 12 a factor of w?
True
Suppose -y + 18 = 15. Suppose 19 = y*g - 140. Is 23 a factor of g?
False
Let f(x) = -228*x - 219*x + 15 + 452*x. Is f(10) a multiple of 22?
False
Let o = -108 + 104. Let s(v) = -8*v. Does 13 divide s(o)?
False
Let a = -316 - -162. Let o = -79 - a. Does 15 divide o?
True
Does 13 divide 2850/3 + (-28)/4?
False
Suppose 0 = -3*t + 2*t + 5. Suppose -3*a - 2*a + t = 0. Is 13 a factor of 31/1 + (2 - a)?
False
Suppose 2*z + 2 - 8 = 0. Let x(v) = v**3 - 5*v**2. Let k be x(5). Suppose -r - z*h = 2*r - 18, 3*r + h - 16 = k. Does 3 divide r?
False
Let w(n) = -2*n + 22. Let l be w(6). Suppose -l*h - 202 = -1102. Does 15 divide h?
True
Let b(x) = -44*x + 22. Is b(-3) a multiple of 7?
True
Let z = 115 + -112. Is (-1917)/(-12) - z/(-24)*2 a multiple of 20?
True
Suppose -2 = 2*p - 16. Is (-2)/4*(p + -67) a multiple of 10?
True
Let p(k) = -85*k**3 - k**2 + 5*k + 16. Is 22 a factor of p(-2)?
True
Does 15 divide (-5)/10*6 - -1459?
False
Let d = 7245 + -3969. Let x be (d/48)/((-3)/(-8)). Suppose -u - x = -3*u. Is u a multiple of 13?
True
Let d be ((-4)/7)/(26/(-91)). Suppose -5*s + 4 = -s, d*p - 2*s + 4 = 0. Is p/(3 + -4) - -2 a multiple of 2?
False
Let u be (-1 - 0)*5/(3 - 4). Is 4 a factor of u/(-6)*8*-9?
True
Let w(c) = 11*c - 21*c**2 + 12 + 3 - 3 + 27*c**2. Is 7 a factor of w(-5)?
False
Suppose 2*v = 2*l + 22, -3*v - 16 = 4*l - 0*l. Let f(w) = -15*w - 9. Let q be f(l). Let m = q - 66. Does 11 divide m?
False
Suppose -4*q = 5*m - 612, 4*q - m - 236 = 400. Is 12 a factor of q?
False
Suppose -2*n - 12 = -4*s, 3*s - 5*s + 4*n = -6. Suppose s*w = -4*u + 252, 6*u - u = 2*w + 338. Is 12 a factor of u?
False
Let q be (-1)/(4 + -3) - 80/16. Let l(y) be the third derivative of y**5/20 + 5*y**4/24 + 4*y**3/3 + y**2. Does 24 divide l(q)?
False
Let s(n) = 7*n - 82. Let j be s(12). Let m = 0 + 3. Suppose q = -2*b + 16, j*b = b - m*q + 18. Does 3 divide b?
True
Let r = 949 - 529. Is 30 a factor of r?
True
Let x = 5 + -9. Let b(k) = -k**3 - 5*k**2 - 4*k + 2. Let p be b(x). Suppose -3*o = -p*c - 0*c - 198, o + 3*c - 66 = 0. Is o a multiple of 22?
True
Let r be 114 - (-6)/(-2 - -4). Let d = r + -83. Does 10 divide d?
False
Let u be -3 + (-1 - 2) + -2. Let j = u - -26. Let a = 5 + j. Is a a multiple of 15?
False
Let b(g) = -61*g + 1 - g**3 + 11*g**2 + 63*g - 2. Does 2 divide b(11)?
False
Let t = -146 - -242. Let x(j) = j**3 - j**2 - 4*j + 3. Let u be x(3). Suppose -t = 7*w - u*w. Does 15 divide w?
False
Suppose 3*g + 8 = 14. Suppose 0 = 5*q + 5, 2*x = -g*q + 37 + 1. Is x a multiple of 6?
False
Let l(y) = y**2 + 4*y + 4. Let r(m) = -2*m**2 - 4*m - 5. Let k(p) = p**2 + 8*p + 3. Let t be k(-7). Let n(s) = t*r(s) - 5*l(s). Does 13 divide n(-3)?
True
Let y(j) = -3*j - 6. Let k be y(-5). Suppose -2*n + 5*n - k = 0. Suppose -3*l + 4*l - 44 = -c, -4*l = n*c - 181. Does 23 divide l?
False
Suppose -1960 = -2073*s + 2071*s. Is s a multiple of 10?
True
Let h(m) = m**3 - 7*m**2 + 2*m - 9. Let v be h(7). Suppose 0*d = d - v*c - 82, 5*d - c - 458 = 0. Is 23 a factor of d?
True
Suppose -720 = -4*o + 4*m, -2*o + m = 64 - 421. Suppose 2*p - 103 = o. Does 13 divide p?
False
Suppose 5*w - 1401 - 519 = 0. Suppose -w = -0*o - 3*o. Is o a multiple of 16?
True
Let u(q) = q**2 - 6*q + 5. Let n be (-3)/18 + (-98)/(-12). Let a be u(n). Let v = a - 13. Is v a multiple of 4?
True
Suppose 6*i - 12 = 48. Suppose 5*p = i + 80. Is p a multiple of 9?
True
Let k(j) = 12*j**2 - 10*j - 32. Does 7 divide k(-5)?
False
Let u(b) be the first derivative of -b**2/2 + 19*b + 5. Does 3 divide u(4)?
True
Let q(j) = 46*j**2 - 8. Is q(-2) a multiple of 3?
False
Let k be -5 - (3/(-15) - (-28)/(-10)). Is 35 a factor of (39 - 0) + k + -2?
True
Let t be (-4 + 5 + -241)*(-2)/(-5). Is 41 a factor of 2952/t*-1*(-8)/(-1)?
True
Let j = -35 + 44. Suppose 3*h = -5*w + 329, -3 - j = -4*h. Is 17 a factor of w?
False
Let f = -321 - -330. Suppose 4*l = 2*c + 58, -l + 4*c + 15 = 4. Is (f/l)/(5/575) a multiple of 14?
False
Suppose -1 = -x - 7. Let d be x/(-3) + 1 - 1. Suppose d*z - 18 = z. Is 6 a factor of z?
True
Let y(s) = 12*s + 2. Suppose 0 = -2*r + 7 - 1. Let w be y(r). Let f = 73 - w. Does 11 divide f?
False
Let f be 2/(-3) + (-12)/(-18). Suppose -q + 8 = -2*k + 3*q, 2*k + 3*q + 15 = f. Let v = k + 18. Is 4 a factor of v?
True
Does 13 divide (-32)/80 + 10144/(-10)*-1?
True
Let t(g) = 12*g - 3. Let q be t(9). Let h be (-2)/7 - (-30)/q. Does 19 divide 1 - h - 2*-44?
False
Suppose -45 = -11*j + 16*j. Let n = 45 + j. Does 12 divide n?
True
Suppose -7*g = -35 - 21. Let y(s) be the first derivative of s**4/4 - 7*s**3/3 - 7*s**2/2 + 5*s - 1. Does 12 divide y(g)?
False
Let v = -61 + 63. Suppose 4*q - v*k = 2*k + 108, -2*q = -5*k - 60. Is 18 a factor of q?
False
Let w(s) = 36*s**3 - 34*s + 35. Does 22 divide w(1)?
False
Let f(w) = -w**2 + 8*w - 5. Let g be f(7). Suppose g*u - 6*u = -8. Suppose 2*m - 72 = -u*v, 177 = 5*v - m + 3*m. Is v a multiple of 22?
False
Let b be (-472)/40*(-6 - -1). Suppose -16 - b = 5*m. Let q = m + 23. Is q a multiple of 3?
False
Suppose 11*j - 11289 = -784. Does 32 divide j?
False
Let t(o) = 96*o**2 + 124*o + 4. Is t(-4) a multiple of 116?
True
Let l be ((-28)/(-3))/((-8)/48). Let b be -1 + (-1 - (1 - 9)). Is 14 a factor of (3/b)/((-2)/l)?
True
Let i be (1 + (-9)/15)*(335 - 0). Let n = -78 + i. Does 8 divide n?
True
Let z(w) = 790*w**2 - 26*w - 25. Is z(-1) a multiple of 7?
True
Let b(v) = 2*v**2 + 13*v + 18. Suppose 3*h = -0 - 27. Is 7 a factor of b(h)?
True
Suppose 0 = 3*f - 5*y - 215, -240 = -4*f - 6*y + y. Does 7 divide f?
False
Let j be (-3 - -2)*(-4 + 40). Let n = j - -126. Is 30 a factor of n?
True
Let u be (-45)/(-6)*2/3. Suppose 2*b = u*b - 72. Suppose 2*h - 4*j - b = 0, -5*h + 52 = -2*h + 2*j. Is h a multiple of 13?
False
Let l = -10 + 14. Suppose l*n = 8*n - 20. Suppose 2*z + n*u = 28, 4*z + 6*u = 3*u + 28. Is 2 a factor of z?
True
Suppose -7 = -3*p + 5*d + 15, 2*p + 4*d = 0. Let t = -10 - -10. Suppose -p*m + 15 = 3*r - m, -3*r + m + 31 = t. Does 3 divide r?
True
Suppose 5*h - 898 = -3*u, 3*u - 5*h - 497 =