 31 divide f?
True
Let z(c) = -c**3 - 2*c**2 - 6. Suppose -12*t + 5*t - 21 = 0. Let w be z(t). Suppose 0 = w*y + 31 - 367. Is y a multiple of 14?
True
Suppose -19*w = -33*w + 58562. Suppose 9341 = 14*j - w. Does 22 divide j?
False
Let j = 5000 - 866. Does 106 divide j?
True
Let g(r) = 73*r**2 - 10*r - 389. Is 12 a factor of g(21)?
False
Let t(c) = c**3 + 62*c**2 - 68*c + 477. Is 44 a factor of t(-63)?
True
Is 15 a factor of ((-360)/(-21))/(((-9)/(-108))/(7/2))?
True
Let u(c) be the second derivative of -7*c**5/120 - 11*c**4/6 + 5*c**3 - 28*c. Let g(v) be the second derivative of u(v). Is g(-12) a multiple of 5?
True
Suppose 24 = 3*t, -4667 - 334 = -z + 3*t. Does 78 divide z?
False
Let f = -92650 + 152248. Is f a multiple of 34?
False
Let n be (-2 - 1)*471/9. Let u = -140 - n. Is u a multiple of 4?
False
Let t(s) = -6*s - 4. Let a be 6/12*(-2)/1. Let k be t(a). Is 31 a factor of 62*k/4 - 0?
True
Suppose -1301 = -2*y + 13*v - 10*v, -5*y + 3224 = 2*v. Does 3 divide y?
False
Suppose -2*t = -6*t + 5907 + 36189. Is t a multiple of 2?
True
Let a(t) = -t**3 - 19*t**2 + 24*t + 49. Let f be a(-22). Let z = f - 748. Is 75 a factor of z?
True
Let d(y) = -y**2 - 7*y - 9. Let m be d(-4). Suppose j = m*j - 4. Suppose 0 = -j*z, 85 = 5*p + 5*z - 105. Is 19 a factor of p?
True
Let c(n) = -7*n**2 - 23*n + 86. Let t be c(6). Does 57 divide ((-6)/(-8))/((-4)/t)?
True
Let b be 84/20 + 2/(-10). Is (63 - 3)*b/(5 - 3) a multiple of 15?
True
Let n(i) = -i**2 + 3*i + 42. Let u be n(0). Let j = -39 + u. Is 14 a factor of -16 + 90 + j*1?
False
Let g be (-6)/4 - (-6)/48*7948. Suppose 0 = -3*u + a + g + 182, -3*u - 4*a = -1154. Does 26 divide u?
True
Let l(j) = 837*j**2 - 690*j + 4762. Is 26 a factor of l(7)?
False
Let k be 6/2*14/3. Is 429 + ((-7)/k - (-14)/(-4)) a multiple of 11?
False
Let m(j) = -j**3 - 9*j**2 + 6*j + 12. Let r be m(-10). Suppose -50 - r = -d. Does 6 divide d?
True
Let o = 119 - 103. Let h(i) = -6 - 12*i + 7*i**2 + 5 - 15*i**3 + o*i**3. Is h(-8) a multiple of 13?
False
Let i be ((-105)/(-6))/(2/4). Let r(p) = 10*p**3 + 3*p**2 - 3*p. Let t be r(2). Let g = i + t. Is 23 a factor of g?
False
Suppose 4*y - f - 244 = 0, y + 0*y - 4*f = 46. Let a = y - 41. Suppose -7*c = -a*c + 1218. Does 14 divide c?
False
Suppose -3646*p + 3649*p - 432 = 0. Is p a multiple of 16?
True
Suppose 0 = -2*f - 1776 + 456. Let a be f/(-35) - (-2)/14. Is 8 a factor of 2 + a - (-16)/(-4)?
False
Let c = 6458 + -494. Is c a multiple of 12?
True
Suppose 2*z - h + 0 = 2, 2*h = -4. Suppose 563 = 2*c + 4*m + 3, z = -3*c + m + 819. Does 10 divide 6/(-24) + c/8?
False
Suppose 804636 = 167*m + 239*m + 152*m. Is m a multiple of 23?
False
Suppose -8*g = -12*g - 532. Let a = g - -220. Is 4 a factor of a?
False
Let z(n) = 95*n**2 + 10*n - 680. Is z(21) a multiple of 25?
True
Let q be (2 + 8 + -9)*1841. Let w = -995 + q. Does 18 divide w?
True
Let u be 1 - 9/(72/(-40)). Suppose -2*w + 658 = -5*q + u*q, -4*q - 2*w = -2638. Does 33 divide q?
True
Let z(l) = -114*l + 172. Does 194 divide z(-7)?
True
Suppose b - 36091 = -3*u, -439*b = -4*u - 444*b + 48103. Does 64 divide u?
True
Let t be (2*-1)/(3/6). Let h(p) = -p**2 - 5*p + 3. Let y be h(t). Let z = 14 - y. Is 5 a factor of z?
False
Let g(a) be the second derivative of -a**4/12 + 7*a**3/2 + 2*a**2 + 30*a. Let c be g(11). Suppose 5 = v, -3*o + 5*v + 305 = -c. Is o a multiple of 31?
False
Suppose 2*x + 11 = 15. Suppose -x*y + 350 = 5*y. Let z = 265 - y. Does 38 divide z?
False
Let d = -21797 - -22677. Is 6 a factor of d?
False
Let v be (19 + 6)/5 + 3. Suppose v*a = 4*a + 1020. Is 17 a factor of a?
True
Let v be (-1)/2 - (-539)/(-22). Suppose -2*w - 2*w - 247 = 5*b, 3*b = -9. Let k = v - w. Is k a multiple of 22?
False
Let f(x) = 17*x**2 - 7*x + 8 + x**3 + x - 38*x**2 + 17*x**2. Let h be f(4). Is 541/11 - h/(-88) a multiple of 13?
False
Suppose 5*u + 0*u + 2*n - 20 = 0, 0 = 5*u - 5*n - 20. Suppose 2*a + 4 = u*a. Suppose 0 = a*x + 6*x - 520. Is 13 a factor of x?
True
Let v(b) = 104*b**2 - 97*b + 94. Is v(-5) a multiple of 65?
False
Let y(n) = 228*n + 194*n - 50 - 20*n + 12*n - 40. Does 13 divide y(4)?
False
Let y(b) = 1068*b**2 + 313*b - 926. Is 55 a factor of y(3)?
True
Let x(o) be the second derivative of -29*o**3/6 + 45*o**2 - 62*o. Is 6 a factor of x(-4)?
False
Let n(r) = -r**2 + 18*r - 15. Let h be n(17). Is h*4 - (18 + -16) a multiple of 6?
True
Let p = 16379 + -2029. Is p a multiple of 3?
False
Let x(q) = -q - 18 + q**2 - 13*q + 10. Let a be x(10). Does 20 divide -6 - a/9 - (-484)/6?
True
Let x(u) be the first derivative of 15 - 36*u - 11/2*u**2. Does 14 divide x(-5)?
False
Let w(y) = -528*y - 2802. Does 52 divide w(-6)?
False
Let j be (-1)/(-7) + 382909/329. Suppose 3*s - 6*f + 4*f = j, -s + 405 = 5*f. Does 31 divide s?
False
Let g(l) = -1633*l + 179. Is g(-1) a multiple of 94?
False
Let n(a) = a + 15. Let i be n(-10). Let d = -11 + 17. Suppose i*h = d*h - 42. Is h a multiple of 21?
True
Let q = 134 - 381. Let y = 367 + q. Let d = y + -60. Does 15 divide d?
True
Let w = -1817 + 3522. Is 11 a factor of w?
True
Suppose 2*n = a + 11, 1 + 4 = -3*a - n. Is 26 a factor of a/(15/25) + 262?
False
Let d(g) = 3*g**2 + 8*g - 5. Let x be d(5). Suppose -x = 2*r - 30. Is 13 a factor of ((-26)/3)/(r/60)?
True
Suppose 2*j + 5*v = 6*v + 243, -364 = -3*j + v. Suppose -k = a - j, k + 5*a + 277 = 3*k. Is k a multiple of 63?
True
Does 34 divide 2*(-3)/7*(-178647)/94?
False
Suppose -21*k + 19*k = -3*r - 12, -3*k + 33 = 3*r. Suppose k*q + 504 = 15*q. Is q a multiple of 9?
False
Let i(x) = -x**2 + 3. Let v be i(0). Suppose -v*g = -826 + 106. Is g a multiple of 15?
True
Suppose 38*g - 43*g = -515. Let t = g + 33. Does 17 divide t?
True
Is 33 a factor of 9 + -6 + 1 + (868 - (0 - -10))?
False
Let m(k) be the second derivative of -k**3/6 - 11*k**2 - 10*k. Let j(n) = -2*n - 45. Let i(r) = 6*j(r) - 13*m(r). Does 4 divide i(8)?
True
Suppose 0 = 42*r + 302 + 706. Let h(a) = a**3 + 3. Let q be h(0). Does 5 divide (-198)/(-4) + (-4)/(r/q)?
True
Suppose -82*n + 3*m + 22563 = -79*n, 4*n = -3*m + 30077. Is n a multiple of 20?
True
Let v be (4 - 9)*(-6 + 5). Suppose 5*g + 4*m - 1034 = 0, v*m + 17 + 3 = 0. Does 15 divide g?
True
Suppose -5*x - 2*g + 6*g + 37240 = 0, 4*x - 29803 = g. Is ((-44)/132)/((-2)/x) a multiple of 46?
True
Suppose j = 4*m + 27771, -82*j + 87*j - 138957 = 3*m. Is j a multiple of 109?
True
Suppose -2*n = 3*i - 389, -291 = 3*i - 5*i + 5*n. Let h = i - -29. Is h a multiple of 24?
False
Is (-1)/((-14)/6) - 52911/(-21) a multiple of 6?
True
Let w = -5 - 67. Does 42 divide (-1)/(w/(-32)) - (-5674)/9?
True
Is 112 a factor of ((-11760)/126)/(-1 - 10/(-12))?
True
Suppose -216*n = -208*n - 8. Is 61 a factor of (0 - -4)*n + 118?
True
Let c be 1*((-18)/(-8))/((-6)/624). Let u = c - -261. Does 9 divide u?
True
Suppose 2*t + 192923 = 33*t - 174985. Does 12 divide t?
True
Let d = -759 - -1581. Let w = d - -334. Is 17 a factor of w?
True
Let f(y) = 26*y**2 - 9*y - 8. Let a be f(-5). Suppose -2*d - 3*d = -25, -4*g = -d - a. Is g a multiple of 25?
False
Let f = -180 + 323. Suppose f = -4*k - 21. Is (-1 + k)*(-8)/12 a multiple of 22?
False
Let a(h) = -h**2 - 1532 + 17*h**2 - 18*h + 1485 - 3*h**2. Does 11 divide a(8)?
False
Let m = 5 + -38. Let c = m + 17. Let r = 20 - c. Is r a multiple of 12?
True
Let z(u) = 2002*u - 298. Is 54 a factor of z(7)?
True
Let o be -2 - 120/(-64) - 723/(-24). Suppose l - 144 = 3*h - o, -3*h + 120 = l. Is 50 a factor of l?
False
Let o be (16/(-28))/2 - 185/(-35). Suppose -o*x + 1005 = 4*a - 6*x, 0 = 2*a + 2*x - 510. Does 25 divide a?
False
Is (-15)/20*(-464)/12 even?
False
Let c = -20744 - -36367. Is c a multiple of 17?
True
Suppose 38*k - 31*k = 588. Suppose 19*b + k = 20*b. Does 14 divide b?
True
Let h be (-7)/((-35)/324)*5. Suppose -2*l + 624 + 126 = -2*u, 4*l + 2*u = 1488. Suppose 3*y = 5*b + 6*y - l, 4*b - h = 4*y. Is b a multiple of 11?
True
Suppose -2*l - 11*y = -6*y + 1934, 0 = -5*l - 4*y - 4818. Let z = l - -1620. Does 36 divide z?
False
Suppose -5031 = 38*g - 20915. Suppose 6*v = 1978 - g. Is v a multiple of 43?
False
Let l = 8 - -4. Suppose -l*a = -5*a - 2366. Does 26 divide a?
True
Suppose 142*q = 134*q + 95648. Is 122 a factor of q?
True
Suppose 332 = c + q, c + 2*q - 160 = 168. Is c a multiple of 21?
True
Let p(y) = -16*y + 25. Suppose