Suppose -5*l = -4*l. Suppose -3*b + 23 + 37 = l. Does 4 divide b?
True
Suppose -4*o + 4*q = 0, -3*o = q - 5 - 11. Suppose -o*j + 114 = -j. Is j a multiple of 15?
False
Suppose -42 = -3*r - 12. Does 5 divide r?
True
Is 10 a factor of (34 - (3 - 9))*10/4?
True
Let q(n) be the third derivative of n**2 - 1/6*n**3 - 7/4*n**4 + 0*n + 0. Is 17 a factor of q(-1)?
False
Let w(h) = -h**3 + 7*h**2 - 6*h - 1. Let p be 9/3 + (-2)/(-1). Let a be w(p). Suppose -b - a = -53. Is 17 a factor of b?
True
Let w(q) = -65*q**3 + 6*q**2 + 2*q - 4. Let a(g) = -g**3 + g**2 - 1. Let x(n) = -5*a(n) + w(n). Let y be x(-1). Suppose -j + y = j. Is j a multiple of 11?
False
Suppose 4*o - 2*o = 30. Let j = o - -5. Is 20 a factor of j?
True
Suppose 3 = j - 4. Suppose -2*l + 7 = -j. Does 3 divide l?
False
Suppose 0 = -5*i - f + 299, 0 = -3*f + 2*f - 1. Is 5 a factor of i?
True
Is (318/5)/((-3)/(-10)) a multiple of 16?
False
Is 18/(28/16 - 1) a multiple of 6?
True
Suppose 3*k = -2*p + 9 + 55, -2*k + p = -31. Is 7 a factor of k?
False
Suppose 2*k = 6*k - 32. Suppose -4*w = k - 84. Is 19 a factor of w?
True
Let y = -37 - -50. Is 4 a factor of y?
False
Suppose -3*l + 14 = -4. Does 6 divide l?
True
Let q(d) = -d**2 + d + 4. Let r be q(0). Suppose -y + 12 = r*p - 13, -3*p + 25 = 2*y. Suppose -z + y*z = 3*c - 26, z + 15 = 5*c. Does 2 divide c?
True
Suppose -6*z + z + 135 = 0. Is 9 a factor of z?
True
Suppose 3*t - t = 0. Let o be t + -2*(-1 + -1). Suppose 2*u - 8 = o. Is 5 a factor of u?
False
Let c be -8 + (3 - (7 + -2)). Let i = 3 - c. Is 3 a factor of i?
False
Let s = 16 - 11. Suppose -s*m = -4*c + 180, -3*c + m = 6*m - 100. Is 15 a factor of c?
False
Suppose 0 = -t - 2*t + 36. Suppose -12 = -3*d - 2*f, d - 2*d + t = -2*f. Is d a multiple of 6?
True
Let c = -30 - -7. Let i = 44 - c. Is i a multiple of 13?
False
Let b(c) = 3*c**2 + 2*c + 2. Let o = 0 + 3. Let l be b(o). Let m = -13 + l. Is m a multiple of 11?
True
Does 4 divide (9/18)/(4/106)*4?
False
Suppose 0 = 5*a + 69 - 4. Let d(m) = m**2 - m - 9. Let q be d(0). Let o = q - a. Is 4 a factor of o?
True
Suppose -2*r - 3*k + 213 = 0, 3*r + 2*k - 6*k = 311. Is 19 a factor of r?
False
Suppose 4*x + 9*n - 22 = 4*n, -48 = -5*x + 4*n. Suppose 3*m = 5*a + x*m - 170, 0 = -2*m + 4. Is 9 a factor of a?
False
Let c(l) = -l**3 + 4*l**2 + l - 4. Suppose 3*w - 4 = 2*w. Let d be c(w). Suppose 2*f + 18 = m - d*m, -16 = 4*f. Is m a multiple of 5?
True
Let k = -9 - -33. Is k a multiple of 12?
True
Suppose 6*c = 3*c - 6. Let h(l) = l**2 + l - 1. Let n be h(c). Does 15 divide (-190)/(-5) + (n - 0)?
False
Let b be ((-18)/(-15))/((-2)/(-35)). Does 6 divide (b - 0 - 3)/1?
True
Suppose 0 = i - 2*b + 230, -4*i - 4*b - 1201 + 341 = 0. Let t = -126 - i. Does 22 divide (t + -1)*1/3?
False
Suppose 12 + 32 = 2*x. Is x a multiple of 12?
False
Let a(o) = -2*o - 9. Let i be a(-6). Suppose 4*g = -4*l + 144, -g + 1 + i = 0. Is 21 a factor of l?
False
Let h = 88 + -128. Let v = 67 + h. Is 9 a factor of v?
True
Suppose 674 = 4*x - 214. Suppose -v - 2*b = -51, -2*v + b = 2*v - x. Is v a multiple of 25?
False
Let g(v) = v**2 + 2*v + 4. Let r be g(-3). Let l = -2 + r. Suppose 4*y + 4*q - l*q - 77 = 0, 0 = -y + 4*q + 23. Is 18 a factor of y?
False
Suppose 0 = -10*h + 1637 + 763. Does 24 divide h?
True
Let r = 14 - 12. Suppose r*i - 6*i = -48. Is 4 a factor of i?
True
Suppose 0 = -7*g + 140 + 140. Does 5 divide g?
True
Let s = -3 + 8. Let x be (1/(-2))/(s/160). Let g = 38 + x. Is 14 a factor of g?
False
Suppose -60 = -s - 2*s. Suppose -5*h = -3*b + b - s, 0 = -h + 4*b + 4. Does 4 divide h?
True
Let c(u) = -u**2 + u + 26. Let k be c(0). Suppose 0*i + i + 5*d - k = 0, 2*i - 2*d - 112 = 0. Is 17 a factor of i?
True
Let d(t) = 4*t - 4. Let y(r) = -r**3 + 5*r**2 + 7*r - 3. Suppose -s + 3 = -3. Let x be y(s). Is 8 a factor of d(x)?
True
Suppose g - 143 = 4*p, 0*p + 544 = 4*g - 2*p. Is g a multiple of 23?
False
Suppose -2*k + 45 - 146 = -5*s, -65 = -3*s - k. Suppose 2*j - 3*m = -2*j + s, 0 = m + 3. Suppose 2*r - j*r + 17 = 0. Is r a multiple of 10?
False
Suppose 34 = 2*h + t, -2*h - 2*t + 11 + 25 = 0. Suppose -3*u = s - 4*u, -4*u = 4*s - h. Is s even?
True
Suppose -x + 438 = o + 3*o, o + 5*x = 100. Is o a multiple of 22?
True
Suppose 3*m + 101 = 2*m. Let y = m - -141. Is 11 a factor of y?
False
Let o(n) = 329*n**3 + 2*n**2 - 1. Is 22 a factor of o(1)?
True
Let r = 107 + -51. Is r a multiple of 28?
True
Suppose 3*o - 5*o + 20 = 0. Let f be (64/(-6))/(2/(-9)). Is f/o*(-90)/(-12) a multiple of 17?
False
Suppose 5*b - 3*o + 3 = 0, 0 = -5*b - 3*o - 27. Does 13 divide (2/b)/(2/(-51))?
False
Does 12 divide ((-7)/3)/(6/(-36))?
False
Suppose 0 = 5*z + y - 167, 2*z + 4*y - 74 = -0*z. Does 11 divide z?
True
Let b(i) = 3*i**2 - 3*i - 13. Is 7 a factor of b(-5)?
True
Let a be (2/4)/(2/12). Let j be (a - 1) + -2 - -2. Let d = 5 - j. Is 3 a factor of d?
True
Let y = 295 - 214. Does 2 divide y?
False
Is ((-1 - -1) + 8)/((-15)/(-390)) a multiple of 16?
True
Let s = -29 - -56. Is 27 a factor of s?
True
Let q = -1 + 69. Is 17 a factor of q?
True
Suppose 0 = -4*g + 2 + 6. Suppose 77 = 3*n + 2*n - x, -g*n - 2*x = -38. Does 15 divide n?
False
Let w(q) = q**3 + 3*q**2 - q - 3*q - 16*q**2 + 4*q**2 - 11. Is w(10) a multiple of 18?
False
Suppose 2*j + 341 = 5*j + i, 0 = 5*j - 2*i - 561. Is j a multiple of 19?
False
Let c = -4 - -8. Let w(t) = -4*t + 2 - 4*t - 11 + c*t**3 - 9*t**2 - 3*t**3. Is 11 a factor of w(10)?
True
Let r be 3/(-4 - -7) - 3. Is (-94)/(-4) + 3/r a multiple of 11?
True
Let d(g) = g**3 + 5*g**2 - 2*g - 1. Let l be d(-4). Let k = 7 + -5. Is 10 a factor of l/k*(3 + -1)?
False
Is 6 a factor of 1/4*2*(2 - -46)?
True
Suppose -3*x + 104 = 2*x - 3*y, -x = 5*y - 32. Let l = x - 6. Suppose 4*a = 2*o + o - l, -4*o - a = -34. Does 8 divide o?
True
Suppose 0*v + v = 2. Let z be 10 + v/((-4)/2). Suppose 0 = -5*x + 1 + z. Is 2 a factor of x?
True
Let v be (-16)/6*(-9)/3. Suppose 10 + v = -3*o. Let x = -2 - o. Is 4 a factor of x?
True
Suppose -10 = -2*v + 6. Let b = -6 + v. Suppose -o - b = -42. Does 12 divide o?
False
Let c be 12/6 + (-1 - 65). Let o = c + 117. Does 22 divide o?
False
Let v = 195 - 101. Is v a multiple of 25?
False
Let h(t) = -2*t**3 - 3*t**2 + t + 4. Is h(-3) a multiple of 9?
False
Suppose 2*m = -4*o + 256, -3*o + 4*m + 45 = -158. Is o a multiple of 18?
False
Let w be -2 + 2 - (1 + 0). Let j = -2 - -4. Is (1/j)/(w/(-16)) a multiple of 3?
False
Let p = 159 + -143. Is p a multiple of 16?
True
Let q = 3 + 24. Does 27 divide q?
True
Suppose 2*j + 5*i - 9 = 6*j, -i = -j - 3. Let r(d) = d**2 + 3*d - 1. Is r(j) a multiple of 4?
False
Let k(y) = 15*y - 36. Is k(7) a multiple of 14?
False
Let o(w) be the first derivative of -13/2*w**2 - 2 + w. Is o(-1) a multiple of 9?
False
Suppose -h = -3*i + 24, -4*h - i = 55 - 11. Let n = h + 37. Is n a multiple of 9?
False
Is 10 a factor of (24/(-9))/4*-57?
False
Is 14 a factor of (10 - 6)*(21 - 0)?
True
Let s be (-1 + 6 - 3) + 2. Suppose x - s*x = -6. Is x a multiple of 2?
True
Suppose 5*g + 12 = -18. Let w(c) = c**2 + 7*c + 11. Is w(g) a multiple of 3?
False
Is 17 a factor of -17*(-2 + 4)*-2?
True
Let a(k) = -k + 1. Let s be a(-9). Is s/55 + (-458)/(-22) a multiple of 6?
False
Let g = 91 - 71. Is g a multiple of 2?
True
Let u be (3/(-2))/((-9)/24). Suppose 0*a = 2*a - u. Suppose 47 = -0*r + a*r - 3*w, 0 = -5*r + w + 111. Is r a multiple of 11?
True
Let w = 8 - 6. Suppose 2*g + 3*l = 9, -4*g - 15 = -w*l - 3*l. Is 8 a factor of 17 + 2 + 1 + g?
False
Suppose -13 = 4*n + 15. Let i = n + 11. Is 4 a factor of i?
True
Does 34 divide 34/(4*3/36)?
True
Suppose -4*n = 223 + 561. Let k = 120 + n. Is 6 a factor of k/(-5) - 2/10?
False
Let w(b) = 25*b + 4. Let u be (-4)/3*(-18)/12. Is w(u) a multiple of 27?
True
Suppose 0 = 5*a - m - 170, 3*a - 4*m - 92 - 27 = 0. Is a a multiple of 11?
True
Suppose 2*y = -2*y - v + 219, 0 = -5*y + 4*v + 258. Is y a multiple of 9?
True
Let f = 3 + -5. Does 20 divide (-178)/(-4) + f/(-4)?
False
Suppose 3*a - 8*a + 15 = 0. Suppose -4*w - 48 = -4*q, 3*q - a*w = -q + 44. Is 8 a factor of q?
True
Suppose 0 = -r + 3 - 44. Let q = -24 - r. Does 6 divide q?
False
Let s(d) = 5*d**2 - 1 + d**2 - d**3 + 0*d + 8*d. Is s(7) a multiple of 3?
True
Is 5 a factor of (-7)/((-7)/2) - -3?
True
Let g = -198 - -416. Is g a multiple of 14?
False
Supp