 13 a factor of ((-55)/(-2) - a) + 324/(-216)?
True
Let i = 245 + 71. Suppose 4*y - i = 660. Is y a multiple of 11?
False
Let i be (1 + 35)/(-3 - (-99)/30). Does 19 divide (3/(i/(-3344)))/((-1)/5)?
True
Let a(k) = -k**3 - 2*k**2 - 3*k - 9. Suppose 0 = 3*d - 6, -18 - 2 = 2*t - 2*d. Is 57 a factor of a(t)?
True
Let p(a) = a**2 + 6*a + 1119. Does 37 divide p(71)?
True
Suppose -4700 = -2*w - 8*w. Suppose -v + w = -3*u, -u = -3*v + 17 + 137. Let y = 296 + u. Does 20 divide y?
False
Let l(z) = -71*z**3 - 11*z**2 - 27*z - 20. Is l(-3) a multiple of 59?
False
Let q = 653 + 6. Let t = 905 - q. Is 23 a factor of t?
False
Let n(l) = l**3 - l**2 - 2*l - 69. Let p be n(0). Let m be 11/(-2)*(-1 - -23)*-1. Let w = m + p. Does 17 divide w?
False
Suppose 2*i = -419*m + 414*m + 19343, 3*i + 3*m - 29028 = 0. Is i a multiple of 7?
False
Let n be (23 + -6)/(3/18*6). Let d(i) = i**2 + 10. Let h be d(0). Suppose o - h = n. Is o a multiple of 5?
False
Let z = 1245 - 1057. Does 14 divide z?
False
Is (120/9)/((-1)/(-36)) a multiple of 40?
True
Suppose 0 = 5*k + 31*h - 36*h - 105, -2*h - 2 = 0. Suppose -k*y + 1296 = -19*y. Does 108 divide y?
True
Let y be (40/12)/(12/18). Let x be 148/18 - (-4)/(-18). Suppose -w = y*z - 45, 3*z = 3*w + x + 1. Does 8 divide z?
True
Suppose 138*p - 133*p = 9795. Suppose l - 5 = 0, -4*m + 4*l + p = -l. Does 31 divide m?
True
Let q = 31922 - 2242. Is q a multiple of 265?
True
Suppose -89*r = -47*r. Let y(o) = 72 - o - o + 6*o. Is y(r) a multiple of 36?
True
Suppose 6*o - 271 - 749 = 0. Let i = 347 - o. Does 13 divide i?
False
Let l(g) = 43*g**2 - 2*g + 2. Let b be l(2). Let m = -27 + b. Suppose -r + p + 59 = 0, -93 = -4*r + 5*p + m. Does 35 divide r?
False
Let s = -6941 - -10328. Is 15 a factor of s?
False
Suppose 18*p + 23423 - 2726923 = -82*p. Does 24 divide p?
False
Let n be 15*(40/225 + 6/27). Suppose 0 = -2*l + n, 2*f = -0*f + 3*l + 357. Is f a multiple of 61?
True
Suppose 2*o + 2*o - 2*s - 9092 = 0, -o = 3*s - 2273. Suppose 0 = 6*r - 2371 - o. Is r a multiple of 30?
False
Let r(u) be the third derivative of -5*u**4/4 - 7*u**3/3 + 26*u**2. Is 18 a factor of r(-8)?
False
Suppose -77*k - 1014 + 22567 = 2149. Is 28 a factor of k?
True
Let t(k) = 27*k**2 - 6*k - 19. Let c(x) = 14*x - 241. Let o be c(17). Is t(o) a multiple of 11?
True
Let z(c) = -c**3 + 2*c**2 + 2*c + 82. Let d be 4/(-8) - 10/(-4). Suppose 4*g - 3*g = 3*p - 4, d*p - 16 = 4*g. Is 23 a factor of z(p)?
False
Suppose 0 = -4*b + 5*i + 2326, 5*b - 590 - 2311 = 3*i. Let c = -56 + b. Is 46 a factor of c?
False
Suppose -122*a - 49 + 37137 = 0. Does 7 divide a?
False
Let w be (-220)/3*48/(-40). Let k = 52 - w. Let d = -25 - k. Is d a multiple of 2?
False
Let p = -54 + 59. Let a(v) = 4*v - 19. Let q be a(p). Is 25 a factor of (0 + -25)*(-3 + -2)/q?
True
Let x(t) = t - 3. Let g be x(5). Suppose 78 = v + 5*u, 7*v - 2*u - 444 = g*v. Suppose -c - 4*s = -1 - 30, 4*s = -4*c + v. Does 3 divide c?
False
Suppose 190602 - 83013 = 18*c - 322755. Is 28 a factor of c?
False
Let t(w) = -36*w - 78. Let y be t(-2). Does 5 divide y + 5 + -1 - (-1 + -16)?
True
Suppose 3*r + 5*u = 4*r - 279, -r - 4*u = -288. Suppose -859*f + 860*f - r = 0. Is 13 a factor of f?
False
Let s(o) = 3*o + 1 - 3*o + 4*o**3 - 2*o**2 - 6*o**3. Let j be s(1). Does 30 divide 193 + (j - -7) + 1?
False
Let x = -45 + 17. Let t = 98 - x. Is 42 a factor of t?
True
Let i(u) = -u**2 + 7*u - 8. Let r be i(5). Suppose -v - 2*c = -c - r, -c + 11 = -2*v. Is 1/v - ((-2060)/15 - 3) a multiple of 9?
False
Let f(t) = -3 - 2 - 7 + 7*t + 15*t**2. Is 24 a factor of f(3)?
True
Suppose 0 = -p - 5*n + 15880, -3*p - 13*n = -10*n - 47712. Does 86 divide p?
True
Let a(c) = 21*c - 11. Let s be a(3). Suppose 0 = -n + s + 107. Let x = n - 65. Does 10 divide x?
False
Suppose f = 17 - 15. Suppose -2*v = -h - 11, -5*v + 2*h = -f*v - 19. Does 15 divide (v - 15)*68/(-16)?
False
Suppose d - 8*d = 18*d. Suppose -p + 3*i + 486 = d, 5*p + i = -i + 2447. Does 33 divide p?
False
Let g be (-2)/(-4) - 3/(-2). Suppose -15 = -g*t - 3*t, -4*t + 32 = 5*z. Is 12 a factor of 54*14/(-3)*z/(-14)?
True
Does 7 divide (-5 - -10)*-206*((-1521)/65 + 11)?
False
Let g be ((-2)/(-6)*50)/(7/(-84)). Let n = -188 - g. Is 8 a factor of n?
False
Let k = 22 - 8. Suppose -a - k = 2*t, 6*t + a + 19 = 3*t. Let j(s) = -17*s + 22. Does 27 divide j(t)?
False
Let o be 13 - (-2 + 3)*3. Suppose -l = -o + 22. Let t = l - -28. Is t a multiple of 2?
True
Let o = -6101 + 9581. Is 200 a factor of o?
False
Let v(j) = -j**3 - 15*j**2 - 20*j + 4. Let p be v(-14). Let k = p - 55. Suppose -6*q = k - 231. Does 11 divide q?
True
Let c(i) = -i**3 - 12*i**2 - 4*i + 4. Let f be c(-12). Suppose -l - f = -5*l. Let p(h) = -h**2 + 14*h + 8. Is p(l) a multiple of 21?
True
Suppose 4*s + 2*r = 39145 + 18939, 4*r = -5*s + 72596. Does 185 divide s?
False
Let a(d) = d**3 - 9*d**2 + 2*d - 20. Let k be a(9). Does 47 divide 0 + k - ((-882 - -5) + 7)?
False
Let o = -54 + 59. Suppose o*z + 5*g - 554 = 1471, 0 = 3*z + 2*g - 1220. Is 59 a factor of z?
False
Is 3153880/220 + 2/11 a multiple of 54?
False
Let g = -227 - -201. Let c(o) = o**3 + 24*o**2 - 65*o - 111. Is c(g) a multiple of 8?
False
Suppose 0 + 20 = -4*x, -x = -5*j + 175. Let z = j + 44. Is 13 a factor of (-2)/((-4)/z) - 0?
True
Suppose 6*p - 11*p = -5*h + 3355, 3*h + 3*p = 2031. Suppose -3*i + 0*v + h = v, -5*i - v = -1120. Does 35 divide i?
False
Suppose -4248 = -5*p + 17*p. Let o = -290 - p. Does 4 divide o?
True
Let a be (-4)/(72/(-27))*(-4)/(-3). Suppose -868 = a*p - 6*p. Is 7 a factor of p?
True
Suppose 264*w + 104 = 268*w. Suppose -2*t - w*t = -10472. Is t a multiple of 12?
False
Let i(q) = -30*q - 267. Let y be i(-10). Is 4/(9/y - 3/12) a multiple of 8?
True
Suppose c - 3*c + 281 = 3*u, u - 2*c - 83 = 0. Suppose -l - 4*m = -199, 3*l + 2*m + 187 = 4*l. Let y = l - u. Does 8 divide y?
False
Let v = -3907 + 6119. Does 28 divide v?
True
Let j(h) = h + 31. Let g(f) be the first derivative of f**2/2 + 9*f + 10. Let i be g(0). Is 18 a factor of j(i)?
False
Suppose 0 = 2*y - y + 4*y. Suppose y = -10*v + 667 + 273. Is 3 a factor of v?
False
Suppose -d + 13*d = 60. Let x = 17 - d. Is (-3*18/x)/(1/(-16)) a multiple of 12?
True
Suppose -11*v = -3*v. Suppose 0 = -3*f + 5*a + 31, 2*f + a + 1 = -0. Suppose -f*h = -3*w + 158, v*h + 260 = 5*w - 4*h. Is w a multiple of 8?
True
Suppose 17*y + 21 = 24*y. Suppose 148 = 2*w + 4*l, 124 = y*w - 5*l - 98. Let b = w + -33. Is b a multiple of 10?
False
Let g = -565 + 590. Suppose 13*i = g*i - 9924. Is 10 a factor of i?
False
Suppose 12*h - 226 = 2177 - 27. Is 9 a factor of h?
True
Let f = -644 + 671. Is 746 + -3*18/f a multiple of 12?
True
Suppose 92*c = -37*c + 685377. Does 69 divide c?
True
Suppose -5*t - 2*h = -304, 5*t + 4*h = 12*h + 284. Is 15 a factor of t?
True
Suppose 2*u - 4*q + 968 = 0, 8*u - 5*u + q + 1417 = 0. Let k = u + 805. Let a = 499 - k. Is 29 a factor of a?
False
Let x = 156 - 154. Suppose 0 = -5*b + x*d + 589, -5*b - 2*d = 2*d - 607. Does 5 divide b?
False
Let x = 18154 - 17362. Is x a multiple of 9?
True
Let w be 204 + (-8)/24*15. Suppose -2*g = -o + 102, -2*o + g = -2*g - w. Does 7 divide o?
False
Suppose 3*f + 579 = -3*a, 0 = 2*f - 4*a + 542 - 138. Let u = 46 - f. Is 11 a factor of u?
True
Let j be -3 - -1488 - (-3 - (1 + -8)). Suppose c - l - 416 = 0, -5*l + 233 = -3*c + j. Is c a multiple of 52?
True
Let t = -96 - -99. Let b(a) = -5*a + a**2 + 5*a + 17 + a + t*a. Is b(-5) a multiple of 3?
False
Suppose -6*p = -4*p + 2. Let r(j) = j**3 + 7*j - 8. Let o be r(4). Is o + p + 4 + 0 a multiple of 18?
False
Is 1176222/129 - (-39 - -3)/(-4) a multiple of 17?
False
Suppose -6*x = -384 + 90. Suppose 1440 = x*u - 40*u. Does 8 divide u?
True
Let d = 29668 - 16357. Is 261 a factor of d?
True
Suppose 34*j = 37*j + 7*q - 45499, -4*j - 2*q + 60658 = 0. Is 76 a factor of j?
False
Is ((-5)/((-200)/48))/(2/((-50)/(-3))) a multiple of 5?
True
Suppose -28*r = -10*r - 15*r - 74736. Does 45 divide r?
False
Let z = 8082 + -7104. Does 7 divide z?
False
Let w = 2762 - -910. Is w a multiple of 9?
True
Suppose -35 = 5*d - 0*d + 2*w, -2*d - 15 = w. Let m be (-8 - d - 22)/(-1). Suppose -155 = -g + m. Is 30 a factor of g?
True
Let h = 24 + -21. Suppose k - 6*k - h*u = 44, 0 = 2*k + 5*u + 29. Is 14 a factor of (98/k)/(2/(-8))?
True
Suppose -