 Does 49 divide s?
True
Let u = -111 + 45. Let t = -21 - u. Does 15 divide t?
True
Let a(p) = 4*p**2 - p**3 + 1 - 3 + 1 + 6 + 4*p. Let u be a(5). Does 5 divide 95/5 - (u + 3)?
False
Let w(x) = 3*x**2 - 4*x - 34. Does 7 divide w(6)?
False
Let h(s) = s**3 + 6*s**2 - s - 6. Let u be h(-5). Let i(c) = 14 + u - 2*c - 3. Is 7 a factor of i(0)?
True
Suppose -4*g - 4*d = -2184, 2*d - 1638 = -3*g - 2*d. Is 78 a factor of g?
True
Suppose -252 = -4*f - 5*f. Suppose -2*q + 4*l = -58, l + 116 = 4*q + f. Does 21 divide q?
True
Suppose 40*o = 2*o + 13224. Does 6 divide o?
True
Let c = 1 + -4. Let r(a) = 25*a + 3. Let k be r(c). Let d = -17 - k. Is 16 a factor of d?
False
Is 15 a factor of -300*3*(-171)/108?
True
Let p(k) = -k + 8. Let n be p(5). Let l = 44 + n. Let b = 13 + l. Is b a multiple of 15?
True
Suppose -2*n + 4*b = -132, 3*n + 7*b = 2*b + 253. Does 4 divide n?
True
Suppose 5*n = 2*n - 5*m + 244, n - 3*m = 100. Let i = -71 + n. Is 8 a factor of i?
False
Suppose 0*v + 8 = -2*v. Let j be ((-944)/40)/(v/10). Suppose -2*y - 3 = -j. Is 14 a factor of y?
True
Suppose -6*h = -3373 - 1913. Is 6 a factor of h?
False
Suppose f + 65 = 282. Does 11 divide f?
False
Is (-160 - -172)*(15 + 1) a multiple of 2?
True
Let p(y) = 886*y**2 - 12*y - 12. Does 35 divide p(-1)?
False
Let o(c) = -16*c + 5. Suppose l = -4*a - 32, -3*a - 4*l - 12 = 12. Let j = 4 + a. Is o(j) a multiple of 15?
False
Suppose -4*w + 2*w - p + 253 = 0, w - 129 = -3*p. Is 6 a factor of w?
True
Let w(q) = 21*q**3 - 2*q**2 - 2*q - 1. Let u be w(-1). Let o = 28 + u. Is 2 a factor of o?
True
Suppose 6*w = w + 20. Suppose 3*s + 1 - 11 = w*n, -2*n - 18 = 5*s. Let j = 29 + s. Is j a multiple of 10?
False
Let k be -10 + (-12)/(-16)*4. Let t = -9 - k. Is 10 a factor of 12 - ((-2 - t) + 2)?
True
Suppose 1266 = 10*m - 884. Is m a multiple of 43?
True
Is 24/18*(-2040)/(-4) a multiple of 34?
True
Let z(x) = -1 - 5 - 10*x**2 - x**3 + 4. Let j be z(-10). Does 2 divide 5*(j + (6 - 3))?
False
Suppose 7 = 4*m - 77. Let a = 6 + m. Is 13 a factor of a?
False
Let q(r) = 38*r + 4984. Is q(0) a multiple of 28?
True
Suppose -6*g + 78 = -66. Is 6 a factor of g?
True
Let y(t) = -t**2 + 15*t - 15. Is 2 a factor of y(12)?
False
Let b be (4/(-10))/((-2)/40). Let h = 15 + -9. Let m = h + b. Is m a multiple of 7?
True
Let w(p) = -4*p + 2. Let c be w(12). Let o = c - -72. Does 7 divide o?
False
Let m(k) = k**3 + 12*k**2 - 16*k + 11. Let x be m(-13). Let s = x + -38. Is 6 a factor of s?
True
Let s(r) = -2*r + 32. Let m be s(15). Suppose -m*j + 32 = 10. Does 5 divide j?
False
Is 18 a factor of 56*13 - (-200)/(-25)?
True
Let m be (-70)/(-21) + 2/(-6). Suppose 0 = m*f - 9*f - 12. Is (-16)/(-1 - -3)*f a multiple of 16?
True
Let s(f) = -2 - 2 - 1 + 6. Let j(n) = -5*n + 10. Let g(i) = -4*j(i) + 28*s(i). Is g(4) a multiple of 34?
True
Suppose 0 = -3*f - 2 - 1. Let h(k) = 18*k + 116. Let p be h(-8). Is p/(0 + 0 + f) a multiple of 12?
False
Suppose -4*d = 5*b - 821, 4*b - 664 = -2*d + 6*d. Let z be (0/(-2 - 0))/((-17)/17). Suppose z = 5*s - 0*s - b. Does 9 divide s?
False
Suppose 169*h = 171*h - 800. Let c = h + -244. Is c a multiple of 38?
False
Is (2*40/24)/(2/138) a multiple of 58?
False
Let g be (-12)/(-5) - 6/(-10). Suppose 2*m = -2*m + 4*h + 236, -m + g*h + 59 = 0. Is 16 a factor of m?
False
Suppose -3*m + 11605 = 5*h, -15172 = -5*h + 4*m - 3602. Is 16 a factor of h?
False
Suppose 0 = 2*v, v = -z - 2*z + 129. Is 4 a factor of z?
False
Suppose 3 = -6*x + 7*x. Suppose 4*g - 157 - 63 = -x*m, -5*m + 332 = -2*g. Does 17 divide m?
True
Let x(j) = j**3 - 5*j**2 + j - 1. Let f be x(5). Suppose 1 + f = o. Does 20 divide -8*o/((-10)/9)?
False
Let f = 23 + -19. Suppose 5*t + f*r - 73 = 1003, r - 4 = 0. Is t a multiple of 17?
False
Let q be (-2)/6 + (-271)/(-3). Suppose 18*o - 21*o + q = 0. Does 5 divide o?
True
Suppose 4*u - 364 = -4*m + 2*u, -94 = -m - 2*u. Does 15 divide ((-6)/(-1))/(6/m)?
True
Suppose -140 = -5*c + 2*k, -c + 103 = 2*c - 5*k. Is c a multiple of 6?
False
Suppose q - 512 = -5*x - 2*q, 3*q = 12. Suppose 7*z - x = 2*z. Does 10 divide z?
True
Let a = 721 + -303. Does 22 divide a?
True
Let u(m) = -m**3 + 98. Let c be u(0). Let z be c/34 - (-22)/187. Suppose -w = z*w - 12, 57 = 3*a - 2*w. Is a a multiple of 4?
False
Suppose 5*k = 10, -4*q + q - k = -1058. Does 22 divide q?
True
Let p(x) be the first derivative of -x**4/4 - 7*x**3/3 + x**2 + 12*x + 5. Let i be (-2)/15 - 590/75. Is 11 a factor of p(i)?
False
Let j(v) = v**2 + 16*v + 7. Let q(x) = x**2 + 15*x + 8. Let y(s) = -6*j(s) + 7*q(s). Let u be y(-7). Suppose l - 38 - 18 = u. Is l a multiple of 30?
False
Suppose 3*u - 2018 = -5*d + u, -2*d = -3*u - 792. Is 20 a factor of d?
False
Let b = 155 - 152. Is 19 a factor of 869/b - ((-28)/12 - -2)?
False
Suppose -136*b = -31*b - 117285. Does 24 divide b?
False
Suppose -3 = -2*z + 3*z, 5*x - z + 77 = 0. Is 11 a factor of (-48)/x*(-25)/(-3)?
False
Suppose 3*d + 0*d = -3*p + 153, -2*p = 5*d - 240. Let m = d + 18. Does 8 divide m?
True
Suppose 2*q + 2*p + 2*p = 0, 4*p = 0. Suppose q = -5*u - 2*u. Suppose 5*t - 5 = 0, -i + 6*t - t + 55 = u. Is i a multiple of 15?
True
Let v(u) = 2*u**2 + 2*u - 2. Let b = -58 - -55. Is v(b) a multiple of 10?
True
Let g be (-28)/(-3) - 14/(-21). Suppose -o = o - 3*w - g, 5 = o + 3*w. Suppose o*a + c = -c + 90, -2*a + 36 = -4*c. Does 6 divide a?
True
Suppose 4*p + 3*h = 14, 0*h + 6 = p + 2*h. Suppose 4*t - p*v + 14 - 92 = 0, t + 3*v = 37. Is 22 a factor of t?
True
Suppose 27*d - 90 = 18*d. Suppose 3*f + d = 3*y + 292, 4*f + 4*y = 368. Is 7 a factor of f?
False
Suppose 0 = -w + 2*w - 35. Suppose -4*f - 50 = 2*j, 0 = 3*f + 2*f - 3*j + w. Let x = -4 - f. Is x a multiple of 6?
True
Suppose -5*p + 77 = 4*f, 2*f - 33 = -4*p + 7. Is 6 a factor of f?
True
Let q be ((-6)/2)/(6/(-20)). Suppose -99 + 97 = 2*h. Is 22 a factor of (q/6)/(h/(-18))?
False
Suppose 4*g = 2*d - 18, -4 = g - 3*d + 3. Let j(a) = 3*a**2 - 10*a - 29. Is j(g) a multiple of 3?
False
Let s(h) = -h**2 + 2*h + 1. Let q be s(3). Let j be 2*((-75)/q - 1). Suppose -27 = -5*w + j. Is 11 a factor of w?
False
Suppose -3*a = -4*d - 333, 0*d - d = a - 111. Let y be a/9 - (-2)/3. Let g = y - 8. Is g a multiple of 5?
True
Let k = 124 - 72. Is k a multiple of 13?
True
Let x(i) = -i**2 + 26*i - 54. Is x(18) a multiple of 8?
False
Suppose 967 - 158 = n. Suppose 0 = 4*l - 8, 2*l = 3*x - n + 150. Let r = x + -158. Does 29 divide r?
False
Suppose -89 = m - 82. Let i(h) = -2*h**3 - 12*h**2 + 10*h - 3. Does 5 divide i(m)?
True
Suppose 0 = -3*s - x - 11, 3*x = 13*s - 17*s - 8. Does 17 divide 1*s/(30/(-342))?
False
Suppose 1301 = 2*t - 3*j, t + j = -302 + 940. Is t a multiple of 38?
False
Let r(d) = -d - 3. Let q be r(-5). Let w = 1 - -1. Suppose -w*s - 2*s = -x + 50, 136 = 3*x + q*s. Is x a multiple of 23?
True
Suppose 2 = -5*h + 6*h. Suppose 3*k - 2*j = j + 342, h*k = -j + 228. Does 22 divide k?
False
Does 7 divide 172 - (1 - 5 - (-3 - -2))?
True
Let f = 854 + -360. Is 13 a factor of f?
True
Let h(i) = 8*i - 29. Let q be h(15). Let b = -63 + q. Is 14 a factor of b?
True
Let d be (18/(-21))/((-4)/(-56)). Let t = -31 - d. Let h = 49 + t. Does 10 divide h?
True
Let f = -339 - -444. Is 35 a factor of f?
True
Suppose 2*m - 2*r = 3278, -m + 1641 = -19*r + 16*r. Is m a multiple of 21?
True
Suppose b + 12 = -3*b. Let w = b - -26. Does 3 divide w?
False
Suppose 4*q = 32 + 96. Does 32 divide q?
True
Let w be 2/21 - 1565/(-105). Suppose -5*f - 137 = -2*k, w = 4*f - 7*f. Is k a multiple of 14?
True
Let i = -20 - -43. Let n = -20 + i. Suppose 3*q - 219 = 3*t, 0*t + 231 = n*q + 3*t. Does 16 divide q?
False
Suppose -3*h - 26*b + 871 = -28*b, -5*h + 1439 = 3*b. Is h a multiple of 17?
True
Suppose -200 = 19*q - 11*q. Let i = q + 40. Is 9 a factor of i?
False
Suppose 2*j - 20 = 16. Suppose -2 = 8*r - j. Is 16 a factor of r/4 - 226/(-4)?
False
Suppose -2*p - 23 = -5*f, 3*f = 2*f + 3. Is 4 a factor of (-4 - 2)*(p - 0)?
True
Suppose s = -0*s + 3. Suppose -s + 11 = i. Is i a multiple of 4?
True
Let g be -4 + 2/((-4)/4). Does 17 divide 17/((-9)/36 - g/8)?
True
Let w(d) = -45*d + 5. Let g be w(-3). Suppose -53 + g = k. Does 29 divide k?
True
Let j be 2/(-6)*(-2 + -10). Suppose 23 = j*p - 5. Is 8 a factor of 1 - (p*-4 - -2)?
False
Suppose 4*o + 2*h - 28 + 6 = 0, 3*h - 29 = -5*o. Suppose -2*j 