245. Let x be (o/(-3))/((-22)/33). Suppose -2*r + x = 41. Is 16 a factor of r?
False
Is 33 a factor of (-28)/350 + 41077/25?
False
Let h(j) = j**3 - 42*j**2 - 79*j - 95. Does 24 divide h(44)?
False
Suppose z = -2*z + 12. Suppose -b - 3*b - z*t = -36, 4*b - 36 = t. Suppose -m + b = 3. Does 2 divide m?
True
Let n = 137 - 194. Let t = n - -95. Does 19 divide t?
True
Let o be -1 + 1 + (-1096)/(-4). Suppose -o = -5*l + 51. Is l a multiple of 13?
True
Suppose -4*v + 612 = 2*q, 0 = -5*q + v + 403 + 1182. Suppose 2*s = 6*s - q. Does 22 divide s?
False
Let b = 3959 - 605. Is 18 a factor of b?
False
Let o be (42/3)/((-2)/6). Suppose -59 = -2*y - 207. Let z = o - y. Is z a multiple of 8?
True
Let x be 1/((-2 + 3)*(-3)/(-12)). Suppose -156 = -i - i + 4*p, p = -x. Is i a multiple of 10?
True
Suppose 3*b + 63 = -3*h, -3*h + 1 = 2*b + 45. Let o(t) = -8*t + 29. Does 22 divide o(b)?
False
Let f(y) = y**2 - 2*y - 42. Does 17 divide f(-13)?
True
Let d(z) = 1 + z**3 + 4*z**2 - 2 + z - 2. Let q be d(-3). Suppose 0*v + b - 341 = -4*v, q*v - 243 = -5*b. Does 20 divide v?
False
Let x be 2/(-14) - 26/14. Let f be 94 + (x + 1 - -2). Does 19 divide f/(-10)*(-3 - -1)?
True
Suppose -3*j - 39 + 15 = 0. Let w be ((-7)/(-28))/(2/j). Does 10 divide w/(357/90 + -4)?
True
Let x be 6/33 + (-786)/(-33). Let w = x - -20. Is w a multiple of 18?
False
Let v(u) = -2*u + 13. Does 97 divide v(-42)?
True
Let n(w) = -w**3 + 22*w**2 - 53*w - 52. Does 37 divide n(16)?
False
Suppose 5 = 2*n + 1. Let f be -1*(-10*n)/4. Suppose -5*l - 5*h + 384 = -251, -f*l - h = -619. Does 34 divide l?
False
Does 40 divide (-678)/(-17) + ((-120)/136 - -1)?
True
Let v(i) = -204*i - 16. Let m be v(-2). Suppose 0*h - 4*h = -m. Is 49 a factor of h?
True
Let o(w) = 2*w**3 - 17*w**2 - 9*w + 3. Let n be o(9). Suppose -141 = -n*p - 6. Is p a multiple of 21?
False
Let b(j) = -1039*j - 830. Does 21 divide b(-4)?
False
Suppose 2*d - 14 = 5*i + 651, 0 = -d + 2*i + 332. Does 18 divide d?
False
Let j = 1555 - 909. Is j a multiple of 11?
False
Suppose -g - 6 = 10. Let t be (-2)/(-4)*(-1952)/g. Let b = 127 - t. Is 11 a factor of b?
True
Suppose 2*k = -5*x + 174, 280 = 2*k + k - 2*x. Does 4 divide k?
True
Is 6/(-14) - (-202509)/63 a multiple of 19?
False
Suppose -5*f + 3*m - 5 = -10*f, -3*m - 11 = f. Suppose f*w - 97 = 4*d + 107, -3*w + d = -153. Does 51 divide w?
True
Suppose h - 4*k - 1607 = 0, -5*h - 13*k + 8035 = -17*k. Is 51 a factor of h?
False
Let n(q) = -189*q**2 + 3*q - 3. Let d(b) = -379*b**2 + 5*b - 5. Let v(f) = 4*d(f) - 7*n(f). Let u be v(1). Let c = -135 - u. Is 21 a factor of c?
False
Let v(i) = 4*i**2 - 6*i - 6. Let s(w) = 2*w**2 - 4*w - 4. Let o(x) = -8*s(x) + 5*v(x). Suppose y + a = 0, a = -0*a + 4. Does 13 divide o(y)?
False
Let x(w) = w**2 - 3*w - 4. Let f be x(5). Let g(u) = -u**3 + 5*u**2 + 8*u - 7. Let d be g(f). Let i = 8 - d. Is i a multiple of 3?
True
Let z = 138 + 372. Is z a multiple of 59?
False
Is 17 a factor of ((-17)/(-2))/(27/270)?
True
Let w(n) = 19*n**2 + 31*n - 128. Does 10 divide w(5)?
False
Suppose 293*v = 284*v + 10287. Is 127 a factor of v?
True
Suppose 4*t - 5*o + 31 = 0, 2*o - 30 = 4*t - 8. Is (-33)/(t/(1 - -3)) a multiple of 11?
True
Let k be 6 + (0/4 - 1). Suppose -2*d + 105 = 3*d - k*g, -70 = -2*d - 5*g. Does 16 divide d?
False
Let t(v) = 12*v + 35. Suppose 2*i - 5*h - 48 = 0, 3*i + 0*h + h = 38. Is t(i) a multiple of 29?
True
Let q = -9 + 9. Suppose 3*r + 4*a - 21 = q, -r + 0*a + 18 = 5*a. Let z(j) = 2*j**3 - 4*j**2 + j + 3. Is 24 a factor of z(r)?
True
Suppose 8*c - 9*c = r - 71, 4*r - 292 = -2*c. Is r a multiple of 11?
False
Let s = 525 - 236. Does 23 divide s?
False
Does 37 divide 32/80 + 7108/5?
False
Suppose 437 + 324 = g. Does 26 divide g?
False
Let j(n) = 6*n**2 + 7*n - 2. Does 8 divide j(6)?
True
Let n(b) = 172*b - 8. Let l be n(-8). Does 7 divide l/(-40) - 6/10?
False
Let j = -2273 + 4085. Does 12 divide j?
True
Let x(s) = -s**3 - 8*s**2 - 6*s - 5. Let i be x(-7). Is 6 a factor of -48*(i/(-9))/(-2)?
False
Suppose -19*o - 58 = -438. Is o a multiple of 10?
True
Let i be (3/3)/(1/2). Suppose 5*n = -i*l + 890, 2*l = -l + 15. Suppose 0 = -2*h - 2*h + 4*r + n, -4*r + 29 = h. Is 9 a factor of h?
False
Let u(y) = 22*y - 60. Let r(g) = -11*g + 30. Let s(q) = 5*r(q) + 3*u(q). Is 43 a factor of s(16)?
False
Let f(g) = g**2 + 11*g + 2. Let r be (-2)/(-6) - (-136)/(-12). Let v be f(r). Is 5*(2 + 4 - v) a multiple of 10?
True
Suppose 0*l + 24 = 4*l. Let z be ((-40)/24)/(2/l). Is (-10)/z + 30 + 2 a multiple of 8?
False
Suppose 5*y = -4*b - 3, 4*y + 2*b = 7*b - 27. Is (y/2)/((-3)/6 + 0) even?
False
Suppose 2*z = -4*o + 1426, 3*o + 2912 = 4*z - o. Is z a multiple of 15?
False
Let y(f) = -18*f - 3. Let v be y(-2). Let b = v + -16. Is b a multiple of 5?
False
Suppose -4*f = 5*k - 443, -2*f + 5*k - 42 = -301. Suppose -3*x - 4*v = 54 + 109, -f = 2*x + v. Let g = -31 - x. Is g a multiple of 16?
False
Suppose 4*q - 572 = 2*v - 5*v, 4*v + 264 = 2*q. Suppose 2*j = 6*j - q. Let i = j + -6. Does 10 divide i?
False
Let w(q) = 2*q**2 + 4*q + 3. Let h be w(-2). Suppose -4*y + 5*u = -357, -h*u - 11 - 256 = -3*y. Does 22 divide y?
True
Suppose w + 4*w - 210 = 0. Suppose -w*j + 46*j - 100 = 0. Is 25 a factor of j?
True
Let b be ((-4)/10 + (-117)/(-5))/1. Suppose 0 = 3*n - 2*f - 132, 0 = -5*n + 4*f + 88 + 130. Let p = n - b. Is 6 a factor of p?
False
Does 17 divide (-3 - 70/(-25)) + 13432/10?
True
Suppose 6 + 2 = -2*p. Does 23 divide (-102)/p*8/6?
False
Suppose 57*n = 38*n + 111321. Is 31 a factor of n?
True
Is 16 a factor of ((-6)/3)/(-2) - (-354 - -7)?
False
Let c(j) = -6*j - 20. Let a be c(-4). Does 29 divide (1/1 - -2)/(a/232)?
True
Suppose 55*z - 791 = 48*z. Is 9 a factor of z?
False
Suppose -1 = 3*w - 4*x - 11, -4 = -w + 2*x. Suppose y + w*y - 27 = 0. Let g = -3 + y. Is 3 a factor of g?
True
Let u = -2 + 4. Let q be 3/5 - (-1 - (-187)/(-5)). Suppose u*l - 5*l + q = 0. Does 3 divide l?
False
Let o(v) = 4*v**2 + 8*v - 4. Let t be o(-4). Let s = -22 + t. Suppose 0*b = b - s. Is 3 a factor of b?
True
Let z(y) = -3*y**2 - 96*y - 33. Is z(-29) a multiple of 76?
True
Let h(s) = -74*s - 175. Is 15 a factor of h(-5)?
True
Suppose 0 = -6*d - 5*d + 33. Does 14 divide d/18*1 - 2652/(-72)?
False
Let w = -1 + -15. Let j = w + 20. Suppose f - 2*f + 39 = -5*t, -5*f = -j*t - 132. Is f a multiple of 16?
False
Let g = -7 - -33. Suppose x - g = 22. Is x a multiple of 17?
False
Suppose -3*x - 48 - 45 = 0. Let k = x - -43. Is k a multiple of 10?
False
Does 8 divide -10*5/10*-41?
False
Let k be 82 - -5 - (5 - 2). Suppose k = 5*o - o. Is 16 a factor of (o/(-6))/(-7)*64?
True
Suppose 5*l = -2*t + 1096, -2*t + 2*l = -663 - 433. Does 50 divide t?
False
Suppose 5*l = 5*j - 7 - 88, -5*j = 15. Let i = 480 + -446. Let f = l + i. Is 4 a factor of f?
True
Let r(f) = 2*f**2 - 30*f + 18. Let p(d) = 2*d - 7. Let a be p(11). Is r(a) a multiple of 9?
True
Let l(q) = 2*q - 13. Let z be l(6). Let s be -2*(z - 3/(-6)). Is -2*8*s/(-1) a multiple of 15?
False
Suppose -v + 23 + 14 = 0. Suppose -b + 2*b = v. Is 15 a factor of b?
False
Is 2 - (-4 + 5) - -391 a multiple of 14?
True
Let f(g) = -9*g - 2. Let v be f(1). Let u = 20 + v. Is 8 a factor of u?
False
Does 46 divide (-41)/((-656)/14816) - 3*2?
True
Does 7 divide (1 + (-24)/15)/(40/(-5800))?
False
Does 7 divide (-188)/5*(-10 + 70/(-4))?
False
Suppose -2*m + 20 = 30, -6995 = -4*a - m. Does 94 divide a?
False
Let t be 1 + 5 - (0 + 3). Suppose 0 = h + t*c - 4 - 15, 3 = c. Suppose -h = -j + 11. Is 16 a factor of j?
False
Does 32 divide (-1 - -66)*6*4/30?
False
Let b be (-6)/14 + (1152/(-21))/(-2). Let a = -17 + b. Is 3 a factor of a?
False
Suppose 0 = 2*s + 10, 2*f + 2*s - 372 = -0*f. Is f a multiple of 10?
False
Let l(j) = j**2 + 7*j - 17. Let r be l(8). Let c = r - -67. Does 25 divide c?
False
Let a(t) = -2*t**3 - 5*t**2 + 12*t - 8. Is 32 a factor of a(-7)?
False
Suppose 3*v = x - 549, -15 = -7*v + 4*v. Is 56 a factor of x?
False
Let a be ((-5)/2)/((-1)/(-26)). Let b = 190 - 89. Let f = b + a. Is 9 a factor of f?
True
Suppose 0 = -3*d, -5*m + 5*d + 13 = -2. Suppose -o = m*o - 280. Does 17 divide o?
False
Let g = 7791 - 5471. Is 80 a factor of g?
True
Let f(m) = 1103*m**2 + 24*m - 23. Is f(1) a multiple of 8?
True
Let v = 128 + -26. Suppose 22 = -2*h + v. Does 11 divide h?
False
Suppose