127. Is 4 a factor of ((-10)/(-6))/((-15)/d)?
True
Suppose 90*x - 169376 = 23*x. Is 8 a factor of x?
True
Let u(h) = -410*h - 120. Let l(j) = -24*j - 7. Let t(k) = 35*l(k) - 2*u(k). Is 27 a factor of t(-7)?
True
Let p(b) = 3*b**2 - 3*b + 7. Let x be (-21 - -16)/(-1 - 0). Let n = x - 2. Is 12 a factor of p(n)?
False
Let a(f) = -9*f + 2589. Let t be a(0). Suppose -16*x + 2467 = -t. Does 11 divide x?
False
Let k(q) = -q**2 + 5*q + 8. Let u be k(6). Suppose -2*o - 4*j + u = -20, 0 = o - 4*j + 7. Suppose -10 = -2*a + 2*n, o*n = 3*n - 6. Does 2 divide a?
True
Suppose 4*h = 2*f - 136, 72*h + 428 = 7*f + 70*h. Is 4 a factor of f?
True
Let c(g) be the second derivative of -2*g**3 - 11*g**2 + 2*g. Let z be (-190)/20 - (-6)/(-12). Is c(z) a multiple of 7?
True
Let z(s) = s**3 + 47*s**2 + 75*s + 117. Is 119 a factor of z(-37)?
False
Let d(s) = -s**3 + 152*s**2 - 214*s - 541. Is d(150) a multiple of 8?
False
Suppose 0 = 540*o - 19830700 + 1041400. Is o a multiple of 20?
False
Suppose 7*d = -7*d + 2842. Suppose l = -5*h + 82, 3*h = -4*l + 193 + d. Does 17 divide l?
True
Suppose 2*m + 3*w - 118 = 0, m - 11 = 5*w + 22. Suppose 2*h = -3*b + 273 + m, -4*b - 3*h + 434 = 0. Let y = -52 + b. Is y a multiple of 29?
True
Let g = 7565 - 5247. Is 37 a factor of g?
False
Let j(f) = -f**3 + 72*f**2 + 14*f + 16. Is 242 a factor of j(30)?
True
Let h(l) = -l + 36 - 73 + 44 - 6*l - l**3 + 7*l**2. Let s be h(4). Suppose 20*j - s*j + 28 = 0. Is j a multiple of 3?
False
Suppose 2*m - 173 = -27. Suppose -10*h + m = -37. Suppose 3*k - 71 = 4*g, -5*g - 34 = -2*k + h. Is k a multiple of 4?
False
Let w(l) = -8*l**2 + 11*l. Let q be w(8). Let a = q + 179. Does 14 divide (-34)/51 - a/3?
False
Let x = -555 + 1115. Suppose 43 = j + o - 229, -2*j + 2*o + x = 0. Is 46 a factor of j?
True
Suppose -4*w - 16 = -3*f - f, 18 = 3*f - 5*w. Let k(z) = 370*z + 14. Does 16 divide k(f)?
True
Let t(g) = 128*g - 1319. Does 23 divide t(36)?
True
Suppose 3*v = 11 + 1. Suppose 2*r = v*d + r - 9, 0 = -2*r + 6. Suppose -d*p + 2*u + 100 = -0*u, -4*u = 20. Is p a multiple of 3?
True
Let w = -10559 - -1184. Let z be 2/(-6) - w/45. Suppose y - 3*y = -z. Does 26 divide y?
True
Let p(n) = 33*n + 7. Let g be p(6). Suppose -4*l - g = -9*l. Suppose 0 = -3*w + l + 7. Does 3 divide w?
False
Let u(d) = 16*d**2 + 48*d + 10. Suppose -17 = -26*c + 113. Does 13 divide u(c)?
True
Let d(t) = -t**2 + 157*t - 105. Is d(77) a multiple of 173?
True
Let l be 0 + -1 - 156/(-4 - -1). Is l/(-119) + 3288/28 a multiple of 3?
True
Suppose -5*s = 2*p + p - 21, 3*s - 15 = -2*p. Does 7 divide (-337)/2*(-14 + p)?
False
Suppose -9*x - 1239 = -16*x. Let a = 324 - x. Does 18 divide a?
False
Let f be 1*8*((-126)/(-24) - 2). Suppose 10*b - f + 6 = 0. Suppose -4*x - m = -5*x + 1, -3*x + b*m = -6. Is x a multiple of 4?
True
Suppose -21*v - 176*v = 8938 - 362356. Does 13 divide v?
True
Let o be 4005/6 - 3/(-6)*-1. Suppose -5*q - 97 + o = 0. Is q a multiple of 38?
True
Let a(h) = -8*h**2 + 12*h + 3*h**3 + 6 - 30 - 4*h**3 - 2*h**2. Let r = 242 - 254. Does 7 divide a(r)?
False
Suppose -323*o + 320*o = -5*r - 91714, -91682 = -3*o + r. Does 102 divide o?
False
Suppose -3*z = -6954 + 1815. Is z a multiple of 13?
False
Let u(w) = w - 7. Let c be u(11). Suppose 0 = -y - 2*t + 65, -7*t + 280 = c*y - 3*t. Suppose y = x + 3*d - 4*d, 0 = 3*d. Is x a multiple of 15?
True
Does 37 divide ((873 - -3)/(-6))/(17/(-1904))?
False
Suppose 46*v + 55366 = 140*v. Is v a multiple of 14?
False
Let k(j) = j**3 + 64*j**2 + 160*j + 86. Is 4 a factor of k(-60)?
False
Let j(x) = 2*x**3 - 45*x**2 - 22*x - 143. Does 12 divide j(25)?
False
Suppose 5*v - 1841 = 3*o - 627, -4*v + 978 = o. Let h = v - 141. Let j = 37 + h. Is 17 a factor of j?
False
Let f(s) = -4*s**3 - 89*s**2 + 71*s - 374. Does 69 divide f(-35)?
True
Does 20 divide 32376/(-342)*(-54)/4?
False
Let j(g) = g**2 - 10*g - 69. Suppose -6*v + 69 = 4*x - v, 4*x = 2*v + 62. Does 8 divide j(x)?
False
Let w(z) = 6*z - 2. Let q be w(2). Let m be 56/6 - (q/6)/5. Is 7 a factor of ((-138)/(-2))/(-1)*(-3)/m?
False
Let z = -273 - -531. Is (3 + z*-1)/(-5 + 4) a multiple of 19?
False
Let g = -436 + 434. Suppose 3*m = 2*q - 34, 30 = -5*m - 5*q + 3*q. Is 25 a factor of -2 + (-2379)/(-12) - g/m?
False
Let m be (1 - 2)*(7 - 1599/3). Let f = m + -343. Is 21 a factor of f?
False
Suppose -310083 = -65*p + 646717. Is p a multiple of 29?
False
Suppose a + c = 17, -7*a + 3*a - 5*c = -69. Suppose -b = 3*b - a. Let f = 53 + b. Is 32 a factor of f?
False
Suppose 48*m + 4*k - 28184 = 46*m, 42266 = 3*m - 4*k. Does 10 divide m?
True
Let k = 183 + -180. Suppose -4*p - k*i - 373 + 1348 = 0, 3*p - 745 = -5*i. Is 4 a factor of p?
True
Suppose -1484635 - 1152594 = -91*c + 74389. Is 57 a factor of c?
False
Is (-1232 - 6)*(-17 - -9 - -3) a multiple of 37?
False
Suppose 0 = 6*a - 22 - 8. Suppose -a = 4*n + 23. Let l(b) = -25*b - 7. Is l(n) a multiple of 43?
False
Let u(t) = 2372*t + 2125. Is 7 a factor of u(4)?
True
Let c = -18 + 44. Suppose c = -11*p + 70. Suppose j - p*a = -j + 134, -195 = -3*j + 4*a. Does 21 divide j?
False
Let z(k) = -k**2 + 21*k + 34. Let o be z(21). Suppose 30*s - 20 = o*s. Let v(c) = -2*c**3 + 3*c**2 + 8*c - 5. Does 20 divide v(s)?
True
Let o(s) = 11*s - 34. Let u = 192 - 187. Is 7 a factor of o(u)?
True
Let z = -7750 - -10895. Does 45 divide z?
False
Let v(x) = 13*x - 99. Let o(d) = -26*d + 181. Let h(l) = 6*o(l) + 11*v(l). Let q be 1*-7 - 1/(-1). Does 15 divide h(q)?
True
Suppose -207 = -2*x - 305. Is 7 a factor of 0*(-7)/x + 183?
False
Let k be ((-38)/10)/(4/(-20)). Let z(c) = 2*c + 42. Let i be z(k). Suppose -2*b - 10 = -i. Does 21 divide b?
False
Suppose -53 = -5*n - 28, -n + 19125 = 2*q. Is q a multiple of 40?
True
Is (-8)/((-56)/(-49)) + 3853/1 even?
True
Let f(i) = 149*i**2 + 79*i + 476. Is 151 a factor of f(-5)?
False
Let j(m) = -10*m**3 + 4*m**2 + 56*m + 256. Does 13 divide j(-9)?
False
Suppose r - 41 = 2*b, b = r - 13 - 30. Let f = r - 44. Is f - (-8)/((-24)/(-81)) a multiple of 14?
True
Suppose -256*c + 66118 = -77242. Is c a multiple of 8?
True
Suppose 2*f - 6 = -6. Suppose f = -u + 26*u - 14450. Is u a multiple of 17?
True
Suppose -3*b - 32 = -b. Let r = b - -10. Is ((-4)/r)/((-2)/(-78)) a multiple of 14?
False
Let r(q) = 19*q - 18. Let s be r(9). Suppose 0 = -4*a - 16, h = 3*a + 2 + 7. Let i = s - h. Is i a multiple of 26?
True
Is 45 a factor of (-2208 - 37)/(1/(-5))?
False
Let v(y) = -2*y**3 + 299*y**2 - 127*y - 501. Is v(149) a multiple of 136?
False
Let v(p) = 14305*p**2 + 28*p - 23. Is 159 a factor of v(1)?
True
Suppose 13*p - 3825 = -4*p. Is p a multiple of 5?
True
Let l = 8962 - 4707. Does 18 divide l?
False
Let r = -51 + 53. Let q(h) = -19 + 4*h + h**r - h - 8*h. Does 17 divide q(9)?
True
Let a = 67 + -65. Suppose -3*f = -5*d - 2*f - 6, a*d - 4 = 2*f. Let q(w) = -95*w - 5. Does 37 divide q(d)?
True
Let p(d) = -d**2. Let z(c) = c**3 + 4*c**2 - 15*c - 14. Let n(j) = -5*p(j) + z(j). Let b(i) = -i**3 - i**2 - 5*i - 10. Let w be b(0). Does 7 divide n(w)?
False
Let p = 3043 + -3000. Is p a multiple of 4?
False
Let s be 4120/12 + ((-15)/9)/5. Let g = s + -235. Is 9 a factor of g?
True
Let l = 16438 + -7299. Is l a multiple of 9?
False
Let q = -82 - -85. Suppose -b + q*b + 204 = 0. Let x = -60 - b. Is x a multiple of 6?
True
Let t be 12/7 - (-6)/21. Suppose -4*b + 3*q - 21 = -53, -26 = -2*b - q. Suppose 3*x + 4*c - 347 = 0, t*c + b - 3 = 0. Does 21 divide x?
False
Suppose 5*u + 47*f - 44*f - 8890 = 0, -2*u + 2*f = -3556. Is 15 a factor of u?
False
Let h(p) be the second derivative of 53*p**3/6 + 3*p**2/2 + 3*p + 13. Does 12 divide h(5)?
False
Let g(c) = -1126*c**2 - 3*c - 6. Let r be g(-1). Let y = -241 - r. Is 24 a factor of y?
True
Let k(j) = -j**2 - 6*j + 1. Let q be k(-10). Suppose 3*f + 26 + 175 = 0. Let n = q - f. Is 4 a factor of n?
True
Suppose 0 = -0*l - 2*l + 631 + 1161. Is 64 a factor of l?
True
Let u(o) = 4*o + 1 + 26*o - 172*o. Let y be u(2). Let d = 408 + y. Is d a multiple of 13?
False
Let u be (8 - 39/6)*(2 + 0). Suppose -27 - 90 = -u*f. Is 5 a factor of f?
False
Suppose -46 = -2*q + q + k, -2*q - 2*k = -84. Let n = 132 - q. Is 22 a factor of n?
True
Let k(a) = a**3 + a - 1. Let h(j) = 5*j**3 - 5*j**2 + 10*j - 6. Let u(s) = h(s) - 4*k(s). Let q be u(2). Is q/(-3) + (-4)/((-48)/1228) a multiple of 3