alse
Let c(l) = -84*l + 4417. Does 181 divide c(-17)?
False
Suppose -4*u - 5716 = -3*r - 23418, 2*u - 3*r - 8854 = 0. Does 14 divide u?
True
Let p(u) = 1009*u**2 - 2. Let k be (0/6 - -3)*3/(-9). Is p(k) a multiple of 17?
False
Let c = -6023 + 6989. Is c a multiple of 14?
True
Suppose 221*u = 1925666 + 910648. Does 18 divide u?
True
Suppose -y + l = -4, -5*l + 6 - 18 = -3*y. Suppose s = -y*j - 4*s + 684, -146 = -j + 5*s. Let w = j - 119. Is w a multiple of 47?
True
Let p = 392 + -273. Let u = p - -53. Does 17 divide u?
False
Let w be 25/5*(-2 + 7). Let i(b) = 0*b**2 + 5*b + 0*b + b**2 + 11*b - w. Is i(-19) a multiple of 4?
True
Let c(s) be the first derivative of s**3 + 41*s**2/2 + 4*s - 2. Is 6 a factor of c(-24)?
False
Is 32 a factor of (-680961)/(-115) + (-21)/15?
True
Suppose 1 = -5*z + 6*z, 0 = -3*f + 2*z + 81235. Does 49 divide f?
False
Let s be (-4 + (-76)/(-16))*(-20)/(-3). Suppose -770 = s*q - 11565. Is q a multiple of 17?
True
Suppose -2*o = 5*p - 2030, -3*o + 71 + 322 = p. Suppose 4*f - 160 = p. Suppose -f = -c - 48. Does 37 divide c?
False
Is 11/(-33)*-24063 + 5/((-10)/(-8)) a multiple of 69?
False
Let y(u) = -2*u**3 - 17*u**2 + 22*u - 12. Let d be y(-13). Let b = -730 + d. Does 8 divide b?
False
Let q(k) = -28*k**3 + 2*k**2 + 13*k + 20. Let t be q(-2). Let b = -6 + t. Does 20 divide b?
True
Let q be -2*2 - (7 + -8). Let u(m) = -m**3 - 3*m**2 + 2. Let s be u(q). Suppose -s*g + 6*g - 5*d = 200, -4*d = 0. Is 6 a factor of g?
False
Let b be (-3)/((-21)/(-49)) + -2. Let c(r) = 3*r**2 - 6*r + 11. Let x(h) = -2*h**2 + 6*h - 11. Let g(n) = 3*c(n) + 4*x(n). Does 3 divide g(b)?
False
Let d = 120 - 120. Let v = d + 7. Suppose -54 = -v*q + 261. Is q a multiple of 15?
True
Let x = -8 - -11. Suppose -4*g = 4*z - x*z - 61, -2*z - 46 = -4*g. Suppose -g*j = -6*j - 176. Is j a multiple of 14?
False
Suppose 2*x = 3*x + 1. Let q be 24/30 + x + (-1)/(-5). Suppose 63 = -5*z + 2*w + 406, -5*z - 5*w + 350 = q. Is 8 a factor of z?
False
Let x(p) = -17*p**3 - 4*p**2 + 5*p + 3. Let r be x(2). Let o = r + 321. Is 11 a factor of o?
False
Suppose -60 = -16*o - 12. Suppose o*p - 322 = -11*p. Is 4 a factor of p?
False
Suppose -4*p + 443 = -117. Suppose 3*f = -92 + p. Is 4 a factor of f?
True
Let s(u) = -u + 1. Let b be s(2). Let r(o) = -10*o + 36. Let v(g) = g + 1. Let j(t) = b*r(t) + 3*v(t). Is j(5) a multiple of 16?
True
Suppose 9*i + q - 16638 = 7*i, 24957 = 3*i + q. Does 17 divide i?
False
Suppose -2*y = 75*b - 77*b + 102148, -b + 51106 = 3*y. Is 20 a factor of b?
False
Let n = 26 - 23. Suppose 3*q + 9 = -3*y, -n*y + q + 0*q + 11 = 0. Suppose 3*g - 564 = -3*o, -4*g = y*o - 0*g - 382. Does 37 divide o?
True
Suppose 20*n = 40 + 100. Suppose 0 = -8*c - n*c + 930. Is c a multiple of 17?
False
Let j(l) = -29*l**2 + 2*l + 3. Suppose 3*a - 2*a = -4*d - 5, 0 = -4*d - 3*a - 7. Let m be j(d). Let o = m + 54. Is 8 a factor of o?
False
Suppose 125*c - 3714 = 119*c. Suppose c = q + 2*h, 4*q + 3*h = 7*h + 2500. Does 12 divide q?
False
Suppose x + 2 + 1 = 0, 0 = i + 3*x + 3. Suppose i*o - 1128 = 3*o. Suppose -5*k = -h - o, 2*h - 4 = k - 72. Does 19 divide k?
True
Let l = 395 - 389. Does 53 divide 212/(l/60*5)?
True
Let v(i) = i**3 + 68*i**2 - 157*i + 1052. Does 19 divide v(-70)?
True
Let l = 18 - 5. Let h be (-326 + l)*(1 - 4/2). Let w = -153 + h. Is w a multiple of 20?
True
Let f be (-3)/(3/(-8)) - -1. Let a = 1324 - 832. Suppose -13*y + a = -f*y. Does 41 divide y?
True
Suppose 2567 = n + 2*c, 0 = 4*n + 31*c - 27*c - 10264. Is 15 a factor of n?
True
Suppose 71730 = 3*m + 84*g - 89*g, -2*m + 47818 = -3*g. Is m a multiple of 9?
False
Suppose x + 3*l - 6860 = 0, -11699 = -4*x + 4*l + 15645. Is x a multiple of 86?
False
Let i be ((-3)/4)/((-33)/132). Suppose 1208 = i*w + 2*d, 2055 = 5*w - 13*d + 8*d. Does 5 divide w?
False
Suppose 0 = -5*u + 82 + 278. Let l = 103 - u. Let o = 67 - l. Is o a multiple of 10?
False
Suppose -3 + 3 = -9*j. Suppose 3*l = -p - 1 + 6, j = -l + p + 3. Let r(c) = 42*c - 5. Is r(l) a multiple of 11?
False
Let m be (-4)/(-18) - (-1)/((-9)/(-16)). Suppose 6*x - 12 = m*x. Suppose -b - x - 10 = -y, 0 = -4*y - 2*b + 22. Is y even?
True
Suppose 0 = -d - 3*h + 4923, 99*d - 97*d - 4*h = 9816. Is 21 a factor of d?
True
Suppose -5*w - 2*f = -16384, 6 = 220*f - 217*f. Is w a multiple of 13?
True
Let s(f) be the first derivative of -3*f + 1/3*f**3 - 28 + f**2 + 35/2*f**4. Is 10 a factor of s(1)?
True
Let s(f) = -f**2 + 30*f - 153. Let d be s(7). Suppose -4*v = h - 290, -d*h + 13*h - 10 = 0. Is v a multiple of 9?
True
Let x = -2071 + 2083. Let w(s) = 22*s - 37. Let o(z) = -11*z + 18. Let v(r) = 5*o(r) + 3*w(r). Is v(x) a multiple of 37?
True
Suppose 3013 - 22417 = -28*m. Is m even?
False
Let r(q) = 23*q**2 + 4*q + 5. Let x be r(-2). Let c = -108 - -182. Let k = x - c. Does 15 divide k?
True
Suppose -37*v - 10 = -42*v. Suppose -4*h + 6*h - 104 = -g, -v*h = 3*g - 324. Does 8 divide g?
False
Let t(u) = u**2 - 12*u + 26. Let h be t(10). Let r(n) = 12*n**2 - 2*n + 60. Does 20 divide r(h)?
True
Let j = -58 + 89. Suppose j = -x + 104. Suppose 3*h = x + 47. Is h a multiple of 3?
False
Suppose -3145 = -5*n + 4*t, 4*n + 57*t - 2517 = 60*t. Suppose -5*u - 5*c + 1520 = 0, 0 = 3*u - 4*c - 293 - n. Does 9 divide u?
True
Suppose -2*i + 2*b = -41206, 69*i + b = 71*i - 41207. Is i a multiple of 202?
True
Let z(r) = -r**3 + 5*r**2 + 5*r + 10. Let t be z(6). Suppose 2*x = n + 9, -2*n = t*x - 5*n - 17. Is 8 a factor of ((-264)/20)/((-1)/x) + -2?
True
Let a be (-6)/4*(-5 + 28/12). Suppose a*n - 310 + 48 = -5*h, -3*n + 9 = 0. Suppose 3*t = g - 29, -g + 2*t - h = -3*g. Is g a multiple of 7?
False
Let u(b) = -2*b**3 - 3*b**2 - 2*b - 3. Let n be u(-2). Suppose 8 = 2*y, 2*y + 174 = n*s - 138. Let g = s + 8. Does 36 divide g?
True
Is 5 a factor of 31153 + (-7 - 18 - -14)?
False
Let g = -792 + 1416. Suppose -4*n - g = -6*n. Does 11 divide n?
False
Let a = -49 - -61. Suppose -13 - a = -5*k. Is 14 a factor of (-35)/k*10*(-2)/5?
True
Suppose 18080 + 26639 = 135*q - 83396. Does 27 divide q?
False
Let y = 30 - 28. Suppose -y*i = -7*i + 4*u - 2, 4*i = -3*u - 14. Does 14 divide (44 - i)*9/9?
False
Suppose -9*p - 111 + 336 = 0. Let w(h) = -h**2 + 25*h + 7. Is 7 a factor of w(p)?
True
Suppose k = 4 + 1. Suppose q - 138 = -k*p, 3*p + 3*q + 0*q = 90. Suppose b + 5 = p. Is 11 a factor of b?
True
Suppose -2*j - 7*d = -5*d - 1464, -3*j - 4*d + 2200 = 0. Suppose -2660 = -3*b - j. Is 46 a factor of b?
True
Let b(p) = p**2 - 8*p - 23. Let z be b(11). Let t(f) = -3*f**2 + 43*f + 11. Is 11 a factor of t(z)?
False
Let k = 163 - 240. Let i = k + 323. Does 31 divide i?
False
Suppose -219*u - 112*u + 156563 = 0. Is u a multiple of 68?
False
Let s = -4132 + 4135. Let o(k) = -k**3 - 5*k**2 - 2*k - 7. Let f be o(-5). Suppose -s*q + f*v = q - 59, 2*q + 3*v = 43. Is q a multiple of 7?
False
Let t(k) be the first derivative of 25*k**3/3 + 22*k**2 + 184*k - 213. Is 20 a factor of t(-6)?
True
Let a = -840 - -831. Is -91*(1 + -2 + a - -1) a multiple of 39?
True
Suppose 5*o - 3*p = 121, 83 = 5*o - 5*p - 42. Suppose 0 = 5*d - 5*f - 80, -2*d + 6*f + 18 = 11*f. Let k = d + o. Is 16 a factor of k?
False
Let b be ((-5)/((-175)/21))/(1/15). Is 16 a factor of (b - 866)/(4/(-4))?
False
Let g(b) = 25*b**2 - 2*b - 2. Let t be g(2). Suppose 0 = -2*a - 0 + t. Suppose -a*z + 144 = -45*z. Does 18 divide z?
True
Let g be 12/(4 + 222/(-57)). Let n = g - 99. Let s(u) = -u**3 + 14*u**2 + 20*u + 3. Does 8 divide s(n)?
False
Suppose 5*u - 15903 = 32*u. Let b = 840 + u. Does 4 divide b?
False
Suppose 4*c + 4 = 0, -3*h - 9*c + 7357 = -4*c. Is 35 a factor of h?
False
Let t(s) = 4*s**2 + 604*s - 10. Is 86 a factor of t(28)?
True
Suppose 0 = -3*d + 2*m - 109 + 7, 5*d = 5*m - 175. Let c = 32 + d. Suppose -27*y + 26*y + 30 = c. Does 24 divide y?
False
Suppose 19*f + 4037 = 68181. Does 10 divide f?
False
Let h be (66/5)/(16/80). Let f = h - -58. Suppose 3*n = 3*u - 90, 0*u - 3*n - f = -4*u. Is u a multiple of 34?
True
Let r = -63 + 63. Suppose -y = r, -5*w + 5*y = -81 - 54. Suppose -i = -2 - w. Is 22 a factor of i?
False
Suppose 84*o - 285251 - 179157 = -151424. Is o a multiple of 81?
True
Let s(q) = 16*q - 260. Let t(c) = -12*c + 38. Let r be t(1). Is s(r) a multiple of 10?
False
Let p = -232 - 321. Let s = -202 - p. Does 27 divide s?
True
Is 58 a 