4/(3/(-3)))/((-2)/m)?
False
Suppose -4*b - m + 4259 = 0, 0 = 15*b - 10*b - 5*m - 5330. Let s = b + -493. Is s a multiple of 69?
False
Let m be 6/(-4 - -1)*8. Let z be -2*81*8/m. Suppose -5*j - 5*q + 89 + z = 0, -3*j + 4*q = -95. Does 33 divide j?
True
Is (-69453)/(-36) + (14/35)/(16/(-10)) a multiple of 2?
False
Suppose -80*c + 206*c - 1498770 = 0. Is 33 a factor of c?
False
Let j be (280 - (-2)/1)*1. Let b be (-11)/(6/(-8) - j/(-408)). Let k = b + -30. Does 15 divide k?
False
Let k(o) = 2*o + 6. Let s be k(2). Let w be (0 - (0 - 0) - -1)*s. Suppose w*i = 2*i + 1344. Is i a multiple of 24?
True
Suppose 0 = 2*m + 2*m - 16. Suppose 0 = -m*w - w. Is 2 + (-366)/(-3) - (w + 0) a multiple of 7?
False
Let d(m) = 553*m + 284. Is 14 a factor of d(15)?
False
Let d be (-14)/33*-9 + 14/77. Suppose o - 286 = -b + 298, d*o - 1751 = -3*b. Is 15 a factor of b?
True
Let m = 109 + -107. Suppose -m*i - 17*y + 1173 = -20*y, y = -5*i + 2907. Is i a multiple of 4?
False
Suppose 78*f + 50*f = 356096. Is 21 a factor of f?
False
Suppose -2*o - 6 - 4 = -k, 4*o - k = -22. Is 20 a factor of (2 - -34) + -6*4/o?
True
Let f = 1356 - 639. Suppose -4*j + 892 = 2*i, -4*j - 5*i + 169 + f = 0. Is 32 a factor of j?
True
Suppose 183*c - 2113797 = 1836373 - 338116. Is c a multiple of 71?
True
Let t(o) be the second derivative of -o**4/6 - 12*o**3 + 26*o**2 + 115*o. Is 18 a factor of t(-25)?
False
Suppose 148*y - 43297 = 204383 + 854328. Is 34 a factor of y?
True
Suppose -5*f = -i - 4664 - 8048, i + 2544 = f. Suppose 12006 - f = 14*z. Is 13 a factor of z?
True
Let i(h) = -27*h**2 + h - 1. Let d be i(1). Let q = 14 - -7. Is d/6*2/3 + q a multiple of 9?
True
Let j(n) = 221*n - 35. Let m(p) = -147*p + 22. Let v(r) = -5*j(r) - 7*m(r). Is 46 a factor of v(-3)?
False
Suppose 2160*k - 5*p - 1870 = 2159*k, 3*k = 3*p + 5610. Is k a multiple of 11?
True
Let h = 16 + -18. Let t be (-4 - 1)*((-70)/(-50) + h). Let g(x) = 4*x**3 - 3*x**2 - 3*x + 13. Does 17 divide g(t)?
True
Let t(p) = -5*p**3 + p**2 + 7*p + 12. Let o(v) = 5*v - 42. Let z be o(8). Does 14 divide t(z)?
True
Suppose -46*x + 42*x = 760. Is (96/(-160))/(6/x) a multiple of 9?
False
Let i(r) = 6*r**3 - 4*r**2 + 13*r - 48. Is i(3) a multiple of 6?
False
Is 21 a factor of 1908 + (1 - (9/(-3) - -6))?
False
Suppose -6*n + 18902 + 6688 = 0. Is 5 a factor of n?
True
Let t be 3 + 35/(-15 - -8). Let m(b) = -9*b**3 - 4*b**2 - 6*b - 9. Is m(t) even?
False
Suppose -107*t + 49*t = -42*t - 265632. Is t a multiple of 18?
False
Suppose -2*h + 3*p + 274 - 168 = 0, 4*h + 3*p = 194. Suppose 0*o + 3*o = -45. Let u = o + h. Is 7 a factor of u?
True
Let p(v) = 21*v - 69. Let z be p(-9). Let t = -207 - z. Does 4 divide t?
False
Suppose -20 = -q - 4*q. Suppose 2*t = q*i - 54, -3*t - 42 = -21*i + 18*i. Is i a multiple of 2?
False
Let d(x) = 11*x + 37 + 43 - 77. Is d(1) even?
True
Let s = 7265 - 3381. Is 15 a factor of s?
False
Suppose 4*u - 3*c + 32 = c, 3*c - 2 = u. Let l = 11 + u. Suppose -v - 4*v = -2*m - 640, 3*v - 4*m - 370 = l. Does 29 divide v?
False
Suppose -28*p = -256468 - 123184. Does 69 divide p?
False
Let t(y) be the third derivative of y**6/120 - y**5/12 + 4*y**3/3 - 16*y**2. Let p be t(7). Does 14 divide 3 + p - 2/((-6)/9)?
True
Suppose -r = -4*a - 1708, -13*a + 9*a = -4*r + 6856. Is 13 a factor of r?
True
Let t(o) = 11*o - 33. Let h be 2/(-4) - -1 - (-460)/40. Let a be t(h). Suppose 0 = 5*s - 2*s - a. Does 7 divide s?
False
Let m be 53/(-4*(-4)/16). Let y = -47 + m. Suppose -d + y = 3, -5*i - d = -48. Is i a multiple of 9?
True
Suppose 2*y - y = -4*f + 6, -2*y - 5*f + 24 = 0. Suppose -27*s = -y*s - 3*o - 503, -o = 1. Is s a multiple of 10?
True
Suppose -201477 = -185*h + 144843. Is h a multiple of 24?
True
Does 9 divide (-2)/16 + (-8929)/(-48)*6?
True
Let y(o) = -5*o**3 - 4*o**2 - 6*o - 8. Let t(h) = 6*h**3 + 3*h**2 + 7*h + 7. Let d(i) = -6*t(i) - 7*y(i). Is d(7) a multiple of 23?
True
Let v = 279 - 421. Let t = v + 28. Let d = t + 122. Is 2 a factor of d?
True
Let d(f) = 8*f**2 - 11*f - 192 - 2*f**3 + 214 - 16*f**2. Is 8 a factor of d(-5)?
False
Let d(o) = 2*o**3 - 9*o**2 + 5*o. Let a be d(7). Let f = a - 164. Is (-29)/f + 357/4 + 1 a multiple of 7?
False
Suppose -4*x = -s + 536, -x - x = -3*s + 1598. Does 5 divide s?
False
Suppose -2*w - 10 = -3*w. Suppose -3*i = w - 25. Is i a multiple of 3?
False
Suppose 0 = 7*l - 3*l + 48. Let z be (l/15 + (-26)/(-20))*2. Is 3 a factor of 6/(8/((-4)/z) - -4)?
True
Let f be (-2)/(4 - (-27)/(-6)). Let r be (12/(-4)*-2)/(f/350). Suppose -45*t = -42*t - r. Is t a multiple of 25?
True
Let o(y) = -3*y**3 - 2*y**2 - 3*y + 4. Let z be o(1). Let i(w) = -w**3 - 3*w**2 + 2*w + 3. Let p be i(z). Is 5 a factor of (p/3 - -2)*3?
False
Is ((-201)/(-9))/((-95)/(-75240)) a multiple of 12?
True
Suppose 0 = 2*m + 176*f - 180*f - 33250, -3*m - 4*f + 49875 = 0. Is m a multiple of 95?
True
Let d(r) = -r**3 - 4*r**2 + 2*r - 14. Let b be d(-5). Let v be (b - (-26)/(-6))*(-3)/2. Suppose v*i - 155 = -f, 4*f = 2*f - 2*i + 270. Is f a multiple of 26?
True
Let i(w) = 81*w**2 + 78*w + 1432. Does 28 divide i(-22)?
True
Let m = -1064 + 692. Let g = m - -572. Does 11 divide g?
False
Is (3 - (-174)/(-18))*(-234)/4 a multiple of 10?
True
Let c be (40 - 0)*-3*(-64)/(-60). Let k = c - -157. Suppose w - 148 = -k. Is w a multiple of 12?
False
Let q(n) = -n**2 + 12*n - 12. Let c be q(8). Suppose -c = 4*w - 8*w. Is 22 a factor of (0 - (-4)/(-5)) + 334/w?
True
Is ((-798)/(-280)*4)/((-2)/(-130)) a multiple of 8?
False
Let h(u) = -u**2 + 5*u + 4. Let c be h(5). Let f be 0/1 + 1 + 1. Suppose -f*o + 5*x = -220, -x - 592 + 116 = -c*o. Is o a multiple of 20?
True
Suppose 3*w - w + 1 = l, -3*l + 5 = -5*w. Suppose 3*g = -4*n + 32, -33 = 89*n - 94*n - 2*g. Suppose -2*u = -2*v - 20, -w*u + n*v = v - 10. Is u a multiple of 2?
False
Let i = -8 + 10. Let q = 24 + i. Suppose 3*r - q = r. Is 12 a factor of r?
False
Let m(r) = 109*r**2 + 8*r + 15. Let v be m(-2). Suppose -2*u + 5 = -7. Suppose v = u*x - 3*x. Is 36 a factor of x?
False
Let v be 4950/(-77) + 2/7. Let k = -13 + 1. Let a = k - v. Does 26 divide a?
True
Suppose -74345 = -s + 10*s - 317012. Is 67 a factor of s?
False
Does 93 divide -126*(186/8)/((-15)/70)?
True
Suppose 7*v + 22 = -20. Let i be v/3 + 9/(-2)*-50. Suppose -i = -2*k + 5*c, 2*c - 5 = -3. Does 19 divide k?
True
Suppose 0 = -2*v + 2*j + 4, 0*v - 4*j - 8 = 2*v. Suppose v = 11*u + 7*u - 4536. Is 63 a factor of u?
True
Let w(x) = -2018*x + 14894. Is w(-8) a multiple of 21?
True
Let x = -164 - -169. Suppose x*v = -2*b + 220, 3*b = 4*v - 2*v + 292. Is b a multiple of 12?
False
Let z be 3135/(-11) + (3 - 1). Let s = z + 484. Is s a multiple of 4?
False
Let c = 11904 + 1462. Does 15 divide c?
False
Suppose 13*y - 2*r = 12*y + 2510, -2*y + 5025 = -3*r. Does 70 divide y?
True
Let k = 47252 - 30664. Does 79 divide k?
False
Suppose 149*q = 68*q - 114*q + 3380910. Is q a multiple of 14?
False
Suppose 0 = -i + 5*y + 18360, -5*i + 66*y = 67*y - 91878. Is 27 a factor of i?
False
Let c = -5004 - -8480. Is 11 a factor of c?
True
Suppose -16*g + 932 = -1148. Suppose 5*u - 3*f = 673, u = -3*f - f + g. Does 21 divide u?
False
Suppose 0 = -3*i + 2*m + 5332, -20*i - 3*m + 1803 = -19*i. Is i a multiple of 11?
True
Suppose -289900 = 43972*a - 44022*a. Is 9 a factor of a?
False
Let q be (4/9)/((-4)/(-18)). Let o(c) = 5*c**q + 6 + 8 + 139*c - 135*c - 3. Is 25 a factor of o(-4)?
True
Let o = -6207 - -9678. Is o a multiple of 3?
True
Suppose -2*x + 55 = -4*g - 9, 0 = -x - 3*g + 52. Suppose 3*n + 15*b = 10*b + 120, -b - x = -n. Is 5 a factor of n?
True
Let i(n) = 51*n + 13. Let s(g) = 51*g + 12. Let v(z) = 2*i(z) - 3*s(z). Let p be v(-14). Suppose -j - 5*b + 196 = 0, -4*j - 5*b + b = -p. Does 19 divide j?
True
Let i = 33 - 31. Let s(d) = -d**3 + 2 + 3*d**i + 7*d**2 + 3 + 11*d - 2*d**2. Does 9 divide s(9)?
False
Suppose -237*r + 1142640 = -30*r - 23*r. Does 10 divide r?
True
Suppose 5*q - 82708 = -4*a, 5*a + 95*q = 92*q + 103398. Is a a multiple of 18?
True
Let c(z) = 9991*z - 71. Is c(1) a multiple of 124?
True
Let z(i) = -i**3 + 9*i**2 - 3*i + 4. Suppose -4 = -3*y + 5. Let x be -1 + 8 - (6 - y). Is 36 a factor of z(x)?
True
Suppose 2*j + 55 - 71 = 0, -2*u = 4*j - 33082. Is u a multiple of 25?
True
Let o = 6437 + -3916. Is o a multiple of 5?
False
Let p be 107 - 103