tiple of 7?
True
Suppose -5*g + 285 = 3*o, -5*g = -4*o + 95 - 345. Suppose -54 = -2*v + g. Does 27 divide v?
True
Let w = -53 - -21. Let n be (1104/w)/((-3)/16). Suppose -d + n = 3*d. Does 30 divide d?
False
Let g(m) = m**3 + m**2 + 2. Let h be g(-2). Let f be (-58)/2 - (h + 1). Does 7 divide ((-40)/f)/((-1)/(-7))?
False
Let i = -88 - -205. Suppose -114*a = -i*a + 1008. Does 16 divide a?
True
Suppose -6 = -2*j + 10. Let i(z) = -3*z + z + j*z - 4 + 7*z**2 - 2. Does 25 divide i(3)?
True
Let l(s) = -10*s - 6. Let c be l(-3). Let n(b) = 13*b + 65 - c*b - b**2 + 10*b - b**3. Does 25 divide n(0)?
False
Suppose 0 = 3*b - 6 - 0. Let k(p) = 2*p**2 - 2*p. Is k(b) a multiple of 2?
True
Let y be 2 + 110 + (-2 - -1). Suppose -4*o = -4*a + 372, -4*a = -o - y + 24. Let p = -38 - o. Does 19 divide p?
True
Is 5 a factor of ((-26)/5)/(42/(-1050))?
True
Let m be ((-20)/(-8))/5*0. Suppose m = -165*q + 163*q + 58. Does 19 divide q?
False
Is (0/(-3) - -180)*136/102 a multiple of 16?
True
Suppose -4*i - 40*i = -47520. Is i a multiple of 21?
False
Suppose -220 = 8*w + 3*w. Let y(a) = a**3 + 20*a**2 + 24. Does 6 divide y(w)?
True
Let m(p) = 3*p**2 - 5*p - 4. Let k be m(3). Suppose -k*u + z + 61 = -3*u, u - 13 = z. Is 11 a factor of u?
False
Let y = 1252 - 769. Does 23 divide y?
True
Let u = -1849 + 2330. Is u a multiple of 38?
False
Let j be 18/72 - 11/(-4). Suppose j*d - 57 = 15. Is d a multiple of 12?
True
Suppose -3*w = -2*w - 45. Suppose l = -2*l + w. Let f(d) = d - 1. Is f(l) a multiple of 7?
True
Suppose 3*l - 1154 = -2*r, -5*r + 8*l = 4*l - 2839. Does 35 divide r?
False
Let v(s) = 2*s**2 - s - 3. Let t(d) = -2*d + 19. Let h be t(7). Suppose -5*i - h = 4*q, 4*q - 7*i = -2*i + 45. Does 7 divide v(q)?
True
Let j be (0 - -2) + 3 + -5. Suppose 4*n - 18 + 2 = j. Suppose n*w - 12 = 0, 5*l - 4*w = -2*w + 119. Is 9 a factor of l?
False
Let v(f) = 72*f - 584. Is 8 a factor of v(9)?
True
Suppose -195 = -4*s + s. Suppose w - 3*p - 17 = 0, p + 4*p = -3*w + s. Does 7 divide w?
False
Suppose 15*w = -11*w + 3068. Is 26 a factor of w?
False
Let l = -8 - -15. Suppose 5*s = -h - 6, -5*s - 10 = -2*h - 4*s. Suppose -h*r + l = -49. Is 12 a factor of r?
False
Let k be (-4060)/(-36) - (-4)/18. Suppose 5*v - 3*s = -k, -s + 83 + 38 = -5*v. Let b = v - -43. Is 9 a factor of b?
True
Suppose -4*i = 21 - 9. Does 8 divide (-2)/(255/168*-2 - i)?
True
Let m be 598961/255 - (-4)/30. Is 9 a factor of 3/(-24)*2 - m/(-36)?
False
Let s = 25 + -23. Suppose s*p + m - 47 - 22 = 0, -2*p - 4*m + 78 = 0. Does 33 divide p?
True
Is 12/(-20) - (-6)/30*148 a multiple of 6?
False
Let f(w) = -2*w**2 + 10*w + 21. Let h be f(11). Suppose 5*t + 4*v - 945 = 0, 190 = t - 5*v + 6*v. Let r = t + h. Is r a multiple of 18?
False
Suppose 9*f - 10*f + 73 = 0. Does 17 divide f?
False
Suppose 0 = -2*d + 6 - 4. Let h be d + -1 - (-16 - -8). Suppose 3*y - 4*y - 2*q + 15 = 0, 4*q - h = 0. Is y a multiple of 6?
False
Let v(d) = 2*d**2 - 29*d - 18. Let w = -90 - -106. Is v(w) a multiple of 15?
True
Let v(m) be the third derivative of m**5/10 - m**4/6 - 2*m**3 + 9*m**2. Let b be v(-5). Let r = 244 - b. Does 16 divide r?
False
Let m be -34 - -184 - (0 + 1 + 0). Let t = m - 84. Does 13 divide t?
True
Let k be 68*5/25 + 6/(-10). Let v = 75 - k. Is v a multiple of 14?
False
Suppose -42*d + 13932 = -3078. Does 3 divide d?
True
Does 8 divide 61 + -3 - (-36)/(-9)?
False
Suppose 3*h = 2 + 4. Suppose -h*o - 2 = -8. Suppose 0 = l + 4*l - 5*a - 175, -a = o*l - 125. Is l a multiple of 10?
True
Let o = 17 - 15. Suppose -10 = -c + o*g, -2*g - 82 = -5*c - 0*g. Suppose -c = -3*l - 3*u, u + 5 = -0*u. Does 7 divide l?
False
Let l(p) = p**3 + 3*p**2 - 4*p + 2. Let d be l(-4). Suppose c = -c. Suppose c = -5*z + 5, -n + 2*z + d*z + 4 = 0. Does 5 divide n?
False
Let y(g) = -5*g**2 + 5*g + 8. Let o(q) = 15*q**2 - 14*q - 25. Let l(h) = 3*o(h) + 8*y(h). Is 11 a factor of l(7)?
True
Let u(r) = 5*r**3 - r**2 - r + 1. Let k be u(1). Suppose k*b - 4*d = 352, -5*d + 17 = 2. Is 16 a factor of b?
False
Let b(o) = -5*o + 1. Let u(w) = w**3 - 6*w**2 + 4*w + 2. Let d be u(5). Is b(d) a multiple of 13?
False
Let v be ((-2)/3)/((-2)/18). Suppose -4*q - 26 = -v. Does 18 divide 600/q*(-4)/10?
False
Let k = -16 + 5. Let b(q) = 5*q**3 - 16*q**2 - 16*q + 29. Let w(t) = -t**3 + 3*t**2 + 3*t - 6. Let i(m) = k*w(m) - 2*b(m). Is 5 a factor of i(0)?
False
Suppose 11 = -6*k + 251. Does 8 divide k?
True
Let y(t) = -t + 3. Let v be y(11). Let k(r) = -6*r + 10. Let z(f) = 3*f - 5. Let l(m) = -4*k(m) - 9*z(m). Is 8 a factor of l(v)?
False
Suppose t = -5*r - 1, -5*r + 2*t = t - 1. Suppose r = v - 7*v + 1008. Does 21 divide v?
True
Let h(v) = v**3 - 12*v**2 - 4*v - 19. Let d be -2 - (-1 + (-57)/3). Let i = -5 + d. Does 18 divide h(i)?
False
Let b = -189 + 232. Is b a multiple of 29?
False
Let i(j) = -7*j - 10. Suppose d + 20 = -4*v, 0*d = -5*v - 4*d - 36. Is 6 a factor of i(v)?
True
Suppose 5*m = 3*h + m - 5, 0 = 4*h + 5*m + 45. Let i = 32 + -1. Let j = i + h. Is 26 a factor of j?
True
Let i(v) = -v**2 + 1. Let n(y) = -10*y**2 - 7*y - 1. Let m(s) = -2*i(s) - n(s). Is 2 a factor of m(2)?
False
Let r = -61 - -122. Is 9 a factor of r?
False
Suppose w = 4*c - 7, 0 = 3*c - 6*c + w + 4. Suppose c*y = y + 24. Let d = -2 + y. Is d even?
True
Let k(h) = 249*h**2 + 1. Let b be k(1). Let s = 416 - b. Does 10 divide s?
False
Suppose 19*r - 672 = 13*r. Is 7 a factor of r?
True
Suppose 4477 = 54*y - 17*y. Does 3 divide y?
False
Let c = -3520 + 6199. Is 57 a factor of c?
True
Is 10 a factor of 21/(-35) - (-432)/20?
False
Let d(r) = -209*r + 68. Does 4 divide d(-5)?
False
Let q be ((-12)/10)/(12/(-300)). Suppose 0 = m + 4*p - q, -3*m - 3*p + 148 - 58 = 0. Is m a multiple of 10?
True
Suppose 2*s = 7*s - 20, 1276 = 5*o + 4*s. Is 12 a factor of o?
True
Let i = 316 + -78. Is 5 a factor of i?
False
Let b = -916 + 553. Let a = -155 - b. Suppose 5*m = 3*f - 121, -2*m = -8*f + 3*f + a. Is 21 a factor of f?
True
Suppose -o + 11*o - 14100 = 0. Suppose -10*t + 10 + o = 0. Is t a multiple of 13?
False
Suppose -748 - 578 = -3*y. Is y a multiple of 27?
False
Suppose 10*w - 22*w = -144. Let m(f) = f + 12. Is 24 a factor of m(w)?
True
Let o = -22 + 90. Suppose -5*q = -3*l + 424, 728 = 37*l - 32*l - 3*q. Let z = l - o. Is 12 a factor of z?
False
Let k(c) be the second derivative of -c**5/20 - c**4/6 + c**3/6 + 3*c**2 - c. Is k(-2) a multiple of 4?
True
Suppose -3*x = -6*x + 5*l + 1914, -l = -4*x + 2552. Is 70 a factor of x?
False
Suppose -4*d + 8797 = 1005. Is 66 a factor of d?
False
Let n = 1 - 1. Suppose -3 = -5*l + 3*f, 3*l = -n*l + 2*f + 1. Suppose -3 + 63 = l*z. Does 10 divide z?
True
Suppose 6*k = 82 + 122. Is k even?
True
Let r(i) = -13*i. Is 4 a factor of r(-1)?
False
Suppose g - 965 = t - 4*t, 3*t - 3*g - 945 = 0. Suppose 5*q - t = -l - 4*l, 2*l + q - 124 = 0. Does 23 divide l?
False
Let p(r) = -r**2 - 13*r + 135. Is p(-16) a multiple of 27?
False
Let l = 380 + -185. Suppose 3*d = 2*d + 3*n + l, 0 = 4*n + 20. Is d a multiple of 30?
True
Let h(b) = 8*b**2 - 4*b + 10. Let o be h(4). Is 6 a factor of 6*(8/36 - o/(-18))?
True
Is (151/(-3))/(-2*6/108) a multiple of 23?
False
Let s(n) = 5*n + 12. Let l(w) = w + 1. Let r(q) = -6*l(q) + s(q). Suppose 11 = -5*g - t - 22, 30 = -4*g - 2*t. Is r(g) a multiple of 6?
True
Let x be (-3 + 1)*(-275)/11. Let i(c) = 5*c**2 + 5*c - 7. Let d be i(-6). Let l = d - x. Is l a multiple of 24?
False
Let f(h) be the first derivative of -h**2 + 2. Let z be f(-1). Is 14 a factor of 2 + 32 - (z - 0)?
False
Let n = 157 + -93. Suppose 0 = -2*h - 0*h + 3*f - n, h + 3*f + 23 = 0. Is ((-4)/(-1))/(-4)*h a multiple of 11?
False
Let p be (4/6)/((-2)/(-9)). Suppose -5 - 16 = -3*w - 3*c, 5*c = 2*w. Suppose -v + 18 = p*r, r - 2*r = 4*v + w. Is r a multiple of 3?
False
Suppose -2*c = 3*c. Suppose l + 110 = 2*g + 5*l, -3*g + 2*l + 181 = c. Is g a multiple of 5?
False
Let c = 43 - 19. Suppose 3*p + c = -30. Let i = p - -31. Is i a multiple of 4?
False
Let z = -240 + 438. Is z a multiple of 5?
False
Let f = -430 + 786. Is 19 a factor of f?
False
Suppose -5477 = -28*m + 3147. Does 14 divide m?
True
Suppose 4*a + 4 = 0, 4*d = 2*d + 2*a + 16. Let m = 7 - d. Suppose m = 5*c - 0*o + o - 438, 3*c + 4*o = 273. Is 29 a factor of c?
True
Let i be 16/72 + (-32)/(-18). Suppose j + 1 = -n + 2*n, 23 = i*n +