iple of 10?
False
Let o = 4 - 3. Let v be (o - 6)*(-4)/10. Is 2 a factor of v*(-3)/(1*-3)?
True
Suppose -4 = -4*w + 8. Suppose -2*r = -w*r + 86. Suppose 0 = 4*l - 6 - r. Is l a multiple of 8?
False
Let v(o) = -5*o + 17. Does 7 divide v(-5)?
True
Let h(x) = -x**2 - 2*x + 2. Let a be (-3)/(1/((-3)/(-3))). Let q be h(a). Does 14 divide -2 - (-20 + q + 2)?
False
Is 11 a factor of (-8250)/(-54) + 4/18?
False
Let q be 1*(2 + 0)*-3. Let u = q + 17. Let a = 19 + u. Is a a multiple of 21?
False
Let y(b) = -5*b**3 - b**2 + 4*b + 7. Does 35 divide y(-2)?
True
Suppose 0 = -7*t + 141 + 125. Does 8 divide t?
False
Let b = -147 + 225. Is 26 a factor of b?
True
Let d = 25 + -40. Let g = 21 + d. Is 12*(g/3 - 0) a multiple of 16?
False
Is 5 a factor of ((-13)/(130/(-384)))/(9/30)?
False
Suppose 5*x = -q - 2*q + 68, 0 = -4*x + 4. Is q a multiple of 7?
True
Let a = 16 - 20. Let u(h) = -h**3 - h**2 + 2*h - 1. Is u(a) a multiple of 13?
True
Suppose -c + 4*c = 504. Does 42 divide c?
True
Let s = -6 - -9. Suppose -r = -4*w + 18, 4*r + w - 2*w = s. Suppose 3*o - 99 = -2*o - r*y, 0 = o - 4*y - 33. Does 11 divide o?
False
Let o be (-1 + -7)*(-4 - -3). Suppose -3 + 7 = -5*q + 2*v, -2*v - o = q. Let a(x) = -6*x - 3. Is a(q) a multiple of 9?
True
Let v be -1 - (-2 - -2) - 18. Let a = v + 59. Is a a multiple of 10?
True
Let p(l) = -l**3 + 5*l**2 + 3*l + 6. Does 7 divide p(5)?
True
Suppose -5*n + 4*o = -142, 0*n + 3*n - 63 = -5*o. Does 13 divide n?
True
Let w(m) be the first derivative of -77*m**4/4 - m**3/3 + m**2/2 + m + 3. Does 15 divide w(-1)?
False
Let o(r) = -2*r + 10. Let u be o(5). Suppose u = 2*z - 85 + 5. Does 17 divide z?
False
Suppose -2*r + 168 - 42 = 0. Does 21 divide r?
True
Let s(k) = -2*k. Let o be s(4). Let r = 13 - o. Is 8 a factor of r?
False
Suppose 4*o - 400 = -3*j - 0*o, -3 = -3*o. Is 12 a factor of j?
True
Suppose 53 = 5*r - 87. Is r a multiple of 12?
False
Suppose 21 = -q + 24. Suppose -v + z + 14 = 0, v - q*z + 1 = 23. Is v even?
True
Suppose -5*t = 134 - 389. Is 23 a factor of t?
False
Let i = -47 + 88. Is 3 a factor of i?
False
Let k(c) = c**3 - 7*c**2 - 4*c - 5. Let f = -9 - -17. Does 9 divide k(f)?
True
Suppose -z + s + 14 + 1 = 0, -5*z - s + 93 = 0. Is 10 a factor of z?
False
Let f be (1/3)/(2/(-12)). Let m = 1 - f. Suppose p - 2*v - 44 = -2*p, m*p - v = 43. Is p a multiple of 11?
False
Let q be (6/(-5))/(12/(-30)). Suppose -o = -6*l + q*l + 7, 3*o - l = 11. Is o a multiple of 5?
True
Let y(t) = -t**3 + 5*t**2 + t - 1. Let x be y(5). Suppose -x*z = -12, -3*r - 2*r - 3*z = -149. Is 7 a factor of r?
True
Suppose v = -4*v - 10, 4*v = -r - 6. Suppose 0 = -0*z + z + y + 2, -4*z + 22 = -r*y. Suppose -5*s + 2*m = -34, z*s + 0*m + 3*m = 33. Is 8 a factor of s?
True
Suppose 5*s = 3 + 2. Is s + -159*1/(-3) a multiple of 16?
False
Let c(s) = s**3 - 5*s**2 + 3*s + 1. Let l(g) = -5*g**3 + 19*g**2 - 13*g - 5. Let d(x) = -9*c(x) - 2*l(x). Is 8 a factor of d(-7)?
True
Let b(j) = 2*j**2 + j - 2. Let l be b(-2). Suppose -153 = l*w - 7*w. Is w a multiple of 17?
True
Let x(j) = 2*j**2 - 11*j + 14. Does 21 divide x(-6)?
False
Suppose -5*g = 5*u + 45, -29 = -0*u + 5*u - 3*g. Let a(k) = 6*k**2 + 3*k - 1. Let t be a(2). Let w = u + t. Does 14 divide w?
False
Is 21 a factor of (5/10)/(2/196)?
False
Suppose 17 = 2*y + 5. Is y a multiple of 6?
True
Let v(i) = i**3 - 7*i**2 + 4*i + 3. Does 19 divide v(7)?
False
Let o = 59 + -48. Is 9 a factor of o?
False
Suppose p - 13 = 42. Let b = p + -31. Is b a multiple of 12?
True
Let p(w) = -w - 1. Let o(f) = f**2 + 2*f - 8. Let k(g) = o(g) - p(g). Let c be k(-5). Suppose 15 = c*j, -53 + 18 = -5*d - 2*j. Is d a multiple of 5?
True
Let t = 2 - -6. Is 8 a factor of t?
True
Let r(u) = -u + 5. Let n be r(5). Suppose -4*v + 29 = -3*d, -4*d - 17 = -5. Suppose -v*x + 3*x + 36 = n. Is 7 a factor of x?
False
Is (20/(-8))/(-1 - (-237)/240) a multiple of 50?
True
Suppose 0 = -4*n, 5*p + 2*n - 170 = 4*n. Does 17 divide p?
True
Let r(z) = -6 + 12*z + 3 + 4. Is r(2) a multiple of 25?
True
Let t = 26 - -25. Is 22 a factor of t?
False
Let j(n) = -n**2 - 11*n + 12. Is 8 a factor of j(-10)?
False
Suppose 5*r - 7 = -5*v + 53, -3*v - 4*r = -41. Does 7 divide v?
True
Let p = 59 + -49. Does 9 divide p?
False
Let h(m) = -m**3 + 8*m**2 + 2*m + 9. Suppose 3*t = 2*y + 4, -2*t + 2*y = -t + 4. Suppose k = 3*x - 1, k - t*k - 3*x = -33. Is h(k) a multiple of 22?
False
Let p = 4 - 5. Does 10 divide p + 0 - 220/(-5)?
False
Let y(u) = -u**2 + 3*u. Let p be y(2). Suppose -a - p*a = -5*f + 399, -f + 77 = -2*a. Does 8 divide f/4 - 4/16?
False
Suppose 9*c - 48 = 564. Is c a multiple of 7?
False
Let j = 9 - -65. Is j a multiple of 6?
False
Let m be (2/5)/(1/25). Suppose l + 1 - 2 = 0. Let u = m + l. Is u a multiple of 11?
True
Let t = 108 + -49. Suppose 4*w - w - 2*y = t, -40 = -2*w + y. Does 6 divide w?
False
Suppose 6*h - 6 = 4*h + 2*m, -2*m + 8 = 5*h. Suppose 4*p = -h + 34. Does 6 divide p?
False
Suppose 2*y = -6, 0 = 5*u - 0*u - 4*y - 32. Let l(p) = -u*p - 1 - 3*p + 5*p. Is l(-5) a multiple of 9?
True
Suppose -2*z - 18 = -4*q, -q + 2*z + 3 = -0*z. Let k = q + 20. Is 7 a factor of k?
False
Let i = 7 + -2. Suppose -n - 2*n + 105 = 3*d, i*d - 15 = -n. Does 16 divide n?
False
Suppose 2*c - c - 12 = 0. Suppose 81 - c = 3*n. Does 17 divide n?
False
Let l(w) = -w**2 + w + 1. Let v(d) = d - 14. Let u be v(10). Let o(t) = -3*t**2 + 11*t + 11. Let n(b) = u*l(b) + o(b). Is n(-7) even?
False
Let g = -12 - -21. Suppose -d + g + 1 = 0. Is 5 a factor of d?
True
Is 12 a factor of 34 - (-3 - -5)*-1?
True
Suppose -2*t + 4*h + 2 = 0, -4*t + h = -h - 34. Does 11 divide t?
True
Let y(d) = d**3 - 4*d**2 + 7*d - 2. Is y(3) a multiple of 2?
True
Suppose 0*l + 2*l - 151 = 5*c, 4 = -2*l. Let f = c + 49. Does 18 divide f?
True
Let u be (-1 - -1)/(4 + -3). Suppose 5*t + 16 = -4*y, -4*y = -u*y - 5*t + 16. Does 8 divide (8/3)/(y/(-12))?
True
Let s = -94 - -133. Let t = s + -24. Is 4 a factor of t?
False
Is (4 - 6/4)/(1/26) a multiple of 13?
True
Suppose y - 8 = 5*y, 2*r + 5*y + 22 = 0. Let j be (-4)/18 - r/27. Is 17 a factor of -1*(j + -36 + -1)?
False
Let b(f) = -f**3 + 7*f**2 - 6*f - 7. Suppose -2 = -2*a + 2. Suppose t - 11 = a*n, -2*n + n = -t + 8. Is b(t) a multiple of 8?
False
Let y(q) = q**3 + 14*q**2 - 14*q + 5. Let v be y(-15). Does 22 divide (-4)/v + 436/10?
True
Let i be (40 - 2 - 0)*-5. Let k = 290 + i. Does 29 divide k?
False
Suppose -6*b = -4*b - 10. Suppose -4*h + 56 = -b*k, -2*h + 11 = -h - 2*k. Is 13 a factor of h?
False
Let k(g) = 17*g - 4. Does 10 divide k(4)?
False
Suppose n + 3*m = 15, 3*n - 4*m = 4*n - 20. Suppose n = -2*b - 0*b + 14. Does 2 divide b?
False
Let b(y) = -y**3 + 8*y**2 + 9*y - 12. Is b(6) a multiple of 38?
True
Let t(b) = b**2 - 6*b + 1. Let o be t(7). Let y(q) = q - 8. Let f be y(o). Let a = f + 6. Is a a multiple of 3?
True
Suppose -x - 8 = -3*x. Suppose -u + x = -16. Suppose -5*g + 2*i = -u, -i - 3*i + 44 = 4*g. Is g a multiple of 3?
True
Suppose 332 = 2*s - 2*h, 4*s - 670 = -5*h + 3*h. Is s a multiple of 10?
False
Let b = 0 - -105. Let v = b + -75. Is v a multiple of 20?
False
Let r = -49 - -103. Suppose -3*j = 4*s - 261, -4*j - r = -s - j. Is 21 a factor of s?
True
Let l = -12 - -19. Let p(u) = -3*u + 7. Let v be p(-5). Let a = v + l. Does 11 divide a?
False
Suppose 3*d - 340 = -16. Suppose d = o - 3*o. Let c = 94 + o. Does 20 divide c?
True
Let t(u) = 6*u + 6. Is 27 a factor of t(17)?
True
Let w(x) be the second derivative of x**4/12 - 2*x**3/3 - 4*x**2 - 5*x. Is w(6) a multiple of 3?
False
Suppose 6*o = 306 + 90. Does 6 divide o?
True
Let a = -62 - -146. Is 14 a factor of a?
True
Suppose u = 118 + 86. Suppose 4*i + 72 = u. Is i a multiple of 13?
False
Let d = -8 + 6. Let u be 10/(-2)*2/d. Suppose -u - 1 = -t. Is t a multiple of 3?
True
Let k(b) = -b + 20. Let y be k(0). Suppose 0*i = 4*i - 16, -2*f + y = i. Does 3 divide f?
False
Let g = 48 - 17. Is 4 a factor of g?
False
Suppose 4*p - 5*i = 26, 3*i - 2*i = p - 6. Let z(w) be the third derivative of w**5/20 - w**4/12 + w**3/6 + 4*w**2. Is 17 a factor of z(p)?
False
Suppose 0 = -8*j + 10*j - 172. Is 20 a factor of j?
False
Let j(c) = c**2 - c**2 - 8 - c + c**2. Let b = -10 + 16. Is j(b) a multiple of 11?
True
Let f = -27 + 49. Does 11 divide f?
True
Let w(h) = 7*h**3 - 3*h + 2. Is 26 a factor of w(2)