z**2 - 13*z - 15. Is 3 a factor of s(h)?
True
Let q(o) = o**2 + o + 2. Let k be q(0). Suppose -4*n + 20 = 0, k*n = -4*a + 7*n + 87. Is a a multiple of 14?
True
Let n be ((-3)/3)/(2/(-22)). Let t = n + 19. Is t a multiple of 10?
True
Let u = -31 + -47. Let v = -56 - u. Is (-2)/11 + 708/v a multiple of 16?
True
Suppose 2*b = -4*o + 270 + 506, 5*b - 4*o = 1912. Suppose 2*l = 6*l - b. Is 6 a factor of l?
True
Suppose 2*a - 20 = -3*a. Suppose -g - 7 = -3*m, 3*m = 3*g + 1 - a. Is g a multiple of 3?
False
Suppose 4*h = 12, 21 - 71 = x - 4*h. Let u = x + 68. Does 23 divide u?
False
Let m(c) = -96*c - 2. Let w be m(-3). Let j = w + -139. Is j a multiple of 22?
False
Let f = -238 + 446. Is f a multiple of 16?
True
Let f(w) = 20*w**2 - 7*w - 17. Is 7 a factor of f(-2)?
True
Let z(d) = -4*d + 138. Does 11 divide z(-29)?
False
Suppose 34*i + 2839 - 8857 = 0. Does 3 divide i?
True
Let k(l) = -l**2 - 33*l + 279. Is k(-35) a multiple of 28?
False
Suppose z = -5*i + 41, 4 = 3*i + 5*z - 25. Let l be -3*i/(-12) + 2. Suppose 9*j = l*j + 245. Is j a multiple of 17?
False
Let v(f) = -f**3 + 14*f**2 - 2*f + 30. Let u be v(14). Suppose u*d = -2*p + 184, 1 = p + 4. Is d a multiple of 17?
False
Let n(b) = b**3 - 5*b**2 + 6*b - 14. Let k be n(10). Suppose k = 8*y - 126. Is 14 a factor of y?
True
Let q(v) = v - 1. Let y be q(6). Suppose -y*u = -u - 16. Does 31 divide (1 - u) + (2 - -32)?
True
Let n(c) = -c**2 - 16*c - 39. Let q(s) = s + 1. Let w(v) = -n(v) + 3*q(v). Is w(-18) a multiple of 12?
True
Let v be (-20)/(4 + -8) - (5 - 1). Does 5 divide (5 + (-2 - -7))/v?
True
Suppose -5*d + 6 = -2*y, -y = -4*d + 4*y - 2. Let n(g) = 25*g**2 - 3*g + 4. Does 14 divide n(d)?
True
Let g(d) = -d**3 + 2*d**2 - d + 3. Let p be g(2). Does 11 divide 6 + 11 + (p - -2)?
False
Let d be 4 + (-2698)/(-7) + (-12)/(-21). Suppose -3*h - d = -5*h. Does 39 divide h?
True
Let l = -37 - 123. Let h = -91 - l. Let u = h + -5. Is 32 a factor of u?
True
Let l(z) = z**3 + 7*z**2. Let d be l(-7). Suppose d = -2*k - 7 + 277. Is 15 a factor of k?
True
Let d = 0 - -5. Suppose -d*r = -10, -2*c - 4*r + 100 = -0*r. Let l = c - 14. Is 16 a factor of l?
True
Is 28 a factor of (-7 - (-29416)/40) + 4/(-10)?
True
Suppose 10*f = 15*f + 5. Let d = f + 31. Is 12 a factor of d?
False
Let r = -1 + 5. Suppose -r*t = -5*d + t + 135, -3*t = 3*d - 75. Suppose 0*q = -2*q + d. Is 12 a factor of q?
False
Suppose 5*k = -k + 96. Suppose 60 = -k*m + 14*m. Does 14 divide ((-10)/m)/(2/168)?
True
Suppose -4*n = -2*n + 14. Let s(w) = -3 - 8 + 2 - 3*w. Is s(n) a multiple of 6?
True
Suppose -n = -8*t + 3*t + 18, -5*t = 5*n - 30. Suppose 0 = 2*f - h + n*h - 104, -4*h - 70 = -f. Is 5 a factor of f?
False
Suppose -4*w - 78 - 40 = -5*p, 0 = w + 2. Does 2 divide p?
True
Suppose 3*c = -2*d + 1755, 5*d - 3*d + 585 = c. Does 45 divide c?
True
Suppose i = -3*i. Suppose -3*k = 4*p - 348, -2*p - 3*k = -0*p - 168. Suppose 2*y + y - p = i. Is y a multiple of 6?
True
Suppose -5*w + 8*w + 99 = 0. Let g = -17 - w. Is 3 a factor of g?
False
Suppose -1792*g + 1799*g = 833. Is 3 a factor of g?
False
Let y be 5 + (3 - (-2 - -8)). Let c be (-4 + y)*2/(-1). Suppose -c*i = f - 72, -f + 0 + 18 = i. Is 14 a factor of i?
False
Suppose 5*c = -4*v + 36, v + 5*c - 4*c = 8. Suppose 3*i + v = 1. Let l = 15 + i. Does 4 divide l?
False
Let x = 42 + -24. Suppose 0 = 5*a - 5*u + 2405, u + 959 = -5*a + 3*a. Is 4/x - a/27 a multiple of 9?
True
Let r = 105 + -11. Let u(i) = -i**3 + 51*i**2 + 55*i - 153. Let o be u(52). Suppose 3*b = -o*z + 157 - 49, -3*z + 4*b + r = 0. Is z a multiple of 17?
True
Let x(f) = f**3 - 15*f**2 - f + 14. Let s = -17 - -32. Let c be x(s). Is (-338)/(-6) + c/3 a multiple of 14?
True
Suppose -3*w = -w - 46. Let b = -41 + w. Does 19 divide ((-6)/b)/(2/306)?
False
Suppose 0 = 2*f - 3*f - 5*i + 360, 4*i = -4*f + 1392. Does 17 divide f?
False
Let q be 4/20*-6*5. Let l = 21 + q. Suppose 4*u - 4*n - 134 - 22 = 0, 3*n + l = 0. Is 14 a factor of u?
False
Is (-4)/(-16)*1004 - 1 a multiple of 24?
False
Suppose -14*b - 13*b = -2970. Does 6 divide b?
False
Let d(b) = 2*b**3 - 30*b**2 + 12*b - 116. Is d(16) a multiple of 4?
True
Suppose -n - 5*n + 18 = 0. Suppose 0 = -n*j - j + 5*f + 656, 3*f + 328 = 2*j. Suppose 6*l + 82 = o + 3*l, 5*l + j = 2*o. Is 18 a factor of o?
False
Let j(s) = 7*s**2 + 2. Let f be j(3). Let i = 33 - f. Does 3 divide ((-69)/12)/(8/i)?
False
Let s(m) = 5*m**3 - 20*m**2 - 21*m + 36. Let t(v) = v**3 - 5*v**2 - 5*v + 9. Let a(q) = -2*s(q) + 9*t(q). Let r be ((-12)/8)/(9/24). Is 5 a factor of a(r)?
True
Suppose -5*n + b = -10 - 20, 0 = -n - 4*b + 27. Suppose 0 = -n*l + 229 + 380. Is l a multiple of 13?
False
Suppose 6*u - 2299 = -5*u. Suppose 7*f - u - 85 = 0. Is f a multiple of 7?
True
Suppose -25*b + 9803 = -2797. Is b a multiple of 36?
True
Let j(q) = 5*q + 4. Let y be j(-2). Let h be 1 + -3 + 31/(-1). Is y + 4 + 2 - h a multiple of 16?
False
Let q(s) = 2*s**3 - 5*s**2 + 4*s + 3. Let i be q(4). Suppose -5*k - n = -166, 3*n - i = -2*k + 2*n. Is k a multiple of 11?
True
Let i be (2 + -8)*(-3)/2. Is 26 a factor of 6/((-7)/((-1428)/i))?
False
Is 30 a factor of ((-90)/21)/(-5 + (-8604)/(-1722))?
True
Let q be -2*(-1)/(-1) + 1 + 243. Let g = q - 91. Is g a multiple of 22?
False
Suppose -34 = 2*c + 3*x, -7*c - 68 = -3*c - 4*x. Does 3 divide 6/(-7)*(-17)/(c/(-42))?
True
Is 14 a factor of (-45)/(-9) + (-2844)/(-2)?
False
Suppose -a = 5*a - 24. Suppose 2*x = a*b - 2*b + 134, -5*b = -4*x + 266. Is 23 a factor of x?
True
Suppose 0 = -8*k + 4*k + 416. Suppose -176 = -4*w + k. Is 5 a factor of w?
True
Suppose -6*h = -17*h - 781. Let a = 19 - h. Is a a multiple of 45?
True
Suppose -5*o = -4*r + 9, 1 = 3*o - r - 3*r. Let x(u) = -4 - 6 - 12*u - 7. Is 8 a factor of x(o)?
False
Suppose 4*l - 555 = -5*x, 3*l - 2*x = 8*l - 715. Suppose 4*s - 67 = l. Is s a multiple of 43?
False
Suppose -259 - 19 = -k - 5*t, 288 = k + 3*t. Let l = 526 - k. Does 15 divide l?
False
Is ((-3096)/45)/(1/(-10)) a multiple of 11?
False
Suppose 46 = k - p - 214, -517 = -2*k - p. Is 3 a factor of k/28 - 1/4?
True
Let u(b) = 22*b + 57. Does 5 divide u(4)?
True
Let s be 538 + (-3 - 2/1). Is 5 a factor of s/9 - 1 - 14/63?
False
Let f be -6*(4 - (-42)/(-9)). Suppose 0 = -5*b - m + 144, -f*m - 60 = -4*b + 60. Does 14 divide b?
False
Let n(u) = 24*u**2 - u. Let j = -3 + 8. Suppose j*l - 5 + 0 = 0. Is 7 a factor of n(l)?
False
Suppose 0 = 4*d + t - 802, -3*d + 4*t = t - 594. Is d a multiple of 20?
True
Suppose -2*z - 1560 = -5*q, 3*q - 699 = -5*z + 268. Is 15 a factor of q?
False
Let s be 2/5 - 9/(-15). Let c be s*(-2 - 1 - 0). Let h(u) = -32*u - 4. Does 25 divide h(c)?
False
Let r(k) = -32*k - 4 - 2*k**2 + 34*k - k**2 + 4*k**2. Let o be r(-7). Is 0 - (o + 3)*-1 a multiple of 17?
True
Suppose 33*z - 32081 = 36757. Does 14 divide z?
True
Let q(c) = 63*c**3 - 3*c**2 - 4*c - 2. Let w be q(-1). Let m = 92 + w. Does 7 divide m?
True
Suppose 32 = -d - d. Let j(k) = -13*k - 387. Let u be j(-30). Is (12/d)/(u/(-432)) a multiple of 36?
True
Let r = -12 + 18. Suppose 198 = r*w - 3*w. Is 11 a factor of w?
True
Let q(r) = 5*r**2 + 8*r + 8. Is 20 a factor of q(4)?
True
Suppose 147 = 3*c + 5*y, c + 2*y = 6*c - 245. Let s = -26 + c. Is 23 a factor of s?
True
Does 35 divide 1 - -5 - 4144/(-8)?
False
Let g be 6 + (0/2 - -1). Let o(d) = -d**2 + 26*d - 135. Let u be o(18). Let f = u + g. Does 4 divide f?
True
Suppose 7*n - 16 = 3*n. Suppose 0 = -5*z - n + 139. Does 9 divide z?
True
Let p(k) = 143*k**2 + k - 2. Let h be p(1). Let i be (h + 0)/((-12)/(-12)). Let o = i + -90. Is 13 a factor of o?
True
Let g(n) = 5*n**2 - 3*n + 2. Let j be 1/(-1) + (-8)/(-8). Suppose -2*q - 13 + 19 = j. Is g(q) a multiple of 13?
False
Let d be (-8)/10 + (3 - (-1824)/30). Suppose d*k - 61*k = 44. Is 16 a factor of k?
False
Let n(a) = 139*a**2 - 3*a + 2. Let w be n(1). Let v = -75 + w. Is 9 a factor of v?
True
Let f = 238 - -66. Does 8 divide f?
True
Let s = -113 + 203. Is s a multiple of 30?
True
Let c = 60 + -56. Suppose 384 = c*o + 64. Is 8 a factor of o?
True
Let z = 992 - -2314. Does 19 divide z?
True
Let a = 86 + -60. Suppose 4*q - 5*c - a = -3*c, -4*q + 41 = 3*c. Is q a multiple of 3?
False
Let f = -18 + -6. Suppose -48*z + 16 = -44*z. Let g = z - f. Is 14 a factor of g?
True
Let w(o) = 431*o**2 - 28*o - 29. Is w(-1) a mul