 0*o + o + 32 = 4*a, 2*o + 19 = 3*a. Let j(u) = 3*u**3 - 25*u**2 - 6*u - 13. Does 4 divide j(a)?
False
Let r = -70 - -22. Let m = r - -105. Does 8 divide m?
False
Let g be 3 - (-3 + 1 - -3). Suppose w = 3*d - 478, -w = d + g*w - 176. Let s = d + -59. Does 14 divide s?
False
Let s(x) = 38*x - 16. Is s(3) a multiple of 4?
False
Suppose 0 = 2*t - t + 3. Let z(u) = 4*u**2 - 2*u - 7. Does 7 divide z(t)?
True
Let g = 113 - 104. Does 9 divide g?
True
Let d(l) = 2*l - 2 - 3*l + 2*l. Let v be d(6). Suppose -4*n - 4*r + 200 = 0, 4*r = -6*n + v*n + 104. Is n a multiple of 24?
True
Suppose -32 = a - 2*a - 3*l, a = 4*l + 4. Suppose -o - 3*o = -a. Suppose o*v = 105 + 85. Is 19 a factor of v?
True
Suppose -2*p + b = -310, 3*b = 2*b. Suppose 5*n = -0*n + p. Is 6 a factor of n?
False
Let p = 76 + -65. Suppose -3*w + 37 + p = 0. Is 5 a factor of w?
False
Let z = 24 + -12. Suppose -135 = 2*i + f, 0 = -5*i - 0*f - 3*f - 339. Is 22 a factor of (i/z)/(2/(-16))?
True
Let z = 92 - 92. Suppose w - 2*a - 249 = 2*a, z = 3*w - a - 736. Is 18 a factor of w?
False
Is 8/(-14) - 17340/(-357) a multiple of 24?
True
Let t = 45 - 42. Is 6 a factor of (-44)/t*(3 + 60/(-8))?
True
Let j = 734 + -422. Does 13 divide j?
True
Let u = -12 + 6. Is 32 a factor of -6*3/u + 80 + 1?
False
Let i(o) = 39*o - 14. Let q(a) = 3*a**2 - 2*a + 1. Let y be q(2). Does 46 divide i(y)?
False
Suppose q = 302 + 314. Let p = -1041 + q. Is 16 a factor of 3/18 + p/(-6)?
False
Is ((-220)/6)/(254/(-14859)) a multiple of 55?
True
Let t(d) = 18*d**2 + 67*d + 17. Is t(6) a multiple of 13?
False
Let d(i) = 3*i**2 - 83*i - 133. Is d(30) a multiple of 77?
True
Suppose -2*x + 2*k + 221 = 3*k, 5*x - 563 = k. Suppose 0 = 5*d + 20, i + 20 = 4*i - 2*d. Is 5 a factor of 18/i*x/24?
False
Let k(h) = 2*h**3 - 3*h**2 - 14*h + 16. Let x(n) = -4*n**2 + 20*n + 6. Let y be x(5). Is 10 a factor of k(y)?
False
Let t(x) = 13*x + 17. Let h(w) = 20*w + 26. Let u(q) = -5*h(q) + 8*t(q). Let d(v) = v**2 + 4*v + 5. Let a be d(-4). Is u(a) a multiple of 9?
False
Let j(k) = k**3 + 7*k**2 - 8*k - 13. Suppose -25*s + 22*s = 21. Is 4 a factor of j(s)?
False
Let b(g) = 16*g + 18. Let p(n) = -n + 1. Let y(o) = -b(o) - 2*p(o). Suppose 4*c + 16 = 2*f, -1 - 3 = f. Is y(c) a multiple of 32?
True
Let x(s) = -215*s - 30. Does 45 divide x(-6)?
True
Suppose 61 = 3*l + 25. Suppose -l*m = -49 - 23. Is 6 a factor of m?
True
Let d(h) = -h**2 - 32*h - 98. Let b be d(-28). Is 13 a factor of (-21)/(-6)*b - (-4 - -1)?
True
Let b = 73 + -58. Suppose 3*n - 8*n + b = 0, -5*t - 2*n + 406 = 0. Is t a multiple of 40?
True
Suppose -t = 3*l - 736, -11*l - 1422 = -2*t - 7*l. Is t a multiple of 90?
False
Let l be 1/(-3) - (-542)/6. Let f = -54 + l. Is f a multiple of 4?
True
Let i(j) be the third derivative of j**5/15 + j**4/6 + 17*j**3/6 - 27*j**2. Does 20 divide i(-5)?
False
Is -48*(1*-2 - 154/42) a multiple of 34?
True
Let m(l) = -5*l - 2*l**2 + 0*l**2 + 6 + l**2 + 0*l**2. Let y be m(-6). Suppose -5*a + 48 - 3 = y. Is a a multiple of 2?
False
Suppose 2*v - 124 = -3*w + 941, 0 = v - 2*w - 522. Does 22 divide v?
True
Let j = 133 - 130. Suppose 0 = j*u - 5*s - 273, -3*u = -2*s + 53 - 335. Is 12 a factor of u?
True
Let n(l) = 2*l**3 + 37*l**2 - 37*l + 42. Does 32 divide n(-16)?
False
Suppose -h - 28 = -5*r, h - 2*r = 5 - 21. Does 9 divide 2/h + (-518)/(-56)?
True
Let u(t) = -3*t**2 + 25*t - 2. Let n be u(8). Suppose -v - 117 = -g - n*v, -3*v = -2*g + 234. Is 6 a factor of g?
False
Suppose -20 = 5*w - w, -3*a + w = -17. Is 6 a factor of 8/(-12)*(-6)/a + 29?
True
Is (11 + -12 - (-3)/15)*-220 a multiple of 14?
False
Let o = 459 + 636. Does 23 divide o?
False
Suppose 3*j = 7*j - 12. Suppose 0 = -4*k - m + 546, -4*m = j*k - 139 - 277. Is 27 a factor of k?
False
Let k(x) = x**2 + 2*x - 1. Let s(r) = -6*r + 5. Let u(n) = 3*n - 2. Let v(f) = -3*s(f) - 5*u(f). Let t be v(3). Does 10 divide k(t)?
False
Let u be 98/28*(-8)/(-14). Suppose y + 28 - u = 0. Let o = y + 56. Does 10 divide o?
True
Suppose 0 = 49*b - 55*b + 156. Suppose -203 = -33*a + b*a. Is 4 a factor of a?
False
Let p = -29 + 27. Let z = p + 3. Does 15 divide (50/8)/z*12?
True
Suppose 5*y - 3*t = 0, y + 0 = t - 2. Is 25 a factor of 456/16*(-1 + y)?
False
Suppose 4*u - 5*s = 22, -6*s = u - s + 7. Suppose 6*t + 119 = u*n + 4*t, 3*n - 4*t - 121 = 0. Is n a multiple of 25?
False
Let z be 2*-11*(2 - 5). Let u be (7 - 4 - 1)*(-3)/(-2). Suppose -u*m + z = -2*m. Is 22 a factor of m?
True
Suppose u = 2*t - 0*t, 0 = 4*t. Suppose g + 5*m = 22 + 20, u = -4*g - 2*m + 168. Does 7 divide g?
True
Let u(v) = v**2 + 12*v + 2. Let f be u(-12). Suppose s = -3*o + 207 + 32, -2*s = -f*o + 170. Is 27 a factor of o?
True
Let y(i) = -28*i + 32. Let v be y(12). Is 15 a factor of v/(-3) + 5/(-15) - 1?
False
Suppose -9 = -3*i + 9. Let j = i - 4. Suppose -30 = -4*m - 2*s, j*m - s + 3*s - 10 = 0. Is m a multiple of 10?
True
Let b(d) = d + 1. Let n be b(6). Suppose n*p = 240 + 1643. Does 11 divide p?
False
Let b(g) = 3*g**2 + 5*g + 6. Suppose 0 = 49*t - 44*t + 15. Does 9 divide b(t)?
True
Does 38 divide (1 - -633) + -2 + (-40)/(-10)?
False
Let x = 1592 + -980. Is 12 a factor of x?
True
Suppose -1054 = -2*r + 4*a - 2*a, -r - a = -529. Does 8 divide r?
True
Suppose 7*c - 432 = -c. Suppose -5*p - n + 2*n = -143, 2*p - 2*n = c. Does 18 divide p?
False
Let o(z) = z - 26. Let x be o(9). Let l = x + 63. Is l a multiple of 20?
False
Does 23 divide (60/(-40))/(35987/(-8996) + 4)?
False
Suppose 36 = -0*t + 2*t + 4*q, -4*t + 4*q + 72 = 0. Let n = t - -3. Is 18 a factor of n?
False
Suppose 0 = -11*j + 22*j - 5830. Is j a multiple of 10?
True
Suppose -4*m + 5*m + 4*n = 270, -2*m = -4*n - 540. Is m a multiple of 18?
True
Suppose -f - 2 - 3 = 0. Let m(x) = 0 - 8 - 20*x + 8*x. Is m(f) a multiple of 12?
False
Suppose -66*o + 62*o + 5004 = -b, 2*o - 2508 = 2*b. Is o a multiple of 10?
True
Let k(v) be the third derivative of -v**6/120 + v**5/6 + 5*v**4/8 - 7*v**3/3 + v**2. Let y be 10 - (6/3)/(-2). Does 30 divide k(y)?
True
Let f(q) = -q**3 - 7*q**2 - 8*q - 9. Let z be f(-6). Let o be (-4)/(-6) - 119/z. Let a = o - -81. Does 14 divide a?
True
Let s(g) = -2*g + 20. Does 5 divide s(-11)?
False
Suppose o - 33 = -5*h + 71, 4 = h - 4*o. Let g = 22 - h. Suppose g*w - 65 = -3*r, 3*r + 3*w - 44 = 16. Is 16 a factor of r?
False
Let h = 60 - 139. Let k = -30 - h. Is k a multiple of 7?
True
Suppose 52 = -3*q + 154. Let w = 37 - q. Suppose -p = 3*p + n - 57, 4*p = -w*n + 67. Is 3 a factor of p?
False
Let g be 0/((-4)/(-2) + 0). Suppose g*t - t = 5*r - 115, 2*r - 49 = -t. Does 8 divide r?
False
Suppose -7 = 2*a - 17. Suppose -24*h + 29*h - a = 0. Let d(g) = 44*g + 1. Does 15 divide d(h)?
True
Let o(t) = -t - 6 - 4 - 2*t. Let a be o(-4). Suppose a*r + 4*f = 118, -5 = 3*f + 1. Is 13 a factor of r?
False
Let p(m) = m**2 - 9*m + 10. Suppose -5*k - 15 = -3*c - k, -5*k = 4*c - 51. Let q be p(c). Suppose 0 = 4*y - 134 - q. Is 11 a factor of y?
False
Let f = 13 - 7. Let o be 4/16 - (-78)/8. Let k = f + o. Is k a multiple of 8?
True
Let p(w) = -2 - 6*w**2 + 1 + 4 - w**3 - 2*w + 1. Is 2 a factor of p(-6)?
True
Let o = 2223 + -603. Is 20 a factor of o?
True
Let i = -14 - -66. Does 4 divide i?
True
Let a be 2/(33/9 + -3). Suppose a*f - 5*u - 86 = 0, 5*f + 5*u - 3*u = 133. Is f a multiple of 27?
True
Suppose -3*x = 2*g - 126, 5*g - 189 = 2*g + x. Let j = g + -26. Is 23 a factor of j?
False
Suppose -144 = 5*w + 16. Is 20 a factor of 16*(-6)/w*(12 - -8)?
True
Let n be 2/(-9) + 5 + (-6)/(-27). Suppose -5*u = 25, -n*u - 45 = 2*p - 4*p. Is p a multiple of 3?
False
Let i be (-10)/4*2*(-1)/5. Does 11 divide (-285)/(15/(-3)) + (-2)/i?
True
Suppose n = -127 - 16. Is 12 a factor of (-8)/(-14) - n/7?
False
Let f = 321 - 318. Is 2 a factor of f?
False
Let b be 4/14 - (-32)/(-14). Does 5 divide (45/(-10)*b)/((-1)/(-5))?
True
Let j = 32 - -352. Does 6 divide j?
True
Suppose 0 = -4*g - 2*j + 2762, -4*g + 3325 = 5*j + 560. Is 38 a factor of g?
False
Suppose -4*d - 64 + 875 = i, -4*d + 3*i = -831. Is 8 a factor of d?
False
Suppose 0 = -3*l - 52 - 332. Does 21 divide l*(9/(-6) + 1)?
False
Suppose 4*k + 576 = j + 10, -546 = -j - k. Suppose -q - 4*q = -j. Does 11 divide q?
True
Let i(m) = 2*m + 31. Let x be i(-14). Is 10 a factor of (-1)/x*1*74*-3?
False
Suppose -4*g - 2 + 74 = 3*a, 5*g - 4*a = 59. Suppose 