 101. Is 7 a factor of i?
False
Suppose 4*d = -6*d + 2260. Is 26 a factor of d?
False
Let s = 27 + -51. Let u be (-3)/(-18) + (-68)/s. Suppose 2*p + 4*l - 356 = -3*p, -u*p + 5*l + 221 = 0. Is p a multiple of 36?
True
Let d(v) = -4*v**3 + 54*v**2 - 19*v + 22. Is 47 a factor of d(12)?
True
Suppose -4*g + 44 = 5*f, 0 = -5*g + 5*f + 11 - 1. Let q = -6 + g. Suppose -3*b = -2*b + u - 9, q = 3*b + 4*u - 23. Is 4 a factor of b?
False
Suppose -4*q - 34 = 3*y - 314, y + 5*q = 75. Let s = 52 + y. Is 19 a factor of s?
True
Suppose y = 5*q + 256, -2*q - 155 = q - 2*y. Let z = q + 114. Is z a multiple of 8?
False
Let k(j) = j**2 - j - 1. Let w(c) = 6*c**2 - 7*c - 33. Let z(s) = 5*k(s) - w(s). Does 7 divide z(0)?
True
Let f be (-2)/4 - 39/(-6). Suppose -f*w - 8*w = -182. Is w even?
False
Suppose -j - 3543 = -5*g - 574, -1785 = -3*g - 3*j. Is 33 a factor of g?
True
Let d(j) = -34*j - 4. Suppose -3*f - 18 = -0. Let u be d(f). Suppose 2*x - 7*x = -u. Is x a multiple of 20?
True
Let x(j) = j**2 + 5*j + 2. Let r be x(-5). Let l(d) = d**3 - r*d - d**2 - 4 - d**2 + 0*d**3. Is l(5) a multiple of 25?
False
Let j be 2 - (1/2 - 5/2). Suppose -j*g + 95 + 45 = 0. Is 8 a factor of g?
False
Suppose -7*l = -14*l + 259. Is l a multiple of 4?
False
Let c = -1984 - -2310. Does 112 divide c?
False
Let j(s) = -10*s - 1. Let u be j(-1). Let t = u + -7. Suppose a = 32 + t. Is 17 a factor of a?
True
Let k(u) = -u**3 - 18*u**2 - 86*u - 68. Does 65 divide k(-17)?
True
Suppose -3689 = -17*o - 0*o. Is o a multiple of 14?
False
Suppose 0 = -12*z + 3393 + 4311. Does 9 divide z?
False
Let h(n) = -9*n + 0*n - n**2 - 7*n - 8. Let u = 664 - 676. Is 8 a factor of h(u)?
True
Let s be 4 + -7 + (4 - 3). Let q(v) = -22*v**3 + v**2 + 3*v + 6. Does 36 divide q(s)?
True
Let m = 515 + -273. Let g = m + -166. Does 14 divide g?
False
Let i = 214 + -60. Is 29 a factor of i?
False
Suppose 60*s = 27*s + 70950. Does 11 divide s?
False
Let y be (-638)/(-6) + -1 - 6/18. Suppose -4*c + y = n - 91, -4*c = 5*n - 916. Does 36 divide n?
True
Let a = -17 + 27. Suppose -46 = a*d - 12*d. Is 13 a factor of d?
False
Let x(r) = 0*r + 2 - 7*r - r**3 + 2*r**3 + 3*r**2. Suppose -19*k - 116 = 10*k. Is 14 a factor of x(k)?
True
Suppose 29*k = 34*k - 20. Suppose -k*y + 5*y - 4*s = 197, 2 = -2*s. Is 27 a factor of y?
False
Suppose 8 = 231*y - 227*y. Suppose -2*d + 700 = -6*j + 10*j, d = y*j - 350. Does 25 divide j?
True
Let l(y) = y**2 - y - 84. Is l(-15) a multiple of 6?
True
Let h be (18/(-3))/(-2) - -10. Suppose 0 = 4*m - 3 - h. Suppose m*t - 10 = 3*t. Is 3 a factor of t?
False
Suppose -6*k + 3*k = 5*l - 11, 3*k = 6. Does 11 divide l/(-3) - 605/(-33)?
False
Is 9/6*3180/45 a multiple of 11?
False
Let o(w) = 29*w**2 - 24*w + 16. Does 15 divide o(8)?
True
Suppose 76 = -2*o + 224. Let f be (-3 - (-2 + 1)) + -23. Let j = f + o. Is 14 a factor of j?
False
Is 12 a factor of 1/(-2) - (-1729)/14 - 0?
False
Suppose 6*c + 7*c - 7072 = 0. Does 34 divide c?
True
Suppose -4*t = -5*m + m - 824, -2*t + 410 = -3*m. Suppose 2*d + 0*d - 386 = -2*s, -s = 4*d - t. Does 47 divide s?
True
Suppose -v + 162 + 361 = 0. Suppose 3*t + 0*j - 543 = 3*j, -v = -3*t - j. Is 25 a factor of t?
False
Suppose 72 = s + 3*s. Suppose 5*f - s - 27 = 0. Is f even?
False
Let w be (-14)/(-49) - 24/(-14). Let s = -4 - w. Is 2/s + (-1015)/(-21) a multiple of 16?
True
Suppose 24*p + 430 = 29*p. Does 3 divide p?
False
Let d(i) = i**3 - 252. Let q be d(0). Let o = -120 - q. Is o a multiple of 33?
True
Suppose 4 = d + 7. Let u(x) = -x**3 - 3*x**2 + x + 3. Let b be u(d). Suppose b = l - 14 - 6. Does 16 divide l?
False
Let q = 6 - 0. Let c(t) = 2*t**3 - t**2 - t + 4. Let j be c(4). Suppose q*v - 2*v - j = 0. Does 25 divide v?
False
Let v = 15 - 8. Suppose -2*c + v*c - 165 = 0. Let s = c + -10. Is s a multiple of 8?
False
Let w be (-10)/15*18/4. Let m be 1/(w + (-68)/(-24)). Does 4 divide (4 - 2)/((-3)/m)?
True
Suppose -2*f + 3 = -h, 0 = -5*f + 2*f - 3*h. Let o be 9/((-4 + 5)/f). Is 31 a factor of (-482)/(-12) - o/54?
False
Let o be (-15)/5 - -2*2 - -3. Is ((-57)/o)/((-11)/44) a multiple of 10?
False
Suppose -4*u + g + 12949 = 3373, 2*g = 0. Is 63 a factor of u?
True
Let q = 69 + -65. Suppose 0 = -5*s + 5*w + 1980, -s - 2*s + q*w = -1190. Is 48 a factor of s?
False
Let k(w) = w**3 - w**2 - w. Let s(n) = n**3 - 4*n**2 - 8*n + 5. Let u(v) = 3*k(v) - s(v). Does 12 divide u(2)?
False
Let m(w) = w**3 - 9*w**2 + w - 2. Let i be (-141)/(-15) + (-5)/(25/2). Is 4 a factor of m(i)?
False
Suppose 6 = -3*z + 15. Suppose 6*q - 2304 = -10*q. Suppose -q = -z*y - y. Is y a multiple of 9?
True
Let j be (-13*1 + 1)*(-180)/10. Suppose 0*u + j = u. Is u a multiple of 18?
True
Let y = 25 + -3. Suppose 0 = -5*g - 3*x + 63, -2*g - 2*x = -4*g + y. Is g a multiple of 3?
True
Suppose -120 = -4*f - 7*i + 11*i, -126 = -5*f - 3*i. Suppose 3*n + 70 = -2*n. Let d = f + n. Is 3 a factor of d?
False
Suppose -1 = 3*i + 4*y + 1, -i - 2 = 2*y. Suppose d - 67 = -i*o - 0*o, -3*d = -o + 16. Does 3 divide o?
False
Suppose -5*y - v = -3*y + 13, -4*y - v - 25 = 0. Let l be 0 - (y - 1/(-1)). Let i(w) = w**3 - 4*w**2 + 4*w - 1. Is 24 a factor of i(l)?
False
Suppose -r = -1, 4*b = 7*b - 5*r + 689. Let d = b + 380. Is 19 a factor of d?
True
Let i(p) = -p**3 + 11*p**2 + 10*p - 126. Is 7 a factor of i(9)?
True
Let s = 39 + -39. Suppose s = -6*w + 547 + 269. Let o = w + -34. Is 17 a factor of o?
True
Suppose -4*u = -3*a + 130 + 178, -a - 308 = 4*u. Suppose j = 2*o + 145, j - 6*o = -o + 157. Let q = j + u. Is 20 a factor of q?
True
Suppose -9*o + 1761 = -885. Does 14 divide o?
True
Let k(x) = -x**3 - 2*x**2 + x - 4. Let b be k(-3). Suppose -458 = -3*l - b*z, 2*z - 84 = -5*l + 674. Suppose 10*m = 13*m - l. Is 25 a factor of m?
True
Is ((-20)/(-16))/(2/256) a multiple of 11?
False
Let s be 4 - (-32)/(-12)*12. Let a = -22 - s. Is 6 a factor of a?
True
Let h be ((-14)/8)/(5/(-20)). Let x(a) = 9*a + 4. Let u be x(h). Let w = -16 + u. Does 15 divide w?
False
Let z(y) = -y**2 + 3*y. Let i be ((-1)/(-1))/(11/(-77)). Let b(f) = -2*f**2 + 7*f - 1. Let t(k) = i*z(k) + 3*b(k). Does 11 divide t(-6)?
True
Suppose -3503 - 5694 = -17*g. Does 60 divide g?
False
Let h(c) = 180*c**2 + 6*c - 7. Does 3 divide h(1)?
False
Suppose -2*u = 0, 0*f - 4*u + 48 = -2*f. Let s = 8 - f. Is 8 a factor of s?
True
Let q(v) = -2*v**3 + 3*v**2 - 5*v + 3. Let y be q(3). Let r(b) = -19*b - 3. Let j be r(1). Let n = j - y. Is n a multiple of 17?
True
Suppose -5*a = -7 - 13. Suppose 191 = d + 2*x, 0*x + 173 = d - a*x. Does 15 divide d?
False
Let o = 8 - -2. Let q(w) = -w**2 + 6*w + 1. Let a be q(o). Is a/(-9) - 4/(-6) a multiple of 5?
True
Let l = -2 + 4. Let n(i) be the second derivative of i**5/10 - i**4/12 - i**3/6 + i**2 + i. Does 12 divide n(l)?
True
Suppose -m = m - 2. Does 16 divide (m/3)/((-8)/(-384))?
True
Let c = 81 - 77. Is (-4069)/(-52) - 1/c a multiple of 12?
False
Suppose 0 = 4*x + 4*t - 184, -8*x + 13*x = -4*t + 234. Does 8 divide x?
False
Suppose 5 = k + 2. Let v = 0 - k. Let n(m) = -m**3 - m**2 - 2*m + 1. Does 22 divide n(v)?
False
Let p(u) = 16*u**2 - 70*u + 446. Does 18 divide p(6)?
False
Let d(t) = -8 + 2 - 6*t + 6. Let x be d(-1). Suppose -x*b = -b - 50. Is b even?
True
Suppose 2*a = -a - g + 6040, -3*g = -4*a + 8075. Is 65 a factor of a?
True
Let v be (45/(-18))/(5/(-4)). Suppose v*w - 110 = -3*w. Suppose z - 4*d - w = 0, -5*z = 3*d - 28 - 36. Does 7 divide z?
True
Let z = -212 + 476. Is 11 a factor of z?
True
Let n be 6/(-57) - 4965/(-57). Let p = n + -27. Does 26 divide p?
False
Let r(j) = -2*j**2 - 47*j - 18. Let t be r(-23). Suppose -5*i + v + 930 = 0, -279 = -2*i + t*v + 116. Does 28 divide i?
False
Suppose -4*g + 1085 - 230 = -3*j, -j - 1055 = -5*g. Does 34 divide g?
False
Let i = -5 + 7. Suppose 3*l - 2*p - 108 = i*p, -2*p - 108 = -3*l. Suppose -r - l = -c, c - 23 - 13 = -5*r. Is 16 a factor of c?
False
Let u(z) = -z**3 - 4*z**2 + 3*z + 8. Let t be u(-4). Suppose 3*w + d - 26 = -4*d, 16 = 4*w + 2*d. Is 19 a factor of (t - -3) + 90/w?
False
Let j(b) = -11*b**3 + 3*b**2 + 8*b. Is j(-4) a multiple of 20?
True
Let q(j) be the first derivative of 2*j**3 + 3*j**2 + 5*j - 22. Does 11 divide q(-4)?
True
Let f = 15 + -10. Suppose f*i + 44 = 359. Does 13 divide (14/3)/(7/i)?
False
Let h(y) = -y**2 + 11*y - 6. Let m be h(11). Let k be (6/(-1