alse
Let s = 24320 - 20398. Is s a multiple of 2?
True
Let f = -372 - -947. Suppose 7*z - 225 + f = 0. Let k = -48 - z. Is 2 a factor of k?
True
Let x = 372 - 372. Suppose -c - 5*g + 760 = x, -2*g - 2915 = -4*c + 3*g. Does 22 divide c?
False
Suppose 4*y - 15896 = -4*o, -5*o - 2430 = y - 22304. Is 10 a factor of o?
False
Suppose 17*c - 5*j - 310 = 16*c, -5*c = 5*j - 1460. Does 5 divide c?
True
Let b(s) = 4*s**2 - 24*s - 21. Let a be b(15). Let h = 856 - a. Is h a multiple of 14?
False
Let x = -36 + 39. Let a(f) = -8*f**2 - 4*f + 5. Let y be a(x). Let q = 152 + y. Is 6 a factor of q?
False
Suppose 0 = 7*b - 5*b - 74. Suppose -b*q + 880 = -32*q. Does 16 divide q?
True
Suppose -1181 = -19*d + 144796. Is 39 a factor of d?
True
Suppose -4*j = -q - 152, -4*q - 2*j - 512 = -q. Let x = q + 191. Is 23 a factor of x?
True
Suppose 16*a + 6970 = 18682. Let z = 1253 - a. Is z a multiple of 51?
False
Let m be (-7 + 0)/((-8)/744). Let x = m - -38. Suppose -x = -4*d - 137. Does 10 divide d?
False
Suppose 2*p + 2*p - 4*q + 28 = 0, p + 3*q + 3 = 0. Let x be -44 + 7/(21/p). Let a = x - -94. Is 16 a factor of a?
True
Let q(j) = j**3 - j**2 + 6*j - 3. Let l be (1 + 1)/(4/8). Let u be q(l). Let b = u - 48. Is b a multiple of 4?
False
Let l = 28651 - -5133. Is l a multiple of 41?
True
Let l = -31 + 35. Suppose l*i + 4*j = 181 + 11, 4*j + 158 = 3*i. Suppose 7*b = 449 - i. Is 6 a factor of b?
False
Let r = -4757 - -4946. Is 63 a factor of r?
True
Suppose 4110 = 653*a - 659*a. Let p = a - -1114. Is 22 a factor of p?
False
Let q(c) = -c**3 - 3*c + 2. Let h be q(3). Let s be (h/4)/((-1)/(-2)). Let z = s + 72. Is 6 a factor of z?
False
Let m(k) = -k**2 - 1. Let p(j) = -126*j**2 - 3*j. Let o(c) = -m(c) - p(c). Suppose 0*w - 6*w = 6. Is o(w) a multiple of 25?
True
Let o = -528 - -1372. Suppose 0 = -5*x + m + 2123, 3*m + o = 2*x - 0*m. Is x a multiple of 17?
True
Let v(d) = d**2 + d - 21. Let c be v(0). Let y = c + 57. Suppose b - 3*g = 37, -g - g = -b + y. Is 34 a factor of b?
True
Suppose 545061 = 56*j - 246163. Does 29 divide j?
False
Let c(f) = -12*f + 5. Let a(l) = l**2 - 10*l - 3. Let w be a(9). Is 28 a factor of c(w)?
False
Suppose -2753 = -o - 7*a, o - a + 5*a - 2744 = 0. Does 13 divide o?
False
Let r be ((-18)/10)/(138/(-230)). Suppose -r*f = -4*t - 392, 42 + 91 = f + t. Does 33 divide f?
True
Let u be 1905/375 - (-6)/(-75). Suppose -3*o = -4*q + 5080, 11*q - 6350 = 6*q - u*o. Is q a multiple of 10?
True
Let x = 105 - 101. Suppose o = -0*j + x*j - 341, 4*j = -3*o + 321. Is 5 a factor of j?
False
Let s(o) = -6*o - 43. Let i be s(-12). Suppose i*j - 369 = 20*j. Is j a multiple of 10?
False
Suppose 0 = -18485*v + 18508*v - 385319. Does 91 divide v?
False
Let c(r) = -r**3 - 7*r**2 - 2*r - 5. Let f be c(-7). Suppose 2*m - 6*q - 30 = 106, 5*m + 4*q = 378. Suppose m*i - f = 73*i. Is i even?
False
Let h(c) = -102*c - 1226. Does 7 divide h(-30)?
True
Let k = -33280 - -39641. Is k a multiple of 144?
False
Let n(a) = -2*a**3 - 7*a**2 + 27*a + 20. Let r be n(-10). Is (16/10)/(7/r) a multiple of 30?
True
Let b(x) = 245*x - 551. Is b(5) a multiple of 32?
False
Let n(x) = x**2 - 99*x + 2218. Is 11 a factor of n(130)?
True
Let i = 26579 - 14914. Is i a multiple of 20?
False
Let y = 27217 - 26034. Does 12 divide y?
False
Let y(k) = -k**3 - 3*k**2 - 4*k + 1. Let s be y(-4). Let n be (3 + 1)*s/6. Suppose 0 = -b - n + 104. Is b a multiple of 13?
False
Suppose y = 3*d + 20 - 3, -66 = -3*y + 4*d. Let r = y - 25. Is 35 a factor of r - -10*5*2?
False
Let u = -26926 + 37894. Is 36 a factor of u?
False
Suppose 0 = -v - v + 10. Suppose -867 + 658 = -11*p. Suppose -v = -g + p. Does 6 divide g?
True
Suppose 11*b = 4*b + 28. Suppose -b*y + 16 = -8. Is 6 a factor of (6 + y)*(15/2)/5?
True
Let z be (-3)/3*(-3 + 8 - 3). Does 34 divide (2/z + 2)*(-1182)/(-3)?
False
Let z be 5 + -2 + (-6 + 4 - -4). Suppose 26 - 82 = -2*n. Suppose -n = z*k - 173. Is 29 a factor of k?
True
Let p = 13 - 21. Let j = -175 - -332. Is 12 a factor of j/4 + (-6)/p?
False
Let f be -5*2*(-92)/40. Suppose 8*v - 359 = -f. Is v a multiple of 14?
True
Suppose -82*g + 75790 = -29*g. Does 11 divide g?
True
Let k = -1268 - -6912. Is k a multiple of 5?
False
Let h be -147 - (1 - (-1)/(4/12)). Let w = h + 178. Does 9 divide w?
True
Suppose -62*j = 192461 - 1020037. Is j a multiple of 188?
True
Let i be (4 - (-16)/(-5))/((-2)/(-30)). Is 1*-2*(-1494)/i - -3 a multiple of 21?
True
Let i be 2*(-8 - (-2 + -4)). Does 42 divide 20660/65 - -1 - i/26?
False
Let a(h) = -2*h**3 + 128*h**2 + 10*h + 200. Is 12 a factor of a(64)?
True
Suppose -37*j = -34*j + 165. Let h = j - -61. Is 4/(16/171) + h/(-8) a multiple of 7?
True
Let o be ((5/2)/((-2)/4))/(-1). Suppose -2*d + o*a = 3*d, -2*d + 5*a = -3. Is 2*(-324)/8*d a multiple of 9?
True
Let u = -832 - -466. Let h = u - -584. Suppose 4*t - 134 = h. Is 15 a factor of t?
False
Let a(i) = 20*i**3 + 5*i**2 + 13*i + 6. Let c be a(-3). Let l = c + 1005. Is 53 a factor of l?
True
Suppose -124*v - 74 = -125*v. Let c = v - -572. Does 38 divide c?
True
Suppose 5*x - 50878 = 4*u, -10164 = -190*x + 189*x - 5*u. Is x a multiple of 60?
False
Does 57 divide -17 - -5 - (-6093 - -11)?
False
Let d = -20645 - -31960. Is d a multiple of 6?
False
Does 10 divide -7 - (-18 + -24098 + -16)?
False
Let j(r) = 3*r + 10. Let v be j(-2). Suppose v*f - 210 = -t - 36, 4*t - 675 = 5*f. Does 34 divide t?
True
Let t = 7041 + -5441. Does 16 divide t?
True
Suppose -9723 = 15*s + 147. Let m = s - -828. Is m a multiple of 6?
False
Suppose -5*n = 5*u - 390, -6*n = -8*n - 5*u + 150. Suppose -8*f - n = -2720. Is f a multiple of 11?
True
Let q = 14 - 8. Let h(b) = -11*b**2 + 26*b - 30. Let o(m) = 5*m**2 - 13*m + 12. Let z(w) = 2*h(w) + 5*o(w). Does 10 divide z(q)?
True
Suppose 25 = -5*a, -o - a + 16 - 1 = 0. Let p(j) = 161*j**2 - j - 2. Let b be p(2). Suppose -o*g + 15*g = -b. Does 32 divide g?
True
Suppose -14*n + 17*n + 2*o - 27195 = 0, n - 5*o = 9082. Does 42 divide n?
False
Let r(z) = 3906*z + 24. Let m be r(2). Suppose -13*s + 5827 + m = 0. Is s a multiple of 28?
False
Suppose 16*f = -157732 - 21628. Does 19 divide (1 - 0)/((-59)/f)?
True
Let n = -10191 - -34026. Is n a multiple of 96?
False
Suppose 2*i - 2 + 14 = -4*n, -3*i + n = -17. Suppose 0 = u - 2, -2*u + 0 = -i*k + 8. Suppose 4*d = -5*f + 339, f + 428 = 5*d + k*f. Is d a multiple of 26?
False
Let t(w) = -w**3 - 2*w**2 + 9*w + 9. Let m be t(-4). Suppose -m*z - 167 + 947 = 0. Is 26 a factor of z?
True
Let q(u) = -3*u + 2. Let r be q(0). Let y be ((-147)/28 + 9)/(r/(-8)). Is 30 a factor of (-2668)/y - 36/(-270)?
False
Let n = -193 - -195. Is ((-8)/1)/n + 123/1 a multiple of 27?
False
Let v(x) = 27*x. Let g be v(2). Let h be 158/3 + (-36)/g. Let q = h + 113. Is q a multiple of 33?
True
Let l(r) = -19*r + 478. Let k be l(23). Suppose 4*o - 18 = -3*z - o, 4*z = 5*o + 24. Suppose -z*t + k = -583. Does 26 divide t?
True
Let h(u) = -u + 10. Let v be h(-25). Suppose -91 = -6*k + v. Is 21 a factor of k?
True
Is 39/(1092/(-112)) + 2268/2 a multiple of 2?
True
Suppose 27*n = 18*n - 3024. Let q = n - -809. Does 11 divide q?
True
Suppose -8076 + 5956 = -14*y + 20672. Is 38 a factor of y?
False
Suppose 23 = -3*t + 4*q, 5*t + 3*q - 9 = 1. Let d be t/(-7) - 60/(-21). Let y = d + 190. Is 28 a factor of y?
False
Let o be (102/10)/(((-4)/20)/1). Suppose 6*y + 42 = 5*y. Let r = y - o. Is r a multiple of 9?
True
Let p be (4 - (1 + -2))*1 - -335. Suppose 0 = -p*c + 338*c + 832. Is 32 a factor of c?
True
Suppose 5*r - 2 = 2*p + 5, -3*r + 4*p - 7 = 0. Suppose 3*q + 42 = 3*u, 10 = r*u + 2*q - 37. Let s = u - -23. Is s a multiple of 13?
False
Let y = 8433 + 4879. Is 64 a factor of y?
True
Let w(p) = -p**3 + 32*p**2 - 19*p + 38. Suppose 0 = 63*i - 55*i - 248. Let u be w(i). Suppose 2*l + 106 = j + 12, -5*j - 2*l + u = 0. Is j a multiple of 28?
True
Suppose -3*j - 6030 + 114 = -2*l, -8896 = -3*l - j. Is l a multiple of 13?
True
Suppose 2*d = -3*y - 1, 3*y + 5*d - 4 = 4*d. Let u(r) = 4*r**3 + 2*r**2 - 7*r + 4. Does 14 divide u(y)?
False
Let d(g) be the second derivative of g**3/3 - 14*g**2 + 18*g. Let x be d(15). Let a(b) = 63*b - 7. Is a(x) a multiple of 19?
False
Let o = -207 + 475. Suppose -5*z + 307 = -2*b, -4*b + o = 3*z + z. Is z a multiple of 3?
True
Let i(f) be the second derivative of f**4/12 - 19*f*