et c(q) = 4*q - 27. Let d be 2*2/(-12) - (-140)/15. Is 4 a factor of c(d)?
False
Let t(u) = u**3 - u**2 + u + 66. Let q(a) = a - 5. Let c = -5 + 10. Let w be q(c). Is t(w) a multiple of 16?
False
Let g(n) = 5*n. Let w be g(1). Suppose w = -5*o + 40. Suppose 0 = -2*y + 115 - o. Does 14 divide y?
False
Let o(b) = -b**2 - 11*b - 6. Let m be o(-5). Let z be (m/18)/(2/(-18)). Is 12 a factor of z/9*3 - -64?
True
Suppose 1795 = 4*j - 497. Does 10 divide j?
False
Let q = -111 + 137. Is 13 a factor of q?
True
Suppose -10427 = -38*t + 1353. Is 10 a factor of t?
True
Does 4 divide (13/(-39))/((-2)/(-6)) + 41?
True
Suppose -i = 4*j + 11, 0 = j - i + 2*i - 1. Let s = j + 96. Is 46 a factor of s?
True
Let w(b) = -21*b - 57 - 28*b + 75*b - 21*b. Is w(19) a multiple of 4?
False
Let b be 6 + -3 + 1 + -2. Let n be (2/(-5))/(b/(-270)). Suppose -3*y + 28 = l + y, 2*y = -3*l + n. Is l a multiple of 16?
True
Let m(b) = -b**3 + 9*b**2 - 7*b - 5. Let v be m(8). Suppose v*h = -3*a + 27, 5*h = -4*a - 0*a + 33. Let f = a + 7. Is 6 a factor of f?
False
Let x be 5 + (15/(-3) - -2). Let k(i) = 6*i + 5 - x*i**3 + 3*i**3 + 9*i**2 - 15. Is k(-7) a multiple of 19?
False
Let z(v) = v**3 + 2*v**2 - 3. Let i be z(-4). Let x be 3 + -56 + 2 - 2. Let g = i - x. Is 6 a factor of g?
True
Let b = 8 - 6. Suppose -l - 131 = -4*z, -b*z + 37 = -3*l - 16. Is z a multiple of 34?
True
Is 5 a factor of (-9)/4*(-2728)/11?
False
Does 88 divide 60/(7/(83 - 6))?
False
Suppose 10*r - 14*r + 112 = 0. Suppose o + r = 2*o + k, -5*k + 86 = 3*o. Is 12 a factor of o?
False
Let r = 5 + -3. Suppose r + 13 = 3*w. Suppose 5*l - 4*d = 113, -w*l - d - d = -101. Does 14 divide l?
False
Let g(a) = 2*a - 5. Let h(s) = 3*s + 3. Let q be h(2). Let z be g(q). Suppose -5*f + z = p - 6*f, 0 = 5*p + f - 77. Is 5 a factor of p?
True
Suppose 18 = g + 3*p, 2*g + 3*p - 24 = -g. Is -87*(2 - 0 - g) a multiple of 7?
False
Suppose -4 = 7*u - 3*u. Let w = 2 - u. Is 2 a factor of w?
False
Let x(q) = -57*q - 41 + 5 + 65*q. Does 13 divide x(11)?
True
Let v be 671/4 - 5/(-20). Let z = -48 + v. Does 14 divide z?
False
Suppose 100*j + 330 = 103*j. Suppose -j = 3*k - 377. Does 42 divide k?
False
Let p(b) = -4 - b - 3*b + 6*b - b. Let h be p(5). Let v = h + 11. Is 4 a factor of v?
True
Is (-25)/10*2 - -850*2 a multiple of 76?
False
Let w = -116 - -169. Does 21 divide w?
False
Suppose -3*q - 4*u = 183, -4*q + 3*u - 244 = u. Let x = q + 77. Is 4 a factor of x?
True
Let b(u) = 50*u**2 - 20*u - 8. Is 21 a factor of b(-6)?
False
Let k(r) = 11*r + 98. Is k(14) a multiple of 9?
True
Suppose 0 = -p - 2*n + 318, -4*n = -3*n - 4. Does 26 divide p/6 - 17/(-51)?
True
Suppose 3*d = 5*d + 56. Let j = d + 48. Suppose 5*l - 25 - j = 0. Does 9 divide l?
True
Suppose 33*x = 35*x - 528. Is 2 a factor of x?
True
Let n(s) = -4*s**2 + 51*s + 38. Let k(c) = -3*c**2 + 34*c + 25. Let p(f) = 7*k(f) - 5*n(f). Does 6 divide p(-14)?
False
Let o = 46 + -30. Is 27 a factor of 3 - -90 - o/(-4)?
False
Suppose 0 = -3*o + 3*k + 21, 18 + 5 = o - 5*k. Suppose w + o*m = 65, -5*m + 2*m = 4*w - 269. Is 17 a factor of w?
True
Let l(a) = -a + 14. Let b be l(11). Let f be b/9*(-4 - -4). Suppose 3*h = -5*p + 145, 2*h + 3*p - p - 90 = f. Is h a multiple of 15?
False
Let h be (-2)/7 - 16/(-7). Suppose 3*o = 8*o - 110. Suppose h*m - 46 = o. Is 19 a factor of m?
False
Suppose -3*r + 82 = 2*m, -2*r + 33 = -6*m + 3*m. Suppose 5*l - r = 131. Suppose 4*q - l = 113. Is 18 a factor of q?
True
Let i = -132 + 134. Is -2 - (4 + -58 + i) a multiple of 10?
True
Suppose -52*j + 7730 + 47026 = 0. Is 27 a factor of j?
True
Suppose 17 = 5*w - 108. Let a = w + -21. Suppose 0 = a*k, 4*r + 2*k = 4*k + 400. Is r a multiple of 25?
True
Let o(v) = -2*v**2 - 51*v + 15. Is 11 a factor of o(-7)?
False
Let c(y) = -31*y**2 + 15*y**2 + y**3 + 6*y + 2 + 11*y**2. Is c(4) a multiple of 5?
True
Suppose 3*f - 483 = -4*y, -5*y - 16*f + 602 = -14*f. Is 15 a factor of y?
True
Suppose 0 = -6*z - 7*z. Suppose 3*b - 734 + 149 = z. Is b a multiple of 39?
True
Let f = -43 + 19. Let m = 16 + f. Is 86 + (-4)/m*-2 a multiple of 18?
False
Let n(l) = 11*l + 137. Is n(17) a multiple of 27?
True
Let r be (6/(-2))/(21/(-15344)). Is 10/(-8) - r/(-64) a multiple of 11?
True
Suppose -2*u - 5*g = -986 - 514, -3*g = -4*u + 3000. Is u a multiple of 15?
True
Is 86 a factor of 2/15 - 9/((-1350)/257980)?
True
Suppose -31*p + 2870 = -21*p. Does 74 divide p?
False
Let p(i) = -4*i - 6. Let r(a) = a**2 + 11*a - 16. Let h = 7 - 19. Let v be r(h). Is 5 a factor of p(v)?
True
Let s be (-8)/12*(-18)/4. Suppose -s*j = -0*j + 81. Let k = j + 69. Is k a multiple of 14?
True
Suppose s + 3*s = 2*t - 10, 5*s = 5*t - 15. Let o be t/(1 - 3/6). Suppose -10 = -o*y, -4*y = -2*f + 3*f - 29. Is 3 a factor of f?
True
Let p = 1486 + -1263. Is p a multiple of 2?
False
Let j(l) = -l**3 + 10*l**2 - 2*l + 12. Let v be j(10). Let o = -3 - v. Suppose -2*h = -3*q - 67, -h + o*q + 24 - 1 = 0. Does 13 divide h?
False
Suppose 45 = 4*m + m. Does 37 divide 879/m + (-4)/6?
False
Suppose -1819 = -19*s - 90. Is s a multiple of 15?
False
Does 16 divide (-6 + 462 + -4)*1?
False
Let x(c) = -140*c - 10. Let z be x(-4). Suppose -6*k + z = 4*k. Is 5 a factor of k?
True
Let v(i) be the second derivative of 3*i**4/2 - i**3/2 - 3*i**2 - 8*i. Is v(-3) a multiple of 12?
False
Let y be (-3)/2 - (-1)/2. Is 15 a factor of (0 - y)/(12/708)?
False
Let m(s) = -s**2 - 6*s + 2. Let c be m(-6). Let q be (16/(-28))/(c/(-14)). Suppose 5*j - 346 = 4*n, -q*n + 143 = 2*j - n. Is j a multiple of 14?
True
Suppose 5*d - 56 + 1 = 0. Let j(q) = -q**3 + 11*q**2 + q - 6. Let p be j(d). Suppose -5*u + 40 = -u - 2*b, -3*b - 48 = -p*u. Is 6 a factor of u?
True
Suppose -18300 = 7*w - 32*w. Does 12 divide w?
True
Suppose 5*t + r = 7 - 0, t = -2*r - 4. Suppose -5 = -t*x + 241. Does 21 divide x?
False
Let i(c) = -4*c**3 - 4*c**2 - 3*c + 4. Let j be i(-3). Suppose -3*w - 159 = -4*w. Let k = w - j. Is k a multiple of 26?
False
Suppose -z = t - 618, -2487 = 4*z - 8*z + t. Is z a multiple of 22?
False
Let q = -80 - -332. Let n = q + -43. Does 36 divide n?
False
Suppose 7*t - 125 = 2*t. Is 20/t + (-296)/(-5) a multiple of 20?
True
Suppose -13*z - 229 = -14*z + 4*r, 5*r + 694 = 3*z. Is z a multiple of 17?
False
Let p(c) = 49*c + 24. Let d be p(-7). Let l = -139 - d. Is l a multiple of 20?
True
Suppose -1264*x + 2707 = -1263*x. Is 42 a factor of x?
False
Let s(a) = a**3 - 15*a**2 + 3*a - 14. Let v be s(14). Does 7 divide -2*-1*13/((-52)/v)?
True
Let z(r) = 5*r + 16. Let i = 2 - -2. Is z(i) a multiple of 9?
True
Let s = -702 + 1182. Is 80 a factor of s?
True
Let b = -24 - -28. Suppose -2*z - 126 = -b*z. Is 9 a factor of z?
True
Let m(w) = -4*w**2 + 4 + 3 + 2*w + w**3 - 3. Let j be m(6). Suppose j = 4*k + 4. Does 14 divide k?
False
Suppose -n = -5*v + 3, 0*v + 2*v = 5*n - 8. Suppose a + c - 6 = 0, n*c = -5*a + 5*c - 10. Is 4 a factor of a/4 - (-59)/4?
False
Let p be (-3 + 3)/(-3) + 2 + -239. Let s = -149 - p. Is s a multiple of 19?
False
Suppose 2*c + 5*d + 15 = 0, -44 = 5*c - c - 4*d. Is 21 a factor of 146/2*(c + 11)?
False
Suppose i = -g + 5*g - 369, -g - 3*i + 102 = 0. Is g a multiple of 31?
True
Let b(d) = d**3 - 5*d**2 + 10*d + 38. Does 24 divide b(13)?
False
Let z(h) = h**2 + 2*h - 24. Let y(p) = -2*p + 9. Let d be y(0). Is 9 a factor of z(d)?
False
Let f(z) = -3*z**2 - 9*z - 14. Let i(n) = 4*n**2 + 8*n + 15. Let v(a) = 3*f(a) + 2*i(a). Suppose -2 = -4*w - p - 33, w = -2*p + 1. Is v(w) a multiple of 3?
True
Let j(c) = 4*c + 4. Let t be j(-3). Let s be (-185)/2 + 2/4. Let y = t - s. Does 21 divide y?
True
Suppose 5*g - 254 = -3*t, -t - 2*g = -g - 86. Let u = -4 - -6. Suppose -2*a + t = u. Is 10 a factor of a?
False
Let l(i) = 41*i**2 + 2*i - 1. Let x = 27 - 27. Suppose -5*r + 2*m + 2 = 1, x = 5*r - 3*m + 1. Is l(r) a multiple of 14?
True
Suppose 494 = o + 5*i, 2*o - 3*o = 2*i - 488. Is 44 a factor of o?
True
Suppose -2*b - 5*i = -3*i - 1800, 5*b - 4486 = 2*i. Is 5 a factor of b?
False
Let z be 15/(-6) + 24/(-16). Does 9 divide (-5 - z)/((-3)/27)?
True
Let w(i) = 3*i - 2. Let a be w(1). Let t(x) = 58*x + 1. Is 23 a factor of t(a)?
False
Let c(m) = -7*m. Let b(d) = 50*d. Let t(o) = 3*b(o) + 20*c(o). Let i be 4*(-5 + 2 + 4). Is 10 a factor of t(i)?
True
Let r = 35 + -2. Let o = -21 + r. Suppose j = -h + o, 3*j + 0*h