pose 4*w - 1322 = -3*h - w, -883 = -2*h - 5*w. Is 15 a factor of h?
False
Let v(y) = -y**3 + 4*y**2 - 3*y + 7. Let n be v(3). Suppose 780 = n*s - 228. Is s a multiple of 9?
True
Let j = 765 + -773. Let t(r) = 14*r**2 + r. Let s be t(-2). Let a = j + s. Is a a multiple of 25?
False
Let v = 583 + -303. Is v a multiple of 8?
True
Suppose n + 4*s - 893 = 0, -3*n + 5*s - 3627 = -7*n. Is 9 a factor of n?
False
Does 12 divide (1/(-3))/(4/(-1464) - 0)?
False
Suppose -5 = -b - 4. Is (-25)/(-2) - (b + 3/(-2)) a multiple of 4?
False
Let b = -8 + 732. Is b a multiple of 16?
False
Suppose 2*c - 1480 = 6*z - 10*z, -3*c = 0. Is z a multiple of 18?
False
Let q(i) = 4*i - 4. Let c(h) be the second derivative of h**5/20 + h**4/4 - 7*h**3/6 - 5*h**2/2 + 5*h. Let b be c(-4). Does 12 divide q(b)?
True
Let y(k) = -k**3 + 28*k**2 + 6*k - 10. Is y(27) a multiple of 59?
False
Let s = 12 - 9. Let h be 0/(-2 - (s + -4)). Suppose -p + 0*p + 21 = h. Does 10 divide p?
False
Let l(w) = w**2 - 4*w - 14. Let s be l(7). Suppose -4 = s*b - 32. Does 4 divide b?
True
Suppose 1568 = 4*f - 4436. Is f a multiple of 73?
False
Let z be -1*(24/(-9))/(6/(-36)). Is (z/20)/(184/(-90) - -2) even?
True
Let d be 2*((-24)/(-56) + 92/14). Suppose 3*f = d*f - 473. Does 3 divide f?
False
Is 4 a factor of -6 + (-5453)/(-49) + 2/(-7)?
False
Let u(c) = 3*c**2 - 7*c + 14. Let s be (-5)/((-25)/9)*10/3. Is 40 a factor of u(s)?
True
Suppose 45*p = -8*p + 26818. Does 20 divide p?
False
Let z(w) = 10*w**2 + w - 4. Let s be z(-4). Let n = -4 + s. Suppose -4*q = -0*q - n. Does 23 divide q?
False
Let n(s) = s**3 + 23*s**2 + 84*s + 12. Is 2 a factor of n(-18)?
True
Suppose 0 = c + 3*q - 37 - 453, -3*q = 5*c - 2426. Is c a multiple of 10?
False
Let l = -16 - -16. Suppose l*t - 3*d + 137 = 2*t, -d - 222 = -3*t. Does 7 divide t?
False
Let x be (4 - 39/9)*159. Is x/2*(-9 + 7) a multiple of 23?
False
Suppose 4*y - 140 = -2*i + 5*y, 5*i - 5*y - 340 = 0. Is i a multiple of 8?
True
Suppose -y + p + 245 = -6*y, 3*y + 165 = 3*p. Is 21 a factor of y/(-2) - (-64)/(-16)?
True
Let s(m) = 4*m**2 + 3*m + 1. Let f = -30 + 26. Is 36 a factor of s(f)?
False
Suppose -3*g - d + 6*d + 64 = 0, 0 = -3*d - 6. Suppose g*a = 12*a + 342. Does 9 divide a?
False
Let f(h) = h + 4. Let n be f(-4). Suppose -4*d + 0*d + 2*j + 326 = 0, n = 4*d - 3*j - 329. Suppose 5*g + y - 89 = -3*y, d = 5*g - 5*y. Is g a multiple of 5?
False
Let p be -275 - ((-42)/18 + 1/3). Is (p/(-9))/(1/3) a multiple of 7?
True
Let t = -44 - -77. Suppose 14*y = 3*y + t. Is 3 a factor of y?
True
Let f be 12/18*717 - -1. Let h = -240 + f. Does 55 divide h?
False
Let c(d) = -d**3 + 8*d**2 - 11*d - 5. Let o be c(8). Let h = -23 - o. Is 35 a factor of h?
True
Suppose 27*g = 5*g + 4730. Does 5 divide g?
True
Let q be 0 + (-61)/(-1) + -1. Suppose 0 = y - 5*y + q. Let f = y - -3. Is f a multiple of 6?
True
Let h be (-2)/(-10) - 6/30. Suppose h = -2*i + 10, -29 = -3*j + 6*j - 4*i. Let a(l) = 2*l**2 + 6*l + 7. Is 2 a factor of a(j)?
False
Let a(g) = 28*g + 8*g + 8 + g**3 + 30*g**2 + 0*g**3 - 15*g**2. Is a(-11) a multiple of 11?
False
Let x(j) = -j**3 - 6*j**2 - 6*j - 7. Let k be x(-5). Is 11 a factor of (7 - k)/(9/132)?
True
Let a be (-638)/(-77) - 2/7. Suppose -3*x + a = -x, 3*x - 74 = -d. Is 31 a factor of d*(-4)/((-8)/2)?
True
Let o = -1232 + 2481. Is 18 a factor of o?
False
Let h(c) = 2*c + 132. Let g be h(0). Let t = -78 + g. Is t a multiple of 11?
False
Let c(u) = 2*u**2 + 6*u + 55. Is 36 a factor of c(-6)?
False
Suppose t = 6*t. Suppose 4*m + 0*m - 264 = t. Is 15 a factor of m?
False
Let j = 1088 + 1102. Does 73 divide j?
True
Suppose 0 = -3*j - 4*k + 27, -j - k = -4*k - 9. Suppose -j*u - 76 = -508. Does 8 divide u?
True
Let u(q) = 102*q + 1656. Does 23 divide u(0)?
True
Let f(p) = -p**3 - 40*p**2 + 40*p + 103. Is 11 a factor of f(-41)?
False
Let s(g) = 20*g - 1. Let j be s(1). Let i be ((-2)/(-3))/(4/3)*4. Does 13 divide 4 + j - (i - 5)?
True
Let h = 1768 - 829. Is h a multiple of 19?
False
Let c = 46 - 26. Suppose 4*a + 0*a = c. Suppose -4*v + 6*v - 135 = -3*n, -5*n = a*v - 345. Is v a multiple of 20?
False
Let m(i) = -i**3 + 2*i**2 + 22*i + 50. Is m(-9) a multiple of 29?
False
Suppose -5*h + 3*j + 11381 = 0, 0 = h - 4*j - 2740 + 457. Does 35 divide h?
True
Does 2 divide 0 + 0 - (-15 - 39)?
True
Let s(n) = n**2 + 3*n + 1. Let p be s(-4). Suppose -5*g - 5 + 20 = 0, -5*g - 450 = -5*d. Suppose -2*o = -0*o + x - d, 0 = -p*o + 3*x + 216. Is 9 a factor of o?
True
Is 25 a factor of (-18)/(-12) + ((-11487)/(-6))/7?
True
Let c(t) = 5*t**2 - 4*t + 11. Let b(i) = -5*i + 5. Let u be b(0). Is c(u) a multiple of 4?
True
Let q(o) = -o - 5. Let s be q(-8). Is 6 a factor of 68/s*(-39)/(-26)?
False
Let b(c) be the first derivative of -3*c**3/2 - 11*c**2/2 - 7*c + 7. Let k(j) be the first derivative of b(j). Is 13 a factor of k(-7)?
True
Let v = -1901 - -5023. Is v a multiple of 12?
False
Suppose -2*y + 4*y - 4 = 0. Let h(c) = c**3 - 3*c**2 + 4*c - 2. Let s be h(y). Suppose -m = -s*m + 12. Is 12 a factor of m?
True
Suppose -3*i - 3*r + 18 = 0, 0*i - 4*r = 5*i - 27. Suppose i*n - 414 = -3*h, -4*n - 400 = 2*h - 5*h. Suppose b = 5*b - h. Is 9 a factor of b?
False
Suppose -4*i = 3*a - 93, i = 3*a - 7*a + 111. Is 6 a factor of a?
False
Suppose -4*v + v = t - 73, 0 = -3*t - 15. Suppose -4*y + v = l + 7, 163 = 5*l + 3*y. Is 8 a factor of l?
False
Let j = 66 + 724. Suppose -4*s - y + 231 = -389, -5*y + j = 5*s. Is s a multiple of 23?
False
Let x(k) be the first derivative of k**2 + 161*k + 12. Does 23 divide x(0)?
True
Let r(n) = 2*n**2 + 2*n - 14. Let o be (3 + 2)/(-5) - (2 - -2). Is 13 a factor of r(o)?
True
Let j be (-2)/4*0/4. Suppose 7*z - 35 = -j. Is 5 a factor of z?
True
Suppose 48 = a + 5*a. Let n(s) = -s**3 + 9*s**2 - 9*s - 10. Let g be n(a). Let d = g + 63. Is d a multiple of 27?
False
Does 3 divide -20*(-10 - (-225)/(-18))?
True
Suppose 0 = 6*y - 5230 - 584. Does 17 divide y?
True
Suppose 11*z - 6*z = 15. Let c be ((-147)/(-9))/(1/z). Suppose -257 - c = -6*i. Does 19 divide i?
False
Let l(n) = 12*n - n**3 - 16*n + 8*n + 3*n**2 - 3. Let q be l(5). Let r = 54 + q. Does 14 divide r?
False
Suppose -4*g = -12, -2*h - h - 4*g = -180. Is (-1097)/(-7) - (-16)/h a multiple of 32?
False
Let d(b) = 8*b**2 + 4*b - 1. Let w be d(-3). Suppose -5*h + w = -3*v, 4*v + h = 2*v - 35. Is 9 a factor of (-4)/v - (-1027)/117?
True
Suppose -33*b + 237 = -30*b. Suppose 6*t - 5*t = 2. Suppose -98 = -3*z - t*l, -85 - b = -5*z - 4*l. Is z a multiple of 16?
True
Let t be ((-4)/(-3))/(6/9). Suppose -t*l + 10 = -4*m - 26, 18 = l - 4*m. Let i = -2 + l. Is 7 a factor of i?
False
Let g be ((-20)/(-6))/(6/45). Let d = 33 - g. Is d a multiple of 8?
True
Let m = 55 + -7. Is 30 a factor of m?
False
Let s = 8 - 5. Suppose -4*v = -s*h + 6*h + 86, -5*v + 63 = -4*h. Let c = h + 34. Is 4 a factor of c?
True
Let o = 695 - 305. Does 13 divide o?
True
Let g = 37 + -35. Suppose -3*k + 102 = g*d - d, -d = 0. Does 12 divide k?
False
Is 35 a factor of (3430/(-21))/(-1)*24?
True
Suppose 13*x - 220 = 8*x. Suppose 3*s + 51 = -4*i, 2*s - 2*i = -x - 4. Is (-4 - s) + (-4)/(-2) a multiple of 6?
False
Let h = 129 + -113. Is (h/10)/((-8)/(-1280)) a multiple of 28?
False
Suppose -3*u = -5*z + 4206, -3*z = -u + 4*u - 2514. Is z a multiple of 15?
True
Let s be (35/14)/((-1)/(-2)). Let m(j) = -8*j - 3*j + s*j - 21 - 7*j. Is m(-9) a multiple of 21?
False
Let z be 3*(-15)/(-10)*2. Suppose -z*n + 5*n = -120. Does 6 divide n?
True
Suppose 629 = 11*q - 438. Is 3 a factor of q?
False
Let k(a) = -a**2 - 8*a - 7. Let i be k(-8). Let v(w) = 8*w + 10. Let n be v(i). Let t = 70 + n. Does 24 divide t?
True
Does 16 divide (11 - (6 - -1)) + 94?
False
Let f(n) be the third derivative of n**4/24 + 2*n**3/3 + 2*n**2. Let l = -11 - -20. Does 9 divide f(l)?
False
Let o(c) = c + 7. Let w be o(-6). Is (-3 - -43 - 3)*w a multiple of 5?
False
Let u = -306 - -674. Is 8 a factor of u?
True
Suppose 2*s + 89 = 3*h - 53, 5*h - 5*s - 230 = 0. Is 5 a factor of h?
True
Suppose 2*v = 0, 4*u + 17*v = 21*v + 11660. Is u a multiple of 53?
True
Suppose 19*u = 2*u + 5168. Is 19 a factor of u?
True
Let a be (-3)/2*(-72)/18. Let c(k) = -k**3 + 6*k**2 + 3*k - 6. Does 12 divide c(a)?
True
Let y(g) = -2*g + 10. Let c be y(7). Let v be (-1)/(c/(-8) + 0). Does 4 divide (1 + -19)*v/4?
Fal