 439 = c - 3*b - 2*b. Is 29 a factor of c?
False
Let t = -173 - -137. Does 31 divide (-69)/(-4)*18 - (-18)/t?
True
Suppose -3*r + 84 = -0*r. Let j = r + -19. Suppose -3*u + j = 3*l - 21, 0 = -2*u + l + 5. Is u a multiple of 4?
False
Let h(a) = a**3 - a**2 + 2*a - 1. Let c be h(1). Let q be (-11)/(-22)*(c + -23). Is 5*q/((-55)/42) a multiple of 13?
False
Suppose -4*m = -0*m - 396. Let h = m - 59. Let i = h + -21. Is 16 a factor of i?
False
Suppose 4*a - 5*m = 11, 5*a + 4*m = 3*a - 14. Let x be (-5)/(-3) - a/3. Suppose 86 = x*l - 2*v, -205 = -4*l - l + 3*v. Is 11 a factor of l?
False
Let c = -345 + 1918. Is c a multiple of 13?
True
Let q = -482 - -1094. Is 17 a factor of q?
True
Is (4656/21)/(-5 - 296/(-56)) a multiple of 8?
True
Let y = 273 + -165. Suppose 0*o - 3*i = 5*o - y, 4*o + i = 92. Is 12 a factor of o?
True
Let p(u) = u**2 - 7*u + 4. Let m = 22 + -15. Let r be p(m). Suppose -3*y = -r*y + 15. Does 5 divide y?
True
Suppose 3*x - 18 = -3. Suppose 160 = -x*o + 565. Does 8 divide (-2)/10 - o/(-5)?
True
Does 3 divide -82*(11 - 225/18)?
True
Let x(d) = -d**2 + 9*d + 15. Let z be x(10). Let n be -3*1*(-228)/9. Suppose 0 = -z*q + n + 104. Is q a multiple of 36?
True
Let q(m) be the second derivative of m**4/12 - m**3/6 + 7*m**2/2 - 9*m. Does 17 divide q(-5)?
False
Let n(b) = 87*b**2 + 4*b + 2. Is 17 a factor of n(-1)?
True
Let p(f) = f**3 + 7*f**2 + 3*f - 5. Let q be p(-6). Let u = q - 41. Let d = -24 - u. Is d a multiple of 4?
True
Suppose 0 = 4*w - 1 - 19. Suppose -289 = -3*y + w*m, -4*m - 62 = -5*y + 398. Does 11 divide y?
True
Let o(g) = 3*g**2 + g. Let t be o(1). Suppose -1 = 4*s - 5. Suppose s = -b + t. Is b a multiple of 3?
True
Suppose -3*x = 2*x - 55. Let v(a) be the first derivative of -a**4/4 + 11*a**3/3 + a**2 - 14*a - 17. Is v(x) a multiple of 4?
True
Let m(o) = o - 1. Let p be m(1). Suppose p = -2*g - 4*z + 48, -3*g = 2*g + z - 129. Is 13 a factor of g?
True
Let o be (-15 - -3)*(-6)/18. Suppose -o*c = -2*k - 129 - 15, -3*k - 6 = 0. Let h = c + -8. Is h a multiple of 6?
False
Suppose 0 = -13*m + 5*m + 2064. Does 43 divide m?
True
Let z(m) = 3*m**2 - m + 1. Let d(j) = 9*j**2 - 3*j**2 + 6 + j**3 - 2*j - 10*j**2. Let n be d(4). Does 6 divide z(n)?
False
Suppose 0 = -5*r - 4*f - 38, 5*f - 17 = 4*r + 38. Is 6 a factor of 10/r + 52 + 0?
False
Let o = 429 - 110. Does 29 divide o?
True
Let d = -395 - -141. Is 6 a factor of d/(-8) - (-96)/(-128)?
False
Let d(t) = 2*t - 7. Let n be d(6). Suppose -3*o + 4*s - 4 + 62 = 0, 0 = -n*o + 3*s + 104. Does 15 divide o?
False
Suppose 3*k = 7*k - 12. Let i be (-3)/(-5) - (-60)/(-100). Suppose -5*l = -w + 21, i = -w + k*l + 27. Does 9 divide w?
True
Suppose -31*o + 6275 = -390. Is 17 a factor of o?
False
Let r = 76 + -48. Suppose -4*f + 12 + r = 4*p, p - 4*f + 10 = 0. Suppose -p = d - 5*g, 4*d = -5*g + 2*g + 22. Is 3 a factor of d?
False
Let m = -1 - -3. Let d(h) = -3 + 2*h + 7*h**3 - 5*h**3 + h**3 + 2*h**2 + 2*h**3. Is d(m) a multiple of 15?
False
Let x be ((-68)/(-10))/((17/(-30))/(-17)). Suppose 3*l - x = -p, -p + 208 = 3*l + l. Is 24 a factor of p?
True
Let v be (-6)/(-2) + -1 - -2. Suppose 12 - 168 = -v*g. Let y = -19 + g. Does 15 divide y?
False
Let b = 13 - 8. Suppose 2*l + b + 1 = -f, 4*f = l + 21. Is 26 + -1 + f + -3 a multiple of 13?
True
Let o = 13 - 10. Suppose -t = -4, 3*t - 6 - 6 = -o*u. Suppose 4*b - 24 + 8 = u, -3*y + 4*b = -17. Is y a multiple of 5?
False
Suppose 43*v - 18 = 25. Suppose 3*f + 0*m = -m + 105, -70 = -2*f - 5*m. Let c = f + v. Is 10 a factor of c?
False
Let d(c) = -20*c + 6. Suppose 0 = 3*p - 2 + 5. Does 6 divide d(p)?
False
Let f = 1380 + -1247. Is 3 a factor of f?
False
Let x(z) = 4*z - 14. Let d(j) = 10*j - 10. Let p be d(2). Is 11 a factor of x(p)?
False
Suppose 17*n = -18*n + 16940. Does 44 divide n?
True
Let j(v) = -1. Let s(i) = -i**2 + 4*i - 4. Let q be s(3). Let y(h) = h**3 + 5*h**2 - 4*h + 6. Let a(c) = q*y(c) - 6*j(c). Is a(-6) a multiple of 6?
True
Let b be 3 + (0 + 2)/(-1) - -4. Suppose b*k = -2*u + 144, 204 = 4*k - u + 81. Is 5 a factor of k?
True
Let z(t) = t**3 - 9*t**2 + 8*t + 5. Let w be z(8). Suppose 2*m = 4*j - 64, -w*j = -2*m + 20 - 89. Let c = -6 - m. Does 8 divide c?
True
Suppose 5 = 3*p + 4*a + 16, 4*p + 8 = -2*a. Let v be (p - (-4)/2)*-1. Let l = 2 - v. Is l even?
False
Let i = 4 + 10. Let z be 4/i - (-160)/28. Suppose -2*j = 2 - z. Is j a multiple of 2?
True
Let t = -5 + 9. Suppose 13 + 24 = y - t*x, 0 = -x - 5. Does 17 divide y?
True
Let b = 41 - 39. Suppose 0 = b*z + 2*z - 88. Suppose -z - 167 = -3*r. Does 11 divide r?
False
Suppose -2*z + 2*l + 1806 = 0, 5*z = 2*l + 1048 + 3464. Does 42 divide z?
False
Suppose -33 = 2*z - 3*x, 0 = 5*x - 2*x + 15. Let m be (-2)/4 + (-324)/z. Let h = m + 5. Is 6 a factor of h?
True
Let l(v) = v**3 + 2*v**2 + 4*v + 2. Does 4 divide l(6)?
False
Suppose -28*t + 37829 - 4845 = 0. Is 3 a factor of t?
False
Let k = 15 - -51. Suppose z - k = 3*s - 14, 3*z - 169 = -4*s. Is z a multiple of 55?
True
Let x(f) = 7*f**2 + 3*f. Let b(c) = 2*c**2 - 3. Let u be b(-2). Suppose -u*k = 3*r, -4*r + 7 = k - 2*r. Does 15 divide x(k)?
False
Let u(j) = 4*j**3 + 3*j**2 - j + 1. Let p be u(-2). Let g = 104 + p. Is g a multiple of 10?
False
Suppose 10 = -5*r - 10. Let f = r + 162. Suppose o - f = -4*o - 4*u, -4*u = -3*o + 82. Is 22 a factor of o?
False
Let o be -3 + 6 + (-5)/1. Let z be -86*1/o - 3. Suppose -3*v = -z - 41. Does 27 divide v?
True
Suppose -4*j + 4056 = 4*o - 8540, 6300 = 2*o + 4*j. Is 17 a factor of o?
False
Let r = 105 - -31. Is r a multiple of 42?
False
Suppose 4*m - 7544 = -2*r, 4768 + 2784 = 2*r + 2*m. Is 21 a factor of r?
True
Let x(g) = 2*g - 6. Let v(y) = -y**2 - 12*y + 18. Let k(i) = -15*i**2 - 2*i. Let r be k(-1). Let d be v(r). Is x(d) a multiple of 3?
False
Let v(i) = 42*i + 13*i - 3 + 41*i + 3*i. Is 15 a factor of v(1)?
False
Let i = 4 - 4. Suppose 0 = -4*y - i*y + 252. Let p = -45 + y. Does 18 divide p?
True
Suppose 638 = 8*a - 2762. Suppose 0 = -5*c - 10, -q = -4*q - 2*c + a. Does 11 divide q?
True
Suppose -5*g - 5*l + 97 = -2*g, -4*l = -4*g + 108. Is g a multiple of 3?
False
Suppose -13*v = -296 - 640. Does 14 divide v?
False
Suppose -5*u = o - 6251, -2*o - 7824 + 1561 = -5*u. Is u a multiple of 27?
False
Let n = -4 - -10. Let d(u) = -8*u + 4. Let l(y) = 24*y - 11. Let o(a) = 11*d(a) + 4*l(a). Does 12 divide o(n)?
True
Is -5 - (44 + -6)*-48 a multiple of 17?
True
Let x(p) = p**3 - 3*p**2 + 3. Let c be x(3). Suppose 0 = 5*w - 2*v - 2*v + 92, 2*v = -3*w - 42. Let b = c - w. Is b a multiple of 11?
False
Let d(o) = o**3 + 9*o**2 + o - 9. Let h be d(-7). Suppose l - v = 23, 2*l + v - h = -2*l. Is 24 a factor of 1014/l + (-10)/35?
True
Suppose -56 = n - 193. Let w be -1 + 3 + (0 - -1) + 20. Let d = n - w. Is d a multiple of 19?
True
Does 9 divide ((-2900)/10 + -8)/(-2)?
False
Let g be (-13)/(2 - (-19)/(-9)). Let q = g - -34. Does 18 divide q?
False
Let g(z) = z**3 + 16*z**2 + 12*z - 17. Let y be g(-15). Suppose i = -s + y, -3*s - 3*i = 2*s - 148. Does 10 divide s?
False
Let n(k) = 0 - k + 4 + 2 + 3*k. Let d be n(9). Suppose -2*s + d = -4*t + 8, 3 = 3*t. Is 5 a factor of s?
True
Let q(i) = 4*i**2 - 3*i - 13. Is 3 a factor of q(8)?
True
Suppose -43*t = -111*t + 3536. Does 2 divide t?
True
Let p(r) = -7*r - 44. Is p(-17) a multiple of 25?
True
Let r(q) = 0 + 3*q + 2*q + 9 - 4*q. Let v be r(8). Suppose -7 = -3*i + v. Is i a multiple of 4?
True
Suppose 8 + 31 = -3*a. Let h(y) = -12*y - 9. Is h(a) a multiple of 11?
False
Let y(s) = s**2 - 8*s - 1. Suppose 9*q = 13*q + 24. Is 44 a factor of y(q)?
False
Let h(w) = w + 17. Let i be h(-14). Suppose 0 = i*x - 109 + 31. Does 15 divide x?
False
Let l be (-4)/10 - (-132)/30. Let y be 0*(0 - -2 - 1). Suppose -l*w + 8 = y, -6*f - 2*w + 106 = -3*f. Does 10 divide f?
False
Let f = 135 - 79. Let g = -29 + f. Does 18 divide g?
False
Let m(d) = -29 - d - 8*d - 8*d + 30. Is 6 a factor of m(-1)?
True
Suppose 0*i + 12 = -3*i. Is 160/(-15)*18/i a multiple of 8?
True
Let d = 247 + 233. Does 8 divide d?
True
Let a = -279 + 181. Is 3 - (a - (2 + 1)) a multiple of 16?
False
Let i be -997*(24/(-15) + 3/5). Suppose -5*c + 1005 = 5*b, 3*b + i = c + 4*c. Is 50 a factor of c?
True
Suppose 0 = 9*n - 10*n - 31. Let d = -28 - n. Is d even?
False
Let h be (20/6)/((-5)/15). Let a(i) = i**2 + 6*i + 4.