 multiple of 11?
True
Let d(u) = u**3 - 1 + 6*u**2 + 4 + u + 5. Let g be d(-6). Suppose -5*c - g*h + 67 = 0, 3*c + 11 = 4*c + h. Is 5 a factor of c?
True
Let p = 674 + -551. Does 22 divide p?
False
Suppose -2 = t - 10. Let j(d) = -d**3 + 7*d**2 + 8*d + 8. Does 4 divide j(t)?
True
Suppose d = -2, -2*x + d = 2*d - 2. Suppose -42 - 54 = -x*o. Is o a multiple of 8?
True
Let d(m) = 135*m - 30. Does 40 divide d(5)?
False
Let g = 1081 + -738. Suppose 3*u - 10*u + g = 0. Is u a multiple of 7?
True
Let u be 1/(-1)*(-84 + 14). Let d = u - 42. Suppose d = 4*i - 12. Does 7 divide i?
False
Suppose -a - 4*a = -415. Is a even?
False
Let q(b) = 4*b - 31. Let s be q(13). Suppose -2*t + 9 = -s. Does 6 divide t?
False
Let w(y) = -y**2 - 19*y - 9. Let i be w(-18). Let h(v) = v**2 - 5*v. Does 9 divide h(i)?
True
Let f(r) = r**3 - 4*r**2 - 2*r - 16. Let u(w) = -9*w + 52. Let m be u(5). Is 17 a factor of f(m)?
False
Is (-160832)/(-168) + (-2)/6 a multiple of 11?
True
Let x(b) = -b + 8. Suppose -30 = -5*w - 0*w. Let u be x(w). Suppose -y = 2 + u, 4*y + 60 = z. Does 39 divide z?
False
Does 2 divide (-84)/(-1) + (-2 - -1)?
False
Let h(i) be the first derivative of -i**4/12 - 11*i**3/6 - 5*i**2/2 - 5. Let x(f) be the second derivative of h(f). Does 2 divide x(-9)?
False
Suppose -9*t - 2799 = -9180. Is t a multiple of 19?
False
Let g(x) = 8*x**2 + 44*x + 74. Does 7 divide g(-6)?
True
Let y be (-485)/15*2*(-18)/4. Suppose -8*d + y + 317 = 0. Is d a multiple of 19?
True
Suppose -q + 0 = -2*t - 10, -4*q = 3*t + 15. Suppose q*h = -5*h + 105. Let d = h + 0. Does 11 divide d?
False
Suppose 0 = -4*m + 2*m + 10. Suppose -50 = -4*y + 94. Suppose -m*s + 2*s = -y. Is s a multiple of 3?
True
Let c be ((-1 - -2)*4)/2. Is 18 a factor of (31 - -3 - 0) + c?
True
Is 4 - (6/(-2) - 358) a multiple of 73?
True
Let z(u) be the third derivative of 1/120*u**6 + 2*u**2 - 3/20*u**5 - 2*u**3 - 1/8*u**4 + 0 + 0*u. Does 29 divide z(10)?
True
Let y(q) = 11*q - 3. Let t(k) = 34*k - 8. Let x(j) = 2*t(j) - 7*y(j). Is 8 a factor of x(-1)?
False
Let q = 1008 - 657. Suppose 0*r - q = -5*m - 2*r, -4*r = -12. Is (0 + -2)/((-6)/m) a multiple of 5?
False
Suppose 0 = -18*c - 10*c + 49812. Is 51 a factor of c?
False
Suppose 0 = 5*q + a - 50, -5*a = 3*q - 3*a - 23. Let b = -11 + q. Suppose b = -9*t + 4*t + 20. Is 2 a factor of t?
True
Suppose 0 = 2*l - 3*l + 5*i - 6, 1 = l + 2*i. Let h be l*15 - (0 - 3). Let r = -4 - h. Is 3 a factor of r?
False
Let y(o) = -8*o**3 + o**2. Let d be y(-1). Suppose -v - 3*s + d = 4*v, 0 = -2*v + s + 8. Is v + 0 + 0 + 1 a multiple of 4?
True
Suppose 9 = 5*f + 24. Suppose 0 = o + o + 2*x + 52, -2*x = -5*o - 158. Does 7 divide (-106)/f + 10/o?
True
Let p = 42 + -12. Let u = p + -18. Suppose -u = -r + 4. Is 11 a factor of r?
False
Let q = -9 - -252. Is 8 a factor of q?
False
Suppose 6 = 4*a - 2*o, -3*o + 8 + 1 = 0. Let z(q) = 2*q**3 - q**2 - 3*q - 3. Let g be z(a). Suppose -g = -3*m + 60. Does 10 divide m?
False
Let u be (-2)/7 + 128/56. Suppose -3*z - u*p = 29, 4*p = 5*z + 12 + 7. Is 40 a factor of 1 + 80 + 5 + z?
False
Let d be (-4)/26 + (-224)/(-104). Suppose 5*w = d*x + 589, -2*w + 3*x - 2*x + 235 = 0. Does 20 divide w?
False
Does 11 divide (13/(117/66))/((-3)/(-180))?
True
Let g be (-19)/7 + (-8)/28. Let v = g + 7. Suppose n + 0*d - 15 = v*d, 0 = -3*n + 4*d + 61. Is n a multiple of 6?
False
Let n = -18 + 14. Let j(v) = v**3 - 11*v**2 + 9*v + 2. Let x be j(10). Is 6 a factor of -1*n/x*-12?
True
Suppose l - q - 2299 = -3*l, 0 = 5*l + 5*q - 2905. Is l a multiple of 48?
True
Suppose -2*h + 40 = 32. Suppose h*r + 210 = -r + 2*k, 3*r + 3*k = -126. Is r*1*16/(-24) a multiple of 13?
False
Suppose -3*w - 5*v + 133 = 0, 2*w - v - 52 = 3*v. Does 4 divide w?
True
Suppose -4*j + 4 + 2 = -3*c, -j + 3*c - 3 = 0. Does 7 divide (-112)/(-12)*j/2?
True
Suppose -28 = x + x + 4*r, 3*x + 69 = 3*r. Is 12 a factor of ((-1)/(3/x))/(5/90)?
True
Suppose -14*r + 19412 = -5676. Does 56 divide r?
True
Let l = 36 + -32. Suppose l*j = 11*j - 742. Does 46 divide j?
False
Suppose 3*o + 2*o - 40 = 0. Let r = -83 + 235. Suppose -o*c = -12*c + r. Is 10 a factor of c?
False
Suppose u + q = 5*q + 591, -3*u = -3*q - 1737. Does 25 divide u?
True
Suppose 5*s = -5*o + 34 + 196, 2*s + 265 = 5*o. Let x = o - 34. Is x a multiple of 3?
False
Let u(q) = -6*q**2 + 2*q**2 + q**2. Let y be u(-2). Is (-6)/(-4)*(-136)/y a multiple of 8?
False
Let y(x) = -x - 6 - 7*x + x. Let z be y(-6). Let k = z - 22. Is 7 a factor of k?
True
Let a = -292 - -440. Let w = a - 103. Is 19 a factor of w?
False
Suppose -4*c - 891 = 4*k - k, 2*c + 3*k + 441 = 0. Let a = -125 - c. Suppose 4*b - a = 5*r, -4 = -b - 4*r + 42. Is b a multiple of 15?
True
Let m = 91 + -88. Does 11 divide (2/4)/((9 - m)/612)?
False
Let c(k) = k**3 + 9*k**2 - 7*k + 11. Let g be c(-11). Let u = g + 93. Let i = -28 - u. Is i a multiple of 11?
True
Is ((-66)/21)/(30/(-1680)) a multiple of 11?
True
Suppose 3*z = 54 - 36. Let m be (-27)/z - 9/6. Is 28 a factor of -45*(0 - m/(-9))?
False
Let z = 6 + -4. Is 18 a factor of (-16)/4 + z*11?
True
Suppose -2*h = -26 - 28. Let a = -17 + h. Is (-9 + a)/(1/27) a multiple of 27?
True
Let v = 222 - 78. Is v a multiple of 16?
True
Let i(v) = -v**2 + 9*v - 2. Let w(a) be the second derivative of 5*a**3/6 - a**2 + 4*a. Let l be w(2). Is i(l) a multiple of 3?
True
Suppose -1141 = x + 2*x - j, 363 = -x - 4*j. Let u = 538 + x. Does 36 divide u?
False
Let x = -6 - -8. Suppose 0 = n + 2*f - 22, -5*n - x*f + 156 - 38 = 0. Is 6 a factor of n?
True
Let u(v) = -v**3 - 13*v**2 - 13*v - 12. Let j be u(-12). Does 26 divide 92 + (5 - (j - -4))?
False
Is (-102)/(-153) - (7028/(-6) - 2) a multiple of 17?
False
Suppose -5*k + k - 73 = -5*c, 5*c = 5*k + 95. Suppose 4*o - 6 = -5*s - 33, -o - 9 = 2*s. Does 12 divide ((-10)/o)/(k/(-396))?
True
Let f(z) = 294*z**2 + 3*z. Is f(-2) a multiple of 65?
True
Suppose -2*k - 4 = -4*k, -4*y = 5*k + 98. Let z = y - -102. Is z a multiple of 25?
True
Suppose 4*c + p - 512 + 148 = 0, -3*p = 5*c - 448. Let j = 128 - c. Is j a multiple of 4?
True
Let c(v) = -82*v + 5. Let i be c(-3). Let z = i - 144. Suppose 28 = 5*l - z. Is l a multiple of 27?
True
Let f(u) = u**3 - 9*u**2 + u - 9. Let t be f(9). Let z be 2/(6/183 - t). Suppose -88 = -3*w - 2*l, -3*w + z = 3*l - 23. Is w a multiple of 25?
False
Suppose -35520 = 338*j - 348*j. Is 8 a factor of j?
True
Suppose 2*q = -3*q - v + 663, -2*v = -3*q + 390. Does 3 divide q?
True
Suppose -5874 = -13*b + 51677. Is 49 a factor of b?
False
Suppose 16*a = 5491 + 10253. Does 82 divide a?
True
Let m(w) = -w**3 + 6*w**2 - 2*w - 8. Is m(4) a multiple of 2?
True
Let n be ((-4)/(-12)*-284)/(2/(-3)). Let i = 254 - n. Is i a multiple of 28?
True
Suppose -4*d = -2*g - 12, -3*d - 4*g - 2 + 0 = 0. Let j(k) = -13*k + 0 + 14*k + 54*k**d - 1. Is 11 a factor of j(1)?
False
Suppose 4*z - 8 - 160 = 0. Is z a multiple of 15?
False
Let u = -229 + 679. Let j be 2/(-8) + u/8. Let p = 99 - j. Does 13 divide p?
False
Suppose -46 = -o + r + 293, -o = 5*r - 351. Suppose -5*u - w = -670, 4*u - 877 = -3*w - o. Suppose -u = -2*i - 0*i. Does 14 divide i?
False
Let c(z) = z**3 + 15*z**2 + 15*z + 16. Let i be c(-14). Suppose -i*f - 3*f - t + 31 = 0, 0 = -3*f - 3*t + 9. Suppose l - 59 = -f. Does 13 divide l?
True
Suppose 120 - 3 = -9*j. Let t = j - -17. Is t a multiple of 2?
True
Let r = -49 + 43. Does 3 divide -2 + 1 + 1 - r?
True
Let y be 2 + (1 + 0)/((-2)/(-6)). Suppose 38 = y*q - 127. Is 8 a factor of q?
False
Let q be -6*((-20)/6 + 3). Let v(t) = -21*t - 10*t + 10*t + q - 23*t. Is 12 a factor of v(-1)?
False
Let t be (-1)/(-1*(-4)/(-40)). Let q = t - 15. Let l = 3 - q. Is 4 a factor of l?
True
Is 61 a factor of 0/1 - 44899/(-59)?
False
Is -3 + 1 - 10696/(-8) a multiple of 15?
True
Let q(j) = -2*j**3 - 5*j**2 - 2*j + 1. Let s be q(-3). Let o(r) = r + 15. Is 31 a factor of o(s)?
True
Let h be 513/(-76)*20*1. Let x = 163 + h. Is x a multiple of 5?
False
Let a(b) = 8 + b**2 - 1 + 12*b + 5. Is a(-15) a multiple of 19?
True
Let m = -12 - -10. Is 22 a factor of (-16)/(m/(-44)*-4)?
True
Suppose 16 = -3*c + 2*u, -5*c - 35 = u - 4. Let x = 0 - c. Suppose 3*b = b - x, 5*k - b - 113 = 0. Is k a multiple of 16?
False
Suppose 0 = -f - f + 4*r + 272, 0 = 2*f + 4*r - 272. Is 17 a factor of f?
True
Is -6 + (474 - -3) + -6 a multiple o