Let t(r) = r**2 + 4. Let i be t(0). Let x = i - v. Is 11 a factor of x?
True
Let l(f) be the first derivative of 17*f**2/2 + f + 1. Is l(3) a multiple of 9?
False
Let w(g) = 17 + 0*g - 6 + g. Suppose -5*q = 3*d - 38, -2*d - 3*q + 10 = -15. Is 11 a factor of w(d)?
True
Let o(s) be the second derivative of -15*s**3/2 + 5*s**2 + 4*s. Is 16 a factor of o(-2)?
False
Let u(h) = 3*h - 3*h**2 + 12 - h - 6*h**2 - 5 + h**3. Is 5 a factor of u(9)?
True
Does 17 divide 7/((-140)/8)*7410/(-3)?
False
Does 41 divide ((-3567)/2)/(-3)*(2 + 0)?
True
Does 15 divide (-13734)/(-15) - (-7)/(70/(-6))?
True
Let m(o) = -o**2 - 14*o - 2. Let i be m(-10). Let t = 57 - i. Is 2 a factor of t?
False
Suppose -5*i + 6*f + 25 = f, -3*i + 5*f = -21. Suppose -6*b = -i*b - 12. Suppose z = -5*n + 64, 2*n + b + 1 = 0. Is z a multiple of 14?
False
Let t = 502 + 143. Let h = t - 380. Suppose 4*u - h = 23. Does 19 divide u?
False
Suppose 206*b - 209*b + 1998 = 0. Is 18 a factor of b?
True
Suppose 0 = 3*t - 0*t + 21. Let g be -24*(1 - t/(-3)). Suppose 0*l = -2*l + g. Is l a multiple of 13?
False
Does 34 divide 0 - 0 - -4*(10 + 402)?
False
Let p = 84 + -88. Is 9 a factor of 86/2 - (-8 - p - -2)?
True
Let m = 24 - 17. Suppose -2*z + 2*i = -i - m, i - 1 = 0. Let u = z - -17. Does 11 divide u?
True
Suppose -3*l + l = -5*d + 3, 5*l - d - 50 = 0. Suppose l + 1 = 4*p. Suppose 3*k = p*v - 186, 4*k - 5*k - 124 = -2*v. Is 14 a factor of v?
False
Let b be -5*1*39*8/60. Let a = 20 - b. Is a a multiple of 4?
False
Is 46 a factor of (-112)/(-28)*(414 + 0)?
True
Let o(j) = -20*j + 45. Is 11 a factor of o(-8)?
False
Let m be 3/(-7) + (-219)/(-21). Suppose -u + 2*u = -3*y + m, -3 = 3*y. Let r = u - 10. Does 2 divide r?
False
Suppose 2*j + 3*n - 37 = 0, j - 5*n = 6 - 20. Suppose 8*r - 9*r + j = 0. Suppose -x - 5*k = r, x - k - 24 = k. Is 7 a factor of x?
True
Let o(b) = 9*b**3 + 2*b + 3. Suppose -3*q - 6 = -5*w, -3*q - 6*w + 5*w = -12. Is 18 a factor of o(q)?
True
Let x(i) = 57*i - 1. Suppose 0 = -0*y - 5*y + 5. Is x(y) a multiple of 14?
True
Let j(y) = y**2 - 5*y + 4. Does 42 divide j(22)?
True
Suppose 102 - 462 = -4*h. Is h a multiple of 5?
True
Suppose -3*o + 134 = 2*f - 173, 0 = -5*o - 5*f + 515. Is 8 a factor of o?
False
Let r(m) be the first derivative of -13*m**2 - 3*m + 9. Does 41 divide r(-4)?
False
Suppose -5*h + 4826 = -4*g, -9*h + 3*g = -11*h + 1935. Is h a multiple of 23?
True
Let q = -10 - -149. Is 3 a factor of q?
False
Let u(b) be the third derivative of -b**7/840 + b**6/60 - b**4/12 - 5*b**3/6 - 4*b**2. Let a(w) be the first derivative of u(w). Is 6 a factor of a(4)?
True
Let l(p) = -343*p - 272. Is l(-8) a multiple of 103?
True
Let v(q) = 7*q**2 + 9*q + 12. Let n be v(-5). Suppose -5*z + 3*w = -w - n, -5*z - 4*w + 118 = 0. Is z a multiple of 4?
False
Suppose -7 = 3*b - 13. Suppose 120 = b*o + 18. Is 33 a factor of o?
False
Let g be (-1)/((-45)/10 - (0 + -4)). Suppose 0 = g*b + 4*w - 58 - 510, -w + 4 = 0. Does 46 divide b?
True
Suppose -49*f + 19551 + 114121 = 0. Does 88 divide f?
True
Let r = 76 + 470. Let v = -22 + r. Suppose 5*w = v - 24. Is w a multiple of 25?
True
Suppose -v = -3*z - 2, -v + 6*z - z = -2. Let x = 10 + v. Let f = -8 + x. Does 2 divide f?
True
Suppose g + 30 = 4*g. Let u be (-4)/g - 3/5. Is 23 a factor of -13*u*(1 - -1)?
False
Let c = 1087 + -710. Is 14 a factor of c?
False
Let b(z) be the third derivative of -z**5/60 + 11*z**4/24 + 13*z**3/6 + 2*z**2. Let m be b(12). Let n = m - -1. Is n even?
True
Suppose 3*l = -4*t - 356, -4*l - 5*t - 266 - 207 = 0. Is ((-5)/10)/(4/l) a multiple of 7?
True
Let f = 73 - 39. Is 18 a factor of (f/5 + -6)*790/4?
False
Let z = 32 - 29. Suppose 0 = -r - z*r + 16, 3*a = -3*r + 255. Is 17 a factor of a?
False
Let o = 16 + -1. Let b = o - 21. Is b/(-2)*150/45 a multiple of 10?
True
Let w(i) = 341*i - 332. Is 43 a factor of w(4)?
True
Suppose -3*q + 0*f = -2*f - 833, 566 = 2*q - 4*f. Is 43 a factor of q?
False
Suppose 2*d = 4*n - 6494, 2*n + 4*d = -3*n + 8137. Is n a multiple of 12?
False
Suppose -g = -3*u - 0*u - 370, 0 = 2*u + 6. Suppose 5*z + 221 = 3*d, 5*d - g = 2*z - z. Does 18 divide d?
True
Let s(i) = i**2 - 11*i. Let n be s(10). Let x be ((-14)/(-5))/(n/(-25)). Suppose -x*l - 46 = -9*l. Does 23 divide l?
True
Suppose 30*d - 11220 = 19*d. Is d a multiple of 10?
True
Suppose -1 - 5 = -3*w. Let o(d) = 5*d**3 + 2*d + 1. Does 11 divide o(w)?
False
Suppose 4*p = 2*v - 1214, 2*v + 0*p + 2*p - 1190 = 0. Let r = -359 + v. Suppose -4*s + r = -s. Is 20 a factor of s?
True
Let p(o) = 27*o**2 + o - 3. Is p(-2) a multiple of 5?
False
Suppose 0*j = -5*j + 25. Suppose 2*t = y - 107, 0 = -j*y + t + t + 559. Is y a multiple of 23?
False
Suppose 5 = 3*t - 1. Suppose -4*y - 3 - 1 = -3*v, 0 = -2*y - 2. Suppose v = -c - k - 2*k + 47, -t*c = -2*k - 62. Is 7 a factor of c?
True
Let d = -57 - -78. Is 13 a factor of 3195/35 + 15/d + -1?
True
Let q(b) = -14*b**2 - b. Let i be q(1). Let c be 0/(-2) + i + 12. Is (c/4)/((-2)/16) a multiple of 4?
False
Let z be (-210)/(-50) + 4/5. Suppose -8*g + 336 = -z*g. Is 28 a factor of g?
True
Let y be (-12)/(6/(-2)) + 9/3. Suppose -5*q + 6*q - y = 0. Does 6 divide q?
False
Let p(h) = h**3 + 3*h**2 - h. Let i be p(1). Suppose 0*l + 113 = l + i*z, -3*l + 274 = -4*z. Does 22 divide l?
False
Is 48 a factor of 11206/117 - 4/(-18)?
True
Let t = 1141 + -1092. Is 7 a factor of t?
True
Suppose -17*d = 7276 - 20060. Is 16 a factor of d?
True
Suppose 0 = -3*k - 0*a + 2*a + 949, 2*k - 631 = a. Let l = -57 + k. Is 16 a factor of l?
True
Let x(j) = 3*j + 779. Is x(-28) a multiple of 3?
False
Let w = 11 + -8. Suppose w*b + 6 = -3*u + 27, -3*b - 19 = -u. Is 5 a factor of u?
True
Is 12 a factor of (1 - 11/9) + 93121/477?
False
Let d(t) = -3*t**2 - 75*t - 45. Is d(-23) a multiple of 6?
False
Let x be (-5117)/(-28) + 3/(-4). Suppose x = 4*i + 58. Is i a multiple of 27?
False
Let g = 855 + -591. Does 12 divide g?
True
Let y(i) = 50*i**2 - 59*i - 433. Does 20 divide y(-10)?
False
Suppose 0 = n - 5*t - 5, -3*t - 3 = -n - n. Is 0 + (n + 39 - -3) a multiple of 17?
False
Let f = 65 - 45. Suppose -4*a + f - 4 = 0. Suppose 0 = -w - a*w + 80. Is w a multiple of 13?
False
Is 4 a factor of (4/(-6) - -1) + (-299)/(-39)?
True
Suppose 3*u + k = 32, 0 = -3*u - u - 4*k + 56. Is 13 a factor of 6/u - (280/(-12) - 2)?
True
Let y be -3 + 238/22 + (-8)/(-44). Suppose -2*s + 2*u + y = 0, 6*u + 21 = 4*s + 7*u. Is 5 a factor of s?
True
Suppose 5*j = -3*h - 979 + 246, -4*j - 3*h - 584 = 0. Let q = j - -240. Does 40 divide q?
False
Suppose -n - n = 0. Suppose m + 1 = 3, -q - m + 5 = n. Suppose q*w = -w + 164. Is w a multiple of 11?
False
Suppose 4*s - 2*h - h = 0, -3*h = 2*s. Let q = -3 - -5. Suppose s*m + q*m - 112 = 0. Does 14 divide m?
True
Does 79 divide 1/(-8*1/(-1160))?
False
Is (378/(-8))/(6/(-16)) a multiple of 42?
True
Let a = 190 + -32. Suppose 2*h + 2*v = a, 4*h = 3*h - 4*v + 94. Does 37 divide h?
True
Suppose 1354 - 220 = 7*a. Suppose 5*l - a - 138 = 0. Is 12 a factor of l?
True
Let a be 2/(-8) - (-550)/(-40). Let b be (-6)/a + 39/7. Suppose 0 = -2*h + b*h - 88. Does 11 divide h?
True
Let j be 25/2*(4 - (-6 + 8)). Suppose -j*p + 27*p - 68 = 0. Is 11 a factor of p?
False
Suppose -3*j + 18 = -n - 13, 4*j = n + 40. Let p(c) = c**2 - c + 1. Let u be p(-3). Let d = u - j. Is 4 a factor of d?
True
Suppose 16*v - 424 = 728. Does 36 divide v?
True
Let i(o) = 2 + 0*o**2 + o + 3*o**2 + 2*o**2. Let b be 30/75*5/1. Is 12 a factor of i(b)?
True
Let s(p) = 4*p + 10. Suppose 0 = -3*c + 2*v + 35, -4*v = -0 + 16. Let n = 14 - c. Is 4 a factor of s(n)?
False
Suppose 4*g - 3*u - 28 = 0, -4*g = -4*u + 3*u - 20. Suppose 4*x = 2*x - 2*r + 4, -3*r + 9 = g*x. Suppose j - 50 = -n, -4*n - 48 = -x*j + 81. Does 10 divide j?
False
Does 56 divide (-24150)/175*(-28)/3?
True
Let f be (-1)/3 - 858/18. Let j = -20 - f. Is j a multiple of 7?
True
Let h(v) = -52*v - 35. Is h(-7) a multiple of 21?
False
Let g be (-8)/(144/(-1506)) + (-4)/(-3). Let b = -72 + g. Does 8 divide b?
False
Suppose 0 = -3*c + 2*u - 89 + 27, -4*c - 76 = 4*u. Let k = c - -47. Is 6 a factor of k?
False
Let g(t) = 2*t**2 + 59*t - 67. Is 61 a factor of g(-39)?
False
Suppose -8*f = -114 + 34. Does 3 divide f?
False
Let z be (0 - 1)/((-1)/(-1)). Let q be 1*z/(-2)*-336. Is 17 a factor of ((-48)/(-14))/((-16)/q)?
False
