Suppose 2013 = 5*o - 3*p, -2*o + 3*p + 762 + y = 0. Is 5 a factor of o?
False
Let l(g) = 14*g - g**2 - 131 + 131. Let a be l(14). Suppose 3*j - 5*f = 70, -j + 4*f + 15 + 13 = a. Is 20 a factor of j?
True
Let r(g) = 217*g**3 + 5*g**2 - 6*g. Let u be r(2). Let t = u + 69. Does 96 divide t?
False
Is 56 a factor of (80/48 + 34/(-6))/(-4) - -1254?
False
Suppose 2*p - 3*f - 247 = 0, -8*p + 13*p - 625 = 5*f. Let o = -51 - -144. Suppose y + o = p. Is 16 a factor of y?
False
Let y(r) = r**3 - 14*r**2 + 10*r + 22. Let g be y(14). Let d = -127 - -75. Let n = g + d. Is 10 a factor of n?
True
Let n = -2874 - -4917. Is n a multiple of 9?
True
Let r = 6 - -1. Suppose t + 5*q - 11 = 0, t + 70*q - 69*q - 27 = 0. Let m = t + r. Does 19 divide m?
True
Suppose -42*a + 417604 - 54627 = -196127. Does 13 divide a?
True
Let r(t) = -7 + 3*t - 557*t**2 + 565*t**2 - 6 + t**3. Is r(-5) a multiple of 4?
False
Suppose -30*k = -116*k - 4*k + 35640. Does 18 divide k?
True
Does 31 divide 106/(-10) + 12 - 16726/(-10)?
True
Let y be 465*((-3)/2 - 10/(-4)). Suppose -460*d - 4180 = -y*d. Is d a multiple of 22?
True
Let n = 427 + -395. Let t(s) = 17*s - 192. Does 11 divide t(n)?
True
Let p(k) = -4*k**3 + 3*k**3 + 12*k - 1 + 1 + 15*k**2 + 11. Let a be p(17). Let c = -257 - a. Is 11 a factor of c?
False
Let j = -6608 - -4540. Does 10 divide (j/(-66))/((3/9)/1)?
False
Let y = -42 - -38. Let c be ((-1)/(-4) - (-545)/y) + 0. Is 23 a factor of c/10*(-60)/24?
False
Let p(q) = -103*q**2 - 3409*q + 30. Is 36 a factor of p(-33)?
True
Let w be (-5)/(-2)*(-7 + 259/35). Is 161/w + (-10)/2 a multiple of 6?
True
Let d(r) = -2*r**3 + 19*r**2 + 8*r + 25. Let n be d(10). Suppose n*q + 4*z = 7722, 13 = -z + 11. Does 43 divide q?
False
Suppose 13 = 17*r - 55. Suppose z = 4*u - 1396 - 3419, -u + 1191 = r*z. Is u a multiple of 22?
False
Let q = -251 + 132. Let g = q - -66. Let v = g - -64. Does 11 divide v?
True
Let h(k) = 131*k**2 - 71*k - 286. Does 42 divide h(-6)?
False
Let d be (-2)/7 + 657/21. Let w(z) = -z**3 + 30*z**2 + 28*z + 7. Let o be w(d). Let j = 232 + o. Is 15 a factor of j?
False
Let a(y) = -2*y + 6*y + 4 + 0 + 38*y**2 - 6*y. Does 8 divide a(2)?
True
Let h = 271 - 223. Is 32/6*(-36)/h*-9 a multiple of 2?
True
Let p(b) = 6*b**2 - 70*b + 18. Let m(k) = k**2 - 14*k + 4. Let r(g) = -11*m(g) + 2*p(g). Does 42 divide r(-17)?
False
Let j = -396 + 398. Let w = 261 + -141. Suppose u + w = 4*y + j*u, -5*u = 0. Is y a multiple of 6?
True
Let f(w) = -373*w**3 + w**2 + 6*w + 3. Is 9 a factor of f(-2)?
True
Let z = 28200 + -20233. Does 31 divide z?
True
Suppose 9*f = f - 552. Let i = f + 58. Does 8 divide (4/((-12)/i))/(1/6)?
False
Let a be 2 + -6 + (-1 - 0). Let m = -3 - a. Suppose 3*l - 137 = 4*f, 5*l + 4*f - 185 = m*f. Is l a multiple of 14?
False
Let j(p) = -148*p + 4. Let k be j(0). Let s = -886 + 1576. Suppose -3 - 7 = -5*r, r = k*o - s. Does 18 divide o?
False
Suppose m = -w - 3*m + 12, -5*w - m + 22 = 0. Suppose 0 = w*x + c - 12321, -5*c + 2 = -3. Does 28 divide x/11*(-2)/(-5)?
True
Let k be (-11)/(44/160) + 2 + -1. Let w = k + 599. Is w a multiple of 14?
True
Let g = -61444 + 92996. Is g a multiple of 58?
True
Let h(c) = -2*c + 12. Let z be h(5). Let f be (z + -1)/((-7)/49). Is 7 a factor of (10/((-1)/(f - 0)))/2?
True
Let x = 152 + -367. Let p = x + 306. Suppose 115 = 5*m - 3*k - 46, k - p = -3*m. Does 31 divide m?
True
Suppose -9*m + 460 = -4*m. Suppose 4*o + 60 - m = 0. Let b(v) = v**2 - 3*v + 16. Is b(o) a multiple of 20?
False
Let k(l) = 3*l - 14. Let i be k(13). Let r = i + -30. Let c(y) = 4*y**2 - 10*y - 15. Is c(r) a multiple of 15?
True
Suppose -4*j + 4*k = -13240, -11*k = -j - 16*k + 3292. Is 5 a factor of j?
False
Let c = 2 + 4. Suppose -c*v + 45 = 3*v. Is ((-3 - 1) + v)/(3/675) a multiple of 45?
True
Let v(k) be the third derivative of k**6/36 - 3*k**5/40 + 5*k**4/12 - 24*k**2. Let d(n) be the second derivative of v(n). Is 15 a factor of d(2)?
False
Let a(j) = j**2 + 65*j - 35. Let x(z) = z**2 + 98*z - 52. Let s(u) = -7*a(u) + 5*x(u). Let k be s(17). Suppose 0 = k*c - 16*c + 3752. Is c a multiple of 22?
False
Does 79 divide 418/(-8987) + (-144)/602 - (-8852)/14?
True
Suppose 48*m + 38*m = -26*m + 325360. Is 52 a factor of m?
False
Does 14 divide 1855*(-18)/(-135)*18?
True
Let m be (5/(-25))/((-4 + 5)/(-25)). Suppose -5*z = -m*y + 130, 11*y - 5*z + 100 = 16*y. Does 2 divide y?
False
Let t = -2993 - -4793. Does 10 divide t?
True
Let s = -1040 + 8630. Is s a multiple of 6?
True
Suppose 3*b = d - 4594, -9 = b - 11. Is 23 a factor of d?
True
Suppose 0 = -3*h - 4*v - 69808, -9*h - 46538 = -7*h + 2*v. Is h/(-189) - (-1)/(-9) a multiple of 11?
False
Suppose -4*d + 7*d = -4*d. Suppose -7*b - 21 = -d*b. Does 12 divide (-28)/(6/b) - (2 + 0)?
True
Suppose -4*z - d + 21538 = 0, 3*d = 34 - 16. Is 7 a factor of z?
True
Let g = 8710 + -2483. Is 12 a factor of g?
False
Let b(y) = 67*y**2 + 221*y + 18. Is 29 a factor of b(-9)?
False
Let m = 796 + -1394. Let c be 24/84 + m/(-14). Let x = 46 + c. Is x a multiple of 10?
False
Let w(j) = -1893*j - 3494. Does 31 divide w(-11)?
True
Let p(u) = -24*u - 140. Let o be p(-6). Suppose -4*w + 256 = o*q, -4*q - 288 = -40*w + 36*w. Is w a multiple of 15?
False
Suppose -v - 527 = -5*o, 50 = -3*o - v + 371. Let s be ((-102)/9)/(2/6). Let w = o + s. Is w a multiple of 18?
True
Let u(w) = w**3 + 6*w**2 - 8*w - 10. Let q be u(-7). Let o(f) = -31*f - 28. Does 19 divide o(q)?
False
Suppose -506 = -k - 2*z + 1691, z = 4*k - 8851. Does 3 divide k?
True
Let v(y) = y**2 + 14*y + 33. Let h be v(-11). Suppose h = -3*a - 2 + 11, o = a + 207. Does 15 divide o?
True
Suppose 30*b - 26*b = 416. Suppose 6*a = 2*k + 10*a - b, -2*a + 148 = 3*k. Is 9 a factor of k?
False
Let h = -122 + 125. Suppose 0*u - 72 = h*u. Let r = 48 - u. Does 6 divide r?
True
Suppose u + 467 = 470. Does 14 divide 4*1 + (345 + 5 - u)?
False
Let x be (2/(20/(-214)))/(4/(-20)). Suppose 2*b = 5*l + 225, -3*l + b = x + 27. Let d = l - -111. Is 14 a factor of d?
False
Let y = 884 + -745. Suppose -3*m + y + 1333 = -4*z, m = -3*z + 495. Does 74 divide m?
False
Suppose -4*x + 5*j + 29834 = -12*j, 3*j = -2*x + 14894. Does 50 divide x?
True
Let v(w) = w**3 + 8*w**2 + 14*w + 15. Let g be v(-6). Let d(y) = 31*y - 55. Is 7 a factor of d(g)?
False
Suppose -3*g - 3 = 0, 4*g - 18004 = -5*o + 8*g. Suppose 33*w - o = 29*w. Is w a multiple of 53?
False
Let u = 6498 - 2174. Does 92 divide u?
True
Let m = 35 - 23. Suppose -496 = -20*o + m*o. Is o a multiple of 31?
True
Let j(k) = k**2 + 23*k + 24. Suppose -3*b + 104 = -5*m, -3*m - 68 = b - 0*b. Let v be j(m). Suppose -3*p - 4*c = -29, -3*p + v*c = -14 - 21. Does 3 divide p?
False
Let o = -1 - -2. Let v be ((0 + 0)/3)/1*o. Is 40 a factor of 1060/5 - v/(-2)?
False
Is 20 a factor of 6/18*-1 + -14 + (-148584)/(-9)?
False
Suppose 3*w + 2*v = w + 204, 2*w + 3*v = 203. Suppose -2*b - 274 = -2*d, d + 4*b - w = 14. Is d a multiple of 19?
True
Let s(v) be the third derivative of -17*v**4/12 + 2*v**3/3 + 12*v**2. Let k be s(-6). Let g = -81 + k. Is 16 a factor of g?
False
Let k = 14566 + -10424. Is k a multiple of 20?
False
Let o be 2 - 1 - (-3 + 1). Let v be (2 + 0/o)/(-2) - -1. Let x(b) = b**3 + b**2 + 188. Does 47 divide x(v)?
True
Let y = -14977 + 28505. Is 8 a factor of y?
True
Let r = 50 - 0. Let k be (5/(r/(-8)))/(1/(-5)). Is 3 + 0 + 144/k a multiple of 13?
True
Let z = -4150 - -10021. Is 57 a factor of z?
True
Suppose -55*f = -25*f - 28*f - 2068. Is f a multiple of 11?
True
Suppose -32*o - 5*l = -30*o - 7665, -5*l - 11385 = -3*o. Is 5 a factor of o?
True
Let a(l) = 3*l**3 + 7*l**2 + 10*l - 7. Let v be a(-3). Let h = 691 + v. Is h a multiple of 24?
False
Let v be (-12)/(-36)*(2 + 4). Suppose -340 = i + 4*b, v*i + 4*b + b = -686. Is (i/(-42))/((-2)/(-14)) a multiple of 20?
False
Let n be ((-7090)/(-25))/((-543)/(-90) - 6). Suppose 0 = 13*c - 7599 - n. Is 78 a factor of c?
False
Suppose w + 14 = -3*h - 4*w, -2*h + 5*w + 24 = 0. Suppose 0*c + 267 = 3*y + 4*c, 178 = 2*y - h*c. Let x = y - 38. Does 16 divide x?
False
Let r = 0 + 4. Suppose 5*v + 3*y + 0*y - 129 = 0, -v + 36 = 4*y. Suppose -r*m + v = 8. Does 4 divide m?
True
Let l be (103 - 62)/((-2)/(-14)). Suppose -4*u + 2*k + l = -377, 2*u + 5*k = 356. Is 11 a factor of u?
False
Suppose 0 = -34*f + 40*f - 1812. Suppose -4*w - 70 = 