 t?
True
Let h = -13 + -12. Is 9 a factor of (-605)/h - 1/5?
False
Suppose -2*h + 3*a + 196 = 0, a - 364 = -h - 3*h. Is h a multiple of 23?
True
Suppose -3*v = 3*d + d - 15, v = 5*d + 5. Suppose 100 - 380 = -5*l. Suppose d*b - l = -4*b. Is 7 a factor of b?
True
Suppose 0*w - 8 = -w. Let g = -1 + w. Is 8 a factor of 1 + 22 + (g - 6)?
True
Let m be 0 - (-1 - (-2)/2). Suppose 3*z + m*z - 96 = 0. Let f = z - -3. Does 19 divide f?
False
Suppose 5*w = -d + 17, -2*w = 2*w + 2*d - 10. Is w a multiple of 2?
True
Suppose -53 = -2*z - l - 7, 4*l - 118 = -5*z. Is z a multiple of 5?
False
Let w = 94 - 58. Does 12 divide w?
True
Suppose -4*t + 7 = -1. Let r be (-117)/(-7) - t/(-7). Let d = -2 + r. Is 5 a factor of d?
True
Let k be 3/6 + 142/4. Suppose 2*w + 0*w = k. Is 9 a factor of w?
True
Suppose c = 2*c. Suppose -l - l + 84 = c. Does 15 divide l?
False
Let i = -9 + 21. Is 10 a factor of i?
False
Is 13 a factor of (-888)/(-20) + 2/(-5)?
False
Let f = 72 - 45. Is f a multiple of 12?
False
Suppose -5*c - 5*f = 35, 6*c + 2*f = 2*c - 20. Let n = c + 3. Let d(u) = -u + 11. Does 3 divide d(n)?
False
Let u be (-1 - -2)*(-1)/1. Is 13 a factor of u/(-2) - (-195)/6?
False
Let m(t) = -t**2 + 7*t + 9. Suppose -35 = -5*z - 0*z. Does 4 divide m(z)?
False
Suppose -4*h = -z - 81, -h = -2*h - 5*z - 6. Is 3 a factor of h?
False
Let u = -46 + 83. Suppose -4*j + 0*h - 5*h + u = 0, 3*h - 18 = -j. Suppose 0 = q + j*q + 4*i - 52, 4*q = -3*i + 54. Is q a multiple of 7?
False
Let c(w) = -w**3 - 10*w**2 - w - 8. Let t be c(-10). Let k be (-1)/t + (-15)/(-2). Let b = 11 - k. Is b a multiple of 4?
True
Let h(d) = 90*d**2 + 3*d + 6. Is 40 a factor of h(-2)?
True
Let z(m) = m**2 + 9*m + 9. Let y be z(-7). Is 5 - (-2)/(-3 - y) a multiple of 4?
False
Let w(q) = -1. Let s(v) = 2*v + 3. Let m(d) = -s(d) + 2*w(d). Does 17 divide m(-11)?
True
Let u(o) = 2*o**2 - 5*o - 36. Does 21 divide u(-6)?
False
Suppose -25*w + 13*w + 180 = 0. Does 11 divide w?
False
Let h = 17 - 24. Let w(b) = b**3 + 4*b**2 - 5*b + 5. Let c be w(-5). Let l = c - h. Is l a multiple of 8?
False
Suppose -h + 14 - 3 = 0. Is 3 a factor of h?
False
Suppose -105 = -f - 4*f. Does 13 divide f?
False
Let j(l) = l - 5 + 6*l**2 + l**2 + 3*l + l**3. Let u(n) = -3*n + 6. Let y be u(4). Is 2 a factor of j(y)?
False
Suppose 0 = -13*f + 9*f + 100. Does 5 divide f?
True
Let b(x) = 14*x - 24. Is b(21) a multiple of 45?
True
Let o be 18*(3/2 - 2). Let g = -6 - o. Is (-24)/((-3)/(-2) - g) a multiple of 16?
True
Let r = 91 - 56. Let g = 63 - r. Does 14 divide g?
True
Suppose -f + 48 = -0*f. Let s = f + -32. Is 13 a factor of s?
False
Suppose -1 + 0 = -k, 2*p - 4*k - 332 = 0. Is 9 a factor of p?
False
Let k(w) = -w**3 + 8*w**2 - 8*w + 12. Is 6 a factor of k(6)?
True
Suppose 0 = 3*y - 178 + 13. Is y a multiple of 11?
True
Let i = 92 - 65. Is i a multiple of 9?
True
Let b(c) = c**3 + 6*c**2 - c - 7. Let j be b(-6). Let p(l) = -10*l. Let y be p(j). Is 12 a factor of 1/5 + 238/y?
True
Let u = 8 + -2. Is 3 a factor of u?
True
Let t(a) = 5*a - 11. Is t(6) a multiple of 4?
False
Let o = -395 + 570. Does 54 divide o?
False
Let d = -13 + 5. Suppose -14*l = -13*l + 2. Is d*(-3)/(-3)*l a multiple of 15?
False
Let l(r) = 16*r**2 + 7*r - 2. Let w be l(-6). Is 1/(-3) + w/12 a multiple of 19?
False
Let i = 2 + -9. Does 4 divide i/(-42) - 107/(-6)?
False
Let r be 2/6 + (-42)/(-9). Let b(i) = 69*i**2. Let z be b(-1). Suppose 0*g - r*g = -4*y - z, 5*g + 5*y = 105. Is 15 a factor of g?
False
Suppose 0 = 3*c - 2*c - 29. Does 14 divide c?
False
Let u(t) = -t**2 + 9*t - 7. Let n be u(7). Suppose 5*m - 4*x = 42, -3*m + 3*x + 20 = -n. Is m a multiple of 3?
True
Let n(f) = 6*f - 2. Is n(26) a multiple of 7?
True
Suppose -14 = 4*c + 86. Is (-2)/10 - 180/c a multiple of 4?
False
Let w(v) be the first derivative of 0*v**2 - 13/4*v**4 - 1/3*v**3 + 2 + 0*v. Is w(-1) a multiple of 7?
False
Let d(n) = 3*n**2 + 6*n + 14. Is 13 a factor of d(-4)?
False
Let a = -4 + 6. Let c be (-2 - (a - 2)) + 23. Is 2 a factor of c/9 + (-2)/(-3)?
False
Let b(n) = -n**3 + 6*n**2 - 4*n + 2. Let u(g) = -g**2 - 5*g. Let z be u(-4). Is b(z) a multiple of 10?
False
Let h(q) = -28*q + 3. Let t be h(-6). Let f = 255 - t. Is 28 a factor of f?
True
Let u(k) be the third derivative of k**5/60 - k**4/12 - k**3/3 + 2*k**2. Let a be u(3). Does 17 divide 4*-1 + a - -37?
True
Suppose b - 24 = -3*l + 2*b, -l + b = -10. Does 7 divide l?
True
Let v(y) = -3*y**2 + 3*y - 7. Let b be v(3). Let n = -13 - b. Is 6 a factor of n?
True
Let w(h) = 3*h**2 + h. Let x be w(-2). Suppose 5*g - 175 = -x. Is g a multiple of 20?
False
Let c be 1/1 + (5 - -61). Suppose 0 = -2*f - 5 + c. Is 12 a factor of f?
False
Let v(m) = -12*m - 23. Is 2 a factor of v(-3)?
False
Suppose -q = 3*y + 4, 3*y - 3*q - 12 = y. Let s(x) = -2*x**2 + x + 14. Is s(y) a multiple of 7?
True
Let r = -17 - -37. Let v = r - 29. Let p = -6 - v. Does 3 divide p?
True
Suppose -77 = -2*q + 7. Is 14 a factor of q?
True
Let o(g) = 0*g + 3*g - 2*g + 3*g + 2. Is 14 a factor of o(9)?
False
Let j(y) = y**2 - 9*y + 10. Let q be j(8). Suppose v - q = -1. Suppose -4*l + 46 = -5*k, l = -3*k - v + 21. Does 7 divide l?
True
Suppose -4*x - 102 = 90. Let r be 4/(-22) + x/(-22). Suppose 0 = 3*u + 6, r*u = -8*v + 4*v + 100. Is 13 a factor of v?
True
Suppose -2*y = -4*y + 6. Suppose 0 = y*p - 2*p + 2*q - 21, 2*p - 74 = 4*q. Is 11 a factor of p?
False
Is 4 a factor of ((-20)/(-16))/((-3)/(-48))?
True
Suppose -5*h - 17 = -z - 0, 4*h + 2 = -5*z. Suppose 0 = l - z*l - 9. Let f = l - -63. Is 19 a factor of f?
False
Let k = 46 + 192. Is 7 a factor of k?
True
Let w(f) = 2*f**2 + 2*f + 1. Let c be (-9)/(-6)*4/(-6). Let n be w(c). Let v = 3 + n. Is 4 a factor of v?
True
Suppose -2*r - 6*f + 114 = -f, -3*r = 3*f - 162. Suppose -o - o = -r. Is 14 a factor of o?
False
Suppose 5*k - 10 = -2*w + w, 3*k = 5*w + 6. Suppose 0 = 3*x - w*x - 156. Suppose -2*t + 2*h + x = -22, -h = 3. Is 17 a factor of t?
True
Let r be (-2)/(6/111)*-1. Let t = r + -76. Let n = t - -92. Does 22 divide n?
False
Let u(c) = 4*c**2 + 3*c - 5*c + 3 + 0*c. Let i be u(2). Let f = i + -8. Is 7 a factor of f?
True
Let p(m) = m**3 - 6*m**2 - 8. Let h be p(6). Let i = h - -15. Is 7 a factor of i?
True
Let w be 10/4 - 3/(-6). Suppose 4*a = 4*g - 4, 4*g - 10 - 15 = -w*a. Is g a multiple of 4?
True
Suppose -o = -4 - 0. Suppose -5*n + 51 + 122 = o*h, 157 = 5*n - 4*h. Is 11 a factor of n?
True
Let g = 0 + -4. Does 3 divide g + 5 + 2*1?
True
Let v(n) = -n**3 - 5*n**2 - n - 2. Let d = -5 + 0. Let s be v(d). Is (-4)/(-12) + 41/s a multiple of 9?
False
Let y(k) = 56*k**2 + 2*k. Is y(-1) a multiple of 18?
True
Suppose z = -2*z + 66. Is 11 a factor of z?
True
Let v = -3 - -7. Suppose 5*t - 29 = -5*q + 16, -v*q = -t - 51. Is 6 a factor of q?
True
Let s = 9 + -1. Let z(q) = q + 10. Does 13 divide z(s)?
False
Suppose 4*m - 3*a - 100 = 0, -2*m - 75 = -5*m - 2*a. Let h = m - 14. Is 9 a factor of h?
False
Let z = -51 - -177. Is z a multiple of 18?
True
Let o(q) = q**2 + 9*q - 7. Let j(u) = -u**3 + 5*u**2 - 5*u + 3. Let z be j(3). Let t(i) = i - 1. Let p(r) = z*t(r) - o(r). Is p(-2) a multiple of 2?
False
Let l(s) = 2*s**2 - 12*s + 6. Is l(9) a multiple of 30?
True
Let i(s) = -2*s**3 - 3*s**2 - 3*s - 1. Let d be i(-2). Suppose -16 = -5*h + d. Does 2 divide h?
False
Let b(p) = -4*p**3 - 1. Let u be b(-1). Suppose 0 = 3*w + 3, -3 - 7 = -d - u*w. Is d a multiple of 3?
False
Let i = -30 - -20. Let u = 42 + i. Does 8 divide u?
True
Does 14 divide (-4)/14 - -177*(-20)/(-42)?
True
Suppose -4*o + o + 264 = 0. Does 41 divide o?
False
Let u = 5 - -34. Is 22 a factor of u?
False
Let b(i) be the third derivative of 0 - 1/6*i**4 + i**2 + 1/60*i**5 + 0*i - 4/3*i**3. Is b(7) a multiple of 13?
True
Let o be 2 - 2 - (1 + 1). Let t = 0 - o. Suppose t*w - 6*w = -48. Is 6 a factor of w?
True
Let n be 1/2 + (-5)/(-10). Is (n - -4)*(-32)/(-5) a multiple of 8?
True
Let k(w) = -w**2 - 5*w - 4. Suppose -5*b - 40 = -5*r, 0*r = 3*b + r + 4. Let t be k(b). Let d(i) = 4*i**3 - 2*i**2 + 2*i. Does 17 divide d(t)?
False
Suppose 5*j + c = 9, j + 2*j = 2*c + 8. Suppose 0 = 4*k - 3*q - 8, -2*q - j = -k + 3*q. Suppose -3*u = k*t - 42, 3*t - 3*u - 61 = -7*u. Is t a multiple of 7?
False
Let p(t) = -t**2 + 4*t + 12. Is 4 a factor of p(4)?
True
Let u(t) = t + t**3 + 6 - 6*t**3