- 49. Is 11 a factor of c?
True
Let c be 10 - (4 + (-7)/1). Suppose -c = 5*d - 603. Is d a multiple of 16?
False
Let v be 6/9 - (-364)/12. Let m = v - 19. Suppose -4*t + 28 - m = 0. Is 3 a factor of t?
False
Let v be 2/(2 - (-305)/(-150)). Let i(l) = 3*l**2 + 5*l - 2. Let z be i(5). Let q = z + v. Does 19 divide q?
True
Let z(g) = g**3 - 8*g**2 - 6*g - 9. Let q be z(9). Let x = q + -9. Is (-688)/(-18) + (-2)/x a multiple of 14?
False
Let s(k) = 10*k**2 - 8. Is s(-6) a multiple of 2?
True
Suppose c = 2*c + 4*f - 443, c - 2*f = 449. Is c a multiple of 3?
True
Let d = 2 - 2. Suppose 3*t - 18 = -d*t. Let n = 43 - t. Is n a multiple of 17?
False
Let x(p) be the third derivative of -p**6/120 + 7*p**5/60 + 5*p**3/6 - 6*p**2. Let z be x(7). Suppose z*f = -d + 4*d - 123, 2*f + 78 = 2*d. Does 9 divide d?
True
Let g(y) be the first derivative of y**2/2 + 4*y + 5. Let s be g(-5). Is 1 - s - (-70 + 1) a multiple of 18?
False
Suppose -284 = -4*i + 3*z, -3*i + 8*z = 5*z - 216. Suppose -2*o + 3*j = -i, -j + 3*j = o - 36. Is o a multiple of 14?
True
Let l(n) be the third derivative of 5*n**4/12 - 16*n**3/3 + 10*n**2. Is 17 a factor of l(10)?
True
Let c(s) = -s**3 - 15*s**2 + 17*s + 20. Let y be c(-16). Suppose 4*x + 256 = -y*b + 1724, -3*x = b - 373. Does 37 divide b?
False
Let z = -169 - -290. Let b = -11 + z. Is 22 a factor of b?
True
Let d(b) be the third derivative of 7*b**6/30 + b**5/30 + 5*b**4/24 - b**3/3 + 33*b**2. Is 40 a factor of d(2)?
True
Let p = -35 + 58. Let r = p + -18. Suppose -25 = -4*b + r*z - 7, 38 = 4*b + 5*z. Is b a multiple of 7?
True
Suppose n = 4*s, 2*n - 3*n = 2*s + 18. Let v(x) be the first derivative of -x**3/3 - 13*x**2/2 + 7*x + 2. Does 10 divide v(n)?
False
Let j(w) = -9 - 38*w + 18*w - 18*w. Does 21 divide j(-3)?
True
Let g = -19 - -10. Let m(a) = -5 + 10 + 8 - 2*a. Does 12 divide m(g)?
False
Suppose b + 5 = -4*x, -4*b - 22 = 4*x + 22. Let g = b - -16. Suppose 200 = a + g*a. Does 10 divide a?
True
Is 2269 + -7 - (1 + -6 + -1) a multiple of 18?
True
Let w = 14 + -12. Is 2 a factor of (w + -3)*(-13 - 1)?
True
Let l = 134 - 7. Does 23 divide l?
False
Suppose 2*l = 7*l - 10. Suppose 45 = b - 3*k, -4*k + l*k - 102 = -2*b. Is b a multiple of 13?
False
Is 27 a factor of (-1 - -10) + (6 - -558)?
False
Let d = 6 - -10. Let i = 11 - 19. Let l = d + i. Is 7 a factor of l?
False
Let l(q) = 3*q + 10. Let t be l(-4). Let g = t - 17. Let h = 51 + g. Is 8 a factor of h?
True
Let w(s) = -s**3 + 9*s**2 + 30*s - 4. Is 15 a factor of w(-9)?
False
Let w(r) = r**2 + 3*r - 10. Let o be w(4). Let g = o - -74. Let z = -8 + g. Is z a multiple of 21?
True
Let f(v) = -3*v - 37. Let a be f(-15). Suppose -a*l = -l - 413. Is 8 a factor of l?
False
Let m(b) = 2*b**3 + 10*b - 12. Does 14 divide m(4)?
False
Let q(u) = -3*u**2 + 2*u + 1. Let c be q(-1). Let p = c - 2. Let a = p - -16. Is 5 a factor of a?
True
Let o(k) = 301*k - 56. Is o(2) a multiple of 14?
True
Let h = -29 - -34. Suppose 0 = 2*s + h*s - 616. Is s a multiple of 23?
False
Suppose 6 = -8*a - 26. Let d = a - -13. Is d even?
False
Let w = 98 - 38. Is w a multiple of 2?
True
Let k = 110 + 493. Is k a multiple of 28?
False
Suppose -5*q - 5*z - 860 = -2685, -q = 3*z - 359. Does 10 divide q?
False
Let k = 88 - 153. Let g(y) = 127*y**3 - 2*y**2 - y. Let u be g(-1). Let t = k - u. Is 24 a factor of t?
False
Let f(d) = 2*d**3 - 5*d**2 + 2*d + 15. Suppose -11*k + 6*k = -20. Does 16 divide f(k)?
False
Suppose 760 + 50 = 5*a. Let b = a + -61. Does 25 divide b?
False
Let z be (-3)/(-3) + -3 - -58. Let b = -78 + z. Let u = b + 36. Is 14 a factor of u?
True
Suppose 0 = -0*q - 4*q + 12. Suppose 11 - q = 2*n. Is n even?
True
Let b(k) = 2*k**2 - 2*k - 1. Let i be b(-1). Suppose y + 75 = l - y, -4*l = i*y - 322. Is 13 a factor of l + 4 + (2 - 1)?
False
Let w(g) = 3*g**2 - 2*g**3 + 10*g + 3*g**2 + 49 - 5*g**2 - 46. Is w(-4) a multiple of 23?
False
Let d(k) be the first derivative of -k**5/60 - k**4/2 + 5*k**3/2 + 3*k**2/2 + 3. Let j(y) be the second derivative of d(y). Is j(-9) a multiple of 14?
True
Let b = 56 - 27. Suppose -b*v - 560 = -33*v. Does 34 divide v?
False
Let r(m) = -3*m + 32. Let i be r(12). Let v = 51 + i. Is v a multiple of 40?
False
Suppose 0 = -3*d + j + 990, -35*d + 33*d + 661 = -j. Is 4 a factor of d?
False
Let j = -17 + 28. Suppose 4*w - j = -4*f + 9, 0 = -f - 2*w + 8. Suppose -85 = -2*s + 3*o, -31 = -4*s + f*o + 135. Is s a multiple of 15?
False
Suppose 0 = -1512*r + 1506*r + 858. Does 2 divide r?
False
Let n(u) = -u**3 + 4*u**2 + u. Let s be n(4). Suppose -5*l - 22 = -0*c - 4*c, s*c - l = 14. Is 3 a factor of c?
True
Suppose -5*q + 49*q - 59488 = 0. Is q a multiple of 52?
True
Let z(a) = -a**3 + 9*a**2 - 10*a + 18. Let y be z(8). Suppose y = i - 38. Is i a multiple of 40?
True
Let i(w) = w**2 + 2*w - 78. Is i(24) a multiple of 21?
True
Let m be (-14)/(-35) + (-897)/5. Let r = 314 + m. Does 19 divide r?
False
Suppose 15*f - 176 = 124. Let u = f - -7. Does 27 divide u?
True
Let o(t) = t**2 + 28*t + 97. Is o(-26) a multiple of 7?
False
Let i = 4 - 4. Let l be (i - 1 - -2)*3. Does 14 divide (-8)/4 + 28 + l?
False
Let u(s) = s**2 + s + 1. Let a(d) = d**3 + 6*d**2 - 8*d. Let r(i) = a(i) - u(i). Let q be r(-6). Suppose -k = -t + 11, -t + 5*k = -2 - q. Is 3 a factor of t?
True
Let v be 2/18 - 9058/(-126). Let j = v - 55. Is 3 a factor of j?
False
Let s(h) = 112*h - 7. Let t = 74 + -73. Is s(t) a multiple of 35?
True
Let n = 3 - 0. Let t(l) = 6*l**2 - l + 3. Is 12 a factor of t(n)?
False
Let t = 527 - -123. Is 43 a factor of t?
False
Let o(q) be the second derivative of 19/6*q**3 - q**2 - 1/12*q**4 - 10*q + 0. Is 15 a factor of o(17)?
False
Let m be (-1 - -1)*2/2. Suppose m = -2*l - 8, -2*l = -3*p - p - 8. Does 9 divide (36/(-15))/(p/30)?
True
Let g(q) = 117*q**2 + 2*q - 55. Does 22 divide g(-5)?
True
Let z be (-1)/((2 - -1)/3). Let k = z - -3. Suppose -33 = k*x - 5*x. Is x a multiple of 3?
False
Let n(m) = -m**3 - 14*m**2 + 11*m - 30. Suppose -4*p + 9 = 69. Is n(p) a multiple of 7?
False
Does 3 divide 6/(-16) - ((-301)/56 + 0)?
False
Suppose 0 = o - 2*z + 2, z - 7 = -3*o + 1. Let y(f) = -7*f**3 + f**2 + 2*f. Let j be y(-3). Suppose -5*h + 581 = 3*c + j, o*c + 70 = h. Does 19 divide h?
True
Let s(j) = 4*j**2 - 15*j + 145. Does 58 divide s(11)?
True
Suppose 64*j = 63*j + 3. Suppose -l = -26 - j. Is l a multiple of 2?
False
Let o be 1*(3 - 105/5). Does 11 divide 42/o + 2 - 464/(-6)?
True
Is 6 a factor of -3*65*(-880)/550?
True
Let w be (-4)/10 + 432/(-20). Let p = w + 6. Let u = 14 - p. Does 9 divide u?
False
Let x = -365 - -2519. Is 88 a factor of x?
False
Let p(w) = 6*w**2 - 62. Is p(19) a multiple of 35?
False
Let z be (-26)/6 - (-5)/15. Let y(w) = -w**2 - 17*w - 17. Let d(u) = u**2 + 9*u + 9. Let k(f) = 5*d(f) + 3*y(f). Is k(z) a multiple of 10?
True
Suppose -y + x = -338, 4*x + 9 = 1. Is 16 a factor of y?
True
Let h = -1487 - -1543. Is h a multiple of 7?
True
Suppose 20880 = 111*h - 81*h. Is h a multiple of 57?
False
Suppose 4*d + 948 = 4*k, 5*k - 755 = d + 422. Is 47 a factor of k?
True
Suppose 3*c - 5*s - 777 = 38, -1078 = -4*c - 2*s. Is 9 a factor of c?
True
Suppose -3*n + 5*n = 0. Suppose -5*d = -2*t + 88 - 348, 3*t = n. Suppose -4*s + d = -12. Is s a multiple of 7?
False
Is 4/(32/24 - 0) a multiple of 2?
False
Let g(r) = 9*r**2 + 2*r. Let m be g(3). Let a = m - -315. Suppose a - 87 = 5*t. Is t a multiple of 21?
True
Let c be 15*9/(-15)*22. Let o = c + 285. Is 20 a factor of o?
False
Let z(a) = 38*a - a**2 - 63*a - 19 + 3. Is 18 a factor of z(-20)?
False
Let s(k) = -107*k - 679. Is 30 a factor of s(-19)?
False
Let u(a) = 14*a + 590. Is 6 a factor of u(-10)?
True
Does 3 divide 2/3 + 2136/9?
False
Suppose 2*v + 4 + 38 = 0. Let f = v + 144. Is 25 a factor of f?
False
Let p(b) = b**3 + 4*b**2 - 13*b - 1. Let z be p(-6). Suppose -3*s = s - z*w + 8, 0 = -s + w - 2. Does 12 divide 2 + 79 - 2/s?
False
Let n = -836 - -1208. Let q = 542 - n. Does 36 divide q?
False
Let m(c) be the second derivative of -c**6/120 - c**4/12 + 5*c**3/6 - 5*c**2/2 + 11*c. Let t(w) be the first derivative of m(w). Does 5 divide t(0)?
True
Let w(x) = -x**3 - 11*x**2 - 19*x + 53. Does 16 divide w(-16)?
False
Suppose 10*b = 21*b - 3135. Is b a multiple of 57?
True
Suppose -21 - 4 = -5*t. Suppose -g + 860 = 4*g - t*m, 178 = g - 