. Let s be o(-3). Let v be 4 - (s/40)/(2/(-5)). Suppose -61 = -v*t - 9. Is 7 a factor of t?
False
Suppose -2*x + 65254 = 4*g, -348*x + 346*x + 4*g = -65206. Is 101 a factor of x?
False
Suppose -9*u + 18*u + l - 28420 = 0, -5*u = -5*l - 15750. Does 77 divide u?
True
Suppose -16 = -2*p, 5*p = 16*i - 13*i - 63623. Is i a multiple of 16?
False
Let c(p) = -p**2 - 41*p - 288. Let m be c(-31). Let g(j) = 14*j - 231. Is g(m) a multiple of 5?
False
Suppose -26*b + 674 = -80. Suppose 0 = 2*u + 10, -3*s = 3*u + 2*u - 1607. Suppose -b*z + s = -25*z. Is z a multiple of 34?
True
Let x be ((-594)/(-270))/((-1)/(-5)). Suppose -14*u = -x*u - 279. Does 3 divide u?
True
Let d be 10/(-50) + 21/5. Suppose -3*c = -3*t - 93, t + d + 1 = 0. Let f = c - 11. Does 5 divide f?
True
Suppose -97*r + 1189367 - 60352 = -647. Is 12 a factor of r?
False
Let g(b) = b**3 + 16*b**2 + 44*b - 5. Let p be -4 + 33/8 - 57/8. Does 16 divide g(p)?
True
Let y = 485 - -95. Suppose 25*l - 35*l + y = 0. Does 29 divide l?
True
Let q(k) = 2*k**2 + 31*k + 43. Let d be (-240)/15 - 2*-1. Let m be q(d). Let a(h) = 130*h + 3. Is a(m) a multiple of 19?
True
Suppose -x - 3*x + 3*u = 12, -3*u + 6 = -3*x. Let i be (4/(-24)*-2)/((-1)/x). Suppose -2*r + 46 = -0*r - i*j, 3 = r + 4*j. Is r a multiple of 11?
False
Let j be (-4)/(1*(-4 + 3)) + 2. Let k(y) = y**3 - 7*y**2 + 6*y. Let o be k(j). Suppose 3*t - 480 = -5*z, z - 79 = -o*z - 4*t. Is z a multiple of 9?
True
Let h(u) = 3*u**2 - 22*u - 2. Let i be h(7). Let k(c) = -4*c + 1. Let w be k(i). Suppose -5*f = 4*t - 36 - w, 5*t = -3*f + 49. Is 8 a factor of f?
False
Suppose -23*u = -24*u - 12. Let l be -181*((-28)/u + (-2)/6). Let n = -175 - l. Is n a multiple of 23?
False
Let w be (-3236)/28 + 12/(-28). Is 39 a factor of 12/(-174) - 97448/w?
False
Let q be (4/6)/((-10)/(-105)). Suppose 2*c + 1770 = q*c. Suppose -244 = -2*r - 2*j, 0 = 3*r - 0*r - 3*j - c. Is 20 a factor of r?
True
Let y(g) = g**2 + 35*g - 142. Let i be y(-38). Is (-1596)/i*(1 + 10*1) a multiple of 61?
False
Let t be (-416)/(-14) + (-10)/(-35). Let l(s) = s**2 + 7*s - 41. Let q be l(-17). Let b = q - t. Is b a multiple of 11?
True
Let w(m) = 4*m**2 - 18*m - 6. Let f be w(5). Suppose d - 3 = -5*p - 4, -21 = -4*d + 5*p. Suppose -d*l + 0*l - 32 = -4*i, -l + 22 = f*i. Does 2 divide i?
True
Let q(l) = -152*l - 1317. Is 22 a factor of q(-20)?
False
Let w = 2442 + 22. Suppose 0 = d + w - 2540. Does 24 divide d?
False
Let y(t) = -t**3 - 13*t**2 - 14*t + 13. Let f be y(-12). Suppose 0 = -3*m - m + 5*h + 27, -3*h - f = -4*m. Let q = 14 + m. Does 6 divide q?
False
Let f = -322 - -55. Let w = f - -1149. Is w a multiple of 60?
False
Suppose 4*a + 0*a = -544. Let f = 48 + a. Let w = 240 + f. Does 38 divide w?
True
Let t be 52/130 - (406/5)/(-2). Suppose -43*l = -t*l - 42. Suppose -3*x - 3*v + 6*v = -l, 2*v = -2*x + 18. Is x even?
True
Does 65 divide 1 + 11132 + -17 - 6?
False
Let x(l) = l + 67. Let k be x(-13). Suppose b - 3*b - 2*q = -k, -3*q = b - 27. Is b a multiple of 3?
True
Let s = 15 + -6. Suppose t = -5*d - 17, -5*t + 2*t = -5*d - s. Does 46 divide ((-2)/d)/(7/966)?
True
Let h(a) = -97*a - 650. Is 4 a factor of h(-22)?
True
Suppose -2*x + 48 = -n, 10*x - 5*x = -2*n + 129. Let p be ((-6)/(-5) - 2)/(10/x). Is 15 a factor of 399/9 - (p + (-12)/(-9))?
True
Suppose 4*w - 291288 = -4*n, -10*n - 9*w = -11*w - 728112. Does 50 divide n?
False
Let s = 2683 - 368. Does 5 divide s?
True
Let x = 89 + -84. Suppose 10*c - x*c = 3420. Suppose -5*v + 5*m = 3*m - 855, -m = -4*v + c. Is v a multiple of 15?
False
Suppose 0*w + 21093 = 8*w - 33211. Is w a multiple of 4?
True
Suppose 0 = 8*z - 6399 - 689. Suppose -3*i + 2*i - 3*v + 234 = 0, 0 = 4*i + 2*v - z. Is i a multiple of 4?
False
Let o(p) = p**2 + 10*p - 81. Let l be o(-20). Let q = l + 441. Does 14 divide q?
True
Suppose -4*l + m + 6314 = 524, l - m - 1446 = 0. Is l a multiple of 4?
True
Suppose 5*b - 400 = -2*h - 2*h, h + 71 = b. Let q = -67 + b. Does 9 divide q?
True
Let t be (-1561035)/(-133) - 10/95. Suppose t + 4386 = 23*q. Does 18 divide q?
False
Suppose 4*n - n = 273. Let i = 77 + n. Does 12 divide i?
True
Let o(r) = -r**3 + 31*r**2 + 18*r - 25. Suppose -5*l + 41 + 114 = 0. Does 17 divide o(l)?
False
Suppose 3*u - 186 = -156. Suppose -4606 = -u*i - 1006. Is 24 a factor of i?
True
Let y(n) be the third derivative of 7*n**5/15 - 5*n**4/24 + n**2 - 5*n. Is y(-4) a multiple of 12?
True
Let w be 2/(-3) - (-144)/54. Suppose -4*h + b = 757, -w*h = -4*b - b + 383. Is 11 a factor of 22/(-3)*h/18?
True
Suppose 480*s - 485*s = 70. Let m(h) = -23*h - 130. Is m(s) a multiple of 35?
False
Suppose 7*k - 2*k = 15. Let v be (1 - k)*(-38)/19. Suppose 152 = v*w + 4*h, 4*h - 47 = -2*w + 33. Is w a multiple of 29?
False
Let w = -399 - -405. Suppose -3*a = -2*s + 1385, -s - w*a = -4*a - 689. Does 9 divide s?
False
Let i = 94 + -232. Let l = 38 + -108. Let z = l - i. Does 16 divide z?
False
Let s be 2/3*144/96. Is (13 + -85)*s*-1 a multiple of 36?
True
Suppose -53*p + 783081 = 17*p + 27*p. Does 13 divide p?
True
Let i(x) = 39*x**2 - 2 + 13 + 5397*x**3 - 5396*x**3 - 130*x. Is i(-42) a multiple of 10?
False
Let y(a) = 13*a - 316. Let t be y(-47). Let n = -333 - t. Is 18 a factor of n?
True
Suppose -5820 + 5799 - 30282 = -9*f. Does 7 divide f?
True
Let v(m) = 0*m**3 + 8*m + 58 - 8*m**2 - 58 + m**3. Let d be v(7). Is -7*d*(-4 - -2) a multiple of 35?
False
Suppose -2641 = 4*c - 2*o - 42675, 4*o - 50062 = -5*c. Does 154 divide c?
True
Suppose -14161 = -5*s + i + 10599, -3*i = 0. Is 9 a factor of s?
False
Let r = 2883 + 18854. Is 47 a factor of r?
False
Suppose 0 = 3*o - 2*y - 9059 - 759, -o - 2*y + 3286 = 0. Is 73 a factor of o?
False
Let j be 1/(-6)*(-4 - -4). Suppose j = -3*h + 2*h + 112. Is 2 a factor of h?
True
Suppose 4*l - 5538 = -5*t, -5*l = 111*t - 106*t - 5535. Does 10 divide t?
True
Does 45 divide ((-1)/(-3))/((-160)/(-2051040))?
False
Suppose 44 = 4*x + 4*p - 8*p, 2*x + 5*p = 43. Suppose x*o - 15*o = 4, -4*o = 2*j - 368. Does 24 divide j?
True
Suppose -14*x - 7*x = -11*x. Does 37 divide 6 + -2 - x - (-31 - 261)?
True
Suppose -3*i + 4*d + 289 = 0, 0*i - 3*i = 5*d - 334. Let l = i + -100. Suppose 0 = -l*f + 29 + 46. Is 3 a factor of f?
False
Let h(m) = m**2 + 17*m + 18. Let d be h(-16). Suppose -k + 536 = 3*w, -6*k - d*w + 2667 = -k. Is 17 a factor of k?
False
Let n = -169 - -179. Is 42 a factor of (2 - (115/n + -1))*-12?
False
Let y be 243 + (-16)/4 + -3. Let o = -125 + y. Suppose b - o = 43. Is b a multiple of 11?
True
Let p = 291 + -284. Let q(y) = -y**2 - 17 + 4 + 7*y + 8*y. Is q(p) a multiple of 21?
False
Let m = -11 + 10. Is (0 - m)*(0 + 1) + 416 a multiple of 30?
False
Let b be (3*1)/((-135)/(-180)). Let v(s) = 14*s**2 - 21*s + 84. Does 5 divide v(b)?
False
Suppose 0 = -3*s + 5*k - 745, -4*k + 996 = -4*s - 0*k. Is 13 a factor of (-9052)/(-26) + -4 + s/(-65)?
False
Suppose 5*p + 5*f - 54804 = -8904, -3*p = -f - 27532. Is 3 a factor of p?
False
Suppose 5*t = 44 + 36. Let a be -1 + t + 39/(-13). Let o(s) = 4*s + 6. Is o(a) a multiple of 8?
False
Suppose -70*j + 4*g = -65*j - 19871, -j + 3972 = -3*g. Is j a multiple of 53?
True
Let r(n) = 1531*n + 764. Is 129 a factor of r(7)?
True
Let a(z) = -22*z - 11. Let l(f) = 1. Let j(w) = -a(w) - 22*l(w). Let t be j(4). Suppose -2*r + t = -91. Is r a multiple of 14?
True
Suppose -4*x = -2*a + 22, 2*x = a + 2*a - 21. Suppose -a*g + 192 = -288. Is g a multiple of 12?
True
Suppose -2909 - 6089 = -22*q. Is q a multiple of 19?
False
Suppose -o + 9 = 2*o. Suppose h - 116 = f - o*f, 172 = 3*f + h. Suppose -3*j = j - f. Is j a multiple of 7?
True
Let i be (2 - 1)/(39/(-195)). Let n(a) = -70*a - 27. Is n(i) a multiple of 70?
False
Suppose -57*d - 4739 + 33695 = 0. Is d a multiple of 10?
False
Let w = -634 - -425. Let l = w - -308. Is 8 a factor of l?
False
Suppose -154 = -4*n - 170, 4*b + 3*n = 27228. Does 15 divide b?
True
Let l be 1358/(-42) + 2/6. Let q = l + 37. Suppose 0*z + 340 = 4*c + z, q*c - 4*z - 404 = 0. Is c a multiple of 24?
False
Let d(z) = -18*z**2 + 11*z + 23. Let t(f) = -17*f**2 + 9*f + 22. Let m(k) = 5*d(k) - 6*t(k). Let v be m(9). Suppose -17*c = -13*c - v. Does 17 divide c?
False
Suppose 5*s + 488 = -4*h + 23059, 4520 = s - 5*h. Is s a multiple of 3?
True
Suppose 30*q - 171 = 27*q. Let t = -54 + q. Is 12 a factor of