79 a factor of g?
True
Suppose 0 = 2*q - 2439 + 281. Suppose u = -3*f + 813, -10*f - 3*u + q = -6*f. Is 11 a factor of f?
False
Let t(h) = -3*h - 2. Let r be t(-5). Suppose -2*v + 36 = -2*x + x, v - 3*x - r = 0. Is v a multiple of 2?
False
Suppose 2*l + 2*m + 4 = 0, -m - 28 + 10 = 5*l. Let j(k) = k**2 + 4*k + 10. Let h be j(l). Suppose 0 = 5*p - h, -3*z + 4*p = 5*p - 167. Is 6 a factor of z?
False
Let g = 4228 + -1896. Is g a multiple of 106?
True
Let r = 89 - 148. Let n = 61 + r. Suppose -n*d + 0*d = -54. Is 27 a factor of d?
True
Suppose 2*a + 5*l - 42 = -123, 0 = l + 5. Let y be ((-1435)/a - 5)/(1/4). Let k = y - 58. Is k a multiple of 36?
False
Let n be (0 + -1)/(1/391). Let f be 9242/(-14) + 342/(-399). Let i = n - f. Is 30 a factor of i?
True
Suppose 0*q = -5*q + 2*u + 525, 92 = q - 3*u. Let n = -1169 + 1402. Suppose 5*h = n + q. Does 22 divide h?
False
Let k = 93 + -91. Let v be (-1)/1 + 0 + 7 - k. Suppose -3*x + 5*y = -332, -x + 106 = -0*x - v*y. Is x a multiple of 27?
False
Suppose -4257*u + 4256*u + 4*t + 10882 = 0, -3*t + 21764 = 2*u. Is 163 a factor of u?
False
Let j(l) = 3*l**3 - 71*l**2 + 45*l + 34. Let k be j(23). Suppose 0 = k*r - 30*r + 13300. Does 35 divide r?
True
Let g = -235 - -238. Does 19 divide (-1140)/40*(-26)/g?
True
Let x be 39/8 + -1 - (-11)/88. Suppose -3*j - x*u + 48 = -206, 0 = j + u - 84. Does 41 divide j?
True
Let x = -17 - -16. Suppose -7*l = 8*l + 1500. Is (x/((-6)/l))/((-2)/6) a multiple of 10?
True
Suppose -4*f + 2450 = 2*v, -5*f + v + v = -3049. Let a = 1111 + -1123. Does 47 divide (f/26)/((-2)/a)?
True
Suppose -2*m = -42*m + 18*m + 263670. Does 16 divide m?
False
Suppose 2*r + 3*r = -2*k + 324, -2*k = -4. Suppose 6*t + 9 - 99 = 0. Let a = r - t. Is 10 a factor of a?
False
Does 66 divide 8919/((-2 + (7 - 6))/(-1))?
False
Let s(j) be the second derivative of -1/12*j**4 + 0*j**2 + 7/10*j**5 - j + 0*j**3 + 0. Is 8 a factor of s(1)?
False
Suppose 2*z + 3*m - 31 = 0, 5*z + 3*m = 9*z - 17. Let n(i) = 3277*i**3 - i**2 - i + 1. Let o be n(1). Suppose -5*x - z*x + o = 0. Is 28 a factor of x?
True
Let i(b) = 2234*b + 2236. Is 14 a factor of i(7)?
False
Suppose 8*g - 5*g + 2*a = 131, 0 = g + a - 42. Let c = -11 + g. Let x = c - -50. Is x a multiple of 35?
False
Suppose -6*k = -78 + 12. Suppose 16 + 182 = k*u. Does 9 divide u?
True
Let m = -74 - -130. Suppose 2*a + 2*s - m = 0, -4*a + 0*s + 127 = -s. Does 7 divide a - 3*(1 + 0)?
True
Does 29 divide ((-8100)/(-16) + -6)*2516/51?
True
Let i(w) = -2*w**2 - 2*w + 3. Let y be i(-3). Let k(u) = 176*u - 181*u - 23 + 19. Is k(y) a multiple of 10?
False
Let x(t) = 26*t**2 + 642*t + 3. Is x(-40) a multiple of 17?
False
Is -12*(-5 + (-88220)/80 - 1*5) a multiple of 48?
False
Let y(h) = -5*h - 4. Let a be y(-3). Let g be 6 + 6*(-5 - -6). Suppose -a*t + g*t - 88 = 0. Is t a multiple of 44?
True
Suppose -102*j = -97*j + 2345. Let t = 1255 + j. Is t a multiple of 6?
True
Let i be -246*(-2)/(-16)*(-80)/6. Suppose 2*z = 2*n - i, 5*n - 7*z - 1015 = -12*z. Is 12 a factor of n?
True
Is 5/(-155) - (-15266890)/310 a multiple of 96?
True
Let w be -21*(13/(-6) + (-3)/18). Suppose -w*d - 3731 + 16422 = 0. Is d a multiple of 7?
True
Let p = 5 - 2. Suppose 26*w + 2*j = 25*w + 226, 5*j = -p*w + 673. Is 10 a factor of w?
False
Let d be (20/(-130) - 517/(-65))*10. Let v = 79 - d. Suppose 3*l = -5*n + 97, 0 = -n - l + 20 + v. Is 5 a factor of n?
False
Does 14 divide (385/(-33) + 12)*846?
False
Suppose 0 = 3*v - 4*v - 27. Let s = v - -21. Does 14 divide (-1 + -151)/(s/3)?
False
Suppose -7*p - 22*p + 446197 + 245743 = 0. Does 10 divide p?
True
Let a be (0 - (-27)/7) + (-3)/(-21). Suppose -6 = -g - a. Suppose g*d = -2*x + 64, -4*x = -x + d - 94. Is 6 a factor of x?
False
Suppose 5136 = f - 0*f - 4*j, 10248 = 2*f + 4*j. Let l = f - 2885. Is 16 a factor of l?
False
Let o(i) = 3*i**3 - i**2 - 4*i + 4. Let d be o(2). Let w be (-8)/d*(0 - 0). Suppose 0 = -s - v + 12, 4*v + 4 + 4 = w. Is s a multiple of 7?
True
Suppose 2*h = -4*k + 10, k = 5*h - h - 65. Let w = h - 41. Let y = 55 + w. Does 17 divide y?
False
Suppose -41*k = -9*k - 280800. Does 15 divide k?
True
Let h be ((810/40)/9)/((-1)/(-4)). Is 35*h*1/3 a multiple of 17?
False
Suppose 3*a + 4*x = -71, -54 = 27*a - 25*a - 4*x. Let f(k) = 2*k**2 + 18*k + 239. Is 9 a factor of f(a)?
False
Let i(h) = -16*h**3 - 12*h**2 + 26*h + 105. Does 22 divide i(-7)?
False
Let u(j) be the third derivative of 0*j**4 - 1/120*j**6 + 13/6*j**3 - 3/20*j**5 + 0*j + 0 + 4*j**2. Is 11 a factor of u(-10)?
False
Let s(q) = -4*q + 80. Let u = 65 - 63. Suppose 5*p = u*x - 32, -2*x - 24 = -p + 3*p. Is 16 a factor of s(p)?
True
Let m(p) = -p + 57. Let v be m(-17). Let u = 156 - v. Is 11 a factor of u?
False
Let q be 3/(-6) - 4*6/(-48). Is 9*-16*(-1 + q)*1 a multiple of 8?
True
Let i(r) = 9*r**3 - 104*r**2 + 34*r - 112. Is 3 a factor of i(16)?
False
Let c(m) = m**2 - 6*m - 11. Let z be c(8). Suppose -66 = -z*k - a, 2*k + 50 = 7*k + 5*a. Suppose k*t - 256 = 10*t. Does 32 divide t?
True
Suppose -4*p + 14 + 46 = 0. Suppose 20*o = -p*o + 16800. Does 12 divide o?
True
Let p(g) = g - 3. Let r be p(3). Suppose -55*z + 52*z + 234 = r. Is z a multiple of 14?
False
Suppose 4*q - 16 = q + 5*t, 4*q = 4*t + 16. Suppose 293 = -2*u + 5*u + 2*f, 3*u = f + 290. Suppose u = q*k + 69. Is k a multiple of 14?
True
Let b = 196 + -97. Is 28 a factor of (2/(-6))/(b/(-8316))?
True
Let v(u) = u**2 + 18*u + 2. Let h be v(-19). Let b be (-290)/35 - (-6)/h. Let o = 15 + b. Does 7 divide o?
True
Let d = -13542 - -21639. Is 13 a factor of d?
False
Let i = -208 - 229. Let o be ((-54)/4)/((-402)/(-7504)). Let l = o - i. Does 37 divide l?
True
Let y(i) = 10*i**2 - 12*i + 67. Let c be y(10). Let o = 1516 - c. Does 7 divide o?
False
Suppose -3*o = -24, o - 72207 = -8*h - 2047. Does 79 divide h?
True
Suppose -2*w = k - 66, -2*w + 30 + 276 = 5*k. Is 30 a factor of k + (-1)/6*0?
True
Let v = 680 - 678. Suppose g - v*r - 54 = 0, 31 = -3*g - 2*r + 217. Is 15 a factor of g?
True
Is 11 a factor of (-3)/(((-765)/428235)/17)?
False
Suppose 2058*b + 40346 = 2045*b + 189638. Does 11 divide b?
True
Let j = -105 + 108. Suppose j*l = -2*l - 25, -c + 8 = -l. Suppose -c*g = -5*u + 157 - 52, -4*u + 2*g + 82 = 0. Does 6 divide u?
True
Let v be -7 + 65/10 - 9/(-2). Suppose 0 = m - 3 - 2. Suppose -v*c - m*c = -270. Does 15 divide c?
True
Let f(d) = -d**3 - 9*d**2 + 16*d + 24. Let u be f(-11). Let v be u + -2 + (-3 - 0/1). Suppose -463 = -4*w + 5*p, v = 2*w + 4*p - 153. Does 13 divide w?
True
Let m = -66 - 255. Let y = -195 - m. Is 7 a factor of y?
True
Let f(c) = 2*c**3 + 35*c**2 + 26*c - 46. Is 17 a factor of f(-16)?
True
Let y(w) = 5508*w + 35. Is 23 a factor of y(1)?
True
Let q = -2044 - -2909. Let c = -265 + q. Is c a multiple of 10?
True
Let i = 360 + 288. Suppose -9*y + 6*y + i = 2*j, 0 = 5*j + 4*y - 1620. Is 27 a factor of j?
True
Suppose 4*z - h = -3 + 8, h = -3*z + 9. Suppose y - 15 = -z*w + 64, 0 = -2*w + 5*y + 85. Does 2 divide w?
True
Suppose -6*p + 1568 = 572. Let c be (-8)/(-4) - p/(1 - 2). Is 14 a factor of 2/(4/c*3)?
True
Suppose 14*t + 7*t + 176099 - 528458 = 0. Is 119 a factor of t?
True
Suppose -4*t - 4*a + 12 + 8 = 0, 3*t = -5*a + 17. Let p(q) = q**2 - 3*q - 2. Let w be p(t). Suppose -80 = w*n - 254. Is 28 a factor of n?
False
Suppose 7*u + 17220 = 2*g + 4*u, -g + 8637 = 3*u. Is g a multiple of 12?
False
Suppose -408*d + 427*d = 7942. Does 2 divide d?
True
Let p be (3/2)/(16/32). Suppose p*d = d + 90. Is d a multiple of 5?
True
Let v(r) be the second derivative of -56*r**3/3 + 2*r**2 + 3*r. Let w be v(-4). Suppose -3*n - 2*g + 364 = -0*g, 4*g + w = 4*n. Is n a multiple of 13?
False
Let l(b) = -10*b + 54. Suppose -3*r - 6 = 0, -3*q + 2*r + 2*r = -26. Suppose -6*x - q*x - 60 = 0. Does 26 divide l(x)?
True
Let p(q) = -46*q + 259. Is p(-14) a multiple of 132?
False
Let u(h) = -22*h - 42. Let l be u(-2). Suppose 35*m = l*k + 31*m - 474, 2*k - 469 = 3*m. Does 10 divide k?
False
Let c(y) = -322*y - 194. Let a = 789 + -796. Is 20 a factor of c(a)?
True
Does 52 divide -2 + 7 + (3164 - 0) + 3?
True
Let v(p) = 3*p**2 - 17*p + 21. Let u(a) = -12*a**3 + 2*a**2 + a - 2. Let q = 110 - 111. Let c be u(q). Does 47 divide v(c)?
False
Suppose 3*i - 427 - 2315 = 0. Let r = i + -442. Does 27 divide r?
False
Let o(k) = -k**3 - 20*k**2 +