8*b - 942366. Is 88 a factor of b?
True
Let c(d) = -2 - 3*d + 68*d**2 + 75*d**2 - 51*d**2 + 0*d**2 + 87*d**2. Does 8 divide c(-2)?
True
Let w = -131 + 86. Let c be 240*-1*60/w. Suppose 2*v = 5*s + 167, -6*s + 2*s + c = 4*v. Is v a multiple of 27?
True
Let z(i) = i**2 - 13*i + 16. Let c(l) = l + 2. Let q be c(10). Let k be z(q). Let u(j) = j + 24. Is 6 a factor of u(k)?
False
Let a(c) = 405*c - 1761. Is a(16) a multiple of 39?
True
Let v(g) = -g**3 - 34*g**2 - 66*g + 484. Does 5 divide v(-35)?
False
Let f be (-135045)/450 + 2/20. Let v = f + 345. Does 9 divide v?
True
Suppose 2*a - 40546 = -215*p + 214*p, -7*a + 141956 = -4*p. Is a a multiple of 137?
True
Is (66/132)/((-3)/(-2)*(-6)/(-791892)) a multiple of 10?
False
Suppose 9*v + 3 + 465 = 0. Is 7 a factor of (-372)/v + 14/(-91)?
True
Suppose -4*z + 2*p + 2043 = -699, 2*p + 690 = z. Is z a multiple of 24?
False
Is 8212*(-35)/(-20) + -11 + 22 a multiple of 12?
False
Suppose 30 = 16*m - 66. Suppose 7 = -2*t - h + m*h, h - 5 = 4*t. Let b(k) = -241*k**3 - 3*k**2 - 4*k - 2. Is b(t) a multiple of 15?
True
Let g(p) = 469*p**2 + p. Suppose 2*c - 2 = -j + 4, 3*c - 4*j = -13. Let z be g(c). Suppose -25 + z = 5*b. Is b a multiple of 10?
False
Let w be 2/(-6) - (-552)/36. Let h = w + -12. Suppose -h*z = 6 + 3, 4*z + 502 = 5*p. Is 17 a factor of p?
False
Suppose -6*t - 2*t + 9*t - 16472 = 0. Is 29 a factor of t?
True
Let t be -2 - 12/(6/3). Let h(o) be the first derivative of -3*o**2/2 - 6*o + 17. Is 3 a factor of h(t)?
True
Let o(t) = -t + 38 + 11 + 5*t. Is 11 a factor of o(-9)?
False
Let p be -3*(13/(-11) + (-4)/(-22)). Suppose 0 = -2*a - y - 4*y + 346, a - p*y = 195. Is 61 a factor of a?
True
Let b = -143 + 133. Let k be (-7)/14 + (-1)/2. Does 15 divide b/(k + (-32)/(-36))?
True
Suppose 0 = 10*c + 1937 - 10287. Let b = -307 + c. Does 44 divide b?
True
Suppose -v = -4, 0 = d - 45*v + 40*v - 913. Is 51 a factor of d?
False
Let o be (-65)/((-6)/(-18)*3). Is 12 a factor of 1693/2 - o/26?
False
Let l(q) = -q + 1. Let z be (-2)/(-11) + 24/(-11). Let j be l(z). Suppose j*r = 7 + 8. Is 2 a factor of r?
False
Let c(i) be the second derivative of 34*i**3/3 - 11*i**2 - 12*i. Let q be c(11). Suppose -2*t + 13*t = q. Is t a multiple of 9?
False
Suppose -q - 6 = 2*c, -23 = 5*q + 2*c + c. Let p be 1/q - 98*(-12)/(-32). Let o = p - -49. Is o a multiple of 11?
False
Suppose -14*n + 50 = -1490. Does 14 divide (n/8)/(((-15)/12)/(-5))?
False
Let s be 1/((-15)/(-333)) - (-6)/(-30). Let b be 26/(-143) - (-1214)/s. Suppose 0 = 5*l - 125 - b. Is l a multiple of 36?
True
Let y(d) = -d**2 - 12*d + 8. Let u = -24 - -27. Suppose 2*f + 2*n + 28 = 0, -u*f - 7 = 2*n + 32. Does 19 divide y(f)?
True
Suppose -3 = -4*c + 165. Let s = -41 + c. Is (10/4)/(s/16) a multiple of 13?
False
Let c(u) = 30*u - 64. Let q be c(-6). Let r = q - -452. Does 8 divide r?
True
Let i = 359 - 357. Is 60 a factor of (-1 + i)*-254*15/(-10)?
False
Suppose 108 = 4*d + 5*d. Suppose 0*w = -2*w - h + 10, -4*w + d = 4*h. Is 14 a factor of 927/w + -1 + 48/84?
False
Suppose -4*t = -9*t + 30. Let y = 4593 + -4590. Suppose 0 = -t*q + q + y*c + 38, 5*c = 20. Does 10 divide q?
True
Let k = 22284 - 3934. Does 25 divide k?
True
Let j = 35 + -21. Let v = -18 + j. Is 37 - -2*4*(-1)/v a multiple of 6?
False
Let u be (0 - 2)*234/(-36). Let m(c) = c**3 - 8*c**2 - 31*c + 14. Is m(u) a multiple of 12?
True
Let n(s) = s**3 - 84*s**2 - 86*s + 372. Is 4 a factor of n(85)?
False
Suppose 0 = 2*l + 5*d - 636, -4*d + 0*d - 1244 = -4*l. Suppose 2*s = 4*t + 130, -4*s - 3*t = 97 - l. Is 15 a factor of s?
False
Let q = -691 - -1067. Let w(a) = -13*a + 5. Let n be w(-7). Suppose q - n = 4*p. Does 14 divide p?
True
Let q(c) = c**2 + 291. Let d be q(0). Suppose 4*z + 1536 = 2368. Let n = d - z. Does 4 divide n?
False
Let i(s) = s**3 - 15*s**2 + 7*s - 62. Let j be i(16). Let l = j + -43. Does 8 divide l?
False
Let i be ((-30)/40)/(1/4) - -15. Let d = 64 + i. Let n = d - -22. Is n a multiple of 14?
True
Suppose -5*p = 5*i - 251685, 4*p + 50352 = -25*i + 26*i. Is 16 a factor of i?
False
Suppose v - 4*r - 40 = 3*v, 0 = 5*v + 5*r + 85. Let c = v + 41. Is c a multiple of 3?
True
Let b = 32 - 47. Let k = 83 - b. Let p = -20 + k. Is p a multiple of 39?
True
Let s(o) = o**3 + 19*o**2 - 3*o + 34. Let t(i) = 7*i + 37. Let r be t(-8). Is s(r) a multiple of 13?
True
Let t(f) = 31*f**2 + 277*f - 488. Does 6 divide t(16)?
True
Let h be ((-16)/(-14))/((-16)/(-112)). Suppose 6*b = h*b - 120. Does 4 divide b?
True
Let j = 96 + -210. Let z = j + 389. Is z a multiple of 11?
True
Suppose -3*m - 162 + 0 = 0. Let a = 51 + m. Is (15/5)/(a + 2) + 85 a multiple of 23?
False
Let q(d) = 12*d - 33. Let z(r) = -2*r**2 - 18*r - 1. Let x be z(-6). Let u be (-4)/(-14) + 270/x. Does 7 divide q(u)?
True
Let f(z) = z**3 + 34*z**2 - 59*z + 4. Is 20 a factor of f(-12)?
True
Is 32 a factor of ((-6)/(-10))/((-19)/(-75810))?
False
Let z be (-26)/(-39)*(-39)/(-2). Let h = -79 + 134. Let p = h - z. Is p a multiple of 7?
True
Let g = -1 - -110. Let o = g + -100. Suppose 32 - o = q. Is q a multiple of 23?
True
Let z(u) = 9*u**3 + 27*u**2 - 218*u + 11. Is z(9) a multiple of 19?
False
Suppose 3*t + 0*t = 54. Let p(d) = -d**3 - 38*d**2 - 142*d - 169. Let r be p(-34). Let m = r - t. Does 17 divide m?
True
Let t be -10 + 10 + (0 - -3) + 0. Suppose -t*a = 3*f + 78, -2*a = 3*f + 78 - 30. Let m = a + 53. Is 2 a factor of m?
False
Let q(p) = -p**2. Let f(m) = -7*m**2 - 6*m + 4. Let o(g) = -f(g) + 6*q(g). Let t be o(-7). Suppose -t*n - 2002 = -14*n. Is 26 a factor of n?
True
Let v = -79 - -85. Is 1*v/(-39) + (-30034)/(-26) a multiple of 15?
True
Let s be (-65)/((-1 - (-12)/9)*-1). Let u(b) = 20*b + 2. Let i be u(-6). Let r = s + i. Does 8 divide r?
False
Let y(q) = -387*q**2 + 7*q. Let s be y(-1). Let z = s + 819. Is z a multiple of 37?
False
Suppose -c = u + 4*u + 3, 2*c + 2*u = 2. Suppose -48 = -2*x - c*x. Let i = x + 128. Is i a multiple of 28?
True
Suppose -154 = -5*j - 1469. Let x = j + 276. Is x a multiple of 4?
False
Let z(o) = 1795*o - 14337. Is z(8) a multiple of 2?
False
Suppose 49*w + 54*w - 532660 = 190194. Is w a multiple of 29?
True
Suppose 0 = -48*i + 50*i - 10, -4*v + 59822 = 2*i. Does 9 divide v?
False
Suppose -4*d + 8*d = 8. Suppose 4*u + 760 = 4*l, 5*l - 974 = -d*u - u. Is l a multiple of 15?
False
Let v(w) = 2*w**3 + 80*w**2 + 79*w + 39. Let u be v(-39). Let b(n) = -5*n + 278. Is 19 a factor of b(u)?
False
Let z be (7 + -13)*(-334)/6. Suppose -228 = -2*p - w + z, -4*p - 4*w = -1128. Is p a multiple of 7?
True
Let u = -10 + 24. Suppose -6*o + o = -x - 10, 5*x - 70 = -5*o. Suppose 16*f - x = u*f. Is f a multiple of 2?
False
Let t be (6900/(-16))/(-5) - 9/(-12). Suppose -5*l - t = -212. Does 6 divide l?
False
Let z = 7071 - 5003. Is z a multiple of 15?
False
Suppose -212739 + 105079 = -52*y + 462052. Is y a multiple of 132?
True
Let o = 857 - 857. Suppose -2*t - 5*c + 1098 = o, 5*t - 2707 = -c - 2*c. Does 7 divide t?
True
Is 19 a factor of ((-1538)/20 - 60/100)*-22 + 5?
True
Suppose -10*x + 583 - 93 = 0. Suppose -52*g = -x*g - 783. Is 5 a factor of g?
False
Suppose 65*u - 27437 - 4220 = 20863. Is u a multiple of 8?
True
Let d = 1131 + 1621. Is 22 a factor of d?
False
Let g = 10078 - 9889. Is g a multiple of 7?
True
Suppose -9 = 4*m - 7*m. Let w(d) be the first derivative of 4*d**2 + 7*d + 1. Is w(m) a multiple of 6?
False
Suppose 1713 = -13*s - 2603. Let u = 359 + s. Is u a multiple of 4?
False
Let x(a) = 17*a + 16. Let p be (-26)/(-2) + 2 + (-5 - -3). Let c be x(p). Let v = c - 127. Is v a multiple of 10?
True
Suppose -4*y + y = -2*n + 124, 4*n - 248 = -2*y. Suppose 38 = 5*q - n. Is 2 a factor of q?
True
Let h(p) be the third derivative of -3/10*p**5 - 5/3*p**3 + 0 + 1/8*p**4 + 1/120*p**6 + 3*p**2 + 0*p. Does 39 divide h(18)?
False
Suppose 3*p = -4*l - 2279, -5*p = -3*l + 6*l + 3802. Let t = 327 - p. Is t a multiple of 64?
True
Suppose 317*z - 326*z - 1098 = 0. Let t be (0 - 363)*4/(-6). Let v = t + z. Does 20 divide v?
True
Suppose -4*s = 35 + 253. Is (8/12)/(0 + (-1)/s) a multiple of 3?
True
Suppose 3*g + 6*z = 9*z + 18963, -4*z = -5*g + 31602. Is g a multiple of 9?
True
Let r = -19231 - -21891. Is r a multiple of 35?
True
Let p be (-2)/7 - 1214/14. Let n = 90 + p. Let q(z) = 2*z**2 + 4. Is q(n) a multiple of 11?
True
Let 