48*c = -16*c + 58048. Does 61 divide c?
False
Let w be ((-78)/(-5))/(9/60). Suppose 3*l = 7*l - w. Does 14 divide l?
False
Suppose 4*t - 4*i - 848 = 0, t + t = -4*i + 448. Is (-1 - (-15)/10)*t a multiple of 12?
True
Let q = 60 + 52. Suppose -3*o = -152 - q. Is 17 a factor of o?
False
Let y be 4*-1*(-20)/16. Suppose 0 = y*o - 27 - 63. Is 6 a factor of o?
True
Suppose 2 - 6 = -2*b - 3*s, 4*s + 13 = b. Is ((-8)/36 + 1194/27)*b a multiple of 51?
False
Let h(g) = -98*g**2 - 2*g - 2. Let w be h(-1). Is 7 a factor of (-9)/6*w/21?
True
Let g(s) be the second derivative of s**4/12 + 7*s**3/6 + 20*s**2 - 36*s. Is 58 a factor of g(-9)?
True
Let f(p) be the second derivative of p**4/12 - 3*p**3/2 + 6*p**2 + 4*p. Let x(o) = 9*o + 1. Let a be x(1). Does 11 divide f(a)?
True
Let h = -153 + 92. Let z = h - -76. Is z even?
False
Let w(y) = -y**3 + 7*y**2 + 5*y - 7. Let c = 3 + 4. Let i be w(c). Suppose 0 = -0*t + t - i. Does 14 divide t?
True
Suppose -3*w = q - 33, 5*q - 135 - 41 = -4*w. Is 6 a factor of q?
True
Let i = 19 + -8. Let g(l) = l - 4. Let b be g(i). Is 2 a factor of (10 - b) + (1 - 0)?
True
Let n = 1029 - -536. Is 19 a factor of n?
False
Does 110 divide -110*((7 + -13 - 2) + 4)?
True
Let a(k) = 22*k**3 + 2*k**2 + 2. Let q be a(2). Let b = -77 + q. Does 18 divide b?
False
Let u(r) = -r**3 + 7*r - 4*r + 0 - 2*r - 1 + 3*r**2. Let n be u(3). Suppose -n*q + 17 = -37. Is q a multiple of 15?
False
Let h = -4 - -8. Suppose -115 = -5*m - 3*s, 3*m - 80 = -0*m - h*s. Does 3 divide (6/10)/(4/m)?
True
Let t(l) = l - 5. Let s be t(-4). Let n be -3 + -3*(-24)/s. Is (-2)/(((-33)/(-72))/n) a multiple of 24?
True
Suppose 0 = -2*t + 3*t - 3. Suppose 246 - 75 = t*j. Does 8 divide j?
False
Suppose 0 = 799*m - 809*m + 9820. Is 21 a factor of m?
False
Let j be (-170)/(-51)*3/2. Suppose 3*s + 2*s - 730 = -5*p, 0 = j*p - 3*s - 746. Is 25 a factor of p?
False
Suppose -27*k - 16*k = -5977. Is 2 a factor of k?
False
Let m(t) = -t**3 + 10*t**2 - 15*t - 4. Suppose 5*p + 4*a - 44 = 0, -a - 2*a + 43 = 5*p. Let o be m(p). Suppose -o*c = -c - 108. Is 12 a factor of c?
True
Let s = 9 - 7. Suppose -3*r + 156 = j, -s*j = r + 3*r - 304. Let t = j - 79. Is t a multiple of 13?
True
Let d(g) = 23*g**3 + g**2 + 2*g. Let v be d(2). Suppose -v = -2*k - 0*q - 3*q, -2*k - q = -184. Does 9 divide k?
True
Let z(k) = -17*k - 6. Let v be z(10). Is 8 a factor of (v/(-33))/((-1)/(-36))?
True
Suppose -v - 209 = -5*l, -2*l + 213 = 3*l + 3*v. Is l a multiple of 7?
True
Suppose -10 = 5*v + 5*v. Is -21*(-7)/21 - (-2 - v) a multiple of 3?
False
Suppose 2*w + 20 = -2. Let r(t) = -30*t - 18. Is r(w) a multiple of 10?
False
Does 42 divide (-42)/7*3/((-3)/49)?
True
Let u = 63 + -40. Let f = u + -41. Is 22 a factor of 27/f*(-164)/3?
False
Let i = 616 + -605. Does 11 divide i?
True
Let g = 828 + -444. Is g a multiple of 32?
True
Let d(z) = -23*z**2 + 90 + 10*z**2 - z**3 + z + 11*z**2. Is d(0) a multiple of 30?
True
Let y = -189 + 78. Does 19 divide -7 - (-1 - 2) - y?
False
Suppose -6*u + u = -20. Suppose 458 = u*c - 310. Is 22 a factor of c?
False
Let b(w) = -84*w**2 + 5*w - 5. Let v be b(1). Let a = v - -223. Is a a multiple of 13?
False
Let d(y) = y**2 + 3*y. Let x be d(0). Suppose -4*g - k + 463 = x, g + k + 233 = 3*g. Does 17 divide g?
False
Let y(x) = 15*x + 28. Let l be y(13). Suppose 4*d + 2*m - 450 = 0, 2*d - m - l = -0*d. Is 16 a factor of d?
True
Let g(m) = -m**2 - 1. Let a(s) = 2*s**2 + 5*s + 1. Let x(l) = a(l) + g(l). Let r be x(-4). Is 3 + r/(-2) + -1 a multiple of 3?
False
Let f(k) = -42*k + 526. Is 61 a factor of f(0)?
False
Suppose -130 + 110 = 5*d. Is (-1)/2*d - -53 a multiple of 11?
True
Let b(o) = -o**2 + 10*o - 7. Let y be b(8). Let i = y + -5. Suppose 0 = -3*v - 0*c - i*c + 72, -c = 2*v - 48. Does 8 divide v?
True
Let c = -431 + 925. Does 13 divide c?
True
Let a = -9 - -11. Suppose -g + 159 = -2*o, o = a*g - o - 314. Is 38 a factor of g?
False
Let j(v) = -v + 19. Let i be j(8). Suppose 9*n = i*n - 274. Suppose 0 = -3*z + n + 31. Does 14 divide z?
True
Let d(v) be the second derivative of v**6/720 + v**5/15 + v**4/2 + 6*v. Let w(p) be the third derivative of d(p). Does 14 divide w(9)?
False
Suppose -4*a + 3*m + 49 = 0, 0 = a + 3*m - 1 - 0. Suppose a*g - 36 = 6*g. Is g a multiple of 5?
False
Let j = 38 - 6. Suppose j = 4*f - 40. Suppose -h + f = 3*p, 3*p - 7*p = 5*h - 68. Is h a multiple of 4?
True
Let h(m) = 218*m + 21. Is 17 a factor of h(2)?
False
Suppose 42 = -12*g + 18*g. Is g a multiple of 7?
True
Suppose -2*y + 712 - 212 = 0. Is 50 a factor of y?
True
Let d be (6 - 0) + (-1 - 1). Suppose 5*a - 58 = -d*r + 33, 25 = -5*a. Does 25 divide r?
False
Suppose 61*l - 59394 + 4494 = 0. Does 18 divide l?
True
Suppose -22 + 493 = p + 5*v, -v - 2225 = -5*p. Does 25 divide p?
False
Suppose -6 = a - 2*t + 3, 0 = -4*a - t. Let x(w) = -w**2 + w. Let p(k) = -5*k**2 - k + 1. Let z(o) = -p(o) - 2*x(o). Does 5 divide z(a)?
False
Suppose -j = -4*j - 2*s + 16, s - 18 = -4*j. Suppose -u + 27 = j. Does 6 divide u?
False
Is 28683/45 + 2/(-5) a multiple of 49?
True
Let n(z) be the first derivative of 7*z**2/2 - 10*z - 3. Let d be (6 - 0)*(6 - 5). Does 9 divide n(d)?
False
Suppose -3*n + 0*f + 682 = -2*f, -5*n + 1105 = 3*f. Does 17 divide n?
False
Let c(d) = -d**3 + 7*d**2 + 16*d + 6. Suppose -9 = -o + 4*o, 0 = -2*m + 2*o + 22. Is c(m) a multiple of 9?
False
Is 8 a factor of 726/7 + (84/(-49))/(-6)?
True
Let x(o) = 2*o**2 + 13*o + 3. Let m be x(-6). Let j = 16 - m. Is j a multiple of 19?
True
Suppose 3*m = 6*m - 12. Does 23 divide (0 + m)/(2/22)?
False
Let x(y) = y**3 - 5*y**2 + 5*y. Let c be x(4). Suppose -j = -v + 21, -c*j - 40 = -2*v + 10. Is 4 a factor of v?
False
Let q(b) = 6*b**2 - 149*b + 24. Does 63 divide q(28)?
False
Let z(v) = v**2 - 3*v. Is 13 a factor of z(-8)?
False
Suppose 0 = -2*s + 3*k - 278, -4*s - 2*k = 220 + 368. Let y = 3 - s. Is 24 a factor of y?
False
Let i = -3 - 1. Let y be (-174)/8 + 1/i. Let h = y + 43. Is h a multiple of 6?
False
Is 1891/7 - (-156)/(-1092) a multiple of 9?
True
Let t(x) = 578 - 619 + 15*x + 2*x. Is t(18) a multiple of 27?
False
Let t(o) be the third derivative of -o**4/24 - o**2. Let v = -19 + 13. Is 2 a factor of t(v)?
True
Suppose -374*h + 370*h = -2104. Is 11 a factor of h?
False
Let w(j) = -12. Let k(r) = r + 11. Let h(a) = -3*k(a) - 2*w(a). Let x be h(-6). Suppose -g + 1 = -x. Is 7 a factor of g?
False
Let l be 1/(1/(-13 - -2)). Let o = 30 + l. Is o a multiple of 6?
False
Suppose -2*p + 654 = -2*h, -2*p + 3*p = -3*h + 311. Does 17 divide p?
True
Let q = 655 - 158. Is q a multiple of 7?
True
Let y = -18 + 97. Suppose 3*f = 56 + y. Is 13 a factor of f?
False
Let a(w) be the first derivative of 3*w**2/2 - 13*w + 13. Is 5 a factor of a(7)?
False
Suppose -6*v + 5*v = 0. Suppose 4 = f - s, v = -0*f + f + s + 4. Suppose f = -3*b + 78 - 6. Is b a multiple of 3?
True
Is (16 - 7)*(-4)/(4/(-69)) a multiple of 9?
True
Suppose 399 = 8*h - 553. Is 17 a factor of h?
True
Let l(q) = q**2 + q - 1. Let h be l(-2). Let w(v) be the second derivative of 11*v**4/12 + v**3/6 - 120*v. Does 2 divide w(h)?
True
Suppose h + 9 = 3*c, 0 = 5*h + 4*c - 4 - 8. Suppose h*b + 30 = 5*b. Suppose 9*f = b*f + 138. Is f a multiple of 19?
False
Suppose -s - 2*c - 144 = 0, c + 735 = -5*s + 6*c. Let h = s - -168. Is h a multiple of 12?
False
Suppose 4*i = -2 + 22. Suppose -g + 21 = q - 39, 0 = q - i*g - 72. Let t = q + -21. Is 16 a factor of t?
False
Suppose 4*u = -y + 151, -4*y + 19 = -3*u + 4*u. Let h = u - 75. Let p = h + 60. Is 9 a factor of p?
False
Suppose -29*q = -30*q + 5, -5*q - 961 = -f. Is f a multiple of 10?
False
Let x(g) = -g**2 + 19*g - 28. Is 10 a factor of x(6)?
True
Let r(p) = p - 7. Let y be r(7). Suppose -2*t = -y*t - 4. Suppose -k + t*k - 44 = 5*n, -n - 1 = 0. Is 8 a factor of k?
False
Suppose -10*s = 24 + 6. Is 9 a factor of (-2191)/147*s + 2/7?
True
Let h(v) = -v - 39*v**3 - 2*v**2 - 10*v**3 - 21*v**3. Does 10 divide h(-1)?
False
Suppose 5*j = -25, 0 = -4*f - j + 123 + 312. Is 4 a factor of f?
False
Suppose -3*a - 3*q = -30, 6*q - 2*q + 15 = a. Let p(m) = 27*m. Let j be p(2). Suppose -9*i = -a*i + j. Does 12 divide i?
False
Suppose 8*i = 1575 + 2257. Is 10 a factor of i?
False
Suppose -3*u + 96 = -5*g, -u = u - 2*g - 60. Is u a multiple of 4?
False
Suppose -5*f - 76 = -156. Is 