-48*a + 29. Is k(j) a multiple of 9?
False
Let z = 1 + 4. Let a be z + 48 + 1 + 4. Let x = -54 + a. Is 3 a factor of x?
False
Let k(q) = 14*q**2 + 37*q + 89. Does 35 divide k(-18)?
False
Suppose -5*x = n - 60, n - 45 = -5*x + 3*n. Suppose -5*t - x = -6*t + s, s - 31 = -5*t. Suppose 0 = -3*q + 2*q + t. Is q a multiple of 2?
False
Suppose 13662 = -0*n + 23*n. Let u = n - 549. Is u a multiple of 9?
True
Suppose -6*g = 3 + 9. Let u be ((-4)/8*-1)/(g/536). Is 5 a factor of 16/136 + u/(-17)?
False
Let d(x) = -8*x**3 - 3*x**2 - 15*x + 41. Let f be d(4). Let q = f + 913. Does 41 divide q?
False
Let y be (3 + 2)*(-2)/(-10). Let r be 34/(-4) - y/(-2). Is -469*2/r - (-25)/(-100) a multiple of 33?
False
Let t(b) be the first derivative of 47*b**2 - 18*b + 15. Let s be t(3). Suppose -6*n + s = -90. Is n a multiple of 13?
False
Suppose 164*s = 160*s - 5*o - 13, s + 2*o = -1. Let k(l) = 4*l**2 + 16*l - 44. Let r(f) = -f**2 - 4*f + 11. Let c(u) = -2*k(u) - 9*r(u). Is 2 a factor of c(s)?
True
Does 32 divide 51/170 + (-88407)/(-10)?
False
Let c(v) = 113*v - 16. Let s(p) = 1. Let x(b) = c(b) - 6*s(b). Is x(3) a multiple of 10?
False
Suppose 2*n - 5 = n. Suppose 5*w = 3*j - 31, 3*w + 28 = 4*j + n. Suppose -222 = -2*g + 4*o, 2*g + 3*o - j*o - 247 = 0. Does 26 divide g?
False
Suppose 2*a + 4*i + 2 = -a, 44 = 4*a - 4*i. Suppose -2 = 3*q + g, -q - g - a = -4. Suppose 4*t + 0*t = 3*m - 683, q = 4*m + 4*t - 892. Is 45 a factor of m?
True
Let o be 392/(6/(-3) + 5/2). Let a = o + -545. Is 41 a factor of a?
False
Let h(w) = 16*w - 236. Let t be h(15). Suppose -t*u + 20 = 0, u + 2535 = 5*m - 2*u. Is m a multiple of 51?
True
Suppose 6171357 + 4202553 = 87*o + 168*o. Is 16 a factor of o?
False
Suppose -d - t = -6*t + 10, 0 = 2*d - 5*t + 20. Let u(s) = s + 12. Let v be u(d). Suppose 0 = -k + v, -2*a + k = -3*k - 226. Is 15 a factor of a?
False
Let p(o) = 64*o**2 + 1. Suppose -3 = -3*f, -4*u - 6 = -f - 89. Let d = u - 20. Does 5 divide p(d)?
True
Suppose 14*y - 19*y + 10 = 0. Let p(n) = -17 - n**y + 3 + 10*n + 11. Is 21 a factor of p(4)?
True
Let r(f) = -f**3 - 20*f**2 - 22*f - 47. Let w be r(-19). Let m(i) = -2*i**2 - 6*i**2 + w*i**2 - 4*i + 0*i**2 + 24. Does 8 divide m(9)?
False
Let t(y) = -y**3 - 5*y**2 + y + 35. Let k be t(-5). Suppose 0 = -28*l + k*l - 930. Is l a multiple of 18?
False
Is 10 a factor of (-120575)/(-106)*16/4?
True
Suppose 5*z - 57610 = -3*v, 173*z + 5*v = 169*z + 46088. Does 18 divide z?
False
Suppose -2*t - 2*p + 42 = 0, 0 = 4*t - p - 48 - 36. Let r = t + -15. Suppose 2*z = r*z - 176. Is z a multiple of 11?
True
Let r(i) = i - 2. Let f(s) = -23*s - 62. Let p(q) = f(q) - 2*r(q). Is p(-5) a multiple of 9?
False
Suppose -2*l - 13*j + 22469 = -8*j, -3*l + j = -33763. Is 58 a factor of l?
True
Let t = -9 - -11. Suppose 5*z = a + 10*z - 45, 5*a + t*z - 294 = 0. Is 15 a factor of a?
True
Let d(h) = -6*h + 250. Let p be d(42). Is 40 a factor of ((720/p)/(-3))/((-93)/(-248))?
True
Suppose -9 = -2*b - 53. Let q be -3*(-5)/(-75) - 181/(-5). Let j = q + b. Is 9 a factor of j?
False
Suppose -5*b = -3*w + 8286, 6*w + 4*b + b - 16662 = 0. Is 8 a factor of w?
False
Let y(o) = 13*o**2 + 29*o - 130. Let t be y(5). Suppose 140 + t = q. Does 24 divide q?
True
Let l = -21939 + 33599. Is l a multiple of 10?
True
Let j(n) = -3*n - 9. Let o = -36 - -33. Let h be j(o). Does 16 divide 15*4 - (-4 - h)?
True
Let k(g) = g**3 - 3*g**2 + 2. Let z be k(3). Suppose z*y - 2*o - 16 = 0, -y = -2*o - 7 - 5. Suppose 5*a + y*q = 40, -a - 4*a - 2*q = -40. Is 6 a factor of a?
False
Let r = 26 - 26. Suppose r = 7*o - 951 - 939. Suppose -36*y = -39*y + o. Is 11 a factor of y?
False
Is 75 a factor of ((-4842)/4)/(-1)*(15 + 203/(-21))?
False
Is 6/33 + (276963/33 - -5) a multiple of 19?
True
Let d(v) = -51 + 47*v + 79*v + 50*v - 97*v. Is 9 a factor of d(4)?
False
Let y be 1648/104 + -2*(-2)/26. Does 11 divide (1 + -2)/(y/(-11920))?
False
Let z(b) be the first derivative of b**5/12 + 5*b**4/4 - 10*b**3/3 - 3. Let s(y) be the third derivative of z(y). Is 10 a factor of s(7)?
True
Let f = -110 - 233. Let b = -241 - f. Is 34 a factor of b?
True
Is 36 a factor of 5*(-33)/(-220)*552*74?
True
Let m = 14550 - 8847. Does 28 divide m?
False
Suppose -i + 0*i + 5*z = -249, i = -4*z + 240. Let g = 560 - i. Is g a multiple of 29?
False
Suppose 5*b + 4*p - 6284 = 0, -31*b + 4984 = -27*b - 4*p. Is b a multiple of 22?
False
Let k = -50036 - -70812. Is k a multiple of 56?
True
Suppose -5*v + 4*f = -23024 + 5576, 0 = -2*v + 5*f + 6969. Is v a multiple of 4?
True
Let i be (3 - -12) + ((-30)/5 - -11). Is 34 a factor of (3176/6)/(((-280)/(-21))/i)?
False
Suppose o - 5*u = -5, 3 = 4*o - 4*u + 7*u. Is 30 a factor of 4 + ((-228)/(-4) - o)?
False
Let l = 601 + 172. Let d = l - 454. Suppose 245 = 6*n - d. Is n a multiple of 47?
True
Suppose 4*t = -2*j + 156, -2*t - 354 = -11*j + 6*j. Is 21 a factor of j?
False
Suppose 0 = -9*z + 13*z - 200. Suppose 21*d - 23*d + z = 0. Suppose -30*k = -d*k - 700. Is k a multiple of 28?
True
Let c = -44 + 54. Let z = c - -50. Is 10 a factor of z?
True
Let a(i) = i + 1. Let b be a(-1). Suppose -3*y + 15 = b, s + 5*y + 68 = 4*y. Let d = -28 - s. Does 19 divide d?
False
Let s = 1196 - 519. Suppose -8*n + 2261 - s = 0. Does 33 divide n?
True
Let g(j) be the third derivative of 2*j**2 + 7/2*j**3 + 1/24*j**4 + 0*j + 0. Is 4 a factor of g(-5)?
True
Suppose -98*b = -94*b - 652. Suppose 3*h = 5*c - 62 - b, -4*c + 163 = h. Is 5 a factor of c?
False
Let v = -35 - 11. Let y = v + 46. Does 26 divide (1 - y - -3)*(-370)/(-8)?
False
Let g = 6309 - 6233. Is g a multiple of 19?
True
Let c(o) = o**2 - 10*o + 6. Let u be c(10). Suppose -13*t + u*t = -105. Suppose 7*r + 584 = t*r. Does 15 divide r?
False
Let x(s) = -3*s**3 + 2*s**2 + 7*s + 5. Let h be x(-5). Suppose 391*b - h*b = -1292. Is 14 a factor of b?
False
Let x = -2 - -6. Let j = 3025 - 3011. Suppose x*k - j*k = -1310. Is 11 a factor of k?
False
Suppose 17 = -z + 19. Suppose -z*w = -y + 2, -4*y + 4 = -5*w - 1. Suppose 5*m + r - 13 = 28, y = -r + 1. Is m even?
True
Suppose -101*d = 374*d - 1912350. Is d a multiple of 2?
True
Let m be (-346)/(-18) - 8/36. Suppose -m*k - 21 = -20*k. Let a(c) = c - 4. Is 3 a factor of a(k)?
False
Suppose 0 = 7*n + 1555 - 29233. Is n a multiple of 13?
False
Suppose -936 = -32*g + 376. Suppose -g*w - 3498 = -47*w. Is w a multiple of 14?
False
Suppose -7*d = n - 9*d - 17, 3*n = 4*d + 53. Suppose 28152 = n*p + 5*p. Does 51 divide p?
True
Suppose 5*g = 13*g + 2368. Let w = 456 + g. Does 16 divide w?
True
Is ((-1980)/24)/55 + -1 + 4415/2 a multiple of 117?
False
Let s(p) = 31*p**2 + 23. Let d(y) = 31*y**2 + 20. Let v(c) = 7*d(c) - 6*s(c). Is 21 a factor of v(2)?
True
Suppose -31689 = 25*d - 4*d. Let t = d - -2145. Is 20 a factor of t?
False
Suppose 3*z = -m + 41848, 5*z - 5*m - 22405 - 47355 = 0. Does 93 divide z?
True
Suppose -t + 4*t - 7115 = 23935. Does 95 divide t?
False
Suppose 8*u = -0*u + 48. Is 53 a factor of 1/((-6)/(-3075)) - 3/u?
False
Suppose -35*v - 21 = -126. Suppose 3*x + 2*s = -3*s + 2293, 0 = -x + 3*s + 741. Suppose -v*m + x = 3*m. Is m a multiple of 14?
True
Let f = 190 + -229. Let j = f - -48. Is j a multiple of 9?
True
Let j(w) = -1497*w**2 - 7*w - 6. Let u be j(-1). Let b = -944 - u. Is b a multiple of 12?
True
Suppose 4*j - 9*j + 1600 = 5*x, 0 = -2*j. Suppose -64 - 592 = 4*h. Let t = h + x. Is 39 a factor of t?
True
Suppose -4*h = c - 52138, -h + 2*c + 0*c = -13039. Does 183 divide h?
False
Let t = -30 + 42. Suppose 8*v = t*v - 2964. Does 46 divide v?
False
Let x(m) = -m**3 + 20*m**2 + 70*m - 20. Let i be x(23). Suppose 4*l + 1801 = 3*y, 0 = i*y + 4*l - l - 1773. Is y a multiple of 35?
True
Suppose x + 2*x = 15. Suppose -5 = x*k, -3*s + s - 16 = -4*k. Is 18 a factor of (-4)/s + (-1284)/(-15)?
False
Let p(r) = -620*r - 1535. Does 54 divide p(-17)?
False
Suppose 49 = 3*y - 3*q - q, -5*y + 5*q = -80. Suppose 7*x = 12*x - y. Let j = 120 + x. Is j a multiple of 41?
True
Suppose 5 = s, 7 = 2*a + a - s. Suppose -112 = 4*b + a*c, -1 = 3*c - 4. Let q = b - -182. Is 32 a factor of q?
False
Is (-18)/45 + (-25)/(500/(-198128)) a multiple of 3?
True
Suppose 0 = 5*s - 5*v - 12450, 160*s - 157*s - 7485 = -2*v. Does 9 divide s?
True
Let w = -3861 - -8017. Does 14 divide w?
False
Suppose -5*y + 479 = -2316. Suppose 5*m - 