k + 309 = x. Is 26 a factor of v?
True
Let n = 30963 - 634. Is 152 a factor of n?
False
Is 11 a factor of 3 - (0 + -15764) - -12 - 9?
False
Does 132 divide 5334620/860 + (-2)/43?
False
Let a(f) = 557*f - 5. Let s be a(3). Suppose 238 = -6*q + s. Let z = 378 - q. Is z a multiple of 48?
False
Suppose 0 = 5*d - 64 - 11. Suppose -d = -r - 17. Let y(o) = 14*o**2 + 5*o + 8. Is 9 a factor of y(r)?
True
Let v = -598 + 909. Let f = v + -259. Is 4 a factor of f?
True
Is 23 a factor of 734655/375 - 18/225?
False
Let z be 8/(-56) - 425/(-35). Suppose -18*x + z*x = -216. Does 12 divide x?
True
Suppose -q + 2154 = 4*i, -i - 6384 = -22*q + 19*q. Is 33 a factor of q?
False
Is 93 a factor of (557256/54 - (-12)/27) + (-1)/(-1)?
False
Is (-6 - -2) + (1 - (-31620)/3) a multiple of 12?
False
Let v(m) = -36*m - 30. Let d be v(-36). Suppose -5*y = -o + 234, -5*o + 14*y = 13*y - d. Does 16 divide o?
False
Suppose 4*b + f + 10 = 2, -5*f = 3*b + 6. Does 7 divide b - -8 - (5 - 19)?
False
Let d = 332 + -171. Suppose -3*m = -m + 5*g - d, -4*m - 3*g = -343. Is m a multiple of 8?
True
Let d = 9 + -40. Let y = d + 32. Let o(i) = 137*i**3 + 3*i**2 - 2*i. Is o(y) a multiple of 46?
True
Suppose -4*n - 3*n + 35 = 0. Suppose 38*a - 29 = -5*j + 35*a, -j - a = -n. Is 3 a factor of j?
False
Let p(x) = 10*x**2 + 2. Let j be p(-1). Is (6/j)/(-2 + 3202/1600) a multiple of 80?
True
Let s(v) = -8*v**2 + 10*v - 44. Let m(r) = r**2 - r + 1. Let w(j) = -10*m(j) - s(j). Let i be -4 - (-20)/25*5. Does 17 divide w(i)?
True
Suppose 15 + 9 = 6*z. Suppose 73 - 25 = o - 2*r, 4*o - z*r - 172 = 0. Let b = o + 9. Is b a multiple of 13?
False
Let b(r) = r**3 - 2*r**2 + 2. Let l(m) = -m**2 + 6*m - 3. Let x be l(5). Let a be b(x). Suppose 0 = -a*y - 3 + 107. Does 13 divide y?
True
Suppose d - 151 = -4*z + 172, z = -1. Suppose 3*y + 2*q - d - 156 = 0, -4*q = y - 161. Does 23 divide y?
True
Suppose 15*h = 18*h - 6594. Suppose -h + 1998 = -4*r. Does 25 divide r?
True
Suppose -3*d = -12, 356 = c - 3*d - 334. Let p = -492 + c. Is p a multiple of 10?
True
Let z be -1 + -2 + -1 + 4. Suppose -2*g + z*g = 0. Suppose g = 5*y + 9 - 139. Is 9 a factor of y?
False
Let f(w) = -2082*w - 8204. Does 160 divide f(-22)?
True
Suppose 287*j - 45966 - 1138396 = 1949391. Is 22 a factor of j?
False
Let b = -9 - -11. Let h(z) = -247*z**2 - 5*z + 6. Let j be h(b). Is j/(-80) - 2/5 a multiple of 4?
True
Let t(p) = p + 3. Suppose -13*r + 33 = -2*r. Let h be t(r). Suppose 5*l = 5, h*s + l = s + 456. Is s a multiple of 23?
False
Let c(m) = -m + 21. Let o be c(13). Let z(b) = o - 8*b + 12*b - b. Is z(1) a multiple of 5?
False
Let l(w) be the second derivative of 9*w**3 - 13*w**2/2 + 75*w. Does 27 divide l(11)?
False
Suppose -63*m + 64*m - 8262 = 3*a, 0 = a - 2. Does 31 divide m?
False
Suppose 2*l + 17 = r, 0*l + 24 = 2*r - 2*l. Suppose 5*i - f - r = -2*f, -3*i + 2*f = -12. Suppose 2*c + i*x - 394 = -x, 0 = 5*x. Is 9 a factor of c?
False
Suppose -2*v = 5*d - 5415, 3*v - 436*d - 8088 = -432*d. Is 150 a factor of v?
True
Let l(o) = 134*o**2 - 88*o - 45. Is 12 a factor of l(-6)?
False
Let h(o) = 6*o - 8. Suppose -10*g + 4*g = -30. Let m be h(g). Suppose 3*l - 166 = -4*u, 3*u = -l + m + 35. Is l a multiple of 18?
True
Suppose -19*z + 13*z = -1158. Let a = -94 + z. Does 2 divide a?
False
Does 62 divide 36/(-288) + (-5847696)/(-128)?
False
Let j = 21652 + -12902. Does 12 divide j?
False
Suppose 0 = 19*r - 7*r + 2304. Is 12 a factor of (r/(-10))/((-44)/(-10) - 4)?
True
Let h(y) = y - 9. Let k be h(-6). Let t = k - -11. Does 23 divide t/(-14) - (-481)/7?
True
Let b(v) = 30*v**2 - 6*v + 6. Suppose -3*p + 5*q + 28 = 0, 3*p + q - 13 = 3. Let m(h) = -31*h**2 + 7*h - 7. Let a(y) = p*b(y) + 5*m(y). Is 3 a factor of a(1)?
False
Suppose 2*o - 51 = y, -2*y = y + o + 125. Let f(u) = 7*u - 46. Let q be f(9). Let r = q - y. Does 9 divide r?
False
Suppose 639*p - 12*p = -24*p + 2198427. Does 9 divide p?
False
Suppose -4*v + 128 + 40 = -k, 42 = v - 3*k. Let s = -40 + v. Suppose 0 = -4*l + 5*a + 49, s*l = 7*a - 3*a + 32. Is l a multiple of 3?
True
Suppose -2*l = -5*m - 16, 0*m = 4*l + 4*m - 4. Suppose 166 = 4*v + 3*f, -l*f + 1 = 7. Suppose -4*k + 49 = -5*y, -5*k + 5*y + v + 17 = 0. Is 2 a factor of k?
False
Let j = -3680 + 6042. Suppose 3*t = 4*k - j, 9*k - 4*t - 1186 = 7*k. Is k a multiple of 31?
True
Let q = 709 - 136. Let c = q + -207. Let y = c + -230. Is y a multiple of 6?
False
Suppose 4*n + 74 = 1570. Suppose 4*w - i - n = 0, -3*w + 290 = i + 3*i. Is 7 a factor of w?
False
Let t(s) = -11*s + 1 + 13*s**2 - 15*s + s**3 - 3*s + 9*s**2. Is t(-23) a multiple of 9?
False
Suppose 2*k - 27642 = -4*f, -5*k - 4*f + 69153 = -6*f. Is 10 a factor of k?
False
Suppose 4*f + 146 - 10 = 0. Let x = f + 38. Suppose -3*h - h + 529 = -3*p, 2*h - x*p = 262. Is 19 a factor of h?
True
Suppose 790*q - 786*q = 16112. Is q a multiple of 82?
False
Let l(s) = -s**3 - 23*s**2 + 5*s - 24. Let z be l(-17). Let n = -1118 - z. Is n a multiple of 33?
False
Suppose -5*s - 3*a + 159 = 0, -4*a - 72 = -2*s - 24. Let w = s - 30. Suppose 0 = -q - w*q + 84. Is 17 a factor of q?
False
Let k = 60 + -66. Let r = 121 + k. Let s = r + -58. Is 19 a factor of s?
True
Let p(s) = -s**2 - s + 4. Let f be p(-2). Is 783/18 - ((-7)/f + 2) a multiple of 2?
False
Suppose -78669 = -3*w + 4*t, 2*w + 4*t - 39745 = 12661. Does 7 divide w?
True
Suppose -12*o - 54 = 6*o. Let v(m) = 18*m**2 - 7*m + 1. Let b be v(o). Suppose 4*k = -5*h + b, -2*h + k - 4*k + 75 = 0. Does 6 divide h?
True
Let l be -12*9/16*-4*1. Suppose -2*s - l*r + 2561 = -28*r, -r = -3*s + 3839. Does 67 divide s?
False
Let n(t) = 68*t**2 - 8*t - 22. Let x be n(-3). Suppose -4*c + 1434 = 3*a - 408, -x = -a - c. Is 36 a factor of a?
False
Suppose -178 = 3*m - 3*s + 371, 4*m + 3*s + 711 = 0. Does 15 divide m*(-4 - 9/(-3))?
True
Is 0*20/(-360) + 8832 a multiple of 8?
True
Let o = 9409 - 8321. Does 34 divide o?
True
Let f = 2873 + -1587. Does 2 divide f?
True
Let j(s) = -22*s**3 - 3*s**2 - 71*s - 193. Is j(-7) a multiple of 7?
False
Suppose 3*v + 9*v - 624 = 0. Let j be 13/v*(0 - 0). Suppose -5*u - 5 = j, -4*i + 3*u + 493 = -394. Is 22 a factor of i?
False
Suppose -2*h + r + 7107 = -12626, 5*h - 49343 = 4*r. Is h a multiple of 9?
False
Let a(b) be the first derivative of -2*b**2 + 13*b + 14. Let r be a(-8). Let c = r + -29. Is 16 a factor of c?
True
Let w(q) = -17*q + q**2 + 22 + 0*q**2 + 16. Does 17 divide w(16)?
False
Suppose 5340 = 70*q - 64*q. Let w = -596 + q. Is 7 a factor of w?
True
Suppose 3*g + 53 = 2*x, -80 = -5*x + 2*x + 4*g. Let k be 54/8 + 7/x. Suppose -324 = 4*r - k*r. Is r a multiple of 27?
True
Let l = 62505 - 6025. Does 52 divide l?
False
Is 232 a factor of (-4)/8*(-15653 - 15)?
False
Suppose 2*z - l - 58 = 0, -10*z + 139 = -5*z - 4*l. Let y = z + -25. Suppose -8*x + 14 = -y*x. Is x even?
False
Suppose 9*w - 6*w - 15 = 0. Suppose 0 = -5*c - 2*g - 22, -w*c = -6*c + 2*g - 2. Is 4 a factor of (2/c)/((-17)/850)?
False
Suppose -955*o + 935*o + 429760 = 0. Does 17 divide o?
True
Suppose -85*l - 34547 = -77*l - 113155. Is l a multiple of 17?
True
Let j be (-90)/150 - (-394)/(-10). Is (-310)/(-4) + j/(-16) a multiple of 13?
False
Let x = -6886 + 9940. Is x a multiple of 31?
False
Let v(t) = -22*t + 8 - 20*t**2 + t**3 + 42*t**2 - 29*t**2. Let b be v(10). Suppose -5*d + 9*d - b = 2*w, 0 = 5*d - 4*w - 104. Is d a multiple of 12?
True
Suppose 0 = -10*m + 5*m - 10. Let g = m + 21. Let h = g + 6. Is 3 a factor of h?
False
Let v = 250 + -247. Suppose -1051 = -v*y + k, 36*y + 3*k = 41*y - 1749. Is y a multiple of 11?
False
Suppose g = -3*x + 483 - 69, 4*x + 16 = 0. Suppose g*k + 13824 = 432*k. Is k a multiple of 12?
True
Does 127 divide 4*-3*21923/132*-1?
False
Let t(n) = 3*n - 3. Let x be t(2). Suppose -5*q + 197 + 61 = l, q - 44 = -4*l. Let r = q - x. Is r a multiple of 14?
False
Let p be -1 + -2 + (-14)/(0 - 2). Let t(k) = -k**3 + 4*k**2 + 2*k + 1. Let n be t(p). Let f(b) = 2*b - 4. Is f(n) a multiple of 14?
True
Suppose 0 = 3*n - g - 2, 0*n + 5*g + 28 = -3*n. Is 83 + 37 + n*8 a multiple of 17?
False
Suppose 0 = -13*s + 17*s - 956. Suppose s - 19 = x. Let h = x - -32. Does 42 divide h?
True
Suppose -6*s = 19*s - 167004 + 8954. Does 29 divide s?
True
Let k(o) be the first derivative of o**2/2 + 10*o + 15. Let n be k(-3). Is 255/7 + (-3)/n a mul