 Let v = a + m. Does 14 divide v?
True
Let v(w) = -2*w**2 + 36*w - 17. Does 8 divide v(15)?
False
Does 22 divide (10/25)/((-3)/(-180))?
False
Is (39 + -34)/(10/172) a multiple of 8?
False
Is 45/120 - 1678*3/(-16) a multiple of 21?
True
Suppose -2*v + 6*c - 3*c = 12, -3*c = v - 3. Let a be v/6 - (-237)/6. Suppose a - 117 = -2*w. Is w a multiple of 13?
True
Let w(p) = -282*p - 68. Is w(-11) a multiple of 82?
True
Let i be (0 - -3) + 6 + -6. Let l(n) = 2 - 2*n - 4*n + i*n - 8*n. Is 14 a factor of l(-3)?
False
Let l(a) = -23*a + 6. Let q be l(-5). Suppose -10 = -2*r, 5*f + 5*r = 2*f + q. Does 11 divide f?
False
Let g(n) = 6*n**2 - 5*n. Let l be g(6). Suppose 3*x + f + 2*f = -144, l = -4*x + 2*f. Let d = x - -73. Is d a multiple of 7?
False
Let g be (-48)/168 + (-212)/(-7). Does 15 divide (g/35)/(3/63)?
False
Let j(g) = -g + 50. Let k be j(15). Suppose 4*v - 495 = -k. Does 23 divide v?
True
Let q = -22 + 19. Is q/1 + 6 - (1 + -78) a multiple of 10?
True
Let t = -100 - -243. Is 4 a factor of (-17)/(-102) + t/6?
True
Suppose -13*n - 4080 = 2*n. Is (n/(-340))/(1/140 + 0) a multiple of 16?
True
Does 11 divide (0 - 27)/((-108)/(-22) + -5)?
True
Let a = -82 - -25. Let i = a - -127. Does 14 divide i?
True
Let y(c) = -c**3 - 5*c**2 - 5*c + 8. Let z be y(-5). Let t = -6 + z. Does 9 divide t?
True
Suppose 0 = -o - 42 + 1. Let y = 119 + -46. Let r = o + y. Is r a multiple of 14?
False
Let d = 126 + -123. Suppose 145 = 4*q + d*v, 3*v - 20 = -q - v. Is 12 a factor of q?
False
Suppose 3*y = 4585 - 787. Is y a multiple of 97?
False
Let n(v) = -v**3 + v + 3. Let t be n(0). Suppose -t*q - 8 = o, -3 + 1 = -o - q. Let x(h) = h**2 - h - 9. Does 11 divide x(o)?
True
Let f = 54 - 23. Does 13 divide f?
False
Let r be (-47)/(-7) - (-2)/7. Suppose -r*t + 10*t = 270. Suppose v = -v + t. Does 10 divide v?
False
Suppose -2*m + 20 = 3*d, -13 + 3 = -2*d + 2*m. Is 9 a factor of 286/d + (-9)/(-27)?
False
Let r = 39 - 35. Suppose -u = -r*v - 40, 4*u + 52 - 184 = 2*v. Is 16 a factor of u?
True
Suppose 17*c + 7*c = 14064. Does 72 divide c?
False
Let j(q) = -14*q**3 + 8*q**2 + 12*q + 8. Does 13 divide j(-5)?
True
Suppose -z = 5 - 17. Suppose -x + 186 = 5*r + x, -4*x + z = 0. Does 7 divide r?
False
Is 41 a factor of (-4)/(-8 - -12) - (1 - 535)?
True
Let i(v) = 9*v + 7. Let k be i(3). Suppose 162 = 5*x - 4*j, 4*j = 2*x - 26 - k. Is x a multiple of 34?
True
Suppose 0 = 7*z - 27*z + 14040. Is 13 a factor of z?
True
Suppose 3*t + s + 0 - 19 = 0, -2 = -t + 4*s. Suppose 0 = f - 0 - t. Is f a multiple of 2?
True
Let i = -991 - -496. Does 14 divide 2*i/(-10) - 1?
True
Does 12 divide (50 - 19)/(1/12)?
True
Suppose -101 = -3*o + 2*x, -o + 20 = -2*x - 11. Suppose 60 = 40*l - o*l. Does 2 divide l?
True
Let h = -395 + 461. Is 6 a factor of h?
True
Suppose -4*f + 1566 = 5*w, -w + 5*f + 0*f = -290. Is 9 a factor of w?
False
Suppose -2 = 2*s + 2. Suppose 4*o + 24 + 168 = 0. Is 1/s*(0 + o) a multiple of 11?
False
Let o = 9 - 4. Suppose -o*t - 7 = 133. Does 6 divide -2 - 5/(10/t)?
True
Suppose 0 = -0*w + 2*w + 3*s - 17, 5*w + 2*s - 48 = 0. Does 6 divide (32/w)/((-2)/(-60))?
True
Let k(q) = -7*q - 6. Let y(n) = -6*n - 5. Let a(t) = 5*k(t) - 6*y(t). Let b be a(4). Suppose b*r + 18 = 5*r. Is 9 a factor of r?
True
Suppose -2*v - 786 = -i + 2*v, -2*i + 3*v = -1552. Is i a multiple of 26?
False
Does 11 divide ((-5940)/63)/(6/(-21))?
True
Let u = -163 + 579. Is 12 a factor of u?
False
Let w = 16 - 14. Suppose -5*v - g = -14, 0 = 3*v - 6*v + g + w. Is 34 a factor of (-424)/((-8)/v) + -2?
False
Suppose 5*f = -3*y - 0*y + 879, 5*y = -2*f + 363. Suppose -4*o - 2*d + f = 0, -89 = -2*o - 0*d - 3*d. Does 43 divide o?
True
Let k(u) = -2*u + 133. Let h be k(0). Let q = h - 109. Is 2 a factor of q?
True
Let b be ((-176)/22)/(4/6). Let m = b + 17. Does 2 divide m?
False
Let c be (-14)/35 - (-27)/5. Suppose c*z = -2*m + 4*m - 165, 4*z - 5*m = -132. Let g = z + 48. Does 5 divide g?
True
Let n = 2 - -4. Let r be (n/(-14))/((-2)/14). Suppose -5*b - s = -0*s - 59, -r*b + 2*s + 38 = 0. Does 12 divide b?
True
Suppose 4*n - 27 - 36 = -h, h - 3*n = 49. Is 3 a factor of h?
False
Is 23 a factor of -5 - (3 - (1 + 973))?
True
Let b(t) = 4*t**3 - 7*t**2 + t + 34. Is 7 a factor of b(4)?
True
Let x = 23 - 19. Does 8 divide 279/5 + x/20?
True
Let n(k) = 9*k**2 + 25*k + 12. Is n(-6) a multiple of 7?
False
Let q(p) = 118*p + 2*p**3 - 2*p**3 - 114*p - 5*p**2 + 5 - 2*p**3. Does 9 divide q(-5)?
False
Let l = -747 + 951. Is l a multiple of 4?
True
Suppose -5 = -2*h + 81. Suppose 57 = p - 3*i, 2*p + h = -5*i + 179. Does 16 divide p?
False
Let n = 9 - 5. Let r be 2*199 + -12*(-3)/(-9). Suppose k - 396 = -5*d, n*d + d - r = k. Is 9 a factor of d?
False
Let k(w) be the first derivative of -w**4/4 - 4*w**3/3 + 5*w**2 + 14*w + 5. Is 24 a factor of k(-7)?
False
Is ((-39)/(-4))/((-9)/(-804)) a multiple of 22?
False
Suppose -21*t = -4*c - 18*t + 5289, t - 3957 = -3*c. Does 12 divide c?
True
Let p(u) = u**3 + 7*u**2 + 3*u + 10. Let w be p(-8). Let v = 106 + w. Does 21 divide v?
False
Let c(m) = 12*m**2 - m - 2. Let f be c(-1). Let p = f + -7. Suppose 0*r - p = -r. Is r a multiple of 3?
False
Let d = 234 - -1031. Is d a multiple of 55?
True
Let u(f) = 0 - 3 + 7 - f. Let j be u(2). Does 11 divide 52/7*7/j?
False
Let n be 1*(-2)/(-1) - -8. Let q be (7 - -33)*(-4)/n. Let f(g) = -g**2 - 16*g + 5. Does 5 divide f(q)?
True
Does 17 divide (-1 + -1 + -1)*-102 - 1?
False
Suppose -k + 122 = z, -2*z - 13 = -4*k - 245. Let d(x) = -x**2 - 13*x + 4. Let l be d(-13). Suppose l*h = -h + z. Does 12 divide h?
True
Let j(k) = k**2 - 16*k + 19. Let l be j(15). Suppose 860 = l*s - 2*c, 13*s + 3*c = 8*s + 1064. Does 32 divide s?
False
Let r = 4862 - 8972. Is ((-4)/10)/(12/r) a multiple of 16?
False
Let d = 5 - -13. Let a = d - -6. Is a a multiple of 4?
True
Is 40 a factor of -48*-10*(-4)/(-16)?
True
Suppose 5*m + 2896 = 13*m. Let x = -227 + m. Is 15 a factor of x?
True
Let c = 71 - 69. Suppose 2*g + 3*g - 25 = 0. Suppose g*o - c*o - 4*h = 52, -5 = -h. Is 17 a factor of o?
False
Let l = 27 + -24. Suppose -8*p = -l*p - 5. Is 2 + -3 + p - -92 a multiple of 14?
False
Let s be 9*25/45*3. Suppose 23*u - s*u - 40 = 0. Is 3 a factor of u?
False
Let k(w) = -w**3 - 11*w**2 + 14*w + 27. Let p be k(-12). Suppose 4*z = -0*t - 2*t + 168, -p*z + 2*t = -140. Is z a multiple of 22?
True
Suppose 10627 + 1833 = 14*i. Does 13 divide i?
False
Suppose -119 = -5*i + 856. Is 15 a factor of i?
True
Let b be 0 + (-17)/2 + 5/10. Let h(p) = -8*p + 2. Is h(b) a multiple of 22?
True
Let l(w) = 42*w. Let o be l(-2). Let n = 6 - o. Does 12 divide n?
False
Is 27 a factor of 18*(1 + 40/8)?
True
Suppose -12*f = -5*f - 70. Does 7 divide f?
False
Let l(f) = f**3 - 9*f**2 + 4*f + 6. Let i be l(6). Does 18 divide (-700)/(-13) + (-12)/i?
True
Let w(n) = -33*n + 176. Is w(-8) a multiple of 19?
False
Suppose 4*d - 13 + 5 = 0. Suppose -d = 3*q + 4. Is 7 a factor of 135/6 + 3/q?
True
Suppose -3*u + 20 + 16 = 0. Let g = -5 + 3. Let b = g + u. Is 3 a factor of b?
False
Let q = -30 - 3. Is 129/2 - q/22 a multiple of 22?
True
Let l(d) = -3*d**3 - 13*d**2 - 9*d + 9. Let p be l(-8). Suppose 3*i - 22 = p. Suppose 5*s - 2*f - 193 = 79, 5*s - i = -f. Is s a multiple of 18?
True
Let u = -147 - -146. Suppose i - 5*n = 22 - 3, i + 3*n = 3. Let o = i + u. Is 6 a factor of o?
False
Suppose 9*n - 11*n + 8 = -s, -4*n - 4*s = -28. Is n a multiple of 2?
False
Let g(b) = -3*b**2 + 16*b + 13. Let x(q) = -q**2 + q + 1. Let r be 8/2 + (-40)/8. Let p(o) = r*g(o) + 4*x(o). Does 8 divide p(-6)?
False
Let q(z) = -2 - z**2 - 2*z + 4*z + 23*z**2 + 1. Does 9 divide q(2)?
False
Let k(w) = -w**3 - 55*w**2 + 34*w - 8. Is k(-56) a multiple of 36?
True
Let a(p) = 2*p**2 + 7*p - 291. Is a(-21) a multiple of 37?
True
Let s(w) = 54*w**3 - 4*w**2 + 4*w + 1. Let d(k) = -k**2 + k. Let c(j) = -2*d(j) + s(j). Is c(2) a multiple of 47?
False
Suppose 10*b = 2952 + 218. Is b a multiple of 46?
False
Suppose 2*x + j - 96 = 4*j, -5*x = -2*j - 251. Does 8 divide x?
False
Let h(m) = m**2 + 12*m + 13. Suppose 50 = -5*n - 30. Let r be h(n). Suppose -700 = -7*c + r. Is c a multiple of 37?
True
Let x = -11 + 6. Let c(k) = -k**3 - 5*k**2 - 3*k - 5. Is c(x) a multiple of 3?
False
Let s = 38 + -34. Suppose -a = s*a. Suppose 2*h - 45 = -c - a*c, 0 = 3*h - 5*c - 48. Does