5 a factor of w?
False
Suppose 969 = a - 4*v - 0*v, 5*v = -5*a + 4720. Does 13 divide a?
True
Let m(s) = -s**3 + 6*s**2 + 2*s - 1. Let l be m(5). Let n = l + -28. Is 24 + 2*(-3)/n a multiple of 11?
False
Suppose -5*n - 2*y = 3*y - 605, 2*n + 3*y = 237. Is 11 a factor of n?
False
Suppose 0 = 5*v + x - 8995, -4*x + 9*x + 5369 = 3*v. Is v a multiple of 29?
True
Let c(k) = 27 - 4*k - k**3 + 2*k**3 - 12*k - 14*k**2. Is c(15) a multiple of 3?
True
Let c = -1129 - -1689. Does 10 divide c?
True
Let s = 1250 - 91. Is s a multiple of 32?
False
Let c = -16 - -19. Is (7 + (2 - 1))*6 + c a multiple of 17?
True
Let z(s) = s**2 - 2*s - 8. Let p be z(4). Let k be p*(0 + (2 - 3)). Suppose 5*f + 47 - 437 = k. Is 20 a factor of f?
False
Let s = 695 + -258. Is 12 a factor of s?
False
Suppose 5*r + 2 - 32 = 0. Let v be r*(-2 - 36/8). Let k = 72 + v. Is k a multiple of 8?
False
Suppose 2*b = 2*z - 136, -5*z + 347 = 4*b - 2*b. Let m = z - 56. Does 4 divide m?
False
Is 40/(-80) + (-1514)/(-4) a multiple of 63?
True
Let l(m) = 6*m**2 - 7*m - 11. Suppose u - 2*q + 0 = 5, -u + q = -5. Does 26 divide l(u)?
True
Let s(k) = 3*k - 53. Let r be s(-4). Does 9 divide 1 + 2 - (3 + r - -2)?
True
Let z be 9/6 - 174/(-4). Let k = -18 + z. Let x = 9 + k. Is x a multiple of 12?
True
Suppose -16*u = 5*u - 6237. Does 37 divide u?
False
Let s(i) = i + i - 12 + 21. Let n be s(12). Let w = -19 + n. Is w a multiple of 14?
True
Let g be 21/((-3)/(-45)*5). Suppose 2*z + 74 = 2*o + 2*o, -3*o + 4*z + g = 0. Does 6 divide o?
False
Let g be 3*4/(48/20). Suppose g*a - 6*a = -36. Is a a multiple of 18?
True
Let s(a) = -18*a. Let l be (-10)/35 - (-2)/7. Suppose 5*f + l = -5. Is 6 a factor of s(f)?
True
Let h(x) = -x**3 - x**2 - 18. Let p be 2 + 1 + 1 + -4. Let v be h(p). Does 4 divide ((-15)/18)/(3/v)?
False
Let g = -173 - -387. Let b = g + -105. Is 13 a factor of b?
False
Let s = -100 + 1431. Is 27 a factor of s?
False
Suppose -8 + 3 = -w. Suppose 25 + 0 = w*y. Suppose 2*g - y*d = 8, -5*g + 4*d = -6 - 31. Does 7 divide g?
False
Let i = 493 - 425. Is i a multiple of 17?
True
Suppose -202*n = -209*n + 819. Is 6 a factor of n?
False
Let r = 9 + -7. Suppose 0 = -4*o - 5*c + 95, 0*o - 4*c = -r*o + 28. Suppose 0 = 11*q - 7*q - o. Is q a multiple of 2?
False
Let w(h) = -h**2 - 8*h + 3. Suppose 3*u = 2*u - 2, -n = -2*u + 5. Let k be w(n). Let v(z) = -2*z - 6. Is 3 a factor of v(k)?
True
Let y = 1420 + 1610. Is y a multiple of 30?
True
Suppose -2*y - i + 34 = 0, 2*y - 4*y + 14 = -4*i. Suppose -y = -3*f - 0. Suppose -r = -f*o - 22, -4*r + 43 = -3*r + 2*o. Is 32 a factor of r?
False
Let k(l) = l**2 - 4*l - 775. Let i be k(0). Does 9 divide ((-3)/(-3))/(3870/i - -5)?
False
Suppose -j + 300 = j. Suppose 3*d + 14 = 5, 5*y + 5*d - j = 0. Does 33 divide y?
True
Let r = -123 + 153. Does 10 divide r?
True
Let s(n) = 43*n**2 - 2*n - 1. Let b be (-90)/27*(-6)/4. Suppose -2*r - 3*r = b. Is s(r) a multiple of 20?
False
Let v be ((-12)/(-5))/(3/400). Suppose 4*z = 3*g - 4*g + v, 4*z - 5*g = 320. Is (44/55)/(2/z) a multiple of 8?
True
Let l = 277 + -43. Is 13 a factor of l?
True
Let r(o) = 5*o**2 + 2 + 93*o**2 - 1 + 2*o. Is r(-1) a multiple of 27?
False
Let n(j) = 17*j + 14. Let m = -146 + 153. Does 17 divide n(m)?
False
Let n = 1456 - -546. Is 14 a factor of n?
True
Let v = -50 - -29. Does 11 divide (7/v)/(1/(-57))?
False
Suppose -4*s + 9*s + 160 = 0. Let x be (-2)/(-7) + s/14. Does 3 divide 0 - x - 0 - -12?
False
Let b be 12/(-5)*70/(-28). Suppose -b*a = -405 - 135. Is 13 a factor of a?
False
Let a = -39 - -283. Is 4 a factor of a?
True
Let x(o) = -4*o**2 + 10*o + 9. Let d(l) = 7*l**2 - 20*l - 17. Let a(h) = -3*d(h) - 5*x(h). Let z be a(9). Let w = -4 + z. Does 8 divide w?
False
Let k(a) = a**3 - 13*a**2 + 13*a + 4. Let g be k(10). Let c = -30 - g. Suppose 0 = 8*r - 0*r - c. Does 17 divide r?
True
Let b(a) = a + 1. Let m(t) = 6*t + 41. Let x(h) = -5*b(h) + m(h). Let k be x(-11). Let w = k - 15. Is w a multiple of 5?
True
Let c = 4232 + -2790. Is c a multiple of 14?
True
Let x(s) = -5*s + 8. Let z = -65 - -59. Does 4 divide x(z)?
False
Suppose -4*i = -d - 6 - 0, 66 = 4*d + 2*i. Let k be d/4*4/7. Suppose -k*c = -7 - 1. Is c even?
True
Suppose -3*r + 110 = -79. Suppose -4*d = 2*f - 84, -d = 2*d + 5*f - r. Does 3 divide d?
True
Let l = 37 + -20. Suppose 23*g = 21*g + 24. Let y = l - g. Does 4 divide y?
False
Suppose 5*n + 7*a - 113 = 3*a, 3*n - 4*a - 55 = 0. Let i(g) = -g**2 + 34*g + 2. Is i(n) a multiple of 55?
True
Suppose -40 = -3*f - 13. Suppose f*k = 7*k + 90. Is k a multiple of 9?
True
Suppose 5*y - 574 = 171. Let h = 212 - y. Does 34 divide h?
False
Is (-6)/(336/(-808)) + 6/(-14) a multiple of 14?
True
Suppose 5*d + 3 + 2 = 3*y, 0 = -2*d + 4. Suppose -7*f - y*f = -1440. Is f a multiple of 20?
True
Let j(h) = 42*h + 80. Does 37 divide j(9)?
False
Let o(x) = -x**2 - 6*x - 7. Let t be o(-4). Let d = 3 + -3. Suppose d = 4*m + t - 37. Is m a multiple of 9?
True
Let n be (-10)/(-3) + (-20)/(-30). Is 23 a factor of (-5 + 4)/(n/(-536))?
False
Is 18 a factor of 3*(-3)/36 + 1348/16?
False
Suppose -17 = -r - 2*r - 2*y, 27 = 5*r + 3*y. Let v(w) = w**r + 12 - 5*w + 11*w**2 + w + 11*w. Is 14 a factor of v(-10)?
True
Let x(k) = k**3 + 10*k**2 + 9*k. Let p(b) = -b**3 + 7*b**2 - 7*b + 2. Let s(l) = 5*l**2 + 2*l - 1. Let j be s(1). Let i be p(j). Is x(i) a multiple of 16?
False
Let d(z) = 1 - 43*z**2 - 2*z**3 + 43*z**2 - z - 2. Let g be d(-1). Suppose -4*r = -5*o - 58, 5*o = -g*r - 0*r + 44. Does 14 divide r?
False
Suppose 2*s - 4*b + 171 - 719 = 0, 0 = -s + 5*b + 289. Does 12 divide s?
True
Let v(g) = g + 8. Let t be -3 + 7 + (16 - 1). Suppose t = 6*s - 23. Does 9 divide v(s)?
False
Let y = 3 + 0. Let t(x) = 0 - 5*x - 5*x + 11*x - y. Is t(5) a multiple of 2?
True
Let y(g) = -4*g**3 - g**2 + 2*g - 1. Let p be y(-2). Suppose 4*i - 2 = 18. Let r = i + p. Does 7 divide r?
True
Suppose -9 = -2*g + 7. Suppose b + b - g = 0. Is (-50)/(-8) + (-1)/b a multiple of 6?
True
Let u = 14 - 3. Suppose -v - u = -x, 0*x + 2*v + 35 = 3*x. Does 4 divide x?
False
Let q = -249 + 420. Let c = q - 19. Does 19 divide c?
True
Suppose 5*p - d = 1 + 13, 17 = 5*p + 2*d. Is -3*(-113)/p*1 a multiple of 20?
False
Suppose 89704 = 46*d - 1744. Is d a multiple of 71?
True
Let i(l) = -l**2 - 10*l + 1. Let p(y) = -y. Let h(z) = -2*i(z) + 14*p(z). Let t be h(-3). Let u(o) = -11*o + 2. Does 6 divide u(t)?
True
Suppose 12 = 2*m + 2. Let o be ((-123)/(-15))/(1/m). Suppose o = -5*q + 301. Is 14 a factor of q?
False
Suppose -2*a = 3*t - 23, 2*a + 4*t = 4*a - 58. Let y(x) = 8*x - 17. Is y(a) a multiple of 37?
False
Let p = 195 - 47. Suppose -s + 5*s = a - p, -s - 268 = -2*a. Does 22 divide a?
True
Let k = -54 + 36. Is 16 a factor of (k + 21)*34/3?
False
Let y(q) = -q**3 - 2*q**2 + 14*q - 9. Let r(j) = j**3 + 2*j**2 - 13*j + 9. Let m(l) = -4*r(l) - 3*y(l). Is 8 a factor of m(-5)?
True
Let l be 1/(-2 + (-15)/(-6)). Suppose 2*b + l*k + 6 = 170, 4*b - 2*k = 328. Does 20 divide b?
False
Suppose 0 = 21*n + 11*n - 192. Is n even?
True
Suppose 834 + 30 = 9*n. Is 32 a factor of n?
True
Let w be -7 - (0 - 3) - -7. Is 10 - -16 - (-1 - w) a multiple of 10?
True
Let v be 4 - ((-2952)/15 - (-4)/5). Suppose -8*g - v = -13*g. Does 10 divide g?
True
Let x = 736 - 324. Does 23 divide x?
False
Let m(h) = -2*h - 17 - 7*h + 25. Is m(-7) a multiple of 17?
False
Suppose -a + 273 = -4*f, 0 = 4*a - f - 815 - 217. Suppose a - 1424 = -3*c. Is 14 a factor of c?
False
Let i = 585 + -582. Let y = 104 - 69. Suppose 5*x - 3*o - y = -8*o, i*x = -o + 23. Does 2 divide x?
True
Let x(f) = -f**2 - 10*f - 9. Let y be x(-11). Let z be (y/(-25))/((-2)/(-10)). Suppose z*i = 52 + 12. Does 8 divide i?
True
Suppose -m = 5*j - 52, 0 = 2*m + 5*j - 59 - 55. Let g = m - -46. Is 27 a factor of g?
True
Suppose 10781 = 5*d + 4*v, 2*d - 4319 = 10*v - 5*v. Does 12 divide d?
False
Let c(t) = -33*t. Is 55 a factor of c(-5)?
True
Let m = -10 - 15. Let l = 27 + m. Does 24 divide (l - 28/(-8))*16?
False
Let s = 107 - -28. Suppose h + 115 = 7*a - 2*a, 0 = -4*h. Suppose -s = -2*p - a. Is 14 a factor of p?
True
Let x(r) = -r**2 + 0 + 2*r**2 + 0*r**2 + 3. Let v be x(0). Suppose -3*p + 114 = 5*m, 2*m - v*p - 21 - 33 = 0. Is 5 a factor of m?
False
Let w be (-180)/(-42) + (-2)/7. Is (-60)/(-8)*w/(-24)*-4 a multiple of 2?
False
Let s(