divide -3 + u - (0 + y)?
True
Let j be -192 + (1 + -5)/(-1). Let s = -92 - j. Is 13 a factor of s?
False
Let p = -4 + -2. Let x be (10/6 - -1)/(2/12). Is 500/x - p/8 a multiple of 16?
True
Suppose 0 = 9*o - 354 - 987. Suppose -5*h = 5*v - 186 - o, -4*v + 267 = 5*h. Is v a multiple of 31?
False
Let u(p) = -17*p + 1. Let k(q) = 17*q - 2. Let g(n) = 7*k(n) + 6*u(n). Let y be g(5). Let r = y + 9. Is r a multiple of 19?
False
Let f = -11 - -13. Suppose -f*p - 5*w + 7 = -0*w, -6 = -2*p - 4*w. Is 33 a factor of (27/(-9))/(p/(-33))?
True
Suppose 3*f - 71 = -5*o - 7, -5*f + 3*o + 152 = 0. Does 4 divide f?
True
Suppose 0 = -18*r - 8*r + 1196. Is 5 a factor of r?
False
Let p(n) = 3*n + 54. Let c be p(-18). Suppose -4*x + 30 + 22 = c. Does 12 divide x?
False
Let b(l) be the second derivative of -8*l**2 - 1/12*l**4 + 0 + 9*l - 3*l**3. Is 10 a factor of b(-9)?
False
Let o(u) = -u**2 + 4*u + 4. Let d be o(5). Let k be d + 65 + (0 - -2). Is 3 a factor of (-10)/(-35) - k/(-14)?
False
Suppose -6*u + 28 = u. Let z(h) = 2*h**3 - 5*h**2 - 4*h + 10. Is z(u) a multiple of 21?
True
Does 73 divide (5558/84)/((-3)/(-36))?
False
Let v be 419 - (-4)/(-8)*-4. Suppose 5*y - v + 136 = 0. Let b = y + -30. Is b a multiple of 14?
False
Is (33689/177)/(2/12) a multiple of 65?
False
Let r(x) = x**3 + 7*x**2 - 8*x + 2. Let m be r(-8). Suppose 5*d - m*d - 3*f = 129, f - 185 = -5*d. Is d a multiple of 18?
False
Suppose 0*p - 4*p - h = 300, -3*p - 2*h = 230. Let g = 212 + p. Is g a multiple of 46?
True
Let m(v) = -v**2 - 72*v - 400. Is m(-40) a multiple of 44?
True
Suppose -q - 4*c = 16, -4*q - 3*c - 2 - 10 = 0. Suppose 6*v = -q*v + 276. Is v a multiple of 5?
False
Does 11 divide 14/4*15/7*2?
False
Suppose 4*j = -h + 5*h + 48, 3*j + 3*h = 24. Let s(y) = -y**3 + 11*y**2 - y - 2. Is 11 a factor of s(j)?
True
Let f = -12 + 14. Let h be (0/2)/(f/2). Suppose 4*u - 49 - 83 = h. Does 11 divide u?
True
Suppose -2*j + 58 = -t - 72, 0 = 3*j - 2*t - 195. Let z = j + -53. Does 9 divide z?
False
Let h be 18/12*(-20)/(-6). Suppose 0*c = -3*o + 5*c - 25, 0 = 5*o + 5*c - 25. Suppose -3*b = -5*v - 2*b + 185, o = 2*v - h*b - 74. Is v a multiple of 15?
False
Let h(n) = -n**2 + 8*n - 6. Let o be h(4). Does 16 divide ((-474)/(-9))/(o/15)?
False
Let r(d) = -21*d - 163. Is r(-9) a multiple of 4?
False
Suppose 144 + 126 = -2*l. Let t = l + 353. Is t a multiple of 44?
False
Let s be ((-1)/(-2))/(1/26). Let y = -11 + s. Is 3 a factor of (1 - 2)/(y/(-10))?
False
Suppose -10*n = 1360 - 10040. Is 4 a factor of n?
True
Let x = 12 + -11. Let b be (x - 0)/((-6)/(-54)). Is 0 - 3 - b/(-1) a multiple of 6?
True
Let r(m) = -m**2 + 9*m - 9. Let u(w) = w - 1. Let i(z) = -r(z) + 2*u(z). Let k(q) = -q + 4. Let p be k(-3). Is 2 a factor of i(p)?
False
Suppose 202 = 10*s - 848. Is s a multiple of 21?
True
Let m(u) = 20*u**3 + 11*u**2 - 3*u + 14. Let z(d) = -7*d**3 - 4*d**2 + d - 5. Let y(i) = -6*m(i) - 17*z(i). Let v be y(-1). Suppose -7*g - v = -8*g. Is g even?
False
Is (4 - 6) + (-7765)/(-5) a multiple of 47?
True
Let d(p) = p**3 - p**2 - p + 422. Let a = 17 - 17. Let h be d(a). Suppose 3*z + 527 = t + 4*t, -4*t + h = -2*z. Does 27 divide t?
False
Is 2 - -589 - ((-5)/5 - -2) a multiple of 35?
False
Let c(f) = f**3 - 7*f**2 + f - 1. Let b be c(7). Let i be (20/(-3))/((-2)/b). Suppose -h + i = h. Does 5 divide h?
True
Let z(y) = -y**3 - 7*y**2 + 2*y + 11. Let d be z(-7). Let q be 27/6*(-2)/d. Suppose -4*k + 60 = 3*t - t, -58 = -2*t - q*k. Is 11 a factor of t?
False
Let l be (6/(-9))/((-8)/36). Let h be 0 + l - 14/(-7). Suppose -o + 0*o + 17 = h*b, -2*o - 5*b = -34. Is 10 a factor of o?
False
Let n be (627/22)/(2*(-2)/(-8)). Let a = n + -6. Is 5 a factor of a?
False
Let x = -2574 + 3337. Is x a multiple of 6?
False
Let j(l) = -5*l**3 - 5*l**2 + 4*l - 23. Does 23 divide j(-5)?
False
Let n = -2 + 2. Suppose -a + 4 = -2*f + 12, 4*a = n. Suppose -101 = -f*m + 43. Is m a multiple of 9?
True
Let k be 2 + (-3 - 0 - -4). Suppose -k*p = -8*p + 270. Is 18 a factor of p?
True
Suppose x = -3*x - 368. Let o(a) = -a**3 - 13*a**2 + 2*a + 5. Let s be o(-12). Let c = x - s. Does 15 divide c?
False
Suppose n + m - 10 = 0, n + m = -2*n + 24. Suppose l - 2*q = 10, 3*l = -2*l + 4*q + 38. Suppose 20 = n*f - l*f. Is f a multiple of 10?
True
Suppose 4*o = l - 15 + 5, l = 2*o + 4. Let n be 9/o*-3*14. Suppose 0 = 4*h + h - 2*g - 323, 2*h - 4*g - n = 0. Does 13 divide h?
True
Let p(o) = 2*o - 2*o**2 - 13*o - 6 + o**2. Let w = -25 + 21. Is 11 a factor of p(w)?
True
Let g = 228 - 66. Is 12 a factor of g?
False
Let c(f) = f**3 - 6*f**2 + 2*f - 8. Suppose 0 = 2*z + 10, 4*z - 19 = 2*o - 51. Let s be c(o). Suppose 0 = 5*k + 3*y - 88, k - y - 40 = s*y. Does 5 divide k?
True
Suppose -2*w - 7*s + 11*s + 612 = 0, w - s - 301 = 0. Is 19 a factor of w?
False
Let a(z) = z**3 - 8*z**2 + 8*z - 7. Let h be a(7). Suppose 63 = -h*o + 3*o. Is 3 a factor of 75/21 - (-9)/o?
False
Let a be ((-9)/12)/((14/(-80))/7). Suppose -3*d = u - a - 33, 5*u = -5*d + 365. Does 4 divide u?
False
Suppose -u = 2, 4*u + 98 = 3*i + 9. Is 9 a factor of i?
True
Is 22 a factor of 24/(-20) + 63682/85?
True
Suppose -2*x - 5*h = 0, -2*h - 3*h = -2*x. Suppose -5*a + 6*a - 30 = x. Is a a multiple of 5?
True
Suppose 0 = -k - 4*x + 633 - 170, 5*x + 490 = k. Is 19 a factor of k?
True
Let r = 32 + -8. Let t = 28 - r. Suppose 0 = -t*g + g + 117. Is 13 a factor of g?
True
Let d(w) = 9 - 12*w**2 - 8*w**3 + 7*w**3 - 4*w + 3*w. Does 3 divide d(-12)?
True
Suppose 1498 = 76*w - 69*w. Is 4 a factor of w?
False
Suppose 8 = 9*c - 10. Suppose -c*u = -3*j + 14, 2*j - u = -3*u + 16. Does 2 divide j?
True
Let r(f) = -4*f + 8 + 2*f + f. Let j be r(8). Suppose -9 = -j*p - p. Is 3 a factor of p?
True
Suppose 343*i - 338*i - 2310 = 0. Does 7 divide i?
True
Let m(y) be the third derivative of y**4/4 - y**3/2 + 9*y**2. Let a be m(5). Let c = 46 - a. Does 15 divide c?
False
Suppose -2*p - f = -861, -25*p - 831 = -27*p + 5*f. Is p a multiple of 13?
False
Suppose -2*n + 9 = n. Suppose 4*d + 152 = x, 42 = -3*x + n*d + 453. Is x a multiple of 17?
False
Is 52 a factor of (-6)/(-16) + (2 - 62286/(-48))?
True
Suppose m - 3*a + 5 = 1, 5*m = a + 8. Does 32 divide (-382)/(-4) - (0 - 1/m)?
True
Let a = 27 - 35. Is 4 a factor of (-68)/(-10)*(-3 + (-44)/a)?
False
Let n be 92/161 - (-395)/7. Let u = n + -47. Is 10 a factor of u?
True
Does 28 divide ((-238)/(-102))/((-2)/(-72))?
True
Suppose 2*a - 69 = -o + 230, 2*a - 3*o - 279 = 0. Is 15 a factor of a?
False
Let h(t) = 9*t - 249. Does 28 divide h(37)?
True
Suppose 392 - 1512 = -2*f - 5*c, 0 = -f + 5*c + 530. Suppose 5*u - 545 = f. Suppose 0 = -q - 2*q + u. Is q a multiple of 19?
False
Let u be -247 - (2/(-7) + (-76)/28). Let x = -84 - u. Is x a multiple of 32?
True
Let w = 7 - -5. Suppose 0 = -2*j - j + w. Is 26 a factor of j/24 - (-311)/6?
True
Suppose 0 = 4*f - 5*g - 2624, 3*g - 1397 = -2*f - 63. Is f a multiple of 16?
False
Let i(y) = 13*y - 5. Is i(11) a multiple of 18?
False
Suppose -1202 = -4*w + 2*i, -5*w + 5*i = 4*i - 1510. Is w a multiple of 8?
False
Let o(k) = 114*k - 19. Is o(8) a multiple of 21?
False
Suppose -3114*t - 1266 = -3115*t. Is 8 a factor of t?
False
Let q(w) = w**3 + 5*w**2 - 12. Let r be q(-4). Suppose -b + 181 = -r. Does 37 divide b?
True
Let y be (1 - (-3)/5)/((-6)/75). Let j(p) = p**3 + 19*p**2 - 23*p - 10. Does 10 divide j(y)?
True
Suppose 4*q + 4 + 168 = x, 0 = 4*x + 4*q - 748. Is x a multiple of 23?
True
Suppose -16*f = 6*f - 3828. Does 16 divide f?
False
Let i(h) = -h**2 - 54*h + 102. Is i(-24) a multiple of 28?
False
Let x(m) be the second derivative of m**5/20 + 13*m**4/12 + 13*m**3/6 + 9*m**2 - 5*m. Let w be x(-12). Suppose w*o - 4*o = 84. Is o a multiple of 14?
True
Suppose 157 = 2*a + k - 24, -5*k = a - 113. Is a a multiple of 3?
False
Suppose 0 = 8*h + 4*h. Suppose h = 35*q - 37*q + 238. Is q a multiple of 11?
False
Suppose -5*l + 2*l - 30 = 0. Let r be (l*2/4)/(-1). Suppose -r*f - 4*h = -80 - 80, -3*f + 96 = -4*h. Is f a multiple of 27?
False
Suppose -5 = -2*t + 11. Let p be 9/(-36) - (-1474)/t. Suppose -3*f + 68 + p = 0. Is f a multiple of 21?
True
Let j = 492 - 237. Let t = -175 + j. Does 16 divide t?
True
Let y be (36 + 0)/(8/(-68)*-1). Suppose -3*s + 162 = -y. Is 39 a factor of s?
True
Suppose 0 = 9*f - 12*f + 9. Suppose f*s + 3*d - 1292 = 