2?
False
Suppose 3*x - 22059 = -40*i + 38*i, -x = -i + 11017. Is 33 a factor of i?
True
Let f = 317 + -317. Suppose 3*w - 846 = -f*w. Is 47 a factor of w?
True
Let q be 2/(-8) - (161/28 - 9). Suppose 0 = 3*p, -q*c + c + 120 = -4*p. Is c a multiple of 20?
True
Let m = 469 + -208. Is (-2)/(-4)*8 + m a multiple of 10?
False
Let i(p) be the third derivative of 2*p**5/15 + 7*p**4/24 + 5*p**3/6 - 14*p**2. Let m be i(-2). Let s = -13 + m. Does 4 divide s?
False
Let k(m) = -21*m**2 - 2*m - 33 - 23 - m**3 + 14. Let t be k(-21). Is 3 a factor of (t/(-4) + 3)*(-183)/(-9)?
False
Is 13 a factor of 55812/27 - 54/486?
True
Let d be ((-8)/(-24))/(2/(-4842))*-2. Suppose d = 4*x - 2*q, 2*x - 698 = 2*q + 112. Is x a multiple of 67?
True
Suppose 3*b + 16 = 16. Suppose -p + 13*x - 9*x = -722, b = 4*p - 5*x - 2921. Is p a multiple of 48?
False
Let l = -2967 - -9568. Is l a multiple of 23?
True
Let d(f) = f**2 + 3*f - 5. Let p(i) = i**3 + 4*i**2 + 2. Let r be p(-2). Let l be d(r). Suppose 5*u + 5 - l = 0. Does 8 divide u?
True
Let b(d) = d + 8. Let f be b(-8). Suppose f = u - 2, -12 = -2*h - 0*h - 4*u. Suppose -3*c - n + 328 = 0, h*c - 4*n = 328 - 100. Is c a multiple of 22?
True
Suppose 4*v - 2*h = 34, 2*h - 30 = -3*v - v. Suppose 149 - 429 = v*b. Let j = b + 83. Is j a multiple of 16?
True
Let l = 122 - 82. Suppose 0*j = -2*p - 4*j - l, -4*p + 2*j = 40. Does 17 divide (p/9)/((-6)/288)?
False
Is (3276/27)/((-1166)/234 - 10/(-2)) a multiple of 169?
True
Suppose -44 = -10*v + 6. Suppose 215 = -3*d + 4*d - v*f, d = -4*f + 170. Is 17 a factor of d?
False
Suppose 3*k + 2*s = 4*k + 4, 0 = 5*s - 25. Suppose 0 = k*q - 7*q + 80. Is q a multiple of 8?
True
Suppose -50*v = -0*v - 87600. Suppose 1938 + v = 9*s. Does 7 divide s?
False
Suppose 6*v = 658 + 278. Is 39 a factor of ((-117)/(-26))/(2/v)?
True
Let w(i) = 8*i - 3. Let j be w(-5). Let t = j - -45. Suppose 97 = 3*a + 4*u, -4*a - 2*u + 132 = t*u. Is 12 a factor of a?
False
Let j be (-4)/(-6) + (-92)/(-6). Let g(d) be the first derivative of -d**2/2 + 33*d + 18. Is g(j) a multiple of 5?
False
Let t(i) = -24*i**3 + 160*i + 770. Does 30 divide t(-5)?
True
Let h be (-56)/308 + (-77664)/(-22). Suppose -3*a = 5*l - 8827, 2*l = a - 3*a + h. Is l a multiple of 21?
False
Is -15716*(5*(-10)/50)/1 a multiple of 71?
False
Suppose 5*y - 2*t = 1951, -3*y - 2*t + 5*t + 1167 = 0. Suppose -22*u = y - 2239. Does 42 divide u?
True
Suppose -2*l + 438 = -38. Suppose -15*k + 4*i = -14*k - 24, 3*i = 3*k - 27. Suppose 2*g - l = -k*n, -3*n + n + 3*g = -123. Does 6 divide n?
True
Let b(j) = -14313*j + 944. Does 13 divide b(-1)?
False
Let n(j) = 4*j**2 - 11*j + 37. Let r be n(3). Is 22 a factor of 132/(6/10 + 16/r)?
True
Suppose -222*o = -216*o - 118968. Is o a multiple of 33?
False
Let z(i) = 6*i - 92. Let o be z(16). Suppose -2*w - 2*k + 490 = -4*k, -980 = -o*w - 4*k. Is w a multiple of 49?
True
Suppose -3*y - 4*b = -551 - 7041, -5*y - 3*b = -12635. Is 16 a factor of y?
False
Let s(r) = -4*r - 5*r - 2*r - 2 + 183*r**2 + 10*r. Is 14 a factor of s(-1)?
True
Suppose -2*y = -4*x - 1576, 895 = 3*y - 4*x - 1473. Is y a multiple of 22?
True
Let t be (12/20)/((-4)/20) - -5. Is (-42 - -28)*(12/(-7))/t a multiple of 8?
False
Suppose 0*x + 63 = 3*x. Let z(a) = a**3 + 20*a**2 + 18*a + 386. Let n be z(-20). Suppose -x*k = -n*k + 315. Is 9 a factor of k?
True
Let a = 36655 - 23487. Suppose -7*i = -23*i + a. Is i a multiple of 36?
False
Let m(b) = -8*b**3 - 16*b**2 - 11*b - 10. Let h be m(-8). Does 31 divide 252/h + 6896/50?
False
Suppose 152*g + 57684 = 171*g. Is g a multiple of 11?
True
Let q(g) = 29*g**2 + 80*g + 177. Is q(-7) a multiple of 28?
False
Suppose -s + 3*k = 3, 4 = 4*s - 4*k - 0. Suppose 150 = o + i, -s*i = 7 - 1. Is 8/(-2) + 3 + o a multiple of 10?
False
Let l be 382 - ((-1 - 5) + 4). Let h be (-160)/(-26) - 88/572. Suppose -2*i - o + 155 = 0, -i + h*i - l = o. Is i a multiple of 36?
False
Let p(l) = 75*l + 59*l**2 + 65*l**2 - 23 - 126*l**2. Is 67 a factor of p(21)?
True
Let v(z) = -33*z + 100. Let o = 468 + -476. Does 13 divide v(o)?
True
Let u be (-4)/(-2) + (-31 - 2 - 0). Let x = u - -19. Is (1 - 5/3)*954/x a multiple of 16?
False
Suppose 7*h = -2*h + 3*h. Suppose h = -18*y + 16*y + 492. Let u = y - 161. Is u a multiple of 6?
False
Suppose 3*l + 39 = -0. Let q be 9/((-54)/(-402)) - -3. Let p = l + q. Is 19 a factor of p?
True
Let q(m) = -m**2 - 64*m + 661. Is q(-44) a multiple of 26?
False
Suppose 10612 = 3*p - 3830. Is 35 a factor of p?
False
Suppose -3*o = -3*r - 7155, 0 = -3*o - 2*r + 4*r + 7157. Is 30 a factor of o?
False
Suppose -8 = 20*l - 21*l. Is 61 a factor of -4*(-107 - l - 7)?
True
Suppose -13*i = 40*i - 1026027. Is i a multiple of 15?
False
Suppose -h + 5*i + 9618 = 0, 90*i - 89*i = h - 9594. Is h a multiple of 4?
True
Does 156 divide (-14*(3 + -5))/(4/2496)?
True
Let k = -8299 - -10827. Does 12 divide k?
False
Let l(w) = w**3 + 11*w**2 + 17*w - 18. Let u be l(-8). Suppose -3*d - u = -464. Does 6 divide d?
False
Let x(y) = 161*y + 27. Let u(k) = -807*k - 134. Let h(i) = -2*u(i) - 11*x(i). Does 23 divide h(-8)?
False
Suppose -4*k = -d + 7 - 1, -k - 6 = -d. Suppose 15 = -d*u - 15. Let m = 191 + u. Is 22 a factor of m?
False
Suppose -92*r = -1132125 - 156427. Does 93 divide r?
False
Suppose 2*p + 10 = g - 6, 0 = -4*g + p + 50. Let j be (-4 - -2)*(-1458)/g. Let w = -141 + j. Is w a multiple of 20?
False
Let h(x) = x**3 - 25*x**2 - 84*x + 3. Let g be h(28). Let j(q) = 16*q + 132. Is j(g) a multiple of 3?
True
Let p = 8773 - 6241. Is p a multiple of 12?
True
Let y(v) = -v + 42. Let n be (5 - (-18)/12) + 1/(-2). Is y(n) a multiple of 18?
True
Let o = -56 + 58. Suppose 4*u - o = -6. Is ((-303)/9 + (u - 0))*-3 a multiple of 13?
True
Let v = -58 + 63. Suppose -781 = -v*g + 429. Is g a multiple of 22?
True
Suppose -169377 = -3*o - 3*m, 1260*m - 225845 = -4*o + 1255*m. Is o a multiple of 10?
True
Let c be ((-367)/2)/((-2)/4). Let p = c + -296. Is p a multiple of 17?
False
Suppose 18 = 19*p - 21*p. Let v(w) = -w**3 - w**2 + 9*w + 7. Let m be v(p). Suppose -m = -0*k - 7*k. Does 9 divide k?
False
Let p(o) = -227*o - 120. Is p(-24) a multiple of 111?
True
Let a = 467 + -460. Suppose -4928 = -18*d + a*d. Is d a multiple of 56?
True
Let x = -26 + 15. Let s(f) = -11*f + 21. Let k be s(x). Let i = -113 + k. Does 3 divide i?
False
Suppose -w = -5*a - 1581, -14*a = w - 16*a - 1590. Suppose -2*h - 4*s = -w, -6*s = -5*s. Is 38 a factor of h?
True
Let t(y) = -591*y + 171. Is t(-2) a multiple of 33?
True
Suppose 74*m - 152171 = -112*m + 292741. Is 23 a factor of m?
True
Suppose 0 = -7*u + 3*u + 20. Suppose -u*s + 31 = -2*j, -j = -4*s - 3*j + 32. Is (6/s)/(1/70) a multiple of 6?
True
Suppose 4*h - 4*v - 2080 = 796, h + 4*v - 744 = 0. Let y = 1361 - h. Does 34 divide y?
False
Let p = 16 - -54. Suppose -p*k = -99*k + 43529. Is k a multiple of 19?
True
Suppose -5*o + 10*c + 149156 = 8*c, 5*c + 119318 = 4*o. Is o a multiple of 26?
False
Let y(p) = 5*p**2 + 3*p + 3. Let r be y(-3). Let g(k) = k + 6. Let x be g(-6). Suppose -d + 12 + r = x. Is 14 a factor of d?
False
Suppose 380 - 177 = -2*y + 31*y. Let n(q) = 7*q**2 + 17 - 3*q**2 + q**2 - 17*q. Is n(y) a multiple of 13?
True
Suppose 44*z + 42 = 3*q + 48*z, z = 0. Suppose 12*r + 2157 = q*r - 3*y, 3237 = 3*r - 3*y. Does 54 divide r?
True
Let b(w) = -708 - 2*w - 2*w**2 + 712 + 3*w**2 + 15*w**3. Does 31 divide b(2)?
True
Let p(q) = -3*q**3 + 4*q**2 - 4*q - 1. Let s(c) = 4*c**3 - 5*c**2 + 3*c. Let g be (8 - 11) + 0 + 1. Let i(y) = g*s(y) - 3*p(y). Is 5 a factor of i(3)?
True
Is 8 a factor of ((-5712)/(-35))/((4/48)/((-10)/(-12)))?
True
Let x = 22673 - 21531. Is x a multiple of 2?
True
Is 30 a factor of -36*(7 - 124/20)*11200/(-12)?
True
Suppose 2*d = 5*b + 1960, 4*b = 3*d + 6*b - 2978. Is d a multiple of 30?
True
Let s(q) = q**3 - 2*q**2 - q + 7. Suppose m + 3*b + 0 - 1 = 0, 5*b + 2 = 2*m. Suppose -4*u + 11 = 3*v, -u = -5*v + m + 25. Is 11 a factor of s(v)?
True
Let g = 194 - 191. Suppose z = -3*j + 321, z - 311 = -4*j + g*j. Is z a multiple of 53?
False
Let j(c) = -3*c - 24. Let k be j(-8). Suppose 0 = -3*r - k*a + 3*a - 681, 5*r + 1133 = 4*a. Does 20 divide (-18030)/r + (-4)/30?
True
Let u = 0 + 85. Let j(y) = 3*y**3 + 3*y**2 - y + 4. Let l be j(-3). Let q = l + u. Does 2 divide q?
True
Suppose -609*c = -686*c 