 (q - 2))?
True
Suppose 56 = -4*g + 5*g - 3*y, 3*y = 3*g - 156. Is g a multiple of 13?
False
Suppose -4*m - 72 = -2*v, -2*v - 6*m = -m - 63. Is 29 a factor of v?
False
Let y = 77 - 50. Suppose n - 2*d - 2 = y, -4*d = -5*n + 133. Does 9 divide n?
False
Is 22 a factor of (-2)/12 + 665/30?
True
Let p(x) = -x**2 - 6*x + 8. Let o be p(-7). Let d be o + (0 - (-1 - -1)). Is 3 a factor of ((-2)/6)/(d/(-9))?
True
Suppose -10 = -3*s - 2*s. Suppose 0 = -0*b + 3*b + s*d - 40, 0 = -2*b - 5*d + 45. Is 5 a factor of b?
True
Let p = 42 + -15. Is p a multiple of 27?
True
Let i = -109 + 128. Is 19 a factor of i?
True
Let x be 1 + 0 + (-1 - 0). Does 15 divide (-2 - x/1) + 17?
True
Let a(o) be the first derivative of 4*o**3/3 + 3*o**2/2 + 3*o - 1. Does 10 divide a(-2)?
False
Let y(f) = -3*f - 15. Is 12 a factor of y(-13)?
True
Let m(u) = u**3 - 11*u**2 + 8*u - 2. Is m(12) a multiple of 24?
False
Suppose 104 = -0*k + 4*k. Is k a multiple of 3?
False
Let u = -171 + 271. Does 37 divide u?
False
Suppose 0*k = 2*k. Suppose -3*i + 4 - 19 = k. Let m = 4 - i. Is 9 a factor of m?
True
Let y(j) = 2*j**2 + j**2 + j + 2*j**2 + 3. Is y(-3) a multiple of 9?
True
Let a(p) = -2*p**3 + 3*p**2 + 4*p + 1. Let g be a(3). Let u be (8/(-28))/(2/g). Suppose 2*c - 23 = -u*t - c, 3*t = 3*c + 72. Does 8 divide t?
False
Suppose 4*p + 0 - 20 = 0. Suppose 5*q - 2*q = -p*i + 67, 4*q = -i + 10. Does 14 divide i?
True
Let u be (-4)/((-4)/(-5)) + 1. Let o = 20 + u. Is o a multiple of 6?
False
Is ((-76)/6)/((-16)/6 - -2) a multiple of 4?
False
Let p(o) = -o**3 + 7*o**2 + 4*o + 1. Is p(6) a multiple of 6?
False
Let a(q) = -q**3 - 15*q**2 - 3*q - 1. Does 12 divide a(-15)?
False
Let w(c) = 10*c - 7. Let l(h) = -29*h + 21. Let a(j) = -6*l(j) - 17*w(j). Does 5 divide a(3)?
True
Let v(x) = -2*x - 5. Let s be v(-5). Suppose -3 - 7 = s*r. Let b(f) = 5*f**2. Is b(r) a multiple of 20?
True
Suppose -1 = -o + 3. Is (-2 + -26)*(-6)/o a multiple of 11?
False
Let r(d) = 2*d**2 + 8*d + 21. Let h be r(-4). Suppose 0 = z - 5*u + 11, -11 - 2 = -z - 3*u. Let w = h + z. Is 11 a factor of w?
False
Suppose a + 5 - 22 = 0. Is a a multiple of 5?
False
Let q = 6 - 4. Suppose -7*y = -q*y + 3*a - 122, 20 = 5*a. Is 11 a factor of y?
True
Suppose b + 2 = -2*h, -2 = 4*h + 3*b - 0*b. Let i be h + -6*(-1)/2. Is -2 + -1 + i - -7 a multiple of 5?
True
Is 19 a factor of (-450)/(-8) + (-18)/(-24)?
True
Let z be 2/8 + 38/8. Let i = z - -7. Does 4 divide i?
True
Let l = 13 + -8. Suppose 4*w - 30 = -w. Let a = l + w. Is a a multiple of 10?
False
Let l be ((-22)/4)/((-3)/6). Suppose p - l = -0*p. Is p a multiple of 4?
False
Let s be 8 + -5 + (-2 - -5). Is 28 a factor of (1*s)/(9/84)?
True
Let y = 2 + 9. Is y a multiple of 3?
False
Suppose 3*j + v = -j + 4, 2*j - 2 = 2*v. Let g be (14/6 - j)*3. Is ((-12)/g)/((-3)/28) a multiple of 14?
True
Let c(m) = -8*m**2 + 14*m + 13. Let k(x) = 7*x**2 - 13*x - 13. Let u(o) = 6*c(o) + 7*k(o). Is 17 a factor of u(10)?
True
Let n(v) = -v**3 + 12*v**2 + 12*v + 9. Let q be n(12). Let c = q + -101. Is 29 a factor of c?
False
Let o(n) = n**3 - 2*n**2 + 6*n - 2. Let y be o(4). Suppose z = -z + y. Does 20 divide z?
False
Let q be 3 - 3 - 1 - -3. Suppose -q*y - 3*y = 4*j - 54, -y + 4*j + 30 = 0. Is y a multiple of 13?
False
Suppose -3*s + 0*s + 6 = 0. Suppose -s*y + 57 = 5*i, -2*y - 2*y + 10 = 2*i. Does 13 divide i?
True
Suppose 70 = -r + 3*r. Suppose -7 = z - 5*u - 43, r = 5*z + 4*u. Does 11 divide z?
True
Suppose 4*a + 5*d = -51, -3*d + 10 = -2*a + 1. Let g = -1 + -3. Let h = g - a. Is h even?
False
Is 8 a factor of (-12)/(-10)*(-40)/(-3)?
True
Suppose 0 = 2*l - 4. Suppose -222 = -3*t + 3*k, -l*t + 4*t - k = 144. Is t a multiple of 14?
True
Let p(m) = 6*m - 4. Let f be p(-4). Let z = f + 64. Does 12 divide z?
True
Let f be 3/((-9)/(-3))*0. Suppose 0*d - 4*d - 8 = f. Is ((-6)/15)/(d/70) a multiple of 12?
False
Let c = 82 + -55. Is 17 a factor of c?
False
Let v = -4 - -6. Does 4 divide (-12)/(-1*v) + 2?
True
Let d be (1/3)/(1/15). Let g(y) = -y**2 + 8*y - 6. Let o be g(d). Suppose -4*r + o*r - 65 = 0. Is r a multiple of 13?
True
Suppose 0 = -m - 4 + 7. Suppose m = 4*d - d. Let h(p) = 4*p + 1. Is h(d) a multiple of 5?
True
Let l be 42/(-8) - 6/(-24). Let q be (44/l)/(3/15). Does 21 divide -2 - q/(3/3)?
True
Let p = 105 + -48. Is 19 a factor of p?
True
Let i(t) = 2*t**3 + t**2 - 2. Let m be i(-2). Is 8 a factor of 2/4 - 105/m?
True
Suppose -24*h = -15*h - 2664. Is 35 a factor of h?
False
Suppose 0 = 4*s - 3*b - 240, -2*s + 91 + 15 = 2*b. Is s a multiple of 11?
False
Let g(o) = -o**2 - 12*o - 1. Let h be g(-5). Let m = 62 - h. Suppose 0 = 5*w - p - 142, -4*p - m = -5*w + 120. Is 14 a factor of w?
True
Let r = 116 - 78. Is 19 a factor of r?
True
Suppose 19 + 1 = -h. Is 5/(h/(-152)) - 1 a multiple of 15?
False
Let j(z) be the second derivative of z**5/20 + 3*z**4/4 + 5*z**3/6 - 9*z**2/2 + 6*z. Is j(-8) a multiple of 15?
True
Let s(u) = -10*u. Let z be s(-1). Suppose 0 = -3*y + y + z. Suppose 68 + 22 = y*f. Is 6 a factor of f?
True
Let c = -2 - -34. Is 14 a factor of c?
False
Let a be (-4)/(-10) + 4/(-10). Suppose a = 2*y - 4, u - 2*y - 2*y = 18. Is u a multiple of 13?
True
Suppose 5*l + 4*n = 2, -4*n = -n + 6. Suppose 0 = p + l*p. Suppose 0 = 2*d, p*d - 4*d + 81 = 3*b. Is 17 a factor of b?
False
Suppose 30 = -0*f - 3*f. Let l = f + 17. Is 3 a factor of l?
False
Let z(q) = -8*q + 4. Is z(-2) a multiple of 8?
False
Let n(o) = o - 8. Let i be n(8). Let c(l) = -l**3 + 4. Is c(i) a multiple of 2?
True
Suppose -2*u - 2*u = -116. Let h = 51 - u. Is h a multiple of 22?
True
Let g = 0 + 2. Suppose -162 = -4*r + g. Is 14 a factor of r?
False
Is ((-70)/(-8) + -2)*(-4 + 16) a multiple of 9?
True
Suppose q = 4*q - 48. Is q a multiple of 3?
False
Suppose 0 = -5*h - 2 - 43. Let q be (-1)/(24/h + 3). Is -3 + ((-3)/q - -4) even?
True
Let d(q) = -q**2 - 6*q + 9. Let f be d(-7). Suppose -3*p - f = -143. Is 16 a factor of p?
False
Let s(g) = 9*g - 4. Does 16 divide s(4)?
True
Let j(u) = -3*u**2 + 3*u**2 - u**2 + 6 - 3*u. Let x be j(-5). Is (4/(-5))/(x/110) a multiple of 11?
True
Suppose 0 = r - 5*r - m + 9, -11 = -r - 2*m. Let n(x) = 30*x**2 - x + 1. Is n(r) a multiple of 26?
False
Let a = 12 - 21. Let y = -5 - a. Does 3 divide y?
False
Let s = -23 - -39. Is s a multiple of 5?
False
Suppose 2*l = 4*o - l - 264, o = -l + 73. Is o a multiple of 13?
False
Let c = -127 - -179. Does 23 divide c?
False
Suppose -o + 2*o - 25 = 0. Let a = 11 + o. Is 12 a factor of a?
True
Let a = -32 + 56. Does 3 divide a?
True
Let d be (-4)/(-5)*35/14. Suppose 5*s = -4*t + 3*s + 210, -d*t - 3*s = -99. Does 9 divide t?
True
Suppose -4*l - 28 = g, l + 6 = 3*g + 51. Let t be (-1 + 4)/(6/g). Let a = t - -17. Is 8 a factor of a?
False
Suppose -4*c - 192 = -8*c. Is c a multiple of 5?
False
Suppose 2*c = -5*x + 218 - 61, c - 2*x - 74 = 0. Does 15 divide c?
False
Let f be ((-4)/(-3))/((-9)/(-54)). Is 17 a factor of (-1353)/(-44) + (-6)/f?
False
Is (-3)/(-3)*-4 + 72 a multiple of 19?
False
Suppose 2*a - 74 = -8. Let r(z) = 21*z**2 + 2*z + 1. Let k be r(-1). Let x = a - k. Does 7 divide x?
False
Suppose 0 = -5*n - 13 + 43. Let q(f) = f**3 - 7*f**2 + 6*f - 3. Let i be q(n). Let w = 33 + i. Is w a multiple of 15?
True
Let c(h) = h**3 + 4*h**2 - 5*h - 6. Let a be c(-5). Let o be (4/a)/(4/24). Is 20 a factor of 22/(-4)*o - 2?
True
Suppose t - 43 = 2*k - 14, 0 = 3*t - 3*k - 75. Does 21 divide t?
True
Let m(c) = 8*c**2 - 4*c - 9. Is m(-4) a multiple of 45?
True
Let o = 1 + 1. Suppose -h + 0*h = o. Is 13 a factor of (0 - h)/(2/31)?
False
Let t = 118 + -80. Suppose t = c + c. Is c a multiple of 5?
False
Let h(z) = -z. Let q(r) = -4*r - 1. Let g(n) = 10*h(n) - 2*q(n). Suppose -5*s + 3*c + 2*c - 20 = 0, c = 4*s + 13. Is 8 a factor of g(s)?
True
Let w(k) = 3*k - 1. Let d be w(2). Suppose 0*r + d*r + 2*y = 543, 2*y - 8 = 0. Let i = r + -65. Does 16 divide i?
False
Suppose -2*x + 3*m + 167 = 0, 3*m = -x + 5*m + 82. Is 22 a factor of x?
True
Let q(m) = -4*m - 2. Suppose 0 = -2*x + 3 - 7. Let b be q(x). Let z(r) = r**3 - 6*r**2 + 2*r - 4. Is z(b) a multiple of 8?
True
Let y(p) = 27*p**3 - 2*p**2 + p. Is y(1) a multiple of 5?
False
Suppose -2*y - 3*y = -b - 41, 0 = -4*b + y - 69. Let a = b - -36. Is 10 a factor of a?
True
Is -2 - (2 + 40/(-1)) a multiple of 12?
True
Let c be -1 