9. Does 13 divide g?
True
Is (-299)/(-9) - (-4)/36*-2 a multiple of 12?
False
Suppose -3*z = 5*k + 132, 0 = -z + 4*k + 5 - 32. Is (1426/6 - 13/z) + -1 a multiple of 22?
False
Suppose 3*f = 22 + 38. Suppose -5*t = -f + 5. Suppose 3*x = -t*p + 27, p - x = -4*x + 15. Is 6 a factor of p?
True
Let p(t) = 56*t**2 + 20*t + 12. Is p(-3) a multiple of 12?
True
Let r(p) = -p**3 - 22*p**2 - 27*p - 19. Suppose -3*u = -3, z + 17 = -0*u - 4*u. Is 13 a factor of r(z)?
False
Let k(j) be the first derivative of -j**7/840 - 13*j**6/360 - j**5/10 + 7*j**4/24 - j**3/3 - 2. Let s(p) be the third derivative of k(p). Does 5 divide s(-12)?
False
Does 25 divide 2 - 96/42 - (-24681)/21?
True
Suppose 3*o + 15 = -w, -5*w + 4*o - 32 = 5. Let u be w + 6 - (0 + -6). Suppose -4*n - 260 = -9*n + 4*t, -3*n + u*t + 156 = 0. Is n a multiple of 13?
True
Suppose -4*a = 5*g - 1281, 10*g - 5*g - 1285 = -5*a. Does 6 divide g?
False
Suppose 3*c = 6, 0 = -f + 2*c + 2*c. Suppose 12*b = f*b. Suppose -h + 56 = 3*h - d, -3*d = b. Is h a multiple of 10?
False
Suppose -42 = -2*w - 5*d, -1 = -4*d - 17. Let c be (46/1)/(-1 - 1). Let p = w - c. Is 16 a factor of p?
False
Suppose -2*v = -17 + 1. Let j(m) = 7 - 4 - v - 11*m. Is j(-3) a multiple of 6?
False
Let o(v) be the first derivative of v**3 - v**2/2 - v + 9. Let j be o(-2). Suppose 30 = n + 2*z, j = 2*n - 3*z - 68. Does 12 divide n?
True
Let n = -1 - 7. Let x = -1 - n. Suppose m + x = d - 3*m, 5*d - m = 35. Does 7 divide d?
True
Suppose 5*i + 20 = -2*m + 6*m, 0 = -3*i. Suppose 3*s + 3*a - 6*a - 171 = 0, -m*s + 4*a = -284. Does 10 divide s?
False
Is 41 a factor of (-60)/35*1596/(-8)?
False
Is (-2 - 148)/(4/(-26)) a multiple of 75?
True
Suppose 103*o + 1272 = 105*o. Is 11 a factor of o?
False
Suppose 0 = 13*s - 10*s - 12. Suppose -4*c + 324 = -s*d, -c + 4*d - 13 + 94 = 0. Is 12 a factor of c?
False
Let i be ((-2)/(-4))/((-1)/(-78)). Is 3 - 4/((-12)/i) a multiple of 4?
True
Let f(t) = 3*t**2 + 18*t + 81. Let n(l) = l**2 - l + 1. Let j(z) = f(z) - 4*n(z). Is 28 a factor of j(17)?
False
Let p be 3/(-2) - 438/(-4). Let u = p - 72. Let a = -1 + u. Does 7 divide a?
True
Suppose -4*m + 2*m - 12 = 0. Let s(i) = -i**3 - 7*i**2 - 6*i + 7. Let c be s(m). Suppose c*v = 5*v + 202. Does 30 divide v?
False
Let h = 155 + -111. Suppose -2*d + h = -24. Suppose 0 = 2*t - 34 - d. Is 16 a factor of t?
False
Let a(u) = -32*u. Let w be a(-7). Suppose -2*g + 2*r + w = 0, -4*g + 120 = -3*g - 3*r. Is 11 a factor of g?
False
Let w be (-156)/(-30)*(-4 - 1). Let v = w - -43. Suppose v*x - 14*x = 54. Is 7 a factor of x?
False
Suppose 0 = 2*t - 99 - 13. Let v = t + -5. Is 17 a factor of v?
True
Suppose -l + 3 = -0, -4*i - l = -143. Suppose -4*b + 331 = i. Is b a multiple of 6?
False
Suppose 3*s = -l + 3590, 4*s - 2*l - 1412 - 3378 = 0. Does 21 divide s?
True
Let m = -73 + 96. Does 3 divide m?
False
Let a be (9 - 6)*(2 + 0/(-2)). Suppose a*y = -y + 105. Does 4 divide y?
False
Suppose -1901 = -8*n - 1005. Is n a multiple of 3?
False
Let k = 76 + -201. Let a = k - -213. Is a a multiple of 8?
True
Is 8 a factor of (9150/60)/((-5)/(-12))?
False
Let m = -760 + 867. Is 2 a factor of m?
False
Does 67 divide (-8)/16*6 + (0 - -1276)?
True
Let i(n) be the first derivative of n**2 - 4*n + 2. Let k be i(-4). Let g = k + 45. Is 26 a factor of g?
False
Suppose 12 = 5*h + 37, -5*h = 4*o - 2859. Is o a multiple of 7?
True
Suppose -2*x - 8*d = -3*d - 30, d - 24 = -4*x. Let y = x + 45. Suppose -3*m - 5*u = -4*u - 129, -y = -m + 2*u. Is m a multiple of 9?
False
Let m be 1/(3 + -6 + 2). Is (19/(-4))/(4/(-16)) + m a multiple of 3?
True
Suppose 5795 = 5*a - 18020. Is a a multiple of 13?
False
Suppose 0 = -8*n + 3*n + 10. Let q be -1 - 2 - 18/n. Is 36/21*(-126)/q a multiple of 5?
False
Suppose 0*b = 9*b - 405. Is b a multiple of 31?
False
Let a(t) = -66*t + 4 + 68*t + 6 + 8. Let p be a(-8). Suppose 5*i - 2*b = 13, 4*i - 3*b - 7 = p*b. Does 2 divide i?
False
Suppose 2*o = -4*u + 7*o - 1352, 0 = -5*u + 5*o - 1695. Let c = -195 - u. Does 31 divide c?
False
Suppose 5*v - 4*f + 407 - 33 = 0, 8 = -2*f. Let m = -200 - -42. Let w = v - m. Is 19 a factor of w?
False
Suppose -33 = 3*u - 0*u. Is 0 - (u + 0/1) a multiple of 10?
False
Suppose 0*q = -3*q - 2*b - 10, -3*q + 3*b = 0. Let k(p) = 91*p**2 + 2*p - 7. Let r(v) = 46*v**2 + v - 3. Let w(i) = q*k(i) + 5*r(i). Is w(1) a multiple of 12?
True
Let t = 443 - 253. Is 19 a factor of t?
True
Let q(i) = i**3 - 10*i**2 - 7*i + 8. Let j be q(11). Let z = -35 + j. Let u = z + 33. Does 25 divide u?
True
Let b(a) = a**2 - 9*a + 23. Let p be b(4). Suppose -115 = -5*w - 5*j, 3*w - p*j - 69 = -0*w. Is 6 a factor of w?
False
Suppose 0 = h + 3*r - 12, 0*r + 2*r - 6 = 0. Suppose 0*q - 350 = -3*q - 4*b, h*b - 15 = 0. Is q a multiple of 10?
True
Let g(i) = -i + 7. Let x be g(-5). Let h be 1 + 40/2 + (163 - 165). Let t = h - x. Does 7 divide t?
True
Let c = 3084 - 412. Does 16 divide c?
True
Let b(t) = t**3. Let h be b(0). Suppose 0 = -4*l - 4*i + 20, -2*l - 3*i + 17 - 6 = h. Suppose -l*y + 3*y = -11. Is 11 a factor of y?
True
Suppose -10 = f + 4. Let m = f - -13. Let u = 12 - m. Is u a multiple of 6?
False
Let n(w) = -3*w**2 + 57*w - 38. Is 32 a factor of n(17)?
True
Let w be ((-32)/(-96))/(1/15). Suppose g = 47 + 44. Suppose w*q + 21 = g. Is q a multiple of 5?
False
Let m be -24 - (92/(-22) + (-2)/(-11)). Let x = m + 95. Does 10 divide x?
False
Suppose 0 = 31*v - 29*v - 6, -972 = -3*q + v. Is q a multiple of 25?
True
Let l be 0 - ((-2 - 47) + 1). Suppose -2*n = -4, -3*f - 2*n - 102 = -5*n. Is (-94)/3*l/f a multiple of 17?
False
Let p be 3/(-2) - (-4602)/12. Suppose d + p = 5*k, -k + 71 = d - 3*d. Does 11 divide k?
True
Let i(h) = -19 + 4*h**2 + 315*h**3 + 5*h**2 - 316*h**3. Is 27 a factor of i(8)?
False
Let c = 12 + -12. Suppose -b + 1 + 9 = c. Is ((-24)/b)/(2/(-20)) a multiple of 24?
True
Suppose -3*t = -15, 11 = -5*j + 4*t - 14. Does 21 divide (-21)/12*j*48?
True
Let v(z) = 38*z + 12. Is 5 a factor of v(2)?
False
Suppose 0 = 4*t + 5 + 59. Suppose d + d = 0, 5*z - 4*d = 200. Let x = z + t. Is 10 a factor of x?
False
Let x = 1839 - 1210. Does 12 divide x?
False
Suppose 11*a - 2 - 163 = 0. Suppose -u + 18 = -2*m, 0 = 3*u + m - 41 + a. Is 5 a factor of u?
True
Let i be (3 - (-1 + 3))*-40. Let o = i - -97. Does 6 divide o?
False
Let n be (-51)/(-2)*12/2. Let i = -67 + n. Suppose 2*s = 2*o + 2*o + i, -s - 3*o + 53 = 0. Is s a multiple of 10?
False
Let m(p) = 156*p**2 + 97*p + 521. Does 105 divide m(-5)?
False
Let z = -20 - -64. Let n = 74 - z. Is 17 a factor of n?
False
Let i be 6/(-3)*(2 - 3). Let m(n) = 0*n + 15*n + 4*n. Is 11 a factor of m(i)?
False
Suppose 4*i + 1 - 17 = 0. Suppose -100 = i*n - 9*n. Is 23 a factor of (-8)/10*(-1150)/n?
True
Let g(w) = 0*w**2 + 2*w**3 - 4*w**3 - 4 - 4*w + 7*w**2 + w**3. Is 3 a factor of g(5)?
False
Let j(v) be the second derivative of v**5/60 + v**4/6 + 2*v**2 + 7*v. Let q(y) be the first derivative of j(y). Is 15 a factor of q(-8)?
False
Suppose -n - 21 = -4*f + 6*f, f = -2*n - 27. Is n/33 + -2 + 398/6 a multiple of 18?
False
Let k = -1 - -9. Let a be (k/3)/((-12)/(-18)). Suppose -a*x + 6*x - 34 = 0. Is x a multiple of 17?
True
Let c(r) = -5*r + 9. Is 12 a factor of c(-27)?
True
Let o = -17 - -27. Suppose -4 + 12 = 4*f. Suppose f*h - o - 14 = 0. Is 4 a factor of h?
True
Let u = -105 + 185. Let p be -3*(u/12)/(-5). Suppose p*j + s - 108 = 0, -4*j + 7*j - 82 = -s. Does 13 divide j?
True
Suppose -15*l = -19*l + 900. Is l a multiple of 16?
False
Suppose g + 3*p - 537 = 0, -887 = -2*g + 3*p + 196. Is g a multiple of 36?
True
Suppose 10*r = 2858 - 398. Is 6 a factor of r?
True
Suppose 2*m - 15 = 5*n, 3*n = 2*m + 2*m - 9. Suppose m = -f - 33 + 97. Is 21 a factor of f?
False
Suppose 91*y - 84*y = 10402. Is y a multiple of 45?
False
Let g = -25 - 6. Let v = -7 - g. Is v a multiple of 8?
True
Let y(o) = 62*o + 90. Does 13 divide y(4)?
True
Let t(b) = 39*b**2 + 12*b + 69. Does 61 divide t(-7)?
False
Let r(j) = 6 + 5*j**2 - 3*j**2 + j - 4. Let t be r(10). Let y = t + -113. Is y a multiple of 33?
True
Does 15 divide (-160)/(-8 - (-474)/60)?
False
Let j be 2/(6 + -1 + -3). Is (2/j)/(-2)*(-4)/1 a multiple of 3?
False
Let y be 90/12 + 1*3/6. Suppose 4*n = 6*n + y, 3*m - 92 = -n. Does 8 divide m?
True
Suppose 0 = 4*q - 8233 - 1559. Is q a multiple of 6