 3*t - 2. Let s be c(5). Does 10 divide (-76)/(s + (-6 - -2))?
False
Let l(g) = 3*g + g**3 - 5*g + 0 + 10*g + 7*g**2 + 2. Let r be l(-6). Is (r/(-3))/((-3)/(-9)) a multiple of 10?
True
Let l(d) = d**2 + 4*d + 1. Let s(p) = -3*p - 1. Let z(c) = -c**3 + 8*c**2 + c - 6. Let w be z(8). Let y be s(w). Is l(y) a multiple of 16?
False
Let x = 13 + -5. Let b(p) = 4*p + 5. Does 15 divide b(x)?
False
Suppose -4*z + 362 = 106. Does 9 divide z?
False
Let a(z) = 2*z + 1. Let p be a(-2). Does 6 divide (p + (-27)/(-6))*4?
True
Suppose 0*w + 33 = -w. Let c = -18 - w. Is 5 a factor of c?
True
Let s = 398 - 90. Does 22 divide s?
True
Let o(q) = -q**2 + 5*q. Let b be o(4). Is ((-54)/b)/((-3)/20) a multiple of 18?
True
Let i = -41 + 52. Does 11 divide i?
True
Let g = 56 + -10. Does 6 divide g?
False
Let a = 95 + -50. Does 9 divide a?
True
Let a(o) be the third derivative of 13*o**4/24 + o**3/3 - 9*o**2. Does 18 divide a(4)?
True
Let f be -2 + 4 + 1*10. Let x = f + 69. Let j = -47 + x. Is 17 a factor of j?
True
Let f be 9*-3*2/(-18). Suppose 0*y + 291 = f*y. Let m = y + -67. Does 17 divide m?
False
Let o = 5 + -2. Does 3 divide o*(-3)/(-9)*11?
False
Let l = 2 - -13. Let z = -8 + l. Is z a multiple of 4?
False
Let w(d) = 4*d - 1 - 7*d - 4*d. Suppose -3*n - 13 = -4. Is w(n) a multiple of 10?
True
Suppose -269 = -4*r - 3*u + 260, 2*r + 3*u = 257. Is 39 a factor of r?
False
Suppose -2*t + 0*t + 334 = 0. Suppose 4*u - 2*z + 25 = 195, -4*u + t = z. Is u a multiple of 21?
True
Let i = 7 + -5. Suppose -3*o + 10 = i*o. Does 9 divide -2 - (o + -30) - 0?
False
Suppose -2*n + 9 = -2*u - 3, 0 = u + 2. Let k(c) = -115*c + 4. Let m be k(n). Does 22 divide m/(-21) + 2/7?
True
Let q = 467 - 251. Is q a multiple of 37?
False
Suppose -4*g + 5*p + 812 = 0, -610 = -3*g + 3*p + p. Is g a multiple of 22?
True
Let f(x) = -20*x + 2. Is f(-4) a multiple of 11?
False
Let w = 2 - -155. Suppose 2*p + 5*q - w = 0, -5*p + 3*q = -162 - 215. Does 19 divide p?
True
Let x be 2/(-9) - (-2774)/171. Does 10 divide x/3*(-9)/(-4)?
False
Let c(v) = 4*v - 25. Does 6 divide c(17)?
False
Is (21/9)/((-2)/(-30)) a multiple of 23?
False
Suppose 4*b - 6 = 3*b. Suppose b*t - 83 + 35 = 0. Does 8 divide t?
True
Let b(v) = v**3 + 4*v**2 + 2*v. Let u be b(-3). Suppose -4*s + 87 = u. Is s a multiple of 9?
False
Let j(x) = -8*x + 3. Is 3 a factor of j(-2)?
False
Let p be (-2)/(-5) - 46/(-10). Suppose -4*k - 3*f = f - 100, p*k - 5*f = 95. Is 11 a factor of k?
True
Let w = 14 - 9. Let f(m) = m**2 + 6*m - 7. Does 24 divide f(w)?
True
Let c(w) = -w - 10. Let d be c(-8). Does 6 divide ((-32)/(-6) + d)*3?
False
Suppose -7*d + 6*d + 3 = 0. Let m(t) = t**3 - t**2 + 5. Let b be m(0). Suppose -4*i = -8*p + d*p + 31, 29 = 3*p - b*i. Is p a multiple of 2?
False
Suppose -5*v + 2*r = -474, 2*r - 294 = -v - 2*v. Is 24 a factor of v?
True
Suppose -g + 93 = -20. Suppose 3*h + z = g, -4*h + 38 = 3*z - 111. Does 11 divide h?
False
Let d = 79 - 47. Let k = 4 + d. Does 9 divide k?
True
Is 43 - ((-5 - 0) + 2) a multiple of 13?
False
Let l(r) = r**3 + 10*r**2 + 3*r + 11. Let i be l(-10). Let g = i + 27. Is g a multiple of 8?
True
Let g(i) = -i**2 - 5*i - 2. Let y be g(-3). Let w(v) = 2*v. Let t be w(y). Suppose -3*u + t = -25. Is 4 a factor of u?
False
Let y = 1 + 43. Is 11 a factor of y?
True
Let i(b) = 4*b**3 - b. Let u be i(1). Suppose 4 = u*f - 4*p - 87, 0 = -f + p + 29. Does 11 divide f?
False
Let c(j) = j**2 + 21*j + 45. Is c(-21) a multiple of 15?
True
Suppose 4*z + 28 = -5*j, 5*j - 5*z + 0*z + 55 = 0. Is 3 a factor of (j/(-5))/((-3)/(-15))?
False
Let d(j) = 6*j**2 - 2 + 4*j - 4*j**2 - 2*j + 5. Is 9 a factor of d(3)?
True
Let q = -436 - -237. Let n = 316 + q. Let o = -81 + n. Does 18 divide o?
True
Let n = -14 - 4. Is 1 - (-9)/(-3) - n a multiple of 7?
False
Let i(f) = 4*f**2 - 2*f. Let x be 2 - (-1 - (2 - 3)). Is 7 a factor of i(x)?
False
Let z = -6 + 6. Is (-3)/(6/(-92) + z) a multiple of 23?
True
Suppose 3*m - 77 = -5*x + 258, 5*x = -4*m + 440. Is 16 a factor of m?
False
Let o be (-12)/24 - 6/(-4). Suppose -q = -3 - o. Does 4 divide q?
True
Suppose 2 + 6 = 4*s, -5*o = -5*s - 320. Does 33 divide o?
True
Let l be -5 + ((-3)/3)/(-1). Suppose 15 = -4*i + 31. Is ((-22)/l)/(2/i) a multiple of 4?
False
Suppose 0*l + 4*b - 13 = l, -4*l - 8 = -5*b. Suppose -l*j - 51 = -s - j, -5*s + 5*j + 240 = 0. Does 15 divide s?
True
Let c(y) = -y**3 + 6*y**2 + 10*y - 9. Let q(i) = i + 11. Let n be q(-11). Suppose -z + 6*z + 43 = 4*v, n = -v - z + 4. Does 12 divide c(v)?
True
Let m be (-4)/(-2 - -4) + -2. Let n = m + 10. Is n a multiple of 4?
False
Suppose 4*o - 897 = -149. Is 39 a factor of o?
False
Let z = -64 + 281. Is 7 a factor of z?
True
Let q be ((-9)/12)/((-2)/48). Suppose -i - 5*r = q - 8, 2*i - 5*r - 40 = 0. Is 10 a factor of i?
True
Does 8 divide (5 - 2)/1 - 0 - -38?
False
Suppose 0*m = -2*m + 36. Is 6 a factor of m?
True
Suppose -5*y + c - 2 = -12, 4*c = -2*y + 26. Suppose 204 = j + y*j. Is j a multiple of 16?
False
Let a(f) = -4*f - 7. Let i be a(-5). Let u = i + 16. Does 16 divide u?
False
Let x = -6 + 9. Suppose 150 = x*y + 3*m, y - 2*m + 149 = 4*y. Suppose 121 + y = 5*o. Is o a multiple of 17?
True
Does 23 divide (32/(-20))/((-4)/230)?
True
Is 6 a factor of (1/2)/((-6)/(-948))?
False
Suppose -5*y = 5, 4 = 3*g + y + 5. Suppose g*j + 4*j = -208. Let i = -30 - j. Is 11 a factor of i?
True
Suppose 0 = 8*y - 3*y - 60. Suppose 2*l + 2*l - y = 0. Does 2 divide l?
False
Let p = -120 + 186. Does 19 divide p?
False
Does 13 divide 12 - (-1 + 0/4)?
True
Let g = 24 - 0. Suppose 8*w = 4*w + g. Is w a multiple of 3?
True
Let h(z) = 38*z. Let b be h(1). Suppose -4*p + 8 = w - b, 0 = -3*w - 3*p + 120. Does 8 divide w?
False
Let h(w) = -w**3 + 5*w**2 - 4*w + 5. Let t be h(4). Suppose -t*z = 2*f + 17, -z + 10 = z. Does 4 divide (-78)/f + 4/14?
True
Let l = -28 - -46. Is l/(-24) - (-43)/4 a multiple of 5?
True
Let n(j) = 5*j**2 - 2*j - 1. Let k be (-2)/(-8) - (-38)/8. Let r be n(k). Is 11 a factor of r/10 + 2/(-5)?
True
Let s(h) = -2*h**3 - 2*h**2 + 3*h - 3. Let d be s(2). Let x = d + 49. Is (-1 + -5)/((-21)/x) a multiple of 3?
False
Let c = 27 + -29. Let y(q) = q**2 - q. Let g(u) = 2*u**2 - u. Let b(a) = 4*g(a) - 3*y(a). Is b(c) a multiple of 11?
True
Let w = -3 - 3. Suppose 4*t = 2*l - 69 - 9, 78 = 2*l + 5*t. Does 5 divide w/39 - (-435)/l?
False
Is 8/(-6) + (-4)/(-36)*129 a multiple of 13?
True
Suppose 98 = o + 3*n, -5*o = -3*n - 40 - 378. Is 18 a factor of o?
False
Suppose 4*y - 154 = 150. Suppose y = 9*u - 5*u. Is 11 a factor of u?
False
Let x = 72 + -23. Suppose -b = b + 50. Let r = b + x. Does 12 divide r?
True
Let q = 283 - 199. Does 7 divide q?
True
Suppose 2*r + 3*r - 225 = 0. Let x = 75 - r. Is x a multiple of 10?
True
Suppose c - 7 = -4. Suppose d + 3*z + z - 48 = 0, -c*d + 5*z + 76 = 0. Does 16 divide d?
True
Is 28 a factor of ((-34)/4 - -3)/((-2)/44)?
False
Suppose 0 = 2*c + 5 + 11. Suppose 2*d = -h + 26, h + 2*h - d - 71 = 0. Is 23 a factor of -10 - c - (-1 - h)?
True
Let v(o) = -o**3 - 4*o**2 - 2*o - 4. Is 10 a factor of v(-7)?
False
Let y(i) = -i**3 - 9*i**2 - 9*i - 7. Let r be y(-8). Let j = r + 9. Is j a multiple of 5?
True
Suppose -30 = 25*g - 28*g. Does 2 divide g?
True
Let d = 1508 - 980. Is d a multiple of 48?
True
Suppose -4*w + 7 = -5. Suppose -5*h = -w*h - 78. Is 14 a factor of h?
False
Let z be (-18)/90 + (-4)/5. Is 4 a factor of -1 + z + -1 + 22?
False
Let c = 1 - -1. Let z be 0/(0 + c + -3). Suppose 0*k + k - 14 = z. Is k a multiple of 7?
True
Is 23 a factor of -2*(2/(-6) - 822/18)?
True
Let i(p) = p**3 + 13*p**2 - 17*p - 16. Let q be i(-14). Let k = -10 + q. Is k a multiple of 6?
False
Let b(r) = 3 + 8 - 4 + r**2 + 8*r. Let l be b(-5). Is 13 a factor of 351/12 - (-2)/l?
False
Let i(p) = -2*p**3 - 6*p**2 - 6*p - 7. Let l(v) = -5*v**3 - 11*v**2 - 13*v - 14. Let u(w) = -7*i(w) + 3*l(w). Is u(9) a multiple of 17?
True
Let r(z) = z**3 - 4*z**2 + 5. Let j(m) = m**3 - 6*m**2 + 6*m. Let v be j(5). Suppose 33 = 5*b + 2*k, -2*b = -0*b + v*k - 30. Does 10 divide r(b)?
True
Let l = -3 + 49. Is 23 a factor of l?
True
Let n(a) = 2*a**2 + 10*a - 9. Let f be n(-8). Does 3 divide f/5 - (-2)/10?
False
Suppose 11*f = -4*f + 1245. Is f a multiple of 19?
False
Let k = -2 - -3. Let a be -4*((-1)/(-2) - k). Is 11 a factor of ((-8)/12)/(a/(-69))?
