es 24 divide (d/(-10))/((-42)/(-700))?
False
Let i(b) = 2*b**2 - 5*b + 11. Let d be i(5). Let c = d - 26. Is 28 a factor of 115 - ((-10)/25 + 34/c)?
True
Let l(t) = 4*t**2 - 7*t - 1171. Is l(68) a multiple of 29?
True
Suppose 3*f = -3*l + 27, -2*l + 4*f = -24 - 12. Let y(p) = -2*p - 40. Let k(c) = 6*c + 39. Let d(j) = 5*k(j) + 6*y(j). Is 19 a factor of d(l)?
True
Is 17 a factor of 42/(-252) + (-475732)/(-24)?
True
Suppose p - 323 = -4*s - 7, p - 296 = s. Let q(m) = m**3 + 21*m**2 + 84*m + 18. Let i be q(-6). Let t = p - i. Is t a multiple of 35?
False
Let w(k) = k**3 + 32*k**2 - 61*k - 174. Is 19 a factor of w(20)?
False
Let m(t) = -2*t**3 - 5*t**2 - 2*t + 5. Let k be m(-2). Suppose k*x + 0*x - 260 = -3*f, -3*f = -x - 236. Is 10 a factor of f?
True
Suppose w = -3*t + 152583, 8*t - 583242 + 176312 = 2*w. Is t a multiple of 222?
False
Suppose 0 = 3*r + 36. Let p be (-4)/r - 1592/(-12). Let n = 241 - p. Is n a multiple of 36?
True
Let x(q) be the second derivative of 10*q**3 + 40*q**2 + 150*q. Is 18 a factor of x(8)?
False
Suppose v + 1 = 0, -2*m + 68 = -m - v. Let g be 5 - 6 - m*-1. Suppose 0*p + 2*p = g. Is 4 a factor of p?
False
Let w be (5 - 2)*(-111)/(-3). Suppose 114*x - w*x = 153. Is 4 a factor of x + (-4)/(-8)*-10?
False
Let q(s) = 6501*s**3 - 10*s**2 + 10*s - 1. Does 11 divide q(1)?
False
Let i(m) = 29*m + 97. Let a be i(14). Suppose 3*n - 1542 = -3*h, -5*h + a = n - 27. Is 5 a factor of n?
True
Let y be 100/(-15)*(-12)/5. Suppose 25*w - y = 21*w. Let r(u) = -u**2 + 15*u - 14. Is 2 a factor of r(w)?
True
Suppose 0 = 3*q + 3*k - 113622, -19*q + 16*q + 113608 = 5*k. Does 203 divide q?
False
Let i(a) = a**3 - 64*a**2 + 210*a + 121. Is i(62) a multiple of 133?
True
Let q(p) = p**3 + 5*p**2 + 9*p + 23. Let a be q(-4). Suppose -4*l + 2686 = 2*h, 0 = a*h - 7*h - 4. Does 28 divide l?
True
Let i be (-555)/(-10) - (-2)/(-4). Let h = i - 35. Suppose 4*f + h = 164. Is f a multiple of 12?
True
Let v be (0 + 6)*13/(-13). Let b = 4 - v. Is 2 a factor of b*((-8)/(-12))/((-8)/(-6))?
False
Let y be (3*(-12)/45)/((-4)/10). Suppose -y*a + 3*u = -0*a + 3, 0 = 4*a - 4*u. Suppose -n = 3*x - 167, 2*n = -x + a*n + 49. Is x a multiple of 27?
True
Let a(z) = 2*z + 1. Let g be a(13). Suppose -g = -5*n - 2. Suppose n*c - 125 = 60. Is c a multiple of 6?
False
Suppose -73*h = -83*h + 20560. Is 26 a factor of 18/(h/(-416) - -5)?
True
Suppose 13*n - 12*n = -3*w + 75, 5*w = -2*n + 146. Is n a multiple of 9?
True
Let z(d) be the third derivative of d**6/360 + d**5/24 + 29*d**4/24 - 7*d**3/6 + 20*d**2. Let w(i) be the first derivative of z(i). Is 19 a factor of w(-8)?
False
Let t = -2 - -11. Let s be (t - -201)*8/10. Suppose -53*c + s = -50*c. Is 14 a factor of c?
True
Let d(g) = 9*g**3 - 3*g**2 - 8*g - 21. Let y be d(-4). Let o = y + 1169. Is 95 a factor of o?
False
Let z = 852 - -567. Is 6 a factor of z?
False
Suppose -5*p + 74826 = 3*d, 0 = -3*p + 8*d - 13*d + 44902. Is 87 a factor of p?
True
Let j = -66 + 50. Let l = j - -131. Let t = -48 + l. Is 22 a factor of t?
False
Let y(a) = -a**3 + 9*a**2 + a - 8. Let f be y(9). Let t be (4/(16/12))/f. Suppose t*o + 180 = 3*p - p, o = 3*p - 256. Does 14 divide p?
True
Let y(p) be the second derivative of 0 - 5/6*p**3 + 3/2*p**4 + 1/20*p**5 + 8*p - 11*p**2. Is 17 a factor of y(-18)?
True
Let o(j) = -10*j + 110. Let d be o(-5). Suppose -4*u + 290 = -2*n, 4*u - 131 = 3*n + d. Does 12 divide u?
True
Let h(y) = 5*y - 2. Let q be h(-4). Let l be -3 - 2/2*q. Let x = 37 - l. Does 2 divide x?
True
Let l(f) = 57*f**3 + 8*f**2 - 21*f - 12. Is l(3) a multiple of 24?
True
Is 41 a factor of -14 - (22 - -47074)/(-2)?
True
Let u(b) = -12*b**2 - 3*b + 13. Let x be u(4). Let w = 366 + x. Does 7 divide w?
True
Let z be (-10)/((3/(-63))/(10/3)). Suppose 0 = -10*g + 12*g - z. Suppose 16*y - 11*y - g = 0. Does 11 divide y?
False
Suppose 2*c + 0 = 10. Suppose 153 = -c*z + 1068. Is z a multiple of 18?
False
Let b = -81 + -9. Suppose -46*s = -143*s - 15423. Let f = b - s. Is 25 a factor of f?
False
Let v = -171 + 442. Let l = 890 - v. Does 32 divide l?
False
Let z(g) be the third derivative of g**6/120 + 17*g**5/120 - g**4/24 + 5*g**3/6 - 33*g**2. Let y(m) be the second derivative of z(m). Is 7 a factor of y(3)?
True
Suppose -d = -4*v - 223 + 177824, 2*d + 177598 = 4*v. Is 32 a factor of v?
False
Suppose 79*b - 78*b = 3, -3*j - b + 933 = 0. Is 14 a factor of j?
False
Suppose -6*v - 8*v + 1612 = -10*v. Is v even?
False
Suppose 36*r - 34*r = -16, 2*i = -2*r + 4196. Is 9 a factor of i?
True
Let d(s) = s**2 - 5*s - 24. Let v be d(8). Suppose v = -5*l - 29 + 124. Let g(z) = -z**2 + 21*z - 8. Is 29 a factor of g(l)?
False
Let a(y) = 487*y**3 - 4*y**2 + 16*y. Is 13 a factor of a(3)?
False
Let w(p) = -p + 26. Let t be w(24). Suppose -5953 = -4*v - 3*c, -4*v - t*c + 5*c + 5983 = 0. Suppose -15*a = -v + 352. Is a a multiple of 5?
False
Is (-22)/(66/(-19467)) - (-1)/2*8 a multiple of 43?
True
Suppose -a - s - 1 = 0, -2*a + 23 = -s - 2*s. Suppose 0 = p + a*p - 40. Suppose -l - 2*u + 52 = 0, -5*u - 185 = 3*l - p*l. Does 6 divide l?
True
Let d(u) = 2*u**2 - 3*u + 654. Is 53 a factor of d(23)?
True
Suppose -125 = -m - p, 4*m - 7*p = -3*p + 476. Let k = m + -110. Let i(d) = 7*d - 12. Is i(k) a multiple of 4?
True
Let s be (3 + 1)/(3 - 2). Let b(r) = r**2 - 22*r + 42. Let z be b(20). Suppose -3*d + 114 = s*y - 35, z*d + 5*y = 90. Does 34 divide d?
False
Suppose 15798 = 4*v - 5*f, -4*f + 2423 = -5*v + 22166. Does 26 divide v?
False
Let d be (-453)/12*(13 + -17). Suppose -16*g + 1863 = d. Is g a multiple of 2?
False
Is ((2080/12)/8)/(1/105) a multiple of 13?
True
Suppose -3*d = 4*y - 22248 - 14922, -y + 9300 = 2*d. Is y a multiple of 86?
True
Let f(k) = 3237*k**2 + 110*k - 27. Does 64 divide f(-4)?
False
Let w(v) = -3*v + 15. Suppose 2*c - 10 = 0, 4*c - 32 = 2*m - 4. Let g be w(m). Suppose 3*l - 37 = -5*r, g = 3*l - 3*r - 18. Is l a multiple of 2?
True
Suppose -8*g + 31*g = 75463. Suppose 22*k - 2791 = g. Is 6 a factor of k?
True
Let q be (-18)/(1234/248 + 0 - 5). Let g = -220 + q. Is g a multiple of 9?
False
Let n(x) = 32*x - 20. Let m be (-1 + 0)/(7/(-14)). Is n(m) even?
True
Let k = 432 + -428. Is (0 - k - 206)/(-1) a multiple of 8?
False
Let n = 12278 - 6578. Does 114 divide n?
True
Suppose 3*j = -2*h - 3, 7*h - 2*j - 2 = 3*h. Let g(o) = -o**2 - 6*o + 160. Is g(h) a multiple of 20?
True
Suppose -3*x + 356 = -2931 - 3496. Is 7 a factor of x?
True
Let k be -1 + -2 + 0 + 5. Suppose 2*u + u = k*u. Suppose -2*a = -5*r - 184, 4*a - 3*r + 109 - 491 = u. Is a a multiple of 25?
False
Suppose -w = 3*b - 154 - 241, -4 = -4*b. Is 39 a factor of 7/((-3 + 10)/w)?
False
Let f be (-1 - 541/(-3))/(196/294). Let n = -61 + f. Does 25 divide n?
False
Let m(o) = 4*o**3 - o**2 - o - 3. Let y be m(3). Let d = 107 - y. Suppose -d*w + 67 = -17. Is w a multiple of 6?
True
Is ((-6)/(-27))/(-1) + (-1357824)/(-702) a multiple of 44?
False
Let b(h) = 285*h - 3. Let w be b(2). Suppose -4*c = -229 - w. Suppose 3*g - 263 = c. Does 17 divide g?
False
Suppose c - 98 = 2*g + 4*c, c = -2. Let j be (-194)/(-3) - (g/(-6) + -7). Does 20 divide (-1 + 16)*j/36*3?
True
Let v(n) = n**3 - 6*n**2 + n + 1981. Let p be v(0). Suppose 0*r - 3*r - 3*d + 1971 = 0, -2*d - p = -3*r. Does 48 divide r?
False
Let n(b) = b**3 + 11*b**2 - 7*b + 29. Let o be n(-10). Suppose -o = -z - 2*x + 7*x, -3*x + 191 = z. Is z a multiple of 13?
False
Suppose 63 = h + 3*p, 192 = 5*h - 4*p - 28. Suppose 1269 + h = 3*d. Is d a multiple of 44?
False
Let r(w) = w**3 - 9*w**2 - 9*w - 8. Let z be r(10). Suppose 34 = z*y + 26. Suppose -4*v + 6*v = y. Does 2 divide v?
True
Let l = -173 - -173. Suppose n + 4 = l, -3*y - 5*n = -9*n - 1939. Is y a multiple of 32?
False
Let j be 1385/10 - 3/2. Let h = 94 - j. Let f = h - -46. Does 2 divide f?
False
Suppose 30461 = w + 60*o - 64*o, 4*w - 3*o - 121844 = 0. Is w a multiple of 14?
False
Let o = 19430 + -8189. Is o a multiple of 30?
False
Let m(f) = 1890*f - 117. Is m(3) a multiple of 39?
False
Let k(w) = 2*w**3 - 9*w**2 - 19*w + 9. Let c be k(6). Suppose y - 9*j + 13*j = 332, 3*y = -c*j + 951. Is 8 a factor of y?
True
Let t = 14 - 12. Suppose t*i + 48 = z, 3*i = -4*z + 60 + 77. Does 4 divide z*(2 - (-12)/(-8))?
False
Suppose 0 = 2*o + s + 38, 0 = -2*o - 3*s - 3 - 39. Let u be ((-18)/15)/((-9)/30). Le