Is 6 a factor of h?
False
Let i be -4 + (15 - 2) + -3. Let l(t) = -t**2 + 5. Let a be l(i). Let g = 46 + a. Is g a multiple of 5?
True
Let j(h) = h**3 - 29*h**2 - 62*h + 5. Let v be j(31). Suppose -v*q + 1272 = 7*q. Is q a multiple of 9?
False
Let b be 3*((-22)/(-6) + -3). Suppose -21 = -b*a + 3. Is 12 a factor of a?
True
Suppose -2590242 = -247*s + 870722. Is 24 a factor of s?
False
Suppose 0 = -4034*m + 4022*m + 195528. Does 66 divide m?
False
Suppose 31*u - 294575 = -91029. Does 14 divide u?
True
Suppose 32*r - 5*l + 4758 = 33*r, -2*r + 4*l = -9628. Does 65 divide r?
False
Suppose 4*m + i = 3869, -3*i = -2*m - 765 + 2710. Let h = -23 + 25. Suppose -m = -6*p - h*p. Is p a multiple of 11?
True
Suppose 3*b + 13*w - 14*w = 326, 0 = -b + 5*w + 118. Let q(s) = 73*s. Let j be q(1). Let l = b - j. Is 5 a factor of l?
True
Let y = 3771 - 2328. Suppose 16*g - y = -227. Does 4 divide g?
True
Suppose -2*g = 3*l + 2*l - 63, 2*l - 5*g - 31 = 0. Suppose 4765 = l*h - 3178. Is 13 a factor of h?
True
Suppose 0 = v - h - 16, -v = -5*h + h - 19. Let b be 5/v + 21/(-9). Does 38 divide ((-5 - b) + -174)*-1?
False
Does 34 divide (-3)/12 + (-6)/((-96)/93572)?
True
Suppose -20*h = -22*h + 22. Suppose 0 = h*q - 28*q + 3213. Is 21 a factor of q?
True
Let i(a) = 171*a + 625. Is i(85) a multiple of 8?
True
Suppose 19 = -v - 30. Is 7 a factor of (-96)/4*1/4*v?
True
Let c(d) be the first derivative of d**2 + 22*d + 5. Let r be c(-10). Does 9 divide 9/18*94*(r - 1)?
False
Let p = 11054 + -5945. Does 78 divide p?
False
Suppose 391*a - 15528240 = 113*a - 262*a. Is 26 a factor of a?
True
Suppose -17*c + 51 = -17. Suppose -5*u + 0*x = -c*x - 2684, 3*u = x + 1616. Does 45 divide u?
True
Suppose 43 = -z + 2*b, 9 = 5*b - 6. Let t(v) = -v**3 - 2*v**2 + 9*v + 1. Let q be t(-6). Let l = z + q. Is l a multiple of 14?
False
Is (168/36 + -4)*210 a multiple of 20?
True
Suppose 3*o + 6*b - 8*b - 73 = 0, 74 = 4*o + 2*b. Is (-9 + (-931)/o)*6/(-4) a multiple of 8?
True
Let u be 3 + 4/(-12)*-3. Suppose -2*m - 2*x + 6 = -0*x, -u*m + 12 = 2*x. Suppose 3*q - 3*s - 90 - 57 = 0, -s - 155 = -m*q. Is q a multiple of 13?
False
Let q(f) = 6*f + 3562. Is 52 a factor of q(16)?
False
Suppose 15*a - 10*a = 7*r + 22614, -3*a + 13596 = 5*r. Is a a multiple of 6?
False
Suppose -14342 = -8*u + 4242. Let i = u - 1161. Is i a multiple of 14?
True
Suppose -12195 = -n - 3*q, -2*q = -7*n + 8*n - 12202. Is n a multiple of 53?
False
Let b = -22230 - -34554. Is 12 a factor of b?
True
Let p(h) = -15*h**2 + 926*h + 127. Is p(52) a multiple of 82?
False
Let i(c) = c**2 + 12*c + 71. Let k be i(-7). Suppose 42*y - k*y = 3942. Does 9 divide y?
True
Suppose -3*p + 3*b + 2363 = -5110, 5*p - 4*b = 12460. Is p a multiple of 79?
False
Let o(k) = k**2 + k + 1. Let h be o(-2). Suppose -h*f - 5*c = 13, 5*f + 8 - 23 = -c. Suppose 0 = 5*r + f*d - 155, -d - 75 = -3*r + 35. Is r a multiple of 7?
True
Let q(x) be the third derivative of x**6/30 + 11*x**5/30 - x**4/8 + x**3/6 - 17*x**2 - 3*x. Is 5 a factor of q(-5)?
False
Is 22 a factor of 2/(-17) + (-10 - 7809392/(-289))?
False
Let h = -331 - -328. Let d(c) = -24*c**3 + 2*c**2 - 6*c - 22. Is d(h) a multiple of 48?
False
Let t(c) = c**2 + 6*c - 8. Let r be t(-8). Let g be (-34)/(-8) + (-2)/r. Suppose 0 = -3*a - 2*s + 9, s - 2 - g = -2*a. Is 3 a factor of a?
True
Let a = -3784 - -4229. Is a even?
False
Is (-33690)/(-18) + (8/6 - 1) a multiple of 18?
True
Suppose 14 - 18 = 2*x - 4*d, -x + 4 = -4*d. Is 33 a factor of 202 + (x - 0 - -4)?
True
Let y = 174 + -165. Suppose y*l - 894 - 1707 = 0. Is l a multiple of 6?
False
Is 16 a factor of 634440/56 - (-3 - (-51)/7 - 4)?
False
Suppose q - 64 - 1046 = -2*z, -3*q + 3305 = z. Suppose -5*d = 3*t - 2815, -2*d + q = -6*t + 2*t. Does 28 divide d?
True
Let a(i) = i**2 - 11*i + 4. Let u be a(11). Suppose 0 = u*n - 5*v - 985, 2*n - 465 = -4*v + v. Is 20 a factor of n?
True
Let y(k) = -5*k**3 - k**2 + 9*k + 5. Let h(l) = l**2 - 47*l + 42. Let q be h(46). Does 7 divide y(q)?
True
Let l be 2*(95/(-2) + -2 + 2). Let q = l - -90. Let z(w) = -15*w - 31. Is 4 a factor of z(q)?
True
Suppose -86*b + 24124 + 84924 = 0. Is b a multiple of 3?
False
Let j(t) = -t**3 - 2*t**2 + 277*t + 10052. Does 30 divide j(-38)?
True
Let t(v) = -v**3 + 2*v**2 + 4*v + 6. Let z be t(3). Suppose 158 = z*q - 1552. Suppose 0*y = 5*y - g - 170, 5*g = 5*y - q. Is 33 a factor of y?
True
Let v = 392 - 414. Is 19 a factor of (-6589)/v + 4 - (-2)/4?
True
Let z = 78 + -31. Suppose t - 42 = -3*t - 2*v, 4*t - 3*v = z. Suppose -1570 = -t*b + 575. Does 13 divide b?
True
Does 261 divide (-4444)/303*2349/(-2)?
True
Suppose -28 = -3*j - 4*j. Suppose 0 = -j*x + 2*r - 701 + 2693, 5*x - 5*r - 2485 = 0. Suppose 5*m + x = 4*k, -1 = 2*m + 5. Is k a multiple of 11?
True
Suppose 129*j = 554669 + 135481. Does 107 divide j?
True
Let x(b) be the third derivative of 0 + 15*b**2 + 0*b - 1/12*b**4 + 1/60*b**5 - 7/2*b**3. Is 14 a factor of x(-5)?
True
Let l = 277 - 134. Suppose 4*w + y - l = 3*w, 4*w - 567 = y. Does 13 divide w?
False
Suppose 3*n - 66 = -111. Does 8 divide (-992)/(-4) + n + 15?
True
Let v(d) = 5*d - 43. Let s be v(7). Let y(u) = -5*u**2 - 62*u + 33. Let c(p) = 2*p**2 + 21*p - 11. Let g(r) = s*c(r) - 3*y(r). Is 6 a factor of g(7)?
True
Let v be 155/3 + (-6)/9. Suppose g = -4, 2*c - 2*g - 53 = v. Does 12 divide c?
True
Suppose 2*f - 3046 - 901 = 8731. Is f a multiple of 77?
False
Suppose -19*r - 3*c + 143329 = 0, -5*c = 5*r - 15586 - 22149. Does 33 divide r?
False
Suppose -117*l + 6428688 = 53*l + 42*l. Is 29 a factor of l?
False
Suppose 0 = 5*b + 4*u - 7 - 59, -5*b = 3*u - 67. Suppose -f - 11 = -b. Does 12 divide (8/(-2) - f/(-3)) + 51?
True
Is 2 + 252/(-135) + 66986/30 - 7 a multiple of 42?
True
Suppose -2*j + 71 = -5*y, -3*y = -j + 9 + 25. Suppose 2*t + 4*q - 146 = 0, j - 278 = -3*t + 2*q. Is 11 a factor of t?
True
Let u(x) = x - 44. Let i be u(-13). Let w = i + 61. Suppose b - 210 = -0*b + 2*y, 670 = 3*b + w*y. Is 9 a factor of b?
False
Suppose 33 = 3*p - 9. Let h be 4*(-3)/(-42) - (-1298)/p. Suppose 3*q + h = 3*d, 2*d - 2*q - 77 = 3*q. Is 3 a factor of d?
False
Let g(j) = j + 5. Let m be g(-1). Let r(y) = -16 - 4*y + 14*y + y**2 - m*y. Is r(11) a multiple of 19?
True
Let w = 12881 + 29595. Is w a multiple of 220?
False
Suppose -63850 = -29*u - 43799 + 178135. Is u a multiple of 134?
True
Is 153 a factor of ((-1906)/8)/(42/(-1512))?
False
Is 16 a factor of 5088890/(-1016)*(96/10)/(-2)?
False
Let c = 25 - 20. Suppose -38 = -t + c*n, 2*t + n - 58 = 2*n. Suppose 8 = -3*f + g + 28, t = 3*f - 5*g. Does 2 divide f?
True
Suppose -65*r + 336007 = 76166 - 49624. Is r a multiple of 14?
False
Let t = -894 + -396. Let w = t - -1862. Is w a multiple of 52?
True
Let o(w) = w**2 + 3*w - 6. Let v be o(-5). Suppose 0 = 3*m - 23 - v. Suppose -m*p + 13*p - 168 = 0. Is 14 a factor of p?
True
Suppose 13*m - 4461 = -197. Is m even?
True
Suppose 2*s + 368 = 5*m, -3*s = -0*s + 12. Let p = m + 13. Does 5 divide p?
True
Is 1936/(-99)*-3*27 a multiple of 8?
True
Let p(j) = -j**3 + 3*j**2 - j - 3. Let d be p(3). Suppose -22*s - 14*s = 504. Does 4 divide (d/7)/(3/s)?
True
Let k(o) = -22*o + 53*o - 85*o - 18. Is 15 a factor of k(-4)?
False
Suppose 13011*a - 436586 = 12988*a. Does 24 divide a?
False
Suppose 0 = 3*h - k - 3*k + 208, -k = 4*h + 271. Suppose 3*z = -4*m + 3*m - 38, 3*m - 2*z = -92. Let c = m - h. Is 18 a factor of c?
True
Does 4 divide 3 + ((-8)/(-14))/(1/(-7)) + 2276?
False
Suppose -5*j + 14 = -v + 37, 2*j = -5*v + 7. Suppose 2*c + v*c - 3*i + 6 = 0, 2*i = -5*c + 4. Let w = c + 6. Is w a multiple of 4?
False
Suppose 4*q = 0, -6*d + 4*d = 5*q - 20. Is 4/(-8) + 5775/d a multiple of 19?
False
Let w = -11930 - -25650. Does 25 divide w?
False
Suppose 4*r = -3*x + 544, 4*x + 2*r - 362 = 2*x. Let l be ((-2)/(-4) - 1)/((-15)/x). Let g = l + 36. Is g a multiple of 42?
True
Suppose -7*g = 3*f - 3*g - 4, 2*f - 4*g = -4. Suppose 0 = -5*b - 4 + 24. Suppose n - b*k - 32 = 0, 4*n + k - 128 = -f*n. Is 32 a factor of n?
True
Let d = -3321 - -3999. Does 6 divide d?
True
Let y(c) = -3816*c - 6342. Is 111 a factor of y(-3)?
True
Let c(h) = -2*h - 1. Let k be c(-4). Suppose k*o - 14*o = -63. Suppose -3 - o = -g. Is 3 a factor of g?
True
Suppose -145 = -3*h + a, -5*h - a + 76 = -163. Let d be (h/20)/((-6)/(-135)). Let j = d + 