?
True
Let q = 1 - -73. Let y = 119 - q. Is y a multiple of 15?
True
Suppose -2*c + 18 = 2*r, -7 = 2*r - 2*c - 21. Suppose 2*f = -2*f + r, 2*f + 47 = 3*x. Does 4 divide x?
False
Let h = 77 + -46. Is 5 a factor of h?
False
Does 17 divide (-6)/(-27) + 3126/27?
False
Suppose 0*q + j - 3 = -q, -3*q = -2*j - 14. Let p(z) = -z**3 + 9*z**2 - 2*z - 2. Let g be p(q). Is 13 a factor of (g/(-2))/(2/(-2))?
False
Let w be (-14)/77 + 2908/22. Let k = w + -64. Is k a multiple of 18?
False
Let d = 8 + -4. Let q be (0 + 12)/(d/4). Let k = q - -25. Is 18 a factor of k?
False
Suppose 2*q - 4*v - 129 = 107, -3*q - v + 368 = 0. Is 6 a factor of q/6 - 14/(-21)?
False
Let w(i) be the third derivative of -i**5/60 + i**4/12 - i**2. Let k be w(-6). Does 16 divide (-40)/(-6)*k/(-20)?
True
Let b(z) = z**3 + 5*z**2 + 3*z + 2. Does 3 divide b(-3)?
False
Suppose 0 = -2*s + 3*s - 5. Suppose 108 = -w + s*w. Does 14 divide w?
False
Suppose y = 4*w + 78, -4*w + 182 = 3*y - 3*w. Is y a multiple of 9?
False
Suppose 0 = 2*y + 2*p - 5*p - 385, -3*y + 578 = -4*p. Let v = y - 137. Is 19 a factor of v?
True
Suppose 4*q = s + 9, 2*s = 4*s - 3*q + 13. Let l = s - -14. Is 2 a factor of l?
False
Suppose -5 = -5*l, 4*z - 93 = -0*l + 3*l. Suppose -3*i + z = -51. Is i a multiple of 18?
False
Suppose -13*b + 325 + 780 = 0. Does 4 divide b?
False
Suppose 3*r = -5*m + 9, -r + 2 = -2*m - 1. Suppose -r*b + 4*t - 38 = 0, -2*b - 5*t - 74 = -18. Does 23 divide b/6*(-46)/3?
True
Suppose 0 = 4*z - 2*x - 24, z - 2*z - 3 = 4*x. Suppose 2*k = z*n - 175, -2*n + k = -2 - 68. Is 13 a factor of n?
False
Suppose 7*p = 4*p - 12. Let j = 24 - p. Does 14 divide j?
True
Suppose -1365 = 5*z - 12*z. Is z a multiple of 13?
True
Let f be 12/8 + (-14)/(-4). Suppose -3*r - 3*n = -2*n - 273, r = -f*n + 105. Is r a multiple of 13?
False
Let o(m) = m**2 - 5*m + 2. Let y be o(5). Suppose -18 = -y*n + 3*n. Is 6 a factor of (-2)/(-9) + (-266)/n?
False
Suppose -5*t = 2*r - 461, 0 = 5*r - 5*t - 814 - 391. Does 19 divide r?
False
Let u(f) = f**2 + 8*f + 1. Let p be u(-8). Let s = 0 + p. Is 6 a factor of s/(-1) - (-2 + -10)?
False
Let n be 0 - 2 - (-4)/(-1). Let c = -1 - n. Does 5 divide c?
True
Let o(y) = 7*y**2 + 3*y - 1. Let z(n) = 4*n + 0 - 2 - n**2 + 9*n**2 + 0*n**2. Let p(h) = 4*o(h) - 3*z(h). Is 4 a factor of p(2)?
False
Let w(c) = c + 10. Suppose -5*h = k + 22, k + 6 = -4*h - 11. Does 4 divide w(h)?
False
Let n be 10/3*(-24)/(-20). Suppose 0*x - n = -x. Is 4 a factor of x?
True
Suppose 3*i - 132 = -i. Is i a multiple of 7?
False
Let m(q) = 3*q + 10. Let j be m(-8). Let n = j + 25. Is n a multiple of 4?
False
Let k = -21 + 29. Let g be ((-10)/(-4) + -2)*k. Suppose -g*y = -5*m - 80 - 33, 4*y + 3*m = 137. Is 16 a factor of y?
True
Suppose 0 = 2*q + r - 19, -5*q - r + 43 = -0*q. Let b = -5 + q. Does 2 divide b?
False
Is (52/(-5))/((-8)/20) a multiple of 12?
False
Suppose 3*f + 56 = 7*f. Let d be 4/14 - (-52)/f. Let t(l) = -l**3 + 4*l**2 + l - 1. Is t(d) even?
False
Suppose 0 = -3*r - 0*r - 12. Let i(j) = 3*j**2 - 4*j - 3. Is 23 a factor of i(r)?
False
Suppose -2*f - 6 = -4. Let h = f - -4. Is (-18)/(-7)*28/h a multiple of 12?
True
Let l(f) = f**2 + 5*f + 3. Let u be l(-3). Is (u/(-2))/((-2)/(-16)) a multiple of 12?
True
Let g(o) = -3*o + 71. Does 17 divide g(17)?
False
Let s be 23/(-2) - 2/4. Let c = 18 + s. Is c a multiple of 2?
True
Let x(z) = -z**3 + 12*z**2 - 2*z - 9. Suppose -28 = -3*a + 5. Let w be x(a). Suppose 0*r = 3*r - w. Does 10 divide r?
True
Let d(t) = -7*t**3 - 19*t**2 + 3*t - 32. Let x(l) = -3*l**3 - 10*l**2 + l - 16. Let z(b) = 2*d(b) - 5*x(b). Is z(-12) a multiple of 2?
True
Let f = 10 + -6. Let q = 3 - f. Is q + 1 + 2 - -3 even?
False
Let l(s) = s**3 - 7*s**2 + 3*s + 6. Let z = -9 - -15. Let k be l(z). Is (-518)/k + 1/(-6) a multiple of 15?
False
Let k = 16 - -4. Suppose 6*g - b = 2*g + 97, -g + k = 4*b. Suppose g = -o + 3*o. Does 12 divide o?
True
Let t(s) be the second derivative of s**3/6 - 5*s**2 + 2*s. Let j be t(9). Let w(c) = 11*c**2 - 1. Does 10 divide w(j)?
True
Let w = 47 - 6. Let u = w - 29. Is u a multiple of 3?
True
Does 9 divide (-296)/(-12) - 5 - 2/(-6)?
False
Suppose 2*d - 2 = -0. Let p(u) = 6*u**2 + 0 - u**3 - 2 - d - 3*u. Is p(5) a multiple of 7?
True
Suppose -2*u = -t + 8, 4*t + 4*u + 21 - 5 = 0. Suppose 0 = 3*x - x - 132. Suppose -x = -t*w - 3*w. Does 15 divide w?
False
Let q(u) = u**3 + u**2 + 2*u - 1. Let t(h) = -2*h**3 - 3*h**2 - 4*h + 2. Let i(s) = 11*q(s) + 6*t(s). Is i(-7) a multiple of 15?
True
Let n(k) be the third derivative of k**5/60 + k**4/6 + 5*k**3/6 + 2*k**2. Suppose 9 + 16 = -5*h - 5*i, 4*i = 5*h + 34. Is n(h) a multiple of 14?
False
Suppose 3*f + f = 0. Suppose -5*g + 97 = 4*v, f*g + 121 = 4*v - 3*g. Is 7 a factor of v?
True
Let f(j) = -12 + 8*j**3 - 9*j**2 + 2*j - 7*j**3 + 10*j. Let d = -7 - -15. Is 10 a factor of f(d)?
True
Let q(c) = -c**3 + 5*c**2 + c - 1. Let j be q(5). Let d = 11 - j. Is d a multiple of 4?
False
Let d(y) = -y**3 - 3*y**2 + 4*y - 6. Suppose -2*r = r + 15. Is d(r) a multiple of 12?
True
Suppose 5*a = -u + 1514, -6*u - 1216 = -4*a - 2*u. Suppose 75 = -4*l + a. Suppose 0 = 5*s - l - 43. Is 14 a factor of s?
False
Suppose -3*v = -3 + 12, -10 = -i + 2*v. Suppose 3*y = s - 31, -s - i*s + 3*y + 131 = 0. Does 13 divide s?
False
Let d = 102 + 11. Is d a multiple of 21?
False
Let k(g) = 3*g - 4. Let b be k(5). Is (b - 8)/(2/6) a multiple of 3?
True
Suppose v - 2*z = 75 + 25, 4*z = -2*v + 200. Suppose -5*p + v = -5*t, -4*t + 64 = 4*p - 0*t. Does 14 divide p*(2/(-4) + 2)?
False
Let q(w) = -50*w - 17. Let b(m) = -17*m - 6. Let h(j) = 17*b(j) - 6*q(j). Suppose 0 = i + i - 2. Is h(i) a multiple of 4?
False
Suppose -w - 5*o + 51 = -4*o, -4*w + 201 = 3*o. Is 12 a factor of w?
True
Let b(d) = d. Let j be b(6). Suppose -2*u + 0 = -j. Suppose u*c - 166 = i, -3*c + 3*i + 136 + 38 = 0. Is 18 a factor of c?
True
Let p = -119 + 169. Is 25 a factor of p?
True
Suppose 2*m = -0*m + 56. Let p = 41 - m. Is p a multiple of 5?
False
Suppose -36*s = -37*s + 5. Is s a multiple of 5?
True
Let m(x) = 2*x**3 - 4*x**2 + 6*x - 1. Let f be m(4). Suppose 23 = -4*o + f. Is 4 a factor of o?
True
Suppose 364 = 10*s - 3*s. Is 26 a factor of s?
True
Let b = 23 + 33. Let r be (-2)/(-1 - 31/(-33)). Let o = b - r. Is o a multiple of 10?
False
Let b(f) = f**3 + 10*f**2 - f - 15. Is b(-9) a multiple of 25?
True
Let t be 2/(-7) + 324/7. Let d = t + -12. Is 6 a factor of d?
False
Let h(k) = k**3 + k + 5. Let o be h(0). Let n be (-8)/10*o/(-2). Suppose -n*m = -4*u - 24, 5*m + 3*u - 17 - 56 = 0. Is m a multiple of 7?
True
Let y = 2 + 1. Suppose 27 = y*m - 5*l, 0 = 5*m + 4*l - 8*l - 32. Is 13 a factor of (-115)/(-9) - m/(-18)?
True
Suppose 61 - 229 = -4*a. Suppose -7*f = -5*f - a. Does 7 divide f?
True
Let l(j) = -2*j + 125. Is l(0) a multiple of 32?
False
Let o(s) be the second derivative of -4*s**3 - s. Suppose 4 = -2*x + 2. Does 13 divide o(x)?
False
Let p be 0 + -1 - (2 + -7). Suppose 0 = 5*b - 2*q + 60, -4*b + p*q - 52 = -16. Does 8 divide (-4)/b + (-276)/(-14)?
False
Let k = 42 + -89. Let q = k - -27. Let t = -10 - q. Is t a multiple of 6?
False
Let k = 271 - 169. Is k a multiple of 20?
False
Let a = 1 + 1. Let r = 4 - a. Let s(w) = 4*w**2 - 2*w. Is 5 a factor of s(r)?
False
Suppose 3*j - 1 - 2 = 0. Let c = 1 - 3. Is (c - -2) + 6/j a multiple of 3?
True
Let u be (-9*1)/(2/(-28)). Let b = -72 + u. Suppose -5*g + b + 211 = 0. Is 22 a factor of g?
False
Suppose -j - 3*h + 10 = -6, -5*j - 2*h + 54 = 0. Suppose 4*w + 23 - 7 = 0. Is 264/j - w/(-10) a multiple of 13?
True
Let f = -5 - -3. Suppose -43 = -4*z + 41. Is f/7 - (-195)/z a multiple of 9?
True
Let c = -20 + 20. Suppose -28 = -c*d - 4*d. Does 4 divide d?
False
Let u(q) = q + 5. Is u(6) a multiple of 6?
False
Suppose 2*t = -4*c + 3*c + 30, -5*c = 2*t - 14. Suppose 5*k = -10, 4*f + 2*k + 1 = 9. Let a = t + f. Does 9 divide a?
False
Let l = -5 - -5. Is 13 a factor of (-50)/(-2 + l) + 3?
False
Let x = 89 - 22. Does 14 divide x?
False
Let x = -8 + 8. Suppose 5*j - 20 = -x*j. Suppose 2 = -2*p, 2*l = 4*l + j*p - 52. Is l a multiple of 14?
True
Let s = -27 + 46. Is s a multiple of 6?
False
Let i be (-1)/4 - 652/16. Let r = -20 - i. Does 7 divide r?
True
Suppose 2*x - 6*x = -72. Is 13 a factor of x?
False
Suppose 11 = 3*g + q, -32 = -4*g - 0*g + 3*q