 Suppose -d = -7 - y. Is d a multiple of 14?
True
Let q(j) = -3*j - 35. Let a be q(-15). Let v = -34 + 52. Let o = v + a. Is 2 a factor of o?
True
Let b be 2/(2 + 2)*-214. Let h = 407 - 293. Let f = h + b. Is 7 a factor of f?
True
Let z(u) = -119*u - 651. Is z(-30) a multiple of 25?
False
Let l = 64 - 62. Let r be ((-1250)/(-3 - 2))/l. Let p = 189 - r. Does 13 divide p?
False
Suppose -29 = 5*n - 249. Suppose -5*t = -0*t, 2*r + 0*r + 54 = -5*t. Let u = n + r. Does 3 divide u?
False
Let d be 2/(-6) + 584/6. Suppose -53 = j + 7*n - 11*n, -n = -3. Let s = j + d. Is s a multiple of 4?
True
Suppose -309*d - 13729200 = -581*d. Does 25 divide d?
True
Suppose 202 + 74 = 4*x. Suppose 2*o + 4 = -2*t, 2*t + 5 = -o - 2. Suppose -4*p + o*v = -x - 73, -2 = v. Does 3 divide p?
False
Suppose -10*v = 70 - 330. Let q(a) = -7*a + 223. Is 9 a factor of q(v)?
False
Suppose -40032*q - 415734 = -40043*q. Is q a multiple of 28?
False
Let j(g) be the second derivative of -7/12*g**4 + 1/10*g**5 - 26*g + 0 + 2/3*g**3 + 3/2*g**2. Does 24 divide j(6)?
False
Suppose 17*n - 2194 + 545 = 0. Let t = -37 + n. Does 6 divide t?
True
Let v = 66796 + -46503. Does 14 divide v?
False
Let b(x) be the first derivative of 7*x**2 - 34 - 9*x + 3*x + 41. Is b(6) a multiple of 13?
True
Suppose 0*b + b = 1020. Suppose -5*y + y + b = -p, 0 = y + 2*p - 255. Is 20 a factor of y?
False
Suppose 0 = 85*a - 88*a - h + 43510, -h = 5*a - 72512. Does 17 divide a?
True
Let d(p) = p + 29. Let l be d(-22). Does 19 divide (l - -88)*(-32)/(-10)?
True
Let w(d) = 33*d - 16. Suppose 22*u = 18*u + 4*v + 108, -3*u = -v - 71. Is 64 a factor of w(u)?
False
Does 95 divide ((-37)/3)/((-422)/454494)?
False
Let a = 6981 + 10782. Is a a multiple of 254?
False
Let o be -2 + -1 - (0 + -2 - 6). Suppose -o + 33 = 7*u. Suppose -472 = -u*g + 4*x, g + x = 6*g - 586. Is 28 a factor of g?
False
Let k = 550 - 542. Let o(r) = r + 1. Let i(v) = -v**2 - 30. Let z(t) = -i(t) - 6*o(t). Is 8 a factor of z(k)?
True
Is (1/(-2))/(30/(-480840)) a multiple of 13?
False
Let q = -3524 - -4513. Does 26 divide q?
False
Is 4057*2 + (-1092)/(-84) a multiple of 63?
True
Let o(p) = -2*p**2 + 14*p - 9. Suppose -3*r - 51 = -69. Let h be o(r). Suppose -3*u + 674 = -2*a, h*a = 5*u - 0*a - 1125. Does 23 divide u?
False
Suppose -3*y = 32 + 88. Let u = y - -42. Suppose -u*r + 17 + 33 = 0. Is r a multiple of 4?
False
Suppose 20*r = 24*r. Suppose 4*u - 700 = -r*u. Suppose -m + 85 = -0*m - 5*s, -5*s - u = -2*m. Does 15 divide m?
True
Let q(f) = 7*f + 7. Let i(b) = 11*b + 10. Let z(a) = -5*i(a) + 8*q(a). Let d be z(-3). Suppose -y = -5*k - 105, -5*k = d*y - 322 + 107. Is y a multiple of 10?
True
Suppose 0 = 41*p - 101726 - 30294. Does 115 divide p?
True
Suppose j + 529 = 3*n, 3*n - 175 = 2*n - j. Let p = -42 + n. Is p a multiple of 72?
False
Let l(k) = -k**3 + 12*k**2 - 10*k + 7. Let f be l(11). Let v be 102/f - (-2)/(-6)*2. Suppose -v*j = 3*j - 560. Does 10 divide j?
True
Suppose -38775 + 8439 = -24*j. Is 16 a factor of j?
True
Is 14 a factor of (51/(-6) - -3)/((30 - 17)/(-5226))?
False
Suppose 17*y = -11844 - 4697. Let d = y - -1830. Is 12 a factor of d?
False
Suppose -4*l - 5*y + 100 = -12889, 0 = 4*l - 2*y - 12982. Is l a multiple of 46?
False
Let r = 3 + -3. Suppose 2*p - z + 0*z - 72 = 0, r = 5*z. Suppose 3*s - 144 = p. Is 5 a factor of s?
True
Suppose 1516 = 3*z - i, -6*z + 5*i = -4*z - 1002. Does 11 divide z?
True
Is 29 a factor of 4292/6*18/30*(-925)/(-74)?
True
Let x(u) = 108*u**2 - 40*u - 305. Does 256 divide x(20)?
False
Suppose -22*w = -12*w - 14850. Suppose 3650 + w = 13*o. Is 5 a factor of o?
True
Let b = -493 - 206. Let c = -399 - b. Does 15 divide c?
True
Let h(d) = 4895*d + 339. Is 6 a factor of h(1)?
False
Let h(f) = -f**2 - 83*f - 149. Is 4 a factor of h(-22)?
False
Suppose 4*q + 965*n - 89956 = 960*n, 0 = 5*q - 3*n - 112408. Is 146 a factor of q?
True
Suppose -48*n + 33*n = 0. Let y(x) = x**2 + 14*x + 22. Does 22 divide y(n)?
True
Let n(u) = 3*u**2 - 89*u + 144. Is 119 a factor of n(45)?
False
Let x(w) = 86 - 15 - 54*w**2 + 27*w**2 - 20*w + 33*w**2. Is x(5) a multiple of 23?
False
Let j(u) = -7*u + 1. Let c = 67 - 213. Let n = 145 + c. Does 6 divide j(n)?
False
Let q = 7 + 13. Is 52*12/q*5 a multiple of 13?
True
Let z(v) = -12*v + 46. Let t be z(4). Does 12 divide 2 + t - (-57 - -16)?
False
Suppose 0 = 13*h - 7*h - 528. Is h/(-198) + (-1160)/(-18) a multiple of 3?
False
Let y be (-4)/(-6)*(-2 + -1). Let l be 1/(6/18) - (-159 + y). Is (-6 - -1)*5/((-50)/l) a multiple of 13?
False
Let b(t) = 81*t + 2. Let q be b(-3). Let g = q + 282. Does 6 divide g?
False
Let p be (2 + -3)/((-3)/51). Let j(s) = -63*s**3 - p*s**3 - s + 4*s - 1 - 4*s - s**2. Does 18 divide j(-1)?
False
Let l = 44 + -85. Suppose -7*v - 102 = 346. Let b = l - v. Does 21 divide b?
False
Let z be 4*(-9)/(-12)*-2. Let i(w) = -4*w**2 - 4*w + 7. Let j(d) = d**2 - 1. Let r(n) = -i(n) - j(n). Is 13 a factor of r(z)?
True
Let u(x) = 6*x + 7 + 13*x**2 - 122*x**3 + 120*x**3 + 3*x - 1. Is u(7) a multiple of 4?
True
Let b(t) = 2*t**3 - 5*t**2 - 8*t + 5. Suppose -4*s + 8 = -16. Let i be b(s). Suppose 2*o + i = 4*f - 71, 5*f = -2*o + 332. Does 17 divide f?
True
Let h(u) = -u**2 + 13*u - 25. Let k be h(10). Let c be (7 - 6) + k/(5/(-28)). Let v = 40 + c. Is 13 a factor of v?
True
Suppose 807503 + 548002 = 115*w + 217005. Is w a multiple of 33?
True
Let x = 112 + -33. Let g = x - 47. Is g a multiple of 4?
True
Suppose -9*c + 3330 = 6*c. Suppose -c - 474 = -8*n. Is n a multiple of 3?
True
Let d(i) be the first derivative of i**4/4 + 4*i**3 - 13*i**2/2 + 24*i + 6. Is 6 a factor of d(-13)?
True
Let d = -270 - -278. Suppose -d*w = 2*w - 2150. Does 13 divide w?
False
Suppose -2*m + 8611 = 3*f - 4389, 5*f + 3*m - 21667 = 0. Does 184 divide f?
False
Let n = -386 + 391. Suppose n*u - 2432 = -2*r, -23*r + 1461 = 3*u - 20*r. Is 54 a factor of u?
True
Let w(n) = -68*n + 73. Does 55 divide w(-79)?
True
Suppose 410*q = 419*q - 36. Let l(m) = -11*m + 2*m**2 + 2*m**3 + 4 + 5 - 3*m**2. Is 7 a factor of l(q)?
True
Let a = -173 + 159. Is 14 a factor of ((-832)/56)/(4/a)?
False
Suppose 16*q - 54 + 6 = 0. Suppose 0 = -3*r - q*j + 120, 0 = 4*r - 2*r + j - 83. Is r a multiple of 7?
False
Let r(k) = -14779*k - 532. Is 156 a factor of r(-2)?
False
Suppose -4*w = -h + 5912, -28*w + 26*w = 5*h - 29648. Is h a multiple of 312?
True
Let m be ((-38)/(-3))/((-4)/(-54)) + -1. Let h = 0 - 3. Is 34 a factor of 12/4 + h + m?
True
Let o be (-69)/(-21) - (-8)/(-28). Suppose -5*l = -4*v - 339, -l - o*v + 0*v = -64. Suppose -q = -l + 16. Does 17 divide q?
True
Suppose 0 = 2*v + 9*v - 153912 + 29876. Is 130 a factor of v?
False
Let i(y) = -2*y**2 - 4*y - 4. Let h(c) be the third derivative of c**5/30 + 5*c**4/24 + 5*c**3/6 + 19*c**2. Let l(g) = -6*h(g) - 7*i(g). Does 2 divide l(3)?
True
Suppose 16*s = -5*p + 14*s + 10, -3*s - 3 = 3*p. Suppose 2*l - 3*w = 7*l - 1504, 0 = -p*w - 8. Is 8 a factor of l?
False
Let h = -4902 + 12711. Does 63 divide h?
False
Let s(u) = -u**2 + 2*u + 71. Let d be s(-8). Is 19 a factor of 44 + (-2)/(-3)*d?
True
Let w be 4 + (1 - 3) - 2. Suppose w - 15 = -5*b. Is (-5 + 29)/(b + -1) even?
True
Suppose 5*v - 2*n + 14 = 0, 5*v + 2*n + 0 + 6 = 0. Let h(a) be the third derivative of -7*a**4/6 + 2*a**3/3 + 2*a**2 - 154*a. Does 16 divide h(v)?
False
Does 3 divide 1597 + 9 + -3 + (0 - -11)?
True
Let g be ((-2)/(-11) - 18/99)/(-2). Suppose -4*t + 145 + 43 = g. Is 15 a factor of t?
False
Let p(a) = -7*a - 3. Let w be p(-11). Let y = w + 244. Let o = -226 + y. Is 23 a factor of o?
True
Let j(x) = x**2 + 15*x + 18. Let c be j(-14). Suppose 0 = 8*w - 7*w - c. Suppose -3*z - 20 = z, -w*d + 63 = 5*z. Is 11 a factor of d?
True
Let h(j) = j**3 + 12*j**2 + 2*j + 26. Let b be h(-12). Let m be 3134/b + -2*(-1)/(-1). Suppose 0 = 7*p - m - 31. Does 17 divide p?
False
Let y(n) = 12*n - 1021924 + 1021990 - 16*n. Suppose 2*r = 4*s - 18, s - 18 = r - 5*r. Does 9 divide y(s)?
False
Suppose 76790 = 55*t - 109000. Is 32 a factor of t?
False
Let m(a) = -a**2 - 13*a + 26. Let g be m(-15). Let v be 7/((-4)/32*g). Suppose -8*u - 108 = -v*u. Is 6 a factor of u?
True
Let o(t) = 5747*t + 688. Is 12 a factor of o(4)?
True
Suppose 0 = 81*c - 82*c + 1, 0 = -2*j - 5*c + 24651. Is 65 a factor of j?
False
Let b be 2/8 + (4 - 25/20). Suppose 