-2)/1. Is 13 a factor of (u + 12 + 1)/1?
True
Suppose 0 = t - 13 + 71. Let u = 116 + t. Is u a multiple of 18?
False
Let x(y) = -y**3 + 8*y**2 - 8*y + 5. Let v be x(7). Let r(o) = -4*o**3 - 2*o**2 - 2*o - 2. Is r(v) a multiple of 10?
False
Suppose -8*p = -15*p + 154. Is 6 a factor of p?
False
Suppose -10*c = -7*c - 117. Is c a multiple of 17?
False
Let d be (0 - 0/(-3))/2. Suppose d = i + 3*g - 69, 5 = -i + 3*g + 68. Let f = -34 + i. Does 13 divide f?
False
Let w(u) be the third derivative of u**9/12096 + u**8/20160 - u**5/30 + 2*u**2. Let x(j) be the third derivative of w(j). Does 3 divide x(1)?
True
Let k = -7 - -10. Suppose -y - k*y = -72. Is 9 a factor of y?
True
Let a be (1/2)/(1/10). Suppose -a*j + 33 = -2*j. Is j a multiple of 11?
True
Suppose -3*q + 450 = 2*q. Suppose -h - q = -6*h. Is h a multiple of 7?
False
Let w = 9 - -1. Is w a multiple of 4?
False
Suppose 3*x = -q + 1 + 8, 3*q = 4*x + 1. Suppose 4*h = y + 8, -q*y + y - 6 = -3*h. Suppose y = i - 5*i + 120. Does 10 divide i?
True
Let n(p) = 14*p**2 - p**3 + 0 - 8*p**2 + 3 - 3*p - 10*p**2. Let z = 1 - 4. Is 2 a factor of n(z)?
False
Let f = -32 + 95. Does 13 divide f?
False
Let p(d) = 12*d + 6. Does 18 divide p(10)?
True
Let n(x) = -5*x + 5. Suppose -4*y - 19 = -4*v - y, -2*v = 4*y + 18. Let z = -4 - v. Is 9 a factor of n(z)?
False
Let j = 13 - 7. Is 46/j + (-1)/(-3) a multiple of 3?
False
Let t be (-39)/(-15) - (-4)/10. Suppose -6 = -t*d - 0. Suppose -d*a = -6*a + 56. Is 6 a factor of a?
False
Suppose -10*b + 3*b + 77 = 0. Is 4 a factor of b?
False
Let l be 233/(-5) + (-2)/5. Let b = l + 79. Suppose 4 - b = -r. Is 11 a factor of r?
False
Suppose 8*d = -3*g + 3*d + 144, -4*g = -2*d - 192. Is g a multiple of 15?
False
Let a = 648 + -357. Does 32 divide a?
False
Let c(i) = -i**3 + 4*i + 3. Let l be c(-2). Let o = l - 4. Does 18 divide (2*o)/((-2)/18)?
True
Suppose o - 135 = -4*o. Is (-2)/9 + 1356/o a multiple of 14?
False
Suppose -7*r - 199 = -1375. Does 14 divide r?
True
Is 12 a factor of ((-21)/(-2))/((-15)/(-280))?
False
Suppose 0 = -2*q + 4. Suppose -q*a + l - 2*l + 20 = 0, 2*a - 32 = 5*l. Is a a multiple of 11?
True
Let y(r) = 2*r - 3. Let v be y(3). Suppose -v*o = -3*i - 18, 0*o + 16 = 2*o - 3*i. Suppose 26 = 4*f - o*f. Is f a multiple of 13?
True
Suppose -3*t + 19 = -u, -3*t = -3*u - 3 - 6. Does 2 divide (-2)/t*2*-12?
True
Let w be 10 + (3 - 1)/2. Suppose -2*c + 0*o + 35 = 5*o, 4*o - 10 = 2*c. Let s = w - c. Is s a multiple of 6?
True
Let j(n) = n - 2. Let a be j(7). Suppose -2*d + 148 = -a*o, -2*d + 57 = o - 67. Suppose 0 = -l + d - 12. Does 27 divide l?
False
Let u(o) = -3*o**2 + 3*o + o**3 + o**3 + o**2 - 2 - 4*o. Let v be u(2). Is 19 a factor of -15*(1 - v)/1?
False
Let x(r) = 2*r - 55. Let s be x(0). Let d = 89 + s. Is 17 a factor of d?
True
Let m = 63 - 27. Let r be (-6)/15 + m/15. Let k = r - 0. Is k even?
True
Suppose -5*p = -7 + 2, -3*p = 3*r - 105. Does 34 divide r?
True
Let h = 7 - 7. Suppose h = 5*r - 186 - 74. Is 13 a factor of (-1)/2*r*-1?
True
Let f = 4 - 3. Suppose f = b - 8. Suppose -y + 78 = 4*y - p, -y = 2*p - b. Is y a multiple of 15?
True
Suppose -w = -49 - 79. Is w a multiple of 38?
False
Let j(z) = -2*z - 28. Is j(-27) even?
True
Let y = -22 - -32. Suppose -2*v + y = 5*q, 0 = -2*v + 7*v. Is -4*q*3/(-3) a multiple of 8?
True
Let m = -26 - -92. Is 22 a factor of m?
True
Let h be 7/(((-16)/36)/4). Let u = -12 - h. Is 16 a factor of u?
False
Suppose -f = 3*h - 14, 2*f + 12 = -f. Suppose -4*q + n = 3, 3*q + 0*q = n - 2. Does 2 divide (h/2 - 0) + q?
True
Suppose -4*u + 3*u = 0. Suppose u = -6*a + 2*a + 84. Is a a multiple of 6?
False
Let a(h) = h**3 - 7*h**2 + 9*h - 14. Does 4 divide a(6)?
True
Let b be (-933)/(-7) + (-2)/7. Suppose -b = -4*o + 163. Is (o/3)/((-2)/(-3)) a multiple of 16?
False
Suppose 2*j = 4*j - 2*w + 6, -10 = -2*w. Suppose -j*h + i + 39 = 0, -4*h = -2*i - i - 77. Does 7 divide h?
False
Let y = 37 - -17. Let a = y - 36. Is 6 a factor of a?
True
Let y = 2 + 2. Suppose 2*x + 20 = y*x. Does 5 divide x?
True
Let x = -4 + 12. Does 5 divide x?
False
Let d = -26 + 49. Is d a multiple of 11?
False
Let p(w) = -w**3 + w**2 + 4*w - 1. Is p(-4) a multiple of 21?
True
Suppose 0 = -16*h + 12*h + 396. Is h a multiple of 27?
False
Suppose 5*b = h - 96, 0 = 2*h - 5*b - 45 - 137. Does 36 divide h?
False
Let h(x) = -110*x + 2. Let t(g) = 55*g - 1. Let m(v) = 3*h(v) + 5*t(v). Does 23 divide m(-1)?
False
Suppose -4*a - 3*x + 21 = a, 39 = 5*a - 3*x. Let m = a + -3. Suppose 2*p - 3*y - 225 = -3*p, 4*p = m*y + 180. Is 16 a factor of p?
False
Let a = -31 + 54. Is a a multiple of 17?
False
Let g be 4/(-2)*17/(-2). Suppose -2*s - 9 = g. Let c(i) = i**3 + 13*i**2 + 11. Does 4 divide c(s)?
False
Let q be (-2 - -8)/(-3) + 57. Suppose -4*v + 9*v = q. Is 11 a factor of v?
True
Is 11 a factor of 85/((-70)/56*(-4)/10)?
False
Let s(u) be the third derivative of u**7/140 - u**5/60 - u**2. Let r(l) be the third derivative of s(l). Does 16 divide r(1)?
False
Suppose 0 = -0*a + a - 5*c - 69, 2*a - 138 = -3*c. Suppose 51 = -3*h - a. Let y = -11 - h. Is 10 a factor of y?
False
Suppose -5*p = i + 4*i - 20, 0 = 2*p + 4*i - 16. Suppose 4*u + p*u - 136 = 0. Is u a multiple of 17?
True
Let r = -6 - -8. Let w(j) = j**2 - 9*j + 9. Let i be w(8). Is i*(36 + (-2)/r) a multiple of 17?
False
Let b = 8 - -21. Suppose -3*w + b = -4*q, 28 = -5*q + w - 0*w. Let a(i) = -i**3 - 6*i**2 - 7*i - 4. Is 3 a factor of a(q)?
True
Is ((-56)/10)/((-9)/(-18))*-5 a multiple of 28?
True
Suppose -3*t - 24 = t. Does 4 divide ((-4)/t)/((-2)/(-33))?
False
Let p be (-1)/4 + 40/32. Let m be (15 - -1)*p - -3. Let n = m + -6. Is 13 a factor of n?
True
Let b = -13 + 28. Does 13 divide ((-114)/b)/((-2)/10)?
False
Suppose 3*j + 2 = -4*b - 5, j - 5*b - 23 = 0. Suppose -j*t - 15 = -48. Is t a multiple of 11?
True
Suppose 0 = 5*l - l - 64. Is l a multiple of 16?
True
Let o = -22 - -48. Does 6 divide o?
False
Let p(f) be the first derivative of f**3/3 - 2*f**2 + 1. Suppose -12 = 8*h - 10*h. Is 12 a factor of p(h)?
True
Let r(l) = -l + 3. Let k be r(2). Let i be 1 + (-1)/((-1)/k). Suppose i = s + j, j - 5 = 2*j. Is 5 a factor of s?
False
Is (-12)/8*496/(-12) a multiple of 22?
False
Suppose -g + 3*s = g - 54, -2*g + 66 = 3*s. Does 8 divide g?
False
Let c(h) = h**2 - 7*h + 3. Let y(x) = -x + 2. Let r be y(-4). Let b be c(r). Is 14 a factor of 30 + (1 + b - 0)?
True
Let o = -9 - -65. Is 14 a factor of o?
True
Suppose 2*b - 4 = w, -4*w + b - 13 = -4. Is w/10 + 186/30 a multiple of 3?
True
Suppose 5*g = -1 - 59. Let k = -24 - g. Is 38/8 + (-3)/k even?
False
Let m be (0 + 33/6)*18. Suppose 3*v = 45 + m. Let z = v - 24. Is 12 a factor of z?
True
Let s(z) be the third derivative of -z**4/6 - z**3/6 - 2*z**2. Let g be s(-1). Suppose j - 4 = 0, -x + 48 = g*x - 5*j. Does 6 divide x?
False
Suppose 3*k - 212 = -0*s + s, -3*k + 3*s + 216 = 0. Is k a multiple of 14?
True
Let n(l) = l - 1. Let t be n(-1). Let r(z) = 8*z**2 + 3*z. Is r(t) a multiple of 26?
True
Suppose 4*u = 3*a - u - 19, 0 = -a - 3*u - 3. Suppose 6*k = a*k + 21. Is k a multiple of 3?
False
Let v(s) = -11*s + 1. Is v(-4) a multiple of 15?
True
Suppose -33 + 13 = -5*n. Suppose u - 1 = -2*g, 0 = -4*g + n*u + 14 + 18. Suppose 0 = -3*y - 3*j + 24 + 15, 0 = g*y - 2*j - 54. Does 8 divide y?
True
Let q = 31 + 37. Is 22 a factor of q?
False
Let g = 111 - 65. Does 23 divide g?
True
Suppose 22*w - 408 = 14*w. Is 10 a factor of w?
False
Let s = 5 + -3. Suppose 0 = 4*y + h - 204, s*h - h + 4 = 0. Does 14 divide y?
False
Let g = 8 + -5. Suppose -50 = -g*y + 43. Does 17 divide y?
False
Let z(j) = j**3 - 2*j - 5. Let w(s) = 2*s**3 - s**2 - 3*s - 9. Let l(r) = -4*w(r) + 7*z(r). Suppose -4*p = -2 - 10. Is l(p) a multiple of 4?
True
Suppose 2*u - 4 = 0, 2*c - c - u + 42 = 0. Let h be 2/(0 - -2)*-86. Let n = c - h. Is 23 a factor of n?
True
Let t be (-5)/((-1)/12*2). Suppose 2 = 2*a - 2*g, -3*a + 4*a - 19 = -5*g. Is 9 a factor of (t/(-5))/(a/(-10))?
False
Let f = 115 + -43. Does 11 divide f?
False
Let g = 48 + -67. Suppose 0 = 5*x + q + 269, -4*x - 20 - 196 = q. Let l = g - x. Is 18 a factor of l?
False
Suppose 147 = 5*w + 37. Is w a multiple of 4?
False
Suppose 4*z - 41 = 5*g, 0*z + 4*z - 6 = -2*g. Let k = g + 31. Is 13 a factor of k?
True
Let h = 8 + 2. Suppose -s = -h - 7. Does 17 divide 