s 12 a factor of m(y)?
True
Let z(v) = -3*v - 32. Let r be (17 + -14)*(-5 - -1). Let s be z(r). Suppose -6*w + 52 = -s*w. Does 6 divide w?
False
Suppose -501*x + 497*x = -24864. Is 74 a factor of x?
True
Let w = 4795 - 2991. Suppose 1353 + w = 11*h. Is h a multiple of 12?
False
Let u(j) be the second derivative of j**5/20 - j**4 - j**2/2 - 12*j. Let y be u(12). Let o(t) = -125*t**3 + 2*t**2 - 1. Is 21 a factor of o(y)?
True
Suppose 355*p - 358*p = 5*u - 1764, -u + 342 = -3*p. Is 37 a factor of u?
False
Let r = -400 - -118. Let d = 581 + r. Is 23 a factor of d?
True
Let b be (-4 - -2)/(0 + 8/(-92)). Let d = b + -8. Let v = 41 - d. Does 12 divide v?
False
Is (-40)/((-1080)/(-908577))*(-1)/3 a multiple of 10?
False
Is 1*5090 + 125 + -117 a multiple of 8?
False
Suppose 7*a + 2*f = 219916, 94249 = -470*a + 473*a + f. Is 165 a factor of a?
False
Suppose -3*d = d + 8*d. Let m be (44 - 8)*(0 + -1 + d). Is (-2548)/m + -3 + (-4)/(-18) a multiple of 18?
False
Let n(k) = k + 3. Let q(t) = -7*t**2 + t + 1. Let m be q(1). Let z be n(m). Is (-19)/z + 3/6 a multiple of 10?
True
Let b = -16 - -20. Let l be (-4)/(-10) + (b - 8/20). Suppose -l*y = -4*t - 132, -t + 38 = y - 3*t. Is 19 a factor of y?
False
Suppose -28*w = -27*w + 4*y - 4517, 10*y = 10. Is w a multiple of 16?
False
Let c(j) = -j**3 - 4*j**2 - 3*j - 6. Suppose 2*v - 18 = -5*d, 0*d + 5*d = 10. Suppose -2*m = -5*k - 40, -v*k + 3*m - 4 = 7*m. Is 12 a factor of c(k)?
True
Suppose -5*o - 3*a + 3334 = -19553, -4*o - 3*a + 18312 = 0. Does 15 divide o?
True
Suppose -4*n + 4*y = 21 + 7, 3*n = -3*y - 27. Let l(v) = -v**2 - 9*v - 2. Let f be l(n). Is 10 a factor of -37*(-2)/2 - (f + -3)?
False
Let i(b) = -b**3 + 24*b**2 - 2*b - 168. Is i(9) a multiple of 2?
False
Let h be (-175)/14*12/2. Let k be 1 - 0 - ((3 - 9) + -177). Let j = h + k. Is j a multiple of 13?
False
Let z = -40 - -43. Suppose 21 + 117 = z*m. Suppose 2*x + n - m = 6*n, 4*x + n = 48. Is 13 a factor of x?
True
Suppose -185233 = 43*l - 427565 - 153698. Does 65 divide l?
False
Suppose -1702*x - 1788 + 348 = -1732*x. Let j(c) = -35*c - 3. Let f be j(-3). Let t = f + x. Does 15 divide t?
True
Suppose 17*x = 6*x + 682. Suppose 6*b = 1292 - x. Is 28 a factor of b?
False
Let s = 34 - 35. Let j be s/2*(-10 - -4). Is 8 a factor of (j - 7)/((-3)/6)?
True
Suppose -26*p - 3*c - 2197 = -27*p, 3*p - 6591 = -3*c. Is p a multiple of 13?
True
Let n(r) = r**3 - r**2 - 2*r. Let c(m) = 4*m**3 + 3*m**2 - 19*m - 21. Let o(q) = -c(q) + 3*n(q). Is 12 a factor of o(-10)?
False
Let d(c) = -2463*c - 2313. Does 236 divide d(-11)?
True
Let t(f) = 51*f + 124. Is 5 a factor of t(31)?
True
Let m = 3538 + -1626. Suppose m - 562 = 15*j. Does 18 divide j?
True
Is 71/(((-338)/2457)/(-26)) a multiple of 139?
False
Suppose 3*i = 15, 1033*i = -3*w + 1031*i + 6004. Is w a multiple of 10?
False
Is 6 a factor of (-8 + 10)/((-10)/(-22229)) - (-65)/325?
True
Let g = -835 - -592. Let h = g + 555. Suppose -307 = -4*v + i, -4*v + 3*i + h = 7*i. Does 7 divide v?
True
Suppose 4*w + 5*i = 9*i + 5036, 5*w + 4*i = 6241. Is w a multiple of 2?
False
Suppose 54*l - 141619 - 68951 = 72390. Is 8 a factor of l?
True
Let a(f) = 120*f - 585. Let l(s) = -40*s + 195. Let h(q) = 3*a(q) + 8*l(q). Is 7 a factor of h(7)?
False
Is 1/2*(0 - 34)/(34/(-68)) a multiple of 5?
False
Suppose -4*k - 4*r - 562 = -7478, 3*r + 3448 = 2*k. Suppose 1723*m - k*m + 1956 = 0. Is 24 a factor of m?
False
Let a(j) = 13753*j - 983. Is 29 a factor of a(1)?
False
Let w = 230 + 14. Suppose 4*v - 5*o - w = 0, 0 = 3*v - 3*o + 7*o - 214. Is v even?
True
Suppose -5*g = -4*g + 3*g. Suppose -2*z - z - 243 = g. Let a = 39 - z. Is 28 a factor of a?
False
Is 117 a factor of -6*(271854/(-36) - 20)?
False
Let n be 9/(-15) - (534/(-15) - 0). Let x = n - 30. Suppose x*g - 614 + 139 = 0. Is 11 a factor of g?
False
Let r(z) = -z**3 + 38*z**2 - 75*z - 115. Is r(14) a multiple of 24?
False
Let p = 5179 - 829. Does 50 divide p?
True
Suppose -45190 = 4*s + 2*q - 170124, -4*q = -s + 31256. Does 76 divide s?
True
Suppose -5*a + 1 = -2*x - 3, 4*a + 1 = 3*x. Suppose -109 = -a*o + 81. Suppose -4*b - o = -479. Is b a multiple of 12?
True
Suppose 3*u = 4*h - 11523, 3*h + 14*u = 5377 + 3379. Does 37 divide h?
True
Suppose -14*n + 20962 = -25042. Is n a multiple of 119?
False
Let v be 0 + 10/(-2) + 8. Suppose -v*t - s - 201 = -7*t, -s - 103 = -2*t. Is 1 - t*(-1)/(4/4) a multiple of 8?
False
Let j(g) = -20*g - 89. Let h be j(-11). Suppose h = 4*z - 205. Does 7 divide z?
True
Let r(z) = 15*z**2 + 18*z - 1. Let y be r(-13). Suppose 0 = 5*b + a - 2270, 3*b - y = -2*b + 5*a. Does 18 divide b?
False
Is 24 a factor of (-360)/(-630)*82572/6?
False
Let c be 4*-1*(-525)/(-20). Let n = 185 - c. Is n a multiple of 36?
False
Suppose 4*m + 68 = -4*v, 2*v = 2*m - 0*m + 34. Is -2 + 165 + 11 + m a multiple of 7?
False
Let s = 212 - 97. Let x = -11 + s. Is x a multiple of 9?
False
Is 31 a factor of -8 + (-507390)/(-75) - 4/(-5)?
True
Let t be 3/(-1) - (-6 + -43). Let d = t + 458. Suppose 5*p - p = d. Does 7 divide p?
True
Suppose 692 = -3*m - 4*g, -99*g = -97*g - 2. Let h(j) = 16*j - 4. Let q be h(-6). Let y = q - m. Is 33 a factor of y?
True
Let k = 126 - 69. Let f(z) = z**3 + 8*z**2 - 6*z - 5. Let j be f(-6). Suppose -j = -2*t + k. Is 20 a factor of t?
True
Let q = 2021 - -4993. Is 146 a factor of q?
False
Let i(x) = 9 + 4*x - 5*x + 2*x**2 - x. Let q be i(3). Suppose -q*k = -14*k - 1085. Is k a multiple of 44?
False
Let v(i) = -i**3 - 5*i**2 + 5*i + 19. Let t be v(-5). Does 7 divide 2 - -289 - (48/t - -8)?
False
Suppose -57*x = 16*x - 11826. Is x a multiple of 6?
True
Suppose a - 4*z - 44 = -0*z, -4*z = a - 4. Does 36 divide (45/6)/(3/a)?
False
Let r(n) = -63*n - 38. Let m be r(-2). Let s = 233 - m. Does 3 divide s?
False
Let s be 60/(-3)*2268/(-35). Suppose 0*z = -9*z + s. Does 16 divide z?
True
Suppose -5*k - 1 = -11. Suppose 4*a - 624 = -k*r, a - 29 = -r + 129. Is 17 a factor of a?
False
Suppose 0 = p + 5, -24*o - 4*p - 422 = -27*o. Does 22 divide o?
False
Let f be (61/3)/((-5 + 6)/3). Let z = -35 + f. Does 13 divide z?
True
Suppose q - 242 = -x, 0 = 5*q + 7*x - 4*x - 1212. Let w = 385 - q. Does 10 divide w?
False
Suppose 16*d - 22*d + 174 = 0. Suppose 20 = -24*w + d*w. Is ((-24)/(-10))/((-606)/(-150) - w) a multiple of 12?
True
Suppose 30 = 4*w + 7*j - 9*j, -5*w + 2*j = -38. Suppose -w*n - 130 = -434. Does 5 divide n?
False
Suppose 0*g - 10 = -2*g, -3*r + 2*g = -5. Let w(c) = 3*c**3 - 4*c**2 - 2. Is w(r) a multiple of 13?
True
Does 4 divide ((-312)/(-468))/(1/1014)?
True
Let v = 44627 + -42839. Does 13 divide v?
False
Let i = 171 + -167. Is (-1 + 8)*(9 + 8) + i a multiple of 6?
False
Suppose -661 = 5*l + 24. Let j = -78 - l. Does 7 divide j?
False
Let t(h) be the second derivative of -h**3/6 + h**2/2 - 8*h. Let j(x) = -12*x - 20. Let k(i) = 2*j(i) + 6*t(i). Is 9 a factor of k(-6)?
False
Let i(h) = -h**3 + 14*h**2 + 37*h + 5. Does 7 divide i(16)?
False
Let i(x) be the third derivative of x**7/42 - x**6/240 + 7*x**5/60 - 20*x**2. Let p(r) be the third derivative of i(r). Is p(1) a multiple of 13?
True
Suppose 0 = -42*z + 44*z - 6. Let b be 0 - (-6 + 4) - (2 + z). Does 13 divide b/((-6)/88) + 4?
False
Suppose 0 = 4*g - 7*g + 27. Let v be g/5 - (27/15 + -2). Suppose 45 = s - u, -v*u - 225 = -5*s - u. Is 9 a factor of s?
True
Let w(x) = x**3 + 20*x**2 - 4*x + 33. Is 47 a factor of w(-19)?
True
Let x = 20 - -9. Suppose 5*u + 4 - x = 0, -4*y + 4*u = -1080. Is 11 a factor of y?
True
Suppose -w - 4848 = -3*s - 4*w, -2*s + 3236 = 4*w. Suppose -21*o = -18*o - s. Is o a multiple of 21?
False
Is (1*90)/(207/6900) a multiple of 9?
False
Suppose 8*u - 13*u + 178658 = 8*o, 44642 = 2*o + 5*u. Is o a multiple of 32?
True
Let h(t) = t**3 - 9*t**2 + 8*t + 5. Let a be h(8). Let x(v) = -3*v + 215. Does 50 divide x(a)?
True
Suppose -4*o = -4*u + 54908, -18*u + 20*u + 3*o - 27484 = 0. Is 31 a factor of u?
True
Let f(b) = 4*b**3 - 6*b**2 - 28*b. Let n be f(-3). Let v = 106 + n. Does 2 divide v?
True
Suppose 351797 = 131*v - 85219. Does 12 divide v?
True
Let s(w) be the third derivative of -7*w**6/120 - w**5/15 + w**4/24 + 3*w**3/2 - 84*w**2 - 1. Does 20 divide s(-5)?
False
Suppose -2*o + 0*w - 3 = -5*w, 0 = -2*o + w + 9. Suppose o*v = 943 + 383. Suppose -2*j = 4*q - 260, 0 = 2*j - q - v - 54. D