True
Let j = 245 + -320. Let b = 45 - j. Does 5 divide b?
True
Let f = 192 - 77. Suppose v + 3*p - 6 = -119, 2*p = 3*v + 339. Let y = v + f. Does 2 divide y?
True
Let d = 544 + -544. Suppose d = 8*s - 250 - 806. Is 9 a factor of s?
False
Suppose -4*b = 29*b - 6369. Is 3 a factor of b?
False
Suppose -d + 2*f = -3*d + 1558, 2*f + 770 = d. Let q = 1610 - d. Does 13 divide q?
False
Suppose -33985 - 12314 = -11*f. Is f a multiple of 18?
False
Let o(x) = -6*x**3 + 165*x**2 - 6*x + 15. Let k be o(27). Let i(v) = -2*v**2 + 2*v + 2. Let m be i(-2). Is 51 a factor of ((-12)/m)/(8*6/k)?
True
Let n = 11 + -9. Suppose -k + 2*k - 168 = -2*t, 4*k + n*t - 654 = 0. Is k a multiple of 13?
False
Let o(f) = f + 1. Let n be o(2). Suppose 4*j = -n*r + 1825, -2 - 13 = 3*j. Suppose -4*h = -3*b - r, 4*h + 2*b + 105 - 695 = 0. Does 25 divide h?
True
Let x(k) = -16*k + 123. Let m(s) = -s**2 + 73. Let g be m(9). Does 18 divide x(g)?
False
Suppose -17*c + 63 + 175 = 0. Suppose -68 = -c*m - 12. Suppose 1344 = 4*s + m*s. Is s a multiple of 24?
True
Does 12 divide (48/(-9))/(4 - (-17406)/(-4347))?
False
Suppose 8*r = -189 - 75. Suppose -8 = -p - 5. Does 5 divide (p - r)*(-2)/(-3)?
False
Let i(h) be the third derivative of 16*h**5/15 - h**3/6 + 12*h**2. Suppose u + 2*v = -3, 2*u - v + 7 = 6. Does 14 divide i(u)?
False
Let v = -1096 + 1238. Does 2 divide v?
True
Suppose -177 = 3*m - 441. Is 37 a factor of 22/m + (-6518)/(-8)?
False
Suppose -1010 = -5*u - s - 0*s, 4*u = -2*s + 808. Let d = u - -53. Is 15 a factor of d?
True
Let g = 12490 - 1996. Does 66 divide g?
True
Let r(v) = 1515*v**3 - 7*v**2 + 24*v - 21. Is r(1) even?
False
Is (1 + -2 - -398) + -211 + 213 a multiple of 10?
False
Suppose 0 = 4*y + 21 - 189. Let j be (y/(-4 + 3))/(-1). Suppose 50 = 2*u + 5*v, 0 = 4*u + 2*v - j - 26. Does 5 divide u?
True
Suppose 4*i = 3*z - 23529, 5*i - 2572 - 13091 = -2*z. Does 14 divide z?
False
Is 11 a factor of 47 - -6312 - (-4 - -16)?
True
Let b = -10127 + 10353. Is b a multiple of 16?
False
Suppose 89*d - 1082 - 31314 = 0. Is d a multiple of 23?
False
Suppose -3*b = d - 17 + 3, 3*d = 5*b. Suppose i = -3*y + 20, -4*i + 32 = -3*y - b. Suppose 13*n - i*n = 50. Is 6 a factor of n?
False
Is 9 a factor of 17/((-102)/(-17496)) - (-12 - -21)?
True
Let c(b) = -b**3 + 32*b**2 - 55*b - 2. Let y be c(30). Suppose -133*z = -y*z + 11985. Does 20 divide z?
False
Suppose 0 = h - 2*i - 158, -5*h + 5*i + 804 = 2*i. Suppose 0 = -2*w, -l + 4*w + 132 = l. Let v = h - l. Is v a multiple of 32?
True
Let o(w) = w**3 + 4*w**2 + 2. Let l = -25 + 21. Let d be o(l). Suppose 32 = d*j - 50. Is j a multiple of 30?
False
Let s(c) = 16*c**2 - 6*c - 14. Let l be s(-4). Suppose 0 = -9*j + l + 166. Is 16 a factor of j?
True
Suppose 0 = -u + 2, 4*p + 1258 = u - 0*u. Let x = -210 - p. Is 5 a factor of x?
False
Suppose -4 = 11*y - 37. Is (-109 - -1)/2*(-12)/y a multiple of 9?
True
Suppose 0*v + 16 = 4*v. Suppose 9*h = v*h - 5*c + 40, -5*h = c - 24. Suppose 550 - 14 = h*b. Does 11 divide b?
False
Suppose -3*v - 21*v = -264. Suppose v*j = 6*j - 3*b + 680, 3*b - 136 = -j. Is j a multiple of 11?
False
Let c(g) = 2*g**3 - g**2 - 4*g + 3. Let v(w) = -5*w + 7*w**2 - 13 - 3*w - 2*w + w**3. Let b be v(-8). Is 9 a factor of c(b)?
True
Suppose 3*s = 4*x - 10, -2*x + 0*s + 2*s = -4. Suppose -x*r + 312 = -r. Is r a multiple of 13?
True
Let i(f) = -11*f**3 - 2*f - 14. Let g(b) = -6*b**3 - b - 8. Let n(s) = 5*g(s) - 3*i(s). Suppose 7*o = 2*o + 10. Is 3 a factor of n(o)?
False
Let z be (-11249)/4 + 11/44. Let d be z/(-12) + 2/(-6). Is (4/3)/(2/d) a multiple of 13?
True
Let s(t) = 11*t**2 + 9*t - 83. Let m(c) = 10*c**2 + 8*c - 83. Let x(u) = -2*m(u) + 3*s(u). Is 93 a factor of x(8)?
True
Let v = -437 - -4531. Is 29 a factor of v?
False
Suppose 4*x = 2*z - 74976, -2*x = z - 15774 - 21738. Does 125 divide z?
True
Let j = 56948 + -34688. Is j a multiple of 210?
True
Let z(f) = -23*f - 17. Let r be z(-4). Suppose -s = k - r, s - 50 = -4*k + 8*k. Is 9 a factor of s?
False
Let c = -1776 + 3264. Suppose 5*i - c = -4*x, 0*x = 3*x + 3*i - 1113. Does 37 divide x?
False
Suppose -17*o - 96*o + 240351 = 0. Is 11 a factor of o?
False
Let i(f) = -5*f - 7. Let u be i(-2). Let s be 0*u/6 - (2 - -2). Is 16 a factor of s/(((-15)/(-72))/(-5))?
True
Let s(f) = 22*f - 17. Let c = -19 + 27. Let h be s(c). Suppose 0 = -4*o + u + h, -4*o + 2*u + 154 = -0*u. Is 5 a factor of o?
False
Suppose 0 = -8*d + 6*d - 4*o + 60, -2*o = 3*d - 78. Suppose 0*q = -5*q + 25. Is ((d/15)/1)/(1/q) even?
True
Let a be (-2 + -2 - -1) + (637 - 1). Suppose 2*t - 2 = 0, -4*z + 3*t = -0*z - a. Suppose 0 = 2*q - z + 47. Is 14 a factor of q?
True
Does 5 divide 17411/8 + 312/(-832)?
False
Let w = 15575 - 5396. Is w a multiple of 117?
True
Let c(g) = g**3 + g**2 - 30*g + 1359. Is c(0) a multiple of 6?
False
Suppose -2*q - 9 = -5*q. Suppose 0 = -3*i - q - 3. Is (-3)/i + 393/6 a multiple of 14?
False
Let a(i) = -2012*i**3 + i**2 - 2*i - 1. Let d be a(-1). Does 30 divide (-27)/(-45) + d/10*1?
False
Let q = -14339 + 15815. Is q a multiple of 36?
True
Let q(f) = -13*f + 129. Let u be q(-5). Let c = 492 - u. Does 35 divide c?
False
Suppose 69*s - 5*f - 24056 = 68*s, 24053 = s - 2*f. Is s a multiple of 13?
False
Let h(v) = 45*v - 15. Let g(u) = -u**3 + 6*u**2 - 5*u + 7. Let y be g(4). Is h(y) a multiple of 28?
True
Let j(d) = 123*d**2 + 47*d - 12. Is 7 a factor of j(9)?
True
Suppose 0 = -3*i + 63*k - 60*k + 11874, 3*i - 11878 = 5*k. Is 23 a factor of i?
True
Let b(x) = 2*x**3 - 26*x**2 - 12*x + 28. Let z be b(13). Is (-32)/z - (-575)/4 a multiple of 18?
True
Suppose 18*f = -13 + 103. Suppose 1171 = f*i - 909. Is i a multiple of 16?
True
Let i(p) = 228*p**2 - 530*p + 2. Is i(3) a multiple of 72?
False
Suppose 0 = -5554*l + 5560*l - 12960. Is 54 a factor of l?
True
Let p = 1800 - 264. Suppose 17*j - 15*j - p = 0. Is j a multiple of 15?
False
Let r(z) = -29*z - 61. Let l be r(-3). Let t = 45 + l. Is 6 a factor of t?
False
Suppose 489509 = -116*l + 3*l + 1661997. Is 113 a factor of l?
False
Let h(q) = q**2 + 26*q + 15. Let u be h(-26). Let o = 67 + -68. Is 5 a factor of u/(3/o) - -29?
False
Let p(o) = 3*o**2 - 10*o - 18. Let r be p(-6). Suppose -4*f = -3*f - r. Does 10 divide f?
True
Let n(a) = 4*a**2 + 5*a - 10. Let s be n(4). Let z = 86 - 14. Suppose 0 = z*d - s*d + 260. Is 13 a factor of d?
True
Let a(t) = -t**2 - 26*t + 26. Suppose -27*l + 132 = -33*l. Is 57 a factor of a(l)?
True
Suppose 2*f = -10*f - 3120. Let h = f - -390. Is 17 a factor of h?
False
Let x = 52 - 50. Suppose 2*v + w = -5, x - 7 = -3*v + w. Let i(h) = -3*h**2 + 51. Is 8 a factor of i(v)?
False
Suppose -z + 2116 = 100. Suppose -z = -6*j - 504. Is 13 a factor of (j/10)/((-18)/(-15) - 1)?
False
Let w(z) be the first derivative of -13*z**5/24 + z**4/8 + 4*z**3/3 + 5. Let n(h) be the third derivative of w(h). Does 7 divide n(-1)?
False
Let m = -500 - -1490. Is m a multiple of 6?
True
Let x be 5/(-1) + -1 + -357. Let l = x - -618. Does 9 divide l?
False
Is (-19580356)/(-445) + 16/(-20) a multiple of 110?
True
Let x be (-1)/(-3)*(10 + -16) + 5. Suppose 19*v - 628 = 15*v - 5*t, v + x*t = 150. Does 15 divide v?
False
Let f = 72 + -30. Is 4/14 - (-1500)/f a multiple of 18?
True
Let g(i) = 8*i + 40. Let d(b) = b**2 + 4*b. Let k be d(0). Let o be g(k). Is 12 a factor of 3 + o + 8 + -3?
True
Is 31/((-2976)/(-146040)) + ((-10)/8)/5 a multiple of 10?
False
Suppose 3*s = 5*z - 27602, -4*z = 3593*s - 3598*s - 22092. Is z a multiple of 4?
False
Suppose -77*c + 87120 = 37*c - 26*c. Is c a multiple of 18?
True
Let z(q) = -q**2 + 15*q - 3. Let b be z(15). Let p be 0/(5 - 0) - b. Does 33 divide 1 - 2/(p - (-394)/(-130))?
True
Is 5 a factor of 35/(-1 + -1 - (546/(-133))/2)?
True
Let h = 2594 - -1187. Is 33 a factor of h?
False
Suppose -j - 3*d = -4072, -4*j + 18*d = 15*d - 16243. Is 10 a factor of j?
False
Let h(k) = -29*k + 2. Suppose -g = -x - 2*x + 9, 3*x = 2*g + 6. Suppose -x*u - l = 5, 0 = 3*u + 2*u - 4*l + 22. Is 10 a factor of h(u)?
True
Let h be 1/(-4 + 2295/575). Let t = 145 + h. Is t a multiple of 6?
True
Suppose 4*l + 4*v = -8, 4*v = 2*l + 3 - 11. Suppose 3686 = 4*r - l*s + 3*s, 0 = 2*s - 4. Is r a multiple of 20?
True
Let a = -5771 - -10659. Is a a multiple of 59?
False
Suppose 2*x - 124 = 3*z + 270, -2*z - 2*x = 276. Let w = -134 - z. Su