s 41 divide (4 + (-1491)/(-9))*3?
False
Suppose 5*g - 3*z - 50 = 0, -7*g - 5*z = -3*g - 77. Suppose 0 = -g*x + 16*x - 105. Is x a multiple of 8?
False
Let h = 20 + -20. Suppose h = 5*x + 4*v - 1402, 290 = x + 3*v - 7*v. Suppose 0 = 2*k + 4*k - x. Does 19 divide k?
False
Let l(p) = 4*p + 24. Is l(12) a multiple of 9?
True
Let x be (-2)/(-4)*2 - -18. Suppose 2*h = 35 + x. Does 23 divide h?
False
Let y(b) = b**3 - 5*b**2 + 7*b + 3. Let t be y(4). Let p = 73 - t. Does 29 divide p?
True
Is (0 + 107)*(-5 - -4)*-1 a multiple of 4?
False
Suppose 0 = -i - 3*f - f + 13, 3*i = -3*f + 57. Suppose -19 = 2*n - i. Is 12 a factor of 24/((-4)/n - -5)?
True
Let k(y) = -y**2 + 2*y - 18. Let z be k(0). Is 25 a factor of ((-912)/z)/(6/9)?
False
Let h = 24 - 27. Let l(k) = -k - 13. Let t be l(-8). Is 2 a factor of t*1/3*h?
False
Let q(b) = 21*b + 7. Let h be q(7). Let x be -1*(-206)/((-24)/4 - -4). Let m = x + h. Is m a multiple of 9?
False
Suppose r = -y - 25, 4*r + 0*r + 100 = -y. Let v be 12/(-10)*r/10. Suppose 3*o = 3*h - 165, 5*o = 2*h - v*h + 25. Is h a multiple of 29?
False
Suppose -39*q - 1440 = -43*q. Does 72 divide q?
True
Let p = 23 + -3. Suppose j - 23 = 2*k - 5*k, 5*k - p = 2*j. Is k a multiple of 3?
True
Let p be 351/12 - 3/(-4). Let u be (7/(21/p))/2. Suppose -3*x - 5*z = -52, u*z + 36 = 2*x - 32. Is 24 a factor of x?
True
Let v(f) = -2*f**2 + 5*f - 17. Let j(q) = 3*q**2 - 4*q + 16. Let b(i) = 6*j(i) + 5*v(i). Does 20 divide b(-3)?
True
Does 35 divide (-19 + 11 - -9)*455?
True
Suppose -5*o - 260 = -845. Suppose 8*p = -p + o. Does 13 divide p?
True
Suppose 3*q - 6 = q. Suppose 8 = c - 2*r - 0*r, -5 = 2*c + q*r. Does 8 divide 3*(c - 88/(-12))?
False
Is (84 - -4) + -2 - -4 a multiple of 15?
True
Let v = -1721 - -2344. Does 11 divide v?
False
Let h(i) = -3*i - 11. Let p be h(-5). Suppose p*z - 10 = 2*z. Suppose 2*o - z*o = -90. Does 12 divide o?
False
Suppose -843 + 6521 = 5*a - 2*p, -3*a - 5*p + 3382 = 0. Is 9 a factor of a?
True
Suppose -3*w = -150 + 810. Let f = -144 - w. Is 16 a factor of f?
False
Let p(z) = -14*z - 36. Let b be p(-19). Suppose 0 = 143*m - 148*m + b. Is 23 a factor of m?
True
Let b(u) = u**3 + 7*u**2 + 3*u + 4. Let t = 3 - 10. Let q be b(t). Let n = -11 - q. Is n a multiple of 5?
False
Suppose -718 = o - 3*o. Does 11 divide o?
False
Let x(j) = -j**2 - 3*j + 3. Let p(z) = -z**2 - 3*z + 3. Let a(q) = 4*p(q) - 5*x(q). Does 12 divide a(-8)?
False
Let h be 21/(4/((-24)/(-9))). Does 5 divide 8 + -8 + h/2?
False
Let n(v) be the second derivative of v**3/6 + 4*v**2 - 5*v. Let m be n(-4). Suppose -s - s = w - 23, -m*s = -4*w + 56. Is 10 a factor of w?
False
Let z(a) = 3*a**2 + 3*a + 3. Let t be z(7). Let j(v) = -v**3 + 7*v**2 - 4*v + 10. Let r be j(7). Does 22 divide (-38)/t - 526/r?
False
Suppose -23*j + 25*j = 1032. Does 23 divide j?
False
Suppose -2*h + h + 110 = 0. Let i = -12 - -16. Suppose -i*z + h = z. Does 6 divide z?
False
Let q(m) = 2*m**3 - 9*m**2 - 6*m + 36. Does 28 divide q(8)?
False
Suppose 3*b + 1113 = 3*y, -2*y + 7*y - b - 1867 = 0. Is y a multiple of 7?
False
Suppose u - z - 14 = 4*u, -2*u = 2*z + 4. Let t be (-6)/(-2 + (-3)/u). Suppose 4*g + 4*j = 216, t*g + 5*j - 206 = 6*j. Is g a multiple of 15?
False
Let x = -618 - -1060. Is x a multiple of 11?
False
Let i = 18 + -17. Let b(l) = 39*l**2 + 15. Let v(w) = -w**2 + 1. Let s(y) = i*b(y) - 15*v(y). Is 18 a factor of s(-1)?
True
Let k(b) be the second derivative of -4*b + 0 + 5*b**2 + 5/2*b**3 - 1/12*b**4. Does 20 divide k(7)?
False
Let v(a) = 60*a**2 + 27*a + 3. Is v(-3) a multiple of 8?
False
Let c = 8196 - 5718. Is 21 a factor of c?
True
Let k(b) = -b**2 - 8*b + 5. Let g be k(0). Suppose 0 = -g*i + 4*s + 192, 8*i + 4*s = 3*i + 208. Is i a multiple of 10?
True
Let f = 123 + -66. Suppose -b + f = 5*l, 4*b + 0*b + 3 = l. Is l a multiple of 4?
False
Suppose 4*z + 4*f = 8704, z - 443 - 1718 = 2*f. Is 13 a factor of z?
True
Let t(b) be the first derivative of -b**6/360 - 13*b**5/120 + b**4/6 - b**3 + 7. Let j(o) be the third derivative of t(o). Does 6 divide j(-12)?
False
Let h(s) = 21 - s**3 - 15 + 5*s**2 + 13*s**2 - 21 + 10*s. Does 15 divide h(18)?
True
Let f(k) = k**3 + 6*k**2 - 27*k + 2. Let u be f(-9). Suppose j + 42 = g, -j + u - 4 = 0. Is g a multiple of 21?
False
Suppose 2*l = 9*l + 84. Let v = l - -16. Is v a multiple of 2?
True
Let o(j) = j**2 + j + 5. Let x be o(0). Suppose -q + 0*q + 112 = x*s, -3*q = 2*s - 336. Does 56 divide q?
True
Let p(r) = -31*r**3 - 7*r**2 - 43*r - 15. Is p(-5) a multiple of 156?
True
Does 47 divide 1131*1 + (-7 + 15)/(-4)?
False
Let l(z) = -z**2 + 3. Let g be l(0). Suppose k - g*u + 2*u = 9, 4*k - 5*u - 41 = 0. Suppose 0 = m + k*m - 345. Is m a multiple of 25?
False
Does 140 divide ((159813/(-18))/(-9))/((-2)/(-4))?
False
Let z(v) = -v**3 - 7*v**2 + 11*v + 8. Let f be z(-8). Let s be 20/7*(-280)/f. Suppose s + 10 = 5*d. Is d a multiple of 7?
False
Let m(s) be the first derivative of 2 + 2*s - 37/2*s**2. Does 19 divide m(-1)?
False
Is 10 a factor of (87402/45)/2 - (-92)/(-690)?
False
Suppose -7*c + 4*c + 4470 = 3*h, 2*h - 5970 = -4*c. Is 13 a factor of c?
True
Suppose 0 = 3*z - 0*z + 5*o + 7, -4*o = 20. Suppose -126 = -z*x - 0*x. Is 2 a factor of ((-9)/6)/(x/(-98))?
False
Is 2600 + -1 + 1 + 236/59 a multiple of 14?
True
Suppose -2*j + 3*j = 2*j. Let f be ((-1)/2)/((-1)/8). Suppose j = -f*o - 2*u + 108, -40 - 1 = -o + 3*u. Is 9 a factor of o?
False
Let b be (-2)/(-12) + (-6881)/(-42). Let w = 296 - b. Suppose 75 = 4*d - f - 183, 2*f + w = 2*d. Is 14 a factor of d?
False
Let l be (-194)/(-4) - (-13)/26. Let q(u) = 4*u - 6. Let a be q(-5). Let f = a + l. Does 23 divide f?
True
Let f be (20/(-3))/(2/33). Let w = -56 - f. Let t = -3 + w. Is t a multiple of 17?
True
Let w(k) be the first derivative of 10*k**3/3 - k**2 + k + 9. Is 36 a factor of w(2)?
False
Suppose -7 = 4*c + 5*y + 3, 0 = 3*c + y + 2. Suppose c = -f - 0*f + 21. Does 7 divide f?
True
Suppose -2380 + 200 = -10*h. Does 39 divide h?
False
Let w = 5162 - 3083. Does 11 divide w?
True
Suppose 3*l = -2*j + 4*j - 35, 0 = -3*j - 2*l + 72. Suppose 5*t - s - j = -3*s, 8 = -2*s. Suppose t = v + v, v = -4*p + 107. Is p a multiple of 13?
True
Suppose 13485 = -29*q + 35757. Is q a multiple of 62?
False
Suppose -2*n + 4*m = -146, 241 + 11 = 4*n + 2*m. Suppose n = 4*x - 67. Let k = x + -25. Is 3 a factor of k?
False
Let x be ((-6)/(-5))/(24/80). Suppose 0 = -7*b + 8*b - x. Suppose -5*r = -5*t - 33 - 42, 0 = 2*r - b*t - 36. Is 12 a factor of r?
True
Suppose -4*v = -v - 6. Suppose v*w = 8 + 18. Let t = w + -1. Does 7 divide t?
False
Let h(g) = 2*g**2 + 2*g + 6. Let u be h(-7). Let s be -2*87/(-4)*4/3. Let r = u - s. Is r a multiple of 8?
True
Suppose 0 = -4*b - 4 + 12. Suppose -b*p + 54 = p. Let a = p + 15. Is 7 a factor of a?
False
Suppose -18*a = -14*a - 16. Let g = -122 + 236. Is 9 a factor of 15*(g/15 - a)?
True
Suppose 29*v - 39*v + 1840 = 0. Is v a multiple of 7?
False
Is 768/56*(-2 + 310)/2 a multiple of 8?
True
Suppose 0 = j + 5*c - 283, 0 = -3*j + 3*c - 0*c + 939. Suppose 5*z = 1053 - j. Does 32 divide z?
False
Let w(n) = 31*n - 40. Does 10 divide w(5)?
False
Let c = 5 + 4. Suppose -h = 2*f - 7, -4*h + 18 = -2*h + 3*f. Suppose -8*y + c*y = h. Is 10 a factor of y?
False
Let s(y) = -y**2 - 2*y - 6. Let r be s(-5). Is (-1 + -3)/4*r a multiple of 4?
False
Let x be 1/5 + 745/25. Let i be x/(-1)*18/15. Is i*(-2)/(1/1) a multiple of 18?
True
Let f = 61 + 231. Let t = f - 137. Is 21 a factor of t?
False
Let g(p) be the third derivative of -11*p**6/60 + p**5/60 + p**4/8 + p**3/3 + 13*p**2. Does 4 divide g(-1)?
False
Let a(s) = 151*s - 2. Is a(17) a multiple of 57?
True
Let b(p) = -5*p - 31. Let t be b(6). Let i(s) = -s**3 - 8*s**2 + 6*s + 4. Let w be i(-7). Let k = t - w. Is k a multiple of 5?
False
Let b(y) = 220*y - 45. Is 15 a factor of b(6)?
True
Let d(f) = -f**2 - 9. Let h be d(0). Let a = -7 - h. Suppose -4*o = 5*b - 256, -a*o - 96 = -b - 238. Does 19 divide o?
False
Let k = -17 + 20. Suppose 2*j - 238 = -3*m - 56, 4*j - k*m - 346 = 0. Does 18 divide j?
False
Let b(d) = -45*d - 14. Let r(j) = -3*j + 21. Let o be r(9). Is 16 a factor of b(o)?
True
Let p = -30 + 52. Suppose 4*q = 16, 2*t + 4*q - p = -0*q. Does 2 divide t?
False
Suppose 0 = -5*h + 4*n + 838, -153 - 181 = -2*h + 2*n. Let c = -248 + 