547 + u. Is v a multiple of 47?
False
Let k be ((-11)/4)/((-25)/(-100)). Let w be (-2)/k - (-204952)/121. Suppose 0 = -7*u - 4*u + w. Is u a multiple of 14?
True
Does 23 divide -23 - (-328)/14 - 119081/(-7)?
False
Let y(h) = -7*h**3 + 14*h**2 + 16*h - 23. Let k(d) = -5*d**3 + 15*d**2 + 17*d - 22. Let s(n) = -4*k(n) + 3*y(n). Does 17 divide s(-18)?
False
Suppose 15 - 3 = 4*u. Suppose 0 = -d - p + 10, u*p - 54 = -5*d - p. Suppose 0 = 17*l - d*l - 60. Does 10 divide l?
True
Let i = 7243 + -6358. Is 15 a factor of i?
True
Let a(w) = -4244*w**3 - w**2 - 7*w - 4. Is a(-1) a multiple of 30?
False
Let u be 220601/(-177) + (-1 - (-1)/3). Let z = -580 - u. Is 10 a factor of z?
False
Let b(q) = 1644*q + 260. Is b(1) a multiple of 76?
False
Suppose 0 = 3*s - 9, -s + 430 + 2597 = z. Suppose 9*n = 2*n + z. Is n a multiple of 16?
True
Let n(v) = 31*v - 29. Let w(s) = 8*s - 7. Let c(q) = -6*n(q) + 26*w(q). Suppose -26 = -12*r - r. Is c(r) even?
True
Let k be 905/7 - ((-204)/(-28) + -7). Suppose 8*t = 23 + k. Does 5 divide t?
False
Is (-5)/((-75)/125307) + (-8)/20*2 a multiple of 35?
False
Let c be -6*6/(12/5). Let n be ((-20)/c)/2*1*-6. Does 25 divide (-16)/(-6)*(-75)/n?
True
Let l = -4670 + 6336. Does 34 divide l?
True
Suppose -5*j = -25, 29 + 136 = 4*n + j. Let x = 38 - n. Let z(v) = -21*v - 2. Does 10 divide z(x)?
True
Suppose 28*c - 18117 = 68055 - 2536. Does 29 divide c?
True
Let b(q) = 618*q + 16*q**2 + 6 - 634*q - 1 - q**3. Is b(12) a multiple of 35?
False
Let m(y) = 4*y - 66. Let g be m(17). Suppose -g*t = -9*t + 1260. Does 15 divide t?
True
Suppose -z = -5*l - 122, -274 = -3*z + 4*l + 48. Does 22 divide z?
False
Suppose d - 3*y - 17 = 0, 3*d + 4*y + 5 = -y. Suppose -d*c = 165 - 1700. Suppose 0 = -o - 4*p + p + 111, 3*o - 4*p - c = 0. Is o a multiple of 21?
True
Suppose 2*k + p = 2*p + 604, 0 = -4*k + p + 1212. Suppose -81*d + 32 = -73*d. Is 17 a factor of d/18 - k/(-9)?
True
Is 1027 + -1031 - (-1 - -1 - 104) a multiple of 4?
True
Suppose 20*z - 2399 = -479. Let w = -32 + z. Is w a multiple of 5?
False
Suppose -227*z - 14*z + 341015 = 0. Is z a multiple of 19?
False
Let i be (-110)/2*(5/(-5) + 0). Let z = 27 + i. Is 13 a factor of z?
False
Let k be (-24 - 1)*(-1656)/60. Let y be ((-12)/(-18))/(2/k). Does 14 divide ((-54)/12)/9 + y/4?
False
Suppose 4*o + 34 = -30. Let t(d) = -d**2 - 17*d - 21. Let a be t(o). Is (a + 2)*(-2 + 134/(-6)) a multiple of 8?
False
Suppose -9*w = -5837 - 4594. Does 3 divide w?
False
Let s(q) be the first derivative of 5*q**3 + 11*q**2 + 65*q + 127. Is 47 a factor of s(-8)?
False
Let g(u) = -u**3 - 2*u**2 + 9. Let z be g(-3). Suppose 9*j = z*j + 9. Let q(d) = 157*d**2. Does 25 divide q(j)?
False
Let s(a) = -a**3 - 3*a**2 - 2. Let j be s(-3). Let t(d) = -10*d**2 - 61*d - 24. Let o be t(-6). Is 25 a factor of (j/((-12)/(-9)))/(o/1320)?
False
Let p(x) be the second derivative of x**5/20 - 4*x**4/3 - 14*x**3/3 + 4*x**2 - 49*x. Is p(18) a multiple of 38?
True
Let t = 49 + -89. Let z be ((-12)/8)/((-4)/t). Does 9 divide (-3)/z + (-44)/(-5)?
True
Let p(d) = 2*d - 27. Let r be p(15). Suppose 119 = v - r*a, -244 = -5*v - 5*a + 331. Is v a multiple of 2?
True
Let g be 45/7 + 1 - 24/56. Let l(n) = 18 + 22 + g*n - 48. Is 23 a factor of l(5)?
False
Let f(w) = -13*w - 1. Let b be f(-12). Let i = -49 - 13. Let c = b + i. Does 19 divide c?
False
Suppose 0 = 16*k - 238546 - 147086. Is 13 a factor of k?
True
Let k be 6/(-66) + 16/176. Is -9 + k + 0 - -150 a multiple of 2?
False
Let q(x) = -4*x + 50. Suppose 0 = -5*z + 25 + 30. Does 3 divide q(z)?
True
Is 53 a factor of 5353*-1*(4 + 0 - (6 - 1))?
True
Is 40 a factor of (128/(-24))/((-16)/(-59640)*-7)?
True
Let y(c) = 53*c**3 + 2*c**2 + 12*c + 17. Let x be y(-2). Let g = x - -698. Is g a multiple of 11?
True
Let q(n) = -7*n**2 - 20*n - 18. Let d = -84 - -76. Let a(w) = 11*w**2 + 30*w + 27. Let o(f) = d*q(f) - 5*a(f). Is o(-13) a multiple of 8?
True
Suppose -c + 6 = -4. Let f(x) = 245*x - 17 - 119*x - 122*x. Is f(c) a multiple of 17?
False
Let q = 36 + -34. Does 15 divide ((-105)/(-14))/(q/52)?
True
Let o(c) = -19*c + 2708. Is o(31) a multiple of 13?
True
Suppose 4*u + 5*v = 5*u + 15, u - 15 = -5*v. Is 25 a factor of u + 125/2*(-64)/(-10)?
True
Suppose 1405740 = -1702*m + 1723*m. Does 19 divide m?
False
Let k(v) = 10074*v**3 - 2*v**2 + 34*v - 31. Does 13 divide k(1)?
True
Suppose 0 = -4*y + 4*r + 12, 4*y + r = -12 + 49. Suppose 5*j - p - 4098 = 0, -4*p = -y*p - 12. Does 63 divide j?
True
Let t(j) = 619*j**3 + j**2 + 2*j - 7. Let w(s) = 1237*s**3 + 2*s**2 + 5*s - 16. Let r(c) = -7*t(c) + 3*w(c). Is 20 a factor of r(-1)?
False
Let a(p) = 4*p**2 + 5*p + 18. Suppose 6*l - 3*l - 15 = 0. Is a(l) a multiple of 64?
False
Suppose -216 = -o + 2*g - 81, 3*o - 425 = -4*g. Is 4 a factor of o?
False
Let t(p) = -4*p + 46. Let q be t(11). Suppose q*x = x + 5. Suppose r = -0*f - 4*f + 172, 305 = 2*r - x*f. Does 20 divide r?
True
Let s(q) = q**3 + 9*q**2 - 7*q - 1. Let c be s(-8). Suppose -391 - c = -5*x. Suppose 9 = -3*o + x. Is o a multiple of 8?
False
Let x(w) = -6*w**3 - 5*w**2 - 4*w + 6. Let h(f) = -7*f**3 - 6*f**2 - 4*f + 7. Let q(t) = 5*h(t) - 6*x(t). Let g = 2 - -1. Is 38 a factor of q(g)?
True
Let a(i) = 2*i**2 + 5*i + 40. Let c be a(-12). Is 8 a factor of 0 + -3 - c/(-4)?
True
Suppose 4*i + 2*r - 6 = 0, 4*i - 3*r + 20 - 31 = 0. Does 31 divide (-248)/4*7/((-7)/i)?
True
Suppose -2*x = -410*o + 411*o - 22213, -x + o + 11114 = 0. Is x a multiple of 69?
True
Let b = 9807 - 5391. Is b a multiple of 16?
True
Let u(r) = r**3 + 10*r**2 + 23*r + 14. Let n be u(-7). Suppose 232 = 4*l - n*l. Is 45 a factor of l?
False
Let v be (1/2)/(-1)*(8 + 8). Let o = v + 10. Does 7 divide -2*(-1)/o + 49?
False
Suppose -f = 3*f - 20. Suppose 0 = -f*k + 10, v - 181 = k - 37. Is 12 a factor of v?
False
Suppose 0 = 234*n - 231*n + 60. Does 29 divide 3028/n*(-17 + 12)?
False
Let d be 5 + ((-12)/8)/((-1)/2). Suppose -5 = d*j - 37. Suppose -j*a + 146 = c - 3*c, 0 = -4*a - 2*c + 166. Is 16 a factor of a?
False
Let k(v) be the first derivative of -14*v - 12 + 1/3*v**3 - 7/2*v**2. Is k(14) a multiple of 12?
True
Let a(f) = f**3 + 34*f**2 - f + 269. Is 79 a factor of a(-29)?
True
Let q(b) be the third derivative of b**5/20 + b**4/12 + 2*b**3/3 + 10*b**2. Let v be q(-2). Suppose -360 = -v*s + 6*s. Is 8 a factor of s?
False
Suppose 0 = 3*b + 2*m - 52601, -40*b + 4*m = -39*b - 17501. Is 40 a factor of b?
False
Suppose 0 = 4*c - 16, -2*c + 821 = -2*k - 543. Let t = -206 - k. Is 56 a factor of t?
False
Let f(r) = r + 8. Let n be f(-1). Suppose n*g - 5*g + 762 = 0. Let i = -41 - g. Is 39 a factor of i?
False
Suppose 0 = 9*o - 37265 - 16438. Does 39 divide o?
True
Does 36 divide (6120/105)/((-14)/(-588))?
True
Let m be (890/25)/((-6)/(-15)). Let s = -30 + m. Let z = 104 - s. Is z a multiple of 15?
True
Suppose 0 = 152*t - 153*t - 4*n + 44827, -5*n = 4*t - 179363. Is t a multiple of 10?
False
Does 30 divide -8 + 13 + (-580)/(-4)?
True
Suppose 17*h + 72 = 15*h. Let i = 40 + h. Is 32 a factor of (-524)/(-16) + (-3)/i?
True
Let f(j) = 30*j**2 + 23*j - 100. Does 3 divide f(5)?
True
Let s be (-230)/(-18) - 4/(-18). Let v = -8 + s. Suppose -v*m - a = -194, 2*a + 2 = m - 28. Is 38 a factor of m?
True
Let w = 67957 + -2776. Is 14 a factor of w?
False
Let f(t) = -t**2 - 8*t - 6. Let b be f(-6). Suppose -2*w = -b*j + j - 191, -3*w = -4*j - 290. Is w a multiple of 7?
True
Let v(g) = g + 19. Let r be v(-15). Suppose -3*h = -2*d + 77, r*d + 5*h - 68 = d. Let k = d - 24. Is k a multiple of 7?
True
Is 5958/(-1 - -4) + 8 a multiple of 10?
False
Let o be 9/9 + -3 + 8/2. Suppose 4*l + l + o*y - 251 = 0, 0 = 2*l + y - 101. Is l a multiple of 7?
True
Let w = -164 - -73. Let j = w - -138. Suppose 3 = 2*c - j. Does 7 divide c?
False
Suppose -4*h + 15 = g, 0 = -5*g - 5*h - 6 + 21. Is 6 a factor of 228 + (g*(-2 + 4) - -5)?
False
Suppose -12*w + 3*z + 1395 = -11*w, 1405 = w - 5*z. Is 115 a factor of w?
True
Let d = -1525 + 10803. Does 9 divide d?
False
Let w = -35491 - -53028. Is 71 a factor of w?
True
Let f(g) be the first derivative of 26*g**2 - 70*g - 263. Does 72 divide f(7)?
False
Is 715494/624 + (-12)/(-32) a multiple of 13?
False
Suppose 3927140 + 4512043 = 307*f + 1903767. Is f a multiple of 14?
False
Suppose -3*g + 31 = 4*p, 7*g + 3*p = 5*g + 22. Suppose g*s -