 = 5*b - 207, 3*o - b + 5*b = 307. Suppose -w = 2*w + 4*c - 59, -o = -5*w - r*c. Is 7 a factor of w?
True
Suppose 3*o = -5*y + 51, -4*y = -o - 0*o. Let p(d) = d**2 + d - 5. Is p(o) a multiple of 19?
False
Let a(k) = 79*k + 71*k - 155*k + 33. Is 29 a factor of a(-5)?
True
Let s be (-858)/(-13) + (1 - -3). Let z = 148 - s. Does 16 divide z?
False
Let g = 1601 + -527. Let d be ((-4)/(-6))/(4/g). Let s = -77 + d. Is 34 a factor of s?
True
Let u be (1 - 13)*(-5)/10. Let y(p) = 3 + 6 - u*p - 6*p - 5. Is y(-3) a multiple of 10?
True
Let s(r) = r**2 + 6*r + 2. Let m be s(-6). Let f(x) = x**3 - 2*x**2 + 4*x - 3. Let k be f(m). Let n(i) = 2*i**2 - 7*i - 2. Does 13 divide n(k)?
True
Suppose -4*g - 705 = 179. Let v = g + 312. Does 7 divide v?
True
Let w(j) = j + 8. Let d be w(-4). Suppose d*c + c = -3*x + 351, -4*x = 4*c - 284. Is c a multiple of 13?
False
Let b = -8 - -12. Suppose -5*c = 3*v - 0 - 12, -16 = -4*c + b*v. Suppose 15 = 4*z - c*z. Does 15 divide z?
True
Suppose 0 = 55*g - 21169 - 20576. Is 33 a factor of g?
True
Let h = 33 + -31. Let c be 0/(h + -1 - 3). Suppose 0*o + 4*o - 5*u - 215 = c, 170 = 3*o - 2*u. Is 15 a factor of o?
True
Let s = -182 + 106. Let d = s - -90. Does 4 divide d?
False
Let c = -553 + 855. Does 13 divide c?
False
Let h be (-288)/(-60) - 3/(-15). Let k = 2 + -2. Suppose k = 4*u - 4*i - 20, u - h*i = 2*u - 17. Is u a multiple of 7?
True
Let f be 2/(-8)*(-7 - 1). Suppose -2*z + 41 = f*w + w, 0 = 2*w - 4*z - 6. Does 5 divide w + 2 - (-1 - 2)?
False
Suppose -1579 - 1490 = -9*r. Does 11 divide r?
True
Suppose -4*i - 5*z + 3 = 0, 3*z + 4 = i - 1. Let o be (-370)/(-20) + i/(-4). Suppose 3*w + 5*r = 58, 3*w - 5*r = 20 + o. Is w a multiple of 5?
False
Suppose -72 = -5*d + 3*d. Let a = d - -75. Is a a multiple of 37?
True
Suppose 6*r - 1 = 5*r. Is (22/1)/(r/2) a multiple of 11?
True
Let s = 1734 + -761. Suppose -5*t + s = 353. Is t a multiple of 31?
True
Suppose -3*a = 4*b - 7868, 4*a + 0*a = -2*b + 3924. Is b a multiple of 14?
False
Suppose 39*c = 17*c + 45430. Is c a multiple of 59?
True
Suppose g + 2*s + 3*s - 278 = 0, -5*g = -s - 1338. Suppose g = 4*p - 252. Does 8 divide p?
False
Is 5384*((-91)/28)/(-13) a multiple of 16?
False
Let k(r) = r**3 + 8*r**2 + 7*r. Is k(-5) a multiple of 10?
True
Let j(i) = i**2 + 5. Let q be j(4). Suppose -2*x + 4 = 2*u, 3*u - q = x + x. Is 16/(-24) - 125/x a multiple of 11?
False
Let q = 2 + -8. Is 4 a factor of (0 + q)/3 + 21?
False
Is 11 a factor of 592 + 5 + (5 - 1)?
False
Let y = 858 + -598. Is y a multiple of 20?
True
Suppose -148 = 18*u - 22*u. Suppose u = k - 9. Is 7 a factor of k?
False
Let h(u) = 16*u**2 - 10*u + 39. Is h(4) a multiple of 18?
False
Suppose -4*c + 9*c = -4*k + 2504, 2508 = 5*c + 3*k. Is 56 a factor of c?
True
Let a be (-1)/4 + (-9)/(-4). Suppose 4*j - a*t + 286 = 3*j, 4*j = -3*t - 1177. Let w = -185 - j. Does 29 divide w?
False
Let r(x) = 5*x - 21. Suppose 15 = 4*z - 2*m - 3, 3*z + 2*m = 24. Does 3 divide r(z)?
True
Suppose k = 12*s - 8*s + 474, 0 = -k - 4*s + 442. Is 5 a factor of k?
False
Let h(b) = -b**2 + 13*b - 12. Let g be h(9). Suppose -g = 4*f - 48. Is ((-54)/7)/(f/(-42)) a multiple of 27?
True
Is 2 a factor of ((-76)/(-57))/(1/30)?
True
Let y(j) = 2*j + 2. Let s be y(1). Suppose 5*d = -3*o + 154, s*o - o - 96 = -3*d. Does 13 divide d?
False
Let l(c) = 2*c + 1. Let q be l(3). Let x = q - -55. Does 13 divide x?
False
Suppose -3*y - 172 = -5*y. Suppose 2*w + 28 - y = 2*h, 4*h = 5*w - 144. Does 9 divide w?
False
Does 23 divide (-8)/14 + (25720/(-14))/(-2)?
False
Suppose -2*m + 22 = u, -u - 5*m = 2*u - 69. Suppose 85 + u = 4*j + a, -5*a = 4*j - 117. Does 8 divide j?
False
Let o(v) = 2*v + 20. Let z be (0 - 0) + (4 - 4). Is o(z) a multiple of 10?
True
Let n(b) = 38*b**3 + 3*b**2 - 5*b - 8. Let r(u) = 39*u**3 + 4*u**2 - 4*u - 9. Let l(v) = -4*n(v) + 3*r(v). Is l(-2) a multiple of 16?
False
Suppose 2*q = -2*i + 1296, -i + 5*q = -338 - 322. Does 50 divide i?
True
Let a(m) = -m**3 + 7*m**2 - 6*m - 52. Is a(-7) a multiple of 26?
True
Let s be 15*4/12*1. Suppose -f + s*f = -2*a - 26, -3*a + 4*f = 29. Does 5 divide ((-12)/(-3))/(-4) - a?
True
Let f = 102 - 66. Suppose -2*z - 22 = j, 2*z - 78 = 4*j - 0*z. Let n = j + f. Is 5 a factor of n?
False
Let l = 1309 - 847. Suppose -l + 42 = -7*r. Does 30 divide r?
True
Let f(d) = -d**2 + 7*d + 2. Let b be f(7). Suppose 0 = b*v + 2*y - 108, -4*v + 2*v + y = -114. Does 28 divide v?
True
Let a(q) = q**3 - 18*q**2 + 16*q + 18. Let z be a(17). Let d = z - -8. Suppose d*v - 4*v - 220 = 0. Does 17 divide v?
False
Let g(x) = 2*x + 32. Let q be g(-10). Suppose 99 + 213 = q*b. Is 19 a factor of b?
False
Let j(q) = -7*q + 5. Let l be j(0). Let r(d) = 20*d - 9. Does 27 divide r(l)?
False
Suppose -y - 5 = -l, -2*l = -y - 0*l - 10. Suppose y*i = -i. Suppose 6*u - 9*u + 42 = i. Does 8 divide u?
False
Suppose 2*y + 4*s - 20 = 0, s = -0*s + 1. Suppose 3*p + 4*b - 16 = 0, p + y*b - 20 = 3*b. Suppose 0 = 2*t - p*t - 180. Is 18 a factor of t?
True
Let a(g) = -4*g**3 + 7*g**2 - 4*g - 4. Let x be a(4). Let s = -115 - x. Let c = s + -29. Is c a multiple of 5?
True
Suppose 2*c - 1154 = 4*v, -3*c - 2*c = -5. Let a = v - -528. Suppose 36*y - 41*y = -a. Does 12 divide y?
True
Let u(b) = b**2 + 1. Let z(t) = 29*t**2 + 2*t. Let d(f) = -4*u(f) + z(f). Is d(2) a multiple of 25?
True
Let i = 395 + -287. Does 12 divide i?
True
Let x(u) = u**2 + 2*u. Let k be x(4). Let c be (k/(-5))/((-1)/30). Is 25 a factor of 2 + (-7)/((-21)/c)?
True
Suppose 142*x - 4524 = 103*x. Is x a multiple of 7?
False
Suppose 4 - 7 = -2*w - 3*l, 4*l = 4*w - 16. Let p = 4 - 2. Suppose -5*z = 2*m - 3*m - 139, p*m = w*z - 82. Is 14 a factor of z?
True
Suppose -16*m = 18*m - 86326. Is 13 a factor of m?
False
Let r(u) = -u**3 - 13*u**2 - 7*u - 9. Let v be r(-12). Let a = 80 + v. Does 8 divide a?
False
Let j be 6/(-3)*(1 + (-10)/4). Suppose -j*g = -722 - 73. Is g a multiple of 30?
False
Suppose 4*k - 84 = -3*m + 236, 5*k - 211 = -2*m. Is m a multiple of 12?
True
Let k(h) = h**2 + h + 4. Let n be k(-4). Let x = 79 - n. Let p = x + -43. Is 20 a factor of p?
True
Suppose -31*y + 13*y = -40050. Is 25 a factor of y?
True
Let u(r) = -7*r**2 - 8 - 3*r**2 + 9*r**2 + 8*r. Let k be u(6). Suppose s = 4 + k. Is s a multiple of 4?
True
Let l(d) = -d**3 - 11*d**2 + 25*d + 18. Is l(-15) a multiple of 5?
False
Let t(a) = a**2 + 8*a + 4. Let u = -7 + -7. Does 11 divide t(u)?
True
Let s be 2/10 + 805/(-25). Let v = s - -23. Is (1/(-2))/(v/288) a multiple of 16?
True
Suppose 4*m = 68 + 4. Suppose m = 2*p - 98. Does 21 divide p?
False
Suppose -3*z = -4*z + u + 843, -3*u - 839 = -z. Is 13 a factor of z?
True
Let y(g) be the second derivative of -g**5/20 - g**4/6 - g**3 + 7*g**2/2 - 25*g. Does 16 divide y(-5)?
True
Suppose -2*p = -4 - 4. Let k(b) = b**2 - 5*b. Let h be k(5). Suppose 0 = -h*v - p*v + 284. Is v a multiple of 24?
False
Let x(f) = 30 - 2*f - 22 - 12*f - 6*f. Is 22 a factor of x(-4)?
True
Let n be -2 - 1*-4 - (14 - 14). Suppose 0 = -n*d + 4*s + 100, -4*d + 3*d + 80 = 4*s. Does 5 divide d?
True
Suppose 7*l + 8 = -6. Does 41 divide 205 + 2/(-8) + l/(-8)?
True
Suppose -16*l + l + 27720 = 0. Is l a multiple of 22?
True
Let z be (-21)/49 - (-3)/7. Suppose 4*k - 4*l - 68 = z, 0 = 3*k - l - l - 50. Does 8 divide k?
True
Suppose i + h = 830, 0 = -11*i + 8*i + 5*h + 2498. Is i a multiple of 18?
False
Suppose -5*s = -112 + 2. Suppose 2*m + 62 = s. Does 12 divide (8/5)/(m/(-750))?
True
Let x = 1 - -1. Let t = x + -6. Is 7 a factor of 99/12 + 1/t?
False
Is ((-616)/264)/(1/(-1908)) a multiple of 28?
True
Let h = -291 - -435. Suppose -54 = -2*f + h. Is 9 a factor of f?
True
Let m(t) = 29*t**3 - 2*t**2 - 18*t + 41. Does 47 divide m(3)?
True
Let d(n) = 48 + n**2 + 24*n - 23*n - 2*n**2. Is d(0) a multiple of 24?
True
Suppose -5*h + 5 = 2*v, 4*v - 2*h = -7*h + 15. Suppose 5 + v = 2*f. Suppose 0 = -f*z - 5*s + s + 520, -2*z - s = -208. Is 26 a factor of z?
True
Suppose -6*l + 3*l = -93. Suppose 4*i - l = -z + 5, 11 = z - i. Does 5 divide z?
False
Suppose 5*m - 14 = 1. Suppose -a + 46 = 2*g, -m*a + 20 = 2*a. Suppose d - 4 = g. Is d a multiple of 14?
False
Let j = 29 + -31. Is (4/(-3))/(j/18) a multiple of 4?
True
Let h(m) = -m**2 + 37*m - 97. Does 27 divide h(26)?
True
Let y(i) = -11*i + 101. Is y(6) a multiple of 2?
False
Let