- 4*c + 4*c - 3*c + c**2. Is 11 a factor of b(10)?
False
Let q(y) = -2*y**2 + 5*y - 4. Let o be q(2). Is 57 + 3/6*o a multiple of 9?
False
Let g = -16 + 17. Let p(r) = -61*r**2. Let s be p(g). Let k = -18 - s. Does 14 divide k?
False
Let u = 29 - 46. Let m = u - -21. Suppose 4*w - 36 = -c, 4*w - m*c - 47 = 9. Is 10 a factor of w?
True
Let b = -25 + 26. Let o = 1 - b. Suppose 4*f + 4*u = 309 - 37, 3*u - 15 = o. Does 21 divide f?
True
Let s = -141 - -245. Suppose -g + 18 = 5*g. Suppose g*k - 7 = s. Does 13 divide k?
False
Let y = 36 + -34. Suppose -y*u = -5*u + 414. Does 23 divide u?
True
Let u be 2*2/4*2. Let o(b) = -b - 3*b - b**2 - 4 + u - b. Is 4 a factor of o(-2)?
True
Suppose 0*w + 88 = 4*d - 4*w, 4*w + 70 = 3*d. Suppose 36 = -5*x + 2*b, 0 = 4*b - d + 6. Is (13*x)/(-3) + -2 a multiple of 12?
True
Let h be 1/(-2) - 2/((-28)/917). Suppose h = 5*b - 70. Does 2 divide b?
False
Suppose -2*f - 3*f = -1500. Let u = 180 - f. Let g = -62 - u. Is 29 a factor of g?
True
Let z = 1430 + -918. Is z a multiple of 35?
False
Suppose -46067 - 120601 = -51*y. Is y a multiple of 167?
False
Suppose 0 = -3*c + 343 - 67. Let d = 102 - c. Is 4 a factor of d?
False
Let r be -2*((-23)/6 - 3/(-9)). Suppose 0 = r*u - 340 - 283. Is u a multiple of 27?
False
Let c = -98 + 131. Is 4 a factor of c?
False
Let v = 42 + -41. Is 5 a factor of 41/(6/4 - v)?
False
Suppose 0 = -t + z, -3*z + 16 = 2*t - t. Suppose -2*c = 2*v - 28, 2*c - 67 = -t*v - 5. Is 7 a factor of v?
False
Suppose -10*f + 16*f - 486 = 0. Is f a multiple of 3?
True
Suppose -96 = -z + 38. Let o = 199 - z. Is o a multiple of 13?
True
Is 11 a factor of (-2307158)/(-4460) - 2*3/20?
True
Let u = 60 + -28. Is u a multiple of 16?
True
Suppose 4*n - 69 = -4*q - 5, -q + 50 = 3*n. Is 6 a factor of n?
False
Is 3*(-1092)/35*-5 a multiple of 12?
True
Let k = 56 + 131. Suppose -4*r = -237 - k. Is r a multiple of 35?
False
Let r = 8 + -6. Suppose r*m + m = -2*g + 53, g - 5*m = 7. Suppose w + g = 31. Does 4 divide w?
False
Let q = -149 + 357. Is q a multiple of 4?
True
Suppose 4*f - 39 = -4*y + 93, -4*y + 102 = -2*f. Let h = -2 + y. Is 13 a factor of h?
True
Is 9 a factor of ((-15)/2)/(11 + (-134)/12)?
True
Let w(o) = -2*o - 4. Let v be w(-4). Suppose -v*m + 44 = -3*m. Does 16 divide m?
False
Let w be (-60)/36*((-3)/1 - 0). Suppose -r - 3*c + 147 = 0, 367 + 186 = 4*r + 5*c. Suppose 3*d - r = -4*u + w*u, d - 44 = -4*u. Is 22 a factor of d?
True
Suppose 7 = -2*a + 4*r + r, a + 3*r = 24. Let m(o) = o**2 - 9*o + 8. Let p be m(a). Suppose -2*i - p = 0, -q - q = -3*i - 52. Is 5 a factor of q?
True
Let c = 78 - 50. Is (-8)/c + 352/7 a multiple of 10?
True
Let p = -349 + 669. Does 32 divide p?
True
Let u be (-10)/15*-60 + 4. Suppose -l + u = -219. Does 44 divide l?
False
Does 17 divide -4*(-3232)/160*10/8?
False
Suppose 10*p = 5*p + 35. Suppose p*t - 2 = 5. Let s(l) = 18*l**2 - l - 1. Is s(t) a multiple of 6?
False
Let f(k) = -2*k**3 - 3*k**2. Let d be f(-2). Suppose 2*m - 1 = -z, 0*m - 4*m - 7 = 5*z. Suppose 4*h = -20, 0 = m*j - j - d*h - 96. Does 24 divide j?
False
Let a(f) = -2*f**3 + 2*f. Is a(-4) a multiple of 41?
False
Suppose 137*o = 130*o + 3080. Does 22 divide o?
True
Is -684*((-15)/(-3) + -6) a multiple of 18?
True
Let n = -1208 - -848. Let q = 172 + n. Let g = -128 - q. Is 12 a factor of g?
True
Suppose 2*k = -2*g + 3*g - 1312, 1312 = g - 3*k. Is 81 a factor of g?
False
Let w(m) = m**3 + 7*m**2 - 7*m + 10. Let g be w(-8). Suppose -2*v - 84 = -g*x, -5*v + 99 = 4*x - 69. Let z = -17 + x. Is z a multiple of 18?
False
Suppose 296*u = 297*u - 468. Does 13 divide u?
True
Let l(a) = 11*a + 5. Suppose 3 + 12 = -3*w, -3*q + 43 = -5*w. Let d be -2 - (-3)/q*10. Is 10 a factor of l(d)?
False
Let h = -57 - -60. Suppose -3*z + 57 = 5*q, -38 = z - 3*z - h*q. Is z a multiple of 19?
True
Let d = -162 + 398. Does 5 divide d?
False
Is 88 a factor of (-9239)/(-5) + 0 - 232/290?
False
Suppose 0*m + 4*c = -4*m, 2*m + 3*c + 3 = 0. Suppose -3*g + 132 = m*g. Is g a multiple of 3?
False
Suppose -4*g = -4*y + 1132, 8*g - 3*g = 3*y - 857. Is 9 a factor of y?
True
Let t = 510 + -270. Is t a multiple of 12?
True
Let y(i) = 15*i**2 - 3*i - 23. Is y(-7) a multiple of 40?
False
Let n(a) = 6*a**2 + 4*a**2 - 7*a - 4*a**2 + 9 + 2*a**2 + a**3. Does 13 divide n(-8)?
True
Let a(b) = b**3 + 18*b**2 - b - 4. Let l be (81/(-36)*6)/(3/4). Is 14 a factor of a(l)?
True
Let r(b) = b**2 + 3*b - 18. Let d be r(-20). Suppose -3*l = x - d, 2*l - 3*x - 218 = -2*x. Is l a multiple of 8?
False
Suppose -1263*q + 1257*q = -20526. Is q a multiple of 11?
True
Suppose 3*u = -5*w + 2*u + 596, u + 364 = 3*w. Let c = w + -7. Suppose -3*o + 3*f + c = -f, -4*f + 42 = 2*o. Does 20 divide o?
False
Let u be (-1 + 2)/((-2)/(-126)). Let g be (1/(-3))/(4/(-132)). Let f = u - g. Is f a multiple of 16?
False
Is (63/2)/((-17)/6 + 3) a multiple of 21?
True
Suppose -3*v = -5*f - 185 - 555, 1223 = 5*v + 2*f. Does 40 divide v?
False
Let p = 229 - 160. Let q = p + -53. Does 16 divide q?
True
Suppose -17*g - 2568 = -14808. Does 20 divide g?
True
Suppose k = 5*k - 2*v - 1248, 628 = 2*k - 3*v. Let r be (-8*1)/(-4) - k. Is 9 a factor of 4/(-3) - r/9?
False
Suppose -d + 241 = -5*q - 301, -3*d - 5*q + 1726 = 0. Does 42 divide d?
False
Is -3*(-382)/(5/((-15)/(-18))) a multiple of 25?
False
Suppose 21 - 36 = -5*d. Suppose d*w = -108 + 684. Is w a multiple of 29?
False
Let h = -227 - -314. Is h a multiple of 2?
False
Let j(z) = 3*z**2 + 8*z - 4. Let o(q) = -3*q**2 - 8*q + 3. Let k(v) = -6*j(v) - 7*o(v). Is 28 a factor of k(6)?
False
Let l = 16 + -12. Suppose l*f - 8 = 0, h - f - 3 = -0*h. Suppose -h*k - 20 + 195 = 0. Does 12 divide k?
False
Let j(m) = -3*m**3 + 9*m**2 + 11*m + 11. Does 12 divide j(-5)?
False
Suppose -20 = -5*b + 5. Let t(s) = 21*s - 1. Let h be t(b). Suppose 3*j + 4*x = h, 0 = -j - 3*x + 13 + 25. Is j a multiple of 9?
False
Suppose 14*x = 18317 + 23123. Is x a multiple of 10?
True
Let v(x) = 570*x**3 + 2. Is 7 a factor of v(1)?
False
Let r(u) = 2*u**2 - 12*u - 4. Suppose -4*o + 3 + 17 = 5*b, 0 = 3*o. Suppose -5*f + 10 = 5*c - 20, 2*f - 10 = -b*c. Is 5 a factor of r(f)?
True
Does 13 divide 160/360 - 5194/(-18)?
False
Let z(r) be the second derivative of r**3/3 + r**2/2 + 8*r. Let s be z(5). Suppose 16 = 3*b - s. Is 8 a factor of b?
False
Let o(p) = -p**3 - 2*p**2 + p - 2. Let f(s) = s**2 + 5*s - 10. Let d be f(-7). Let u be 0 + d*(-3 - -2). Is o(u) a multiple of 6?
False
Is 0/1 - (6 + 2340)/(-6) a multiple of 23?
True
Suppose 0 = 5*y, 5*y + 714 + 312 = p. Does 57 divide p?
True
Suppose 8088 = 10*t - 4392. Does 8 divide t/18 - 12/9?
False
Let r(w) = -520*w + 43. Is 16 a factor of r(-4)?
False
Suppose 3*q + 5*d - 835 = 0, -q - 2*d - 530 = -3*q. Does 15 divide q?
True
Let w(r) = -72*r + 191. Is w(-7) a multiple of 13?
False
Let k = 143 - 321. Let y = 311 + k. Does 19 divide y?
True
Suppose -5*t - o + 35 = 0, o = -t + 2*t - 7. Suppose 0 = -a + t*a + 12. Is 15 a factor of a/10 + 608/40?
True
Let a(t) = -t**3 - 3*t**2 + t + 4. Suppose -2*c = -7*c - 25. Let b be c - 0 - 0/(-6). Is 21 a factor of a(b)?
False
Let l(m) = -60*m - 54. Does 6 divide l(-2)?
True
Suppose 11550 = 63*c - 28*c. Does 55 divide c?
True
Let g(y) be the first derivative of -y**7/84 + y**6/360 - 2*y**3/3 + 1. Let s(w) be the third derivative of g(w). Is s(-1) a multiple of 3?
False
Suppose -2362 + 7930 = 6*h. Does 15 divide h?
False
Let y be (-1)/((-1)/22) + -1. Let s be 7*(15/y - -1). Suppose 7*o - s*o = -35. Is o a multiple of 4?
False
Let r = 44 - 40. Suppose -4*o + 502 = -2*i, r*i = -2*o + 2*i + 248. Is 13 a factor of o?
False
Let i be 104/26*255/2. Is 17 a factor of (i/(-1 - -6))/1?
True
Suppose -2*i - 4*z + z + 117 = 0, 0 = 3*i - 2*z - 182. Is 3 a factor of i?
True
Let h = 10 - 6. Suppose -g + 16 = -2*o, 0 = 5*g - h*g - 4*o - 14. Suppose w - 5*l - g = 10, -4*w = -l - 36. Does 2 divide w?
True
Let i = -5 - -9. Suppose -87 - 9 = -i*v. Is v a multiple of 9?
False
Let d = -19 - -285. Is 11 a factor of d?
False
Does 5 divide (2/(-2))/((-21)/1617)?
False
Let p(q) = 2*q - 1. Let s be ((-12)/4 - -8) + -3. Let o be p(s). Let k(x) = 2*x**3 - x**2 + x - 1. Is 22 a factor of k(o)?
False
Let d = 314 + 422. Does 32 divide d?
True
Let b be 3 + 15*8/(-12). Let j be 18/(-63) - 23/b. Suppose j*s + 243 = 5*m, 5*m + 4*s - 135 - 101 = 0. I