?
False
Let o = -125 + 128. Suppose 2*v + 42 = 4*d, 13*v + 59 = o*d + 17*v. Is d a multiple of 13?
True
Suppose 92*a = 2999 + 3165. Does 3 divide a?
False
Let g(z) = -53*z - 316. Let l(c) = -c**2 + 11*c + 34. Let m be l(14). Does 108 divide g(m)?
True
Let s be ((-42)/49)/(2/14). Let m(y) = y**3 + 3*y**2 + 8*y + 18. Let r(h) = 3*h**3 + 10*h**2 + 25*h + 54. Let l(n) = 11*m(n) - 4*r(n). Is l(s) a multiple of 3?
True
Suppose -2*s - 12 = 0, 15*n - 4*s + 106896 = 20*n. Is 132 a factor of n?
True
Let o(s) = -18 - 5*s - 17 + s. Let c(d) = 4*d**3 + 6*d**2 + 11*d + 16. Let t be c(-2). Is 21 a factor of o(t)?
True
Let j = -492 - -426. Does 29 divide (-14)/77 - 71886/j?
False
Let u(v) = -2*v**3 - v - 21. Let r be u(0). Let w be -12*r/70*-1*5. Let k(q) = q**2 + 13*q - 4. Is 16 a factor of k(w)?
False
Suppose 2*a = -2*u + 62, -2*a + 0*a + 5*u + 48 = 0. Suppose -17296 = -26*i - 20*i. Suppose -a*y = -25*y - i. Is y a multiple of 9?
False
Let k(c) = 3*c**2 + 12*c + 371. Is k(21) a multiple of 7?
True
Let u be -24 - 1*6/6. Let j(s) = -11*s. Does 11 divide j(u)?
True
Let v be (-4)/32*6 - (-38307)/4. Suppose 15*s + v = 29*s. Does 12 divide s?
True
Let p = -212 - -217. Suppose -p*t - 1113 = -8*t. Does 13 divide t?
False
Let i(a) = 3*a + 28. Let s be i(-12). Is 260/s*96/(-10) a multiple of 26?
True
Let x = 7508 + -5044. Does 32 divide x?
True
Suppose -5*x = -2*s + 26, 5*s - 25 = -2*x + 11. Let j be (-577)/(-3) + s/(-24). Let a = 39 + j. Does 33 divide a?
True
Is 12 a factor of (-422 + -2836)*(-20)/(-9)*6/(-4)?
True
Let o(v) = v**2 - 56*v + 241. Let h be o(5). Let u(t) = -4*t - 4 - 12*t**2 - t**3 + 0*t**3 + 22*t. Is u(h) a multiple of 9?
False
Suppose 2*z = 7*z - 7*z. Is -6 + 212 + z/(-7) a multiple of 103?
True
Let p be 129*(-10)/(-7 + 5). Does 5 divide (p/(-6))/(2/(-4))?
True
Suppose 4*n + 107681 = 5*p, 62896 - 19822 = 2*p - 2*n. Is p a multiple of 18?
False
Let t = 3604 - -548. Is 1/(((-16)/t)/(-2)) a multiple of 18?
False
Suppose -162*q = 3*m - 159*q - 37980, -3*m + 37938 = -3*q. Does 12 divide m?
False
Let s be ((-3)/2)/((-4)/240). Let y = -1207 - -1209. Does 15 divide s + 4*(y - 3)?
False
Suppose 0 = -3*n + 4*v - 216 + 36, 0 = 4*v. Let t = n + 88. Let i = t - -48. Is 16 a factor of i?
False
Let c = -83 - -140. Suppose -12*o + 54*o = -74*o + 3132. Let i = o + c. Is i a multiple of 21?
True
Let x(t) = t**3 - 5*t**2 - 27*t + 4. Let p be x(-5). Is 18 a factor of 2/3 - 125800/p?
True
Let b = 4824 - 2353. Does 7 divide b?
True
Let s(k) = 2*k + 26. Let j be (-1)/(-5) - (-2 + 4)/10. Let q be (j/(3 - 2))/2. Is s(q) a multiple of 3?
False
Let p(l) = -793*l**3 - 4*l**2 - 4*l - 6. Let d be p(-2). Suppose 0 = 17*v - 11*v - d. Is v a multiple of 14?
False
Let g be 700/(-385) - (-4)/(-22). Does 49 divide (g - 2 - (-11 + 11)) + 543?
True
Does 9 divide (29724/21)/((32/(-56))/(-2))?
False
Suppose 36*q - 8*q = 11844. Let s = q + -366. Is s a multiple of 19?
True
Suppose 85*c = 91*c - 24. Is 7 a factor of 160 - (1 - 8/c)?
True
Let c(l) be the third derivative of -l**5/60 + 19*l**4/12 - 19*l**3/6 + 2*l**2 + 26*l. Let g be c(27). Let m = g + -150. Does 16 divide m?
True
Let m(j) = 1185*j - 642. Is 6 a factor of m(2)?
True
Let i(c) = 3*c**2 + 137*c - 6390. Is i(58) a multiple of 104?
True
Suppose -31*a + 3128 = 3*a. Does 4 divide a?
True
Let f = 628 + -348. Is 31 a factor of 185/(-2)*(-112)/f?
False
Suppose 3*h - 2730 = -p + 2*h, 3*p + 5*h - 8190 = 0. Suppose 4*x - p = -5*s, -3*s - 4*x + 1636 = -2*x. Is 35 a factor of s?
False
Let t be ((-5)/(-3) - 2)/((-6)/558). Suppose -t*x + 29*x = -1036. Is x a multiple of 14?
True
Suppose 0 = 3*b + 5 + 91. Let q be (-1)/(-4) - (-12)/b*-490. Let k = q - 58. Is k a multiple of 14?
True
Let v = -8965 - -28999. Does 106 divide v?
True
Let j(f) = -15 - 2*f**2 + 4*f**2 + f**2 - 14*f**3 + 13*f**3 + 21*f. Let r be j(6). Suppose -16*a + r*a + 650 = 0. Does 25 divide a?
True
Let n be 26146 + 1 + 16/(0 + 4). Is 1/10 + n/690 a multiple of 4?
False
Let t(b) be the second derivative of b**4/12 - b**3/2 - 7*b**2/2 - 12*b - 2. Is t(-7) a multiple of 21?
True
Let t be 147/245 - 34/(-10). Suppose -1767 = -3*m + 2*u, -t*u = -0*m - 5*m + 2945. Does 30 divide m?
False
Suppose 4*r - 8*q = -4*q + 64, q = 3. Let o = -17 + r. Suppose -3*h - 99 = o*d - 4*d, -3*h + 3 = 0. Does 11 divide d?
False
Let a(b) = -2*b - 8. Let q(z) = -z**3 - 12*z**2 - 8. Let s be q(-12). Let g be a(s). Suppose 0 = -15*r + g*r + 238. Does 17 divide r?
True
Suppose -3*n - 305 = 2*z - 5497, 3*z - 7788 = 2*n. Does 11 divide z?
True
Let k(q) = -q**3 - 29*q**2 + 232*q - 580. Is k(-39) a multiple of 6?
False
Let s(m) = -m**3 - 2*m**2 + 3*m + 1. Let x be s(-3). Let y(w) = 148*w**3 - w - 1. Is 11 a factor of y(x)?
False
Suppose 2*j + 5*c - 20 = 3*c, 0 = 5*j - 5*c - 40. Let v be ((-15)/j + (-1)/(-3))*-3. Suppose v*f - i + 3*i - 54 = 0, 0 = 4*f - 3*i - 79. Does 10 divide f?
False
Let d(o) be the third derivative of -o**5/60 + o**4/2 + 13*o**3/6 + 52*o**2 + 17. Let i be (-1*7)/(-2 - -1). Does 16 divide d(i)?
True
Let i = 748 + -620. Suppose 0 = p + 2*p. Suppose p = -l - 3*l + 4*c + i, 0 = 4*l - 5*c - 125. Does 10 divide l?
False
Let x(t) = 3*t**2 - 18*t - 35. Suppose 9 = -w + 4*n, -4*n + 101 - 37 = 4*w. Does 5 divide x(w)?
True
Suppose -c + 4*a - 3*a = -60, 0 = c + a - 70. Let p = 7 + -4. Suppose 2*z - 182 = -5*n, -z + p*n + c = -n. Does 10 divide z?
False
Let m(w) = 5*w + 13. Let k be ((-8)/(-3) + -2)/((-2)/(-18)). Let h be m(k). Suppose 0 = -2*c + 5*b - 5 + h, 3*c + 2*b - 38 = 0. Is c a multiple of 14?
True
Let p be -4*(-600)/9 + (-4)/(-3). Let n = 3 + p. Is n a multiple of 15?
False
Let x(a) = 2*a**2 - 46*a - 46. Let t be x(24). Suppose -t*r - 8*r = -6040. Is r a multiple of 17?
False
Let a(m) = 7*m - 3. Let u(s) = s - 1. Let y(h) = -a(h) + 5*u(h). Let w be y(0). Is 18 a factor of (-1)/w - -1 - (-642)/4?
True
Let j(u) = 21*u**3 + 35*u**2 - 25*u + 17. Is 29 a factor of j(7)?
False
Suppose 3 = 6*i - 9. Suppose -i*j + 5*s + 74 = 0, -118 = -2*j - j + 4*s. Does 4 divide j?
False
Suppose n + 24 = -2*w, 2*n = 2*w - w + 12. Does 98 divide (3/w)/((-3)/19956)?
False
Suppose -u - 3*q = 4*u - 24, -q = -5*u + 12. Suppose -u*f + 655 = 3*a - 4*f, -4*a + f = -873. Does 20 divide a?
False
Suppose 23*h - 2008 = 1212. Is 9 a factor of (56/h)/(0 - 2/(-190))?
False
Suppose 0 = -2*y - 10, -y + 525 = i - 1814. Is i a multiple of 7?
False
Suppose -2*a - 844 - 3924 = -5*i, -3*i - a + 2852 = 0. Is 18 a factor of 0/(-2) + i + 5 + -6?
False
Let n(i) = 2*i**2 - 3*i + 2. Let h be n(9). Suppose 0 = k - 19*k + 342. Let x = k + h. Is 32 a factor of x?
False
Suppose 54 = 7*w + 12. Suppose 102 = -5*s + u, w*s + 42 = 4*s + u. Let x = s - -41. Does 13 divide x?
False
Let d = -183 - -221. Suppose 0 = 41*y - d*y - 324. Does 6 divide y?
True
Let n(g) = 5*g + 339. Let s be n(46). Let k = -414 + s. Does 13 divide k?
False
Suppose -5*w + 26 + 4 = -5*g, 4*g = -4*w + 8. Does 24 divide -1 - (w + 0) - (-1107 + -126)?
False
Let c(t) = -t**2 + 2*t - 20. Let k be c(0). Let z be k/12 + (-5)/(-3). Suppose f - 4*f + 120 = z. Is 20 a factor of f?
True
Let g be (-3)/(11/((-1012)/12)). Suppose 0 = -3*y + 6, 5*q + 25*y = g*y + 1809. Is 16 a factor of q?
False
Let z(o) = -o**2 - 24*o + 17. Let r be z(-25). Is 4 a factor of (-2 + (-4 - r))*12?
True
Let r = 23730 + -11264. Is 46 a factor of r?
True
Let z(a) = a**3 + 2*a**2 + 5*a + 26. Let i be z(8). Suppose -2*v + 854 + i = 0. Suppose 10*y + v = 15*y. Is y a multiple of 26?
True
Suppose 516 = 4*m - 5*t, 5*m + t = 528 + 146. Suppose -2*n - k + 4*k = -49, 0 = 5*n + 4*k - m. Is 13 a factor of n?
True
Suppose -16*a = -22*a + 78. Suppose 1478 = 2*d - 5*w, -5*d + 15*w = a*w - 3716. Is d a multiple of 6?
True
Let y(l) = l**3 + 8*l**2 + 20*l - 2. Let m be y(-3). Let c(t) = -4*t**2 + 5*t**2 + 10*t + 9 - 2. Is 6 a factor of c(m)?
True
Let p = -267 + 279. Suppose 7*k = -p*k + 1596. Is 2 a factor of k?
True
Let r = -519 - -300. Let z = -179 - r. Is z a multiple of 8?
True
Is 23039 - (12/(-7))/((782/119)/23) a multiple of 55?
True
Let x(v) = 5*v**3 - 8*v**2 + 4*v - 2. Suppose -4*d + 2*a = 5*a - 45, 3*a = d - 15. Let g(t) = -2*t + 27. Let n be g(d). Is x(n) a multiple of 9?
False
Suppose 0 = d + 3*d + 1204. Let x be ((-2265)/(-60))/((-2)/8). Let b = x - d. Is 30 a factor of b?
True
Let c = 294 - -63. Let t be (7 - c/49)/