le of 13?
True
Is 23 a factor of 89 - (0 + -2 + 1)?
False
Let m(k) = k**3 - k**2 + k + 11. Let w be m(0). Let r = 23 - w. Does 6 divide r?
True
Is 9/(45/10) - (1 - 11) a multiple of 2?
True
Let m = 190 + 36. Is m a multiple of 19?
False
Let x be ((-3)/6)/(2/(-496)). Suppose x + 11 = 5*w. Does 11 divide w?
False
Suppose 4*b = -4*p, 0 = -2*p - 5*b - 2 + 8. Let y = 2 - p. Does 3 divide y?
False
Suppose -y - 2*l = -19, l = y - 0*l - 10. Is y a multiple of 8?
False
Let p be -2 + 0 - -1 - -18. Let w(h) = 4*h - 3. Let c be w(4). Suppose 3*n - c = p. Is 5 a factor of n?
True
Let f be ((-8)/(-16))/(1/10). Suppose -f*q + 2*k + 3*k + 30 = 0, -3 = -k. Does 4 divide q?
False
Let y(m) = 2*m + 21. Let t(k) = k + 11. Let j(c) = -5*t(c) + 3*y(c). Is j(8) a multiple of 8?
True
Let g = -1 + 4. Suppose w = m + 38, -g*m = 5*w - 266 + 76. Is 10 a factor of w?
False
Let n be -6*(8/3)/(-4). Suppose 0 = 6*m - n*m - 28. Let x = m + -4. Does 5 divide x?
True
Suppose p = -4*p + 300. Suppose -3*u + p = 2*u. Does 12 divide u?
True
Suppose 6*k - 427 = -k. Is k a multiple of 19?
False
Let w(t) = t**3 - 2*t**2 - 3*t + 3. Suppose -4*v + 0*y = y + 8, 2*v + 10 = y. Let i be w(v). Let q = i - -47. Is 7 a factor of q?
True
Let d(m) = -15*m + 10. Let t be d(-9). Suppose q - t = -4*q. Does 15 divide q?
False
Let k = -117 - -164. Is k a multiple of 26?
False
Let m(z) = z**3 - 5*z**2 - 6*z + 5. Suppose -3*y = -4*n + 30, -4*n - 3*y + 12 + 6 = 0. Let i be m(n). Suppose -k + 2*k - i = 0. Is k a multiple of 2?
False
Suppose -2*i = -5*g + 3, -3*i + 6*g + 3 = g. Is i a multiple of 6?
True
Let a = -31 - -55. Is a a multiple of 12?
True
Suppose 5*m + 5*x - 595 = 0, 0*m + 3*m + 4*x = 352. Is m a multiple of 35?
False
Let j = 155 - 10. Suppose 0 = 4*o - 2*o. Suppose o = 4*b - 3*l - j, -b + 2*b = -2*l + 28. Is b a multiple of 17?
True
Is (-583)/(-13) - (-2)/13 a multiple of 9?
True
Suppose 20 = -4*o, -3*u - u = 2*o + 38. Let m = -1 - u. Suppose 0 = a - 20 - m. Is a a multiple of 8?
False
Suppose -6*v + v = -130. Let c(o) = 0*o - 2*o + v + 3*o. Does 12 divide c(0)?
False
Let z(c) = -c**2 + 7*c - 6. Let g be z(6). Let r be ((-24)/(-20))/(6/45). Does 3 divide 2/3*(r + g)?
True
Suppose -i - 4*m + 8 = 0, -3*i + 19 = i + 3*m. Suppose 24 = -i*b + 8*b. Does 3 divide b?
True
Let u(y) = 7*y + 1. Let s be u(1). Suppose 3*c - s*c = -10. Suppose -3*w + 48 = -c*j, -5*j = -0*w - 2*w + 43. Is 7 a factor of w?
True
Suppose 5*i - 198 = 2. Is 6 a factor of i?
False
Let c = 13 - 8. Let w = 21 - c. Is w a multiple of 8?
True
Let h(l) be the first derivative of -l**4/4 - 5*l**3/3 + 3*l**2 + 6*l + 29. Let z = 5 + -11. Is h(z) a multiple of 6?
True
Let y(i) = 5*i - 2*i + i + 1. Is y(5) a multiple of 7?
True
Let s(h) = 4*h + 2. Let g be s(1). Suppose 2*t - g*t + 108 = 0. Is 9 a factor of t?
True
Suppose -5*m - 5*f - 15 = 0, 0 = 5*m - m - 3*f - 23. Suppose 2*d + 92 = 4*n, -3*n + 0*d = -m*d - 71. Is 21 a factor of n?
True
Let x(o) = 8*o + 2. Let c be x(2). Suppose -w + 2*w = c. Does 18 divide w?
True
Let w = 27 + -54. Let r = -6 - w. Is r a multiple of 8?
False
Suppose 169 + 147 = v - 3*i, i - 1225 = -4*v. Does 69 divide v?
False
Let d be (-2)/(0 - (-2)/(-4)). Suppose 5*q + 23 = -0*p + p, -16 = d*q. Suppose 51 = p*g + 21. Does 10 divide g?
True
Suppose -4*k - k = 2*o - 69, k + 95 = 3*o. Is 8 a factor of o?
True
Let m(z) = 4*z - 2. Let a(w) = -3*w + 1. Let s(y) = 8*a(y) + 5*m(y). Let k be s(-2). Is (-3)/k*-6*9 a multiple of 16?
False
Let c(s) = s**2 - s + 1. Does 19 divide c(-10)?
False
Let p(q) = -q**2 + 3*q - 2. Let t be p(3). Let r(n) = n**3 + 2. Let o be r(t). Let b = -3 - o. Does 2 divide b?
False
Suppose 3*s = -4*h + 326, 3*s - 3*h + 5*h - 334 = 0. Is 19 a factor of s?
True
Let b(j) = -j - 3. Let m be b(5). Let h(o) = -o - 5. Let x be h(m). Suppose 15 - 75 = -x*u. Is 15 a factor of u?
False
Let q(c) be the second derivative of -7/12*c**4 + 0 - c + 1/20*c**5 + 3/2*c**3 - 3*c**2. Is q(6) a multiple of 6?
True
Let w = 48 - 0. Does 12 divide w?
True
Suppose -5*i + 1395 = 5*q, -2*q + 842 = 3*i - 4*q. Suppose 3*y + 16 = 7*y, -4*x = 4*y - i. Does 22 divide x?
True
Let w = 35 - 23. Does 6 divide w?
True
Let x(p) = -p**3 + 5*p**2 + 5*p + 12. Does 2 divide x(6)?
True
Let z(h) = -h**3 + 7*h**2 + 6*h + 8. Let c be z(6). Suppose 11*w - c = 6*w. Is w a multiple of 8?
True
Let a(r) = -1. Let g(q) be the third derivative of -q**5/20 - q**4/8 + q**3/6 + q**2. Let f(n) = 4*a(n) - g(n). Does 16 divide f(-4)?
False
Let h(c) = -c + 9. Suppose 2*n - 6 = 4. Let i be h(n). Suppose -i*o + 39 + 5 = 0. Is o a multiple of 11?
True
Does 11 divide ((-2)/(-8))/((-1)/(-188))?
False
Let k = 98 - 25. Does 11 divide k?
False
Let m(f) = -61*f + 58. Does 20 divide m(-3)?
False
Let a(w) = -w**3 + 5*w**2 - 4*w - 1. Suppose -20 = -5*x - n, -5*x + 5*n = -2*x + 16. Is a(x) a multiple of 3?
False
Let x be (-1)/(-2)*12*5. Suppose 0 = -15*g + 12*g + x. Is g a multiple of 9?
False
Suppose 0 = -0*d - 4*d. Suppose -o - 4 - 4 = d. Let a = o + 16. Does 3 divide a?
False
Let w = -25 + 73. Does 9 divide w?
False
Let r(n) = 2*n**2 + 21*n + 3. Let l(f) = -f**2 - 10*f - 2. Let t(p) = -7*l(p) - 3*r(p). Let y be 4/8*(-17 - -3). Is 2 a factor of t(y)?
False
Suppose -6*k = -3*k. Suppose -46 = -2*d - k*d. Does 12 divide d?
False
Let o = 8 - -14. Let h = 1 + -1. Suppose c = -h*c + o. Does 8 divide c?
False
Let x(s) = -22*s - 1. Suppose 7 - 16 = -3*v. Let o(l) = -l + 2. Let g be o(v). Is x(g) a multiple of 12?
False
Suppose -3*q + 5*q = 74. Suppose 0 = -5*y + q + 103. Does 7 divide y?
True
Suppose 2*c + 310 = 5*i, 0*i + 172 = 3*i - 4*c. Does 8 divide i?
True
Let y(t) = 2*t + 100. Does 10 divide y(0)?
True
Let g(c) be the third derivative of 5*c**4/8 - c**3/2 - 2*c**2. Let v(l) = -23*l + 4. Let f(k) = 8*g(k) + 5*v(k). Does 7 divide f(5)?
True
Suppose -4*z = -z + 18. Let i = 0 - z. Is i a multiple of 3?
True
Suppose -4*u + 9*u = -t + 152, -2*t = 3*u - 94. Does 15 divide u?
True
Let m be -5*(-5)/(75/24). Suppose -2*s = 2*s - m. Is 2 a factor of s?
True
Let g(o) = 11*o**2 - 3*o - 2. Is g(-2) a multiple of 12?
True
Suppose 13*d - 255 = 10*d. Does 20 divide d?
False
Let l = 1 + 0. Suppose 0 = k - 12 + l. Is k a multiple of 11?
True
Let o(n) = n**3 + 2*n**2 - 5*n - 2. Let p be o(-3). Suppose -y - 16 - 26 = p*l, 0 = l + 2*y + 7. Does 11 divide (l + 0)*2/(-1)?
True
Let o be -1*0/3 + -2. Let u = o + 6. Does 4 divide u?
True
Let w(u) = u**3 - 4*u**2 - 3*u - 6. Let j be w(5). Let b(x) = -x**3 - 6*x**2 - x - 7. Let c be b(-6). Does 13 divide -2*((-22)/j + c)?
True
Let p(w) = -w**2 + 5*w - 2. Let f be p(4). Suppose -4*v - f*b = -11 - 3, b = v - 5. Suppose -v*x = -h + 35, -13 - 2 = 5*x. Is h a multiple of 19?
False
Suppose -2*g - 5*v = -66, 0 = g + 2*v - 43 + 11. Is 4 a factor of g?
True
Suppose 5*c - 474 = 2*t, 5*c + 2*t = 6*t + 468. Let h = 171 - c. Is 12 a factor of h?
False
Let a = -6 + 8. Suppose -a = -3*n + n. Is 11 a factor of 0 + (23 - (0 + n))?
True
Let k(z) be the second derivative of -23*z**3/3 + z. Let p be k(-1). Suppose -2*n + 3*x - x = -p, 16 = 2*n + 4*x. Is n a multiple of 11?
False
Suppose 16 = 3*h - 5. Does 7 divide h?
True
Suppose 0*t + 3 = -w - t, -w - 2*t - 4 = 0. Is (5 - 6)/(w/30) a multiple of 15?
True
Let m(t) = -t**2 - 15*t - 8. Is m(-10) a multiple of 9?
False
Let q(n) = -n**3 - 6*n**2 + n + 5. Let x be q(-6). Is 6 a factor of (-2 - -2)/x + 18?
True
Suppose -4*v = v + 55. Let t(w) = w**2 + 3 + 3 + w + 4*w + 6*w. Is 3 a factor of t(v)?
True
Let g be 1/(16/(-5) - -3). Let i be (g + 1)*(-1)/(-2). Does 4 divide -1 - (i + (-6)/2)?
True
Let y be (-5 - 10)*1/3. Let w(d) = -4*d - 6. Does 7 divide w(y)?
True
Suppose 0 = 8*y - 135 - 217. Is y a multiple of 11?
True
Let j = 6 + -38. Let b = 46 + j. Does 7 divide b?
True
Let b = -2 - -6. Suppose 9 = b*o - 11. Is o a multiple of 5?
True
Suppose 5 = -h, -m + 2*h = -2*h - 22. Suppose m*l = 4*n - 88, 5*n - 22 = 5*l + 93. Is n a multiple of 7?
True
Is 6/(-4) - (4 - (-134)/(-4)) a multiple of 7?
True
Does 7 divide 6/12 + (-27)/(-2)?
True
Let p(a) = -a**2 - 4*a - 1. Let y be p(-3). Suppose -3*s + y*r = -31, -5*s - 13 = 2*r - 70. Suppose 3*x - 2*x - s = 0. Is x a multiple of 10?
False
Does 7 divide -1*10/6*-12?
False
Suppose 0 = -2*k + 20 + 24. Is k a multiple of 4?
False
Let r(m) be the first derivative of 5*m**3/3 + m**2 - 3*m + 