49. Does 11 divide u(-6)?
False
Let f = 89 - 39. Suppose 0 = -3*j - 5 + f. Does 23 divide 68/3 - j/(-45)?
True
Suppose -27 = -4*z - 5*y, -2 = 2*y - 8. Suppose -2 = -z*h + 64. Is h a multiple of 11?
True
Let b(r) = -1431*r - 107. Is b(-1) a multiple of 17?
False
Is 44/(-55) - (-4377)/15 a multiple of 3?
True
Suppose 117 = 4*o - o. Let r(v) = -v**3 + 8*v**2 + 21*v. Let l be r(-2). Is 8 a factor of (3/l)/(o/(-962))?
False
Let o(r) be the first derivative of r**4/4 - 14*r**3/3 - 15*r**2/2 + 2*r - 3. Let p be o(15). Is 3*p*342/108 a multiple of 6?
False
Suppose -5*r - 3*q + 6902 = 0, -5*q - 6898 = -5*r - 7*q. Does 53 divide r?
True
Suppose -3*b + h = -572, -9*b + 7*b - 3*h = -396. Is 16 a factor of b?
True
Suppose -14*b + 9670 = -16650. Is b a multiple of 47?
True
Let q = 9 - 22. Let d = q - -18. Suppose -3*b = 3*h + h - 64, -d = -5*h. Is 8 a factor of b?
False
Let q(p) = -10*p + 8. Let i be q(0). Suppose i*c - 11*c = -132. Does 11 divide c?
True
Let z = 533 + 1207. Does 60 divide z?
True
Is 17 a factor of 1 + ((-7)/28 - (-6658)/8)?
True
Suppose 5*p = 2*i + 4012 + 4166, 0 = -2*p - 3*i + 3275. Is 9 a factor of p?
False
Let n be (-10)/(-3) + 4/6. Let f(d) = d**3 - 5*d**2 + 6*d. Let j be f(n). Is 220/j + (-4)/(-8) a multiple of 28?
True
Suppose 5*c - 5*d - 30 = 0, -2*d - 6 = -c + 2. Suppose c*o + 0*a + 8112 = a, 0 = 2*o + 3*a + 4056. Does 21 divide o/(-30) + (-4)/(-10)?
False
Suppose 2*d = -4*r + 14, 3 + 2 = 3*d - 2*r. Suppose 4*k + 36 = 4*z - 68, -z + 34 = d*k. Is 7 a factor of z?
True
Suppose 2630 = 5*d - l, 5*d + 4*l - 2500 = 105. Is 5 a factor of d?
True
Suppose -5*q = -2*q - 33. Let v(y) = y - 4. Is v(q) a multiple of 6?
False
Suppose 5*k = -62 - 78. Is 13 a factor of (2 + k)/((-10)/55)?
True
Let w be (-2)/(-7) + 232/(-28). Let d be w/(-20) + 114/(-10). Let r(i) = -i**3 - 11*i**2 - 4*i - 16. Is 14 a factor of r(d)?
True
Let k be (-4)/(-6) - (-140)/(-12). Let o = k - -16. Suppose o*r - 4*a = 39, 4*r = 2*r - 5*a + 42. Is 11 a factor of r?
True
Suppose -4*n + 2*n + 162 = -2*w, 5*n - 369 = -4*w. Suppose 3*r - 2*b - 80 = 0, -3*r - b = 9 - n. Suppose r + 2 = m + 3*u, 2*m = -2*u + 64. Is 9 a factor of m?
False
Let q(j) = -j**3 - 7*j**2 + 3*j + 1. Let l be q(-7). Let i(w) = w**2 + 7*w + 5. Let x be i(-4). Let g = x - l. Is g a multiple of 3?
False
Let j be (-16 - -18)/(1/2). Suppose 5*f - 31 = j. Is 2 a factor of f?
False
Let l = -12 - -9. Let c be l + (-36)/(-8)*18. Let f = c - 34. Is 17 a factor of f?
False
Suppose -3*f + 3*t = 12, 0*t - 16 = -4*t. Suppose f = 3*a - 6*a + 12. Suppose -59 = a*c - 143. Is c a multiple of 21?
True
Is 5 a factor of (-10)/(-65) - (-2 + (-15042)/78)?
True
Suppose 14*q = 18*q - 3*y - 13, -3*y - 10 = -q. Let u(f) = -f**2 + 4*f + 3. Let c be u(-2). Does 4 divide q + 0 - (c + -3)?
False
Let v(h) = 2*h**3 - 42*h**2 + 24*h + 6. Is v(21) a multiple of 15?
True
Let a be 8/(2*4/(-24)). Let c = a + 87. Is 4 a factor of c?
False
Suppose 0 = 2*k + k - 198. Let l(r) = -r**2 - 28 - 33 + k - 8*r. Is l(-7) a multiple of 12?
True
Let x(z) = 11*z**3 - 10*z**2 - 4*z + 6. Let g(w) = -4*w**3 + 3*w**2 + w - 2. Let s(h) = -7*g(h) - 2*x(h). Is s(2) a multiple of 8?
True
Let c(i) = -2 + i - 2 + 2 + 0. Let s be c(-5). Let r(n) = -n**2 - 8*n + 10. Is 8 a factor of r(s)?
False
Suppose -142 = -4*g - 2*v, 2*g + v - 83 = -4*v. Suppose -2*z + 38 = 2*j, -4*j + g = -2*j - 2*z. Does 6 divide j?
True
Let d = 1088 - 597. Is d a multiple of 47?
False
Suppose 4*d + 1 - 33 = 0. Let p(o) = -o + 24. Let h be p(13). Let a = h - d. Is a a multiple of 2?
False
Let v = 4116 + -258. Does 29 divide v?
False
Let v(x) = -x**3 + 2*x**2 - 5*x - 9. Let d be v(-7). Suppose 4*f - d = -51. Does 8 divide f?
True
Let q = -4 + 9. Suppose 4*v - 3*s + 14 = -q*s, -4*s - 10 = 5*v. Is (22/v)/(3/(-9)) a multiple of 3?
False
Suppose -5*a + 11 = 5*z - 9, -5*z = 2*a - 17. Suppose -6 = -3*s + 3*l, 4*l - 4 - 2 = -z*s. Is 17 a factor of (-5 - 93)/(0 - s)?
False
Suppose 0 = -5*s - 5*p + 585, 484 = 7*s - 3*s - 4*p. Let o = s + 7. Is o a multiple of 21?
True
Let p(z) = 15*z + 7. Let q be p(-8). Let t = q - -61. Let a = -26 - t. Does 6 divide a?
False
Let f = -56 + 58. Is 58*(-5 + 2 - (-7)/f) a multiple of 2?
False
Let j(d) = d**2 + 2*d. Let l be j(-1). Suppose -3*t = -2*r + 10, 3*r + t - 14 = 6*t. Let x = r + l. Is x a multiple of 7?
True
Let z = -128 - -3883. Does 29 divide z?
False
Let f = -19 - -24. Suppose f*q - 8*q + 138 = 0. Let l = q + -32. Is l a multiple of 7?
True
Suppose -2*w - 21 = -w - 4*o, -2*w - 4*o + 6 = 0. Is w/(-20) + 279/4 a multiple of 14?
True
Let d(k) = -k**2 - k + 6. Let f be d(-3). Does 8 divide (f + 35/10)*(11 + -1)?
False
Let t be (-4)/6 + (-5)/15. Is 26 a factor of (-158)/(-4)*2 + t?
True
Suppose 7*w = -w + 280. Let g = w - 7. Is 10 a factor of g?
False
Let l(k) = -k**2 - 7*k + 9. Let h be l(-7). Let g be (9/(-3))/(h/(-192)). Suppose 5*j - g = j. Does 16 divide j?
True
Suppose -d - 2*k - 19 = 0, 3*d + 4*k + 4 + 45 = 0. Let o = -4 - d. Is 7 a factor of o?
True
Suppose -4*i + 16 = 4*d, 4*i + 0*i - 16 = d. Is i a multiple of 2?
True
Let y(t) = 5*t + 180. Is y(-20) a multiple of 10?
True
Let f be -4 + 7 + 1 + 56. Let q = 48 + f. Does 22 divide q?
False
Let p(f) = -f**3 + 35*f**2 - 69*f - 57. Does 12 divide p(29)?
True
Suppose -24*c = -19*c - 665. Suppose 0 = 3*g - c - 167. Is 20 a factor of g?
True
Suppose 4*h = -4*j + 1484, -7*j + 3*j + 1109 = 3*h. Does 75 divide h?
True
Suppose 0 = 15*p - 8*p - 1722. Suppose -474 = -5*y + p. Is 9 a factor of y?
True
Let u(o) = 4*o - 4. Let m be u(2). Let a(t) = -2*t + 9 - t + 6*t. Is 8 a factor of a(m)?
False
Let d(m) be the second derivative of m**5/20 + 7*m**4/12 - 13*m**3/6 - 11*m**2/2 + 3*m. Let w be d(-8). Let b = 61 - w. Does 8 divide b?
True
Suppose 12474 = 12*y + 2*y. Does 81 divide y?
True
Suppose 5*g - 15 = 0, 0*b + b + 2*g = 26. Suppose 50 = 5*p - b. Does 7 divide p?
True
Let b be 2*(-4)/16*0. Suppose b = 5*z - 2*z + 99. Let k = z + 66. Is 11 a factor of k?
True
Let a = -17 + 29. Suppose -5*o + 16 = k, k + 5 = -0*o + 2*o. Suppose -o*r - a = -b - 58, 0 = 2*r + b - 29. Is 5 a factor of r?
True
Let n(d) be the first derivative of d**3/3 - d**2 + 182*d + 12. Does 27 divide n(0)?
False
Let a be 3/7 + 90/35. Let v be a/2*(-78)/(-9). Let u(i) = -i + 17. Does 2 divide u(v)?
True
Let f = -179 - -399. Is f a multiple of 20?
True
Let l(f) = -2*f + 2. Let g be l(0). Suppose 0 = -m + g. Suppose 10 = d - 4*r, m*d - 5*r = 6 + 23. Is 11 a factor of d?
True
Let h(r) = -3*r**3 + 2*r**2 - 3*r + 2. Let x(z) = -z**3 + z**2 + 2*z - 3. Let v be x(2). Does 11 divide h(v)?
True
Suppose -2*j + 2 = -0. Let v be 0/1 - (6 - j). Let l = 8 + v. Does 3 divide l?
True
Let a = 489 - 461. Is a even?
True
Is 185/1*(-3 + 4) a multiple of 7?
False
Suppose -5157 = -9*a + 9108. Does 59 divide a?
False
Let t(s) = 2*s + 6. Let q be t(-5). Let u = q + 4. Suppose 3*m = 3*w - 162, u = -5*w + 3*m - 6*m + 246. Does 17 divide w?
True
Suppose -3*y - 28 = -37. Suppose -3*q = -y*w + 51 - 174, -147 = -3*q - 5*w. Does 22 divide q?
True
Suppose 12*d = 35*d - 161. Let i(p) = -p**3 + 6*p**2 + 5*p + 17. Is 3 a factor of i(d)?
True
Let a = 107 - 56. Suppose -9*y = -303 + a. Does 6 divide y?
False
Suppose 4*b = -4*k - 308, -2*b + 67 = -3*b + 4*k. Let r be (b/2)/((-8)/32). Suppose 3*y + 0*d = -d + 130, 3*d + r = 3*y. Is 15 a factor of y?
True
Let u be (4 - 7)/(2/4*3). Does 39 divide (-110)/(-1) + 5 - (-4 - u)?
True
Let d(s) = -s**3 - 14*s**2 - 12*s + 26. Let n be d(-13). Let v = 83 - n. Is 14 a factor of v?
True
Suppose 8 = 3*o + 2. Let d(j) = 7*j**2 - 3*j + 1. Let a(m) = 37*m**2 - 15*m + 5. Let b(i) = -2*a(i) + 11*d(i). Is b(o) even?
False
Suppose 0 = 6*s - 3*s - 15. Suppose -s = 4*v + 11. Is 9 a factor of -2 - v/4 - -13?
False
Let g(d) = -d + 1. Let u be g(4). Let t(k) = -k**3 - 3*k**2 - 1. Let m be t(u). Is (-6 - -47)/(2 + m) a multiple of 15?
False
Suppose 7*h - 44 = 3*h. Suppose 4*d - i - h = -0*i, -2*d - i = -7. Suppose -d*n + 53 = -1. Does 18 divide n?
True
Let k(c) = 74*c**3 - 3*c**2 + 8*c - 4. Is 16 a factor of k(2)?
True
Suppose -5*k - 4*t = -33 - 47, -5*k + 4*t + 40 = 0. Suppose 0 = -10*d + 6*d + k. Suppose -17 = -d*f + w + w, 5*w + 5 = 0. Is 3 a factor of f?
False
Suppose -5*c - 5 = -3*n - 20, -16 = -c - 2*n. Suppose -c*h + 4*z = -h - 476, 4*h + 4*z = 388. Is h a multipl