divide -5*(o/(-15) + -1)?
False
Let k = -102 + 201. Is k a multiple of 24?
False
Suppose 4*d - 87 = 33. Is 10 a factor of d?
True
Let a = 12 - 26. Does 17 divide (-4)/a - (-710)/14?
True
Is (46/6)/(1/3) a multiple of 5?
False
Suppose -761 + 157 = -4*j. Let w = j - 88. Is 21 a factor of w?
True
Suppose -z = 6*z - 126. Is 18 a factor of z?
True
Suppose -5*j = -3*o + 5 + 9, -14 = 4*j - o. Let w = 4 + j. Suppose -11 + w = -h. Is h a multiple of 11?
True
Let d(r) = 2*r**2 - 3*r + 3. Let t be d(2). Let b be (-3)/t - 115/(-25). Suppose -4*h + 222 = b*x + 78, 3*x - 4*h = 136. Is x a multiple of 20?
True
Let l = 99 + -47. Is l a multiple of 26?
True
Let w = -10 - -9. Let c = w - -3. Is c a multiple of 2?
True
Suppose 3*r = -5*q + 418, -2*r = 2*q - 3*r - 176. Suppose u - q = -u. Does 19 divide u?
False
Let a(n) = -n**2 - 6*n + 2. Let d be a(-6). Suppose 2*f - 1 = 21. Let x = f + d. Does 9 divide x?
False
Let s be (8/2)/((-4)/6). Let l be (-9)/5 - s/(-30). Is 7 a factor of 8 - l - (-3)/3?
False
Suppose 5*s + 320 = 5*g, -3*g + 141 = 5*s - 51. Let q(r) = r**3 + 6*r**2 + 7*r - 2. Let d be q(-6). Let a = d + g. Is 20 a factor of a?
True
Let p(s) = -13*s**2 + 27*s + 61. Let l(o) = 3*o**2 - 7*o - 15. Let t(k) = 9*l(k) + 2*p(k). Let b be t(10). Is 4 a factor of (0/b + -1)*-10?
False
Let i(z) = 2*z - 12. Let f be i(8). Suppose f*j = 9*j - 415. Does 22 divide j?
False
Let c = -73 - -116. Is c a multiple of 5?
False
Suppose -2*c + 248 = 4*q, 3*q + q = -3*c + 252. Does 12 divide q?
True
Let b(d) = 0*d - d**3 - 5*d**2 + 3 - 4*d + 0. Let m be b(-4). Suppose 15 = 3*t - 3*h, m*t + 2*t + 5*h = 55. Is t a multiple of 8?
True
Is (29/1 + 1)/((-48)/(-128)) a multiple of 20?
True
Suppose 4*p + 12 = 0, -3*p - 3 - 26 = -c. Does 7 divide 144/c + (-3)/15?
True
Suppose -3*c + 0*c = 0. Suppose -5 - 13 = -2*b - 3*u, b + u - 10 = c. Is b a multiple of 12?
True
Let l(f) = -5*f**2 + 22*f - 19. Let j(o) = -3*o**2 + 15*o - 13. Let w(r) = 8*j(r) - 5*l(r). Let v be w(-10). Does 7 divide (-6)/v - 28/(-3)?
False
Suppose 10*p - 487 = 5*p + 3*i, 182 = 2*p + 2*i. Is p a multiple of 19?
True
Is (-42)/(3 - 0)*(-225)/30 a multiple of 21?
True
Let r(o) = 6*o + 62. Does 49 divide r(20)?
False
Suppose 156 + 2 = 2*y. Suppose 3*u = -4*r + y, -5*u + 2*r + 145 = 6*r. Suppose g = -2*g + u. Does 5 divide g?
False
Let w = 171 + -87. Is 28 a factor of w?
True
Suppose -2*p + 5*r - 21 = -6, -45 = 2*p + 5*r. Is 10 a factor of p/2*(-4)/3?
True
Let p = 23 + -5. Is 18 a factor of p?
True
Let h(j) = -5*j + 10. Let r be h(-9). Is 18 a factor of (2*-2)/((-5)/r)?
False
Let j(h) = 2*h**2 - 8*h + 4. Let q be j(6). Suppose 0 = -u - 3*o + 30, -5*o - q = -2*u - 1. Let k = -3 + u. Is 12 a factor of k?
False
Is 10 a factor of (-868)/(-20) + 9/15?
False
Let f be 39/15 + (-2)/(-5). Let h(z) = -1 - 7*z + 8*z**2 - z**3 + f + 4. Is 6 a factor of h(7)?
True
Let j(q) be the first derivative of 9*q**2/2 + 2*q - 3. Does 18 divide j(3)?
False
Suppose -19 = -4*o - v, 5*o + 2*v - 4 = 22. Is o a multiple of 4?
True
Suppose s - 1878 = 4*j + j, 3*s = 4*j + 1498. Does 13 divide (0 - -1)/((-8)/j)?
False
Let h be 0 - -2 - 0/7. Let u be 10*(1 + h)/6. Suppose 2*j = d - 9, u*j + 39 = 4*d - 9. Does 17 divide d?
True
Suppose 0 = -y - 81 - 53. Let r = y + 194. Does 5 divide (2/4)/(3/r)?
True
Let a = 18 - 13. Suppose -4*f + 2*f + a*x = -32, 0 = -f + 4*x + 22. Is 6 a factor of f?
True
Does 19 divide 5448/9*(-18)/(-24)?
False
Let g be 2/(-5) + (-144)/(-60). Suppose -4*r = -a - 3*a + 252, -108 = -g*a - 4*r. Is a a multiple of 15?
True
Let f = -11 - -22. Let a be (0 + -3)/((-1)/1). Let u = a + f. Is u a multiple of 8?
False
Suppose 4*x + 4*h - 13 + 1 = 0, 0 = -4*x + 2*h + 42. Is x a multiple of 4?
True
Let n(u) = -u + 1. Let v be n(8). Let a(l) = 2*l**2 + 9*l - 8. Is 9 a factor of a(v)?
True
Suppose 10 = y - 4. Does 14 divide y?
True
Does 11 divide ((-28)/8 + 3)*-110?
True
Let u(l) = -l**2 + 5*l + 6. Let v be u(6). Suppose v*d + 25 = 5*d. Suppose 3*j + m - 10 + 1 = 0, -d*j = 4*m - 15. Does 3 divide j?
True
Suppose -2*p = -4*o + 90, -2*p = -3*p + 3. Is o a multiple of 8?
True
Let s(p) = -2*p + 9. Let d be s(7). Let j = 16 + d. Is 4 a factor of j?
False
Let x(c) = 11*c - 8. Let s be x(8). Suppose -3*v + s = -28. Does 18 divide v?
True
Let a(d) = -d**2 + 6*d - 9. Let b be a(7). Let m = 4 - b. Does 10 divide m?
True
Let j(n) = n + 4. Let r be j(-6). Does 3 divide r/(-5) + 26/10?
True
Let q = 22 + -15. Let b = q + -2. Is 3 a factor of b?
False
Suppose -4*r + 722 + 142 = 0. Is 25 a factor of r?
False
Let q(x) = x**2 + 4*x + 45. Is 3 a factor of q(0)?
True
Suppose x = 2*x - v - 174, 0 = 2*x + 3*v - 323. Is 15 a factor of x?
False
Suppose 5*j = -5*s + 745, 4*s + 2*j + 0*j = 590. Is 15 a factor of s?
False
Suppose 0 = v - 26 - 27. Is 13 a factor of v?
False
Let u(q) = 4 - 5*q + 18*q - 5. Suppose -4*f - 2 = 3*z, 2*z + 9 = 3*f + 2*f. Is 6 a factor of u(f)?
True
Let r(i) = 27*i**2 - 5*i - 6. Is r(-3) a multiple of 42?
True
Let x(u) = -u**3 - 2*u**2 + 5*u + 5. Let s(f) = f**2 + 9*f + 10. Let k be s(-7). Is 10 a factor of x(k)?
False
Let b(u) = -u**3 + 7*u**2 - 8*u + 5. Let v be b(5). Suppose 0 = -0*k + 3*k - v. Is k a multiple of 2?
False
Suppose -n + 105 = 2*v, -4*n + 440 = -0*n + 4*v. Is n a multiple of 18?
False
Let k be 3/(1/((-1)/(-3))). Let b be 1/((-2)/12*k). Is 5 a factor of b/(-27) + 86/18?
True
Let s(r) = -2*r**2 - 29*r + 15. Is s(-12) a multiple of 8?
False
Let m be (-2)/(-7) + 267/21. Suppose -c - m = -2*j - 4, 2*c = -2*j - 6. Suppose -13 - 19 = -j*w. Does 15 divide w?
False
Let h = -137 + 88. Let f = 8 - h. Is f a multiple of 17?
False
Let x = -85 + 162. Does 11 divide x?
True
Suppose 3*a - 2*b = -3*b - 1, -4*b = -2*a + 18. Suppose c - 5 = -a. Is 3 a factor of c?
False
Let v be (-22)/33 - (-410)/3. Suppose 2*b - 42 = 4*t + 30, -v = -5*b - t. Does 20 divide b?
False
Let j(u) = 24*u**3 + u**2 - u + 1. Let q be j(1). Suppose r + 1 = q. Is 11 a factor of r?
False
Suppose 4*f + i = -18, 0*f = -4*f + 5*i - 6. Is ((-2)/f)/((-17)/(-2414)) a multiple of 24?
False
Suppose -20 - 8 = -z. Does 16 divide z?
False
Let w(p) = -13*p + 3. Let v be w(3). Let f = -56 - v. Let z = 34 + f. Is z a multiple of 14?
True
Let g = -199 + 280. Does 9 divide g?
True
Suppose 3*f = -5*d + 50, -2*f + 2*d - 4*d = -28. Suppose 0*i + 54 = 3*i. Let x = i + f. Does 14 divide x?
True
Let i(p) be the first derivative of 3/2*p**2 - 4*p - 1 + 2/3*p**3. Is i(-4) a multiple of 8?
True
Let o(h) = 22*h - 37. Is 17 a factor of o(7)?
False
Let x = 7 - 5. Let n(q) = 2*q**3 - q**2 + q + 1. Let s be n(x). Suppose u + 2 = s. Does 13 divide u?
True
Let z be ((-2)/4)/((-2)/4). Suppose 4*d = -4*o - 28, 3*o - 15 = 4*d - z. Let g(r) = -2*r - 3. Does 5 divide g(d)?
False
Does 22 divide 199/9 - 9/81?
True
Let i be 24/14*(-42)/(-12). Let y = i - 0. Is 126/4 - 3/y a multiple of 10?
False
Suppose 111 = 4*n - 273. Suppose 0 = 6*g - 2*g - n. Is g a multiple of 14?
False
Let t(d) = -2*d**2 + 2*d - 1. Let y be t(2). Let o = y + 17. Is 5 a factor of o?
False
Suppose 0*w + w = 2*g + 64, 0 = 3*w - 5*g - 196. Is 8 a factor of w?
True
Suppose -3 + 7 = g. Is g a multiple of 4?
True
Let q(a) = 2*a - 2. Does 5 divide q(6)?
True
Let i be (2 - 0)/(0 - -1). Suppose -i*d = -3*d. Suppose 4*x - 12 = 0, -r - 4*x + 6*x + 46 = d. Is 22 a factor of r?
False
Let c = -4 + 22. Let r = c + -11. Does 7 divide r?
True
Let t = 27 - 24. Is 3 a factor of t?
True
Let q = -18 + 10. Let j be (-1)/(-3) - 82/(-6). Is 8 a factor of q/(-28) + 192/j?
False
Let y = 7 + -13. Let x(k) = k**3 + 7*k**2 - 9*k - 7. Is x(y) a multiple of 25?
False
Let t = 151 - 64. Let h = -62 + t. Is h a multiple of 25?
True
Is (-20)/25*(2 - 7) a multiple of 3?
False
Let s be (-1*6 - -2) + 3. Let y = s - 2. Let u = y + 6. Is u a multiple of 3?
True
Let v(y) = -5*y - 5. Let z(x) = 14*x + 15. Let q(n) = 11*v(n) + 4*z(n). Is q(6) a multiple of 3?
False
Suppose 0 = 3*p - 2*p - 7. Suppose -9*u + p*u = -102. Is u a multiple of 17?
True
Suppose -5*k - v + 17 = 0, -3*k + 2*v = -3 - 2. Suppose -k*o = -4*o. Let s(c) = -c**3 - c**2 + c + 34. Does 15 divide s(o)?
False
Let z be (-2 + 1)*(1 + -15). Suppose 3*x + 4*g = -z, 4*x - 2*g - 7 = 11. Does 2 divide x?
True
Let b(a) = -3*a + 5. Is b(-9) a multiple of 11?
False
Suppose 2*d = 103 - 7. Suppose 3*v + n - d = 0, 4*v + 0*v = -3*n + 