f 13?
True
Suppose -5*z = 2*h - 89, 17*h + 2*z - 161 = 14*h. Is h a multiple of 43?
False
Suppose 57 = d - 3*u, d - 5*u + 4*u = 63. Is 15 a factor of (-4)/22 - (-5226)/d?
False
Is 12 a factor of (207/(-3))/((-95)/(-55) - 2)?
False
Let i = -38 + 42. Suppose 0 = -3*z + n + 680, i*n = -4*z + 504 + 376. Is 15 a factor of z?
True
Suppose -7*c - 281 + 1254 = 0. Does 23 divide c?
False
Suppose 820 - 883 = -9*l. Is l a multiple of 2?
False
Suppose 5*s + 43 = -2*u, 2*u + s + 44 + 3 = 0. Let l be (-9)/u + (-148)/(-32). Suppose 3*n + l*b = 6*n - 115, -4*n + 5*b + 145 = 0. Is n a multiple of 10?
True
Suppose 0 = 5*b + 3*f + 3 - 21, -5*b - 5*f + 20 = 0. Let d(p) = 24*p + 8. Does 19 divide d(b)?
False
Suppose -16*b + 12*b = 136. Does 29 divide -4 - (1 + (-14)/(-4))*b?
False
Let y = 1869 - -581. Is y a multiple of 70?
True
Let m(o) be the third derivative of 19*o**4/4 - 2*o**3/3 - 12*o**2. Does 22 divide m(1)?
True
Let a(t) = t**2 + 2*t - 1. Let z be a(-5). Suppose -6 - z = 5*h. Is 18 a factor of 9/h*1*-24?
True
Is 6/(-8)*(-5)/(25/3260) a multiple of 20?
False
Suppose 0 = 3*z - 5*o - 1075, 3*z - 1082 = -3*o + o. Does 45 divide z?
True
Let g(d) = 2*d - 2. Let v be g(4). Let l be v + (-2)/(1 + 1). Let k(o) = 2*o**2 - 2*o - 1. Is k(l) a multiple of 13?
True
Suppose 38*q = 42*q - 16. Let w be 9/q - 20/80. Suppose w*k = -c + 85, k - c - c - 30 = 0. Is 20 a factor of k?
True
Let i(c) = c**2 - 5*c. Suppose -3*m - 4*o + 10 = -5*m, 0 = 4*m + 2*o + 20. Is i(m) a multiple of 10?
True
Suppose 31*a - 772 = 29*a. Does 58 divide a?
False
Suppose 3*z = 4*t - 184, 2*z = 4*t - 14 - 166. Let x be 4 - 7 - 1*t. Is x*(1 - 12/8) a multiple of 6?
False
Let y = -1124 - -1688. Is 24 a factor of y?
False
Let b be (3 + -5)*(3 - 2). Let f(d) = -d**3 + 6*d**2 + 9*d - 8. Let r be f(7). Let h = r - b. Does 4 divide h?
True
Suppose 13*m - 325 = -104. Does 14 divide m?
False
Let h = 384 + -164. Is h a multiple of 11?
True
Let d(m) be the first derivative of 5*m**4/4 - 3*m**2/2 + 5*m + 2. Let w(z) = -10*z**3 + 5*z - 9. Let i(k) = -5*d(k) - 3*w(k). Does 11 divide i(2)?
False
Let f(r) = -8*r**2 - 4 + 9*r**2 + 3 + 186*r**3. Is 9 a factor of f(1)?
False
Let j = 74 + -2. Let k(u) = 2*u - 4. Let l be k(3). Suppose -h - l*h = -j. Does 9 divide h?
False
Let d(h) = -h**3 + 7*h**2 - 6*h + 14. Let o be d(6). Let v(f) = -f**3 + 14*f**2 + f + 16. Does 15 divide v(o)?
True
Let g be -2 + 27 - (9 + -1)/2. Let k be 3 + -5 - (1 - 19). Let q = k + g. Is 8 a factor of q?
False
Let c = 1227 + -701. Is 48 a factor of c?
False
Suppose -4*f = 3*v - 14, v = 4*v - 2*f - 2. Suppose 4*n - 24 = -28. Is 8 + (v - (-3)/n) a multiple of 7?
True
Let o = 212 - 357. Let x = 315 + o. Does 34 divide x?
True
Let a be (-254)/((44/(-11))/(2/1)). Suppose -d + 7 - 180 = -5*g, 4*g = -3*d + a. Does 17 divide g?
True
Suppose -5*n + 10 + 0 = 5*q, 4*n = -5*q + 14. Suppose 450 + 42 = q*u. Does 20 divide u?
False
Let c(b) = b**3 - 30*b**2 + 29*b + 40. Is 5 a factor of c(29)?
True
Does 79 divide (-2686)/((-4)/6*3)?
True
Let q = 80 + -61. Is 17 a factor of q?
False
Let h(o) = o. Let w be (4/8)/(1/8). Let y(c) = 5*c - 2. Let b(k) = w*h(k) - y(k). Is 9 a factor of b(-7)?
True
Suppose 3*b + 0*t = 3*t + 6, 5*t + 20 = 0. Is 14 a factor of (b + 0 - 114)/(-2) + -2?
True
Let g = 1780 - 1109. Is g a multiple of 61?
True
Let n(w) = 2*w**3 + 17*w**2 + 9*w + 6. Let b(x) = -5*x - 37. Let i be b(-6). Is 10 a factor of n(i)?
True
Let t(m) = -5*m**3 - 14*m**2 + 3*m - 10. Let s be (20/(12/3))/1. Let l(y) = 4*y**3 + 14*y**2 - 4*y + 9. Let q(g) = s*t(g) + 6*l(g). Is q(13) a multiple of 19?
False
Let l(i) = 2*i**2 + 3*i + 7. Suppose -4*m = -3*m. Suppose m = -7*b + 2*b + 20. Does 11 divide l(b)?
False
Let v(n) = -n**3 + 75. Let i be v(0). Let h = i + -53. Suppose -4*w + h = -90. Is w a multiple of 17?
False
Let q(y) = -y**2 - 8*y + 4. Let p = -6 + -2. Let l be q(p). Suppose 2*w = l*w - 30. Does 15 divide w?
True
Let h(o) = 0 - 2 + o**2 + 1 + 8. Let q be h(11). Suppose 2*n - q = -2*n. Is 11 a factor of n?
False
Is -105*((-416)/40 - 4) a multiple of 17?
False
Let s(g) = -215*g - 460. Is 13 a factor of s(-5)?
False
Let d(f) = -f + 1 - 3 + 8*f**2 + 0*f - 2*f**2. Let m be d(2). Let w = 68 - m. Does 12 divide w?
True
Let n(m) = -11*m - 6. Suppose -2*k - 5*q + 17 = -0*k, 0 = 3*k - 3*q - 78. Let r = k + -27. Is 20 a factor of n(r)?
True
Suppose 44 = 4*l - 4*b, -b = -4*l + 24 + 23. Let c be 6 - 5/(20/l). Suppose c*d = -0*d + 84. Is d a multiple of 16?
False
Let c = -152 + 368. Suppose -11*p - c = -13*p. Is 32 a factor of p?
False
Suppose -678 = -3*k + 3*s, 4*k - 2*k + 4*s = 440. Is 8 a factor of k?
True
Let u(i) = 19*i**2. Let j(l) = 721*l**2. Let m(s) = -2*j(s) + 77*u(s). Let y = -11 + 10. Is m(y) a multiple of 21?
True
Suppose -16*g + 12540 = 22*g. Is 17 a factor of g?
False
Suppose -k - 25 = -6*k. Let d(l) = 2*l**3 - 6*l**2 - 3*l + 11. Is 16 a factor of d(k)?
True
Let m(h) = 39*h + 1. Suppose -5*i + 3*q + 5 = -2*q, 3*i - 2*q - 4 = 0. Let j = i + -1. Does 20 divide m(j)?
True
Suppose -4 - 11 = 5*c, 149 = 2*b + c. Suppose -b = -2*j - 4*y, -3*j - 2*j + 4*y + 148 = 0. Does 22 divide j?
False
Suppose 5*c - 3824 = 6301. Is 81 a factor of c?
True
Let l(f) = -f**3 - 19*f**2 - 17*f + 20. Let v be l(-18). Suppose t = v*c + 36, -t + 169 = 3*t - 3*c. Does 45 divide t?
False
Suppose y = 4*y - 4*p - 1020, 0 = 5*y - 2*p - 1700. Suppose -5*z + y = 2*g, -2*z = -3*z + 4*g + 68. Does 17 divide z?
True
Suppose 0 = 2*q + 2 - 20. Let n be 126/(-56) - (-6)/(-8). Does 8 divide (-15)/q*n*3?
False
Let z = 2294 + -966. Does 8 divide z?
True
Let p(u) = u - 12*u + 7*u + 17 + 7*u. Does 13 divide p(13)?
False
Suppose -8 = -2*q - g, -q + 5*g - 15 = 3. Suppose 4*i - q = 5*i. Does 11 divide i*((-37)/2 - -2)?
True
Suppose -1471 = -4*q - 143. Is q a multiple of 12?
False
Suppose 1238 = a - 5*s, -7*s + 4*s = 4*a - 4860. Is a a multiple of 45?
False
Let n(f) = f**3 - 5*f**2 - 7*f + 9. Let t be n(6). Let y = -60 - -65. Suppose -14 + y = -t*q. Is q even?
False
Let z(j) = 161*j - 85. Is 15 a factor of z(2)?
False
Let x = 467 + -140. Is 21 a factor of x?
False
Suppose 2*u + 18 = -4*a + 280, 5*a + 145 = u. Is 45 a factor of u?
True
Let u(z) be the first derivative of -z**4/4 + 28*z**3/3 + 11*z**2/2 - 68*z - 18. Is 8 a factor of u(28)?
True
Suppose -8 - 10 = -6*l. Let p = 28 - l. Is p a multiple of 7?
False
Let o be 2/8 + (-60)/(-16). Suppose o*b + 2*y = 218, 0 = 2*b + 3*b - 4*y - 240. Is 26 a factor of b?
True
Let x be 1*(16 - (-1)/(-1)). Let i = x - 17. Does 13 divide (299 + -3)/4 + i?
False
Suppose -79*o + 38178 = -58*o. Does 26 divide o?
False
Let x(s) = -13*s**3 + s**2 - s - 1. Let m be x(1). Let i be (30/(-25))/((-2)/(-40)). Let f = m - i. Does 5 divide f?
True
Let s(k) = 3*k**2 + 13*k + 4. Let j be s(-4). Let f(h) = -h**3 + h + 1. Let p be f(2). Is 25 a factor of p*(j - (6 - 1))?
True
Let z(r) = 10*r - 11. Let q = 11 + -7. Let k be (q + 8)*2/4. Does 12 divide z(k)?
False
Let j(p) = -p**3 - 5*p**2 + 8*p + 8. Let o be j(-6). Let m be (-11)/o - (-15)/(-20). Does 5 divide m/(-5) + (-469)/(-35)?
False
Is -21*(-3)/18*2 a multiple of 4?
False
Let a(c) be the first derivative of -5*c**2 - 3*c + 8. Is a(-3) a multiple of 7?
False
Let y(v) = v**3 - 5*v**2 + v + 3. Let g be y(5). Let p be (-2)/8 - (-1090)/g. Suppose -j = j - p. Does 25 divide j?
False
Let q(j) = 4*j**3 - 276*j**2 + 23*j + 85. Is q(69) a multiple of 52?
False
Suppose y = 5*b - 31, b - 3*y - 10 = y. Suppose -b*o + o + 20 = 0. Suppose 0 = -o*r + 7*r - 132. Is 11 a factor of r?
True
Let f be 40/(-8)*(-6)/10. Let o(c) = 4*c**2 - c**3 - 13 + 2*c**3 + 3*c - 15*c**2 + 0*c**f. Is o(11) a multiple of 5?
True
Let t(p) = p**2 - 26*p - 55. Let i be t(28). Let m(k) = 98*k**2 + 6*k - 5. Is 11 a factor of m(i)?
True
Suppose r + 0*c - 91 = c, -r - 2*c + 85 = 0. Suppose t + t + r = -3*d, 2*d + 5*t + 74 = 0. Does 23 divide (-615)/d + (-10)/(-45)?
True
Suppose -q - 15 = -b, -b - 33 = -3*b - q. Does 8 divide b?
True
Suppose 0 = -124*r + 123*r + 342. Is 9 a factor of r?
True
Let q = 1046 + -392. Is q a multiple of 11?
False
Suppose -3*w - w + 764 = 0. Let q = w + -105. Does 13 divide q?
False
Let w be ((-6)/(-4))/((-2)/(-12)). Let y be 2/w - 68/(-18). Suppose -y*g + 60 = g. Is 6 a factor of g?
True
Let a = -12 + 15. Let q be 3/((9/6)/a). Let p(h) = 2*h + 1. Is 10 a f