= -s*t, q*t = -3*w + 9 + 216. Is 21 a factor of t?
True
Let u(h) = -h**2 + 16*h - 10. Let k be u(15). Suppose 5*g + 146 - 871 = k*w, w = -3*g + 447. Is g a multiple of 23?
False
Let q(b) = 3*b**3 + 14*b**2 - 20. Let i(c) = 2*c**3 + 7*c**2 - 10. Let z(v) = -5*i(v) + 3*q(v). Is 16 a factor of z(6)?
False
Suppose n - 11 = 7. Let i be 0/1 + n + 4. Suppose -u + w + 16 = 0, i + 11 = 3*u + 2*w. Does 13 divide u?
True
Let j be (-28)/154 + (-70)/(-22). Suppose -2*g + 117 + j = 0. Let u = g + -37. Is 5 a factor of u?
False
Let y(n) = n + 83. Does 4 divide y(9)?
True
Suppose -4*f + 49 = 5. Suppose 0 = -4*j + f + 5. Suppose 4*o + j = 3*o, -2*o = 4*w - 44. Does 7 divide w?
False
Let p(g) = 2*g**2 + 4*g + 10. Let v(l) = 0*l + 6 + 3*l**2 + 0*l**2 + 14 + 7*l. Let c(d) = 7*p(d) - 4*v(d). Is 11 a factor of c(5)?
False
Suppose 3*v - 3*i = i - 20, -3*i + 15 = -5*v. Suppose -3*y + 3*m = -v*m - 441, -m = 4*y - 573. Is 16 a factor of y?
True
Suppose 2*l + 0 = 8. Suppose -2*z + 34 = l. Does 13 divide z?
False
Let n be (4/(-10))/(1/(-15)). Suppose -2*g = -n*g + 200. Is 6 a factor of g?
False
Let i be 0 - 6 - (1 - 2). Let v = 0 - i. Does 7 divide (v - -2) + (-3 - -4)?
False
Let o = -21 + 15. Let z(m) = -12*m - 9. Let x be z(o). Let l = x + -23. Is 11 a factor of l?
False
Suppose b - 15 = -3*y - 0*b, -5*y = -5*b - 25. Suppose -3*v = 2*n - 154, -5*v + 3*n - y*n = -250. Does 12 divide v?
True
Suppose -2*f - 32289 = 5*k - 3082, -3*k - 4*f = 17527. Is 1/4 + k/(-44) a multiple of 18?
False
Let v = -1037 + 1475. Suppose 2*j + 0*j + v = 0. Let c = -143 - j. Is 16 a factor of c?
False
Suppose -3*y + 6*y = -5*m + 25, 4*y = 3*m + 14. Suppose -3*q - 6*v + 3*v = 3, 5*q + y = -2*v. Does 5 divide 18 - (-1 - 4/q)?
True
Let h = 26 - 2. Let s = h - 22. Suppose s*l - 7*l + 270 = 0. Is 18 a factor of l?
True
Suppose -2*i + 5*l = -21, 0 = -l - 5 + 2. Suppose i*r + 7*r = 1380. Does 23 divide r?
True
Let c be -5*5/((-125)/35). Suppose 4*u - 1003 = r, -4*u = -c*u - 4*r + 776. Does 18 divide u?
True
Let w be 4 - 0 - (-167 - 1). Suppose 6*d - w = 98. Is d a multiple of 33?
False
Is 12/(-28) - (8 + (-97878)/42) a multiple of 139?
False
Suppose 2*p + 0*p + n - 547 = 0, p + 5*n - 260 = 0. Let h = -181 + p. Is h a multiple of 7?
False
Let v(s) = 3*s**2 + 18*s + 19. Let t be v(-11). Suppose t = 4*u + 4*y, 4*y - y + 102 = 2*u. Is 30 a factor of u?
False
Suppose -4*b + 734 = 190. Let g = 86 + b. Is g a multiple of 28?
False
Suppose 0 = -4*f + 5*f - 9. Suppose f*z - 7*z - 84 = 0. Is z a multiple of 10?
False
Is 9 a factor of 107 - ((-3)/(-9))/((-8)/24)?
True
Let a(v) = -v + 13. Let w(k) = -k - 12. Let i be w(-9). Let o(s) = 3*s - 38. Let f(c) = i*o(c) - 8*a(c). Is f(-16) a multiple of 11?
False
Let p(i) = -4*i - 7 + 54 - 2*i + 2*i. Is p(-8) a multiple of 31?
False
Suppose -4*f + 1678 + 477 = 5*k, -4*k = 2*f - 1730. Is k a multiple of 16?
False
Let j = 24 + -29. Let r(v) = -18*v + 35. Is r(j) a multiple of 25?
True
Suppose -888 = 16*f - 24*f. Does 13 divide f?
False
Suppose -v - 53 = -5*v - o, 0 = -2*v + 3*o + 23. Let z = v - 0. Let u = -7 + z. Does 6 divide u?
True
Suppose 805 = -3*w + 4. Let v = -16 + w. Let q = -197 - v. Is 18 a factor of q?
False
Let d(w) = 73*w**2 - 4*w + 4. Is d(1) even?
False
Let r(i) = 4*i - 4. Let n be r(4). Let y(d) = d - 10. Let q be y(-2). Let l = n - q. Is 14 a factor of l?
False
Suppose 6620 = 5*w + 2*t, 2*w = -63*t + 65*t + 2662. Is w a multiple of 102?
True
Let l be (-2604)/(-26) + ((-2)/13 - 0). Suppose -20 = -2*s + l. Is s a multiple of 12?
True
Suppose -3*q = 6*j - 4*j - 687, 4*j = -3*q + 1377. Does 23 divide j?
True
Let m(o) = -o. Let g be m(-2). Suppose -5*b + 9 = -1. Suppose 6*f - 144 = -4*p + g*f, -b*p - f + 75 = 0. Does 13 divide p?
True
Suppose -d = -2*h - 1 + 7, -3*d - 4*h = -12. Suppose 7*f - 672 = -d*f. Does 16 divide f?
True
Suppose -k = -7*k - 1518. Let a = 360 + k. Is 33 a factor of a?
False
Is 49 a factor of (21/2 + -6)/((-2)/(-1176))?
True
Suppose 3*x = 6*x - 420. Suppose 4*d - x - 48 = -5*h, -4*d + 5*h = -228. Is 13 a factor of d?
True
Let v(z) = 2*z**3 - 10*z**2 - 40*z + 85. Is v(9) a multiple of 30?
False
Is 14 a factor of 120 + -11 + 1*3?
True
Let k = -671 - -1052. Does 5 divide k?
False
Suppose -4*g + 2 - 10 = 0. Let w = 26 + g. Is 8 a factor of w?
True
Is 3 a factor of 628 + -7*1/7?
True
Let y = 282 + -231. Does 3 divide y?
True
Let r(j) = j**3 - 6*j**2 - 73*j - 39. Is r(13) a multiple of 5?
True
Suppose -3*d + 21 = 4*n, -2*n + 5*d = 3*n. Suppose n*l + l = 440. Is 11 a factor of l?
True
Suppose 45 + 73 = x. Suppose -3*s - 62 = x. Is (-4 + s/(-8))*2 a multiple of 7?
True
Suppose 0 = -27*s + 6*s + 25767. Is 41 a factor of s?
False
Let j(n) = n**2 + n - 1. Let p(v) = -6*v**2 - 12*v - 5. Let d(t) = -5*j(t) - p(t). Is 2 a factor of d(-7)?
True
Suppose -5*k = 5, o - 5*k + 189 = -2*k. Suppose 0 = 2*h + 2*g - 540, h - 270 = 2*g - 4*g. Let p = o + h. Is p a multiple of 13?
True
Suppose 0 = 4*f + 5*k - 8, 0*k = -k. Suppose 3*z + q - 247 = 114, f*q + 111 = z. Is 17 a factor of z?
True
Let z(g) = 3*g**2 - g - 99. Does 45 divide z(10)?
False
Suppose 2*c - 9*n + 11*n - 520 = 0, 3*c = 2*n + 755. Suppose 11*u + 5*g = 14*u - c, -3*g = 0. Is u a multiple of 15?
False
Let h = 69 - 48. Suppose -5*z = -2*z - h. Does 3 divide z?
False
Let y(t) = t**3 - 33*t**2 - 30*t - 10. Does 63 divide y(34)?
True
Let x(a) = a + 9. Let j(l) = 2*l + 17. Let o(n) = -3*j(n) + 7*x(n). Let z be o(-7). Does 17 divide 319/z + (-3)/(-15)?
False
Does 29 divide 15/12*862 + 22/44?
False
Let x = 629 - 350. Does 33 divide x?
False
Suppose 101*j + 1580 = 5*u + 100*j, 4*u = -3*j + 1245. Does 5 divide u?
True
Suppose -x + 1477 = 5*k, x - 11*k - 1437 = -8*k. Does 88 divide x?
False
Let k be (4 + (-1 - 1))/((-2)/20). Is ((-2376)/55)/(6/k) a multiple of 41?
False
Suppose -2*h + 0 = -8. Suppose 0 = v - s - 20, 5*v + s = h*v + 26. Does 3 divide v?
False
Suppose 543 = -2*k + 3*k - d, 5*k + 5*d = 2705. Is 16 a factor of k?
False
Suppose -3*p = -k + 760, 3*k - 9*p + 13*p - 2306 = 0. Does 7 divide k?
False
Is 65/13 + (0 - 3) + 337 a multiple of 18?
False
Let t = -343 - -499. Does 6 divide t?
True
Let f be (15/(-10))/(3/(-92)). Suppose -2*d = -3*t + 354, t + f = -4*d + 178. Is 8 a factor of t?
True
Let a = 4254 + -1014. Is a a multiple of 20?
True
Suppose 4*k = -3*s + k + 12, -4 = -2*s + 2*k. Let w be (-23)/4 - s/(-4). Let u = 7 - w. Is 12 a factor of u?
True
Let d(t) = -t**3 + t**2 - 14*t + 6. Let u be d(6). Let b = -105 - u. Is b a multiple of 17?
True
Suppose 0 = -7*k - 3*k - 50. Let i(u) = 6*u**2 - 2*u - 8. Is 6 a factor of i(k)?
False
Let h be 0/12 + 2*14. Let z be 400/(-14) - 12/h. Is 2 a factor of 2/(-14) + z/(-7)?
True
Suppose 2*y + 15 = r, -3*y - 14 - 1 = 0. Suppose 5*f - 3*f - 2*k - 66 = 0, 4*f = r*k + 127. Let d = f + 4. Does 13 divide d?
False
Let b(c) = 4*c**2 + 3*c + 3. Let d be b(-3). Suppose -n + 20 = -g, 12*g + 44 = 8*g - 5*n. Let u = d + g. Does 3 divide u?
False
Let w = 27 - 24. Suppose 3*t + w*r = 2*r + 19, -5*t - 3*r = -37. Suppose -4*l + t*m = -89, -2*m = -l + 14 + 9. Is 21 a factor of l?
True
Suppose t - 25 = 60. Suppose 4*s = -3*b + 122, -2*b + s = -0*b - t. Is b a multiple of 21?
True
Let v(y) = -y**2 - 13. Let c(h) = h**2 - h + 12. Let u(j) = 5*c(j) + 4*v(j). Let k be (-52)/(-6) + 4/(-6). Is 16 a factor of u(k)?
True
Let q = 288 + 417. Does 15 divide q?
True
Let c(i) = i**3 + 17*i**2 + 6*i - 7. Let w be c(-16). Let u = w + -86. Does 11 divide u?
False
Suppose 5*g + 9 = m + 28, -4*m = -4. Suppose -g*h = -2*b + b + 16, 4*h = -12. Let t = b - -5. Is 3 a factor of t?
True
Let t(y) = -y**3 + 12*y**2 - 14*y - 27. Does 12 divide t(-9)?
True
Let l be -2*49 - 57/19. Let f = 256 + l. Suppose 145 = 2*y - f. Is y a multiple of 31?
False
Let l = -775 - -1153. Is l a multiple of 18?
True
Let z = 5744 - 1348. Is z a multiple of 14?
True
Suppose 0 = -71*c + 65*c + 1842. Does 12 divide c?
False
Suppose 0 = -27*m - 4*m + 12586. Does 33 divide m?
False
Suppose 0 = 4*f - 4, 5*f = 4*b - 34 - 465. Is 2 a factor of b?
True
Let v(o) = 6*o**2 - 3*o - 2. Let u be v(-1). Is u*((3 - 0) + 4) a multiple of 23?
False
Suppose 0 = 29*w - 24*w - 3185. Is w a multiple of 9?
False
Suppose -33 = 27*o - 168. Let b(y) = 23*y. Let d be b(-1). Let m = o - d. Is 9 a factor of m?
False
Let r(p) = -9*p - 5. Is r(-17) a mul