)/(-36) - z/(-3). Suppose 3*c - 53 = a. Does 17 divide c?
False
Let p = -1208 - -2076. Is 28 a factor of p?
True
Let l(o) = -o**2 + 2*o + 633. Let h be l(26). Suppose 0 = -0*v - 5*v. Suppose 3*d - 3*j + v*j = 21, -d = -3*j - h. Is d even?
True
Suppose p = -3*j + 246, 2*j + 1270 = 5*p - 3*j. Is p a multiple of 17?
False
Let l(v) = 301*v + 12. Is 31 a factor of l(1)?
False
Let n be (-1)/(-4) + (-323)/(-68). Suppose 3*v = -n*g + 439, -2*v + 41 + 250 = 5*g. Suppose -2*z + v = 2*z. Is z a multiple of 12?
False
Suppose -4*g + 12 = -8*g. Does 23 divide (-3*g/(-18))/((-2)/736)?
True
Is 7 a factor of (-14 + (-12)/(-2))/((-3)/210)?
True
Is 5 a factor of 1 + 5 + -3 + (722 - 4)?
False
Let s(z) = -4*z**2 + 3*z + 2. Let f(y) = -5*y**2 + 3*y + 2. Let d(k) = 3*f(k) - 4*s(k). Let x be d(3). Is 17 a factor of (11 + 3)/(x/(-4))?
False
Let x = 268 - 175. Let a = -36 - -77. Suppose x = 2*j - a. Is j a multiple of 10?
False
Suppose -10*m - 354 = -2004. Is m a multiple of 9?
False
Let y(h) = 3*h**3 + 23*h**2 - 26*h - 6. Is 7 a factor of y(6)?
False
Let q(l) = 6*l + 7. Suppose 4 = 2*u, 5*u = -4*k + 2*u + 30. Is q(k) a multiple of 8?
False
Suppose 13*j - 4*n = 18*j - 24026, -1 = n. Does 32 divide j?
False
Suppose 0*u - 6*u = -1260. Is 14 a factor of u?
True
Let v = 986 - 858. Is 32 a factor of v?
True
Suppose 566 = -7*l + 1007. Is l a multiple of 7?
True
Let h(f) be the third derivative of f**4/24 - 7*f**3/3 - f**2. Let y be h(6). Is ((-4)/y)/(3/54) a multiple of 2?
False
Suppose 10 = 2*x, -292 = -2*w - x + 451. Is w a multiple of 51?
False
Suppose -6*p - 630 = -3*p. Does 14 divide 3/(((-9)/p)/(4/5))?
True
Does 52 divide (((-35)/10)/7)/((-2)/1620)?
False
Suppose 2*j + 5*i = 8, -3*j + 5*j - 2*i = 8. Let s(k) = 2*k**2 - 8*k + 26. Does 15 divide s(j)?
False
Let t(k) = 3*k + 228. Is 12 a factor of t(32)?
True
Let j(v) = -v**3 - 13*v**2 - 2*v - 24. Let x be j(-13). Suppose -x*o + 95 = -w, o + w - 43 = -3*w. Is o a multiple of 7?
False
Let b(d) = -3*d - 4. Let x be b(-3). Suppose 0 = x*r - 13 + 3. Is 4 a factor of (-4)/(4*r/(-12))?
False
Suppose -512 = -9*i - 1907. Let n = -133 - i. Does 9 divide n?
False
Is 6 a factor of -3 + 3 + 5 + (18 - -172)?
False
Let i be -6*((-1)/2 - -3). Is 10/(i/3) + (106 - -1) a multiple of 15?
True
Let g = 34 - 27. Suppose 4*z = -3*w + 467, -2*z - w - 560 = -g*z. Is z a multiple of 25?
False
Let z be (10/4)/(4/8). Suppose z*l = 2*l. Suppose -17 = -5*j - q + 180, 4*j - q - 154 = l. Does 13 divide j?
True
Let h = -72 - -123. Is h a multiple of 4?
False
Is (-9)/1 + 311325/105 a multiple of 38?
False
Let p(t) = -t**2 - 4*t + 6. Let x(a) = -a**2 - 5*a + 7. Let k(y) = 2*p(y) - 3*x(y). Is k(6) a multiple of 5?
False
Is 0 - (3 + -6) - -42 a multiple of 3?
True
Suppose -k = 18 - 2. Suppose 0 = -66*u + 71*u + 10. Let s = u - k. Is 7 a factor of s?
True
Suppose -1 = 4*f + 3*b + 3, 3*b + 10 = -f. Let t be (27*1)/(2/f). Suppose t = z - 3*k - 28, -3*k = -2*z + 95. Does 10 divide z?
True
Suppose 11682 = -18*h + 29*h. Does 72 divide h?
False
Suppose 15 = 3*z, -3*g + 2*z = -6*g + 67. Let r(o) = -o**3 - 3*o**2 + 8*o - 3. Let w be r(-6). Let u = g + w. Is 25 a factor of u?
False
Does 21 divide 136 + -9 - 4 - -3?
True
Suppose -267 = -3*b - 5*r, 3*r = -3*b - 103 + 370. Let d = b + -64. Is d a multiple of 4?
False
Suppose -7*r - 15 = -10*r. Suppose -3*h = 2*h - 4*u - 478, -480 = -r*h + 5*u. Is 19 a factor of h?
False
Suppose -3*x = 4*x + 35. Let u = x - -20. Is 15 a factor of u?
True
Let f(v) = -v**2 + 111*v - 370. Is 110 a factor of f(46)?
False
Is -2*2 - 86/(-43) - -299 a multiple of 3?
True
Suppose -3*t + 102 = -j - 112, 0 = -3*t - 5*j + 244. Does 34 divide t?
False
Suppose -5*k - 5*o = -20, k + o - 4 = 3*o. Let b(r) = r - 5. Let u be b(k). Is (-14 + u)/((-1)/4) a multiple of 30?
True
Suppose 4*z - 3 = -3*q, 4*q = -4*z + 3*q + 1. Suppose -4*d = -4*t - 176, z = 2*d + d + 4*t - 111. Suppose -64 = -5*o + d. Is o a multiple of 8?
False
Suppose 27*r + 2826 - 63171 = 0. Is r a multiple of 81?
False
Let b(h) = 3*h**3 + 3*h**3 + 9 - 4*h**2 - 7*h + 5*h**2 + 4*h**2. Let r(o) = 5*o**3 + 4*o**2 - 6*o + 10. Let v(l) = -4*b(l) + 5*r(l). Is 14 a factor of v(0)?
True
Let a = -476 + 596. Is a a multiple of 23?
False
Is 1122/77 + (-4)/7 a multiple of 6?
False
Let k be -4 + 2 + 12/(-9)*-3. Does 6 divide k/(-6) - (-1 + 561/(-9))?
False
Let z(g) = 107*g - 6. Let i be z(3). Suppose u = 4*f - f - i, 0 = -2*f + 5*u + 210. Is 19 a factor of f?
False
Suppose -3 = 16*y - 19*y. Is 152/836 + (1162/22 - y) a multiple of 12?
False
Suppose -p + 2*p + 3*u - 40 = 0, -3*p = -4*u - 159. Let a = p - 38. Does 11 divide a?
True
Suppose -4*o + 3*n - 31 = 0, -o + 19 = -4*o - 2*n. Let j = 9 + o. Suppose -j*b + 0*k = 3*k - 19, 3*b + 5*k - 26 = 0. Does 14 divide b?
False
Let a(t) = -4*t - 12. Let l be a(-9). Suppose -3*f - 15 = l. Is 13 a factor of f/2*-2*1?
True
Let b(p) = 7*p - 7. Let f(g) = -g**3 + 11*g**2 - 8*g - 6. Let h be f(10). Is b(h) a multiple of 13?
True
Let c(l) = l**3 + 27*l**2 - 5*l - 79. Let x be c(-27). Suppose -g = 2, y - g - 4 = -31. Let n = y + x. Is 17 a factor of n?
False
Suppose -8*r + 4*r = 64. Let o = r - -73. Is 33 a factor of o?
False
Let s be (-4)/10 + (-387)/(-5). Suppose -4*t + s = -23. Let o = t + 8. Does 7 divide o?
False
Let c(u) = 4*u**2 - u. Let s(b) = 1. Let f = -24 - -25. Let j(o) = f*c(o) - 6*s(o). Does 15 divide j(-3)?
False
Let n be 7 - (0 + -1) - (2 + 1). Suppose -2*y + 10 = 2*c - 68, n*y - 4*c = 204. Is 10 a factor of y?
True
Suppose 5*s + 4*q - 274 = 0, -4*q + q = -2*s + 128. Suppose s = 3*l - l. Suppose 4*p = l + 3. Does 7 divide p?
False
Suppose -3*p - 2*p - 5*c = 10, 40 = -4*p + 4*c. Let y = 9 + p. Suppose 4*v + r + 2*r - 112 = 0, 71 = y*v - r. Is 7 a factor of v?
False
Let p = 4 - -4. Let v = p + -7. Suppose -4*t + v = -107. Is t a multiple of 27?
True
Suppose -4*z = 5*z - 27. Suppose -51 = -2*c + z. Is 6 a factor of c?
False
Does 18 divide (-48)/(-5)*-21*(-160)/112?
True
Let o = -48 - -151. Suppose q + l = -l + 28, 0 = 4*q - l - o. Is q a multiple of 3?
False
Let b(f) = 274*f**2 + 12*f - 4 - 275*f**2 + 10 + 7. Let v = 11 + 0. Is b(v) a multiple of 12?
True
Let c(t) = 90*t + 85. Is c(6) a multiple of 25?
True
Suppose 0*m = -3*s + m + 6, -3*m - 2 = -s. Suppose -2*z + 847 = 3*i, -s*z - z = -3*i + 822. Is 43 a factor of i?
False
Let w be 3*((-3 - 0) + 4). Suppose w*t - 4*z - 87 = 457, -5*t = -z - 901. Is 28 a factor of t?
False
Suppose 4 - 5 = -k. Let p be (-3)/(k*(4 - 3)). Is 15 a factor of (p/(-5))/(1/95)?
False
Suppose -3*i + 1288 = -2*v, -4*v - 1298 = -7*i + 4*i. Suppose -2*h = -4*h + i. Is 31 a factor of h?
False
Let s(p) = 61*p**2 + 16*p - 5. Is s(-5) a multiple of 21?
False
Let w be 4/(4*(-1)/(-3)). Suppose 0 = w*i + 3*i - 252. Is 6 a factor of i?
True
Let f(s) = -s**3 + s - 2. Let g be f(-3). Suppose w = -p + 12 + g, -3*p - 129 = -4*w. Is 6 a factor of w?
False
Suppose 7*z = 2*z + 555. Suppose 0*v - z = -u - 3*v, -5*v - 427 = -4*u. Is u a multiple of 27?
True
Let g = 901 - 611. Suppose -5*v + g + 200 = 0. Is v a multiple of 14?
True
Suppose d - 22 = 12*d. Does 27 divide (118 - (d - -6)) + 4?
False
Is 79 a factor of 27/(-63) + 21188/14?
False
Let s = -109 + 250. Let i = 1 - -1. Does 14 divide s/7 + i/(-14)?
False
Suppose -4*r + y = -155 - 384, -428 = -3*r - 4*y. Is 34 a factor of r?
True
Suppose -6 = 17*w - 20*w. Suppose -4*j + 251 = w*n - 735, 4*n = 5*j - 1226. Is j a multiple of 11?
False
Let v = 8 - 3. Suppose 10 = 3*p + v*i, 5*p - 2 = -4*i + 3*i. Suppose p = -4*k + 3*k + 30. Is 7 a factor of k?
False
Let s be 5800/44 + (-6)/(-33). Let u(n) = n**3 + n**2 - 2*n - 1. Let g be u(-2). Does 11 divide 1/(g + s/129)?
False
Let a = -322 + 368. Is 8 a factor of a?
False
Suppose 0 = -0*c + 4*c. Let y be c*-1*(-2 - -1). Suppose y = -l - 35 + 103. Is 34 a factor of l?
True
Let a(h) = 3*h + 494. Is 31 a factor of a(42)?
True
Let p(o) = o**2 - 3*o - 1. Let z be p(-12). Suppose z = 4*n + 2*q - 43, -5*q + 213 = 4*n. Suppose -5*y = -v - 147, 2*y - 2*v = -v + n. Is y a multiple of 24?
False
Suppose 3*r = r - 5*k + 81, -r = 5*k - 43. Suppose 0 = o - q - 14, -5*o - 4*q = -q - r. Is 6 a factor of o?
False
Suppose -190*y - 15417 = -217*y. Does 8 divide y?
False
Let d(p) = 324*p**2 - 2*p + 2. Let o(f) = -f**3 - 6*f**2 - 9*f - 3. Let b be o(-4). Does 59 divide d(b)?
False
