s 50 a factor of n(7)?
True
Let k(c) = 252*c**3 - 20*c**2 + 56*c + 8. Is k(3) a multiple of 13?
False
Let d = -57873 - -89051. Does 131 divide d?
True
Let j(w) = -w**3 - 20*w**2 - 7*w - 61. Suppose 5*g - 131 = -4*r, -4*g + 112 = -0*r - 4*r. Suppose -31*t = -g*t + 80. Does 29 divide j(t)?
False
Let v(n) = -4*n + 12. Let g be v(14). Let x = g + 72. Is 2724/x + 2/(-7) a multiple of 18?
False
Let y(i) = -i**3 + 15*i**2 - 4*i - 15. Suppose 70*b = 68*b - 4. Let j(h) = -h**2 - h. Let z(n) = b*j(n) - y(n). Is z(13) a multiple of 27?
False
Let q = -30 + 42. Suppose -9*o = -q*o. Suppose 3*p - 85 + 4 = o. Is p a multiple of 9?
True
Suppose 6*m - 937 - 5350 = 14899. Is m even?
False
Suppose -97*f + 342580 = 43*f. Does 49 divide f?
False
Suppose -5*r = 20, 3*q + 0*q - 5*r - 335 = 0. Let a = 485 - q. Does 20 divide a?
True
Does 5 divide (-49 - 9)/(5/(-80)) + -5?
False
Suppose x + 5 = -2*v, v - 2 = x - 3*x. Does 10 divide 146*(20/5 - x)?
False
Let d(a) = -a**2 + 17*a + 55. Let l be d(16). Suppose -l*w + 63*w = -3840. Is 24 a factor of w?
True
Let c = 59 + -54. Let b be 3 - (-1 + c + -6). Suppose -3*z + 364 = b*a, -a - 590 = -5*z - 6*a. Is z a multiple of 13?
False
Let b(i) = 2*i**3 - 7*i**2 - 5*i + 6. Let j be b(4). Does 21 divide j/(1 + 165/(-166))?
False
Suppose 5*x + 5*g = 25, 0*x - 2*g = x - 7. Suppose 6*v = 5*v + 5*h + 52, 4*v - x*h - 208 = 0. Is 5 a factor of v?
False
Let z(k) = -4*k**3 + 11*k**2 + 3*k - 7. Let q(d) = d**3 + d + 1. Let w(h) = -5*q(h) - z(h). Is 10 a factor of w(-11)?
True
Does 20 divide (-4)/(-44) - (-3 + (-202352)/44)?
False
Suppose 13*v + 3*v + 10736 = 0. Let i = v + 887. Is i a multiple of 12?
True
Suppose 23*y - 269540 = 209320. Does 15 divide y?
True
Suppose 0 = -j + 222 - 218. Suppose -1135 = -j*s - 5*z, -3*s - 3*z + 831 = -6*z. Is s a multiple of 8?
True
Let u be (-17)/(-1) + -3 - 5. Suppose -3*a = 11*j - 8*j + 12, -4*j - u = -3*a. Is ((-396)/8)/(j/6) a multiple of 11?
True
Suppose 0 = -13*k + 270 - 21967. Let s = -510 - k. Is 13 a factor of s?
False
Suppose 5*y - 9040 = -4*m, -77*y + m = -73*y - 7253. Is y a multiple of 12?
True
Let i(b) be the first derivative of 3*b**4/2 - 2*b**3 - b**2/2 - 2*b + 12. Let z be i(3). Let h = z - 37. Does 10 divide h?
False
Let z = -674 - -709. Suppose 8 = z*s - 37*s, -17 = -b + 3*s. Is 2 a factor of b?
False
Let u be 11/(22/3736) - -3. Let h = -857 + u. Does 16 divide h?
False
Let t be (-8)/10 - 361/(-95). Suppose -5*r = s + 23, 0 = -t*s + 2*r + 15 + 1. Suppose -37 = s*z - 191. Does 5 divide z?
False
Let b(y) = 5*y**2 + 6*y - 14. Let c = -42 - -45. Suppose -2*r - 5*t = -13, -4*r = -c*r - 2*t + 16. Does 19 divide b(r)?
False
Suppose 4 = 2*v - 4*v. Let g be v + (-26)/(-14) - 90/(-42). Suppose 23 = 5*d + g*x, -3*x = -d + 2*x + 10. Is d a multiple of 2?
False
Let t(d) = 396*d - 267. Is 69 a factor of t(12)?
True
Let z(u) = 5*u**2 + 5*u - 2. Let k be z(9). Let r = k + -108. Is r a multiple of 20?
True
Suppose 0 = -3*j + 3*z + 1077, -2*j - 3*j = -z - 1815. Suppose 28*o = 26*o + j. Does 14 divide o?
True
Let g(m) = -m**2 - 12*m - 19. Let v be g(-9). Suppose -v*i = -0*i - 24. Suppose 0 = i*b + 5*x - 625 + 216, 2*b + x - 282 = 0. Is b a multiple of 11?
True
Suppose -3*j = -257*q + 260*q - 14598, 4*q + j = 19482. Does 121 divide q?
False
Let r = -130 - -91. Let l = 43 + r. Suppose 5*a - l*w - 177 = 2*a, -3*a = w - 192. Is 28 a factor of a?
False
Does 30 divide (-10)/6 - (-87780)/45?
False
Let i(b) = 1343*b - 844. Is 28 a factor of i(2)?
False
Let y = 15 + -15. Let i be -9 + 13 + (y - 2). Suppose 5*p = 2*b - 47, i*b - 28 = -p + 1. Is b a multiple of 4?
True
Suppose 0 = -5*a + 3*m - 14, a + 2*m + 7 = -1. Let i(l) = 7*l - 3*l + 3*l**2 - l**3 + 10 + 11*l. Is 18 a factor of i(a)?
False
Suppose 2*b - 98 + 94 = 0. Suppose -35*c + 7656 = -b*c. Does 19 divide c?
False
Let b(c) = 39*c + 29. Suppose 4*t = 11*t - 98. Does 17 divide b(t)?
False
Let r(j) = -j**3 - 13*j**2 - 13*j - 3. Let w be r(-12). Let n be 2*w/(-6)*200/(-15). Let v = n - 29. Is v a multiple of 2?
False
Suppose -5*f + 5*x - 2 = 3*x, 4*x + 20 = -2*f. Let c be f/4 + 1/2. Suppose 0*w - 3*t - 63 = -4*w, w - t - 16 = c. Does 5 divide w?
True
Let o(h) = h**3 - 6*h**2 - 23*h + 11. Let n be o(8). Let d = 57 - n. Does 51 divide d?
True
Let c = 4050 + -2252. Is c a multiple of 62?
True
Suppose -9 = -2*u + 7*u + 4*z, -4*z - 2 = -2*u. Let l be (-4 - 0)/((-7)/u - 9). Does 8 divide (-12 - -31)*3*l/6?
False
Let u(c) = 15*c**3 - c**2 + 4*c - 16. Let t be u(3). Suppose -22*x = -8*x - t. Does 13 divide x?
False
Let b(y) = y**3 - 88*y**2 + 396*y + 611. Is 314 a factor of b(86)?
False
Suppose 202 - 1850 = 206*i. Suppose 0*c - 1044 = -3*c. Is (-2*2)/(i/c) a multiple of 29?
True
Suppose 2*m = 4*m - 8. Suppose 2*s + 2*y - 9 = 1, -s + m*y = -20. Suppose -p - 60 = -2*i + s, 96 = 3*i - 3*p. Is i a multiple of 12?
True
Suppose 5*c - 1195 = -4*v, v = -11*c + 6*c + 1195. Let k = 289 - c. Does 3 divide k?
False
Let j(c) = 5*c**2 - 9*c - 13. Let y(f) = f**2 - f - 1. Let q(k) = j(k) - 3*y(k). Let g be q(3). Is 30 a factor of 2966/14 - g/70?
False
Let l = -31 + 34. Suppose 0 = t + 4*i + 2, -t - 4*i = l*t - 4. Suppose -t*a - 108 = -4*a. Is 18 a factor of a?
True
Let b = 672 - 675. Does 9 divide 999/3*(0 - 2 - b)?
True
Let h = -31427 + 58107. Is h a multiple of 116?
True
Let i = -573 - -5591. Suppose 5*a - i = 1992. Is 44 a factor of a?
False
Suppose -17010 = -3*w + 4*y - 3768, 2*y - 22018 = -5*w. Is w a multiple of 60?
False
Suppose 21823 = 3*i + t, -2*i - 7800 = -2*t - 22354. Does 94 divide i?
False
Suppose -10*o - 10 = -12*o. Suppose -b + 2 = -0, 5*t - o*b - 3515 = 0. Is t a multiple of 73?
False
Suppose 3*r + k = 657, 3*r - 438 = r + k. Let z = r + 342. Does 17 divide z?
True
Let u(w) = 5*w - 5. Let g be u(3). Suppose 0 = -9*v + g*v - 20. Suppose 0*l - 2*p = -l + 34, 5*p = -v. Is 10 a factor of l?
False
Let v(q) be the second derivative of -q**4/12 + 4*q**3/3 + 17*q**2/2 + 8*q. Let o be v(7). Is 12 a factor of (o*(-5 - -3))/(-1)?
True
Does 43 divide (-11 - (-240)/10) + 1243?
False
Suppose 2*g + 3*j = 2847, 0 = 4*g - 5*g - 3*j + 1422. Suppose -5*m - 5*z + 1410 = 0, g = 5*m - 0*z + 2*z. Is 41 a factor of m?
True
Let c be (23/2)/((-4)/24). Let k be c/((-1)/(12/9)). Suppose -25 = p - k. Does 4 divide p?
False
Let g(p) = p**2 + 24*p - 60 + 41 - 37. Let f be g(-23). Let w = -11 - f. Is 6 a factor of w?
False
Let c(t) = 4*t**2 + 40*t - 21. Is c(10) a multiple of 41?
True
Let r be ((-6 - -3) + 5)*(-27)/(-6). Suppose -15*z - r*z + 18816 = 0. Does 23 divide z?
False
Suppose -t = -h - 10354, 3*t + 3*h + 2*h = 31086. Is 22 a factor of t?
False
Let r be 1/6 + 1067/6. Let d = r + 62. Is d a multiple of 48?
True
Suppose 2*m + 0*m = 8. Let p(c) = 7*c - c - 13*c + 7 + m*c. Does 3 divide p(-3)?
False
Let i be 1/12*-9 + (-31)/(-4). Suppose 4*l - i*l + 2*n = -266, 5*l - 3*n = 442. Is 3 a factor of l?
False
Let z be (260/6)/((-106)/(-159)). Suppose 3*c - 14 = 2*h + 4, -5*c - 3*h = -11. Suppose c*j = -n + 1119, 2*j - n - 626 = -z. Is j a multiple of 16?
False
Let c(p) = p**3 + 98*p**2 + 244*p + 312. Is c(-94) a multiple of 20?
True
Let a(u) = -22*u + 2. Let p be a(-1). Let g = 40 - p. Does 2 divide g?
True
Let w(d) be the second derivative of 73*d**3/6 - 35*d**2/2 + 22*d + 2. Does 31 divide w(6)?
True
Let j be 279/54 + -5 - (-1009)/(-6). Let b = 427 + j. Is b a multiple of 10?
False
Is 89 a factor of 7585 + 9*56/72?
False
Let v(q) be the first derivative of -q**3/3 - 8*q**2 - 10*q - 40. Is 3 a factor of v(-6)?
False
Let m(u) = -738*u + 6750. Is m(-11) a multiple of 13?
False
Suppose 123 + 99 = 6*p. Is 65 a factor of (3/(-2))/(p/(-14430))?
True
Suppose 18 = 3*w + 3, 3*r - 3*w = 3735. Suppose -6*u - 242 = -r. Does 8 divide u?
True
Let l = 4 - 1. Let x(q) = -9*q + l*q**2 + 7*q - 7*q - q**2 + 12. Is x(9) a multiple of 31?
True
Let c be (-34)/(-14) - (159/(-21) - -7). Let k = -1 - -6. Suppose s - 36 = -0*s + c*b, -38 = -s + k*b. Is s a multiple of 4?
False
Let x = 211 + -209. Suppose 0 = a + 3*v - 409 - 47, x*a = -v + 917. Does 17 divide a?
True
Let v = -31122 + 32188. Is v a multiple of 244?
False
Let f(h) = 2*h**3 - 10*h**2 - 3*h - 7. Let b be f(6). Suppose -n + b = 5*k, -3*n + 5*k + 143 = -78. Is 3 a factor of n?
False
Is (4*4386/(-68))/(4/(-386)) a multiple of 24?
False
Let h(s) = s**3 + 9*s**2 - 