ultiple of 5?
False
Suppose -352 = 126*m - 118*m. Let x(w) = -12*w - 318. Is 3 a factor of x(m)?
True
Suppose 5*n + 6 = 7*n. Suppose p - 20 = 5*i + 4, -3*p + n*i + 36 = 0. Is p a multiple of 9?
True
Suppose -24 + 9 = -5*f. Suppose 0 = 3*p + f*g - 240, -4*p + 58 = -4*g - 246. Suppose p = o - 30. Is o a multiple of 9?
True
Suppose 199 = -42*k + 241. Let a be -1 + (-2 + 1)*-1. Is 7 a factor of 25/k - (a + 0)?
False
Suppose -10 = -2*x + 5*g + 20, 4*x = -2*g + 84. Is x a multiple of 8?
False
Let y(n) be the first derivative of -17*n**2/2 + 9*n - 1094. Let s = 2 + -4. Does 5 divide y(s)?
False
Let u(a) = 37*a - 478. Suppose -3*z + 199 = -10*d + 14*d, 3*d - 118 = 4*z. Does 51 divide u(d)?
True
Suppose 3*s = q + 19639, 5*q - 3*q = -3*s + 19645. Is s a multiple of 7?
False
Suppose 2148476 = -79*i + 332*i. Is i a multiple of 68?
False
Let l(s) = s**3 + 9*s**2 - 14*s - 3. Let b be 31*(4/10 - (-3)/5). Let a = b - 41. Is l(a) a multiple of 27?
False
Is (-11)/((-55)/(-2)) - (-3)/(45/724506) a multiple of 138?
True
Let w = -38947 + 66307. Does 18 divide w?
True
Suppose -7 = 5*d - 7. Does 8 divide (-2448 + 0)/(-6) - d?
True
Suppose 4*s = 12*s. Let d(o) = -15*o + 174. Does 29 divide d(s)?
True
Suppose -s - 2*o + 14 = 0, 0*s + o = 2*s - 3. Suppose 5*h - s*c + c - 4137 = 0, 5*h + 3*c = 4143. Is 12 a factor of h?
True
Let j(y) = 3*y**2 - 9*y + 16. Let q be j(3). Let w be 3 - (8 + q/4). Is 17 a factor of ((-66)/w)/((-6)/(-27))?
False
Let k(r) = -r**3 - 3*r**2 - 2*r - 4. Let v be k(-3). Suppose -176*l = -276*l + 500. Suppose 4*g - 101 = -v*o - 5, -5*g = l*o - 220. Is 5 a factor of o?
True
Let o = 97 + -202. Does 2 divide (o/(-25))/((-4 - -9)/25)?
False
Suppose -5*p - 2*g + 0*g - 78 = 0, 5*g = -5*p - 90. Let d(i) = i**3 + 14*i**2 + i + 20. Let k be d(p). Suppose -o - 120 = -k*o. Is o a multiple of 5?
False
Let p = 3844 + -3650. Is 10 a factor of p?
False
Let q(g) = -g**3 + 15*g**2 - 12*g + 5. Let b be q(14). Suppose b*w = 31*w - 50. Let i = 59 + w. Is i a multiple of 11?
False
Let u = 31 - -62. Suppose 2*b = u + 11. Suppose -2*x - b = -192. Is 35 a factor of x?
True
Let i = 17194 - 15863. Does 11 divide i?
True
Suppose 4 = 3*u - 5. Suppose -48 = -u*m - 3*a, -m - 5*a + 18 = -2*a. Suppose 0 = 2*h - 2*q - 168, -2*h + 3*q = -m - 157. Does 16 divide h?
True
Let p be (2 - 0)/(1 + (-4)/12). Suppose p*s + 0*u + 7 = -4*u, 5*u + 35 = 5*s. Does 16 divide 312/(s/8*4)?
True
Let q = 11 + 6. Suppose 11*o + 60 = q*o. Suppose o*t - 15*t + 150 = 0. Does 10 divide t?
True
Let t be (-587)/(-13) - ((-792)/(-78) + -10). Suppose 3*m - 7*l + 10*l - 75 = 0, 2*m - t = -l. Does 5 divide m?
True
Let h = -26735 + 45775. Is 68 a factor of h?
True
Let u(l) = 8*l - 12. Let g be u(2). Suppose 5*i - 75 = -g*k - 27, -k + 2 = 0. Does 27 divide (-327)/(-2) + ((-4)/i - 1)?
True
Is 49 a factor of 13/(156/4216) - (-28)/42?
False
Suppose 4*g = 3*l + 55, l + g - 5*g = -29. Let q = l + 20. Suppose -9*h + 238 = -q*h. Does 17 divide h?
True
Let v(l) be the second derivative of 7*l**4/12 + l**3 - 5*l**2/2 + 28*l. Let c be v(4). Does 15 divide (c - 7) + (-5 - -1)?
True
Let t be 3 - 35/10 - (-113)/(-2). Let v = 169 + t. Does 4 divide v?
True
Suppose 29238 = 3*m - 3*f, -52*f + 57*f = 0. Does 8 divide m?
False
Let i = 332 - 329. Suppose i*w + w = -4*r + 248, -r = -2*w + 109. Is w a multiple of 3?
True
Let m be 1233/18 - (-1)/2. Suppose m = 4*j + 249. Is 12 a factor of (-16)/(-10) + -1 + (-4338)/j?
False
Let w(u) be the third derivative of -u**6/120 + 7*u**5/30 + 17*u**4/8 - 14*u**3/3 + 6*u**2 - u. Is 14 a factor of w(16)?
False
Let f = -3972 + 6846. Is f a multiple of 142?
False
Let r = 90 + -87. Suppose -5*m + t + 43 = -3*t, 13 = 2*m - r*t. Suppose -p = -m - 78. Does 11 divide p?
False
Let l = 767 - -5557. Is 68 a factor of l?
True
Suppose 75*j - 74*j + 9 = 0. Is (-3229)/(-3) - (-12)/j a multiple of 25?
True
Let q = 127 - 123. Suppose -4*h - 8*j = -q*j - 712, -h = -4*j - 198. Is 14 a factor of h?
True
Let p be (-754)/4 - 4/8. Suppose -5*c - 16 + 31 = 0. Is 8 a factor of 4 - (p/c + 3)?
True
Suppose 7*n = 2*n + 5*i - 455, 3*n + 3*i + 249 = 0. Suppose -227*m - 333 = 2*b - 232*m, 5*b - 2*m + 801 = 0. Let v = n - b. Does 12 divide v?
True
Suppose -13*d - 269 = -295. Let m(i) = 220*i**2 - 25*i + 40. Is 15 a factor of m(d)?
True
Let h = -5878 - -6663. Is 12 a factor of h?
False
Let x = 70 + -66. Suppose r - 3 = 0, 0*b - 32 = -2*b - x*r. Suppose b*l = 89 + 811. Does 10 divide l?
True
Let j = 17342 + -11394. Does 6 divide j?
False
Let i = -2710 - -14230. Is i a multiple of 36?
True
Suppose 6*m - 2952 = 4*z - 27388, 4*z - m - 24446 = 0. Is 32 a factor of z?
True
Suppose r + 2 = 5*r + b, 0 = -2*r - 4*b + 8. Let w(q) = -q**2 - q - 124. Let a(v) = 4*v**2 + 3*v + 372. Let h(c) = -2*a(c) - 7*w(c). Does 31 divide h(r)?
True
Let w(m) = 8*m**3 - 4*m + 3. Let s be w(1). Suppose -s*j + 2484 + 2171 = 0. Does 28 divide j?
False
Let m = 119071 + -67425. Is 17 a factor of m?
True
Let f(j) = 4*j**2 - 187*j + 11567. Is f(0) a multiple of 10?
False
Suppose 2*t + 3*g - 55 = -0*t, -2*g + 6 = 0. Suppose 6*y = -11 + t. Suppose 0 = -l - 0*f - 4*f + 288, 5*l + y*f = 1404. Is 40 a factor of l?
True
Let n be 272/(-12)*(-2 + 14/(-2)). Let t = n - 78. Suppose 2*k - r - 252 = 0, 0 = -k + 2*k - r - t. Is k a multiple of 42?
True
Is (-30 - -35)/(4/2712) a multiple of 24?
False
Let u(j) = -j**3 - 5*j**2 - 9*j - 17. Let l(k) = -k**3 - 30*k**2 + 31*k - 7. Let c be l(-31). Is 9 a factor of u(c)?
True
Let s(v) = 4*v**2 - 6*v - 8. Let y be s(-7). Let o be 18/(-90) + (1 - (-21)/5). Suppose 4*x = -o*r + y, -4*r + 158 = 4*x - 6*x. Does 14 divide r?
True
Let g(m) be the first derivative of 10*m**3/3 - m**2 - 14*m + 136. Is 9 a factor of g(4)?
False
Is ((-8)/10)/((-62)/486700) even?
True
Let u be (162/(-30))/((-6)/20). Suppose 5*w - 2*w + u = 0. Does 10 divide w/(-8) + 692/16?
False
Suppose -5*l - 513 = -u + 274, u = -3*l + 747. Suppose 0 = 582*p - 276*p - 1224. Suppose p*w = -3*n + 761, -u = -4*w - n - n. Is w a multiple of 34?
False
Let y = 45 + -165. Is 47 a factor of (-5600)/y + 2/6?
True
Suppose -6*k + 15 = -k. Suppose k = 6*t - 465. Let f = -21 + t. Is 22 a factor of f?
False
Suppose 2 + 1 = w + 2*k, -5*w + 29 = -4*k. Suppose 3*b - 2*x = 756, 0 = 2*b - w*x - 543 + 39. Does 28 divide b?
True
Suppose -12 = -4*r - d + 5, 2*d - 1 = 3*r. Does 24 divide (99 - r)*138/12?
True
Let c(l) = -2 - 11*l + 5*l + 12*l. Let i be -1*(2 + 20)/(-2). Does 32 divide c(i)?
True
Suppose 0 = 2*z - f - 3212, 62*z - 57*z - 2*f = 8030. Is 3 a factor of z?
False
Is (-168)/12*12/(-28)*(2352 - 0) a multiple of 12?
True
Let l(t) = -2*t**3 - 9*t**2 - 10*t - 13. Let c be l(-5). Let u = c + 63. Is 42 a factor of u?
False
Let l(x) = 204*x**3 - 11*x**2 + 24*x + 1. Is l(3) even?
True
Suppose 5*w = 11*w + 11226. Let b = 3239 + w. Is 52 a factor of b?
False
Suppose 14366 = 2*y - 3*g, -9*g = -7*g + 4. Is y a multiple of 20?
True
Let i(o) = -3*o + 1. Let j be i(0). Let l = j + -4. Let a = l - -30. Is a a multiple of 13?
False
Is (7427 + -1)*(273/(-910))/(3/(-25)) a multiple of 107?
False
Suppose -5*m + 3*m = -2*w + 12, 0 = w + 5*m + 24. Suppose 8 = o + w. Suppose o*i = i + 666. Is i a multiple of 13?
False
Suppose 0 = -5*o - 3*v + 113899 + 217118, 66183 = o + 4*v. Is o a multiple of 29?
True
Suppose w + 3*f + 12 = 0, -f + 5 = -2*f. Suppose -w*q + 18 = -3*y, 4*q + 4*y - 42 = 2*y. Suppose -80 = 4*x - q*x. Is 7 a factor of x?
False
Let d = -95914 - -150874. Is 30 a factor of d?
True
Let s = -42054 + 86654. Is s a multiple of 40?
True
Let a(p) = 3*p**2 + 2*p - 2. Let c be a(1). Suppose 0*y - 6 = -c*y. Suppose 85 = y*n + 4*l - 3*l, n - 55 = 2*l. Does 15 divide n?
True
Suppose 0 = -3*o - 4*c + 9286, 0 = -o - 82*c + 84*c + 3102. Does 16 divide o?
False
Let v be (6 - 7)/(-3 - -2) - -466. Let r = v + -297. Is 34 a factor of r?
True
Let i(v) = 95*v + 23. Suppose 445*h - 433*h = 84. Is 29 a factor of i(h)?
False
Suppose m - 5*a - 757 = 0, -15*m - 15635 = -35*m + a. Is 23 a factor of m?
True
Suppose z - 30119 = -4*g + 18752, 0 = 8*z + 3*g - 391142. Is 11 a factor of z?
True
Let l(f) = 13*f + 107. Let g be l(-8). Suppose -g*y = -y - i - 309, -3*y + 4*i + 456 = 0. Does 32 divide y?
False
Let l(h) = h**2 - 71*h + 18. Suppose 4*x + 4*x - 168 = 0. Let n be l(x). Is 11 a factor of 9/((-126)/(-4)) + n/(-14)?
Fals