= -4*a - 5*u, -4*a + 5*u + 274 = 0. Is 15 a factor of a?
False
Let s(r) be the second derivative of r**4/6 + r**3/2 + r**2/2 + 6*r. Is s(-7) a multiple of 26?
True
Let n = -49 + 169. Does 10 divide n?
True
Let j(d) = -d**2 + 16*d - 10. Let i be (3 - 0)/(24/64). Is 12 a factor of j(i)?
False
Let l be (15/(-25))/((-2)/10). Suppose q + l*w = -4, -4*q + 5*w - 2 + 3 = 0. Is (q/(-3))/((-1)/(-87)) a multiple of 11?
False
Suppose 129 = n + 115. Is n a multiple of 3?
False
Let r(k) = k**3. Let f(q) = 5*q**3 + 3*q**2 + 4. Suppose d + 1 = -0*d. Let z(x) = d*f(x) + 4*r(x). Is z(-4) a multiple of 12?
True
Is 12 a factor of 16/(-28) - 6075/(-35)?
False
Let x = 81 + -31. Let k = x + -15. Is 13 a factor of k?
False
Is 10 a factor of 2/4 - ((-4644)/(-8))/(-9)?
False
Let g(a) = a + 21. Let m be g(0). Let n = m + -2. Does 16 divide n?
False
Is 38 a factor of -3*5/(15/(-183))?
False
Does 14 divide (1 - 4)/(-1) - -11?
True
Let r = -94 + 192. Is r a multiple of 21?
False
Suppose 4*h + 2*z + 5 = 3*h, 3*h = -z. Does 7 divide -1*((-68)/2)/h?
False
Let c(l) = 0 + l + 2 - 3. Let j be c(5). Suppose p - j*x + 13 = 0, -2*x + 6 = -2*p + 2*x. Is 5 a factor of p?
False
Let x = -74 + 159. Does 12 divide x?
False
Let w be 8/(-14) + (-3768)/21. Is 2 - (w/(-3))/(-4) a multiple of 17?
True
Suppose q = 2*q - 28. Does 7 divide q?
True
Let b(m) = -2*m**2 + 29*m - 18. Is 15 a factor of b(12)?
False
Let m = 65 - 2. Is 7 a factor of m?
True
Suppose 0*t + 840 = 12*t. Is 14 a factor of t?
True
Let z(d) = -d**3 - 3*d**2 + 4. Let q be z(-3). Suppose q = 2*l - 18. Does 11 divide l?
True
Let w(k) = -k**3 - 4*k**2 + 5*k + 9. Is w(-6) a multiple of 12?
False
Let a(n) = -3*n**3 - n**2. Let i be a(-1). Suppose -6 = -3*b + 2*b + 2*x, 5*b = -3*x + 17. Suppose b*w - 30 = -i. Does 7 divide w?
True
Let a(f) = -5*f - 4 - f**3 - 2 + 4*f + 3*f + 5*f**2. Let u be a(5). Suppose 0 = -u*c + 3 + 1, -y + 6 = -c. Is 6 a factor of y?
False
Is 24 a factor of -3 + (-4 - -4) + 33?
False
Let q(o) = -5*o - 15. Is q(-8) a multiple of 6?
False
Suppose -11*q - 120 = -12*q. Does 30 divide q?
True
Let x(j) = j**2 - 2*j + 1. Is 20 a factor of x(-7)?
False
Let f(o) = 41*o - 1. Is 8 a factor of f(1)?
True
Let y = -102 + 147. Is y a multiple of 11?
False
Let l = 55 + -5. Is l a multiple of 25?
True
Let q be (-711)/(-18) + 2/4. Suppose -4*j + 152 = q. Is 14 a factor of j?
True
Suppose 2*g = 6 + 4. Suppose 56 + 4 = g*x. Suppose -w - w + x = 0. Is w a multiple of 5?
False
Let q(v) = 4*v - 40. Is q(18) a multiple of 11?
False
Let m(w) be the first derivative of w**3/3 - w**2 - 3*w - 3. Let q = 15 + -10. Is m(q) a multiple of 12?
True
Let w = -99 + 199. Suppose -5*t + 0*t = -w. Is t a multiple of 10?
True
Let o = 6 - 6. Suppose 7*r - 2*r - 145 = o. Suppose -5*p + b + 77 = -2*b, 2*p - r = 3*b. Is p a multiple of 11?
False
Is (-8 + 7)/((2/(-29))/2) a multiple of 9?
False
Let r = 0 + 98. Is r a multiple of 15?
False
Let j = -8 + 5. Let f(p) = -p**2 + 5*p + 2. Let x be f(j). Does 11 divide 4/x - 244/(-11)?
True
Suppose 16 = 4*r - 0. Does 4 divide r?
True
Let v(s) = 2*s + 4. Let a be v(-3). Let n be a/(-2) + 0/(-1). Is 12 a factor of (n*-2)/((-1)/10)?
False
Let c be (8/(-6))/((-6)/(-9)). Let g be 2 - (c - (0 + -1)). Suppose -5*h + 4*h + 18 = -4*t, g*h = -4*t + 134. Does 20 divide h?
False
Let a be (6/5)/(4/10). Suppose a*d + 86 = 5*o + 7*d, 3*o + 4*d - 58 = 0. Is o a multiple of 14?
True
Let r(n) = -n**3 + 4*n**2 + n - 4. Let k be r(4). Suppose -5*z = -k*z - 120. Is z a multiple of 10?
False
Suppose 0 = i - 1 - 3. Suppose -3*k + 3*g + 72 = i*g, k - 4*g - 37 = 0. Is 8 a factor of k?
False
Let a be 4/(4/2) + 2. Suppose 0 = 2*n + 5*z + 83, a*n + z + 121 = -0*z. Let g = -6 - n. Is g a multiple of 7?
False
Let r(m) = 4*m**2 + 5*m - 4. Does 24 divide r(3)?
False
Let n(w) be the first derivative of -11*w**4/4 - 2*w**3/3 - w**2/2 - 1. Let i be n(-1). Suppose -s + 4 = -i. Is 7 a factor of s?
True
Let n be 128/56 - (-2)/(-7). Suppose 4*z - 5*i = 187, -n*z + i = -0*i - 89. Is z a multiple of 14?
False
Let m = 3 + 2. Let t = 8 - m. Is t a multiple of 2?
False
Suppose -39 + 14 = -5*m. Suppose 0 = 3*r + 4*o - 187, 4*r = -0*r - m*o + 251. Let k = r - 25. Is k a multiple of 22?
True
Let h(f) = -3*f + 14. Does 4 divide h(0)?
False
Suppose -7*f = -5*z - 4*f - 265, 2*z = 2*f - 102. Suppose 6*t + 120 = -0*t. Is (z/(-20))/((-2)/t) a multiple of 14?
True
Suppose 28 = -5*i - 4*p + 128, i = -2*p + 14. Is i a multiple of 6?
True
Let q(d) = -1 - 5*d + d + 8*d**2 + 2*d. Let s be q(-1). Suppose 5*w - s = 11. Is w a multiple of 4?
True
Let a = 6 + -4. Let b(c) = 2*c - 2 + 0 + 20*c + 12*c. Is 17 a factor of b(a)?
False
Suppose 0*x = 2*x + f + 5, -4*f = 5*x + 20. Let a be ((-1)/2*x)/1. Suppose a*k - 27 = -k - 3*o, 2*o - 34 = -2*k. Is k a multiple of 6?
True
Suppose z = -3*i + 11, -5*z + 14 = -11. Suppose -q = -i*y - 177, 21 = -3*y + q - 244. Is 9 a factor of y/(-5) + (-2)/(-5)?
True
Let d = 86 - 14. Is 24 a factor of d?
True
Suppose -4*i = -5*i - 4. Let y(q) = 5*q**3 + 4*q**2 + 3 + 1 + 0*q**3 - 4*q**3 - q. Is 8 a factor of y(i)?
True
Suppose 0 = -2*h + 4*f - 0 - 4, 4*f = -3*h + 14. Let c(k) = -k + 3. Let d be c(0). Suppose 0 = -3*u + 6, -d*m - h*u = 2*m - 74. Does 10 divide m?
False
Suppose 9*i - 6*i - 690 = 0. Does 28 divide i?
False
Let n = -4 + 72. Suppose -n = -0*v - 2*v. Does 14 divide v?
False
Let o be (-4)/(-6)*(-9)/2. Is (-153)/o - (4 + -7) a multiple of 18?
True
Suppose -14 - 288 = -2*s - l, -s + 137 = 4*l. Is s a multiple of 8?
False
Suppose -21 = 4*p + 2*h - 67, 3*p = 2*h + 17. Does 2 divide p?
False
Suppose 0 = -5*b - 3 + 523. Is 4 a factor of b?
True
Suppose 3*p - 3*v + v = 50, 8 = -2*v. Is p a multiple of 7?
True
Suppose -3*k = -4*p - 0*k + 21, 4*p - 4*k = 24. Suppose -p*h - 14 = -5, 2*c - h + 43 = 0. Let n = 34 + c. Is 5 a factor of n?
False
Let i = 59 - 51. Does 8 divide i?
True
Does 24 divide -3 + 217 + (6 - 4)?
True
Let w = -8 - -16. Let g = -3 + w. Is 2 a factor of g?
False
Let v(b) = 9*b**2 + 2. Suppose -2*c - 3*c = 0, -4*d = -3*c - 8. Is 38 a factor of v(d)?
True
Let l = 16 - 18. Let q(w) be the first derivative of -17*w**2/2 + 1. Is 17 a factor of q(l)?
True
Let s be (-3)/2*(-8)/3. Let m = 4 - s. Suppose 36 = -m*l + 2*l. Is l a multiple of 18?
True
Let n(s) = -2*s**3 + s + 2. Let p be n(-2). Let l = p - -1. Is 5 a factor of l?
False
Let b be (11 + -12)/((-1)/2). Let y = -17 + 31. Suppose -y = b*l - 4*l. Does 3 divide l?
False
Suppose o = -2*o + 66. Suppose -o - 6 = -2*r. Does 7 divide r?
True
Let l(r) = -r**3 + 11*r**2 + r - 4. Does 7 divide l(11)?
True
Suppose -72 = -0*k - 4*k. Is 6 a factor of k?
True
Let g(i) = 4*i**3 + 3*i**2 - 1. Does 17 divide g(2)?
False
Let n be (-1)/((6/(-3))/(-4)). Is 9 a factor of ((-1)/(-1))/(n/(-18))?
True
Let u be (-2)/(-5) + 4/(-10). Suppose a - 3 + 0 = u. Is 52 + (a + -3 - -1) a multiple of 19?
False
Let b(w) = -w**3 - 14*w**2 - 20*w - 10. Is b(-13) a multiple of 26?
False
Suppose -6*k + 569 = -133. Is k a multiple of 18?
False
Let g be 4/(-8)*(2 - 2). Suppose 0 = 2*k - g*k. Suppose 0 = 5*c - k*c - 90. Is 6 a factor of c?
True
Let j(i) = i**3 + 3*i**2 - 3*i + 1. Let l be j(-4). Is 18 a factor of (l + 4 + 11)*4?
False
Suppose 4*q - 52 = -212. Let k = q + 86. Is 24 a factor of k?
False
Suppose 2*k - 16 = -2*k, -38 = -s + k. Let d be (s - (-2)/1) + 2. Suppose -5*j = 11 - d. Is j a multiple of 7?
True
Let o(i) = 5*i - 5. Let m be o(4). Suppose 2 = -s + m. Is 6 a factor of s?
False
Let w be 2/(-8) + (-122)/(-8). Suppose 3*x - w = 0, g - 11 - 11 = -4*x. Is (-94)/1*g/(-4) a multiple of 16?
False
Let l(f) be the first derivative of 2*f**2 - f - 2. Let z be l(1). Suppose z*o + 5*h - 69 = -21, 3*o - 45 = -4*h. Does 11 divide o?
True
Suppose 0 = -135*d + 138*d - 150. Is d a multiple of 5?
True
Let x = 113 + -47. Is 22 a factor of x?
True
Let n be ((-416)/(-6))/(3/(-9)). Let t = n + 303. Suppose t = 7*p - 2*p. Is 19 a factor of p?
True
Let s(y) = y**3 + 10*y**2 + 2*y + 12. Let k be s(-10). Let d be -2*(22/4 + 1). Let r = k - d. Does 5 divide r?
True
Let k = 3 - 2. Suppose 0 = -c - 3*r - 14, -3*c + 5*r + 13 = -k. Let u(t) = -t**3 + t**2 - 2*t - 2. Is 5 a factor of u(c)?
False
Suppose 7*s - 5*s - 44 = -4*k, -2*k - 98 = -4*s. Is 4 a factor of s?
True
Is 15 a factor of 986/18 - (-10)/45?
False
Suppose 3*u - 42 - 12 = 0. Do