
Let v(y) = 2*y**2 + 2*y. Let m be v(-1). Let k = 46 - m. Let q = 154 - k. Does 27 divide q?
True
Let v(o) = -15*o - 180. Let j be v(-13). Does 62 divide ((-85)/j - -5)*-2877 + 4?
True
Suppose n - 8572 = 5*q, -3*q - 28866 = -4*n + 5439. Suppose 0*j + n = 9*j. Is 13 a factor of j?
False
Suppose 51*f - 31*f = 26520. Does 30 divide f?
False
Let z(y) = -y**3 + 18*y**2 + 21*y - 38. Let x be z(19). Suppose -h = -4*h - 2*p + 15, -p - 3 = x. Let s(a) = 5*a**2 - 25*a - 7. Is 4 a factor of s(h)?
False
Suppose 32*r - 37*r + 10 = 0. Suppose -5*u + r*i + 347 = -5, -4*u + 284 = -i. Is u a multiple of 12?
True
Let a = 21 - 19. Suppose -a*z = -8*z + 510. Let f = -23 + z. Is f a multiple of 38?
False
Let f(u) = u**3 - 31*u**2 + 42*u + 272. Is 24 a factor of f(32)?
True
Suppose 96*h = 2*v + 100*h - 44658, -v + 3*h + 22309 = 0. Is v a multiple of 17?
True
Suppose 0 = -r - 4*o + 3817, -284*o = -285*o + 3. Does 77 divide r?
False
Let i(l) = 54*l**2 - 127*l - 3502. Is i(-29) a multiple of 6?
False
Does 37 divide (4842/(-30))/(11 + 13216/(-1200))?
False
Let g(p) = -144*p**2 - 14*p + 19. Let y be g(3). Let h = y + 2613. Does 13 divide h?
False
Suppose 32*f - 29*f - 34938 = 0. Is f a multiple of 164?
False
Let b(w) = 125*w**2 + 151*w - 740. Is b(5) a multiple of 4?
True
Suppose 10*q = 13*q. Suppose -4*i + 77 = 5*l, 4*i - 3*l - 37 = -q*l. Suppose y - i = 3*b, -b - 3*b = 3*y - 91. Is y a multiple of 21?
False
Suppose 30*x - 39*x = 81. Let h(s) = -3*s**3 - 20*s**2 + 8*s + 16. Is h(x) a multiple of 48?
False
Let l(q) be the second derivative of q**6/240 + q**5/15 - 7*q**4/6 - 5*q. Let c(h) be the third derivative of l(h). Is 5 a factor of c(6)?
False
Suppose 137058 - 25938 = 20*q - 11520. Is q a multiple of 15?
False
Let y(j) = 2*j**2 - 4*j - 4. Let s be y(-1). Suppose -s*x = v - 785, -2*x + 5*v - 253 = -1008. Is 4 a factor of (-2)/9 - x/(-54)?
False
Let o be 65 + -63 - (1 - 814). Suppose -o = -12*n + 1609. Is 25 a factor of n?
False
Let z be (-2420)/132 - ((-8)/(-3))/(-2). Let k(m) = -3*m - 6. Let v be k(z). Is 17 a factor of (292/20 + -1)/(6/v)?
True
Let k(l) = -2*l**3 - 3*l**2 - 5*l + 9. Let o = -235 + 229. Does 33 divide k(o)?
True
Let p(v) be the first derivative of v**2 - 2*v + 11*v + 4 - v - 20. Does 4 divide p(0)?
True
Let y(f) = 48*f**2 - 3*f + 2. Let l(q) = 21*q + 10. Let v be l(5). Let w = v - 117. Is y(w) a multiple of 19?
False
Is (-440)/(-660)*((-126)/8)/(-3)*518 a multiple of 19?
False
Let x = -69 - -75. Let g(y) = 2*y**3 - 4*y**2 - 3*y - 17. Does 8 divide g(x)?
False
Let s = -77 - -128. Let i = s + -47. Suppose 114 = 2*h - i*r, -3*r - 13 = -4. Is 17 a factor of h?
True
Let j(w) = w**2 - 22*w - 51. Suppose 8*l - 70 = 714. Let b = l - 72. Is 6 a factor of j(b)?
False
Suppose -5198575 = 609*j - 889*j + 5581985. Does 54 divide j?
True
Let s = -3367 - -12870. Suppose -45*t + s = -32*t. Is t a multiple of 43?
True
Suppose -28 = -14*m + 28. Suppose -4*t + 2*l = -2*t - 592, 2*t - m*l - 598 = 0. Does 57 divide t?
False
Does 257 divide 147*((-10283)/(-30) + 80/(-800))?
True
Let w be (-2)/10 + (-5658)/(-115). Let i = w - 44. Suppose 10*r = i*r + 455. Is 25 a factor of r?
False
Let c be (-4)/10 + (337274/35 - 2). Suppose 0 = -22*y + 8604 + c. Is 35 a factor of y?
False
Let o = 3878 + 12826. Is 58 a factor of o?
True
Is 21 a factor of 4*7/(-21) - (7 + (-134008)/21)?
False
Let n(f) = 5*f - 5. Let a be n(1). Suppose a = 17*w + 9 - 1692. Does 20 divide w?
False
Suppose -13*w + 8*w = -40. Suppose -1040 = -w*j - 80. Is 30 a factor of j?
True
Let k(r) be the first derivative of -8*r**4 + r**3 + r**2 - 10. Is 33 a factor of k(-2)?
True
Let v = -1043 - -2857. Suppose -6*z = -4*z - 2*n - v, -892 = -z - 4*n. Is 44 a factor of z?
False
Let x(q) = q**2 + 11*q - 25. Let o be x(3). Suppose -12*k - o*k + 10527 = 0. Is k a multiple of 19?
False
Suppose 4*o - o + 3*z - 1299 = 0, -4*o + 2*z + 1762 = 0. Does 25 divide 6000/180*o/8?
True
Suppose 5*m - 30353 = -5*x + 4257, 20762 = 3*m + 5*x. Is m a multiple of 86?
False
Suppose -7*l + 221 - 151 = 0. Suppose 0 = -5*a + 25, 2*o + 5*a = l*a + 1065. Is 31 a factor of o?
False
Suppose -15333*x + 15317*x = -120240. Does 62 divide x?
False
Suppose 10*w = 3*w + 28. Suppose 0 = -w*x + 8 - 24, x = k + 29. Let z = k + 55. Does 2 divide z?
True
Let b(o) be the third derivative of -13*o**4/24 + 3*o**3 - o**2. Let z(g) = 5*g + 97. Let v be z(-21). Is b(v) a multiple of 32?
False
Let h be (-1)/(-3)*-21 + (-42)/(-6). Suppose 0 + 4 = x. Suppose h*v + x*v - 252 = 0. Does 9 divide v?
True
Suppose -19 = -3*y + 4*z, y - z = -2*z + 18. Let l(m) = m**2 - y + 12*m - m + 3*m - 5. Is 15 a factor of l(-17)?
False
Suppose -f + 64 = 5*i, -i + 6*f - 2*f + 17 = 0. Let u(a) = 16*a - 8. Is u(i) a multiple of 10?
True
Suppose 5*k + 3814 = 5*b - 27016, -2*k - 24674 = -4*b. Is 54 a factor of b?
False
Let a(l) = -95*l**3 - 10*l**2 - 14*l - 26. Does 28 divide a(-3)?
False
Suppose -437*t + 64416 = -429*t. Is t a multiple of 12?
True
Let q(r) = -r - 20. Let w(y) = y. Let j(x) = q(x) + 2*w(x). Is 2 a factor of j(46)?
True
Suppose -3727 = -2*n - 4*z + 5*z, -5*n + 9285 = 4*z. Suppose -119 = -3*q + n. Is q a multiple of 20?
True
Let r(f) = f**3 + 5*f**2 - 8*f - 7. Let g be (4/10)/((-64)/120)*8. Let t be r(g). Is (-268)/20*-5 - (1 - t) a multiple of 25?
False
Let j be (-88 + 33)/((-3)/12 - 0). Let a be (-38)/(-3) - (-4)/(-6). Does 19 divide (a/(-8))/((-443)/j + 2)?
False
Let o(s) = -14 - 16 + 31. Let l(b) = -b**2 + b - 10. Let n(j) = -l(j) + 3*o(j). Is 16 a factor of n(14)?
False
Let g = -71 - -121. Let b(r) = -57*r**3 - r**2 + r + 2. Let u be b(-1). Let n = u - g. Is 2 a factor of n?
False
Let c = 24286 - 23914. Is c a multiple of 3?
True
Let f = -5441 + 5956. Is 4 a factor of f?
False
Let f = -47 - -45. Let p be 1221/22 + 1/f. Suppose 2*k - p = 275. Is 11 a factor of k?
True
Suppose z = -4*i + 18, -11 = 5*i - z - 29. Suppose -79 = -i*q + 17. Is 11 a factor of q?
False
Let c(w) = -w - 1. Let g be c(-6). Suppose -4815 = -5*l + g*x, -3*l - 7*x + 2893 = -8*x. Does 51 divide l?
False
Suppose 10*f + 13524 = 75274. Does 70 divide f?
False
Let b = 35 - 37. Let r(s) = -7*s**3 - 2*s**2 - 2*s - 4. Is 11 a factor of r(b)?
False
Let a(k) be the third derivative of k**5/60 - k**4/6 - 14*k**3/3 - k**2. Let t(y) = -y**3 - 22*y**2 - 116*y + 18. Let l be t(-9). Is 17 a factor of a(l)?
True
Let f be 32/112 + 18/(-14). Let q be (3*(-4)/(-12))/f. Is 41 a factor of (-2610)/12*((-2)/(-10) + q)?
False
Suppose -3*s + 12 = y, 3*y - 5 = 4. Suppose 6*c - 3*c = -3*r + 198, -5*r - s*c = -336. Let p = 223 - r. Does 17 divide p?
False
Let g(h) = -129*h - 10. Suppose 3*l = o - 0*l - 108, o + 2*l = 128. Let f = -122 + o. Is g(f) a multiple of 43?
False
Let w(l) = 99*l + 11. Let y = -30 - -34. Is w(y) a multiple of 11?
True
Let l(o) = 33*o**3 - 13*o**2 - 25*o. Let t be l(-2). Let a(k) = -7*k**2 + k + 1. Let z be a(5). Let b = z - t. Does 17 divide b?
False
Let m = -190 + 1. Let f = m - -200. Does 5 divide f?
False
Suppose 2*v - 7*v + 3*p = 2839, -5*v = -p + 2843. Let q = v - -1186. Does 38 divide q?
False
Let h be 4228 + 3/(1 - 2). Is 5/(-4) - h/(-20) a multiple of 7?
True
Let b(c) = -7*c**2 + 70*c + 47. Let q(o) = 16*o**2 - 140*o - 95. Let l(n) = -13*b(n) - 6*q(n). Is l(-11) a multiple of 39?
False
Let b = -47 + 51. Suppose -b*t = -0*t - 1688. Is 27 a factor of 6/((-2 - t/(-212))*-4)?
False
Suppose -3*n + i = -517, 9*n + 3*i + 855 = 14*n. Let y = n - 30. Is 9 a factor of y?
True
Let m(v) = 11*v + 129. Let h(i) = -364*i - 4256. Let l(p) = -3*h(p) - 98*m(p). Is 28 a factor of l(11)?
True
Let f(r) = -113*r + 21. Let m be f(-12). Suppose 3*u + m = 5*b, -2*u + 3 = u. Is b a multiple of 15?
False
Let y(z) = z + 52. Let n be y(-15). Let m be 1*n/2*2. Suppose -t - 5*c = -m, -6*c = -3*c - 9. Is t a multiple of 4?
False
Let o be (-66)/(-10) + (-4)/(-20)*2. Let f = o + -3. Suppose 0 = -5*w - f*n + 58, -4*w + 10 = -n - 28. Does 10 divide w?
True
Suppose -3*w - w + 374 = -2*y, 1 = -y. Suppose 127 = -n - w. Let r = n - -408. Does 17 divide r?
False
Suppose -6*b + 145 = -1343. Suppose -2*p + 4*p = 2*y - b, 5*y = 4*p + 617. Does 30 divide y?
False
Suppose 0 = 2*z + 4*a + 6, 3*z + 4*a + 3 = 2*z. Let i = z - -133. Let c = -46 + i. Does 16 divide c?
False
Is (-19407)/(-21) + 6*4/(-168) a multiple of 6?
True
Does 39 divide (-7 - 