= -5*j + 1335. Is 4 a factor of j?
False
Let j be 7/(-8)*2*3*4. Let y(t) = t**2 - 5*t - 7. Let r be y(9). Let d = r + j. Is 4 a factor of d?
True
Suppose -271 = -3*d + 41. Is d a multiple of 5?
False
Let y = 44 + -41. Let h(b) = 2 + 1 + b**3 + 3*b**2 + 0*b**2. Does 19 divide h(y)?
True
Suppose 3*t + 20 = -t. Is 36 a factor of ((-3)/t - 1)*-455?
False
Let s = -3220 + 4546. Is s a multiple of 33?
False
Let f be 18/45 + 38/5. Let m = -7 + f. Is (1 + 14 - 0)/m a multiple of 9?
False
Let n(k) = 2*k**3 - 10*k**2 + 4*k + 4. Let z be n(10). Is 1 - 15/6 - z/(-8) a multiple of 30?
False
Suppose o - 18 = -4*i, 2*i - o + 23 = 7*i. Suppose 244 = i*f - 6. Suppose -3*h + f = -61. Is 14 a factor of h?
False
Suppose 5 = -4*r + 17. Suppose 0 = -4*v - 0*g - 3*g + 239, 0 = r*g - 3. Suppose -2*w + v = -73. Is w a multiple of 11?
True
Let b be (-2)/(-10) - 16/(-20). Is 9 a factor of (1 - b - 2) + (15 - -8)?
False
Let c(u) = -2*u**2 + 36*u + 95. Does 45 divide c(13)?
True
Let j(x) = -4*x + 33. Let k be j(7). Let u(g) be the second derivative of 5*g**3/6 + g**2/2 + g. Is u(k) a multiple of 12?
False
Suppose -40 = -c + 15. Suppose j + 3*p = -53, -p = -3*j - c - 54. Let r = j + 74. Does 9 divide r?
True
Let r(j) = 2*j**3 + j**2 - 3. Let m be (((-24)/(-9))/4)/(2/9). Does 10 divide r(m)?
True
Let z = -194 - -398. Is 12 a factor of z?
True
Suppose 3*l + 5*f - 2781 = 0, 4*l + 35*f = 31*f + 3708. Does 12 divide l?
False
Let g = 248 + -215. Is g a multiple of 4?
False
Suppose -4*y + 3*t + 5617 = 0, -t - 1876 = -2*y + 935. Is 16 a factor of y?
True
Let b = 53 - 53. Suppose b*l + 3*x = -4*l + 414, 5*x - 10 = 0. Is 17 a factor of l?
True
Let a(y) = -y - 2. Let b be a(-2). Suppose b*d - 5*g = 2*d + 5, 0 = -g + 1. Does 10 divide (-2)/d - (-196)/10?
True
Suppose -346 - 53 = -21*p. Suppose 3*d + 37 = 4*d. Let h = d - p. Is h a multiple of 6?
True
Suppose 5*a - 4*c - 19 = 0, 2*c + 33 = 3*a + 5*c. Suppose 0 = -3*i + a*i - 348. Does 12 divide i?
False
Does 4 divide 2160/99 + (-8)/(-44)?
False
Suppose 9*d + 9 = 6*d. Let u be -39 - (4 - 4) - d. Let s = 75 + u. Does 13 divide s?
True
Let b be ((-12)/(-16))/(2/8). Suppose 3*a - b*g = 24, -3*g + 3 = 2*a + 2. Suppose -c - 3*m + 69 = 0, a*c - m - 290 = -5*m. Is 17 a factor of c?
False
Let x(w) = w**2 + 7. Let g be x(0). Let c = 1 - g. Is 16 a factor of c + 0 + 4 + 78?
False
Let b = -450 - -1745. Is 37 a factor of b?
True
Let o be (-1 - 2) + -34 + 2. Let y = o + -1. Is (-3)/(y/16)*12 a multiple of 9?
False
Let c(f) = 2*f**3 - 10*f**2 - 21*f + 38. Is 49 a factor of c(10)?
False
Let r(w) = -68*w + 14. Does 7 divide r(-3)?
False
Is (8/3 - 2)/(42/5481) a multiple of 9?
False
Let d = -736 + 1104. Suppose 0*w - d = -2*w. Suppose 4*c - 56 = w. Is c a multiple of 30?
True
Let v = -637 - -425. Let w = v - -119. Is w/(-2) + (-2)/(-4) a multiple of 25?
False
Let o = 2 - 1. Suppose 2*p = 6*p + 16, 4*k = -p + 12. Does 11 divide o - (-40 - (4 - k))?
False
Let z(l) = -l**3 - 7*l**2 - l + 14. Let r be z(-6). Let m be 3/(-4) - 1740/r. Is 9 a factor of 1/(1*3/m)?
True
Let i(m) = 7*m**3 - 4*m**2 + 4*m - 4. Does 12 divide i(4)?
True
Suppose v + 347 = 5*m, -v + 39 = -m + 110. Is 10 a factor of 4/8 + m/6?
False
Let l be ((-102)/2)/(-3) - (3 - -1). Suppose -l = g - 194. Does 25 divide g?
False
Suppose -9611 = -40*p + 5669. Does 17 divide p?
False
Let o(q) = q**3 - 11*q**2 - 12*q + 2. Let j be o(12). Suppose 2*d = -j*a + 168, 0 = -d + 2*d - 2. Is a a multiple of 16?
False
Let j(k) = -67*k + 12. Let u be j(4). Let y = -157 - u. Is 19 a factor of y?
False
Suppose -t = 0, -4*x + 34 = 3*t - 70. Suppose -x*p - 333 = -29*p. Does 37 divide p?
True
Is ((48/(-15))/(-8))/(5/8900) a multiple of 44?
False
Let c(p) = -p + 2. Let i be c(2). Suppose 10 = 5*r - 5*b, 2*r + 5*b - 11 + 0 = i. Does 4 divide ((-3)/r)/((-3)/12)?
True
Let u(f) = -11*f**3 + 35*f**2 - 35*f + 4. Let i(g) = 7*g**3 - 23*g**2 + 23*g - 3. Let k(s) = -8*i(s) - 5*u(s). Let j be k(8). Does 10 divide 4 - (j/(-1) + -30)?
True
Let t(o) = 5*o**2 - 3*o + 16. Let l be t(4). Let q = 125 - l. Does 10 divide q?
False
Does 12 divide 67 + -62 - 3/((-3)/2923)?
True
Let u(q) = q**3 + q**2 - q - 1. Let d(k) = -k**3 + 12*k**2 + k - 12. Let p be d(12). Let y be u(p). Let r(l) = -27*l + 3. Is r(y) a multiple of 15?
True
Let b = 119 + -191. Let j = -7 - b. Is 4 a factor of j?
False
Does 12 divide (2*(-1068)/(-40))/(12/60)?
False
Let p(d) = -6*d**3 - 2*d - 3. Let v(b) = 2*b**3 + 11*b**2 - 8*b - 15. Let m be v(-6). Does 32 divide p(m)?
False
Suppose -q + a = -8 - 3, 7 = 2*q + a. Let v be 2/(-3) + (-14)/q. Let w = v + 6. Is 2 a factor of w?
False
Let f = 115 + -63. Suppose 93*p - 30 = 91*p. Let k = f - p. Does 23 divide k?
False
Let k(t) = -t**3 - 3*t**2 + 10*t + 4. Let l be k(-5). Let m be (-2)/(-16)*50*l. Suppose m*j - 30*j = -140. Is j a multiple of 28?
True
Suppose -8*w + 7*w + 4 = 0. Suppose 2*p - 2*x = 14, 1 = w*p + 4*x + 5. Is 17 a factor of ((-16)/(-4) - p)*17?
True
Let l = 1005 + -667. Suppose 231 = 3*m - 3*k, 0*m + 4*m - l = -2*k. Does 8 divide m?
False
Suppose 2656 = 2*x + 4*t, -10*x = -7*x - 3*t - 4029. Does 19 divide x?
False
Let u be 15/4 - 8/(-32). Suppose -5*v - u*p + p = -485, v - 89 = p. Let b = -55 + v. Does 13 divide b?
True
Let a(i) = 5*i - 6*i - 2 + 6. Let b be a(0). Suppose 3*p = 4*g - 106, -2*g + 0*g + b*p + 58 = 0. Is 20 a factor of g?
False
Let n = 4 + 13. Suppose -n = 7*p + 11. Does 2 divide 112/24 - p/(-6)?
True
Let j(r) = -r**3 + 8*r**2 - 4*r - 4. Let l(f) = -f**2 + 11*f. Let c be l(7). Let w = c + -23. Does 17 divide j(w)?
True
Let s be 225/54 - 2/12. Suppose 4*j - 2*g = 202, -s*j = -j + 5*g - 158. Is 8 a factor of j?
False
Let j be ((-2)/(-2))/((-2)/(-10)). Suppose -6*a + 39 + 21 = 0. Suppose -4*w + 4*b = -132, 0 = w + j*b - a - 5. Does 19 divide w?
False
Let j(s) = 4*s - 7*s + 2*s + 9 + s**3 + 12*s**2. Does 15 divide j(-12)?
False
Let v = -16 - -19. Suppose i + 5*k - 88 = -2*i, 5*i - 136 = -v*k. Is i a multiple of 9?
False
Let u(a) = -a**2 + 6*a - 5. Let f(w) = w**2 - 6*w + 6. Let o(c) = -4*f(c) - 5*u(c). Let b be o(7). Let p = b + 3. Is 11 a factor of p?
True
Suppose -2*g + 145 - 47 = 5*w, 4*g - 4*w = 168. Let m(o) = o**3 + 14*o**2 + 14*o - 7. Let l be m(-13). Let j = g - l. Is 13 a factor of j?
False
Suppose 4018 = -9*w + 11*w - 5*p, -4*p - 6013 = -3*w. Is w a multiple of 16?
False
Suppose -3*q + 129 = 3*g - 0*q, q = 2*g - 71. Let n(v) = 57*v**2 + 4*v + 3. Let o be n(-1). Let w = o - g. Is 13 a factor of w?
False
Let g(n) = n**2 - 17*n + 31. Let w be g(15). Is 4 a factor of (w*3*1)/(48/256)?
True
Let q = -25 - -33. Is ((-6)/(-1))/((q/(-84))/(-2)) a multiple of 12?
False
Let h(g) be the third derivative of g**5/30 + 11*g**4/24 - g**3 + 7*g**2. Is 30 a factor of h(-12)?
True
Let n(d) = 26*d + 25 + 51*d - 10*d - 21. Does 7 divide n(2)?
False
Suppose -41 = 6*t + 235. Let l = 116 + t. Is l a multiple of 10?
True
Suppose -5*h - h = -1776. Is h a multiple of 4?
True
Suppose -h = -5*f + 18, -3*h + 0 = 5*f - 6. Suppose 153 = f*o - 2*o. Is 12 a factor of o?
False
Let j = -3744 + 5651. Is j a multiple of 24?
False
Let p(i) = -i**2. Let g be p(3). Let v be 12/g*(-12)/(-8). Does 2 divide 3/v*-4 + 1?
False
Does 15 divide 2/(-12) + ((-197635)/(-30))/29?
False
Suppose 68 = -3*j + 4*i, -5*j - 3 - 62 = 3*i. Let r = 31 - j. Is r a multiple of 4?
False
Let v(d) be the first derivative of d**4/4 - 10*d**3/3 + 6*d**2 + 4*d - 4. Let x = -6 + 15. Is 9 a factor of v(x)?
False
Let v(d) = -97*d**3 - 2*d**2 - d. Let z(x) = -x**2 + 8*x + 19. Let p be z(10). Does 28 divide v(p)?
False
Let b(y) = 4*y**3 - y. Let f be b(-1). Is ((-16)/f)/(11/66) a multiple of 14?
False
Suppose 22*k - 27*k = -195. Let g be 14/91 + 150/k. Suppose -108 - 452 = -g*j. Is j a multiple of 40?
False
Suppose 3*b = -3*x + b + 692, -5*b - 259 = -x. Suppose o + x = 3*o. Does 9 divide o?
True
Suppose -5*w + 18 = -4*z - 0*z, 2*w + 5*z = -6. Does 8 divide 250/8 - w/8?
False
Let p(u) = 3*u**3 - 9*u**2 + 11*u - 4. Let x be p(5). Suppose 4*q - 5*r = 127, -5*q - 3*r = -x + 70. Does 4 divide q?
True
Suppose -8*q + 57 = -199. Is q a multiple of 8?
True
Suppose 4*i - 2 = 5*m, 0 = -m + 2*i - 0 - 4. Suppose 4*l - 306 = -m*l. Is l a multiple of 24?
False
Let s = 39 - 34. Is (-2 - s*-1)*372/18 a multiple of 11?
False
Let x(b) = 5*b**3 - 14*b**2 + 16*b + 14. Suppose 0 = 3