 z a multiple of 6?
True
Suppose -3*k + 7*k = 120. Suppose 0 = -3*f - 3*w + 60, -6*f + 50 = -3*f - 2*w. Suppose f = x - k. Is 12 a factor of x?
True
Suppose 4*d - 44 = -3*i + 238, 5*d = 4*i - 345. Let v = i - 52. Does 22 divide v?
False
Let s(t) = 9*t - 7130*t**3 - 6*t**2 - 3*t**2 + 7129*t**3 - 1. Let n(v) = v**3 - 2*v**2 - 4*v - 2. Let z be n(-2). Is 5 a factor of s(z)?
False
Suppose -3*l + h + h = -103, l + 4*h - 53 = 0. Suppose q = l + 10. Is q a multiple of 14?
False
Suppose 0 = -a + 2*a - 2. Let v be 43 - a/(2/(-2)). Let d = v - -23. Does 11 divide d?
False
Let y = 3 - -1. Is (-26)/8*-2*y a multiple of 21?
False
Suppose -4*y - 4*z + 116 = 0, -y - 5*z = -3*z - 28. Let p = y + 39. Does 22 divide p?
False
Let n = 1747 + -759. Suppose -2*w + 0*t + 3*t + 496 = 0, -5*t - n = -4*w. Is w a multiple of 22?
True
Is 17 a factor of (38/(-8))/(1/(-68))?
True
Let r(i) be the second derivative of -i**6/720 - i**4/4 + 2*i. Let l(d) be the third derivative of r(d). Does 3 divide l(-6)?
True
Let f be 185 - (2 - (5 - 2)). Let c = f - 122. Is c a multiple of 12?
False
Let w(o) = -o**2 + 14*o + 14. Is 8 a factor of w(11)?
False
Let g(m) = -4*m - 2. Let w be g(-3). Let r(d) = d**3 - 10*d**2 - 7. Let v be r(w). Is 2 a factor of 22/77 + (-19)/v?
False
Let f = -76 + -26. Suppose 62*k - 69 = 39*k. Does 17 divide 8/k*f/(-4)?
True
Suppose -331 + 8794 = 31*o. Is o a multiple of 7?
True
Suppose -v - 2*v - 387 = 0. Let j(n) = -5*n**2 + 10*n - 12. Let q be j(7). Let h = v - q. Is 14 a factor of h?
False
Let j = 1264 + -422. Suppose -5*c - 4*d + 118 = -j, -4*c + 3*d = -799. Suppose 12 = -4*f + c. Is 23 a factor of f?
True
Let n(y) = -8*y**3 - y**2 - 3*y + 6. Let d be n(2). Let x be d*(-4 + (-3 - -8)). Let b = x - -100. Is 18 a factor of b?
False
Suppose -19299 = -5*z - 3*j, -1790 = -z - 4*j + 2063. Is z a multiple of 54?
False
Is 44 a factor of 111*((-268)/(-12) + 4 + 6)?
False
Suppose -16*g + 0*g + 7456 = 0. Is g a multiple of 22?
False
Let w(p) = p**3 + 15*p**2 + 15*p + 11. Let j be w(-14). Let t be ((-1)/j)/(1/42). Let x = -5 + t. Is 9 a factor of x?
True
Suppose 18 = 3*t - 6. Suppose -47 = -5*y + t. Is y a multiple of 7?
False
Let o(l) = 9*l**2 - 3*l + 6. Let m be -1 - ((-9)/3)/3. Let u(q) = q**2 - 2*q + 3. Let f be u(m). Is o(f) a multiple of 23?
False
Let m = 150 + -141. Does 30 divide (-6185)/(-15) - 12/m?
False
Suppose t + 0*t = -90. Does 24 divide (t/(-4))/((-35)/10 - -4)?
False
Let a be (9 + 1)/((15/2)/15). Does 6 divide 4620/50 + (-6)/a*-2?
False
Let i = 29 + -21. Suppose -12*s + 28 = -i*s. Suppose s*c = 5*c + 110. Is 16 a factor of c?
False
Suppose -999 = 60*j - 63*j. Is 26 a factor of j?
False
Let y = -4460 + 8101. Is y a multiple of 29?
False
Let a(i) = -37*i + 1. Let y be a(-1). Suppose y + 82 = 3*g. Suppose 3*j + 2*j = g. Is j a multiple of 4?
True
Let r(v) = -v**3 + 8*v**2 - 3*v + 2. Let s be r(7). Let i = -25 + s. Let g(b) = b**2 - 3*b + 14. Is g(i) a multiple of 6?
True
Let o = 545 - 113. Is o a multiple of 14?
False
Let p = -149 - -178. Is p a multiple of 13?
False
Suppose -10*o + 5*f = -14*o + 298, 138 = 2*o - 3*f. Is o a multiple of 12?
True
Let p be 2/5 + (-80)/(-50). Suppose -5*x - 23 = -4*a + 317, 8 = p*x. Suppose -a = -4*u + 3*u. Does 15 divide u?
True
Let z(y) = 19*y - 5*y - 5*y - 8*y + 6. Let h = 0 + 6. Does 12 divide z(h)?
True
Suppose -4*w + 435 - 71 = 0. Is 13 a factor of w?
True
Suppose 4*l - 3*l = a + 634, 4*a - 1874 = -3*l. Is l a multiple of 70?
True
Suppose y + 3*y = -272. Let w = y + 104. Is 5 a factor of w?
False
Let h(w) = -w**3 - 3*w**2 + 6*w + 7. Let a(t) = -t**2 + 8*t - 5. Suppose 15 = 3*u - 9. Let r be a(u). Is 16 a factor of h(r)?
False
Let k(j) = -j**2 + 11*j + 6. Let o be k(-7). Does 12 divide 2/16 + (-9585)/o?
False
Suppose 8*v - 20*v + 2820 = 0. Is v a multiple of 5?
True
Suppose 161 = 3*t + 5*j, 3*t + t - j = 230. Let x = 58 - 30. Let i = t - x. Is i a multiple of 13?
False
Let j = 1021 + -553. Is 12 a factor of j?
True
Let c(k) = k**2 - 17*k + 21. Let q be c(16). Suppose q*m - 153 = 2*m. Is m a multiple of 17?
True
Is 10*72 + (-4 - -11) a multiple of 30?
False
Is (-64)/(-1) + -21 + 17 a multiple of 6?
True
Suppose 20 - 56 = -3*w. Suppose -5*k + 3 = -w. Suppose -3 = -k*x + 60. Is x a multiple of 21?
True
Let d = 40 + -35. Suppose -d*f = -v - 2*f + 174, 582 = 3*v + 3*f. Does 42 divide v?
False
Let l be (54/(-8))/(-3 + 135/48). Suppose -5*a - l = -171. Is 9 a factor of a?
True
Let l = 424 - 263. Does 4 divide l?
False
Suppose -2*h - 3*h + 15 = 0, -4*o = h - 323. Is 8 a factor of o?
True
Suppose x = -9*u + 14*u + 2746, 2*x - 5520 = -4*u. Is 13 a factor of x?
True
Let r = -97 - -102. Suppose x = -r*m + 501, -5*m - 135 = 4*x - 639. Is 25 a factor of m?
True
Suppose 3*r = 4*o - 11, o - 4*o + 18 = r. Suppose 4*z - 13 = -w, -z = r*w - 3*z - 11. Suppose -f + 71 = 3*f - g, 0 = w*f + g - 82. Does 17 divide f?
True
Let x = -787 + 2232. Is x a multiple of 53?
False
Suppose -4*o + 7 = 3. Is 19 + (-2 - 1) + o - 2 a multiple of 4?
False
Does 8 divide (-15)/(-25) - (-15634)/(-30)*-3?
False
Suppose 2*z - 4*j = -0*j, 5*j - 2 = 2*z. Suppose 104 = 2*l - z*k, 4*l = -0*l - 5*k + 182. Is 34 a factor of l?
False
Let v = 64 + -41. Let s = 41 - v. Is 7 a factor of s?
False
Let x = -1098 + 3360. Is 39 a factor of x?
True
Let f(n) = -n**2 - 43*n + 2. Is 23 a factor of f(-29)?
False
Let s(r) be the second derivative of 13*r**4/12 - 2*r. Is 26 a factor of s(-2)?
True
Let i = -594 - -832. Is 6 a factor of i?
False
Let u = -38 + 682. Is 70 a factor of u?
False
Let v(h) = -h**3 + 5*h**2 + 10*h - 8. Is 3 a factor of v(5)?
True
Let b(s) = -s**3 + 37*s**2 - 26*s - 75. Is b(36) a multiple of 16?
False
Let v be 2/(3 + (-21)/6). Let s be v/(8/(-2)) + 1. Suppose -z + 5*c = s*c - 94, 2*c - 419 = -5*z. Does 18 divide z?
False
Let t(s) = 2*s**2 - 3*s - 8. Let v(p) = p**2 + p - 1. Let o(f) = t(f) - v(f). Let x be o(6). Suppose 0 = -x*c - 7*g + 2*g + 5, 0 = -4*c + 3*g + 32. Is c even?
False
Let s = -114 - -569. Is 13 a factor of s?
True
Is 21/15 + (6 - 205788/(-55)) a multiple of 9?
False
Suppose -3*j + 65 = -124. Let h = 155 - j. Is h a multiple of 30?
False
Suppose -17*o + 64*o - 5922 = 0. Is o even?
True
Let m(r) = -r**3 - 6*r**2 - 2. Let o be m(-5). Let c be (0 + 93)*9/o. Does 9 divide 2/2*1 - c?
False
Suppose -26*c + 34216 = 21*c. Is c a multiple of 8?
True
Let c(k) = k**2 - 5*k - 35. Let r be c(12). Let x = -1 + r. Is 22 a factor of x?
False
Suppose -150 = -4*o - 118. Is o a multiple of 8?
True
Suppose -5*f + 23 = -2. Suppose f*i = 5*c, 0 = 2*i + 6*c - 4*c. Suppose i*u + 56 = 4*u. Does 14 divide u?
True
Is ((-58)/3)/((-34)/408) a multiple of 15?
False
Let n(a) = -a**3 + 6*a**2 - 4*a. Let d be n(5). Suppose 0 = -x + 6*x + d*l - 5, 3*x + 1 = -5*l. Suppose -x*j = -51 - 78. Does 14 divide j?
False
Is 11 a factor of 225/6*(-136)/(-12)?
False
Let t(n) = -n**2 + 24*n - 7. Let k be t(10). Suppose -g = -2*f + 2*g + k, -4*f - 3*g = -221. Is 9 a factor of f?
False
Let s(b) = -10*b + 4. Suppose -5*o - 5*t - 8 = 42, 5*t + 14 = -2*o. Is s(o) a multiple of 19?
False
Let m = 12 - -39. Is 3 a factor of m?
True
Let w(u) = u**3 - 3*u**2 + 3*u - 4. Suppose 5*j = 3*y + 2*y, -j = -4*y + 9. Let z be w(y). Suppose 323 = z*v + 38. Does 19 divide v?
True
Let d(q) = -q**3 - q**2 - 2*q - 2. Let g be (1 + -2)/(-9 + 10). Let p be d(g). Suppose 0 = 3*c + 12, p = 4*f + c + 2*c - 48. Is f a multiple of 12?
False
Let q(l) = l**2 - 14*l - 15. Let w be ((-15)/(-6))/(1/6). Let p be q(w). Let a(r) = r + 70. Is 13 a factor of a(p)?
False
Let c = 25 - 17. Let f = 12 - c. Suppose -280 = -4*u - 0*u + f*a, -3*a - 144 = -2*u. Is 22 a factor of u?
True
Let k(f) = -4*f. Let b be (-3)/(3/(-4)) - 5. Is 3 a factor of k(b)?
False
Suppose 278*o + 4752 = 282*o. Is o a multiple of 54?
True
Let l = 1507 + -877. Is l a multiple of 15?
True
Suppose -17*t + 22159 + 1352 = 0. Does 23 divide t?
False
Let j(s) be the second derivative of 6*s**2 - 4*s + 0 - 1/6*s**3. Is 6 a factor of j(6)?
True
Let q = 15 + -10. Suppose q*a - 19 = 3*d, 4*d + a = -0*d - 10. Is 4*d/(-6) - -35 a multiple of 10?
False
Let n = 10 + -5. Suppose 0 = -n*u + 18 + 7. Let r = 23 - u. Is r a multiple of 18?
True
Let l(j) = -167*j - 60. Is 9 a factor of l(-3)?
True
Let v(p) be the first derivative of -p**4/4 - 4*p**3/3 + 3*p**2 + 7*p - 9. Let q b