d**2 - 3*d**2. Is z(q) a multiple of 19?
True
Is 65 a factor of -4*105/120*-260?
True
Let c be -2*5/12*18/(-3). Suppose 2*g - i + 1 = -2*i, c*i + 25 = 0. Does 2 divide g?
True
Suppose 5*s = 20, -2*s + 384 = 4*a - 0*s. Suppose -382 = -4*w - a. Does 18 divide (11/(33/w))/(1/8)?
False
Let p = -185 + -452. Let j = 1285 + p. Does 27 divide j?
True
Let j(h) = 9*h**2 + 10*h + 1. Let r be j(-1). Suppose r = -22*m - m + 2070. Does 10 divide m?
True
Does 16 divide (-18806 - -5)/(60 + -63)?
False
Let o(p) = -p**3 + 37*p**2 + 44*p + 2145. Does 33 divide o(33)?
True
Let u be (-1508)/8 - 12/(-8). Let y = u + 127. Is 12 a factor of 82 + (3/5)/(12/y)?
False
Is (-2)/49 - 8788978/(-1078) a multiple of 10?
False
Suppose 0 = 16*f - 11*f + 5*y - 58425, 2*y = -2. Is f a multiple of 72?
False
Suppose -6*c + 8*c - 58899 = 3*s, 3*s = -5*c + 147216. Is c a multiple of 107?
False
Let a = -34589 + 65278. Does 56 divide a?
False
Let x(o) = o**2 - 1. Let v be x(2). Suppose -2*d + 229 = 2*p + v*p, 3*d = -3*p + 357. Let g = d + -58. Is 16 a factor of g?
True
Let k = -24215 - -25927. Is 8 a factor of k?
True
Let g(p) = -5*p - 3. Let t = -8 + 12. Let r be t/18 - (-498)/(-54). Is g(r) a multiple of 5?
False
Suppose -60*m - 15*m = 74*m - 698959. Is m a multiple of 36?
False
Let o(g) = g**2 + 8*g + 4. Let x be o(-5). Let h = -2395 - -2439. Is 17/(-4)*h/x a multiple of 9?
False
Suppose -47*g + 80*g + 74*g - 109782 = 0. Is g a multiple of 10?
False
Let x(g) = -432*g**3 - 25*g**2 + g + 14. Does 11 divide x(-4)?
True
Suppose -191 = -2*y - 2*o + 791, y = -5*o + 495. Is 14 a factor of y?
True
Let c = 16 - 24. Let f(o) = -o**2 - 10*o + 7. Let j be f(c). Suppose -132 = -5*n + j. Is 10 a factor of n?
False
Suppose -15 = 47*v - 42*v. Let i be 298 + v + -4 + 3. Suppose 2*u - 3*u = -2*z + i, 443 = 3*z - 2*u. Is z a multiple of 16?
False
Suppose -4*z = -6*s + 2*s - 6720, 3*z - 5024 = -5*s. Does 128 divide z?
False
Suppose 0 = 5*o - 9*o + 3*o + 7992. Is o a multiple of 54?
True
Let c(s) = 2*s**2 + s - 4. Let i be c(-2). Suppose -700 = -i*h - 52. Is 22 a factor of h?
False
Let m = 628 - 1453. Let y = m - -1185. Is 45 a factor of y?
True
Let h(z) = 17*z + 41. Let g be ((-195)/20)/((-2)/48). Let s be 2/9 + 1352/g. Does 13 divide h(s)?
True
Let b(a) be the third derivative of -4*a**4 - 4*a**3/3 + 3*a**2. Let u be b(-5). Suppose -5*q - u = -13*q. Does 19 divide q?
False
Let r(k) = -7*k - 39. Let j be r(-6). Suppose n + j*a - 429 = -2*n, 604 = 4*n - 4*a. Is 8 a factor of n?
False
Let k = -299 - -331. Suppose 9504 = -10*y + k*y. Is y a multiple of 54?
True
Let j be (-523 - -9)*(-3)/(-6). Let x = 351 - j. Is 27 a factor of x?
False
Suppose 27740 = 173*m + 74460 - 255704. Is m a multiple of 9?
False
Suppose 4*p - 4*t = 8296, -48*p = -51*p + 5*t + 6232. Is p a multiple of 79?
False
Suppose 3*x - 8*u + 12*u = 518, -u + 171 = x. Let w = -26 - 80. Let o = w + x. Does 30 divide o?
True
Suppose 40*x - 10*x = x + 20967. Is 6 a factor of x?
False
Suppose 5*r = -3*o + 5647, -6*r + 1103 = -5*r + 5*o. Does 11 divide r?
True
Suppose -3*c = 8*q - 7*q + 4, 3*c = -3*q + 6. Is 19 a factor of (-3 + q)*486/4?
False
Let y(g) be the third derivative of g**4/12 - 4*g**3/3 - 27*g**2. Let d(h) = -1. Let t(x) = -2*d(x) - y(x). Is 3 a factor of t(3)?
False
Let r(u) = -u + 25. Let z be r(23). Suppose -242 = -2*b - z*g + g, 0 = 3*b + 4*g - 358. Suppose -281 = -3*d - 5*m, 2*d + b = 3*d - 4*m. Does 20 divide d?
False
Let z be 6/(-9)*-6*(-3 + 9). Suppose z*t - 28*t = -60. Let y = t + 13. Is 7 a factor of y?
True
Let w(j) = -4*j**3 - 29*j**2 + 4*j - 76. Is 15 a factor of w(-14)?
True
Let p(g) = -2*g + 23. Let q be (6/(-8))/(15/(-140)). Let o be p(q). Suppose 8*v + 66 = o*v. Does 16 divide v?
False
Let a be (-1)/(-1)*(-268)/(-4). Let l = 63 - a. Is 2 - (-8)/(-1*l/68) a multiple of 23?
True
Let g = 27233 + 4843. Is g a multiple of 44?
True
Suppose f = 5*n + 7965, 4*n + 19821 = 4*f - 12135. Is f a multiple of 15?
True
Let s = 389 + -384. Suppose s*q - 727 = -4*r, 3*r - 5*r + 4*q + 396 = 0. Is 4 a factor of r?
True
Suppose -15*r + 3 = -14*r. Suppose -3*i = r*w + 50 - 659, 1043 = 5*i - 2*w. Is 9 a factor of i?
True
Suppose -2 = 2*w + 4*z, 0 = -2*w + 3*w + 3*z + 6. Suppose 0 = 4*t - 4, 12*n + 2*t = w*n + 227. Is n even?
False
Let i = 157 + -229. Let z = i + 75. Suppose -q + 3*c = -270, 2*q = z*q + c - 262. Does 24 divide q?
True
Let w = 35 - 33. Suppose -w*u + 4*u = 3*o + 75, 3 = o. Let z = u + 7. Is z a multiple of 7?
True
Let a = -16801 + 23301. Does 52 divide a?
True
Let x(d) = 6*d - 50. Let u be x(7). Let v(k) = k**3 + 5*k**2 - 28*k - 16. Is v(u) a multiple of 8?
True
Let a(f) = -14*f + 6. Let y be a(-3). Suppose o - w - 99 = 0, -w - w - 293 = -3*o. Let i = o - y. Does 7 divide i?
False
Suppose -4*n + 12 = -5*a + a, 0 = n - 5*a + 1. Suppose 0 = -2*x + 2*s + 322, -n*x = 5*s - 10*s - 647. Is x a multiple of 11?
False
Let p be ((-2 - -13) + -2)*1. Let b(q) = -6*q - p + 15 + 2*q + 3*q**2. Does 18 divide b(6)?
True
Suppose -3*h = 5*p + 140, -p + 8 = 5*h + 36. Let n be 6/(-8) + (-105)/p. Suppose -15 = n*x, u - 5*u = -3*x - 51. Is u a multiple of 3?
True
Let u(j) = -3*j**3 - j**2 + 7*j + 2. Suppose -5*g = 10 - 10. Suppose g = -p + 7*p + 24. Does 28 divide u(p)?
False
Suppose -199134 = -84*z + 36*z - 26*z. Does 39 divide z?
True
Suppose 24*v - 10*v = -126. Is (279 - (12 + -6))/(v/(-12)) a multiple of 8?
False
Let w(z) = 17*z**2 + 23*z - 138. Does 44 divide w(10)?
False
Let o(k) = 277*k + 33. Let z(i) = 69*i + 8. Suppose -99*l - 4 = -97*l. Let m(s) = l*o(s) + 9*z(s). Is m(1) a multiple of 16?
False
Let z be 27/(-15) + (-4)/20. Let p be ((-4)/(-2) + (-1 - 0))*-12. Is p/z*-4*603/(-54) a multiple of 51?
False
Suppose -2*x = 5*z - 31, -2*x = -0*x - 3*z + 9. Suppose 2*r + 2*y - 830 = 0, -x*r - y = -7*r + 1650. Is 38 a factor of r?
False
Let u = 168 + -163. Does 8 divide (u - 4249/(-10)) + 1/10?
False
Let h(v) = -8*v**3 - 2*v**2 + 10*v - 5. Let d be h(-5). Suppose -5*k - 9*w + 6*w = -1493, 3*k + 2*w - d = 0. Does 43 divide k?
True
Suppose f + 2*u = 66, 0*u + 324 = 4*f - 4*u. Let j = 44 - f. Let s = -25 - j. Is s a multiple of 4?
False
Suppose 5*s + 24 = f, f - 5 = -4*s - 17. Let t be -9*(4 - (296/36 + s)). Is 33 a factor of ((-1212)/24)/(t/(-4))?
False
Let z(l) be the second derivative of l**5/20 + 3*l**4/4 + 7*l**3/6 - 9*l**2/2 - 3*l + 18. Does 15 divide z(-7)?
False
Let r be 1148 + 18 - (-8 - 0). Suppose 4*d = 4*q + q + r, 2*d + 2*q - 596 = 0. Is d a multiple of 51?
False
Let d = -264 + 115. Let k = 219 + d. Is k a multiple of 10?
True
Suppose -3*h = n - 467, 70*n - 66*n = 2*h - 330. Suppose 3*p - 6*p + 39 = 0. Suppose -p + h = 9*k. Is 3 a factor of k?
False
Let b = 1265 - -2083. Is 9 a factor of b?
True
Let d = -3970 - -4790. Does 10 divide d?
True
Suppose 50*i = 4610 - 1160. Suppose 0 = -f + 2*v + i, -5*f + 150 = -v - 150. Is 2 a factor of f?
False
Let w be 10/2*1/(-10)*8. Let t(a) = 5*a**2 + 14*a + 48. Is 72 a factor of t(w)?
True
Suppose 5*r = -3*y + 17214, 4*r - 5*y - 14549 + 800 = 0. Is 111 a factor of r?
True
Let i = 25984 + -23990. Does 2 divide i?
True
Let z = -461 - -287. Let a = 4 - z. Suppose -k + 4*c - 8*c + a = 0, 5*k - 3*c - 936 = 0. Does 19 divide k?
False
Let h(i) = 742*i**2 + 7213*i + 1. Is h(-11) a multiple of 45?
True
Let s be (-29965)/(-130)*(-2 - 0). Let d = -97 - s. Does 14 divide d?
True
Suppose -90 = 4*u - 62, 5*h + 4*u = 170142. Does 187 divide h?
True
Suppose -3*t = 0, -n + 19*t - 18*t = -8493. Does 15 divide n?
False
Let n(j) = 7*j + 40. Let t be n(13). Suppose -b - 682 = 5*s, t = -s - 3*b + 3. Let r = 240 + s. Does 49 divide r?
False
Let i(a) be the second derivative of -a**3/6 + 40*a**2 - 16*a. Let x(u) = -u. Let w(d) = i(d) - 4*x(d). Is 20 a factor of w(0)?
True
Let b(t) = 57*t**3 + t**2 - 5. Let f(i) = -2*i**2 - 3*i + 2. Let o be f(0). Let g be b(o). Suppose -2*a + 186 = -3*l, -5*a + 7*l + g = 2*l. Is 11 a factor of a?
False
Let z be (-2 + -1 - -16)*2. Suppose s - 5*u - 54 = z, 2*s - 2*u - 192 = 0. Suppose -485 = -4*o - 5*k, -3*o + 2*k + s = -281. Is o a multiple of 25?
True
Suppose -d - 30*q = -25*q, 0 = -5*d - 5*q. Suppose -2*g + 0 + 410 = d. Is 41 a factor of g?
True
Let n = 117 + -264. Let s be n/(-28) + 1/(-4). Suppose -4*h = s*h - 684. Is 8 a factor of h?
False
Let o(c) = c**2 + 6*c + 14. Let d be o(-9). 