s 24*(-32)/c*(-5)/4 a multiple of 8?
True
Is ((-108876)/9)/((-118)/177) a multiple of 16?
False
Is 3 a factor of 20/60*(-3 + 5226)?
False
Suppose 0 = -5*s + 15 + 10. Suppose 4*i + 1 = 3*t - 36, 15 = s*t + 5*i. Suppose v + 372 = t*v. Is v a multiple of 12?
False
Suppose 0 = -10*r - 9 + 49. Suppose r*l - 14 = -4*w + 10, 3*w = 5*l + 58. Does 11 divide w?
True
Suppose -t + 5 = -9. Suppose -2*z = -4*z + t. Suppose z*i = 10*i - 435. Does 25 divide i?
False
Suppose 4175 - 9188 - 11162 = -y. Is 94 a factor of y?
False
Let d = -3685 + 4051. Is d a multiple of 6?
True
Let v = -6836 + 4262. Let d = -1783 - v. Is 20 a factor of d?
False
Let y(a) be the second derivative of -a**4/6 - 5*a**3/6 + 5*a**2/2 - 10*a. Let x be y(-5). Is 32 a factor of (-501)/(-5) + (24/x)/6?
False
Let s(q) = q**3 - 26*q**2 + 74*q - 13. Let z be (-92)/(-6)*3/2. Is 21 a factor of s(z)?
False
Let v(m) = m**2 - 10*m - 28. Let o be v(16). Let f = 71 - o. Suppose 0 = 6*h + f*h - 270. Does 7 divide h?
False
Let p = 869 + -856. Is p even?
False
Let c(s) = -12*s**2 - 256*s + 48. Is 4 a factor of c(-21)?
True
Suppose 66*z = 73*z - 504. Does 10 divide 3609/z - (-4)/(-32)?
True
Let a(c) = -140*c - 113. Suppose -17*l - 47 = 123. Is 39 a factor of a(l)?
True
Suppose 0 = 30*j - 45*j - 854 + 4634. Does 53 divide j?
False
Suppose 27*w = -407 - 133. Suppose -14 = -4*f + 22. Let z = f - w. Is 5 a factor of z?
False
Suppose 9*f = 5650 - 2131. Suppose 3*w = -5*h + 955, -4*w = h - 1653 + f. Does 21 divide w?
True
Let v = 82 + -86. Let o(z) = 7*z**2 + 14*z + 35. Is 12 a factor of o(v)?
False
Let j(d) = -11*d - 4. Let y be j(-1). Suppose -y*f - 486 = -25*f. Let p = f - -117. Does 24 divide p?
True
Let i be (-3)/6*4*3/(-3). Suppose 2*o = 5*m - i*m - 1671, 2*m - 1124 = -2*o. Is 32 a factor of m?
False
Suppose z - 7*g - 845 = g, -4*z = 4*g - 3452. Does 18 divide z?
False
Suppose -3*b - 2*f + 2527 = 0, -22 + 32 = 2*f. Is 112 a factor of b?
False
Let d(z) = 12*z**2 - 20*z - 455. Is d(-26) a multiple of 13?
True
Let z(r) be the third derivative of -r**5/60 - 5*r**4/4 - 23*r**3/6 - 2*r**2. Suppose -2*o - 68 = -5*q - 18, -5*q = 3*o + 50. Is z(o) a multiple of 7?
False
Let n(m) = 31*m**2 - 12*m + 13. Let f be n(3). Suppose 6*i - 296 - f = 0. Is i a multiple of 23?
True
Let j(b) = 250*b**3 + 4*b**2 - 20*b - 6. Is 32 a factor of j(3)?
True
Let i(r) = -r**3 - 13*r**2 + 27*r - 17. Suppose 8*g + 88 = -32. Is i(g) a multiple of 4?
True
Let g = -23 + 25. Let k be (7/(-14))/(g/(-12)). Suppose -372 = -o - k*o. Does 24 divide o?
False
Suppose -7*r + 2*r - 5970 = -2*m, r - 11962 = -4*m. Suppose 18*k - m = 3832. Does 36 divide k?
False
Suppose 0 = -4*p - 45*o + 48*o + 13878, -5*o = 30. Does 45 divide p?
True
Let b(d) be the second derivative of d**5/20 + 3*d**4/4 + d**3/6 + 9*d**2/2 - 5*d. Let m(p) = -7*p**2. Let o be m(1). Does 20 divide b(o)?
True
Suppose -21*f + 9*f = -9*f - 825. Is f a multiple of 11?
True
Let w(q) = -71*q + 63*q + 12 + q**2 + 3. Let m be w(9). Suppose 0 = -3*n + m + 126. Is 25 a factor of n?
True
Suppose 72*n - 153*n = -80*n - 12209. Does 31 divide n?
False
Suppose 2*r = f - 9, 0 = -4*f + 5*r - r + 24. Suppose -8 = f*d - 5*u, 3*u + 0*u - 6 = 2*d. Is 16/d*45/(-12)*3 a multiple of 15?
True
Suppose -16*q + 60431 = -68977. Is q a multiple of 24?
True
Is (-8)/(-12)*(-18018)/(-28) a multiple of 11?
True
Let u = 16541 + -8196. Is u a multiple of 9?
False
Suppose 12 = 7*h - 10*h, -r - h = 1. Suppose -4*k = -4*i + k + 17, 0 = -3*k - r. Suppose 0 = v + i*o - 33, -233 = -3*v - 2*v + 2*o. Is 5 a factor of v?
True
Suppose -14*h + 9*h = -x + 35932, 5*h = -2*x + 71744. Does 36 divide x?
True
Is 24 a factor of 11012 + (-81 + 11)/14?
False
Suppose -5*b + 17 + 8 = 0. Suppose 146 = 4*v - 3*k, -b*k = -2*v + v + 28. Let y = v - -133. Is y a multiple of 39?
False
Is 7 - (-407)/(-66) - 1104635/(-30) a multiple of 51?
True
Let v be 49 + -46 - (3 - -1). Is 9 a factor of 1/(v/(-2)) + (4 - -381)?
True
Suppose -81*l - 35*l = -9744. Is 14 a factor of l?
True
Let y = 330 - 169. Let s(i) = i**3 - 14*i**2 + 10*i + 4. Let t be s(13). Let c = y + t. Does 14 divide c?
True
Suppose 13*f - 7041 - 1305 = 0. Is 6 a factor of f?
True
Does 33 divide 1 + 3*(-10 + (-10430)/(-15))?
False
Let x be (6/(-36)*14)/((-2)/468). Suppose 21*i = 18*i + x. Is i a multiple of 20?
False
Let r(i) = 2*i**2 + 9*i - 14. Let v be r(-6). Suppose -o + v*m + 67 = 2*o, o + 4*m = 17. Let n = 4 + o. Is n a multiple of 2?
False
Let h = 34 + -31. Let j be (1/2)/(h/42). Does 7 divide 4/j + 2716/49?
True
Does 168 divide ((-2478)/(-885))/(-4*(-3)/141840)?
True
Suppose 5609 = 12*f - 1783. Is 88 a factor of f?
True
Let b = 86 - 88. Let j = 6 + b. Is 15 a factor of ((-24)/(-5))/j*5*10?
True
Let u = 3341 + 850. Does 127 divide u?
True
Let m = -27 - -30. Is 48 a factor of 458 + 10/30 + 8/m?
False
Let f(h) = -10 - h + 3 - 34*h. Let k be 7*((-24)/(-56))/(-1). Is 14 a factor of f(k)?
True
Suppose a - 2*k - 8015 = 0, -a - 2*k = 2*a - 24085. Does 14 divide a?
False
Suppose 12*p - 5*x + 20777 = 15*p, 3*x - 27710 = -4*p. Does 169 divide p?
True
Let c = 68145 - 32489. Is 27 a factor of c?
False
Let i(h) = h**2 - 4*h - 8. Let r be i(6). Suppose r*c - c + 27 = -3*t, c = 5. Does 14 divide (t/(-5))/((-7)/(-105))?
True
Let h(r) = -r**2 + 18*r - 23. Let k = 210 + -295. Let o = k - -92. Is 27 a factor of h(o)?
True
Let v be (-2 + 11 + -5)/((-2)/9). Let l = 10 + v. Is 4*4/l*(-30)/4 a multiple of 4?
False
Let k(q) = -43 + 58 - 29 - 25 - 11*q. Is 25 a factor of k(-17)?
False
Let v be 180/(-6*(-6)/1890). Suppose 435*q = 428*q + v. Is q a multiple of 45?
True
Let d(u) = 10*u**2 + 21*u - 65. Let k be d(3). Let r be 7 + -31 + (-1)/1. Let l = k + r. Does 20 divide l?
False
Suppose 0 = 116*g - 355*g + 478. Let a(d) = d**2 + 4*d**3 + 4 - 5*d + 2*d**2 + 0*d**3. Is a(g) a multiple of 6?
False
Let a = -103 - -105. Let m = 200 - a. Suppose 60 + m = 3*z. Is z a multiple of 43?
True
Suppose 0*l - 4*u + 17 = -3*l, -2*l + 2*u - 10 = 0. Is 3 a factor of (-3 + (-215)/(-10))/(l/(-6))?
False
Suppose 2*k - 88 = a - 5*a, a - 3*k = 8. Suppose -a*u + 879 = -4681. Is 17 a factor of u?
False
Let u(j) = 63*j - 106. Does 122 divide u(6)?
False
Let k = 65 - 65. Let i(r) = r. Let g be i(k). Suppose g = z - 4*z + 4*a + 428, 0 = -5*z - 2*a + 696. Is 35 a factor of z?
True
Suppose 0 = 4*q - 4, 0 = -4*j + 5*q + 23. Suppose -2523 = -j*p - 1235. Does 23 divide p?
True
Let z(r) = r**2 - 7*r - 165. Let c be 5575/(-325) - (-2)/13. Does 3 divide z(c)?
True
Suppose -1210760 - 121976 = -137*s. Does 19 divide s?
True
Suppose -4*m + 4*b + 17 = -11, -3*b - 7 = 4*m. Suppose m*n - g = 225, -2*g + 222 = 8*n - 6*n. Is n a multiple of 28?
True
Let o be 1/(-4) - ((-465975)/(-60))/19. Let c = 419 + o. Does 5 divide c?
True
Let s(v) be the second derivative of -v**3/3 + 5*v**2 - 10*v. Let r be s(4). Suppose k - r*h - 23 = -0*h, -2*k = 4*h - 22. Is k a multiple of 2?
False
Let p = 24 - 23. Let u = -89 - -88. Is 3 a factor of (40 + -6)/(p - u)?
False
Let k = 130 + -114. Does 14 divide (-2014)/(-8) + (-44)/k + 3?
True
Let p = 2379 - -13572. Is 34 a factor of p?
False
Suppose 4*x - d - 151 = 0, -2*d = -3*x - 4*d + 116. Suppose 0 = -17*i - 13 - x. Does 2 divide (i - (-20)/6)*45?
False
Let j(y) = -1958*y**3 + y**2 - 20*y - 19. Does 28 divide j(-1)?
True
Let j = -625 - -600. Is 49 a factor of (7 + 195/j)*(-525)/2?
False
Let o be (-162088)/(-48) + 2/12. Suppose 4*j + 453 = o. Is j a multiple of 17?
True
Is 60 a factor of (-45)/((-90)/(-12)*(150831/37710 + -4))?
True
Let n(z) = -z**3 + 9*z - 13. Let i be n(-6). Suppose 5*k + m = i, -4*m + 3*m = -2*k + 61. Is 5 a factor of k?
True
Suppose 4*d + 8 = 4*t, 2*d + 5*t - 28 = d. Suppose -q + 3*c + 2 = 0, 4*q - 2 = d*q + 2*c. Does 13 divide (0/q - -14)/((-6)/(-117))?
True
Let w(a) = -2*a**3 - 38*a**2 + 10*a - 92. Is 85 a factor of w(-23)?
True
Let p(a) = 3 + 3*a**2 - 30*a - a**2 + 7*a - 11. Let c be p(12). Does 13 divide 0 + 2 - -37*(c - 3)?
True
Suppose 0 = 2*q + q. Let c(x) = x**2 + 6*x + 9. Let l be c(-3). Suppose 5*s + r - 1226 = l, 4*s - 5*r - 498 - 506 = q. Is s a multiple of 46?
False
Let c be (-1 - -1)/(-3) - 266. Suppose 3*k - 4*d = 1384, 5*k - 548 - 1740 = 2*d. Let m = k + c. Does 11 divide m?
False
Let c = 41 + -32. Suppose c*o - 391 = 5027. Suppose o = 6*t + t. Does 23 divide t?
False
Let m be (-2