*i + 13 = 5*r - 9. Suppose -12 = -4*t + r. Is t even?
True
Let c = 9 - 6. Suppose 5*y - c = 17. Suppose u - 4*u + 1 = 4*j, -j = y*u - 23. Is 2 a factor of u?
False
Suppose 26*o = 27*o - 209. Let t = -125 + o. Let q = -52 + t. Is 7 a factor of q?
False
Let k(u) = 36*u**2 + 2*u + 1. Let b be k(-1). Suppose -161 = -3*x - b. Does 25 divide x?
False
Suppose 581*f + 1008 = 589*f. Is 6 a factor of f?
True
Let l be 12/(-8)*(-1 - -3). Let j be (-12)/9*l/(-2). Let o(w) = 3*w**2 + 2*w + 2. Is 10 a factor of o(j)?
True
Suppose -9*a - 12 = -6*a. Let f(h) = -19*h + 3. Does 9 divide f(a)?
False
Let h(k) = k**2 - 13*k - 18. Does 53 divide h(-10)?
True
Let i(t) = 99*t + 78. Does 53 divide i(6)?
False
Suppose -9*p + 1282 = -4910. Is 5 a factor of p?
False
Let n be (-51)/(-15) - (-6)/(-15). Suppose n*k = 2 + 4. Does 7 divide 1*(k + 4) - -1?
True
Let x(z) = 49*z - 17. Let h(q) = q**2 + 1. Let r be h(2). Does 22 divide x(r)?
False
Let g(s) = s + 882. Is g(-21) a multiple of 41?
True
Suppose 22*r + 6533 = 21053. Is 22 a factor of r?
True
Suppose 93*i - 2178 = 82*i. Does 33 divide i?
True
Let s be (-13)/5 - 15/(-25). Let v be s + (-2)/(-1)*4. Is 8*(2 - (-27)/v) a multiple of 13?
True
Suppose 4*r + 29 = l, 11*l + 4*r - 116 = 7*l. Does 29 divide l?
True
Let s(o) = -22*o + 26. Let x be s(9). Suppose c - 4*c - 813 = 0. Let b = x - c. Does 11 divide b?
True
Let w(h) = -h - 1. Let g be w(-4). Let x be (23/(-115))/(16/(-15) - -1). Suppose 5*q = f + x*q - 21, 2*q - 71 = -g*f. Is 14 a factor of f?
False
Suppose 2*d - 4*d + 12 = 0. Let r = -3 + d. Does 3 divide (-16)/(-3 + r + -2)?
False
Let j = 11 - 8. Suppose 17*k - 13 = 55. Suppose 0 = -j*f + k*c + 63 + 45, 0 = 2*c. Is 6 a factor of f?
True
Let k(a) = 75*a**2 - 46*a - 313. Does 13 divide k(-7)?
False
Is (3 - -9)*(-2222)/(-44) a multiple of 32?
False
Let t = -509 - -957. Does 19 divide t?
False
Let d be (0/8)/(2*1). Suppose d*n = 3*c + 3*n - 21, 0 = -4*n + 16. Suppose -3*b - 5*l = -b - 71, -l + c = 0. Does 13 divide b?
False
Let m be (-4)/(-5)*(-5)/(-2). Suppose 5*s = 4*s + m*w + 19, -2*s + 2*w + 32 = 0. Let f = s + -8. Does 5 divide f?
True
Let c = 1472 + -582. Does 11 divide c?
False
Let a be 8*(-2 + (-20)/(-8)). Suppose -66 = -2*d + 5*w + 279, -a*w - 708 = -4*d. Does 45 divide d?
True
Suppose 9*j + 15756 = 22*j. Does 12 divide j?
True
Suppose 3*p + 5*d - 123 = -45, -p = 5*d - 26. Is 5 a factor of p?
False
Let c(g) = -2*g - 10. Let u be c(-7). Suppose -4*v + 3*y = -20, -3*y - 20 = -u*v + 2*y. Suppose f - v = 28. Is f a multiple of 11?
True
Let i = 80 - 5. Let s = i + -144. Is 17 a factor of (-5 - -3)/2 - s?
True
Let r(w) = -344*w - 184. Is r(-10) a multiple of 88?
True
Suppose -2*w + v + 8666 = 0, w + 2555 = v + 6886. Does 15 divide w?
True
Suppose -12 = 5*d - 8*d, -5*d = -c + 32. Is c a multiple of 14?
False
Let p(c) = 10*c - 6 - 9*c + 1. Let z be p(-6). Is 16 a factor of 708/22 - (-2)/z?
True
Suppose 0 = -2*m + 5*a + 790, -7 + 17 = -5*a. Is m a multiple of 22?
False
Let c(x) = x**3 + 9*x**2 + 4*x + 1. Let r be c(-7). Let i be 4/26 + 2208/13. Suppose -2*p + 53 = -4*d - r, -3*p - 2*d + i = 0. Does 29 divide p?
True
Suppose -3*c + 46 + 11 = 0. Let v = c + 15. Let q = v + -21. Does 13 divide q?
True
Let w = 4 + -2. Suppose -w*z - 11 = -3*l + 2*z, 5*l + 3*z - 28 = 0. Suppose 3*q - 269 = 5*t, 5*q - l*t = -0*q + 445. Is q a multiple of 22?
True
Let k(x) = -44*x - 165. Is k(-32) a multiple of 87?
False
Suppose 0 = 4*c - 10 + 10. Does 20 divide (63 - 2) + -3 + c?
False
Let r(k) = 4*k - 3. Let c(m) = -m - 6. Let u be c(-8). Let f be r(u). Suppose a + f = 47. Does 14 divide a?
True
Is 26 a factor of (208912/(-396))/(5/((-45)/2))?
False
Suppose -q = -5*g - 501, g + 1038 = 2*q - 0*g. Is 36 a factor of q?
False
Suppose 3*p - 2*m = -0*m + 91, 2*p - 62 = 2*m. Let a be ((-10)/4)/(60/(-48)). Suppose 3*s - 48 = -a*o, 6*s = -o + 2*s + p. Is 11 a factor of o?
False
Let t(h) = 211*h - 513. Does 11 divide t(20)?
True
Suppose t = -3*j + 3757, 4*t + 0 = -20. Is j a multiple of 66?
True
Let r = -1260 + 1284. Is r even?
True
Suppose -2*l + 4*x + 333 = -171, 5*l - 1260 = -4*x. Is l a multiple of 28?
True
Let a be (156 - (-2 - (-1 - -1))) + 2. Let c = a - 85. Is c a multiple of 5?
True
Suppose 9*c = 13*c. Let n(f) = -14*f**3 + 2*f + c*f + 9*f**3 + 6*f**3 + 5 - f**2. Is 4 a factor of n(0)?
False
Suppose 16971 = 27*b - 17319. Does 25 divide b?
False
Let z(k) = -k**3 - 66*k**2 + 164*k + 73. Is z(-69) a multiple of 76?
True
Let n(p) = p**3 + 9*p**2 + 6*p - 14. Let t be n(-8). Suppose 0 = -5*q - y + 80, -t*y = -y + 5. Does 17 divide q?
True
Let l = -128 + 100. Let m = l + 73. Does 41 divide m?
False
Let h = -86 + 95. Is (3/(-2))/(h/(-84)) a multiple of 4?
False
Let u be (-2)/(-6) + 7096/24. Let h = u + -131. Suppose 0*y = -3*y + h. Is 18 a factor of y?
False
Suppose 2*s = 231 + 1267. Is 70 a factor of s?
False
Suppose -31 = 4*t + 25. Let c = t + 14. Suppose c = -a + 3*s + 46, -3*a - s - 2*s + 102 = 0. Is 10 a factor of a?
False
Suppose 0 = 2*z, z + 925 = -3*g + 268. Let t = -121 - g. Is 49 a factor of t?
True
Let l(v) = v - 10. Let j be l(7). Does 13 divide ((-3)/6*1)/(j/234)?
True
Let x = 366 + -335. Does 7 divide x?
False
Let t(b) = -b + 4. Let p be t(0). Suppose 2*f + p*f = 240. Does 10 divide f?
True
Suppose 0 = -38*j + 34*j + 372. Let i = 170 - j. Is 11 a factor of i?
True
Suppose -l + 10*l + 135 = 0. Is 26 a factor of ((-132)/10)/(3/l)?
False
Suppose j + 21*j - 28886 = 0. Is j a multiple of 77?
False
Let w(i) be the first derivative of i**4 - 5*i**3/3 + 5*i**2/2 - 3. Let r(u) = -u**3 + 1. Let n(a) = 2*r(a) + w(a). Is 27 a factor of n(4)?
False
Does 23 divide (-100928)/(-498) + (-4)/6 + 1?
False
Suppose 0 = -2*y + 4*n + 4268, -4*n - 4270 = -5*y + 6376. Is 53 a factor of y?
False
Suppose 0 = -0*z - z. Suppose -2*c + 3*i = -270, z*i + 3*i = -2*c + 294. Does 12 divide (3 - c/6)*-2?
False
Let h(k) = -65*k - 4. Does 20 divide h(-7)?
False
Let t(a) = 32*a**2 + 25*a - 118. Is 13 a factor of t(7)?
True
Let j be 27/12*24/9. Suppose 3*r - j = v, 0*v - r + 10 = -v. Let p(s) = s**2 + 8*s - 8. Is p(v) a multiple of 10?
True
Suppose 5*r + 5*p - 515 = 0, 0 = -40*p + 36*p + 4. Does 10 divide r?
False
Let u(c) = -2*c - 4. Let m be u(4). Let g be (-2)/5*(7 + -2). Is 9 a factor of 48*g*m/32?
True
Suppose 2*t + 4*l - 1404 = -2*t, 0 = 3*t - 3*l - 1077. Does 35 divide t?
False
Suppose 908 = 195*m - 191*m. Let v = m - -73. Does 22 divide v?
False
Let m = -667 - -757. Is 6 a factor of m?
True
Let x(k) be the first derivative of 9*k - 3 + 2/3*k**3 - 7/2*k**2. Is 9 a factor of x(5)?
False
Let g(q) = 4*q + 22. Suppose -28 = 3*m - 22. Let s be (-5)/(m - 3) - -6. Does 25 divide g(s)?
True
Let m(c) = c**3 + 12*c**2 + 10*c - 12. Let d be m(-11). Let s be -34 + 4 + d - 2. Let f = s + 50. Does 14 divide f?
False
Let u(y) = y**3 - 7*y**2 + 8*y - 6. Let t be u(5). Let d = 19 + t. Suppose 111 = d*l - 9. Is 10 a factor of l?
True
Suppose 0 = 5*f - n + 425, 255 = -3*f - 5*n - 0*n. Is 7 a factor of (-164)/(-5) - 17/f?
False
Suppose -x + 11 = 2*x + w, 3*w - 8 = -4*x. Suppose -2*i - 23 = -b, x*b = 2*b - 3. Let t = -2 - i. Is t a multiple of 7?
False
Let t = -500 + 978. Let x = 673 - t. Does 20 divide x?
False
Let w = 26 - 29. Is 3 - (-2 - 29) - w a multiple of 23?
False
Let t be (-2)/6 + (-21)/(-9). Let h(d) = -d**3 - 10*d**2 + 12*d + 14. Let m be h(-11). Suppose -1 - m = -t*l. Is 2 a factor of l?
True
Let m(v) = -v**3 + 12*v**2 - 12*v + 13. Let c be m(11). Suppose -c*a = -5*a. Suppose a = 3*x + o - 44, -5*x + 39 = 3*o - 37. Is 3 a factor of x?
False
Let l be (-10)/45 - 76/(-18). Let n(a) = 6*a**2 - 7*a + 8. Does 19 divide n(l)?
True
Suppose 2*j + j - 33 = -5*i, -2*j - i = -15. Let n = 13 - j. Suppose n*s + 4*h - 90 = 2*s, 72 = 4*s - h. Is s a multiple of 6?
True
Suppose 15 = -4*x + o, -4*o = 5*x - 1 + 4. Is 18 a factor of ((-3 - -3) + x)*-18?
True
Let i(t) = -t**3 + 19*t**2 + 5*t - 15. Does 2 divide i(16)?
False
Suppose 15*z - 112 = 23. Suppose -24*m + 4395 = -z*m. Is m a multiple of 16?
False
Suppose v = -2*k - k + 153, 475 = 3*v + 5*k. Suppose 0 = 5*t + 5*j - v, 2*t + 2*t - 4*j = 156. Does 6 divide t?
True
Let h(k) = k - 18. Let c(z) = -5*z + 73. Let w(m) = -2*c(m) - 9*h(m). Is 3 a factor of w(-5)?
False
Suppose -3*j - 1088 = -5*w, -9*j + 5*j - 204 = -w. Does 44 divide w?
True
Let