?
False
Let r be (-135315)/(-360) - (2 + (-17)/8). Let g = 616 - r. Is g even?
True
Let t(w) = w**2 + 3*w - 48. Let a(y) = 20 + 21 - 12 - 4*y + y. Let q be a(5). Is t(q) a multiple of 31?
False
Suppose -4*a = 19 - 35. Suppose -3*i - 272 = -b - 7*i, 2*b - a*i - 520 = 0. Is 24 a factor of b?
True
Let f(z) = -2*z - 6. Let s be f(-5). Suppose -41*p - 14 = 68. Does 15 divide s - 33/(6/p)?
True
Suppose -3*r + 7065 - 2655 = 0. Suppose r = -125*z + 128*z. Is z a multiple of 59?
False
Suppose 20*v - 18*v - 86 = 0. Let l = 1 + v. Suppose l = -2*t + 128. Does 4 divide t?
False
Let c = 17 + -30. Let x(v) = -v**2 - 17*v + 9. Let j be x(c). Suppose 2*p - j = 109. Is 17 a factor of p?
True
Is 286/(-715) + (-3364)/(-10) a multiple of 5?
False
Let y(o) = -746*o + 638. Is y(-11) a multiple of 11?
True
Suppose 25*k - 14*k + 110 = 0. Let t = k - -34. Suppose -14*r + 10*r = -t. Is 2 a factor of r?
True
Let u(w) = 14*w**2 - 12*w + 3*w**3 - 4*w**3 - 2844 + 2825. Does 4 divide u(12)?
False
Let a = 30196 + -13510. Is 27 a factor of a?
True
Let w(m) = -1131 + 142 - 55*m + 291 + 381. Is w(-10) a multiple of 12?
False
Suppose 8*v - 837 - 1251 = 0. Suppose -1449 = -3*t - v. Is t a multiple of 4?
True
Let r be -4 + -28 + (1 - 2). Is (-11)/(r/408) + 6 even?
True
Let z(d) = -3*d - 2. Let j be z(-2). Suppose -365 - 363 = -5*f - 2*y, 16 = j*y. Is f a multiple of 16?
True
Suppose 2*o = 3*d + 2, 0 = 3*d - 7*d + 3*o - 4. Suppose d*c + g - 229 = -4*g, 3*c = -g + 337. Is c a multiple of 6?
False
Suppose 0*v + 4*d + 36 = 5*v, 2*v + d = 17. Suppose -8*t + v = -0. Let p(w) = 70*w**3 - 4*w**2 + w + 2. Is 4 a factor of p(t)?
False
Let p be ((-4)/3)/((-14)/(-5691)). Let s = p + 975. Suppose -7*k + s + 29 = 0. Is k a multiple of 33?
True
Suppose 36307 = 4*f + w, 11*f - 2*w = 12*f - 9089. Is f a multiple of 52?
False
Let a = 54 - -204. Suppose a = v + 3*x - 2*x, -5*x = 2*v - 510. Does 17 divide v?
False
Let b be 96/(((-12)/90)/(-1)). Suppose z - b = -3*z. Is 5 a factor of z?
True
Let h(c) = -24*c - 30. Let k(s) = -s + 3. Let f(i) = h(i) + 7*k(i). Suppose -q + 4*p - 2*p - 5 = 0, -5 = -5*p. Is 21 a factor of f(q)?
True
Let n(s) = -2*s + 12. Suppose 40 = f - 2. Suppose 0 = -3*a - 3*a - f. Does 5 divide n(a)?
False
Let a = 771 - 150. Let i = 1193 - a. Does 11 divide i?
True
Let j = -4247 - -6719. Is j a multiple of 36?
False
Let v = 7502 - 5585. Is 4 a factor of v?
False
Let l(b) = 3*b**2 - 2*b - 1. Let f be l(-1). Let n be (-106)/(2 + -4 + f). Let j = 113 + n. Does 10 divide j?
True
Let f(r) = 14*r + 383. Let l be f(-26). Suppose 2*h + 2*s = 1928, l*s - 22*s + 9 = 0. Is 21 a factor of h?
False
Let x = 13763 + -8693. Is 59 a factor of x?
False
Let h be (0 + 0)*((-144)/12 - -11). Is (-2424)/(-16) + h - 5/2 a multiple of 55?
False
Suppose -708 = 2*n - 5*v - 2216, 2*n = 2*v + 1514. Let f = -269 + n. Is 9 a factor of f?
False
Suppose 10*g + 40 = 15*g. Suppose g*a - 6*a - 228 = 0. Is 7 a factor of a?
False
Suppose p = 14 + 18. Suppose 33*a - p*a = 308. Is 22 a factor of a?
True
Suppose s + 4 = -2*y - 7, 5*y + 3*s + 25 = 0. Let d(u) = 14*u**2 - 2*u - 50. Is 13 a factor of d(y)?
False
Let j = 14 + -2. Suppose -4*f = 5*y - 190, -4*y - f + 83 = -58. Does 5 divide y*(-2)/j*-6?
False
Suppose 0 = 4*w - w - 18. Suppose 13*i - 35 = w*i. Let u = 9 - i. Is 3 a factor of u?
False
Let q(y) = y**2 - 1. Let x be q(2). Suppose 0 = x*k - 2*k + g - 8, g - 35 = -4*k. Suppose 0 = -5*j + 31 + k. Does 3 divide j?
False
Let c = 252 - -209. Let i = c + 83. Is 12 a factor of i?
False
Let k be (-62)/(-93) - 50/(-6). Let q(d) be the first derivative of -d**3/3 + 9*d**2 + 8*d - 1. Is 9 a factor of q(k)?
False
Let o = -52269 - -106734. Does 15 divide o?
True
Let w be -4 + 3 - (-4 + 3). Suppose 8*j - 5*j - 6 = w, -22 = -5*n - j. Is 7 a factor of n/(-1) + (-32)/(-4) - -115?
True
Suppose 8*j - 51839 - 137840 = 208121. Is 75 a factor of j?
True
Let a = 11931 + 3213. Is a a multiple of 58?
False
Let n = 68270 + -39517. Is 7 a factor of n?
False
Suppose -3*h - 6 + 0 = -5*f, -3*f = -3*h. Suppose l = y - 277, 0*y = -3*y - f*l + 807. Does 16 divide y?
False
Suppose -3*d = 4*u - 173288, -2*d + 25542 + 89981 = 3*u. Does 26 divide d?
True
Suppose 0 = 1338*d - 1359*d + 212877. Is 31 a factor of d?
True
Does 96 divide (-28)/16 + 2 - (-600)/(-96) - -11430?
True
Let c be 4/(3*(-8)/(-36)). Let h be (-3)/(c/(-45) + (-266)/(-2670)). Let k = h - 46. Does 12 divide k?
False
Let f = -155 + 393. Let n = f - 227. Is n even?
False
Let f(t) = 34*t**2 + 5*t. Let a be f(4). Let y be ((-250)/(-15))/(10/225). Let l = a - y. Is 27 a factor of l?
True
Let l(y) be the third derivative of y**5/60 + 13*y**4/24 + y**3/2 - 8*y**2. Let v be l(-12). Is 3 a factor of (-4)/18 + (-164)/v?
True
Let v be ((-78)/(-65))/(2/10). Let d be (v - -10)/(5 + -1 - 2). Let x(m) = -m**3 + 9*m**2 - 5*m + 20. Is 22 a factor of x(d)?
True
Let d(z) = z**2 - 9*z + 56. Let b(i) = i - 1. Let r(j) = 5*b(j) + d(j). Is r(17) a multiple of 34?
True
Let j = -40 - 746. Let c = -346 - j. Is 20 a factor of c?
True
Suppose 0 = 58*y + 674 - 1312. Suppose -2 = -x - 0. Suppose -x*k + y*k = 243. Is 3 a factor of k?
True
Let j be 3/(-5) + (4 - 48/(-30)). Suppose -3*p + 4*z + 271 = 2*p, 0 = -p - j*z + 31. Is p even?
False
Does 58 divide 3 + (-35)/231*21 + 2450535/55?
False
Let x = 434 - -1645. Is x a multiple of 27?
True
Let i(w) = -w**3 - 14*w**2 - 25*w. Let d be i(-12). Suppose 20 = -d*r + 13*r. Let b = r + 7. Is 15 a factor of b?
False
Let b(v) = v + 1. Let q(u) = -7*u - 16. Let h(l) = 18*b(l) + 2*q(l). Let n be h(-4). Is (-76)/(-1)*(n/12 - -3) a multiple of 7?
False
Let f(x) = 28*x**3 + 9*x**2 - 31*x + 229. Is 154 a factor of f(7)?
False
Let s be (0 - -1) + (1 - 2). Let l(q) be the second derivative of q**5/20 + 53*q**2 + 2*q + 61. Is l(s) a multiple of 19?
False
Suppose -2*i - 2*g = -1466, i = -0*i + 5*g + 745. Suppose -4959 = -32*p - i. Is p a multiple of 12?
True
Suppose 7*b + 1936 = -b. Let c = -83 - b. Does 35 divide c?
False
Suppose -443*q + 143625 = -428*q. Is q a multiple of 22?
False
Let i(y) = 717*y**2 - 85*y - 426. Is 249 a factor of i(-6)?
True
Suppose 5*g - 1929 - 3376 = 0. Is g a multiple of 3?
False
Let g(l) = 5 + 12 + 7 - 4 + 14*l. Let x be g(-4). Let m = x + 60. Is 6 a factor of m?
True
Let t = 54 - 48. Let l be (t/4)/(10/40). Suppose 0 = 11*y - l*y - 830. Is y a multiple of 24?
False
Is (12/(-15))/(130/(-92300)) even?
True
Suppose 0 = -4*y + h + 12519, -3*y = -2*h - 13402 + 4019. Does 32 divide y?
False
Let y be (-96)/(-66) - (-186)/341. Suppose -317 = -2*f - 3*r - 0*r, 0 = f + 3*r - 163. Suppose 0 = -4*w - 12, -5*o + y*w = f - 600. Does 14 divide o?
False
Let n(f) = -f - 7. Let v(a) = a**2 - 2*a - 1. Let u be v(0). Let h be n(u). Let c(i) = -i**3 - 3*i**2 - 4*i - 7. Is c(h) a multiple of 12?
False
Let x be (-4)/7 - 6/(168/2252). Let c be (-5)/3 - 378/x. Suppose 36 = -c*a + 42. Is a even?
True
Suppose 0 = -24*f - 25*f + 123284. Suppose -1948 = -12*r + f. Is 58 a factor of r?
False
Suppose -p - k = -1888, 4*p - p + 5*k = 5672. Suppose p = -17*a + 5590. Is 7 a factor of a?
False
Let l be 4/(-26) + (-528)/(-52). Let s be 6*(-5)/20*l/3. Is 3 a factor of (-1)/(s/130) + -3?
False
Suppose 2*s - a - 32 = 0, 0*a - 44 = -2*s + 4*a. Let w be (-4)/s + (-45)/63. Does 8 divide 51/(w - 2 - -4)?
False
Let x(m) = 1887*m + 35. Is 54 a factor of x(3)?
False
Does 15 divide (960/100)/((-2)/(-505))?
False
Let d = -311 - -779. Is d a multiple of 36?
True
Let v(z) = -5799*z - 1932. Is v(-8) a multiple of 45?
True
Suppose 4*z = -97 + 41. Let h(o) = 2*o**2 - 5*o + 26. Let l be h(z). Suppose -2*n = 3*u - 117 - 367, -3*u + l = n. Does 38 divide u?
False
Let f be (25*-3)/((-17)/153). Suppose -5*y = 5*n - f, 5*n + y + 58 = 737. Is n a multiple of 68?
True
Let n(w) = 2*w**3 + 15*w**2 - 16*w - 18. Let f be n(-10). Let l = 45 - f. Is l a multiple of 40?
False
Let q(c) = -4*c - 12*c - 14 - 11*c**2 + c**3 + 22*c**2. Let n be (-35)/3 - 0 - (-18)/27. Is 54 a factor of q(n)?
True
Suppose -4*r + 55185 = -3*n, -r - 57*n = -58*n - 13796. Does 23 divide r?
False
Suppose 1162136 = 172*q + 339116. Is 55 a factor of q?
True
Suppose -61*n - 68*n = -131967. Does 2 divide n?
False
Let a(q) = 34*q + 1012. Is a(-17) a multiple of 7?
True
Does 100 divide (1159269/(-1268))/((-6)/256)?
False
Let o = 20 - 20. Suppose o + 12 = 3*q