(-6)?
False
Let y = -15915 + 30465. Is y a multiple of 25?
True
Suppose 295*l - 1129 = -3*z + 300*l, 2*l - 1115 = -3*z. Is z a multiple of 2?
False
Let y(p) be the first derivative of -p**3/3 - 4*p**2 + 20*p + 17. Let l be y(-10). Let v(h) = h**3 + h**2 + 41. Is 16 a factor of v(l)?
False
Suppose 2*g - i - 3 = 0, 2 = 2*g - 3*i + i. Suppose -w + k = -283, -w - 7*k + 265 = -g*k. Does 8 divide w?
True
Is 95 a factor of -3*(-126)/(-27) + 17304?
True
Suppose -3*b - 26687 = -2*x, -4*b = 141*x - 136*x - 66798. Is x a multiple of 22?
True
Suppose -2*w - 3*p + 113685 = 0, -3*w + 4*p = -193028 + 22492. Does 4 divide (w/68)/9 + (-2)/(-17)?
False
Let n(s) = -1120*s**3 + 8*s**2 + 8*s + 13. Does 111 divide n(-2)?
False
Let j(t) = t**2 + 8*t + 9. Let g be j(-7). Suppose 2*w + 84 = -4*c, 6 = -c - 2*w - 15. Is (3 - c) + -4 + g a multiple of 4?
False
Let q be 72/(-90)*(2 - 109/2). Suppose q = r - 89. Does 54 divide r?
False
Let x be (-2)/(-5) + 0 + 14/(-35). Let s be 15/20*12 + -2. Suppose x = s*p - 14 - 406. Is p a multiple of 20?
True
Let x(w) = 3*w**3 - 85*w**2 + 80*w - 116. Does 10 divide x(28)?
True
Suppose 6*f - 16 = 2*f. Suppose -4*a + 1120 = -c, -f*c + 34 = a - 246. Does 20 divide a?
True
Let t = 1095 + -650. Let b = t + -1875. Does 11 divide (-19)/(-76) - (-1)/((-8)/b)?
False
Let i(v) = -52*v + 332. Is 7 a factor of i(-35)?
False
Does 3 divide 133/(-57) + 1 + 6583/3?
True
Suppose -2*w - 5*z + 420 + 245 = 0, 15 = -5*z. Let m = w + -102. Does 17 divide m?
True
Let a = -6 + 59. Let r(c) = -20*c + a - 20*c + 41*c. Is r(25) a multiple of 14?
False
Let o be 0 - (4 + -24)/4. Is (-2)/o + (253638/55)/9 a multiple of 8?
True
Let y(m) = -7*m**3 - 5*m**2 + 3*m + 30. Let z be y(-6). Suppose -66*b + 59*b + z = 0. Is b a multiple of 4?
True
Let h = 695 - -865. Does 20 divide h?
True
Let g be ((-6)/4)/(12/(-352)). Suppose 2*x + 286 = 13*x. Let q = g - x. Is q a multiple of 6?
True
Suppose 0 = 4*a - 6 - 6, -5*a + 19 = 2*g. Suppose -f + g*k = 178 - 562, -4*k + 1182 = 3*f. Does 23 divide f?
False
Let r(u) = 531*u + 5546. Does 59 divide r(15)?
True
Let v(d) = -2015*d + 10. Is 8 a factor of v(-2)?
True
Let t = -635 - -906. Let x = t - 258. Is x a multiple of 11?
False
Suppose -1123704 + 254052 = -196*q. Is q a multiple of 121?
False
Let l be 1 + -2 - (-1 + 0). Suppose l = 6*o - 11*o + 1375. Is 55 a factor of o?
True
Let d = 1 + -1. Let j be (14/((-280)/12))/(5/(-25)). Suppose -2*q + q + 5*s = -18, d = -j*q - 3*s + 72. Is q a multiple of 3?
False
Let u(j) = -72*j**2 - j - 1. Let q be u(1). Suppose -3*c - 1184 = -11*c. Let i = c + q. Is i a multiple of 9?
False
Suppose -4*s + 56*b - 57*b + 42523 = 0, -5*s = -3*b - 53158. Does 5 divide s?
False
Is (10 - (-2869 + 4)) + -19 a multiple of 28?
True
Suppose c - 11 = -5. Suppose -c*y = -y. Suppose 6*k - 42 = -y*k. Is 2 a factor of k?
False
Let o(c) = 2*c**2 - 66*c - 81. Let i be o(40). Suppose -i - 609 = -4*p. Is 17 a factor of p?
True
Let f(m) = -m**3 - 7*m**2 + 10*m + 20. Let h be f(-8). Suppose 0*r + 5*d - 734 = -4*r, -4*d - 716 = -h*r. Is r a multiple of 12?
False
Let z be ((-8)/4)/(-4)*(-7 + 6323). Suppose 33*i - 5389 = z. Is i a multiple of 37?
True
Suppose -52 = -4*c + 96. Suppose -c = -3*d + 2*n + 72, -d - 5*n + 59 = 0. Let p = 14 + d. Does 7 divide p?
False
Let m be (-14)/91 + 56/26. Let g be (8/(-22))/m - 36760/(-110). Suppose k = -k + g. Is 34 a factor of k?
False
Suppose 361 + 473 = 2*v. Let b = -314 + v. Does 47 divide b?
False
Let b = -46929 - -69420. Is b a multiple of 27?
True
Suppose 307 = 5*c - 123. Suppose -3*o + 4*j + c = 0, j = 4*o + 64 - 170. Suppose o = 2*d - 94. Does 20 divide d?
True
Let f be 1 - 53 - (57 + -60). Let k = f + 230. Does 16 divide k?
False
Is (1*4)/(13342*(-12)/40032 + 4) a multiple of 68?
False
Suppose -4*y + 3*f = -10, -y - 2*f + 6*f + 9 = 0. Let p be 1 + 2 + -1 + y. Suppose -3*g - p*n = -6*g + 345, n = 2. Is 9 a factor of g?
True
Let z = 40376 + -31443. Does 9 divide z?
False
Is 20 a factor of (-630)/(-180)*(-40200)/(-7)?
True
Suppose -2*q + 8 = u, -4*q - 3*u = -0*u - 16. Suppose 7*b + 4 = 2*b - q*h, -3*b - h = 8. Let n = b + 54. Is 5 a factor of n?
True
Let t(i) = -i**3 + 20*i**2 - 6*i - 10. Let m = -356 - -365. Does 44 divide t(m)?
False
Let l(x) = -11*x - 1. Let z be l(0). Does 6 divide ((-1296)/(-378))/((-117)/119 - z)?
True
Is 8 a factor of (170/4)/(2*7/672)?
True
Let z(p) = -19*p + 158. Does 11 divide z(-25)?
False
Let v be (-9)/(-5)*(-5)/(-3). Suppose -a - s = -5, v*a + s - 10 = -1. Suppose -3*g + 104 = a*y, g + 0*g - y - 33 = 0. Is g a multiple of 17?
True
Suppose -1691 = -q + 4*d, -2*q + 2667 + 695 = -3*d. Does 9 divide q?
False
Suppose -5*x - 4*u = -1492 + 586, -2*x + 336 = -5*u. Suppose -5*j + x = -147. Is j a multiple of 5?
True
Let p(i) = -2*i**2 - 12*i + 15. Let s be p(-7). Let o be 525 - s - (17 - 15). Suppose 0 = -0*d - 4*d + 4*k + 420, 0 = -5*d + 2*k + o. Is 9 a factor of d?
False
Let v(a) = 1449*a - 454. Is v(2) a multiple of 17?
False
Suppose -6*l + 11276 = -33944 - 13070. Is 160 a factor of l?
False
Suppose -3*r - 5*d + 25 = 0, 0*r + d = -2*r + 5. Suppose 2*s - k - 142 = r, 2*k + 213 = 2*s + s. Is s a multiple of 28?
False
Let w(n) = -2 - 2 - 10 + 34*n. Let m be w(5). Suppose -6*q + m = -2*q. Is q a multiple of 39?
True
Suppose -17538136 = -168*d + 215*d - 615*d. Is d a multiple of 77?
True
Does 147 divide 393512/30 + 250/(-3750)?
False
Let l(m) = 20*m**3 + 4*m**2 + 6*m - 16. Let q be l(4). Let w = q + -832. Is 26 a factor of w?
True
Let k(g) = 5*g - 20. Let w be -2 + -1 + (-2 - -8). Let h be w/(3 + 63/(-24)). Is k(h) a multiple of 5?
True
Let w(c) be the first derivative of -c**4/4 - 8*c**3/3 - 3*c**2 - 18*c - 24. Let v be w(-8). Does 32 divide v + 1/(-2) + (-40)/(-16)?
True
Suppose -2*k = -3*g - 53 - 3, 35 = -2*g - k. Let r be (-48)/g + (-4)/(-3). Suppose 5*l - s - 243 = 0, -2*s - 138 = -3*l - r*s. Does 16 divide l?
True
Let m(c) = -c**3 + 6*c**2 + 3*c + 13. Let q = 17 + 3. Let f be (-3 + q/8)/(3/(-36)). Is m(f) a multiple of 6?
False
Is 88 a factor of (31172/6)/((-163)/(-978))?
False
Let n(h) = h**3 - 3*h**2 - 7*h + 14. Let y be n(4). Let a be (-123)/(-2) + y/4. Let c = 103 - a. Is 20 a factor of c?
False
Suppose -7 = s, -17*b + 10*s - 9*s = -433847. Is b a multiple of 58?
True
Let p(n) = 2*n**2 - 2*n - 1. Let h be p(6). Suppose 0 = 2*y + 4*z - 2*z - 66, -3*y + 87 = -3*z. Suppose 2*q + w = h, 3*q - 68 = -5*w + y. Is q a multiple of 28?
True
Suppose -6*b + 140 = -b. Let x(t) = 551*t - 2700. Let g be x(5). Let s = g - b. Is s a multiple of 9?
True
Let o(s) = 10*s**2 + 330*s - 64. Let k(h) = 2*h**2 + 66*h - 13. Let l(c) = -11*k(c) + 2*o(c). Is l(-29) a multiple of 19?
True
Let q(w) = 36 + 12 - 19 + 22 + 2*w. Let p be q(-22). Suppose -9 = -4*o + p, -322 = -3*i - o. Is i a multiple of 10?
False
Suppose -155 - 210 = -5*y. Suppose y*g + 108 = 75*g. Is g even?
True
Let a be ((-21)/35)/(9/(-60)). Suppose 5*g + 2*c = 671, a*c = 2*g - 152 - 126. Is g a multiple of 9?
True
Let j(y) = y**3 - 9*y**2 + 2*y - 15. Let c be j(9). Suppose o + c*o = 3004. Suppose 4*p + 103 = o. Does 18 divide p?
True
Let t(l) = -2*l + 29. Let a be t(13). Suppose -a*b - 1 - 2 = 0, 2*x - b = 85. Does 21 divide x?
True
Let m be (-5 - (-5)/(25/10)) + 3. Suppose -1 - 27 = -n. Suppose 2*l + 0*c - 5*c - n = m, 2*c = 4*l - 88. Is l a multiple of 8?
True
Let r = 5221 + -1385. Is r a multiple of 7?
True
Let g(l) = -12*l - 32. Let i be g(-2). Does 13 divide ((-11440)/77)/(i/28)?
True
Let y(m) = 2*m**3 - 9*m**2 + 9*m - 8. Let u be y(8). Let l be (-1)/((-1)/(u + 3)). Is 15 a factor of (3 + -4)/((-5)/l)?
False
Suppose 970 = 21*g - 647. Let q be 1/3 - (-1148)/3. Let c = q - g. Does 34 divide c?
True
Suppose 0 = -19*a - 59*a - 245685 + 920307. Does 44 divide a?
False
Let a(w) be the third derivative of -w**6/120 - 19*w**5/60 - w**4/24 + 23*w**3/3 - w**2. Let z be a(-19). Suppose z = 7*n - 6*n. Does 27 divide n?
False
Let r = 30171 - 28571. Is r a multiple of 20?
True
Let x = -33 + 42. Suppose -3*n + 6*n - x = 0. Does 7 divide 119/n - 6/9?
False
Let j(l) be the first derivative of -3*l**2/2 + 24*l - 10. Let i be j(-7). Let m = 5 + i. Does 50 divide m?
True
Let c = 46521 + -20715. Is c a multiple of 66?
True
Let m(w) = 43*w - 66. Let t = -10 - -16. Is m(t) a multiple of 16?
True
Let c(x) = 28*x**2 - 80*x - 1384. Is c