- 3. Let m be b(-5). Let v be (-8)/(-2)*22/8. Suppose -v = 4*q - 3, 4*t = -5*q + m. Is 6 a factor of t?
False
Does 13 divide (114/(-95))/((-1)/65)?
True
Let f(l) = 4*l**2 - 7*l + 21. Is 36 a factor of f(6)?
False
Let y = -13 + 13. Suppose -3*g - 3*h = -h - 86, y = g - 3*h - 14. Does 11 divide g?
False
Let h = -13 + 9. Is 3 a factor of h/2 - (1 - 6)?
True
Let n(t) = 4*t**3 + t**2 - 4*t + 35. Let p be -2*-4*(0 + -1). Let w(a) = -11*a**3 - 3*a**2 + 11*a - 104. Let z(g) = p*n(g) - 3*w(g). Is z(0) a multiple of 16?
True
Let k be ((-12)/15)/(2/10). Let m(q) = -7*q + 6. Let p(t) = 7*t - 5. Let n(i) = -2*m(i) - 3*p(i). Is n(k) a multiple of 13?
False
Suppose 40 = 4*k + k. Let u = k + -14. Let h = u - -15. Is 6 a factor of h?
False
Let c = 142 + -101. Suppose 29 = 4*i - 31. Suppose -i + c = j. Is j a multiple of 13?
True
Suppose -13 - 17 = -2*l. Suppose 2*d - 11 = l. Is d a multiple of 12?
False
Let j be (-4)/(-6) + 1/3. Suppose -4*g - 4 = 3*d, -5*g + 18 = -d + 4. Suppose -o + 6 = g, -4*o + j = -5*u. Is u a multiple of 2?
False
Suppose -5*a - 4*s = 102, -4*s = a - 6*s + 12. Let b = -12 - a. Suppose b*y - 44 = 2*y. Does 5 divide y?
False
Suppose -5*d + 20 = 3*v, d - v + 24 = 4*v. Suppose -d = -5*b + 44. Is 6 a factor of b?
False
Let q be 1/1 - (-4 - 0). Suppose q = -5*f - 5. Let y(l) = -4*l**3 - 4*l**2 - 2*l. Is y(f) a multiple of 10?
True
Let h(w) = -w**3 - 2*w**2 - 2*w + 1. Is h(-2) a multiple of 5?
True
Let h = -73 + 129. Does 11 divide h?
False
Let g be 40 - (-5 + 1 + 2). Let i = -23 + g. Suppose -3*x = -5*y + y - 20, 3*x - 5*y - i = 0. Is x a multiple of 3?
False
Suppose 0 = -3*h + 1142 - 188. Is 19 a factor of h?
False
Does 10 divide (1653/(-19))/((-3)/2)?
False
Let m be ((-1)/3)/((-1)/6). Suppose -3*k - m*k = -65. Suppose 3*s + k = 61. Is 16 a factor of s?
True
Suppose 3*t - 30 = -2*t. Suppose -t*n = -3*n - 126. Does 21 divide n?
True
Is 14/(-10)*(-30)/18*3 even?
False
Suppose -2*o - 6 = -4*v - 3*o, -4*v - 2*o + 4 = 0. Suppose 3*u = -v*u + 75. Does 11 divide u?
False
Let x(j) = -1 + 1 + 4*j - 4 - 3*j. Let w be x(5). Suppose 3*q - 31 = -w. Does 10 divide q?
True
Suppose -5*z = 3*k - 4 + 1, 0 = -3*k - 4*z. Let t(j) = j**2 + j - 1. Let c(r) = 3*r**2 - 9*r - 17. Let h(v) = k*t(v) + c(v). Does 13 divide h(-9)?
False
Is (21/(-15) - -1) + 1928/20 a multiple of 21?
False
Let p = 7 - 6. Suppose -2*w - d = -58, -4*w + 13 + 91 = 5*d. Let l = w - p. Is l a multiple of 24?
False
Let f(t) = -t - t**2 + 4*t**3 + 0*t**3 + 2 - 5*t**3. Let a be f(-3). Let s = 36 - a. Is 12 a factor of s?
False
Suppose 4*q = -16, -308 = -4*j - 2*q - 0*q. Does 12 divide j?
False
Let l(c) = -c**3 + 9*c**2 - 6*c + 8. Let t(v) = -5*v**3 + 46*v**2 - 31*v + 40. Let r(f) = 11*l(f) - 2*t(f). Let u = -16 - -22. Is r(u) a multiple of 10?
True
Let r = 0 + 18. Suppose 6 - r = -2*l. Is l a multiple of 3?
True
Let t = 203 - 45. Is 10 a factor of t?
False
Let h be 103/(-4) - (-9)/(-36). Let r = 20 + -14. Let t = r - h. Is t a multiple of 19?
False
Let p(c) = c**2 + c + 5. Let y be p(0). Let f = 0 + y. Suppose 3*l = 3*a + 18, l + 3*a + 23 = f*l. Is l a multiple of 4?
False
Suppose -2*z = 3*z. Suppose 0*q + q - 53 = z. Let m = 12 + q. Is 22 a factor of m?
False
Let t = -2 - -2. Suppose t = -5*p + 214 - 54. Does 16 divide p?
True
Suppose 2*h - 4*z = -14, 0 = 2*h + h + 5*z - 34. Let q = h + -71. Does 14 divide q/(-5) + (-6)/(-15)?
True
Let a(o) = o**2 - 6*o - 21. Is a(15) a multiple of 13?
False
Suppose 3*a - a - 36 = 0. Let b(o) = o**2 + o. Let j be b(-7). Let t = j - a. Is 12 a factor of t?
True
Let t(d) = -3*d + d**2 - 2*d**2 + 9 - 9*d. Is 14 a factor of t(-8)?
False
Let j(c) = 3 + 2*c**2 - 3*c**2 - c + 3 - 4. Let d be j(-2). Suppose 2*o + 3*s - 120 = d, -78 = -3*o - 4*s + 100. Does 18 divide o?
True
Suppose 2*j + 21 = 3*j. Is 7 a factor of j?
True
Let l(d) = 5*d + 13. Let k be l(14). Suppose q = k - 29. Is 9 a factor of q?
True
Let a(h) = 4*h**3 - 2*h**2 + 2*h + 1. Is a(2) even?
False
Suppose -4*g + 4 = 0, 2*h = -0*g + 2*g + 128. Let d = h - 37. Suppose -2*s + 4*s = d. Is s a multiple of 7?
True
Let v(j) = 3*j**2 - 4*j + 4. Is 14 a factor of v(3)?
False
Suppose 56 = 2*c + 4*h, -4*c + 5*h + 56 + 56 = 0. Does 4 divide c?
True
Does 2 divide ((-1)/((-4)/(-26)))/(18/(-36))?
False
Let h(m) be the second derivative of 1/12*m**4 + 0 - 1/2*m**2 + 0*m**3 + 27/20*m**5 - m. Does 12 divide h(1)?
False
Let u(q) = 56*q**2 + q. Does 7 divide u(1)?
False
Suppose -2*o - 181 + 437 = 0. Let w = o - 80. Is w a multiple of 12?
True
Let f(s) = -s**2 - 5*s - 3. Let w be f(-7). Let t = 24 - w. Does 15 divide t?
False
Does 13 divide (2 - 6/3) + 49?
False
Let t(p) = 3*p**2 - 7*p - 7. Let j(m) = -2*m**2 + 4*m + 4. Let g(q) = -5*j(q) - 3*t(q). Does 6 divide g(-3)?
False
Suppose -s = -0*s, 5*l = 5*s + 1445. Is l a multiple of 17?
True
Let o(s) = s + 10. Let y be o(-7). Does 3 divide 1 + (2 - 1) + y?
False
Suppose -3*q + 10 = 4. Is 25 a factor of q - -1 - 110/(-5)?
True
Let h(i) = 4*i**2 - 2*i**2 + 5*i - 2*i + 6. Suppose -2*a - 32 = 6*a. Does 13 divide h(a)?
True
Suppose -5*k + 12 = -3. Let r = k - -3. Suppose -r*g + 28 = -2*g. Is g a multiple of 7?
True
Is 17 a factor of 3/(-2)*(-340)/30?
True
Suppose w - 66 = -3*d, -6*d + 2*d - 3*w + 83 = 0. Does 11 divide d?
False
Let h = 465 - 305. Is h a multiple of 40?
True
Let t(z) = z + 1. Let o be t(1). Let d be 0/(o/(-6)*-3). Suppose i + 0*s - 15 = s, 3*i + 3*s - 33 = d. Is 6 a factor of i?
False
Let j(o) = -o. Does 3 divide j(-7)?
False
Suppose 132 = -5*t + t. Let p = t - -56. Is 13 a factor of p?
False
Let l(c) = c**3 + 14*c**2 - 17*c - 12. Suppose 4*h - 26 = 2*o, -5*o - 76 = -3*h + 4*h. Is 18 a factor of l(o)?
True
Suppose -5*v + 15 = -5*h, -3*v - 2*h = -7 - 12. Let j(f) = -8*f - 58. Let x be j(-20). Suppose -v*s + x = -2*s. Is s a multiple of 17?
True
Let m(b) = -b**2 + 2*b - 23. Let w be m(0). Let l = 53 + w. Is 10 a factor of l?
True
Suppose -4*i = 5*g - 43, -4*g + 3*i + 3 = -50. Is 11 a factor of g?
True
Let t(n) = 40*n + 18. Suppose 0*j + 25 = -5*j. Let x(l) = 16*l + 7. Let w(q) = j*t(q) + 12*x(q). Is w(-7) a multiple of 22?
False
Let y(i) = -11*i + 1. Let r = -16 + 13. Is y(r) a multiple of 5?
False
Let f = -6 + 10. Suppose -5 = -v - 4*l, -5*v + f*v + 4*l + 5 = 0. Is v a multiple of 3?
False
Let a(q) be the first derivative of -q**6/120 + q**5/60 + q**4/24 + 13*q**3/6 - q**2 + 3. Let o(s) be the second derivative of a(s). Does 13 divide o(0)?
True
Suppose 0*s = 3*s - 96. Suppose -s = -b + 22. Is 15 a factor of b?
False
Suppose 2*u = -3*x + 17 + 9, 65 = 5*x - u. Is 12 a factor of x?
True
Let l(r) = 8*r**2 - 1. Suppose 1 = -3*k - 2. Let w be l(k). Let a = 23 - w. Is 7 a factor of a?
False
Let t = 130 - 66. Suppose 0*w = 4*w - t. Suppose 5*a - w - 79 = 5*v, -2*a - 4*v = -38. Is 8 a factor of a?
False
Let o = -11 - -13. Let s(z) = 15*z. Is 10 a factor of s(o)?
True
Let a(r) = -16*r - 5. Let z = -10 + 8. Is a(z) a multiple of 27?
True
Let i be ((-2)/8)/(2/(-24)). Suppose -i - 6 = -o. Does 9 divide o?
True
Suppose -20 = -3*b - b. Suppose l - b*l = 0. Suppose 0*g - 3*g + 57 = l. Is 14 a factor of g?
False
Suppose 4*u + 168 = 4*g, 2*u - 36 = -g - 0*u. Is g a multiple of 13?
False
Let k = 20 - 17. Let w(t) = t**2 + 6*t - 1. Is w(k) a multiple of 13?
True
Let j(i) = -3*i - 1. Suppose 2*b = -w - 0*w + 43, w = 3. Suppose t - b = 4*v + 3, -4*t + 7 = v. Is 7 a factor of j(v)?
True
Let g = -3 - -6. Is 9 a factor of 196/6 + (-2)/g?
False
Let b(h) = -8*h - 17. Does 15 divide b(-4)?
True
Suppose 0 = -0*m - 2*m + 56. Does 8 divide m?
False
Suppose 2*d + 3*d = 5. Does 19 divide (-38)/(d + 2 + -5)?
True
Suppose 2*m - 115 - 163 = 0. Suppose -4*w + 355 = m. Is w a multiple of 13?
False
Let m(f) = -f**3 + 2*f**2 + 2*f - 1. Let q be m(2). Suppose -q*j - 1 = -55. Does 18 divide j?
True
Let h(j) = -j - j + 3*j. Let n be h(4). Suppose -21 - 39 = -n*u. Is 7 a factor of u?
False
Suppose -3*y - 81 = 5*t, y = 4*t - 19 - 8. Let u = 48 + y. Does 7 divide u?
True
Suppose -2 + 6 = -s. Let d(k) = 2*k**2 - 4*k - 6. Is d(s) a multiple of 21?
True
Let c = -15 - 4. Let k = c + 42. Is 12 a factor of k?
False
Suppose -5*w = -170 - 50. Let s = -22 + w. Does 14 divide s?
False
Let z = 10 + -6. Suppose z = u + 1. Suppose -5*a - u*c - 2*c = -195, 5*a - 188 = 2*c. Is a a multiple of 19?
True
Suppose 2*c + 40 = -3*c. 