tor of x(q)?
True
Let f = 7159 + -5353. Is f a multiple of 25?
False
Suppose 2*a = -m + 102, 4*m = -a + 4*a - 153. Is (2 + -3 - -6) + (a - -13) a multiple of 3?
True
Let l(s) = -5*s**2 + 3*s**2 + s**2 + 0*s**2 + 11*s - 1. Let i be l(11). Is 37 a factor of (-1 - (-153 - i)) + -3?
True
Let q(i) = 347*i**2 + 85*i + 861. Is 357 a factor of q(-9)?
True
Let h = -7796 + 15196. Suppose 10*b + 2*q = 15*b - h, b - 4*q - 1462 = 0. Is 19 a factor of b?
True
Suppose -16*i = -3389 - 14131. Is 6 a factor of i?
False
Suppose -8 = -9*o + 5*o - 2*d, -3*d = 0. Suppose 205 = 2*i + 5*s, o*s - 190 = -41*i + 39*i. Is i a multiple of 15?
True
Let k = 8148 + -4161. Is k a multiple of 37?
False
Let t be (-6)/8 + 135/20. Is 51 a factor of (t/9)/((-10)/(-765))?
True
Let o(w) = 167*w**3 - 2*w**2 - 2*w + 23. Let m be o(5). Suppose 12*k - m = -11*k. Does 18 divide k?
False
Suppose -2 = 3*f + 133. Is 15 a factor of f*1*(35/5)/(-1)?
True
Let g = 2939 + -1953. Is g a multiple of 17?
True
Let i = 1694 + -1687. Let o(y) = -y**3 + 11*y**2 - 7*y - 22. Let z(n) = 2*n**3 - 23*n**2 + 15*n + 44. Let v(f) = 5*o(f) + 2*z(f). Does 9 divide v(i)?
False
Suppose -3*r - 3*z + 16 = -z, 5*r - 18 = z. Suppose -r*n - 110 = 2*d - 568, d - 3*n - 219 = 0. Is 19 a factor of d?
False
Let j be -2 + (4/(-14) - (-450)/105). Suppose -150 = -g - 5*x, -j*g - 3*x = -151 - 170. Is g a multiple of 16?
False
Let u(d) = -1348*d**2 + 22*d - 1 - 2*d**3 + 1352*d**2 + 9. Does 7 divide u(-4)?
True
Let s = -24 + 24. Is 51 a factor of (s + 1)*(380 - (3 - 8))?
False
Is 15 a factor of 20405 + ((-6)/8 - -1 - 24/(-32))?
False
Is 104 a factor of (-22)/(1144/(-65)) - (-29415)/4?
False
Suppose 17248 = 19*n + 3036. Is 17 a factor of n?
True
Let l(x) = -x**2 + 9*x + 25. Let y be l(11). Suppose 2*p = y*i, 0 = 5*i - 5*p + 5. Suppose i*t - 69 = 5*q, t + 2 = -5*q + 14. Is 9 a factor of t?
True
Suppose -6*d + 3*d + 108 = 0. Suppose d*a - 12 = 33*a. Does 13 divide -3 - 17/(-1)*a?
True
Let i(o) = 14*o**2 + 3*o - 3. Let r be 2/7 - -3*1191/63. Suppose -r = -4*q - 49. Does 5 divide i(q)?
False
Let k = 56 - 49. Let z be 75*((-325)/(-35) + (-2)/k). Is z/7 + (-6)/14 a multiple of 16?
True
Suppose 227836 = -62*t + 304374 + 521080. Is t a multiple of 17?
True
Suppose 2 = -2*p, 5*y - 155000 = -16*p + 11*p. Does 11 divide y?
False
Let n = -794 - -827. Let v(f) = -f**3 + 30*f**2 + 122*f + 77. Is v(n) a multiple of 19?
True
Let b(y) = -4*y + 13. Let x be b(2). Let m(g) = 3*g**3 - 2*g**2 - 4*g + 10. Does 9 divide m(x)?
True
Let v(x) = 40*x - 73. Let j be v(2). Suppose -j*w - 3*u = -4*w - 1095, 0 = 4*w + u - 1454. Does 11 divide w?
True
Let b = 1781 - -6721. Does 35 divide b?
False
Let c(u) = 32*u - 260. Let w be c(25). Suppose 20*r - 10*r = w. Is 12 a factor of r?
False
Let y = -98 + 94. Let q = 9 + y. Suppose q*a - 225 = 1455. Is 12 a factor of a?
True
Suppose 71 = -n + 4*x + 1545, -4*x = 2*n - 2984. Suppose 5*b - 1379 - 499 = 4*v, -5*v = 4*b - n. Is b a multiple of 34?
True
Let y be (-1)/(90/(-48) + 2). Let b(u) = 2*u**2 + 16*u + 50. Does 5 divide b(y)?
True
Suppose 3*m + m = -16. Let l(c) = -2*c**2 - 2*c + 26. Let q be l(m). Suppose -22 = -y - i, y + q*i - 14 = 6. Is y a multiple of 6?
True
Let y = -30169 - -37982. Is y a multiple of 36?
False
Let y(w) = -6*w + 9. Let g be y(2). Let p(j) = 16*j - 4. Let k be p(g). Let a = 151 + k. Is 33 a factor of a?
True
Let h(x) = x**3 + 20*x**2 + 13*x - 6. Suppose -260 = -6*y + 26*y. Does 14 divide h(y)?
True
Let t be (65/(-2))/((-20)/(-8) + -3). Let u = 404 + t. Is 23 a factor of u?
False
Let o(x) = -12*x + 1466. Is o(61) a multiple of 23?
False
Suppose d + 23714 + 5596 = 11*d. Does 15 divide d?
False
Suppose 2*r + 1108*o - 25551 = 1105*o, 5*o = 25. Does 48 divide r?
True
Let h = -1929 - -4039. Does 87 divide h?
False
Let z be ((-26)/39)/(1 - 155/153). Suppose h - z = 3. Does 30 divide (3 + h/10)*25?
True
Suppose 0 = 2*f - f + 3. Let p(c) = 5*c**3 - 2*c**2 + 3*c - 6. Let d(l) = -l**3 + l**2 + l. Let u(t) = -2*d(t) - p(t). Does 17 divide u(f)?
True
Let p = -11 - -53. Let c = 9 + p. Is 41 a factor of c?
False
Suppose 5*m + 27 = -4*k, k + 7 = -3*m + 2*m. Is 6 a factor of (-36)/(-10)*(-3 - k)?
True
Let d(r) be the third derivative of 0 + 7/6*r**3 + 0*r + 5/24*r**4 + 2/15*r**5 - 1/120*r**6 + 25*r**2. Is d(7) a multiple of 24?
False
Let u be 2 + (1418/4)/(1/2). Let k = 867 - u. Is 24 a factor of k?
False
Let q(u) = -335*u**3 + u**2 + 7*u - 9. Let k be q(1). Let d = 1416 + k. Is d a multiple of 10?
True
Let a(j) = j**3 - 65*j**2 + 67*j + 198. Is a(65) a multiple of 12?
False
Let k(n) = n**3 + 17*n**2 + 15*n + 32. Let c(t) = 16*t. Let x be c(-1). Let r be k(x). Let s = r - 39. Does 3 divide s?
True
Let z(h) = -h**3 + 7*h**2 + 31*h. Let v be z(10). Does 18 divide 35/v*2 - -1203?
False
Suppose 3*u + 16 = 5*z, -6*z + 2*z + 20 = 0. Let a be 45/(-180) - 193/(-4). Does 28 divide (1648/a)/(1/u)?
False
Let f = -5543 - -5561. Suppose -5*i + 0 + 5 = 5*n, -i = 5*n + 3. Is 4 a factor of (f/27)/(i/108)?
True
Let s(g) = -12*g**3 - 5*g**2 - 46*g - 287. Is 122 a factor of s(-10)?
False
Let r(p) = -p**3 - 19*p**2 - 34*p + 16. Let z be r(-17). Is 2*9*(z - 30/6) a multiple of 22?
True
Suppose 0 = -23*c + 22*c + 8. Suppose h - z - 2 = -c, 2 = z. Is 51 a factor of h/10 - 6594/(-35)?
False
Let d(n) = n**3 + 12*n**2 - 24*n + 12. Let p(y) = -5*y**3 - 48*y**2 + 96*y - 49. Let m = 14 - 16. Let s(l) = m*p(l) - 9*d(l). Is s(10) a multiple of 6?
True
Suppose 147*x - 152*x - 435 = 0. Let y = x + 391. Is 26 a factor of y?
False
Let s(i) = -i**3 + 20*i**2 + 2*i - 1. Let g be s(20). Let m = 43 - g. Suppose w + 3 - 33 = -p, m*p - 120 = 5*w. Is p a multiple of 4?
False
Let v = -6397 + 5832. Suppose 263 = -h - 139. Let j = h - v. Does 9 divide j?
False
Let m be (100 - 1) + -1 - 0/(-8). Let o be ((-1)/1 - -1) + 3. Suppose 4*y = -o*v + m, -4*y + v + 94 = 2*v. Does 23 divide y?
True
Suppose -10*b + 9390 + 16105 + 26795 = 0. Does 63 divide b?
True
Let b(r) = 2*r**2 + 0*r**3 - 2 + 40*r**3 + 0*r**2 + 6*r**3 + r. Let o be b(1). Suppose 9*j - 10*j = -o. Does 19 divide j?
False
Suppose 0*s + 3 = z - 4*s, -5*z + s - 42 = 0. Does 32 divide (-9 - z)/13 - (-1 - 703)?
True
Suppose -8 = -30*k + 26*k. Suppose 11 + 44 = 5*s - 5*o, -16 = -k*s + 4*o. Let y(z) = -z**3 + 14*z**2 + 15*z + 14. Does 20 divide y(s)?
False
Let k = 578 + -478. Is (8 + -12 - -10) + k a multiple of 14?
False
Let u(n) = 6*n + 87. Let d be u(-14). Suppose 2*l = -d*r + 42, l - 3*r - 4 = 26. Does 8 divide l?
True
Suppose 4*l - 2 = -2. Let k = l - 1. Let r(t) = 85*t**2. Does 14 divide r(k)?
False
Let b(p) = -p**2 + 2*p - 20. Let g be b(-9). Let f = 114 + g. Does 3 divide f + 11 + (1 - 0)?
False
Let g = 22 - 46. Does 3 divide 626*(-3)/g + 1/(-4)?
True
Let m = 23 + -14. Suppose 265 + 68 = m*p. Does 5 divide p?
False
Suppose 20*k = 7*k + 135733. Is 41 a factor of k?
False
Is 35 a factor of 16/14 + (-152948)/(-14) + (368 - 374)?
True
Let q(b) = 574*b**3 + 5*b + 4. Let i be q(-1). Let t = 1438 + i. Does 74 divide t?
False
Let c = 131 - 163. Is 863/2 + 48/c a multiple of 9?
False
Let d(l) = l**2 + 22*l + 21. Let p be d(-21). Suppose -2*y - 2*h + 24 = 0, 6*y - 2*y + 5*h - 52 = p. Is 19 a factor of (-160 + y)*-2*(-2)/(-4)?
True
Suppose 849*k + 46198 - 319878 = 805*k. Does 5 divide k?
True
Suppose -14*u = -u - 1326. Let v = 106 - u. Is 33 a factor of 72/48 - (-918)/v?
True
Suppose -3*r + 13 - 1 = 0. Suppose -r*h - 321 = 5*o, 3*o - 2*o - 143 = 2*h. Let g = -41 - h. Is g a multiple of 33?
True
Let v be 17/3 + -2*(-4)/(-12). Suppose -209 = -3*y + v*p, -5*y + 5*p + 331 = p. Is y a multiple of 5?
False
Let h(t) = t**3 + 3*t**2 + 2*t. Let p be h(-3). Let n(y) = -25*y - 120. Does 2 divide n(p)?
True
Suppose -2*z + 0*y = 3*y - 7, 2*z = 4*y - 28. Let u be z + 12/3 - -4. Suppose 0 = -5*j - n - 2*n + 315, -4*n = -u*j + 220. Does 5 divide j?
True
Is ((-118218)/(-610))/((-2)/(-120)) a multiple of 68?
True
Suppose -7*w + 6*w - 5*n = -3, -3*w + 9 = -2*n. Suppose w*p + 6 - 3 = 0. Is 1 + 89 + p + -1 a multiple of 11?
True
Let i = -96 + -16. Let j = 182 + i. Let d = -37 + j. Is d a multiple of 33?
True
Let b be (-4)/6*(-42)/4. Suppose d + 6 = -b. Is (-1233)/d - (-10)/65 a multiple of 19?
True
Let y(i) = i - 1. Let c(h) = 36*h - 31. Let t(u) = 3*c(u) - 12*y(u). Is 15 a factor of t(5)?
False
Let t = 2366 + -1671. Let r = 