w - 4*s - 284 = 0, 0 = -4*w + 5*s - 22 + 305. Is w a multiple of 24?
True
Let q be (-1)/6 + 1142/12. Let r = 99 - q. Does 4 divide r?
True
Let q = 9 + 1. Let z(r) = -2 + 3*r + 38*r**2 - 8 - 2 + q. Does 13 divide z(1)?
True
Suppose 0 = 3*c + 4*v - 285, 3*c + v = 2*v + 285. Does 5 divide c?
True
Let v(y) = -y + 10. Suppose -3*q - 1 = 5*s - 15, 0 = q + 2*s - 5. Suppose -4*a - q = 13. Is 4 a factor of v(a)?
False
Let v(w) = -w**3 + 3*w**2 + 3*w - 13. Is 21 a factor of v(-5)?
False
Let u = 29 + -25. Suppose 4*p = -2*i + 84, 0*i = -u*i + 4*p + 156. Does 30 divide i?
False
Suppose 10 = -5*j + 5*f, 5*j - 2*j - f = 2. Suppose -3*n + 8*n - 192 = -4*k, -j*n = 2*k - 78. Is n a multiple of 9?
True
Let q(r) = 2*r**2 - 5*r - 47. Is 44 a factor of q(-17)?
True
Let s = -21 + 19. Let r be (2/(-2))/(s/(-44)). Let h = r - -84. Does 31 divide h?
True
Let i be ((-159)/(-6))/((-1)/(-2)). Is 1/(1/i) + 3*-1 a multiple of 10?
True
Let g = 22 - -44. Is 66 a factor of g?
True
Let m(z) = 116*z**2 - 2*z. Does 6 divide m(-1)?
False
Let j = 17 + -47. Let t = j + -42. Is 16 a factor of 20/(-6)*t/15?
True
Suppose 0 = 5*h + 4*w + w - 115, -w + 63 = 3*h. Let g = -15 + h. Suppose g*m + 4 = 19. Is 3 a factor of m?
True
Let j(a) = -16*a**2 - a. Let w be j(-1). Let r be (-4)/(-10) + (-369)/w. Suppose -2*u + 3*n + 1 = -4, -2*u + r = n. Is u a multiple of 10?
True
Let k(q) = 26*q**2 - 13*q + 43. Is k(3) a multiple of 34?
True
Let l = -21 + 31. Let x be (-3 + l)*(-12)/(-14). Suppose 18 + x = 3*p. Is 8 a factor of p?
True
Let y be (0 + -1)*(-10 + 4). Let f be ((-138)/9)/((-4)/y). Let o = f + 9. Is o a multiple of 11?
False
Suppose -5*g + 4*t + 2 = 0, -7*g + 5*t + 5 = -2*g. Is (-4)/(g - -6) - -72 a multiple of 14?
False
Let y = -74 - -74. Does 6 divide y - -73 - (-6 + 18)/(-3)?
False
Let h = -94 + 95. Suppose i = 6*i - 20. Is 12 a factor of i - 1/(h/(-56))?
True
Suppose 4*v = -4 + 12. Let u be (v + -1)/(3/9). Does 13 divide ((-78)/4)/(u/(-4))?
True
Suppose 0 = 10*l - 15*l + 3*r + 5195, 0 = -5*l + r + 5195. Is l a multiple of 49?
False
Suppose 0 = -35*p + 1865 + 7165. Is p a multiple of 43?
True
Let b(d) = 9*d - 4. Let l be b(-4). Let a be l/25*5/(-2). Let z(p) = 9*p + 9. Does 15 divide z(a)?
True
Let r(x) = 104*x**3 + 2*x**2 - x - 1. Let s be r(1). Let k(n) = -n + 14. Let v be k(0). Suppose -s = -4*h + 2*j - v, -3*j = -5*h + 113. Is h a multiple of 5?
False
Let d(p) = 48*p**2 + 3*p - 3. Does 18 divide d(1)?
False
Suppose -2992 = -7*q + 3*q. Does 46 divide q?
False
Suppose 367 = -5*b + 997. Let o = 186 - b. Is o a multiple of 10?
True
Let j(w) = 135*w + 18. Is 9 a factor of j(1)?
True
Let l be (2 - (2 - 2))*-5. Let j = 125 - l. Is 27 a factor of j?
True
Does 14 divide (75/20)/(27/1008)?
True
Let s = 91 - 91. Let l be 4/6*(-45)/(-10). Suppose -l*p + 193 = -g, s = 3*p + p + 3*g - 266. Is 12 a factor of p?
False
Suppose -3*k = -15 + 6. Suppose -3*u + 2*y + 3 + 1 = 0, 6 = 5*u - k*y. Suppose -g + 5*g - 88 = u. Is g a multiple of 11?
True
Suppose 2*f = -c + 955, -15*f + 10*f = 5*c - 2375. Does 6 divide f?
True
Let h(z) = -z**3 - 6*z**2 - 6*z + 1. Let c be 26/(-6) + (-8)/12. Let d be h(c). Suppose 4*x - d*x = -18. Is 3 a factor of x?
True
Suppose 5*w - 10 = -2*a - 3*a, 0 = 2*a - 5*w - 18. Suppose a = -4*l, -4*q - l - 2*l + 353 = 0. Does 16 divide q?
False
Suppose 21*a - 401 = 1489. Does 45 divide a?
True
Let r(l) = l - 3. Let m be r(3). Suppose 4*i - 21 + 1 = m. Suppose -i*y + 40 + 35 = 0. Does 5 divide y?
True
Let b(j) = 100*j + 102. Is 78 a factor of b(6)?
True
Suppose 68*o + 1294 - 11698 = 0. Is o a multiple of 26?
False
Suppose 2*d + 4 = 0, i + 3*d - 2*d - 484 = 0. Does 18 divide i?
True
Suppose 0 = -55*g + 1756 + 11939. Is g a multiple of 9?
False
Suppose -4*s + 3*w + w + 376 = 0, 0 = -3*s - 2*w + 272. Does 4 divide s?
True
Let b(x) = -109*x + 115. Is 6 a factor of b(-4)?
False
Suppose 0 = 2*m - 4*m + 18. Suppose m*s - 3*s - 348 = 0. Does 25 divide s?
False
Let s = 472 + -822. Let o = -236 - s. Is o a multiple of 19?
True
Let a(i) = i**3 - 2*i**2 - 2*i + 4. Let t be a(0). Let b = 10 - 17. Is (t/b + -2)*-14 a multiple of 12?
True
Let t = -428 - -728. Is 6 a factor of t?
True
Let m(r) = 2*r - 9. Let t be m(6). Suppose -2*l + 6 = 2, -11 = -t*s + 5*l. Let b(p) = 6*p + 10. Does 26 divide b(s)?
True
Let t be -20 + 16 - (-4 + 0). Does 15 divide 7/(-21)*t + 5*6?
True
Let i(r) = 44*r - 32. Is 5 a factor of i(8)?
True
Let y(f) = -10*f**3 - 4*f**2 - 14*f + 2. Let b(x) = -x**3 - 2*x + 1. Let m(c) = -5*b(c) + y(c). Is m(-2) a multiple of 8?
False
Let c = -6 - -6. Suppose 4*k - x - 318 = x, -4*x + 12 = c. Is 10 a factor of k?
False
Let k be -19 + (1 + -3)*(-8)/16. Let n = k - -23. Does 2 divide n?
False
Suppose -2*b - 4*r + 760 = -5*r, -2*r = 0. Is 19 a factor of b?
True
Let t(f) be the third derivative of 62*f**4 + f**3/6 + 4*f**2. Let h be t(-2). Is 2/7 - h/49 a multiple of 19?
False
Let d(p) = 189*p + 34. Is 26 a factor of d(10)?
True
Let b = -147 - -201. Does 9 divide b?
True
Let a be (-1 + 1/(-2))*-2. Let v(y) be the second derivative of y**3/3 + y**2/2 - 7*y. Is v(a) even?
False
Let h(b) = -46*b + 36. Is h(-5) a multiple of 14?
True
Let v be (-69)/(-4) - 2/8. Suppose -3*l + v = x, 8*l - 6 = 4*l + 2*x. Suppose t + 126 = l*t. Is t a multiple of 13?
False
Let q(m) = -4*m**3 + m + 1. Let v be q(-1). Suppose v*u = 12 - 4. Is 5 a factor of u*7 - 21/7?
False
Suppose 0 = -2*l + 17 - 15. Does 43 divide (l - 3)/((-5070)/1686 + 3)?
False
Let q = 2181 + -721. Is q a multiple of 73?
True
Suppose -5*s - 4*o + 208 = 0, 3*s - 168 = -s - 4*o. Does 27 divide (s/12)/(4/144)?
False
Let h be 3*((-64)/(-12) - 3). Suppose -4*w = -h*w + 4*n + 154, -3*w = -3*n - 153. Is w a multiple of 18?
False
Let b(h) = 6*h**2 - h + 25. Is b(14) a multiple of 14?
False
Let g = -23 + 25. Let o(s) = -8 + 3*s**2 + s**3 + 5*s**g + 0*s**2 + 0 + 5*s. Does 10 divide o(-6)?
False
Suppose 26*y = 5096 - 598. Is 6 a factor of y?
False
Let h(q) = -4 - 5*q**2 + q**2 - q + 5*q**2. Does 11 divide h(-6)?
False
Suppose 0 = 7*h - 39 - 3. Suppose r - h = 11. Is 4 a factor of r?
False
Let a = 1842 - 552. Is 86 a factor of a?
True
Let h(r) = r**2 + 1. Let g be h(3). Let z = g - -3. Let p = z + -7. Is p a multiple of 4?
False
Let k(z) = -5*z + 1. Let q(y) = -y**3 + 10*y**2 + 10*y + 3. Suppose -9*n + 6*n + 33 = 0. Let i be q(n). Is k(i) a multiple of 16?
False
Let l be 8/(1/272*4). Does 27 divide l/18 - (-4)/(-18)?
False
Suppose 7*t - 201 = 4*t - 3*b, -t + 92 = -4*b. Suppose -n + 82 = -3*n. Let r = t + n. Is r a multiple of 9?
False
Let a = 25 - -487. Suppose 0*z + 4*z = a. Is z a multiple of 24?
False
Let b(h) = 6*h**3 + 4*h**2 - 16*h + 6. Let f be b(7). Is f/24 - 1/(-2) a multiple of 30?
True
Let r be ((-13)/(-3) - 3)*3. Is r + (4 + -3)*23 a multiple of 5?
False
Suppose -5*s + 161 = 2*f, -s - 374 = -5*f - 4*s. Is f a multiple of 18?
False
Suppose v + 4*z = 68, -5*v + 93 + 263 = 4*z. Suppose 6 = s + 2*s. Suppose 0*p = s*p - v. Is 8 a factor of p?
False
Let m(n) = 2*n**2 + 2*n. Let h be m(-2). Suppose 4*o - 2*d - 256 = 0, -4*o + h*d + 256 = -0*d. Does 22 divide o?
False
Let v = 30 - 22. Is v a multiple of 8?
True
Let i(v) = -2*v + 11. Let w be i(-10). Let p = w + -19. Does 4 divide p?
True
Suppose 382*a = 372*a + 4150. Does 12 divide a?
False
Let c = 940 - 446. Is 43 a factor of c?
False
Let o(u) = -5*u + 396. Does 7 divide o(37)?
False
Suppose -5*m + 2*d + 612 = 0, -5*d + 579 = 4*m + 96. Does 11 divide m?
False
Suppose 5*a - 13110 = -25*w + 23*w, -a - 2*w + 2614 = 0. Is 38 a factor of a?
False
Suppose 7*l = 432 + 254. Let y = l + -69. Is 29 a factor of y?
True
Let f = -12 + 12. Is (f - 0) + (2 - 1) + 10 a multiple of 6?
False
Suppose 3484 = 5*x - 1931. Is x a multiple of 30?
False
Let s(r) be the first derivative of -13*r**2/2 + 13*r + 13. Is s(-5) a multiple of 19?
False
Let t = -21 + 16. Let f be t/(-4) + 2/(-8). Is 35 - (0/(-3))/f a multiple of 25?
False
Let r(g) = 247*g - 4. Let o be r(-4). Is (-5)/(-25) - (o/10)/4 a multiple of 13?
False
Let m = 2418 + 72. Is m a multiple of 83?
True
Does 3 divide -2 + 6 + (-9)/(18/(-64))?
True
Suppose 0 = -0*p + 2*p - 26. Suppose 3*f - 9 = -3*k, -p = -5*f + 2*f - 5*k. Suppose n - 50 = f. Is 17 a factor of n?
True
Let d = 1 + -5. Let b(g) = -25*g - 9. Let z be b(d). Does 18 divide (-6)/(-14) - (-6513)/z?
True
Suppo