a multiple of 24?
False
Let j(u) = u**3 + 5*u**2 + 4*u + 3. Let a be j(-4). Suppose -h + 148 = 3*h - 4*t, a*h - 4*t = 106. Is (h/(-8))/(6/(-16)) a multiple of 14?
True
Let j(r) = -r**2 - 20*r + 7. Does 4 divide j(-19)?
False
Suppose 0 = -3*p - p. Is 6/1 - p/1 even?
True
Suppose 0 = 5*l - 6 + 1. Let s be l/(-2*(-1)/8). Is 14 a factor of (-11)/22 + 186/s?
False
Suppose -5*y + 13 = 3. Let p(u) = -2*u - 6*u - 3 + y. Does 7 divide p(-1)?
True
Let v be ((-8)/(-6))/((-2)/(-3)). Suppose -4*x + 4*r = -96, v*x - 4*r = -3*r + 43. Suppose -11 - x = -5*u. Is u a multiple of 6?
True
Is (6/8)/((-2)/(-808)) a multiple of 14?
False
Suppose -328 + 120 = -2*t. Does 26 divide t?
True
Let v(l) = 4*l + 8. Let w be v(6). Suppose -w = 2*p - 4*p. Is 4 a factor of p?
True
Let g(n) = n**2 + n + 51. Suppose 0 = -7*y + 2*y. Does 13 divide g(y)?
False
Let r(x) = -3*x + x - 1 + 0 + 7. Does 11 divide r(-8)?
True
Suppose z - 2*m + 4 = 15, 3*m + 20 = 5*z. Let v be z*(1 - (-99)/3). Suppose -c - 5 = -v. Is c a multiple of 16?
False
Suppose 2*g - g = -5*r + 18, 2*g - 10 = 3*r. Does 5 divide g?
False
Let t(y) = y**2 - 4*y - 3. Let d be t(8). Let g(c) = c**3 - 7*c**2 + 8*c - 3. Let x be g(5). Let k = x + d. Is 16 a factor of k?
True
Let o be (0 - 2)*-21 + 2. Let v = 84 - o. Is v a multiple of 20?
True
Let z be 306/11 + (-16)/(-88). Suppose -3 - z = -c. Is 18 a factor of c?
False
Let j(w) = -48*w - 6. Let y(m) = 32*m + 4. Let r(i) = -5*j(i) - 8*y(i). Does 10 divide r(-2)?
True
Let s = 7 + -5. Suppose p - 42 = -s*p. Does 5 divide p?
False
Suppose 11*a = 6*a + 45. Suppose -5*n - a = -2*n. Let w = n + 13. Does 10 divide w?
True
Is 10 a factor of (-1)/((-57)/(-60) - 1)?
True
Let q = 84 - -28. Does 8 divide q?
True
Let j(l) be the second derivative of l**4/6 - 5*l**3/6 + 9*l**2/2 - 2*l. Let r be j(7). Suppose -3*f + r = f. Is 9 a factor of f?
True
Let r(g) = g + 1. Let t be r(5). Let v be (-36)/(-5) + t/(-30). Is (-13)/(2/(3 - v)) a multiple of 13?
True
Is 1496/6 + (-14)/(-21) a multiple of 18?
False
Suppose 3*m + 3 = 9. Let d be 0/(-2) + 28 + m. Is 12/d + (-48)/(-5) a multiple of 9?
False
Suppose -4*l + 4 = -4*o - 0, 3*l + o + 17 = 0. Is 920/22 + l/(-22) a multiple of 14?
True
Let x(g) = g**3 + 9*g**2 - 4. Let w be x(-9). Let i(r) = -12*r - 4. Is 8 a factor of i(w)?
False
Suppose -k - 3*n + 9 = 0, -n - 4 = 5*k - 21. Suppose -3*j + 2*x = -50, -4*j + 13 = -3*j + k*x. Is j a multiple of 8?
True
Suppose -11 = 2*a - 25. Is 3 a factor of a?
False
Let x(k) = -7*k**2 - 1 + k + 14*k**2 + 0 + 5*k**2. Is x(1) a multiple of 8?
False
Let x(g) = -4*g - 1. Let l be x(2). Does 8 divide (-2)/(l/4 + 2)?
True
Does 23 divide 134/4 - 13/(-26)?
False
Suppose 0 = -2*d - 5*v + 61, d + v = 4*v + 3. Suppose -5*p = w - 7, -3*p + 6*p - 4*w - d = 0. Suppose p*o = -12 + 114. Is o a multiple of 13?
False
Let o be 1 - (-1 + -6) - 3. Suppose -o*n + 26 = 6. Does 2 divide n?
True
Let a(j) = 14*j**2 - 26*j - 2. Let s(w) = -5*w**2 + 9*w + 1. Let q(o) = 4*a(o) + 11*s(o). Does 3 divide q(5)?
True
Let q(v) = -v**2 - 12*v + 22. Is 9 a factor of q(-13)?
True
Let b(k) = -k + 4. Let c be b(3). Is (-1 - c) + 1 + 56 a multiple of 27?
False
Does 17 divide 2/(-2 + (-880)/(-435))?
False
Suppose 4*c + 158 + 33 = 3*m, -m + 4*c = -53. Does 16 divide m?
False
Let o(h) = h**2 + 1. Let z be o(-2). Suppose 35 = z*v - 5*q, -v - 2*q + 27 = q. Is v a multiple of 9?
False
Suppose 25*g = 27*g - 10. Suppose -g*p + 7*p - 152 = 0. Is p a multiple of 20?
False
Let g = 73 - 8. Is g a multiple of 11?
False
Suppose 2*p = p - k + 6, 0 = p - k - 4. Suppose -p*f + 6*f - 4 = 0. Suppose 5*o = f*x - 0*x - 84, 92 = 4*x - 3*o. Is x a multiple of 19?
False
Let q = -118 + 310. Does 16 divide q?
True
Let o be ((-6)/9)/(1/(-3)). Suppose -h + 1 + o = 0. Suppose -h*i + 30 = -9. Is i a multiple of 13?
True
Suppose -h + 6*p + 3 = 5*p, -p + 15 = 5*h. Let f(o) = o**2 - 3*o + 3. Does 3 divide f(h)?
True
Suppose 3*f = f + 2*a - 52, f + 14 = 5*a. Let o = f + 3. Let p = o + 40. Does 10 divide p?
False
Let w(k) = -4 + 8 - 7*k**2 + 4 + k**3 - 7*k. Suppose 5*c - 4 - 36 = -5*s, 5*c = 0. Does 7 divide w(s)?
False
Suppose 0 = -3*m - 2*m. Suppose -n = -2*h + 39, m = -2*h - 3*h - 3*n + 103. Is h a multiple of 4?
True
Let t(v) = v. Let w be t(2). Let s be (w/(-6))/((-3)/18). Let z = 8 - s. Does 5 divide z?
False
Let i(p) = -p**2 + 6*p + 5. Let j be i(7). Let v = j - -5. Suppose v*q - 8*q + 158 = -3*m, 0 = -4*q - 4*m + 120. Does 10 divide q?
False
Suppose 2*d + 2*c - 22 = 0, -3*c + 0*c - 2 = -2*d. Suppose -d*j + 126 = -4*j. Does 14 divide j?
True
Let v = 67 + -43. Is ((-16)/12)/((-2)/v) a multiple of 16?
True
Let f(z) = 9*z + 28. Is f(16) a multiple of 48?
False
Is 12 a factor of (-56)/(-12)*36/14?
True
Let t = 394 + -610. Does 5 divide 4/14 + t/(-28)?
False
Let w(l) = 6*l**3 + 2*l**2 - 2*l + 1. Let q be w(1). Let s(n) = 6*n - 7. Let t be s(q). Suppose 0 = -4*c + t + 5. Is 10 a factor of c?
True
Suppose -92 = -4*a + s + 227, -a + 70 = 3*s. Does 20 divide a?
False
Let y(w) = w**3 + w - 1. Let h(f) = -4*f**3 - 9*f**2 - 7*f + 13. Let u(q) = -h(q) - 3*y(q). Is u(-8) a multiple of 11?
True
Let a be 45/(-3)*2/(-6). Suppose a*l = -0*l + 130. Suppose -2*t + 18 = 4*g, 5*t - 2*g - l = t. Is 7 a factor of t?
True
Suppose -4*g = 8, 5*p + 0*p = 4*g + 383. Is p a multiple of 14?
False
Let s = -14 - -21. Is 7 a factor of s?
True
Let v(z) = z**3 + 12*z**2 - 4*z. Does 16 divide v(-10)?
True
Suppose 119 = -3*c + 371. Is 21 a factor of c?
True
Suppose 27 = w + 5*f + 3, 12 = -2*w + 5*f. Suppose 0 = v + v - c - 34, 0 = w*v + 4*c - 80. Does 18 divide v?
True
Suppose -4*n + 5*o = -169, n - 62 = -n - 2*o. Let q = 76 - n. Is q a multiple of 11?
False
Let o be 1/1 - 12/(-3). Suppose -o*q + 0*q = -470. Let p = -45 + q. Is 14 a factor of p?
False
Is 40/(-2)*(-3 + 1) a multiple of 20?
True
Let o = 282 + -12. Does 15 divide o?
True
Suppose -4*z + 46 = -2. Is z a multiple of 6?
True
Suppose -g = -k + 89, -4 = 4*g - 8. Is 30 a factor of k?
True
Let r = 95 + -17. Is 6 a factor of r?
True
Let w be 12*2*(2 - -1). Suppose -d + 2*d = w. Is 5 a factor of 4/(-14) + d/7?
True
Is 2 a factor of (-19)/(-3) - 8/6?
False
Is 18 a factor of -5 + 117 + 4/(-1)?
True
Let u(x) = -x**3 + 7*x**2 - 6*x + 1. Let s be u(6). Let i = 15 + -10. Suppose -j = -i*g - s, -g = -j + 20 - 3. Does 15 divide j?
False
Suppose 0 = 4*l - o + 14 - 2, 5*l + 4*o = -36. Let c = l - -3. Is 9 a factor of 20 - (0 - c)*2?
True
Suppose 6*z - 29 = 85. Is z a multiple of 11?
False
Let p(y) = 152*y**2 + y - 1. Does 19 divide p(1)?
True
Let v(x) = -x + 31. Does 5 divide v(-24)?
True
Let z = -19 + 13. Let h = z - -8. Suppose 0*p + h*p = 4*t - 62, -p - 3 = 0. Is t a multiple of 9?
False
Suppose 305 = 4*q + 49. Is 8 a factor of q?
True
Suppose -j + 5 + 12 = 5*x, -2*j + 6 = 3*x. Let v be (x - 0) + 1 + -1. Suppose 4*d = -v, -w = 2*d - 34 + 10. Is w a multiple of 13?
True
Let v(w) = -w**3 - 6*w**2 + 5*w. Is v(-7) a multiple of 4?
False
Let m(h) = h + 6. Let u be m(-10). Let t = u - -20. Is 8 a factor of t?
True
Let a be (-2)/(-2 - -4)*11. Let s = 23 + a. Does 6 divide s?
True
Suppose 0 = 5*q - 3*q - x - 12, q = -2*x + 16. Is 8 a factor of q?
True
Let v = 35 - 14. Suppose -39 - v = -5*s. Does 6 divide s?
True
Suppose -t + 3 = -0*t. Is 6 a factor of ((-13)/2)/(t/(-6))?
False
Let a = -24 + 6. Let x = -6 - a. Does 6 divide x?
True
Let g = 11 - -1. Does 12 divide g?
True
Let k(v) = v**2 - 4*v**2 + v**3 + 5*v**2 - 2 + 2*v**3. Let c(t) = t**2 + 6*t + 2. Let s be c(-6). Is k(s) a multiple of 16?
False
Suppose 2*j = 5*j - 9. Suppose 2*g = -p - 9 + 1, j*p + 25 = -5*g. Let x = p + 19. Does 3 divide x?
True
Let k(i) = -i**3 + i**2 - 3. Let s be k(0). Let b be (-100)/s - 2/6. Let q = -11 + b. Is 11 a factor of q?
True
Let v = 117 - -1. Does 22 divide v?
False
Let d(k) = -k + 1. Let l(u) = u**3 - 7*u**2 + 7*u + 2. Let p be l(6). Let s(t) = t**3 - 7*t**2 - 9*t + 6. Let f be s(p). Does 3 divide d(f)?
True
Let m = 22 - 52. Is 5 a factor of (24/m)/((-4)/30)?
False
Let u = -3 - 2. Is 13 a factor of -1 + u/(10/(-52))?
False
Let i be ((-4)/5)/((-10)/25). Suppose 3*z = 15, 3*m - i*z = -z + 25. Does 7 divide m?
False
Let x(c) = -2*c**3 - 3*c**2 + 1. Let g = 6 + -8. Let k be x(g). Suppose -i + 0*i + 10 = -d, 3*d - 34 = -k*i. Is i a multiple of 3?
False
Let i be (-1024)/(-10) + (-18)/45. Does