34 + (-4)/(-2))*f a multiple of 40?
True
Let c = 173 - 169. Suppose -4*q + 836 = -r - r, r = -c*q + 830. Is q a multiple of 4?
True
Let l be 3773/(-22)*48/28. Is (0 + l/5)/(2/(-10)) a multiple of 98?
True
Let c be 0/(-4)*(-2)/(16/4). Suppose 3*w - 3*j - 411 = c, 6*j - 264 = -2*w + 3*j. Suppose -30*g - w = -31*g. Does 9 divide g?
True
Let s be (-60)/25*(-10)/4. Does 14 divide s/(-18)*-3 + 457*4?
False
Suppose 0 = 191*a - 199*a + 24. Suppose a*g + 0*y - y = 688, -3*g - y = -680. Is g a multiple of 38?
True
Let b = 1000 - -2487. Suppose -s = 5*r - 4373, 3*r = -r + 3*s + b. Is r a multiple of 23?
True
Let v = 2628 - 1523. Is 57 a factor of v?
False
Let n(c) = -2*c**2 + c + 4833. Is n(0) a multiple of 73?
False
Suppose -4*a + 351 = -621. Let m = a + -19. Suppose -3*j + 2*j + m = 0. Does 28 divide j?
True
Let p = -85 + 125. Let n = -212 - -340. Let b = n - p. Does 11 divide b?
True
Let y = -7342 + 10358. Does 58 divide y?
True
Let a(q) = -632*q + 1482. Is 42 a factor of a(-19)?
False
Let f be 3/(-2) + (-2165)/(-10). Does 10 divide ((-86)/f)/((-1)/275)?
True
Suppose l - 3121 = 5*q + 23614, 0 = 2*l + 4*q - 53456. Is 136 a factor of l?
False
Let i(r) = 2*r**2 - 10*r - 14. Let f be i(8). Suppose -4*g + 8*v = 3*v - f, 3*v = g - 12. Does 32 divide g + 4175/45 - 4/(-18)?
False
Let q be (1 - (-1 - 0))/(-2 - 0). Let j be (q - -10)/(6/162*-3). Let b = 130 + j. Is b even?
False
Suppose 3*n = -d + 3446 + 5580, 3*n - 5*d - 9014 = 0. Is 41 a factor of n?
False
Let s(w) = 99*w**2 - 686*w + 8256. Is s(12) a multiple of 42?
True
Let y(x) = 3*x + 3. Let h be y(0). Suppose 0 = 5*i - 9*c + 5*c - 257, -2*i + 89 = h*c. Is 22 a factor of i?
False
Suppose 0 = -4*h - t - 2392, 3*h + 628 + 1177 = 2*t. Let g = h + 941. Is g a multiple of 18?
True
Suppose -65569 = -5*x + 3*y, -x + 12602 + 523 = y. Is x a multiple of 272?
False
Let j be (24/(-10))/(((-2)/(-5))/(-1)). Let p be ((-84)/j)/(2 - 0). Is 7 a factor of 4 + 7/(p/(-108))?
True
Let p = 3 - -3. Let u be (-61)/((-5 - 1)/p). Does 16 divide (-6 - 104/(-12))*(u + -1)?
True
Suppose -2*z - 2*h = 1352, 1886 = -5*z - h - 1490. Let j = z + 1300. Suppose -u = v - 131, 5*v - u + 0*u = j. Is v a multiple of 18?
True
Suppose 8 = 2*m, 355*s - 360*s + 14700 = -5*m. Is 11 a factor of s?
False
Let p(y) = -9*y + 25. Let r(w) = -w**3 + 12*w**2 - 10*w - 8. Let j be r(11). Let h be p(j). Does 13 divide 67*(-12)/(-6) + 3 + h?
False
Suppose 0 = -l + 2*l + 3*c - 119, -4*c - 4 = 0. Suppose x - 128 = -l. Let k(r) = r**3 - 2*r**2 - 8*r + 1. Does 7 divide k(x)?
False
Suppose 63*k - 78*k = 0. Suppose k = -172*l + 163*l + 9126. Does 13 divide l?
True
Suppose -n - 6 = -9. Suppose n*o + 5628 = 4*k - o, -5*k - 4*o + 6999 = 0. Is 23 a factor of k?
True
Let j = 37 - 39. Let z be j/6 + (-12399)/9. Is ((-6)/(-4))/((-13)/z) a multiple of 53?
True
Does 13 divide 2/((214865/214851 - -8) + -2 - 7)?
True
Suppose -13 = -t - 2*n, 5*t + n - 53 + 6 = 0. Let m(l) = 14*l + 28*l**2 - 54*l**2 + 25*l**2 - t. Does 18 divide m(9)?
True
Suppose -16*f - 1350 = 538. Let g = -111 - f. Suppose -182 = -4*i - 2*r, -g*r + 2*r = i - 23. Is 6 a factor of i?
True
Suppose -2*k - 5 = -3*d, 10 - 45 = -5*d - 2*k. Suppose d*l + 21*l - 24024 = 0. Does 16 divide l?
False
Is 17874/42 + 12/(-6) + 60/42 even?
False
Let a = 797 - 792. Suppose -4*w + 15*p - 20*p + 5410 = 0, 6740 = a*w - 5*p. Is 27 a factor of w?
True
Let q(j) = -26 - 123*j + 5*j**2 + 2*j**2 + 158*j. Is q(-13) a multiple of 39?
True
Suppose -35*o + 26*o = -297. Suppose -4410 = -o*n + 15*n. Is n a multiple of 49?
True
Suppose 0 = -4*s + 3*t + 23, 15*t - 3 = 18*t. Suppose -12224 = -13*k + s*k. Is 27 a factor of k?
False
Let g be (-4168)/(-6) + 5 + (-34)/6. Suppose -5*u - 293 + 1978 = 5*o, -3*o - g = -2*u. Does 24 divide u?
False
Suppose 5*p - 242 = 243. Let t(x) = x**3 + 27*x**2 - 30*x - 53. Let j be t(-28). Suppose -j = -k, -5*u + k + p + 385 = 0. Does 43 divide u?
False
Let z(y) = -2*y + 9. Let u be z(10). Does 12 divide (3/(-9))/(u/(-132)) + 472?
True
Suppose 5*w - 20 = -3*l - 0*l, -2*l - 3*w + 12 = 0. Suppose -3*o - 6 = l, -3*d + o + 50 = d. Does 12 divide (-1 - -4) + 2/(d/126)?
True
Let z = -18839 - -36738. Does 7 divide z?
True
Suppose 11*h - 4*x + 2752 = 9*h, -4132 = 3*h - 2*x. Let i = 3112 + h. Is i a multiple of 51?
True
Let a = 15 + -6. Let j(h) = 84*h + 18. Let c be j(a). Does 7 divide (-14)/77 - c/(-22)?
True
Suppose 5*k - 2 - 18 = 0. Let z(q) = 3*q**2 - 2 + k*q + 2*q + 85*q**3 - 86*q**3. Is 2 a factor of z(4)?
True
Suppose 4588 = -9*f + 12670. Suppose 134 = 3*p - f. Does 68 divide p?
False
Let w(t) = 48*t**2 + 11*t + 21. Is w(-12) a multiple of 199?
False
Let s(y) = y**2 + 3*y + 8. Let i be s(-5). Suppose -16*a + i*a = 4. Suppose 2*p + a*g - 231 = g, -3*g - 3 = 0. Is p a multiple of 11?
False
Let u(n) = 386*n + 608. Is 11 a factor of u(8)?
True
Let p(c) = c**3 - 8*c**2 - 9*c + 3. Let j be p(9). Is j/(-5)*-236 + 117/(-195) a multiple of 13?
False
Suppose 0 = -2*l - 5 + 1. Is l/3*(23 + -158) a multiple of 30?
True
Suppose -3*m + 3613 = -4*p + 13030, -4*p - 5*m + 9393 = 0. Does 21 divide p?
True
Suppose 8*o + 499 = 531. Suppose -2*r - 7*b + 3*b = -1696, -o*r = -4*b - 3452. Does 78 divide r?
True
Suppose -6518 = -3*g + 5*z, 4*g + 456 - 9200 = -4*z. Is g a multiple of 14?
False
Suppose g - 809 = -3*l, 13 - 3217 = -4*g + 4*l. Let m = -243 + g. Is 12 a factor of m?
False
Let q(g) = 34*g**2 - 1724*g + 8. Does 64 divide q(-9)?
False
Let s(x) be the first derivative of -x**3/3 - 5*x**2/2 - 11. Let c be s(-4). Suppose m = 4*f - 47, c*f + 5*m - 11 = 42. Is f a multiple of 6?
True
Suppose 15*g - 14*g = 15. Let d(s) = -5 - 3*s - 6*s + s - g. Does 32 divide d(-8)?
False
Let w = -17733 + 26391. Is w a multiple of 22?
False
Suppose 26 = -3*g - 22. Let i be 1 + -1 + (g - -19). Is (-26)/(-8)*((i - -37) + -4) a multiple of 9?
True
Let c(h) be the second derivative of 14*h**3/3 + 3*h**2/2 + 3*h. Suppose 5*w - 27 = -4*w. Does 26 divide c(w)?
False
Let x(g) = -g**3 + 4*g**2 + 11*g - 48. Let y be x(4). Does 13 divide 1*((-393)/6 + y)*-2?
False
Does 11 divide 33698 + 11 + 72/12?
True
Let d(w) be the second derivative of -1/2*w**2 - 14*w + 0 - 49/6*w**3. Does 12 divide d(-1)?
True
Suppose -2639 - 6506 = -121*p + 120*p. Is p a multiple of 31?
True
Suppose 0 = -5*p + 3*w + 42, -p = -0*p - 4*w - 22. Suppose 7*g = p*g + 2. Suppose 2*d = 4*c - 210 - 4, -2*c + 92 = g*d. Does 20 divide c?
False
Is 23 a factor of ((-867)/(-3))/(460/(-4960) - 1/(-8))?
False
Let p = -1074 - -1159. Is p a multiple of 5?
True
Suppose -9*h = -12*h - 216. Let b = 72 + h. Suppose 0 = 3*p + o - 2*o - 457, 4*p - o - 609 = b. Is p a multiple of 38?
True
Let m(i) = i**3 - 5*i**2 - 2*i - 3. Let r be m(3). Let j = -25 - r. Let h(l) = 5*l**3 - 3*l**2 + 2*l - 2. Is h(j) a multiple of 13?
False
Suppose -32*p + 9 = -29*p. Let h be 2/8*-4*-1*p. Does 13 divide ((152/h)/(-2))/(14/(-42))?
False
Let p be ((-3)/(-6) - 3/(-6)) + 0. Suppose -4*x + x + 40 = 4*c, p = c. Suppose -5*j = -x - 3, -5*j = -5*t + 70. Is t a multiple of 9?
False
Let w(g) = -108*g - 92. Suppose -10*o - 14 = 5*h - 8*o, -5*h + 4*o - 32 = 0. Is 11 a factor of w(h)?
False
Let u(i) = -i**3 - 6*i**2 - 11*i - 27. Let h be u(-5). Suppose 4*o + 3 = m - 5, -3*o - 69 = -h*m. Is 10 a factor of m?
False
Suppose -4*m - 7*g + 3968 = -2*g, -4*g - 971 = -m. Let o = -27 + m. Suppose -6*l = 4*l - o. Is 12 a factor of l?
True
Let f(g) = -g**3 - 16*g**2 - 12*g - 13. Let i be f(-13). Is 153*((-8)/14 + i/(-294)) a multiple of 51?
True
Let d = 163 - 42. Let k be 1912/(-11) + (-22)/d. Let m = 247 + k. Does 11 divide m?
False
Let c = -1653 + 2733. Does 27 divide c?
True
Let j(n) be the third derivative of -1/120*n**6 - 3/8*n**4 + 1/5*n**5 + 0*n + 0 - 7*n**2 + 0*n**3. Does 20 divide j(10)?
False
Suppose 59216 = 46*t - 77128. Does 52 divide t?
True
Suppose s - 3633 = -4*v + 1759, 4*v - 28 = 0. Is s a multiple of 6?
True
Let s(b) = 3*b**2 - 4*b + 26. Suppose 0 = 4*v + 5*g + 65, 3*v + g - 14 + 60 = 0. Let a = -9 - v. Is s(a) a multiple of 11?
True
Let h(z) = 3695*z**2 + 122*z + 122. Is 33 a factor of h(-1)?
False
Suppose q + 36*f - 31*f - 13990 = 0, 4*f = 4*q - 56008. Is 31 a factor of q?
False
Suppose -6 = -6*y + 30. Suppose -2*m - y*h + 3*h - 15 = 0, -h = 5. Does 11 divide m - (-38 + (-3 + 1 - 1))?
False
Let y(c) = 28*c + 4587. Does 103 divide y