/(-6) + (-9)/j?
True
Let q = -714 - -1129. Is q even?
False
Let d = 264 + -234. Is 5 a factor of d?
True
Let p(u) = -20*u**3 - 12*u - 36. Is 30 a factor of p(-3)?
True
Let c be 15/3*(5 + -6). Let p(j) = 7*j**2 + 10*j - 6. Does 34 divide p(c)?
False
Is 5 a factor of 99/18*-2 + 336?
True
Let p(x) = -32*x - 11. Let s be p(-4). Let g = s + -33. Is g a multiple of 21?
True
Let f(l) = -l**3 - 9*l**2 - l - 13. Let y be f(-9). Let t be -39*y/(12/113). Is 14 a factor of 1/(-4) + t/52?
True
Let o(n) = -n + 1. Let l(h) = h**3 + 12*h**2 - 13*h - 5. Let d(i) = -l(i) + 5*o(i). Is 27 a factor of d(-13)?
False
Let d = -4 + 7. Suppose 14 = d*p + 4*j, 2*p + 3*j - 16 = -3*p. Suppose p + 14 = 4*h. Is h even?
True
Suppose -i + 2*m + 74 = 0, -3*m + 6 = -3. Does 40 divide i?
True
Let x(o) = -o**3 + 14*o**2 + 11*o + 13. Let b be x(15). Let f be 2/4 - 350/(-4). Let q = b + f. Does 17 divide q?
False
Let j = 0 - -5. Suppose 31 - 216 = -j*n. Is n a multiple of 6?
False
Suppose -146 = -7*r + 6*r. Let l = 226 - r. Is 18 a factor of l?
False
Suppose -3168 = 570*n - 579*n. Is 11 a factor of n?
True
Suppose 16*b + 12818 = 4*t + 18*b, 12821 = 4*t + b. Is 17 a factor of t?
False
Is 8 a factor of 213/((-198)/216 - 5/(-3))?
False
Let a(t) = t**3 - 14*t**2 - 13*t - 20. Let h be (-9)/(-9)*(-1 - -2). Let r be h*-10*6/(-4). Is 2 a factor of a(r)?
True
Let c = 14 + -7. Let h(a) = 4*a**2 - 9*a - 13. Let t(m) = m**2 - m - 1. Let z(j) = -h(j) + 3*t(j). Is 2 a factor of z(c)?
False
Let m(l) = l**3 + 15*l**2 - 19*l - 39. Is m(-14) a multiple of 9?
True
Let n(m) = -m**3 + 2*m**2 - 5*m + 6. Let v be n(-3). Suppose -4*t = -t - v. Is 2 a factor of t?
True
Suppose s + 94 - 391 = 0. Let p = 440 - s. Is 13 a factor of p?
True
Let m be (-5)/25 - 22/(-10). Let a be m - (1 + 9 - -2). Is (0 + -2)*a/4 a multiple of 2?
False
Let u = -370 - -1557. Suppose z - 163 = 3*p - u, 5*z - 1340 = -4*p. Suppose -6*k = -44 - p. Is k a multiple of 16?
True
Suppose -33*f = -34*f + 42. Suppose -2*v = -f - 52. Does 28 divide v?
False
Suppose 0 = -4*f + 7*f - 924. Suppose 2*m - f = m. Suppose 251 = a + 3*a - 3*z, -5*a - 2*z + m = 0. Is 13 a factor of a?
False
Suppose -3*z = 2*z + w - 19, w - 13 = -3*z. Suppose -z*q + 2*q + 9 = 0. Let m = 57 - q. Does 20 divide m?
False
Suppose 0 = -18*r + 79*r - 198128. Is r a multiple of 60?
False
Let l = 121 - 260. Let g = -79 - l. Is g a multiple of 5?
True
Suppose 432*o - 437*o = -3510. Is o a multiple of 27?
True
Let r be ((-4)/(-5))/(6/45). Let a(s) = -s**2 + 13*s - 7. Is 5 a factor of a(r)?
True
Let o(j) = -j**3 - j**2 + 19*j + 6. Let q be o(6). Is 16 a factor of (-4 - 2)*(-1)/((-4)/q)?
False
Let c = 8 - 1. Let o = 10 - c. Suppose o*j - 62 + 23 = 0. Is 12 a factor of j?
False
Let o(a) = 13*a + 2. Let i be (-4 + 44/10)*-35. Let b = i - -18. Does 10 divide o(b)?
False
Let b = -19 - -21. Let d(j) = 16*j - 2. Is 15 a factor of d(b)?
True
Let z be (-3)/(-12) + (-5901)/(-12). Let p(b) = 38*b**2 - 4. Let a be p(-3). Suppose a - 57 = 2*g + 5*v, z = 4*g - 4*v. Is 20 a factor of g?
False
Let d(c) = c**2 + 35*c + 100. Let m be d(-32). Is m + (222 - 5 - 5) a multiple of 28?
False
Suppose 0 = -8*k - 62 + 222. Let g = k - 17. Suppose -j = -n - 35, g*n = -j + 2*j - 45. Is j a multiple of 30?
True
Let x be ((-2)/2 + -51)/(-2). Suppose -4*h - 4*m + x = -78, 0 = 4*h - m - 124. Is 15 a factor of h?
True
Suppose 16 = z - 18. Let f be -3 + z*4/8. Suppose -f + 8 = -2*o. Does 2 divide o?
False
Suppose 0*p - 5*p + 51 = 3*b, 0 = -p + 2*b + 18. Let d be p/(-10)*240/9. Is d/(-6)*(4 - -8) a multiple of 12?
False
Let a = 47 + 109. Suppose 3*t - a - 468 = 0. Is 19 a factor of t?
False
Let j = 2 + 56. Let b = j - 14. Is 12 a factor of b?
False
Let o be (-4 + 0)/((-5)/5). Suppose o*f - 3*c + 8*c = -12, -22 = -3*f + 4*c. Suppose -26 = -f*n + 2*d, -3*d + 23 = 5*n - 18. Is n a multiple of 10?
True
Let q(n) = 2*n + 1. Let a be q(14). Let t = 35 - a. Let f(z) = 6*z + 1. Does 15 divide f(t)?
False
Let b(x) = -x**3 - 3*x**2 - 6*x - 6. Let m be b(-2). Is m - -125 - (-1 + 5) a multiple of 19?
False
Let k(f) = 94*f - 2. Let r be k(-1). Let i be (-1)/(r/(-100) - 1). Suppose 2*g + 3*t = 2*t + i, -3*g = 4*t - 35. Is 6 a factor of g?
False
Suppose 0 = 2*j + 5*g + 48, 0 = -5*j + g + g - 91. Is 3 a factor of 19/j - 8*-2?
True
Suppose 0 = 3*f - 5*f - 140. Let r be (-5)/(-15) - f/(-3). Is 15/5 - (r - -1) a multiple of 15?
False
Let w be (24/(-5))/(6/20). Let s = w + 19. Suppose -s*l = -2*l - 2. Is l even?
True
Suppose -f = -k + 3*f - 42, -4*k - 183 = -f. Is 7 a factor of (-3 - -1)/(k/529)?
False
Let m(t) = -6*t**2 - 3*t - 8. Let d be m(-3). Let n = d + 70. Does 17 divide n?
True
Let u = -176 - -284. Does 18 divide u?
True
Let j(x) = 38*x**2 + 2*x - 1. Let s(v) = v**3 - 12*v**2 + v + 10. Let n be s(12). Let q = n - 21. Does 16 divide j(q)?
False
Let c = -270 - -335. Is c a multiple of 13?
True
Let p(k) = -164*k + 21. Is p(-3) a multiple of 57?
True
Suppose -8*j + 3*l - 6119 = -12*j, -7646 = -5*j - l. Does 49 divide j?
False
Suppose -j + 5*j = 8. Let f(k) = -2 + 7*k + k - 52*k**2 + 11 + 51*k**j. Is f(8) a multiple of 9?
True
Let c(v) = v**3 + 4*v**2 + 2*v. Let j be c(-4). Let w be 46 + j/(-2 - 0). Suppose 2*a + 2*a + 2*m - w = 0, -2*a - 2*m = -20. Is 15 a factor of a?
True
Is 40 a factor of (-71)/568 - (87363/(-8))/3?
True
Let z = 1808 + -818. Does 55 divide z?
True
Let a = -364 - -250. Let m be (-2)/4*(372 + 0). Let c = a - m. Is 24 a factor of c?
True
Let x(o) = 5 + 4 + 6 - 5 - 61*o. Is 22 a factor of x(-3)?
False
Suppose o - 32 = 4*u + 4*o, 18 = -2*u - 2*o. Let f = u + 14. Let c(v) = v**2 - 9*v + 9. Is c(f) a multiple of 9?
True
Let a = -40 + -14. Let h = 6 - a. Is 10 a factor of h?
True
Let p(i) = i**3 - 2*i**2 - 4. Let n be p(3). Suppose 2*b = k - 2*b - 25, -n*k = b - 62. Is k a multiple of 3?
False
Suppose 32 + 22 = 6*w. Is 4*((-8)/(-4) + w) a multiple of 11?
True
Let i be 5650/14 - 3/(-7) - 4. Suppose -q + 133 = -5*w, -4*q - 2*w + i = -198. Is 51 a factor of q?
False
Let j(g) = g - 2. Let m be 6*((-12)/(-9) - 1). Let o be j(m). Suppose o = 5*s - 4*s - 53. Does 14 divide s?
False
Suppose -o - 5*c = -102, -5*o - 8*c + 490 = -3*c. Is 12 a factor of o?
False
Let v = 775 + -921. Let s be 254 + 2*2/(-4). Let j = s + v. Is 23 a factor of j?
False
Let f be (-4)/18 - (-10768)/18. Let p(a) = a**3 - 17*a**2 + 33*a - 40. Let n be p(15). Suppose -2*q = q + t - 359, -n*q - 2*t = -f. Is 24 a factor of q?
True
Is 44 a factor of 37 + -37 - 1008/(-1)?
False
Suppose 0 = -3*y - 46 - 170. Let d = 134 + y. Does 8 divide d?
False
Let u = 188 + -70. Is 11 a factor of u?
False
Let s be (2/(-2))/(-4 + (-65)/(-15)). Is 16 a factor of (-258)/(-8) - (-2)/24*s?
True
Suppose -22*f = -18*f - 3*k - 4377, 5454 = 5*f + 2*k. Is f a multiple of 52?
True
Let q(g) = g**3 + 12*g**2 + 5*g + 8. Let i(n) = n**3 + 12*n**2 + 4*n + 9. Let m(o) = -2*i(o) + 3*q(o). Is 13 a factor of m(-11)?
False
Suppose 2*i - 1 = -a, -2*i - 2*a - 5 = -7*a. Suppose -4*w + w + 744 = i. Suppose -18*s - w = -22*s. Does 31 divide s?
True
Suppose w + 8 = 10. Suppose 2*t + 8 = 0, 4*m + w*t = 4*t + 112. Is m a multiple of 2?
True
Suppose 0 = w - 3*o - 705, w - 709 = 13*o - 12*o. Does 28 divide w?
False
Let t(m) = -m**2 - 2*m + 4. Let s be t(0). Suppose -o - 98 = -2*w - 3*o, s*o = -w + 34. Let p = 3 + w. Does 15 divide p?
False
Let n(f) = f**2 - 9*f + 12. Let q(g) = -g**2 - 7*g - 3. Suppose 0 = -3*m - 16 + 4. Let a be q(m). Does 3 divide n(a)?
True
Suppose 0 = -r - 3*r, -3*j + 2811 = r. Is 21 a factor of j?
False
Let w be (6/15)/(2/60). Suppose 0*d - 3*d = -w. Suppose -3*p + f + 165 = 0, -d*p - 5*f + 96 = -143. Does 28 divide p?
True
Suppose 6*x = 817 - 157. Is x a multiple of 20?
False
Let i(h) = -6*h - 4. Suppose 24*j + 16 = 20*j. Does 13 divide i(j)?
False
Let d = -124 + 333. Does 5 divide d?
False
Suppose -r + 0*b = -b + 12, 0 = -4*r + b - 42. Let h = 30 - r. Is 20 a factor of h?
True
Let o = -676 + 1898. Is o a multiple of 18?
False
Let q(f) = -f**3 + 2*f**2 + 2. Let h be q(2). Let w be (9/2 + -3)*h. Suppose 66 = 5*v - w*a, -2*v - 5*a = 23 - 68. Is 5 a factor of v?
True
Let m be (-2 - -8)*(-1)/2. Is (-175)/(-7) - (1 + 0)*m a multiple of 6?
False
Let a be (-4)/(-2*(-4)/(-64)). Suppose -a = h - 5*h. Suppose 0 = 3*u - 5*s - 26, 3*u + 2*s = 53 + h. Is u a multiple of 5?
False
Let a(w) = 1