 b?
True
Let q = -780 + 817. Suppose -q*a - 36712 = -63*a. Does 12 divide a?
False
Suppose 417 = -2*c + 4*m - 5*m, 3*m = -15. Let p = c - -479. Does 21 divide p?
True
Suppose -5*f + 981 = -p - 2*p, 4*p - 2*f = -1322. Let a = 655 + p. Is a a multiple of 17?
True
Let m be ((-657)/63 + 10)/((-2)/14). Suppose y + 4*t = 24, 4*y - y - m*t - 132 = 0. Does 8 divide y?
True
Let z(f) = 4*f**3 + 3*f**2 + 24*f. Let t be z(5). Let c = t + -591. Does 8 divide c?
True
Suppose 54 - 22 = 2*d. Suppose 0 = 7*x - d*x + 108. Suppose a = 60 - x. Does 16 divide a?
True
Suppose 214 = 11*s - 699. Suppose s = 2*w - 201. Is w a multiple of 28?
False
Let v(j) = j - 12*j + 23*j + 1 + 29*j. Let i be v(1). Suppose 15*m - 18*m = -i. Is 3 a factor of m?
False
Let i(n) = -2*n**2 - 9*n - 55. Let u(t) = 3*t + 10. Let k be u(-7). Let j be i(k). Does 4 divide j/(-45) - (-4)/(-10)?
True
Let k(t) = -22*t + 113. Let n be k(5). Suppose 30*p - 8424 = n*p. Is 5 a factor of p?
False
Suppose -557208 = 94*o - 307*o. Does 14 divide o?
False
Suppose -4*d + 52274 = -d - 10861. Is d a multiple of 22?
False
Let h(b) = 5*b - 29. Let s be h(16). Suppose -y = -3*g + 3, 4*g = -3*y + g + s. Is (-42)/((y/21)/((-4)/14)) a multiple of 3?
True
Suppose -381 + 84 = 11*r. Let y = 25 - r. Suppose -1 = -z + y. Does 11 divide z?
False
Let w(a) = -a**3 - 2*a + 176. Suppose -5*h + 8*h - 6 = -4*s, -s = -5*h + 10. Is w(s) a multiple of 16?
True
Suppose 116*r - 168480 - 236348 - 51980 = 0. Is r a multiple of 2?
True
Let n(i) = i**3 - 6*i**2 + 8*i - 17. Let b be n(5). Is (-20)/(-4) + 4/b + 547 a multiple of 22?
True
Suppose -32689 = -3*w - 10849. Does 140 divide w?
True
Does 9 divide (-2175 + 1 - 0)*(1015/14)/(-29)?
False
Suppose 0*q + 58 = 2*q. Suppose 27*p + 8 = q*p. Suppose -o - 44 = -p*t + 17, 2*t - 3*o - 23 = 0. Does 7 divide t?
False
Let g = -315 - -321. Suppose g*r - 52 = 2*r. Is r a multiple of 11?
False
Let x be -3*(2 + 30/(-12))*2. Is 11 a factor of (-1 - (-11 + x)) + 433?
True
Suppose 0 = 2*b + 14, 25743 = 5*g - 299*b + 300*b. Does 14 divide g?
False
Let j = -51 + 51. Suppose -6*u + 456 + 468 = j. Let v = -25 + u. Is v a multiple of 43?
True
Let d = 8191 + 4270. Does 159 divide d?
False
Suppose 0 = -3*d + 3*w + 741, -5*d - 3*w - 261 = -1504. Does 7 divide d?
False
Suppose -111*p = 8121 - 51932 - 11134. Does 11 divide p?
True
Suppose 99*c = 279752 - 170192 + 580470. Is c a multiple of 85?
True
Is (-1)/(((-128)/(-35208))/(-16)) a multiple of 47?
False
Let r be 4/10 + (-70)/50 - 0. Let y be 3*(-5)/(-3) - -3. Let m = r + y. Is 2 a factor of m?
False
Suppose 4*z = 3*z + 2. Let f be z/((-4 + 6)/24). Is (f/36)/((-2)/(-84)*2) a multiple of 7?
True
Suppose -4*n - 11*n + 22875 = 0. Suppose 5*m - n = -395. Suppose 4*a - 290 = m. Does 17 divide a?
False
Let t be ((-2)/4)/(3/240). Let a = t + 38. Is 5 a factor of ((-10)/(-2))/(a/(-4))?
True
Let f(i) = -i**2 - 24*i. Let y = -122 + 98. Let w be f(y). Suppose -9*l + 5*l = 2*v - 92, w = -l + 1. Is v a multiple of 11?
True
Suppose 56 = 11*g - 13*g. Let o = 34 + g. Suppose -2*w - 58 = -o*w + 2*n, 4*w - 68 = 4*n. Is 12 a factor of w?
True
Suppose 3*v = s - 335 + 39327, 0 = -5*v + 2*s + 64987. Does 212 divide v?
False
Let i be 637 + 5*(-35)/(-25). Suppose -10*u - 4*f - i = -12*u, -f - 656 = -2*u. Does 33 divide u?
True
Let z(l) = -l**3 - 5*l**2 + 3*l - 8. Let s be z(-6). Let b(a) = 282*a + 34. Let o be b(0). Let j = o - s. Is j a multiple of 12?
True
Suppose 68*y = 544001 - 112745. Does 9 divide y?
False
Suppose -15*n = 44*n - 76673 - 58319. Is 16 a factor of n?
True
Is (3/(12/298))/((9 + -1)/16) a multiple of 6?
False
Let g(a) = 15*a - 68. Suppose -4*l - 10 + 2 = 0. Let t = 12 - l. Is g(t) a multiple of 16?
False
Let a = -1594 - -4966. Does 6 divide a?
True
Let k(l) = 5 - 28*l**2 - l**3 - 27*l + 7 + 3*l**2. Is 7 a factor of k(-24)?
True
Does 356 divide 4/26 + (-5 + -1)*38664409/(-8463)?
True
Let a(l) = l**3 - 14*l**2 - 49*l + 1. Let s(x) = -x**3 + 13*x**2 + 48*x. Let w(j) = 6*a(j) + 5*s(j). Is w(23) a multiple of 8?
True
Suppose -3*a - 37 + 636 = 5*q, 4*q = a - 194. Let y = a - 88. Does 10 divide y?
True
Let l be 12/21 - (-32)/(-7) - 44. Is 9 a factor of l + 55 - 1*-3?
False
Is 149 a factor of (-20860)/(-2) + -10 + 130/13?
True
Suppose -z - 2*t + 1 = 0, 2*t = z - 11 + 2. Suppose 0 = -5*x - 5*d + 650, z*x - 5*d - 403 = 217. Is x a multiple of 3?
False
Let b(o) = 663*o - 11754. Is b(35) a multiple of 35?
False
Suppose 0 = v - 0*v - 2. Let g(p) = 2*p**3 - 2*p**2 + 2*p - 1. Let n be g(v). Does 21 divide (3 - 1) + n + 71?
True
Suppose 1262 - 2402 = -12*m. Does 12 divide m?
False
Suppose 0 = 3*p + 2*i - 25019 + 7141, -4*p + 5*i = -23868. Does 54 divide p?
False
Let n = 87 - 88. Let x be (10/4)/(n/(-2)). Suppose x*r - 65 = -2*c, c - r = -13 + 49. Does 5 divide c?
True
Let a = 30622 - 21549. Is 43 a factor of a?
True
Let k(q) = 70*q + 144. Is k(0) a multiple of 5?
False
Let f = -1578 + 8154. Does 137 divide f?
True
Let v = 7216 + -2798. Does 73 divide v?
False
Is 2 a factor of 1343*(4 - ((-34)/(-10) - 74/185))?
False
Let q(p) = -p**3 - 133*p**2 - 350*p - 556. Does 28 divide q(-131)?
False
Is ((-9506)/(-245))/((-4)/(-10))*60 a multiple of 11?
False
Let l(x) be the second derivative of 19*x + 0 - 25/2*x**2 - 5/6*x**3. Is l(-19) a multiple of 12?
False
Let a(g) = 4*g**3 - 341*g**2 + 107*g - 102. Is a(85) a multiple of 12?
False
Suppose 5*c + 185 = 4*w, -40 = -3*w + 2*w - 5*c. Let x = w - 40. Is 11 a factor of 11*(x + (4 - 4))?
True
Let u(t) = t**3 + 17*t**2 + 19*t + 23. Let b be u(-16). Let z be (72/(-15))/(10/b). Suppose z = v - 12. Is v a multiple of 12?
True
Is (717336/1701)/((-1)/(-28)) a multiple of 12?
True
Let h = -12309 - -14578. Does 291 divide h?
False
Suppose 4*x - 1207 = 3*x - 64. Is x a multiple of 21?
False
Let n(o) = o + 1. Let w be n(-1). Suppose 4*y - 5*y + 3 = w. Is (y + 7)*(-30)/(-4) a multiple of 15?
True
Suppose -18*k = -15*k + 294. Let x = -35 - k. Does 63 divide x?
True
Let m = -289 - -286. Let k be 1 + -9 + 4 - -16. Is 19 a factor of ((-21)/k)/(m/228)?
True
Suppose 0 = -9*q + 20352 + 15585. Does 33 divide q?
True
Let d(w) = -325*w**3 - w**2 + 16*w - 16. Let x be d(1). Let z = -107 - x. Is 102 a factor of z?
False
Let j(i) = -i**3 - 23*i**2 - 7*i - 21. Is j(-23) a multiple of 11?
False
Does 30 divide (-3)/30 - 14*(-44058)/120?
False
Suppose 114*d - 27560 - 11155 = 109*d. Is 29 a factor of d?
True
Suppose -4*i + 8251 - 7487 = 0. Let j(v) = -2*v**3 + 6*v**2 - 3*v + 5. Let o be j(5). Let k = i + o. Is k a multiple of 27?
True
Let s(q) = -q**3 - 4*q**2 + 5*q + 1. Let k be s(-5). Suppose -j + 2*i - 1 = k, 5*i = 4*j + 5. Is (j + -1)/(2/(-110)) a multiple of 17?
False
Suppose -17*h = -21*h - 56. Let w = 86 - h. Suppose 10*n = 5*n + w. Is 9 a factor of n?
False
Let f(u) = 37*u - 8. Suppose 5*i = -4*m - 74, 3*i - i + 31 = -3*m. Let k be f(i). Is 11 a factor of 12/(-84) + k/(-7) + 2?
True
Let w(c) = 8*c**2 + 7*c. Let p be w(-2). Does 21 divide p/4*(-1568)/(-21)?
True
Let p = 23 + -7. Suppose 1998 = p*r - 2226. Is r a multiple of 66?
True
Suppose 5*i - 8 = 12, 32 = 3*v + 5*i. Is 11 a factor of 2 - ((-1333)/v - 5/(-20))?
False
Let t(x) = x**3 + 6*x**2 + 8*x + 6. Let j be t(-4). Let m(i) = 3*i - 13. Let w be m(j). Suppose g + 302 = w*q - 0*q, -5*g - 70 = -q. Is 5 a factor of q?
True
Let x(j) = 2*j**3 - 33*j**2 - 3*j - 22. Suppose -187 = 35*m - 46*m. Is 53 a factor of x(m)?
False
Let d be (-2 - -2) + (45 - 2 - 4). Suppose -d - 521 = -5*v. Is 7 a factor of v?
True
Suppose 5*p - 2*p = 4*p. Let b(g) = g + 75. Does 18 divide b(p)?
False
Suppose 4*p + 48 - 120 = 5*v, -3*p + 53 = -4*v. Suppose 18*g + 150 = p*g. Is ((-762)/g + -1)/((-1)/5) a multiple of 12?
True
Let z(u) = u**3 + 23*u**2 - 40*u + 29. Is 101 a factor of z(13)?
False
Suppose 0*r = 2*r - 3*r. Let t(w) = -w**2 - 16*w - 29. Let s be t(-9). Suppose -q + 162 = 4*y, r = 3*q - 3*y - s - 392. Does 24 divide q?
False
Let p = 554 - 498. Suppose p*j - 6958 = 7*j. Does 5 divide j?
False
Let k(a) = 6*a + 4. Let s be k(-4). Suppose -8*g = -3*g - 220. Let o = s + g. Is 24 a factor of o?
True
Suppose z - g = -3*z + 18, 0 = 2*z + g - 6. Suppose -3*n = 2*d + 3*d - 145, -z*d + 99 = -n. Is 23 a factor of d?
False
Let n = -734 + 1235. Let k = n + -164. Does 15 divide k?
False
Suppose -129147 - 8961 = -102*q. Is q a multiple of 9?
Fal