Let j(h) = 16*h - 86. Suppose 0*y - 3*y - 4*m + 43 = 0, 32 = 2*y + m. Does 31 divide j(y)?
True
Let t be 4/(32/12 - 2 - 0). Let o be (-10)/(4 - t) + -4. Suppose x = 29 + o. Is 8 a factor of x?
False
Suppose -1292 = -875*j + 874*j. Suppose -3*v - 11*n = -7*n - j, 5*n = -5*v + 2155. Is 24 a factor of v?
True
Is (-5 - 415/(-20))/(1/88) a multiple of 126?
True
Suppose -h + 5*h - 8 = 0. Suppose 2*i - 3*i + h*z = -5, -2*i = 5*z - 28. Suppose 7*r - i*r + 156 = 0. Is 13 a factor of r?
True
Suppose 718 = 2*i - 2*z, -i = -29*z + 32*z - 375. Is 2 a factor of i?
False
Let f(u) be the first derivative of -u**3/3 + u**2/2 + 16*u - 22. Let k be f(0). Suppose -i - 4*m = -5*m - 16, -i = 5*m - k. Is 4 a factor of i?
True
Let h(g) = 5*g**2 + 20*g - 52. Suppose -2*w + 2*i + 9 = i, -5*w + 40 = i. Is 38 a factor of h(w)?
False
Let y(u) = 5*u**2 - 3*u + 0*u**2 - 6*u**2 + 2*u**2 - 4. Let s be y(4). Suppose 2*z - 5*w = 64, s*z - z - 3*w + 10 = 0. Does 11 divide z?
True
Let f = 24 - 22. Suppose f = 4*q - 2, 4*q = 5*w - 46. Let y(j) = -j**3 + 13*j**2 - 22*j + 20. Does 23 divide y(w)?
False
Suppose 0 = 4*t - 2*n + 5038, n = -5*t - 4*n - 6260. Let v = -612 - t. Does 43 divide v?
True
Is -9 + 508490/55 + 3/(-11) a multiple of 89?
False
Let m = 303 + -301. Suppose 289 + 617 = m*o. Is 10 a factor of o?
False
Does 27 divide 1101936/1188 + 4/9?
False
Let q = -4644 - -6497. Is q a multiple of 9?
False
Suppose 97*a = 134197 + 302691. Is 82 a factor of a?
False
Suppose 136*q - 39 = 135*q. Let v = 41 - q. Suppose 4*a - 5*o - 64 = 26, v*o + 4 = 0. Is a a multiple of 4?
True
Let b be (-512)/10 - (-2)/10. Let a = -4 - b. Let v = a + -8. Is v a multiple of 7?
False
Let s(f) = f**3 - 9*f**2 + 17*f - 16. Let d be s(7). Suppose 21*m - 16 = d*m. Is (-57)/m*(-55)/15 a multiple of 20?
False
Suppose -13*b + 3 = -36. Suppose -b*y - 2*y = -2400. Is 16 a factor of y?
True
Is 61 a factor of (122 + 0)*20394/132?
True
Let d = 467 + -473. Is 11 a factor of 954*d/24*-6?
False
Let d(b) = -b**3 + 17*b**2 + 19*b + 14. Let h be d(18). Let r = 7 + h. Does 21 divide (-4 + 2)*(1 - r)?
False
Suppose -r - j - 2 = -3, r - 7 = 5*j. Let m(l) = -11*l**2 + l + 12*l**r - 44 + 47 + 5*l. Does 15 divide m(6)?
True
Suppose 4*a = 0, -4*m + 2*a + 12 = 4. Suppose 4*f = -2*j + 786, -f + 195 = 3*j - m*j. Does 23 divide f?
False
Let l(i) = -i**3 + 6*i**2 + 11*i - 8. Let h be l(7). Suppose -f = -6*f + h. Suppose 0 = -f*j + j + 207. Is j a multiple of 18?
False
Let v = 62 - 61. Is ((-4290)/(-275))/(v/15) a multiple of 78?
True
Suppose 3*w - 5208 = -3*z, -11*w - 8*z + 19135 = -10*z. Does 3 divide w?
False
Let g be 0 + (6 - (3 - 1)). Suppose 12*a = g*a + 32. Suppose d - a*k - 194 = -0*k, -218 = -d - 2*k. Is 35 a factor of d?
True
Suppose -16*g + 2 = -14*g. Let t be g - (-3)/(-6) - (-10)/4. Suppose -t*d + d = -156. Is d a multiple of 18?
False
Let x be ((-8)/72)/(4/(-18))*8. Suppose -9*l = 2*s - x*l - 1690, 0 = 3*s + 5*l - 2540. Does 17 divide s?
True
Let d(l) = 2*l**2 + 27*l - 9. Let o be d(-14). Does 29 divide (o*116)/(5 + -4)?
True
Let q = -41 - -379. Suppose 0 = -11*s + 6617 - 1359. Let v = s - q. Is 16 a factor of v?
False
Suppose 19*z - 141569 = -4*z + 4*z. Is z a multiple of 102?
False
Let p be (-58)/(-18) - 2/9. Let c(x) = -4*x**3 - 3*x**2 - x + 4. Let k(l) = 8*l**3 + 7*l**2 + l - 10. Let v(d) = -5*c(d) - 2*k(d). Does 21 divide v(p)?
True
Let f be (-9)/(-6)*(-4)/(-3). Does 8 divide f*(-10)/(-4) + (8 - -20)?
False
Let s = 7003 + -4310. Is 44 a factor of s?
False
Let f = 145 + -142. Suppose 2*r + 5*t = 89, -7*r - f*t = -12*r + 145. Does 4 divide r?
True
Let c(m) = 11*m**2 - 8*m - 10. Let u be (5 - 6) + 0 - -5. Suppose 10 = u*o + 26. Does 33 divide c(o)?
True
Suppose 108*l - 1123193 = 296899. Is 9 a factor of l?
True
Let z(w) = -7*w**2 - 3*w - 91. Let g(p) = -6*p**2 - 3*p - 90. Let b(y) = -5*g(y) + 4*z(y). Let m be b(0). Suppose -m*a = -81*a - 250. Does 6 divide a?
False
Let b(h) = 9*h**2 - 60*h + 311. Is 202 a factor of b(47)?
True
Let i be (9/1)/(69/(-184)). Is 4 a factor of (-3)/(-9) + 2 + (-5128)/i?
True
Let r(g) = -g**3 + 5*g**2 + 4*g - 5. Let c be r(5). Suppose -c = -3*i + 3. Suppose -5*q + 1181 = i. Does 47 divide q?
True
Let t = 17 - 28. Let b = -9 - t. Suppose 3*s - 5*u - 16 = 0, 47 - 3 = b*s + 5*u. Does 2 divide s?
True
Let q be 369922/(-63) + 1/(9/(-2)). Let n be q/(-64) - (-1)/4. Suppose 6*c - 2*c = 2*f + 362, -c + n = -2*f. Is 26 a factor of c?
False
Let s = 216 + -143. Let w(x) = x**3 - 5*x**2 + 2*x + 125. Let h be w(0). Let o = h - s. Is o a multiple of 26?
True
Suppose 3*b - 18062 = 2*n, -5*b + 2*n + 40865 - 10771 = 0. Is 16 a factor of b?
True
Let t = -1475 + 679. Let b = 1202 + t. Let y = -202 + b. Is 36 a factor of y?
False
Let q(r) = -168*r + 3024. Is q(0) a multiple of 27?
True
Suppose 9*z - 13*z + 29250 = n, -3*z + 2*n + 21932 = 0. Is z a multiple of 26?
False
Suppose 5*x = -3*c + 88, -x - 5*c = -6*c - 24. Suppose -37 = -3*r + x. Is 3 a factor of r?
False
Does 16 divide 141/(-285) + (-20)/190 - (-119312)/20?
False
Let k(q) = 12*q - 49. Let j be k(9). Suppose u - r = 62, 0 = 4*u - 3*u + 2*r - j. Is u a multiple of 3?
False
Let h = -3585 + 25252. Is 114 a factor of h?
False
Suppose 5*b - 75 = 5*z, 0 = b - 3*b - 4*z + 6. Suppose -b*l + 23*l - 1920 = 0. Does 13 divide l?
False
Let z be (-1)/((-2)/6) + -3 + -704. Let b = -192 - z. Is 16 a factor of b?
True
Let g(m) = m**3 + 12*m**2 + 2*m - 3. Let z(w) = 3*w**3 + 37*w**2 + 4*w - 8. Let u(c) = 7*g(c) - 2*z(c). Let y = -12 + 5. Is 26 a factor of u(y)?
False
Let o = -26004 - -38391. Is 201 a factor of o?
False
Suppose 3*h + 33*h - 15*h - 654507 = 0. Is 8 a factor of h?
False
Suppose -h - 1293 = 2*h - a, 2*a - 862 = 2*h. Let z = -221 - h. Suppose -x = -6*x + z. Is x a multiple of 7?
True
Let l = -248 - -5618. Does 4 divide l?
False
Suppose -g + 418 = -3*n, 61*n - 1278 = -3*g + 66*n. Is g a multiple of 6?
False
Let s(n) = 2*n**2 - 50*n + 4140. Does 11 divide s(84)?
False
Let g = 3805 + -1060. Is 12 a factor of g?
False
Suppose 13165 = -8*y + 128333. Does 177 divide y?
False
Let t be (-44419)/(-473) + (1 + 0)/11. Let o = 773 + t. Does 17 divide o?
True
Let b be (72/21)/(21/(-147)). Does 18 divide 5320/42*b/(-5)?
False
Let x(w) = 33*w + 4. Let g be x(5). Let u = 319 - g. Does 11 divide u?
False
Let p(q) = 4*q**3 - 17*q**2 - 21*q - 21. Let i(a) = 2*a**3 - a**2 + 1. Let x(f) = -3*i(f) + p(f). Is 68 a factor of x(-8)?
True
Is 58 a factor of -15*(-3 + -5)*3/24*1334?
True
Let o(p) = 49*p + 15. Let c = -14 - -10. Let v be o(c). Let k = v + 307. Does 16 divide k?
False
Let g(j) = 17*j**2 + 20*j - 4. Is g(8) a multiple of 12?
False
Does 10 divide (-442)/(((1 - 0) + 0)*-2)?
False
Let t(b) = -b**3 - 17*b**2 - 16*b - 24. Let u be t(-16). Let a(k) = -k**2 - 28*k - 51. Is a(u) a multiple of 3?
True
Let d(p) = -p**3 + 16*p**2 + p - 11. Let r be (-12)/(-28) + 0 + 498/14. Suppose 5*n - r = 44. Does 4 divide d(n)?
False
Let t(k) = -k**3 - 4*k**2 + 37*k + 206. Does 43 divide t(-34)?
False
Let g be (-33754)/4*14/(-49). Suppose 4*d = 3*q + g, -2*d - q - 2401 = -6*d. Does 59 divide d?
False
Let i(d) = 7*d**2 + 2*d. Let s be i(2). Let z = s + -40. Let y = 50 + z. Is 6 a factor of y?
True
Suppose -3*u - 4*s - 17 + 97 = 0, -10 = -2*s. Is 13 a factor of 65/u*-3*132/(-9)?
True
Suppose 0 = a, 4*x - 4*a - 5888 = 10744. Suppose 3*u - 14*u + x = 0. Does 12 divide u?
False
Let x be (-2)/7*1 - (-496752)/112. Let k be x/9 - (-4 + 102/27). Suppose -5*d + 6*a = a - 520, 4*a - k = -5*d. Does 18 divide d?
False
Suppose -4*i - 32 = 0, 4462 = 2*s - 6*i + 7*i. Does 15 divide s?
True
Let z(b) = -b**2 - 7*b + 14. Let d be z(-7). Suppose 2*n + 4*m - 28 = -0*m, n + 5*m = d. Suppose -26 = -4*y + n. Does 5 divide y?
True
Let c = 3970 + -176. Is c a multiple of 14?
True
Suppose -205*h = -204*h - 4. Suppose 3*v - 1041 = -3*m, h*m - 970 - 463 = 5*v. Is m a multiple of 16?
True
Let u be 16/3 - (-42)/63. Does 21 divide -2 + 2097/(54/u)?
True
Let c(t) = -13*t**3 - 13*t**2 + 45*t - 4. Let n(w) = -7*w**3 - 6*w**2 + 23*w - 2. Let p(r) = 6*c(r) - 11*n(r). Does 8 divide p(-14)?
True
Suppose -3*i + 17 = a, 15 = 3*i + 2*i - 5*a. Suppose -2*k - 9 = -5*n, 4*n - k + 4 = 13. Suppose 2*b + i*l = 42, -5*l = b - n*l - 20. Is b a multiple of 16?
True
Let b = 34780 - 18094. Is 103 a factor of b?
True
Suppose -208*k + 220*k - 5