 = -q. Does 22 divide j?
True
Suppose -3*q = -5*q + 228. Suppose -5*h + q = -3*h. Is h a multiple of 19?
True
Is 12 a factor of 3/((-3)/(-144)*4)?
True
Suppose 228 = 4*n - 4*h, 5*h - 265 = -2*n - 3*n. Is 26 a factor of n?
False
Let f(t) = 2*t - 9. Let x be f(7). Is 13 a factor of 544/20 - 1/x?
False
Let f = -5 + 13. Suppose 2*a - 6 - f = 0. Does 5 divide a?
False
Suppose 4*o - 3*v + 2*v - 132 = 0, 0 = 3*o - 2*v - 104. Suppose -o = 2*z + 3*r, 12 + 12 = -2*z + r. Let u = -7 - z. Is 3 a factor of u?
True
Does 5 divide (-36)/(0 + -1) + -4?
False
Suppose -d - 5*m + 55 = 0, 3*m = -0*m + 15. Does 17 divide d?
False
Suppose -3*s + 0*v = v - 229, v = 1. Is s a multiple of 38?
True
Let g = 17 - 6. Suppose 5*o - g = -1. Suppose -o*a - 2*v - 2*v + 72 = 0, -4*a + v = -144. Is 19 a factor of a?
False
Let f be 22/(-33) + 8/3. Suppose -46 = -2*v - f*r + r, -v + 5 = -4*r. Is v a multiple of 9?
False
Let c = -7 - -10. Suppose t = c*w - 6 + 22, -w = t + 4. Let h(a) = 11*a. Does 5 divide h(t)?
False
Let y be (-2)/(-3) + (-39)/(-9). Suppose 5*j = 3*z - y*z + 30, -z + 2*j = 3. Suppose 4*p + 3*c - 4 = 0, 0 = -4*p - p - z*c. Is 2 a factor of p?
True
Let o(l) = 2*l + 5. Let n be o(-4). Let p(f) = 11*f**2 - 2*f + 3. Let q be p(n). Suppose -3*z - 3*t + q = 0, 0*z - t - 164 = -4*z. Is 20 a factor of z?
True
Suppose 3 = -l + 1. Let b = l + 4. Suppose -3*f - b*f = -140. Does 12 divide f?
False
Is 14 a factor of (-24)/16*224/(-6)?
True
Suppose 4*f + 61 = 409. Let h = f - 46. Is 21 a factor of h?
False
Is 25 a factor of 653/2 - 15/10?
True
Suppose 25 = 4*r + r, m - r - 11 = 0. Suppose -i = -t - m - 1, 23 = 4*i + 5*t. Does 9 divide i?
False
Suppose 3*w - 28 = 2*w - l, l = 0. Does 14 divide w?
True
Let v(z) = z**3 - 2*z**2 - 5*z + 2. Let i be v(4). Suppose -4*c + i = -38. Does 6 divide c?
False
Let o(d) = 11*d**3 - 3*d**2 - 5*d - 3. Let q be o(-3). Does 5 divide 2/(-11) + q/(-22)?
False
Suppose -23*s = -18*s - 405. Does 30 divide s?
False
Let v = 208 + -55. Is v a multiple of 13?
False
Let z = -452 - -636. Let k be ((-18)/(-15))/((-4)/(-10)). Is 12 a factor of 2/k + z/12?
False
Suppose -1260 = 54*o - 58*o. Is 35 a factor of o?
True
Suppose -21 = -5*z + 29. Does 2 divide 1*z + -3 + 1?
True
Suppose -6*r + 175 = -r. Suppose -r = 5*z - 170. Does 9 divide z?
True
Suppose 0 = -y - y + 10. Suppose y*o = -1 + 21. Is 9 a factor of o + (-4)/2 - -16?
True
Let c(b) = -3 - b + 20*b**2 + 0*b**3 + b**3 - 15*b**2. Suppose 2*h + 2*f = -12, -f = h + 4*f + 10. Is c(h) a multiple of 2?
True
Suppose -2*t = -0*t - 2. Suppose 5*y = -0*y. Suppose y = x + t - 28. Is x a multiple of 9?
True
Let h(q) be the first derivative of -q**4/4 - 2*q**3/3 - 3*q**2/2 - 15. Let i = -7 + 4. Is 12 a factor of h(i)?
False
Is (((-476)/(-12))/(-7))/((-2)/84) a multiple of 25?
False
Does 4 divide (-3 - 1)/((18/(-87))/3)?
False
Suppose 2*m + 1 = -1. Let t(f) = -147*f**3 + f**2 + f. Let u be t(m). Suppose 0*l = 3*l - u. Does 21 divide l?
False
Let d = 4 - 2. Suppose -5*o - 42 = d*k, -2*o + 0*o = -5*k - 47. Let b = k - -19. Does 4 divide b?
True
Suppose 0 = -2*i + 12 + 44. Let c = i + -16. Does 12 divide c?
True
Suppose 0 = 8*q - 86 - 866. Is 7 a factor of q?
True
Let m be (-5)/(-15) - (-4)/6. Suppose -3*p = -11 - m. Suppose -34 = -3*s - p*r, -3*s - r + 34 = 2*s. Is s a multiple of 3?
True
Does 6 divide ((-8)/(-10))/(2/65)?
False
Let g(k) be the second derivative of 5*k**3/6 - 3*k**2/2 - 4*k. Is g(3) a multiple of 6?
True
Suppose 3*u - 43 - 3 = -5*f, -2*u + 24 = 2*f. Does 2 divide 10/35 - (-19)/u?
False
Let q = -16 + 27. Let f(z) = -4*z**3 - z**2. Let x be f(1). Let g = x + q. Is 3 a factor of g?
True
Let i(j) be the third derivative of -j**4/24 + j**2. Let h(v) = 5*v**2 + 1. Let c(t) = h(t) - i(t). Is c(2) a multiple of 10?
False
Let w(j) = j**2 + 5*j - 13. Let y(f) = -9*f**3 + 2*f**2 - 2*f. Let o be y(1). Does 17 divide w(o)?
False
Let b(r) = -2*r + 1. Let o be b(-5). Let f = -6 + o. Suppose -34 = -4*n + f*i, 3*n + i = 4*i + 27. Is n a multiple of 11?
True
Suppose 1 = -2*t + 5, 3*g - 3*t = 636. Does 24 divide g?
False
Let i(h) = -2*h**2 + 1 + 13*h**3 - h + h. Suppose 0*z + 3 = 3*z. Does 7 divide i(z)?
False
Is 7 a factor of 3/4*(1 - -51)?
False
Let b(r) = 11*r**2 + 9*r - 6. Does 26 divide b(3)?
False
Let l = -220 + 316. Does 24 divide l?
True
Suppose 4 = q + 3. Let u be 0 + 0 - (q - -3). Let f(n) = -n**3 - n**2 + 5*n. Does 10 divide f(u)?
False
Let s(g) = 14*g. Let u be s(1). Let a be ((-4)/(-6))/(u/105). Is (a - -10)/((-2)/(-4)) a multiple of 13?
False
Let t(g) = 38*g + 2. Is t(2) a multiple of 13?
True
Suppose -g = g + 3*y + 14, 4*g = y - 42. Let l = -2 - g. Does 4 divide l?
True
Is (-484)/(-14) + (-16)/28 a multiple of 17?
True
Let x = 5 - 3. Suppose 3*n - 3*i = x*n + 11, -4*i + 16 = 0. Is n a multiple of 20?
False
Let n(l) = -l**2 - 6*l + 3. Let w be (0 - (1 + -1)) + -6. Is n(w) even?
False
Suppose 0*x + 20 = 5*x. Suppose -2*g = -x, 17 + 19 = 2*m - 4*g. Does 19 divide m?
False
Is 23 - (-4)/(-2)*11/(-22) a multiple of 12?
True
Let g(m) = m**2 + 6*m + 6. Let b be g(-6). Let a(k) be the first derivative of k**4/4 - 5*k**3/3 - 3*k**2 + 9*k + 1. Is 9 a factor of a(b)?
True
Let t(u) = 2*u - 11. Let f be t(8). Let c = 8 + f. Is c a multiple of 10?
False
Suppose 2*o + o = -5*r + 49, -o = 5*r - 33. Suppose 3*h = o*h - 85. Does 6 divide h?
False
Let l(i) = 4*i - 5*i - 4*i - 1. Let a(s) = 29*s + 5. Let w(j) = 6*a(j) + 34*l(j). Does 12 divide w(4)?
True
Let i(m) = m. Let b be i(-1). Let c(k) = -29*k - 1. Let z be c(b). Suppose 2*u + 4*h = -2*u + z, 0 = -2*u + 5*h. Does 3 divide u?
False
Let u(j) be the third derivative of j**5/60 + j**4/24 + j**3/6 + 8*j**2. Does 27 divide u(-8)?
False
Suppose -7*u = -2*u + 5. Let w = 1 - u. Suppose 0*g = -w*x - 2*g + 18, 4*x = -3*g + 31. Is x a multiple of 2?
True
Suppose 4*p + 3 = -u - 4, -u = -3*p - 28. Is 11 a factor of (50/4)/(u/52)?
False
Let s(k) = 10*k - 17. Let p be s(4). Let b = -10 + 2. Let y = p + b. Does 9 divide y?
False
Let m = 7 - 3. Suppose m = 5*a + 9, 0 = 5*g + a + 16. Does 2 divide -3*g/3 + 3?
True
Suppose 2*c = -c + 168. Does 15 divide c?
False
Let w(k) = -k**2 + 13*k - 5. Is w(9) a multiple of 23?
False
Suppose 3*z - 4*y = -y + 15, 5*y + 25 = -z. Let m(r) = 4*r**2 + r - 4. Let i(u) = 3*u**2 + u - 4. Let x(o) = -3*i(o) + 2*m(o). Is x(z) a multiple of 2?
True
Let b(z) = 2*z - 4 - 3*z - 2. Let i be b(-8). Suppose 3*s - 2*o = 20, 2*o - 6 = -4*s + i. Is 2 a factor of s?
True
Let m(s) = -s**2 - 14*s + 21. Let u(v) = -v**2 - 15*v + 22. Let t(o) = -7*m(o) + 6*u(o). Is 8 a factor of t(-11)?
False
Let j = -134 - -197. Let t = 24 - 65. Let m = j + t. Does 11 divide m?
True
Let x be (6 - 9) + 2/(-2). Does 19 divide 57/(x/8*-2)?
True
Let d be -5*(1 - (0 - -2)). Suppose -w + 0*w - 35 = -d*n, n - 2*w = -2. Is 4 a factor of n?
True
Let b(a) = 4*a**2 + 1. Let u be b(-1). Let r be 2*7*1/2. Suppose 25 = -u*f, -4*p + r*f - 3*f = -136. Is 18 a factor of p?
False
Suppose -2*b - 5*i = -b + 12, 12 = b - i. Is 59/2 - (-4)/b a multiple of 15?
True
Let b = 1 + 2. Let v(w) = w**2 + w. Let z(q) = 28*q**3 - 4*q**2 - q - 1. Let p(r) = b*v(r) + z(r). Is 13 a factor of p(1)?
False
Let b(m) = m**3 - m**2 - 4*m + 2. Suppose 5*u - 33 = -q - 10, 5*q = -5*u + 35. Is b(u) a multiple of 17?
True
Let a(z) be the third derivative of z**5/60 + z**4/24 + 2*z**3 + z**2. Is 4 a factor of a(0)?
True
Let v = 33 - 21. Is v a multiple of 6?
True
Suppose 30 = 6*h - h. Is (-59 - -1)/(h/(-3)) a multiple of 20?
False
Is (2 - 0) + -4 + (1 - -94) a multiple of 31?
True
Suppose -6*y = -18*y + 204. Does 9 divide y?
False
Suppose 3*v + h - 7 = 0, -3 + 10 = 4*v - h. Suppose v*r - 20 = -3*r. Is 4 a factor of r?
True
Let o(g) = 90*g - 1. Let s be o(2). Suppose 44 = -5*y + s. Is y a multiple of 9?
True
Suppose -5*j - 384 = -9*j. Is j a multiple of 24?
True
Let l(x) = x + 33. Is l(10) even?
False
Let z = 314 - 184. Is z a multiple of 65?
True
Suppose -5*v - 2*n = -234, 5*n + 9 = v - 54. Let u = v + -86. Let r = u - -64. Is 16 a factor of r?
False
Suppose -6*n + 416 = -376. Is 12 a factor of n?
True
Let v(d) = 17*d**2 - 1. Let m be v(1). Suppose j - m = 2. Let p = j - -4. Is 11 a factor of p?
True
Let k(o) = -o**3 - 2*o**2 + 7*o + 5. Let s(d) be the third derivative of d**6/120 - d**5/60 - d**4/24 - 2*d**3/3 + 2*d**2. Let y be s(0). 