4 divide y?
False
Suppose -h - 4 = -12. Let p be (h/10)/((-12)/(-5) - 2). Suppose 530 = 2*y + 2*j, 1295 = 7*y - p*y - j. Does 61 divide y?
False
Let h = 123 + -69. Let u = -45 + h. Is 2 a factor of u?
False
Suppose -5*k + 3*f = -21034, -3*k + f - 2873 = -15499. Is 47 a factor of k?
False
Let b(k) = k**2 + 10*k + 8. Let z(a) = a**2 - 25*a + 34. Suppose 4*c = -17 + 109. Let x be z(c). Is b(x) a multiple of 32?
True
Suppose 0*k + 8 = 4*k, 0 = -2*l - 4*k + 2782. Does 11 divide l?
False
Suppose 0*t = -2*t - 3*t + 80675. Does 245 divide t?
False
Let b(k) = 40*k**2 - 473*k + 24. Is 69 a factor of b(-9)?
True
Suppose -3*r = -13*n + 8*n + 351, 3*n - 228 = -4*r. Suppose -16*k = -n*k + 40320. Is 18 a factor of k?
True
Suppose -6*n = -20*n + 42. Is 97 a factor of (-2 + n)/2 - 1938/(-4)?
True
Suppose 4 = 21*b - 23*b, -2*b + 24852 = 4*x. Is x a multiple of 26?
True
Suppose -7*r = -57*r + 39702 + 69048. Is r a multiple of 87?
True
Let w be 188/46 - (-142)/(-1633). Let a(z) = 20*z**3 - 4*z**2 + 7*z + 2. Is a(w) a multiple of 15?
False
Suppose 23419 = 3*g - 2*c, -8312 = -5*g - 5*c + 30753. Is g a multiple of 19?
True
Let v = 52163 + -31283. Is v a multiple of 8?
True
Let t be ((-2 - -5) + 1)*(-6)/4. Let f(r) = -58*r + 15. Is 33 a factor of f(t)?
True
Suppose -3*p - 4*x + 8720 = 0, 8332 = 5*p - x - 6232. Suppose 59*i - p = 55*i. Is i a multiple of 28?
True
Suppose -3*z + 14975 = -103*x + 108*x, 2*z - 9996 = 3*x. Does 9 divide z?
True
Suppose 0 = -5*s - 3*k + 209, -6*s = -4*s + 5*k - 95. Suppose 4*n - 136 = s. Does 2 divide n?
True
Let p(c) = -c**3 - 29*c**2 - 22*c + 73. Let x be p(-28). Let f = x - -185. Is f a multiple of 2?
True
Suppose 2*q + 2*j - 6*j + 24 = 0, 20 = -q + 4*j. Does 14 divide (4 - 5 - 146)*q/3?
True
Suppose -22*z + 560 = -8*z. Is 19 a factor of ((-840)/350)/((-3)/z)?
False
Let w = -473 + 478. Suppose -2*b - w*s + 625 + 611 = 0, -3*s = 3*b - 1836. Is 13 a factor of b?
False
Suppose 0 = -4*b - 5*z + 20, z = -5*b - 0*b + 25. Suppose 11 + 221 = 3*x + 2*n, b*n = -5. Let f = 138 - x. Is f a multiple of 10?
True
Is 786/(-18)*3*-197 a multiple of 32?
False
Let f = 5843 + -4723. Is f a multiple of 16?
True
Suppose 2*d + d - 5*f = 1272, 0 = -4*f + 12. Suppose 0 = 5*y + 9 + 6, 3*v - d = -3*y. Is 10 a factor of v?
False
Suppose 105*l - 29390 - 21227 = -7462. Suppose -3*w = w + 832. Let v = w + l. Is v a multiple of 16?
False
Does 65 divide (-7)/1 - (-157036)/(40 + -18)?
False
Let p(x) = 586*x - 126. Let a be p(9). Is a/(-231)*98/(-4) a multiple of 42?
True
Let j = -49 + 1453. Does 156 divide j?
True
Let j(l) = 4*l**2 - 6. Let g be j(-2). Suppose g*u = 15*u - 565. Does 3 divide u?
False
Let a be (24/(-16))/(4/8). Is 18 a factor of 374*(-3 + a)/(-6)?
False
Let m(y) = -5*y + 4. Let s be m(-1). Let z be 258/s + 1 + 1/3. Suppose 4*o = 10 + z. Does 2 divide o?
True
Let a(q) = q**2 + 5*q - 7. Let d(s) = s + 30. Let k be d(-14). Suppose 8*p - 40 - k = 0. Is a(p) a multiple of 11?
True
Suppose 106 = 2*q + 3*q - 4*i, 2*i + 8 = 0. Let w = 17 - q. Does 6 divide 1/(w*3/(-144))?
True
Let v be ((-4)/12)/(4/420). Is 13 a factor of (-2)/5 - 1379/v?
True
Let c(m) = m**2 - 19*m + 1. Suppose 5*r - 4*o = -0*o + 79, 4*o - 16 = 0. Let y be c(r). Is (y - (-2 - -2)) + 68 a multiple of 10?
False
Suppose b = -2*b + 4*g - 36, 0 = -b - 3*g + 1. Let o(y) = -11*y + 22. Is o(b) a multiple of 13?
False
Is (2654/10 - -1)*(-11)/((-308)/3220) a multiple of 12?
True
Let t(d) = -d + 17. Let x be t(6). Let w(l) = -l + 15. Let v be w(x). Suppose 0 = -5*k - 2*c + 1338, -v*c + 716 + 98 = 3*k. Is k a multiple of 13?
False
Let m(r) = 12*r**2 + 4*r + 3. Let z be m(-1). Suppose z*o - 1132 = 7*o - 3*p, -2*o + 5*p = -566. Does 13 divide o?
False
Let p = 31 - 48. Let u = p - -19. Suppose -2*j + 102 = u*q, 7*j - 147 = -3*q + 2*j. Is q a multiple of 9?
True
Suppose 2 = -2*s - 5*b - 3, s - 3*b + 19 = 0. Let w(c) = 10*c + 23 - 8*c**2 + 2*c**2 - c**3 - 2*c**2. Does 39 divide w(s)?
False
Suppose -5*j + 4*z + 2624 = 0, -7*z + 4*z = -j + 516. Suppose -48*r = -52*r + j. Is r a multiple of 9?
False
Let f(j) = 99*j**2 + 50*j - 192. Is f(4) a multiple of 9?
False
Is 13 a factor of (5375524/(-121))/(-7) + (-12)/22?
False
Is 264 a factor of 560/(-6)*(-8019)/135?
True
Suppose 27*o = 240521 + 135938 + 19469. Does 52 divide o?
True
Suppose -217*r = -215*r + 26. Does 25 divide (-476)/(-273)*258 + (-2)/r?
True
Let z be 2*(-3 + (-5 - -6)). Is 6 a factor of (228/14)/(z/(-28))?
True
Let o(w) = 2*w**2 + 24*w - 65. Let h be o(-33). Let q = h + -866. Does 13 divide q?
True
Suppose 9*m - m - 48 = 0. Suppose 17*o = m*o + 319. Does 9 divide o?
False
Let z(q) = q + 10. Let p be z(-12). Let g be (28 + p)*(-1 - -7 - -1). Is 5 a factor of g/12 - ((-78)/(-36))/13?
True
Let q be 3/(6 - (-27)/(-6)). Suppose -j = -4*w + 4045, 1916 + 99 = q*w - 3*j. Does 47 divide w?
False
Suppose 4*z + 18 = g - 0*z, -3*g + 14 = -2*z. Suppose -2*l + 4*q = -4*l + 2, 2 = -4*l - g*q. Let w = 32 - l. Is 12 a factor of w?
False
Let h(u) = 11*u + 14. Let d be h(-1). Is 42 a factor of 302 + (0/d - 1)?
False
Let w(q) = 2*q + 3*q + 2 - 1 + 2*q**2. Suppose -h - 3 - 10 = 2*i, 3*h + 3*i + 27 = 0. Is 13 a factor of w(h)?
True
Suppose -6*a = 32*a - 258438. Suppose a = 9*v - 57. Is v a multiple of 6?
True
Let z(f) = f**3 - 18*f**2 - 43*f + 40. Is z(27) a multiple of 85?
True
Suppose 0 = -5*i + 3*m + 9 + 2, 5*m = -i + 19. Suppose 2*g + i = 4. Does 15 divide (-131 - g)/((1 + 0)*-1)?
False
Suppose 0 + 2 = -2*x, 3*x + 23 = -5*z. Let t(i) = -23*i - 234. Let n be t(-10). Is 19 a factor of 54 + z + (-2)/(n/14)?
True
Let r = 3897 - -1043. Is r a multiple of 130?
True
Suppose 0 = 175*l + 124*l + 501559 - 6203788. Is 9 a factor of l?
True
Suppose -3*j - 8702 = -2*k, 42*k - 47*k + 3*j + 21746 = 0. Does 18 divide k?
False
Suppose 3*c - 4*z = -561 - 1042, -4*c - 4*z = 2184. Let j = 1213 + c. Is j a multiple of 12?
True
Let m(t) = t + 8. Let i = 49 + -24. Let d be m(i). Suppose -3*z = 3*l - d, l = -3*z + 7*z + 31. Does 12 divide l?
False
Let x(v) be the first derivative of 48*v**3 + 3*v**2/2 - 7. Let t(n) = n**2 - 1. Let i(f) = 4*t(f) + x(f). Does 21 divide i(1)?
True
Suppose 9*m = -1630 - 116. Let p = m - -446. Does 9 divide p?
True
Let b be ((-60)/42)/(-3 - 80/(-28)). Let h(f) = 5*f**2 + 2*f. Does 13 divide h(b)?
True
Suppose 5*y = -2*w + 112888, 0 = 2*y + 5*w - 35164 - 10008. Is 34 a factor of y?
True
Let z(k) = k**3 + 32*k**2 - 289*k - 231. Does 3 divide z(-38)?
False
Let d(s) = 11*s**3 - 2*s**2 - 3*s - 1. Let q be d(-1). Suppose 0*o + 4*u - 2 = o, 3*o + 4*u = -6. Does 5 divide o/(-4)*(-1474)/q?
False
Let h be (7 - 131805/(-105)) + 2/(-7). Let d = h + -901. Is 17 a factor of d?
False
Let x(p) = -p**3 + 4*p**2 + 3*p + 13. Let l be x(6). Let u = -44 - l. Let o = u + 8. Is o a multiple of 5?
True
Let z(a) = a**3 - 11*a**2 + 20*a + 10. Let q = -39 - -47. Let h be z(q). Let n = h - -115. Is n a multiple of 31?
True
Suppose 4*q = -2*p + 9788, -39*q - 2444 = -40*q - 2*p. Is 204 a factor of q?
True
Suppose -l - 1349 = 3*d - 5*d, -678 = -d + 4*l. Suppose 2495 = 3*n + d. Is n a multiple of 14?
False
Let o(g) be the third derivative of -7*g**4/8 + 7*g**3/2 + 5*g**2. Let y be o(8). Let k = y - -216. Does 23 divide k?
True
Let j(o) = o + 1. Let h(p) = 509*p + 37. Let c(u) = h(u) + 6*j(u). Is c(1) a multiple of 31?
True
Suppose 69*i = -5*k + 70*i + 6807, -i = 2*k - 2720. Does 7 divide k?
False
Suppose 0 = 3*h - 20059 - 8417 - 25365. Does 45 divide h?
False
Let x = 14441 + -9017. Is 8 a factor of x?
True
Let d = 7790 - -58419. Is d a multiple of 143?
True
Let d(w) = 5*w**3 + 3*w**2 - 5*w. Let z be d(2). Let p = -9 - -58. Let m = p - z. Is 7 a factor of m?
True
Let h = 22658 - 14167. Is h a multiple of 3?
False
Let k = -4929 - -8039. Does 5 divide k?
True
Suppose 0 = -77*a - 33*a + 793100. Does 70 divide a?
True
Let p be (6/10 - 2231/(-115)) + 4. Is 53 a factor of 2188/20 - p/60 - 3?
True
Suppose -o + 246 = 2*m, 141 = m - 449*o + 445*o. Does 25 divide m?
True
Let m be (-215)/(-45) - 2/(-9). Suppose b + 0*b = 0, -4*b = -x + m. Suppose -62 + 512 = x*h. Is 17 a factor of h?
False
Let c = 78 + 700. Is 83 a factor of c?
False
Suppose -120*h + 135 = -115*h. Suppose -1054 = -h*x + 1376. Is x a multiple of 3?
True
Suppose 228*o - 3726 = 234*o. Let w = o - -1110. Is 51 a factor of w?
False
Let f = 11