s 19 divide i?
False
Suppose -2*q - 2*c + 14 = 0, q - 39 = -q + 3*c. Suppose q*d - 7*d = 390. Is d a multiple of 28?
False
Let f = 145 - 64. Is 10 a factor of f?
False
Let o(f) = -f**3 + 11*f**2 + 4*f + 8. Let a be o(6). Suppose a = 2*s - 36. Suppose -w + p + 40 = 0, 4*w + 6*p = p + s. Is 18 a factor of w?
True
Suppose -2*a - 39 = -15. Let s be 3*((-8)/a + 0). Suppose -s*z - 6 = -46. Does 6 divide z?
False
Suppose -82 = -4*q + 3*o - 31, 47 = 3*q - 4*o. Suppose -3*g + 5*g = 76. Let p = g - q. Does 24 divide p?
False
Let w(i) = 3*i - 4. Suppose -18 = 5*l + 7, -4*a - 4*l - 8 = 0. Let j be w(a). Suppose 0 = -0*c + c + 2*u - 101, 2*c + j*u = 203. Is 33 a factor of c?
True
Let y = 33 + -6. Let b be (-2 - 1)*17/3. Let h = y + b. Is 2 a factor of h?
True
Suppose -r + 137 = -0*r. Suppose 0 = -0*f - f, 0 = 4*j + 2*f - 388. Let z = r - j. Does 10 divide z?
True
Suppose -10 = -5*j - 35. Is j + 9 - (2 + -7) a multiple of 2?
False
Let i be (16/(-10))/((-36)/(-630)). Let s be -1 - (-7)/(i/(-24)). Suppose -8*n + 270 = -s*n. Does 15 divide n?
True
Let b = 3592 - 2300. Is b a multiple of 10?
False
Let n be (70 - -2)*(-5)/4. Let s be 28/(-6)*n/(-35). Let h = s + 39. Is h a multiple of 9?
True
Let g(m) = -6*m**2 - 12*m - 1. Let s(b) = -5*b**2 - 12*b - 1. Let k(d) = -4*g(d) + 5*s(d). Does 13 divide k(-7)?
False
Suppose 2*m + 2*i = -m + 1558, -m + 506 = 4*i. Is 6 a factor of m?
True
Let u(h) = -h**2 - 1. Let w(j) = -3*j**2 - 14*j + 7. Let d(o) = 4*u(o) - w(o). Let g(c) be the first derivative of d(c). Does 9 divide g(-9)?
False
Let f(v) = 5 + 6*v + v**3 + 8*v + 38*v**2 - 53*v**2. Is f(14) a multiple of 2?
False
Let l(b) = b - 4. Let u be l(6). Suppose u*c - 5*c = -6. Let z(o) = 7*o - 3. Does 10 divide z(c)?
False
Suppose 5*i = -20, 0 = -2*u + u - 4*i + 174. Does 19 divide u?
True
Suppose 10*l = 3*l + 56. Let p be 1 + (l - 2)/3. Suppose 2*a + 169 = 4*f - a, -f + 31 = p*a. Is 20 a factor of f?
True
Suppose -31*m = -33*m - 492. Let b = 500 + m. Is b a multiple of 34?
False
Suppose -4*s = -3*f + 3, 3*s + 2 = s + 2*f. Suppose s = -7*m + 188 + 232. Is 20 a factor of m/24 - (-35)/2?
True
Let o be (-4)/(-18) + 428/18. Suppose 3*d = 2*q - 10, -d - 7 = -0*q + 3*q. Does 7 divide 1*q/((-3)/o)?
False
Suppose 0 = -b - b + 10. Suppose -s + b*s = 1120. Is 35 a factor of s?
True
Let o be 0 + 0/(-2) - -25. Let h(u) = -4*u + 0*u**2 - u**2 + o*u**3 - 24*u**3. Does 3 divide h(3)?
True
Let f = 639 + -112. Does 31 divide f?
True
Let h = 140 - -1358. Does 14 divide h?
True
Let m(k) = k**3 + 4*k**2 - k + 3. Let r be m(-4). Let h = 175 - r. Is 42 a factor of h?
True
Suppose -5*j - 4*b + 6146 = 0, -9*b + 11*b - 6148 = -5*j. Is j a multiple of 10?
True
Suppose 0 = 4*p - 0*p + 2*d + 10, -1 = 4*p - d. Let b be (p - -1)/(-1) + -60. Is 5 a factor of 4/(-6) - b/9?
False
Let c = 52 - 20. Suppose -t = p - 4*p + c, -4*p + 2*t + 46 = 0. Is p a multiple of 5?
False
Let j = -1087 + 1776. Is j a multiple of 55?
False
Let d be (-2)/(-4)*(-6)/12*-848. Let z = d - 117. Is z a multiple of 19?
True
Let i(o) = 4*o**2 + 4*o**2 - 192 + 189 - 2*o. Is 14 a factor of i(4)?
False
Let g = -2971 + 4420. Is g a multiple of 69?
True
Suppose -r - 322 - 789 = -4*i, -569 = -2*i + 5*r. Is i a multiple of 23?
False
Suppose 0 = -3*v - l + 4*l, -v - l = -6. Suppose -v*u + 60 = -2*u. Suppose 12*r = 10*r + u. Does 7 divide r?
False
Let a be (15 - 12/(-3)) + -4. Suppose -l - 12 = 3*l. Is (110/a)/((-1)/l) a multiple of 11?
True
Let p = -19 + 21. Does 12 divide (4 - 5)/(p/(-26))?
False
Let y(x) = 131*x - 185. Is y(10) a multiple of 25?
True
Suppose -3*c - y - 83 = 0, 0*c - 2*y = -4*c - 114. Let p = 116 - c. Is p a multiple of 19?
False
Let a be 7 + -3 - (-4 + 4 - -3). Is (-17 + a)*(-162)/24 a multiple of 10?
False
Is 18 a factor of (-4)/(-26) + 19338/39?
False
Let k(n) = n - 31. Let i be k(21). Let v(j) = -7*j + 10. Does 16 divide v(i)?
True
Suppose 4*u - 2*u = -4*a - 48, 5 = -a. Let c(y) = -y**2 - 20*y - 11. Is 26 a factor of c(u)?
False
Let l be ((-6)/((-144)/(-78)))/(1/(-8)). Suppose l = -4*z + 114. Does 11 divide z?
True
Suppose -p = -13*p + 1920. Is p a multiple of 27?
False
Does 9 divide (-5 - -10 - 1) + 2*582?
False
Let g(y) = 2*y + 11 + 5 - 3*y. Let f be g(11). Suppose f*h - 88 = -23. Is 13 a factor of h?
True
Let r = 470 - 470. Suppose -2*z + 0*q + 16 = -2*q, -5*z = q - 10. Suppose r = -y - z*y + 216. Does 10 divide y?
False
Suppose 16 = 3*c - j, c = -c - 4*j - 8. Suppose -12 = 2*x + c*x. Is 9 a factor of (-3)/x*(-468)/(-27)?
False
Does 2 divide 2/14*-1 - (-495)/35?
True
Suppose -4*t + 12 + 4 = 0. Suppose t = -g + 100. Does 37 divide g?
False
Let w = -14 - -18. Suppose 2*j - 47 = -k + 38, 0 = -w*k - 5*j + 355. Is k a multiple of 17?
False
Suppose 6 = 4*s - 6. Suppose s*v - 5*v + 24 = 0. Let c = v + 25. Is 12 a factor of c?
False
Let k be (54 + -4)*(-48)/(-15). Is 32 a factor of ((-18)/2)/((-15)/k)?
True
Let g be (-10)/(-8) - (-9)/12. Let x be 21 - (g - (-3 + 2)). Suppose 4*s - 70 = x. Is 19 a factor of s?
False
Let c = 10 + 5. Suppose -2*q - 3*w + c - 4 = 0, 3*q - 9 = 3*w. Suppose k + 47 = 2*g, 4*g - q*k = -0*k + 96. Is g a multiple of 10?
False
Let b = 1744 + -1177. Is b a multiple of 21?
True
Let j be 22/(-77) + 14066/(-14). Let t = -603 - j. Suppose t = 5*p + 32. Does 18 divide p?
False
Let x(c) = -8*c - 42. Does 78 divide x(-15)?
True
Let b(t) = t**3 + 3*t**2 + 2*t + 92. Is 6 a factor of b(0)?
False
Let l be ((-112)/(-6))/(10/15). Suppose -2*a + 2*n + 0*n + l = 0, -n + 58 = 5*a. Is 6 a factor of a?
True
Suppose 138*u = 130*u + 1048. Does 30 divide u?
False
Let x = -16 - -12. Let k(m) = 2*m**2 + 6*m + 10. Is 9 a factor of k(x)?
True
Suppose 4*p + 29 + 11 = 0. Let l = p - -17. Is 2/l - 1896/(-28) a multiple of 17?
True
Let b = -513 - -676. Is 65 a factor of b?
False
Suppose -11*v + 13904 = 11*v. Is 8 a factor of v?
True
Suppose -879 = -3*a + 5*y + 1076, 2*y = -a + 670. Is a a multiple of 55?
True
Suppose -2*d = 6*h - 2*h - 22, 0 = -5*h + 3*d + 11. Suppose -5*k + 129 = -176. Suppose -255 - k = -h*u. Does 10 divide u?
False
Let w be ((-8)/(-60)*-5)/(2/39). Let c = w + 57. Does 44 divide c?
True
Let a(c) = c**3 + 8*c**2 - 79*c - 36. Is 23 a factor of a(11)?
False
Suppose 0 = y - 2*s - 3*s - 1210, -4*s = -y + 1206. Is 14 a factor of y?
True
Suppose -1364 = -4*f + r, f - 4*r - 273 - 68 = 0. Does 31 divide f?
True
Suppose -5*v = 5*u - 1775, -u + 10*v = 14*v - 370. Does 70 divide u?
True
Is 41 a factor of ((-14)/(-6) - -3)*123/4?
True
Suppose 5*k = 3*k - 74. Let o = -25 - k. Does 2 divide o?
True
Let s(v) = 17*v**2 + 2*v - 7. Does 8 divide s(-5)?
True
Is (-6 - 5380/(-15)) + (-2)/(-6) a multiple of 5?
False
Let x be ((-10)/6 + 1)*-1*3. Is 16 a factor of (128/(-48))/(x/(24/(-1)))?
True
Let c = 283 - 128. Is c a multiple of 32?
False
Let s = 2 - 12. Let t be (4/10)/(2/s). Let u(q) = 4*q**2 - 2*q - 1. Is u(t) a multiple of 6?
False
Suppose 41 = z + 4*v, 2*z + 2*v - 70 = -3*v. Let p = z + 90. Is 10 a factor of p?
False
Suppose 5*s - 7 = 4*v, -17 = 4*v + 2*s - 3. Let w(k) = 17*k. Let f be w(1). Let u = v + f. Is u a multiple of 14?
True
Let x(u) = u**2 + 13*u - 3. Let t be x(-15). Suppose -3*k = 2*z - 25, 5*z + 4 + t = k. Is 332/k + (-2)/11 a multiple of 15?
True
Suppose 2*j + 2*j + 12 = 0. Let r = j - -13. Suppose -5*d + 20 + r = 0. Does 6 divide d?
True
Suppose -2*i - j + 149 = 4*j, -4*j - 12 = 0. Let a = i - 63. Is 14 a factor of a?
False
Suppose 13 + 2 = o. Let g be (-4)/2 + (o - 8). Suppose -g*j + 231 = 31. Is 10 a factor of j?
True
Suppose 2*h = 3*h - 3. Let x(n) = n**3 - n**2 - 4*n + 1. Let k be x(h). Does 6 divide 12/k*1*7?
True
Let b be 3*1 - ((-18)/9)/2. Suppose 208 = b*n - 4*a, 5*n - 220 = a - 6*a. Is 8 a factor of n?
True
Let d(n) = -n**3 + 27*n**2 + 34*n + 56. Does 7 divide d(28)?
True
Let j = -705 + 710. Let b be (1 + -3)/(-2) - -1. Suppose -u + j*u - 432 = 2*f, 224 = b*u + 3*f. Is 23 a factor of u?
False
Let c(k) = 9*k - 40. Is c(10) a multiple of 10?
True
Suppose 3*r + n = 3*n + 260, 2*r + 3*n = 195. Let x = -156 + r. Does 6 divide ((-8)/(-12))/((-2)/x)?
False
Let l(j) = -38*j - 1. Let x be l(-2). Suppose -5*c - 15 = -x. Suppose -8*p + c*p = 96. Does 20 divide p?
False
Let d(a) = a**2 - 3*a + 2. Suppose 2*i + 4 = 4*i. Let r be d(i). Suppose -6*q + 4*q - 38 = -3*l, -3*l + 5*q + 32 = r. Is l a multiple of 4?
False
