e
Let z = 10 - 2. Suppose -u - m + 31 = 0, 4*u + 3*m = z*u - 138. Is u a multiple of 11?
True
Is 4*2/36 + (-123062)/(-666) a multiple of 7?
False
Let j = 47 + -44. Is j + -6 - (54/(-2) - 2) even?
True
Let c = 92 + -83. Let b = c + 10. Is b even?
False
Suppose -3*z - 1192 = z. Let h = -179 - z. Is 34 a factor of h?
False
Suppose -4*s - 1488 = -4*x, x - 3*s = 152 + 218. Does 7 divide x?
False
Let j = -26 - -377. Does 44 divide j?
False
Let q be (-3)/(-18) - (-2 + 102/(-36)). Let l(g) = 11*g + 0*g**2 - 8 + 3*g**2 - 4*g**2. Does 11 divide l(q)?
True
Let o = 33 + -33. Suppose o = -0*b + 6*b - 306. Suppose -17 = -4*r + b. Is r a multiple of 3?
False
Suppose -15*g + 573 = -11*g + 3*h, 3*h - 720 = -5*g. Is 11 a factor of g?
False
Suppose -8 = -4*p - 0, 3776 = 5*f - 2*p. Is f a multiple of 14?
True
Suppose 0 = 3*p - p - 8. Let q(w) = 2*w**2 - w - 1. Is q(p) a multiple of 27?
True
Let b = 850 + -110. Does 48 divide b?
False
Let b(j) = j**3 - 4*j**2 + 4*j - 4. Let c be b(4). Let k be 5/(40/c)*-6. Let n(v) = v**2 + 6*v + 8. Is 23 a factor of n(k)?
False
Let i be (-9504)/(-726) - (-2)/(-22). Suppose 0 = 5*j - 10 - 15. Let y = i + j. Is 7 a factor of y?
False
Suppose 0 = -2*b - 2*b + i + 174, b - 38 = 3*i. Is 7 a factor of b?
False
Suppose -5*r - 162 = 2*y, 0 + 3 = -3*y. Let j = 143 + r. Let u = j + -47. Is u a multiple of 16?
True
Let l = 6 + -4. Let x be (-1)/l + 8/16. Suppose q - 5*q = 5*b - 99, x = 2*q + b - 51. Does 8 divide q?
False
Suppose -1056*f + 1048*f + 17080 = 0. Does 73 divide f?
False
Suppose 2526 = 6*z - 6288. Is 22 a factor of z?
False
Let w be ((-2032)/40)/(4/(-10)). Let k be (-86)/(-18) - 12/(-54). Suppose -5*v + 128 = 2*s + s, 2*s = k*v + w. Does 13 divide s?
False
Let o(n) = -3*n**3 + 7*n**2 - 4*n + 16. Let x(j) = -j**3 + j. Let g(d) = o(d) - 2*x(d). Is g(4) a multiple of 8?
True
Is 38 a factor of 2 + 45/(-9) - (-353 + -2)?
False
Suppose 2*c - 595 = 2*t + t, -5*c = 3*t + 560. Let p = -107 - t. Is 35 a factor of p?
False
Let f = -5 - -5. Let q be -1 + -3 - (f + -21). Let m = q + 2. Is 19 a factor of m?
True
Suppose 0 = -y - 0*y + 4*f + 1127, 3*y + 2*f = 3339. Is y a multiple of 13?
False
Suppose -2*f + 2*m + 1846 = 0, -4*f + 5*f = -2*m + 923. Is f a multiple of 32?
False
Is (-5308)/(-26) + 96/(-624) a multiple of 51?
True
Let s(t) = -3*t - 2. Let v be s(-6). Let u = -23 + v. Does 6 divide (-2 - u)/(2/10)?
False
Let l = -17 - -10. Let z(d) = d + 10. Let v be z(l). Is 1/(v + (-62)/21) a multiple of 9?
False
Let w(j) = -j**3 + 16*j**2 + 17*j - 88. Is 5 a factor of w(7)?
False
Let f(l) = l**3 + 3*l**2 - l - 2. Let r be f(-4). Let w = r + 16. Suppose 0 = -w*g + 27 + 9. Does 6 divide g?
True
Let n be 667/(-5) - (-3)/(-5). Let w = n - -93. Let j = 63 + w. Does 11 divide j?
True
Let w(j) = -10*j + 391. Does 19 divide w(34)?
False
Let i(j) = 56 - 25 - 16 - 13*j. Does 20 divide i(-5)?
True
Let l(b) = -201*b**3 + 3*b. Is 17 a factor of l(-1)?
False
Does 17 divide (-30 + 31)/((-2)/(-216))?
False
Let h(w) = -7*w - 21. Let t be h(-8). Let f = t + -3. Is 16 a factor of f?
True
Let i be -2 + 308/(1 - 3). Let v = i + 335. Is 16 a factor of v?
False
Let c(y) = -y**3 + 9*y**2 - y + 12. Let d be c(6). Let m = d - 15. Does 33 divide m?
True
Let n(r) = -70*r - 10. Let i(a) = -4*a. Let d be i(1). Let h be n(d). Suppose -3*j + h = 2*j. Is 27 a factor of j?
True
Suppose -4*k = -2*a - 3530, -2*a = 11*k - 6*k - 4426. Does 13 divide k?
True
Suppose 3*g = 2*r - 4*r + 17, -4*r + 4*g + 24 = 0. Let y = r + -5. Suppose 0 = -y*b + b + 15. Is 14 a factor of b?
False
Let p(u) = u**3 - 3*u**2 + 2*u - 3. Let z(y) = y**2. Let v(t) = -p(t) + 6*z(t). Suppose -4*o - 2*i = -38, -o + 9 = 2*o - 5*i. Is 17 a factor of v(o)?
True
Let f(c) = -c**2 + 20*c - 12. Suppose 4*g - 257 = 43. Suppose 0 = 5*b - 4*u - g, -3*u = b - 4 - 11. Is f(b) a multiple of 21?
True
Suppose 3*r + 3 = 15. Suppose 0 = 6*h - 3*h - 4*t - 22, -r*t = 4*h - 48. Suppose 2*z - h = 80. Does 10 divide z?
False
Let r be (-45)/6*40/6. Is (-1124)/(-10) - -5*4/r a multiple of 15?
False
Suppose 8 = -4*j + 4*m, 0*m = 2*j - 3*m + 8. Let x(v) = -5*v - 3 + 3*v**3 + 2*v**3 + j*v**3 + 2*v**2 + 6*v. Does 21 divide x(2)?
True
Let g(w) = 45*w**2 + 12*w + 4. Let y be g(-3). Let z = 11 + -7. Suppose z*j - y + 29 = 0. Does 17 divide j?
False
Suppose -l - 179 = -j, 0 = l + l - 4. Suppose -5*m = g - 190, -4*g - g = -4*m + j. Is m a multiple of 22?
False
Let v(n) = n**2 + 2*n + 1. Let m be v(-6). Suppose -u + 6*u - 20 = 0. Suppose m = u*r - 107. Does 11 divide r?
True
Let y = -18 + 22. Suppose y*b - 51 = 189. Is b a multiple of 10?
True
Suppose 0 = -4*k + k + 324. Let j be 7 - (1 + 1 + 2). Suppose -j*h + 0*h = -k. Does 13 divide h?
False
Suppose -4*t - 49 = -5*y + 5, 0 = 4*y + 3*t - 37. Suppose 156 + 144 = y*k. Is 10 a factor of k?
True
Let m = -732 - -1152. Is 124 a factor of m?
False
Let r(h) = -h - 1. Let s be r(1). Let i = s + 3. Suppose n = i + 41. Is 14 a factor of n?
True
Let r(f) = f**3 + 38*f**2 - 14*f + 6. Is r(-10) a multiple of 26?
False
Let c(j) = 100 - 4*j**2 - 50 - 74 + j**3 - 9*j. Does 10 divide c(8)?
True
Suppose -2*z + 8 = 5*c - 2*c, -2*c + 2*z + 22 = 0. Let y be (-2 + c + 1)/1. Suppose 5 = l - y. Is 5 a factor of l?
True
Let h(k) be the third derivative of k**5/30 - k**4/12 - 2*k**3/3 - 3*k**2. Let n be (11 - 9) + 2*2. Does 14 divide h(n)?
True
Let i(b) = 8*b**2 - 3*b - 5. Let a = 0 - -5. Suppose -3*r - 2*r + 5 = a*w, -5*w + 11 = 2*r. Is i(r) a multiple of 11?
True
Does 20 divide (-3528)/(-40) - (33/15 - 3)?
False
Let v(r) = 5*r - 3. Let b(q) = -14*q + 8. Let i = 29 + -32. Let s(g) = i*b(g) - 8*v(g). Is 8 a factor of s(8)?
True
Suppose k - 5*u - 250 = 0, -u - 448 = -5*k + 682. Is 9 a factor of k?
True
Let y(t) = -t**3 + t**2 - t + 37. Let s = 25 + -25. Is y(s) a multiple of 37?
True
Let g(s) = -2*s + 6*s - 4*s + s. Let h be g(5). Suppose -5*y + 64 = -h*o + 9, -6 = 3*o. Does 9 divide y?
True
Let h = 15 - 17. Let p be -3 + (3 - 3) + h. Let v(i) = -2*i**3 - 8*i**2 - 4*i. Is 35 a factor of v(p)?
True
Let f = 82 + 37. Let u be ((-5)/2)/(((-1)/(-10))/(-1)). Suppose -u = -4*j + f. Is 18 a factor of j?
True
Let t(z) = -6*z**2 + 33*z + 65. Let b(g) = 2*g**2 - 11*g - 22. Let k(d) = -11*b(d) - 4*t(d). Is 33 a factor of k(-8)?
True
Is 91 a factor of 18/(-6) + 8 + (-1082)/(-2)?
True
Let q(b) be the first derivative of 8*b**3/3 - 3*b**2/2 + 5*b + 4. Does 5 divide q(-4)?
True
Let s(z) = 62*z**2 + 8*z - 1. Does 2 divide s(2)?
False
Let b be 3/(-4) + (-11)/(-4). Suppose -352 - 18 = b*w. Does 5 divide w/(-15) + 1/(-3)?
False
Let l(w) = -w - 2. Let t be l(-3). Let d(v) = -283*v**3 - 2*v**2 + 3*v - 2. Let s be d(t). Is 2/6 - s/12 a multiple of 12?
True
Let b be 3*15 - 8/(-2 - 0). Suppose d + 37 = b. Is d a multiple of 12?
True
Let c be 11364/24 + 6/4. Suppose -y + g = -95, g - 4*g = -5*y + c. Does 18 divide y?
False
Let z(j) = 431*j - 219. Is 21 a factor of z(11)?
False
Suppose -16*k + 494 = 3*k. Is 4 a factor of k?
False
Let s(h) = 6*h**2 - h + 68. Does 22 divide s(10)?
False
Is ((-2091)/5)/((-4)/20) a multiple of 110?
False
Let w = -41 + -6. Suppose -3*s + t = -30, 3*t = -4*s - 0*t + 40. Let k = s - w. Does 19 divide k?
True
Does 29 divide (5*(-8)/(-60))/((-6)/(-7785))?
False
Let m(x) = -x**3 - 7*x**2 - 10*x + 2. Let c be m(-5). Let o(b) = -2*b - 5*b - b - b**c - 7. Is 8 a factor of o(-5)?
True
Suppose 0 = 6*c - 10*c. Suppose c = -0*g - g + 10. Suppose -5*s - 5*x = -g*s + 65, -33 = -3*s + x. Does 5 divide s?
True
Let r = 25 + -22. Does 11 divide (76 - (2 + 1))/(r + -2)?
False
Suppose -7*a + 224 = -364. Does 3 divide (-4 + a/18)/(4/126)?
True
Suppose -k + t + 8 + 3 = 0, -4*k + 40 = -3*t. Suppose k = 2*l + 1. Suppose -5*m = -l*c + 112, -c + 0*c + 38 = -m. Does 13 divide c?
True
Let c(w) be the first derivative of -w**4/4 + 4*w**3/3 - w**2 + 2*w + 5. Let p be c(3). Is -3 + p + -1 - -16 a multiple of 17?
True
Let z(n) = -n**2 + 16*n + 2. Let f be z(10). Let t = f + -26. Is 14 a factor of t?
False
Suppose -s + 3*l - 4 = 0, l + 5 = 3*s + 1. Suppose -3*p + 25 = s*p. Does 11 divide (-436)/(-20) - (-1)/p?
True
Let s(g) = -4*g - 1. Let k be s(-2). Suppose 2*j + 6 = 0, 2*v - 46 + k = 5*j. Suppose 0 = 4*x - 3*x - v. Is 6 a factor of x?
True
Suppose n + 5*y = 3*n - 130, 5*y - 95 = -n. Suppose -2*s + 65 = -n. Is s a multiple of 20?
False
Let x be