 - 154*u + 490. Is j(3) a multiple of 13?
False
Let c(s) = -2*s + 5. Let x(v) = -3*v + 6. Let g(f) = -4*c(f) + 5*x(f). Let h be g(4). Let l(d) = -4*d + 24. Is l(h) a multiple of 12?
True
Let a = 62 + 120. Let u = 160 + a. Is u a multiple of 11?
False
Let j(h) = 4*h + 58. Let g be j(-15). Is (g/(-4))/(((-45)/3740)/(-9)) a multiple of 17?
True
Let l = 75 - 74. Is (l/10 + (-84)/40)*-44 a multiple of 20?
False
Let h(p) = 11*p**2 - 2*p + 27. Let r be h(4). Suppose -3*t + r + 225 = 0. Is t a multiple of 14?
True
Let z be -1 + (-14)/(-10) + (-6)/15. Let s = 5 - z. Suppose s*k - k = 48. Is 12 a factor of k?
True
Let n(f) = 168*f**2 + 24*f - 82. Does 32 divide n(4)?
False
Let x = -595 + 557. Does 25 divide ((-3629)/x)/((-2)/(-8))?
False
Let b = 3170 - -2834. Is 158 a factor of b?
True
Does 6 divide 3/(-1) - 123872/(-10) - (-129)/(-645)?
True
Suppose w + 3 = 4*r - 3, r + 3*w = -5. Is 29 a factor of (r - 0)/(((-7)/783)/(-7))?
True
Suppose -3*k + 408 = 3*y, -789 + 275 = -4*y + 2*k. Let z be (-5)/2*8/(-10). Is 17 a factor of z*4/8 + 0 + y?
False
Suppose -719 = -3*c - k, -119*c = -121*c + 3*k + 461. Is c a multiple of 17?
True
Let m = -8818 - -13647. Is 27 a factor of m?
False
Suppose -2*h - 19*d + 39536 = -20*d, -d = -4. Is h a multiple of 23?
False
Suppose 28*a = 52*a + 1896. Let f(v) = -76*v - 3. Let b be f(-2). Let j = b + a. Is 35 a factor of j?
True
Does 20 divide 26/(-403) + 1554718/1054?
False
Suppose -3*h = -5*v - 6, 5*v - 1 = 5*h - 11. Suppose -60 = -3*s - 2*t + 160, -s - 5*t + 95 = v. Is 35 a factor of s?
True
Suppose -3*w = -2*v + 2, -3 = 3*w - 3*v - 0*v. Let i be 40/2*(w - -1). Suppose 0*x = 5*x - i. Is 3 a factor of x?
False
Let f(m) = m**3 - 5*m**2 + 19*m - 22. Let c be f(8). Let w = 1128 - c. Does 13 divide w?
True
Suppose -216*u = -227*u + 44. Suppose -4*j + 5*j + 4*t = 233, 869 = u*j - 5*t. Does 27 divide j?
False
Suppose -4*q = -3*i - 11634, -12*q - 3*i = -11*q - 2886. Is 37 a factor of q?
False
Let c be (2/(-3))/((-30)/2655). Let x(u) = 40*u**2 - 2*u. Let z be x(-2). Let g = z - c. Is 35 a factor of g?
True
Let o = -16 + 224. Suppose -4*a = x - 0*x - 212, 2*x = -4*a + o. Does 18 divide a?
True
Suppose 5*j - 2979 - 1579 = -3*t, 0 = j - 3*t - 908. Is j a multiple of 79?
False
Let p = 251 - 250. Let c = 937 - p. Is 26 a factor of c?
True
Suppose 2*n - 3 = 3. Suppose 5446 = -n*t + 17*t. Suppose 3 = -3*a, 0 = 4*g - 2*a - 3*a - t. Is 16 a factor of g?
True
Let l be (-730)/(-6) - 0 - (-22)/66. Let h = 197 - l. Does 3 divide h?
True
Let g(x) = 2657*x**2 - 232*x + 233. Does 3 divide g(1)?
True
Let v(o) = 19*o + 343. Is 21 a factor of v(8)?
False
Suppose 121 + 329 = 5*p. Let o = 92 + p. Suppose 295 = 9*w - o. Is 12 a factor of w?
False
Let i be (-12)/4 + 534/(-1). Suppose -6 = 4*w + 2. Is 26 a factor of i/w*(-14)/(-21)?
False
Let c be ((-28)/56)/((-2)/3384). Suppose 0 = 5*i - 34 - c. Is i a multiple of 44?
True
Suppose -4*s + 13 = 5*c - 0, 5*c = 5. Suppose 3*i = s*i - 4*g - 16, 5*i - 35 = 3*g. Suppose -y + 86 = 4*k + i, 3*k = -4*y + 289. Is 16 a factor of y?
False
Let k be 2 + -5 + (13 - 5). Suppose k*x - 78 = 562. Does 4 divide x?
True
Let l = -771 - -767. Let x(b) = -3*b**2 + 4*b + 2. Let w(q) = 5*q**2 - 7*q - 4. Let z(o) = -4*w(o) - 7*x(o). Does 4 divide z(l)?
False
Let k(o) = 1 - 38 + 6 - 2*o - 6. Let y be k(-20). Suppose -4*d = 5*b - 543, -y*b + b + 135 = d. Is d a multiple of 11?
False
Let o(z) = 9*z - 26. Let m be o(24). Let l = m + -72. Is 25 a factor of l?
False
Suppose 0*a - a - 3*t - 76 = 0, -3*a = 2*t + 200. Let h = -27 + a. Let g = 149 + h. Is 12 a factor of g?
False
Let q(a) = -a**2 - 1. Suppose -23*b = -7*b. Let o be q(b). Does 4 divide -6*80/(-24) + (-1 - o)?
True
Let m(h) = -75*h**3 + 117*h**2 - 26*h - 21. Does 144 divide m(-7)?
False
Suppose 18 = -4*q - 50. Let a = q + 21. Suppose 0 = -0*o - 3*o - 12, 3*o - 508 = -a*p. Does 7 divide p?
False
Suppose 0 = -k + 5*r - 9, -3*k - 7 = -3*r - 2*r. Is 17 a factor of k - -275 - (13 + 81/(-9))?
True
Let m(b) = -15*b**2 + 21*b - 49. Let x(z) = -7*z**2 + 11*z - 25. Let h(y) = -6*m(y) + 13*x(y). Let d be h(10). Is -4*(-7)/(-28)*d/(-1) a multiple of 12?
False
Let y = 5989 + -5566. Is 12 a factor of y?
False
Let r(w) = -w**2 - 22*w - 18. Let z be r(-21). Let y(s) = 12*s**3 - 4*s - 4. Is y(z) a multiple of 14?
True
Suppose 31*b = 34*b - 2*k - 1266, 0 = 4*b - 5*k - 1681. Is 3 a factor of b?
False
Let b = -407 - 108. Let g = -270 - b. Does 22 divide g?
False
Suppose a = 3*f - 102, 4*a + 252 = -5*f - 139. Let x = a - -188. Suppose -4*q = -x + 29. Is 4 a factor of q?
False
Let f(c) = c**3 - 26*c**2 + 104*c + 75. Let z be f(21). Let k(l) = 33*l**3 - l**2. Let r be k(-1). Let b = z + r. Is 10 a factor of b?
True
Let b(a) = -22*a + 185 - 134 - 7*a. Is b(-6) a multiple of 15?
True
Suppose -5*t + 68729 = -k, -5*t + 6203 = 2*k - 62514. Is t a multiple of 88?
False
Suppose -1453 = 2*c + 3*c + 2*k, 578 = -2*c - 4*k. Let d = c + 411. Suppose 5*m - d = 600. Does 24 divide m?
True
Let r(f) = 489*f**2 - 102*f + 101. Is r(1) a multiple of 90?
False
Let m(p) = p + 32. Let j be m(-27). Let v be -2 + (j + 228 - -4). Let q = v - 11. Does 16 divide q?
True
Let a(j) = -8*j + 1. Let d be a(2). Suppose 3588 = 4*w + 2*z, 5*w + 9*z - z = 4518. Is (-10)/d - w/(-9) a multiple of 25?
True
Let b(x) be the third derivative of x**7/40 - x**6/360 + x**4/24 - 3*x**3/2 - 15*x**2. Let l(t) be the first derivative of b(t). Is l(1) a multiple of 14?
False
Suppose 4*p + 20 = 0, 1297 = 3*k + 5*p - 151. Does 38 divide k?
False
Is 5896 - (2/(-11))/((-50)/1100) a multiple of 29?
False
Let v(g) = -339*g + 2. Let t = -75 - -74. Let p be v(t). Let s = -137 + p. Does 30 divide s?
False
Let j(c) = 13*c - 51. Let w be (-330)/(-45) + 8/(-6). Is j(w) a multiple of 4?
False
Suppose -r + 472 = 4*i - 5*r, -2*r = -3*i + 350. Let y = 57 - i. Does 14 divide 5 - (y - -4 - -2)?
True
Let j(b) = 72*b + 2770. Is 57 a factor of j(50)?
False
Let j be -153*(2 + (-1)/3). Let m = j + 375. Suppose -m = -l - l. Is 11 a factor of l?
False
Let j(p) = 223 - 11*p + 8*p - 3*p - 5*p. Does 7 divide j(0)?
False
Suppose 26*l + 34*l = 53*l + 50225. Is l a multiple of 205?
True
Suppose -j = -15 - 15. Suppose -30*x + 25*x = -j. Suppose x*i - 96 = -36. Is 5 a factor of i?
True
Is 41 a factor of (3075/150)/(1/86)?
True
Let n(y) = y**3 + 14*y**2 + 11*y - 15. Let f be n(-12). Let a = 0 + 4. Suppose 4*v - f = 5*i - 11, 2*v = a*i + 62. Is 9 a factor of v?
False
Suppose -30*k + 18 = -28*k. Suppose -z + 4*z = k. Suppose z*m - 294 - 30 = 0. Does 36 divide m?
True
Suppose 5*q - 3199 = -6*j, j - 455 = -2*q + 833. Is q even?
False
Let v = 37803 - 21543. Suppose 4*p = 24*p - v. Is p a multiple of 24?
False
Suppose 2*g + 28 = -5*u - 0*g, g + 24 = -5*u. Let o(y) = -7*y**3 - 6*y**2 - 6*y - 24. Is o(u) a multiple of 32?
True
Let z be (-6)/14 - 120/(-280). Suppose z = 8*y - 16*y + 96. Does 4 divide y?
True
Let a = -32 + 39. Suppose 2*c + 2*t = a*t + 30, 9 = c - t. Suppose 4*z - 215 = -z - c*j, 4*z - 5*j - 136 = 0. Is z a multiple of 7?
False
Let o be 3 + -1 + 1 + 40/(-20). Let y(m) = -m**3 + m**2 - 2870. Let f be y(0). Is 29 a factor of o*(-4)/14 - f/98?
True
Let a(b) be the third derivative of 31*b**5/60 + b**4/24 + 2743*b**2. Suppose -g = 3*z + 13, g - 6*g + 2*z = -3. Does 15 divide a(g)?
True
Let k(t) be the second derivative of -t**4/12 - 29*t**3/6 + 15*t**2 + 2*t - 20. Is k(-15) a multiple of 13?
False
Let s = 519 + -325. Let j = s - 2. Is 16 a factor of j?
True
Let l(q) = 15*q - 28. Let u be l(12). Let t be -90 - (3/2 - (-5)/(-2)). Let y = t + u. Does 21 divide y?
True
Let f(q) = 53*q**2 - 4*q + 28. Let r be f(-6). Suppose -9*k = -r + 781. Does 14 divide k?
False
Suppose -7*j - 4*c = -3*j - 404, -5*c - 395 = -4*j. Let a = -60 - -6. Let g = a + j. Is g a multiple of 23?
True
Let p be (-4)/(-6) - (-104)/24. Suppose -2*c = 3*c + 2*r - 2152, 0 = -p*c + r + 2149. Is 17 a factor of c?
False
Let s be (-4*40 - -6) + 3. Let v = 232 + s. Is 27 a factor of v?
True
Suppose -8*r = r - 207. Suppose -2002 = r*n - 34*n. Is 13 a factor of n?
True
Suppose 0*x - 3 = -x. Suppose v - 2072 = -x*v. Does 46 divide v?
False
Let j(n) = 4*n**2 + 11*n + 2. Let k be j(-3). Suppose -k*t = 4*t - 180. Is (-5 - -7)*t/(4 + -2) a multiple of 5?
True
Let k = 492 - 481. Suppose 3014 = 5*l + 4*x, -2*l - k*x = -8*x - 1207