3*f - t - 0, -41 = -o - 5*f. Let l = o + -31. Does 5 divide l?
True
Does 5 divide (-4 - (-364)/(-12))/((-3)/9)?
False
Let w(b) = 30*b - 3. Let f be w(-5). Let r be f/(-1)*3/9. Suppose -i - 68 = -5*d + 71, -2*d + 5*i + r = 0. Is 10 a factor of d?
False
Suppose m + 3*m + 8 = 0, 4*f + 4*m - 256 = 0. Suppose -f = q - 161. Does 8 divide q?
False
Suppose -3*z + 7 + 3 = g, -21 = -2*g - 5*z. Let m(t) = -t**3 + 14*t**2 - 14*t + 17. Let j be m(g). Let c = 23 - j. Is c a multiple of 17?
False
Let k = -60 - -65. Suppose -24 - 36 = -k*f. Is 3 a factor of f?
True
Let f = 210 + 454. Does 39 divide f?
False
Let t be (-2)/(1 - (1 - -2)). Let c(o) = -5*o - 2*o + 10*o + t. Does 6 divide c(6)?
False
Let x(v) = v**3 - v**2 - 13*v + 12. Does 8 divide x(4)?
True
Let l(k) = 98*k**2 - 9*k + 81. Is l(6) a multiple of 79?
True
Let p be (-208)/12*6/(-4). Let f = p + -14. Is ((-16)/f)/(4/(-150)) a multiple of 12?
False
Let m be (-46)/(-8) - 1/(16/(-4)). Suppose 0 = p - 8 - m. Is 3 a factor of p?
False
Let a(c) = -c**2 + 15*c - 9. Let r be a(14). Let s(o) = 1 - 4*o - r*o - 15*o. Does 7 divide s(-1)?
False
Let m be (-1)/(-2) - 1/(-2). Is 11 a factor of 3636/96 + m/8?
False
Let j = 229 - -19. Suppose -j + 8 = 5*h. Is ((-1)/2)/(2/h) a multiple of 3?
True
Let z(m) = 6*m**2 - 2*m + 1. Let l be z(1). Suppose -4*k = -3*c - 151, -2*c + 4*k - 32 = 70. Let p = l - c. Is p a multiple of 27?
True
Let j = -59 + 33. Let v = j + -62. Let f = -44 - v. Is 29 a factor of f?
False
Suppose -1987 = -4*y - 271. Is y a multiple of 13?
True
Let y = 557 - 293. Is 11 a factor of y?
True
Let f be (-1)/(-4) - (-6132)/48. Suppose 5*j + 4*y - 14 = 98, 5*j - f = 4*y. Suppose -6*h + 3*o + 48 = -2*h, 4*h = -3*o + j. Does 7 divide h?
False
Let h(d) = -d - 32. Let o be h(13). Let w = o - -127. Is w a multiple of 14?
False
Let k = 363 + -356. Does 7 divide k?
True
Let n be (-32)/(-80) - 157/5. Let l = 54 - n. Is l a multiple of 30?
False
Suppose -3*g - 576 = -2*a, 4*a = -3*g + 471 + 699. Let l = a - 141. Does 30 divide l?
True
Suppose 4*g - 3 = -3*y + 83, -4*g = 2*y - 64. Let p = 6 + y. Is (-4)/(-8)*p*1 a multiple of 7?
True
Suppose -2*o - 8 = -4*o + 2*u, 5*o = 3*u + 28. Let b be -1 - 17/(-2 + 1). Suppose j - o - b = 0. Is 24 a factor of j?
True
Let o(j) = 73*j - 201. Is o(20) a multiple of 36?
False
Let u(o) be the third derivative of o**6/120 - o**4/24 + 5*o**3/6 + 8*o**2. Let i be u(0). Let c(a) = a**2 + a - 2. Does 11 divide c(i)?
False
Is 6 - ((-10)/(-5) - 100) a multiple of 52?
True
Let i(u) = u + 14. Let c be i(-6). Does 28 divide 57 - 0 - 8/c?
True
Let v be (-4)/(-3)*(-18)/(-12) - -69. Let s = v - 43. Is 7 a factor of s?
True
Suppose 12*p = -p + 7436. Is p a multiple of 9?
False
Suppose -35*q + 24*q = -33. Is q even?
False
Let v be (-2 + 3)*-1*-1. Let b = -1 + v. Suppose 2*f = 8, -f + 20 = -b*s + s. Is s a multiple of 16?
True
Let z(g) = g**3 + 17*g**2 - 38*g + 1. Let t be z(-19). Let d(m) = 123*m - 6. Does 13 divide d(t)?
True
Let j(v) = -v**3 + 25*v**2 - 68*v - 4. Is 26 a factor of j(5)?
True
Let n(t) = 3*t**3 - 12*t**2 + 19*t - 81. Is 45 a factor of n(7)?
False
Suppose 5*f = -y + 4*y - 9, -6 = -2*y + 5*f. Suppose 90 = y*n - 54. Is n a multiple of 16?
True
Let n(j) = 8*j + 48. Is 24 a factor of n(0)?
True
Let t = -1264 + 2321. Does 65 divide t?
False
Suppose 0 = -4*s - c - 2*c + 519, -2*s - 4*c + 262 = 0. Is s a multiple of 22?
False
Suppose -2*f = 2*h, -2*f = -6*f - 8. Suppose h*a + 1 = 3. Is (-3 - -6)*(2 + a) a multiple of 9?
True
Let c be ((-1)/(-5) + -1)/((-5)/200). Is 11 a factor of c - (-2 + 3 + -4)?
False
Suppose 4*r = -r + 135. Suppose 0 = -s + r + 2. Is 12 a factor of s?
False
Suppose 5*q - 30*q + 15225 = 0. Is q a multiple of 34?
False
Let d(z) = -51*z - 7. Let r = -34 - -32. Does 19 divide d(r)?
True
Suppose 3*p = -5*q + 320, 0 = -0*q + 5*q - 4*p - 320. Let n(m) = -2*m**3 + m**2 - m + 2. Let s be n(-2). Let f = q - s. Does 24 divide f?
False
Let l(h) = -h**3 - 14*h**2 - 8*h + 21. Is l(-14) a multiple of 24?
False
Suppose -4*a + 2 = -3*x - 1, 4*x - 15 = -a. Suppose 3*n + r - 222 = -2*r, x*n = 5*r + 254. Is n a multiple of 10?
False
Suppose -2*a - 667 = -1999. Let y be a/(-21) - (-2)/(-7). Is 6 a factor of y/(-2) + -2 + 1?
False
Suppose -4 = -2*y + 6. Suppose 0 = y*i - 0*i - 280. Let q = -27 + i. Is 25 a factor of q?
False
Let t = -400 - -431. Is t a multiple of 31?
True
Suppose 6*i - 10*i + 156 = 0. Suppose 0 = -h + i + 71. Does 19 divide h?
False
Suppose 96 = 7*x + 5*x. Let s = x - -19. Is s a multiple of 11?
False
Suppose 0 = -2*b - 5*f - 128, f + 70 = -b - 3*f. Let v be b*(0 + (-9)/6). Suppose 2*z + 7 = v. Is z a multiple of 12?
False
Let t(c) = c**2 - c + 1. Let f(d) = -9*d**2 - 7*d + 1. Let i(m) = -f(m) - 3*t(m). Is 38 a factor of i(-6)?
True
Let l(p) = 6*p - 19. Let d be l(12). Suppose 30 + d = x. Is 10 a factor of x?
False
Let g = -60 - -207. Let v = 36 + g. Does 32 divide v?
False
Let z = -23 + 27. Suppose z*n - 67 = 3*a, -3*n - 3*a + 50 = 2*n. Is 13 a factor of n?
True
Suppose 35 = 5*f - 10. Let z = f + -6. Suppose z*d + 270 = 3*h, -3*d + 252 = 2*h + h. Does 29 divide h?
True
Let p = 65 - 62. Suppose -9 = -p*d, 2*v - 5*d = -v. Is 5 a factor of v?
True
Suppose -2*y - 2*y = -8. Let t(i) = 4*i**y + 3*i**2 + 6*i - 3*i**2 - 4. Is t(-5) a multiple of 22?
True
Suppose -t = 3 - 6. Suppose -t - 3 = -3*z. Is z a multiple of 2?
True
Let f(n) = 4*n + 27. Let y be f(-9). Is 2/(-6) - 1353/y a multiple of 30?
True
Is 2/(-6)*((-7489 - -17) + 8) a multiple of 15?
False
Let w = -1563 + 2191. Does 14 divide w?
False
Let t(v) be the second derivative of 13*v**4/6 - v**3/6 + v**2 + 10*v. Is t(-2) a multiple of 27?
True
Suppose -6*q = -2*q. Does 10 divide 2 - -164*(3 + q)/6?
False
Let w(a) = 25*a**2 - 4*a - 7. Let l be (12/(-5) - -2)/(1/5). Does 14 divide w(l)?
False
Suppose -24 = -3*j - 2*t + 14, j = t + 16. Suppose -15*w = -j*w - 48. Does 16 divide w?
True
Suppose 1295 = 4*x - 3*i - 2*i, x - 327 = -2*i. Is 12 a factor of x?
False
Let c be 5946/33 + (-2)/11. Let y = -8 + 11. Suppose 105 + c = y*v. Is 20 a factor of v?
False
Let r = 58 - 51. Suppose -r*f + 106 = -531. Is 4 a factor of f?
False
Suppose -337 = 4*s - 4*i - 1917, 3*s - 4*i - 1189 = 0. Does 23 divide s?
True
Let k = 14 + -14. Suppose -p + 1 + 8 = k. Is 9 a factor of p?
True
Does 7 divide (-78)/390 + (31092/15)/4?
True
Let x = -18 + 19. Let v = x + 23. Is 6 a factor of v?
True
Suppose -4*q = 2*t + 3*t - 250, -5*q = -4*t - 292. Suppose -2*a = -6*a - q. Is 6 a factor of a*(1 - (-8)/(-3))?
False
Let a(z) = -14 + 8 + 10 - z. Let v be a(0). Is 34*3/6*v a multiple of 21?
False
Suppose 3*v + 9 = 0, -38 = -c - 0*c - 3*v. Suppose -5*a - 15 = 0, -2*y = -8*a + 3*a + 23. Let j = y + c. Does 14 divide j?
True
Let l = 76 - -124. Is 40 a factor of l?
True
Let q(g) = g**2 - 2*g + 3. Let p be q(2). Suppose l = p*z + 2, 2*l - 24 + 9 = -5*z. Suppose -s = -5 - z. Is s a multiple of 6?
True
Suppose i + 12 = 11. Let z be (7644/65)/(i/(-5)). Suppose -7*y - 112 + z = 0. Is 17 a factor of y?
True
Suppose -209*a + 212*a - 8910 = 0. Does 30 divide a?
True
Let v(y) = -3*y - y**2 + 5*y + 3*y + 3. Let q be v(5). Is 5/(-5) + 5*q a multiple of 6?
False
Does 24 divide (-1732)/(-8) + 2/(-4)?
True
Let m = -32 - -28. Let i be ((-75)/6)/((-2)/m). Is 29 a factor of i/(-3 - -2) + 4?
True
Let u(h) = -5*h**3 - 5*h**2 + 6*h - 9. Does 9 divide u(-4)?
True
Let f = 3 + 1. Suppose 3*b + 9 = o, -2*b + b + 1 = o. Suppose o*y + 9 = 6*y, -5*y - 81 = -f*g. Does 6 divide g?
True
Suppose 5*j = 36 + 74. Does 22 divide j?
True
Let h = -31 + 27. Is 10 a factor of (-56)/70*170/h?
False
Is 3000/3 - 4/(-5 - -7) a multiple of 117?
False
Suppose -4*a = 607 - 2095. Suppose -c = 2*c - a. Is 15 a factor of c?
False
Let k(l) = -3*l**3 + 4*l. Let q be k(2). Let t be -4*(-3 - 2 - -1). Does 5 divide q/(-6)*84/t?
False
Suppose -47*q - 3420 = -53*q. Is 6 a factor of q?
True
Suppose -3*w - 15 = 0, w = -2*h - 0*w + 555. Suppose i - 3*d - 84 = 0, -2*d - h = -7*i + 4*i. Is i a multiple of 25?
False
Suppose 2*x = 4*j + 94 + 90, -4*x + 383 = -5*j. Is x a multiple of 34?
True
Let n(b) = -3*b + 1. Let k(j) = -j - 9. Suppose -v - 5 = -3*w, 4*v + 35 = -2*w - w. Let m be k(v). Is n(m) a multiple of 2?
True
Is (-5 + 2/2)/(1/(-16)) a multiple of 32?
True
Let l(y) be the third derivative of -y**7/840 + y**6/120 + y**5