5 + (131/(-4))/((-15)/360) a multiple of 22?
False
Suppose r = 3*r - 4. Suppose 4*x - 3*o = 117, 4*x = -r*o - o + 123. Does 10 divide x?
True
Let c(q) = 3*q - 3*q - q. Let i(n) = -n**3 + 4*n**2 + 14*n + 3. Let r(a) = 3*c(a) + i(a). Is r(5) a multiple of 7?
False
Let f(l) = -26*l - 32. Is 46 a factor of f(-3)?
True
Suppose 0 = 4*n - 113 - 63. Let j(g) = -g**3 + 6*g**2 + 63*g - 16. Let v be j(11). Let i = v - n. Does 14 divide i?
True
Suppose 145*g + 15750 = 154*g. Does 50 divide g?
True
Let z(a) = 34*a**2 - 6*a - 9. Does 33 divide z(3)?
False
Does 9 divide ((-26)/(-8) - 1)*(-390208)/(-546)?
False
Suppose 6*t = 3*r + 3*t - 195, -2*r + 95 = 5*t. Is (-2)/3 + r/9 a multiple of 2?
True
Suppose 0 = 5*g - 9 + 29, -52 = -2*v + 5*g. Does 7 divide ((-949)/(-52))/(2/v)?
False
Suppose 5289 = 4*q + 3*o, 9*q + 4*o = 11*q - 2672. Is q a multiple of 26?
True
Suppose -4*d - 12 = -y - 2, -2*y + 6 = -d. Suppose 7*b = 997 - 24. Suppose y*r + 4 = 2, 4*i = -5*r + b. Is 9 a factor of i?
True
Let v = -11 - -20. Let j be v/27 + 2/(-6). Suppose -2*f + 390 - 86 = j. Is 40 a factor of f?
False
Let l = -26 - -29. Suppose l*o + 5*r = 177, 5*o - 291 - 4 = -5*r. Is 11 a factor of o?
False
Let g be -2 + 54/24 - (-77)/(-4). Let w = 59 + g. Is w a multiple of 5?
True
Let d(s) = 22*s**2 - 2*s. Suppose -3*t + 2*a + 8 = 0, -4*a = -2*t + 4 - 12. Let k(x) = -2*x + 14. Let j be k(t). Is 21 a factor of d(j)?
True
Is 55 a factor of 761 - (-4 + -4 + 8)?
False
Suppose -6*w + w + 40 = 0. Suppose -800 = -w*o - 0*o. Is 7 a factor of o?
False
Let u = 2124 - 775. Is 16 a factor of u?
False
Let q be ((-83)/4)/(105/20 - 5). Let d = q - -91. Is 3 a factor of d?
False
Let x(w) = 346*w - 756. Does 17 divide x(5)?
False
Let i(r) = -r**3 - 32*r**2 - 44*r - 53. Does 7 divide i(-31)?
True
Let j(d) = d**2 - 7*d - 8. Let k be j(-13). Suppose 3*v = o - 58, -68 = -5*o + 5*v + k. Suppose 5*w - 5*a - 85 = 0, -5*w + 0*a - 4*a = -o. Does 15 divide w?
True
Let d(b) = b**3 + 15*b**2 + 14*b + 14. Let g be d(-14). Suppose 0 = g*u - 10*u - 720. Is 45 a factor of u?
True
Let j = 11 - 8. Let l(s) = s + 21. Does 2 divide l(j)?
True
Suppose 0 = -3*y - 3*t + 48 - 3, 0 = -3*y - t + 41. Suppose y + 12 = 5*c. Suppose -17 = -c*u - d, 4*d = -5*u - 0*d + 8. Does 2 divide u?
True
Suppose 2*d + 5 = 7*d. Let j(h) = -31*h**2 + 2*h - 7. Let r(p) = -46*p**2 + 3*p - 11. Let y(k) = -8*j(k) + 5*r(k). Is y(d) a multiple of 4?
False
Let d(k) = -k**3 - 19*k**2 + 15*k - 5. Let m be -3 + 4 + (-1 - (-1 - -21)). Does 19 divide d(m)?
True
Suppose 3*g - 74 - 16 = 0. Is 15 a factor of g?
True
Let y(r) be the third derivative of -r**5/60 - 3*r**4/8 - 4*r**3/3 + 11*r**2. Is 6 a factor of y(-7)?
True
Suppose a = 5*v + 3*a + 208, 5*a = -20. Let q = 93 + v. Let i = q - 14. Does 13 divide i?
True
Let h be ((-6)/(-3) + 2)*2/4. Is (13/h)/((-2)/(-16)) a multiple of 14?
False
Let s = -101 - -10. Let z = s - -62. Let j = 15 - z. Is 14 a factor of j?
False
Suppose -5*f = 4*m + 13, 7 = 4*m - 5*f + 6*f. Let a(b) = -54*b + 61. Let c(r) = -11*r + 12. Let h(s) = 2*a(s) - 11*c(s). Is h(m) a multiple of 10?
False
Suppose 18*r - 296 = 8020. Does 71 divide r?
False
Let n be 68/1 - 0/1. Suppose 5*j = -t + 55, 5*t + n = 4*j + t. Is 10 a factor of j*4/((-32)/(-18))?
False
Suppose -346*y + 338*y + 11432 = 0. Does 7 divide y?
False
Let h = 24 - -747. Is 18 a factor of h?
False
Suppose 3*i - 1435 = -121. Does 73 divide i?
True
Suppose -2662 = -3*o + 2*f, -24*f + 3547 = 4*o - 29*f. Does 12 divide o?
True
Let b be 4*(-475)/10*6/4. Let s = -165 - b. Does 20 divide s?
True
Suppose -2 = -5*i + 18. Suppose 5*m - 2*k - 252 = 62, i*m + 2*k - 262 = 0. Does 6 divide m?
False
Let r = 62 + 114. Does 16 divide r?
True
Let u(f) be the third derivative of -f**5/60 + 3*f**4/4 + 2*f**3 - f**2. Let w = 184 + -168. Is 18 a factor of u(w)?
False
Suppose -3*h = 2 + 82. Let s be (h/21)/(4/(-6)). Let t = s + 19. Is t a multiple of 7?
True
Suppose w - 7 = -2. Suppose -3*i + w = -2*i. Suppose -3*r + x = r - 250, 0 = -i*r + x + 312. Is 31 a factor of r?
True
Suppose 3381 = 22*u - 2779. Is u a multiple of 56?
True
Suppose 35*b - 9414 = 29*b. Is 14 a factor of b?
False
Let v(l) be the second derivative of 2*l**3/3 + 7*l**2 + 3*l. Does 8 divide v(7)?
False
Let j(h) = -8*h**2 + 2*h**2 + 11*h - 8 + 7*h**3 - 3*h - 6*h**3. Let d = 12 - 6. Is 20 a factor of j(d)?
True
Suppose -8*l + 9*l = -3*i + 1301, -5*i - 5*l + 2185 = 0. Does 54 divide i?
True
Suppose 0 = -4*w + 4*b + 924, w - 28 = 5*b + 195. Is 44 a factor of w?
False
Suppose -2*g - 3*g = 20. Let v(m) = -m**2 - 2*m + 6. Let b be v(g). Is 13 a factor of 16 + b*2/4?
False
Let x(h) = -h**3 - 14*h**2 + 17*h + 22. Let w be x(-14). Let y = w + 436. Is y a multiple of 38?
False
Let u = 2 - -34. Let x(h) = h**3 + 9*h**2 - 8*h + 12. Let j be x(-10). Let l = j + u. Is 12 a factor of l?
False
Suppose -17*r + 11520 = 19*r. Does 16 divide r?
True
Suppose 4*y - 8*y + 28 = 0. Suppose 0 = g - r - 4*r - y, -2*r = 4*g - 6. Suppose 27 = i + 3*b - 6, 0 = -4*i + g*b + 188. Does 17 divide i?
False
Let j = 193 - -21. Is j a multiple of 3?
False
Let b(j) = -j + 1. Let v(d) = 10*d + 5. Let r(o) = 5*b(o) - v(o). Let h be r(3). Let t = h - -137. Is 16 a factor of t?
False
Let a be (-1)/(-2) - 1/2. Suppose 22 = 15*s - 4*s. Suppose 4*j = s*z + 104, -4*j = -a*j + z - 92. Is 8 a factor of j?
True
Let v = 82 + -20. Suppose 3*q - 22 = v. Does 14 divide q?
True
Let w be 1/3 - (-2180)/30. Let r = 112 - w. Is 4 a factor of r?
False
Suppose -5*m + 3*m = -10. Suppose -m*d = -d - 580. Let n = d - 95. Is 10 a factor of n?
True
Suppose 0 = 5*v - 3*q - 9015, 0 = v - 7*q + 4*q - 1791. Is 21 a factor of v?
True
Let u(d) be the third derivative of 0 + 0*d - 4/3*d**4 + 1/3*d**3 + 5*d**2. Is u(-2) a multiple of 22?
True
Let v = 515 - -1315. Is v a multiple of 10?
True
Let t = 6 - 6. Suppose 66 = k + v, t = k + 4*k + 4*v - 326. Suppose -9*f + k = -7*f. Is 31 a factor of f?
True
Let j = -71 + 171. Let o = j + 10. Is 11 a factor of o?
True
Is (-24)/(9 - 292/32) a multiple of 12?
True
Let q(m) = m**3 - 11*m**2 + 15*m - 9. Let k = 83 - 73. Is q(k) a multiple of 20?
False
Suppose 5*q - 6 = 2*q. Suppose -t = -q*i - 129, -4*i - 194 = 5*t - 769. Does 17 divide t?
True
Let z(d) = 91*d + 665. Is 19 a factor of z(0)?
True
Suppose 6*q = 6547 + 341. Does 28 divide q?
True
Suppose 0 = f + 2*f. Suppose 0 = 5*n - 10*n - 2*z + 86, 5*n - 2*z - 94 = f. Is n a multiple of 18?
True
Let s(o) = -5*o**2 - 4*o + 9. Let b be s(4). Does 4 divide 2/(-6) + (-986)/b?
False
Let b(y) = 2*y**2 + 2*y + 1. Let l be b(-1). Let p be -3 + l*(-72)/(-3). Is 16 a factor of p/(-28) - 182/(-8)?
False
Is (-939)/(-3) + (0 - 1) a multiple of 24?
True
Let c be 37806/30 - (-4)/(-20). Suppose -28*s + 35*s - c = 0. Is 18 a factor of s?
True
Let i(x) = 25*x**2 + 89*x - 2. Is 12 a factor of i(-8)?
False
Let w = -45 - -49. Suppose w*h = 7*h - 54. Does 3 divide h?
True
Suppose 0 = -112*b + 122*b - 13650. Is b a multiple of 35?
True
Let j = -1000 - -1427. Does 10 divide j?
False
Let y(z) = 0 + 5*z - z**3 + 6*z - 2 + 10*z**2. Let j be y(11). Is ((-22)/6)/(j/12) a multiple of 11?
True
Suppose 33*b = -7*b + 17640. Is b a multiple of 21?
True
Let d = -12 + 8. Let x be (4/(-1))/d - 17. Is ((-15)/(-4))/((-4)/x) a multiple of 3?
True
Suppose -4*j + 5*j = 4*d + 530, -4*j = 3*d - 2082. Does 29 divide j?
True
Let g = -46 + 53. Suppose -k + 245 = -g*m + 4*m, -m - 5 = 0. Is k a multiple of 10?
True
Let k = 63 - -637. Does 10 divide k?
True
Let o(q) = 2*q**2 - 4*q + 17. Let b(w) = -w**2 - w + 1. Let y(r) = -b(r) + o(r). Is y(-7) a multiple of 23?
True
Is (2/4)/(106389/17730 - 6) a multiple of 33?
False
Suppose -2*l = -3*l - o + 6, -2*l + 12 = -3*o. Let v be l*(0 - (-3)/9). Suppose -3*b + 5*p = -10, 5*p = -v*b - 10 + 50. Is b a multiple of 3?
False
Let v = 1 + 2. Suppose v = y - 3. Suppose y*g - 8*g = -88. Is 11 a factor of g?
True
Suppose 2*w + 40 = 436. Is w a multiple of 11?
True
Let l(w) = -w**3 - w**2 - w + 6. Let i be l(0). Suppose -i*r - 426 = 108. Let f = 125 + r. Is f a multiple of 9?
True
Suppose -746 - 220 = -7*l. Let x = l + -101. Does 29 divide x?
False
Let k(g) = g**2 - 7*g - 8. Let i be k(8). Suppose -7*z + 553 = -i*z. Is z a multiple of 13?
False
Let i = -11 + 25. Suppose 2*c = 2*r - 28, 4*c - 36 = -r - 12. Suppose x - 3*n + 2*n = i, x = 2*n + 