 u = 4932 - 4450. Does 15 divide u?
False
Suppose -12*h - 78 + 66 = 0. Is 26 a factor of (6/(2 + h))/(-2) - -341?
True
Suppose -2*d + 3*o = 7*o + 30, 2*d - 5 = 3*o. Let c be (0 - d - 4)*-3. Is (((-38)/c)/1)/(64/96) a multiple of 14?
False
Let g be 21285/66*((-32)/(-10))/(-2). Let t = 880 + g. Is 26 a factor of t?
True
Let z = -195 - -195. Suppose 2*x - 6*d = -3*d + 714, 5*x - 2*d - 1796 = z. Does 15 divide x?
True
Does 49 divide (-56)/(-616) - (4 - (-667256)/(-44))?
False
Let r(t) = 4*t**3 - 3*t**2 - 3*t - 2. Let c(j) = -7*j**3 + 5*j**2 + 5*j + 3. Let g(v) = -3*c(v) - 5*r(v). Let f be g(0). Let d = 11 + f. Does 12 divide d?
True
Suppose 5*a - 101 = -2*r - 0*r, a - 3*r - 10 = 0. Let c = a - 14. Suppose 4*t + 3*o - 166 = 0, -3*t + c*o + 58 = -52. Is 6 a factor of t?
False
Let i = 49 + -108. Suppose 7*w = -47*w + 2430. Let z = w - i. Is z a multiple of 13?
True
Suppose 4*w + 5*d = 9481, -4*w + 2*d - 1303 = -10777. Is 23 a factor of w?
True
Let c = -51 - -46. Let p be (-1)/((4/c)/4). Suppose n = -3*u + 4 + 86, 2*n + p*u = 184. Does 26 divide n?
False
Suppose -564 = 26*l - 12576. Is l a multiple of 11?
True
Let i = 82 - 144. Let t = -59 - i. Suppose n = -t + 29. Is 3 a factor of n?
False
Let l = -7404 - -12510. Does 70 divide l?
False
Let k(b) = 439*b**3 - b**2 + 3*b - 1. Suppose -5*j = -4*r + 9, 4*r + 5*j = j. Is k(r) a multiple of 28?
False
Suppose f + 48 = -3*q, -2*f + 6*f = q - 127. Let g be 22/f*(-6)/1. Suppose 4*a - b = -g*b + 36, -5*a = b - 34. Does 6 divide a?
True
Let l = 4369 + 6283. Is 10 a factor of l?
False
Is 18 a factor of 26236 - ((-540)/(-243))/((-6)/(-27))?
True
Suppose -4*h - 4*a = 772, 2*a + 1133 = -4*h + 353. Let v = h + 110. Let s = -27 - v. Is s a multiple of 15?
True
Let c(i) = -4*i**2 - 8*i + 1. Let x be c(-4). Let r be x/(-7) + 3/(-7). Is 10 a factor of (357/r)/3 - 2/(-8)?
True
Let a be (-2)/((-40)/24*(-1)/30). Let h = a + 39. Suppose -3*w + 144 = -k, 3*w - h*k - 150 = -6. Does 9 divide w?
False
Suppose 2*g - 78 = 252. Suppose 4*y = -g + 1725. Is y a multiple of 39?
True
Let p(f) = 2*f**2 + 59*f + 11. Let m be p(-24). Let c = 60 - m. Is 40 a factor of c?
False
Let h(u) = -234*u + 604. Does 31 divide h(-23)?
False
Suppose -4 = 4*h - 0*h + 4*o, 20 = -4*o. Suppose h*d - 392 = 40. Suppose 2*v = -2*j + 6*j + d, v - 58 = 4*j. Does 9 divide v?
False
Let g(h) = -5*h**2 - 9*h + 22. Let n(w) = -6*w**2 - 8*w + 24. Let b(a) = -5*g(a) + 4*n(a). Is 27 a factor of b(-17)?
True
Let p = 20335 + -19541. Does 9 divide p?
False
Suppose -16*w = 13*w - 35293. Suppose 4*n = -173 + w. Does 29 divide n?
True
Let n(r) = -4*r**3 + 16*r**2 + 38*r + 46. Does 42 divide n(-8)?
True
Let f = -191 + 196. Suppose 0 = 5*n + f*u - 3355, -4*u + 4 = -5*u. Is n a multiple of 15?
True
Let b = -20 + 24. Suppose 0 = 5*k + b*o - 160, k + o + 113 = 4*k. Is 3 a factor of k?
True
Let x be (-2)/(20738/(-2592) + 3 - -5). Let l = x - 720. Is 24 a factor of l?
True
Suppose -a = -19*b + 17*b + 21623, -2*b = -5*a - 21651. Is 28 a factor of b?
True
Suppose 41 = v + 2*l, -v + l + 19 + 28 = 0. Does 50 divide 1623/15*v/9?
False
Let l(y) = 2*y + 1. Let s be l(0). Suppose -3*q + 5 = n, -4 = -2*n + q - s. Suppose m + 63 = n*m. Does 20 divide m?
False
Suppose u - 22 = 4*h, h - 4 = -6. Let f = u + -9. Suppose 2 + 128 = f*k. Is k even?
True
Suppose -116*r + 121*r - 3*q - 8177 = 0, -4*r = 2*q - 6546. Does 27 divide r?
False
Let x = -325 + 327. Is (-20268)/(-30) - x*(-2)/10 a multiple of 13?
True
Suppose 2*p + o - 31234 = -744, 0 = 3*o - 12. Is p a multiple of 134?
False
Suppose m + 24 = 2*a, -2*m = 8*a - 3*a - 78. Let y = -4 + a. Does 12 divide y - -2*(1 - 0)?
True
Let h(l) = 3*l + 44. Let a be h(-14). Let y(j) be the second derivative of 23*j**5/20 - j**4/2 + 2*j**3/3 + 2*j**2 - j. Does 29 divide y(a)?
False
Suppose -63*y + 1946 + 16904 = -21407. Is y a multiple of 9?
True
Let d be (-1)/((4/54)/2 - 0). Is 7 a factor of (-18)/d*(-7)/2*-3?
True
Let j = -545 + 815. Is j a multiple of 12?
False
Suppose 2*s = -s - 2061. Let l = -333 - s. Suppose -6*r + 3*r + l = 0. Is r a multiple of 22?
False
Let b(o) = o**3 + 20*o**2 - 24*o - 61. Let f be b(-21). Suppose 0 = 2*k + f*k - 1584. Does 22 divide k?
True
Let d(x) be the second derivative of -79*x**3/6 - 12*x**2 - 3*x. Let t be d(-6). Suppose -24*y = -18*y - t. Is 15 a factor of y?
True
Let u(k) = -525*k - 230. Is 12 a factor of u(-28)?
False
Let p be -18 + 17 - 136/(-2). Let h = 72 - p. Suppose h*j - k - 97 = 0, 3*j + 6*k - 72 = 2*k. Is 8 a factor of j?
False
Suppose 3*y - 5*r = -1687, -3*r = -10*y + 7*y - 1689. Is y/(7/21 + (-13)/12) a multiple of 16?
True
Let i(w) = -41*w - 1012. Is i(-44) a multiple of 2?
True
Is 5/(6 - (-144867)/(-24147)) a multiple of 106?
False
Let o(q) = 1 - 1 - 190*q - 6 + 3. Is o(-1) a multiple of 8?
False
Let p be 6 - 4 - (-4 - 532). Let w = 5 + -3. Suppose 2*s = 4*k - 716, -w*k = k - s - p. Is k a multiple of 45?
True
Suppose -179075 = -70*k + 54515. Is k a multiple of 24?
False
Let a = 6276 - 5254. Is 7 a factor of a?
True
Suppose 5*p = -2*p + 63. Let w = p - 14. Is 10 a factor of (-1510)/(-25) - (-2)/w?
True
Suppose 3*j = 10306 + 17727 + 27143. Is j a multiple of 88?
True
Suppose 4*h + 5635 = 3*j - 9054, 5*j = 5*h + 24490. Is j a multiple of 19?
False
Suppose 28*g = -5*w + 26*g + 23712, 5*w - 4*g = 23736. Does 3 divide w?
False
Is (28/6 - 0)*4176/24 a multiple of 7?
True
Suppose 0 = 2*p - p - i - 3789, 5*i = -p + 3753. Is p a multiple of 66?
False
Let f = -8085 + 20767. Is f a multiple of 17?
True
Is 13 a factor of (858/(-2145))/((-2)/146230)?
False
Suppose -191 = -k - 21. Suppose 15*x = 13*x + k. Does 49 divide x?
False
Suppose -25*q + 5607 = -88*q. Let d(u) = -12*u**2 + u. Let a be d(-5). Let f = q - a. Is 12 a factor of f?
True
Suppose 0 = 65*a - 56*a - 1377. Is 24 a factor of a?
False
Let u be 94/30 - 6/405*9. Suppose -u*s = 4*i - 5533, -3 + 8 = -s. Does 30 divide i?
False
Let x = -310 + 312. Is (-630)/x*54/(-30) a multiple of 49?
False
Let w be 530/15*9/(-3). Let o = 106 + w. Suppose o = -2*i - 4, 13 - 105 = -4*t - 2*i. Is t a multiple of 4?
True
Suppose -5*s + z - 6*z = -40, 12 = s + 5*z. Let q be (-3)/(-21) - (-181)/s. Let r(k) = 2*k - 28. Is 15 a factor of r(q)?
False
Suppose 2*x - 4*x - 15 = -3*m, 20 = 4*m - x. Suppose 48 = -m*r + 58. Suppose -r*o - 13 = -125. Does 14 divide o?
True
Let d = -486 - -80. Let w = 1521 + d. Does 87 divide w?
False
Let z be ((-8)/(-10))/(8/40). Suppose -2694 = -5*r + z*d, -4*d + 584 = 2*r - 488. Is r a multiple of 80?
False
Suppose 4*a + 279 = 5*j - 2777, 3*j + a - 1820 = 0. Suppose 9*p + 284 = v + 5*p, -2*p = 2*v - j. Does 12 divide v?
True
Suppose -4261950 = -97*o - 149*o. Is 55 a factor of o?
True
Let u(w) = -10*w**3 - 13*w**2 - 14*w + 10. Is 24 a factor of u(-6)?
False
Let b be ((-608)/24)/((-4)/30). Suppose -5*u + 80 + b = 0. Is 9 a factor of u?
True
Suppose 2*p - s - 13 = -261, s = 5*p + 623. Let x = p + 226. Does 23 divide x?
False
Let s = -435 - -153. Does 8 divide 47/s - (-2)/(24/1790)?
False
Let b = -6753 - -7238. Is b a multiple of 9?
False
Suppose 0 = -2*r - c + 7669, c + 10232 = 2*r + 2557. Is 238 a factor of r?
False
Let q(s) = s**3 + 7*s**2 - 4*s + 32. Let b be q(-8). Suppose -6*d + 2952 + 1548 = b. Does 18 divide d?
False
Suppose -249*v + 9536 = -241*v. Is 14 a factor of v?
False
Suppose w - 2073 = 4*b, 5*b + 2119 = -4*w - 488. Does 3 divide (-1)/(b/(-87) + -6)?
False
Let r = 30618 - 12990. Does 52 divide r?
True
Suppose 3*k = -3*s + 21, 2*k - 35 = -5*s - 6. Suppose -2*b = 7*j - 6*j - 288, -j + s*b = -288. Does 18 divide j?
True
Suppose -4*j + 92 - 4 = 0. Suppose -z - j - 11 = 0. Let i = 71 + z. Does 19 divide i?
True
Let q = 2707 + 3671. Is 8 a factor of q?
False
Let u(f) = 5*f**2 - 57*f - 159. Is u(71) a multiple of 11?
True
Suppose 28982 = 5*b + 2*y, 4*y + 4913 + 901 = b. Does 11 divide b?
False
Let r = 59 - -21. Suppose h - 28 = 5*t, 5*h - 106 = 2*t + r. Is 28 a factor of h?
False
Let x(n) be the second derivative of 0 - 27/2*n**2 - 4*n + 3/2*n**3. Is x(11) a multiple of 31?
False
Suppose -2*g = -10, -6*s - 12 = -2*s - 4*g. Let v(r) = 3*r**2 - 2 + 7*r**2 + 2*r + 2*r**2. Is v(s) a multiple of 17?
False
Suppose -6*i + 0*i = 2*l - 52426, 0 = -3*i + l + 26203. Is i a multiple of 24?
True
Let b = 85 + -83. Suppose -b*q + 2*j - 706 = 0, -3*q = 3*j - 0*j + 10