7. Let i be p(-3). Let h = i - -83. Is 10 a factor of h?
False
Suppose 0 = -21*r + 168 + 273. Is 23 a factor of 4 - (24/(-42) + (-7632)/r)?
True
Let x(o) = -2*o**3 - 13*o**2 - 6*o + 5. Let y be (16/12 + -1)*-33 + 1. Is 45 a factor of x(y)?
True
Does 142 divide (-264185)/(-15) - 5 - (20/15)/(-2)?
True
Let n(l) = -l**3 + 31*l**2 + 38*l + 57. Let g be n(32). Let y = g + -153. Does 4 divide y?
True
Let v be ((-6)/(-10))/((-6)/(-30)). Suppose 4*r + 3*w - 200 = w, v*r - 147 = -3*w. Let i = r - -19. Is 7 a factor of i?
True
Let f be -103 + 4 + (0 - 3). Does 2 divide (2 + (5 - f))*1?
False
Suppose -5 = -5*t, -5*g + 16821 = 2*t - 6461. Does 48 divide g?
True
Let b = -1084 - -1104. Suppose 939 = -5*g + 3*d, -3*d = -g - d - 185. Let p = b - g. Is p a multiple of 32?
False
Suppose 0 = 4*q - k - 267, -7*q + 5*q = 3*k - 123. Does 13 divide (79 - q)/(-2 + 317/158)?
True
Is -535*(-4 + -49) + -1 + (-41 - -43) a multiple of 19?
False
Let n = 6033 - 4057. Is 29 a factor of n?
False
Let v be (-2)/(-3)*(-42)/(-28). Is 2 a factor of v/((-214)/592 - (-42)/112)?
True
Suppose 7*t = 22214 + 23069. Is 102 a factor of t?
False
Let s(m) = 17*m**2 + 219*m + 131. Does 13 divide s(31)?
True
Let h(g) = -418*g + 33. Let p be h(-6). Suppose 9*b - p + 786 = 0. Is 15 a factor of b?
True
Let r(l) = 2*l**2 + 3*l - 8. Let v be r(-4). Suppose -47 = -v*d + 25. Suppose 2*o + 352 = d*o. Does 40 divide o?
False
Let n = 205 + -211. Does 13 divide (-12)/(24/n) - -166?
True
Let s(j) = 133*j**2 + 10*j + 66. Is 51 a factor of s(-6)?
True
Let j(l) = 3*l + 2 - 13*l + 14*l**2 - 15. Is 21 a factor of j(-6)?
False
Let i = 385 + 204. Does 53 divide i?
False
Let c(o) = -45*o**2 + 2*o - 3. Let q be ((-605)/(-35) - 0) + (-2)/7. Let n(k) = -135*k**2 + 6*k - 8. Let l(s) = q*c(s) - 6*n(s). Does 4 divide l(-1)?
True
Let s be 32 + 11 - (-6 - 0). Suppose 59*u - s*u - 7920 = 0. Is 11 a factor of u?
True
Let j = 56 + 308. Suppose -7*x + j = 7*x. Is 19 a factor of x?
False
Suppose 140*n - 7710645 = -191*n. Does 14 divide n?
False
Let y(u) = u**2 - 4*u - 23. Let c be y(8). Does 13 divide -7 - (-78)/c - (-902)/6?
False
Suppose -6046 = -9*o + 2*o + 6204. Is 10 a factor of o?
True
Let f = -1009 - -1685. Does 52 divide f?
True
Suppose -438 + 1942 = 2*w. Let a = 1662 - w. Is 70 a factor of a?
True
Suppose 0 = 2*q + 4*j - 58, 77 + 6 = 2*q - j. Let a = q - 34. Suppose -3*n = -3*x - 9, -a*n + 42 = 2*x + 2*x. Is n a multiple of 6?
True
Let c = -18005 - -30215. Is c a multiple of 66?
True
Suppose -h - 15 = 2*o, 5*h - 16 - 17 = 2*o. Let n(p) = p**3 + 8*p**2 - p + 86. Is n(o) a multiple of 6?
False
Suppose 4*v + 128 = -4*w, 4*w - 3*v + 122 + 27 = 0. Let x(y) = -y**2 - 43*y + 55. Is x(w) a multiple of 18?
False
Suppose 3*r - 123773 = -5*g, 9*r + 2*g = 241149 + 130157. Is r a multiple of 36?
True
Is 8/(-28) - 300012/(-168) - 2/4 a multiple of 105?
True
Let p(k) = -7*k**2 - 16*k + 16. Let b be p(1). Let j(l) = -18*l + 112. Does 7 divide j(b)?
True
Let v(h) = -h**3 + 5*h**2 + 17*h - 35. Let q be v(9). Let b = 905 - q. Does 45 divide b?
False
Let u = -88 - -105. Suppose -312 = -u*b + 19*b. Is 8 a factor of (-6)/(-10) + b/(-15)?
False
Suppose -4*i - 3*b = -0*b + 138, 4*b = -5*i - 173. Let r = 147 + i. Suppose -26 = -5*f + r. Does 9 divide f?
False
Suppose -210 = -4*r - 10*r. Suppose -3*c = r, 2*x = c + 119 + 198. Does 12 divide x?
True
Is 16 a factor of (11/((-264)/2070))/(9/(-216))?
False
Suppose 28*u + 25992 = 40*u. Is u a multiple of 6?
True
Let l(o) = 8*o**3 + 15 - 6*o**3 - 12*o**2 - 27*o**2 - 32*o - 10*o. Is 8 a factor of l(21)?
True
Is (-67296)/(-9)*(-135)/(-90) a multiple of 19?
False
Suppose -12 = 2*p + 3*q, -2*q = -2 + 10. Suppose p = -3*t - r + 1014, -t + 6*t - 1673 = 4*r. Does 62 divide t?
False
Let s(o) = 1743*o**2 + 14*o - 30. Does 21 divide s(2)?
False
Let r(n) = 6*n**2 - n**2 - 2 + 65*n - 48*n + 9. Is r(-6) a multiple of 7?
False
Suppose -26*b = -0*b + 36*b - 68758. Does 4 divide b?
False
Let t(l) = l**3 - 2*l**2 + 5*l - 19. Let i be t(3). Suppose -u - i*s + 53 = -86, 4*u - 4*s = 436. Is 26 a factor of u?
False
Is ((-586020)/24)/(85/(-68)) a multiple of 7?
False
Suppose -5*g + 0*g - 3*p + 6 = 0, 3*p + 3 = -2*g. Suppose t = g*t - 792. Is t a multiple of 66?
True
Let z be ((-8)/12)/(8/(-36)). Suppose f - 14 = z. Suppose 4*t - 4*d - d - 68 = 0, -t + 4*d + f = 0. Is t a multiple of 4?
False
Let s be 20/(-11) - 7/((-231)/(-6)). Let b be 1 - ((-3 - -1) + s). Suppose b*p + 86 = 6*p. Is 13 a factor of p?
False
Let f = 359 + -380. Let r = f - -684. Does 39 divide r?
True
Suppose 4*a + 4*j = 28028, -721*a + 6987 = -720*a + 5*j. Is a a multiple of 86?
False
Let o(p) = -19*p + 1. Let n be o(1). Let z(w) = 2*w**3 - 9*w**2 - 54*w - 4. Let v be z(-4). Let m = n - v. Is m a multiple of 21?
True
Suppose 341 = -110*b + 111*b. Suppose b = 8*m - 715. Is m a multiple of 35?
False
Let i(l) = -l**3 + 37*l**2 + 52*l - 383. Does 26 divide i(38)?
False
Let g(o) be the third derivative of o**4/12 - 5*o**3/3 - 18*o**2. Let t be g(6). Suppose t*q - 10*q = -96. Is q even?
True
Let z be (-9840)/(-27) - 8/18. Suppose 2*l + 5*r = 321, -5*l + z = r - 404. Is 3 a factor of l?
True
Suppose 0 = 7*v + 5*v. Suppose y + 2*k - 460 = v, -6*y + 2*y = k - 1868. Does 18 divide y?
True
Let r(f) = -11*f**3 - 3*f**2 + 2*f. Let i be r(-3). Let t be -5*((-147)/15 - 18/(-3)). Suppose i = t*m - 16*m. Does 44 divide m?
True
Let d = -38168 - -48716. Is 50 a factor of d?
False
Let k(x) = x**2 + 21*x + 98. Let n(s) = 2*s**2 + 12*s + 17. Let f be n(-7). Does 14 divide k(f)?
False
Suppose 0 = a - 3*a - 24. Let w be 56/12 + (-4)/a. Suppose -3*n = o - 22 - 61, -n - w*o + 23 = 0. Is 14 a factor of n?
True
Let g(x) = 92*x**2 + 40*x + 199. Is g(-9) a multiple of 46?
False
Let v(j) = j**3 - 14*j**2 - 34*j + 36. Let o be v(16). Is (-3 - (577 - 2))*o/(-8) a multiple of 17?
True
Suppose -5*s + 5*c - 8 + 48 = 0, -3*s + c + 18 = 0. Suppose 0*w + 2775 = 5*w - 5*b, 4*w - s*b - 2215 = 0. Suppose -o - 3*o = -w. Does 35 divide o?
True
Let y be (7/4)/((135/(-1368))/(-15)). Let n = 515 + y. Does 9 divide n?
False
Suppose -u - 4*u = 4*f - 16, -u - 4 = -f. Suppose 13*m - 1247 - 1665 = u. Is m a multiple of 14?
True
Let t(j) = j**2 - 30*j - 84. Let x be (-1)/((-2)/(-38)) + (-58)/(-29). Is 55 a factor of t(x)?
True
Let q be (3 - (-222)/(-18))/((-2)/21). Let b be 3 + 84/q + 2/14. Suppose 0*x - b*x = 12, -5*a = 2*x - 74. Does 8 divide a?
True
Let u(s) = -2911*s + 2768. Is 11 a factor of u(-9)?
False
Let k be (-21065)/(-20) - 10 - 3/(-4). Is 41 a factor of (k/(-15))/((-27)/90)?
False
Let y be 29/6 + (-15)/(-90). Suppose p = -4*d - 8, 4*d = 5*p - 3 - y. Suppose -5*i + 8 + 12 = p, -5*i = -2*o + 322. Is 9 a factor of o?
True
Let a(r) = -6*r + 63. Let u be a(10). Suppose -2*h = -2*d + 62, -3*h = -u*d - 8*h + 109. Is 17 a factor of d?
False
Suppose 48 + 0 = 3*z - 3*d, -z + 3*d = -18. Is 13 a factor of 10/z + 4206/(-9)*-1?
True
Suppose 1979 + 3052 = 13*w. Is 9 a factor of w?
True
Suppose -7*o - 281 = -4*o - 5*v, 0 = 2*o + 2*v + 182. Let i = 79 - o. Let f = i - 84. Does 8 divide f?
False
Suppose 2*z + 3*v - 46 = -2*v, -12 = -3*v. Suppose -19 = 2*g + 4*h + 1, g - h = -z. Is 3/18 + (-1510)/g a multiple of 14?
True
Let f = -198 + 198. Suppose 4*n + 1149 - 3201 = f. Does 40 divide n?
False
Suppose -1677832 = -209*h + 63*h. Does 221 divide h?
True
Let o(b) = 73*b - 2. Let i be o(2). Does 38 divide (-6)/(i/(-6)) + (-910)/(-8)?
True
Let c(v) = 3043*v - 7760. Is c(11) a multiple of 27?
False
Suppose 10*c + 7*c = 1564. Does 18 divide c?
False
Let y be ((-2)/(-3))/((-10)/(-765)). Let t = 74 - y. Is -1*(-2)/(-4)*-6 + t a multiple of 5?
False
Let d(n) = 958*n**2 - 21*n - 16. Is d(4) a multiple of 6?
True
Let c = -48 + 64. Suppose 5*q - c*q + 2057 = 0. Is q a multiple of 13?
False
Let l = -703 + 731. Suppose -l*n + 531 = -19*n. Does 59 divide n?
True
Suppose 0 = 53*h - 55*h + c + 28938, 4*h + 4*c = 57924. Is h a multiple of 41?
True
Let t(h) be the third derivative of h**6/120 + 4*h**5/15 + 17*h**4/24 + 35*h**3/6 + 69*h**2. Is 7 a factor of t(-14)?
True
Suppose 0 = 43*j - 48*j + 25. Suppose 5*u = -3*v + 992, 1419 = 5*v + j*u - 241. Is v a multiple of 17?
False
Suppose -8*p - 56 = -15*p. Let i be (p/10)/((-4)/(-10)). Suppose i*q + 5*q - 406 = 0. Is q a multiple of 8?
False
Let f(g) = -34*g + 2920. Is 10 a facto