= r*t - t - z - 113. Is 9 a factor of t?
True
Suppose -15 = -4*j + j. Suppose -x = 4, -4*x + 35 + 64 = j*k. Does 13 divide k?
False
Does 19 divide 4/4*(77 + 2)?
False
Suppose -f = -3 - 0. Suppose -f*t + 6*t = 60. Is t a multiple of 5?
True
Let w be (-4)/(-10) + 194/(-10). Let x = 25 - w. Let j = -6 + x. Is 18 a factor of j?
False
Let d(p) = -p**3 + 2*p**2 + 2*p + 3. Let y be d(5). Let s = -23 - y. Is s a multiple of 21?
False
Let y(w) = -w**3 + 6*w**2 - 3. Let f be y(3). Let s = f - 2. Is 11 a factor of s?
True
Let x(a) = -5*a. Let i(j) = j + 1. Let z(d) = i(d) + x(d). Is z(-3) a multiple of 8?
False
Is 15 a factor of 1*25*12/10?
True
Let u be (1 + (-2)/6)*3. Suppose -2*o = u*i - 42, 4*i - 64 = -6*o + 3*o. Does 20 divide o?
True
Suppose 3*i = 4*i - 6. Suppose -3*w = w. Suppose x - i*x + 130 = w. Does 12 divide x?
False
Let x(q) = 44*q**2 - 2*q + 1. Is 12 a factor of x(1)?
False
Let y(c) = c**2 + c + 6 - 4*c - 5*c. Is 5 a factor of y(9)?
True
Suppose 0 = 2*n + 3*p - 29, 4*p = -3 - 1. Suppose 2*q = -0*q + n. Does 3 divide q?
False
Suppose -5*m + 2*j + 3*j = -15, -j - 13 = -3*m. Is m a multiple of 2?
False
Suppose 294 + 262 = 4*h. Does 16 divide h?
False
Suppose -v - 2*p = -6*p - 274, -4*v - p + 1147 = 0. Is 18 a factor of v?
False
Let t = 2 + 2. Suppose -t*s + 28 = -20. Does 5 divide s?
False
Let o be 4/(-6)*-6 - 1. Suppose -o*v + 20 = b, 3*v - 5 = v + b. Suppose 6 = 4*k + 14, 131 = v*n + 2*k. Is n a multiple of 9?
True
Let g = -2 + -1. Let n = 5 + g. Suppose -4*p - n + 5 = s, -5*s = 25. Is p even?
True
Let k(o) = o**2 - o - 2. Is k(-10) a multiple of 27?
True
Let h(y) be the third derivative of -41*y**7/5040 - y**6/720 - y**5/20 + y**2. Let g(u) be the third derivative of h(u). Is 14 a factor of g(-1)?
False
Let m(f) = 3 + 2 - f**3 - 3. Let h be m(-2). Suppose -h - 32 = -2*v. Is v a multiple of 19?
False
Let x = 495 - 315. Is x a multiple of 20?
True
Let m(d) = -7*d + 24. Is 20 a factor of m(-16)?
False
Let i be -3 + 24/((-4)/2). Let n be (55/3)/((-5)/i). Suppose -3*j = 16 - n. Is 13 a factor of j?
True
Is 24 a factor of -3*2*(-49)/2?
False
Is 23 a factor of ((-27)/12)/((-21)/1288)?
True
Let q(r) = -r**2 - 13*r - 5. Let d be q(-6). Let b = 401 + -193. Suppose -3*s = -b + d. Is 20 a factor of s?
False
Let y be 6*1/2 - 1. Let m = y + 5. Let h = m - -50. Is h a multiple of 20?
False
Is 35 a factor of (15414/9)/7 + 4/12?
True
Suppose 3*h - 3*t - 1 = 2, -1 = -t. Let z(u) = 9*u**2 + 2*u. Let x be z(2). Does 7 divide -3*h*x/(-15)?
False
Let r(x) = x + 1. Let s be r(3). Suppose 38 = 2*a - u, a = 4*u + s + 1. Is 14 a factor of a?
False
Let u(p) = 0*p + 0*p + 1 + 33*p**2. Let s be (-3 - 0)/12*-4. Is 17 a factor of u(s)?
True
Let m = 8 - 13. Let a = m + 10. Suppose -4*v + 4*f = -32, -10 = 3*v - a*f - 38. Is v a multiple of 6?
True
Suppose -4*i + 420 = -4*m - m, 0 = m. Does 21 divide i?
True
Let a = -49 - -81. Suppose a + 67 = 2*o + c, -o - c = -47. Does 29 divide o?
False
Let x = 2 + -2. Suppose x = 4*p - a - 23 + 5, 0 = -3*p + 4*a + 7. Suppose 3*d - 4 = p. Does 3 divide d?
True
Let i be ((-10)/(-3))/((-10)/(-195)). Suppose -3*o + 18 - 6 = 0. Suppose 79 = o*f + 5*m, -3*f + m + i = -m. Is 10 a factor of f?
False
Let s(z) = 4*z + 1. Suppose 3*x + x - 12 = 0. Let w = x + 2. Is 16 a factor of s(w)?
False
Let j = -14 + 35. Does 7 divide j?
True
Does 9 divide (-12)/(-66) - (-194)/22?
True
Let z(f) = 38*f - 10. Does 34 divide z(5)?
False
Let p be -14 + 1/((-3)/3). Let d be 816/10 - 6/p. Suppose -2*q - d = -4*q. Does 20 divide q?
False
Let u be (8/(-2) - -2) + 14. Suppose -p + w + u = -0*w, -3*p = 5*w - 20. Is p a multiple of 9?
False
Suppose -3*z = 5*k + 3, 2*k - 5*z + 0*z - 5 = 0. Let n(r) = r**2 - 2*r + 68. Is n(k) a multiple of 17?
True
Let b = 82 + 41. Does 41 divide b?
True
Suppose 143 = 2*h - 313. Is h a multiple of 44?
False
Does 8 divide 280/30*(-72)/(-14)?
True
Let t(o) = o**2 - 5*o + 4. Let k be t(4). Suppose -5*y = -f - 2, -f - 2 = -k*f + 2*y. Does 7 divide (-27)/f*(-4)/(-2)?
False
Let g = -57 - -105. Let f = 89 - g. Is 6 a factor of f?
False
Suppose -53*o + 476 = -49*o. Does 5 divide o?
False
Suppose 3*p + 2*l + 5 = -2*l, 6 = -3*p - 3*l. Let r = 19 - 11. Let a = r + p. Does 2 divide a?
False
Does 7 divide (-173)/(-3) - 7/((-84)/(-8))?
False
Let w(c) = c**2 - 5*c - 3. Let l be w(6). Suppose l*g + 12 + 18 = 0. Does 13 divide (-68)/(-5) - (-6)/g?
True
Suppose -3*n + 10 = -2. Suppose 3*b + 5*u - 86 = -b, -4*b + n*u = -68. Let l = b + -13. Is 3 a factor of l?
True
Let i(s) = -s**3 + s**2 - s + 1. Let m be i(0). Suppose m = -x + 53. Does 23 divide x?
False
Let j(t) = -t**3 - 13*t**2 - 15*t + 4. Let l be j(-12). Let g = -16 + l. Is 6 a factor of g?
True
Suppose -5*s - 5 - 15 = 0, -4*t + 2*s = -248. Is t a multiple of 6?
True
Suppose -2*s = -4*s - 2. Suppose -6 = 2*q - 5*q. Is 5 a factor of (q/s)/(4/(-26))?
False
Suppose 0*d = 5*d - 25. Suppose -d*f + 2*u - 27 = u, -4*f - 2*u - 30 = 0. Is 3 a factor of (f/(-4))/(3/6)?
True
Suppose -i + 180 = 56. Is i a multiple of 31?
True
Suppose 3*r = -3*t + 2*r - 178, -5*r = -3*t - 172. Let s = t + 36. Let a = 45 + s. Is 10 a factor of a?
False
Let m(k) = 6*k**2 - 6*k + 3. Let w be m(4). Is 5 a factor of ((-2)/(-6))/(5/w)?
True
Does 25 divide (-3)/(-9) + (-672)/(-9)?
True
Let p = -24 - -288. Is 33 a factor of p?
True
Let d be (2 - 1)/(4/24). Let b be 2*(63/d - 3). Let v = 31 - b. Is 16 a factor of v?
True
Suppose 0 = -4*y - 5*p + 2*p + 1248, -1248 = -4*y + 2*p. Does 10 divide y?
False
Suppose 4*t = 147 + 105. Is t a multiple of 9?
True
Is 8 a factor of 297/12 - 3/4?
True
Is 13 a factor of 2/(4/78*3)?
True
Suppose -4*z = -0*d + 2*d + 58, -5*d + 4*z = 173. Does 3 divide 10/2*d/(-15)?
False
Is ((-2)/5)/(8/(-2040)) a multiple of 26?
False
Let u be -2*(-1 + 28/8). Let g(l) = -l**2 - 7*l + 4. Is g(u) a multiple of 7?
True
Let m = -41 - -74. Is 11 a factor of m?
True
Let h(t) = -t**3 - 5*t**2 + 6*t + 2. Let y(i) = -i**3 + 6*i**2 - 2*i + 6. Let s be y(6). Let c be h(s). Does 9 divide (10 - 1)/(-1 + c)?
True
Suppose -3*a + 5*a = 2*p + 8, 2*a - 5*p + 7 = 0. Is 3 a factor of a?
True
Let s = 0 - 7. Let o = s + 22. Does 11 divide o?
False
Let p(k) = k**3 + 7*k**2 + 6*k + 3. Let u be p(-6). Let h(b) = b**3 - 2*b**2 + 3*b + 4. Does 11 divide h(u)?
True
Is (0 - (-12)/20)*25 a multiple of 5?
True
Suppose 0 = 4*x + 2*o - 118, -26 - 61 = -3*x - 3*o. Is 10 a factor of x?
True
Let n = 77 - -77. Does 26 divide n?
False
Let y(g) = 6 - 4 + 6 - g. Is 4 a factor of y(0)?
True
Let n be 165/35 + 4/14. Suppose 2*v + 16 = 3*v - n*w, -2*w = 5*v - 26. Does 3 divide v?
True
Suppose 0*t + 15 = t. Suppose -2*x + t = x. Let d(z) = 4*z. Is d(x) a multiple of 8?
False
Suppose 11 = -4*f + 3*h, -f - f = 4*h - 22. Suppose -g + 11 = -f. Is 12 a factor of g?
True
Let p be (2/(-5))/(2/(-20)). Let y(c) = c**3 - c**2 + 4*c + 2. Let f be y(p). Let j = f - 30. Is j a multiple of 18?
True
Let j(f) = 2*f - 10. Let n be j(7). Suppose n*b + b = 85. Is b a multiple of 8?
False
Let z(b) = b**2 - 3*b - 1. Let j be z(4). Let t be 1*(-3)/j + 26. Let o = 35 - t. Does 7 divide o?
False
Is 4 a factor of (-12)/30 - (-84)/10?
True
Let j = 30 + -27. Does 2 divide j?
False
Let c(y) = 2*y**2 - y. Is c(-3) a multiple of 21?
True
Let j be -5 + (-1 - (-1 - 0)). Let i = j + 28. Is i a multiple of 10?
False
Does 3 divide 462/39 - 2/(-13)?
True
Suppose -16*z = -6*z - 350. Is 7 a factor of z?
True
Let v(y) = y**3 + y + 7. Let q = 17 - 17. Does 4 divide v(q)?
False
Let w = 78 - 55. Does 3 divide w?
False
Let k = -8 - -16. Let v(a) = a**2 - 7*a + 8. Is v(k) a multiple of 6?
False
Suppose 2*z = f + 2, -2*f = -f - 5*z + 5. Suppose 5*n + 158 = 2*l, 2*n - 5*n = f. Suppose 2*q = 4*v + 72, -2 = 2*q + v - l. Does 21 divide q?
False
Suppose -2*z + 3*s = -49, 0*s + 145 = 5*z - 3*s. Is z a multiple of 8?
True
Suppose -g + 2*g - 4*z - 100 = 0, 2*z = 4*g - 428. Is 4 a factor of g?
True
Let c(d) = -d**3 + d**2 + d + 8. Let h be c(0). Let v = h - 6. Is 50/1 - (v - 1) a multiple of 17?
False
Let t(j) = j**2 - 5*j + 4. Let q be t(5). Suppose 17 = q*h - 3. Suppose 1 + h = o. Is o a multiple of 3?
True
Suppose 10*u - 7*u - 186 = 0. Is u a multiple of 22?
False
Suppose -2*l - 4 = -4*l. Does 17 divide 4/(-4) + l + 50?
True
Suppose -4*c = -5*x + 16, 3*x = 2*c + c + 12. Suppose x = 3*w - 6. Does 2 divide w?
Tru