
True
Suppose 202 = -92*p + 93*p. Does 4 divide p?
False
Suppose -12 = -2*c + 4*c + 4*j, -3*c = 4*j + 8. Suppose 0 = -c*x + 60 + 80. Does 7 divide x?
True
Let g = 93 - 45. Suppose 0*y + 3 = y. Suppose -y*s + g = -s. Does 24 divide s?
True
Let a(r) = -5*r + 21. Let d(u) = u - 5. Let x(i) = 4*a(i) + 18*d(i). Let n be x(-6). Is 7 a factor of 43 - (n - (-3)/(-1))?
False
Let j(n) = -9*n + 3. Let f be j(1). Is 8 a factor of (8/f)/(1/(-18))?
True
Suppose -b = 6 - 8. Suppose s - 120 = -b*s. Is 4 a factor of s?
True
Let j = 615 - 115. Does 25 divide j?
True
Let k = -736 + 1196. Does 30 divide k?
False
Is 7 + 822/6 + 4 a multiple of 11?
False
Suppose -150 + 44 = -2*d. Suppose 2*q - d = 13. Let r = -19 + q. Is 4 a factor of r?
False
Let a(h) = -10*h**3 - 14*h**2 - 17*h - 54. Does 12 divide a(-6)?
True
Suppose 3*f + 2 = -19. Let o = f + 26. Is o a multiple of 10?
False
Suppose 0 = 5*p + w - 156, 0 = -4*p + 9*p + 2*w - 152. Is 3 a factor of ((-3)/4)/((-8)/p)?
True
Suppose 0 = -3*j + 3*c + 8535, -17*c + 16*c + 14255 = 5*j. Is j a multiple of 30?
True
Let h = 684 + -20. Does 16 divide h?
False
Let d = 419 + 705. Is d a multiple of 16?
False
Let y(j) = -2*j**2 - 29*j - 30. Is y(-12) a multiple of 5?
True
Suppose 11*t - 5421 = 4666. Is 11 a factor of t?
False
Suppose 42 + 162 = 6*u. Suppose u = 7*j - 15. Is j a multiple of 7?
True
Let v be ((-45)/12 - -3)*-4. Let u be (12/(-2))/3 - v. Is 6 a factor of 8 - (u - (-2)/2)?
True
Let h(m) = 2*m**2 + 4*m - 18. Let d be h(6). Let a = d + 34. Is a a multiple of 13?
False
Let x = -21 + 89. Let r = -47 + x. Let v = 32 + r. Is 19 a factor of v?
False
Let o(b) = -b**2 + 6*b - 5. Let m be o(4). Let x = -3 + m. Suppose x = -3*l + 2*l + 42. Does 14 divide l?
True
Let s(h) = -3 - h - 15 + 32. Is s(-7) a multiple of 2?
False
Let n(g) be the second derivative of g**5/40 + 5*g**4/24 - g**3/3 + 6*g. Let t(a) be the second derivative of n(a). Is t(5) a multiple of 7?
False
Suppose 0 = 3*g + 4*m - 18, -5*g + m = -17 - 13. Suppose -4*x = c + g + 11, 5*x + 2*c + 25 = 0. Is 13 a factor of 358/8 + x/(-12)?
False
Let f(o) = 3*o + 3. Let b be f(4). Suppose -962 = -5*t - 4*p, 4*p - b + 3 = 0. Does 12 divide t?
False
Suppose 5*o = -10 + 35. Let d be 3 + -3 + (o - -2). Suppose d = -3*n + 76. Is 12 a factor of n?
False
Let v = -89 - -92. Suppose -780 = -v*k - 9*k. Does 5 divide k?
True
Let m(g) = -2*g + 46 + 13 - g**2 + 32. Suppose 0 = -19*z - 25*z + 12*z. Is m(z) a multiple of 13?
True
Let n = -2736 - -4800. Does 24 divide n?
True
Let a = 49 - 28. Let h(n) = -a*n + 21*n + 78*n**2 + 1. Is h(1) a multiple of 22?
False
Let r be 6 - (12/4 - 3). Suppose -r*b + 7*b - 27 = 0. Is 4 a factor of b?
False
Suppose 2*p - 2 = -30. Let q be 35/15*(-6)/(-1). Let w = q - p. Does 14 divide w?
True
Let p be ((-6)/(-8))/(11/88). Let v be (0 + -6)/(p/(-4)). Suppose 6*r - u = v*r + 32, -4*u = 2*r - 52. Is 18 a factor of r?
True
Suppose 0 = -3*z + 3 + 3. Suppose 0 = k + z*k - 6. Suppose -2*i - k*v + 95 = -45, -200 = -3*i - v. Is 14 a factor of i?
False
Let v = 147 - -165. Is v a multiple of 32?
False
Let c(b) = b**3 + 16*b**2 + b + 3. Let t be c(-16). Let m = t + 29. Does 8 divide m?
True
Suppose -2*w - 2*w = -4*u - 3764, -2*w + 3*u = -1879. Is w a multiple of 8?
True
Let y be (15/10)/((-1)/(-6)). Let o(u) be the third derivative of u**5/60 - u**4/8 - 2*u**3 + 8*u**2. Is 14 a factor of o(y)?
True
Let o(w) = 5*w**2 - 2*w + 13. Let s be o(-4). Let h = s - 50. Is h a multiple of 6?
False
Suppose 0 = 50*n - 48*n - 238. Let i = n - 83. Is i a multiple of 12?
True
Let j(x) = -2*x**3 - 4*x - x + x**3 - 4*x**2 + 4*x. Let l be j(-4). Suppose l*r - 32 = 2*r. Is r a multiple of 16?
True
Let w(b) = 2*b**3 - 3*b**2 + 2*b + 6. Let q be w(6). Suppose 318 = 5*x + 4*n, -6*x + 4*n = -x - q. Is x a multiple of 29?
False
Suppose 15*o - 1363 = -388. Does 13 divide o?
True
Let a(t) = -t**3 - t**2 + t + 1. Let r(l) = -3*l**3 + 3*l**2 + 13*l + 7. Let m(s) = -4*a(s) + r(s). Is 2 a factor of m(-5)?
True
Does 10 divide ((-4)/6)/(13 + (-524061)/40311)?
False
Let t = -2671 + 4966. Is t a multiple of 85?
True
Suppose 298 = -5*l - 1207. Let c = -201 - l. Is c a multiple of 20?
True
Let w be 1 - (0 + -1) - 2. Suppose w = -3*g + 33. Let c = -6 + g. Is c a multiple of 5?
True
Let n = 70 - 41. Let a = -92 + n. Let j = 139 + a. Is j a multiple of 29?
False
Suppose -j - 15 = 4*c, -6*c = 5*j - 2*c + 11. Does 7 divide 3/(j - 46/52)?
False
Suppose 4*z = -3*q + 2*z + 15, -2*q - 3 = -3*z. Is (-157)/(-3) + (-1)/q a multiple of 13?
True
Suppose -3*f = 3*f - 6. Is (17 - 15) + (69 - (0 - f)) a multiple of 8?
True
Let x(a) = -11*a**3 + a**2. Let j be x(-1). Let z = j + -12. Suppose 5*y = z, -2*y + 5*y = l - 67. Is 13 a factor of l?
False
Let z be 224/24*6/4. Suppose -z*h = -811 - 1373. Does 13 divide h?
True
Let a be 88 + 0 + 44/(-11). Let f = 192 - a. Suppose j - 4*j + f = 0. Does 18 divide j?
True
Let t be (-1)/((-1)/1*1). Let m(c) = -25*c**2 - 2*c + 1. Let x be m(t). Let q = x + 52. Is q a multiple of 22?
False
Suppose 0 = -q - q. Suppose q = 2*l + 2*l - 180. Suppose 0 = -r - x + l, -5*x - 195 = 4*r - 9*r. Does 9 divide r?
False
Let r be 2/(-10) - (-666)/30. Let i = 7 - 4. Is 11 a factor of i*r/24*8?
True
Let j be 2/(-9) - 290/(-9). Suppose 34*b = j*b + 390. Is b a multiple of 39?
True
Suppose 14*k = -49 + 119. Is (1 - (-4)/(-3))*(-180)/k a multiple of 12?
True
Suppose -5*j = -3*s - 375, -5*s + 300 = -0*j + 4*j. Is 19 a factor of j?
False
Suppose 191*t = 204*t - 3692. Is t a multiple of 23?
False
Let m = -195 + 374. Does 27 divide m?
False
Let t be -1 - 2/(-4)*6. Suppose -5*z + s + 59 = -2*s, t*z = 5*s + 35. Does 6 divide (-310)/(-25) + (-4)/z?
True
Suppose -3*h - h - 7 = -q, -3*h - 3*q = 9. Does 36 divide h/(-4) + 249/2?
False
Let l be -3 - (-2 + 1 + 1). Let q be l/2*(-12)/(-18). Is 4 + (-3)/q + 34 a multiple of 31?
False
Suppose 3*q + q - 144 = 0. Suppose -2*h - 4*w - 92 = 0, 0 = 3*h + 2*w + q + 122. Is (-6)/(-15) + h/(-35) a multiple of 2?
True
Let m(z) = -166*z + 4. Let i be m(4). Is 33 a factor of i/8*4/(-5)?
True
Suppose -5*i - z + 28 = 0, -2*i = -3*z - 15 - 3. Suppose -2*h = i*o - o - 33, -h + 29 = 5*o. Suppose 44 = o*k + s, 5*k - 5*s - 49 = -s. Does 3 divide k?
True
Suppose -2*o + 3*o = 6. Let t be 15/1 - (o - 3). Suppose 4*g + 8 = 3*w, -5*w + 5*g + 3 + t = 0. Does 4 divide w?
True
Let y(i) be the third derivative of 4*i**5/15 + i**4/6 - i**3 + 9*i**2. Is y(2) a multiple of 33?
True
Let n(y) = y**3 + 21*y**2 - 3*y + 12. Does 15 divide n(9)?
True
Suppose 0*q + 3*q + 369 = 0. Let m = 219 + q. Is m a multiple of 10?
False
Suppose -4*v - v = -20. Suppose -4*g = -v*p - 260, 0*g + 4*p = g - 65. Is g a multiple of 5?
True
Let r be 3/(-4)*(3 - 11). Suppose -r*k + 688 = -470. Is k a multiple of 24?
False
Suppose 0 = 10*s - 22738 - 5112. Is 56 a factor of s?
False
Let u(s) = -2*s - 4*s - 2 + 0*s**2 - 1 + 2*s**2. Let g be u(4). Does 11 divide -1*(g + -3)*-22?
True
Let s = -188 + 390. Is 12 a factor of s?
False
Suppose 620 = 4*m + m. Suppose -m - 91 = -5*r. Does 6 divide r?
False
Suppose -26*q - 854 = -28*q. Is q a multiple of 3?
False
Let q = 103 - 103. Is 12 a factor of (q - (-16)/(-4))*65/(-2)?
False
Let q = 575 - 356. Suppose 0 = 8*h - 1179 + q. Is 30 a factor of h?
True
Suppose 0 = 12*y + 5749 - 17401. Is y a multiple of 2?
False
Suppose 65*c - 4*z - 1744 = 63*c, 2*z - 2656 = -3*c. Is 31 a factor of c?
False
Suppose -107*j = -106*j - 282. Does 21 divide j?
False
Let w be ((-1)/4)/(3/(-84)). Suppose 0 = -5*a + 33 + w. Is 8 a factor of a?
True
Let q(p) = 64*p - 107. Is q(10) a multiple of 41?
True
Suppose -3*y = 3*r - 3, y - 4*r = 10 + 16. Is (y + -11)/((-1)/3) even?
False
Let m(u) = -u**2 + 8*u + 4. Let a be m(7). Suppose -3*t + 1 + a = 0. Suppose 0 = 2*j + 3*s - 76, -2*j - s - t*s + 80 = 0. Is j a multiple of 17?
False
Let x(y) be the first derivative of y**4/4 - 7*y**3/3 - y**2/2 + 3*y + 3. Let l be x(7). Is 13 a factor of (l/8)/(2/(-156))?
True
Let l be ((-16)/(-6))/((-1)/(-3)). Suppose -4*b - 3*f = -0*b - 28, -b = -f. Does 5 divide ((-30)/b)/(l/(-16))?
True
Let u(v) = 2 - 3*v + 0*v + 8*v. Is 21 a factor of u(6)?
False
Is -2 + 0 - 3 - (-85 + 61) a multiple of 19?
True
Suppose q - 9 = -3*j, -12 = 3*j - 7*j + 2*q. Let r(g) = g**j - g + 0*g - 54 - 4*g**2 + 43. Is r(5) a multiple of 8?
False
Suppose 3*t