 5. Let x be p(-12). Suppose -2*d = -x*l - r*d + 22, -d - 10 = -l. Is l even?
True
Suppose 7779 - 989 = 10*j. Does 3 divide j?
False
Let b(m) = 5*m + 2. Let x be b(1). Suppose x*z = 360 + 410. Does 11 divide z?
True
Suppose -63*s + 1006 + 9578 = 0. Does 132 divide s?
False
Suppose -7*d + 1245 = -1254. Is d a multiple of 17?
True
Is 1/((-1)/(-5)) + (-114)/(-6) a multiple of 24?
True
Let c = 163 + 319. Does 15 divide c?
False
Suppose -31 = -6*d + 17. Suppose -c + 204 - 22 = 2*a, 4*c + d = 0. Does 9 divide a?
False
Let t = -476 + 862. Is t even?
True
Suppose -346 - 334 = -5*o. Suppose 352 = -4*b + o. Let h = b + 88. Is 7 a factor of h?
False
Suppose -19 - 25 = -d. Is 17 a factor of d?
False
Let r(x) = x**2 - 34*x + 29. Let k(f) = f**3 + 4*f**2 - 5*f - 9. Let t be k(-4). Let o(w) = 7*w - 6. Let h(z) = t*o(z) + 2*r(z). Is 24 a factor of h(-8)?
True
Suppose -6*i - 1416 = -2*m - 2*i, -5*m + i = -3549. Is m a multiple of 71?
True
Let c(t) = 17*t - 34. Let b(y) = y + 1. Let h(g) = -6*b(g) + c(g). Is h(9) a multiple of 6?
False
Suppose -15 = -4*l + 5*s, -3 = -2*s - s. Let a be l + 0 + 4/(-1). Let g(j) = 50*j. Is g(a) a multiple of 10?
True
Let o be (234 + -4)*3/3. Suppose v = 2, -4*p - o = -9*p - 5*v. Suppose 0 = 5*y - 4*y - p. Is 8 a factor of y?
False
Let o = 614 - 93. Is o a multiple of 4?
False
Let s(h) = -h**3 + 7*h**2 + 7*h + 2. Let w be s(8). Let k be 3/9 - (-2)/w. Suppose -4*g = -0*g + y - 76, k = y. Does 4 divide g?
False
Let z(d) = 2*d**2 + 15*d + 1. Does 38 divide z(-22)?
False
Let a = 40 + -30. Suppose -4*x - 126 = -a*x. Suppose 2*q - 10 = -5*m + x, -m - q + 5 = 0. Is m a multiple of 2?
False
Let p = -1497 - -2246. Is p a multiple of 107?
True
Let z(u) be the second derivative of 17*u**3/2 - u**2 + 5*u. Is z(3) a multiple of 33?
False
Let b(t) = 2*t**2 - 5*t - 1. Suppose 5*m = 3*n + 2*n - 170, -2*n = -m - 38. Let g be 2/(6*(-2)/m). Does 24 divide b(g)?
True
Let u = 204 + -179. Is u a multiple of 25?
True
Let p(c) = 2*c**2 + 14*c + 37. Let q be p(-10). Let b = 202 - q. Does 7 divide b?
True
Suppose -4*q - 3353 + 3473 = 0. Does 15 divide q?
True
Suppose y - 28 = 5*d, -3*y + 0*y = d - 4. Does 3 divide y?
True
Let l be (-8)/(-4) - 1*56. Let y = l + 74. Does 4 divide y?
True
Suppose -124 = -5*f - 14. Let b = f - 18. Suppose -b*p + 3*p = -9. Is p a multiple of 2?
False
Suppose -4*q = 0, -2*q + 1600 = 4*z + 2*q. Suppose 5*l + 0*l = z. Is 16 a factor of l?
True
Let f = -74 + 626. Does 46 divide f?
True
Let m(t) = t**3 - 6*t**2 + 3*t - 3. Let z be m(6). Let o = -40 + -2. Does 8 divide 2 + (-5)/(z/o)?
True
Suppose 2*k + 0*l + 28 = 5*l, 56 = -4*k + 3*l. Let h(p) = -p + 16. Is h(k) a multiple of 15?
True
Suppose 19 + 14 = 4*q + 5*a, 0 = q - a + 3. Suppose q*b = -b + 297. Does 21 divide b?
False
Suppose -16054 = 12*w - 35*w. Does 45 divide w?
False
Let f = 6 - 14. Suppose 0 = -w - 58 + 1. Let p = f - w. Does 18 divide p?
False
Is 30 a factor of 451 + (-2)/(4 - -1 - 3)?
True
Suppose 0 = -3*s + 4 - 10. Let b = s + 3. Is 315/12 + b/(-4) a multiple of 8?
False
Let x(o) = o**3 + 8*o**2 + 6*o + 1. Let j be x(-7). Suppose 3 = -7*s + j*s. Is -7*(2 + -4) - s a multiple of 11?
True
Let w be 0/(8/4 + -1). Let u be (1 - w)/((-1)/(-105)). Is 14 a factor of ((-8)/12)/(-2)*u?
False
Let p = -59 + 49. Does 19 divide (3 + -7)/(p/95)?
True
Let k be -1 - -5*(-5)/25. Let r be 2 - k*(0 - -93). Let f = r - 128. Is f a multiple of 15?
True
Suppose -104 - 56 = -4*u. Suppose -5*t + 207 = -3*z, 3*t - 2*t - 2*z = u. Is 17 a factor of t?
False
Let y = 31 - -387. Is 11 a factor of y?
True
Let p be -3 + 6*-1*-1. Suppose p*o - 17 = u, -5*u + u = -2*o + 28. Does 8 divide 1/((4/o)/38)?
False
Let g(n) = 3*n - 27. Let j be g(9). Let a(p) = 23*p + 2. Let v be a(2). Suppose 192 = 5*h + 2*t, j*t + 2*t = h - v. Does 13 divide h?
False
Suppose 0 = 5*g + f - 2092, 4*g - 4*f - 431 = 3*g. Suppose 3*h - g = 2*d + 237, -4*d - 4 = 0. Does 19 divide h?
False
Let h = -97 + 64. Let x = h + 278. Is 35 a factor of x?
True
Let h be (-4)/18 + (-424)/36. Let m = 16 + h. Suppose -m = f - 23. Is f a multiple of 5?
False
Let s = 3 - 12. Suppose 2*z = 5*h, -3*z - 5*h = -7*z. Let u = z - s. Does 9 divide u?
True
Let k(w) = -21*w + 2. Let f(u) = 2*u - 1. Let q(n) = 1. Let i(s) = f(s) + 4*q(s). Let x be i(-3). Does 13 divide k(x)?
True
Suppose -152 = 5*c - 17. Let x = 35 + c. Is x a multiple of 2?
True
Suppose -1668 = 8*s - 12*s + 4*z, s + 2*z = 411. Does 11 divide s?
False
Let u = 119 - 3. Is 24 a factor of u?
False
Let g(r) = r**3 - 21*r**2 + 35*r + 10. Let v be g(21). Suppose 0*l = -l - 5*k + 270, 0 = -3*l - 2*k + v. Is l a multiple of 28?
False
Suppose 0*m = 4*m + 3*v - 435, -v - 225 = -2*m. Is 10 a factor of m?
False
Suppose 8*t - 72 = 2*t. Does 3 divide t*((-55)/(-20) + 0)?
True
Suppose 5*w + 95 = 2*g + 27, -44 = -2*g - w. Suppose 558 - g = 6*j. Does 33 divide j?
False
Suppose -2*b - 82 = -3*b + 2*l, 0 = -l + 1. Suppose 4*n = 5*y + b, n = -y + 7 + 14. Is n a multiple of 7?
True
Let v = -1704 + 4295. Is v a multiple of 33?
False
Suppose 4*j = -5*k + 2416 + 79, -5*j + 1497 = 3*k. Does 16 divide k?
False
Let t = -75 + 67. Is 1958/16 + 3/t a multiple of 17?
False
Let q(f) = -f**2 + 8*f + 3. Let l = 1 - -18. Let n = 26 - l. Is 9 a factor of q(n)?
False
Suppose 0 = 4*q - 3*m + 18, -2*q + 4*m - 14 = -0*q. Is 14 a factor of (3/q - 3) + 53?
False
Is 11 a factor of 11945/25 + (-4)/5?
False
Let j = -225 - -90. Is 9 a factor of 27/((j/20)/(-9))?
True
Let q be (2 + -1)/(10/1030). Suppose -5 = 7*r - q. Is r a multiple of 7?
True
Suppose 2*r + 0 = -3*l - 9, 5*l + 13 = -3*r. Let p = r - -10. Suppose 3*f + 83 = q - 1, 56 = q + p*f. Is 18 a factor of q?
True
Let d(n) = -4*n**3 + n**3 - 11*n**3 + 3*n + 2. Suppose 0 = 6*r + 2 + 4. Does 13 divide d(r)?
True
Suppose 0 = 2*s - 2*x - 2169 + 639, 2*x - 10 = 0. Is s a multiple of 35?
True
Suppose -2*c - 319 = -1645. Let m be c/12 + (-2)/8. Suppose -q + 22 = -f, -39 = -4*q - 2*f + m. Is q a multiple of 14?
False
Let t(y) = -2*y**3 + 5*y**2 + 2 - 2 + 3*y**3. Is t(-3) a multiple of 17?
False
Suppose 3*a - 155 = 49. Let q = 8 + a. Is q a multiple of 6?
False
Let o(f) = -22*f + 56*f + 107*f - 6. Does 27 divide o(1)?
True
Let o(m) = -3*m**2 - 8*m + 15. Let w(v) = -2*v**2 - 7*v + 14. Let x(d) = -3*o(d) + 4*w(d). Is 22 a factor of x(-6)?
False
Let u be (-6*1 + -1)*36/(-63). Suppose -1129 = -u*i - 5*j, 4*j + 1147 = 4*i + 3*j. Is 11 a factor of i?
True
Suppose 11*c - 36 = 15*c. Does 39 divide 1/((2/c)/(910/(-21)))?
True
Suppose 0 = 1433*x - 1432*x - 1824. Is x a multiple of 19?
True
Suppose z = 8*l - 3*l + 71, 0 = -3*l - 2*z - 40. Is (-708)/l - (-16)/(-28) a multiple of 5?
True
Suppose 3*h + h - 44 = 0. Suppose -h - 5 = -j. Is 16 a factor of 36/(1*12/j)?
True
Let q(a) = 4*a**2 + 3*a - 5. Let j be q(5). Let f = 220 - j. Is f a multiple of 22?
True
Suppose 2*a + 8 = 4*a. Suppose -3*u + 1 = 10. Let n = a - u. Is n even?
False
Let n be ((-1)/2)/((5/6460)/(-1)). Suppose 4*f - 2 = n. Is f a multiple of 17?
False
Let d(o) = 21*o**3 + o**2 - 2*o + 1. Let f be d(1). Let k = -19 + f. Does 2 divide k?
True
Suppose -v + 0*v + 4 = 0. Suppose v*h = h. Suppose -2*d + 7 + 21 = h. Is 5 a factor of d?
False
Suppose 4*i - 21 = -1. Suppose 0 = -j - 5*b + 12, -2*j + 4*b - i = -1. Does 18 divide j/(-5) - (-272)/5?
True
Let c(f) = f**3 + 28*f**2 + 60*f + 16. Does 8 divide c(-24)?
True
Let s be 4*15/12*2/5. Suppose 6*g - 2*g = 20. Suppose -h - t = -11, -s*t = -g*h + t + 79. Is 7 a factor of h?
True
Let r(c) = 3*c**2 + 55*c + 52. Is r(-22) a multiple of 49?
True
Let z(w) = 18*w**3 - w**2 + 6*w - 5. Let j be ((-4)/(-6))/((-17)/(-51)). Is 49 a factor of z(j)?
True
Let v(r) = -3*r**3 + 24*r**2 + 16*r - 39. Let p(u) = -u**3 + 8*u**2 + 5*u - 13. Let c(g) = -11*p(g) + 4*v(g). Is c(8) a multiple of 23?
False
Let h be 2/(-8) - (-135)/(-4). Suppose 272 = 6*v - v - 4*n, 0 = 2*v + 3*n - 118. Let s = v + h. Does 6 divide s?
False
Let b be (-3465)/(-5) - (-6 + 1). Suppose -b = -5*a + 727. Is 19 a factor of a?
True
Is (-1042)/((-4)/3 + 14/42) a multiple of 46?
False
Let f = -12 - -5. Let g(w) = -w**3 - 7*w**2 - w + 9. Let h be g(f). Let t = h - -2. Does 9 divide t?
True
Let z(w) = 2*w**2 + 2*w + 1. Let q be 32/6 + (-1)/3. Suppose -f - 15 = -3*o, q*o - f - 25 = f. Is 16 a factor of z(o)?
False
Let h = -12 - -17. Suppose 2*d - h*