/28*3*m/3?
True
Suppose -4*r = -4*n + 283 + 709, -3*r = 3*n - 738. Is n a multiple of 5?
False
Let v(o) = -72 - 30 - 8 - 59*o - 35. Is v(-5) a multiple of 15?
True
Suppose -h + 77 = 10*h. Suppose 0 = h*g - 10*g + 288. Suppose 0 = 2*u + k - 174, -u - 9 = 4*k - g. Does 16 divide u?
False
Suppose -i - 2213 = -w + 2225, -4*w + 6*i + 17756 = 0. Is w a multiple of 9?
False
Is 6480/(-14)*8932/(-957) a multiple of 72?
True
Let t be ((1 - 2) + 191)/((-28)/42). Let f = t - -427. Is f a multiple of 54?
False
Let n(j) = -4*j**2 - j - 1. Let c be n(-1). Let l be 0/(2 + c - -4). Suppose -3*d = 4*q - 228, 3*q - d - 171 = -l*d. Is q a multiple of 19?
True
Let m(k) = k**2 + 11*k - 38. Let q be m(-11). Let p = -12 + q. Is 4 a factor of 0/(-1) + (-8)/(-4) - p?
True
Suppose -2*p = -5*c + 9*c - 14, 3*p - 2*c - 13 = 0. Suppose -p*x + 63 = -72. Is 22 a factor of x?
False
Let g(b) = 68*b - 42. Suppose -t = -t - 2*t. Suppose t = -9*q - 0*q + 45. Does 46 divide g(q)?
False
Let z(a) = -198*a**2 + 12*a + 3. Let k be z(3). Let n = -1023 - k. Suppose 6*v - v = n. Is 24 a factor of v?
True
Let g(l) = 17*l**2 + 13*l - 88. Let k(d) = 8*d**2 + 7*d - 43. Let j(h) = -4*g(h) + 9*k(h). Does 17 divide j(7)?
True
Let d(l) = -l**2 + 10*l - 2. Let k = 8 + -1. Let w be d(k). Suppose -h + 46 = w. Does 3 divide h?
True
Let b = 181 + -175. Let i(t) = 12*t + 135. Does 33 divide i(b)?
False
Let k(i) = 4662*i**3 - 2*i**2 - 69*i + 70. Is 59 a factor of k(1)?
True
Let c(n) = -2*n**2 + 24*n + 17. Let l be c(12). Suppose l*i - 2394 = 3862. Does 46 divide i?
True
Suppose -196 - 115 = -w - 5*z, -963 = -3*w - 5*z. Let p = w + 913. Does 15 divide p?
False
Let y = 464 - 449. Suppose -y*t + 5841 = -6*t. Is 40 a factor of t?
False
Suppose 0 = -39*y + 15*y + 336. Suppose -12417 - 11845 = -y*z. Is z a multiple of 70?
False
Is (-1)/3 - 2/6*235184/(-8) a multiple of 163?
False
Let p(t) = 7*t**2 - t**2 - 11*t - 114 - 3*t + t - 4*t**2. Does 15 divide p(18)?
True
Suppose -2*h - 8145 = -5*i - 5*h, 3*h = -2*i + 3249. Suppose -15*z - i = -31*z. Does 12 divide z?
False
Does 6 divide 1620/189 + 16/(-2) - 43458/(-21)?
True
Is 36/126 - (2 + (-4)/(-28)*-1293) a multiple of 3?
True
Let y = 217 + -214. Let v(d) = d**2 - 2*d - 4. Let l be v(3). Is 30 a factor of (14 + 35)*(-1 + l + y)?
False
Suppose -11*u + 751 = 234. Does 6 divide u?
False
Let q(o) = -o**2 + 19*o - 29. Let h be q(14). Let j = h + -51. Let r(f) = -4*f - 22. Is r(j) a multiple of 18?
True
Suppose -3529902 = -246*l + 2269709 - 1356851. Is l a multiple of 43?
True
Suppose -2*n + j + 16 = -2*j, -n + 2*j + 7 = 0. Suppose 0 = -2*u - 4*l + 1336, 5*l = 36 - n. Suppose -u = q - 4*q + 4*m, -2*m + 448 = 2*q. Is 27 a factor of q?
False
Let p(f) be the third derivative of -f**5/40 + 11*f**4/24 + 4*f**3/3 + 25*f**2. Let b(s) be the first derivative of p(s). Is b(-5) a multiple of 13?
True
Does 12 divide 16/(-6) - (15 - (-329107)/(-69))?
True
Suppose 0 = 42*g - 35*g + 742. Is g/(((-24)/84)/(5/7)) a multiple of 53?
True
Suppose 4*o - 4*g = -316, 3*o + 4*g + 328 - 105 = 0. Let q = -77 - o. Suppose q = v + 3, 0 = 2*k + 2*k - 2*v - 146. Does 6 divide k?
False
Suppose 0 = 18*v - 15*v - 15. Suppose b = -d - 3 + 9, 0 = -v*b - 2*d + 27. Does 11 divide 2 - (b - 1) - -150?
False
Let a = -188 - -342. Let p = a - 26. Suppose -4*c + 480 = -x - p, x = 0. Does 42 divide c?
False
Let k(v) = -v + 26. Let d be k(29). Is 6 a factor of (-238)/(-4*d/(-6))?
False
Let s(l) = 4*l**2 + 31*l + 28. Let t be s(-8). Suppose -t = -6*d + 594. Does 35 divide d?
True
Let d be (-3)/30 - (-969)/190. Suppose -d*q + 380 = f - 0*q, -3*q = -4*f + 1451. Is f a multiple of 40?
False
Let h = -36872 - -39232. Is 5 a factor of h?
True
Suppose 5*m - 25 = 3*t + t, 10 = -t + 2*m. Let x(d) = -d**3 + d**2 + 62. Is 3 a factor of x(t)?
False
Let v(q) = -482*q - 91. Let i be v(5). Is 26 a factor of (i/(-7) - 8/28) + 6?
False
Let l(a) = 52*a - 37. Suppose 0 = -21*v + 27 + 57. Does 57 divide l(v)?
True
Suppose 72*n + 64*n + 27*n = 1284440. Is 54 a factor of n?
False
Let b = 17 + -14. Suppose b*a - 1064 = -5*a. Does 31 divide a?
False
Let o(q) = 2*q**2 - 5*q + 2. Let s be o(3). Suppose -s*w - 126 - 54 = 0. Let n = w - -105. Is 23 a factor of n?
True
Suppose 14314 = 2*m + 6*v, -10*m + 12*m - 3*v - 14377 = 0. Is m a multiple of 37?
True
Suppose 864*w = 938*w - 82140. Is 15 a factor of w?
True
Suppose f = -j - 0*j + 424, -2*f + 852 = j. Let y = -258 + f. Suppose -3*q + q + 3*b = -315, -b = q - y. Does 21 divide q?
False
Let w(t) = t - 1. Let u(d) = -15*d + 30. Let k(y) = -u(y) - 20*w(y). Let v be k(-2). Suppose v = 7*o - 8*o + 56. Is 16 a factor of o?
False
Let q(i) = i**2 - 8*i + 12. Let g be q(7). Suppose 0 = 5*l - 6*l + g. Suppose l*p + p = 252. Is 7 a factor of p?
True
Is 55 a factor of 17/(68/4)*33385?
True
Let z = 1 - -51. Let a(p) = -2*p**3 + 19*p**2 + 6*p + 18. Let w be a(10). Let c = w + z. Does 5 divide c?
True
Suppose 201 = 4*r + 77. Let z = 4 - r. Let n = -18 - z. Is 9 a factor of n?
True
Let l(a) be the first derivative of -a**2/2 + 79*a - 21. Is l(19) a multiple of 30?
True
Let z(m) = m**3 + 136*m**2 - 30*m + 417. Does 31 divide z(-136)?
False
Let c = -14 + 16. Suppose c = -2*i, 4*g = 9*g - 5*i - 1360. Suppose -g + 3 = -4*y. Is 5 a factor of y?
False
Let w(u) = 8*u**2 - 8*u + 20. Suppose -2 = -f - 0. Is 4 a factor of w(f)?
True
Let c(n) = 54*n**2 + 2*n + 6. Let i(w) = 3*w**2 - 27*w + 9. Let g be i(9). Let t be (-16)/g - ((-2)/(-9))/1. Does 47 divide c(t)?
False
Suppose 0 = -5*i + 3*z + 2276, -4*i + 2288 = i + z. Suppose -51*r + 693 = -48*r. Suppose -i - r = -8*t. Is 12 a factor of t?
False
Let m be -78 - (1 - 2)*3. Let u = m + 75. Suppose 5 = 5*n, 5*p - 2*n - 391 - 77 = u. Is p a multiple of 14?
False
Let a be 744 + 3 - (-5 + 5 - -3). Suppose -2*g - 6*g + a = 0. Is 31 a factor of g?
True
Is 14 a factor of (-294)/4*92/690*-2870?
True
Let v be 3/(4*(-4)/(-32)). Let m be 4 - 1/(3/v). Suppose -5*t = -m*i - 636, 2*i = 5*t + 5*i - 621. Is t a multiple of 14?
True
Is 34 a factor of (-4)/(-7) + 0 - -69605*(-54)/(-945)?
True
Let y(k) = k**2 - 9*k + 18. Let n be y(6). Suppose -4*z - 4*g - 20 = n, 2*z - 5*g - 27 = -9. Let s(r) = -41*r**3 - 3*r - 3. Is 7 a factor of s(z)?
False
Let y(p) = 4*p**3 - 53*p**2 + 71*p + 84. Let h(b) = 3*b**3 - 35*b**2 + 48*b + 56. Let o(w) = 7*h(w) - 5*y(w). Is 53 a factor of o(-20)?
False
Let l = -285 - -1389. Is l a multiple of 12?
True
Let i(n) = 3*n + 40. Let x be i(-12). Suppose -o + x = 5. Is (0 + -3 + 23)*(o - -7) a multiple of 10?
True
Suppose 5*i = -148 + 823. Let n be (-222)/(-74)*(-29)/(-3). Suppose 4*p - i = 2*h - 25, p = -h + n. Is p a multiple of 4?
True
Let f(v) = 1427*v**2 - 20*v + 19. Is 62 a factor of f(1)?
True
Let w(d) = 2 - 111*d**3 - 3 - 211*d**3 - 2*d. Is w(-1) a multiple of 17?
True
Let v = -72 + 74. Does 55 divide 198*(v/8)/(27/180)?
True
Let u = -135 - -163. Is 28 a factor of u?
True
Let m(f) = -f**3 - 6*f**2 - 13*f - 10. Let q be m(-3). Suppose q*i = 5*j - 831, 7*j + i = 3*j + 670. Is j a multiple of 8?
False
Let t = 533 - 530. Suppose -2*r + 17*n - 19*n = -2630, 0 = t*r - n - 3965. Is r a multiple of 12?
True
Suppose 3*g - 6*g + 9 = 0. Let k(n) = 14*n + 38. Let a be k(2). Suppose 0 = -4*q + g*q + a. Does 22 divide q?
True
Let c = -2071 - -26556. Is c a multiple of 39?
False
Let o = 25 + 14. Suppose 3*s - 16*s = -o. Suppose 5*w = -2*j + 157, -s*j - w + 271 = 68. Is 39 a factor of j?
False
Let d(l) be the third derivative of l**5/15 + 2*l**4/3 + 3*l**3 - 15*l**2 + l. Is d(-13) a multiple of 13?
False
Suppose -4*j - j = 5, -2*p = 2*j - 2206. Suppose 2*f - p = -5*h, -2*h - h = f - 552. Does 6 divide f?
True
Does 7 divide 3076 - (44/330 + (-1 - 219/(-45)))?
False
Let v(n) = 11*n**2 + 166*n - 128. Is v(17) a multiple of 7?
True
Suppose 2997 = -s + 5012. Is s a multiple of 65?
True
Let a(x) = x**3 - 13*x**2 + 8*x - 32. Let g(f) = -8*f - 3. Let o be g(-2). Is 6 a factor of a(o)?
True
Let a = -545 + 543. Let h(l) = -85*l**3 + 5*l**2 + 5*l - 2. Does 43 divide h(a)?
True
Let v(i) = 2*i**2 + 16*i + 14. Let h be v(-7). Let s(w) = -3*w + 63. Is 21 a factor of s(h)?
True
Let z(k) be the second derivative of -5/3*k**3 + 15/2*k**2 + 0 + 12*k. Is 14 a factor of z(-10)?
False
Suppose 4*a + 4*q + 5 = 29, 19 = 3*a + 2*q. Let v(n) = 52*n - 164. Does 50 divide v(a)?
True
Let d = -325 +