= 2*g. Suppose 1115 = 5*y - g*d, -54 = -2*y + 3*d + 391. Does 15 divide y?
False
Suppose -16*j - 55*j - 54145 = -106*j. Is j a multiple of 20?
False
Let q(v) = 71*v**2 + 23*v - 6. Is q(12) a multiple of 99?
True
Let f(i) = 3*i**2 - 6*i - 18. Let o be f(-6). Suppose 4*t + 82 + o = 0. Let v = 125 + t. Is v a multiple of 11?
False
Let z(r) = r**2 + r - 37. Let u be z(6). Suppose -5*g = w - 220 - 204, -u*g + 428 = 2*w. Is 12 a factor of g?
True
Let h(w) = -w - 4. Let v be h(-7). Suppose -4*j = -p + 14, 4*j = 8*p - 3*p - 22. Suppose 4*n + v*r - 182 = r, -3*n = -p*r - 126. Does 13 divide n?
False
Does 168 divide 25 + -24 + (-20980)/(-4)?
False
Is 44 a factor of 33/4*(15 - (-32332)/12)?
True
Let a(x) = 29*x**2 + 17*x + 1824. Is a(-28) a multiple of 6?
True
Suppose 4*y = -4*z + 2232, -3*z + 10*y + 1670 = 12*y. Let u = 706 - z. Is u a multiple of 8?
True
Is 2/3*2218293/126 - (-1 - -8) a multiple of 69?
True
Does 9 divide (1774/5 - (-5)/(17 + 8)) + 5?
True
Let r(a) = -93*a - 68. Suppose f = 4*l + 9, 4*l + l = -20. Is 14 a factor of r(f)?
False
Let p(g) = -13*g + 71. Let a be p(5). Suppose -5*d = -5, -a*v + 5*v + 58 = -2*d. Does 29 divide v?
False
Let b(m) = 9*m - 263. Let r be b(35). Let q(h) = h**3 + 10*h**2 - 6*h - 10. Let f be q(-8). Let z = f - r. Does 19 divide z?
True
Suppose -2*w + 18701 = 3*g, w + 2*g = 6*w - 46800. Does 14 divide w?
False
Let x(u) = 108*u + 143. Let t be x(3). Let v(y) = -45*y - 7. Let n be v(6). Let q = n + t. Is q a multiple of 51?
False
Let y(s) = -s**2 + 10*s - 23. Suppose b = 5*r - 2*r - 17, -4*r + 4*b + 28 = 0. Let z be y(r). Suppose 2*w - 4*o - 96 = 0, z*w - 54 = w - o. Does 11 divide w?
False
Let r(w) = 2*w + 141 + 134 - 6 + 113 - 162. Suppose 2*x - 1 = a + 7, -5*a + 5*x = 20. Is r(a) a multiple of 34?
False
Let f be ((-7)/(-14))/((-1)/128). Let l = f + 64. Suppose 5*d = l, u - d + 12 = 5*u. Is u a multiple of 2?
False
Let x = -8239 - -10345. Is 66 a factor of x?
False
Let y(q) = -36*q + 82. Let s(b) = 72*b - 165. Let i(z) = 6*s(z) + 11*y(z). Is i(6) a multiple of 32?
True
Let n(i) = 68*i**3 - 5*i**2 + 10*i - 49. Is n(4) a multiple of 87?
True
Let n = 8 + -13. Let i(h) = -3*h**3 - 6*h**2 + h - 6. Let d be i(n). Suppose 5*q - 176 - d = 0. Is 13 a factor of q?
True
Let w = -13 - -17. Let o be (-2)/w*(4 - 14). Suppose -o*p + 6 = 5*m - 74, 0 = p + 2*m - 12. Is 10 a factor of p?
True
Let u be (-6)/(-21) - ((-936)/14)/4. Suppose -p - 3*i = -524, -u*p + 20*p = -4*i + 1552. Is p a multiple of 35?
False
Let w = 5508 + -1581. Is 21 a factor of w?
True
Let z(c) = c**3 - 15*c**2 - 6*c + 95. Let i be z(15). Suppose 3*w - 2 - 7 = 0. Suppose -t - 24 = -3*t - 3*p, i*t + w*p - 78 = 0. Is t a multiple of 5?
False
Suppose 39*j - 61404 = 150990. Does 22 divide j?
False
Let f be (24/30)/(6/15). Let v be (-10)/(-2) + 0/f. Suppose 2*c = -v*a - 2*c + 252, 0 = -c + 3. Does 12 divide a?
True
Let y = -107 + 111. Let z(r) = -8 + 14 - 9 + 13*r. Is z(y) a multiple of 10?
False
Let y be (-4240)/(-6)*(-6 - (-45)/6). Suppose -3*h - 2*t + y = 0, -6*h + h = 3*t - 1768. Is h a multiple of 6?
False
Suppose 2*j = -j + 9. Suppose -599 - 473 = -5*h + j*r, 3*h + 2*r = 647. Is h a multiple of 5?
True
Let k(q) = 21*q - 16. Suppose 17*i - 44 = 19*i. Let v = i - -27. Is k(v) a multiple of 30?
False
Let v(j) = 8*j**2 + 2*j - 1. Let k be v(1). Let t = -24 + k. Let o = t - -95. Does 40 divide o?
True
Let q = -184 + 128. Let k = q - -109. Is k a multiple of 8?
False
Let g be (2452/(-2))/(-3 + 5). Let f = g + 1225. Is 51 a factor of f?
True
Let j(x) = 4*x + 251. Does 45 divide j(16)?
True
Let m(u) = 96*u**2 - u - 2. Let q be (-4)/((-10)/15 + 16/6). Let c be m(q). Suppose 0 = -10*j - 6*j + c. Is j a multiple of 12?
True
Suppose 18*n - 21*n + 6169 = 5*t, 0 = 3*t + 4*n - 3708. Is 2 a factor of t?
True
Suppose -7144 = -142*o + 95*o. Is 14 a factor of o?
False
Let d = 9110 - 2575. Is d a multiple of 22?
False
Let x be 4/14 + (-632)/7. Suppose -1222 = -3*d + 29*d. Let z = d - x. Is z a multiple of 9?
False
Suppose 3*m = 5*x + 61, m - 4*x + 60 = 5*m. Let o = -5 + m. Suppose -q = -o*q + 44. Is 2 a factor of q?
True
Is ((-206)/8)/((-10 - -17)/(-112)) a multiple of 9?
False
Let h = 35 + -35. Let r be 164/(10/5) - h. Let s = 145 - r. Is 9 a factor of s?
True
Suppose -2*u + 5347 = -269. Does 36 divide u?
True
Suppose 15*s + 93 = 14*s. Let c = s + 95. Suppose y = -c*h + 134, y - 3*h = 144 + 5. Does 28 divide y?
True
Let o(p) = -p**3 + 17*p**2 - 5*p - 151. Is o(15) a multiple of 7?
True
Let d(m) = m**3 - m**2 - 6*m + 7. Let z(q) = 3*q + 21. Let h be z(-6). Suppose -3*i = h*r - 6, 4 + 6 = -5*r. Is 7 a factor of d(i)?
False
Let v(m) be the second derivative of -m**8/1680 + m**6/360 + m**5/120 - 11*m**4/12 + 15*m. Let o(t) be the third derivative of v(t). Is 13 a factor of o(-2)?
False
Let x be ((-19)/(-3))/((4 + -2)/(-12)). Let v be 40 + x/10 + 4/(-20). Let o = 104 - v. Is o a multiple of 14?
False
Let k = 357 - 474. Let z = 331 - k. Is z a multiple of 16?
True
Let j = -2050 + 2052. Let a = -1 - -1. Suppose j*z - 43 = i + 164, a = 5*z - i - 522. Does 13 divide z?
False
Let c = -42 + 46. Suppose c*m - 4*j + 5 - 53 = 0, 3*m - 41 = 2*j. Let u = m - -10. Does 3 divide u?
True
Let t = 447 - -509. Is 6 a factor of t?
False
Let h = 151 + -148. Suppose 3*z - 366 = -3*p, h*p = -7 + 22. Is z a multiple of 9?
True
Let x(a) = -53*a - 16. Is x(-14) a multiple of 59?
False
Let z = -17596 - -39645. Is z a multiple of 116?
False
Suppose 0 = 3*r - 5*g - 15, -2*g - 3 - 3 = 0. Suppose -t + 28 - 4 = r. Is t a multiple of 11?
False
Let u(a) = -a**2 - 14*a - 24. Let w be u(-12). Suppose t - 2*o - 327 = 0, w = -5*o - 0 + 5. Suppose -f - 6*f = -t. Is f a multiple of 9?
False
Let p(t) = 19*t - 27. Let d be p(18). Suppose 0 = -20*q + 21*q - d. Does 15 divide q?
True
Let a = -9171 - -20259. Is 24 a factor of a?
True
Let q(j) = 288*j - 154. Is q(1) even?
True
Suppose 75*r + 66*r = 131*r + 330180. Does 19 divide r?
False
Let y be 24*(19/15 - 9/15). Let x(t) = 12*t - 65. Is x(y) a multiple of 11?
False
Let g(m) = -m**3. Let c(q) = -3*q**3 - q**2 - 3*q - 228. Let j(w) = -c(w) + 4*g(w). Let d be j(0). Suppose -3*u = -d - 633. Is 21 a factor of u?
False
Suppose -n = -m + n + 2, 3*m - n = 1. Let q be (-50)/210*-7 - (-181)/3. Let g = q - m. Is 9 a factor of g?
False
Let d(m) = m**2 - 16*m + 64. Let a(l) = -l + 12. Let u be a(0). Is d(u) a multiple of 7?
False
Let y = 144 - 144. Suppose y = 5*i + 5*s - 770, 5*s = -3*i + 176 + 286. Does 14 divide i?
True
Let w(j) = -2*j**3 - 50*j**2 - 5*j - 59. Let p be w(-27). Suppose -p = -41*g + 19*g. Is g a multiple of 10?
False
Let r be 11 + -4 + 60/5. Suppose r*f + 4860 = 29*f. Is f a multiple of 9?
True
Suppose 0 = -39*h - 49755 + 152520. Is h a multiple of 50?
False
Let l(y) = -83*y + 1312. Is l(-49) a multiple of 36?
False
Suppose -73*v + 283303 + 3343337 = 0. Does 60 divide v?
True
Let m(h) = 606*h**2 - 10*h + 10. Let q be m(3). Suppose 0 = -4*j + 17*j - q. Is 11 a factor of j?
True
Let d = -22022 + 29744. Is d a multiple of 26?
True
Let a = -330 + 335. Suppose -a*i + 387 = 4*u, 2*u - 3*i + 7*i = 186. Is 4 a factor of u?
False
Suppose 262*n - 264*n - x + 652 = 0, n - 5*x = 315. Is n a multiple of 13?
True
Let r(l) = -3*l**2 - 14*l + 8. Let a be r(-4). Is 11 a factor of (a/12)/1*(-18657)/(-36)?
False
Suppose 3*z - 5*u + 3*u = 1188, 3*u = 0. Let n = z + -143. Is n a multiple of 14?
False
Let l be -5 - -5 - (-6 + 51). Is 9/l*5*-634 a multiple of 16?
False
Suppose 5*t - 4*m = 0, 0 = -3*t + 6*t + 3*m + 27. Does 11 divide (30/(-4) + 2)*(t + 2)?
True
Suppose -127*r = -274*r + 607698. Is 34 a factor of r?
False
Suppose -14*q = -2*q - 48. Suppose 3*o = -4*x + 7 + 4, 5*x = -q*o + 13. Is x a multiple of 2?
False
Let r(o) = -61*o + 137. Let n(k) = 29*k - 69. Let x(g) = 5*n(g) + 3*r(g). Is 47 a factor of x(-13)?
False
Let u(i) = -i**3 + 51*i**2 - 30*i + 20. Is u(50) a multiple of 4?
True
Suppose 17 = 4*d + 5. Let l(o) = -2*o - 15. Let r(c) = -2*c + 17. Let g(b) = -6*l(b) - 5*r(b). Is 19 a factor of g(d)?
False
Suppose 5*k + 900 = 5*m, k = -8*m + 5*m + 540. Let l be ((-9)/(-2))/9 - (-27)/18. Suppose l*b - m = -b. Is 6 a factor of b?
True
Let o be (6 + 3)/((-3)/(-391)). Suppose 4 = -4*j, -4*b + 4*j = 7*j - o. Is 12 a factor of b?
False
Suppose 4*f + 1577 = h, 3*h + 1556 = 4*h + 3*f. Supp