 - 27*s**2 + 137*s**2 - 27*s**2 - 18. Does 6 divide q(14)?
True
Suppose r + 64 = -43. Let a = r + 326. Suppose 5*x - 12 = -n + 15, 3*x + a = 5*n. Is n a multiple of 14?
True
Let t be 5*(45/25)/(-9). Let a(l) be the second derivative of -14*l**3 + 5*l**2/2 + 2*l. Is 14 a factor of a(t)?
False
Suppose -5*j + 787 = z - 3*j, 3166 = 4*z - j. Suppose 0 = 3*x - 3 - 0, -3*l + z = -x. Is l a multiple of 43?
False
Let k = 193 + -19. Suppose -210 - k = -n. Is 12 a factor of n?
True
Let n be (-6)/(0 + 2)*(-3)/9. Let k be 3 - 1 - n - 6. Is 3*1 + 8*(-5)/k a multiple of 5?
False
Let h = -3316 + 16497. Is h a multiple of 37?
False
Let f = 272 - 117. Suppose f + 1 = 2*a. Is 24 a factor of a?
False
Is (-10)/12 - (-462432)/576 a multiple of 21?
False
Let o(w) be the first derivative of -19*w**3/3 - w**2/2 + 34*w + 31. Let x(r) be the first derivative of o(r). Is x(-4) a multiple of 25?
False
Suppose -34*w + 41*w = -35. Is (-10 - 15/w) + 364 a multiple of 8?
False
Suppose -1252*m - 1261*m = -2502*m - 449240. Does 25 divide m?
False
Let c(g) be the second derivative of 7*g**3/3 + 27*g**2 - 2*g - 16. Does 13 divide c(11)?
True
Suppose 0 = 2*c - 0*c - 4*h + 10, h = 4*c - 1. Let g be 236 - 4 - (2 - c). Let x = g - 122. Is x a multiple of 12?
False
Suppose -27*s + 21*s + 120 = 0. Suppose -15 = 2*u - 3*p, -u = -3*u - 4*p + s. Suppose -4*y + 136 + 176 = u. Is 26 a factor of y?
True
Suppose -134*y = -20*y - 3420. Does 2 divide y?
True
Suppose 3*o - 484 = -4*y - 2*o, 132 = y + 4*o. Let p = 123 - y. Is 3 a factor of p?
False
Let o = -117 - -131. Suppose 10*a + 874 = o*a + w, 5*w - 664 = -3*a. Is 3 a factor of a?
False
Let x(n) = 8*n + 14. Let r be (-6)/(-7)*-1*14. Let d be (3/(-2))/(r/112). Does 18 divide x(d)?
True
Is 76 a factor of (-2)/(-1) - -2100*(-66)/(-12)?
True
Suppose 197 + 638 = 5*x. Suppose 2*n - x = -23. Is n a multiple of 16?
False
Let q(b) = 2*b**3 + 12*b**2 + 16*b + 29. Let s be q(-9). Let u = -399 - s. Does 4 divide u?
False
Let h(k) = -9*k + 97. Let d be h(-23). Let n = 588 - d. Is 32 a factor of n?
False
Let t = 35545 + -16213. Is 27 a factor of t?
True
Let u(k) = 825*k**2 - 2*k - 6. Let t be u(-2). Suppose -3182 = -18*g + t. Is 12 a factor of g?
True
Let z(p) = -13*p**3 + 3*p**2 + 6*p + 8. Let g(f) = f**2 + 3*f - 20. Let h be g(-6). Is z(h) a multiple of 7?
True
Suppose -x + 1 = 0, 7*m - 4*m = 2*x + 24988. Is m a multiple of 42?
False
Suppose 4*n = -l + n - 11, l = -n - 3. Let k(v) = 16*v - 22. Let r be k(7). Does 9 divide (-1 + r/4)*l*2?
False
Let y = 3656 - -2079. Does 37 divide y?
True
Suppose h + 5*a - 27 = -h, -3*h + 3*a = -72. Suppose 0 = -2*r - 10, -3*r = 3*q - 7*r - 41. Let m = h + q. Is 14 a factor of m?
True
Let a = 65 - 38. Let m = a + -20. Let q(i) = 2*i**2 - 4*i - 17. Is 8 a factor of q(m)?
False
Suppose -402462 = 4360*f - 4418*f. Does 9 divide f?
True
Is 13 a factor of -1 - (-26)/20 - 2024161/(-230)?
True
Let i = -4317 + 19969. Does 9 divide i?
False
Suppose -495 = -13327*h + 13326*h. Does 9 divide h?
True
Let a = 40466 + -28119. Does 58 divide a?
False
Let x be (-2)/6*((-375)/(-5) - -6). Is 22 a factor of (54/(-10))/(x/2295)?
False
Let u be -747 + (-3 - -6 - -6) + -5. Let j = u - -1708. Does 12 divide j?
False
Suppose 35*p - 33*p - 234 = 0. Let g = p - 42. Let u = g - 30. Is 18 a factor of u?
False
Suppose -10*f + 14*f - 5*n - 13590 = 0, 5*f + 3*n - 16932 = 0. Does 15 divide f?
True
Suppose 219454 - 2126767 = -131*g + 20*g. Is g a multiple of 29?
False
Let k = 9359 - 4536. Does 13 divide k?
True
Suppose 5*n + v = 163, v = 2*v + 2. Let a be (-10)/(-55) + 5406/n. Suppose -2*y + 3*b = -a, b + 33 = -3*y + 301. Is 11 a factor of y?
True
Let m = -1812 + 14389. Does 13 divide m?
False
Is 49 a factor of (-100842)/35*(60/18)/(-1)?
True
Let d(x) = 27*x**2 - 4*x + 2. Suppose -m - 9 = -2*m + 2*j, 0 = 5*j + 20. Is 5 a factor of d(m)?
True
Suppose -36*c = -32*c - 2*f - 24, -5*c = 4*f - 4. Suppose -5*t + 977 = -73. Suppose -7*q = -c*q - t. Does 10 divide q?
True
Suppose 235*g - 227122 - 100468 = 0. Does 82 divide g?
True
Let r(d) = 2623*d**2 - 54*d + 14. Is 85 a factor of r(-2)?
False
Let s be (-2)/((-10)/(-25)) - -19. Suppose 2*b - s - 20 = 0. Is 37 a factor of 5/2*b/((-255)/(-666))?
True
Let a = 15429 - 4563. Is 127 a factor of a?
False
Let j(h) = -h**2 - 11*h - 10. Let p be j(-10). Suppose -4*k - 9*x + 137 = -8*x, p = 3*k + 4*x - 106. Does 16 divide k?
False
Is 5 a factor of (2839/2)/(-47 - 17427/(-370))?
True
Let a(y) = -7*y - 76. Let i be a(7). Suppose -15 - 10 = 5*n. Let l = n - i. Is l a multiple of 60?
True
Suppose 0 = -4*p - p - 25. Let m = 9 + p. Suppose z = 5*q + 27, m*z + 5*q = -12 - 5. Does 2 divide z?
True
Let u(a) = -6*a - 46. Let n be u(-10). Suppose 4*v - n = -k, -5*k + 5*v - 5 = -0*v. Suppose 0 = -k*w - 2*g - 0*g + 92, -2*g = w - 44. Does 6 divide w?
True
Is 41 a factor of (-6642)/(-9)*9/6?
True
Does 156 divide (7 + -1)*((-10205)/(-10) + -1)?
False
Suppose 3*s - 1008 = -x + 678, -2*x + 3*s = -3336. Does 27 divide x?
True
Let f be ((-18)/4)/(27/(-18)). Suppose -2*j + 283 = f*g, 493 = 2*g + 3*g - 2*j. Suppose 0 = 4*s + 5*r - 120, 0*r + 2*r - g = -3*s. Does 21 divide s?
False
Let d = 8415 - 7923. Does 6 divide d?
True
Let v(t) = -8*t - 10. Let x be v(-5). Suppose -27*o + 678 = -x*o. Let b = -124 - o. Does 34 divide b?
True
Suppose 8*i - 15 = 3*i. Is 12 a factor of (-4)/i*7359/(-22)?
False
Let r(s) = -2*s**2 + 3*s**2 + 18 + 2*s**2 + 17*s. Let y = -600 - -591. Does 19 divide r(y)?
False
Suppose 8*c = -4*b + 5*c - 135, 4*c + 20 = 0. Is 22 a factor of (132/(-15))/(b/525)?
True
Suppose 4*n + 2*b - 38 = -104, 2*b - 24 = 2*n. Let v = n + 75. Does 60 divide v?
True
Let f(u) = -u + 19. Let t(y) = y**3 + 19*y**2 - 21*y + 19. Let o be t(-20). Let v = 32 - o. Is f(v) a multiple of 13?
True
Is (-224)/896 - 26641/(-4) a multiple of 77?
False
Suppose -100 - 56 = -r. Suppose -9 = 4*m - 3*z, 5*m - z - 9 = -4*z. Suppose m = 3*s + s - r. Is s a multiple of 17?
False
Let k(o) = 62*o + 668. Is 60 a factor of k(7)?
False
Let a(v) be the second derivative of v**3 - 5*v**2 - 8*v. Let i be a(5). Let k = -6 + i. Does 7 divide k?
True
Let v(u) = u**3 - 11*u**2 - 10*u + 18. Let p be v(12). Let f = 66 - p. Is ((-77)/14 + 4)/((-2)/f) even?
True
Suppose -9*n + 8*n = -4, -4*t - 5*n = -3792. Is 13 a factor of t?
False
Is -6*(8 + (-1 - 216)) a multiple of 11?
True
Let j = 17021 + -11175. Is j a multiple of 37?
True
Suppose 6*w - 11*w = -10. Suppose 4*r - 4 = 0, -w*r = d + 2*d - 395. Suppose 8*h = 349 + d. Is h a multiple of 12?
True
Suppose -5*c + 3414 = i, 2*c = -2*c - 5*i + 2727. Is 63 a factor of c?
False
Suppose 28*y + 302755 = 1343515. Does 17 divide y/56 + 1*9/(-12)?
True
Let o(q) be the third derivative of q**6/120 + 7*q**5/30 + 13*q**4/24 + 2*q**3/3 - 1857*q**2. Suppose 4*s + 48 = -4. Does 4 divide o(s)?
True
Suppose -5*m = -10, -72*r + 20450 = -69*r - 2*m. Is 7 a factor of r?
True
Suppose -4*d + 48 = -4*k, -4*k = -2*d + 46 + 6. Let o(q) = q**3 + 15*q**2 + 15*q + 18. Let h be o(k). Does 9 divide h/(-24) - 734/(-12)?
False
Suppose 4 = 2*s - 0. Let h = 95 + -24. Suppose -s*g + h = 11. Does 10 divide g?
True
Let f = -8976 + 13055. Is f a multiple of 13?
False
Suppose 3*m + 0*m + 4*g = -3201, 4*m + 4249 = g. Does 19 divide -3 + 78/24 + m/(-4)?
True
Let r be -381*5/15*-13. Let p = r - 837. Is p a multiple of 88?
False
Let n(r) = 7*r**3 + 2*r + 42. Let l(s) = -4*s**3 - s - 21. Let z(t) = 5*l(t) + 3*n(t). Suppose -351*y = -341*y. Is z(y) a multiple of 11?
False
Let s be -3*1 + 2170 + (2 - 3). Suppose -6*h + 18 = -s. Does 26 divide h?
True
Suppose 685*h - 689*h + 22912 = 0. Is 10 a factor of h?
False
Suppose -5671*j - 27888 = -5674*j. Is 112 a factor of j?
True
Let w be (12/14)/((-90)/(-84))*5. Suppose 0 = -w*h - 2*y + y + 1582, -2*y = 3*h - 1184. Is 28 a factor of h?
False
Let b(l) be the third derivative of l**6/120 + l**5/5 + 3*l**4/4 + l**3/2 - 80*l**2. Is 9 a factor of b(-9)?
False
Let r(t) = 118*t**2 + 6*t + 27. Does 100 divide r(-6)?
False
Suppose -2*h - c - 2 = -48, -h - c = -23. Let d be (2/(-3))/((-2)/(-15)). Let f = h + d. Is 2 a factor of f?
True
Let r(b) = -b + 3. Let h be r(-1). Let o(i) = i**2 - 7*i. Let p be o(h). Let u = 90 + p. Is 19 a factor of u?
False
Let m(w) = -13*w - 44. Let u be -2 + (1/4 - 73/4). Is m(u) a multiple of 36?
True
Suppose 0 = 7*h