rue
Suppose v + 2*z = 797, -28*v + 32*v - 3178 = -3*z. Is 13 a factor of v?
True
Suppose 0 = -7*m + 6 + 148. Let o = m - 77. Let a = 83 + o. Is a a multiple of 7?
True
Suppose -2*t + 38 = -3*c - 155, -2*c = -4*t + 390. Suppose 0 = -96*n + t*n - 208. Is 8 a factor of n?
True
Suppose 129*m + 22*m - 264099 = 0. Is m a multiple of 11?
True
Does 29 divide (-116)/(-16) + (-3)/(-4) - -3936?
True
Suppose 113*m + 14915 = 114616 + 40871. Is m a multiple of 20?
False
Let f = -141 + -218. Let m = 853 + f. Does 38 divide m?
True
Let s = -61 - -135. Let a = -14 + s. Is a a multiple of 18?
False
Is 51 a factor of ((-10810)/345)/(2/(-54))?
False
Let p(r) = -3*r**3 + 20*r**2 - 17*r - 27. Let c(f) = 2*f**3 - 10*f**2 + 8*f + 14. Let i(h) = 5*c(h) + 3*p(h). Let s be i(-10). Let z = s - 55. Does 11 divide z?
True
Let t(z) = -z**2 - 20*z + 20. Let b be t(1). Is (b*1)/(-6*(-8)/(-624)) even?
False
Let n = -89 + 179. Suppose -n + 14 = -4*i. Suppose 0 = l + i - 83. Is l a multiple of 5?
False
Suppose 4*s + 0*s = 16, 4*n = -s + 24. Let b(i) = -2*i**3 + 6*i**2 + 5*i - 1. Let z be b(n). Let r = z + 121. Is r a multiple of 9?
True
Suppose 0 = -5*u - 2537 + 3222. Is 12 a factor of u?
False
Let m be 1*3*8/(-4). Let x be ((-72)/10)/(m/40). Suppose -x = -g + 4*f + f, g = f + 36. Is 33 a factor of g?
True
Suppose 331*z - 324*z - 29785 = 0. Is 23 a factor of z?
True
Suppose 44*x - 16566 - 8091 = 21367. Is 15 a factor of x?
False
Let v(u) be the first derivative of 3*u**3 + u**2/2 - 9*u - 2. Does 31 divide v(7)?
False
Let s be -3*((-4)/3 + -3). Suppose -5*j = s - 28. Suppose -j*f + 8*f - 129 = -3*d, f - d - 21 = 0. Does 8 divide f?
True
Is 14 a factor of (-2 + (-119)/2)*11060/(-1185)?
True
Let x be (28/(-21))/(16/(-180)). Suppose 3127 = x*u - 1118. Is u a multiple of 14?
False
Is ((-3)/9)/(215/(-1706670)) a multiple of 18?
True
Is 3 a factor of (0 - -5) + 5920/32?
False
Let m(g) = 25*g**2 - 109*g - 650. Is m(-7) a multiple of 10?
False
Let g(j) = j**3 - 24*j**2 + 28*j - 50. Let h be g(23). Let k = h - 1. Suppose -k + 216 = 4*i. Does 6 divide i?
False
Let k(t) = 239*t + 77. Is k(33) a multiple of 95?
False
Let y(v) = -55*v - 145. Let b be y(6). Let k = b + 881. Is k a multiple of 14?
True
Let q(n) = 4*n + 175 + 80 + 118 - 104. Let m be q(0). Suppose -5*t = -4*r - 58 - m, 4*t - 5*r = 267. Does 9 divide t?
True
Let a(b) = -27*b**3 - 9*b**2 - 45. Is a(-5) a multiple of 23?
True
Let r(z) = 2*z**3 - 194*z**2 + 300*z + 143. Is 66 a factor of r(96)?
False
Let v = 949 + -608. Let h = v - 154. Is h a multiple of 11?
True
Let h(c) = 2571*c + 1068. Does 83 divide h(3)?
False
Suppose 124*h = 117*h + 9114. Is h a multiple of 42?
True
Suppose -37983 - 92197 = -23*f. Is f a multiple of 114?
False
Let k be 33/198 - (-3)/((-36)/(-58)). Suppose -k*i = 3*i - 264. Is 11 a factor of i?
True
Let w be 78/52*(-4)/(-3). Suppose -4*s = -2*g - 12, s + s - w*g = 4. Let a(n) = -n**2 + 8*n - 11. Is 2 a factor of a(s)?
False
Suppose 487*w + 16740 = 507*w. Does 5 divide w?
False
Suppose -o - 55 = -0*o. Let u = -53 - o. Does 20 divide 159 + (u/((-6)/9) - -4)?
True
Suppose 24 = u - 7*u. Let d(r) = -5*r**3 + 3*r**2 - 7. Is 13 a factor of d(u)?
False
Suppose 5*g - 3*c = 785, -c = 2*g + 2*c - 314. Suppose 0*z + 3*z - 117 = 0. Suppose -z - g = -2*k. Is k a multiple of 14?
True
Suppose 1 = -g + 3. Suppose -3*i + 1 = -g*i. Does 17 divide 3 + (i - 3) + 110?
False
Suppose -33*b + 32*b + d = 47, d = 1. Suppose -2*n = 4*t - 144, 3*n - 5*t - 308 = -48. Let l = b + n. Is 34 a factor of l?
True
Let w(j) be the first derivative of 4*j + 1/4*j**4 + 5*j**3 + 5*j**2 - 9. Is w(-14) a multiple of 12?
True
Let u(v) = 1635*v + 815. Is 55 a factor of u(14)?
True
Let w(i) = -24*i**2 + 17*i + 23. Let x be w(-4). Let z = x + 696. Does 19 divide z?
False
Let x = 954 - -1680. Does 6 divide x?
True
Let s be (-795)/(-106)*8/(-10). Suppose 5*g + 4*k + 1 = -25, 2*k = 2*g - 4. Does 22 divide (4 + 1)*g/s*15?
False
Let n be 10*(-2)/12*(5 + -44). Is 55000/n + (-14)/91 a multiple of 18?
True
Let m = 104 - 15. Let a = m - 89. Suppose 4*u - 97 - 279 = a. Does 27 divide u?
False
Suppose 71*m + 25650 = 101*m. Is m a multiple of 9?
True
Let y be (-24)/(-3) + (-22)/2. Let b(k) = -44*k**3 - k**2 + 11*k + 11. Is 90 a factor of b(y)?
False
Is 49 a factor of 125/(-100)*-378*14?
True
Let h(d) = -65*d**3 + 3*d + 4. Let j be (186/124)/(3/(-4)). Does 16 divide h(j)?
False
Let q(r) = -5*r + 9. Let s be q(0). Does 6 divide ((s - 1)/8)/(2/710)?
False
Suppose 58890 = 6*b + 7*b. Is b a multiple of 30?
True
Let z(s) = -11*s**2 - 2*s - 6. Let t be z(-2). Let p = t + 50. Suppose 1340 = p*y + 284. Does 33 divide y?
True
Let d(o) = o**2 + 13*o + 134. Let b be (92/(-6))/((-82)/(-123)). Does 9 divide d(b)?
False
Let y = -19370 - -53167. Is 130 a factor of y?
False
Suppose -18*h = -23*h - 45. Let i be ((-1 - 82/(-6)) + 3)*h. Let k = -72 - i. Is 12 a factor of k?
False
Let i(h) = -8*h - 61. Let f(v) = -v**3 + 6*v**2 + 12*v - 2. Let r be f(7). Suppose r + 67 = -5*a. Is i(a) a multiple of 9?
True
Let d = 78 - 83. Let t be (-10 - d)*(-8)/10. Suppose -3*c + 124 = -h + 3*h, 80 = 2*c + t*h. Is 21 a factor of c?
True
Let a(g) = -794 + 267 + 398*g**2 + 267 + 262. Does 8 divide a(1)?
True
Let j(f) = 2020*f**2 - 4*f - 3. Is 33 a factor of j(-2)?
True
Suppose 5*k + 3*p = 156 + 104, 2*k - 4*p - 78 = 0. Let w(v) = 30*v**2 + 3*v + 1. Let y be w(-2). Suppose -k = -4*c + y. Does 11 divide c?
False
Suppose -4*h + 0*i - 334 = -5*i, -4*h - 316 = 4*i. Let l be (-4 - -2) + (-192 - 1). Let x = h - l. Does 30 divide x?
False
Let n be -5 + 5/((-15)/12). Let z(d) = d**3 + 11*d**2 + 9*d + 7. Is z(n) a multiple of 4?
True
Suppose -452928 = -522*d + 515*d. Does 12 divide d?
True
Suppose -4*l = 4*g - 2636, 2*l + 1600 - 274 = 2*g. Suppose 0 = 14*b - 1985 - g. Is 50 a factor of b?
False
Is (-885)/(45/(-36) - (-2)/4) a multiple of 118?
True
Suppose -117 = -2*s + 505. Suppose -4*d + s = -129. Does 12 divide d?
False
Let u = 4760 + -2776. Suppose 5*k + 3*k - u = 0. Suppose 0 = -2*x + k + 116. Is x a multiple of 13?
True
Suppose 0*x - 2*x + 12 = 0. Suppose -x*w = -42 - 84. Is 14 a factor of (2*w + 0)*2?
True
Let s = 57 + -59. Let a(h) = -45*h**3 + 5*h. Does 7 divide a(s)?
True
Let b(m) = 384*m + 6. Is b(6) a multiple of 22?
True
Let p(q) = q**3 - 11*q**2 + 15*q - 21. Let a be p(10). Let o = 51 + a. Let j = o + 68. Is j a multiple of 33?
False
Let g(d) = -6*d - 5. Let x be g(7). Let m = -74 - x. Is 12 a factor of 112/3 - 18/m?
False
Suppose 3 + 17 = 4*s - 3*h, 6 = -3*s - 3*h. Suppose -5*m + 39 = z, -3*m = -s*m + z - 7. Let i(x) = -2*x**2 + 19*x - 17. Is i(m) even?
False
Suppose -6 = -6*h + 12. Suppose -2*w - 2*p + 14 = 0, 3*p = h*w - p - 21. Does 11 divide (-580)/(-28) - (-2)/w?
False
Suppose 81222 + 180985 = 10*r + 23927. Is 74 a factor of r?
True
Let h(d) = d**2 - 13*d - 82. Let n be h(-5). Suppose -5*u + 7800 = n*u. Is u a multiple of 12?
True
Suppose 991 = b - 2*h, -b - 3*b = 3*h - 3953. Is b a multiple of 32?
False
Let r = 1943 + -1740. Is r a multiple of 91?
False
Suppose 4 = 4*w - m, 25 = 5*w + 4*m - 1. Suppose -d = -h - 585, -d + w*h = -0*h - 587. Is d a multiple of 11?
True
Let a = -115 - -81. Let m = a - -25. Let t = m + 25. Does 3 divide t?
False
Let j(v) = -388*v - 3642. Is 299 a factor of j(-91)?
False
Let y = -75 + 86. Let g be y/2 - (-8)/(-16). Suppose 0 = g*o + 4*o - 1350. Does 25 divide o?
True
Suppose 95*j - 8988 = 83*j. Is j a multiple of 3?
False
Let b(i) = -2*i**2 + 57*i - 326. Let f be b(10). Suppose -4*r - 86 = -2*m + 76, -3*m = -2*r - 87. Let k = r + f. Is k a multiple of 2?
False
Suppose 0 = 4*x + r - 49117, 2*r + 28799 + 20315 = 4*x. Does 36 divide x?
False
Suppose 4*w + 5*k = 22, -5*k + 11 - 7 = -2*w. Suppose -4*u + 922 = -c, -u = -0*u + w*c - 224. Does 23 divide u?
True
Suppose 0 = -15*g + 10*g. Suppose 7*i + 4*p = 2*i + 176, -4*i + 5*p + 108 = g. Is 8 a factor of i?
True
Let k = -792 - -795. Suppose d - 1 = 0, k*p + 3*d = 5*p - 237. Is p a multiple of 10?
True
Let r(q) = -q**2 - 12*q - 9. Let p be (-84)/(-21) + -15 + 0. Let o be r(p). Suppose 32 = o*d - 2. Does 13 divide d?
False
Let a be 2*26*(2 + 52/(-16)). Let l = a + 55. Let q(p) = p**3 + 11*p**2 - 4*p - 4. Is 17 a factor of q(l)?
True
Suppose -6*q + 20 = -2*q. Let z(j) = -j**2 + 8*j - 9. Let u be z(q). Suppose u*h - 43 = 47