 Is ((-670)/(-6))/l*3 a multiple of 19?
False
Suppose 5*j - 20 = 0, -2*a + 4*a + 3*j + 176 = 0. Let f = a - -256. Does 16 divide f?
False
Suppose -3*h + q = -919, q + 3 = -2*q. Is 65 a factor of h?
False
Let r be -1 + 0 + 2 + 3. Is 15 a factor of (6/(-2) - -71) + r?
False
Suppose -42*x + 15079 + 5711 = 0. Is 9 a factor of x?
True
Let o(m) = m**3 + 10*m**2 + 2*m + 24. Let h be o(-10). Suppose -3*p = -4*r + 140, 0 = h*r - 5*p - 100 - 32. Is r a multiple of 6?
False
Suppose 2*n = -3*n + 20, -5*n + 1300 = 4*t. Suppose 4*l = 3*p + 8*l - 1055, 0 = -p + 5*l + t. Does 25 divide p?
False
Suppose -3*h + 4*s = 2*h + 40, 2*h + 28 = 4*s. Let x(a) = -a**3 + 2*a**2 + 6*a + 8. Does 42 divide x(h)?
False
Let c(a) = -a**3 + 2*a**2 + 3. Let y be c(2). Suppose y*p = 3*d - 156, 2*d = -3*d + p + 280. Does 19 divide d?
True
Let h(u) = -u**3 - 9*u**2 + 9*u + 23. Let n be h(-10). Does 6 divide n - (-3 + (2 - -1))?
False
Let x = 38 + -31. Suppose -3*p - 144 = -x*p. Is 11 a factor of p?
False
Let k = -14 + 19. Let z(j) = -5*j**3 + 10*j**2 + 16*j - 6. Let i(o) = 6*o**3 - 10*o**2 - 17*o + 7. Let m(q) = k*z(q) + 4*i(q). Is m(11) a multiple of 4?
False
Is 15 a factor of 75*((-8)/2 + 2226/210)?
True
Let u(k) = 4*k**2 + 3*k + 11. Let q(w) = -w**2 - 7*w + 40. Let p be q(-11). Is 21 a factor of u(p)?
True
Let t be 105/10*4/(-6). Let z = t - 101. Let u = z - -177. Does 8 divide u?
False
Let w = -1453 + 5583. Is 70 a factor of w?
True
Suppose -5*t = -10 - 65. Suppose -80 = -i - 4*u, 0 = 2*i + 3*u - t - 160. Does 13 divide i?
False
Let z(u) = -u**3 - 5*u + 99. Is z(0) a multiple of 11?
True
Let n be 44/66 - (-98)/6. Suppose -n*j + 13*j = -128. Is 12 a factor of j?
False
Let i = 408 - -60. Does 117 divide i?
True
Is 6 a factor of (6 + (-66)/12)*3846?
False
Let p(n) = n**2 - 4*n - 5. Let d be p(5). Suppose 2*j - 3*j - 2 = d. Is 20 a factor of j/(-3)*2646/28?
False
Let l be (-16 - -1)*(-3 - 7/(-3)). Suppose -1 = -w + l. Is w even?
False
Let b = -10 + 12. Suppose 3*a = -2*p + b*a + 28, p - 17 = -2*a. Let h = 17 - p. Is h a multiple of 2?
True
Let n(c) = 6*c - 6. Let t be n(11). Suppose v = -t + 189. Does 14 divide v?
False
Let r(v) = 59*v**3 - 4*v**2 - 15*v + 46. Is 86 a factor of r(4)?
True
Let z(i) = -82*i**2 - 4*i + 3. Let r be z(2). Let d = r + 553. Is 20 a factor of d?
True
Is 33 a factor of 36672/28 + 20/70?
False
Let m(i) = 5*i**2 - i + 5. Let j be m(4). Suppose -y - j + 229 = 0. Is y a multiple of 28?
False
Let g(b) = -b**3 + 7*b**2 + 6*b - 6. Let a(v) = v**3 - 7*v**2 - 8*v + 20. Let l be a(8). Suppose l*x = 22*x - 14. Is g(x) a multiple of 36?
True
Suppose 5*d = 3*a - 12, 0*a = -a + 3*d + 4. Suppose p + 1 - 3 = 0, 4*q = -a*p + 212. Does 23 divide q?
False
Suppose a + 3*x + 62 = -0*a, a + 5*x + 72 = 0. Let v = a - -91. Is 31 a factor of v?
False
Let x(h) = -12*h + 37. Let w(u) = 12*u - 36. Let r(a) = -4*w(a) - 5*x(a). Is r(4) a multiple of 7?
True
Suppose -q + 6*q = 2*z - 10, 6 = 3*z - 3*q. Suppose z = -5*d + 21 + 9. Suppose -d*x + 9*x = 27. Is x a multiple of 3?
True
Let r be 130/50 + ((-2)/(-5))/1. Suppose t - 39 = v + 2*v, -r*t + 96 = -2*v. Is 15 a factor of t?
True
Let a(r) = -2*r**3 - 27*r**2 + 34*r + 16. Is 13 a factor of a(-15)?
False
Suppose -2*y - y + 4*h = -101, -4*y + 126 = -h. Is y a multiple of 14?
False
Suppose -399 = -2*y + 2085. Is 9 a factor of y?
True
Suppose 6*n + 1434 = 11*n + 3*i, -5*n = i - 1438. Does 4 divide n?
True
Let d(g) = -18*g - 12. Let w(v) = v + 3. Let c(n) = d(n) + 4*w(n). Let m be (-2)/(-7) - (-30)/(-7). Does 14 divide c(m)?
True
Let p be (-3)/(-1) + -1 + 2. Let y = -595 - -890. Suppose y = p*w + w. Does 23 divide w?
False
Let y = -314 + 394. Is 2 a factor of y?
True
Let s(j) = -10*j - 1. Let k be s(1). Let d(b) = -b**3 - 11*b**2 - 5*b + 1. Does 14 divide d(k)?
True
Suppose -z - 3*o + 7 = -5*z, 0 = 4*z + o - 13. Suppose -r = 5*b - 15, -3*r - b = -z*b - 77. Is r a multiple of 2?
False
Let a = 7 - 6. Let m be 5*(-6 - (a - 4)). Does 11 divide (-28)/(-210) - 943/m?
False
Let y be (-3 - -1)*132/(-8). Suppose x + 3*x + 9 = 5*r, 0 = 2*x + 5*r - y. Suppose -3*s = -x - 62. Is 17 a factor of s?
False
Suppose -4*p - 49 = 2*x - 3*x, -p - 136 = -4*x. Does 2 divide (22/x)/(((-4)/(-138))/1)?
False
Let w be (-2)/(-12) - 348/(-72). Suppose 2*q - 270 = -w*n, -3*q = -5*n + 3*n + 89. Is n a multiple of 6?
False
Suppose 30*j = 33*j - 1800. Does 60 divide j?
True
Let l = -46 + 51. Does 4 divide 2241/45 - (-1)/l?
False
Suppose 5*z = -5*z + 100. Suppose 2*d = 5*o - z*o + 201, -4*o + 4*d = -172. Does 8 divide o?
False
Let t(y) = -3*y - 7. Let w be t(-4). Suppose w*v - 195 = 230. Does 19 divide v?
False
Let m(h) = 370*h - 44. Is 116 a factor of m(2)?
True
Suppose 3*q + 4*n = n + 375, 241 = 2*q + 5*n. Let w be -5*q/(-60)*3. Is w - ((2 - 4) + 3) a multiple of 10?
False
Let q(p) = -3*p**3 - 50*p**2 - 15*p - 15. Is 30 a factor of q(-17)?
False
Let i(f) = -14*f + 9. Is i(-6) a multiple of 23?
False
Let h be ((-1)/2)/(3 + 148/(-48)). Let k(z) = 2*z**3 - 5*z**2 + 6*z - 12. Is k(h) a multiple of 23?
True
Let q = 2 - 0. Suppose 2*r = q*m - 34, -m + 41 = 2*r + 3*r. Is m even?
False
Suppose -5*x - 4*f + 1974 = 0, 2*x + f - 624 = 165. Suppose 5*h - x = -84. Suppose -4*a - 10 = a, -5*a = -n + h. Is 13 a factor of n?
True
Let x = -1061 - -2020. Is x a multiple of 14?
False
Let r(c) = 129*c**2 - 8*c - 33. Is 12 a factor of r(-3)?
True
Let l = 6 + 1. Let k = -37 + l. Let w = 66 + k. Is 16 a factor of w?
False
Let l = -23 - -29. Let p(g) = -4 - l - g**2 - 2 - 11*g - 6. Is p(-7) a multiple of 10?
True
Suppose -5*w - u = -47, 3*u - 9 = -2*w + 15. Let o(h) = -h**3 + 10*h**2 - 3*h - 9. Is 21 a factor of o(w)?
False
Suppose -3 = -4*m + 5. Suppose m + 7 = k - 5*i, 4*k + i = -48. Let q = k - -18. Is 6 a factor of q?
False
Let s be 4/10 + (-34)/10. Let f(i) = i**2 + 10*i + 10. Let a be f(-3). Let g = s - a. Is 8 a factor of g?
True
Let b(v) = 17*v - 11. Let k = -11 + 16. Let s be b(k). Suppose 0*m + 3*x + s = 2*m, 2*x + 8 = 0. Does 18 divide m?
False
Let c = -149 - -156. Let h(l) = 8*l - 2*l**2 - 3*l**3 + 4*l**3 - 6*l**2 + 5. Does 7 divide h(c)?
False
Let l(q) = -6*q**3 - 2*q**2 - 3*q - 4. Let f(r) = r**2. Let o(t) = -6*f(t) - l(t). Does 7 divide o(2)?
True
Let c = 17 + -12. Suppose 0 = c*q + 2*q - 455. Is 15 a factor of q?
False
Let v(h) = 5*h**2 - 14*h - 14. Let g be v(-7). Let k = g + -509. Does 30 divide (k/48)/(1/(-8))?
True
Let t(l) = -1441*l**3 + 19*l**2 + 18*l - 2. Does 5 divide t(-1)?
True
Let j be 260/60*(0 + 135). Is 19 a factor of 1*(j/5)/3?
False
Suppose y - 827 = 38. Is 35 a factor of y?
False
Let x be (-4)/(-18) - (-64)/36. Suppose -h - 8 = -x*h. Does 9 divide h/12 + 103/3?
False
Let q = -28 - -35. Does 6 divide (1/(q/(-24)))/(56/(-2548))?
True
Suppose 2*x + 51 + 153 = 2*c, 3*x = -4*c + 394. Does 7 divide c?
False
Let f be 1/(1/1)*1. Suppose -w = f - 3. Suppose p + w*p - 21 = 0. Does 4 divide p?
False
Suppose l - 10*z + 15*z - 140 = 0, -2*z + 368 = 3*l. Does 40 divide l?
True
Let n = -71 - -139. Suppose 0*d - n = -4*d. Suppose -d*f + 260 = -12*f. Is 8 a factor of f?
False
Is (-97438)/(-40) - 58/(-1160) a multiple of 21?
True
Suppose 0 = -5*f + 20, -u = 4*u + 5*f + 55. Let w(s) = -s. Let x be w(2). Does 4 divide (-70)/u*(-12)/x?
True
Suppose 33 = a + 2*k - 19, 77 = a - 3*k. Does 5 divide a?
False
Let n = 257 - 114. Does 12 divide n?
False
Let h(s) = 23*s + 1. Let c(y) = 22*y + 1. Let w(i) = 3*c(i) - 4*h(i). Is 10 a factor of w(-2)?
False
Let f = -144 - -65. Let x = 151 + f. Is 24 a factor of x?
True
Let a(c) = 12*c**2 - 5*c - 1. Let x be a(3). Suppose 2*f - x = 4*q - 6, q + 98 = 2*f. Does 13 divide f?
False
Let w be ((-6)/4)/(-3)*42. Suppose 7*n - w = -0*n. Suppose -3*y = n*u - 156, 2*u = 2 - 6. Is y a multiple of 18?
True
Suppose 2*n + 5 = 5*c, -5*c - 12 = 5*n + 18. Is (-2 + n + -4)*-1 a multiple of 2?
False
Suppose 66*b - 5403 = 5091. Is 13 a factor of b?
False
Let f = 14 + -17. Let r be (2/f)/(4/18). Let i(c) = -c**3 + c**2 - 3*c - 4. Is 6 a factor of i(r)?
False
Suppose 3*y + 0*y = -6, 3*k - 4*y - 185 = 0. Let i = k + -30. Does 6 divide i?
False
Let t(i) be the second derivative of -19*i**3/6 - 9*i**2/2 - 4*i. Let n be t(-11). Suppose n = 5*f - 3*f. Does 25 divide f?
True
Suppose -7*r + 2*r = -80. Suppose r = -2*l + 3*l. Is l a multiple of 4?
True
Does 9 divide (372/155)