6 = 2*d, 3*o - 435 = 5*d - 1554. Suppose 5*i = 5*v - 6*v + 552, -4*i + 442 = v. Let f = d - i. Is 36 a factor of f?
False
Suppose 5752 = -3620*p + 3622*p. Is 7 a factor of p?
False
Let b(y) = -2*y**3 - 88*y**2 + 63*y + 156. Is b(-45) a multiple of 9?
False
Let a = 46 + -31. Let j be -108*(-3 + a/6). Suppose -8*h - j = -9*h. Does 18 divide h?
True
Suppose -219*c + 943767 = -76*c + 292402. Is c a multiple of 24?
False
Let k(c) be the third derivative of c**5/10 + 19*c**4/24 - 41*c**3/2 + 163*c**2. Is 6 a factor of k(9)?
True
Let q(n) = -3 - n**3 + 46*n + 6*n**2 - 12*n - 16*n - 11*n. Let u be q(7). Does 8 divide 300/(u/(-1)) + 13 + -9?
True
Suppose -6*z + 523 = -41. Let l = z - 69. Is 13 a factor of l?
False
Let g(m) = 10*m + 16. Let z(o) = -4*o + 32. Let i be z(7). Suppose 5*v + 10 = 4*p - 3*p, -5*p - i*v = -21. Does 8 divide g(p)?
False
Let v(s) = 25*s + 303. Let g = -127 + 118. Is 13 a factor of v(g)?
True
Let b be 9/(0 + -1 + 2). Let z = 57 - b. Suppose 22 + z = k. Is k a multiple of 7?
True
Let g(v) = 29*v + 9. Let x be g(-4). Let r = x - -257. Suppose 4*t - r = -2*t. Is 25 a factor of t?
True
Let u(g) = 3*g**3 - 7*g**2 + 14*g - 4. Let t be u(6). Suppose -5*x = -4*i - t, 4*x + 6*i - 388 = 2*i. Does 48 divide x?
True
Let r(o) = -o**3 - 24*o**2 - 28*o + 33. Let w be ((-1235)/52 + 6/8)*1. Is 4 a factor of r(w)?
True
Does 14 divide 2275/1*(34/60 - 1/6)?
True
Let k = -50 + 57. Suppose -k*i = -3*i - 900. Suppose -3*b - 128 - 27 = -2*x, -3*b = 3*x - i. Does 12 divide x?
False
Let j be ((-1)/2 + 0)/((-4)/40). Suppose 209 = 2*o + j*n, -14*o + 11*o = -4*n - 348. Does 14 divide o?
True
Let h = 522 - -34. Let k = 591 - h. Is 16 a factor of k?
False
Let x(d) = -137*d**3 - 2*d**2 - 7*d. Suppose 4*b + 13*j + 5 = 16*j, 3*b = 3*j - 3. Is x(b) a multiple of 38?
True
Let h = -10430 + 19805. Is h a multiple of 53?
False
Suppose -3378 = -4*j - 2*r, j + 217 = r + 1066. Is j a multiple of 10?
False
Let m(k) = -3*k**2 - 28*k + 165. Let a be m(-14). Suppose -3*z = 0, -3*z = 5*h - 4*z + 315. Let v = a - h. Is v a multiple of 32?
True
Does 10 divide (-4 + 10 + -4)*(-9 + (-24871)/(-22))?
False
Let v(n) = 36*n**2 - 23*n + 452. Is v(13) a multiple of 99?
True
Let f(o) = o - 17. Let s be f(0). Let y be s/(-8) - 3/24. Suppose -64 = -2*h - y*z, -4*h = -0*z - z - 143. Is h a multiple of 5?
True
Let y be (6 - 4)*(-8 + (2 - 5)). Let a(t) = t**2 + 23*t + 37. Let b be a(y). Suppose -6*x = -b*x + 1242. Does 12 divide x?
False
Let b(c) = -60167*c + 216. Is b(-1) a multiple of 51?
False
Suppose -3*f + 3*j = -13383, 69*j = -5*f + 66*j + 22337. Suppose f = 15*n - 2390. Does 5 divide n?
False
Suppose 2*i - 817 = -5*s, 16*s - 18*s - 6 = 0. Is i a multiple of 16?
True
Is 1043 + -2 + 14 + (-18 - 0) a multiple of 4?
False
Let n(y) = 8*y**2 - 28*y - 120. Is 2 a factor of n(-5)?
True
Let c be 2*((-309)/(-6) + (-2)/(-1)). Suppose -3*j = -2*j - c. Suppose j = -5*q - 5*z + 562, -3*z = -4*q + 343. Is q a multiple of 11?
True
Suppose -4*s - 3*j = -350, -3*s + 4*s + 5*j = 79. Suppose -5*v - 3*h = -1501 - s, 4*h + 295 = v. Is v a multiple of 21?
True
Let q(t) = t**3 - 22*t**2 - 21*t + 26. Let w be q(22). Let z = w - -536. Does 71 divide z?
False
Suppose 394*h - 2*h - 3087437 = 11685867. Is 24 a factor of h?
False
Suppose 13*w + 156*w + 39*w = 1283152. Is 5 a factor of w?
False
Suppose 5*y - 3*v - 26387 = 0, 4*v - 3093 = -y + 2189. Is y a multiple of 236?
False
Suppose -7745 = -6*y + 1855. Is 32 a factor of y?
True
Suppose 3*k - 1689 = -3*f, 4*k + 21*f - 23*f = 2252. Does 34 divide k?
False
Let s = 194 - 205. Does 10 divide s/(132/9) + 1926/8?
True
Let m(n) = 12*n**3 - n**2 - 4*n + 5. Suppose -7*v + 58 = -2*v - 2*q, -1 = -q. Suppose l = -z + 3, 5*z = 4*l - 6*l + v. Is m(z) a multiple of 8?
False
Suppose 0 = -11*v + v + 6400. Does 45 divide (v - 10)*18/21?
True
Let m(k) = -261*k - 748. Let v be m(-3). Let h be (-1)/(-3) + (-542)/6. Is (h/(-63))/(1/v) a multiple of 10?
True
Let o(a) = -2*a**2 - 48*a - 8. Let u be ((-315)/12)/((-3)/16*2). Let c = 50 - u. Is 38 a factor of o(c)?
True
Let k be (2 - -1) + (0 - 5). Is 15 a factor of (k - -3) + 123 + -7?
False
Suppose 4*i = -5*k + 293, -4*k - 2*i + i + 241 = 0. Let v = 76 - k. Suppose -4*z = -5*d - 625, -10*d + v*d + 325 = 2*z. Is z a multiple of 32?
False
Does 40 divide (-29358)/(-36)*(5 + 5)?
False
Let k be 2 - 0/(-4) - -3. Suppose 412 - 152 = k*t. Suppose 0 = -4*h + 2*s + t, -3*h + 4*s + 56 = h. Is 12 a factor of h?
True
Let v be (-3)/2*108/81. Is 8 a factor of 24164/49 - 1 - v/(-14)?
False
Is 15 a factor of 2*(-2)/(-24)*-2*301005/(-5)?
False
Let a(t) = -t**2 - 27*t + 170. Let b be a(-32). Is 31 a factor of (28/b)/((-34660)/(-3850) - 9)?
False
Let h be 1 - (36/30)/((-2)/(-6260)). Let f = -4 - 16. Is 12 a factor of 2/(-8)*-1 + h/f?
False
Suppose 29880 = -90*g + 100*g. Does 2 divide g?
True
Suppose -4*g - 82 = 18. Let u = 34 + g. Let m = 106 + u. Is m a multiple of 29?
False
Let w(g) = 27*g**2 + 400*g - 3237. Is 3 a factor of w(8)?
False
Let a be ((-104)/(-12))/13*-15. Is 7 a factor of (0 - 168)*(-4 - (7 + a))?
True
Let s(l) = -36*l**3 - 14*l**2 + 45*l + 24. Let k(j) = -9*j**3 - 3*j**2 + 11*j + 6. Let z(w) = 9*k(w) - 2*s(w). Is z(-3) a multiple of 9?
False
Suppose -t + 1 + 9 = 0. Suppose -5*s = 0, -7*y + s = -t*y + 78. Suppose 21*n + 280 = y*n. Is 8 a factor of n?
True
Let d be -14*13/((-273)/6). Suppose 2*z + o = 1636, -z - d*o + 626 = -199. Is 19 a factor of z?
True
Suppose -1537*g + i = -1542*g + 26584, -3*g + 15932 = -4*i. Is 12 a factor of g?
True
Suppose -166669 = -192*f + 2210867. Is f a multiple of 28?
False
Let y = -4953 + 17106. Is y a multiple of 28?
False
Let r(w) = -302*w + 21. Let i be r(-2). Suppose 10*m - 5*m + 5*g = i, 4*m - 2*g = 530. Is m a multiple of 2?
True
Let j(v) = v**3 + 7*v**2 - 20*v - 18. Let z be j(-9). Is 45 a factor of 810*1/8*4 - z?
True
Let y = -62 - -62. Let k be (2 - (0 - y))/((-3)/(-486)). Suppose -6*g = -k - 0. Is g a multiple of 6?
True
Let r(k) = 160*k**2 - k + 166. Is r(-9) a multiple of 71?
True
Suppose 0 = 9*i - 7113 - 22182. Is i a multiple of 33?
False
Let h(o) = 2 + 109 - 30 + 3*o. Does 18 divide h(-9)?
True
Let g = 442 - 435. Suppose 2*r - 7047 = -g*r. Is r a multiple of 29?
True
Suppose -67508 = -5*p - 4*u, -p + 257*u - 252*u + 13490 = 0. Is p a multiple of 60?
True
Let a(m) = m**3 - 15*m**2 - 12*m - 12. Let y be a(16). Suppose -17*u + 2 = -16*u. Suppose 0 = -s + u*s, -4*k + y = -s. Is k a multiple of 12?
False
Let c = -5783 + 6685. Is c a multiple of 8?
False
Suppose -m - 1 = 0, -5*m - 4165 = -5*o + 12935. Is 45 a factor of o?
False
Is (-1823605)/(-595) + (-5)/(170/(-4)) a multiple of 41?
False
Suppose -474 = -3*x - 3*s + 468, -2*s - 628 = -2*x. Suppose -3*d - 92 = -x. Suppose u - 36 = d. Does 22 divide u?
True
Let o be 3/(0 - -1) - -46. Let a = 119 - o. Is a a multiple of 10?
True
Suppose -4 = -2*o, 30 = -b - 4*b + 5*o. Let g be (-10)/15*1602/b - 3. Is 12 a factor of ((3 + g)/(-3))/(-1*1)?
False
Does 7 divide (-4)/6 + 16732/6?
False
Suppose -41*h = -362292 + 890 - 147654. Is h a multiple of 32?
True
Suppose 0 = -5*k - 7 - 3. Let g be (-69 - (2 - k))*-1. Suppose 4*w + 3*f - g - 27 = 0, 3*w + f = 80. Does 22 divide w?
False
Let t = 4 + 3. Let l be (-1)/t + (-43)/(-7) + -4. Suppose -5*r = -4*g + 191, -g + l*r + 243 = 4*g. Is 5 a factor of g?
False
Let s(y) = -8*y + 10. Let m be s(2). Is 14 a factor of m/15 + 12328/20?
True
Suppose r - 4290 = 5*y, 4084 = 2*r + 5*y - 4571. Does 17 divide r?
False
Suppose -39*k = 7*k - 57408. Suppose -3*x = -3*m + k, 352 = 4*m - 3*x - 1307. Does 11 divide m?
False
Suppose -l = 6, 5*f - 8*l - 69876 = -12*l. Is 233 a factor of f?
True
Let u = -289 + 9889. Is u a multiple of 200?
True
Is 56/(-126) + 118/(-18) + 730 a multiple of 54?
False
Let c(p) = -5*p**3 - p - 2. Let f be c(-1). Suppose -17 = -f*a - 125. Is (-1)/(a/6) - (-1076)/18 a multiple of 20?
True
Is (-119832)/(-36) - (4 - 40/12) a multiple of 26?
True
Let r = -30 - -24. Is 11 a factor of (-1 - -61)*-5*r/60?
False
Let h(x) = 450*x**3 + 2*x - 1. Let f be h(1). Suppose 91 = -9*n + f. Suppose -115 - n = -5*z. Is z a multiple of 17?
False
Let d = 48 - 48. Suppose d = -2*z + 7*z + 15. Is (-49)/((-12)/3 - z) a multiple of 7?
True
Let s(k) be the first derivative of 13*k**2/2 - 338*k + 5. Let m(j) = -6*j + 169. Let d(n) = 9*m