rue
Suppose -114 = -2*c + 2*a, -a - 3 - 1 = 0. Suppose -54*l - 6 = -c*l. Is (-145 + -5)/(l/3) a multiple of 10?
False
Suppose -7*n + 936 = 32*n. Does 5 divide n/(-276) - (-4834)/46?
True
Let c = -240 + 244. Suppose 3*x - 2263 = 5*y, -12*x - c*y - 1508 = -14*x. Is 43 a factor of x?
False
Suppose -4*b - 24088 = -8*b - u, -5*u = -3*b + 18043. Is b a multiple of 13?
False
Let v(w) = w**3 + 5*w**2 - 20*w + 10. Suppose 0 = 96*b - 103*b + 28. Is v(b) a multiple of 9?
False
Suppose 3*a + 5*z - z = 7300, z - 4 = 0. Is 7 a factor of a?
False
Let l be (111944/(-16))/((-2)/(-8)*-2). Suppose 23*n + 768 = l. Does 25 divide n?
True
Suppose b = -4*s + 3218, 614*b + 2*s - 3230 = 613*b. Is 5 a factor of b?
False
Let l(q) = -q**3 + 4*q**2 + 6*q - 1. Let c be l(5). Let z(v) = -58*v - 175. Let r be z(-5). Suppose -n - c*n = -r. Is n a multiple of 3?
False
Let r = 223 - 179. Does 4 divide r?
True
Let w = 4899 - 3808. Is w a multiple of 40?
False
Let m = -86 - -509. Suppose 3*y = m - 75. Suppose 5*g = 4*q - 64 + 361, y = 2*g - 3*q. Does 16 divide g?
False
Let o(c) = c**3 + 12*c**2 + 6*c - 42. Let q be o(-11). Suppose -q*z + 912 = -z. Is 38 a factor of z?
True
Suppose -94*q + 344984 + 95477 = -49373. Is 27 a factor of q?
True
Let n(t) = 2*t**2 + 22*t + 2. Let b be n(-11). Let z(f) = -4 + b - f**2 + 5*f + 16 + 10*f**2. Does 46 divide z(-4)?
True
Let r = -7 + 3. Suppose m + 308 = -d - 103, -5*m = d + 423. Is 17 a factor of 7/(((-6)/d)/((-1)/r))?
True
Let q = -11 + 111. Let p = -52 + q. Does 3 divide p?
True
Let w = 517 + -498. Suppose -13964 = -w*b - 398. Is 42 a factor of b?
True
Let y(a) = 392*a**2 - 100*a - 744. Does 7 divide y(-8)?
True
Let y(k) be the third derivative of k**5/60 + k**4/8 - k**3/6 + k**2. Suppose 25*r + 68 = 42*r. Does 3 divide y(r)?
True
Suppose -6*o - 683 - 415 = 0. Let b = o + 186. Does 3 divide b?
True
Let y(k) = 8*k**2 - 8*k + 10. Let z be 2 - 5 - -1 - -4. Let v be y(z). Let w(l) = -l**2 + 31*l - 58. Does 6 divide w(v)?
True
Suppose 15 = 2*l + w + 2*w, -5*l + 3*w = -6. Let b = -124 + 124. Suppose b = -4*r + l*n + 204, -15*n + 17*n = -8. Is 16 a factor of r?
True
Suppose -2*l + 561 = -287. Let y = l - 196. Does 12 divide y?
True
Let t(z) = 1446*z**2 + 386*z - 1145. Is t(3) a multiple of 7?
True
Let w(q) = -48*q - 1575. Is w(-71) a multiple of 5?
False
Let u be 6/10 - (-7110)/150. Let k be (18/(-10) + 1)/(u/3720). Let p = 94 + k. Is p a multiple of 32?
True
Let m = 196 + -193. Suppose -4*p - m*v + 2644 = 0, -269 = p + 5*v - 913. Is p a multiple of 40?
False
Suppose 252 = -2*m + 260. Suppose 2684 = m*a - 2*v, a - 6*a = -v - 3355. Does 25 divide a?
False
Let j be 6/(-3)*6/3. Let s be 2/(j/(-6))*2/3. Suppose -2*y + 800 = s*y. Is 40 a factor of y?
True
Is (-8)/56 + (-3203967)/(-273) a multiple of 72?
True
Let v(m) = -4*m**2 - m + 1. Let s be v(1). Let w be 707/77 + s/22. Let y = 36 - w. Does 27 divide y?
True
Let t = -515 - -849. Let z = t + -220. Does 19 divide z?
True
Let g(j) = 218*j - 1388. Does 8 divide g(8)?
False
Suppose -278 = -f + 6*j + 9743, 0 = -2*j. Does 20 divide f?
False
Let p = -2679 + 1863. Let a = p + 1449. Is a a multiple of 19?
False
Let c = 222 - 218. Suppose -5*n = -4*k - 6736 - 2704, c*n - 2*k = 7552. Does 32 divide n?
True
Let i(h) = h + 25. Let m be i(-14). Suppose -m*f = -6*f - 20. Suppose -9*z + f*z = -450. Does 30 divide z?
True
Let o = -2657 - -4847. Is 10 a factor of o?
True
Suppose 5662 = -3*z + 22*z. Let x = z + -140. Is 13 a factor of x?
False
Is (-1)/((-14)/8) + (-2125740)/(-2485) a multiple of 3?
False
Let a(u) = 3*u**2 + 2*u + 37. Let j be a(0). Suppose -258 = j*n - 43*n. Is n even?
False
Let v(i) = -42*i + 357. Does 51 divide v(0)?
True
Let v(k) = 5*k + 40. Suppose w + 14 = -4*m + 3*w, -3*m - 4*w + 6 = 0. Is 2 a factor of v(m)?
True
Let c(t) = t**3 + 8*t**2 + 14*t + 4. Let m be c(-4). Is (-2)/11 - (m + (-14976)/88) a multiple of 79?
True
Suppose -4*s + 12408 = 2*j, -204*j - 18606 = -207*j - 3*s. Does 124 divide j?
True
Suppose -3*b - 226800 = -5*k, -33*k = -32*k - 4*b - 45360. Is k a multiple of 35?
True
Let r(y) = -6017*y - 151. Is 25 a factor of r(-3)?
True
Suppose -2*t + 5*r + 32 = -58, 5*t - 291 = -4*r. Suppose -39 + t = 8*n. Let q(y) = 12*y**3 - 2*y. Does 23 divide q(n)?
True
Let z = -43 + 46. Suppose 2*k = -3*n + 35, -z*n + 4*k + 26 = -21. Let q(x) = 3*x - 5. Is q(n) a multiple of 7?
False
Let h = -83 - -88. Suppose 0 = h*k - 21*k + 16. Let s = k + 93. Does 23 divide s?
False
Let s(n) = -n**3 + 8*n**2 - 4*n + 10. Suppose 0*t = -2*t + 5*z + 51, -4*t + 144 = 4*z. Suppose -t - 3 = -6*l. Is 12 a factor of s(l)?
False
Let w(f) = -15*f + 210. Let x be w(22). Is 15 a factor of 5 + 258*x/(-18)?
True
Suppose -11*b + 6*b = -2*r + 1850, b - 1862 = -2*r. Suppose -128*t + 129*t - r = 0. Does 15 divide t?
True
Is (8766/(-12) - 3)*4/(-6) a multiple of 3?
True
Suppose -28*r - 285228 = -55*r. Is 58 a factor of r?
False
Let p(s) = -158*s + 32. Let x be p(-6). Suppose 0 = -0*n + 7*n - x. Does 28 divide n?
True
Let w = -8689 + 8855. Is w a multiple of 110?
False
Let k be (-9946)/(-16) - (-3 - 63/(-24)). Suppose 9*d - 80 = k. Does 6 divide d?
True
Is 45 a factor of (-1 + 3/4)/(30/(-65640))?
False
Let j = 269 - 267. Let t = -15 + 19. Suppose -3*n = -j*c - 122, -5*n + t*c + 230 = 6*c. Does 4 divide n?
True
Let r(o) = 8*o**3 - 5*o**2 - 2*o - 47. Is 39 a factor of r(7)?
False
Suppose 0 = 3*n - 0*n + h - 2854, 2*h - 4758 = -5*n. Suppose 0*l = -2*l + n. Suppose -3*w = 2*w - l. Is 19 a factor of w?
True
Let b = 192 + -163. Suppose b*m + 50 = 34*m. Does 10 divide m?
True
Let t = 14684 - 11904. Is 139 a factor of t?
True
Let a = -1 - -8. Let o be (-4)/14 + 10*3/a. Suppose o*m = 3*n + 195, 4*m - 3*n - 60 = 3*m. Is m a multiple of 6?
False
Let r = -17 - -15. Is 88/(-110)*(r + -268)/1 a multiple of 24?
True
Does 14 divide (-12 - -1159) + 26/(-2)?
True
Let w(v) = -19*v + 6. Let n be w(11). Suppose 1 = -4*j - 23. Is 41 a factor of 1/((-15)/j) - n/5?
True
Suppose 320 = 6*n + 2*n. Suppose 38*d - n*d + 22 = 0. Suppose -d*w + 363 = 88. Is w even?
False
Is 49/((1/(106/3))/(84/56)) a multiple of 53?
True
Let u(m) = 2*m**2 - 33*m + 110. Let i be u(4). Suppose -i*w + 3231 = -9. Does 18 divide w?
True
Suppose -2 + 1 = i - 4*a, 3*i - 4*a - 13 = 0. Let p(f) = 12*f - 7 - 6 + 15*f - 8*f. Does 20 divide p(i)?
True
Let t(b) = 434*b. Let u be t(1). Let g = u + -301. Is g a multiple of 37?
False
Let p(h) = -h**2 - 11*h - 38. Let t be p(-23). Let s = t + 337. Is 13 a factor of s?
False
Is 26 a factor of (-10 - 0) + (-305 + 28)*-50?
False
Suppose 81*h - 14 = 74*h. Is 18 a factor of -1*2 + 63 + h + -9?
True
Let o = -235 + -109. Let f = -224 - o. Is f a multiple of 10?
True
Suppose 4*h - 13 = -5*y + 6, 2*y + 2*h - 8 = 0. Suppose -y*n = -n - 10. Suppose n*p - 140 - 20 = 0. Is p a multiple of 9?
False
Is 89/(-178) - 29310/(-12) a multiple of 49?
False
Let h(w) = 26*w**2 + w + 1. Let l(z) be the first derivative of z**3/3 - 2*z**2 + 4*z + 28. Let n be l(3). Does 7 divide h(n)?
True
Suppose 26*c = 27*c + 190. Let n = c + 211. Is 3 a factor of n?
True
Let o = -2920 + 5262. Let d = 3530 - o. Is d a multiple of 18?
True
Let u(d) = -146*d - 5382. Is 26 a factor of u(-52)?
True
Suppose 209*g = 155*g + 450954. Is g a multiple of 14?
False
Let d(y) = -y**3 - 34*y**2 + 89*y - 161. Is d(-38) a multiple of 11?
True
Let t = 255 - -154. Suppose x - 135 = k, -5*x + 2*x + t = -5*k. Suppose 10*d - x = 117. Does 9 divide d?
False
Suppose a = 3*a - l - 18184, 4*l = -4*a + 36344. Is 30 a factor of a?
True
Let m = -619 - -869. Let w = -1 - -5. Suppose -m = -w*x - 6*x. Does 4 divide x?
False
Let w(s) = 4*s - s**2 + s - 2 - 8 - 6*s. Let u be w(-10). Let d = 44 - u. Is d a multiple of 16?
True
Let v(t) = -36*t - 123. Suppose -2*i = -5*p + 36, -49*p = -4*i - 48*p - 72. Does 15 divide v(i)?
True
Let m(x) = -90*x - 9. Let g(y) = 45*y + 5. Let l(t) = 11*g(t) + 6*m(t). Let k be l(-2). Let u = -41 + k. Is u a multiple of 10?
True
Let y(k) = 19*k + 97. Let p(m) = -5*m - 24. Let v(c) = -26*p(c) - 6*y(c). Is v(2) a multiple of 3?
False
Suppose 18*o = 13*o + 16060. Suppose -19*l = -30*l + o. Does 23 divide l?
False
Suppose -2637*b + 2634*b + 22560 = 0. Is 80 a factor of b?
True
Let m be (2/(-8))/((-49)/8 + 6). Suppose 0 = m*w - 4*d - 770, 4*w = 9*w - 5*d - 1925. Is w a multiple of 35?
True
Let