 5 = 5*g. Is ((-4)/(-5))/(q/(-125)) a multiple of 6?
False
Let k = 5616 - -1095. Is k a multiple of 17?
False
Suppose 4*m = 3*q - 22, -q - 5*m - 18 = -0*m. Suppose -4*d = -u - 5, -q*d + 8 = 2*d. Suppose 5*h - 12 - 3 = 0, -u*c - 3*h = -99. Does 10 divide c?
True
Suppose -5*u = -5*t - 3*u + 12, 2*t - 5*u = 9. Let s(i) be the first derivative of 4*i**4 + 2*i**3/3 - i**2/2 - 2*i - 53. Is s(t) a multiple of 12?
True
Suppose 3*g = -k + 2995, 997 = -2*g + 3*g + k. Suppose -4*a + g = -2*j + 5*j, a - 2*j = 258. Is a a multiple of 63?
True
Let l(a) = a**2 + 40*a - 92. Let i be l(27). Suppose -10*p + 15*p - i = -h, 0 = -2*h + 4. Does 7 divide p?
True
Let v(x) = -x**3 + 17*x**2 + 6*x + 26. Let l be v(17). Suppose 0 = 2*o - 2*p - l, -o - 9*p + 62 = -12*p. Does 15 divide o?
False
Let a(j) be the third derivative of j**4/8 - 3*j**3/2 - 1836*j**2 + 2*j. Suppose 2*v - 3*v + r + 14 = 0, -5 = r. Does 3 divide a(v)?
True
Suppose 4*b + 3*g + 4 = -0, -b - 1 = -5*g. Let d(n) = 5*n. Let w be d(b). Is 25 a factor of (-304)/w + (-20)/25?
False
Suppose 0 = 4*a - 294 - 302. Suppose 2*q - a = 211. Does 21 divide 2/9 - (-7520)/q?
True
Let b(c) = -177*c + 1198. Does 5 divide b(6)?
False
Does 226 divide (-62 - -160)/(4 - (-2709)/(-678))?
True
Let z = -12788 - -15232. Does 52 divide z?
True
Let h(x) = 100*x - 13. Let u(c) = c + 2. Let k(n) = -h(n) - 3*u(n). Does 9 divide k(-5)?
True
Let g(v) = -v**2 - 9*v + 11. Let a be g(-12). Let m = a - -22. Let y(i) = i**2 - 4*i - 2. Is 5 a factor of y(m)?
False
Let g = -2765 + 13531. Is g a multiple of 21?
False
Let q(n) = -5*n**2 + 9*n + 14. Let m be q(7). Let l = 298 + m. Is 12 a factor of l?
False
Let d = 48462 - 28860. Does 35 divide d?
False
Let n = -43 + 46. Let i = -32 + 34. Suppose -r = 2*s + i*r - 56, -n*s - r + 98 = 0. Does 17 divide s?
True
Suppose -5*i - 3*g = -1281, 5*g - 243 = -3*i + 2*i. Suppose i = 3*b + 18. Is b a multiple of 10?
True
Let w be -4 - 0 - (6 + -193 + 0). Let q = -73 + w. Is 10 a factor of q?
True
Let o = -45382 + 45762. Is 10 a factor of o?
True
Suppose 3103 = z + 3*i - 4*i, 4*i = -12. Is z a multiple of 117?
False
Suppose -82*g - 553216 = -104*g + 280232. Is 132 a factor of g?
True
Let c(o) = o**2 - 12*o - 10. Let f be c(10). Let j = -23 - f. Suppose 111 = 3*v + 4*g - j*g, -5*v + 215 = 5*g. Does 8 divide v?
True
Let u(p) = 38*p**2 - 71*p - 349. Does 17 divide u(-5)?
False
Suppose 5*x = -w + 41201, -4*w - 804*x = -801*x - 164753. Is 253 a factor of w?
False
Let r(v) = v**3 + 112*v**2 - 14*v - 1014. Does 185 divide r(-112)?
False
Suppose 18725 = 3*g + 5*i, 0 = 74*g - 76*g + 5*i + 12475. Is g a multiple of 32?
True
Is (10 - 6728/(-16))*14 + 5 a multiple of 188?
False
Suppose -3*d + 5*y = -25176, -4*d + 22*y = 24*y - 33568. Is 23 a factor of d?
False
Let r be (4/(-6))/(6 - (-1219)/(-207)). Let l(a) = -11*a**2 + 3 - 13*a + 0*a**2 - 2*a**3 - 6. Is l(r) a multiple of 37?
True
Let h(g) be the third derivative of -7*g**4/24 - g**3/6 + 19*g**2. Let m be h(8). Let i = 20 - m. Is 7 a factor of i?
True
Suppose -3*z = -7*z + 344. Let p be (-26)/65*(-1 + z). Let c = p - -56. Is c a multiple of 11?
True
Suppose -8 = -4*t - 2*c, 26 = t + 5*c + 6. Suppose -2*y + 3*z + 126 = y, t = -2*y - 4*z + 54. Let s = 3 + y. Does 10 divide s?
True
Suppose 2*i + 2*k = -k - 9, 5*i = 3*k + 9. Suppose -4*j - r + 711 + 2814 = 0, i = -5*j - r + 4406. Does 32 divide j?
False
Let d(c) = 33*c**2 - 12*c. Let m(v) = -3*v**2 - 24*v - 3. Let j be m(-8). Is d(j) a multiple of 37?
True
Let u = -522 + 522. Suppose -5*d + 167 - 2057 = -3*s, u = -s - 3*d + 616. Does 25 divide s?
True
Let n be ((-68)/(-3))/((-8)/(-36)). Suppose j + 87 = n. Is 5 a factor of j?
True
Let s = 163 + -160. Suppose -s*g + 3*a + 555 = -174, 5*g - a - 1195 = 0. Is 34 a factor of g?
True
Suppose 0 = -7*w + 1279 + 2725. Let z = w + -250. Is 14 a factor of z?
True
Let m(y) = -2*y - 65. Let a be m(-19). Let v = 146 - a. Is v a multiple of 8?
False
Suppose -38*i + 17208 + 76912 + 2666 = 0. Is 9 a factor of i?
True
Let a be (-4 - 5*-3) + -4. Suppose 4*l - 1 = a. Suppose 2*n + 265 = 3*d, -l*n = 2*d + 2*n - 182. Is 32 a factor of d?
False
Let o = -255 - -265. Suppose -o*c = -4*c - 3456. Is 48 a factor of c?
True
Suppose -78*q + 82*q - 2400 = 0. Suppose 7*a - 373 = q. Does 65 divide a?
False
Let p(b) = 81*b + 9. Let s(u) = -40*u - 4. Let n(x) = 3*p(x) + 7*s(x). Let v be 33/(-27) - (-6)/27. Is n(v) a multiple of 9?
True
Does 31 divide ((-11)/4)/(1/8)*-474?
False
Let g(b) = 23*b + 16. Let q be g(8). Suppose 8*d = 3*d - q. Let k = -31 - d. Is 3 a factor of k?
True
Let z = 71 + -67. Suppose 5*b - 371 = 4*l, -3*b + z*l + 233 = -l. Is 4 a factor of b + (-4)/(6 - 5)?
False
Let a(o) be the third derivative of o**5/15 + 5*o**4/24 - 9*o**3 - 133*o**2. Does 25 divide a(-9)?
True
Let t(h) = 13*h**2 + 173*h + 43. Is t(-18) a multiple of 7?
True
Let p = 9284 - 7622. Is p a multiple of 6?
True
Is 25 a factor of (2/(40/(-29550)))/((-18)/24)?
False
Let q be 8/44 - (-2736)/(-44). Let h = 71 + q. Is 11 a factor of (-2 + h*(-3)/(-9))*33?
True
Let h(y) = -y**3 - 12*y**2 - 11*y - 11. Let d be h(-10). Is 20 a factor of (d - -1)*12/(-45)*6?
True
Let q(x) = 735*x + 31. Let h be q(-3). Is 42 a factor of h/(-4) + 9/((-72)/4)?
False
Suppose -5*a = -a - 2596. Let h = -331 + a. Suppose 3*r - 45 = h. Is 25 a factor of r?
False
Let g(m) = -4*m - 21. Let h(s) = -3*s - 20. Let n(w) = 4*g(w) - 5*h(w). Let j be n(6). Suppose -2*i = -j - 10. Is i even?
True
Let v = 68360 - 20312. Is v a multiple of 312?
True
Let d(c) = c**3 - c + 1. Let h(l) = 22*l**2 - 24*l + 34. Let v(w) = d(w) - h(w). Let x be (7 - 112/4)*(-4 + 3). Does 3 divide v(x)?
True
Is 46/((-782)/(-543915)) - -17 a multiple of 151?
True
Let k be (1694/121)/(-2 + 0 - -1). Is -1*7/(k/76) even?
True
Let m(l) = -5*l**2 - 258*l + 31. Is m(-29) a multiple of 142?
False
Let q(i) = 3*i - 35. Let g = -65 - -82. Is q(g) a multiple of 4?
True
Let z = 57 - 94. Let s = -28 - z. Suppose 0 = -s*w + 6*w + 288. Is w a multiple of 41?
False
Let o(s) = -s**3 + 37*s + 78. Let i be o(-2). Is 35 a factor of 13/(-78) - (-3038)/i?
False
Let s = 361 - 352. Suppose -3770 = -s*n - 368. Does 62 divide n?
False
Let v = -11820 - -38525. Is v a multiple of 156?
False
Suppose -7*f - 142 = -5*f. Let a = f - -83. Suppose -a*b + 280 = -7*b. Is 22 a factor of b?
False
Suppose 9043 = 7*n - 8520. Is n a multiple of 18?
False
Let x(t) = 43*t + 51. Let w be x(0). Let n = -4 - -43. Suppose n = r - w. Is r a multiple of 10?
True
Suppose 0 = w + 187 - 6605 - 567. Does 7 divide w?
False
Suppose 245 - 5645 = -9*w. Suppose 0 = 138*m - 143*m + w. Does 16 divide m?
False
Suppose -2*g - 3*g = -900. Suppose -200*j = -187*j - 65. Suppose -j*z - 2*f = -g, -5*f - 63 = -3*z + 2*z. Is 38 a factor of z?
True
Let d = -568 - -806. Suppose 64*x + d = 65*x. Is x a multiple of 14?
True
Let q(o) = 3*o**2 + 7*o + 32. Let u(d) = -2*d**2 - 10*d - 31. Let v(b) = 5*q(b) + 6*u(b). Does 8 divide v(10)?
True
Suppose -39 + 487 = -2*v. Let i = 136 + v. Let o = -27 - i. Does 18 divide o?
False
Let a = -23 - -257. Let c be -5*(-3 + a/10 + -2). Let b = -62 - c. Is 6 a factor of b?
True
Suppose 33 - 12 = 3*b. Suppose -42 = -5*q + b*q. Is 2/((q/(-18))/7) a multiple of 7?
False
Let o be -6 + 4184 + -4 - -7. Suppose 23*f - 60*f = -o. Does 3 divide f?
False
Let n(t) = -t + 17. Let k be 0 + 40/((-4)/(-2)). Let h be n(k). Is 4 a factor of ((-3)/(-2))/h*-26?
False
Let a = 8257 - 7501. Is a a multiple of 21?
True
Let r be 12*4/6 + 1378. Is (6 - (-120)/(-45))*r/4 a multiple of 77?
True
Suppose -1046 = 8*l - 190. Let o = -43 - l. Is o a multiple of 16?
True
Let a(n) = -2*n**3 - 15*n**2 + 22*n - 31. Let j be a(-13). Is 27 a factor of 69/(-92) - (3 - j/8)?
True
Let w = 31 - 118. Suppose 0 = 6*l - 3*l - 66. Let k = l - w. Is 12 a factor of k?
False
Let k(c) = -c**2 + 17*c - 12. Let o be k(16). Suppose 4*t - 428 = 4*a, 499 = 2*t + 3*t + o*a. Suppose v = -47 + t. Is v a multiple of 7?
True
Suppose 19*s - 22*s + 30 = 0. Suppose 5*r - 26 - 2 = 4*m, 3*m - s = -4*r. Is (-124)/(-2) - r - 2 a multiple of 28?
True
Let v = 167 - 165. Suppose 4*d - 8 = 2*d. Suppose -v*f = a - d*f - 54, 49 = a - f. Does 8 divide a?
False
Let r(b) = 11*b + 23 + 3*b - 4*b - 5*b. Is 10 a factor of r(0)?
False
Suppose -19 = 3*p + 29. Let g be (-4)/6*48/p. Suppose -7*l = g*l - 2457