se -1078 = -g*y - 0. Is 27 a factor of y?
False
Suppose -5*d + 2*x + 3724 = 3*x, -x - 1484 = -2*d. Is 62 a factor of d?
True
Let x(y) = -y**2 - 6*y + 7. Let d be x(-5). Suppose 5*p = 3*p + d. Suppose 0 = p*h - h - 170. Is 21 a factor of h?
False
Let m = 59 + -38. Let b(o) = 5*o + 24. Is b(m) a multiple of 19?
False
Let i be (-4)/14 - (-74)/14. Suppose -82 = -7*l + 926. Suppose i*f - 2*f = l. Does 12 divide f?
True
Let o(c) = -14*c + 24. Does 12 divide o(-6)?
True
Let z be (-2)/9 - (-3835)/45. Suppose -2*k - 9 + z = 0. Does 19 divide k?
True
Let u(v) = 108*v**2 + 10*v - 7*v + 106*v**2 - 218*v**2 - v**3. Suppose -4*a = 4 + 16. Is 5 a factor of u(a)?
True
Suppose 2*c = -n, -14 = -n + 4*c + 4. Suppose n*l = -4*p + 2*l - 8, 4*p + 3 = -3*l. Suppose 91 = 4*g + 5*v - 32, -v = p*g - 84. Does 10 divide g?
False
Suppose 0 = -27*j + 21*j + 144. Is j a multiple of 2?
True
Suppose 0 = 5*i + 3*j - 72, 4*i - 2*j + 0*j - 62 = 0. Let m(p) = 9*p - 15. Does 41 divide m(i)?
False
Let z be 1*12/(-8)*-4. Suppose 3*x + 0 = -z. Does 10 divide x/1 + 20 - -2?
True
Let m = -23 + 7. Let b = m - -23. Suppose b = 4*q - 3*q. Does 2 divide q?
False
Suppose 0 = 3*r - 2317 - 803. Does 31 divide r?
False
Suppose l = -f + 113 + 10, 5*f = -l + 135. Is l a multiple of 30?
True
Suppose 5*v + 5*a = -110, 2*v + 32 = -4*a + 5*a. Let p = v - -24. Is 7 a factor of p/(-15) + 710/25?
True
Suppose -5*w - 2*b + 3999 - 959 = 0, -5*w + 3040 = b. Does 38 divide w?
True
Suppose 5*s + 4*s = 27. Suppose -75 = -s*x + 21. Is x a multiple of 8?
True
Let v = -15 - -6. Let f(t) = -2*t**3 + 8*t + 3*t**3 - 12 - t**2 + 12*t**2 + 2*t. Does 13 divide f(v)?
False
Let u = -235 + 395. Let i = u - -7. Is 31 a factor of i?
False
Let l(m) be the third derivative of 1/3*m**3 + 0*m + 1/4*m**4 + m**2 + 3/20*m**5 + 1/120*m**6 + 0. Is l(-8) a multiple of 6?
True
Let b(k) = 6*k + 99. Does 13 divide b(12)?
False
Let g(d) = 23*d - 16. Let x(v) = -69*v + 49. Let l(b) = -11*g(b) - 4*x(b). Is 18 a factor of l(4)?
True
Let z(l) be the first derivative of 3*l**3 + 0*l - 4*l + 2 - 5. Does 21 divide z(-3)?
False
Let x(k) = k**2 + 6*k + 15. Let n be x(-8). Suppose n = r - 17. Does 24 divide r?
True
Let i(x) = x**3 - 11*x**2 + 2*x - 14. Suppose 4*t - 34 = -2*v, -5*t + 2*v - 26 = -91. Let u be i(t). Let n = u - -10. Is 18 a factor of n?
True
Let t(j) = -8*j - 27. Let s(b) = 23*b + 80. Let n(p) = -3*s(p) - 8*t(p). Let h be n(-6). Is 5 a factor of 60/9*9/h?
True
Let l(g) = g - 13. Let d be l(15). Suppose 4*a + 2*s + d*s - 504 = 0, 141 = a - 2*s. Is 19 a factor of a?
False
Is ((-36)/(-5))/((-252)/(-66360)) a multiple of 33?
False
Let h(y) = 61*y**2 - 32*y + 129. Is 31 a factor of h(6)?
False
Let a(p) be the third derivative of p**6/120 - p**5/12 - p**4/8 - 7*p**3/6 - 11*p**2. Suppose -2*y = -6*y + 24. Is 11 a factor of a(y)?
True
Suppose 35*q - 34*q - 1564 = 0. Is q a multiple of 13?
False
Suppose -4*q + 5*l = 328, 4*q + 4*l + 292 = -0*q. Let f = 127 + q. Does 10 divide f?
True
Is 27 a factor of (-12)/(-18)*2436/8?
False
Let m(u) = -23*u + 439. Is m(-7) a multiple of 10?
True
Suppose s = 4*y + 11, -45 = -5*s + 5*y + 40. Suppose -s*u - 240 = -21*u. Is u a multiple of 40?
True
Let o = 1281 - 1151. Is 66 a factor of o?
False
Let q = 15 - 11. Let d be 3*1/(-3)*q. Is 12 a factor of -4 + 69 - (d - -3)?
False
Suppose -3*t + 0*s - 193 = -5*s, 2*t + 135 = -3*s. Let z = -23 - t. Is 8 a factor of z?
False
Is 48 a factor of (301/35 + -9)/((-2)/960)?
True
Let y(x) = x**3 - 87*x**2 + 579*x - 47. Is 69 a factor of y(80)?
False
Let t(b) = -b**3 - b**2 + 2*b - 2. Let l be t(0). Is (-924)/(-11)*l/(-4) a multiple of 14?
True
Let w(d) = 257*d**3 - 3*d**2 + d + 1. Is 76 a factor of w(1)?
False
Suppose -k - 20 = -5*k. Suppose -30 - 15 = h - k*l, -5*h + l = 129. Is 30 a factor of (270/h)/((-9)/60)?
False
Suppose -b - 14 = -5*a, 5*a + 3*b + 6 = -b. Suppose 112 = -a*z + 6*z. Is 16 a factor of (192/z)/(1/7)?
True
Let c be (-4528)/(-64) + 2 + 22/(-8). Let u = c - -18. Is u a multiple of 8?
True
Suppose -21930 = -13*x - 17*x. Is 114 a factor of x?
False
Does 30 divide (2/(-5) + -2)/((-8)/700)?
True
Let o = 11 - 9. Suppose -4*r + 58 = 38. Suppose t + r*y - 45 = -0*t, -90 = -2*t - o*y. Is 15 a factor of t?
True
Suppose x - 60 = 4*x - 3*q, -90 = 3*x + 3*q. Let r(i) = -11*i - 25. Is 25 a factor of r(x)?
True
Suppose -101 = -4*o - 21. Suppose o = q + 4*q. Suppose 5*r + q*z - 238 + 30 = 0, -4*r + 168 = 4*z. Does 10 divide r?
True
Let p(u) = -2*u + 0*u - u - 1 + 10. Let g(t) = 3*t - 8. Let d(v) = 3*g(v) + 4*p(v). Is d(-7) a multiple of 13?
False
Suppose 0 = 5*c - 25, -h + 5*c + 18 = -0*h. Suppose -4*b = -5*s - 289, 0 = b + 2*s - 18 - 64. Let w = b - h. Does 11 divide w?
True
Let s(j) = 13*j - 1. Suppose 4*y + 4*x - 42 = x, 21 = 3*y - 3*x. Is 27 a factor of s(y)?
False
Suppose -2*l = 4*p - 2*p - 22, -2*l + 27 = p. Let s = l + -13. Suppose -3*x - d + 5*d + 49 = 0, s*x - d - 37 = 0. Does 7 divide x?
False
Let v(u) = 4*u + 68. Let c be v(-16). Suppose -2*r + 177 = c*s - 603, -4*r = 0. Does 22 divide s?
False
Suppose 15*t = 19*t. Suppose -2*j + 4 + t = 0. Suppose -5 = -q + j. Is 7 a factor of q?
True
Let q(z) = 3*z - 3. Let g be q(2). Let u(d) = -2*d**3 + 4*d**g - d + 40 + d**2 - 3*d**3. Is 13 a factor of u(0)?
False
Suppose -6397 - 1571 = -4*u. Is u a multiple of 67?
False
Let g be (-9)/12*20/(-3). Suppose -k + 21 = 3*x, -2*x + g*k = -3 + 6. Let b = 14 - x. Does 2 divide b?
True
Let n(i) = -5*i**2 + 6*i - 1. Let w be n(3). Let c = 30 + w. Suppose c*d + 76 = 4*d. Is d a multiple of 16?
False
Let z(v) = -95*v + 10. Is z(-4) a multiple of 15?
True
Let y = 692 + -516. Does 5 divide y?
False
Let z(f) = 5*f**2 - 3. Let m(n) = 6*n + 36. Let b be m(-7). Is 13 a factor of z(b)?
False
Let s = 77 - 38. Suppose -5*n - s = -r - 13, r - 40 = -2*n. Is r a multiple of 9?
True
Does 2 divide (-5 + 17)/4 + 1278/9?
False
Let x = -681 + 1085. Is 60 a factor of x?
False
Let o = 18 + -24. Let g be (128/4)/(o/(-9)). Suppose 0 = -s - 1 + g. Is 18 a factor of s?
False
Does 8 divide (-8300)/(-35)*70/20?
False
Let u(o) = 2*o**2 + 18*o + 15. Let k be u(-12). Let y = 205 - k. Is 29 a factor of y?
False
Let v = -474 + 666. Suppose 4*o = -72 + v. Is 8 a factor of o?
False
Let m(l) = -3*l**2 - 2*l - 83*l**3 + l**2 + l. Let t(s) = -s**3 - 24*s**2 - 44*s - 1. Let q be t(-22). Is m(q) a multiple of 22?
False
Let f(a) = -a**2 + 10*a + 4. Let m be f(5). Suppose 30*l = m*l + 126. Does 21 divide l?
True
Suppose 15 = -5*m, 0 = -2*h - 2*h - 5*m + 5185. Is h a multiple of 10?
True
Let r be (1251/27)/((-2)/(-6)) + 2. Suppose -3*b = 27 - r. Does 12 divide b?
False
Let f(l) = -6*l**3 - l**2 + 11*l - 3. Does 17 divide f(-5)?
False
Suppose 0 = 4*g - 3 - 5. Let p(t) = -2*t**g + 4*t + 0*t + 14*t + t**2 - 14. Does 22 divide p(10)?
True
Is ((-2)/(-10))/((-10)/(-6950)) even?
False
Suppose 6*d - 520 = 2*d + 4*w, -4*w - 16 = 0. Suppose -6*k + 0*k + d = 0. Does 8 divide k?
False
Let t = 1485 + -545. Suppose 0*p - t = -4*p. Is p a multiple of 39?
False
Suppose 1 + 9 = 5*b. Let x be (b - -9)/(2/2). Let j = -4 + x. Is j even?
False
Let k = -1941 - -3311. Is 14 a factor of k?
False
Let p(x) = 8*x**2 - 22*x - 37. Is p(10) a multiple of 7?
False
Let x be 16/(-32)*(0 + 2). Let l = x - 12. Let m = l + 25. Is m a multiple of 6?
True
Suppose 2*b = -4*x + 370, 15 = 2*x + 5*b - 182. Is 67 a factor of x?
False
Let h = 404 + -358. Is 19 a factor of h?
False
Let y = -7 - -16. Let n(z) = z**3 - 18*z**2 - z - 5. Let t be n(18). Is 10 a factor of (-6)/y*-3 - t?
False
Let p = -611 - -859. Is p a multiple of 40?
False
Let o be (-32)/(-6)*(-2 + -1). Let g = o + 8. Does 2 divide (1/(-2))/(2/g)?
True
Let x = 10 + 30. Let y = 64 - x. Is 200/60*y/5 a multiple of 7?
False
Suppose 8*w - 11*w - 54 = 0. Let c = w + 10. Is c/20 + 202/5 a multiple of 19?
False
Let s(i) = -i - 10. Let d be s(8). Let h = -12 + -3. Let k = h - d. Is k a multiple of 2?
False
Let v be 12/(-3) - (-5 + (-2)/2). Suppose 79 = 2*l + 3*a, -2*l + v*a = -2*a - 58. Does 5 divide l?
True
Suppose 0 = -4*s + 12, s = 2*t + 6*s - 2419. Is t a multiple of 11?
False
Let q(u) = 7*u + 10. Let a be q(-3). Let s be 4/(-20) - a/5. Suppose -s*h = 3 - 9. Does 2 divide h?
False
Suppose 4639 - 12059 = -10*p. Is 6 a factor of p?
False
Suppose f = -0 - 2, 2*d = f - 248. Let r = d - -312. Does 27 divi