Is c a multiple of 17?
True
Let v = -51 - -47. Let k be (-2)/((-8)/210)*v. Is 25 a factor of (k/(-9))/7*45?
True
Suppose 0 = -2*o + x - 863, -3*o = x + 1546 - 249. Let r = o + 522. Is r a multiple of 10?
True
Suppose -5*i + 1045 = 5*j, 4*j + i - 466 = 361. Let r = -13 + 23. Suppose -j + r = -4*n. Is 7 a factor of n?
True
Suppose 4*n + k - 2637 = 0, -n = k - 281 - 382. Does 28 divide n?
False
Let x(g) = g - 18. Let o be x(-21). Let c = o + 75. Is c - (5/25 + (-3)/15) a multiple of 18?
True
Is 260 - ((-150)/55*-2 - (-30)/55) even?
True
Let s = 48 - 45. Suppose b = s*t - 25, -4*b - 1 = -21. Is 2 a factor of 82/t - (-11)/(-55)?
True
Is 26 a factor of (-34)/(-17) + (12073 - -6)?
False
Let a be (-275)/8 + 2/(96/18). Let n = a - -402. Is 8 a factor of n?
True
Let d(n) = -n - 4 - 2*n**2 + 5*n - 6*n + 3*n**2. Let v be d(-3). Suppose 5*w - v*w = -1374. Is 41 a factor of w?
False
Let o = -175 + 185. Suppose 5*m - 36 = -2*u, 3*u + 3*m - o = 62. Is 14 a factor of u?
True
Let d(n) = -11276*n**3 - n**2 + 54*n + 56. Does 203 divide d(-1)?
False
Suppose -4493 = -3*q - 644. Is 14 a factor of q?
False
Let d be 4/10 + (-58)/(-5). Let a(n) be the third derivative of n**6/120 - 11*n**5/60 - n**4/3 + n**3 + 2*n**2 - 3923*n. Is a(d) a multiple of 5?
False
Does 11 divide 3607347/524*8/6?
False
Let p(f) = 11*f**3 - 28*f**2 + 101*f - 24. Is p(3) a multiple of 12?
True
Suppose 262 = -p - 5*n + 9436, -p = -6*n - 9174. Does 66 divide p?
True
Let n be 2*((-5)/(-25) + (-567)/10). Let s = n + 181. Suppose -5*f + s = p + p, -5*p + 170 = -3*f. Does 3 divide p?
False
Suppose 4*s - 662 = -5*q + 308, 4*q = 2*s - 498. Is s even?
False
Let i(g) be the second derivative of -17*g**5/10 - g**3/2 + g**2/2 - 253*g. Does 6 divide i(-2)?
False
Let v(d) = 2*d**3 - 13*d**2 + 7*d - 6. Let w be v(6). Let f be (w/(-7))/(3/3*-1). Suppose f = 4*y + 5*h - 519, -3*h - 5 = 2*h. Is 16 a factor of y?
False
Let c be ((-3)/(3/(-25)) - -2)*-4. Suppose -5*v - j = 2*j + 297, 0 = -3*v + 4*j - 184. Let b = v - c. Does 24 divide b?
True
Let r(f) = f**2 - 9. Suppose 0 = 2*x - 3*x - 5*z + 14, -4*x = 3*z - 22. Let l be r(x). Let g(s) = 19*s + 50. Is 10 a factor of g(l)?
False
Does 13 divide (-14 + (-1224)/(-54))*183/2?
True
Suppose s + j = -63, -4*j + 138 = -s - s. Suppose 2*q + 391 = -3*i, q - 18 - 114 = i. Let c = s - i. Does 7 divide c?
False
Let t = 347 + -290. Suppose 45*n - t*n + 1200 = 0. Does 28 divide n?
False
Let z(t) = -t**3 + 31*t**2 + 36*t - 38. Suppose 4*k + 25*r - 28*r - 125 = 0, k = 4*r + 28. Is 3 a factor of z(k)?
True
Suppose 10*h + 13*h = 13*h + 100170. Does 75 divide h?
False
Let a(k) = -k + 32. Let c be 6*5/(-10) - (-6 - -1). Let q be c/3 - ((-8)/6 + 2). Is 8 a factor of a(q)?
True
Suppose 1663*g - 1619*g = 115104. Is g even?
True
Suppose 4 = -22*z + 18*z. Let x be ((-6)/14 - z)/((-11)/(-77)). Suppose 0 = 5*n + 5, -x = -s + 5*n + 5. Does 3 divide s?
False
Suppose 172*s + 8193 = 173*s + 3*d, -4*d - 36 = 0. Is 10 a factor of s?
True
Let c be (-2 + -6 + 6)*102. Let w = c + 724. Does 35 divide w?
False
Suppose -3*h + 3120 = 429. Let b = h + -382. Is 59 a factor of b?
False
Let f = -408 + 1377. Is f a multiple of 38?
False
Suppose -62*t = -3*v - 65*t + 45654, -60865 = -4*v - 5*t. Is 7 a factor of v?
True
Let m = -138 - -65. Let v = m - -77. Does 28 divide v/(-14) + 5122/91?
True
Suppose 2*s = -2, 2*s = 2*g + g - 2. Suppose 0 = -5*z - g + 25. Suppose -180 = -4*a + z*c, 77 = a + c + 23. Is a a multiple of 10?
True
Let a = 23 + -7. Let x be (124/a)/(4/16). Suppose -113 = -4*p - 3*o - 14, -p = 2*o - x. Does 21 divide p?
True
Let w = -13512 + 19644. Is 10 a factor of w?
False
Let u(h) = 14*h + 39. Let w be 1 - -30 - (46 + -42). Is 5 a factor of u(w)?
False
Let x = -11840 + 41204. Is 322 a factor of x?
False
Let l be (-11128)/(-32) - (14/8 - 2). Let j = l - 157. Is 33 a factor of j?
False
Let t be 240/(24/(-6))*(-152)/(-10). Let x = t + 1384. Is 18 a factor of x?
False
Suppose -3*r = 3*f + f - 1, 0 = -r - 4*f + 3. Let m = -70 - r. Let l = 62 - m. Does 19 divide l?
False
Let s be (2/4)/((-7)/(-14)). Let h be (6/s)/((-1)/(-2)*2). Let q(g) = g**2 + 6*g - 4. Is 10 a factor of q(h)?
False
Let r be 21/6*768/112. Let c(j) = -j**2 + 50*j + 39. Is 39 a factor of c(r)?
True
Let k = 13686 - 6360. Is k a multiple of 18?
True
Let q(w) = 2*w + 34. Let p be (2 + -1 + -2)/(13/(-1157)). Let o = p - 73. Does 17 divide q(o)?
False
Suppose 2*g - 105 = -113, -2*b - 5*g = -54558. Does 29 divide b?
True
Is (-11 - (110/6)/(-5))*-7194 a multiple of 44?
True
Let k be (6/(-10))/3 - 1824/(-120). Is 10 a factor of 576/2 + k/(75/10)?
True
Suppose 0 = -10*w + 23816 + 8334. Suppose 5*t - 4*l + 743 - w = 0, t - 486 = 5*l. Is t a multiple of 66?
False
Suppose 6*f - 4*f = -d, -d + f = -3. Let k(l) = 426*l + 36. Is k(d) a multiple of 25?
False
Suppose 0 = 7*f - 4*f - 44*f + 181753. Is 77 a factor of f?
False
Let r = -120 - -122. Suppose o - r = 5*b, 6*o - 3*b - 30 = 3*o. Let w = 3 + o. Is 7 a factor of w?
False
Let n(z) = 20*z + 24. Let h be n(-3). Is 13 a factor of (-4)/(-6)*6/h*-1341?
False
Suppose 68*l - 3*v + 4969 = 69*l, -5*l = 4*v - 24801. Is l a multiple of 13?
False
Suppose 0 = -2*m + 23*m - 14217. Let d = -270 + m. Does 32 divide d?
False
Let f = -1076 - -1796. Let c = 1045 - f. Does 29 divide c?
False
Let j = -9 + 9. Suppose n + 5*n - 2412 = j. Suppose -3*l - n = -5*z, z - 40 - 36 = 5*l. Is z a multiple of 9?
True
Suppose -37*g = -22*g + 120. Is (20/g)/(306/(-76) + 4) a multiple of 13?
False
Suppose -63*z - 28 = -61*z. Let x be (-4)/z - (-4896)/14. Let o = x + -46. Is 13 a factor of o?
False
Let a(q) = 104*q**2 + 69*q - 302. Is a(12) a multiple of 23?
True
Let p(o) = -o**2 - 7*o - 4. Let v be p(-1). Let j be 36/1 - v - -4. Suppose -110 = -2*b - j. Is b a multiple of 10?
False
Let q = 98 + -66. Let g = q + -16. Let m = 8 + g. Does 12 divide m?
True
Let t = -12 - -10. Let f = 1 - t. Suppose -7*d = -2*d + 5*m - 120, 0 = f*d - 5*m - 56. Is d a multiple of 22?
True
Let h = -62 + 64. Suppose -4*c + h = -3*g, -2*g - 6 - 14 = 2*c. Does 2 divide (-3)/(-15)*13 + g/(-15)?
False
Let a be (-4)/3*(-10)/(160/(-168)). Let i(t) = -t**2 - 5*t + 59. Let m be i(a). Let h = 132 + m. Is 13 a factor of h?
True
Suppose -5*s = -3*b + 191231 - 38181, -14*b - 2*s = -714132. Is 10 a factor of b?
True
Let n(b) be the first derivative of 7*b**3/3 - 3*b**2/2 - 2*b - 3. Let z(a) = -a - 8. Let v be z(-6). Is n(v) a multiple of 16?
True
Let d(t) = -t**3 - 8*t**2 - 11*t - 20. Let m be d(-7). Let o(r) = r - 4. Let k be o(m). Suppose w - 138 = 4*h - 8*h, 3*w - k*h = 398. Is 13 a factor of w?
False
Let l(c) = c**2 + 17*c + 2. Let f be l(-17). Let m(r) = -34*r**2 + 2*r - 2. Let h be m(f). Let i = -58 - h. Does 9 divide i?
False
Let v = -51 + -28. Let t = 157 + v. Does 26 divide t?
True
Let p(u) = -11*u - 8. Let h = 5 + -6. Let l be p(h). Suppose -g + 54 = -l*k, k + 123 = g + g. Does 9 divide g?
True
Let n = 267 - 181. Let j = n - -86. Is j a multiple of 4?
True
Let f(z) = -11 + z + 6*z**2 - z**3 + 5*z**2 + 3 + 7. Is f(7) a multiple of 18?
False
Let w(p) = 3*p**3 - 10*p**2 + 3*p - 12. Suppose -u - 7 = -3*h - 12, -2*u + 19 = 3*h. Is 18 a factor of w(u)?
False
Let q(s) be the first derivative of s**5/30 - 3*s**4/4 + s**3/6 + s**2/2 - 16. Let n(b) be the second derivative of q(b). Is n(10) a multiple of 18?
False
Is 34 a factor of (-2 + (-2)/(-7))/(154/(-605836))?
False
Let q be ((-26)/4 + -1)*-2. Suppose 2*f + 0*w = 2*w, 0 = -2*f + 5*w - q. Suppose 4 = 4*g - 2*g, 5*m - 380 = -f*g. Is m a multiple of 37?
True
Let c = 3025 + 19262. Is 19 a factor of c?
True
Let n(a) = 34*a**2 - 9*a**2 - 2*a**2. Let p be n(-2). Suppose 2*z = -4*g + 9*g - 406, p = g - 4*z. Does 20 divide g?
True
Suppose 0 = -27*x + 20*x - 833. Let b = x - -264. Is 18 a factor of b?
False
Suppose 140*j - 141*j + 886 = 0. Suppose 4*y + 5*w = 1858, -1420 = -5*y + 2*w + j. Does 4 divide y?
False
Suppose 2*m - 5374 = -4*s + 7082, -4*s - 4*m + 12448 = 0. Does 19 divide s?
True
Let b(w) = -10*w**3 - 3*w**2 - w + 5. Let r(v) = -20*v**3 - 5*v**2 - 2*v + 9. Let k(u) = 7*b(u) - 4*r(u). Let h be k(1). Is 15 a factor of 3/2*-5*(-30)/h?
False
Is 106 a factor of (-8)/(-52) + 1785816/468?
True
Suppose -5*a - 116 = 4. Let t = 24 + a. Suppose 8*p - 12*p + 512 = t. Does 32 divide p?
True
Suppose -3*k + 5*x + 42699 = 0, 