 t(l) a multiple of 34?
True
Suppose n + 6 = 3*n. Let t(i) = 5*i. Let z be t(n). Is z*(4 - (-1)/(-1)) a multiple of 12?
False
Let h(q) = -q + 1. Let b(f) = -59. Let i(n) = b(n) - 3*h(n). Does 6 divide i(25)?
False
Suppose 5*n = 3*x + 38, -x + 0*n = n + 2. Is 33 - 2/((-4)/x) a multiple of 5?
True
Let y be (-4 - -6)/(2/87). Let p = 86 + y. Is p a multiple of 30?
False
Let v = -18 - -26. Let w = -8 + v. Suppose -2*l - 16 = -u, 5*u + w*l - 87 = 3*l. Does 4 divide u?
False
Let s be (-28 - 3 - -2)*1. Let j = s - -33. Suppose 104 = n - j*f, 5*f + 430 = 3*n + 153. Is n a multiple of 21?
True
Let f(i) = -164*i - 17. Let t be f(-2). Suppose 5*u + 3*s - 410 = 0, -s = -4*u - 0*s + t. Is u a multiple of 6?
False
Suppose 20*i = 3*u + 15*i - 5449, -3*i - 3633 = -2*u. Does 10 divide u?
False
Let n(w) = -w**3 - 4*w**2 - w + 3. Suppose -r + 6 = -4*r. Let k be n(r). Let d(g) = 6*g**2 - 2*g - 3. Does 19 divide d(k)?
True
Suppose 2*t = 918 + 490. Is t a multiple of 32?
True
Let y = -221 - -677. Does 38 divide y?
True
Let v(q) = -q**3 + 11*q**2 - 13*q - 5. Is v(8) a multiple of 8?
False
Let y(r) = 3*r**2 - 15*r + 4. Let l be y(10). Suppose -2*j + 4*c = -296, j - 4*c = c + l. Is j a multiple of 18?
True
Suppose -6*q + 2208 = 2*q. Does 48 divide q?
False
Let b = -27 + 26. Let l(h) = -11*h**3 + h**2 + 3*h + 2. Is l(b) a multiple of 5?
False
Let a be 3*6/117 - (-37)/13. Is (-68)/(-4) + (5 - a) a multiple of 19?
True
Let i(o) = -4*o + 16. Let k be i(-11). Let c = -35 + k. Does 9 divide c?
False
Let o(b) = 3*b**2 - b - 15. Let q be o(0). Is 3 a factor of 3/(((-6)/q)/2)?
True
Let k(h) = -h**3 - 2*h**2 - 7*h + 12. Is k(-6) a multiple of 5?
False
Let m(r) = -r**3 - 3*r**2 + 4*r + 4. Let n = -7 - 2. Let h = n + 5. Is m(h) a multiple of 4?
True
Let l(h) = -1. Let t(z) = z - 1. Let w(f) = 3*l(f) + t(f). Let o be w(-5). Let m(s) = -s**2 - 11*s + 10. Does 9 divide m(o)?
False
Suppose 0 = m - 2*m - 2. Let g be (m + 3 - -1) + 0. Suppose -2*j + 15 = v + 3*j, -4*v + g*j + 82 = 0. Is 4 a factor of v?
True
Does 3 divide (-6422)/(-10) + (-8)/(42 - 2)?
True
Let m(n) = -n**2 + 19*n - 24. Let z be m(16). Let s(p) = 5*p - 53. Does 38 divide s(z)?
False
Let p = -14 - -17. Suppose -p*w + 8*w - 20 = 0. Suppose w*v - 64 = 28. Is v a multiple of 15?
False
Let o(y) be the third derivative of -y**6/120 - 3*y**5/20 - 11*y**4/24 + y**3 + 2*y**2. Let j = 48 - 56. Does 11 divide o(j)?
False
Let h = -1570 + 2329. Is h a multiple of 10?
False
Let m be 83*-1*(-3 + 2). Suppose 2*t + 50 = -2*s - 70, -178 = 3*t + s. Let x = t + m. Does 8 divide x?
True
Let p(q) = -q**3 - 4*q**2 - 3*q + 2. Let s be p(-3). Suppose -s*a + 5*r - 115 = 4*r, -3*a - 3*r = 186. Let w = -4 - a. Is 11 a factor of w?
True
Let v(z) be the second derivative of -z**4/12 - 7*z**3/2 - z**2 + 7*z. Does 5 divide v(-20)?
False
Let x(a) = -a**3 + 10*a**2 + 10*a + 13. Let z be x(11). Suppose -n + 96 - 20 = -2*l, z*l = -n + 56. Is 16 a factor of n?
False
Is 31 a factor of (31 - -11)/(-6) - (-463 + 3)?
False
Let j = -169 - -239. Let s = j + -23. Does 47 divide s?
True
Let g(x) = 3*x**2 + 3. Let y = 8 + -12. Is g(y) a multiple of 13?
False
Let s(n) = -107*n + 123. Is s(-6) a multiple of 15?
True
Suppose -15*u + 3974 + 466 = 0. Does 20 divide u?
False
Suppose 2*f + 1 = -3*u, u + 4*f = -3*u + 4. Does 52 divide (-25 - (-2 - u))*-10?
True
Let c be (15/4)/((-9)/(-12)). Suppose q = 5*k + 6 - 325, 0 = c*k + q - 321. Is 8 a factor of k?
True
Suppose n = -4*s + 5*s - 4, 0 = 3*n - 3. Suppose -5*h + 65 = -s*d, -4*h - 5*d - 17 = -3*h. Let v(l) = 2*l. Is 14 a factor of v(h)?
False
Let x(t) = 19*t - 69. Is x(18) a multiple of 21?
True
Let m = 2014 - 1335. Suppose 11*n + 250 = m. Is 13 a factor of n?
True
Let b = -51 + 79. Suppose -4*s - 8 = 0, 5*s - 32 = -5*q + b. Is q a multiple of 3?
False
Let u = 662 - -298. Does 13 divide ((-9)/6*-1)/(8/u)?
False
Let s be (288/(-108))/(4/(-258)). Suppose 0 = -4*t + 4*q + 80, 0*t - 4*q = -2*t + 48. Is 1/4 + s/t even?
False
Let a = -1400 + 3080. Is a a multiple of 48?
True
Let t = -1039 - -1176. Is t a multiple of 4?
False
Let s = 1198 - 368. Is s a multiple of 50?
False
Is (-812)/(-3)*9/6 a multiple of 29?
True
Let u(a) = -a**2 + 14*a + 2. Let k be u(14). Suppose -6*d = -3*x - k*d + 184, 2*x - 126 = 2*d. Suppose -j - j + x = 0. Is j a multiple of 6?
False
Suppose 3*v = 7*v - 52. Suppose 90 = -v*s + 8*s. Does 15 divide (42/s)/(2/(-42))?
False
Let d be ((-2)/(-4))/(6/60). Suppose -3*f = -u + 5, -d*u = f + f - 8. Is f*6 + 3 - -15 a multiple of 3?
True
Let u(m) = 2*m**2 + 12*m - 65. Is u(13) a multiple of 61?
False
Let u(b) = 6 + 2 - 16*b - 11. Let s be u(-4). Suppose -s = -2*p - 9. Does 9 divide p?
False
Let q be (4 + -62)/((-4)/(-2)). Let v = 29 - q. Does 12 divide (-3)/(-6)*v + 3?
False
Let p(i) = -2*i + 1. Let s(m) = 2*m. Let j(w) = -3*p(w) - 2*s(w). Is j(3) a multiple of 3?
True
Let m be (-4)/((-4)/1) + -191. Does 19 divide 228/(-95)*m/4?
True
Let y = -2057 + 2897. Suppose 24*g = 19*g + y. Is g/(-18)*(-13 - -1) a multiple of 14?
True
Let i be -56 - (1/(-3) - (-26)/6). Let a = i - -284. Is 24 a factor of a?
False
Suppose -66 = -9*w + 7*w. Suppose -o - 9 = -2*k, 2*k + o - w = -3*k. Suppose -3*y - 12 = 0, k*y - y = -5*c + 15. Is c a multiple of 2?
False
Suppose v = 7 + 55. Let t = -18 - v. Is (-210)/12*t/28 a multiple of 11?
False
Suppose 862*c - 872*c = -24260. Is c a multiple of 42?
False
Let c(t) = t**2 - 4*t - 8. Let b be c(3). Let i = 112 + b. Is i a multiple of 22?
False
Suppose 0 = -2*z + 5*z. Suppose -5*a + a - 4 = z, 0 = -u - 5*a + 255. Suppose -5*g + 5*o + u = 0, -g = o - 5*o - 52. Does 13 divide g?
True
Let c be (-2400)/390 + (-2)/(-13). Is 31 a factor of (62/c)/((-6)/54)?
True
Let q = -1042 + 1083. Is q a multiple of 2?
False
Suppose 0 = -10*s + 7*s + 30. Suppose s + 74 = 4*x. Is 7 a factor of x?
True
Suppose 4*b - 193 + 913 = 0. Let t be (-12936)/b + (-4)/(-30). Suppose 123 = 5*k - t. Is 13 a factor of k?
True
Does 5 divide ((-29)/1)/(7/(-21))?
False
Suppose 0 = -3*p - 9 + 12. Let m be 3 + -5 + p + 7. Is -32*(m/4 - 2) a multiple of 16?
True
Suppose 2*f - 3*f + 20 = 0. Suppose -2*b = -3*b + f. Does 10 divide b?
True
Let h = 356 + -324. Does 8 divide h?
True
Suppose 74*s + 14353 - 82729 = 0. Does 28 divide s?
True
Let f be -2 + (496/(-12) - (-12)/9). Let j be 0 - (15 + 0 + 1). Let a = j - f. Is a a multiple of 12?
False
Let p = 17 + -14. Let a(u) = 34*u - 2. Does 17 divide a(p)?
False
Let w be (-2)/3 + (-9)/27. Let t be -5 + 5 + w + 4. Suppose 108 = 2*m + t*c, -4*m - 2*c + 209 + 23 = 0. Is 20 a factor of m?
True
Let h(a) = a**2 + 6*a + 8. Let z be h(-5). Let i be (-3)/(-9)*z + 176. Let u = i + -125. Does 13 divide u?
True
Suppose -2*i = d - 6*d - 626, -2*d + 939 = 3*i. Let k = i + -220. Is 31 a factor of k?
True
Suppose -5 = -2*m + 3. Suppose -u = -6*u - 3*h + 195, 3*h + 183 = m*u. Is u a multiple of 20?
False
Let m(d) = 2*d**3 - 4*d**2 + 2*d + 1. Let f be m(2). Suppose 9 + 11 = f*j, -5*k = -3*j - 58. Is (1 + -17)/((-4)/k) a multiple of 28?
True
Suppose r + 474 = -3*u + 6952, 5*r + 4330 = 2*u. Does 16 divide u?
True
Let l = 4 + 22. Let d = 139 - l. Does 15 divide d?
False
Suppose 4*i - 527 - 513 = -2*t, -4*i = -3*t - 1040. Does 25 divide i?
False
Suppose -2*j - 3 + 16 = 5*n, 0 = -2*j - 2*n - 2. Let t be j/(-1) + -1*3. Suppose -3*p = -4*o - 36, t*p - 2*o - 28 - 14 = 0. Does 13 divide p?
False
Suppose 0 = 27*p - 23*p - 20. Let z be 7 - (0 + 3 + -1). Suppose 0*x - 4*x = -4, -170 = -z*j - p*x. Does 7 divide j?
False
Let z be -6*(5/15 + 0). Let a be -2 + -1 + 5 + z. Suppose a = -7*u + 12*u - 120. Is u a multiple of 8?
True
Let o be (120/(-9))/((-2)/6). Let l(z) = z**2 - 2*z - 20. Let s be l(6). Suppose o = h + s*h. Is 8 a factor of h?
True
Let b(p) = -129*p - 314. Is b(-9) a multiple of 81?
False
Suppose 0 = 4*g - 6*g + 44. Suppose -g*a = -27*a + 450. Does 15 divide a?
True
Let m(y) be the first derivative of -y**4/4 - y**2/2 + 156*y + 44. Is 13 a factor of m(0)?
True
Let h = 57 + -58. Let y = 54 - h. Does 5 divide y?
True
Let t(y) = -7 - 4*y - 2*y - 3 + 2*y. Is t(-10) a multiple of 10?
True
Let r(m) be the third derivative of 5*m**4/6 + m**3/6 + m**2. Let k be 24/6*19/38. Is 9 a factor of r(k)?
False
Let m(o) = 2*o**2 - 4*o + 758. Is 4 a factor of m(0)?
False
Is 91 a factor of (8/6)/(7720/(-2574) + 3)?
False
Suppo