ltiple of 10?
True
Let g(b) = -9*b - 4. Let h(s) = 17*s + 9. Let j(a) = 5*g(a) + 3*h(a). Let o be j(6). Let y = o - 24. Does 19 divide y?
True
Let k be (-2)/(-2) - 490/(-2). Suppose 3*q + q = h + 502, 0 = 2*q + 2*h - k. Is q a multiple of 14?
False
Let j = 75 + -144. Let b = -13 - j. Does 7 divide b?
True
Let p = -543 - -1925. Does 69 divide p?
False
Suppose 188 - 272 = -4*u. Suppose u*y - 408 = 18*y. Is y a multiple of 18?
False
Let k(h) = -124*h - 1. Let v be k(-1). Let o = -4 + v. Does 34 divide o?
False
Suppose -2*s + 4 + 4 = 0, m + 5*s = 27. Suppose -3*q + q = b - m, -2*b = -6. Is 24 a factor of 2 - (5 - q) - -67?
False
Suppose 4240 = -31*o + 28048. Is 50 a factor of o?
False
Let p be 124/6 - 10/15. Suppose p*r - 204 = 16*r. Does 17 divide r?
True
Let o(i) be the second derivative of -2*i**3/3 + 6*i**2 - 50*i. Is o(-2) a multiple of 5?
True
Let c = 601 + -560. Is c a multiple of 8?
False
Let s(q) = q**3 + 34*q**2 - 40*q - 120. Is 2 a factor of s(-35)?
False
Let s = -5 + -19. Let t = 67 + s. Suppose 4*y - 19 = -2*h + t, -4*y + 5*h + 55 = 0. Is y a multiple of 13?
False
Let f(m) = 3*m**2 - 4*m - 5. Let n be (6 + 2)/(2 - (-5)/(-5)). Does 35 divide f(n)?
False
Let l be 4/(-4) + 3 + 163. Suppose 5*b + 4*o = 150, -o - l - 10 = -5*b. Is 11 a factor of b?
False
Suppose -650 = 30*n - 13760. Is n a multiple of 108?
False
Let g = -497 - -758. Is 6 a factor of g?
False
Let a(r) = -r**2 + 6*r - 3. Let m be a(3). Let h(w) = 2*w**2 - 5*w + 4. Is 7 a factor of h(m)?
False
Is (-27)/36 - ((-2588)/16 - -3) a multiple of 79?
True
Suppose -76*v = -79*v + 1794. Suppose 2*u - v = -162. Is u a multiple of 22?
False
Let i = 29 - -6. Is 12 a factor of (-2 - i)/(-3 - -2)?
False
Let a = 1434 + -1104. Is a a multiple of 7?
False
Suppose -5*t = -t - 52. Let z = t - -12. Is 13 a factor of ((-5)/(-5))/(1/z)?
False
Suppose -78*t + 80*t - 1260 = 0. Does 15 divide t?
True
Is (8/(-20))/(2/(-335)) a multiple of 29?
False
Let p(h) = -3*h - 4*h + 2*h**2 + 3*h + 2 + 0*h**2. Let b be (-1)/(1 + (-4)/3). Is p(b) a multiple of 2?
True
Let j(f) = -5*f**2 + 9*f**2 - f**3 - 4 + 0*f + f + 3*f**2. Let z be j(7). Is z - 1 - -13 - 0 a multiple of 6?
False
Let c(n) = 28*n - 455. Does 10 divide c(39)?
False
Let p be 48 + 1 - (2 - 3). Let o(f) = -f**3 - 7*f**2 + 4*f - 27. Let j be o(-9). Let g = j - p. Is g a multiple of 11?
False
Suppose -10 = 6*x - 8*x. Suppose -x*k + 453 = 63. Does 13 divide k?
True
Let s be (6/(-8))/(4/288*3). Is 5 a factor of 4/18 + -2 + (-500)/s?
False
Let y(k) = -29*k - 5. Let m(b) = -15*b - 3. Let w(c) = 5*m(c) - 3*y(c). Let i be w(1). Let d = 24 - i. Is d a multiple of 3?
True
Let a(v) = -v**3 - 7*v**2 + 7*v - 8. Let w(c) = -c + 3. Let y be w(11). Let m be a(y). Suppose m = -14*u + 10*u + 156. Is u a multiple of 13?
True
Let g(w) = 188*w - 245. Is g(9) a multiple of 23?
False
Let q(v) = v**2 - 3*v - 3. Let h be q(4). Let u be h - (-1 - (-6)/(-3)). Suppose u*o - 7*s = -3*s + 276, 0 = 2*o + 5*s - 110. Is 13 a factor of o?
True
Suppose 5*v + 80 = 250. Let i = 54 - v. Does 10 divide i?
True
Suppose 4*k + 925 = 5*k. Does 14 divide k?
False
Suppose 1 - 13 = -4*i. Let j = 7 - i. Suppose 4*s - j*n - 172 = 0, 0 = -3*s - n + 17 + 100. Is 11 a factor of s?
False
Let o be 3350/26 - 12/(-78). Let t be -3*(2 - (-3 + (-762)/(-9))). Let f = t - o. Is 23 a factor of f?
False
Let n = 386 - 296. Is n a multiple of 10?
True
Let b(p) = p**3 + 7*p**2 + 5*p + 1. Let l be b(-6). Suppose 0 = 3*w - 211 - 44. Suppose l*r = 12*r - w. Is 7 a factor of r?
False
Suppose 7 + 8 = 4*b - r, 2*b - 4*r - 18 = 0. Let v be (-12)/(-78) + 1270/26. Suppose -b*w - 10 = -v. Is 10 a factor of w?
False
Suppose -a + 3*q + 1418 = 0, 2*a = a + q + 1408. Is a a multiple of 13?
False
Suppose 7*c - 24 = 3*c. Let u(z) = -z**2 + 10*z - 21. Let q be u(c). Suppose -q*y + 204 - 12 = 0. Does 16 divide y?
True
Let u be 5/(70/12)*(-63)/(-18). Suppose u*l - o - 151 = -l, -2*o = 3*l - 127. Does 28 divide l?
False
Let n(p) be the second derivative of -p**4/12 + p**3/6 - p**2/2 + 11*p. Let g(q) = 8*q**2 - q + 8. Let r(c) = g(c) + 6*n(c). Is 9 a factor of r(-5)?
True
Let u = 183 + -98. Does 15 divide u?
False
Is 9 + (-186)/(-5)*15 a multiple of 9?
True
Does 5 divide 20*3 - (-3 - 0)?
False
Let q = 23 + -19. Suppose -q = 2*i - 2*s + 2, i - 2*s + 8 = 0. Suppose 21 = -i*d + 5*d. Is 6 a factor of d?
False
Let u(d) = 10*d**2 + 4*d + 2. Let l(q) = -q**2 - 2*q + 7. Let c be l(5). Let w be (c/(-42))/(1/(-3)). Is u(w) a multiple of 17?
True
Let f be 88/(-22)*(1 + 35/(-4)). Let b = f + -3. Is 4 a factor of b?
True
Let d(b) = -129*b + 21. Let s be d(-4). Suppose -s = -6*t + 21. Does 16 divide t?
False
Let r be 0 - 1 - (6 + -138). Let f = -91 + r. Suppose -20 = -2*t + f. Does 10 divide t?
True
Let p(h) = 53*h**2 + 99*h + 7. Does 91 divide p(-7)?
True
Let y = -1691 + 2141. Does 3 divide y?
True
Let s be (-16560)/(-64) - (-1)/4. Suppose -5*u = 2*a - 449, -2*a + s = 2*u + 83. Is 28 a factor of u?
False
Is 10 a factor of 6 + ((-30)/(-20))/(6/5308)?
False
Let r(b) = -2*b - 32. Let s be r(-14). Is 652/28 - s/(-14) a multiple of 13?
False
Let v be (-33)/(-66) + (-626)/(-4). Let i = -58 + v. Does 9 divide i?
True
Let t = -1 - -4. Suppose a = t*g + 12, -6 = -a + 2*g + 1. Is 9 a factor of 3 + a + 0 - -22?
False
Let h = -77 + -29. Let b = 282 + h. Suppose -5*u - 2*x = -0*u - b, 4*u = 5*x + 121. Does 9 divide u?
False
Suppose 4*p - l + 95 = 0, -2*p - 4*l = -0*p + 52. Is 12 a factor of (-18)/(-20)*p/(-18)*50?
True
Let y = -43 + 46. Suppose -52 = -y*q + 2*p, q = -3*q - 2*p + 88. Is q a multiple of 8?
False
Suppose 3*s - 2*g - 39 = 0, -3*s = 2*g - 0*g - 27. Is 5 a factor of s?
False
Is 14 a factor of (((-168)/5)/(-14))/((-1)/(-245))?
True
Let f = -37 - -28. Suppose -4*p = 135 - 3. Let i = f - p. Is i a multiple of 8?
True
Let d be -1*(-6)/12 - 2/4. Suppose 2*a - 42 - 86 = d. Is a a multiple of 16?
True
Suppose 2*f + 4*d - 3*d - 63 = 0, 2*f + 3*d = 53. Is 6 a factor of f?
False
Let l = -50 - -27. Let o = l - -43. Is o a multiple of 10?
True
Suppose 5*x = -5*a + 35, 0*x + 10 = -5*x + 4*a. Suppose l + 4*b - 54 = -0*b, x*l = 5*b + 121. Is l a multiple of 15?
False
Let o(m) = -61*m + 595. Does 28 divide o(-6)?
False
Suppose -20 = -4*t - 4*w, 2*w + 29 = 4*t - 3*w. Suppose -5*x + t*x = 55. Is 14 a factor of x?
False
Suppose 26*l - 23*l = -2*j + 5641, l - 1897 = -4*j. Is 46 a factor of l?
False
Is 17 a factor of (-1 - -2)*((-88)/22 + 208)?
True
Let z = 99 - -456. Does 37 divide z?
True
Suppose -25*a = -28*a + 51. Suppose -21*b + 332 = -a*b. Is b a multiple of 10?
False
Let d = 7832 - 3578. Is 61 a factor of d?
False
Let c(k) = -k**3 + 2*k**2 - 2*k + 2. Let p be c(2). Suppose -4*x - 1094 = 2*i, 4*x + 5*i + 1212 = 115. Does 9 divide x/(-28) + p/(-8)?
False
Suppose 2*k = -5*k + 5*k. Suppose u = -l - k*u + 19, -4*l + u = -71. Is 6 a factor of l?
True
Suppose -2*q - 8*c + 1095 = -9*c, 2*q + 5*c - 1113 = 0. Is 9 a factor of q?
True
Let m(b) = -64*b - 8. Is m(-11) a multiple of 24?
True
Suppose 6*h = u + 2*h - 88, 0 = -2*u + 3*h + 166. Suppose 3*r + 2 - u = 0. Does 13 divide r?
True
Suppose 5*m + 13 = -2*s + 3*s, 5*s = -m + 13. Let x = 7 - 0. Let t = s + x. Is t a multiple of 3?
False
Let o(g) = 18*g**3 + 2*g**2 - 18*g + 24. Is o(4) a multiple of 47?
False
Let m(d) = 27*d**2 + 2*d + 4. Is 18 a factor of m(-2)?
True
Suppose -10*t = -12*t - s + 17, 4*t = -5*s + 37. Suppose 0 = 4*q + t*q - 684. Does 4 divide q?
False
Let m(s) = -55*s + 11. Let n be m(-3). Let i = n + -21. Does 44 divide i?
False
Let f(m) = m + 12. Let q be f(-8). Let b(p) = 5*p - 5*p + q*p - 2. Does 9 divide b(14)?
True
Suppose -2*s + 19 - 7 = 0. Is 13 a factor of ((-2)/s)/((-8)/7944)?
False
Is 32 a factor of (6/(-4))/((-27)/2880)?
True
Let y(u) = -2*u**2 + 33*u - 96. Does 17 divide y(10)?
True
Suppose -p + 19 = -2*u + 103, 126 = 3*u + p. Suppose -5*r = -8*r + u. Is 12 a factor of r?
False
Let x = 629 - 195. Is x a multiple of 4?
False
Suppose -5*b - 88 = -3*b. Is (-1)/1*(b - -5) a multiple of 7?
False
Let z(v) = -v + 63. Is 3 a factor of z(24)?
True
Let n be 3 - ((4 - 6) + 0). Suppose 0 = -n*p + 3*p + 60. Does 30 divide p?
True
Let y = 9 + -5. Suppose -y*a = -a. Suppose 3*x + a*x - 72 = 0. Is x a multiple of 6?
True
Suppose 14*v + 8337 = 35*v. Is 5 a factor of v?
False
Let q(p) = 12*p**2 + 46*p + 8. Do