iple of 9?
True
Suppose 1923*p - 1918*p - 5400 = 0. Is p a multiple of 45?
True
Suppose 6441 - 281 = 8*a. Is a a multiple of 7?
True
Suppose 0 = -3*h - q + 592, 0 = -2*h + q + 75 + 313. Let p = h + -118. Is p a multiple of 39?
True
Let q(a) = 74*a - 305. Is q(11) a multiple of 6?
False
Let l be 0 + 2 - (-2 + 1). Suppose 0 = 2*d + l*d. Let o(y) = 2*y + 59. Is o(d) a multiple of 22?
False
Let m be 3 - 2 - 2 - -3. Suppose m*x - 4 = -2*c + 46, -4*c + 109 = x. Is 7 a factor of (c/10)/((-6)/(-30))?
True
Suppose -8*j - 13707 = -11*j. Is j a multiple of 40?
False
Let g = -663 - -1179. Is 12 a factor of g?
True
Suppose 98 = -6*q - 106. Let f = -23 - q. Is f even?
False
Let h(f) = 57*f**2 + 274*f + 10. Is 45 a factor of h(-10)?
True
Let f be (5 + -20)*1/(-3). Suppose -f*v + 17 = -2*t + 85, -124 = -3*t + 2*v. Is t a multiple of 9?
False
Let w(v) = v**3 + 5*v**2 - v - 6. Let g be w(-5). Let c be -1 - g - 1 - -3. Suppose -c*p + 7*p = 80. Is 5 a factor of p?
False
Suppose 6 = -8*s - 18. Let u(t) = -5*t**3 - 5*t**2 - t + 3. Is u(s) a multiple of 32?
True
Let f = -25 + 37. Suppose -f + 10 = -u. Suppose -4*t + 12 = 0, t = u*n - 3*t - 90. Is 15 a factor of n?
False
Suppose 4*i - 3*j - 2*j - 1644 = 0, -2*j + 1672 = 4*i. Is 13 a factor of i?
True
Let s be (-10)/(-4)*(-2618)/(-35). Suppose -o + s = 43. Is 48 a factor of o?
True
Suppose -l = 2*x - 238, -x - 2*x = l - 358. Suppose -5*z - 2*i + 309 = i, 2*z = -3*i + x. Is 23 a factor of z?
False
Suppose 3*n + 2*m = 4 + 114, -3*n - 5*m + 133 = 0. Suppose -3*x + 3*k = -0*x - 180, x + 5*k - n = 0. Is x a multiple of 14?
True
Let u(q) = -q**2 + 3*q + 555. Let r be u(0). Let f = r - 325. Is 31 a factor of f?
False
Let j(l) = 8*l**2 - 7*l + 16*l**2 + 11*l**2 - 36*l**2. Is 5 a factor of j(-5)?
True
Does 4 divide (5/10)/(-5 - (-19282)/3856)?
True
Let b(k) = -2*k**2 + 18*k - 6. Let p be b(9). Does 15 divide (-3926)/(-30) - p/45?
False
Suppose d - 4*i - 220 = 0, 5*i + 535 = 2*d + 104. Is d a multiple of 13?
True
Let c be (1 + 20)*(-99)/(-27). Is 194/22 + 14/c a multiple of 9?
True
Let p = -265 + 786. Is p a multiple of 21?
False
Suppose 1848*k - 1833*k - 13590 = 0. Does 28 divide k?
False
Suppose 4*v = 5*r + 3711, -2792 = -3*v + 7*r - 5*r. Is v a multiple of 13?
False
Suppose f + 10 = -f, -f = 3*d - 4. Does 45 divide -2 - (d + -1)/((-6)/291)?
False
Suppose 90 = 7*w - 4*w. Is 11 a factor of w?
False
Let q(t) = t**3 - 6*t**2 - 6*t - 3. Let d be q(7). Suppose 4*n + 3*p + 2*p = 476, -2*n = d*p - 244. Does 15 divide n?
False
Is 10 a factor of -3*(-4)/(-3) - (0 - 684)?
True
Let p(o) = 11*o - 64. Is 19 a factor of p(11)?
True
Let y(s) = -s**3 + 11*s**2 + 11*s + 16. Let n be y(12). Suppose n*q - 185 = 87. Is q a multiple of 17?
True
Let q(h) = -5*h + 1. Let i(x) = 4*x**3 + 4*x**2 + 3*x. Let f(u) = 3*u**3 + 5*u**2 + 4*u. Let z(t) = -4*f(t) + 5*i(t). Let v be z(-1). Does 12 divide q(v)?
True
Suppose -g = -4*x - 260, -3*x + 117 - 924 = -3*g. Is g a multiple of 8?
True
Let b = -631 + 1128. Does 12 divide b?
False
Let j = -614 - -924. Is 39 a factor of j?
False
Suppose -h + t = -0*h - 5, 0 = -3*h - 2*t - 10. Suppose -2*u + 4*f - 32 = h, -5*f = 2*u + 2*u - 1. Let i = u + 20. Is i a multiple of 14?
True
Suppose -11*b - 295 = -20117. Is b a multiple of 25?
False
Let j(k) = 11*k + 50. Let l(b) = -10*b - 49. Let o(y) = 3*j(y) + 4*l(y). Does 5 divide o(-8)?
True
Let h(t) = t**2 + 3*t + 7. Does 3 divide h(-8)?
False
Let f = 0 - 0. Let t(l) = 2*l**2 + 8*l + 45. Let s be t(10). Suppose -4*g + 8 = -f, 0 = 5*m + 5*g - s. Does 21 divide m?
True
Let c = 2070 - 626. Is 44 a factor of c?
False
Let p(w) be the third derivative of -w**6/120 - w**5/12 + 7*w**4/24 + w**3/2 + 5*w**2. Let h be p(-6). Let y(n) = n**2 - 5*n - 3. Does 16 divide y(h)?
False
Let l(m) = 50*m - 246. Is l(23) a multiple of 8?
True
Let d(g) = 20*g - 648. Does 8 divide d(60)?
True
Is 24 a factor of (-177072)/(-63) + -3 + (-1)/(-3)?
True
Suppose -5*t - 2*l + 134 = 0, -3*t + 28 + 59 = -l. Suppose 171 = -9*o + t*o. Is o a multiple of 2?
False
Let h(z) be the third derivative of z**7/2520 + 5*z**4/24 - 7*z**2. Let g(j) be the second derivative of h(j). Does 2 divide g(-3)?
False
Let x = -266 + 311. Is x a multiple of 5?
True
Suppose 0 = 2*d - 4*d + 6. Suppose d*i + 0*s = 3*s - 3, i + s = 7. Is (4/i)/((-3)/(-54)) a multiple of 4?
True
Let f be (-72)/33 - 4/(-22). Let z(o) = -o**3 + 2*o**2 + 3*o. Is 5 a factor of z(f)?
True
Let x = -21 + 71. Suppose -x*i + 45*i + 410 = 0. Does 13 divide i?
False
Suppose 1 = k + 2*q, 4*k - 3*q - 25 + 10 = 0. Suppose -4*u = -3*h + 1, h = 4*h + 3*u - 15. Suppose 151 = -v + k*v - f, 4*v + h*f = 307. Does 19 divide v?
True
Suppose -164 = -6*u + 4*u. Does 31 divide 3 + u + 4 + -2?
False
Let n be (-37)/2 + 18/(-12). Let m = 62 - 25. Let s = m + n. Is s a multiple of 6?
False
Let n be (-3254)/(-18) + -5 + (-94)/(-18). Suppose -2*f - s = -n, -74 = -2*f + 5*s + 101. Is f a multiple of 6?
True
Suppose -v - 2*q = -114 - 736, -2546 = -3*v - 5*q. Is v a multiple of 7?
False
Let w be ((-1)/(2/(-4)))/1. Let b be 4 + w/(1 + 0). Suppose -7*i + 4*i = 3*q + 3, -3*i - b = 2*q. Is 3 a factor of q?
True
Let t = 192 + -93. Suppose t = 2*f - 149. Does 25 divide f?
False
Let b be 1 - 3 - 7/((-21)/2844). Suppose 4*y - 14 - b = 0. Is y a multiple of 40?
True
Suppose -13 = 2*r + 17. Is 14 a factor of (-1056)/r + 1 + 28/(-20)?
True
Let p(s) = s**3 + 7*s**2. Let c be p(-7). Suppose 3*o - 311 - 457 = c. Suppose -5*y - 2*q + 47 = -o, -5*q = 5. Is y a multiple of 11?
False
Let h(x) = -2*x + 50. Let u be h(23). Suppose 95 = u*t - 229. Is 9 a factor of t?
True
Does 34 divide (-34)/(-4)*(-336)/(-42)?
True
Let m = 24 - 0. Suppose -9 = 3*j - m. Suppose 4*l = 3*z + 47 - j, -30 = -4*l - 3*z. Is 6 a factor of l?
False
Let a(b) = 76*b**2 + 16*b - 45. Is 95 a factor of a(4)?
True
Suppose 2*n + 5*n = 0. Is 135/(-5)*(n - 4) a multiple of 9?
True
Does 6 divide (-3 - 9)*-1 - 1?
False
Let u(c) = c**2 - 18*c + 3. Let s be u(16). Is 13 a factor of (s + 12)/((-1)/3)?
False
Suppose -o + 3*d = -106 + 4, 3*o + 2*d - 306 = 0. Suppose -a + o = -s, 4*a + 4*s = s + 380. Does 22 divide a?
False
Let j be (-3)/(-1) - (-4 - 7). Is ((-2)/(-1))/(j/91) a multiple of 7?
False
Suppose 5*x - 9*x = -40. Let j(k) = k**3 - 11*k**2 + 15*k - 9. Does 9 divide j(x)?
False
Suppose -4*k + 2230 = 3*z - 4*z, 2*k = z + 1114. Is k a multiple of 18?
True
Suppose -5*p - 5*i = -490, 4*i + 186 + 94 = 3*p. Let d = -94 - -48. Let s = d + p. Does 20 divide s?
False
Is 53 a factor of (((-53)/(-2))/(-1))/(1/(-14))?
True
Suppose -216*m + 206*m + 7320 = 0. Is m a multiple of 15?
False
Suppose 8*f - 1084 = 740. Is 19 a factor of f?
True
Is 24 a factor of (-1)/((-1)/2514) - (2 + -8)?
True
Let s be 2 + 18/(-3) + 12. Is 18*(s - (-8)/(-2)) a multiple of 6?
True
Let m = -6 + 13. Let w = m + -10. Let i(v) = -2*v**3 - 5*v**2 - 3*v + 4. Is 11 a factor of i(w)?
True
Suppose 2*u - 5 = 2*r - 19, 15 = -5*u. Suppose 7*a - r*a - 30 = 0. Is 10 a factor of a?
True
Let x = 138 - 112. Is x a multiple of 2?
True
Let a(i) = 52*i + 28. Is a(7) a multiple of 44?
False
Suppose 0 = -2*h - 18 - 26. Let k = h - -9. Let z = 35 + k. Does 8 divide z?
False
Let b be 4/6 - (-760)/30. Suppose -2*s + b + 4 = 0. Suppose v = -0*h - h + s, -2*v + 6 = 0. Is 6 a factor of h?
True
Let l be 3/(5*4/20). Suppose 171 = -l*z - 144. Let a = 169 + z. Does 10 divide a?
False
Let p be (-548)/8*-10 + 4. Suppose -4*f = -t - p + 4598, 2*f - 4*t = -1972. Is f/(-112) + (-4)/(-14) a multiple of 8?
False
Let d be (9/(-6))/(((-18)/16)/3). Suppose 2*f + 198 = d*g, 3*g - 6*g - 3*f = -153. Is 25 a factor of g?
True
Let t(o) = -9*o - 57. Is t(-10) a multiple of 33?
True
Suppose 0 = m + 4 - 106. Suppose -22*t + m = -19*t. Is 17 a factor of t?
True
Let j(h) = 82*h**3 + 4*h + 2. Is 45 a factor of j(2)?
False
Let w = 48 + -44. Suppose 3*l = -f + 364, -w*l + f + 460 = -4*f. Does 30 divide l?
True
Let w(k) = -13*k + 43. Let m be w(-40). Let i(x) = 9*x**2 + x - 5. Let a be i(-5). Suppose -m + a = -3*j. Is j a multiple of 29?
True
Let x be ((-12)/10)/((-4)/10). Suppose 7*h = 16*h - 27. Suppose 5*c - 102 = 4*k, 3*k - x = h. Does 8 divide c?
False
Let y(n) = n**3 - 16*n**2 - 24*n - 63. Is 13 a factor of y(20)?
False
Let s(z) = 2*z - 7. Let k be s(-7). Let a = 49 + k. Is 6 a factor of a?
False
Suppose 0 = 5*l - 2*q 