 2*d - 3*d + 78 = 0, 327 = 4*g + a*d. Let t = g + -20. Is t a multiple of 13?
False
Suppose -u - 3*u + 2892 = 3*d, -5*d - 2*u = -4806. Is 32 a factor of d?
True
Let k be (-4 + 4 - -2)/1. Suppose 4*t - 44 = -2*s, -k*s = s + t - 71. Is 12 a factor of s?
True
Let r(t) = -t**3 + 14*t**2 + 16*t + 20. Let c be r(15). Does 9 divide 0/(6 + -1) + c?
False
Let z = 860 - 34. Is 14 a factor of z?
True
Suppose -12 = -2*c - 18, 3*c + 169 = 2*k. Is k a multiple of 56?
False
Let c be (-1*15)/(3 - 4). Let l = c + -19. Let p(j) = 3*j**2 + 5*j + 5. Does 11 divide p(l)?
True
Let h = 34 - 19. Suppose h*u = 10*u + 30. Does 2 divide u?
True
Suppose -20 = -2*u - 2*u. Suppose 59 = h - u. Suppose -8*c + 4*c + h = 0. Is c a multiple of 16?
True
Let q = 385 - -140. Is 20 a factor of q?
False
Let n = 13 - 11. Let x be 1/(-2 + n + -1). Is 6/(-2) + 11 + x a multiple of 3?
False
Suppose 13*z - 358 = 58. Let w = z + -8. Is 8 a factor of w?
True
Suppose -5*w + 1580 = -0*w + 4*j, 2*w - 639 = -3*j. Is w a multiple of 13?
True
Suppose 3*z - m = 2758 + 1464, -4*m - 16 = 0. Is 74 a factor of z?
True
Let p(a) = 0*a + 2 + 2*a + a**2 - 3*a. Let l be p(0). Suppose l*k - k - 52 = 0. Is k a multiple of 13?
True
Suppose -7*d + 460 = -590. Is 15 a factor of (81/45)/(9/d)?
True
Let z be 12/18 + (-74)/3. Does 5 divide 5/4*-1*z/3?
True
Suppose -5*o + 6 = -s, 3*o - s - 3 + 1 = 0. Suppose 4*z + 4 = 0, 53 = 5*a + o*z - 35. Is a a multiple of 18?
True
Suppose -22*a + 1301 = 3. Does 15 divide a?
False
Let r(f) = 18*f + 90. Does 29 divide r(24)?
True
Suppose -2*q = -28 - 34. Suppose -5*s + 29 = -q. Does 12 divide s?
True
Suppose -3*x = -2*v + 43, -4*v - 2 = 5*x + 33. Let f be x/33 - 278/(-6). Suppose -5*q + f = -3*m, q - m - 12 = m. Does 7 divide q?
False
Let z = -91 + 491. Does 40 divide z?
True
Let n(r) = -26*r - 4. Let o(x) be the second derivative of x**3/3 - 15*x**2 + 3*x. Let l be o(14). Is n(l) a multiple of 8?
True
Let z(m) = 7*m**2 - 8*m + 4. Let g(p) = 15*p**2 - 16*p + 9. Let f(c) = 6*g(c) - 13*z(c). Let a = 32 + -25. Does 9 divide f(a)?
True
Let f(i) = -12*i - 14. Let s be f(-12). Suppose x = -x + s. Let l = 97 - x. Is 16 a factor of l?
True
Suppose -p = 20 - 24. Suppose -4*x - 32 = -p*a, -a - 2 = x - 10. Suppose 0 = -a*f + f + 84. Is f a multiple of 7?
False
Suppose -5*k + 33*r - 31*r + 5 = 0, -10 = -2*r. Suppose 3*c - y - 88 = 0, 3*c = 4*y + 31 + 42. Suppose -5 = 5*b, -k*p = -2*b + c - 93. Does 4 divide p?
True
Let i(f) = f**2 - 5*f - 18. Let j be i(11). Suppose 3*x = -2*a + j, -x + 56 + 90 = 5*a. Does 5 divide a?
True
Suppose -19135 = -11*u - 6419. Is 68 a factor of u?
True
Let o = 403 + -187. Suppose 5*f - o = 2*f. Is 42 a factor of f?
False
Let u(l) = -2*l + 19*l**2 - 2*l + l + 2. Let i be u(1). Is -9*(-15)/i*4 a multiple of 6?
True
Let v(a) = -a**2 + 15*a + 11. Let u(i) = -i + 1. Let l be u(-10). Is 18 a factor of v(l)?
False
Let s = -2872 + 4147. Is 25 a factor of s?
True
Suppose -15*r + 17*r - 14 = 0. Let q be -14 + (-2)/4*0. Let o = r - q. Is o a multiple of 7?
True
Suppose 0 = -3*y - 5*v + 5929, v - 5909 = -3*y + 6*v. Is y a multiple of 12?
False
Suppose 0 = 8*o - o - 826. Let g = o - 40. Is 39 a factor of g?
True
Let g(z) = z**3 - 8*z**2 + 14. Let o be g(8). Let s(q) = q**2 - 9*q - 37. Does 2 divide s(o)?
False
Suppose 0 = 4*d + 8, -11 - 3 = 4*q + 3*d. Let y be ((q - -8)/(-1))/(-2). Suppose 2*p = 2*r - p - 81, 4*p = -y*r + 147. Is 13 a factor of r?
False
Let v(r) = 60*r. Let u be v(1). Suppose k + k - u = -2*y, 5*y = 5*k + 180. Does 14 divide y?
False
Suppose 0 = -16*p + 22*p - 246. Is 6 a factor of p?
False
Suppose 2*p + 5*a - 9 = 20, 2*p + 21 = 5*a. Suppose -p*g = -9*g + 301. Does 8 divide g?
False
Let r be 2/((-6)/(-4) + -1). Let u(f) be the third derivative of 5*f**4/12 - 2*f**3/3 - 10*f**2. Does 12 divide u(r)?
True
Is 26 a factor of 206 - ((-14)/(-4))/((-3)/(-6))?
False
Let d = 20 + -29. Let j(m) = -m**2 - 10*m + 7. Is j(d) a multiple of 16?
True
Suppose 4*j = 624 + 48. Is j a multiple of 24?
True
Suppose 43 = 6*t + 13. Suppose 3*x = 2*z - z + 12, -5*x + t*z + 20 = 0. Is x/14 + 1214/14 a multiple of 29?
True
Let z = 108 + -530. Let o = 618 + z. Is o a multiple of 26?
False
Suppose 0 = -5*o + 140 + 140. Let s = 34 + o. Is s a multiple of 18?
True
Is 2/2*1290/10 a multiple of 43?
True
Suppose -3*l + 0*l = -36. Let p(q) = -2*q**2 + 15*q - 14. Let c be p(7). Let r = c + l. Is r a multiple of 4?
False
Let r(t) = t**3 + 18*t**2 - 11*t - 10. Let x be r(-17). Suppose 4*m = -5*z + 434, 0 = z - 6*z + 4*m + x. Is z a multiple of 5?
True
Let v(r) be the third derivative of r**6/120 - r**5/30 - r**4/12 - r**3/6 - 3*r**2. Let h be v(3). Suppose -7*i + h*i + 65 = 0. Is i a multiple of 3?
False
Suppose 0 = -b + 5*r - 17, -2*b + 3*b - r = -1. Suppose j - b*i + 2*i - 170 = 0, 4*i = 0. Does 41 divide j?
False
Suppose -4*o + 5*q = -2 - 22, 3*q + 12 = 0. Let h(v) = 17*v - 1. Is 8 a factor of h(o)?
True
Let x(r) = -50*r - 1. Let g(c) = 49*c + 2. Let b(s) = -3*g(s) - 4*x(s). Suppose -6*y = -9*y + 3. Does 17 divide b(y)?
True
Let h be 1/4 - (-38)/8. Let d = -436 + 452. Suppose d = -h*t + 331. Is 19 a factor of t?
False
Let h(g) = g**2 + 19*g + 2. Let c be h(-16). Is 34 a factor of ((-23)/c)/(2/696)?
False
Let w(q) = 2*q**2 + 7*q + 140. Does 15 divide w(0)?
False
Let s be (-26)/(-10) - (12/(-20))/(-1). Suppose s*p = 5*i - 0*i - 55, -3*p + 44 = 4*i. Is i a multiple of 11?
True
Let i = -14 + 14. Suppose i = -3*f + r + 49, 3*f - 2*r - 22 = 22. Suppose -78 - 12 = -5*p + 5*u, p - 2*u = f. Is p a multiple of 9?
True
Let q be 2*-1 + 2 + (-119 - 2). Let s = 231 + q. Is 22 a factor of s?
True
Let w = -42 + 8. Let n = 114 + w. Is 20 a factor of n?
True
Suppose 3*b = -4*l + 13, 0*l + 10 = -2*b + 2*l. Let t(c) = 1 - 3*c + 3*c - 67*c**3 + 19*c**3. Is 14 a factor of t(b)?
False
Let d = 163 + -161. Suppose 4*r - 591 = d*l + l, 5*l = 4*r - 601. Is r a multiple of 9?
True
Let r = 51 + -10. Let n = r + 16. Is n a multiple of 19?
True
Suppose -11*s + 13*s = 300. Is s a multiple of 6?
True
Let p(d) = -d**2 + 3*d - 5. Let z be p(-6). Let j = -54 - z. Is j a multiple of 2?
False
Does 42 divide (-42)/56 - (-6390)/8?
True
Let i be 4503/(-27) + 4/(-18). Suppose 936 = 4*d + 2*t + t, -4*d + 932 = 4*t. Let l = d + i. Is 35 a factor of l?
True
Let q(t) = t**2 + 15*t - 60. Let d be -1 + 3 + (-4 - (18 - 1)). Is 2 a factor of q(d)?
True
Let d = 22 - 37. Let r be ((-66)/d)/((-10)/(-25)). Let a = 13 + r. Is 5 a factor of a?
False
Let l(d) = 3 - 3*d + 1 - 4 + 2. Let k be l(-4). Let c = k - 8. Does 4 divide c?
False
Suppose -2*m + 15 = -3*b, -4*b + 2 = 5*m - 1. Suppose s - 54 = m*s. Let y = s - -39. Is y a multiple of 12?
True
Let u(n) = -20*n + 216. Is u(-18) a multiple of 12?
True
Let z be (-2)/(-3) - 14/3. Is 13 a factor of (-2 - (-122)/z)*-2?
True
Suppose -z + 0*z + 5 = 0. Suppose -z*h + 13 + 12 = 0. Suppose -h*s + 2*s + 48 = 0. Does 8 divide s?
True
Suppose -2*d + 3440 = -5*m, d - 5139 = -2*d - 3*m. Is d a multiple of 35?
True
Let f = 481 + -413. Is 34 a factor of f?
True
Let d = -3 + 3. Suppose -8*f + 228 = -5*f. Suppose d = m - 2, -f + 309 = 3*i + m. Is 20 a factor of i?
False
Let f(i) = 29*i - 67. Is 31 a factor of f(13)?
True
Does 7 divide 14/(-21)*3159/(-18)?
False
Suppose -c - 3*b + 4473 = 0, 5*c - b = 15923 + 6426. Does 24 divide c?
False
Is -6*1 + (555 - 12) + -4 a multiple of 20?
False
Suppose 20*l = 25*l + 4*c - 2844, 1704 = 3*l + 3*c. Is 11 a factor of l?
True
Suppose 26*o - 37*o + 2002 = 0. Does 14 divide o?
True
Suppose -3*t + t = -1460. Suppose 155 = n + 2*r, -4*n + r - 101 = -t. Suppose -n = -4*z - 5*j, -209 + 39 = -5*z - j. Is z a multiple of 11?
True
Let l be 1*(-5 - -3) - -2. Suppose -15 = 5*b, -2*k + 4*b = -l*k - 16. Suppose 0 = y - 2*u - 50, k*u + 5 = u. Is y a multiple of 10?
True
Let n = -1260 + 3115. Is 17 a factor of n?
False
Let h(c) = 3*c**2 + 21*c - 20. Suppose 2*f + 28 = 4*y, 0 = y + 2 - 4. Does 47 divide h(f)?
False
Let j be (5 - 3) + 284 + -1. Let q = j - 112. Let l = q - 89. Does 21 divide l?
True
Suppose -2*y + 30 = v - 1, y = -2*v + 14. Let i be (11 + -9)*(-1 - -7). Is 8 a factor of 4*i/y*8?
True
Is 585 + (-36)/4 + -8 a multiple of 4?
True
Let o(r) = -8*r**2 + 3*r - 2. Let s be o(1). Let f(k) = -9*k + 4. Let u(h) = -9*h + 3. Let g(a) = -5*f(a) + 6*u(a). Does 26 divide g(s)?
False
Let q = 