a factor of t?
False
Does 3 divide (-20 + 2)*7*(-1017)/189?
True
Let t = -16 + 182. Suppose 7*f - 908 = -t. Let c = 171 - f. Does 8 divide c?
False
Let q(y) be the first derivative of -10*y**3/3 + 5*y**2/2 - 5*y + 18. Let l be q(2). Is 13 a factor of 10/l - 3/21*-289?
False
Let t(i) = -4*i + 87. Let p(k) = 5*k - 85. Let g(u) = 5*p(u) + 6*t(u). Is 13 a factor of g(7)?
True
Suppose 14*u - 30*u = -30960. Is 14 a factor of u?
False
Let t = -361 - -355. Let s(r) = -r**3 + 7*r**2 + 18*r + 54. Is 69 a factor of s(t)?
True
Let h be (((-4059)/(-12))/(-11))/(1/(-12)). Suppose 3*k + 2*n - n - 349 = 0, 3*k = 3*n + h. Is 5 a factor of k?
False
Let n(l) = -l**2 + 5*l + 57. Let z be n(0). Let m = -56 + z. Is 85 + (0/m)/(-1 + 3) a multiple of 17?
True
Suppose 75 - 35 = -5*w. Let k(q) = 6*q**2 + 20*q + 6. Is 10 a factor of k(w)?
True
Let h = 582 - 945. Let k = -101 - h. Is 11 a factor of k?
False
Suppose k - 2 = -g + 1, g + 5 = -5*k. Suppose 4*h = 4*y + 1060, -3*y - 518 = -g*h + 817. Suppose -12*l + 15*l - h = 0. Is 27 a factor of l?
False
Is 4 a factor of -15112*(209/22 + -10)?
True
Is (36/(-90))/(6/(-9915)) + 5 a multiple of 2?
True
Suppose 28*h + 2*g - 12407 = 27*h, h + 4*g - 12415 = 0. Does 19 divide h?
False
Suppose 3*f + 52 = 34. Let k(l) = 14*l**2 - 8*l + 1. Let w be k(f). Suppose -4*m - 97 = -w. Is 19 a factor of m?
True
Let t = 121 + -112. Let b be 2/(-3) + 1590/t. Let m = b + -22. Does 7 divide m?
True
Let x(h) = -h**2 - 14*h - 48. Let f be x(-6). Suppose f = -12*r + 1583 + 241. Is 76 a factor of r?
True
Let z(c) = -25*c - 6. Let v(y) = 10*y - 15. Let l be v(3). Suppose 3*n = -l, 10*n + 45 = -5*a + 5*n. Is z(a) a multiple of 8?
False
Let m(g) = -986*g - 1003. Does 21 divide m(-5)?
True
Let g(m) be the third derivative of 17*m**2 + 0*m + 5/3*m**3 + 0 + 1/6*m**4 - 1/15*m**5 - 1/120*m**6. Is g(-5) a multiple of 5?
True
Let o = -170 + -619. Let c = -567 - o. Does 3 divide c?
True
Let b = -294 + 6907. Does 17 divide b?
True
Suppose -4*k = -14 + 2. Suppose 6 = 2*c - 3*y, 10 = 2*c + k*c - 5*y. Suppose -m + 5*m = -2*b + 28, c = -b + 3*m - 6. Is b a multiple of 3?
True
Let l(a) = 51*a**2 - 245*a - 2194. Is l(-10) a multiple of 103?
True
Let y be (-22655)/(-46)*(-1 + (-11)/(-5)). Let b = y - -21. Does 34 divide b?
True
Let r(x) = 448*x**3 - 9*x**2 + 6*x + 19. Does 12 divide r(5)?
True
Suppose 0 = y - 3*s - 24, -3*y - 4*s - 47 = -6*y. Suppose y*m + 2*m = 2695. Is m a multiple of 49?
True
Let u = -18281 + 31789. Is 71 a factor of u?
False
Let s = -12799 + 26625. Does 17 divide s?
False
Suppose 24*o - 187857 = 260415. Does 66 divide o?
True
Suppose 0 = -j + 2*z - 36, -5*z - 196 = 3*j - 44. Suppose -117*v = -39868 + 5119. Let m = v + j. Is m a multiple of 16?
False
Suppose -2538 = 3*g - 13257. Suppose 2*x - 2 = 0, x - g = -4*s + 1640. Does 11 divide s?
False
Let a be (-3)/(0 - 5/10). Let t(r) = 80*r - 55. Is 13 a factor of t(a)?
False
Suppose -5*h + 93 + 37 = 0. Let i be (-6)/4*(-132)/9. Let c = h + i. Is 5 a factor of c?
False
Let i be (-10)/4*(-1 - 1/(-5)). Let f(u) = u**3 - u**2 + 4. Let t be f(0). Suppose 2*w + 94 = t*b, -i*w - 69 = -3*b + w. Is b a multiple of 8?
True
Let w be ((-5)/15*0)/2. Suppose 4*b - 5*b + 8 = w. Suppose 3*d + 100 = b*d. Is d a multiple of 5?
True
Let c = 14189 + 3367. Is 59 a factor of c?
False
Suppose -4*y + k = -0*y - 101, -20 = -y + 2*k. Suppose y = 7*d - 2. Suppose -3*m - d*m = -1246. Is m a multiple of 21?
False
Suppose 0 = -16*b + 14*b + 794. Suppose t + 917 = -4*i, -11*i + 686 = -14*i + t. Let k = b + i. Is k a multiple of 28?
True
Suppose 83*a - 86658 = -31*a + 13*a. Does 13 divide a?
True
Let x = -4659 - -10560. Does 7 divide x?
True
Let f = -18858 - -32353. Is 5 a factor of f?
True
Let c(b) = 36*b**2 - 5*b + 7. Let s be c(-5). Suppose 0 = 2*g - s - 110. Let m = -365 + g. Is 40 a factor of m?
False
Let f = 85 + -86. Let u be 58/(f*(-3)/(-18)*2). Let d = u + 244. Is 14 a factor of d?
True
Suppose 17 = -19*r - 21. Is 5 a factor of 774/36 - r/4?
False
Suppose -4*v - 11*y + 7*y = 0, 2*v + 4*y = -8. Let k = 16 - 7. Suppose k*u = v*u + 300. Is u a multiple of 15?
True
Is 6 a factor of -1 + 6 + 1 + (-3 - -3) + 197?
False
Let z be (5/5 + -2)*-287. Suppose 0 = 4*r - 2*u + 67 - z, -118 = -2*r - 3*u. Is 14 a factor of r?
True
Let l(f) = -f**2 + 2*f + 3. Let t be l(2). Does 22 divide ((-594)/(-12))/(t/52)?
True
Let a(w) = -4*w**3 + 25*w**2 + 42*w - 7. Let h be 6/(-9)*(-105)/(-10). Let y(k) = -k**3 + 8*k**2 + 14*k - 2. Let v(z) = h*y(z) + 2*a(z). Does 11 divide v(-6)?
False
Suppose 2*g + 3 = 13. Let f(y) = 67*y - 213. Let v be f(4). Suppose -2*z + 88 = 2*z + g*k, k = -3*z + v. Is z a multiple of 4?
False
Is 78 a factor of 7215/6*(-576)/(-80)?
True
Let i(t) = 16*t + 195. Let g be i(-12). Suppose 2*v + 235 = 6*v + g*b, -2*b = -2. Is v even?
True
Suppose 4*v + 0*j - 7676 = -4*j, -j = -3*v + 5761. Suppose -26*w = -10*w - v. Is w a multiple of 20?
True
Let g be 1*(-3 - -2)*-47. Let j = g - 33. Let p(l) = l**2 - 13*l + 3. Is 4 a factor of p(j)?
False
Let u be (5 - 1 - 2)/(26/65). Suppose u*s - 4*b = 4, -5*s + 18 = 3*b - 14. Suppose 340 = s*p + g, 10 = 4*p + 4*g - 342. Is p a multiple of 42?
True
Suppose -150*q - 52038 = -159*q. Is q a multiple of 98?
True
Let i(x) = -1026*x + 55. Does 5 divide i(-2)?
False
Suppose -4*j = 4*x - 28, -2*j + x - 2 = -1. Suppose -5*q + 377 = j. Does 3 divide q?
True
Let f(y) = -2*y**3 + 6*y**2 + 5*y - 3. Let u be (30/25)/((-2)/(-5)). Is f(u) a multiple of 6?
True
Suppose -12*b - 6875 = -70103. Is 57 a factor of b?
False
Let v(o) = -10*o + 110. Let p be v(-16). Let s = -171 + p. Is 11 a factor of s?
True
Let i = -476 - -703. Suppose -x = -3*v - 185, -i - 168 = -2*x + v. Is x a multiple of 9?
False
Let b = 412 + -462. Suppose 84 = -i - i. Let p = i - b. Is 6 a factor of p?
False
Suppose -567 = 8*o - 63. Let x = o - -65. Suppose -d + s + 271 = -x*s, -3*s = d - 241. Is 35 a factor of d?
False
Does 7 divide 295 + (15 - (-8)/(-8))?
False
Is (183/6)/(((-68)/1672)/(-17)) a multiple of 61?
True
Suppose 276 = p - 213. Suppose -p = -10*m - 89. Is m a multiple of 10?
True
Is (1*159/(-15))/((-98)/10290) a multiple of 159?
True
Is 8 a factor of (-5781)/((-1)/((5 - 7)/(8/(-4))))?
False
Let n(q) = 5*q**2 + 28*q - 61. Let f(w) = w**2 + w - 1. Let a(c) = 6*f(c) - n(c). Let s(g) = -1. Let v(i) = a(i) + 6*s(i). Does 6 divide v(20)?
False
Let j(g) = 31*g**2 - 51*g + 208. Is j(-16) a multiple of 160?
True
Suppose 2*h + t = 3*t + 2, 5*h - 13 = t. Let x(n) = -4 + 3 - 2*n + 7*n**2 - 2*n**h - 3 - 6*n**2. Is 6 a factor of x(-2)?
False
Suppose -2*d - 3*u + u + 6 = 0, 27 = 4*d + u. Suppose 212 = 2*k - 0*k - c, 0 = -2*c + d. Does 12 divide k?
True
Let x(t) = t**3 - 4*t**2 - 10*t + 15. Let n be x(6). Suppose 82 = -26*h + n*h. Is h a multiple of 12?
False
Let z(q) = -21*q + 1492. Is z(64) a multiple of 4?
True
Let j = -344 + 350. Suppose 4*l + 437 = 5*v, -j*v + 4*l = -9*v + 243. Is 3 a factor of v?
False
Let a(l) = 10*l. Let q be a(3). Suppose 9*w + q = 10*w. Does 21 divide w?
False
Is 40*570/225*(-5)/((-20)/186) a multiple of 11?
False
Let x(r) = -r**3 - 6*r**2 + 2*r. Let d be x(-5). Let l = 37 + d. Suppose 0 = l*g - 52 - 132. Does 23 divide g?
True
Let w(o) = 2*o**2 - 15*o + 13. Let z be w(6). Let h = z - -34. Suppose 5*k - 11 - h = 0. Does 2 divide k?
True
Suppose 0 = -10*r + 8*r - 50. Let d(b) = -3*b - 42. Is d(r) a multiple of 14?
False
Let u be (-5)/(-4) - ((-119933)/44 - 8). Suppose -2718 = -7*s + u. Is s a multiple of 12?
False
Suppose -4394 = -2*y - 16*h + 13*h, 0 = 2*h - 12. Does 5 divide y?
False
Is 141 a factor of (-4)/(-14) - ((-1017804)/84 + -2)?
False
Let o(r) = 8*r + 57. Let c be o(15). Let p = c + 286. Is 22 a factor of p?
False
Suppose 2*x - 5*c - 635 = 1485, -3*x + 5*c + 3170 = 0. Let l = x - 666. Is l a multiple of 16?
True
Suppose -38 = -4*m + 5*f, 5*m - 3 - 47 = 5*f. Does 51 divide 72*(2 - (-20)/m)?
False
Let c(k) = 2*k**2 + 3*k + 5. Let v be c(-9). Let h be 76/28 + 4/14. Suppose 2*s - 122 = -h*j + 64, 4*s = 2*j - v. Is 16 a factor of j?
True
Let f(i) = 14*i**2 - 2*i - 21. Let u be f(14). Suppose c - u = -10*c. Is 28 a factor of c?
False
Let j(p) = 3*p + 16. Let h be j(-5). Let c(k) = 17*k**3 - 2*k + 1. Let g be c(h). Let w(x) = x**3 - 15*x**2 - 12*x + 12. Is w(g) a multiple of 4?
True
Let u(z) = 194*z - 7. Let q be u(1). 