?
False
Is 3 a factor of 0/10 + (-24)/(-1)?
True
Let t = 824 - 42. Is 10 a factor of t?
False
Let p be (-2)/13 - (-1379)/91. Suppose 17*g = p*g + 114. Is 41 a factor of g?
False
Let x(p) = -14*p + 2. Let u be x(-4). Suppose 0 = -2*d + 20 + u. Let s = 79 - d. Does 11 divide s?
False
Let j(b) = 4*b**2 - 3*b - 4*b + 7*b. Suppose -2 + 5 = -u. Is j(u) a multiple of 12?
True
Let c = -13 - -8. Let l be (9/12)/(c/20). Is 13 a factor of (-20 - l)/(-1*1)?
False
Suppose 3*r - a = 25, 0 = -4*r - 2*a + 14 + 6. Suppose -3 = y - r. Suppose y*i = 93 - 29. Is 8 a factor of i?
True
Suppose u - 6*u + 15 = 0. Is (-602)/(-10) - u/15 a multiple of 12?
True
Let j(u) = -119*u**3 - 2*u**2 + 9*u - 6*u**2 + 5 + 120*u**3. Let f be j(7). Let m = f - 7. Is m a multiple of 6?
True
Suppose 0 = 2*p - 4, 3 = 4*q - 3*p + 5. Suppose o - 5*t - 48 = -3*o, -q = o + 2*t. Is 14 a factor of -4*(-3)/6*o?
True
Let d be (3 - 4)*1*11. Let j be (2 + 4)*(-4)/12. Let t = j - d. Does 9 divide t?
True
Is (4 - 3)/(-2*(-1)/368) a multiple of 30?
False
Suppose -2*t = 3*t. Let w(x) be the second derivative of x**4/12 + x**3/6 + 21*x**2/2 + 8*x - 11. Does 7 divide w(t)?
True
Let w(z) = -25*z + 6. Let b(h) = -h - 1. Let x(c) = 2*b(c) - w(c). Let a be x(-4). Let m = -58 - a. Does 21 divide m?
True
Let c be (-10)/(-15) + 6/(-9). Suppose c = 6*m + 2*m - 1088. Is m a multiple of 21?
False
Let j(i) = -2*i**3 - 78*i**2 - 4*i + 46. Does 4 divide j(-39)?
False
Let a(j) = 2*j**3 - j**2 + j - 34. Is a(7) a multiple of 28?
False
Suppose 2*y = -y - 18. Let h(j) = -9*j - 12. Let k be h(y). Suppose w - k = -w. Is 21 a factor of w?
True
Suppose -3*p = -d + 300, 7*p - 2*p - 956 = -3*d. Does 52 divide d?
True
Let q = -5 + 3. Let k be (-3)/(q + 2/2). Suppose -k*b = 2*o - 9, -21 = -4*o + o - 3*b. Does 4 divide o?
True
Is -366*((-142)/30 - (-6)/(-10)) a multiple of 13?
False
Let y = 114 - -1251. Does 15 divide y?
True
Let q(w) = 8*w - 70. Is q(20) a multiple of 16?
False
Let y(x) = -2*x**3 - 6*x**2 - 6. Does 47 divide y(-5)?
True
Suppose 5*y - 153 = 152. Suppose 0 = m - 5*o - 43, 0*m + 5*o = 2*m - y. Is 9 a factor of m?
True
Let q = -1755 + 1815. Is 5 a factor of q?
True
Suppose 0 = -7*f + f + 630. Is 5 a factor of f?
True
Let s = 23 - 18. Suppose -48 = -k - s*o, -2*k = k - 5*o - 204. Suppose -x = -k + 3. Is x a multiple of 12?
True
Suppose 3*q + 4 - 13 = 0. Let v = q - -94. Is 11 a factor of v?
False
Does 21 divide (0 + 258)/(96/64)?
False
Suppose 0 = s - 2*t - 3 - 26, -4*s = 4*t - 116. Suppose -4*p + 35 = 3*y, 3*p + y - 2*y - 36 = 0. Suppose -p = 3*j - s. Is 3 a factor of j?
True
Is (7/2 - -1)*1284/18 a multiple of 11?
False
Suppose -36910 - 19428 = -34*r. Does 22 divide r?
False
Let o(r) = 64*r**2 + 7*r + 2. Is 136 a factor of o(2)?
True
Suppose 3*n - 5*l - 1899 = 2000, -4*l = -5*n + 6520. Is 12 a factor of n?
True
Let q(c) = 18*c**3 - 9*c**3 - 4 + 5*c - 9*c**3 + 21*c**3. Is q(1) a multiple of 11?
True
Let a(l) = -l**2 + l - 42. Let k be a(0). Let x = 90 + k. Is x a multiple of 6?
True
Suppose -o = -0 - 3. Suppose -4*v = 3*t + 2*t - 137, -4*v = -o*t - 97. Is 5 a factor of 3/(-12) + 287/v?
True
Suppose 21*r - 186 = 18*r. Is 6 a factor of r?
False
Let l = 4 - 1. Let v(w) = -4*w**3 - 7*w**2 - 15*w + 7. Let y(j) = 2*j**3 + 4*j**2 + 9*j - 4. Let n(r) = -3*v(r) - 5*y(r). Is n(l) a multiple of 13?
False
Suppose -56647 = -29*t + 6950. Is t a multiple of 51?
True
Let t(s) = s**2 + 8*s + 11. Let o be t(-8). Suppose 2*u - o = 55. Is u a multiple of 8?
False
Suppose -3*j - j - 5*l - 28 = 0, 3*l - 28 = 4*j. Let h(c) = -c**3 - 5*c**2 + 7*c - 11. Does 4 divide h(j)?
False
Suppose -2*u - 4*z = -1822, 4*u = -u + 5*z + 4585. Is u a multiple of 25?
False
Let t be 26151/6 - (-9)/6 - 1. Suppose -8*n = -t + 1143. Does 52 divide n?
False
Suppose 0 = -y - m + 560, 0 = 5*y - 91*m + 95*m - 2795. Does 81 divide y?
False
Let r be 6/(-4) + (-1154)/(-4). Let z = r + -175. Is 8 a factor of z?
True
Suppose 3 = -z + 2*z. Suppose 0 = -2*i - 2*n + z + 3, -2*i - 5*n + 6 = 0. Suppose 3*h + 2*h - 30 = 5*l, 46 = 5*h + i*l. Does 4 divide h?
True
Let t(h) = h**2 - 5*h + 3 - 1 + 2*h. Let o be (-48)/(-9)*(-21)/(-14). Is t(o) a multiple of 7?
True
Is 17 a factor of (-9)/(-27)*1191 - 3?
False
Let t be -3*4/12*0. Suppose t = -2*y - j + 4, -4*y + 10 = y - 2*j. Does 8 divide y/(8/28) + 1?
True
Suppose 4*z + 10 = 6*z - 4*g, g + 1 = 0. Suppose -z*p = -2*p - 25. Let c = 66 - p. Does 13 divide c?
False
Let v = 418 + 51. Is v a multiple of 7?
True
Is 669/3 + (5 - 6)*1 a multiple of 37?
True
Let l be 20/((-34)/(-10) - 3). Let w = l - -43. Is w a multiple of 31?
True
Let j be -622 + (5 - (3 - 2)). Is j/(-10) + (-1)/(-5) a multiple of 31?
True
Suppose -5*k - 4*s - 469 = -1622, -3*k = -2*s - 705. Is k a multiple of 20?
False
Let a(d) = -31*d**2 - 5*d + 5. Let i(n) = 15*n**2 + 2*n - 2. Let z(s) = 4*a(s) + 10*i(s). Let u be 6/15 - ((-85)/(-25) + -2). Is 13 a factor of z(u)?
True
Suppose -w + 102 = -4*g, 0 = -w + g + 2*g + 99. Let y be (-4 - -4 - 0) + w. Suppose -5*h = -t - y, -4*h - 4*t + 0 = -72. Does 9 divide h?
True
Let d(t) = 22*t**3 - 2*t**2 - 2*t - 1. Suppose -5*x = x + 6. Let w be d(x). Let c = -13 - w. Is 5 a factor of c?
True
Is -6 - ((-8138)/78 - (-2)/6) even?
True
Let g be ((-2)/(-4))/(1/(-206)). Is 6 a factor of (-38)/(-57) - (g/3 - 1)?
True
Let c(h) = h + 9. Let l be c(-7). Let q(o) = -o + 1. Let k(n) = 3*n + 11. Let a(i) = l*q(i) + k(i). Is 19 a factor of a(8)?
False
Let c(r) = -r**3 + 7*r**2 - 2*r + 3. Let a be c(6). Let t = a - 19. Suppose -t*n + 3*n - 141 = -2*o, -5*n = -o + 58. Does 18 divide o?
False
Let k = -6 - -9. Suppose 0*z + z - 80 = 4*c, -2*z + k*c + 135 = 0. Does 15 divide z?
True
Let r(i) = -i**2 - 8*i - 4. Let y be r(-7). Let v(p) = p. Let t be v(y). Is 10 a factor of ((-8)/t)/(8/(-84))?
False
Let q = -221 - -429. Is q a multiple of 16?
True
Suppose 4*w = -x - 10, 3*w + w = -4*x - 4. Is 22*(3 - 2) - x a multiple of 3?
False
Let r(u) = 77*u**2 - 54*u - 342. Is 17 a factor of r(-6)?
True
Let y = 9 + 2. Suppose -y*v = -15*v + 36. Is 4 a factor of v?
False
Let g(d) = 17*d**2 - 9. Does 6 divide g(4)?
False
Suppose 13 = -f + 3. Is (-1 - 9/6)*f a multiple of 16?
False
Suppose -10*o + 8782 = -22398. Is o a multiple of 107?
False
Let v(f) = 30*f + 40. Does 22 divide v(17)?
True
Let h be (-3 - (-15)/6)*-168. Suppose 0 = -4*y - 0*y + h. Suppose 0 = -5*j + 131 - y. Is j a multiple of 22?
True
Let l(t) = 277*t + 317. Is l(5) a multiple of 37?
True
Let n(y) = -16*y + 27. Let h = -140 - -126. Is n(h) a multiple of 33?
False
Let l = 11 + -9. Suppose -j - 3*q + 141 = l*j, -2*j + 4*q + 106 = 0. Suppose 2*f - j = f. Is 18 a factor of f?
False
Let z be (0 - 2) + 27*4. Let t = 2 + z. Let d = t - 44. Is d a multiple of 16?
True
Let j = 32 - 28. Suppose -2 + 46 = j*x. Is x a multiple of 11?
True
Let u be (-100)/(-2*(-3)/(-12)). Suppose 5*d - 2*d - m = u, 5*d = -3*m + 324. Is d a multiple of 22?
True
Let g(r) = 161*r**3 + 2*r**2 - r. Let p be g(1). Let d = p + -62. Does 25 divide d?
True
Let f(b) = 70*b + 392. Is 12 a factor of f(16)?
True
Let s(y) = 1 + 3*y**3 - 5*y**2 + y**2 - 4*y**3 + 3*y. Does 5 divide s(-6)?
True
Suppose -20 = 3*r - 5*r - 2*f, -r = -f - 2. Let s be (10/(-4))/(-5)*r. Suppose 0 = -4*h + s + 73. Does 13 divide h?
False
Does 24 divide (7392/80)/((-4)/(-90))?
False
Let n = 892 - 272. Does 13 divide n?
False
Let z = 329 + -196. Suppose 7*s - 602 = -z. Is s a multiple of 13?
False
Let c be 2*-9*1/(-2) + 1. Let y = 61 - 105. Let n = c - y. Does 27 divide n?
True
Let q = 637 + -438. Does 19 divide q?
False
Suppose 3*y = 432 + 18. Suppose -192 = -2*m - 4*h, 0 = 3*m - h - 104 - 163. Suppose 3*s - m = 3*z, 0*s - 5*s = -4*z - y. Is s a multiple of 15?
True
Suppose 0 = 3*u - 617 + 92. Suppose -u = -14*t + 9*t. Is 17 a factor of t?
False
Suppose -7*y + 3*y + 12 = 0. Suppose y*x + 126 = 6*x. Is 21 a factor of x?
True
Let u = -6478 - -9096. Is u a multiple of 26?
False
Let g(p) = p**3 + 12*p**2 + 15*p + 14. Let f be g(-11). Let h be 6/4 - f/(-20). Suppose -4*v + u + 42 = 2*u, h = v - 4*u - 19. Is v a multiple of 6?
False
Let w(q) = -q**2 + 10*q + 9. Let o be (4 + 34/(-4))*-6. Suppose u + o = 5*y, -4*u - 4 = -2*y + 14. Is w(y) a multiple of 10?
False
Let i = -5 - -11. Let o(m) = m**2 - 5*m - 8. Let v be o(i). Let z(g) = -3*g**3 + 3*g + 2. Does 10 divide z(v)?
