 - b - 1. Suppose -c - 23 = 22*c - 0*c. Is 5 a factor of p(c)?
False
Let q = 8975 + -6344. Does 89 divide q?
False
Suppose 7*i - 5*i - 2 = 0. Let b(y) = -32*y**3 - 2*y**2 + y + 1. Let s be b(i). Let z = s - -65. Is z even?
False
Suppose -2*z - 14 = -o - 3*z, -2*z = -8. Suppose -82 = -o*s + 828. Is 43 a factor of s?
False
Let w(q) = 2*q**3 + 13*q**2 + 4*q + 1. Let t be w(-6). Let d(f) = -6*f - 7*f**2 + 22*f**2 - f**3 + 3*f - 14 - 15*f. Is 30 a factor of d(t)?
True
Let v = 51 - 34. Let f(d) = d**3 - 18*d**2 + 17*d + 5. Let x be f(v). Suppose -3*g + 365 = x*t, t - 2*g = 36 + 24. Is 14 a factor of t?
True
Let c(h) = -320*h + 519. Is c(-13) a multiple of 142?
False
Suppose 2*v = -3*t - 0*t + 1002, 4*t - v = 1325. Suppose t = 6*k - 202. Suppose -r - 2*d + k = 3*d, -4*d = -r + 80. Is 3 a factor of r?
True
Is (3/4)/(1377/20074824) a multiple of 157?
False
Is 7 a factor of ((-6226)/99)/((-17)/1071)?
True
Let a(o) = 3*o - 10. Let r be a(7). Suppose 0 = 16*p - r*p - 7920. Suppose 0 = 12*m - 18*m + p. Is 11 a factor of m?
True
Let p(j) = 443*j**2 - 511*j + 34. Does 224 divide p(-7)?
False
Is ((-594)/(-2) + 6)/((-18)/(-762)) a multiple of 127?
True
Suppose 36 = -n - 8*n. Let x be (36/(-6))/(6/n). Suppose x*j - 5*c - 347 = 0, -4*j - c + 245 = -132. Is 19 a factor of j?
False
Let f(i) = -183*i + 28. Let u(v) = -4*v + 127. Let g be u(32). Is 31 a factor of f(g)?
False
Suppose 2*w - 2*d - 874 = 0, 0 = -38*d + 34*d - 8. Let k = 487 - w. Is 13 a factor of k?
True
Let o(y) = 976*y**2 - 121*y - 140. Is 298 a factor of o(6)?
True
Let f = 79 + -94. Let v(b) = b + 21. Let c be v(f). Suppose -6*u = c*u - 444. Is u a multiple of 2?
False
Let s(r) = 72*r. Let y be s(1). Suppose -3*c - y = c. Is 36 a factor of 4/(-18) + (-3244)/c?
True
Is (-7*532/4)/(39/(-1326)) a multiple of 49?
True
Suppose 1 + 107 = a. Suppose -h - 780 = -5*y, -795 = -a*y + 103*y + 4*h. Is y a multiple of 31?
True
Let w(q) = 88 + 4*q + 23*q + 3*q. Is w(11) a multiple of 19?
True
Suppose 0 = -45*c + 41*c + 2144. Suppose -4*j - c = -3*h, -4*h + 351 = -4*j - 361. Is 21 a factor of h?
False
Suppose 2*q = -3068 + 4690. Let f = q + -11. Does 8 divide f?
True
Suppose 3*u - 4*x = 119164, -x + 207487 = 4*u + 48551. Does 36 divide u?
False
Let q(y) = 13*y + 7. Let j be q(5). Suppose 0 = -70*o + j*o + 8. Is (2/3)/(o/(-468) - 0) a multiple of 13?
True
Let n = 131 - 130. Is n + 3 + 14/(-7) + 226 a multiple of 12?
True
Let k(t) be the third derivative of t**6/120 - t**5/15 - t**4/24 + t**3/2 + t**2. Let f be k(3). Is 49 a factor of 53 - (-12 - f)/(1*-1)?
False
Let n(d) = d**2 + d**2 - 11*d - 78 + 90. Is n(18) a multiple of 14?
True
Suppose 53*c - 56*c + 3306 = 0. Does 11 divide (-10)/(-1 + 21) - c/(-4)?
True
Let x(g) be the third derivative of -g**6/120 + 17*g**5/60 - g**4/2 + 89*g**3/6 + g**2 - 6*g. Is 22 a factor of x(15)?
False
Suppose -1619*u + 1627*u = 21320. Does 35 divide u?
False
Let p(a) = a - 1. Let x be p(3). Suppose -3*i + 1836 = x*s - 0*s, -5*s = i - 612. Does 18 divide i?
True
Let j(x) = 6*x**2 + 57*x - 412. Is 7 a factor of j(27)?
False
Suppose -12*a - 90 = -17*a. Let p = a - 18. Suppose 0 = -2*s - 4*h + 344, p = 2*h - h - 1. Does 36 divide s?
False
Let q(f) = 126*f + 196. Does 20 divide q(4)?
True
Suppose 4*s + 10302 + 16398 = 4*z, -2*z - 5*s = -13336. Does 26 divide z?
False
Suppose -18*y + 107301 + 46167 = 0. Is 29 a factor of y?
True
Let x(d) = -d**2 - 6*d - 25. Let b(v) = -v + 1. Let o(g) = -4*b(g) - x(g). Does 43 divide o(7)?
False
Suppose -5*w - 166 = -g + 56, 3*w = 2*g - 129. Suppose 0 = 3*i - 0*i - 396. Let p = w + i. Does 13 divide p?
False
Suppose -5*d + 27 = m, 22 + 7 = 5*d + 2*m. Suppose 0 = j + d*n - 308, -4*n = 3*j - 831 - 148. Does 37 divide j?
True
Let k = -626 - -1048. Suppose -5*c = -k - 418. Does 2 divide c?
True
Suppose 0 = 5*h - 4*h - 3415 - 6038. Is 133 a factor of h?
False
Let w = -6239 - -31498. Does 22 divide w?
False
Suppose 0 = g - d - 18, 22 = 3*g + 3*d + 2*d. Suppose g*j + 15 = 141. Is 3 a factor of j?
True
Let p be (140 - 0)*(-6)/(-8). Suppose 5*w - 12*w = -14. Suppose w*l + l = p. Is 7 a factor of l?
True
Let m be (0 + (-6)/9)*-303. Is 6/24*m - (-3)/6 even?
False
Let r(j) = j**3 + 3*j**2 + 3*j. Let c be r(-2). Let w be c - (265/(-5) - -4). Suppose -5*y - w = -2*n + 57, 4*n + 3*y = 208. Is n a multiple of 26?
True
Suppose -8*x - x = -3123. Suppose 3*z + x = r - 2*z, -2*r - z = -672. Suppose -3*o - 4*t = -r, o - 213 = -o - 5*t. Is o a multiple of 17?
True
Let b(t) = -72*t + 324. Is 3 a factor of b(3)?
True
Suppose -4 = -9*v + 104. Suppose 5*f + 20 = 0, -5*f + 38 + v = x. Does 16 divide 13480/x - 4/7?
True
Suppose 0 = 3*c - 5 - 10, c - 14561 = -3*q. Suppose q = 34*d - 724. Is d a multiple of 2?
True
Suppose 0 = -11*i + 9888 - 285. Let g = i - 477. Is 12 a factor of g?
True
Let m(v) = 9*v**2 - 84*v + 117. Is m(17) a multiple of 86?
True
Let f(j) be the second derivative of j**4/12 - 2*j**3/3 - 2*j**2 - 3*j. Let m be f(-2). Suppose -k = -m - 16. Does 8 divide k?
True
Suppose 7*y = 19*y - 7091 + 1403. Is y a multiple of 2?
True
Let x(f) be the third derivative of -5/6*f**3 + 0*f - 17*f**2 + 0 + 13/8*f**4. Is x(3) a multiple of 15?
False
Suppose 5*i + 32531 = 4*q, -q + 3*i = -8261 + 123. Does 46 divide q?
False
Suppose -7*a + 21 = -0. Suppose -a*u + 3*f = -5*u + 105, -4*f = -12. Is 15 a factor of u?
False
Suppose 0 = i + 35 - 33, 0 = 5*y - 2*i - 3874. Is y a multiple of 86?
True
Is (10*(-2010)/35)/(16/(-840)*5) a multiple of 30?
True
Let f(v) = 2*v**2 + 2*v + 2. Let d be f(-4). Let y be (-5)/((-10)/d) - 4. Does 16 divide 2*(-1)/y - 6220/(-45)?
False
Let j(m) = 246*m**2 - 74*m. Is 86 a factor of j(5)?
False
Suppose -176*f - 1146920 = -196*f. Is 139 a factor of f?
False
Let w be 3 + -1 - (-36100)/25. Suppose 10*k - 3554 = w. Does 5 divide k?
True
Let s(n) be the second derivative of -n**5/20 + 5*n**4/12 + n**2 - 19*n. Let b be s(5). Suppose -4*z + 2*l + 600 = -b*l, l = -4. Is z a multiple of 27?
False
Let g(n) be the second derivative of n**5/20 - 5*n**4/6 + n**3/3 - 23*n**2/2 + n - 3. Is g(11) a multiple of 85?
False
Let w(y) = 9085*y + 4457. Is w(5) a multiple of 49?
True
Suppose s + 9*r = 12*r + 41987, 209921 = 5*s - r. Is 64 a factor of s?
True
Suppose 14*x = 8670 - 7382. Is 23 a factor of x?
True
Let t(h) = -h**3 - 10*h**2 - 18*h - 11. Let r be t(-8). Suppose 2*l + d = 94 + 491, 0 = r*l - d - 1459. Is 63 a factor of l?
False
Suppose -5*r + 8*r = -3*n + 150, 2*r + 4*n - 104 = 0. Let k = -45 + r. Suppose 485 = 5*p + v, -138 = k*p - v - 421. Is p a multiple of 22?
False
Let g = 1513 + 352. Does 6 divide g?
False
Is (536144/40)/(28/40) a multiple of 7?
False
Is 14 a factor of 45480/33 - 88/484?
False
Let l(c) be the first derivative of 4*c - 5/2*c**2 + 5/3*c**3 - 10. Does 3 divide l(1)?
False
Suppose -15*u = -36*u + 63. Does 84 divide (-2)/(-15)*u + (-49980)/(-50)?
False
Suppose 0 = 143*a - 154*a + 4345. Does 5 divide a?
True
Suppose 0*o - 1135 = -o. Let l = o + -589. Does 57 divide l?
False
Let v(y) be the second derivative of 103*y**4/3 + 7*y**3/6 + 4*y**2 + 4*y + 2. Is v(-1) a multiple of 59?
True
Let j(z) = 6*z**3 - 8*z**2 - 9*z + 4. Suppose 40*h + 40 = 50*h. Does 7 divide j(h)?
True
Suppose -90*l + 826025 = -79872 - 213253. Does 17 divide l?
False
Suppose -3*k - 5 + 14 = 0, 5*t - 664 = -3*k. Suppose 85*f = -4*f + 20*f - 5934. Let c = t + f. Is 9 a factor of c?
True
Let x = 98 + -104. Let v = -1 - x. Suppose 7*b - 35 = 2*b + 5*t, -5*t = v*b - 45. Is 8 a factor of b?
True
Let q = 360 - 266. Suppose 0 = -14*b + 13*b + 4*u + q, -3*b + 2*u = -322. Is b a multiple of 11?
True
Let h = 6502 + 24164. Is 22 a factor of h?
False
Suppose 6*s + 3*s = -9. Let g be 4/(-10) - (224/35)/s. Suppose -7*l - g*l = -1001. Does 11 divide l?
True
Let l be -3*(20 + -1 + 2). Suppose -14*i = -112 + 742. Let v = i - l. Is 18 a factor of v?
True
Suppose -1290*z + 1288*z + 2*b = -68, -3*z + 4*b = -100. Is 12 a factor of z?
True
Let a = -4346 + 8954. Does 9 divide a?
True
Let s(c) be the first derivative of c**4/2 + 9*c**3 + 25*c**2/2 - 17*c - 13. Is 23 a factor of s(-12)?
True
Suppose -6 + 15 = t. Suppose 1662 = -t*m + 6288. Does 26 divide m?
False
Let t(j) = -j**2 + 5*j + 17. Let n be t(7). Is 13 a factor of 2*n/24 - 6853/(-44)?
True
Does 11 divide (-7845)/(-30) - 45/(-18)?
True
Let f = 213 - 152