23 = -4*o. Is o a multiple of 7?
True
Let t(l) = 4*l. Let s be t(9). Suppose s*r - 32*r = -116. Let d = r - -51. Does 11 divide d?
True
Let m(r) = -2*r**2 + 8*r + 5. Let q = -27 + 43. Suppose 30*a + q = 34*a. Does 3 divide m(a)?
False
Suppose -6*p = -3*b - 9, -3*p + 7*p - 41 = -5*b. Suppose -5*u - 106 + 286 = -b*y, -2*u + 3*y = -73. Does 2 divide u?
False
Let m = -51 + 15. Let t = m + 34. Is t + (-3)/(3/2) + 128 a multiple of 31?
True
Is 219 a factor of (-20635)/((-21)/((-3969)/(-105)))?
False
Let n = -87 - -92. Suppose n*w + 0*w - 778 = -2*i, i = 2*w + 389. Is 16 a factor of i?
False
Suppose 4 = j, -h = j - 1419 - 1257. Suppose 7*c - h = 2235. Does 37 divide c?
False
Suppose -2*i + 2*z - 114 = 0, i = -3*i - z - 253. Let f = 527 + -533. Is (i/f)/(0 + 1/15) a multiple of 31?
True
Let c(l) be the first derivative of l**4/4 + 5*l**3 - 6*l**2 - 36*l - 133. Does 4 divide c(-15)?
True
Suppose 66*t - 263525 = 340844 + 530765. Is 39 a factor of t?
True
Suppose 3*t + 2*t - 20 = 0. Suppose -u + 64 = -4*g, 0 = t*g - 5*u + u + 64. Let f(h) = -4*h + 41. Does 19 divide f(g)?
False
Does 11 divide 11*134*((-245)/35 - (-34)/4)?
True
Suppose 8319 + 15177 = 12*n. Is 5 a factor of n?
False
Suppose 3*z + 97 = -56. Let q = -53 - z. Is q*(148/(-8) - 5) a multiple of 8?
False
Let h(c) = -30*c - 53. Let u(k) = k. Let l(j) = 2*h(j) - 2*u(j). Is 17 a factor of l(-7)?
False
Suppose -203577 = -74*p - 78*p - 47*p. Does 3 divide p?
True
Let u(r) = r**2 + 7*r - 5. Let w be u(-8). Let k = -252 + 252. Suppose -w*g + 0*g + 126 = k. Is 14 a factor of g?
True
Let x(w) = 10*w**2 + 4*w + 4. Let d be x(-4). Suppose m + 4*l - l - d = 0, 5*m - 3*l - 830 = 0. Suppose 4*o - m = 341. Does 9 divide o?
True
Let x(u) = u**2 + 3*u - 8. Let l be x(4). Let v be 45/l - 2/8. Suppose -4*a + 720 = 2*k + v*k, 15 = 3*k. Does 21 divide a?
False
Suppose q = -221 - 267. Let a = -321 - q. Is a a multiple of 4?
False
Let j = 3 + -4. Suppose 48*d - 3*d - 3915 = 0. Is 22 a factor of d + -3 + 5 + j?
True
Suppose -w = -4*q - 5727, -27*q = -4*w - 22*q + 22864. Does 18 divide w?
False
Suppose -m - 89480 = -5*t, 242*t - 17875 = 241*t - 4*m. Does 90 divide t?
False
Let r be (9/6 - 1)/(3/132). Suppose 17*n = r*n + 45. Does 19 divide 15/n*228/(-4)?
True
Is 16/(-56) + (0 - (-18096)/28) a multiple of 17?
True
Suppose 0 = 3*c - 3 - 6, 4*g = 5*c + 345. Let m(j) = 19*j**2 + 142*j - 17. Let n be m(-8). Let z = g - n. Does 9 divide z?
True
Suppose -4*w - 48688 = -3*y + w, 81188 = 5*y + 2*w. Is 11 a factor of y?
True
Suppose -5*n - z = 1365, -z - 1395 = 5*n - 6*z. Let p = 492 + n. Suppose -p = -4*r + 2. Is r a multiple of 11?
True
Let w(p) = 7*p**2 - 48*p - 7. Let n be w(7). Suppose 0 = -5*s + g + 1441, -22*s + 17*s - 5*g + 1435 = n. Does 12 divide s?
True
Let q = 41046 + -25418. Is 165 a factor of q?
False
Let f(n) = 3*n**2 + 4*n - 4. Let r be f(6). Suppose 0 = 4*j - l - 305, 4*l = -4*j + 208 + 112. Let y = r - j. Is 17 a factor of y?
True
Let y = 9871 - 7036. Suppose -11*v = -2390 - y. Is 25 a factor of v?
True
Let r = -3368 + 7372. Suppose -12*n = -n - r. Does 38 divide n?
False
Suppose 2*b - 17135 = 860*z - 859*z, 0 = 3*b - 5*z - 25699. Does 126 divide b?
True
Let j be 3/((-2 - -5)/24). Let w = 122 - j. Is w a multiple of 2?
True
Let f(w) = w**3 - 2*w**2 + 6*w - 9. Let j be f(2). Suppose 0 = 4*d - 2*y - 2270, 843 = 3*d - j*y - 858. Is 41 a factor of d?
False
Suppose 2*h + 292 - 204 = 0. Does 15 divide (-4)/22 + (-12548)/h?
True
Let y(d) = 3*d**2 - 13*d - 8. Let v be y(5). Suppose 4*a + v*m = -126, -a - 4*m + 9*m - 37 = 0. Let f = 32 - a. Is f a multiple of 20?
False
Suppose 0 = 12*w - 15*w + 5*k + 590, 2*w + 4*k = 364. Suppose -3*u - 5*j = -1665, -u + 369 = 3*j - w. Is 50 a factor of u?
True
Is 27 a factor of (15223 - -161) + 3*2?
True
Let u be -136 - (3 - (1 - 0)). Let v = 177 + u. Is 29 a factor of v?
False
Suppose 10 = 9*z - 35. Suppose p - 6*p - 690 = -4*l, z*p = -10. Suppose 0 = -4*a + l + 250. Does 9 divide a?
False
Let o(i) be the third derivative of -5*i**4/12 - 5*i**3/6 + i**2. Let l be (5/(-3))/((-9)/(-27)). Is 5 a factor of o(l)?
True
Let t = 38 - 37. Let b be (-38)/4*t*-34. Suppose z + 107 = b. Is z a multiple of 36?
True
Let q(k) = 390*k**3 + 15*k**2 + 4*k - 28. Does 23 divide q(3)?
True
Let k(j) = 4606 + 6*j - 4549 + 6*j. Is k(11) a multiple of 14?
False
Suppose 0 = 3*p - 3*r - 54, -p + 2*r - 5*r = 2. Suppose 8 - 21 = -p*m. Is 6 a factor of (m - 2)/((-2)/26)?
False
Suppose -2*u + 2058 = 4*d - 9004, d - 2765 = -u. Is d a multiple of 63?
False
Suppose -y + 3796 = -5*d, 0 = 5*y + 4*d - 18042 - 1054. Is y a multiple of 16?
False
Is 55 a factor of 10/(-50) - (-2930416)/80?
True
Is 9 a factor of (1752504/56 - 26) + 4/14?
False
Suppose -8850*b + 97370 = -8837*b. Does 82 divide b?
False
Suppose -5*g = -4*g + r + 9, 2*g + 5*r = -30. Let o(a) = 2*a**2 + 2*a - 22. Let i be o(g). Let m = i - 2. Is 2 a factor of m?
True
Let f = -32 - -36. Suppose -180 = -4*y + 2*g + 168, -f = 2*g. Let n = y - 53. Is 11 a factor of n?
True
Suppose 28*h = 25*h + 3, 3*h = 3*z + 273. Let f = z - -154. Is 5 a factor of f?
False
Is 41 a factor of -7 + 178/(-6)*(-783)/9?
False
Let l(o) = 17*o - 36. Let t(y) = 2*y. Let g(r) = l(r) - 5*t(r). Let p be g(8). Suppose p = -5*x + 145. Is x a multiple of 2?
False
Let n = -5729 - -11379. Is n a multiple of 10?
True
Is 3 a factor of (-16965)/(-35) + -5 + (-4)/(-14)?
True
Let b = 31942 + -22162. Is 60 a factor of b?
True
Let k be (-5 - -5) + -5 - -12. Let q be 6 - 3 - ((2 - 1) + 4). Is ((-3)/q)/(k/630) a multiple of 15?
True
Let q = -390 + 255. Let r = -130 - q. Suppose r*y - 3*d = 782, -3*d = -3 - 0. Does 25 divide y?
False
Suppose -7*t + 0*t = 0. Suppose -v - 2*k + 101 = t, 2*v + v - 2*k - 327 = 0. Let g = v + -27. Does 16 divide g?
True
Let r be (17 - -1) + (-11 - -11). Let v be (-1701)/r + 2/(-4). Let m = -81 - v. Is m even?
True
Suppose -4*t + 51 + 13 = 0. Suppose f - s - s + t = 0, -2*f = -3*s + 33. Let b = 7 - f. Is b a multiple of 3?
False
Suppose 4*t + a = -20, 0 = 4*t + 4*a - 2*a + 24. Is 10 a factor of -120*(t/8 + -1 - -1)?
True
Let y(b) = -3*b. Let t be y(-1). Let f(x) = 79*x + 27. Let m be f(5). Does 44 divide 11/33 + m/t?
False
Let d = 2675 - 1627. Is d a multiple of 4?
True
Suppose -111*l - 24*l = 21*l - 371124. Is l a multiple of 39?
True
Suppose 2*q + 64 = -32. Is 14 a factor of 1/((-16)/196)*q?
True
Suppose 9*z - m + 7 = 10*z, -3*m = -4*z + 7. Suppose 0*a = -2*n + 4*a + 64, 0 = -3*n + z*a + 88. Suppose -28*d = -n*d - 1012. Is d a multiple of 41?
False
Let f be 83/17 + 3/(-102)*-4. Suppose -f*t + 5*s + 0*s + 915 = 0, -3*t + 4*s = -552. Is t a multiple of 3?
True
Let b(z) be the second derivative of 5*z**3/3 + 47*z**2 - 118*z. Is 29 a factor of b(7)?
False
Suppose 4*f - 1425 = 5*b - 4455, -2*b = -3*f - 1205. Is 27 a factor of b?
False
Suppose 22*z - 380052 = 108216. Is 10 a factor of z?
False
Suppose -4*y + 2 - 9 = -5*s, 5 = 4*y - s. Let u be (68/1 - y) + 0. Is 3 + -4 - u/(-2) a multiple of 8?
True
Let d = 3244 - 3091. Is 32 a factor of d?
False
Let t(n) = -9*n**3 + 8*n**2 + 8*n + 17. Suppose -25 = -5*c - 45. Is 5 a factor of t(c)?
False
Let o(j) = 4*j + 25. Let p be o(-4). Suppose 0 = -w - p + 59. Suppose 3*a = 4*a - w. Does 5 divide a?
True
Let m = 22412 + -14948. Is 8 a factor of m?
True
Let t = -20607 + 28839. Does 49 divide t?
True
Let t(h) = 5*h**2 - 4*h + 2. Suppose 0 = -2*d - d + 2*d. Suppose -5*n + 2*z + 19 = -d, -n + 1 = z. Does 8 divide t(n)?
False
Let l(z) = 665*z**2 + 130*z - 484. Does 17 divide l(4)?
True
Suppose -c + 55 = -f, 2*c + 4*f = 7*c - 271. Suppose -24192 = -c*v + 30*v. Does 16 divide v?
True
Let j = 23 - 18. Let m be 9 - j/(15/12). Suppose -2*u = -m*i - 6*u + 78, 0 = i + 4*u - 6. Is i a multiple of 9?
True
Suppose -71*y = 31*y - 37944. Is y a multiple of 124?
True
Suppose -3*i = 25*i - 220304. Is i a multiple of 8?
False
Let m(j) = -j + 10. Let z = -20 + 25. Let x be m(z). Does 27 divide (3 - x - 0)*-54?
True
Let h = 89 + -88. Suppose h = r, q + 2*r = 59 + 207. Does 23 divide q?
False
Let j = 6816 + -1006. Is 5 a factor of j?
True
Suppose 58641 - 61703 = -131*g + 178635. Is g even?
False
Suppose -864600 = -9*m - 113*m + 2*m. Is m a multiple of 31?
False
Let m(z) be the second derivative of -4/3*z**3 + 1/6*z**4 + 11/2*z**2 - 42*z + 0. Does 20 divide m(-6)?
F