 5*f - k - 0. Suppose 0 = -4*a, -4*q - 5*a + 10*a + 240 = f. Is q a multiple of 6?
True
Suppose -5*o + 14 = -1, 3*y - 54 = -4*o. Suppose y*i - 1996 = 146. Is i a multiple of 25?
False
Suppose -396 = 2*w + 2*w. Let f = -6051 - -6160. Let m = w + f. Does 3 divide m?
False
Let n(j) = -j**2 + 23*j - 111. Let s be n(13). Is s/38 + 453/2 a multiple of 3?
False
Let y(w) be the first derivative of w**6/360 + w**4/3 - 25*w**3/3 - 26. Let i(c) be the third derivative of y(c). Does 46 divide i(-10)?
False
Is -2 - (-1)/(18/320670) a multiple of 106?
False
Let w(m) = m**3 + 5*m**2 + 3*m + 11. Let q be w(-9). Let g = q - -638. Suppose o - 4*c + 0*c = g, -c = 0. Is 59 a factor of o?
False
Let p(z) be the second derivative of -1/6*z**3 + 0 + z**2 + 9/20*z**5 - 1/12*z**4 - 17*z. Is 17 a factor of p(2)?
True
Suppose -9*z + 4720 = 679. Let f = z + -52. Does 9 divide f?
False
Let i be (-778)/8 - 122/(-488). Let t = 12 + 134. Let y = i + t. Is 7 a factor of y?
True
Let n(p) = -418*p + 246. Let d be n(-6). Suppose d = -1040*z + 1043*z. Is 17 a factor of z?
True
Let w be (-2 + (-323)/(-2))*(-8)/(-4). Let x = w + -305. Is 14 a factor of x?
True
Suppose -16*h + 14*h = -38. Let u = 23 - h. Suppose -u*z + 159 + 145 = 0. Is 9 a factor of z?
False
Suppose y = -0*q - 2*q - 88, -2*q + 3*y - 88 = 0. Let u = -264 - -493. Let o = u - q. Is o a multiple of 12?
False
Let p be 1/((-5)/(-18)) + (-3)/5. Suppose -6*w + t - 11 = -2*w, -t + 7 = -p*w. Is 3/((-1167)/294 - w) a multiple of 20?
False
Let j(v) = -10*v**2 - 36*v - 4. Let u be j(-3). Suppose 0 = -u*m + 5688 + 5400. Is m a multiple of 71?
False
Let s(t) = -148*t - 201. Let d be s(5). Let z = d + 1470. Is 23 a factor of z?
True
Let f = 2564 - 1747. Does 19 divide f?
True
Suppose 5*q + 4 = 7*q. Suppose 6*p + 4*v = 5*p + 31, 0 = q*p - 3*v - 73. Let m = 97 - p. Is m a multiple of 10?
False
Let l(o) = o**3 + 6*o**2 - 21. Let n be l(-5). Suppose n*j - 272 = r, -5*j + 15*r - 11*r + 340 = 0. Is j a multiple of 15?
False
Suppose 5361 = l + 3*g + 1473, 0 = 4*g + 12. Suppose 5*r - 3*o - l = 0, -784 = -r + 15*o - 19*o. Does 30 divide r?
True
Let o = -403 + 402. Let y(x) = -59*x - 18. Does 2 divide y(o)?
False
Suppose 176*r = -2*g + 180*r + 11590, 4*r + 16 = 0. Is 9 a factor of g?
True
Suppose -320 = -3*h + 7*h. Let c = h - -95. Suppose -c*k = -2*k - 793. Is k a multiple of 4?
False
Let g(z) be the first derivative of -2*z**3/3 - 8*z**2 + 5*z - 17. Let y be g(-7). Suppose 24 = v + 2*f, -2*v + y = -v - 3*f. Is v even?
True
Suppose -28*n + 1530 = -38*n. Let w = n + 503. Is 13 a factor of w?
False
Let z be 8/8 - 1 - 4*-1. Suppose -k = -z*t - 279, k + 2*t - 288 = -3*t. Is 5 a factor of k?
False
Suppose -4*p = 4*g - 1304, 4*p + 38*g = 39*g + 1284. Let v = p + -168. Is v a multiple of 12?
False
Let u(n) = -80*n + 236. Is u(-74) a multiple of 76?
True
Suppose 31*g - 171*g + 758725 = -35075. Is 42 a factor of g?
True
Let h(i) be the second derivative of i**5/20 + 25*i**4/12 + 7*i**3/6 + 13*i**2 + i - 52. Is h(-13) a multiple of 13?
True
Let f(v) = 570*v**3 - 5*v**2 + 2*v + 1. Suppose 3*w - 91 = -88. Does 8 divide f(w)?
True
Let c = 216 + -216. Suppose 34*k - 26*k - 360 = c. Is 2 a factor of k?
False
Let s(f) = 2*f**2 - 60*f + 102. Is s(41) even?
True
Let k(s) = 2*s**3 - 68*s**2 + 15*s + 444. Does 14 divide k(38)?
False
Let i = 554 - 394. Suppose -5*u + 4*d = -250, 4*u - 4*d - 44 - i = 0. Does 2 divide u?
True
Suppose -45*l = -54*l + 45. Suppose -4*o = -2*o - 5*y - 72, l*o - 5*y - 180 = 0. Is 18 a factor of o?
True
Let t = 46 + -43. Suppose -2*o + 18 = 5*y - 6, -t*o - 6 = -3*y. Suppose 0 = o*h - 3*h + 94. Is h a multiple of 16?
False
Let t = 2733 + 1376. Is t a multiple of 4?
False
Let i = -68 + 72. Suppose 30 = 3*c + 2*c + 2*j, -i*c = -j - 11. Suppose x + 5*f - 175 = 0, -5*x + 4*x - c*f = -174. Is x a multiple of 34?
True
Suppose 6*r + 1055 - 4391 = 0. Suppose q - 568 = 2*n, -q + 7*n = 2*n - r. Does 96 divide q?
True
Let c(y) = y**3 - 20*y**2 - 10*y - 228. Let l be c(21). Let o = 10 - 8. Suppose 824 = 4*f + 5*b, f - l*b - 208 + o = 0. Is f a multiple of 17?
False
Let i(y) = 13*y - 9. Let d be i(1). Suppose -3*a - 2*w + 156 = 2*w, 12 = -d*w. Does 7 divide a?
True
Let u be (-7)/49 - 31922/(-14). Suppose 0 = -25*y + 19*y + u. Is 10 a factor of y?
True
Suppose -j + 16 = -r - 255, 4*r - 24 = 0. Does 35 divide j?
False
Is 43 a factor of -13 + 1 - 31380/(-60)?
False
Let g = -88 - -46. Let x = -16 - g. Let w = x - 22. Does 3 divide w?
False
Suppose 5*s - 34 = -2*h + s, 4*h - s - 23 = 0. Suppose -o = 3*q + 27, -h*o + 3*o - 5*q - 73 = 0. Is 18 a factor of 6*(-63)/o*4?
True
Let n = 18266 - 12511. Is 10 a factor of n?
False
Let q(l) = -11*l - 27. Let v(g) = -g**2 - 2*g - 1. Let m(f) = q(f) - 4*v(f). Is 6 a factor of m(-7)?
False
Suppose 0*r + 5*x = r - 13, 4*r + 5*x - 2 = 0. Suppose -r*v + 27 = 4*d - 0*v, -d - 12 = -3*v. Is 1/(1/d) + 994/7 a multiple of 29?
True
Let l(u) = -3*u**3 + 59*u**2 + 9*u - 29. Let b(o) = o**3 - 30*o**2 - 5*o + 14. Let z(q) = -7*b(q) - 3*l(q). Is 4 a factor of z(-16)?
False
Suppose 3*v - 4*o + 4 = 0, -2*v + 0 + 5 = 5*o. Suppose s - 4 + 0 = v. Suppose 21 = l - s*q, 3*q = -5*l - q + 33. Does 9 divide l?
True
Let q(w) = 132*w - 957. Is 5 a factor of q(28)?
False
Let q(h) = -4*h + 3 + 5*h - 5*h + h**2. Let a be q(2). Is 2 a factor of 12/6*8/(2 + a)?
True
Let z(y) = y - 12. Let b be z(11). Let g(i) = -5*i**2 - 3*i - 1. Let o be g(b). Does 3 divide (-118)/o - (-6)/(-18)?
True
Let z = 59 + -58. Is 16 a factor of (-387 - z)*(-41 - -39)?
False
Is 262 a factor of (5 - 4)*4 + -29 + 26011?
False
Let p(h) = 30*h**2 + 37*h + 29. Does 20 divide p(13)?
True
Let u(k) = 2*k**3 + 9*k**2 + 16*k - 143. Does 6 divide u(5)?
False
Let r be (8 - 7)/(((-9)/(-3))/(-27)). Is (-1)/(r/(-12))*(-30)/4 a multiple of 10?
True
Let l(c) = c**3 + 6*c**2 - c - 4. Let s be l(-6). Suppose -b - 72 = -3*g, 0 = -s*g - 5*b + 25 + 23. Is g a multiple of 6?
True
Is 2698600/5356 + -2 + 56/26 a multiple of 51?
False
Suppose 1448*r - 16 = 1444*r. Suppose 7684 = r*o + o - 4*p, -4*o + p + 6156 = 0. Does 10 divide o?
True
Let g be 301/215 + (-11624)/10. Let t = 2079 + g. Does 23 divide t?
False
Let v = -1080 - -323. Does 28 divide v/(-3) + (-2)/6?
True
Suppose 4*v = -5*m + 10622, 2*m + 3*v - 668 - 3585 = 0. Let i = -1018 + m. Is i a multiple of 69?
True
Suppose 9*o + 1071 = 6*o. Let s = 471 + o. Does 6 divide s?
True
Let o(j) = -3121*j + 1570*j - 196 + 1583*j. Is o(53) a multiple of 25?
True
Suppose -139*c - 180576 = -175*c. Is 76 a factor of c?
True
Suppose 444*d = 447*d - 936. Is (4/(-12))/(4*(-2)/d) a multiple of 2?
False
Let k be 10/(-25) + (-564)/(-60). Suppose 10*z = -k*z + 4446. Is 26 a factor of z?
True
Let l(t) = -233*t + 2033. Is 16 a factor of l(-39)?
True
Suppose -12 = -h - 2*c, -4*h = -4*c + c - 103. Suppose h*m = 19*m + 1650. Is m a multiple of 22?
True
Let t(y) = 8*y**2 - 8*y - 30. Let n(v) = 3*v**2 + 17*v + 6. Let x be n(-5). Is 35 a factor of t(x)?
False
Suppose w + r = 2, 3*w + r - 8 + 6 = 0. Suppose 3*q = w, 24*n - 266 = 23*n + 2*q. Is n a multiple of 24?
False
Suppose 8*v = 5 + 35. Does 2 divide 10/((-50)/15) + v?
True
Is 78 a factor of ((-237)/(-158))/(9/4596)?
False
Suppose -30 = -0*g - g - 3*j, 0 = -2*g + 5*j + 16. Suppose 4*h = g*o - 22*o + 576, -2*h + 279 = 5*o. Is h a multiple of 4?
False
Is 162 a factor of 296/259 - 18136/(-7)?
True
Suppose 20 = 5*j, -j + 400 = 3*u - 588. Suppose u = 4*r + 2*y, -4*r + y + 4*y + 300 = 0. Is r a multiple of 3?
False
Is ((-999)/(-148))/(0 - (-9)/2568) a multiple of 18?
True
Let l(a) = 5*a**2. Let m be l(-1). Suppose 3*u - o = 190, -m*u = -2*o + 7*o - 290. Let i = u - -6. Does 20 divide i?
False
Let x(i) = -60*i + 131. Let j be x(9). Let u = j - -549. Does 4 divide u?
True
Suppose 5*f - r = -0*r + 16, -4*r - 36 = -6*f. Suppose -4*a = -3*a. Suppose f*s - 44 = -a*s. Is 22 a factor of s?
True
Let c(v) = 129 + 122 - 416 + 8*v + 130. Is 2 a factor of c(5)?
False
Is 30 a factor of 2/12 + (21 - (-217557)/54)?
True
Suppose -2*o - p + 5314 = 0, 3*o + 1544 - 9543 = -5*p. Is 179 a factor of o?
False
Suppose y - 147 = -6*y. Suppose y*n - 840 = 9*n. Does 7 divide n?
True
Let n(i) be the third derivative of -1/24*i**4 + 1/20*i**5 - 5*i**2 + 1/3*i**3 + 0*i + 0. Is n(-7) a multiple of 26?
True
Suppose 3*b = -a - 146927, -a - 27966 = b + 21