?
False
Suppose -11*v + 192 = -6*v - 2*n, -v - n = -44. Is v a multiple of 21?
False
Let j be 1/(2*1/(-108)) - -1. Let m = 96 + j. Is 5 a factor of m?
False
Suppose 2*o - 28 = -12. Let b(s) = s - 5*s - 8*s**2 + s**3 - 11 + s**2. Does 12 divide b(o)?
False
Does 28 divide 12/78 + 17540/65?
False
Is 23 a factor of (51/(-5 - -8))/(1/3)?
False
Let b(q) = -26*q + 6. Is b(-5) a multiple of 17?
True
Let q be (3/(-6))/(1/(-36)). Let a be (q + -8)/(2*-1). Let f(k) = -k**2 - 6*k + 5. Is f(a) a multiple of 5?
True
Suppose -2*n - 292 = -2*d + 3*n, 4*d - 584 = -2*n. Suppose d - 21 = 5*g. Is g a multiple of 25?
True
Let d = -113 - -117. Suppose 2*a + 4*w - 94 = 14, w = -d*a + 188. Is a a multiple of 9?
False
Does 58 divide (-18)/20 + 1 - 1039232/(-1280)?
True
Let a(p) be the second derivative of -p**3/6 + 11*p**2/2 - 9*p. Does 9 divide a(-9)?
False
Suppose 89*m + 9 = 90*m. Does 12 divide 2162/m + 8/(-36)?
True
Let k = -88 + 83. Is 19/(-1*k/15) a multiple of 57?
True
Let h(y) be the second derivative of y**4/12 + 3*y**3/2 + 5*y**2 - 3*y. Let s be h(-8). Suppose 4*p - s*x = 10 + 36, x = -2*p + 17. Is p a multiple of 3?
False
Suppose 5*l = -3*r + 300 + 45, -4*r = 4*l - 268. Suppose -276 = -4*b + l. Is b a multiple of 14?
False
Let m(n) be the third derivative of n**5/30 + n**4/8 - n**3/3 - 2*n**2. Is 6 a factor of m(2)?
True
Does 10 divide (802/(-40))/(30/120)*-5?
False
Let u(w) = 4*w**2 - w - 40. Is 8 a factor of u(8)?
True
Suppose 2*r + 579 = 3*j, -r + 198 = 33*j - 32*j. Is j a multiple of 5?
True
Let t(g) = -16*g + 120 + 3*g**2 - 109 + 2*g**2. Does 7 divide t(6)?
False
Suppose -3*w + 589 = -5*r, -2*w - 1 - 3 = 0. Let s = 130 + r. Is 9 a factor of s?
False
Let v(x) = 9*x - 6. Let u be 1*5/1*1. Does 11 divide v(u)?
False
Does 9 divide 23 + (0 - -3) + (0 - -1)?
True
Let z(u) = u**2 - u - 3. Let x(j) = j**3 + 2*j**2 - 2*j + 3. Let p be x(-3). Let h be z(p). Is 4 a factor of h/9*3 - -11?
False
Let q be 6/4 + (-3)/6. Let n be 18*(-1)/(0 + q). Let g = n - -36. Does 9 divide g?
True
Let x = -3 - -3. Suppose -u + 3 - 1 = x. Suppose 0 = u*g + 4*g - 456. Is g a multiple of 19?
True
Suppose 2*g + 168 = 3*l, g = 4*g + 4*l + 235. Let b = -75 - g. Is b even?
True
Suppose 710 = -2*g + 4*g. Suppose -y + 67 = -x, 4*x = -5*y + 5*x + g. Is 24 a factor of y?
True
Let r = 1459 - 716. Is 40 a factor of r?
False
Let r(i) = -4*i + 14*i + 10*i. Let u be r(2). Suppose -g = -14 - u. Is g a multiple of 18?
True
Suppose 12*z - 973 = 899. Is z a multiple of 34?
False
Let d(v) = 2*v - 43. Let h be d(20). Is 8 a factor of 1075/15 + h/(-9)?
True
Suppose 10*p + 4*h = 15*p - 7687, h + 7693 = 5*p. Does 18 divide p?
False
Suppose -4*n = 2*y - 22, n = 4*y - 2*n - 99. Let j = 13 - y. Is 27 a factor of (5 + j)/((-1)/9)?
True
Let m(g) = -g**2 + 5*g - 2. Let k be m(4). Suppose -k*j + 15 = -3. Suppose -j*d + 60 = -30. Is 2 a factor of d?
True
Let j = -389 + 978. Does 43 divide j?
False
Suppose 151*y - 154*y + 417 = 0. Is y a multiple of 13?
False
Let m be (-67)/2*-2 + -2. Suppose 0 = 2*b, -26 + 2 = -4*l - 5*b. Suppose 0 = -l*a + 25 + m. Does 15 divide a?
True
Let k be 2*4/(8/(-63)). Let f = 10 - 39. Let a = f - k. Does 22 divide a?
False
Let n(d) = -d**3 + d**2 - 2*d. Let z be n(1). Let r(j) = 11*j**2 + 2*j - 1. Is r(z) a multiple of 6?
False
Let r(m) = 8*m**2 - 13*m + 5. Suppose -29*n + 12 = -33*n. Is r(n) a multiple of 5?
False
Let i = 8 - 6. Let u be (-5735)/(-1085) + 0 + 2/(-7). Suppose -g + i + u = 0. Does 3 divide g?
False
Let j(p) = 7*p**2 + 6*p + 5. Let l be j(-1). Suppose 0*f - 12 = -l*f. Is f even?
True
Suppose 0 = -d - 2*y - 170 + 598, -y = d - 430. Does 36 divide d?
True
Suppose 0 = -5*m + 3*y + 682 + 63, -3*m + 5*y + 463 = 0. Is m a multiple of 20?
False
Let t(f) = -3*f**3 + 3*f**2 + 4*f. Let z(r) = 2*r**3 - 3*r**2 - 3*r. Let c(b) = 6*t(b) + 7*z(b). Is 24 a factor of c(-3)?
True
Suppose -13 = 5*o - 3. Let g be 1 + o + -3 + 8. Suppose 2*i = -g*i + 48. Is i a multiple of 8?
True
Suppose 0 = -3*c + 5*w + 339, -29*w + 32*w = -3*c + 315. Does 8 divide c?
False
Let o(s) = s**2 - 4*s - 11. Let z be (-30)/(-50) - (-32)/5. Is o(z) a multiple of 10?
True
Let s(f) = f + 15. Let x be s(-10). Suppose -x*p - q + 1857 = 0, -2*p + 295 + 452 = -q. Suppose 5*b = 0, 4*g - 4*b - p = -9*b. Is 31 a factor of g?
True
Suppose -u + 2*u = -2*c + 2, u + 3*c = 3. Suppose 7*q - 770 - 126 = u. Is 26 a factor of q?
False
Let b(x) = 11*x - 22*x + 13*x + 11. Let l be b(10). Suppose 3*f + l = 121. Is f a multiple of 12?
False
Suppose -28*n - 9828 = -42*n. Does 54 divide n?
True
Let a be 4 - 198/((-3)/3). Suppose 6*v - a = 4*v. Is 28 a factor of v?
False
Let r = 1510 - 593. Does 65 divide r?
False
Suppose 2*s + 4*c = -13484, 0 = 4*s - 8*s + 2*c - 26948. Is 39 a factor of 4/40 - s/20?
False
Let x(a) = a**3 - 6*a**2 - 2*a - 4. Let y(c) be the first derivative of c**3 - c**2/2 + 7*c + 11. Let i be y(0). Does 9 divide x(i)?
False
Let t be 0 + (35/11 - 8/44). Suppose -32 - 130 = -t*k. Is 27 a factor of k?
True
Let j = 1919 + -1371. Is j a multiple of 6?
False
Let i(j) = -j**2 - 67. Let f(d) = -d + 1. Let o(t) = -2*f(t) - i(t). Is 20 a factor of o(0)?
False
Let t be (-2)/(16/(-598)) - (-30)/120. Let d = -6 + t. Does 6 divide d?
False
Let x = -333 + 537. Is 17 a factor of x?
True
Let k = 70 + -71. Is 3 a factor of (3 - 1)*k*6/(-4)?
True
Let s(p) = 7*p**2 + 22*p + 49. Is s(-4) a multiple of 13?
False
Let h = -494 - -210. Suppose 5*t = 5*j - 7*j + 32, t = 2*j - 44. Is h/(-14) - 6/j a multiple of 20?
True
Let t(d) be the second derivative of d**5/20 + d**4/2 - d**3/6 - 3*d**2/2 + d. Let x be (-1 + 0)*-10*27/(-45). Is t(x) a multiple of 3?
True
Suppose -5*l - 2*l = -7. Is 47 a factor of 1 + 190 - l/2*6?
True
Is 69 a factor of (37*5)/(3185/(-133) - -24)?
False
Let w(a) = -18*a - 24. Does 4 divide w(-4)?
True
Let u(d) = -5*d**2 + 3*d + 4. Let a be u(2). Is 11 a factor of -110*(5/a + 0)?
True
Let d(y) = 0 + y + 3*y**3 - 2*y**3 - 2*y**3 + 5*y**2 + 2. Let j be d(5). Is 16 a factor of 1 + 1 + j + 23?
True
Suppose 12*y = 363 + 1077. Suppose -a + 85 = -y. Is 41 a factor of a?
True
Let u = -29 + -25. Let n = -48 - u. Does 3 divide n?
True
Suppose -5*j = -4*z - 1570, 0 = -2*j - 5*z + 294 + 367. Suppose 2*v + 5*l - j = 0, -2*v - l - 68 + 394 = 0. Does 41 divide v?
True
Let d(z) be the first derivative of z**3/3 - 4*z**2 + 5*z - 5. Let f(g) be the first derivative of d(g). Is 14 a factor of f(11)?
True
Let k(q) be the first derivative of q**6/360 - q**5/120 - 5*q**4/24 + 5*q**3/3 - 6. Let o(r) be the third derivative of k(r). Is o(4) a multiple of 5?
False
Suppose 3*z - 913 = -a, -22*z + 26*z = a + 1215. Is z a multiple of 38?
True
Let u(s) = 78*s**2 + 9*s + 8. Is 11 a factor of u(-1)?
True
Let x(g) = g**3 + 17*g**2 + 4*g + 27. Is x(-6) a multiple of 38?
False
Suppose 9*t = -2*t + 1628. Does 5 divide t?
False
Suppose y - 2588 = -2*m, 3*y + 9 = 3. Does 35 divide m?
True
Let b(v) = 148*v**2 + 2*v + 17. Is b(-3) a multiple of 17?
True
Let m(x) = 97*x**2 - 11*x - 1. Is 8 a factor of m(-2)?
False
Let q(y) = y - 2. Let a be q(5). Suppose 4*p - 98 = 158. Suppose k + a*k = p. Is k a multiple of 14?
False
Let j = 737 - 315. Is j a multiple of 9?
False
Suppose 13*y + 312 = 17*y. Suppose -127 = -n + y. Is n a multiple of 23?
False
Let q(k) = k**2 - 8*k + 15. Suppose -w - 7*w = -16. Let h = w - -4. Is 3 a factor of q(h)?
True
Let f(x) = -20*x**2 - x - 1. Let s be f(-1). Let c(h) = 2*h**2 + 37*h + 24. Is c(s) a multiple of 14?
True
Let z be -77*(1 + 0)*-1. Let d be (-290)/9 - 26/(-117). Let f = z + d. Is f a multiple of 20?
False
Let b = -328 + 486. Suppose -2*a + b = 14. Is 18 a factor of a?
True
Let x(r) = 9*r**2 - r + 1. Let t be x(1). Let z(v) be the third derivative of v**4/8 - 7*v**3/6 + 3*v**2 - 3*v. Is z(t) a multiple of 15?
False
Suppose 0 = -y - y - 102. Let c = 127 + y. Is c a multiple of 18?
False
Let l = 193 + 991. Does 8 divide l?
True
Let l be 15/2*(-10)/(-15). Suppose -179 - l = -2*x. Suppose 2*r - 50 = -0*y - 3*y, -5*y + r = -x. Is 6 a factor of y?
True
Suppose v = -2*a + 414, 0 = -v + 2*a - 3*a + 415. Does 11 divide v?
False
Suppose -6*i + 512 = -136. Let m = i + -58. Suppose 4*u - 10 = m. Does 4 divide u?
False
Suppose z = -3*g + 5*z - 3, 5*g + 3*z - 24 = 0. Let n be ((-129)/(-6))/(g/18). Let p = -81 + n. Is 16 a factor of p?
True
Let