85. Is 192 a factor of o(-15)?
False
Suppose -9*y + 67124 = 8*q - 4*y, 4*y - 16 = 0. Is q a multiple of 33?
False
Let f(q) = 1714*q - 5596. Is 23 a factor of f(7)?
False
Suppose 419*k - 6*k = 1465737. Does 91 divide k?
True
Let p = 20 - 13. Suppose 2*j + 11 + p = 0. Does 15 divide j/12 - (-363)/4?
True
Suppose 46*p - 48*p + 6 = 0. Suppose -466 = -4*q + 5*y, 108 = -p*q - 4*y + 442. Is 57 a factor of q?
True
Suppose -3*d + 2138 = -7147. Is 21 a factor of d?
False
Suppose 8*r = 30*r. Suppose -6*l + 504 + 2826 = r. Is l a multiple of 15?
True
Suppose 13172 = -20*y + 24*y + 4*d, -5*y + 16535 = -5*d. Does 6 divide y?
True
Let q(s) = -2*s**2 + 207*s + 2551. Does 5 divide q(0)?
False
Let l(w) = 2*w + 20. Let t(j) = j**2 + j - 8. Let d be t(0). Let s be l(d). Let o(g) = -g**3 + 5*g**2 + 5*g + 2. Is 8 a factor of o(s)?
False
Let m(x) = -6*x**2 + 16*x + 135. Let s be m(-7). Let k = 551 + s. Is 14 a factor of k?
True
Suppose -13 = -2*x + 3*c, 0 = -6*x + 3*x + 3*c + 18. Let t = x - 3. Suppose -5*f + r = -t - 204, f + 4*r - 58 = 0. Is f a multiple of 6?
True
Let n(w) = -9*w**2 - 9*w + 8. Let d be n(6). Let a = d + 519. Let q = a - 59. Is q a multiple of 18?
True
Let u = 22 + -17. Suppose -u*r = 25, -39 = 4*b + 2*r + r. Let n(k) = -2*k**3 - 9*k**2 - 13*k. Is n(b) a multiple of 38?
False
Is 209 a factor of (-282)/(-423) - (-317883)/9?
True
Suppose 0 = -3*y - h + 43, -4*y - 13*h + 57 = -12*h. Suppose 2*a - 1722 = -3*k, -4*k = 22 - y. Does 50 divide a?
False
Let w(o) be the first derivative of 15*o**2/2 + 10*o - 41. Let k be (-37)/(-7) - 2/7. Is w(k) a multiple of 9?
False
Suppose -5*u = -z - 12, -2*u + 11 = 5*z - 10. Suppose 0 = a - u - 12. Is 5 a factor of a?
True
Let f = 2082 - -2046. Is f a multiple of 8?
True
Let u(x) be the third derivative of -x**6/120 + x**5/15 + x**4/24 + x**3/3 + 85*x**2. Let l = 3 + -5. Does 8 divide u(l)?
True
Let g(d) = -3*d + 4*d + 0*d + 14. Let b be ((-19)/(-38))/((-4)/6)*-12. Is 16 a factor of g(b)?
False
Let z(x) be the first derivative of x**4 - 2*x**3 + 7*x**2/2 - 35*x + 135. Is 26 a factor of z(7)?
True
Let z(g) = -g**3 - 15*g**2 - 21*g + 5. Let h be z(-13). Is 6/(-18)*2*h a multiple of 2?
True
Suppose 1 = -3*n + 34. Let s(d) = 4*d**3 - 7*d**2 - 4*d - 4. Let y(z) = 9*z**3 - 13*z**2 - 7*z - 8. Let p(u) = 7*s(u) - 3*y(u). Is p(n) a multiple of 9?
False
Suppose -43*i = -1940855 + 931699 - 1606190. Is 327 a factor of i?
True
Let p(b) = -b**2 + 15*b + 3. Let j be p(14). Is (j + -10 - 6) + 930/1 a multiple of 49?
True
Let p(x) = 4*x**2 + 3*x - 121. Let t be (-102)/663 + ((-232)/13 - -2). Is 15 a factor of p(t)?
True
Suppose x - 19 = 3*q - 10, 0 = 4*x + 2*q - 8. Suppose a - 2101 = -4*j, 4*j + x*a - 78 = 2025. Is j a multiple of 34?
False
Suppose -2*k + 5*i = -6*k + 2032, i = 0. Let q = k + -29. Suppose -12*z + q = -289. Does 16 divide z?
True
Suppose 3*r + 4*t = 20810, 57*t - 27752 = -4*r + 53*t. Does 116 divide r?
False
Suppose -22 = -5*n + x, 3*n + 0*x = 5*x. Suppose 0 = -z - 17*u + 16*u + 20, -118 = -n*z + 4*u. Does 16 divide z?
False
Suppose 0 = o + 2*s - 8412 - 875, -5*o + s + 46457 = 0. Is 201 a factor of o?
False
Suppose -48*p + 47*p = -27. Suppose 0 = p*h - 20*h - 658. Is h a multiple of 9?
False
Let u(y) be the second derivative of y**5/20 - 2*y**4/3 + 4*y**3/3 - 5*y**2 - y + 70. Is 6 a factor of u(8)?
True
Suppose -1738 + 223 = a. Let h be 2/(-12) - (6 - a/(-18)). Is 10 a factor of (-4)/(((-1)/25)/(h/65))?
True
Let h = -1866 + 2777. Does 13 divide h?
False
Suppose 3*a + 936 = -0*a. Let n be a - ((-24)/2)/(-3). Let k = n + 506. Does 19 divide k?
True
Suppose 4*h = -20, -58*w + 61*w + 3*h = 13548. Does 33 divide w?
True
Let o(z) = -3*z - 17. Let q be o(-7). Suppose -3*t - 281 = -5*h, -3*h = q*t - 109 - 77. Suppose 2*a = 2*k - h, 0 = 4*k + a - 199 + 73. Is 11 a factor of k?
False
Suppose 7*m - 510 - 1 = 0. Suppose 0 = -f + m - 30. Suppose 4*g = -f + 1375. Is g a multiple of 23?
False
Suppose 45*d = 48*d + 90. Let k = 5 - d. Suppose -q = 29 - k. Is q a multiple of 4?
False
Let n = 47061 + 5300. Does 108 divide n?
False
Let p(g) = -64 + 36*g + 124 - 56. Let u be p(3). Suppose -3*s = -4*s - 2*b + 42, u = 2*s - 3*b. Does 6 divide s?
False
Suppose 3*u + y = 1957, 4*y - 8 = 8. Is u a multiple of 8?
False
Is 4 a factor of (-72)/(-252) + 2432/14?
False
Let j = 18202 - 9921. Does 99 divide j?
False
Suppose -270*w = 12*w + 13*w - 5828315. Is 23 a factor of w?
True
Suppose -310*u = -690332 - 3212878. Is 62 a factor of u?
False
Let z(h) = 2*h**3 + h**2 + h. Let b(g) = 15*g**3 - 27*g**2 + g + 25. Let d(o) = -b(o) + 6*z(o). Does 3 divide d(11)?
True
Suppose 3*v = 4*v - 2729. Suppose -3*j - 911 = -h, 5*j = 4*h - h - v. Is 27 a factor of h?
False
Let k(u) be the first derivative of -u**4/4 - 2*u**3/3 + 11*u**2/2 + 11*u + 101. Is k(-6) a multiple of 5?
False
Suppose 3*g - 39 + 15 = -3*b, 0 = 5*g - 20. Let n be 26/156 + 358/12. Is 9 a factor of b/n - (7 - 1884/45)?
False
Let c(s) = s**2 + 5*s + 434. Let x be c(0). Suppose -54 + x = 4*t. Is 19 a factor of t?
True
Let y(o) = 2*o**2 + 17*o + 15. Let b be y(-8). Suppose b*q = -5*q + 48. Suppose 3*t = -3*a + 2*t + 111, -q*t = -12. Does 20 divide a?
False
Let h(x) = -x**2 - 5*x + 10. Let f be h(-6). Suppose 0*r - 1229 = -4*r - 5*z, z - 1241 = -f*r. Is r a multiple of 37?
False
Let b(h) = 1113*h**3 + h - 6. Is 178 a factor of b(2)?
True
Suppose 4*g + 2*c = 8240, 3*g - 8*c = -4*c + 6169. Does 11 divide g?
False
Suppose 2*p = -281*x + 276*x + 673, 0 = -5*x - 15. Does 3 divide p?
False
Let q be (-1724)/54*-3 + (-2)/(-9). Does 22 divide (330/(-8))/(0 - 12/q)?
True
Let h be 15 + (12/9)/(6/(-9)). Suppose 0 = h*c - 8*c - 870. Suppose -8*d = -2*d - c. Is 3 a factor of d?
False
Let d = 1197 + 4515. Is d a multiple of 28?
True
Let z = 270 + -374. Let d = z + 126. Is d a multiple of 2?
True
Suppose -4*j + 1553 = v, 7*v + 383 = j + 2*v. Let y = j - 98. Is y a multiple of 10?
True
Let j = -4785 - -9595. Is 74 a factor of j?
True
Let g(u) = u**2 + 23*u + 115. Let z be g(-7). Suppose z*i - 4*h - 897 = 0, -3*i - 5*h + 594 = -276. Is 6 a factor of i?
False
Suppose -28*c + 102125 + 50755 = 0. Is c a multiple of 6?
True
Suppose 2*w + 3*w - 38753 = -12453. Is 10 a factor of w?
True
Let h(m) = 311*m**2 + 9*m - 7. Let l be h(-7). Is 33 a factor of 4/18 - 2/((-126)/l)?
False
Suppose -o - 2*h + h + 26 = 0, 3*h - 103 = -4*o. Suppose g - 225 = w, 32*w = -5*g + 34*w + 1125. Suppose -5*q = -c + o, -4*c + 0*c + g = 5*q. Does 21 divide c?
False
Let i = -28 - -28. Suppose i = 3*g - 6, -3*t = -g + 4*g - 12. Is t/(-8) - (-4090)/40 a multiple of 22?
False
Let y = -6210 + 13586. Suppose 10*b - 2*b = y. Is b a multiple of 71?
False
Let w(o) be the third derivative of 11*o**5/60 + o**4/8 + o**3/2 - 106*o**2. Is w(4) a multiple of 8?
False
Suppose -t = 3*b - 13, 15 + 13 = -4*t + 4*b. Is (0 - 2)*-43 + t a multiple of 8?
False
Let u(z) = 4*z + 31. Let c be u(-7). Suppose 10*l - 11*l = c. Does 9 divide 2/(-3) - 245/l?
True
Let j(s) = -6*s + 4. Let b be j(0). Suppose -2*w = -b*x + 2*w + 140, -5*x - w + 193 = 0. Is 38 a factor of x?
True
Let r(i) = -7*i + 38 - 69 + 34. Is 10 a factor of r(-1)?
True
Let u(l) = 2*l**3 - 51*l**2 + 269*l - 186. Is u(29) a multiple of 86?
True
Let c(b) = 4*b + 22. Let o be c(-5). Suppose w - 3*v = v + 1364, -5*w + o*v + 6730 = 0. Suppose 9*f - 87 - w = 0. Is f a multiple of 21?
False
Suppose 1 - 3 = g - 4*o, -3 = -g - o. Suppose g*p = 4*s - 661 - 1043, -s + p = -424. Is 52 a factor of s?
False
Suppose 0 = 3*p - 649 - 1712. Suppose -3*n = -5*c + p, -2*c + 5*n = -0*c - 330. Suppose -2*b + c = -87. Does 14 divide b?
False
Let y = 399 + -397. Suppose -2*d - y*k + 115 = -d, 5*k - 130 = -d. Is d a multiple of 3?
True
Let c be 18/(-6) + (1 - (-114 - -2)). Let u be (c/50)/(1/55). Let x = u - 71. Is x a multiple of 14?
False
Suppose -2*r + 18 = 26. Let z be -5*(r + -1 + 4). Is (10/(-4))/(1*z/(-170)) a multiple of 17?
True
Suppose 196 = 16*c - 124. Is 7 a factor of (2/(c/(-182)))/(9/(-45))?
True
Let t = -1129 + 8461. Does 14 divide t?
False
Let o = 4215 - -5122. Is o a multiple of 33?
False
Let s(m) = m**3 + 46*m**2 - 52*m + 755. Is 10 a factor of s(-47)?
True
Let j = -5245 + 9299. Does 108 divide j?
False
Let j(p) = p**2 - 5*p + 10. Let l be j(3). Let m be l/((-9)/(81/6)). Does 13 divide (7/5 + -2)/(m/390)?
True
Does