2*x + x - 12. Does 3 divide x?
False
Suppose 5*j - 5*w = -6 + 1, -4*w + 16 = 0. Suppose 0 = -2*f - 0*f - 34. Let t = j - f. Is 4 a factor of t?
True
Let d = 627 + -132. Does 5 divide d?
True
Suppose -3*m - 5*q = -1380, -3*m + 2*q = 2*m - 2300. Does 92 divide m?
True
Let o be (1 - -45)*(-10)/(-20). Suppose 2*w - o + 5 = 0. Is 6 a factor of w/48*4*16?
True
Suppose 0*d + d + 26 = 0. Let x be 8/(25/d + 1). Suppose -2*i = -4*i + x. Is 13 a factor of i?
True
Suppose 0*y - 6 = -2*y, 3*r + y = 3. Let s = r - 9. Let c = 12 + s. Is 2 a factor of c?
False
Let h(d) be the second derivative of d**5/20 - d**3/6 - 10*d**2 - 11*d. Is h(5) a multiple of 20?
True
Let i(o) = o**3 - 62*o**2 + 7*o + 70. Is 41 a factor of i(62)?
False
Let k = -11 + 1. Let s be 308/k*30/(-6). Suppose -6*b + s = -284. Is 29 a factor of b?
False
Let n be -7*(-1 + 2)*3. Let j(u) = u**3 + 21*u**2 - 4*u - 36. Does 8 divide j(n)?
True
Let h(c) = -52*c**3 - 3*c**2 - 15*c - 25. Is 8 a factor of h(-2)?
False
Suppose -2*g = 3*g - 5, 2*m - 5*g = -1. Let q(v) = 0*v - 3*v + 6*v + 2*v**m + 2*v - 4. Is q(4) a multiple of 16?
True
Suppose -3*r = -5*z - 36, 0 = r - 3*z - 2 - 10. Let b = -7 + r. Suppose 0 = -b*d + 136 + 189. Is 26 a factor of d?
False
Let y = -724 + 857. Does 26 divide y?
False
Let h(r) = 8*r**3 - r**2 - 3*r - 5. Let b(o) = -7*o**3 + 3*o + 5. Let g(y) = -7*b(y) - 6*h(y). Let i = 16 - 22. Does 13 divide g(i)?
True
Suppose 0*f + 2*f + 4 = 0. Does 17 divide (-102)/(-15)*(3 - f)?
True
Suppose 700 = 3*i - 3*y + 121, 3*i - 581 = 5*y. Let h = i - 111. Is h a multiple of 27?
True
Suppose -2*y - 22 = -2. Does 31 divide (-1 + (-268)/y)*(16 - 11)?
False
Is 100 a factor of 1 - (17 + -9) - -2849?
False
Suppose -u + 17 = -5*j, 5*j = -5*u + 99 + 46. Suppose -13*k - 2*k = -150. Suppose -u = -l + k. Does 16 divide l?
False
Let d = 485 + -391. Does 10 divide d?
False
Let p(g) = 50*g**2 + 1. Let u be p(2). Suppose -b = 4*a - 15, -3*a + 20 = 5*b - 4. Suppose u = -0*q + b*q - 3*i, 0 = -5*q - 2*i + 342. Is q a multiple of 12?
False
Let n be 2 + (-204)/((-12)/(-3)). Let t = 114 + n. Is 50 a factor of t?
False
Suppose 4*g + 9*k = 8*k + 36, 5*k - 30 = -5*g. Let v(q) = -5*q + 4. Let i be v(4). Let t = g - i. Does 13 divide t?
True
Is (-34)/357 - 6724/(-42) a multiple of 4?
True
Suppose -4*z - 4*u = u - 1171, -5*u = 5. Is 21 a factor of z?
True
Let g be (-2 + 2 - -2 - 2)/(-2). Suppose g = -u + 2*c + 132, u - 5*u + 525 = -5*c. Does 13 divide u?
True
Let d(y) = -7*y**3 + 3*y**2 - 2. Let f be d(2). Suppose 2*k + s = -1 - 1, -2*s = -4*k + 12. Is k/((-2)/f - 0) a multiple of 6?
False
Suppose -3*v = -2*v. Suppose v = -t + 78 - 18. Is 10 a factor of t?
True
Let m = -3 + 15. Suppose m = -4*w - 0. Does 7 divide 14/(w*1/(-6))?
True
Let k(m) = m**3 - 15*m**2 + m - 12. Let d(v) = v**2 + v - 1. Let g(n) = 4*n**2 + 6*n + 10. Let l(a) = -5*d(a) + g(a). Let h be l(0). Is k(h) even?
False
Is 234*((-21)/(-6) - (-4)/4) a multiple of 52?
False
Let f(d) be the first derivative of 4*d**4/3 - d**3/6 + 4*d + 5. Let z(t) be the first derivative of f(t). Does 5 divide z(1)?
True
Suppose -z + 723 - 543 = 0. Is z a multiple of 15?
True
Let v be (-16)/(-8)*(-14)/(-4). Let k(o) = o**3 - 7*o**2 + 3*o + 4. Let j be k(v). Suppose 3*l - 8*l = -4*w - 89, -w + j = l. Is l a multiple of 13?
False
Let s = 333 - 49. Let t = s - 77. Does 38 divide t?
False
Suppose -5*x = -2*b + 605 + 2477, x - 7678 = -5*b. Is b a multiple of 96?
True
Let k be (-12)/3 - (2 - 3)*-3. Let d = k + 77. Is 7 a factor of d?
True
Suppose 4*p - 5619 = -339. Does 55 divide p?
True
Does 7 divide (6 - 1)/((-9)/(-117 - 9))?
True
Let o = 42 - 36. Let v(c) = -c**3 + 7*c**2 - 3*c - 6. Is 2 a factor of v(o)?
True
Let a be (-2 - 3) + 6 + (-1)/1. Let c(x) = -x**2 - 2*x + 210. Is c(a) a multiple of 40?
False
Let q = 186 - -858. Is q a multiple of 36?
True
Let z = 333 - 264. Is 4 a factor of z?
False
Suppose 18 = -t + 22. Suppose 0 = 2*g + y - 5, 5*y - 20 = -t*g + y. Suppose -3*s + 2*l + 44 = -g*l, 0 = -4*s + 4*l + 60. Is 7 a factor of s?
True
Let o(s) = 2*s**2 + s - 98. Is o(8) a multiple of 19?
True
Let o = 2047 - 1403. Is 79 a factor of o?
False
Let f(s) = 5*s**2 - 4*s - 5. Let i be f(-5). Let z be (1/(-2))/((-1)/i). Suppose 3*o = 8*o - z. Is 14 a factor of o?
True
Suppose -783*c - 6816 = -795*c. Does 5 divide c?
False
Suppose 3*h - 3*o = -135, 2*o + 68 = -2*h - 26. Let i be (0 + 2)*h/4. Let x = 37 + i. Is x a multiple of 14?
True
Suppose 0 = -5*t + k - 3, -k - 3*k = t - 12. Suppose t = -6*p + 80 - 32. Does 4 divide p?
True
Suppose -307 + 96 = -y. Is y a multiple of 74?
False
Suppose -35*p + 31*p = -36. Does 17 divide p/(-6)*(-74)/3?
False
Let n be 4/(-6)*27/(-6). Let z(x) = 31*x**3 + x**2 - 2*x + 1. Let d be z(1). Suppose -3*b - g + d = 0, 4*b - n = 3*g + 47. Is b a multiple of 8?
False
Suppose 2*v - 10 = 0, 0*l - l + 17 = 4*v. Is 12 a factor of 12*(l - 7/((-21)/30))?
True
Suppose 0 = -5*a - 8*a + 6188. Does 4 divide a?
True
Let x = -37 - -55. Suppose -p - p = 2*z - 8, 2*p = -4. Let i = x + z. Is i a multiple of 9?
False
Let j be 18/30 - (-2924)/10. Let o = 426 - j. Is 28 a factor of o?
False
Let u = 1206 - 836. Is u a multiple of 37?
True
Let q(a) = -11*a - 197. Let u(t) = -4*t - 66. Let g(l) = -3*q(l) + 8*u(l). Is g(20) a multiple of 21?
False
Suppose -7*q + 3*q = -2*x - 46, 0 = -2*x + 3*q - 45. Suppose -2*b + 60 = 3*b. Let d = b - x. Is 18 a factor of d?
False
Let a(v) = -v - 13. Let i be a(-7). Does 7 divide 1 + (-332)/i + 3/(-9)?
True
Suppose 30 = -2*k + 8*k. Suppose 4*t + 112 = -0*t - k*d, -3*d = -t - 45. Is (4*5)/((-22)/t) a multiple of 10?
True
Suppose 6 = 3*q - 2*a, 5*q - 4*q + a = -3. Suppose 4*k - 5*r = -16, -10 + 2 = 2*k - 3*r. Is 4 a factor of -5*(k + q/(-4))?
True
Let g(i) = i - 2. Let v be g(0). Is 22 a factor of v/(4/30)*(-20)/6?
False
Let q(l) be the third derivative of -l**6/120 - l**5/30 - l**4/6 - l**3/2 + 3*l**2. Is q(-4) a multiple of 17?
False
Suppose t - 80 = -2*z, z + 50*t = 52*t + 30. Does 21 divide z?
False
Let w(v) = -v - 9. Let b be w(-8). Let y = 3 + b. Suppose 70 = y*j + 24. Is 7 a factor of j?
False
Suppose -232 = -3*w + 4*q, 3*q = -5*w + 275 + 102. Does 6 divide w?
False
Let j(d) = -d**3 + 10*d**2 - 24*d + 29. Is 3 a factor of j(7)?
False
Let a be (847/(-28))/((-1)/8). Suppose 4*j - a = 310. Is 41 a factor of j?
False
Suppose -3 = n - 6. Suppose -n*a + 12 = -48. Suppose a = 5*k - l, -4*k + 15 = -0*k - l. Is k a multiple of 2?
False
Is 58 a factor of (-6)/4*((-9 - -5) + -506)?
False
Let q be -2 + 10 + -2 + -3. Let p be ((-20)/5)/(q/(-12)). Let r = p + -14. Is r a multiple of 2?
True
Suppose 348 = 5*a - 3*a. Is a a multiple of 11?
False
Let s = 58 + 71. Suppose n + s = 4*n. Does 12 divide n?
False
Suppose -9*r = -10*r - 101. Let u = r - -255. Suppose 3*s + 2*i - u = -s, -3*s = 5*i - 133. Is 11 a factor of s?
False
Let q = -735 - -978. Does 29 divide q?
False
Suppose -4*z - 4*y = -8*z + 288, 0 = 2*z + 4*y - 156. Does 37 divide z?
True
Suppose -2*g = -g - 12. Let u be 0 - 8 - (-4)/2. Let w = u + g. Is w a multiple of 3?
True
Let n be (-12)/(-9)*(-6)/(-4). Suppose 0 = -2*d + 5*d - 186. Suppose 4*a - u = 147, -5*a - n*u = -d - 138. Is a a multiple of 19?
True
Let k(h) = 26*h - 67. Does 11 divide k(14)?
True
Suppose 301*p = 299*p + 7392. Is p a multiple of 21?
True
Suppose 5 = 3*n - 4. Suppose 4*a + 3 - 7 = 0. Is a/(-2 + n) - -44 a multiple of 19?
False
Let h be (-2 - -6) + 6/(-3). Suppose 0 = h*v - 12 + 4, 4*k - 24 = 3*v. Is 16 a factor of 512/12 + 3/k?
False
Suppose a + 57 - 18 = 0. Let g = a + 229. Is g a multiple of 22?
False
Suppose 2*y + 4*t - 7 = 5, -5*y - 4*t + 18 = 0. Suppose 2*v - y*g - 24 = 0, -v - g = 11 - 27. Is 4 a factor of v?
False
Suppose -14*c + 15*c = 162. Does 34 divide c?
False
Let l(y) = -y**2 - 13*y + 9. Let z(h) = -2*h**2 - 14*h + 7. Let k(b) = -3*l(b) + 2*z(b). Let j be (-1)/(2/(-14) - 0). Is 6 a factor of k(j)?
False
Suppose 0 = -m + 7 + 1. Let j(b) = -8 - 5 + m*b + 11 + 14*b. Is j(1) a multiple of 20?
True
Let p = -29 + 16. Let a = p - -113. Does 20 divide a?
True
Let j(c) = c**2 - 14*c + 86. Does 23 divide j(12)?
False
Suppose -34608 = 39*i - 142*i. Is i a multiple of 3?
True
Let q(h) = 33*h**3 + h**2 - 7*h + 9. Does 5 divide q(3)?
False
Suppose -3*q + o + 9 = 0, 9 = -q + 3*o + 20. Suppose -3*r + d + 139 = 6*d, -r + q*d + 28 