-0*n + 3*d + 30, n - 2*d - 16 = l. Does 3 divide n?
True
Let t(k) = 172*k + 100. Does 20 divide t(30)?
True
Let c be ((-4)/(-10))/((-3)/(-90)). Let u = c - 10. Suppose -u*y = 5 - 29. Is y a multiple of 6?
True
Suppose 2*v - 16 = -5*n, -3*v = -4*n + 2 - 3. Suppose 2*z = 2*r - 0*r - 52, -5*r + 126 = -v*z. Is r a multiple of 12?
True
Let o = 27 - 27. Let d be -1 + o + (-4 - -48). Let i = 60 - d. Does 12 divide i?
False
Let l = 113 - 57. Suppose 2*y + 4*i = 46 + 22, 118 = 4*y + 2*i. Let k = l - y. Does 14 divide k?
True
Suppose -a + 10*a + 1998 = 0. Is 12 a factor of 2/(4*(-1)/a)?
False
Let l be 27/(-2)*(3 + (-44)/12). Suppose 5*i - l*i + 764 = 0. Is i a multiple of 15?
False
Suppose -13*q = -26*q + 5317. Is q a multiple of 9?
False
Let z(c) = 4*c**2 + 7*c - 18. Let l be z(3). Suppose -6*u + l = -75. Is 2 a factor of u?
False
Suppose 0 = -2*w - 3*d + 16, -w + 12 = w + d. Suppose -3*i = -k + 71 - 180, w*i = -2*k + 167. Is 8 a factor of i?
False
Suppose -3*n = 5*r - 4039, -4*n = -0*n - 12. Is r a multiple of 62?
True
Suppose 7*x + l - 56 = 4*x, -2*x + l + 34 = 0. Is 22 a factor of (2 + 804/(-15))/(x/(-45))?
False
Suppose -405*q - 26908 = -419*q. Is 31 a factor of q?
True
Suppose -4*o - 4 + 20 = 0. Suppose -5*p + 2*p = -4*h + 11, 0 = -o*p + h + 7. Suppose -11 - 4 = -p*a. Is a a multiple of 5?
True
Is ((-3)/(-2))/(6/648) a multiple of 6?
True
Let v(w) = w**3 + w**2 + w - 1. Let b be v(-1). Is b/6 - (-37)/3 a multiple of 4?
True
Let f = 14 + 2. Let w = 13 + f. Is 14 a factor of w?
False
Let j(w) = 11*w - 7. Let o(d) = -2*d**2 + 23*d + 16. Let f be o(12). Is j(f) a multiple of 11?
False
Let o(u) = -84*u - 84. Is o(-4) a multiple of 42?
True
Let k be (-8)/12 + 2/(-12)*-52. Does 8 divide 53 - (-2)/(k/12)?
True
Is 1/((4/(-224))/(26/(-8))) a multiple of 27?
False
Let m = 3 + -3. Let s(o) = o + 4. Let f be s(m). Suppose -f*p - p = -190. Is p a multiple of 10?
False
Suppose 3*a = x - 228, 4 = 5*a - 4*a. Is 12 a factor of x?
True
Let u = 8 - 10. Let l be (u - (-4)/(-1)) + 2. Is 19 a factor of 40/(l*(-2)/12)?
False
Suppose 2*r = -0*r + 6, -32 = 5*k + r. Let v = k + 11. Suppose -66 = -2*g + 3*m, v*m + 9 = -5*g + 174. Is 11 a factor of g?
True
Suppose 0 = 269*p - 290*p + 97734. Is 11 a factor of p?
False
Is 11 a factor of (-17)/((-34)/5196) + -2?
True
Suppose -3*k + 5*k - 2 = 0, 3*k + 57 = -5*n. Let a be (8/n)/(4/(-36)). Is ((-150)/8)/(a/(-16)) a multiple of 10?
True
Let r be (-102)/(-14) + (-2)/7. Suppose 25 - r = j. Is j a multiple of 9?
True
Suppose -4*c + 7*q = 9*q - 1276, -3*q - 1584 = -5*c. Is c a multiple of 22?
False
Let q = -27 + 39. Let s(u) = u**2 - 16*u + 8. Let l be s(q). Is (-1296)/l + 3/5 a multiple of 11?
True
Let f = 77 - -314. Does 7 divide f?
False
Suppose 5*f + 3*h = 4*h + 23, h - 27 = -5*f. Suppose -3*q + 2*r = -552 + 9, -5*q = -f*r - 900. Is 11 a factor of q?
False
Let n(h) = -h + 2. Let d(y) = -22. Let k(j) = 2*d(j) + 22*n(j). Does 2 divide k(-1)?
True
Let g be -1 - (-3 - (2 + -1)). Suppose g*j - 26 = 5*d, -2*j - j = 5*d + 14. Suppose 0 = -t - 5*y - 14, 5*t - j*y - 97 = -32. Is t even?
False
Let p = -110 - -293. Does 10 divide p?
False
Let z = 3146 + -1076. Does 30 divide z?
True
Suppose -5*s - 5*d = -180, 6*d = s + 3*d - 20. Suppose 0*p - s = -2*p. Is p a multiple of 14?
False
Let f(h) = -9*h - 42. Does 20 divide f(-8)?
False
Let c(g) = 8*g**2 - 28*g + 14. Let s be c(-14). Suppose 7*b - s = -7*b. Is 47 a factor of b?
True
Let z(d) = -65*d + 825. Is z(-13) a multiple of 45?
False
Let y be 1 + ((-680)/4)/(-5). Suppose 0 = -4*g + 301 + y. Does 14 divide g?
True
Let c = 1124 + -984. Does 4 divide c?
True
Let i be -4*2/(-4) - 44. Let j be (-2)/(87/i - -2). Does 20 divide (-12)/j - 1252/(-14)?
False
Let q be (-6)/4*(-248)/12. Let l = 116 - q. Is 30 a factor of l?
False
Suppose 29 = 3*g - 2*r - 32, -58 = -4*g - 2*r. Suppose -g = -5*x - 3*s + 29, 0 = 2*s - 4. Is x a multiple of 8?
True
Let x = -426 - -433. Suppose 0 = v + v - 34. Let s = v - x. Is 10 a factor of s?
True
Suppose 0 = 3*v - 45 + 207. Let z be ((-3)/9)/(6/v). Suppose z*y - 76 = y. Is y a multiple of 8?
False
Let q = -8 - -14. Suppose 2*i = -10, b - q*b - 3*i = -540. Is b a multiple of 37?
True
Let p(v) = -3*v**3 - 5*v**2 - 2*v + 3. Suppose -12 = 3*u + u. Let t be p(u). Let g = t - 7. Is g a multiple of 17?
False
Is 5/(6 - -19) - 974/(-5) a multiple of 15?
True
Let c(l) = l**3 - 17*l**2 + 15*l + 16. Let p be c(16). Let g be -6 + (p - -3) + 7. Let z = g + 25. Does 29 divide z?
True
Suppose l - 240 = -4*v + 3*v, 4*v - 1202 = -5*l. Suppose -3*z + o + l = 3*o, -5*z + 406 = 4*o. Is 26 a factor of z?
True
Let w = 4 - 0. Suppose w*x + 1 = 9. Suppose 2*o = -x*h - 0*o + 134, -2*o + 347 = 5*h. Is 24 a factor of h?
False
Let y = -174 - -41. Let f = y + 410. Does 14 divide f?
False
Suppose 9*f = 2*f + 2443. Let m = -225 + f. Does 20 divide m?
False
Suppose 2*m - 4*m = -10. Let h(p) = p**3 + p**2 + p - 1. Let y(a) = -6*a**3 + a**2 - 6*a + 9. Let r(x) = 5*h(x) + y(x). Is r(m) a multiple of 5?
False
Let t(b) = -7*b**2 + 10*b - 12. Let j be t(5). Let r = 251 + j. Does 25 divide r?
False
Let t(g) = -5*g - 1 - 3 - 5. Is 15 a factor of t(-6)?
False
Let w be 4/((-3)/((-141)/2)). Let j = 286 - w. Is j a multiple of 24?
True
Let a = 469 - 213. Is a a multiple of 32?
True
Suppose -3*n = a - 1 + 13, -n - 2*a - 4 = 0. Let l be -14 - (n + (-1)/(-1)). Does 13 divide (2 - 1 - l) + 1?
True
Suppose -2*s + 4 = 0, -4*r - s + 105 = 23. Suppose f - r = -0*f. Suppose 3*w - 37 = f. Does 19 divide w?
True
Let l be (-3)/(-9)*(5 + 1). Suppose l*i = -4*i + 792. Is i a multiple of 38?
False
Suppose 3*v + 4*d - 19840 = 0, 230*v = 226*v + 2*d + 26446. Does 12 divide v?
True
Suppose -f - d = -172, -3*d = 4*f - 891 + 198. Let x = f + -87. Does 4 divide x?
False
Let j(k) = -8*k. Let w(h) = -2 - 3*h + 1 + 10*h + 0*h. Let y(p) = 5*j(p) + 6*w(p). Is 11 a factor of y(14)?
True
Suppose i = 6*i + 270. Is 19 a factor of -1 + (-14)/(-18) + (-8220)/i?
True
Let r = -121 - -181. Does 10 divide r?
True
Let o be (4/6)/(8/(-36)). Let n(f) = -f**3 - 4*f**2 - f - 2. Let p be n(o). Does 37 divide (-2)/p + 1772/16?
True
Let m be 153/(-5) + 4/(-10). Let i = m + 105. Let u = i + -52. Is u a multiple of 8?
False
Suppose -9*x + 1157 = -139. Is 36 a factor of x?
True
Let n(b) = b**3 + 6*b**2 + 4*b - 6. Suppose -17 = -j - 5*l, -4*j = -6*j + 4*l - 22. Does 9 divide n(j)?
True
Let l be (-2)/11 - 2/33*-3. Suppose -86 + l = -a. Is a a multiple of 9?
False
Suppose 20*u - 53482 = -2*u. Is u a multiple of 56?
False
Suppose 2*a - 3*m - 192 - 218 = 0, -4*a + 4*m + 820 = 0. Does 5 divide a?
True
Suppose 117*s - 9*s - 58752 = 0. Does 8 divide s?
True
Let a(q) = 2*q**2 - 17*q + 1029. Is 61 a factor of a(0)?
False
Suppose 4*c + 1170 = -l, 3*l - l = 4*c + 1176. Let d = 411 + c. Does 27 divide d?
False
Let n = -2 - -97. Does 5 divide n?
True
Is 1571 + (-40)/(13 + -8) a multiple of 65?
False
Let s be 0*((-16)/12 + 1)*-3. Suppose 2*n + 0*n - 89 = -a, s = n + 2. Is a a multiple of 6?
False
Let d = -43 - -43. Suppose d = -p + 24 - 1. Is p a multiple of 5?
False
Let i(h) be the third derivative of -h**6/120 - h**5/20 + h**4/8 - h**3/6 - 4*h**2. Let a be i(-4). Is ((-2)/4)/(a/(-72)) a multiple of 6?
True
Suppose 15*b + b = 5632. Does 32 divide b?
True
Suppose 0 = a - 2*h - 134, 326 + 41 = 3*a + h. Is 7 a factor of a?
False
Let a be (-2)/(-5)*225/30. Is a/(-7) - (-680)/35 a multiple of 10?
False
Let y(u) = -u**3 - 8*u**2 - 3*u + 4. Let w be y(-3). Is (-1)/((-2)/w*-1) a multiple of 13?
False
Suppose 4*f - 4*k = 548, -2*f + 5*k + 421 = f. Is (-1 + 4)*f/18 a multiple of 11?
True
Let n(d) = 10*d**2 - 36*d - 20. Is n(10) a multiple of 33?
False
Let y(l) be the second derivative of -2*l**3/3 - 7*l**2/2 + 7*l. Is 4 a factor of y(-4)?
False
Suppose 46*z = -12*z + 3828. Does 22 divide z?
True
Does 20 divide 59 + -55 - 7/((-14)/432)?
True
Suppose 11*i - 10*i = 404. Does 4 divide i?
True
Suppose -2*j = 0, -3 = -x - 2*j - 1. Suppose -x*v = 1 + 227. Is v/(-7) + (-6)/21 even?
True
Suppose 30269 = 24*v + 5213. Is 6 a factor of v?
True
Let j(d) = 41*d - 13. Suppose 4 + 16 = 4*z. Does 32 divide j(z)?
True
Let g(b) = 6*b**2. Let l be g(1). Let y(d) = 26 + l*d**2 - 5*d**2 - d + d**3 + d**3 - d**3. Does 13 divide y(0)?
True
Let s(l) = -l**3 + 5*l**2 - 4*l + 3. Let f be s(4). Suppose 0 = 4*i