f + 5*m - 112783 = 195456, 0 = 4*f - m - 308269. Is 16 a factor of f?
False
Let q = 411 - 2307. Let d = -235 + 215. Is 30 a factor of q/(-21) - (d/28 - -1)?
True
Let n = 86 + -83. Suppose 4*s + 5*t = 8, -5*s - n*t = -6*s + 2. Suppose -114 = s*q - 304. Does 24 divide q?
False
Suppose 86*n - 43*n = 48*n - 23920. Is n a multiple of 13?
True
Let t = -10538 - -17558. Is t a multiple of 28?
False
Let r = -5473 + 9869. Is 14 a factor of r?
True
Let x(y) = 6*y + 174 - y**2 - 182 + 3*y - 40*y. Suppose 3*i + 2*s = i - 40, 4*s + 103 = -5*i. Is x(i) a multiple of 16?
True
Suppose q - 2 = 0, -4*p + 28 = 10*q - 8*q. Suppose 0 = -20*u + 21*u + 2*m - 551, 2*m = -p. Does 18 divide u?
False
Suppose 11 = 2*l + 3, -5*i + 100 = 5*l. Suppose 30*r + i = 34*r. Is 2 - (-141)/(r + -1) a multiple of 7?
True
Let f be 4/(-1)*(2 - 3) - 66. Is 3 a factor of (-2 - 2336/(-22)) + f/341?
False
Suppose 0 = -5*q + b + 50, -6*q + 50 = -q - 4*b. Is (-65)/q*(2 - 46) a multiple of 13?
True
Suppose -41*o + 2074 = -40*o + 4*i, -3*o - 2*i + 6172 = 0. Suppose o = 4*r - v, -v + 6*v = 3*r - 1532. Does 21 divide r?
False
Let d be (-5 + (-1 - -5))/((-1)/(-743)). Let j = -491 - d. Is 22 a factor of j?
False
Let u be (-1)/(-4) - 909/(-12). Let s = -67 + u. Suppose -s*d + 3 = -69. Does 8 divide d?
True
Let d = -251 + 255. Does 25 divide 4 - 2*-125 - d*1?
True
Let p be 1*(5 - 1 - -3). Let j(h) = 3*h - 17. Let w be j(p). Suppose 4*g = -w*g + 1296. Does 18 divide g?
True
Let l(c) = c + 36. Let h = 80 + -89. Let o be l(h). Let u(z) = 2*z + 3. Is u(o) a multiple of 3?
True
Is ((-1485)/(-324) + -5)*-12 even?
False
Let q = -836 - -6236. Does 135 divide q?
True
Let d(t) = -159*t - 1974. Is d(-16) a multiple of 19?
True
Let b be (-2180)/763 - 16/14. Let z(g) = 13*g**2 - 19*g - 89. Is 10 a factor of z(b)?
False
Let n = -1746 - -9246. Is n a multiple of 50?
True
Is (-95504)/(-28) + (-4)/(-28) a multiple of 29?
False
Suppose 19 = x + 4*a, 0 = -x + a + 7 - 3. Does 11 divide (-2)/x + 7/(-98)*-6472?
True
Suppose -4*n = 2*j + 340, -3*n + 4*n + 3*j = -85. Is (n/2)/((-55)/1210) a multiple of 26?
False
Is 10 a factor of 52330/12 - 100/120?
True
Let r(s) = 4*s + 32. Let d be r(-6). Suppose d = p - 0*p. Is (-3916)/(-66) + p/(-6) + 1 a multiple of 7?
False
Let d(x) = -x**2 + 26*x - 59. Let z be (1/(-3))/((-29)/1479). Does 47 divide d(z)?
True
Let b(h) be the second derivative of h**3/2 + 27*h**2/2 + 46*h. Let s be b(6). Is 25 a factor of s/(-20) - 3/(-12) - -71?
False
Let o(w) = w**2 - w + 48. Suppose 0*i = -3*p + 4*i - 80, -5*i = -4*p - 105. Is o(p) a multiple of 24?
False
Let d(i) = 0*i**3 - 23*i**2 + 16 - 19*i**2 + i**3 + 4*i + 34*i**2 + 22*i**2. Let g(x) = 12*x**3 + x. Let a be g(-1). Is d(a) a multiple of 37?
False
Let q be 1 - 64490/(-18) - 242/(-1089). Suppose -4*i + q = 4*l, -l - 311 = -2*i + 1481. Is i a multiple of 14?
True
Let d be 6/21 - ((-68)/7 + 4). Does 5 divide (163/3 - 4) + (-2)/d?
True
Suppose -505 = -3*a + 356. Suppose 2*t - a = 175. Is 77 a factor of t?
True
Let n(s) = 418*s + 79. Let i(v) = 416*v + 79. Let c(d) = 3*i(d) - 2*n(d). Is c(2) a multiple of 17?
False
Suppose -80*v + 280636 - 79130 = -105134. Does 102 divide v?
False
Let f = 265 + -158. Let w = f - 105. Let t = 34 + w. Does 9 divide t?
True
Suppose -27 + 2 = -5*z. Suppose z*l = -4*m + 295, -m - l = -3*l - 90. Does 20 divide m?
True
Let l = -5 - -7. Suppose 0 = 4*c - 5*n - 10, l*c - 7 = c - n. Suppose -f = -4*r - 5*f + 212, -c*r + 3*f + 289 = 0. Is r a multiple of 8?
True
Let k(m) = -5*m - 13. Let h be k(-3). Suppose -5*x + 1080 = 5*y, -h*x + 0*y - 5*y + 447 = 0. Let w = x + -124. Does 17 divide w?
False
Let d(a) = -4*a**2 - 16*a + 21. Let u(b) = -9*b**2 - 32*b + 44. Let r(p) = -7*d(p) + 3*u(p). Is r(-18) a multiple of 7?
True
Suppose 0 = -5*o + t + 560, -2*o - t = 2*o - 439. Suppose g - 6 = o. Does 13 divide g?
True
Let u(q) = q + 76. Let x be u(6). Let v = x - -34. Is 9 a factor of v?
False
Suppose f = -b + 274, 0 = -b - 10*f + 5*f + 290. Does 6 divide b?
True
Suppose 1936 = 5*k + f - 4*f, k = -4*f + 401. Does 20 divide k?
False
Let b(m) = 11*m**2 + 254*m - 49. Is b(-46) a multiple of 128?
False
Suppose -4*h - 3357 + 9982 = f, 5*h = -4*f + 8273. Suppose 0*a = 3*m - 2*a - h, -5*m - 2*a + 2783 = 0. Does 15 divide m?
True
Let x be (3/4)/(6/936). Let i be 1 - 8/(-20)*(-35)/14. Suppose -115*l + x*l - 22 = i. Is l even?
False
Suppose -4*o + 4*q + 92 = 0, -2*o + 3*q + 23 = -18. Does 4 divide (-20)/(-3)*126/o?
False
Suppose 42*c - 46*c = -8, 20 = 3*y + 4*c. Suppose -y*s + 26 = 2*d, -9*d - 4*s + 45 = -6*d. Is 8 a factor of d?
False
Does 18 divide ((-1680)/(-14))/((1/(-96))/((-45)/12))?
True
Let n(d) = -2 + 8*d - 5*d + 7*d**2 - 4*d + 6. Let v be (-8)/2 + (0 + -2 - -8). Does 21 divide n(v)?
False
Does 7 divide (0 + (-3402)/9)*(-11 - -1)?
True
Is 10 a factor of ((-472)/12*-3)/(37/259)?
False
Let f = 28 - 15. Let t be (-445 + f)*(1 + -2). Does 24 divide (t/(-10))/(12/(-40))?
True
Suppose -5*v + 23000 = 5*x, -2*x - 7784 = -4*v + 10658. Does 25 divide v?
False
Suppose -4*u - 2*h + 56 = -2*u, 4*u + 5*h - 117 = 0. Suppose u*y - 1200 = -y. Is y a multiple of 10?
True
Let b = 334 - 337. Does 9 divide 126 + (-2 - -2)*b/6?
True
Let x(r) = 79*r**3 + 4*r**2 + 5*r. Does 24 divide x(3)?
True
Let f(g) = 0 + 8*g - 1 - 19*g + 2*g**2 + 3 - 11. Suppose -3*c + a + 23 = -0*c, -4*c - 2*a + 24 = 0. Is f(c) a multiple of 2?
True
Let f(a) = 11*a + 31. Suppose 3*h - 5*i + 15 = -2*i, 4*h = -5*i - 2. Let t(k) = 11*k + 32. Let j(v) = h*f(v) + 2*t(v). Is j(-8) a multiple of 28?
False
Let j(a) = 4*a**3 + 93*a**2 + 9*a - 133. Is j(-23) a multiple of 3?
True
Let q = 5500 + -445. Is q a multiple of 93?
False
Let d(w) be the second derivative of 17*w**6/240 - w**4/2 + 13*w. Let q(t) be the third derivative of d(t). Is q(2) a multiple of 22?
False
Does 49 divide (16 + (-901)/51)*-4818?
False
Let f be ((-2)/(-4))/(5/10). Let s be -1 - (-8 - (f - -1)). Suppose 0 = d - 5*o - 7, 0 = 5*o - 16 - s. Is 16 a factor of d?
True
Let w = 2930 - 2379. Is 19 a factor of w?
True
Let h be 1/(1 - 6810/6815). Suppose 5*p = -2*s + 653 + h, -4*s - 3*p = -4032. Is 42 a factor of s?
True
Let a(j) = 4616*j - 768. Is 28 a factor of a(4)?
True
Let n = -574 - -701. Suppose 0*b + b = 91. Let y = n - b. Is 6 a factor of y?
True
Suppose 3*p + 1389 = 5*h - 76, 0 = h + 3*p - 293. Let s = 17 + h. Is s a multiple of 17?
False
Does 9 divide (0/3 + 16713/(-15))/((-5)/25)?
True
Let q = 25 + 10. Suppose 3*p + q - 20 = 0. Is 18 a factor of ((-45 - -2) + 4)*p?
False
Suppose 5*o = 4*t + 58888, 4*o + 2*t = 58085 - 11011. Is o a multiple of 218?
True
Suppose -42 = -5*m + 98. Suppose 0 = 22*h - 15*h - m. Suppose b - 56 = 4*a, b + h*a = 3 + 37. Does 24 divide b?
True
Suppose 0*j + 6*j = 6. Suppose 0 = -r - j + 4. Suppose 4*n - 393 = t, -3*n = -0*n + r*t - 291. Is n a multiple of 49?
True
Let w = 422 - 414. Suppose -8294 = -3*o - w*o. Is 13 a factor of o?
True
Suppose 4*o + 92 = 2*w, 4*o - 3*w + 4*w = -98. Let i = -30 - o. Does 56 divide (-1472)/(-6) - (1 - i/(-9))?
False
Suppose 369861 + 128337 + 681330 = 59*s. Is 168 a factor of s?
True
Let m(o) = 12*o + 2. Let t be m(3). Is 4 a factor of (2 + -8)*t/(-8)*2?
False
Let w(a) = -38 + 4 + 5*a - 3*a - 4. Let g be w(21). Suppose 4*s - 194 = -g*l + 194, 0 = -4*s - 3*l + 387. Is 48 a factor of s?
True
Let q(l) = -176*l - 5780. Is 14 a factor of q(-98)?
False
Let r(l) = l**3 - 6*l**2 + 7*l + 2. Let m be r(5). Suppose -m*g = -1521 - 2763. Does 18 divide g?
False
Let l(s) = 2*s**2 - 19*s - 814. Is 62 a factor of l(-83)?
False
Let a(x) = 12*x + 44. Let p be a(-6). Does 24 divide p/(-6)*990/77?
False
Suppose 0*f + 208 = 4*w + 5*f, f = -3*w + 156. Is 1/1*-2 + w a multiple of 10?
True
Suppose 207239 = 12*x - x - 38490. Does 85 divide x?
False
Is 55 a factor of 24/(-108)*-92601 - -19?
False
Let y = 41 - 39. Suppose -5*n + 29 = 4*z, -y*z + 31 = 3*z + n. Suppose -5*p + 5*b = -225, -2*p - z*b + b + 83 = 0. Does 11 divide p?
True
Let y(n) = -71*n + 247. Let v be y(4). Is v - -32 - 605/(-1) a multiple of 25?
True
Let z(g) = 4*g**2 + 31*g - 5. Let d(m) = -7*m + 11. Let y be d(2). Let c(f) = -2*f**2 - 16*f + 3. Let r(b) = y*z(b) - 7*c(b). Is r(-14) a multiple of 20?
True
Suppose 3*n - 5*n - 25 = a, 2*a - 10 = 0. Let g(x) = x**2 - 18*x + 56. Let k be g(14). Is 14 a factor of 2/6 + k - 625/n?