/13) + (671 - 1) a multiple of 11?
False
Let o = -195 - -215. Let k = 0 - 4. Is 2 a factor of 15/(o/k) - (-16)/2?
False
Let g(c) = 17*c**3 + 12*c**2 - 469*c + 27. Does 21 divide g(15)?
True
Let a be (-1 - -25) + 12/6. Is 2 a factor of (-4)/8 - (-3133)/a?
True
Let c be -7*(-1 + (2 + -2)/1). Suppose c*p = -52 + 3076. Does 54 divide p?
True
Suppose 5*l - 3*z = 312, -3*l - l + 252 = -3*z. Suppose -11*b = -6*b + l. Is 19 a factor of 150/8 + b/(-48)?
True
Suppose -a = n - 177, -9*a - 381 = -11*a + 7*n. Is a a multiple of 3?
True
Suppose -1596 = -n - 5*n. Let g = n - 242. Is g a multiple of 5?
False
Let h(a) = -35*a + 1464. Does 75 divide h(-8)?
False
Let o = -163 - -173. Is 22 a factor of (o/2)/(1/(99 + 11))?
True
Let q(r) = -r**2 + 12*r - 32. Let g be q(7). Suppose -g*z = -55 - 80. Is z a multiple of 9?
True
Is 1084/((-45)/(-9) + -11 - 1805/(-300)) a multiple of 47?
False
Let l(u) = 548*u**2 + 11*u - 9. Is l(-5) a multiple of 28?
True
Let s(r) = 24*r**2 - 353*r - 4690. Is s(-14) a multiple of 7?
True
Suppose 62*h + 98388 - 171972 = 232324. Is 68 a factor of h?
False
Suppose -4*i - 24 = -3*x, 9*x - 4*i - 48 = 4*x. Let g = -9 + x. Suppose g*b + 0*b = 75. Is 5 a factor of b?
True
Suppose -410*q = -4*r - 408*q + 66262, -4*r + 66272 = -4*q. Is r a multiple of 107?
False
Let r(g) = -1388*g + 3808. Does 148 divide r(-6)?
True
Suppose -o = -30 - 38. Let r = 20 + o. Does 19 divide r?
False
Let k(l) = 49*l**2 - 3*l + 84. Is 13 a factor of k(14)?
True
Let d(j) = -11*j + 99. Let p be d(9). Suppose k - 145 - 79 = p. Is 44 a factor of k?
False
Suppose 36 = 33*j - 24*j. Is 4 a factor of j?
True
Suppose 0 = 270*o - 289*o + 687154. Is 13 a factor of o?
True
Suppose -4*o - 15 = -2*t + 5, -2*t = o - 10. Let h(z) = 93*z - 186. Does 12 divide h(t)?
True
Is ((-20)/(-14))/(16*(-50)/(-2240)) - -20370 a multiple of 9?
False
Let g = -924 + 1529. Is g a multiple of 5?
True
Let w be 2/(-8) + (-4935)/(-188). Let f(p) = -p**2 + 30*p + 74. Is 6 a factor of f(w)?
False
Is 8 a factor of (-15220)/10*(-2)/4?
False
Does 241 divide 15/(-10) + (-65558)/(-4)?
True
Let i = 1488 + -983. Suppose 4*v - 8 = 0, 0*d + 18 = 3*d + 3*v. Suppose d*a + 1 - i = 0. Does 7 divide a?
True
Suppose 4*b - 2*f = 3*b + 49, -5*b = -f - 236. Let r = b + -42. Suppose -r*t - 80 = -6*t. Is t a multiple of 20?
True
Let t be 451/10 + 11/(-110). Suppose t*g - 59*g = -4536. Does 18 divide g?
True
Let r = 90 + -56. Let h = -17 + r. Suppose -h*c = -16*c - 36. Does 36 divide c?
True
Let p = -166 + 172. Suppose -1377 - 1041 = -p*u. Is u a multiple of 30?
False
Suppose 34 - 9 = 5*w, 0 = 3*c + 3*w + 2652. Let m = 967 + c. Does 39 divide m?
True
Let w(j) = 13*j**2 + 2*j + 1. Let i be w(-1). Let t be (-6 + i)*9/(-6). Does 23 divide (-8)/(24/t) + 52?
False
Is (-3)/17 + 6113440/1360 a multiple of 31?
True
Suppose 0*q + 7*q = 469. Let r = q - 38. Suppose 5*y - f = 197, -7*f + 2*f + r = y. Is 13 a factor of y?
True
Suppose 401*y = 460*y - 1523439. Is 19 a factor of y?
True
Let z(o) = 166*o + 36. Let g be z(15). Suppose -54*x + 51*x + g = 0. Is 14 a factor of x?
False
Let x(o) = -3*o + 54. Suppose -28*i - 78 = -22*i. Let s be x(i). Suppose -1291 = -5*f + n, 4*n = -2*f - s + 605. Does 43 divide f?
True
Suppose 187*g - 182*g = 2405. Let f = 33 + g. Is 21 a factor of f?
False
Is (465/30 + -17)*1694*-1 a multiple of 5?
False
Let a(s) = -4*s - 58. Let g be a(8). Is 11 a factor of (-330)/g*(-18)/(-2)?
True
Let j = 5133 + -3593. Is j a multiple of 3?
False
Suppose 3*j - 3*c + 129 = 0, -110 = -2*j + 4*j + 4*c. Let r = j + 174. Is 5 a factor of r?
False
Let b(u) = -u**3 + u**2 - 7 - 7*u**2 + 4*u**2. Let f be b(-3). Suppose -4*l + 439 = 3*c, 5*c - f*l + l - 724 = 0. Is c a multiple of 29?
True
Let y(f) = -73*f - 30. Let v be y(-8). Let g = -194 + v. Is 16 a factor of 2 - (g/(-5) - -4)?
False
Suppose -284*q = -351*q + 438783. Is q a multiple of 37?
True
Let o(y) = 3*y - 33. Let l be o(12). Let i be (30/(-25))/((-2)/(680/l)). Suppose 3*p - 116 - i = 0. Is 8 a factor of p?
False
Suppose -64*o + 80 = -48*o. Suppose -4276 = -o*d + 3*j + 1890, -5*d + 4*j = -6163. Does 19 divide d?
True
Let p(x) = -4*x**3 - 12*x**2 + 42*x + 10. Let s(b) = -5*b**3 - 12*b**2 + 41*b + 10. Let a(i) = -4*p(i) + 3*s(i). Does 28 divide a(-13)?
False
Let x be 10/(-5) + 2 + -5*1. Let q(g) = -19*g - 8 + 0*g + 1. Is q(x) a multiple of 8?
True
Let x be 10/(-4) - ((-18)/(-12))/3. Is ((-6)/x)/((-1)/(-31)) a multiple of 3?
False
Suppose -5*m - 513 = -18513. Suppose -m = 2*p - 5*p. Does 75 divide p?
True
Let w be (-11*1/(-3))/(56/(-5040)). Let x = 157 + w. Let z = 299 + x. Does 63 divide z?
True
Suppose 11*a = -0*a - 209. Let s = -10 - a. Does 9 divide s?
True
Let d be 176/6*(190/20 - 8). Suppose k + j = 75, 4*k - 229 - d = 5*j. Is 43 a factor of k?
False
Let b(f) = 537*f**2 - 12*f + 55. Let q be b(5). Suppose -9*y = 1738 - q. Is y a multiple of 59?
True
Suppose s + 57 = -6. Let g = -3647 + 3716. Let j = g + s. Is 3 a factor of j?
True
Let n(w) = -w**2 + 104*w + 3500. Is n(118) a multiple of 33?
True
Suppose 0 = c - 18 - 34. Let k = c - 49. Does 5 divide (2 - (3 - k))*(-111)/(-6)?
False
Suppose -l = 4*l - 55. Let j be (-2)/10 + l/5. Suppose -7*s + 200 = -j*s. Does 17 divide s?
False
Suppose -3*l + 24 = -l - 2*a, -4*a = 4*l - 32. Let d(t) = t**3 - 3*t**2 + 18*t - 20. Let g be d(8). Suppose 0 = -l*s + 7*s + g. Is 37 a factor of s?
True
Suppose x = -4*k + 80, -3*x + 3*k = -2*k - 223. Is 6 a factor of ((-3)/4)/((-1)/x)?
False
Let d = 41 - 22. Suppose 0 = 5*a - 41 - d. Is 18 a factor of (11 - a)*(0 - 36)?
True
Suppose 4 = 6*u - 5*u. Let d be (28 - 3)*((3 - 6) + u). Let p(o) = o**3 - 25*o**2 + o + 5. Is 6 a factor of p(d)?
True
Let n = -939 + 5196. Is n a multiple of 43?
True
Let v(a) = -a + 9*a**2 - 4*a + 8*a - 4*a. Let u = 79 - 82. Is 23 a factor of v(u)?
False
Is 10 a factor of 12/(-54) - (5 + 26256/(-54))?
False
Let t = -1 - -4. Let o be t + 4 + (81 - 0). Suppose 2*y + 8 = 0, -j + o = j - 2*y. Is 4 a factor of j?
True
Let g(p) = p**2 - 2. Let s be g(3). Suppose -38*f - 68 = -4*a - 34*f, 0 = 3*a + f - 31. Suppose -s*v - a = -10*v. Does 2 divide v?
True
Suppose 25588 = -17*h + 70*h - 57092. Is 156 a factor of h?
True
Let g be -427 + ((-3)/18*-6 - 1). Let r = 742 + g. Is 15 a factor of r?
True
Let b = -196 + 197. Is 1422/27 - b/(-3) a multiple of 8?
False
Is (33/(-22) + 21/(-2))*(-718)/4 a multiple of 62?
False
Let w(s) = 6466*s - 2931. Does 28 divide w(4)?
False
Let l be (-48)/(-144) + 3/(-9). Let r(c) = 0*c + c**2 - c + 49 + 108 + 3*c. Does 17 divide r(l)?
False
Let z = 21690 + 3705. Is z a multiple of 20?
False
Let k be (-6)/10 - (-1026)/10. Suppose 5*w = -k + 297. Suppose 0 = 8*j - 11*j + w. Is j a multiple of 2?
False
Let s(y) = y + 2*y**2 - 7*y + y + 3*y + y + 6. Is s(-4) a multiple of 14?
True
Is 41 a factor of (7 - (-348)/24)*(-3 - -577)?
True
Suppose -4*o - 8*q + 5*q + 6732 = 0, 5*q - 20 = 0. Let r be (13/3)/((16/24)/2). Suppose o = -c + r*c. Is c a multiple of 28?
True
Let c(v) = v + 20. Let r be c(2). Is (40 - r)*1*4 a multiple of 18?
True
Let t be (-38)/19*(-2)/(-4)*1. Is 5 a factor of ((-135)/60)/(t/76)?
False
Suppose 4*u + 268 = 5*m - 4*m, 5*m = 20. Let t = u + 89. Let d = t - 11. Is d a multiple of 2?
True
Let l(y) = 6*y - 416. Let g be l(-11). Let n = g - -863. Does 66 divide n?
False
Suppose -116*w + 103*w = -858. Suppose 2*v + 71*y = w*y + 1142, -v = 4*y - 568. Is 32 a factor of v?
True
Is 92 a factor of (-25761)/(-7) + 25/15 + (-874)/483?
True
Let j be 868/(-20) + 16/40. Suppose -3*w - 379 = -5*t, -2*w + 6*w = 8. Let z = j + t. Is z a multiple of 17?
True
Let g be (-2)/5 - ((-8232)/(-70))/(-14). Is (1100/g)/5 + 8/16 a multiple of 10?
False
Let g(k) = -k**3 - 101*k**2 - 200*k + 146. Is g(-99) a multiple of 43?
True
Suppose -92*w + 22*w + 2800 = 0. Is w a multiple of 5?
True
Let c(a) = 5*a + 918. Is 7 a factor of c(53)?
True
Suppose 0 = 46*y - 109*y - 6174. Is 28 a factor of y*(-7)/((-7)/(-10))?
True
Suppose 134013*b - 134020*b = -23058. Is 52 a factor of b?
False
Let f be (-24)/20*140/(-21). Does 101 divide 5 + (358 - (-6 + f))?
False
Let d be 1/((-35)/(-20) + -2). Is 56 a factor of (-15)/(-1 + d) + 388?
False
Let p = 569 - 271. Let s = p - -159. Suppose 6*d = d + u + s, 2*d - 5*u - 192 = 0. Is 9 a factor of d?
False
Does 246 divide (((-697)/34)/((-2)/108))/(6