 - 476 = -4*c, -328 = -4*v - 4*c + u. Suppose h - k = v, -4*h - 65 = 5*k - 431. Is 32 a factor of h?
False
Suppose 11*x - 192 = 27*x. Let c(j) = j**3 + 23*j**2 - 24*j + 1. Let o be c(-24). Does 11 divide 3*(0 + o - x)?
False
Let i(y) = 7*y**2 + 426*y - 38. Let n be i(-61). Let k be 1 + 4 + (-1)/1. Is (k + -1)*437/n a multiple of 7?
False
Suppose 0 = 238*i - 51*i - 1512082. Does 26 divide i?
True
Let j(u) = -u**3 - 14*u**2 + u - 15. Let h = -163 + 148. Does 6 divide j(h)?
False
Let q = -9274 - -25561. Is 122 a factor of q?
False
Let w = 1324 - -3620. Is w a multiple of 48?
True
Suppose -v - 2*v = -4*p - 24, -4*v + 32 = 4*p. Suppose 0 = 5*i - 10, 9*t - v*t - 1405 = -5*i. Does 31 divide t?
True
Suppose 56*r + 106*r - 21*r = 1611912. Is r a multiple of 117?
False
Suppose t + 3*l - 78 - 61 = 0, 0 = -4*l + 4. Suppose 0 = -7*v - t + 500. Does 4 divide v?
True
Let v = 5490 - 1460. Suppose -v = 122*g - 127*g. Is 13 a factor of g?
True
Suppose 2*d - 2 = 0, 5*w - 14 = 2*d - 6*d. Let c(x) = 98*x + 4. Let g be c(w). Suppose -g = -4*f - f. Is 8 a factor of f?
True
Let x be ((-3)/(-11))/((-36)/(-396)). Suppose -x*f + 2410 + 1046 = 0. Does 96 divide f?
True
Let p be (-74 - -3)*(-2 - -1). Let b = 494 - 490. Let g = p + b. Is g a multiple of 25?
True
Does 8 divide ((74 - -1) + 1)/(4 + 12818/(-3211))?
False
Let o = -7 + 4. Let w(u) = 237*u - 48. Let p(y) = -85*y + 16. Let n(d) = -11*p(d) - 4*w(d). Is 4 a factor of n(o)?
False
Let w(i) = -i**3 - 10*i**2 - i - 20. Let j be w(-13). Suppose -4*v + f + 1958 = 0, -v + 4*f = 9*f - j. Is v a multiple of 49?
True
Does 29 divide (32/(-144))/(-2) + (-364011)/(-27)?
False
Let r = -460 + 1960. Suppose 4*y = 5*w - 2*w - r, w = 2*y + 500. Is w a multiple of 46?
False
Suppose -5*p = 15, -2*f - 6*p = -7*p + 275. Let x = -113 - f. Is x a multiple of 23?
False
Let u be 0/(-1)*(-3 - -2). Suppose u = -20*m + 23*m - 228. Is 19 a factor of m?
True
Let v(a) = 79*a - 70. Let r be v(5). Suppose 227 + r = 8*g. Is g a multiple of 23?
True
Let j(d) = d**3 + 21*d**2 - 28*d - 26. Let c(x) = -x**3 - 12*x**2 - 6*x + 14. Let v be c(-12). Let w = v - 108. Does 7 divide j(w)?
False
Let l = 43062 - -22014. Is 174 a factor of l?
True
Let s be -3*((-16)/(-4) - 6). Let m be s/(-4)*1*-2. Suppose -m*n + 66 = o, -n - 269 = -4*o - 57. Is 18 a factor of o?
True
Let n(k) = -4*k + 4. Let w be n(8). Let j be (32 + w)/((-2)/(-16)). Does 7 divide j/(-12)*(-21)/2?
True
Let p = 10937 + -10097. Is p a multiple of 2?
True
Suppose -392*t + 1072 = -388*t. Suppose 1226 + t = 9*u. Is 9 a factor of u?
False
Let q(g) = -g**2 - g - 1. Let f(o) = -4*o**2 - 23*o - 42. Suppose -1 = -20*a + 19*a. Let j(t) = a*f(t) - 5*q(t). Does 17 divide j(22)?
True
Let w = -2281 - -3298. Suppose -f = 170 - w. Is 47 a factor of f/9 + (-1)/9?
True
Let c = -4035 + 9829. Is c a multiple of 12?
False
Let y(w) = w**3 + 7*w - 3. Let u be y(-4). Let r = u + 99. Suppose -4*h + 5*d + 48 = d, r*d = 12. Does 5 divide h?
True
Let w(y) be the third derivative of -y**6/120 - y**5/60 + y**4/8 + 30*y**3 + 19*y**2. Suppose -3*k + 0*k = 0. Is w(k) a multiple of 13?
False
Let h be 1*(8/2 + 1). Suppose 14*t - 558 = h*t. Is t a multiple of 4?
False
Suppose -4*x + k = -12, 12 = -0*x - 4*x - 5*k. Suppose 0 = -x*t + 4*t - 46. Suppose 0 = n - 89 + t. Is n a multiple of 31?
False
Let v(a) = 3*a - 19. Let p be v(7). Let l be p*(1 + 1 - 4). Let b = l + 30. Does 10 divide b?
False
Let k(f) = 8*f - 209. Let s(b) = -b + 104. Let q(u) = -4*k(u) - 9*s(u). Does 13 divide q(-46)?
False
Let c(q) = q**3 + 11*q**2 + 8*q - 7. Let a be c(-10). Let w(z) = z**3 - 5*z**2 - 10*z - 4. Let y be w(a). Suppose 10*s - y = 4*s. Is s a multiple of 18?
False
Is (24/420*54376 - 4/(-5)) + -8 a multiple of 155?
True
Is 13*99/(-22)*310/(-3) a multiple of 195?
True
Let r(x) = 9*x**2 + 1. Let w be r(-1). Let p be (w/15)/((-2)/(-3)) + -5. Does 26 divide (-206)/p - (-13)/26?
True
Let o = -40 + 42. Suppose 9*a - 2288 = -o*a. Is a a multiple of 7?
False
Suppose 3*v = 5*s + 869, -2*v + 129*s + 581 = 126*s. Does 3 divide v?
False
Let r be (8 + -2)/((45/70)/3). Suppose v - 2*p = 14, -3*p = v - r - 6. Suppose 0 = -i + v + 21. Does 2 divide i?
False
Suppose 0 = 151*v - 146*v - 3210. Does 5 divide v?
False
Let n(f) = 170*f**2 + 17*f - 26. Is 26 a factor of n(-4)?
True
Suppose c + 3*m = 21 + 6, -2*c + 4*m = -24. Suppose -c*h + 2981 + 1303 = 0. Does 17 divide h?
True
Suppose 5*m - 17 = -3*z - 1, 3*z - 14 = -4*m. Suppose 881 = 5*h - k, m*h - 19 - 328 = -5*k. Is h a multiple of 22?
True
Suppose 3*i - 177 = 108. Let b = i - 155. Let q = b + 247. Is q a multiple of 22?
False
Let z(x) = 8*x**2 - 24*x + 78. Is 4 a factor of z(5)?
False
Let r = 2623 - -7473. Does 51 divide r?
False
Let g = 4 + 1. Let s be 316/g + (-3)/15. Let h = s - 41. Is 5 a factor of h?
False
Is (-7 + (-87)/(-9))/((-24)/(-41004)) a multiple of 4?
True
Suppose 5*u + 2*v = 3*u + 88, 0 = -2*u + v + 73. Suppose 4*z = -4, 11*x - 3*z = 7*x + u. Is x a multiple of 5?
False
Let z(q) = 0*q**2 + 6*q - q**2 - 14 + 17*q - 16. Let f = -23 + 34. Does 17 divide z(f)?
True
Let g(l) = l**3 - 7*l**2 + 8*l - 2. Let b(i) = i**3 - 7*i**2 + 7*i - 1. Let t(w) = -7*b(w) + 6*g(w). Let x be t(7). Does 10 divide 37 + 8/((-32)/x)?
True
Suppose 21*a = 25*a - 20. Suppose -f - 642 = -4*d, 0 = -2*f + a*f + 6. Is d a multiple of 16?
True
Suppose 29 = -2*s - 51. Suppose 186 = -143*q + 59*q + 53*q. Is 6 a factor of (s/q)/((-2)/(-3))?
False
Let k = -1471 - -795. Let r = -276 - k. Is r a multiple of 10?
True
Let j be 8*(-7)/476 + 72/34. Suppose j*h - 640 = 60. Does 10 divide h?
True
Is 10 a factor of (0 - (-12)/21)/(88/2325708)?
False
Suppose 112 = -16*d + 12*d. Let u be (-48)/(-28) + (-8)/d. Is 19 a factor of ((-247)/39)/(u/(-36))?
True
Suppose 0 = -4*s - 0*s + 16. Suppose x - s - 1 = 0. Suppose -x*g + 6 = -2*g, 5*c - 5*g - 145 = 0. Is c a multiple of 12?
False
Let c(l) = 2*l**2 - l - 1. Let n be c(-1). Suppose j - n*r - 583 = 0, -4 = 4*r - 8. Is 50 a factor of j?
False
Suppose -3*t + 33*v - 35*v = -1, 4*v = -4*t + 8. Let j(q) = 19*q**2 - 11. Is 40 a factor of j(t)?
True
Let w = 1875 + 10108. Does 90 divide w?
False
Suppose 4 = 2*m, -5*n + n + m + 6 = 0. Let j = 404 + -206. Suppose -v - n*v = -j. Is v a multiple of 20?
False
Let t be (-84168)/(-224) - (-6)/(-8). Suppose 7*m - t = 1025. Is m a multiple of 10?
True
Let j(z) be the first derivative of 458*z**3/3 + 5*z**2/2 + 7*z - 3. Does 17 divide j(-1)?
False
Let w(i) = i**2 + i + 68. Let c be w(0). Let b = -59 + c. Is 9 a factor of b/1*(7 + -2)?
True
Let a(k) = -8*k - 14. Suppose 0 = 6*h - 0*h. Let t be (2/6)/((-7)/63) - h. Does 2 divide a(t)?
True
Suppose 0 = 301*r - 1179266 - 950008. Is 8 a factor of r?
False
Let d = 244 - 236. Let l(o) = 45*o + 4. Let k be l(4). Suppose -k - 200 = -d*p. Is p a multiple of 8?
True
Let g(v) be the second derivative of 7*v**4/12 + 3*v**3 - 23*v**2/2 + 148*v. Does 13 divide g(9)?
False
Let u(g) be the third derivative of g**5/60 - 5*g**4/24 - 16*g**3/3 + 64*g**2. Is u(-6) a multiple of 2?
True
Is (-12)/(-14) + (-2070828)/(-322) a multiple of 25?
False
Let f(b) = 200*b - 484. Does 6 divide f(5)?
True
Suppose -42*a = -45*a - u + 980, 0 = -2*a + 3*u + 657. Is 10 a factor of a?
False
Let b(m) = 56*m + 4. Let o be b(-4). Let r be (-4 + o/(-6))*3. Suppose -8*a + r = -a. Does 5 divide a?
False
Suppose -11*r = -21 - 89. Let t = 230 - r. Is t a multiple of 20?
True
Let q be 5*1 - (7 - (-30)/(-5)). Suppose 0 = -q*x + 3*v + 5, 4*v - 19 = 1. Suppose 0 = x*t + i - 359 + 8, 4 = -i. Is t a multiple of 25?
False
Let i be (155/6 - (-7)/(-21))*-4. Is ((-130)/(-30))/((-2)/i) a multiple of 17?
True
Let x(h) = -h**2 - 9*h - 6. Let i be x(-4). Let c = -1 + i. Suppose -c + 247 = 9*y. Does 13 divide y?
True
Suppose 3*v = 3085 + 488. Is (0 + v)/(189/126) a multiple of 36?
False
Let j(g) = 4*g**2 + 21*g - 10*g - g**3 - 12 - g**3. Let u be j(4). Does 30 divide u/96 - 2/(6/(-631))?
True
Let i be (-2)/1*5355/10. Let a = -755 - i. Suppose 5*f = 324 + a. Is f a multiple of 32?
True
Is 5 a factor of (85 - 40)*744/18?
True
Suppose -505840 = -456*f + 47744. Is 5 a factor of f?
False
Suppose -14*f - 63*f = -558404. Is f a multiple of 8?
False
Suppose 2*w - 45307 - 26466 = 5*k, 0 = 3*w - k - 107705. Does 176 divide w?
True
Suppose 0 = 178*s - 181*s + 20592. Suppose 28*p - 6*p - s