t l be m/(-3)*(-1)/1. Is 5 a factor of (-2)/(-4)*10/l?
True
Let o = 1 + -12. Let x be -4 - 11/(o/24). Is 4 a factor of (-312)/(-20) - (-8)/x?
True
Suppose 0 = -3*x + 3152 - 1157. Is 35 a factor of x?
True
Suppose -9*g + 5*g + 16 = 0, 4*g - 1156 = -4*r. Does 19 divide r?
True
Let r = -51 + 17. Let p = 38 + r. Is p a multiple of 3?
False
Suppose -d = 5*z - 8, 4*d + z = 75 - 5. Suppose -4*x = -2*x - d. Does 3 divide x?
True
Let u = -217 - -2560. Is u a multiple of 20?
False
Let u = 372 + -260. Is 4 a factor of u?
True
Let f(t) = -t**2 - 10*t - 13. Let a be f(-6). Let u = a - 25. Is ((-34)/(-6))/(u/(-168)) a multiple of 17?
True
Suppose -8 = -2*i - 0*i. Suppose -i*m - q + 22 = 2, 3*m - q = 8. Suppose 3*r + 14 = 2*o - 34, m*r + 72 = 3*o. Is o a multiple of 8?
True
Let h = -28 - -94. Is h a multiple of 6?
True
Let q(j) = 28*j - 13. Let n be q(2). Suppose -n - 56 = -t + 4*g, 4*t - 311 = -g. Is 17 a factor of t?
False
Suppose c - 5*n = 22, 2*n + n = 5*c - 110. Suppose d + d + 4*w = c, -d + w + 11 = 0. Is 9 a factor of d?
False
Let p(j) = j**2 + 9*j - 40. Is p(4) a multiple of 3?
True
Let h(p) = -p**3 + 6*p**2. Let o be (-16)/6*(-45)/20. Let d be h(o). Suppose -2*a + 98 = -d*a. Does 16 divide a?
False
Suppose 2*y - 17 = 15. Let c be (52/y)/((-1)/(-16)). Suppose -f - c = -4*w, 4*f - 3*f = -3*w + 39. Does 13 divide w?
True
Let g be (-272)/10 - (-1)/5. Let f = -23 - g. Suppose 0 = -3*q - f*r + 90, q = 2*r + 24 - 4. Is 13 a factor of q?
True
Suppose 4*k = -7 + 23, 12 = -5*t + 3*k. Does 14 divide 1 + -3 + 86 + t?
True
Suppose o + 5*n + 1 + 1 = 0, 19 = 5*o - 4*n. Suppose 2*b - o*a = 75 + 9, -2*b + a + 76 = 0. Is b a multiple of 17?
False
Let q = -177 + 361. Let v = 259 - q. Is 25 a factor of v?
True
Let s = 48 + -45. Does 14 divide (-1)/(s*3/(-603))?
False
Suppose 0 = i + i - b - 1181, 5*i - 4*b = 2948. Is 16 a factor of i?
True
Let n(l) = l**3 - 5*l**2 - 7*l - 4. Let a be (-3)/21 - (-387)/63. Let s be n(a). Let t = s - -25. Does 15 divide t?
True
Suppose 0*j = 5*j + 3*y - 583, 0 = -5*j + 2*y + 603. Suppose -147 = -7*w + j. Is w a multiple of 25?
False
Let h = -1403 + 2315. Is 12 a factor of h?
True
Let x(k) be the first derivative of k**4/4 + 5*k**3/3 - 5*k**2/2 + 6*k + 10. Is 14 a factor of x(-5)?
False
Let i(q) = 0 + 0 + 1 - 5 - 19*q. Is i(-5) a multiple of 7?
True
Let y = 15 + -14. Is (-6 - 14)/(y - 3) a multiple of 5?
True
Let s(h) = -h**3 - 11*h**2 - 22*h + 28. Is s(-10) a multiple of 7?
False
Let y = -174 - -262. Is y a multiple of 52?
False
Suppose -160 = 5*t + 2*w, 2*t + 3*w - 29 = -82. Let y be (-17)/t + (-69)/(-2). Let j = 59 - y. Is 6 a factor of j?
True
Let q be 5190/27 + 10/(-45) + 0. Suppose -4*b + 90 = -p - 105, 4*b - 4*p = q. Does 7 divide b?
True
Let w(o) = -26*o + 179. Does 20 divide w(0)?
False
Suppose 2*s - 4*s + 5*d + 16 = 0, -5*d = 2*s + 4. Suppose -s*b + 4*j + 130 = -72, 340 = 5*b - 5*j. Does 14 divide b?
True
Let c be (-2)/((-10)/(-15))*-1. Suppose 0 = l + v - 21, -2*l + 70 = c*l - 2*v. Is l even?
True
Let o(h) = -158*h - 36. Is o(-2) a multiple of 10?
True
Let i(t) = t**3 - 7*t**2 + 6*t + 8. Let n be i(6). Suppose 706 + 366 = n*p. Is 19 a factor of p?
False
Let q(s) = s**3 + 1. Let f(w) be the first derivative of -w**4 + w**2 + 4*w + 1. Let r(g) = f(g) - 3*q(g). Is r(-2) a multiple of 15?
False
Is 21 a factor of (-6)/16 + (-13446)/(-16)?
True
Let l(c) = c**3 + 7*c**2 + 5*c - 3. Let h = -7 + -11. Let f be (-6)/(-27) - (-112)/h. Does 3 divide l(f)?
True
Suppose 0 = -3*i + 23 - 8. Suppose w - i*w + 8 = 0, 5*w = 4*u + 6. Does 6 divide u/(291/72 - 4)?
True
Suppose 3*w + 1848 - 2415 = 0. Is w a multiple of 21?
True
Let l = -24 + -21. Let o = -10 - l. Does 7 divide o?
True
Suppose 6*f = 2*f. Let b(i) = 2*i**2 + i - 1. Let u be b(-2). Suppose -1 = a, -u*c + f*c - 5*a = -175. Does 18 divide c?
True
Let v(j) = j - 2. Suppose 2*a + 4 + 0 = 0, 0 = -3*o - 4*a - 11. Let h be v(o). Is 8 a factor of -4 - -3*(-52)/h?
True
Let z(f) = 319*f + 18. Is z(3) a multiple of 25?
True
Let q be (5 - 3 - -3) + -1. Suppose 0 = 2*t + 2*t - 2*i - 8, -t - q*i = -2. Suppose -t*d = -5*d + 2*c + 40, 3*c - 59 = -4*d. Does 7 divide d?
True
Let l be 402 + (1 - 0)*(-2 - 1). Suppose 5*z = -3*p + 391, l = 3*p + 6*z - 3*z. Is 7 a factor of p?
False
Suppose 4*i - 8*i + 196 = 0. Suppose -i - 55 = -x. Does 26 divide x?
True
Let k(j) = 8*j + 20. Let z be k(-2). Let c(l) = -3*l**3 - 4 - 2*l**2 + 4*l**3 + 2*l - 4*l. Does 10 divide c(z)?
True
Let g = 1 + 4. Suppose 4*o + 17 = g*x, 0 = -6*o + o + 10. Suppose 3*z - 110 = -x. Does 17 divide z?
False
Let i = 284 - 163. Let z = -71 + i. Does 5 divide z?
True
Let y(s) = 909*s + 238. Is y(3) a multiple of 85?
False
Suppose 2*o - 4*t + 9 = -1, 2 = t. Does 2 divide 4 + o + 0/2?
False
Let l be 377/117 + 2/(-9). Suppose 5*d - d + l*o = 79, 0 = -5*d + 4*o + 91. Let b = 15 + d. Is 34 a factor of b?
True
Let y(z) = z**3 + 4*z**2 + 6*z + 6. Suppose 4*p + 0*p - 4*m + 28 = 0, -5*p + 4*m - 32 = 0. Let j be y(p). Let c = -6 - j. Is 11 a factor of c?
False
Is 21 a factor of (-2)/((-990)/735 - (-4)/3)?
True
Suppose 2*k + k + 2*q - 322 = 0, -5*q + 116 = k. Suppose 5*x = 11*a - 9*a - 92, 2*a + 2*x = k. Is a a multiple of 51?
True
Suppose -6 = -3*t, 0 = -4*q + 5*t + 922 + 1352. Is q a multiple of 25?
False
Is 16 a factor of -1*-272*((-11)/(-1) + 3)?
True
Let g(q) = 31*q + 19. Is g(44) a multiple of 33?
False
Suppose -8*k + 12 = -6*k. Is 10 a factor of 189/k*8/6?
False
Suppose 0 = -4*r - 499 + 4895. Does 7 divide r?
True
Let z(r) = 12*r**2 + 26*r + 1. Is 4 a factor of z(-6)?
False
Let p(k) = 13*k - 4. Suppose a - 2*a = -4*l - 7, -2*l - 2 = 0. Let c be p(a). Does 17 divide 3 + -2 + c - 2?
True
Suppose -4*y - 8 + 20 = 0. Let k(v) = 59*v**2 + 3*v. Let q be k(-2). Suppose -y*o + q = 2*o. Does 23 divide o?
True
Suppose -5*t + t = -20. Suppose -49 - 73 = -t*s + i, 0 = s + 2*i - 20. Is s a multiple of 4?
True
Let f(a) = a**3 + 10*a**2 - 14*a + 14. Let i = 24 + -34. Is 27 a factor of f(i)?
False
Suppose 4*w = 133 + 147. Does 8 divide 1 + -1 + (w - 8/(-2))?
False
Let b = -22 + 31. Is (b - -5)/(3/30) a multiple of 28?
True
Let q(k) = 18*k - 4. Does 5 divide q(18)?
True
Let z(m) be the second derivative of -1/20*m**5 + 6*m - 3/2*m**2 + 7/6*m**3 + 0 - 3/4*m**4. Does 27 divide z(-10)?
True
Let i be 1*-3 - (-4 - -1). Let p = -20 + 24. Let d = i + p. Is d a multiple of 4?
True
Suppose -3*n + z + 1395 = 0, 5*n - 2356 = -2*z - 42. Is 4 a factor of n?
True
Let d(g) be the second derivative of 2/3*g**4 + 0 + 10*g - 1/6*g**3 + 0*g**2. Is 15 a factor of d(2)?
True
Let y(b) = -2*b - 4. Let w be y(6). Let r = w - -11. Let t = 15 + r. Is 10 a factor of t?
True
Let v = 959 - -466. Is v a multiple of 14?
False
Suppose 0*g + 2*g - 5*b = 0, -3*b = -4*g. Let n(u) = -7 - 2*u + g*u + 19 + 5. Does 16 divide n(-13)?
False
Suppose 29*a = 25*a + 2088. Is 18 a factor of a?
True
Let v(k) = 134*k**2 + 17*k - 9. Does 96 divide v(3)?
True
Is 21/(-84) + 1053/4 a multiple of 9?
False
Let w be (-1 + (-4 - -4))*-11. Suppose w*a = 6*a + 125. Let l = a + -9. Is l a multiple of 7?
False
Let d(u) = 4*u + 159. Let l be (-4)/(-60)*3 - 3/15. Is 24 a factor of d(l)?
False
Suppose 0 = -2*a + 6*a. Let y(h) = -h + 8. Let i be y(a). Is 3 a factor of (-2)/i - 360/(-32)?
False
Suppose 0 = t + 7*h - 2*h + 5, -3*h = 5*t + 3. Does 21 divide 4 + (t - -83) + -3?
True
Let d(w) = -w**3 + w**2 + w + 6. Let s be d(0). Let f be 6/18 + 610/s. Suppose -k + f = 2*k. Does 34 divide k?
True
Let v = 41 - -9. Suppose 3*x - 5*x - v = 0. Let b = -12 - x. Is 13 a factor of b?
True
Is (2/(-3))/((-25)/(14175/18)) a multiple of 3?
True
Suppose 2*u + u - 1644 = 0. Is 2/(-13) + u/13 a multiple of 14?
True
Let c(d) = d**2 + d + 12. Let f(t) = -t**2 - 11. Let j(a) = 4*c(a) + 3*f(a). Is 44 a factor of j(13)?
False
Let h be 64/(-24)*(-6)/4. Suppose 0 = -h*i + 4*b - 4 + 28, -2*i - 2*b - 4 = 0. Suppose i*v - 116 = -38. Is 13 a factor of v?
True
Let h = -126 - -168. Is 3 a factor of h?
True
Suppose 4*m = 14 + 2. Suppose -2*s + 10*j = 5*j - 12, 4*j + m = -4*s. Suppose s + 13 = 2*o. Is o a multiple of 2?
False
Let r(q) = q**2 + 9*q - 2. Let a be r(13). Let l = a + -15. Is l a multiple of 44?
False
Suppose 69102 + 59286 = 52*b. Is 48 a factor of b?
False
Suppose -15 = -5*l - s, 4*l - 12 = s + 2*s. Suppose 0 = l*j - 2*j - 56. Suppose -z - 84 =