. Is a a multiple of 6?
False
Suppose -5*m + 14*m = -1737. Let c = 343 + m. Let l = c + -6. Is l a multiple of 13?
False
Suppose -21*k + 9*k - 7*k + 55556 = 0. Is 68 a factor of k?
True
Let d be 2*(241/2)/1. Let h = 76 + -173. Let g = d + h. Does 12 divide g?
True
Let u(y) = 3*y + 4. Let t = -7 - 6. Let d be u(t). Let f = 12 - d. Is 47 a factor of f?
True
Suppose -8*h + 4*h + 32 = 0. Suppose 0 = -3*m - 3*k + 24, 24 - h = m + 3*k. Is (-17)/((2/m)/(-1)) a multiple of 9?
False
Suppose -5 = 3*i - 4*f, 0 = -i - 0*f + 5*f - 20. Suppose 0 = i*n + 144 - 54. Is 16 a factor of (-873)/n - 2/4?
True
Let g(l) = 8146 - 33*l + 17*l - 40*l - 8314. Is g(-22) a multiple of 38?
True
Let p be ((-2)/2 + 3)*-3. Let g be (-30)/2*(p - (-32)/5). Let y(q) = q**3 + 10*q**2 + 5*q - 6. Does 16 divide y(g)?
False
Let b(c) = -4*c**2 - 3*c + 3. Let d be b(-4). Let r = 37 + d. Does 5 divide ((-3)/2)/(r/128)?
False
Let u = -5970 + 8238. Is u a multiple of 81?
True
Suppose 3*y - 6 = 3*q + 6, 0 = -2*y + 4*q + 8. Let a(t) = 18*t**3 + t**2 - 29*t + 14. Is 40 a factor of a(y)?
False
Let f(o) be the second derivative of -7*o**3/2 - 10*o**2 - 3*o. Let q(y) = -20*y - 21. Let m(t) = 5*f(t) - 4*q(t). Does 35 divide m(-5)?
False
Suppose 5*y + m - 6 = 2*y, -9 = y + 4*m. Suppose 0*g + 3*g - 1833 = r, -y*g + 3*r + 1827 = 0. Is 9 a factor of g?
True
Let r(t) = 7122*t**3 + 3*t**2 - 3*t + 2. Does 52 divide r(1)?
True
Let g(u) = 79*u**2 - 383*u + 284. Does 20 divide g(-19)?
True
Let q(r) = 328*r + 280. Is 22 a factor of q(8)?
True
Let t = 140 - 141. Is (t - (3 - -1)) + 134 a multiple of 7?
False
Let w = -27 - -34. Suppose 332 = w*f + 24. Suppose -3*u = g - f, 36 = 2*u - 2*g + 4*g. Is u a multiple of 12?
False
Let m(y) = -y**3 - 5*y**2 - 11*y + 52. Let u be (2/4)/((-11)/(-990)*-5). Does 25 divide m(u)?
True
Let n be 3*2/15 - (-252)/20. Suppose 15*j - 1378 = n*j. Is 32 a factor of j?
False
Suppose 9*d + 35 + 10 = 0. Let x be -1*1 - d - (-21 + 22). Suppose 5*j = 5*h + 890, j + x*h - 172 = 2*h. Is 32 a factor of j?
False
Let i(c) = -11*c**2 - 1616*c + 10. Is 72 a factor of i(-13)?
False
Suppose 2 - 6 = -2*d, -d = -v - 4. Let g(t) = -6*t**2 + t + 6. Let u(o) = 17*o**2 - 3*o - 17. Let c(i) = 11*g(i) + 4*u(i). Does 8 divide c(v)?
True
Suppose -7128 = 11*y - 55*y. Suppose -165*j = -171*j + y. Is 25 a factor of j?
False
Suppose 5*a - 23870 = -6*y - 2919, 0 = -3*y - 3*a + 10473. Is y a multiple of 3?
False
Suppose 9 + 1 = p + 2*i, 2*p - 2 = 5*i. Let w be 1*p*18/27. Suppose -16 = -w*j, 4*g + j - 287 = 389. Is g a multiple of 21?
True
Suppose -33315 = -30*g + 151498 + 35027. Is g a multiple of 229?
True
Is 104 a factor of 2*(-2)/6 + ((-1421608)/(-12))/17?
True
Suppose 111*o = 112*o + 3*b - 15321, 3*o + 4*b = 45933. Is o a multiple of 17?
False
Let g be (-14 - (0 - 4))*388/(-8). Let l = g + -310. Is 3 a factor of l?
False
Suppose -18 = -10*t + 2. Suppose -2*k + 3*k + t*y - 666 = 0, 4*k - 5*y - 2729 = 0. Is 13 a factor of k?
True
Let u(k) = k**2 + 13*k - 28. Let a be u(-15). Let l be (-1)/(a/(-6))*30/15. Does 11 divide ((-176)/l)/(20/(-60))?
True
Let y(v) = 526 - 565 + 22*v**2 - v**3 - 8*v**2 - 5*v. Does 44 divide y(13)?
False
Let g be ((-20)/(-3) + 0)/(2/6). Suppose 20 - g = -2*c. Let o(j) = -5*j + 133. Is 19 a factor of o(c)?
True
Is 50 a factor of 2/(-17) + 5 + 959745/85?
False
Is ((0 - -5) + 83672/(-24))*3/(-2) a multiple of 13?
False
Is 2*(-4)/20 - (-27)/((-1080)/(-26336)) a multiple of 22?
False
Let a(z) = -z**2 + 8*z - 10. Let y be a(4). Suppose n - y*g + 9*g - 383 = 0, -4*g + 386 = n. Is 22 a factor of n?
True
Let r = 3187 - 1347. Is r a multiple of 20?
True
Let k = -1127 - -4361. Is k a multiple of 88?
False
Let x be (36/8)/((-2)/(-52)). Let m(t) = t**2 - 7*t - 16. Let s be m(9). Suppose -3*a + 3*k + x = 0, -2*a + k + 171 = s*a. Does 29 divide a?
False
Suppose -5*g = 4*s - 179533, -4*s + 110*g = 114*g - 179536. Does 116 divide s?
False
Let u(o) = -o**2 - 18*o - 21. Let q be u(-17). Is (70/q)/(3*(-9)/270) a multiple of 9?
False
Let m be 14 + (2 - 4 - -1). Let n = -7532 + 7640. Let w = n - m. Is 6 a factor of w?
False
Let o(h) = -2*h**2 + 12*h - 13. Let v be o(4). Suppose 4*s + 4*f = v*f + 4537, -2*s = 2*f - 2276. Is s a multiple of 55?
False
Let j = -4712 + 7934. Let u = j - 2001. Is u a multiple of 11?
True
Let w(n) = n + 6. Let h be w(-6). Suppose 31 = 10*c - 29. Suppose c*r - 120 - 54 = h. Is r a multiple of 4?
False
Suppose -k = -2*a - 1240 - 11627, 4*k - 4*a - 51448 = 0. Does 9 divide k?
False
Suppose -2*t - 16*w + 2004 = -12*w, -4*w = -5*t + 5010. Suppose -1238 = -10*l + t. Does 18 divide l?
False
Let r(i) = i**2 - 8*i - 4. Let j be r(9). Suppose 2583 - 673 = j*d. Suppose d = 5*t + 3*p, -t = 3*t - 2*p - 288. Is t a multiple of 22?
False
Is -6 - 4*(76/16 - 5)*2426 a multiple of 55?
True
Let p = -9365 - -10410. Is 19 a factor of p?
True
Let u(i) = i**2 - i + 1056. Let b be u(0). Suppose 9*s = 3*s + b. Let m = s - 126. Does 6 divide m?
False
Let y(c) = -2*c**3 - 64*c**2 - 45*c + 42. Does 39 divide y(-32)?
True
Suppose 3*d = 16 + 35. Let b = -12 + d. Suppose -b*a + 123 = -482. Is a a multiple of 22?
False
Let f be (1/3 + 0)*(-2 - -2). Suppose f*a = -a - a. Is (-17 - a)*(-10 - -3) a multiple of 11?
False
Let d = 19643 - 11879. Is d a multiple of 13?
False
Suppose 94*f - 97*f + 25000 = -2*t, -8333 = -f + t. Is 18 a factor of f?
True
Let n = 19214 - 19196. Does 3 divide n?
True
Suppose 4*z + 31 = 15. Let n = 122 - z. Is n a multiple of 6?
True
Let i = -30 - -31. Let g be 57 + (0 - i)*3. Suppose 0 = -2*z + 3*z - g. Does 6 divide z?
True
Suppose -4*u - l + 24 = -2*l, -2*l = -u + 13. Suppose 3*q - u*a = 793, 0*a - 5*a = 2*q - 487. Let v = q + -125. Is 43 a factor of v?
False
Suppose 15*a - 27*a - 672 = 0. Does 32 divide 63/(-6)*1632/a?
False
Suppose 0 = -14*o - 20147 + 68815 + 17132. Is o a multiple of 10?
True
Let p(r) = -134*r + 1549. Is p(-3) a multiple of 23?
False
Let t = -5524 + 10106. Does 4 divide (-1 - t/(-12)) + 35/(-42)?
True
Let i(n) = 4741*n**2 + n. Is i(-1) a multiple of 79?
True
Let r(o) = -o**3 + 38*o**2 - 110*o - 116. Does 48 divide r(34)?
True
Suppose -32 = 7*r - 32. Suppose 5*q - 4*w - 130 = 0, 3*q + 29*w - 25*w - 110 = r. Does 10 divide q?
True
Let m = -9127 + 13023. Does 7 divide m?
False
Let i = -29822 + 52782. Is i a multiple of 14?
True
Suppose 19*g = 176136 + 84107. Does 12 divide g?
False
Let w = 105 - 124. Let q = -15 - w. Suppose 5*o + 5*a - 707 = 463, q*o + 3*a - 941 = 0. Does 15 divide o?
False
Suppose -5*l - 15 = -5*p, 6*l = 8*l + 4*p - 6. Let y be ((-4)/(-8)*(l + -7))/(-1). Suppose 12*h = y*h + 816. Is h a multiple of 8?
False
Let p be ((-15)/10)/((-3)/4). Suppose p*j + 10 = q, 5*q = -j + 2*j + 14. Suppose q*w + 3*o - 24 = 38, -5*o - 205 = -5*w. Is w a multiple of 37?
True
Let y(s) = -324*s - 533. Is y(-8) a multiple of 29?
True
Let v(a) = a**3 - 8*a**2 + 15*a - 38. Let l be v(9). Let k = l + -138. Is 20 a factor of k?
True
Let g(s) = s**2 + 18*s - 27. Let f be g(-18). Let c be (-5)/((-90)/4) + 5271/f. Let a = c + 320. Does 9 divide a?
False
Let a(n) = -n**2 + 11*n + 46. Let t be a(14). Suppose 622 = -t*z + 2286. Is 32 a factor of z?
True
Let l(z) = -21*z**2 - 7*z - 8. Let b(r) = -61*r**2 - 20*r - 23. Let n(w) = -3*b(w) + 8*l(w). Is n(-5) a multiple of 10?
True
Suppose 0 = -0*g + 4*g - 100. Suppose -19*d - 51 = -3*t - 23*d, 0 = -4*t + 4*d + 96. Let l = g + t. Is l a multiple of 23?
True
Suppose -2*h - s = -1293, -84*h = -86*h + 2*s + 1278. Is 7 a factor of h?
True
Let n = -8705 - -9521. Is n a multiple of 16?
True
Suppose -j + 2 = -7. Let z(o) = 2*o**2 - 17*o + 141. Does 6 divide z(j)?
True
Suppose 3*o = -0*o + 36. Suppose 124 = o*j - 6344. Let b = -357 + j. Is 14 a factor of b?
True
Let j(w) = -256*w - 66. Let a be j(-3). Suppose 138 = i - 4*q + 6*q, 4*q - a = -5*i. Is 42 a factor of i?
False
Let c = -36 - -41. Suppose -25 = 5*k, -1 = 3*d + d + c*k. Is (d/(-4) + 3)*24 a multiple of 14?
False
Let t = 39 - 35. Let j(k) = -k**2 + 5*k + 1. Let f be j(t). Suppose 3*u + f*o - o = 757, 2*u - 504 = -3*o. Is 18 a factor of u?
False
Let z = -2092 + 5074. Is (4/6)/(28/z) - -5 a multiple of 76?
True
Suppose -7*a + 12*a = 2300. Let n be 6/(-27) - a/(-45). Suppose -n*k + 2*k = -384. Is k a multiple of 7?
False
Suppose 0 = -210*r + 171*r + 108381. Is 144 a factor of r?
False
Let g 