 75 + 3*r - 86. Is 29 a factor of w(-7)?
True
Suppose -7*o - 345 = -4*o. Let i = -70 - o. Is i a multiple of 15?
True
Let y(z) = 5*z**2 - 5*z - 2. Let s be y(4). Suppose 24 = 2*o - s. Suppose -k = 5*u + 2 - o, -3*k - 3*u + 57 = 0. Does 14 divide k?
True
Let c(g) = 25*g**2 - 10*g + 11. Does 25 divide c(-5)?
False
Suppose -52*w + 51*w - 13 = 0. Is (20/3)/(w/(-117)) a multiple of 10?
True
Let r be ((-2)/4 - 2)*(-48)/60. Suppose 4*d + r*l + 2*l = 88, 87 = 4*d + 3*l. Is 7 a factor of d?
True
Is (-8)/4 + (1 - -612 - 1) a multiple of 47?
False
Let d(b) = -b + 13. Let i(y) = -y**2 - 6*y + 5. Let w be i(-4). Let s be d(w). Suppose s = 2*z - 32 - 52. Does 16 divide z?
False
Suppose 4*o - 2*m - 24 = 0, 5*m + 2 + 8 = 0. Suppose -o*v = 4*c - 164, 2*v - 41 = 3*c + 20. Does 32 divide v?
True
Suppose -36*k + 33*k = -405. Is k a multiple of 10?
False
Does 8 divide (-3)/4*3916/(-33)?
False
Let h(w) = -2*w**3 + 19*w**2 + 10*w + 4. Let c(z) = 6*z**3 - 58*z**2 - 29*z - 13. Let u(a) = 2*c(a) + 7*h(a). Is u(8) a multiple of 43?
False
Is 9 a factor of 8/((-16)/(-6)) + 8*29?
False
Let r = 517 - 493. Is 4 a factor of r?
True
Let n(u) = -u + 6. Let v be n(3). Let o(l) = -3*l - 4*l - l**v - 2*l - 18 + 14*l**2. Is o(13) a multiple of 12?
False
Let v(d) be the third derivative of 0 - 2/3*d**3 + 7*d**2 + 0*d - 1/8*d**4. Is v(-6) a multiple of 14?
True
Let l(c) = c**3 + 4*c**2 - 6*c - 4. Let x be l(5). Let v be x/9 + (-10)/45. Suppose -9 = -2*j + v. Is j a multiple of 15?
True
Suppose 2*f + 2*f = 208. Let t be (-2)/(-13) + 148/f. Suppose m - 22 - t = 0. Does 6 divide m?
False
Suppose 5*d - 682 = 488. Suppose -5*v = 2*w - 227, 0*v + d = 2*w - 2*v. Is 22 a factor of w?
False
Suppose 21*j = 17*j + 1912. Let y = -260 + j. Does 10 divide y?
False
Let y = -26 - 32. Let q = y + 130. Is 5 a factor of q?
False
Let m be ((-1)/(-1))/((-6)/(-24)). Let f = 8 + m. Does 2 divide f?
True
Let c(i) = -1. Let g(d) = -3*d - 11. Let t(f) = -2*c(f) - g(f). Does 4 divide t(-3)?
True
Let o = 800 - 590. Is o a multiple of 14?
True
Let y(u) = -2*u + 2. Let f be y(0). Let s(k) = -3 + 18*k**f - 3 + k + 4 + 0. Is 13 a factor of s(1)?
False
Suppose -4*m + 3*m = -111. Let o = -91 + m. Does 20 divide o?
True
Suppose 0 = 5*o + 20, -o + 192 = 4*d + 2*o. Let r = 134 - d. Is 22 a factor of r?
False
Suppose 0*n + 4 = -2*n - 2*z, -n + 5*z + 4 = 0. Suppose 5*x - 70 = -2*b, -2*b - 4*x + 62 = -x. Let v = n + b. Is v a multiple of 12?
True
Let y(t) = 34*t + 339. Does 13 divide y(-7)?
False
Let t(i) = i**2 + 6*i - 24. Suppose -50 = -0*z - 5*z. Is 17 a factor of t(z)?
True
Let f = -205 - -292. Is f a multiple of 3?
True
Let r = -25 - 10. Let v be (-704)/(-14) - (-10)/r. Suppose -s + v = -0*s. Is s a multiple of 20?
False
Is 23 a factor of -1 + (32 + 2)*144/18?
False
Let k(g) = -12*g + 44. Let q(n) = n + 1. Let h(x) = k(x) - 3*q(x). Is h(-12) a multiple of 46?
False
Let r(z) = z**3 + 5*z**2 - 16*z + 5. Is 16 a factor of r(7)?
False
Suppose 2*p + 3*k = 3*p - 18, 5 = -k. Does 3 divide (p + 17 - 2)/(1/2)?
True
Suppose 2*j = -6, s + s + 3*j = 27. Let m be (-1 - 1)/(s/(-63)). Is 11 a factor of 5/5 + m*3?
True
Let n(c) be the first derivative of c**2/2 + 11*c + 4. Let j be n(-11). Suppose 4*a = -j*a + 32. Is a a multiple of 4?
True
Let d be -3 + 6 + 35 + -3. Suppose -5*b + d = v, v + b = 22 - 3. Is v a multiple of 3?
True
Let m(b) = -2*b - 200*b**2 + 3*b + 215*b**2 + 1. Is 24 a factor of m(-2)?
False
Suppose -4*r + w + 21 = 0, 2*r + 0*w = 4*w + 14. Is 10 a factor of (-5)/(r/(-57)) + 3?
True
Suppose -5*n = -0*n + 515. Let y = 34 - n. Is 7 a factor of y?
False
Let r = 2699 + -1719. Does 28 divide r?
True
Suppose -4*f = 6*m - 4*m - 4018, -3*f = 5*m - 3003. Is f a multiple of 76?
False
Let c = -6 - -12. Let i(s) = c - 13*s + 7*s**2 + 10*s - 6*s + s**3. Does 14 divide i(-8)?
True
Let q = -14 + 9. Let a(c) = -12*c - 32. Let y(l) = l + 3. Let u(j) = 3*a(j) + 32*y(j). Does 5 divide u(q)?
True
Suppose -s - 5099 = -4*j, -2*j + 3*s = -2*s - 2545. Is j a multiple of 85?
True
Let f be (-23)/2*2*(-3 - -8). Does 24 divide (-497)/(-5) - (-46)/f?
False
Let q(i) be the second derivative of -1/3*i**3 + 0 + 3*i - i**2. Is q(-10) a multiple of 18?
True
Let f be 0 + -10*(-3)/6. Let m = 24 - f. Suppose -7 = 2*l - m. Is 5 a factor of l?
False
Suppose 5425 = 499*p - 474*p. Is p a multiple of 7?
True
Let w = -17 + 18. Is 13 a factor of (-1 - -24) + (4 - w)?
True
Let h be (-2)/(-6) + (-45)/(-27). Suppose -308 = -2*s - h*s. Does 6 divide s?
False
Suppose -5*n + q + 179 = 0, 0 = 2*q + 2*q - 4. Suppose -n = -68*h + 66*h. Is 8 a factor of h?
False
Let z = 677 - 480. Is 22 a factor of z?
False
Let v = -1 - -8. Suppose -4*u = -u - 3. Let s = v + u. Is 2 a factor of s?
True
Is 28 a factor of 21/14 + 446/4 - -5?
False
Let h(b) = b**2 - 7*b + 10. Let l be h(5). Suppose l = 5*s - 498 + 148. Does 14 divide s?
True
Suppose -36 = -5*r + 74. Let j = r + -47. Let f = j - -36. Does 5 divide f?
False
Let v be -1*(1 + -21) + 1. Let w = -51 + 81. Suppose -i + v = -w. Is 17 a factor of i?
True
Suppose 60*u - 111*u = -186762. Does 52 divide u?
False
Let l = 6 - 8. Let g be 5 + l - (5 + -3). Suppose -5*w - g + 66 = 0. Does 8 divide w?
False
Suppose -6*n + 221 = -79. Is n a multiple of 25?
True
Suppose 8*a = 28 + 4. Suppose 2*j + 190 + 76 = 2*o, a*o = -4*j + 556. Is o a multiple of 27?
False
Let u = 7 + -3. Suppose 993 - 373 = u*c. Suppose -5*l + c = -70. Is l a multiple of 15?
True
Let q = 4939 + -2994. Is 8 a factor of q?
False
Let z = -14 + 32. Does 2 divide (6 + z/(-12))*1*2?
False
Does 10 divide 0/(-3) - (-11)/((-77)/(-1750))?
True
Let p(q) be the second derivative of 10*q**3/3 - 35*q**2/2 - 9*q. Let d(u) = u - 1. Let z(b) = -25*d(b) + p(b). Is z(-13) a multiple of 17?
False
Let m = 702 + -492. Is m a multiple of 14?
True
Let d = 75 + -52. Let i = d - 2. Does 21 divide i?
True
Let s(c) = -c**3 + c**2 + 2*c - 1. Suppose -208 = 8*u + 48. Let q = u + 29. Is s(q) a multiple of 14?
False
Let j(x) = 2*x + 1. Let i be j(0). Let y = 52 - i. Suppose 8*o - 3*o - 3*f - y = 0, 2*o + 5*f - 39 = 0. Is 5 a factor of o?
False
Suppose 7733 = 73*y - 4969. Let u be -138*(2 + (-8)/3). Let p = y - u. Is 14 a factor of p?
False
Let h(u) = 38*u - 2. Let n be -1 + 9/(6/2). Let g be h(n). Suppose -3*b + g - 3 = q, -98 = -4*b + 2*q. Is 12 a factor of b?
True
Let h be (2 - -8) + 1 + -3. Does 13 divide (4 - 6)/(h/(-364))?
True
Let w(c) = 99*c**3 - 2*c**2 - 5*c - 4. Let u be w(-1). Let o = u + 149. Is o a multiple of 7?
True
Let d be (4 - (-3 - -6)) + -51. Let m = -165 - d. Let f = -82 - m. Is 11 a factor of f?
True
Let s = 453 + 1479. Is s a multiple of 98?
False
Suppose 9*n + 8*n - 340 = 0. Is n a multiple of 4?
True
Let z = -2 + 2. Suppose -v + 3*q + 42 = z, 5*q + 81 = 3*v - 49. Does 13 divide (v - 0) + 3 + 0?
False
Is 29 a factor of -3 + (-5)/(-2) - 1922/(-4)?
False
Let c be (-6 + 5)/((-2)/14). Let n(a) = 2*a - 12. Let k be n(c). Suppose -x = -2*d - 5 - 27, k*x + 3*d - 43 = 0. Is 13 a factor of x?
True
Let x(u) = 2*u**2 - 16*u - 350. Is 124 a factor of x(-17)?
False
Is (88/(-154))/(6/21) - -666 a multiple of 34?
False
Let p be (6 - 15/2)/(1/(-2)). Suppose -p*c = -176 - 169. Is c a multiple of 23?
True
Suppose 11*m = 32*m - 44793. Is m a multiple of 56?
False
Suppose 5*x - 20 = 5*a, -4*x + 5*a + 15 = -0*a. Suppose m - 2*i - 3 = 0, -x*i + 5 = 3*m - 15. Suppose 5*c - 5*o - 322 = 38, -5 = -m*o. Is 36 a factor of c?
False
Suppose 2177 + 1747 = 6*x. Is 20 a factor of x?
False
Suppose m - 4*m + 9 = 0. Suppose -m*p = 5*v - 21, -4*p - 2*v + 0*v = -42. Suppose -8*g + p*g - 240 = 0. Does 15 divide g?
True
Let b(p) = 206*p**2 - 498*p - 5. Is 15 a factor of b(5)?
True
Does 24 divide 1/(-7) + 12820/70?
False
Let j(p) = 19*p + 738. Is j(-30) a multiple of 14?
True
Let i be (2/4)/(3/18). Suppose 2*y = -i*y + 4*d - 2, 2*d = 6. Suppose h + 227 = 3*w - 80, 308 = 3*w - y*h. Does 17 divide w?
True
Suppose 1 + 2 = 3*g. Let p(m) = -g + 2*m - 3 - m**2 - 8*m. Is p(-4) even?
True
Suppose 41 = -3*o + 26. Let j(k) be the first derivative of 2*k**3/3 + 7*k**2/2 + 3*k - 1. Does 6 divide j(o)?
True
Suppose 31*p - 37*p = -96. Let m(k) = k**3 - k**2 - 2*k + 2. Let l be m(2). Suppose d + 4*q - p = 0, 3*q + l*q = 0. Is 3 a factor of d?
False
Is 24 a factor of (-897)/(-1) - (2 - -7)?
True
Does 20 divide (-10)/(-12) + 211640