 Is 23 a factor of f(c)?
True
Suppose 5*s - 5 = 0, 63*g - 62*g - 6075 = 3*s. Is 38 a factor of g?
False
Let q be 2 - (5 - (-24)/(-4)). Suppose 8*o - 290 = q*o. Is o a multiple of 13?
False
Let f(d) = d**2 + 14*d + 2. Let q be f(-14). Suppose q*m - 4*k = 696, -2*k + 4*k = -m + 352. Is 7 a factor of m?
True
Let o be (-14)/(-56) - 2158/(-8). Suppose -11*p + 2*p + o = 0. Suppose -y + 26 = -3*g, p = y - 3*g - g. Does 4 divide y?
False
Suppose 3*f - 4*u = -8, 2*u = -4*f - 2*u + 36. Suppose o - f*h = -5, 0*h - 2*h + 16 = 4*o. Suppose -60 - 129 = -o*t. Is t a multiple of 9?
True
Let m(j) = 1112*j + 1836. Is m(15) a multiple of 12?
True
Let y(j) = j**3 + 10*j**2 + 10*j. Let z be y(-7). Suppose 2*i = -2*c + c + z, c = -i + 73. Suppose 141 + c = 7*r. Does 5 divide r?
True
Let q = -3751 + 7318. Suppose -14*v + q = -5435. Does 66 divide v?
False
Suppose -32*l - 16*l = 31*l - 1600856. Does 34 divide l?
True
Suppose 0 = -5*i + 2*i - 5*q - 3, 2*q = -6. Suppose -s - 2*g = i*s - 408, 2*g = -s + 88. Is 5 a factor of s?
True
Let r be (-107)/(-3) + (-48)/72. Suppose 0 = 3*o - 2*a - 11, -r + 12 = -5*o + a. Does 6 divide 107 + (-6)/6*o?
True
Suppose 4*w - 59088 = -6*l, -4*l = -4*w - 44245 + 4893. Does 49 divide l?
False
Let f = 8992 - 5454. Does 122 divide f?
True
Let d(j) = j**3 - 4*j**2 - 6*j + 4. Let h be d(4). Let o(b) = b + 52. Let t be o(h). Suppose -g + t = -201. Is g a multiple of 40?
False
Suppose -8 = 3*b - 38. Let m be (-38)/(b/5)*-1. Suppose 4*l = 2*k - 5*k + 59, 0 = -k - l + m. Does 4 divide k?
False
Is ((-341)/5 - 1)*-55 a multiple of 22?
True
Let k(f) = -11*f**3 - 57*f**2 - 39*f - 8. Is 45 a factor of k(-9)?
False
Let r be (12 + -13)/((-3)/39). Suppose -s = -2*z + 83, 3*z - 12*s + r*s - 117 = 0. Is 8 a factor of z?
True
Let q(h) = -12*h + 24. Let v be q(-28). Suppose 0 = 6*k - 9*k - v. Let y = -48 - k. Is y a multiple of 6?
True
Let v be (-2)/(1 - 2) - -2 - 2. Suppose 941 = 3*z + 4*d - 900, -d + v = 0. Is 47 a factor of z?
True
Suppose 4*b + 6 + 10 = 0. Let u be 9/(-18) + 70/b. Is 5 a factor of u/(-8)*3/((-45)/(-80))?
False
Is 206 a factor of 5/(-14 + (-412425)/(-29458))?
True
Let d(v) = -2*v**2 - v. Let g(y) = 3*y**2 + 19*y - 6. Let z(f) = 2*d(f) + g(f). Is 12 a factor of z(15)?
True
Let z = -9682 - -13586. Suppose -6*t + z = 670. Is 40 a factor of t?
False
Let i(m) = m**2 - 7*m - 2299 + 4596 - 2290. Is i(-9) a multiple of 19?
False
Let l(j) = 1228*j**2 - 4 - 1218*j**2 + 9 + j**3. Let q be l(-10). Suppose -4*w + 3*w + 164 = 3*c, -q*c + 250 = -3*w. Is 21 a factor of c?
False
Let n(c) = -2*c**2 + 17*c + 63. Let s be n(11). Is 20 a factor of 8540/30 - (-5)/((-60)/s)?
False
Let s be 424/88 - 4/(-22). Suppose 3*b = s*b + 24. Let m = b - -15. Is m a multiple of 2?
False
Suppose 0 = 31*h - 43*h - 36. Is h/2 - (-1046)/4 a multiple of 13?
True
Suppose -4 = k - 40. Suppose -k = -6*d + 24. Let p(g) = -g**3 + 10*g**2 + 20. Is p(d) a multiple of 6?
False
Let t(s) = -4*s**3 + 143*s**2 + 13*s + 7. Is t(32) a multiple of 20?
False
Suppose -55*l + 14*l + 7143069 = 72*l. Does 14 divide l?
False
Let q(v) = 6*v**3 - v - 1. Let h be q(-1). Let u be (-36)/24*172/h. Suppose 3*p = -3*d + u + 62, -4*d = -5*p - 95. Does 6 divide d?
True
Suppose j - 14*b = -13*b + 12682, -12718 = -j - 5*b. Does 28 divide j?
False
Let z = 9736 + -4492. Is 23 a factor of z?
True
Let l(p) = 460*p**3 + p**2 + 4*p + 2. Let c(v) = -919*v**3 - 3*v**2 - 7*v - 3. Let m(g) = 3*c(g) + 5*l(g). Does 22 divide m(-1)?
False
Suppose -2*o + 1 - 5 = 0, -102 = -5*g - 4*o. Let f be (1 + -1)*(16/10)/(-8). Suppose g = -f*c + c. Is c a multiple of 22?
True
Let x(i) = 225*i**2 + 6*i + 12. Let m(c) = -17*c + 66. Let h be m(4). Is 9 a factor of x(h)?
True
Suppose p - 3*g = 2659, 3*p - 4*p + 4*g = -2656. Is p a multiple of 23?
True
Suppose -105 = 8*l - 433. Let n = -42 + l. Does 39 divide (-12)/6*77*n?
False
Let u(h) = h**3 + 5*h**2 - 6*h - 3. Let i be u(-6). Let v be -1*(7 - (i - -5))*-1. Suppose 0 = -v*o - 2*n - 367 + 1200, 3*n - 12 = 0. Is o a multiple of 24?
False
Let w = 120 - -59. Let q = -95 + w. Is 7 a factor of q?
True
Let b be 140/(-56)*(-44)/10. Let p = -7 - -11. Let a = b - p. Is 2 a factor of a?
False
Is 5748 + (8 - (-1 + -9)*24/(-80)) a multiple of 9?
False
Let i(n) = 7*n - 37. Let b be i(6). Suppose -2*m + 28 = 2*j, b*j + 11*m - 76 = 12*m. Suppose -j*a + 59 + 211 = 0. Is a a multiple of 6?
True
Suppose 12079 + 8261 = -36*z. Let a = z - -1140. Is a a multiple of 13?
False
Let p(l) = 2*l - 18. Let x be p(10). Let v(z) = 4*z**2 - 25*z + 12. Let g(h) = -5*h**2 + 26*h - 12. Let b(r) = x*g(r) + 3*v(r). Does 8 divide b(12)?
True
Suppose 67*d - 65*d = 2*s + 55656, 4*d + s - 111307 = 0. Is 45 a factor of d?
False
Suppose 2*q + 2*j = -50, 4*q + 20*j + 95 = 21*j. Does 8 divide ((-8416)/q)/(-4)*6/(-2)?
False
Suppose -173*d + 3784956 = -91*d. Is d a multiple of 14?
True
Suppose 13*n = -360 + 2559 + 4405. Does 5 divide n?
False
Let x = -4420 - -6634. Suppose 6*i = x + 138. Is i a multiple of 14?
True
Let r = -467 - -1258. Suppose 0 = -d - 2*j + 393, 18*d - 3*j = 20*d - r. Does 31 divide d?
True
Suppose 2*v - v = -3*v. Let a be (0 - (4 + -1))*-18. Does 28 divide a + v + (2 - 5)?
False
Is 8/(-10)*(-370290)/48*2 a multiple of 20?
False
Let u be (-10)/2 + 4 + (-5 - -1). Does 4 divide 3 + (-160)/u + 1?
True
Let i = 928 + -503. Let j = i - 227. Does 11 divide j?
True
Suppose 56*u - 60948 = 24732. Is 9 a factor of u?
True
Let d(o) = 101*o**2 - 3*o + 41. Let u be d(-6). Suppose 0 = 42*j - u - 337. Does 48 divide j?
True
Let m(o) = 27*o**2 - 1. Let n be m(-1). Let g(u) = u**3 + 10*u**2 + 2*u + 14. Let s be g(-10). Let z = s + n. Does 6 divide z?
False
Let r be (-134)/4 - (-2)/(-4). Let i = 169 + r. Is 15 a factor of i?
True
Let i(k) = k - 17. Let m be i(17). Let w be -3*(-5)/(-15) - -4. Suppose 5*r - 60 = -4*x, 36 = 3*r - m*r - w*x. Is r a multiple of 12?
True
Let a = -68 + 111. Let j = a + -33. Is 8 a factor of 4 + (0 - 5/(j/(-24)))?
True
Let f(j) = -7*j**2 - 3*j - 28. Let v(d) = -d**2 - d - 1. Let l(x) = -x**2 - 5*x - 5. Let c be l(-1). Let a(o) = c*f(o) + 6*v(o). Is a(6) a multiple of 8?
True
Let j(x) be the third derivative of -181*x**4/6 + 56*x**3/3 + 268*x**2. Is j(-2) a multiple of 12?
True
Let w(u) = -u**3 + 19*u**2 + 9*u - 16. Let a(p) = 2*p**3 - 40*p**2 - 13*p + 32. Let o(v) = -2*a(v) - 5*w(v). Suppose -91 = -5*s - 6. Is o(s) a multiple of 26?
False
Let s = 362 + -55. Suppose -5*y + 715 = -m - m, -2*y + s = -5*m. Let f = y - -118. Is 50 a factor of f?
False
Let p = -2180 + 3364. Does 4 divide p?
True
Is 1214*(851/(-46) + 20) a multiple of 20?
False
Let j(m) = 4*m**2 + 8*m - 4. Let g be j(-7). Let f = 188 + g. Suppose -46*a + 44*a = -f. Is a a multiple of 13?
False
Let o = 67 - 28. Suppose -o = w - 33. Is ((-2 - -1) + -2)*(-8 - w) even?
True
Suppose 8*b + 10642 = 5*p + 7*b, -4*b + 2141 = p. Suppose -p = -3*j - 4*l, -j - l = 4*l - 695. Is 11 a factor of j?
True
Let a be ((1 - 4)/(30/11360))/(-2). Let p = 735 - a. Does 8 divide p?
False
Suppose 13*r - 4*r + 22*r = 25761. Is r a multiple of 10?
False
Let a = -61 - -64. Let k be ((-3)/6)/((-175)/(-58) - a). Let u = -16 - k. Does 3 divide u?
False
Does 3 divide (2/(-21)*-27)/((-3)/(-294))?
True
Suppose 5*s - 3*k - 26210 = 0, -15*s + 10484 = -13*s + 2*k. Does 26 divide s?
False
Let o(k) = 6*k**3 + 17*k**2 + 6*k + 31. Does 13 divide o(7)?
True
Suppose a - 3959 = -4*t - 0*t, -4*t - 2*a = -3958. Is 9 a factor of t?
True
Let b(s) = 3*s + 32. Let i be b(-11). Let d(h) = 125*h**2 - h - 2. Let l be d(i). Let k = 185 - l. Does 26 divide k?
False
Suppose 0 = -3*f - f + 332. Let q = 98 - f. Does 5 divide 5*q/25 + 49?
False
Let c = -10 - -13. Let y(i) = -8 - i**2 + c*i + 9*i**3 + 2 + 0*i**2 + i**3. Does 17 divide y(2)?
False
Suppose -5 = -3*j + 130. Let c = j + 48. Suppose -5*z = 5*l - 130, -4*l + l + 2*z + c = 0. Does 7 divide l?
False
Suppose 1412*q = 1418*q - 64775 + 1229. Is 7 a factor of q?
True
Let d = 822 + -527. Let s = 643 - d. Is s a multiple of 22?
False
Suppose -t - 6339 + 1799 = -r, -r + 3*t + 4528 = 0. Does 56 divide r?
False
Let k = -72 - -77. Suppose -k*t = s + 12, 5*s - 5*t - 77 = s. Let c(d) = -4*d**2 + 52*d + 3. Is c(s) a multiple of 2?
False
Let z(g) = -388*g - 2386. Is z(-30) a multiple of 94?
False
Suppose 33 = 3*u - 21. Suppose -u = -j - 2*j. Is 10 a factor 