tiple of 5?
True
Let m(b) = -b**3 + 15*b**2 - 7*b - 114. Let n be m(10). Let h = 1521 - n. Is 15 a factor of h?
False
Is 95*(9 - 1816/(-40)) a multiple of 12?
False
Suppose k = 3, k = u - k - 4725. Is u a multiple of 29?
False
Suppose 2*u = 2*i + 148, -u + 44 = -i - 6*u. Let a(m) = -2*m**2 - 13*m - 12. Let l be a(-11). Let n = i - l. Is n a multiple of 7?
True
Suppose -77*d - 1175 = -82*d. Let x = d - -110. Is x a multiple of 19?
False
Let g = 3821 + -1231. Is 5 a factor of g?
True
Let v(d) = 7*d + 6*d + 32 + 8 + 19*d. Is v(8) a multiple of 18?
False
Suppose 10080 = 2965*v - 2962*v. Does 14 divide v?
True
Suppose -52*m = -14*m. Suppose m = 132*l - 128*l - 284. Is 7 a factor of l?
False
Suppose 3*f + 19 = -5*g, -g + 0*g = 5. Suppose -m = s - 44, 4*m - 140 = -f*s + 28. Does 4 divide m?
True
Is 29 a factor of (4640/(-100))/((-2)/115)?
True
Let k(c) = 107*c - 665. Let s(n) = 36*n - 221. Let v(m) = -2*k(m) + 7*s(m). Is v(20) a multiple of 25?
False
Suppose -177*v - 9376 = -78166 - 34932. Is 8 a factor of v?
False
Suppose -5*f + 61468 = 4*h, -5*h + 46816 = 3*f + 9917. Is 16 a factor of f?
True
Let k(i) = -2*i**2 + 29*i - 13. Let x(b) = b**2 - 13*b + 6. Let d(g) = 3*k(g) + 7*x(g). Is d(18) a multiple of 51?
True
Let k(n) = 1577*n**3 - 6*n**2 + 53*n - 79. Is k(2) a multiple of 15?
False
Let f = 310 - 112. Suppose -2*u + g - 3*g = -f, u = -4*g + 105. Let m = 112 + u. Does 42 divide m?
False
Let s(l) = -22*l**2 + l**3 - 14 + 49*l**2 - 18*l**2 + 2*l. Is s(-7) a multiple of 5?
True
Let c = 2037 - -3511. Does 146 divide c?
True
Let m = 826 + -431. Let y = -252 + m. Is y even?
False
Let g(k) be the first derivative of -67*k**2/2 - 308*k + 98. Is 7 a factor of g(-6)?
False
Let f = 3332 + -2334. Suppose -3*t = -a + 603, 4*t + f + 826 = 3*a. Does 12 divide a?
True
Does 12 divide -10*(52083/(-90) + -22)?
False
Let c = 35 - 12. Let r be (1128/(-48))/(((-1)/(-1))/(-2)). Suppose c + r = 2*y. Is 6 a factor of y?
False
Suppose 20 + 0 = 5*p. Let z = 44 - p. Suppose 3*b - 32 - z = 0. Is 12 a factor of b?
True
Suppose -4*g = 0, -5*y + 5*g + 3*g = 12*g - 12705. Does 11 divide y?
True
Let t(r) = 17*r**2 + 95*r - 94. Does 31 divide t(-27)?
True
Does 7 divide ((-176)/2)/(34/(-84) - 88/924)?
False
Let w(c) = c**2 + 2*c - 4. Let f be w(-3). Let i = f - 13. Is 17 a factor of 22/4*(-7)/(i/8)?
False
Suppose 0 = 25*w - 122042 - 103834 - 84074. Is w a multiple of 34?
False
Let n(g) = 10*g**2 + 198*g - 380. Does 40 divide n(75)?
True
Let n = -219 - -231. Let j(c) = -c**2 + 10*c + 104. Is j(n) a multiple of 40?
True
Suppose 4*o - 4*v = 10401 - 2125, -4*v - 2066 = -o. Is 10 a factor of o?
True
Let i(a) = 3*a**2 + 4*a + 2. Let m be i(-2). Suppose m*z = z + 420. Suppose 3*q + z = 4*q. Does 8 divide q?
False
Let g(z) = -3*z**2 + 6*z + 22. Let o(k) = -4*k**2 + 7*k + 22. Let b(s) = -3*g(s) + 2*o(s). Suppose 0 = -w + 10*w + 3*w + 84. Is 10 a factor of b(w)?
False
Suppose 2*k - 4*c - 7552 = 0, 3*k - 2063 = 4*c + 9271. Does 31 divide k?
True
Suppose -231*m + 53*m + 2351024 = 0. Is 7 a factor of m?
False
Let x = -45 - -19. Let o = 33 + x. Suppose 0 = o*c - 0*c - 196. Does 28 divide c?
True
Suppose -442*a + 3535766 - 1007526 = 0. Does 88 divide a?
True
Let k(l) = 2*l**3 + l**2 - 3*l - 3. Let n be k(2). Suppose -8*r = -n*r + 771. Suppose 3*h = 2*d - r, 5*d - 5*h = -3*h + 626. Is 21 a factor of d?
False
Suppose -43*i - 2*a + 7254 = -42*i, 2*i + 3*a = 14515. Does 11 divide i?
False
Suppose 0 = -294*m - 11714 + 166724 + 197496. Is m a multiple of 11?
True
Let z(j) be the third derivative of -j**8/1680 + j**7/1260 - j**5/20 - 2*j**4/3 - 6*j**2. Let o(k) be the second derivative of z(k). Does 15 divide o(-3)?
True
Suppose -14*j = -15*j + 2*x + 32734, -12*x = -j + 32814. Does 123 divide j?
True
Suppose d = 3*s + 33 - 107, -5*s - d = -110. Suppose -s*m - 2360 = -31*m. Let z = -96 + m. Is z a multiple of 24?
False
Let t(q) = -8*q**2 - 13*q - 2. Let v(b) = 38*b**2 + 4 - 17*b + 15*b + 29*b - 23*b**2. Let f(j) = -11*t(j) - 6*v(j). Does 6 divide f(-6)?
False
Let q = 243 - 237. Suppose -q*v + 0*v = -888. Is v a multiple of 4?
True
Suppose -17*o = -14*o - 27. Suppose o*x = -x + 2300. Suppose 0 = -5*s + 4*k + x, 5*s + 0*k - 5*k = 225. Is s a multiple of 5?
True
Is 14/((-12)/38020*20/(-12)) a multiple of 20?
False
Let i(h) = 5*h**2 + 8*h + 3*h**3 - 2*h**3 + 0*h**3 + 4*h**2. Let d be i(-8). Let y(q) = -q**2 - q + 9. Is 3 a factor of y(d)?
True
Let m(g) = 3*g**3 - 4*g**2 + 4*g - 1. Let f be m(1). Suppose f*u + 3*k = 514, -u = -3*k + 4*k - 258. Does 10 divide u?
True
Suppose 17*n = 21*n + 36. Let c be (n/(-2) - 4) + 1678/4. Suppose -c = 21*m - 25*m. Does 11 divide m?
False
Suppose 28*w - 338441 - 12545 + 4430 = 0. Is w a multiple of 22?
False
Let x(n) = -n**2 + 23*n + 18. Let a be x(24). Is a*(1078/(-42) - (-2 + 2)) a multiple of 14?
True
Let q(t) be the second derivative of -t**3 + 12*t - 2*t**2 + 0 + 1/12*t**4. Is 23 a factor of q(-14)?
True
Suppose 41 + 179 = 4*u. Let k = -49 + u. Let z = k + 25. Is 20 a factor of z?
False
Suppose -3*u = 5*l - 1703, -11*l + 17*l + 1758 = 3*u. Is 4 a factor of u?
True
Suppose 708 - 13604 = -16*m. Does 31 divide m?
True
Suppose -5*b = 4*x + 2, 4*b + 0*b - 3*x = 17. Suppose b*u - 270 = 2*c, 2*c + 675 = u + 4*u. Does 9 divide u?
True
Is 114 a factor of (49140/520)/(6/1976)?
True
Let w = 201 + -193. Is -2 + 1 - -93 - w a multiple of 3?
True
Suppose 5*n - 4*n - 1877 = 3*v, -3*n + 5*v = -5635. Suppose -102*b = -92*b - n. Is 32 a factor of b?
False
Suppose -4*g = -3*l - 248, -g - 4*g = -4*l - 311. Suppose -2*k + g = -35. Is k a multiple of 8?
False
Let n be 4650/(-18) - (3/(-9) + 1). Let p = -233 - n. Does 2 divide p?
True
Suppose -9190 = -2*x - 2*t, 17*t = 5*x + 14*t - 22935. Is x a multiple of 18?
True
Let n(m) = -179*m - 16. Let a be n(-5). Suppose 3*l + a + 417 = 0. Does 2 divide (-32)/(-6)*l/(-64)?
True
Let n(q) = -q + 616. Let r be n(0). Suppose 0 = 2*i + 2*i + r. Let y = -98 - i. Does 28 divide y?
True
Does 7 divide ((-51)/6 + 1)*(-17332)/70?
False
Suppose -7*v + 9*v = 966. Suppose -c + 899 = 4*g, -2*g - 47 = -4*c - v. Is 32 a factor of g?
True
Suppose 0 = j - 3*k + 10, 0 = -5*j + 3*k - 77 + 3. Let q(d) = 4*d**2 - 26. Let r be q(j). Suppose -107 = 9*i - r. Does 49 divide i?
False
Suppose 0 = -2*l - 3*o + 52430, -o + 78666 = -77*l + 80*l. Does 16 divide l?
True
Let f(l) = 3*l - 41. Let a be f(17). Suppose -a = -2*r, u - r = -0*r - 2. Suppose u*b = 68 + 136. Does 17 divide b?
True
Suppose -5*p = -2*y - 187 + 53, 5*p = 5*y + 125. Suppose 0 = 4*s - 4*l - 1600, p*s - 23*s + l - 2012 = 0. Is s a multiple of 10?
False
Let b = 4979 + -4678. Is 3 a factor of b?
False
Let p(a) = -6*a + 6. Let l be -3 + ((-386)/(-4))/(2/4). Suppose 57 = -13*c - l. Is 15 a factor of p(c)?
True
Let w = -32713 - -38116. Is w a multiple of 3?
True
Let a(f) be the second derivative of f**8/6720 - f**7/252 + f**6/720 + f**5/4 - 5*f**4/12 - 20*f. Let h(m) be the third derivative of a(m). Does 8 divide h(10)?
True
Let g(y) = y**2 - 7*y - 4. Let c be g(6). Let j(z) = 10*z - 203*z**2 + 96*z**2 - 10 + 109*z**2. Does 5 divide j(c)?
True
Is 136 a factor of 1*5272 + 106 + -105?
False
Let c be ((-4)/(-4)*69)/(18/24). Suppose c = 5*p - 4*p. Is 32 a factor of p?
False
Suppose 7*h - 23 = 117. Is (-10)/(-15)*9930/h a multiple of 4?
False
Suppose 4*p - 159 = -3*f + 6*f, 4*p = -5*f - 265. Let m = f + -13. Let h = -24 - m. Is 7 a factor of h?
True
Let u = 1164 + 8431. Is u a multiple of 95?
True
Suppose -69*a + 2256984 = 174*a. Is a a multiple of 86?
True
Let v(d) = 8*d**2 + 121*d + 3971. Does 10 divide v(-34)?
False
Suppose -25 = -4*f - f. Suppose -6*n = -f*n - 64. Suppose -3*t - 2*h = -n, t - 6*t - 3*h + 106 = 0. Is t a multiple of 10?
True
Is (138*(-22)/396)/((1/(-6))/1) a multiple of 46?
True
Let z be 28*(-2)/(8/(-62)). Let n = -19 - -626. Let w = n - z. Is w a multiple of 30?
False
Suppose -16*f - p - 2613 = -18*f, -4*f + 5254 = 2*p. Is 5 a factor of f?
True
Suppose 2*g - 5*h - 10 = -2*g, 0 = -4*g - 4*h - 8. Suppose -30 = 5*c - v, 5 = v - g. Let b = c - -17. Is 2 a factor of b?
True
Let m be 5*(4/8)/(5/4). Suppose 0 = -4*n + 2*n + 10. Suppose 0*q + q - n*t = 27, -m*t + 47 = 3*q. Is q a multiple of 2?
False
Let g(q) = -q**3 - 16*q**2 - 3*q + 3. Let x = 2 + -16. Let m be x - (1 - -2 - 1). Does 17 divide g(m)?
True
Let