(-4)/((-280)/992735) a multiple of 14?
True
Let i(q) = q**3 - 2*q**2 - 2*q + 3. Let m be i(1). Let p = m + 3. Suppose p*r + 11 = 59. Is r a multiple of 3?
False
Let q = 707 + -694. Let p(i) = i**3 - 13*i**2 + 3*i - 17. Is p(q) a multiple of 11?
True
Let k = 1979 + -305. Is k a multiple of 93?
True
Let n = -15 - -10. Let r be ((-2)/(-4))/((-2526)/504 - n). Let d = -34 - r. Does 4 divide d?
True
Let f(g) be the third derivative of -g**7/420 - g**6/180 - 3*g**5/10 - 20*g**2. Let d(q) be the third derivative of f(q). Does 4 divide d(-2)?
True
Let m = -13456 + 29067. Is 20 a factor of m?
False
Let r(l) = -l**3 - 19*l**2 + l + 30. Let i be r(-19). Let w be 64/(-352) - (-123)/i. Let m(t) = -t**3 + 12*t**2 + 16*t - 20. Does 27 divide m(w)?
False
Let d be (-48)/(-6) + 12/(-2). Suppose 0 = -d*h + l + 509, -4*h - 5*l + 1295 = h. Is h a multiple of 7?
False
Suppose -9*s + 10*s = 557. Suppose -5*i = -4*t + t + s, -5*i = -25. Let n = t + -98. Does 8 divide n?
True
Suppose 4*k = -2*p + 51400, -2038*k = -2039*k - 2*p + 12850. Is 75 a factor of k?
False
Suppose -6*j - u + 23 = -4*j, 5*j - 58 = -3*u. Suppose -j = 5*v - 16. Does 34 divide 61/v + -1 - 1?
False
Let p(a) = -a**2 + 6*a + 17. Let q be p(5). Suppose 7*d - q = 13. Suppose -d*s + 76 = -2*o, -6*s + 60 = -2*s - 2*o. Is s a multiple of 16?
True
Let p(w) be the third derivative of 7/8*w**4 + 16*w**2 - 3/2*w**3 + 0*w + 0. Is 15 a factor of p(4)?
True
Let g = -46 - -50. Suppose -10*d + 84 = -g*d. Let x = d - -34. Is x a multiple of 8?
True
Let b(m) = -4*m**3 + 105*m**2 + 23*m + 300. Does 200 divide b(25)?
True
Suppose 7*z + 395 = 8*z. Suppose 4*y = 5*u + z + 448, y - 169 = u. Is 3 + (-4 - u) + -2 a multiple of 46?
False
Suppose -4*z - 10929 = -3*c, 0*c - 3*c - z + 10929 = 0. Suppose 2000 = 19*i - c. Is i a multiple of 27?
True
Suppose -13 = 31*h - 75. Suppose h*i - 3*w = 249, -w + 606 = 5*i + 9. Does 10 divide i?
True
Suppose 19715 = 3*l - 8*w + 13*w, w = 3*l - 19745. Is l a multiple of 188?
True
Does 6 divide (-4 - (-10 - (-3168)/522)) + 34541/29?
False
Let w(o) = 58*o**2 - 2*o. Let n be w(1). Suppose 0 = 5*r - 85 + 15. Suppose -z = i + z - r, -n = -4*i - 3*z. Is 14 a factor of i?
True
Let k(m) = -2*m**3 - 14*m**2 - 13*m - 30. Let a(r) = 5*r**3 + 42*r**2 + 37*r + 91. Let b(o) = -4*a(o) - 11*k(o). Is b(10) a multiple of 15?
False
Does 10 divide 40416/80*(4 - 1 - -2)?
False
Suppose -1303 + 156 = -4*w - n, 2*n = w - 280. Is w even?
True
Let m(w) = -w**2 - 90*w + 1162. Is m(-82) a multiple of 13?
False
Let t(d) = -d**2 + 61*d - 111. Let v be t(59). Let n be 4/2*99/6. Suppose -v*k + 4*k + n = 0. Is k a multiple of 5?
False
Suppose 23*z = 4*p - 8748, p - z + 10816 = 6*p. Is p a multiple of 45?
False
Let t be 2938/6 - (-4)/(-6). Let s = 3960 - 3949. Suppose -8*l + s*l - t = 0. Does 39 divide l?
False
Is 2 a factor of ((-2 - -17) + 3342)*1?
False
Let p(w) = -w**3 - 2*w**2 + 3*w + 116. Let k be p(0). Let l be 5*(0 + -3 - -4). Suppose -j = -5*j + 2*m + k, -l*j + 145 = 2*m. Does 7 divide j?
False
Let s(o) = 40*o**2 + 4*o + 2. Let p be s(2). Let q = 193 - p. Is 5 a factor of q?
False
Let r(b) = -b**2 + 21*b. Let x be r(-3). Is -1*x/(-8)*282/(-3) a multiple of 22?
False
Let m = 255 - 126. Suppose 4*x + 2*z = 536, -m - 10 = -x + 2*z. Is 3 a factor of x?
True
Suppose -166*c + 155602 = -141*c - 489548. Is 66 a factor of c?
True
Suppose -6*l + 3*l + 101 = 2*s, 0 = 4*l - 5*s - 127. Let z = 45 + l. Suppose z + 14 = p. Is p a multiple of 21?
False
Let j(x) = 15*x**2 + 123*x - 4720. Does 4 divide j(39)?
True
Let y(n) = n + 226. Let b be 3/18 - 3/18. Let l be y(b). Let o = -154 + l. Does 12 divide o?
True
Let n = 13 + 70. Let c = 79 - n. Does 7 divide (15 + -5)/(-5)*c?
False
Suppose -22*u = -12*u - 1170. Let m(c) = -c**3 + 4*c**2 - 4*c + 6. Let b be m(3). Suppose 4*g + 3*k - u = g, 2*k + 142 = b*g. Is g a multiple of 27?
False
Suppose 5*t - 28787 = -3*d, -d - 2836*t = -2841*t - 9629. Does 79 divide d?
False
Let s(x) = x**3 - 37*x**2 + 63*x - 24. Does 25 divide s(44)?
True
Suppose 4*y - 20478 = -2*o, -3*y + 78*o = 74*o - 15364. Is y a multiple of 54?
False
Is 235 a factor of -16 - (-16 - 9732 - -6)?
False
Does 15 divide (-84)/20*(-1351610)/222?
False
Suppose u - 6 = 2*j, -3*u - 2*j - 2 = 2*j. Let l be -5 - (u - -2 - 11). Suppose -6*w + 656 = l*w. Is 6 a factor of w?
False
Suppose 4*o + 3544 = -3824. Let n = -522 - o. Does 110 divide n?
True
Suppose 5*s = 6*s + 3. Let u(m) = -303*m - 97. Is 14 a factor of u(s)?
True
Let i(a) be the first derivative of 2*a**3/3 - 45*a**2/2 - 7*a - 2. Let o be (-9)/(54/6)*-23. Is i(o) a multiple of 8?
True
Suppose 0 = -3*g - 3*h - 0*h + 237, g - 64 = -4*h. Let l be ((-318)/265)/((-4)/10). Suppose -g = 2*j - l*j. Is 14 a factor of j?
True
Let z(d) = d**2 - 9*d + 4. Suppose m - 2*m + 49 = 0. Let y = m - 40. Does 2 divide z(y)?
True
Let w = -10743 + 15442. Does 37 divide w?
True
Suppose -10111 = -2*u + 1350*v - 1353*v, 15163 = 3*u + 4*v. Is 3 a factor of u?
False
Let k = -17 - -17. Suppose -7*q + 461 + 323 = k. Is 10 a factor of q?
False
Let n(g) = -g**3 + 51*g**2 + 24*g - 24. Does 10 divide n(8)?
True
Let m(s) = -s**3 + 14*s**2 + 36*s + 36. Let p be m(16). Let r = p - -311. Is r a multiple of 12?
False
Let g = -711 + 953. Suppose -193 = -2*u - 5*v, -3*u - 6*v + g = -8*v. Is 3 a factor of u?
True
Let r(z) = z**3 + 66*z**2 + 237*z + 402. Is r(-61) a multiple of 5?
True
Let f(v) = 1128*v + 7106. Is f(-6) a multiple of 21?
False
Let c(n) = 106*n**3 - 94*n**2 + 28*n + 31. Does 126 divide c(8)?
False
Let t(o) be the third derivative of -o**5/60 - 7*o**4/8 + 14*o**3/3 - 30*o**2 + 2*o. Is 6 a factor of t(-16)?
True
Let f = -334 - 440. Let h = 459 + f. Let t = -190 - h. Is t a multiple of 20?
False
Suppose -5*t + 2*y = -0*y - 38, 3*t + 2*y - 10 = 0. Let v be 106 + 0 + 4 + t/3. Suppose -4*g + 0*g + v = 0. Is g a multiple of 6?
False
Let s(g) = -g**3 - 2*g**2 - 3*g - 2. Let w be s(-4). Suppose -2*k + 3*d + w = 2*d, -4*d = 16. Does 13 divide (k + -110)/(1/(-2))?
True
Suppose 0 = -28*z - 6*z + 255782. Does 67 divide z?
False
Let c(n) = -n**3 + 13*n - 34. Let l be c(5). Let r = 310 + l. Is 12 a factor of r?
True
Suppose 4*u = -3*x + 91 + 209, -u + 200 = 2*x. Let i = x - -207. Is 9 a factor of i?
False
Let k = 90 + -62. Suppose -f - 4*o + 8 = 0, k - 7 = -3*f - 3*o. Is 37 a factor of 28/168 + (-2278)/f?
False
Let i be (-4 + 2 + 2)/(-3 - -1). Is (-140)/(-7) - (-3 - (i - -3)) a multiple of 13?
True
Is 10 a factor of (10/25)/((-5)/495)*-15*50?
True
Let z(y) = 3168*y - 2181. Is 14 a factor of z(6)?
False
Let w be 3*3*(-21)/27. Let q be -1 + -2 + 5 + -7. Is 25 a factor of (143 - w)*(2 - q/(-3))?
True
Let o(k) = 254*k**2 - 5*k + 5. Let i be o(1). Suppose -5*x + 2*l + 635 = 3*l, i = 2*x - 5*l. Is x even?
False
Suppose 0 = -2*h - 1 + 7. Suppose -119*x + 109*x = -50. Suppose -2*p = -s + h*p + 62, 0 = x*s + p - 206. Is s a multiple of 9?
False
Let t(z) = -z**2. Let u(g) = -58*g**2 + 10*g - 4. Let m(i) = 8*t(i) - u(i). Does 22 divide m(-3)?
True
Let z(t) = -t**3 - 10*t**2 + 6*t - 21. Let l be z(-11). Is 17 a factor of (8 - 0)/(4/l)?
True
Suppose 5*g + 16 = -3*t - 4, -g - 5*t = 4. Let w be 0/(1*g/(-4)). Suppose 3*l + l - 80 = w. Does 4 divide l?
True
Let l = -99 + 103. Is 15 a factor of l + 3/(-3) - (-497 + -3)?
False
Let m = 502 - 315. Let g = m + 210. Is 31 a factor of g?
False
Suppose -42*z + 20111 = -14018 + 2419. Does 4 divide z?
False
Suppose -2*t - 11018 = -i, -i + 6681 + 4330 = 5*t. Is 14 a factor of i?
False
Let k(j) = 2*j**2 + 2*j - 1. Let o(n) = -5*n - 9. Let a be o(-2). Let y be k(a). Let d(t) = 53*t - 34. Is d(y) a multiple of 9?
False
Let j(t) = 697*t**2 + 7*t + 9. Let y be j(-1). Let v = y - 456. Is v a multiple of 47?
False
Suppose 4*h - 946 = 2*k, 6*k + 6 = 4*k. Suppose 8*q + 75 = h. Is 5 a factor of q?
True
Is 6 a factor of (-7938)/(-5)*330/198?
True
Suppose 4*w - h = 34, -4*w + 5*h + 24 = -2. Is 5353/w + (-38)/(-171) a multiple of 18?
False
Let d = -580 + 1610. Let c = d + -712. Is 34 a factor of c?
False
Let h(b) = 4456*b - 6032. Is h(4) a multiple of 181?
False
Suppose 2*p + 2 = z - 2, -z - 4*p + 16 = 0. Suppose -302 = -z*g + 706. Is 9 a factor of g?
True
Let u(d) = d**3 - 7*d**2 - 20*d + 15. Let t be u(9). Let v = 74 + -35. Let g = t + v. Does 18 divide g?
True
Let t(k) = k**2 + 2*k - 11. Let l = 17 - 2