t d = l + -111. Is 13 a factor of d?
False
Let b(x) = x - 1. Let d(r) = -r**2 - 10*r + 1. Let j(v) = -3*b(v) - d(v). Let m be j(-7). Suppose 0*g = -m*g + 104. Is g a multiple of 26?
True
Let l(t) = -t**3 - 2*t**2 - t. Let n be l(0). Let p be (n + 24)*(-2)/4. Is 9 a factor of ((-6)/p)/((-2)/(-144))?
True
Suppose 0 = -3*n + 8 - 8. Let m(j) = j**2 + 2*j + 170. Is 17 a factor of m(n)?
True
Let y = -8 + 8. Suppose o + o - 144 = y. Is 36 a factor of o?
True
Let z(x) = x**2 + 2. Let v(l) = -l**3 + 5*l**2 - 2*l - 4. Let w be v(3). Let a be z(w). Suppose -3*b = 4*y + 22 - a, -22 = -2*y - b. Does 11 divide y?
True
Suppose 5*k = 20, -r + k + 508 = 5*k. Is 17 a factor of r?
False
Suppose -3*t = 4*g - g - 3393, -4*t - 1146 = -g. Is g a multiple of 14?
True
Let g be (-3 + 2)/(3/(-6)). Suppose 5*w - 30 = -l, 5*l - g*w = -4*w + 127. Is l a multiple of 11?
False
Let d(l) = 3*l**3 - 2*l**2 - 2*l + 1. Suppose 3*h = -15, 20 = 5*r - 0*h - 2*h. Let v be d(r). Suppose 0 = v*a - 10*a - 60. Is 10 a factor of a?
True
Let d(w) = -443*w + 7. Is d(-1) a multiple of 17?
False
Suppose h = -2*h. Suppose -140 = -2*c - h*c. Is 12 a factor of c/6 - (-5)/15?
True
Suppose 14*x = 4*x + 640. Suppose -3*g + x = -182. Is 22 a factor of g?
False
Suppose 9*x - 14*x + 1690 = 0. Does 98 divide x?
False
Let j(m) = -2*m**2 + 0*m - 16*m**3 + 15*m**3 - 6*m + 2*m. Is j(-3) a multiple of 7?
True
Is (221 - 3) + (-4 - 2) a multiple of 53?
True
Let y(g) = -g**3 + g**2 - g. Let p be y(0). Suppose 3*l - 4*a - 196 = p, -3*l - 2*l = 4*a - 284. Is l a multiple of 20?
True
Let r(j) = -j**3 + 6*j**2 + 9*j - 10. Let w be r(7). Suppose -w*d + 17 + 3 = 0. Is d even?
False
Suppose 7*s + 10 = 9*s. Let k(t) = 24*t**3 - 25*t**3 + 9 - 5*t**2 + 0*t**2 + s*t + 0*t**2. Is 7 a factor of k(-6)?
False
Is 3 a factor of (-4 - 0)*399/(-28)?
True
Let v(l) be the third derivative of l**5/30 + l**4/24 - l**3/2 - l**2. Suppose -2*k = -5*d - 15, -21*d = -25*d - 3*k - 35. Does 17 divide v(d)?
False
Let s(u) = -9*u + 6. Let x = 40 - 46. Is s(x) a multiple of 30?
True
Let h(j) = 13*j**2 - 67*j + 35. Is 13 a factor of h(11)?
True
Is 71 a factor of ((-2840)/120)/((-10)/(-12) - 1)?
True
Suppose -4*z + 3 = -13. Let a(q) = 18*q**2 + q - 33*q**2 + 18*q**2. Is 6 a factor of a(z)?
False
Let t = 21 + -20. Let k be (5 + -3)/t*2. Suppose 0*r - f - 10 = -2*r, -r - 2 = -k*f. Is 3 a factor of r?
True
Suppose -t - 5*p + 2930 = 0, -2*p - 10 + 12 = 0. Is 120 a factor of t?
False
Suppose -3*i + 4*t = -9, 3*i + 2*t = -0*i + 27. Suppose 16 = -3*j + i*j. Is j a multiple of 3?
False
Suppose -2*u = -3*q - 0*q - 52, 0 = -3*u + 4*q + 77. Suppose 27*g - 716 = u*g. Is g a multiple of 14?
False
Suppose -769 - 1415 = -13*b. Is b a multiple of 14?
True
Let z be 2/(4/2) - -5. Let l = -63 + 68. Is (-8)/z*(-60)/l a multiple of 8?
True
Suppose -17*k + 16*k = -4. Suppose k*m - 12 = 2*m. Does 6 divide m?
True
Suppose 15 = -5*n, 0*o - 2*n - 3141 = -5*o. Is o a multiple of 19?
True
Let z be 0/(3 + -2*2). Suppose -5*v + g + 27 = z, 5*g - 21 = -0*v - v. Suppose -v*x + 22 = -4*x. Does 11 divide x?
True
Let q = -618 - -1216. Is q a multiple of 13?
True
Suppose 3*f + 123 = 2*f. Let t = -57 - f. Is 10 a factor of t?
False
Let x = 527 + -272. Does 35 divide x?
False
Let i(s) = s - 13. Let x be i(13). Suppose 0 = 5*u - x*u - 270. Is u a multiple of 18?
True
Let z = -17 + 20. Suppose -5*n + z*n = -12. Does 6 divide n?
True
Let r(u) = -52*u - 27. Let p be r(-5). Let i = p + -121. Is 7 a factor of i?
True
Is 52 a factor of 9/((-108)/16)*(-16110)/20?
False
Suppose -34085 - 2035 = -28*y. Is y a multiple of 15?
True
Is 23 a factor of (86/4)/((-249)/(-11454))?
True
Suppose -2*h = 2*c + 1 + 5, -2*h = -5*c - 1. Is 21 a factor of ((-258)/3)/(c/(-1)*-2)?
False
Suppose 3*d + 4*x = 6*d - 70, -4*d = -4*x - 88. Is 544/d - (-10)/(-45) a multiple of 8?
False
Suppose -2*y = -4*y. Suppose y*n = -n + 105. Suppose 9*i - n = 6*i. Is i a multiple of 7?
True
Let t = 23 + -43. Let u = t + 28. Is u even?
True
Let y = -11 - -8. Let q(h) = h**2 + 3*h + 3. Let d be q(y). Does 9 divide (-9)/((d - 0)/(-9))?
True
Let l(f) = f**2 - 5*f + 18. Does 9 divide l(5)?
True
Is 10 a factor of 26 - ((-6)/(-2) - 7)?
True
Let b = 6 - 12. Let z = -4 - b. Suppose 74 = -z*l + 216. Does 25 divide l?
False
Is 38/(-4)*((8 - 32) + -2) a multiple of 19?
True
Let f(z) = -14*z + 23. Let u = -21 + 13. Is f(u) a multiple of 15?
True
Let m(y) = y**2 + 13. Suppose 6*u - 8*u + 18 = 0. Is 14 a factor of m(u)?
False
Is (-134 + -4)/((-9)/6) a multiple of 12?
False
Let k = -10 + 13. Is 10 a factor of k/((-3)/(-53)) + -3?
True
Let o(l) = l. Let i be o(0). Suppose i = -4*n + 7*n. Is n + (4 - 1) + 3 a multiple of 6?
True
Let w be (-64)/(-6)*(-438)/(-8). Suppose -z - 3*z + w = 0. Is z a multiple of 16?
False
Is 6 a factor of (403422/284)/(6/4)?
False
Let r(l) = 12 - l**2 + 2*l**2 - 13*l + l**2 - l**2. Is r(21) a multiple of 20?
True
Suppose -91 = a + 3*z, 12 = 4*z - 0*z. Let i = 431 + a. Does 24 divide i?
False
Let y be -3 + (5/(-10))/(3/(-6)). Is 2 a factor of 42 - (y/(-5) - 234/(-65))?
True
Suppose 0 = 506*c - 511*c + 4345. Is 11 a factor of c?
True
Let u = 4041 - 2485. Is u a multiple of 78?
False
Suppose 3*r = 3*s - 13446, s - 2984 = -3*r + 1510. Is 69 a factor of s?
True
Let r be 1 + 0 + 0 - 457. Let m(q) = -q**3 - 33*q**2 - 214*q + 39. Let n be m(-24). Does 18 divide ((-6)/n)/((-8)/r)?
False
Let y be 26/7 + 6/21. Suppose 3 = -4*u - h - 7, 0 = -y*u + 3*h - 2. Let j(m) = -25*m - 3. Does 24 divide j(u)?
False
Let q be 56 + -5*2/(-10). Suppose -2*v + 54 = -0*v + 4*x, 0 = 2*v + x - q. Does 14 divide v?
False
Suppose -28*r + 27*r = -25. Suppose 2 = x + x, -29 = 2*l + x. Let t = l + r. Is t a multiple of 5?
True
Let p = -2155 + 3170. Is 7 a factor of p?
True
Suppose -4*t - 79 + 531 = 0. Let l = t - 70. Does 15 divide l?
False
Let z(t) = 5*t + 4. Let k be z(11). Let c = k + -9. Suppose 2*i - 76 = c. Is 21 a factor of i?
True
Suppose -42*v + 28*v + 26306 = 0. Does 79 divide v?
False
Let d(c) = -44*c**2 - 353*c + 2. Does 9 divide d(-8)?
False
Let s = 19 - 10. Let d(r) = r + 5. Let z be d(-6). Let i = s + z. Does 5 divide i?
False
Suppose -3*b + 101 = 2*l, -5*b + 142 = -b - l. Is 5/(b/(-2)) - (-219)/7 a multiple of 17?
False
Let t(g) = g**2 + 3*g - 2. Let i be t(-4). Suppose 0 = y - 0*y - 5*b - 100, 0 = i*y + 2*b - 188. Is y a multiple of 32?
False
Suppose 0 = 2*o - 1 - 5. Let y(z) = 3 - z**o - 7 + z**2 + 17 + 3*z - 2*z. Is y(0) a multiple of 8?
False
Let z(m) = -10*m**3 + m**2 + 3*m + 2. Let y be 1 + -6 - (-1)/((-2)/(-6)). Is z(y) a multiple of 20?
True
Let r = 30 + -25. Suppose -4*t - 650 = -5*p + 13, 834 = -r*t + p. Let w = t + 236. Is 20 a factor of w?
False
Let n = -58 + 388. Is 6 a factor of n?
True
Suppose -88*r = -49*r - 52923. Is 15 a factor of r?
False
Let s(o) = -94*o - 284. Does 32 divide s(-18)?
True
Let b(l) = -3*l - 6. Suppose 8*x - 3*x = 45. Let s = x + -27. Is 16 a factor of b(s)?
True
Let u = -792 + 1012. Does 5 divide u?
True
Let k be ((-4)/6)/((-3)/(-9)). Let q be (-25)/2 + ((-28)/8)/(-7). Is 14 a factor of (21/q)/(k/48)?
True
Suppose 2*l + 4*b - 324 = 0, -5*l + 3*b = -44 - 779. Is 6 a factor of l?
False
Does 12 divide (-4)/((-24)/1830) - 3?
False
Suppose -6*g = -4*g. Suppose 6*y + 6 = 5*c + 3*y, g = c + 5*y + 10. Suppose 0 = -3*a + 3*v + 81, a + v + 0*v - 37 = c. Does 12 divide a?
False
Suppose -5*q + 35 = 2*q. Suppose 0 = -2*o - 4*d - 8, -o + q*d + 4 = -5*o. Is 2 a factor of o?
True
Let l(f) = 4*f**2 - 2*f - 3. Suppose 0 = p - 5. Let d be -5 + p + -2 + 0. Does 17 divide l(d)?
True
Let n = 48 - 31. Let f(r) = -13*r - 26. Let l(m) = 4*m + 9. Let v(a) = n*l(a) + 6*f(a). Is 9 a factor of v(-4)?
False
Suppose 2*f + 5 - 11 = 0. Suppose 4 = -f*t + 10. Suppose -t*r + 36 = 2*r. Is r a multiple of 5?
False
Suppose -5*j + 2*l = -11432, -3*l = -4*j + 11280 - 2140. Is j a multiple of 11?
True
Let f(r) = -5*r**3 + 4*r - 2*r + 4*r**3 - 8*r**2 + 10. Let q be 9*(0 + 1*-1). Is f(q) a multiple of 34?
False
Suppose -2*g + 2444 = -3*d + 6732, -4*d + 4*g + 5716 = 0. Does 45 divide d?
False
Let i = 785 - 367. Does 19 divide i?
True
Let r be 6*(-8)/(-6)*1. Suppose 246 = 7*h + r. Does 17 divide h?
True
Let y(l) = -25*l - 27. Let x be y(-7). Let d(b) = -2*b - 12. Let m be d(-8). Suppose m*j = 3*i + x, -4*j + 19 = 2*i - 109. Does 8 divide j?
Fa