se
Let z(d) = -d**2 + 64*d - 462. Does 20 divide z(38)?
False
Let s(y) = 3*y**2 + 5*y + 3. Let j be s(-2). Let b = 15 + j. Let i = 24 + b. Is i a multiple of 10?
False
Let z be (-22)/44 - (-2)/4. Suppose -6 = -z*x - 3*x. Suppose -x*a + 8 = -28. Does 6 divide a?
True
Let s(h) = -h**3 + 9*h**2 - 14*h + 2. Let l be s(7). Let v = l + 2. Is (v/6)/(26/975) a multiple of 12?
False
Suppose -8*a - 1728 = -12*a. Is a a multiple of 18?
True
Let a be ((-12)/8)/(6/(-4)). Let u = 5 - a. Suppose -121 = -u*q - m + 6*m, 0 = -4*q - 2*m + 86. Is q a multiple of 24?
True
Let q(t) = 2 + 12*t + t**2 - 7 + 0. Let x be q(-14). Let c = -9 + x. Is c a multiple of 14?
True
Let k(u) = -10*u**2 + u - 2. Let c be k(1). Let m(r) be the second derivative of r**5/20 + 5*r**4/6 - 7*r**3/3 - 7*r**2 - r. Is m(c) a multiple of 16?
False
Let a(z) = 3*z**2 - 2*z + 2. Let p be a(-2). Let l = 37 - p. Does 19 divide l?
True
Let c = -6 - -18. Suppose -33 = -3*a - 2*i + 4*i, 2*a - c = -2*i. Suppose a*o + 45 = 12*o. Is o a multiple of 15?
True
Let g = -1755 + 5733. Is 34 a factor of g?
True
Suppose 9 + 11 = 4*z. Suppose -32 = 4*p - 52. Let w = p + z. Does 5 divide w?
True
Suppose -891 = 45*t - 48*t. Does 9 divide t?
True
Let y(c) = c**2 - c + 4. Let r(s) = -s**2 - 9*s - 4. Let i be r(-7). Let l = i + -5. Does 12 divide y(l)?
True
Let b(n) = -5 + 1 - 30*n + 2. Let x be b(-5). Suppose 2*m + 36 = x. Does 14 divide m?
True
Is 3 a factor of -1 - (5 - 2) - -64?
True
Let j = -520 - -863. Does 20 divide j?
False
Suppose -35 - 421 = -4*x. Let k = x - 52. Is 16 a factor of k?
False
Does 12 divide ((-1548)/430)/((-2)/1295)?
False
Let x = 3468 + -1012. Is 31 a factor of x?
False
Let d be 8/(-3)*-12*(-3)/24. Does 4 divide (-716)/(-30) - ((-310)/75 - d)?
True
Let y be (-4)/6*72/(-16). Let p be -21 + (1 - (y + -3)). Let i = -13 - p. Does 4 divide i?
False
Is 234732/279 - (-8)/(-6) a multiple of 56?
True
Let s be (-1 - (1 + -2))/(-1). Suppose -2*b + 3*x + 2*x = -18, 6 = -b - 5*x. Suppose s = y - b*y + 12. Is 3 a factor of y?
False
Suppose -4*k = 4*z - 6*z - 30, 0 = 5*k - z - 30. Suppose -k*f + 118 = -3*f. Does 16 divide f?
False
Let x be (-20)/5 - (-2 + 9)*1. Let r(g) = g**2 + 4*g + 22. Does 9 divide r(x)?
True
Let i(b) = -b**2 + 37*b + 150. Is i(31) a multiple of 86?
False
Is (2*3/18)/((-21)/(-19089)) a multiple of 11?
False
Suppose -94*l - 58359 = -115*l. Does 135 divide l?
False
Let s(h) = 2*h**3 + 3*h**2 - h - 1. Let c be s(1). Suppose c*j - 76 = j. Is j a multiple of 23?
False
Suppose 6*o - 15 - 9 = 0. Suppose -5*v + o*v - 261 = -3*k, -k + 71 = 5*v. Is 50 a factor of k?
False
Let j(y) = -y**3 - 8*y**2 + 8*y - 10. Let z be j(-9). Let w = z - 44. Let a = 85 + w. Is 10 a factor of a?
True
Let n(z) = -z**3 - 23*z**2 + 22*z - 29. Let q(w) = -11*w**2 + 11*w - 14. Let h(l) = -2*n(l) + 5*q(l). Is 6 a factor of h(5)?
False
Suppose 9*d - 6 = 3. Let t(c) = 95*c**3 - 3*c + 2. Is 6 a factor of t(d)?
False
Let v = -2 + 83. Suppose 0 = -r + 33 + v. Is r a multiple of 19?
True
Let j = 112 - -17. Is j a multiple of 19?
False
Let k be 5 + 2 + -3 + 0. Suppose 0 = -p - 5*x + 74, p + 4*p - 349 = -k*x. Is p a multiple of 13?
False
Let j = 461 - -175. Is 60 a factor of j?
False
Let k = 942 + -552. Is 10 a factor of k?
True
Let u be -3 + 4 + -2 - (-87 - 4). Let f = u - 63. Is 9 a factor of f?
True
Does 25 divide 7 + (-7 - 4) - -353*1?
False
Suppose w - 5*j = -29, -4*w + j - 38 = 59. Let s = w + 16. Let q = 3 - s. Is q a multiple of 11?
True
Let f = -51 - -17. Is 0 - f - (-4)/2 a multiple of 6?
True
Suppose 0 = 6*o + 58 - 16. Does 9 divide (-6 - o)*(1 - -8)?
True
Suppose -162 + 791 = g - 4*i, 5*g - i - 3145 = 0. Does 16 divide g?
False
Suppose 124 = 3*j + 1. Suppose 3*q = j + 1. Suppose -y + 52 = -q. Does 24 divide y?
False
Let z = -2434 - -6306. Is 56 a factor of z?
False
Let g = 19 + -17. Is 23 a factor of (-2)/((-8)/158)*g?
False
Let t(g) = g + 14. Let z be t(-10). Let m = 60 + 110. Suppose 0 = 5*v - z*o - m, 2*v - 55 - 13 = -o. Is 17 a factor of v?
True
Let z(m) = -m**2 - 77*m - 16. Is z(-24) a multiple of 11?
False
Let d be 4/(-1) - (-12 - -98). Does 17 divide (-17)/(44/11 + d/22)?
True
Let h(a) = -a**3 + a**2 + 32*a + 247. Is h(-8) a multiple of 7?
True
Let o be 2/3*15/(-2). Let v(k) be the third derivative of -3*k**4/8 - 7*k**3/6 + 7*k**2. Is 8 a factor of v(o)?
False
Let h(z) = 9 - 1 - 9 + 3*z - 4*z. Let s be h(-4). Suppose -120 = -s*m - 15. Does 14 divide m?
False
Suppose -123*a - 132 = -126*a. Is a a multiple of 4?
True
Let h be (-2 + 0)/(0 + -2). Let i(m) = 10*m + 50*m**2 - 11*m - 1 + 3*m. Does 21 divide i(h)?
False
Let r(u) = 163*u - 22. Is r(4) a multiple of 6?
True
Is 7/2 - 4 - (-17445)/30 a multiple of 83?
True
Let u be (4/2)/(16/496). Suppose 136 + u = 3*t. Is 11 a factor of t?
True
Suppose -8*g - 5400 = -18*g. Is g a multiple of 27?
True
Does 8 divide 536 - (2 + -2 - 8)?
True
Suppose -7*w + 17*w - 7940 = 0. Is 71 a factor of w?
False
Let t(o) = -10*o**2 + 2*o - 1. Let z be t(1). Is (-6)/(-9) + (-156)/z a multiple of 2?
True
Suppose -3*q + 708 = 3*d, -2*d - 456 = -2*q + 4*d. Does 13 divide q?
True
Let g(i) = i + 27. Let n be g(-9). Let d = n - 12. Does 2 divide d?
True
Suppose 4017 = 4*k + 465. Suppose -12*n + 4*n = -k. Is 19 a factor of n?
False
Suppose -4*l + 12 = -4*b, -15 = -5*l - 2*b + 7. Suppose 105 + 139 = l*u. Does 14 divide u?
False
Is 10 a factor of ((-15)/(2 + 3))/(6/(-2522))?
False
Let s = -4 - -7. Suppose -1 = -s*y + 5. Suppose -5 = -y*m + 61. Does 9 divide m?
False
Let f(a) = a**3 + 12*a**2 + 2. Let j be f(-12). Suppose 5*b + 28 = -j*c, -2 = -3*b + 4*c + 2. Let v = 11 + b. Is v a multiple of 3?
False
Let m(c) = c**3 - 9*c**2 - 13*c + 11. Let o be m(8). Let d = o - -228. Let k = d + -51. Does 20 divide k?
True
Let q(d) = -d**2 + 3*d + 8. Let r be q(7). Let u(i) = 2*i**3 - i**2 + i - 9. Let x be u(-3). Let p = r - x. Is 16 a factor of p?
False
Let h(p) = p**3 - 7*p**2 + 18*p - 1. Is 17 a factor of h(3)?
True
Suppose -2*q + 7 - 3 = 0. Suppose 3*m + 12 = -q*u + 45, -3*u + 9 = 0. Is m a multiple of 2?
False
Is (2 + 0)/(68/8534) a multiple of 4?
False
Let v be 3493/49 + ((-15)/(-21) - 1). Let f = 116 - v. Is 22 a factor of f?
False
Suppose 4*x = 145 + 55. Is 2 a factor of x?
True
Is 25 a factor of (6 - (738 + -7))*-1?
True
Suppose -5*m - 565 = -5*b + 245, 4*m = 3*b - 483. Does 41 divide b?
False
Let u = -421 + 433. Is 3 a factor of u?
True
Let w = 421 + 1424. Does 50 divide w?
False
Let v(d) = 2*d**2 + d - 4. Let m be v(-4). Suppose 89 = 4*s - b, -2*s + 3*s = 2*b + m. Is 5 a factor of s?
False
Let o be (-6)/2*(-7)/3. Let h = o + -3. Suppose 3*s = -3*p, 2*p - s + 2*s - h = 0. Is p a multiple of 2?
True
Let z be -4*(-4)/16*2. Suppose z*f + 0 - 28 = 0. Let t = f - 6. Does 8 divide t?
True
Suppose -408 = -122*i + 116*i. Is i a multiple of 8?
False
Suppose 0 = -2*a + 7*a - 330. Let z = a + -129. Does 8 divide (-1 - 0)/(3/z)?
False
Let t(y) = -y**3 + 10*y**2 - 16*y + 34. Is t(8) a multiple of 12?
False
Suppose -90 = -2*x - 3*x. Suppose -30*t = -29*t - x. Does 3 divide t?
True
Suppose 7 + 11 = -6*f. Let w = 7 + f. Does 3 divide w?
False
Let v = -1032 - -1206. Is 87 a factor of v?
True
Does 14 divide (-43589)/(-39) + 3/9 + -1?
False
Let j(p) = -p**3 + 10*p**2 + 13*p - 72. Is j(10) a multiple of 6?
False
Does 44 divide (41030/25)/((-24)/(-60))?
False
Suppose 4*t + 856 = 5*a, 4*a - 5*t - 524 = a. Is 8 a factor of a?
True
Suppose -y - t = -39, -5*y + t + 121 = -2*y. Is y a multiple of 4?
True
Is (1134/105)/((-1)/(-15)) a multiple of 10?
False
Let j(u) = 6*u**3 + 4*u**2 + u + 3. Let r be j(-3). Let b be ((-4)/(-3))/((-12)/r). Suppose 2*t - 28 = b. Is t a multiple of 7?
True
Let t = 1219 + -535. Is t a multiple of 13?
False
Let j be ((-30)/45)/(-1*4/18). Does 11 divide (j + 4/3)*51?
False
Suppose -2*r = -10, -5*r = -j - 0*j + 29. Suppose 53*b = j*b - 97. Is 12 a factor of b?
False
Suppose -4*z = 3*s - 3*z - 3410, 5*s + 3*z - 5678 = 0. Is s a multiple of 26?
False
Suppose 2*u - 268 = s - 26, -5*s = 3*u - 350. Suppose -2*i - 275 = -q - 2*q, q - u = -5*i. Is 9 a factor of q?
False
Let y be (25/15)/(1/3). Suppose 5*g - y = 5. Suppose g*l - l - 67 = 0. Is 32 a factor of l?
False
Suppose 5*m + 2*l = -1, l - 10 = -4*m + 3*l. Suppose x = m, 274 = i - 0*x - 2*x. Is i a multiple of 23?
True
Suppose -3*q - 2*q - 3*w =