 - 57 = 0, 2*k - 3*k + p = 14. Let j = 31 + k. Is j a multiple of 14?
True
Suppose -11*p + 384 = -7*p. Is 16 a factor of p?
True
Let n(b) = -4*b**3 - 8*b**2 + 16*b - 25. Does 26 divide n(-11)?
False
Let i = 7571 - 4933. Is i a multiple of 41?
False
Let r(x) = -20*x + 4. Let s = 55 - 35. Suppose 0 = 26*c - 31*c - s. Is r(c) a multiple of 24?
False
Suppose m = -3*p + 8, -m - 2 = -2*p - 0. Let r = p - -2. Suppose 54 = r*f + 2*h, -4*f + 0*h = h - 55. Is f a multiple of 7?
True
Suppose -6*c + 5*c - 2 = 0. Is c/(((-6)/795)/((-2)/(-10))) a multiple of 27?
False
Suppose -m - 707 = -202. Is 9/12 - m/4 a multiple of 25?
False
Suppose 4*t - 15 = 1. Suppose 0 = -t*v + 153 + 63. Is v a multiple of 9?
True
Let o(g) = -g**2 + 13*g + 22. Let h be o(9). Let k = -35 + h. Let z = -12 + k. Is 11 a factor of z?
True
Suppose 15*s - 1268 - 7 = 0. Does 3 divide s?
False
Is 73 a factor of (-2)/(-2) + 4 + (-2 - -1310)?
False
Suppose -2*a + 575 = -0*a - 3*t, -a - 4*t = -315. Does 18 divide a?
False
Suppose 0 = -4*r - 2 - 22. Let d(z) = -34*z + 4. Does 26 divide d(r)?
True
Suppose 0 = 5*r - 20*r + 2775. Is r a multiple of 15?
False
Let u = 146 - 35. Is 4 a factor of u?
False
Is (440/(-33) - -11)*-1206 a multiple of 97?
False
Let z = 27 + 22. Suppose 8*h + z = 7*h. Let m = -25 - h. Is 7 a factor of m?
False
Is (5 - -1) + (1 - -18)*66 a multiple of 30?
True
Suppose 2*y = -4, -2*y - 307 = -b + 305. Is 16 a factor of b?
True
Is (-2145)/(-10) - ((-5)/2 - -5) a multiple of 3?
False
Is 3 a factor of (1968/40)/(45/600)?
False
Let r(w) = w**2 + w + 1. Let v(f) = 2*f**2 + 13*f + 19. Let l(p) = -3*r(p) + v(p). Is 3 a factor of l(9)?
False
Let x = -1697 - -2054. Is 51 a factor of x?
True
Let k = -24 - -22. Does 6 divide 4*(-15)/k*(1 + 0)?
True
Let p = 132 - 132. Let r = 4 - -17. Suppose -d + r = -p. Is d a multiple of 11?
False
Suppose 0 = 6*s - 1873 + 73. Is 15 a factor of s?
True
Let k be 4*1/((-6)/(-3)) + 2. Suppose 0 = k*l - 167 + 3. Is 12 a factor of l?
False
Suppose 2*m + 29 = -3*y, 0 = 2*m - m - 4*y + 9. Suppose -i - s + 24 = -0*s, -3*i - s + 66 = 0. Let q = m + i. Is q a multiple of 4?
True
Let i be ((-1)/3)/((-18)/918). Does 14 divide 110/4 + i/34?
True
Let d = 79 + -39. Suppose -2*r + 30 = 5*w + 3*r, -5*r = -2*w + d. Let j(s) = s**3 - 10*s**2 + 3*s - 15. Is 6 a factor of j(w)?
False
Suppose d + 3*d + 44 = 0. Let f(g) = -g + 27. Let s be f(10). Let t = d + s. Is 6 a factor of t?
True
Suppose 0 = 9*a - 2510 - 8137. Does 55 divide a?
False
Let y(x) = 222*x + 5. Suppose 0 = -5*u + 5, 3*j + 0*u = 3*u. Is y(j) a multiple of 32?
False
Suppose 37*q - 41*q + 16 = 0. Is (-2589)/(-21) - q/14 a multiple of 32?
False
Let a(f) = -14*f**3 + 2 + 35*f**3 - 20*f**3 - 11*f + 10*f**2. Is 16 a factor of a(-10)?
True
Suppose -5*x + 4 = -11. Suppose x*c - 16 = -7. Let h(r) = 10*r + 3. Is h(c) a multiple of 11?
True
Let d(j) = j**2 + 10*j - 4. Let y(q) = -6*q**2 - 51*q + 19. Let z(i) = -11*d(i) - 2*y(i). Does 15 divide z(-6)?
True
Suppose 5*f + 13 = 2*o - 4, -5*o - 4*f - 40 = 0. Let i = 35 + -201. Is i/(-10) + o/(-10) a multiple of 17?
True
Suppose p + 4 = 7. Suppose -2*n - 8 = 0, -s - 5*n = -p*n + 12. Let h(r) = -r**3 - 3*r**2 + 3*r + 4. Does 8 divide h(s)?
True
Let f = 1128 + 1979. Is f a multiple of 13?
True
Let x = 56 + 20. Suppose -368 = -3*q + 3*f + x, 152 = q - 5*f. Is 21 a factor of q?
True
Let i = 398 - 333. Is 13 a factor of i?
True
Let x(s) = -s**2 + 15*s - 22. Let o(h) = -1. Let g(p) = -2*o(p) + x(p). Is 12 a factor of g(8)?
True
Suppose -10*i + 1199 = -1451. Is 7 a factor of i?
False
Let z = -7 - -10. Let l = -12 - -39. Suppose -z*q = 0, -3*q = 3*k + q - l. Is k a multiple of 9?
True
Let m(p) = 2*p**2 - 11*p + 199. Does 17 divide m(18)?
False
Let c(v) = 3*v**3 - 4*v**2 - 8*v + 68. Is c(7) a multiple of 24?
False
Does 4 divide -5 + (-13)/(52/(-760))?
False
Let f = -14 + 16. Suppose f*k - 889 + 201 = 0. Suppose k = 4*h - 2*q - 2*q, 0 = -h - 3*q + 98. Does 18 divide h?
False
Suppose -363 - 264 = -11*x. Let p = x + -9. Does 3 divide p?
True
Let y be (-8)/(-12) - 24/9. Let v be y - (-151 - -2) - -3. Does 15 divide 1*(v/2 + -1)?
False
Is 34 a factor of (-6*411/(-45))/(4/60)?
False
Let l = -441 + 479. Is 2 a factor of l?
True
Let u(f) = -4*f**2 - 125*f + 42. Does 5 divide u(-31)?
False
Let o(m) = 6*m**2 + 19*m + 20. Does 67 divide o(17)?
True
Is 51/(-2 + (-171)/(-72)) a multiple of 3?
False
Suppose -x - 179 = -5*y, 4*x - 3 = 1. Suppose 2*c + 2*c = 4*w + y, -2*w = -4. Is c a multiple of 3?
False
Suppose -10 + 5 = -a + 3*h, 0 = 5*a - 4*h - 14. Suppose 0 = -a*q + 39 - 29. Is 2 a factor of q?
False
Let a = -77 + 118. Let f = a - 74. Is (-6)/f + 423/33 a multiple of 3?
False
Let k = -62 - -61. Does 9 divide ((-1199)/7)/k + (-12)/42?
True
Let s(g) = -2*g**3 - 5*g**2 + 8*g + 3. Let k be s(-6). Does 34 divide k/6 + 1/(-2)?
True
Let v(x) = x - 3. Let u be v(9). Let b = 2 + u. Is b + (-1 + 9 - 4) a multiple of 3?
True
Let u(m) be the second derivative of 11*m**6/720 - m**5/12 - m**4/3 + 6*m. Let r(q) be the third derivative of u(q). Does 34 divide r(4)?
True
Is 45 a factor of ((-4 + -60)/4 - 4)*-20?
False
Suppose o - 3*o = 6, 36 = k + 4*o. Does 4 divide k?
True
Let j(z) = -3*z**2 - 82*z + 19. Does 13 divide j(-21)?
False
Let u be 4/12 - (-1)/(-3). Suppose u = -3*o + 4*a + 179, 2*o + 5*a = -3*o + 275. Is 19 a factor of o?
True
Let m = -6 - -11. Suppose m*o = 5*x - 2 - 23, -2*x - o = -4. Suppose 16 = x*l - 5*d, -l + d + 8 = 2*d. Is l a multiple of 2?
False
Suppose -4*y + 3 - 19 = -4*v, -2*y - 20 = -5*v. Suppose v*g + 0*g = 12. Suppose g*u = -3*j + 123, 5*u - 195 = 6*j - j. Does 7 divide u?
False
Does 13 divide (3 - (-251)/(-5))/((-24)/1860)?
False
Is 27 a factor of 80/4*(-594)/(-55)?
True
Suppose -2*y = -4*y + 6. Suppose -y*q - 63 = 72. Let l = 81 + q. Is l a multiple of 11?
False
Suppose -3*d - d = -316. Suppose 3*s - d = 56. Is s a multiple of 6?
False
Let g = 52 + -81. Let p = g - -60. Is p a multiple of 10?
False
Let i be 68/(-12) + (-2)/6. Let v be (-10)/i*6/5. Suppose n = -1 - v, -5*g = 5*n - 280. Is 18 a factor of g?
False
Let y(n) = -n**2 + 23*n - 49. Let j be y(20). Let a = j - -105. Does 25 divide a?
False
Let s be 0/(-2 - (0 + 0)). Suppose s = 47*z - 53*z + 294. Is z a multiple of 28?
False
Suppose 2*l - 2 = 0, -4*j + l + 13 + 10 = 0. Does 42 divide (-2530)/(-15) - j/9?
True
Let v be (-10)/40 - (-11)/8*6. Suppose -7*p - v = -8*p. Is 3 a factor of p?
False
Let m(k) = -4*k**3 + 7*k**2 - 22*k - 124. Is m(-5) a multiple of 14?
False
Suppose 0*w - 4*w + 18 = -2*j, -3*j = 4*w + 7. Let c be w*((-1)/2 + 0). Is c*2*55/(-10) a multiple of 4?
False
Let d(k) = 3*k**3 + 95*k**2 + 24*k + 108. Is d(-30) a multiple of 21?
False
Let f = 167 + 522. Does 35 divide f?
False
Suppose -95 - 169 = 3*o. Let d = -67 - o. Is d even?
False
Let h(r) = 2*r**3 + r**2 + 2*r + 2. Let p = 94 - 92. Is h(p) even?
True
Let s(b) = -2*b + 21. Let p be s(-10). Suppose k + p = 2*y, -y = -3*y + 3*k + 47. Let r = 29 - y. Does 5 divide r?
True
Is 32 a factor of 6 - 13 - (-14 - 441)?
True
Let s = 448 + -186. Is s a multiple of 23?
False
Suppose -5*y + 8335 - 2630 = 5*l, 5*l - 2*y - 5719 = 0. Is 35 a factor of l?
False
Let s = 2065 - 1033. Let g be (-413)/295 + 0 + (-4)/(-10). Is 7 a factor of g/4 - s/(-32)?
False
Let h = -28 - -31. Suppose h*w - 31 = -7. Is 2 a factor of w?
True
Suppose -5*j - 6 - 9 = 0. Let k(w) = -2*w + 5. Is 3 a factor of k(j)?
False
Let i be (-134)/(-16) + (-9)/(-24)*-1. Let r(t) = t**2 - 2*t - 5. Let p be r(6). Let h = p - i. Does 3 divide h?
False
Let x = -1067 + 2093. Does 54 divide x?
True
Let y be (-68)/5 - (-4)/(-10). Let s = y + 14. Suppose -5*c + 62 = -q + 2*q, s = -4*q - c + 172. Does 14 divide q?
True
Let t = 3067 - 1450. Is t a multiple of 7?
True
Let j = 405 - 249. Suppose -q + 3*s + j = 0, 5*q + 3*s + 2*s - 820 = 0. Does 18 divide q?
True
Is (-2282)/(-2) + (-168)/24 a multiple of 21?
True
Let t = 1367 + -804. Does 5 divide t?
False
Suppose 61 = -11*y + 3581. Is y a multiple of 20?
True
Suppose 3*y + 0*y + 315 = g, -4*g = -5*y - 1288. Suppose -4*m = -7*m + g. Suppose 4*l - m = 5*o, 3*l + 2*o - 102 = -o. Is l a multiple of 15?
False
Suppose -2*u + 172 = -106. Is 15 a factor of u?
False
Suppose -3*m = -4*f - 15, -4*f + 0 = 5*m + 7. Let j be (-9)/(-4 + m) + -5. Is (j/(-5))/((-15)/(-375)) a multiple of