 = 3*c - f - 109. Is c a multiple of 16?
True
Suppose 4*c - 169 + 21 = 0. Does 3 divide c?
False
Suppose 2*b + 4*o + 430 = -330, 0 = -4*o - 12. Let c = b + 589. Does 32 divide c?
False
Let k = -202 + 262. Is k a multiple of 6?
True
Let q be (64/2)/(-6 - -5). Let g = q + 140. Is g a multiple of 27?
True
Let j = 0 + 5. Suppose -420 = -j*y - 5*i, y - 336 = -3*y - 2*i. Is y a multiple of 12?
True
Let p(z) = -2*z**2 + z - 7. Let y(k) = -k**2 - 4. Let v(h) = 4*p(h) - 9*y(h). Is v(-8) a multiple of 20?
True
Let f be 6/4*-2 + 18. Suppose 0*b + b = 5*u - 12, 4*u = -b + f. Suppose 0*d + 87 = 3*i + u*d, -i + 31 = -d. Is i a multiple of 30?
True
Let k = 29 + -29. Suppose -8*a + 2*a + 288 = k. Is 24 a factor of a?
True
Let g be 170/(-40) - (1 + 5/(-4)). Is 1845/(-18)*g/5 a multiple of 41?
True
Suppose -363 = -3*w + 327. Let l = -122 + w. Is 27 a factor of l?
True
Suppose 2*w - 446 = -2*x, -10 = 2*x - 0. Suppose w = 4*o - 4*a, -4*o - a + 123 + 115 = 0. Is 14 a factor of o?
False
Let f(g) = 9*g - 45. Let b(i) = i**2 + 2. Let c be b(-3). Is f(c) a multiple of 54?
True
Let i = 3597 - -1122. Is 13 a factor of i?
True
Let x(o) = 2 - 3*o + 2*o - 9. Let w be x(-8). Does 15 divide w/7 - 416/(-28)?
True
Let z be (-1)/1 - (-24)/6. Suppose 1049 - 277 = 5*n - 3*k, 4*n = z*k + 620. Suppose 3*b + 138 = 4*w, -n - 24 = -5*w + 2*b. Is 18 a factor of w?
True
Let g(n) = n**3 - 8*n**2 + n - 12. Let w be g(8). Let m = 2 + -4. Is 9 a factor of -25*(w/m - 3)?
False
Let c(w) = w**2 - 9*w - 18. Let a be c(11). Does 12 divide 0 + -3 - ((-16)/a + -34)?
False
Let s be 216/16 + (-2)/(-4). Let q = s - 10. Suppose -q*v = -4 - 8. Is v even?
False
Suppose 3*l - 47 + 35 = 0. Suppose -16 = 3*a + 14. Is 238/l - a/20 a multiple of 10?
True
Let a be -2 + (1 - -70 - -2). Let i be ((-540)/16)/((-2)/8) - 4. Let s = i - a. Is 15 a factor of s?
True
Let z(q) = -q**3 - 5*q**2 + 6*q - 2. Let m be z(-6). Does 27 divide m/(-1) + -4 + 58?
False
Let f be (-6 - -1)*82*-1. Suppose -4*k + 7*k - 615 = 2*u, -2*k + f = -2*u. Does 41 divide k?
True
Suppose 22*h - 22032 = -14*h. Is h a multiple of 36?
True
Suppose 5*q - 5 = 5*w, -5 = -q - q + w. Suppose q*j - 7 = 1. Suppose 3*s - j*y + 3 = 17, 3*s = y + 10. Is 2 a factor of s?
True
Let q = -560 + 772. Is 3 a factor of q?
False
Let y be 7*(39 - 0 - 1). Let k be 41/((27/(-6))/9 - -1). Suppose 0 = -2*i - k + y. Does 18 divide i?
False
Let r be 176 - (-1 + 2 - 5). Suppose q - 5*q = -r. Is 9 a factor of q?
True
Let h(l) = -2*l + 6. Let r be h(3). Let m(f) = -f**3 - f**2 + 36. Let k be m(r). Suppose s + k = 4*s. Does 6 divide s?
True
Let s = -2255 - -3979. Is s a multiple of 19?
False
Suppose -a + 2781 = 2*h, 5*h + a + 4179 = 8*h. Is 12 a factor of h?
True
Suppose -4*v - 6*q + 3*q = 451, 5*v + 556 = 4*q. Let z = -60 - 17. Let u = z - v. Is u a multiple of 17?
False
Does 11 divide 1228 + 6*(-2)/4?
False
Suppose -p + 242 = 2*s - 1790, 0 = -4*p + 16. Does 13 divide s?
True
Let k = 282 - -910. Suppose 4*n - 1192 = -2*p, 0 = 4*n + 4*p - p - k. Suppose 4*a + 2*o = n, 5*a - 216 = 2*a - 3*o. Does 29 divide a?
False
Let d(y) = y**3 - 6*y**2 + 9*y - 12. Let l be d(5). Suppose 0 = l*u - 686 + 102. Does 13 divide u?
False
Let l be (210/(-28))/(3/(-16)). Suppose 2*g + l = 160. Is 20 a factor of g?
True
Suppose -a = 3*a + 168. Let d = 58 + a. Does 4 divide d?
True
Let r be -2 - (5 + 4/(-4)). Let a be 808/r + (-15)/45. Is ((-16)/(-10))/((-6)/a) a multiple of 18?
True
Let p be 14*(-1 + 4 + -2). Let w = 19 - p. Is 111/w + (-12)/60 a multiple of 8?
False
Suppose -2014 = -4*p + 1298. Does 12 divide p?
True
Let z = -222 - -326. Suppose 106 = 5*h - z. Is 14 a factor of h?
True
Suppose 0 = -m - 1 + 2. Let c be m/(-3) + (-11)/3. Does 11 divide 11*5 - (-4)/c?
False
Let f(y) = -y**3 + 10*y**2 - 3*y + 23. Let z be f(10). Let l = -4 - z. Does 10 divide l/(3 - (-29)/(-10))?
True
Suppose 3*g - 5 = -f - f, -2*g - 2 = 0. Suppose -f*x - 42 + 242 = 0. Let l = x - 32. Is 7 a factor of l?
False
Let p be (-6 - 0)*(-2)/4. Suppose -5*d - l = 7, -4*l + p = -5*d + 6. Let b = 34 - d. Does 7 divide b?
True
Let c(m) = 2*m**3 + 10*m**2 + 5*m - 4. Let z be c(-8). Let x = -140 - z. Is 36 a factor of x?
True
Suppose -3*w + 17 = -2*w. Let p = w - -22. Is p a multiple of 8?
False
Suppose -f - 8 = -k + 4*k, -2*k = 5*f + 27. Let w be k/2*(17 - 3). Let q = -2 - w. Does 5 divide q?
True
Let f = 188 - -82. Is 13 a factor of f?
False
Does 11 divide (-1 - 362/(-10))*(-1260)/(-56)?
True
Let g = 28 - 43. Is 920/6 + (-55)/g + -3 a multiple of 14?
True
Does 21 divide 75/(-30)*(-1 - (-1 - -130))?
False
Let y = 818 - 219. Does 100 divide y?
False
Let i(c) = -6*c + 667. Is 83 a factor of i(42)?
True
Let i = 18 + -13. Suppose -i*c + 16 = 6. Suppose -2*k + 70 = c*o, 3*o + k = -4*k + 107. Is 10 a factor of o?
False
Let q = 31 - 28. Suppose 5*u = -2*j + 49, u = q*j - u - 26. Is (67 + -1)/(j/8) a multiple of 21?
False
Let q(c) = -4*c - 8. Let y be (2 - (6 + -3))/1. Let j be -3*y/(12/(-32)). Is 11 a factor of q(j)?
False
Let p(l) = -l**3 - 10*l**2 + 24*l + 5. Let n be p(-12). Suppose 0 = n*v + 6*v - 220. Is v a multiple of 5?
True
Let f = -3375 - -5041. Does 45 divide f?
False
Let g = -59 + 61. Suppose 4*b = g*a - 10, -5 = a - 3*b - b. Does 5 divide a?
True
Is (362 + 3)*3/15 a multiple of 46?
False
Suppose -9*d + 3054 = 660. Is 24 a factor of d?
False
Suppose 3*n - x - 68 = -3*x, x = -3*n + 67. Let c = n - 13. Let g = 4 + c. Does 8 divide g?
False
Suppose -85 - 13 = 2*a. Let g = a - -94. Suppose -2*w = -j - 3*w + 41, -3*w - g = -j. Is 21 a factor of j?
True
Suppose -3*f = -5*j - 9763, -2*j + 1118 = f - 2151. Is 17 a factor of f?
False
Let l be (0/(6/(-2)))/(-2). Suppose -u + l = 2, 5*h + u = 258. Is 21 a factor of h?
False
Is (18/(-4)*2 - -2) + 708 a multiple of 23?
False
Let g(y) = 49*y + 75. Is 40 a factor of g(5)?
True
Let i = 579 - 437. Is i a multiple of 7?
False
Suppose 16*v - 2592 = -0*v. Does 6 divide v?
True
Let k(x) = -2*x + 1. Let c be k(-2). Suppose -4*f = -c*w - 288, 2*w - w + 227 = 3*f. Does 33 divide 2527/f + 4/22?
True
Suppose -8*h + 6176 = 720. Does 31 divide h?
True
Let m = -11 + 20. Let u(y) = 18 - m*y + y**2 - 4*y + 1. Does 9 divide u(14)?
False
Let f = -1124 - -1939. Is f a multiple of 5?
True
Suppose 0 = -4*g - 0*g + 1328. Let h = -207 + g. Suppose 5*f + 4*w = h, -29 = -3*f - 5*w + 59. Does 3 divide f?
True
Let q = 1155 - 344. Does 29 divide q?
False
Suppose 19*i - 16*i - 3465 = 0. Does 15 divide i?
True
Let m = 156 + -57. Is 4/(-18) - (-10912)/m a multiple of 10?
True
Suppose 0 = 4*x + 4*q - 592, q - 734 = -5*x + 2*q. Is x a multiple of 7?
True
Let t = -14 + 42. Suppose t - 108 = -5*m. Does 16 divide m?
True
Suppose 5*m - 2*t + 195 = 0, 0*m - 5*t = 2*m + 78. Let v = -164 + 221. Let d = v + m. Does 6 divide d?
True
Let i = 110 + -66. Let h = 181 - i. Is h a multiple of 21?
False
Let h(s) = -6*s - 5. Does 20 divide h(-10)?
False
Suppose -5*d - 25 = 0, d + 2*d = -3*f + 2964. Does 13 divide f?
False
Let i = -7 + 6. Let k(x) = -24*x + 1. Let w be k(i). Let f = w - -5. Does 30 divide f?
True
Suppose -5*y + 123*i = 127*i - 7409, -5*y + 2*i = -7433. Is 27 a factor of y?
True
Let h = -17 + 36. Suppose s = 3*m - h, -3*m + 12 = s + 43. Let g = 33 + s. Does 2 divide g?
True
Suppose -2 = -2*h + 2. Suppose -2*v = h*r - 138, -r - 132 = 2*v - 4*v. Does 15 divide v?
False
Let c(x) = -x**2 + 16*x. Let j be c(17). Let w = j + 22. Suppose -w*n - 164 = -7*n. Is 26 a factor of n?
False
Suppose -2*q + w = 67, 4*q - 5*q + 2*w - 32 = 0. Let l(g) = -7*g - 4. Let s be l(-5). Let d = s - q. Is d a multiple of 19?
False
Suppose 48 = -5*c + 223. Does 5 divide c?
True
Let d(n) = -8*n**2 + 2*n + 7. Let r(c) = 7*c**2 - 2*c - 8. Let y(j) = 4*d(j) + 3*r(j). Let t be y(6). Is 17 a factor of ((-4)/(-10))/((-4)/t)?
False
Let y be 6*(-1)/(-18)*(65 - -1). Is y*(0 - (2 + -4)) a multiple of 8?
False
Suppose -8 = -5*a + 2*w, -4*w = 3*a - 9*w - 20. Suppose 4*u - 40 - 340 = a. Does 14 divide u?
False
Let q(w) = 7*w**3 - 5*w**2 - 2*w + 6. Does 6 divide q(4)?
True
Suppose -2*r = 3*r - 30. Suppose r*p = -3*y + p + 52, -10 = -2*p. Let m(u) = 5*u - 10. Does 8 divide m(y)?
False
Suppose 15*b - 16825 = -5845. Suppose -y = -4*h + y + 724, -2*y = 4*h - b. Does 13 divide h?
True
Suppose 0*y = 2*y - 8. Suppose -t + 4*o - 3*o = -8, 0 = 2*t - 4*o - 26. Suppose -228 