 factor of 0 - -16 - (h + 10)?
False
Let q(z) = z**3 - 5*z**2 + 2*z - 4. Let d be q(-4). Let w = d - -241. Let k = w - 46. Is 13 a factor of k?
True
Let z(m) = -82*m**3 + m**2 + 2*m + 1. Let s(n) = -n**3 - 3*n**2 - 3*n - 3. Let i be s(-2). Is z(i) a multiple of 6?
False
Suppose -5*j + 356 = 3*o, 0*o + 4*o - 8 = 0. Suppose -4*b = -z + 23, -3*z + 2*b = 1 - j. Is 23 a factor of z?
True
Let w(b) = -2*b**3 - 9*b**2 - 19*b + 16. Is 5 a factor of w(-6)?
False
Let l be 0*(-2 - 0 - -3). Suppose l = -b - b + 8. Is -34*b/(2 - 10) a multiple of 14?
False
Does 3 divide (798/49)/(11/231)?
True
Let b = -233 + 392. Is b a multiple of 29?
False
Let m = 22 - 22. Suppose 5*b - 81 = -3*y + 43, m = -3*y + 3*b + 84. Does 33 divide y?
True
Let s(c) = c. Let z(p) = -p**3 - 7*p**2 + 7*p + 3. Let w(l) = 4*s(l) - z(l). Suppose -3*y - 14 = -y. Is 9 a factor of w(y)?
True
Let j(c) = -c**2 + c - 10. Let q(v) = v - 1. Let u(m) = -j(m) + 4*q(m). Let x be u(-4). Suppose 2*r + 5*w = r + x, 0 = 2*r + 2*w - 36. Is r a multiple of 5?
True
Is (-35 + (-63)/(-9))/(-2 + 0) a multiple of 14?
True
Let d = 1 - 1. Suppose d = 5*h - 0*h - 25. Suppose 5*w = -2*b + 96 + 36, 3*w - 104 = h*b. Does 14 divide w?
True
Is 124 + (3 - 5) + -2 a multiple of 20?
True
Let a = -7 - 8. Let b(w) = -w**3 - 14*w**2 + 14*w - 20. Let o be b(a). Is (3/9)/(o/(-180)) a multiple of 4?
True
Let s = -10 - -12. Let z(x) = 5*x**2 + 2*x - 3*x**s - 11*x - 8. Is z(7) a multiple of 27?
True
Let c be (22/(-6))/((-6)/90). Let k = c - -9. Is 15 a factor of k?
False
Suppose 21 - 6 = l. Suppose -l*i + 11*i + 316 = 0. Is 13 a factor of i?
False
Does 10 divide 369090/216 + (-10)/(-8)?
True
Let h = -14 + 8. Let d = 5 + h. Is 11 a factor of -2*d*33/6?
True
Suppose -5*d + 6 = -4. Suppose -i + 2 = 0, 3*f + f + d*i = 340. Is f a multiple of 12?
True
Suppose 18*h - 4*h - 2184 = 0. Does 60 divide h?
False
Suppose -15 = -2*g - 3*g. Let h = -2 - g. Let c = 8 + h. Is c a multiple of 2?
False
Suppose 17*g - 10283 = 10*g. Is 13 a factor of g?
True
Does 27 divide ((-1893)/6 - -5)/((-1)/4)?
True
Suppose 0 = 34*w - 33583 - 8849. Does 39 divide w?
True
Let v(d) = d**3 + 10*d**2 + 12*d + 13. Let q be (-3)/(7/(-24) - (-2)/3). Is v(q) a multiple of 12?
False
Suppose 3*n - 3 = 4*f, f - 5 = -0*f - 5*n. Suppose 5*w - 142 - 228 = f. Is w a multiple of 4?
False
Let n = -33 + 40. Let a(f) = f**2 + 20*f - 10. Does 8 divide a(n)?
False
Is (0 + 48)*(-224)/(-21) a multiple of 34?
False
Let v be 3/1*4292/74. Let b be 4 - (-1)/(-2)*4. Suppose 0 = -4*i + 2*p + v, b*i = -i + 4*p + 123. Is 15 a factor of i?
True
Is 40 a factor of (2/(-5))/((-15)/10500)?
True
Let q = 70 + -39. Suppose 8 = 2*v + 2*v. Suppose v*y = q + 1. Does 8 divide y?
True
Suppose -12*r = 5*j - 11*r - 11, -3*j - r = -5. Suppose 177 = m - 2*s, -64 - 834 = -5*m - j*s. Is m a multiple of 20?
False
Let r = -23 + 45. Suppose -r = -6*i + 20. Is i a multiple of 2?
False
Suppose 3*d - 1534 = -106. Does 68 divide d?
True
Let u be (0 - -1)/(2/6). Suppose u*d + 2*d = 4*r + 99, -4*d - r = -75. Is 10 a factor of (-1 + 0 - -2) + d?
True
Is -2 + (-6)/2 + 1344/2 a multiple of 22?
False
Suppose d + d = -4*w + 238, 0 = 3*w - 3*d - 201. Suppose -29 = -r + w. Does 10 divide r?
False
Suppose -3*d = d - 416. Let t = d + -59. Is t a multiple of 9?
True
Suppose -10 = 2*f + 4*h, 4*f + 0*f - 20 = 2*h. Suppose 0 = -f*i + 5*y - 37 + 162, -2*i = -5*y - 85. Is i a multiple of 10?
True
Suppose 2*p - 34 = -4*k, 5*p - 17 = -k + 14. Let g be k/(-9) - 17/(-3). Suppose m + 3*m = 4*x - 112, g*x = 4*m + 137. Does 20 divide x?
False
Let s = 41 - 47. Let d(c) = c**2 - 7. Is d(s) a multiple of 6?
False
Suppose 5*s - 4*t = 4004, -16*s = -18*s + t + 1601. Is 20 a factor of s?
True
Suppose 28*j + 28120 = 104*j. Is 19 a factor of j?
False
Let r = -39 + 44. Suppose -236 + 71 = -r*o. Is 14 a factor of o?
False
Let j = -71 + 198. Suppose j = -8*o + 671. Is o a multiple of 17?
True
Suppose 5*n - 151 + 21 = 0. Let h = n - 50. Is (-93)/(-4) + h/(-32) a multiple of 12?
True
Suppose 32*p = 80*p - 76464. Does 59 divide p?
True
Suppose 103488 = 3*j + 85*j. Is j a multiple of 8?
True
Suppose 20*u = 17*u + 9. Let r be (-3 - -5) + 3/u. Suppose 0 = -r*m + 17 + 73. Does 15 divide m?
True
Let r(a) = 0*a**2 - 7*a - 2 + a**3 - 4*a**2 - a**2 - 2*a. Is r(7) a multiple of 20?
False
Let s = -4 - -10. Let v(c) be the first derivative of 3*c**2/2 - 6*c + 7. Is v(s) a multiple of 12?
True
Suppose -4*t = 6*f - 10*f + 272, 0 = f + t - 64. Does 4 divide f?
False
Is 8 a factor of (-5)/(-3) + 489/9?
True
Suppose -20 = 4*b, 4*u - b - 57 = -0*b. Suppose -3*s + 2176 = u*s. Does 17 divide s?
True
Let k = -869 - -1417. Is 25 a factor of k?
False
Is 8 a factor of 329*(((-66)/(-7))/(-3) - -4)?
False
Suppose 4*x - 524 = -168. Let u = x + -77. Is u a multiple of 4?
True
Let d be (-18)/(-5) - (-6)/(-10). Suppose d*r = 2*w - 115, 52 = -4*w - 5*r + 249. Is 26 a factor of w?
False
Let q(m) = m**3 + 32*m**2 - 79*m - 8. Is q(-34) even?
True
Suppose 61 + 1 = g + x, 3*g - 4*x = 214. Does 3 divide g?
True
Suppose -121*s + 157*s = 161892. Is s a multiple of 20?
False
Does 37 divide 231/45 + -5 + (-10346)/(-30)?
False
Suppose -3*i = -2*i - 2*h - 5, -i + 5*h = -5. Suppose t = -i*p - 4*t + 265, t + 143 = 3*p. Suppose 3*m + p - 220 = 0. Does 19 divide m?
True
Suppose -3*q + 40 = -7*q. Let y = 10 + q. Suppose y = 2*m + 4 - 76. Is m a multiple of 18?
True
Is 36 a factor of 1/(6 + 60474/(-6048) + 4)?
True
Suppose 2*m = 86 - 4. Suppose -67 = -2*s + m. Suppose -s = -3*l - 0*l. Does 18 divide l?
True
Is ((-48)/15)/((-5)/((-49500)/(-24))) a multiple of 60?
True
Suppose 2*d - 3*n - 3012 = n, d - 5*n - 1515 = 0. Is 81 a factor of d?
False
Let l = 440 - -49. Suppose -2*x + 5*f + 373 = 0, 0 = 5*x + 3*f - l - 366. Is x a multiple of 29?
True
Let z(h) = -19*h**3 - 2*h**2 - 3. Let v(m) = 19*m**3 + m**2 + 2. Let c(t) = -3*v(t) - 2*z(t). Is 5 a factor of c(-1)?
True
Let b = 226 - 99. Is 51 a factor of b?
False
Let z(n) = 9*n**2 + 21*n + 11. Is 16 a factor of z(-14)?
False
Let m = -18 - -31. Let k(p) = p**3 - 4*p**2 + 2. Let a be k(4). Suppose -x = -a*x + m. Does 8 divide x?
False
Suppose 0 = -d + 1, 2*d = 5*l - 1303 - 495. Suppose -l = -4*u + 3*g, g - 97 = -4*u + 3*u. Is 18 a factor of u?
False
Let f be ((-10)/(-15))/(2/(-9)). Let h be f - -3 - (-3 - -1). Suppose -3*q - 100 = -4*x + 2*q, 5*q - 80 = -h*x. Is x a multiple of 10?
True
Let t(j) = 78*j + 10. Is 8 a factor of t(1)?
True
Let a = -9736 + 16717. Does 13 divide a?
True
Let g(d) = -d**2 - 18*d - 13. Let f be g(-17). Suppose -f*n = n - 150. Does 6 divide n?
True
Suppose 3*i = -0 + 3. Suppose -i - 14 = -5*g. Suppose 2*y = -m + 64, -153 = -g*y - 2*y + m. Does 10 divide y?
False
Let u = -1 + 22. Suppose -19*k - 20 = -u*k. Is k a multiple of 2?
True
Suppose b = 11 + 51. Let u = b + 10. Is u a multiple of 12?
True
Suppose 5*t - 3400 = -5*d, 3*t = -4*d + 402 + 2313. Is d a multiple of 75?
True
Let j = 1165 + 399. Does 68 divide j?
True
Let p(f) = f. Let v be ((-2)/(-4))/((-7)/(-42)). Let d be p(v). Suppose -d*i - i + 32 = 0. Is i a multiple of 4?
True
Let h(v) = -99*v + 209. Does 53 divide h(-8)?
False
Let u(n) = n**2 + 3*n + 3. Let c be u(3). Let b be (-15)/2*(-1022)/c. Suppose 2*o = x + x + 134, 5*o + x = b. Is o a multiple of 19?
False
Suppose 5*r + 57 = 6*r. Suppose 59*s - 312 = r*s. Does 13 divide s?
True
Suppose 12*p - 8*p - 2036 = 4*m, 5*p - 2*m - 2548 = 0. Is p a multiple of 13?
False
Suppose 8141 - 1736 = 7*d. Is d a multiple of 22?
False
Let b = 14 + -23. Let o = b - -45. Does 12 divide o?
True
Let y = -70 - -22. Let w = y - -57. Is w a multiple of 2?
False
Let w(q) = -q - 15. Let u be w(-15). Suppose u = v + v + 10. Let p = v - -11. Is 3 a factor of p?
True
Let b(o) = o**3 + 25*o**2 - 29*o. Is 18 a factor of b(-21)?
False
Suppose -4*q - 7 = -2*d + 3, 5*d - 50 = 5*q. Let n(h) = -h**3 + 14*h**2 + 17*h + 13. Does 4 divide n(d)?
False
Let z be 156/(-65) - (-4)/10. Is 15 a factor of 140/(z + 7) + 2?
True
Suppose -2*a - 1090 = a + 2*b, 723 = -2*a - 5*b. Is (-19964)/a - 2/(-13) a multiple of 37?
False
Let y(l) = 3*l**2 - 2*l + 2. Let a(q) = -q**2 + q. Let z(m) = a(m) + y(m). Let t = -10 + 15. Does 12 divide z(t)?
False
Suppose -3*c = -7*c. Suppose c = -y + 39 + 21. Is 15 a factor of y?
True
Suppose 0 = -4*h - 8 + 20. Let w(l) = l**3 + 12*l**2 + 1