m*j. Does 6 divide (-60)/(-4) + p + -1?
True
Let b(g) = 26*g + 2. Let k be b(3). Suppose -r = 7*r - 104. Suppose r*q - 14*q + k = 0. Is q a multiple of 10?
True
Let o(i) = -2*i - 7. Let b be o(-6). Let m(d) = 7*d + 49. Let p be m(-9). Is b + (-222)/42 + (-1012)/p a multiple of 8?
True
Suppose -27 = -2*h - 3*v, 5*h + 16*v - 11*v - 65 = 0. Let x be 3285/20 - 1/4. Let d = h + x. Is d a multiple of 22?
True
Let i = -2151 + 15465. Does 21 divide i?
True
Let x be (243/36 + 0)*(-312)/9. Let a = x + 618. Is a a multiple of 24?
True
Let v(a) be the first derivative of 3*a**2/2 - 92*a + 18. Let f(l) = l. Let n(s) = 2*f(s) - v(s). Is n(0) a multiple of 6?
False
Let f(y) = 2*y**2 + 89*y - 2298. Is 4 a factor of f(-63)?
False
Suppose 4*d - 126 = -46. Suppose 2*x + 21 = -5*y, 2*x + 2*y = 7*x - d. Suppose -224 = -x*v - 0*k - 5*k, -v = 3*k - 113. Does 19 divide v?
False
Suppose -4*a + 2 = -2*t - 2*a, -2*a = 3*t + 8. Let h be (2 + 1)/(t/(-6)). Is 19 a factor of 12/54 - (-1015)/h?
False
Suppose 3*o + 4*r - 264 = -o, 330 = 5*o - 2*r. Suppose -u + 7*u - o = 0. Suppose k - 24 = u. Does 12 divide k?
False
Let o(p) = -6220*p - 369. Is 91 a factor of o(-3)?
True
Let o be 176/40 - ((-24)/(-10))/(-4). Is 8 a factor of (o - (-435)/(-85)) + 6394/17?
True
Let w(k) = 25*k**2 + 2*k - 25. Let o be w(4). Does 13 divide o/((-3)/(-12)*4)?
False
Let h be -1*1289 + -14*6/(-42). Is 24 a factor of -3 - h/3 - -6?
True
Let t = 12254 - 12211. Does 6 divide t?
False
Let g(c) = -12*c + 1. Suppose -4 = -3*d + 2*a, -7*a + 2*a - 15 = -5*d. Let r be g(d). Suppose -r = b - 2*b. Is b a multiple of 4?
False
Let c = -24 - -34. Let p be (-75)/c*(-88)/6. Suppose -2*r + p = -72. Is 18 a factor of r?
False
Suppose 0 = 4*g - 5*y - 4532, 1564 + 1832 = 3*g - 3*y. Is 47 a factor of g?
True
Let h = -97 - -142. Suppose -38*o = -h*o + 2555. Is o a multiple of 57?
False
Suppose 43*q + 7*q + 3400 = 0. Suppose -4*s + z = -7 - 5, 0 = -3*s + 5*z + 9. Is 4 a factor of (33/(-22))/(s/q)?
False
Suppose -4*r - 202 = -3*o, 5*o - 4*o - 4*r - 54 = 0. Let i = -72 + o. Does 23 divide 360/i - (-2 - (-7 - -9))?
True
Let b be (-25)/4 - (-3)/(-4). Let i(p) = 388*p - 387*p + 4 + p**2 + 2. Does 6 divide i(b)?
True
Is (31689/(-2))/(8/(80/(-5))) a multiple of 21?
True
Let v = 49 - 41. Let w(b) be the third derivative of b**4/24 + 2*b**3/3 + 4*b**2. Is w(v) a multiple of 4?
True
Let q(r) = r**3 - 14*r**2 - 14*r + 193. Is q(23) a multiple of 58?
False
Suppose 48*v - 20125 - 3203 = 0. Does 2 divide v?
True
Let b(c) = -41 + 62 + 32*c + 87 - 114*c. Is 71 a factor of b(-12)?
False
Let h be (0 - -3)*35414/(-12)*-2. Suppose -15*w + h + 593 = 0. Is w a multiple of 61?
True
Let v(k) = -k**3 + 12*k**2 - 10*k. Let q be v(11). Suppose -9*f - 2 = -q. Does 8 divide (0 + -1 - f) + 592/8?
True
Let b = 4810 - 1512. Does 97 divide b?
True
Let r(k) = 2*k**3 - 108*k**2 + 22*k - 158. Is 10 a factor of r(54)?
True
Suppose 15*g - 1569 - 1539 = -1248. Is g a multiple of 9?
False
Suppose -302 = -7*f + 216. Suppose 5889 = -61*z + f*z. Does 25 divide z?
False
Let q = -49 + 55. Suppose 7*m + 1 = 2*k + 4*m, -4*k = -2*m - q. Does 3 divide ((-10)/(-15) + k)*(-54)/(-8)?
True
Suppose 18*l + 74253 = 177*l. Is l a multiple of 8?
False
Suppose 5*v = -3*q + 8781, 11*q + 2941 = 12*q - 3*v. Does 4 divide q?
True
Suppose -187*p + 120*p + 71690 = 0. Is 25 a factor of p?
False
Let i(k) = 2255*k**3 + 11*k - 28. Does 254 divide i(2)?
True
Suppose 42*a + 285 = 15573. Suppose a = 8*m - 3236. Does 30 divide m?
True
Let i(m) = 10*m + 1. Let s be i(-2). Let x be 4 - (-2 + 3) - s. Let g = x - -52. Does 37 divide g?
True
Let n(d) be the first derivative of 4*d**3/3 + 7*d**2 + 22*d - 228. Does 9 divide n(-5)?
False
Let i(d) be the first derivative of 7*d**2/2 - 27*d - 10. Let p = 316 - 287. Does 8 divide i(p)?
True
Let j = -3747 + 6621. Is 46 a factor of j?
False
Is 21 a factor of 24*(-10)/((-520)/4277)?
True
Let w = -49338 + 69242. Is w a multiple of 8?
True
Suppose 4*l - 48 = -8*l. Suppose 19*a - l*a - 2325 = 0. Does 15 divide a?
False
Suppose 5*v - 351 = -2*d, -3*d = d - 12. Let q = 285 - v. Is q a multiple of 18?
True
Let t(h) = -h**2 - 5*h + 2. Let l be t(0). Suppose -2*m = -4*v + 8 + l, -4*m - 20 = -5*v. Suppose 4*a + a - 4*i - 564 = v, 2*a = 3*i + 227. Is 16 a factor of a?
True
Suppose 2*y - 247 = -3*u, 5*y = y - 16. Suppose -16 = -b - o, 0*o = -4*b + 3*o + u. Suppose l + 37 = p, 20 = p + l - b. Does 4 divide p?
False
Let q(j) = 19*j + 155. Let r be q(-8). Suppose -502 = r*k - 2*u - 1545, 0 = 4*k + 5*u - 1429. Does 27 divide k?
True
Suppose 5*h - 6*j = 2652, -1056 = -2*h - 33*j + 37*j. Does 6 divide h?
True
Suppose 2*l - 52 = l - 5*g, 4*g = 3*l - 175. Suppose -l - 75 = -6*v. Suppose v*k - 736 = 14*k. Is 31 a factor of k?
False
Let v(y) = -14*y + 192. Let d be v(13). Does 20 divide 3636/5 + (-12)/d?
False
Let n(i) = -2*i**2 + i - 12. Let u be n(5). Let j = u - -49. Does 18 divide j/(-14) + -4 + (-1300)/(-28)?
False
Suppose x = 3, -23*k + 32*k = -x + 104637. Is 8 a factor of k?
False
Suppose 4*c = -p - 5, 4*p + 1 = 2*c + 35. Suppose 0 = 2*u - p*u + 60. Suppose -3*q + u = -12. Is q even?
True
Let i(x) = 6*x - 21. Let h be i(5). Does 12 divide (339/h + 6)*6?
False
Let o(f) = -4*f**2 - 16*f + 47. Let p(r) = 7*r**2 + 31*r - 93. Let u(a) = -5*o(a) - 3*p(a). Let b be u(-17). Is 13 a factor of (-6)/b - (-455)/4?
False
Let d = -11493 + 15285. Is d a multiple of 24?
True
Is 29 - 47 - (-16696)/1 a multiple of 41?
False
Let d(b) = 10*b**2 + 1 + 4*b + b - 3*b + b**3. Let s be d(-8). Suppose s + 97 = 10*g. Is g a multiple of 9?
False
Suppose -142*v + 146*v = -5*h + 75451, 3*h = 4*v - 75427. Is 41 a factor of v?
False
Suppose -d - 4*j + 10 = 1, -4*j + 22 = 2*d. Suppose u + 4*p = 3*u - 60, 5*u - 2*p - 118 = 0. Suppose 5*t + 3*x - 34 = d, -2*t + 2*x = -u. Is t a multiple of 8?
False
Suppose -121787*k = -121784*k - 143025. Does 12 divide k?
False
Let k(m) = -53*m - 46. Let y be k(34). Does 42 divide 414/8*y/(-99)?
True
Suppose -9*q = -20*q + 5731. Suppose 179 = 10*b - q. Is b a multiple of 7?
True
Is 14*(19 - -10)*(-1)/(-2) a multiple of 44?
False
Suppose 9*l - 28560 = -3720. Does 23 divide l?
True
Let c = 212 + -211. Does 3 divide (4 - 1)/(510/505 - c)?
True
Let h(g) = g**2 - 10*g + 2. Let i be h(9). Does 6 divide (-21)/(i/(-1)) + -1 + 42?
False
Suppose 1010*v = 998*v + 64512. Is v a multiple of 128?
True
Does 5 divide (-135)/((-54)/(-28) + 43 + -45)?
True
Suppose 2*k - 3*k = 2*i - 29, 0 = 5*i - 4*k - 105. Let x = -15 + i. Suppose 0 = x*r - 61 - 15. Does 4 divide r?
False
Suppose -42 = 2*s + 3*y, -5*s + 2*y - 82 - 61 = 0. Let n = 78 + s. Does 17 divide n?
True
Let o(u) = -3*u + 20. Let l be o(6). Let q(j) = 6*j**2 - 4*j - 3 - j + 66*j**2 - 4*j**l. Is q(-2) a multiple of 41?
False
Let s = 33928 + -15011. Is 56 a factor of s?
False
Let u(p) = -p**2 + 0*p**2 + 26*p - 20 - 1. Let j be 18/(14 + -8)*(5 - -1). Is u(j) a multiple of 19?
False
Let u(j) = 10*j**2 + 3*j + 36. Let c be u(-6). Suppose 2*g = c + 328. Let v = g - 59. Is 17 a factor of v?
False
Let o be (0/(-4) - 4) + (-679 - -1). Let r = o - -994. Is r a multiple of 12?
True
Let n be 79425/(-275) + 4/(-22). Let u = 329 + n. Is 4 a factor of u?
True
Let z(b) = -b + 7. Let t be z(1). Suppose t*p + 4434 = 708. Let q = -431 - p. Is 19 a factor of q?
True
Suppose -3*p - 13 = -0*r - r, -5*r + 55 = -5*p. Suppose -k - 3*m = k - r, -15 = -3*k + 2*m. Suppose 5*y = -s + 116, y - 266 = -k*s + 362. Is s a multiple of 21?
True
Let u = 28 - 55. Let d = -24 - u. Suppose -y + 110 = -s, -d*s + 2 = -4. Is y a multiple of 14?
True
Let l = -1511 - -2116. Let f = l + -329. Is 46 a factor of f?
True
Suppose 8*w = -6*w + 126. Suppose 0 = w*m - 2*m - 1092. Does 34 divide m?
False
Let a(p) = -39 - 2*p + 15*p + 13*p + 9*p - 73. Is a(35) a multiple of 53?
True
Suppose -5*p + 4*g - 23 = 0, p + p - g + 11 = 0. Let j = p - -7. Suppose j = -z + 3*f + 145, 4*z - 567 - 55 = -2*f. Does 14 divide z?
True
Let m(u) = u**3 + 17*u**2 - 19*u - 3. Let o be m(-18). Suppose o*b - 7203 = -6*b. Is 32 a factor of b?
False
Suppose 0 = -58*z - 70*z + 668032. Does 20 divide z?
False
Suppose 0 - 48 = -6*m. Let w(l) be the second derivative of -l**4/12 + 19*l**3/6 - 9*l**2 + 8*l. Is 16 a factor of w(m)?
False
Let g be 13/39 + (-3658)/(-6). Suppose 5*d = -5*w + 2220, w + 5*d + 174 = g.