1 a factor of m?
False
Suppose 0 = 2*v - i - 11872, -7190 = 3*v - i - 24999. Does 14 divide v?
False
Let m be 0/((-4 + -2)/6). Does 10 divide 45 - ((m/3)/(-1))/(-1)?
False
Let f(d) be the second derivative of -d**4/4 + 22*d**3/3 + 7*d**2 + 7*d. Let b be f(15). Let r(p) = 95*p**2 + 4*p. Is r(b) a multiple of 12?
False
Let o = 289 - 311. Let t(r) = -2*r**2 - 47*r + 17. Does 35 divide t(o)?
False
Let m be ((-2)/(-7))/((-2)/(-14)). Suppose -2*h + m*c = -826, h - 3*c + c - 411 = 0. Suppose 4*s + s = h. Does 4 divide s?
False
Let n be (-2)/8 - (-81)/4. Let z(u) = -71*u**3 - 2*u**2 + 43*u + 44. Let g be z(-1). Let i = g - n. Does 5 divide i?
True
Does 62 divide ((-222)/(-9))/(-15*17/(-118575))?
True
Let w(y) be the second derivative of -y**4/12 - 2*y**3/3 + 51*y**2 + 2*y - 1. Is w(0) a multiple of 34?
True
Let c(w) = -4*w**2 + 149*w + 475. Does 4 divide c(37)?
True
Let k(b) = -40*b + 28*b - 17*b + 10. Is 20 a factor of k(-10)?
True
Let d be ((-1688)/24)/((-4)/(-72)). Let g = -780 - d. Does 6 divide g?
True
Let n(p) = 72*p + 9681. Let m(c) = -21*c - 2766. Let x(y) = -18*m(y) - 5*n(y). Does 55 divide x(0)?
False
Let l be (640/60)/(1/(-3)) + -3. Is 11 a factor of ((-448)/l)/((-56)/20 + 3)?
False
Suppose -128779 = -70*r + 38311. Is 32 a factor of r?
False
Let u = -396 - -4215. Is 90 a factor of u?
False
Suppose 6*o - 102 = 84. Let k = -12 + o. Suppose 21 = 4*b - k. Does 5 divide b?
True
Let j = -315 + 324. Suppose 0 = j*h - 15*h + 270. Does 16 divide h?
False
Let a(f) = -4*f**3 - 34*f**2 + 9*f - 44. Is 36 a factor of a(-13)?
False
Does 183 divide -2 - 9/(45/10)*-181?
False
Suppose 87*g - 103*g = -80. Suppose a = 5*c + 669, -g*c + 2*c = -5*a + 3279. Is a a multiple of 10?
False
Suppose 106 = 2*g + 22. Let a = g + -41. Does 9 divide (2 - a)/(8/432)?
True
Suppose 31*o - 75 = 30*o. Let s be (-30)/o + (0 - (-13162)/5). Is 43 a factor of 1/(s/876 - 3)?
False
Suppose -2*k - 3*k - 5*j + 45 = 0, 0 = 5*k + 2*j - 30. Suppose 3*l + k*a + 1915 = 696, -2009 = 5*l + a. Let r = -177 - l. Does 16 divide r?
True
Suppose -49*r + 4*r + 27135 = 0. Suppose -17*l = -15*l + h - r, 4*l - 1209 = -3*h. Is 6 a factor of l?
True
Suppose -98 = -51*d + 463. Suppose -3*o - 29 + 167 = 0. Let a = d + o. Does 11 divide a?
False
Does 42 divide ((-16758)/54)/((-3)/108)?
True
Let o = 4798 - 1386. Suppose -o + 244 = -4*t. Suppose 3*b - t = -120. Is 16 a factor of b?
True
Suppose -429365 = -4*f - 12*f + 14555. Does 31 divide f?
True
Suppose -11*w + 8*w = 2*j + 196, -3*w = 4*j + 404. Let o = j + 233. Is 7 a factor of o?
False
Suppose 752*p - 556*p = 3965080. Is p a multiple of 94?
False
Let y(m) = 23*m - 12. Suppose -8 = -c - 5. Let a be y(c). Suppose -3*u + 19 = -2*z - 152, -u - z + a = 0. Is u a multiple of 17?
False
Let a(v) = 50*v + 15. Let o be a(2). Let m = o + -112. Does 23 divide (-2 + 0)/(m/(-72))?
False
Let f(i) = 17*i**2 - 23*i - 37. Let t be f(-13). Suppose -5*o = 3*z - t, 838 = -5*o - z + 3983. Does 14 divide o?
True
Let g(x) = -x**3 - 6*x**2 + 6*x - 3. Let p be g(-7). Suppose -2*t + 3*n + 223 = 0, -2*t = -0*n - p*n - 222. Is 2 a factor of t?
False
Suppose 4*r + 867 = -5*m, -r + 12*m - 7*m - 223 = 0. Let z = -167 - r. Is z a multiple of 3?
True
Let w = -48 - -47. Let o be (-2)/(-3 + 14/4). Does 3 divide (-15)/(4 + w + o)?
True
Suppose 30*h + 364*h = 5224046. Is h a multiple of 27?
False
Suppose -z + 3 = 0, 469 + 784 = 2*p + z. Suppose p = 5*v + 3*j, 2*j - 90 = 3*v - 484. Suppose 197 = 5*s - v. Is s a multiple of 18?
False
Let b(s) = -15*s + 5. Let f be b(3). Let a = -43 - f. Is 25 a factor of (3 - 3 - a) + 22?
True
Let x(g) = 50*g - 21. Let q(y) = -151*y + 64. Let c(b) = 2*q(b) + 7*x(b). Does 20 divide c(5)?
False
Let u = 3876 - 3769. Is 2 a factor of u?
False
Suppose 2488 = 2*j + 141*z - 139*z, j - 3*z - 1252 = 0. Is j a multiple of 28?
False
Suppose -60 - 92 = -38*i. Suppose -i*p + 2*t + 2008 = -208, 1088 = 2*p + 4*t. Is 19 a factor of p?
False
Let j(m) = 7*m**3 + 7*m**2 - 14*m - 41. Does 74 divide j(8)?
False
Suppose 2*p + 5*x - 50 = -p, -2*p = 4*x - 32. Suppose p = -3*u + 7*u. Suppose 130 = 5*a - 2*d, -a - u*d + 39 = 13. Does 13 divide a?
True
Suppose -7*p = -3447 - 1747. Let w = 71 + p. Does 20 divide w?
False
Is (-1 - 0)*(-84)/(-42) - -5882 a multiple of 245?
True
Let g(i) = 63*i - 2. Let s be g(7). Suppose -o - s = 157. Does 12 divide (4 - o/4) + -4?
False
Suppose -105*n + 101366 = 193862 - 1457496. Is n a multiple of 270?
False
Let u(t) = -t**3 + 2*t**2 + 20*t + 29. Let g be u(-5). Let j = -46 + 84. Let q = g - j. Is q a multiple of 6?
True
Suppose -2844 - 23519 = -70*a + 797. Does 4 divide a?
True
Let f(l) = 2*l**3 - 42*l**2 - 2*l + 56. Let x be f(21). Suppose x*p + 14*p = 46480. Does 27 divide p?
False
Suppose 5*k + 2*n - 1436 = -2*n, 863 = 3*k + n. Suppose 4*o = -4*h - 188, 3*h = -3*o + o - 89. Let t = o + k. Does 14 divide t?
False
Let t be (-4 - (-27)/6)*(-8 + 78). Suppose t*p - 918 = 18*p. Is 16 a factor of p?
False
Suppose 4*s + 384 + 124 = 3*r, -2*r + 340 = -3*s. Let u be 1/7 - (4 - r/28). Suppose -u*i = -49 - 23. Is i a multiple of 9?
True
Suppose -8*g + 8*g = 7*g - 118762. Is g a multiple of 84?
False
Let g(o) = -106*o**2 + 3 + 6*o + 112*o**2 + 4 - o**3. Let n be g(7). Suppose -39*h + 37*h + 130 = n. Is h a multiple of 28?
False
Let p be (-5)/((-10)/3448) + (-92)/23. Suppose -11*s = -7*s - p. Does 15 divide s?
False
Let a(w) be the second derivative of w**4/12 + 13*w**3/6 + 54*w**2 - w - 26. Is 51 a factor of a(-25)?
True
Let r = -408 - -1779. Suppose -10*d + 5229 = -r. Suppose -5*p + 3*f = -628, -12*p + 5*f = -17*p + d. Is 8 a factor of p?
True
Let b(o) be the third derivative of -o**4/6 + 6*o**3 + 9*o**2. Let f be b(9). Suppose -3*n + 2*n + 2*g + 159 = f, 4*g + 628 = 4*n. Does 14 divide n?
False
Suppose -7*w - 14*w + 0*w + 3234 = 0. Is w a multiple of 3?
False
Suppose -66*b + 29880 = -152874. Is 30 a factor of b?
False
Let u be -7 - -7 - -4*1. Let q be 25/5 - u - -3. Suppose -q*k = 5*o - 74, 3*o + k - 29 = o. Does 7 divide o?
True
Suppose 0 = 43*j - 134853 + 39823. Is j a multiple of 17?
True
Suppose o - 3 - 2 = 0. Suppose 3*k - 1292 = -o*i, 2*k - i + 1300 = 5*k. Let v = k - 309. Does 19 divide v?
False
Let w(f) = 2*f**2 - 19*f - 8. Let t be 0/3 - 0 - 1*-10. Let l be w(t). Suppose -2*c + 144 = l*c. Is 5 a factor of c?
False
Let h(c) = -22*c**2 - 23*c**2 + 5*c + 8 + 46*c**2. Let l be h(-5). Suppose 33 = 5*x + l. Is x a multiple of 3?
False
Let j be (-261)/27 - -10 - 1210/(-6). Let g = j + -127. Is g a multiple of 5?
True
Suppose 466 - 6 = 10*j. Suppose -7*t + j = -122. Does 8 divide t?
True
Suppose -7*y - 334 = -9*y. Suppose -4*h = -12, 2*h + y + 67 = 5*u. Is u a multiple of 29?
False
Let f(t) = 3*t**2 + 9*t + 7. Let r be f(-6). Suppose 56*i = r*i + 60. Let q(x) = x**3 + 12*x**2 - 2*x + 17. Does 8 divide q(i)?
False
Suppose 2*o + 2*d = 126, 47 = o - d - 18. Suppose 4*h + 5*n - 423 = 0, h - 2*n - o = 58. Is 13 a factor of h?
False
Let z(b) = -b**2 - 5*b + 229. Let o be z(-28). Let f = o - -1735. Is 15 a factor of f?
True
Let v = -67 + 70. Suppose -v*p = -5*l - 341, 10 = -5*l - 10. Is p a multiple of 15?
False
Let x(a) = 26*a**2 + 7*a - 4. Let v be (-11)/(-7) + (-168)/(-392). Does 4 divide x(v)?
False
Let f be 22/(-55)*-1*(1 - 11). Does 45 divide 32805/54*f/(-3)?
True
Is 32 a factor of (-1 - 85/68)/(3/(-2488))?
False
Suppose -36*n + 612956 = -631504 + 284844. Does 150 divide n?
False
Let h(y) = -4*y + 76. Let t be h(18). Suppose -7*x + 69 = -4*x + 3*u, -5*u + 96 = t*x. Does 3 divide x?
False
Let o be (-285)/6*24/(-30). Let y = o - 12. Let f = 10 + y. Does 5 divide f?
False
Is 5 a factor of 22/2 + (1250 - -69)?
True
Let t(u) = -361*u**3 - 2*u**2 - 18*u - 36. Is t(-2) a multiple of 20?
True
Suppose 6*o - 3656 = 4*o + 3*g, g - 2 = 0. Does 9 divide o?
False
Is 9 a factor of (3974/7)/((-820)/140 + 6)?
False
Suppose 2*h + 4*k - 102 - 154 = 0, -4*k = h - 120. Let q = h + -240. Let o = q - -129. Is 7 a factor of o?
False
Suppose 71105 = 26*h - 20805. Does 88 divide h?
False
Let d(o) = 201*o - 9855. Is d(110) a multiple of 15?
True
Let h be 8/14 - 312/(-91). Suppose 2*g + h*k = 44, 5*g + k - 110 = -k. Does 11 divide g?
True
Suppose 58*v = 54*v + 20. Let f(m) = 61*m + 17. Is 23 a factor of f(v)?
True
Suppose -30 = 9*l - 4*l. Let s(m) = -m**3 - 7*m**2 - 14*m - 9. Is s(l)