 - n*r + 154 = 0, 0*r - 52 = c - r. Let o = c - -97. Does 11 divide o?
True
Let l(b) = -b**3 - 4*b**2 - 4*b - 6. Suppose 5*o - 1 + 21 = 0. Is 6 a factor of l(o)?
False
Suppose -2*q + 1767 = -3*k, k + 4445 = 5*q - k. Is 27 a factor of q?
True
Suppose -2*o + 27 = 5*d, 4*o = d - 2*d + 9. Suppose -3*i - 4*s + 819 = 0, -d*i + 1365 = 2*s - 7*s. Is 39 a factor of i?
True
Suppose -34020 = -223*g + 208*g. Does 9 divide g?
True
Let q(s) = s + 1. Let w(y) = -11*y - 7. Let u(x) = 5*q(x) + w(x). Let g be u(-1). Let k = 22 - g. Is 6 a factor of k?
True
Let s be (30/(-20))/((-3)/28). Let i be ((-12)/(-10))/((-6)/(-20)). Suppose 0 = -i*y + s + 94. Does 17 divide y?
False
Suppose 4*n - 430 = 5*f - 2936, 1000 = 2*f - 4*n. Let t = -321 + f. Is t a multiple of 13?
False
Suppose -t + o = 4*o - 13, -3*t = 3*o - 51. Let u(m) = -m**3 + 20*m**2 - 14*m + 20. Is 11 a factor of u(t)?
False
Suppose -f - 1923 + 2296 = 0. Is f even?
False
Suppose 4*y - b = 4243, -14 = -4*b + 6. Does 6 divide y?
True
Is 266 + 0 + (-583)/53 a multiple of 5?
True
Let x(n) = 191*n - 377. Is 122 a factor of x(9)?
True
Suppose x + 15 = -2*a, -3*x = a + 42 - 12. Let j be 3/(-5) + x/(-15). Suppose j = 5*o - 6*o + 22. Does 11 divide o?
True
Let v(z) = z**3 - 9*z**2 - 10*z - 6. Let g be v(10). Let n be (-2)/g*3 - -2. Suppose -15 = -f + 3*y + 7, -n*f + 62 = -5*y. Does 19 divide f?
True
Let h(x) = -3*x + 11. Let g(d) = d - 6. Let q(m) = 13*g(m) + 6*h(m). Is 9 a factor of q(-24)?
True
Let x = 10 + -8. Suppose 117 = x*b - b. Does 22 divide b?
False
Suppose 2*v + 2*c - 10 = 0, -v - 3*v = c - 17. Does 7 divide (8/(-5))/v*1*-95?
False
Suppose -m = -3*m, 4*q - 2*m = 12. Suppose -3*z - 4*h + 1 = 0, q*h = -4*z - 5 - 3. Let f(c) = c**3 + 4*c**2 - 7*c + 2. Does 6 divide f(z)?
True
Let y(x) = -x**2 + 6*x + 4. Suppose -4*w - 47 = 33. Let b = w - -26. Does 2 divide y(b)?
True
Let v(x) = 23*x + 21. Let h(r) = 35*r + 32. Let j = 3 - 8. Let w(p) = j*h(p) + 7*v(p). Is 13 a factor of w(-4)?
False
Suppose 17*y = 20*y - 6. Is y/(-6)*(-663 - 0) a multiple of 14?
False
Let y(p) = 9*p**2 - 21*p - 2. Let i be y(9). Suppose -5*l = -i - 682. Is 26 a factor of l?
False
Suppose -29*f - 66 = -240. Is f a multiple of 3?
True
Suppose 2*q = x + 6, 0 = 4*x - 0*q - 2*q. Suppose 3 = x*d - 3. Is 4 a factor of 1*8*d/6?
True
Let k be -1*(0 - -1)*-1 + -12. Let p = -149 + 293. Is 9 a factor of k/((-44)/p) - -2?
False
Let y = 53 - -430. Is y a multiple of 7?
True
Does 14 divide (-1 - -119) + (6 - 35/7)?
False
Let n = 4774 - 2410. Is 12 a factor of n?
True
Let y(u) = u**2 - 9*u + 16. Let h be y(5). Is (9/h*-2)/((-1)/(-30)) a multiple of 27?
True
Suppose 3 + 185 = -4*w - 4*u, 4*w = 2*u - 170. Is ((-165)/w)/((-3)/(-16)) a multiple of 5?
True
Let m(d) = 169*d - 36. Does 5 divide m(3)?
False
Let h be 1188/12 + -1*1. Let c = h + -63. Is c a multiple of 5?
True
Let p be (-7)/(-4)*96/2. Is 12 a factor of 24/p - (-360)/14?
False
Suppose t - 51 + 10 = 2*g, 3*t - 4*g - 119 = 0. Suppose x - t + 9 = 0. Is x a multiple of 10?
False
Suppose 4*y = -i + 1087, 3*y + 143 = 3*i + 977. Does 58 divide y?
False
Let n = -914 + 1624. Does 60 divide n?
False
Suppose 3*y - 21 = -3*a + 5*a, 2*y - 1 = -3*a. Suppose y*w = 2*w - 3. Does 20 divide 22 + ((-8)/4 - w)?
False
Let s(p) = 2*p**2 + 8*p + 10. Let n be s(-5). Let u = -2 + n. Is u even?
True
Suppose 0 = 33*j - 39*j + 720. Does 12 divide j?
True
Suppose -46 = -2*g + 2*z, 5*g + 4*z - 3*z = 91. Suppose 294 = 21*m - g*m. Is m a multiple of 21?
True
Let f(h) = 17*h**2 + 35*h - 18. Is f(6) a multiple of 12?
True
Suppose -3*b + 26 = 4*q - 3*q, -2*b = -q - 14. Let y be b/(-20) - 4/(-10). Suppose p + 3*x - 9 = y, -x + 3*x + 27 = 3*p. Is p a multiple of 4?
False
Let d be (33 - 36)/((-1*2)/2). Suppose d*p + 2*r - 309 = 7*r, 114 = p + 2*r. Does 6 divide p?
True
Suppose 0 = -2*a - 2*v + 964, a - v - 4*v = 458. Is 29 a factor of a?
False
Suppose 5*q = 5*g + 140, 9 = q - 2*g - 14. Is q a multiple of 13?
False
Suppose -h - 4*j = 11, 0 = -5*h + 3*j + 65 - 5. Let s be (-10)/(-4)*(-18)/(-15). Does 21 divide s/2*222/h?
False
Let n(w) = w**2 + 8*w + 4. Let o be n(-9). Let r = 22 - o. Does 3 divide r/(2/(4/3))?
True
Let w(u) = 4*u**3 + u**2. Let c = -24 - -25. Let o be w(c). Suppose -o*f - 4*x = -152 + 1, 3*x - 147 = -5*f. Does 16 divide f?
False
Let f = -48 - -92. Suppose 0 = -0*m - 2*m + 4*y + f, -2*m - 2*y = -20. Is m a multiple of 2?
True
Let b = 4274 - 3025. Is b a multiple of 9?
False
Is 4 a factor of 0 + 2/(-10) + 2667/35?
True
Suppose 21*c = 7793 - 1745. Does 24 divide c?
True
Is 246*(-4)/((-36)/93) a multiple of 42?
False
Let i = 115 + 100. Suppose 0 = -z - 2*n - n + 212, -z - 2*n = -i. Does 20 divide z?
False
Suppose -44*x + 64218 = -23*x. Does 53 divide x?
False
Let m be (-2 - -3)/(6/150). Let y = -6 + m. Is 4 a factor of y?
False
Let a(p) = p**2 + 12*p + 21. Let t be a(-10). Is 2 - 24/(-4) - (t + 2) a multiple of 5?
True
Let m = -96 - -167. Suppose -2984 = -27*h + 40. Suppose 0 = 3*f - m - h. Is f a multiple of 16?
False
Let u = 775 + -181. Does 18 divide u?
True
Let h = 35 - 33. Suppose 0 = -3*y + 2*y + h*b + 71, y - 3*b = 68. Is 30 a factor of y?
False
Suppose -206*n + 204*n + 720 = 0. Is 45 a factor of n?
True
Is 5 a factor of (0 + 84/(-10))/((-9)/150)?
True
Suppose 0 = 7*y - 6*y - 4. Let z be ((-315)/28)/(1/y). Is (0 + z/10)*-4 a multiple of 9?
True
Suppose -g + 0*g = -2*t - 2, 0 = g - 3*t - 3. Suppose -21*a + 46 = -17. Suppose g = -a*j - j + 44. Does 9 divide j?
False
Let z(r) = 4*r**2 + 44*r + 19. Does 9 divide z(-11)?
False
Suppose -40 = n - 321. Suppose -n + 23 = -3*h. Does 18 divide (h/(-3))/(2/(-3))?
False
Suppose 3*i - 19 = 2*y, -3*i + 0*y + 3*y + 21 = 0. Suppose -209 = -2*j + 151. Suppose i*k - 500 = j. Does 36 divide k?
False
Let v(a) = -a - 3. Let z be v(-5). Suppose 5*p + 4*i - z*i = 29, -p + 15 = 5*i. Suppose 54 = 3*j - p*n - 28, -n = -2*j + 57. Is j a multiple of 10?
False
Suppose -4 = -3*o + 5. Suppose -w = -o*w + 34. Let n = -6 + w. Does 6 divide n?
False
Is 2131/4 + ((-252)/(-48) - 5) a multiple of 17?
False
Suppose -4*t = o - 83, 4*t - 78 = -4*o + 2*o. Is 43 a factor of (-4)/22 + 5680/t?
True
Suppose 0 = -36*b - 1022 + 10130. Does 4 divide b?
False
Suppose 3*k + i - 760 = 0, 4*k - k - 2*i - 748 = 0. Is 23 a factor of k?
False
Let m(q) = -35*q + 3. Let o be m(5). Let p = -10 - o. Is 40 a factor of p?
False
Suppose -2*i + 336 = i. Suppose 8*m = 4*m + i. Does 18 divide m?
False
Let m(d) = d**3 + 6*d**2 + 5*d + 7. Suppose -3*a = 2*u + 3*u + 17, -a + u - 3 = 0. Is m(a) a multiple of 19?
True
Suppose -3*v - 7483 = -5*u + 4157, 9312 = 4*u - 5*v. Is 12 a factor of u?
True
Suppose h = 2*h - 4. Suppose -3*n + 2*n + 13 = 3*w, -3*w = -h*n - 8. Does 7 divide -7*1/(n/(-1))?
True
Suppose -5*z = 4*m + 15, -2*z + 3*m = -3*z - 14. Let h be z/((-2)/6) + 68. Suppose 0 = -4*s + 5*b + h, 2*s + 51 = 5*s - 3*b. Is s a multiple of 5?
True
Let m(q) = 26*q + 14*q + q**2 - 29*q - 4 + 16. Does 2 divide m(-11)?
True
Suppose -r + 81 = 5*j, -3*j - 15 = 2*j. Let q = -44 + r. Is q a multiple of 13?
True
Let c = 9 + -9. Suppose o - 4*o + 3*h + 24 = 0, 5*o - h - 20 = c. Suppose -m + o*m - 90 = 0. Is 15 a factor of m?
True
Is 16 a factor of (-30)/105 - (-4374)/21?
True
Let v(s) = 24*s - 250. Is v(14) a multiple of 3?
False
Let l(q) = -q + 4. Let m be l(3). Let x(c) = 42*c**2 - 2*c. Let j be x(m). Let t = j + -29. Does 3 divide t?
False
Let r(y) = y**2 + 2*y - 7. Let z be r(-5). Suppose -j = 0, 2*s - 3*j - z = -0*s. Suppose 0 = 2*f + 2*a - 148, s*a + 296 = 4*f - 0*f. Is 19 a factor of f?
False
Let n = 450 + -153. Suppose 3*l - n = -84. Does 22 divide l?
False
Let b(q) = q**3 + 6*q**2 - 5*q - 27. Let t be b(-6). Suppose -36 - 45 = -t*d. Is 11 a factor of d?
False
Suppose 0 = 2*t - 4, -3*v - 82 = -t - 536. Is v a multiple of 63?
False
Let r(i) = -587*i - 38. Is r(-4) a multiple of 14?
True
Let n be (4 - 8)/(-4)*0. Suppose -b + 4*s = 8, 64 = -2*b - 4*s - n*s. Let a = -10 - b. Is a a multiple of 5?
False
Suppose -12 = 3*f - 6*f - 3*m, -5 = -3*f + 4*m. Suppose z - 5*i + 55 = 6*z, -f*z + i + 21 = 0. Let g(r) = r**2 - 6*r - 4. Is 3 a factor of g(z)?
True
Let q = -120 + 117. Does 13 divide (-6)/4*1464/54*q?
False
Let g(d) = -16*d**3 - 2*d**2 + d + 4. Let u be g(2). Let o = -60 - u. Is 25 a factor of o?
False
Suppose 2*h = -9*h + 1782. Suppose -3*