 = 2, -n - 45 = 5*z. Let h = z + 8. Does 4 divide c(h)?
False
Suppose -n = -0*n - 1. Let f be 156*(-10)/4*n. Is (28/(-35))/(4/f) a multiple of 26?
True
Let n = -4 + 29. Suppose n = 3*t - 134. Is t a multiple of 12?
False
Suppose -52*d = -69*d + 374. Is d even?
True
Suppose -3*b - 142 = 4*t + 10, -2*b - 78 = -2*t. Let l = 17 - b. Is 17 a factor of l?
False
Let b be 4/(-8) - 786/(-4). Suppose 0 = -2*d + 8, p + 4*d - b = -p. Is 18 a factor of p?
True
Suppose 3*g - 283 = 2*f, 0 = -2*f + 3*f + 4*g + 114. Let m be (-359)/4 - (-3)/(-12). Let d = m - f. Does 11 divide d?
True
Let q(u) = -u**2 - 8*u - 6. Let p be q(-6). Let v be p - (6 + (-2 - 2)). Suppose 5*t + v*w - 149 = 110, -2*t = -5*w - 130. Is 10 a factor of t?
False
Let d = -6 - -10. Suppose d*p + 2 = 102. Let c = -11 + p. Does 7 divide c?
True
Suppose 4*a + 188 = 5*b + 63, 2*a + 94 = 4*b. Let q(r) = r**2 + 4*r. Let z be q(-4). Let i = b + z. Does 21 divide i?
True
Suppose g + 16 = 5*g, 0 = -4*r + 2*g + 136. Suppose 0*z = 3*z + r. Is 11 a factor of 4/z + (-43)/(-3)?
False
Let j(a) = a + 3 - 4 + 22*a + 20*a. Let b be j(-1). Let z = -17 - b. Does 27 divide z?
True
Suppose -2*n + 10 - 2 = 0. Suppose 115 = 4*q - 2*s - 187, -n*s = 4*q - 308. Is q a multiple of 25?
False
Let r = 703 + -639. Is r a multiple of 4?
True
Let n be 16/20 + 11/5. Suppose 6*l = n*l + 6. Let g(t) = -t**3 + 6*t**2 - 3*t - 1. Does 5 divide g(l)?
False
Suppose 411 = -b + 4*b. Let i = -81 + b. Is 11 a factor of i?
False
Suppose 5*q + 10 = 15, 2*q - 98 = -3*l. Does 16 divide l?
True
Is 29 a factor of (-52 + 50)/((-2)/433)?
False
Is 47 a factor of -94*(-10 - (-63)/18)?
True
Let p(i) = -i**3 - 3*i**2 - 4*i + 3. Let s be p(-6). Suppose -24 = -y - 3*u, u = 5*y - s - 1. Is 2 a factor of (y/(-12))/((-1)/4)?
False
Let q(r) be the second derivative of -11*r**3/2 - 7*r**2/2 + 2*r. Does 23 divide q(-3)?
True
Suppose 2*b = -2, 2*j + b + 925 = 6*j. Let t = j + -87. Is 48 a factor of t?
True
Let l(j) = -118*j - 14. Does 68 divide l(-3)?
True
Suppose 6834 + 3181 = 5*s. Is s a multiple of 22?
False
Let d = -2 + 4. Suppose d*m = -m, -5*b = 4*m - 25. Suppose -l = -b - 9. Is 14 a factor of l?
True
Let u(j) = 3*j**2 - 23*j + 16. Does 7 divide u(11)?
True
Let g = -958 - -3445. Is 72 a factor of g?
False
Let n(f) be the first derivative of -f**4/4 - 2*f - 3. Let z be n(0). Let m = z - -16. Is 8 a factor of m?
False
Let c(j) be the first derivative of -j**3/3 - 11*j**2/2 + 28*j - 3. Let w be c(-10). Let i = 59 - w. Is i a multiple of 17?
False
Let i(m) = -38*m - 81. Does 49 divide i(-6)?
True
Let z(j) = 2*j + 12. Let a be z(-5). Suppose a*y - 54 - 8 = 0. Suppose 0 = -3*o + 2*h - y + 199, -12 = 4*h. Is 12 a factor of o?
False
Let t = -2 - -552. Is t a multiple of 22?
True
Let d be (-1 + -9)/(8/4). Let s(v) = -v**2 - 11*v + 2. Is 16 a factor of s(d)?
True
Suppose -10*d + 1506 = -4*d. Is 21 a factor of d?
False
Let y(n) = 5*n**2 + 14*n + 12. Let c(u) = -u**2 - u - 1. Let t(x) = 6*c(x) + y(x). Does 4 divide t(6)?
False
Let m(h) = -h - 20 + 41 - 20. Let z be m(-7). Does 16 divide (-28)/z*(1 + -11)?
False
Let c = 1132 + -719. Is c a multiple of 10?
False
Let o be 1 + 101*(3 - 4). Let r be (-2)/8 + o/(-16). Does 25 divide 199/3 - r/(-9)?
False
Let m be 37 - (-4)/((-8)/2). Suppose p + m - 45 = 0. Is p a multiple of 9?
True
Suppose 2009*b - 2008*b - 2760 = 0. Does 46 divide b?
True
Let l(c) = -c - 10. Let x be l(-12). Suppose x*y + y = 252. Is y a multiple of 12?
True
Let i(p) = -93*p**3 + 5*p**2 + 3*p + 4. Is 57 a factor of i(-2)?
False
Let k = 409 + -291. Suppose k = -2*n + 3*m + 534, n - 4*m - 218 = 0. Does 18 divide n?
False
Let d be (-2)/((-4)/(-222)*-3). Let j = d + 35. Does 18 divide j?
True
Let f = -227 - -318. Suppose 2*y - f - 245 = 0. Suppose 5*d - 2*d = y. Does 14 divide d?
True
Let o be -2 + 3 + -3 - (-724)/(-4). Is 5 a factor of (-7)/42 + o/(-18) + 2?
False
Suppose 2*r + 3*j - 282 = 0, -3*r = -3*j - 2 - 421. Is 12 a factor of r?
False
Let r be 1/(-1 + (-10)/(-11)). Let n = r + 17. Does 2 divide n?
True
Let n(f) = 73*f**2 - 4. Let c be n(2). Suppose 8*x = 11*x - c. Is x a multiple of 16?
True
Let j be 3/(-1) - 10/(-2). Suppose 3*o + j - 26 = 0. Let a = o + 4. Is a a multiple of 12?
True
Let h(r) = -26*r**2 + 3*r. Let l be h(-5). Is 5 a factor of (-2)/3 + l/(-21)?
False
Let r be -16*44/(-8)*1. Let v = -7 + r. Does 27 divide v?
True
Let x(c) = c**3 + 21*c**2 + 20*c. Let i be x(-20). Suppose 4*t - 5*a - 397 = i, 3*t - 3*a = 196 + 101. Is t a multiple of 11?
False
Let s(n) = 6*n**2 - 3*n + 1. Let u be (-2)/8*2*-18. Let g = u + -12. Is s(g) a multiple of 16?
True
Let v be 4/18 - (-300)/108. Suppose v*q - 356 = -0*j + 5*j, -2*j = -2*q + 232. Is 7 a factor of q?
True
Let f be -3 + (7 - (5 - 3)). Suppose 0 = -z + f*z. Suppose 5*c + r = 123, -2*c - 5*r + z*r + 63 = 0. Does 13 divide c?
False
Let w(l) = -50*l**2 - l + 2. Let s be w(1). Let p = s - -79. Is p a multiple of 3?
True
Suppose 34*s - 15075 - 395 = 0. Is s a multiple of 5?
True
Let a(t) be the third derivative of -17*t**4/24 + 8*t**3 - 2*t**2 + 19*t. Is 28 a factor of a(-12)?
True
Let t(z) = 27*z + 34. Let m be t(-8). Let l = 452 + m. Is 45 a factor of l?
True
Suppose -4*o = -10 + 2. Suppose o*l - 6 = -l, 4*l - 54 = -v. Suppose 0 = -4*z - 8, 0*t + 2*t = 5*z + v. Does 3 divide t?
True
Suppose -z - 3*d + 55 = 0, 0*z + 2*d + 121 = 3*z. Let o = z + -1. Is 6 a factor of o?
True
Is 9/12*2*372 a multiple of 6?
True
Suppose -4*s = -20, -2*s + 2147 = 2*j + 53. Is j a multiple of 70?
False
Let y(k) = -k + 25. Let f be y(5). Does 19 divide (-8)/10*6*(-475)/f?
True
Let d(t) = -t + 32. Let s(x) = 8*x**2 + 3*x - 4. Let n be s(1). Let j = n + -7. Does 8 divide d(j)?
True
Let u(h) = h**3 + 10*h**2 + 8*h - 7. Let k be (-16)/112 - 48/7. Is 14 a factor of u(k)?
True
Let b = -213 - -362. Let a = -11 + b. Is a a multiple of 23?
True
Suppose -1855 = 8*t - 6991. Suppose 0 = -4*o - o - 4*b + 792, -4*o = -b - t. Does 12 divide o?
False
Suppose -4*l = -3*c + 20, -15 = -2*c + 3*c + 3*l. Suppose -2*h = -g + 24, c = g + 3*h - 1 + 2. Is g a multiple of 8?
False
Suppose -16*r + 7*r = -513. Let f = -45 + r. Does 4 divide f?
True
Let u = 22 + -10. Let k = 12 - u. Suppose -122 = -8*z + 3*z - 4*b, k = -2*z - b + 47. Is 7 a factor of z?
False
Suppose 19*g = 25*g - 24. Let f be 2/8 - 7/(-4). Suppose 0 = f*y + 2*q - 38, -y + q = g*q - 29. Does 14 divide y?
True
Suppose 2*t = -4*w - 18, 5*t + w + 35 = -10. Let p = t + 12. Is (-2)/((-6)/99*p) a multiple of 3?
False
Suppose 0 = -112*o + 44*o + 54604. Is 39 a factor of o?
False
Let b = -291 - -2023. Does 83 divide b?
False
Let v = -954 - -1006. Is v a multiple of 13?
True
Let j = -77 - -63. Let c = 114 - j. Is 32 a factor of c?
True
Suppose -5*g = -20, -l = -5*g + g + 12. Suppose -5*f + 110 = -4*z - 88, -2*z = l*f - 174. Is 7 a factor of f?
True
Let v = 90 + -2. Let z = -80 + v. Does 8 divide z?
True
Let m = 25 + -11. Let n be (-40)/15*(-507)/4. Suppose 4*c - n = -m. Is c a multiple of 22?
False
Let j = 20 - 32. Is 5 a factor of ((-152)/j)/(2/3)?
False
Suppose -4*o - k + 4190 = 0, 3*o - 5*k - 1500 - 1654 = 0. Does 16 divide o?
False
Let f(w) = 11*w - 76. Let b be (11/((-330)/168))/(4/(-10)). Is f(b) a multiple of 7?
False
Let y be (-2*6/3)/((-14)/4809). Is (-12)/(-21) - y/(-21) a multiple of 6?
True
Suppose 3*j + 3 = -0*j. Let l be ((-217)/(-14))/(j/2). Let t = -17 - l. Is 8 a factor of t?
False
Let r = -1 + 3. Let z be r - 2/(-4)*26. Does 5 divide z*((-16)/(-6) + -2)?
True
Let s = -34 - -21. Let v = s + 16. Suppose -5*r + v*r + 34 = 0. Is r a multiple of 3?
False
Suppose -3*l - 6*r = -r - 7, l - 7 = 3*r. Suppose -5*y = -y - t - 80, l*y + 5*t - 104 = 0. Is y even?
False
Suppose -l + 11 = 2*r + 3*r, 3*l = -5*r + 3. Suppose -r*z + 56 + 79 = 0. Is 15 a factor of z?
True
Suppose 62*b - 4*y - 464 = 60*b, 3*b = -4*y + 746. Does 10 divide b?
False
Let v be -3 + 9 - 4 - -119. Let j = -85 + v. Let l = j - 12. Is 15 a factor of l?
False
Suppose 0 = -3*l + 3*r + 453, -6*r - 447 = -3*l - r. Suppose -b - b = -3*k - 303, b - l = 4*k. Does 30 divide b?
True
Let f(x) = 5*x - 7*x**2 + 2*x**2 + 4 + 2*x**2 + 5. Let o(l) = 2*l**2 - 3*l - 4. Let n(d) = 3*f(d) + 7*o(d). Is 9 a factor of n(3)?
False
Let m = 2179 - 2023. Does 52 divide m?
True
Suppose 0 = -14*j - 154 - 3836. Let o = j - -478. Is 13 a factor o