3. Suppose 0 = -r - z + 202. Does 38 divide r?
True
Let a = -316 - -1345. Does 6 divide a?
False
Suppose 0 = 6*r - 5*r + 4, 0 = 3*p + 3*r - 2631. Does 5 divide p?
False
Let g(n) = 2*n**2 + 3*n - 2. Let x be g(-3). Let q = -2 + x. Suppose 0 = -2*m + 2*o + 20, -1 = -m + q*o + 1. Is m a multiple of 12?
True
Suppose -6*t = -11*t + 290. Suppose 7*f + t = 9*f. Is 3 a factor of f?
False
Let z = 74 + -35. Let p = z + -23. Is 8 a factor of p?
True
Suppose 12*v - 2857 + 757 = 0. Is v a multiple of 25?
True
Suppose -116*y + 114*y = -1372. Does 29 divide y?
False
Suppose 4*m - 35 = -283. Let y = 120 + m. Is 11 a factor of y?
False
Let x(b) = b**2 + 6*b + 2. Let j be x(-6). Suppose 0 = 6*u - j*u - 136. Does 17 divide u?
True
Is 11 a factor of (7770/18 + -3)*3?
False
Is 35 a factor of (-10)/2 - 6/(-2) - -212?
True
Let g(x) = 4*x**3 - 11*x**2 + 3*x + 6. Does 6 divide g(5)?
True
Suppose -2*g - 214 = -6*g + c, -5*g + 278 = 4*c. Suppose -3*z - 3*z = -g. Is z a multiple of 3?
True
Let j be 18*(24/45 - (-1)/(-5)). Is 12 a factor of j/(-4)*(-852)/18?
False
Let r(u) = -u**3 - 7*u**2 + u + 4. Let x be r(-7). Let v be 104*(3/(-2))/x. Suppose -v = -2*d - 0*d. Does 18 divide d?
False
Let z = -346 - -600. Does 38 divide z?
False
Let a(g) = -g + 11. Suppose -t + 4*t - 33 = 0. Let z be a(t). Suppose 0 = 3*d - 6 - z. Does 2 divide d?
True
Is 33 a factor of (-2 + -145)/((-17)/((-2380)/(-21)))?
False
Suppose k = c + 2*c + 192, 352 = 2*k + 2*c. Suppose -5*f + k = -2*f. Does 10 divide f?
True
Let s = -43 - -44. Let x = s + 19. Is 6 a factor of x?
False
Let a = -122 - -135. Suppose -91 - a = -8*i. Does 2 divide i?
False
Let s(n) = n**3 + 9*n**2 + 7*n + 18. Let g be s(-6). Let c = 20 + g. Is c a multiple of 13?
True
Let p(j) = -2 + 16 + j + 3. Suppose 37 = 3*o - 2*x, -2*x - 32 = -4*o + 14. Is p(o) a multiple of 26?
True
Suppose 5*i + 43 = 8. Is i + 5 - 2*-10 a multiple of 18?
True
Let n be (-3)/18 - 50/(-12). Suppose -2*i + 5 = -g, 3*g = -0*g + n*i - 7. Is (21/g)/(0 + 1) a multiple of 5?
False
Let p = 34 - 6. Let u = 49 - p. Does 7 divide u?
True
Let c = 2799 - 1434. Does 35 divide c?
True
Suppose 4*u + 7 = -13, 195 = -5*q - u. Suppose 0 = 15*j - 17*j + 164. Let k = q + j. Is 18 a factor of k?
False
Let a be 3*(-11 + -1)*-1. Let q = a + -24. Suppose 5*m - 2*g - 21 = 0, 2*m - 4*g = -2*m + q. Is m a multiple of 3?
False
Suppose -2*q + 35 = 3*q. Let n(z) = -z**3 - 6*z**2 + 3. Let m be n(-6). Suppose 2*u - m*u + q = 0. Is 2 a factor of u?
False
Let q = -554 + 1743. Is 41 a factor of q?
True
Let w = 707 - 453. Suppose -5*j + 0*j = 3*k - w, k + 5*j = 88. Is 17 a factor of k?
False
Suppose -b - 3 = -5*k, -3*b + 6*b - 5*k - 1 = 0. Suppose 0 = 5*v - 3*v - b*i - 34, -v + 3*i = -11. Is 2 a factor of v?
True
Does 9 divide (-33)/22*(-124)/3?
False
Suppose 52 + 60 = n. Suppose -5*u = -u - n. Does 14 divide u?
True
Does 19 divide (-7 - (-371)/35)*260/3?
False
Let o = -9 - -12. Suppose 229 = o*z - 83. Suppose -2*t = 2*t - z. Does 8 divide t?
False
Let z(s) = -s**3 + 10*s**2 - 8*s - 3. Let a be z(9). Suppose 0 = -a*o + 3*o + 153. Is 17 a factor of o?
True
Suppose 65 = 5*p + 5*y - 100, -4*p + 3*y = -160. Does 11 divide p?
False
Let w(d) = -17*d + 172. Does 43 divide w(0)?
True
Suppose -7*w - 110 = -411. Is 3 a factor of w?
False
Let o(m) = 7*m**3 - m**2 + 3*m - 3. Let t be o(1). Suppose 0 = -7*p + t*p + 102. Does 6 divide p?
True
Let z(n) be the second derivative of n**5/20 - 7*n**4/12 - 13*n**3/6 + 4*n**2 + 5*n. Let q be z(9). Suppose -q - 208 = -3*d. Is 15 a factor of d?
False
Suppose 4*p + 149 = -4*q - 467, 5*q = 4*p - 734. Let a = 283 + q. Suppose -a = -3*d + 80. Does 18 divide d?
False
Suppose 4*v + 492 = 4*s, 5*s + 614 = 10*s - 4*v. Does 13 divide s?
False
Let p(m) = 28*m + 393. Does 13 divide p(-8)?
True
Let b be 6/8 + 791/28. Let u = b + 10. Is u a multiple of 13?
True
Let d(k) = 242*k - 130. Is d(11) a multiple of 12?
True
Suppose 62*v - 61*v - 1 = 0. Let n(x) = 177*x. Is 12 a factor of n(v)?
False
Suppose 10220 = -3*t + 13*t. Is 73 a factor of t?
True
Let s = -13 - -5. Let y be (2/(-6))/((22/(-36))/11). Is s - -66 - y/2 a multiple of 11?
True
Suppose 0 = -2*h + 2*v + 242, -4*h = 10*v - 13*v - 487. Does 34 divide h?
False
Let h be 23 + (-1 - (-5)/1). Suppose -m - 5 = -2*b, 5*b - 2*m - 8 = 2*m. Suppose b*i - h = 13. Does 10 divide i?
True
Suppose 0 = 2*p - 21 - 19. Suppose -4*g + u = g - 74, p = 2*g + 2*u. Is 7 a factor of g?
True
Suppose 0 = 4*p + 2*d - 14370, 5*p - d = -2*d + 17955. Does 81 divide p?
False
Suppose 0 = 2*y - 115 - 85. Does 64 divide y?
False
Let i(b) be the third derivative of -b**6/120 + b**5/15 + 7*b**4/24 - 2*b**3/3 + 6*b**2. Let d be i(5). Suppose -5*k - 3 = -d*k. Does 2 divide k?
False
Let k(n) = 7*n + 6. Let z be k(-5). Let p = 59 + z. Is 119/6 + 5/p a multiple of 4?
True
Suppose -6376 = -18*q - 742. Is 10 a factor of q?
False
Let h be 1*(10 - -2)/3. Suppose 131 + 109 = h*g. Does 15 divide g?
True
Let d = -1 - 0. Let q be 1/((-8)/(-4) + d). Is (-89 - q)*(-4)/10 a multiple of 14?
False
Let w(a) = -3*a**3 + a**2 - a - 2. Let p be w(-1). Suppose -p*q - 213 - 3 = -3*j, 2*q + 69 = j. Is 5 a factor of j?
True
Let p(d) = d**2 - d - 12. Let l be p(-11). Suppose -3*s - 4*f = -2*s - 21, -3*s = -5*f + 5. Suppose 10*u - l = s*u. Is 8 a factor of u?
True
Suppose a + 11 = 3*b, 2*a = -b + 6*b - 17. Suppose 1395 = a*m + 5*m. Does 28 divide m?
False
Suppose -6*d + 36 = -4*d. Let j = d - 23. Is 8 a factor of (-150)/j + 0 + 2?
True
Let p = 325 - 253. Is 12 a factor of p?
True
Suppose -6*s + s = -15. Suppose 0 = 2*k - s*h + 8*h + 40, 0 = 5*k + 5*h + 130. Let x = -14 - k. Is 16 a factor of x?
True
Let v(w) be the second derivative of w**6/120 - w**5/15 + w**4/12 - 7*w**2/2 + 3*w. Let k(h) be the first derivative of v(h). Is k(5) a multiple of 19?
False
Let f be (-8)/(-16)*(370 + 0). Suppose -f = 22*u - 27*u. Is 31 a factor of u?
False
Let w = -102 - -104. Suppose 5*d = -w*p + 330, -4*p = 2*d + p - 132. Does 11 divide d?
True
Let w(f) = 4*f**2 - 4*f - 2. Let i(q) = -q. Let v(n) = 7*n + 3. Let g(m) = -6*i(m) - v(m). Let l be g(-5). Is w(l) a multiple of 4?
False
Suppose -20*j - 10 = -25*j. Suppose 378 = 4*u - u - r, 0 = u - j*r - 126. Is u a multiple of 4?
False
Suppose 1872 = 5*v + v. Is 10 a factor of v?
False
Let r = 322 + -72. Does 25 divide r?
True
Let n(y) = 2*y**3 - 9*y**2 + 66*y + 4. Is 14 a factor of n(8)?
True
Let o be ((-34)/(-3))/((-3)/(-45)). Let n be -75 + 6/(-4 - -1). Let k = o + n. Does 27 divide k?
False
Suppose 19*r - 780 = -3*u + 15*r, -3*u + 759 = -3*r. Is u a multiple of 64?
True
Let r be 12/3*(2 + (-57)/(-6)). Let w = 83 - r. Does 7 divide w?
False
Suppose 5*o + 5*n = 4840, 3*n + 968 = o - 0*o. Is o a multiple of 8?
True
Suppose -2*p + 600 = -4*h, 0 = 5*p + 21*h - 17*h - 1500. Is p even?
True
Let u = 8 - -10. Suppose -2*h + i = -4*i - 33, h = 2*i + u. Let t = h + -14. Is 6 a factor of t?
False
Suppose -6*n = -4*n. Suppose -3*t = -n*t. Suppose t = 2*h - 50 + 6. Is 10 a factor of h?
False
Suppose -5*d = -0 - 5. Suppose d = -b - 15. Let l = 4 - b. Is 5 a factor of l?
True
Let t = 385 - 269. Suppose -3*y + 4*h - t = -394, -5*h + 260 = 3*y. Is 18 a factor of y?
True
Let d = 1068 + 276. Does 56 divide d?
True
Let s be 2043/3 + (3 - 3)/1. Suppose s - 13 = 4*f. Does 20 divide f?
False
Suppose 55*g + 2975 = 60*g. Is 27 a factor of g?
False
Let p(f) = 2*f**3 + 67*f**2 + 16*f + 29. Is p(-33) a multiple of 59?
True
Suppose 3*l + 3250 = 4*x - 2*l, -l - 2 = 0. Does 27 divide x?
True
Suppose 5*p - 2*p = 3*i - 24, -4*i + 7 = p. Is 1*-3 + -1 + i + 38 a multiple of 4?
False
Suppose -15 = -5*i + 2*j + 8, i + j = 6. Suppose -5*k + 408 = i*p + 3, -5*k + 401 = 4*p. Is 11 a factor of k?
True
Suppose -4*d - 2355 = -5*g + 120, 2*g - 2*d = 990. Does 15 divide g?
True
Let s = -149 + 394. Is s a multiple of 5?
True
Suppose -13*b - 4 = -15*b. Is (3 + 2 - b) + 67 a multiple of 10?
True
Let n(f) = -2*f**3 - 4*f**2 + f - 4. Let o be (-4)/(-14) + (-6)/21. Suppose -g - 4 = -o. Is n(g) a multiple of 28?
True
Let p = 1262 + -739. Is p a multiple of 7?
False
Let h = 5 - -1. Suppose 3*i = h*i + 6, -b = 2*i - 36. Is 20 a factor of b?
True
Suppose -z + 8 = 3. Let m be 1*(0/z)/1. Suppose 2*l - 38 - 34 = m. Does 14 divide l?
False
Let j = 3490 - 1867. Is j a multiple of 11?
False
Suppose -390 - 142 = -