
False
Suppose -8 = 2*m, 17 = 2*w - 3*w + 2*m. Let b be (-24)/1*w/(-15). Let z = 60 + b. Is z a multiple of 4?
True
Let s = -527 + 658. Does 4 divide s?
False
Let a = -202 - -94. Let i = 124 + a. Does 3 divide i?
False
Suppose 1362 = 5*c + 3*m, -2*c + 3*m + 0*m = -549. Does 6 divide c?
False
Let d(h) = 3*h**2 + 2*h - 5. Let o = 1 - 8. Let b be d(o). Suppose -8*m + b = -4*m. Does 16 divide m?
True
Suppose 13*i = 3*i. Suppose -5*d - 2*d + 924 = i. Does 12 divide d?
True
Let p(z) = 7*z - 2. Let u be p(-4). Suppose -4*d + 8 + 42 = 2*x, 4*x - 70 = -2*d. Let l = x - u. Is l a multiple of 15?
True
Let b(l) be the second derivative of l**2/2 - 4*l. Let h(v) = -v**2 + 2*v + 3. Let y(f) = 12*b(f) - 3*h(f). Is y(5) a multiple of 24?
True
Suppose -8*y = 598 - 3478. Does 10 divide y?
True
Let s = 743 - 497. Suppose -4*n - 2*n = -s. Is n a multiple of 7?
False
Let j(k) = 2*k**2 + k + 3. Suppose 0*x - x = m + 3, -6 = x + 4*m. Let p be j(x). Suppose 5*i - 120 = 2*d, d + 4 = p. Is i a multiple of 13?
True
Let v(g) = -2*g**2 + 23*g - 33. Is v(8) a multiple of 2?
False
Let y = 137 - 61. Let f = y - -92. Does 8 divide f?
True
Let k be ((-2)/6)/((-4)/(-36)). Let g be 2 + (-6 - k) + 1. Suppose -f + 6 = -g*f. Is 5 a factor of f?
False
Let b(t) = -t**3 - 4*t**2 + 11. Let p be b(-6). Let v = p + -11. Is v a multiple of 36?
True
Let d = 0 + 4. Let p(o) = 3*o**2 - 17*o - 4. Let i be p(8). Suppose 4 = 4*k + 24, d*m + 4*k - i = 0. Does 11 divide m?
False
Suppose 0 = -12*z + 13*z - 105. Is z a multiple of 21?
True
Let a(o) = -o**3 + o**2 + o - 20. Let m be a(0). Let q be (-5)/m - 22/(-8). Suppose 5*b + h - 40 = 0, q*b + 3*h - 8*h = -4. Is b even?
False
Suppose 240*w - 8898 = 238*w. Is w a multiple of 20?
False
Suppose -5*f + 3*a = 2, 0 = -f - f - 4*a - 6. Does 15 divide f - 0 - (-4844)/14?
True
Let i = 1994 - 274. Does 43 divide i?
True
Suppose 0*l + 3*l - 5*c - 32 = 0, 3*l - 50 = -4*c. Let y = l - 15. Is 11 a factor of (-55)/10*2/y?
True
Let y = -8 - -17. Let c = 14 - y. Suppose -4*q - c*i = -301, -q + 2*q = -i + 76. Is q a multiple of 22?
False
Let g = -4 + 7. Suppose g*r = r + 14. Is (-2)/r + (-86)/(-7) a multiple of 4?
True
Suppose 2824 + 1136 = 3*m. Is 55 a factor of m?
True
Let a(l) = -l + 1. Let s be a(4). Is (-14)/(-4)*-10*6/s a multiple of 9?
False
Suppose 41*r = -2*h + 36*r + 166, -h - 5*r + 83 = 0. Is 12 a factor of h?
False
Let h be (14/(-4))/((-5)/(-10)). Let m = h + 40. Is m a multiple of 6?
False
Let m be (10/(-8))/(26/(-3120)). Let j = 73 + -7. Let o = m - j. Is 28 a factor of o?
True
Let p = 17 + -14. Let d be 15/p + -3 + 108. Suppose 0 = 3*h + 2*h - d. Is 22 a factor of h?
True
Is 26 + -23 - (1 - 1290) a multiple of 68?
True
Let k = 1011 + -881. Is 9 a factor of k?
False
Let l(r) = -r**2 + 7*r - 10. Let m be l(5). Suppose 5*q + 20 = m, -29 = 3*u + 3*q + 43. Does 28 divide (u/(-5))/((-4)/(-50))?
False
Suppose 9*o = 16*o - 931. Suppose 4*v - 5*x - 165 = o, 0 = 3*v + 2*x - 212. Is 11 a factor of v?
False
Let w(q) = q**3 + 7*q**2 - 6*q - 4. Suppose -16*c + 11*c = 30. Is w(c) a multiple of 17?
True
Is 5/(((-15)/(-345))/((-2)/(-2))) a multiple of 39?
False
Suppose -2*p = -0*p - 546. Suppose -m + p = -n + 25, -2*m - 3*n = -481. Suppose -6*o + o = -m. Does 15 divide o?
False
Let p(g) = -78*g + 3. Let a be p(-2). Let y = -15 + a. Is 24 a factor of y?
True
Let a = -77 - -74. Is 41 a factor of (8/(-10))/(a/930)?
False
Suppose 0 = -11*f + 14*f + 4*j - 1171, -5*j - 1189 = -3*f. Is f a multiple of 15?
False
Let y = 108 - -27. Does 9 divide y?
True
Let a(f) = 5*f**2 + 83. Is a(-11) a multiple of 43?
True
Let s(m) = -m**3 - 13*m**2 + 7*m - 8. Let g be s(-14). Let d = g - 12. Let z = -42 + d. Is z a multiple of 9?
True
Suppose 2*y + 4 = 8. Suppose -4*f - 8 = -6*f - y*m, 4*f = 4*m. Suppose 3*g + w - 33 = 4*w, -g = f*w - 26. Is 11 a factor of g?
False
Let i(k) = k**2 - k - 6. Let n be i(-5). Does 8 divide (n + 0)*(-6)/(-18)?
True
Let g(i) = 205*i**2 + i + 1. Let j be g(-1). Let a = 319 - j. Does 34 divide a?
False
Suppose 0 = -j - j - 5*g - 103, 46 = -j + 3*g. Let r = j + 60. Is 5 a factor of r?
False
Let l be ((-10)/4)/(9/(-306)). Suppose l = -5*s + 410. Is s a multiple of 10?
False
Let y be (-210)/(-2 - 26/(-16)). Suppose -y = -7*o + 2*o. Is 21 a factor of o?
False
Let x = -21 + 6. Let g = -10 - x. Suppose 5*k = -3*b + 50, -76 = -g*b - 2*k + k. Is 15 a factor of b?
True
Suppose 0 = 53*j - 56*j + 6. Suppose -j*k = -3*n - 124, 0*k - 352 = -5*k - 3*n. Is 16 a factor of k?
False
Let o = 86 + 40. Suppose o = -2*d + 4*d. Is 9 a factor of d?
True
Suppose 2*y + 3*n = -2 - 1, y + n - 1 = 0. Suppose 3*v - 2*a = 76, v + y*a - 14 = a. Is v a multiple of 4?
True
Suppose -30 = -2*l - d, -5*d = 2*l + 11 - 57. Suppose 2*u = -3*w + l, -w + 8 = 3*w + 5*u. Let k(h) = 9*h - 12. Does 9 divide k(w)?
False
Let n(i) = -12*i**3 - 3*i**2 - 10*i - 5. Suppose -8*h = -3*h + 5*l, -5*h - 30 = -5*l. Is 48 a factor of n(h)?
False
Let j(n) = -n**3 + 11*n**2 + 25*n + 19. Let t be j(13). Is (-216)/(t/(-2))*(-12)/(-9) a multiple of 48?
True
Let n be ((-21)/(-12) - 3)*(-4)/1. Let k(y) = y + 64 + 2*y**2 - 59 + 0*y. Is 19 a factor of k(n)?
False
Is 35/(-5) - 46/(-2) a multiple of 16?
True
Let i(a) = -10*a**2 - 53*a - 2 + 2*a**2 + 51*a. Let p be i(-2). Does 4 divide (-114)/(-15) + (-12)/p?
True
Is 14 a factor of (-3288)/(-2) + (16 - (-418)/(-19))?
True
Let o(p) = -15*p - p**2 - 5*p + 5 + 29*p. Let n be o(7). Suppose -t = -2*t + n. Is 19 a factor of t?
True
Let g(v) = 73*v**3 - v. Let t(m) = m**3 - 3*m**2 + 4*m - 3. Let p be t(2). Does 22 divide g(p)?
False
Suppose 0 = 4*m - 3*n - 138, 2*n = 2*m - 41 - 27. Suppose -r - k + 19 = 0, -5*k - 23 = -4*r + 26. Is 24 a factor of (r - 20)/((-2)/m)?
True
Let c(d) = -2*d**2 - d + 1. Let r be c(2). Let w(t) = 2*t + 15. Let i be w(r). Is (1 - (i - 2))*1 a multiple of 3?
True
Suppose -b = 9*b - 530. Is 3 a factor of b?
False
Suppose -5*j + 4224 = 2*h + 1483, 4105 = 3*h + j. Does 13 divide h?
False
Suppose 0 = -5*u - 14*d + 10*d + 8482, 5*u = 4*d + 8498. Is u a multiple of 94?
False
Let h(p) be the first derivative of -10*p**2 - 116. Let y(i) = -i + 3. Let l be y(4). Is h(l) a multiple of 10?
True
Let y(l) = -l**3 + 30*l**2 + 102*l + 29. Does 32 divide y(33)?
True
Let g(c) = -3*c - 19. Suppose 5*b - b + 8 = -t, -t - 5 = b. Let s be (0 - t)*(-36)/16. Does 6 divide g(s)?
False
Let v = -13 - -17. Is 4 a factor of 24/(-14)*(-28)/v?
True
Suppose 4*l = -3*i + 4, 0*i - 4 = -4*l - 4*i. Let p(x) = 22*x**3 + 2*x**2 - 3*x + 2. Is 3 a factor of p(l)?
False
Does 4 divide ((-32)/(-12))/(-3 + 692/228)?
True
Suppose 4*l + 33 = 9. Let s = l + 10. Suppose -5*g + 10 = 3*c + 1, s*c - 3*g - 41 = 0. Is c a multiple of 8?
True
Suppose -4*a - a = -30. Suppose 0 = -a*c + 3*c + 204. Is c a multiple of 17?
True
Let c(m) = -364*m - 214. Is c(-7) a multiple of 110?
False
Let p = -119 + 63. Let h = p - -123. Is 9 a factor of h?
False
Suppose 8 = 2*x - 2*f, 2*x + 0*f + 2*f + 8 = 0. Let t be x - 1 - (3 - 5). Is 9 a factor of -1 - -28 - (t - 1)?
True
Let z(b) = 54*b**3 - 2*b**2 + b - 3. Let t be z(3). Suppose -4*i = i - t. Is 18 a factor of i?
True
Suppose 19 = -15*n - 26. Let s(g) = -20*g**2. Let q be s(1). Is -4*q/(-24)*n even?
True
Let h(r) = -r**2 - 3*r + 2. Let s be h(-3). Suppose 3*w + 3*u = -s*u + 37, -2*w + 16 = -u. Does 9 divide w?
True
Let a(q) = q**2 - 21*q - 10. Let j be a(11). Is 13 a factor of (4/6)/(((-1)/j)/1)?
False
Let m = 3 - 1. Let p be 42 - (-8)/(6/3). Is 12 a factor of p - ((-6)/m - -1)?
True
Let u be ((-697)/51)/(1/(-3)). Let z be -1 + -4 - 48/(-12). Let j = u - z. Does 21 divide j?
True
Let g(r) = -r**3 - 5*r**2 + 2. Let d be g(-5). Suppose d*u = 8*u - 1512. Suppose 2*f + u = 6*f. Is 16 a factor of f?
False
Let p(m) = 2*m - 3. Let r be p(3). Suppose -r*z - g + 61 = 0, -2*z + 7*z = 3*g + 111. Is z a multiple of 9?
False
Suppose 5*q + 0*q + 100 = 0. Is ((-48)/(-40))/((-6)/q) a multiple of 4?
True
Let w(q) be the second derivative of 13*q**3/3 + 4*q**2 + 51*q. Is 15 a factor of w(3)?
False
Is 4 a factor of 13/((-39)/(-970)) - 12/(-18)?
True
Let t be (0 + 10)*14/(-35). Let g be 72 - 0*2/t. Does 12 divide (4 + -3)*g/2?
True
Suppose 0 = -26*d + 32*d - 324. Is 5 a factor of d?
False
Let v(i) = 19*i**2 + 21*i + 11. Does 50 divide v(-7)?
False
Let v(y) = y**2 - y + 36. Let f be v(0). Let j 