iple of 10?
False
Does 17 divide -26 + 46 + -20 + 11522?
False
Suppose -5*u = 4*q - 197, -4*u + 5*q = -u - 133. Let z = 48 - u. Suppose 2*o - 85 = -z. Is o a multiple of 13?
True
Suppose -5*l + 0*l + 5*z - 10 = 0, 3*z = 5*l + 18. Let t be ((-4)/(-6))/(13/(-117)). Is (-4)/t - 374/l a multiple of 7?
True
Suppose 3*v + 3*u + 978 + 48 = 0, 5*u + 5 = 0. Let o = v + 364. Does 23 divide o?
True
Is 1 + 30870 - ((-267)/(-178))/(3/2) a multiple of 98?
True
Let a(y) = -2*y + 10. Let g = 49 - 43. Let i be a(g). Let o = 26 - i. Does 7 divide o?
True
Let z(o) = -o**3 - 13*o**2 + 15*o - 34. Let k(l) = 2*l**2 - 20*l + 4. Let v be k(9). Let f be z(v). Let j = f + 126. Is j a multiple of 13?
True
Suppose -849 + 873 = -6*t. Does 28 divide t/(-3) - ((-192400)/15)/16?
False
Suppose 34939 = 4*a + 3*i - 38187, -3*i = -3*a + 54834. Is 61 a factor of a?
False
Suppose -13*c - 312 = -c. Let v = c + -62. Let f = -74 - v. Does 5 divide f?
False
Let d = -1171 - -7120. Is d a multiple of 10?
False
Let o = -358 + 390. Is -21 + 25 - o/(-1) a multiple of 3?
True
Let w(k) = -k - 10. Let r be w(-17). Suppose -m - r*m = -1632. Does 20 divide m?
False
Let y(k) be the first derivative of k**3 - 12*k**2 + 120*k - 230. Is y(12) a multiple of 88?
True
Suppose -3*x - 2*l + 130 = -373, 0 = 2*x - 4*l - 314. Suppose -x = 10*j - 3565. Does 31 divide j?
False
Let p = 2314 - 4246. Is 25 a factor of p/(-7) - (-2 - (-2 + -1))?
True
Let o be (-2)/(-3) - (-1180)/30. Suppose -25 - 11 = -q - 3*u, 0 = q - u - o. Suppose l - 140 = -q. Is l a multiple of 30?
False
Let h(t) = -3 + 2*t**2 - 3*t + t**2 + 5 + 0*t**2 + 3*t**3. Let p be h(2). Let r = p + 5. Does 28 divide r?
False
Suppose -76*o + 5*g + 1155 = -74*o, -3*o = 5*g - 1670. Is o a multiple of 12?
False
Suppose -43*w + 34*w + 1027141 = 34*w. Is 21 a factor of w?
False
Let c(k) = 27*k + 22. Let d be 14 + -2 + -4*(-2 + 3). Let y be (-6)/45 + (2480/75)/d. Does 10 divide c(y)?
True
Let h(q) = -q**3 - 12*q**2 + q + 16. Let c be h(-12). Suppose -3 = j, -j + 12 = 3*l + c*j. Let z = 9 + l. Is z a multiple of 3?
True
Suppose -3*o - 5 = 4*m + 1, -5*o - 2*m = -4. Suppose -4*n = q - 28, o*n + 4*q = -n + 34. Let h = 18 - n. Does 3 divide h?
True
Let z(b) = 7125*b**2 + 110*b + 110. Is 95 a factor of z(-1)?
True
Suppose -78*g + 59607 + 49173 = 20*g. Is g a multiple of 8?
False
Let b(h) = -6*h - 4. Let l = -351 - -344. Is b(l) a multiple of 16?
False
Let p(k) = 629*k - 50. Let z be p(1). Let i = z + -563. Is 2 a factor of i?
True
Suppose 17556 + 145255 = 109*o - 34370. Is o a multiple of 23?
False
Suppose 47*p = -180*p - 272*p + 13369208. Is 13 a factor of p?
False
Suppose 0 = -k - 5*t + 25, k - t + 5 = 3*k. Suppose k*q = 4*q - 316. Does 18 divide q + (2 - (2 - 2))?
False
Let x = 337 - 334. Suppose -3*o + 2049 = 4*w, o - 683 = -4*w + x*w. Is o a multiple of 38?
False
Let n be (-1 + (-1)/(-1))/(-2*1). Let u be n + (-1)/2 + 22/4. Is 9 a factor of (u - -2)*3/42*36?
True
Let c(u) = 16*u**3 + u**2 - u. Let o be c(1). Let m(f) = -9 + f**2 + f - 2*f - o + 4*f. Is 11 a factor of m(-11)?
False
Suppose 388*r - 387*r - o - 2187 = 0, o + 1 = 0. Does 2 divide r?
True
Let q(u) = -u**2 + 10*u + 3. Let z be q(7). Let r be (30/z)/(2/8). Suppose r*i - 276 = -i. Is i a multiple of 23?
True
Suppose -2*q + a = -22, 0*a - a - 12 = -q. Suppose 5*w + 2*y = -58, -2*w + 5*w + 37 = y. Does 14 divide w*q*4/(-24)?
False
Let f = 987 + 33880. Is f a multiple of 7?
True
Let r(f) = 10*f**3 + 6*f**2 + 2*f. Let a be r(3). Suppose -2*h + 4*g = -128, -8*g + 3*g = -5*h + a. Suppose -2*i = -258 + h. Is i a multiple of 19?
True
Let u = 43 - 39. Suppose 9*s - 1320 = u*s. Let m = -171 + s. Does 13 divide m?
False
Let z(u) = -u**2 - 20*u - 6. Let i(r) = r - 25. Suppose -13 = -8*y + 123. Let m be i(y). Does 10 divide z(m)?
True
Suppose 7*h = -1186 - 74. Let w = h - -323. Is 14 a factor of w?
False
Does 86 divide 196746/18 + -11 + (-5)/15?
False
Suppose 113*x = 116*x + 2*w - 99868, 166415 = 5*x - 3*w. Is 259 a factor of x?
False
Is 147 a factor of (4/22 - (-161770)/462) + (-13)/39?
False
Suppose -4*b - 1920 = 4*m, m + 5*b - 196 = -684. Let c = -218 - m. Is c a multiple of 10?
True
Does 42 divide 42661 - (11 - (-66)/(-3))?
True
Let i(x) = 5*x - 13. Let g be i(5). Let d(n) = -n**3 + 21*n**2 + 30*n - 1. Let o be d(22). Let r = o + g. Is r a multiple of 12?
False
Let b = -25 + 29. Let w be (3/6)/((b + 0)/(-80)). Is 22 a factor of ((-396)/(-20))/(-2 + (-23)/w)?
True
Let v be -3 + 4 + (-10 - 3). Let o be (4/v - (-1 - -1))*0. Let f = 57 + o. Is f a multiple of 5?
False
Suppose 4*o + 4 = -2*f, 8*f - 5*o - 5 = 4*f. Suppose -4*g - 8*g + 4464 = f. Is g a multiple of 16?
False
Suppose -72*g + 452168 = -133624. Is g a multiple of 9?
True
Suppose -4*n + q = -7*n, -3*n - 3*q = 0. Suppose n = -3*r + 2*h + 70, -12*h = 2*r - 10*h - 50. Is 12 a factor of r?
True
Let t(b) = 3*b - 22*b + b - 4. Let n be t(-2). Let p = n - 24. Is p a multiple of 2?
True
Is (-620946)/(-816)*24 - 4/34 a multiple of 7?
True
Let f = -2064 + 4032. Does 37 divide f?
False
Let u(d) = -11*d**2 + 2*d - 8. Let k be u(4). Let v be k/(-33)*6/4. Suppose -v*o = -13*o + 335. Is o a multiple of 17?
False
Let g(c) = c**3 - 7*c**2 + 6*c + 3. Let h be g(6). Let b be (1043/(-14))/(h*1/6). Let m = -105 - b. Does 11 divide m?
True
Let v(x) = 5*x + 12. Let t be v(-2). Suppose -3*g - 4*j = -793, -805 = -g - 2*g + t*j. Is g a multiple of 3?
True
Suppose -14*a = -16*a - 30. Let u be (-51)/(-1)*(-3 + (-40)/a). Let v = 41 + u. Does 8 divide v?
True
Suppose 9*h + 5*n - 20085 = 7*h, 4*n = -4*h + 40212. Is 38 a factor of h?
False
Let j(r) = -6*r - 2. Let z(t) = 24*t + 9. Let s(b) = -26*j(b) - 6*z(b). Let c be s(-7). Is 5 a factor of 13/52 + c/(-8)?
False
Suppose -d - 56*a + 54*a = -20246, d - 4*a - 20270 = 0. Does 38 divide d?
True
Suppose 8800 = 4*o + 5*t + 3247, -5*o - t + 6936 = 0. Suppose 0*b + 19*b = o. Does 12 divide b?
False
Suppose 106 + 502 = 8*n. Let l be (1/(-5) + -1)/(n/190). Let w(b) = -44*b + 1. Is w(l) a multiple of 44?
False
Suppose 14196*y = 14216*y - 286860. Does 15 divide y?
False
Suppose -2*w - 2900 = -d, d - 60 = w + 2843. Is 9 a factor of d?
False
Suppose -5414 = -3*j - 2*x, -9323 + 301 = -5*j - 3*x. Does 53 divide j?
True
Suppose 23*y - 14267 - 15599 = 22*y. Is 270 a factor of y?
False
Suppose 3*c - 5*s = 46, -2*c + 38 = -4*s + 4. Let x(q) = 4*q**3 + 3 - 5*q**3 + 6*q**2 + 6 + 16*q. Is x(c) a multiple of 18?
True
Suppose 3*w - 37 = -5*c, -4*w = 2*c - 37 - 17. Suppose 63 = -5*d + w*d. Suppose d*p - 189 = 861. Does 25 divide p?
True
Suppose 429 = 25*z - 321. Let m = z + 138. Is 8 a factor of m?
True
Let u = -79 - -85. Let x(q) = -q**3 + 7*q**2 - 4*q - 8. Let f be x(u). Suppose -2 = -3*r - 5, 58 = 3*c - f*r. Is 18 a factor of c?
True
Let q(f) = 9330*f**2 + 3*f. Does 13 divide q(2)?
False
Is 90 a factor of (-23)/46 - (-11601)/6?
False
Let i be (-5 + 12 + -5)/(0 - -1). Let h = -50 - i. Is 6 a factor of 8*2/4 - h?
False
Suppose 5*b + 3*y - 147 = -y, 0 = -2*b - y + 60. Suppose -b*l + 6468 + 693 = 0. Does 11 divide l?
True
Let z(h) = -229*h**3 - 2*h**2 - h - 1. Suppose -20 = -2*m - 22. Let k be z(m). Suppose 6*o = -k + 911. Is o a multiple of 38?
True
Let i = 5067 - 1851. Is 24 a factor of i?
True
Let g(w) = -16*w**3 + 24 - 5*w**2 - w**2 + 15*w**3 - 3*w - 2*w + 0*w. Does 13 divide g(-6)?
False
Suppose -40*i + 13*i = -119286. Does 73 divide i?
False
Let a(l) be the second derivative of -6*l**3 - 34*l**2 - l. Let h(d) = 2*d**2 + 141*d + 2474. Let s be h(-34). Is 26 a factor of a(s)?
False
Suppose -59*d = -57*d - 10. Suppose -12*i + d*i = -826. Is i a multiple of 10?
False
Suppose -110*i + 85739 + 162751 = 0. Is i a multiple of 8?
False
Let h be -4*-2*(-232)/16. Let w = h + 494. Is 14 a factor of w?
True
Suppose -12*a - 42 = -102. Suppose -5*n - 1180 = -5*w, -a*n + 6*n = -w + 236. Is 14 a factor of w?
False
Suppose 16 = -2*t + 6*t + 4*r, t - 3*r = 8. Let f be (9630/(-20))/((-78)/208). Does 18 divide (t/(-15))/((-2)/f)?
False
Suppose 6*j = 333 + 309. Suppose 7*l + j = 2. Is 16 a factor of 6/2*(-320)/l?
True
Let q(x) be the second derivative of 2*x**3 - 8*x + 0 + 5*x**2 + 1/6*x**4. Does 6 divide q(-8)?
True
Let h = 6861 + 2424. Does 3 divide h?
True
Let c = 153 + -485. Let p = c - -346. Is p a multiple of 7?
True
Let t(d) = 168*d**2 - 35*d + 123. Let l(z) = 113