Is 12 a factor of j?
True
Suppose 3*r + 26 = -2*a, 3*r - r + 34 = -3*a. Let i = 18 + -6. Let w = a + i. Is w even?
True
Let r be (-8)/(-36) - 16/(-9). Let d = 42 + -27. Suppose 0 = -r*n + 5*k - d + 57, 82 = 5*n - k. Is 13 a factor of n?
False
Let m(i) = -31*i**3 + 2*i**2 + i. Let k be m(-1). Suppose 5*w - 123 - k = 0. Suppose 0 = 4*u - 33 - w. Is u a multiple of 10?
False
Is (80/(-24))/(1/(-24)) a multiple of 19?
False
Let a be (4/12)/(1/15). Suppose 0 = -0*s - a*s. Suppose s = -f - 3*f + 176. Does 20 divide f?
False
Let k = 85 + -60. Is k + -2*(-6)/4 a multiple of 28?
True
Suppose -354 = -4*b + 598. Suppose 3*a + 2*a + r - b = 0, 5*a - r = 232. Is 15 a factor of a?
False
Suppose -2 + 11 = w + 4*i, -w - 3*i = -7. Suppose -5 = -z - w. Suppose 3*j + 0*s - 28 = -s, 5*j - z*s = 75. Does 8 divide j?
False
Suppose -5*d + 3*d = 0. Suppose 4*k - k - 66 = d. Is 7 a factor of k?
False
Let n(b) = b + 7. Let z be n(-9). Suppose 0*h = -5*m + 3*h + 3, 4*h - 16 = 0. Is m/z*114/(-9) a multiple of 8?
False
Suppose 1 = z - 3*j, -j - 3*j = -4*z + 12. Suppose z*p + 6*a = 3*a + 35, -3*p = 5*a - 40. Does 5 divide p?
True
Let p(q) = -3*q**2 + 13*q + 10. Let d(r) = -2*r**2 + 13*r + 10. Let n be -7 - (-3)/(-1 + 2). Let l(f) = n*d(f) + 3*p(f). Is 10 a factor of l(-8)?
True
Let z = 5 + -3. Suppose 15 - 5 = z*b. Suppose 4 = -2*i, 0*i - 2 = -3*c - b*i. Is c a multiple of 4?
True
Let v(x) = 2*x**2 + 5*x + 11. Is v(6) a multiple of 23?
False
Is 36/5*11/((-88)/(-40)) a multiple of 6?
True
Does 11 divide -6*(-8)/((-80)/(-165))?
True
Let i be (-3 + 1)/((-2)/2). Does 9 divide 0 + 0 - i - -15?
False
Suppose r + 2*r = -51. Let v = 32 + r. Is ((-24)/v)/((-2)/10) a multiple of 4?
True
Suppose -2*i = -5*i + 6. Suppose -3*w + 7 = -i*a, -4*a - 5*w + 31 = -2*w. Let x(n) = 8*n + 2. Is x(a) a multiple of 18?
False
Let z = -24 + 28. Suppose -56 = -6*h + 3*h + z*s, 10 = h + 3*s. Does 7 divide h?
False
Let k(p) = p - 2. Let w be k(5). Suppose w*g + 4 = 2*h, 2*g = -3*h + 4*g + 6. Suppose 24 = h*u + 2*o, -2*u = -3*u + o + 12. Is 11 a factor of u?
False
Suppose -2*z - 28 = 2*z. Let p = 1 - z. Is p a multiple of 4?
True
Suppose -12*p = -7*p - 50. Does 2 divide p?
True
Suppose -8*q + 10*q = 72. Is 6 a factor of q?
True
Let a(t) = 8*t**3 + 1. Does 7 divide a(1)?
False
Suppose 5*n = -6*j + j + 210, 3*j = -5*n + 208. Does 8 divide n?
False
Suppose d - 4*d = 3. Let f = -7 + d. Does 12 divide 2/((f/(-50))/2)?
False
Suppose 53 = 5*h + 2*n - n, -3*n - 6 = 0. Is h a multiple of 6?
False
Let o = -2 - -2. Let l(y) be the second derivative of y**3/6 + 4*y**2 + y. Is 3 a factor of l(o)?
False
Suppose 8*n = 3*n + 30. Let b(t) = 7*t**2 + 5*t**3 - 3*t**2 + 2*t - n*t**3. Is b(4) a multiple of 8?
True
Is 4 a factor of (14 - -4) + -2 - 4?
True
Suppose 5*q = 21 + 14. Let l(o) = -o**3 + 8*o**2 - 6*o - 1. Does 3 divide l(q)?
True
Let x = -175 + 295. Does 23 divide x?
False
Suppose -4*v + 28 = 176. Let y = 9 - v. Does 24 divide y?
False
Suppose -2*d + 5*q = -d - 26, -4*q = 5*d - 130. Let y = 7 + -5. Suppose d = y*v - 0. Is 13 a factor of v?
True
Let j(z) = -z**3 + 3*z**2 - 4*z + 2. Let l be j(2). Is (-11)/l - 1/2 even?
False
Let w be -1 - (-1 - -1) - -5. Suppose -29 = -w*g + 3*u, -2*g - 3*u - 4 = -23. Does 5 divide (g - (-2 + 2)) + 2?
True
Let n = -52 - -144. Is 27 a factor of n?
False
Let x = -48 + 51. Is x a multiple of 3?
True
Let s(j) = j. Let z(f) = 4*f**2 + 5*f - 2. Let y(v) = -4*s(v) + z(v). Let a(d) be the first derivative of y(d). Does 9 divide a(1)?
True
Let r(g) be the third derivative of -g**8/20160 - g**7/315 - g**6/80 - g**5/20 - 2*g**2. Let k(b) be the third derivative of r(b). Is 25 a factor of k(-10)?
False
Let q be (-1 - -3) + (1 - 1). Does 17 divide (-17)/(q/(-12)*3)?
True
Suppose 30 = -2*f + 2*b, 4*f - b = f - 37. Let p be (-2)/f - (-80)/44. Suppose -p*y + 0*y = -64. Is 16 a factor of y?
True
Let o(u) = u**3 + 9*u**2 - 8*u + 12. Suppose -w - r = 10, 4*w - r = 2*r - 33. Let k be o(w). Suppose k = -2*j + 6*j. Is j a multiple of 16?
False
Let u = -93 + 102. Is u a multiple of 3?
True
Let y = 105 - 90. Is y a multiple of 4?
False
Let w(h) = -27*h + 3. Let k be w(3). Let f = -40 - k. Is 13 a factor of f?
False
Let b be (9/(-6))/(6/(-8)). Suppose 0 = -b*d - d + 78. Is d a multiple of 6?
False
Is 41 a factor of ((-6)/(-9))/((-2)/(-738))?
True
Is 4 a factor of ((8 - 2)/(-3))/(16/(-152))?
False
Is 8 a factor of 29/(-3)*33/(-11)?
False
Suppose c + 4*c - 20 = 0. Let r(s) = 0*s**3 - 6*s - 2*s**2 + s**3 + 4 + 0*s**3. Does 12 divide r(c)?
True
Suppose n + 42 = 4*n. Let c = n + -52. Is 18 a factor of ((2 - 0) + c)/(-1)?
True
Let m(w) = 3*w - 4. Is m(3) a multiple of 5?
True
Let m be -2 + 0 + 3 + 80. Let l = m - 44. Let a = l + -18. Is a a multiple of 8?
False
Let j(x) = 3*x + 12. Let n be j(-3). Suppose 0*f - 4*f + 28 = 0. Suppose -5 = -g - 3*c + f, -3*c - 36 = -n*g. Does 5 divide g?
False
Let p = -5 + 7. Suppose -3*h - 77 = -p*j - 4*h, -81 = -2*j - 5*h. Suppose -4*k + j + 50 = 0. Is k a multiple of 11?
True
Let l = -6 + 12. Suppose l*s - 16 = 4*s. Is (2 - (s + -1))*-5 a multiple of 9?
False
Suppose -9 = 3*t - 2*t. Let i be (-2)/t + 166/(-18). Is 3 a factor of (-52)/i - 4/(-18)?
True
Let v(r) = 6*r**2 + 2*r**2 - 2*r**2. Let p be v(1). Let y = -2 + p. Is y a multiple of 4?
True
Suppose -4*d + 5*x + 24 = -2*d, 2*d = 2*x + 12. Suppose d*t - 3 - 5 = 0. Suppose -t*u = -u - 6. Is u even?
True
Suppose -420 - 9 = -3*r. Is r a multiple of 9?
False
Let s = -1 + 6. Suppose -m + f = 9 - 27, 0 = -m + s*f + 10. Is m a multiple of 10?
True
Suppose 0*p = -p + 2. Suppose 3*l - 14 = -2*y, -y + p*l = -0*y. Does 2 divide y?
True
Suppose -w = 5*k - 7 + 20, 0 = 4*w + k - 5. Is 29 a factor of (-2)/(1/((-29)/w))?
True
Let k(g) = 2*g**2 + g. Let o be k(-2). Suppose 2*h = o*h - 156. Does 16 divide h?
False
Suppose 0*k = 2*k + 14. Let p = 1 + k. Does 4 divide -2*(9/p - 1)?
False
Let s(t) = -8*t - 6. Let d be 2 + (-9 - (-2 + -1)). Is 13 a factor of s(d)?
True
Let n = 167 + -86. Does 9 divide n?
True
Let k(i) = i**3 + i**2 - i + 27. Suppose -15 = 3*f, -3*u = 6*f - f + 25. Is 8 a factor of k(u)?
False
Let s be -1 + (-4 + 2 - -7). Let q = 62 - 27. Let i = q - s. Is 17 a factor of i?
False
Suppose -3*o = -0*o - 72. Is 12 a factor of o?
True
Let i = -27 - -27. Is 4 a factor of 8 - (-4 + i/(-1))?
True
Suppose 2*t + 2*t - 16 = 0. Suppose t*f + f = 2*u - 24, 0 = 5*u + 2*f - 2. Suppose -u*g + 0*g = -5*a + 80, 4*a - 5*g = 47. Does 5 divide a?
False
Let b(t) = 2*t**3 + 2*t - 1. Let r be b(4). Suppose i = -4*c + r, 0*i - 4*c + 270 = 2*i. Suppose 0 = 4*o - 85 - i. Does 27 divide o?
False
Let i be 1 - (-8 - -3 - 0). Suppose i*r - y - 25 = r, r + 14 = 4*y. Is 3 a factor of r?
True
Let c = 144 - 92. Does 8 divide c?
False
Let v(o) = 8*o**3 + 2*o**2 - 2*o - 6. Is 39 a factor of v(3)?
False
Let u = 95 - 68. Suppose 2*n = 5*n - u. Does 2 divide n*(14/6 - 2)?
False
Suppose -2*g + 159 = v - 25, 4*v + 184 = 2*g. Is g a multiple of 17?
False
Suppose 7 - 3 = -4*u. Let b = u + -1. Does 10 divide (8/(-1))/(b/5)?
True
Is 19 a factor of (15/2)/((-12)/(-80))?
False
Let u = -274 - -399. Is u a multiple of 11?
False
Let n be 1*-4 + (25 - -6). Suppose 2*u - n = 51. Is 8 a factor of u?
False
Let t = 496 + -283. Is t a multiple of 15?
False
Let g(f) = 7 + 7*f + 10*f - 16*f. Is 4 a factor of g(6)?
False
Let d = -25 + 13. Let r(n) = n - 3. Let k be r(0). Does 13 divide (-8)/d - 76/k?
True
Let m(b) be the first derivative of -b**6/120 - b**5/15 - b**4/24 - b**3/3 + b**2/2 - 1. Let a(i) be the second derivative of m(i). Is a(-4) a multiple of 2?
True
Let f = 2 - 2. Suppose 4*v - 7 - 13 = f. Does 5 divide v?
True
Suppose 0 = -s - s + 60. Is 5 a factor of s?
True
Suppose 3*s - 6 = 27. Suppose s + 21 = -2*n. Let m = n - -33. Is m a multiple of 17?
True
Suppose -q = -2*q + 55. Suppose -z = 2*f - 1 - q, 3*f = -z + 55. Is z a multiple of 13?
False
Let h(r) = r**2 - 8*r + 4. Let y be h(8). Suppose 4*s - 32 = -5*x, -x + 2*x - y*s = -8. Suppose x*t - 180 = -t. Does 14 divide t?
False
Suppose f - 13 = -5*j, 0 = -5*f + 4*j - 0 + 36. Is 76/f - (-1)/2 a multiple of 5?
True
Let v(q) = 0*q**3 - 2*q**3 + 15*q**2 - 6*q**2 + 3*q**3 + 8. Is 3 a factor of v(-9)?
False
Let q(m) = m**2 + 6*m - 1. Let f be q(-6). Let r be ((-5 - -2) + 2)/f. Suppose 0 = 3*j - 35 - r. Is 12 a factor of j?
True
Su