*5341/3 a multiple of 51?
False
Suppose -5*d - 5*p = -33145, 5*d - 27096 - 6053 = -4*p. Is d a multiple of 201?
True
Let m = 16713 + -11833. Is m a multiple of 10?
True
Let y(k) = k**3 + 8*k**2 + 7*k + 2. Let c be y(-7). Let n be 1/((-2)/c)*-7*1. Suppose 0 = -3*o + n*o + 3*b - 58, -3*o + 43 = 2*b. Does 2 divide o?
False
Let s(z) = -2*z**3 + 97*z**2 - 944*z + 68. Is s(32) a multiple of 6?
False
Is 20*8/40 - 18984/(-4) a multiple of 38?
True
Suppose 2*a - 430 = -2*y + 3414, -a + 2*y + 1922 = 0. Suppose -7*x = -2880 - a. Is 14 a factor of x?
True
Let z(r) = -r**3 + 8*r**2 + r - 7. Let d be z(8). Let h be (13/(-3) + d)*(-18)/12. Suppose -5*s - 55 = -h*l, 3*l - 2*s = 3*s + 33. Is 4 a factor of l?
False
Suppose 5566*j = 5565*j + h + 627, j = 2*h + 633. Does 9 divide j?
True
Let d(b) = b**3 + 7*b**2 - b + 11. Let w be d(-8). Let h = -25 - w. Let p = h - 8. Is p even?
True
Let d(n) = 300*n + 891. Let z be d(-3). Let x(v) = -12*v + 0 + 0 - 6*v**2 + 5*v**2. Does 9 divide x(z)?
True
Let w be -2 + (-6)/(-3) - 2. Let k = w + 0. Is (-9)/(-18) + (-239)/k a multiple of 15?
True
Suppose 6*u - 32 = 14*u. Let o be 738/(-3) + u/(-1). Let d = o + 345. Is d a multiple of 10?
False
Let w(n) = 2*n**3 + 13*n**2 + 5*n - 6. Let x be w(-6). Suppose 416*j - 410*j - 7878 = x. Is j a multiple of 101?
True
Suppose 5*x + 331 = -3*k, 0 = -0*k - 2*k + 3*x - 208. Let m = -73 - k. Let c = 58 - m. Is 12 a factor of c?
True
Let r(b) = 22*b**2 - 76*b - 16. Is r(11) a multiple of 10?
True
Let u(q) = q**3 + 5*q**2 + 2*q - 2. Let h be u(-3). Suppose 20 = h*j - 40. Is (-6)/9 + 346/j a multiple of 29?
False
Is 55 a factor of (-292)/(-3)*(3/(-2) + 12)?
False
Let z = -47092 + 73426. Is z a multiple of 99?
True
Let s = 48 + 4. Suppose -4*t + 7*t - a - s = 0, -4*t - 2*a + 76 = 0. Suppose t*y - 21*y = -36. Does 4 divide y?
True
Suppose 14*o - 2*v + 29861 = 119267, -2*o + 5*v = -12777. Is 103 a factor of o?
True
Let x = -157 - -172. Suppose -11*a - 312 = -x*a. Is a a multiple of 13?
True
Let x = 13696 - -1875. Does 4 divide x?
False
Let j(x) = 12*x**3 - 10*x**2 + 8*x - 5. Suppose 0 = -3*r - 2*r - 5*b + 25, 5*r - 19 = b. Is j(r) a multiple of 27?
False
Let w(f) = 50*f**2 + 8*f + 12. Let n be w(-4). Suppose -n - 670 = -58*b. Does 5 divide b?
True
Let o = -4224 + 3034. Let j(b) = -5*b + 7. Let s be j(5). Does 11 divide 2/s*o + (-2)/9?
True
Suppose -3*f = -f + 4*g - 14, f + 8 = 3*g. Let q(w) = 11*w - 65. Let m be q(6). Suppose -m - f = -i. Is 2 a factor of i?
True
Let j be (3 - (0 + (-3 - -6)))/(-1). Suppose 4*w - 141 - 43 = j. Suppose w = -d + 110. Does 53 divide d?
False
Let b(q) = -12*q**3 - 7*q**2 - 16*q - 7. Let k(u) = -u**3. Let c(i) = 2*b(i) - 22*k(i). Does 29 divide c(-7)?
False
Let n(k) = 24*k - 8. Let i be n(-3). Let j = i - -61. Is 11 a factor of (-6 - j/3)/(2/276)?
False
Let r be (2 - 3 - -159)*(-7)/(-7). Suppose 153*n - r*n = -2080. Does 32 divide n?
True
Does 14 divide (8/30 + (-8)/12)/(70/(-605150))?
True
Let u(c) = -5*c**2 - 73*c - 6. Let t = 227 - 241. Is 8 a factor of u(t)?
False
Suppose 0 = 4831*c - 4998*c + 1118065. Is c a multiple of 37?
False
Suppose 2*l + 2*q + 9 = 47, 2*l - 40 = -q. Let n(i) = 3*i**2 - 34*i + 21. Is 18 a factor of n(l)?
True
Suppose -2*a = 3*g - 15410, -5*a + 2*g + 8544 = -30038. Is a a multiple of 24?
False
Let l(g) be the first derivative of 35*g**3 + g**2/2 + 9. Let p = 168 - 169. Does 8 divide l(p)?
True
Let h(c) be the third derivative of -c**5/60 - 19*c**4/12 - 26*c**3/3 + 10*c**2 - 1. Does 14 divide h(-15)?
False
Does 195 divide (-218)/981 + 1269708/27?
False
Does 11 divide ((-52158)/(-21) - -2) + (-26)/(-91)?
True
Let y(w) = w - 27 + 4*w - 2*w - 6*w. Let g be y(-10). Suppose 0 = -g*u + 170 - 62. Does 36 divide u?
True
Let v = -22253 - -25132. Does 2 divide v?
False
Let t = -4886 + 7500. Does 24 divide t?
False
Let q(c) = c**2 + 35*c + 22. Is 74 a factor of q(42)?
True
Suppose -55*n = 18*n + 67160. Let m = -368 - n. Does 46 divide m?
True
Suppose -9*o - 131 = 4. Is ((-16)/(-5))/(o/(-1050)) a multiple of 13?
False
Let w(u) = 5*u**3 - 2*u**2 + 10*u - 1. Let k be w(5). Let z = 925 - k. Does 59 divide z?
False
Suppose l - 9 = -3*o, -9*o + 8*o + 5 = l. Suppose 5*j - 2 = 8. Suppose 2*b - 130 = -a, -j*b + 224 = l*a - 158. Does 21 divide a?
True
Suppose -3*j = 117 - 102, -17418 = -u + j. Is u a multiple of 15?
False
Does 4 divide 0 + 4 - (18 + -4858)?
True
Let a = -9382 + 12934. Does 267 divide a?
False
Let w(o) = o**3 - o**2 + 2. Let t(b) = 385*b**3 + 6*b**2 - 14*b + 3. Let n(c) = t(c) + 5*w(c). Does 61 divide n(1)?
False
Is 167 a factor of (1678/(-1))/(810/(-72) + 11)?
False
Let p be 0/9 - 13/(39/(-396)). Suppose 30936 = -108*b + p*b. Is b a multiple of 33?
False
Let k(i) = -i**3 - 11*i**2 - i + 14. Let p(a) = a**2 + 13*a + 18. Let m be p(-12). Suppose -5*j + l = m*l + 50, -2*j = 4*l + 18. Does 9 divide k(j)?
False
Does 29 divide ((-4)/(16/(-5)))/(106/112360)?
False
Suppose -5*d - o = -9*d + 18362, -4*d - 2*o + 18380 = 0. Is 16 a factor of d?
True
Let p = -3520 + 5334. Suppose -9*f = -p - 553. Does 12 divide f?
False
Let n(u) = 22*u - 62 + 41 + 27 + 33. Is 20 a factor of n(10)?
False
Let w = -8271 - -8280. Let o(p) = -18 - p + 55 + 0*p. Is 7 a factor of o(w)?
True
Suppose 69*g - 43134 = 43*g. Suppose g = 5*n + 5*j + 44, 0 = n + 5*j - 339. Is n a multiple of 40?
False
Let r(s) be the first derivative of 2*s**3 - 5*s**2 + 10*s - 17. Let g(p) = -p + 2. Let x be g(-2). Is 12 a factor of r(x)?
False
Does 48 divide 3*4*(-10)/60 - -2738?
True
Suppose 0*g - 5*g - 1495 = -4*r, -2*r + 780 = 4*g. Suppose -5*d + r = 100. Is 7 a factor of d?
True
Suppose 4*q + 31 = -1. Let y be ((-10)/q)/((-4)/32). Does 8 divide 4 - 2/(y/235)?
False
Let u(q) = 554*q + 8. Let h be u(2). Let m be ((-12)/24)/((-2)/h). Suppose 10*n - m = n. Is n a multiple of 3?
False
Is 14 a factor of (10 + -22 - -21600) + -3?
False
Let n = -73 - -73. Suppose n*b + 2*l = 4*b - 38, 3*b = -l + 41. Does 16 divide (b/(-8))/(1/(-16))?
False
Let m be (-3 - -6)/(6/8). Let i be m - 6*(-9)/6. Suppose 120 = -10*k + i*k. Is k a multiple of 10?
True
Suppose 0*g = g - 3. Suppose 4*b - 45 = -5*n, -g*n + 4 + 1 = -2*b. Suppose b*p - 1144 = 4*j, 0*p = p - j - 229. Is 19 a factor of p?
True
Let j(q) = 3*q + 54. Let d be j(-13). Suppose -9*b = -d*b + 648. Is b a multiple of 23?
False
Let t = 62708 - 40309. Does 23 divide t?
False
Let o(t) = 9*t**2 - 232*t - 1. Is 39 a factor of o(27)?
False
Suppose 3 + 972 = 13*n. Suppose -2*b - 5 + n = 0. Is b a multiple of 10?
False
Suppose -2070*u + 2028*u = -569646. Is u a multiple of 137?
True
Suppose 0*q - q + 14 = 3*c, 0 = -q + 5*c + 46. Let p(g) = -g**3 + 26*g**2 + 5*g - 50. Is p(q) a multiple of 8?
True
Let p(x) = -52*x**3 + 5*x**2 - 21. Suppose -723*w + 732*w + 27 = 0. Is 42 a factor of p(w)?
True
Is (-14052)/(-9)*3 - 18/(0 + -6) a multiple of 9?
False
Let d(k) = 12 - 4*k - 4*k + 3*k. Let t be (-4)/34 - (-234)/(-34). Does 18 divide d(t)?
False
Suppose -1907 - 253 = -18*c. Is 40 a factor of c?
True
Let p be 6/2*(-450)/(-27). Suppose 0 = -9*g + 14*g - p. Does 2 divide 15*(g/6 - 1)?
True
Let f(s) = s - 6. Let u be f(-12). Let b = -12 + u. Let y = b - -67. Does 9 divide y?
False
Suppose 32*x - 35*x - 12 = 0, 5*x = s - 4352. Is s a multiple of 57?
True
Let i(y) = -5*y**2 - 16*y + 13. Let c(f) = 2*f**2 - 1. Let n(t) = -3*c(t) - i(t). Let l be n(15). Is 10 a factor of ((-24)/l)/((-78)/260)?
False
Let d = 28 + -61. Let j = d - -35. Suppose 0 = -5*y + j*y + 105. Is y a multiple of 35?
True
Let y be (-7 + 2 - -1) + 2 + 10. Suppose y*g + 16*g - 5184 = 0. Does 13 divide g?
False
Let r(u) = -u**2. Let i be (9/6)/((-3)/(-2)). Let n(l) = -6*l**2 - 16*l + 28. Let f(y) = i*n(y) - 5*r(y). Does 13 divide f(-14)?
False
Suppose -2*l + 676 = 3*y, 3*l - 2*l = -5*y + 1122. Let o = 278 - y. Is o a multiple of 3?
True
Let m = -15663 - -16734. Is m a multiple of 24?
False
Let d be (-51)/(-85) + (-22)/10*-202. Let u = d + -237. Does 26 divide u?
True
Suppose -50269 = -40*k + 435131. Does 45 divide k?
False
Let z be (-1 - (3 - -1))*38. Let h = 38 + -151. Let s = h - z. Is s a multiple of 11?
True
Let f be 2 + ((-11)/(-4))/(11/44). Let t(a) be the third derivative of 11*a**4/24 - 71*a**3/6 - 102*a**2. Is t(f) a multiple of 9?
True
Suppose 8*s - 80839 = -3*s. Does 46 divide s?
False
Suppose f = -2, 0 = -10