30, n = 4*n + y. Is 13 a factor of x?
False
Suppose 14 = 3*f + q, 0 = -2*f - 2*q + 4*q + 12. Suppose -f*j + 3*t = -804, -5*j + t + 3*t + 802 = 0. Is 27 a factor of j?
True
Suppose 2*x - 9 - 13 = -2*v, 4*v - 4*x - 20 = 0. Suppose -4*n + v = -8. Is 13 a factor of 2760/56 - n/14?
False
Suppose 8*q - 107 = 4717. Does 12 divide q?
False
Suppose 5*q = 2*q - 2*q. Suppose 148 = 5*m - 47. Let o = m - q. Is 8 a factor of o?
False
Let h be 196/(-2 + (-1)/(4/(-16))). Let r(y) = 51*y**3 + 2*y + 1. Let a be r(-1). Let n = a + h. Is n a multiple of 23?
True
Let h(m) = 2*m**3 + 3*m**2 - 2*m - 1. Let d be h(6). Suppose -d = -2*z + 101. Is z/10 - (-4)/(-10) a multiple of 11?
False
Let d(x) = 16*x**3 + 5*x**2 + 4*x - 1. Let a be d(-1). Let c(f) = -f**3 - 14*f**2 + 26*f - 21. Does 15 divide c(a)?
True
Suppose 2*n = o + 20, 0 = 3*n + 2*o + 3*o - 56. Suppose -21 = -k - n. Is k a multiple of 9?
True
Let j(b) = -b**2 + 2*b + 3. Let i be j(4). Is 9 a factor of -5*(i + 815/(-25))?
False
Let p = 140 + 531. Let d = p + -419. Suppose d = 4*i + j, 0*i + i - 63 = -j. Does 32 divide i?
False
Suppose -11*x = -229 + 9. Does 9 divide x?
False
Suppose 21*c = 36*c - 6765. Is 37 a factor of c?
False
Suppose -2*r + 535 = -0*r + t, r - 3*t - 257 = 0. Suppose -r = -7*i + 35. Is 9 a factor of i?
False
Let o = 55 + -53. Suppose 3*t = -o*d + 19 + 28, d = -2*t + 22. Is d a multiple of 5?
False
Suppose o = 4*g - o + 54, -2*g + 2*o = 30. Let l = 177 + g. Does 33 divide l?
True
Suppose -3*r = 3*x - 672, 0 = -x - 0*x - 5*r + 216. Is 19 a factor of x?
False
Suppose -2*y - 6 = -0, -3*b + 291 = 5*y. Is 6 a factor of b?
True
Let a(w) = 41*w + 108. Is a(7) a multiple of 24?
False
Let q(x) = 3538*x**3 + 3*x**2 - 6*x + 5. Is 25 a factor of q(1)?
False
Let q be (-1 - -1)*2/(-4). Suppose q*c - 2*c = -5*d - 17, 2*d + 74 = 4*c. Suppose 5*x = -5*m + 55, -c = -2*x + x + 4*m. Is x a multiple of 4?
False
Suppose 13*h = 8*h + 2265. Is 28 a factor of h?
False
Let r(w) = 221*w**2 - 6*w + 1. Is r(-2) a multiple of 39?
True
Let b = -3038 - -5228. Let y be b/12 + (-3)/(-2). Let z = -130 + y. Does 13 divide z?
False
Suppose 4*b - 246 - 394 = 0. Suppose 27*y - b = 26*y. Does 16 divide y?
True
Let p(v) = v**3 + 13*v**2 + 12*v - 8. Let j be p(-12). Let q be 2 - (-4 - (2 + j)). Suppose -48 = -3*w - q*w. Does 16 divide w?
True
Let q(k) be the third derivative of -2*k**4/3 - k**3/3 - 14*k**2. Is q(-3) a multiple of 14?
False
Let z(v) = -7*v - 6. Let b(o) = o**2 - 7*o - 2. Let g be b(6). Let j be z(g). Let h = 74 - j. Does 8 divide h?
True
Let u = 41 - 17. Suppose -u = -4*r + 2*l, -4*l + 8 = -0. Suppose 0 = -3*x + r*x - 16. Does 3 divide x?
False
Is 4/6 - 13/(273/(-6286)) a multiple of 30?
True
Let n(t) = 3*t**2 - 18*t - 161. Is 6 a factor of n(-6)?
False
Suppose 0 = 7*f - 8*f + 360. Is 24 a factor of f?
True
Suppose -r + 44 = 5*c, 2*c - 32 = -2*r - 2*r. Let t = c + 0. Does 6 divide (-10)/(-40) + 70/t?
False
Let t = 245 + -131. Is t a multiple of 37?
False
Let h(z) = -66*z**2 + 3*z - z**3 + 33*z**2 + 20 + 31*z**2. Does 5 divide h(-4)?
True
Suppose -4*f + 12 = -2*f. Suppose -v = f - 4. Is (8/(-20))/(v/190) a multiple of 10?
False
Let c = 40 - 60. Is 16 a factor of (-19 - (-2 + -1))/(4/c)?
True
Let c(q) = -204*q + 3. Let l(s) = 1. Let n(x) = -c(x) + 6*l(x). Let v be n(3). Does 20 divide v/9 - 2/6?
False
Let i be 3 - (-2 + 2) - 12. Let q be 3/i + (-39)/(-9). Is 9/2*(q + 2) a multiple of 14?
False
Suppose 0 = 4*w + 4, -2*t - 5*w + 217 + 54 = 0. Does 3 divide t?
True
Let m(g) = 5*g + 4. Let u be m(-3). Let r = u - -16. Suppose 2*z = -r*h + 31, 5*h = -2*z + 4*z - 21. Is 12 a factor of z?
False
Let n be (-48)/10*40/(-12). Suppose 2*c - n = -2*c. Let y = 11 + c. Is 9 a factor of y?
False
Let r be 32 + -3*16/(-12). Let l = 36 - r. Suppose 5*y + 10 = l, 5*g + 4*y = -10 + 142. Does 6 divide g?
False
Suppose 9*a - 11*a = -8. Let b be (0/(-2 + -2))/(-1). Suppose b = 4*d + y - 107 - 11, -126 = -a*d - 5*y. Does 8 divide d?
False
Let g = 1092 - 858. Does 39 divide g?
True
Is 70 a factor of 14/(14/(-28)*2/(-10))?
True
Let z(m) = 55*m**2 + 78*m + 1. Is z(-5) a multiple of 58?
True
Let z = -590 - -1272. Is 23 a factor of z?
False
Let r = -1433 + 1988. Is 15 a factor of r?
True
Let i(d) = 3*d**2 - 9*d + 15. Let o be i(-8). Suppose 3*t - 903 = -o. Does 16 divide t?
True
Let v(t) = t**2 - 5*t - 52. Is 31 a factor of v(13)?
False
Let c(d) = 7*d**2 - 8*d - 9. Let v(l) = 2*l**2 - l - 2. Let a(n) = c(n) - 3*v(n). Let y(o) = o**3 + 2*o**2 - o + 1. Let p be y(-3). Is a(p) a multiple of 23?
False
Let h = 1554 + -1041. Let v = h - 285. Is 57 a factor of v?
True
Suppose -4*w - d + 5*d + 688 = 0, -5*w + 828 = 3*d. Is 12 a factor of w?
True
Suppose d = 2*o - 22, 0 = -3*o + 5*o - 5*d - 14. Suppose 0 = 4*z - 0*z - o. Suppose 3*s + 3*c - 40 = -c, z*c + 70 = 4*s. Does 8 divide s?
True
Suppose 0 = -20*v + 21*v - 19. Suppose r = -4*f + 76, -2*f + 4*r - v = -3*f. Is f a multiple of 19?
True
Suppose 37*f - 56 = 33*f. Does 12 divide (-276)/(-21) + -1 + (-2)/f?
True
Let z(r) = r + 2. Let i be 3/(2 + 18/(-10)). Suppose -2*j - 3 = -i. Is 5 a factor of z(j)?
False
Let b(q) = -3*q + 8. Let g be b(8). Let v be g/6*21/(-14). Suppose 2*o + v*a = 14, 2*a + 2*a = 3*o - 11. Is o even?
False
Suppose -2*q + 20 = 3*q. Let w = -58 + 85. Suppose -q*x + 147 = w. Is x a multiple of 15?
True
Let d(w) = 334*w**2. Does 39 divide d(1)?
False
Let n be 0 + 13 + 1 + -2. Suppose 14*c + 56 = 182. Suppose -n - c = -3*h. Does 7 divide h?
True
Let j = 15 - 0. Let b = -31 + j. Let d = 26 + b. Is d a multiple of 3?
False
Suppose 15*s = 10*s + 35. Let p(g) be the first derivative of 2*g**2 - 16*g + 1. Is p(s) a multiple of 3?
True
Suppose 2*u - 4 = 0, -5*o + u = 2356 - 7164. Is o a multiple of 13?
True
Is (19/76 - (-1)/(-4)) + 346 a multiple of 11?
False
Let y be (-1857)/6 - (-6)/(-4). Let q = -220 - y. Does 10 divide q?
False
Let x = 81 - 85. Suppose -5*w = -17 + 2. Is 5 a factor of 19 - 0/(w + x)?
False
Does 36 divide (-9)/(-6) + -3 + 15141/14?
True
Let r = 2 - 0. Suppose r*s + 4*j = -58, 3*s - 2*j = -101 - 10. Is 9 a factor of (-7)/s - (-358)/10?
True
Let j be 6/51 + (-3466)/(-17). Let m = j + -122. Is m a multiple of 47?
False
Let c(t) = -12*t + 1071. Does 29 divide c(0)?
False
Suppose 4*j - 2513 = -93. Is 12 a factor of j?
False
Let z(c) = 3*c**3 + 3*c**2 - 4*c + 1. Let w be z(-3). Let l = 191 + w. Suppose -q - q + l = 0. Is q a multiple of 15?
True
Let y be (14/8)/((-2)/8). Suppose 5*j + 190 = 10*j. Does 28 divide j + -1 + y/7?
False
Let b(w) = 25*w**2 + 3*w + 6. Let d(c) = -51*c**2 - 6*c - 11. Let r(n) = -7*b(n) - 4*d(n). Let y be r(-1). Suppose -t + 44 = y. Is t a multiple of 3?
False
Let v(b) be the third derivative of -b**5/60 + 7*b**4/12 - 23*b**3/6 + 7*b**2 + 2*b. Is 11 a factor of v(9)?
True
Suppose 5*l - 277 = f - 70, 5*l - 768 = 4*f. Let k = -102 - f. Is k a multiple of 17?
True
Let m = 373 - 187. Does 12 divide m?
False
Let n(i) = 35*i + 1. Let d(k) = -72*k - 2. Let u(t) = -2*d(t) - 5*n(t). Let r = -2 - -1. Is 22 a factor of u(r)?
False
Let f = 129 - 122. Does 48 divide (f + -4 - 4)/(1/(-96))?
True
Let q(o) = -15*o**2 + 2*o + 1. Let k be q(-1). Let z = k + 58. Let h = 71 - z. Is h a multiple of 12?
False
Let p be 42/8 + 4/(-16). Suppose -4*k + 41 + 43 = i, -p*k = -4*i + 336. Suppose 5*s - i = 2*s. Is 14 a factor of s?
True
Let d be (-336)/(-8) - 0/(-1). Is ((-20)/(-12))/(2/d) a multiple of 5?
True
Suppose 6*j = 3*j + 5*a + 557, -5*j + 4*a = -950. Does 21 divide j?
False
Does 65 divide (-848)/(-318)*1902/16?
False
Suppose -2*o - 2*s - 2*s = -1160, -5*o = -2*s - 2840. Is 14 a factor of o?
False
Let c = 32 - -31. Suppose -5*g - c = -2*g. Let y = g + 31. Is y a multiple of 5?
True
Let q = 6679 - 4548. Does 14 divide q?
False
Let h(d) = -d - 3. Let z be h(4). Let u = 9 + z. Suppose -3*i + 54 = 3*y, -u*y - 3*i + 4 = -35. Is y a multiple of 15?
True
Suppose 22*j - 1590 = 17*j. Does 41 divide j?
False
Suppose -68 - 252 = 5*z. Let k = z + 173. Is 43 a factor of k?
False
Let w = 6 + 3. Is 24 a factor of (-18)/4*(-192)/w?
True
Suppose 2*j - 2 + 4 = 0. Let b be 4*(1/(-1))/j. Suppose 0 = -0*x - b*x + 84. Does 21 divide x?
True
Let o(f) = f**3 - 7*f**2 + 3*f - 5. Let y be o(6). Let p = -29 - y. Let w = p + 31. Is w a multiple of 25?
True
Is 41 a factor of (-57)/152 - (-8774)/16?
False
S