Does 29 divide w?
True
Suppose 11*h - 15 = 8*h. Suppose -2*r - h*q = -q - 20, 20 = 2*r - q. Does 3 divide -4 - (3 - r/1)?
True
Suppose 10*c - 15*c = -2*h - 8404, 0 = 4*c + 2*h - 6716. Does 35 divide c?
True
Let d = -85 + 43. Let p be 454/6 - (-2)/(-3). Let i = p + d. Is 11 a factor of i?
True
Suppose 3*v + 426 = -732. Let y = -139 - v. Is 40 a factor of y?
False
Suppose -k - 4 = a - 5*a, 1 = 3*k + a. Suppose 2*c + 3*c + 340 = k. Let q = -47 - c. Is q a multiple of 5?
False
Let g(y) = y**3 + 9*y**2 + 8*y - 1. Let k be g(-8). Let b(m) = -93*m**3 - 2*m**2 + 1. Is b(k) a multiple of 22?
False
Let h be -8*46/(-4) + -3. Let g = h + 3. Is 12 a factor of g?
False
Suppose -5*z - 2779 = -4*h, -2*h - 2*z + 190 + 1186 = 0. Does 75 divide h?
False
Let h(q) = 4*q**3 - 14*q**2 - 23*q + 76. Is h(8) a multiple of 29?
True
Let i(r) = -2*r**2 - 2*r + 4. Let p be i(-2). Let m(k) = k**2 - k + 33. Is 11 a factor of m(p)?
True
Let b be (-2 - 2) + (2 - 4). Is 39 a factor of -7 - (b + 0) - (-148 - 1)?
False
Suppose -3*x + 30 + 18 = 0. Let p = x + 19. Is p a multiple of 15?
False
Let g(o) = -o**2 + 10*o + 11. Let n be g(9). Is n/(-4)*(-24)/10 a multiple of 12?
True
Let q(k) = -3*k**3 - 33*k**2 + 14*k + 8. Is q(-12) a multiple of 20?
False
Is ((-440)/(-176))/(1 - (-181)/(-182)) a multiple of 11?
False
Suppose -5*t = -5*k + 695, -t + 677 = -3*k + 8*k. Let u = -70 + k. Is 11 a factor of u?
True
Let x = 1 + 5. Let s(g) = g**3 - 11*g**2 + 16*g - 6. Let m(t) = -t - 1. Let h(d) = -2*m(d) - s(d). Is h(x) a multiple of 12?
False
Suppose 0 = 6*q - 3*q + 5*h + 11, 8 = 4*q + h. Suppose -q*t + 161 = a - 45, 4*a + 196 = 3*t. Does 15 divide t + (-2*4 - -4)?
False
Suppose -13*r - 3*r = -2368. Is r a multiple of 23?
False
Suppose -14*i = -16*i + 8. Suppose -4*s - i*x = -576, 117 + 33 = s - 2*x. Is s a multiple of 29?
False
Let b(u) = -10*u - 9. Let y be b(-6). Suppose 3*x = -y - 0. Let j = -10 - x. Is j a multiple of 5?
False
Is 40/(-12)*(-150)/4 a multiple of 4?
False
Let n(h) = h**3 + 13*h**2 - 13*h + 18. Let t be n(-14). Suppose t*z - 26 = 2. Does 2 divide z?
False
Let k = 574 + 1193. Does 57 divide k?
True
Does 9 divide (-61)/((-4)/(-5) - (-63)/(-60))?
False
Suppose -3*s = -5*z + 3*z + 4, -2*z + 4 = 3*s. Suppose s = -u - 10*u + 3300. Does 22 divide u?
False
Is 2/(-32) - 132484/(-64) a multiple of 45?
True
Let r = 392 + -314. Is 26 a factor of r?
True
Suppose 4*t - 20 = 0, -7*t + 8*t = -5*z + 8995. Does 62 divide z?
True
Let q = 69 + 220. Does 2 divide q?
False
Suppose -4*w - 5*x + 25 = 0, 0 = -2*w + 3*w - 4*x - 1. Suppose w*l + 28 = l. Let n = 39 + l. Does 10 divide n?
False
Let a be 8/20 - 8/(-5). Suppose a*o - 42 = -o. Does 14 divide o?
True
Suppose -3*y + 1315 = -1019. Is y a multiple of 11?
False
Let y(m) = -2*m**3 - 20*m**2 + 7*m - 26. Let u be y(-11). Let j = -75 + u. Is j a multiple of 16?
True
Let y(s) = -5*s - 2. Let z be y(-3). Suppose -2*v + z = -v. Let w = 29 - v. Is 16 a factor of w?
True
Suppose -3*x - 66 = 5*p - 2973, -587 = -p + 5*x. Does 97 divide p?
True
Let h = -75 - -39. Is 15 a factor of (-126)/(-4) + h/24?
True
Let i(h) = -2*h + 2. Let k(l) = 1. Let a(y) = -4*i(y) - 4*k(y). Is a(6) a multiple of 35?
False
Is 546/(-2 - (-56)/16) a multiple of 14?
True
Let a(v) = v**2 - 9*v - 16. Is a(32) a multiple of 60?
True
Suppose -4080 = 7*c - 17*c. Is c a multiple of 34?
True
Let c(d) = 15*d**2 + 14*d**3 + 23*d**3 - 1 - 13*d**2. Let z(l) = l - 2. Let x be z(3). Is 10 a factor of c(x)?
False
Suppose 3*q + 22 = 5*i, 15 = 2*i + 5*q - 0. Is 25/10*64/i a multiple of 8?
True
Does 4 divide 590*-5*24/(-60)?
True
Let t be -1 + 6/(-6) + -7. Let i(g) = -g**3 + g**2 + g + 1. Let j be i(-1). Is t/6*j*-3 a multiple of 2?
False
Suppose 0 = k + 1, 0 = d - 5*k - 761. Is d a multiple of 27?
True
Let i(g) = 8*g**3 - g - 6. Let s be i(6). Does 7 divide (-3)/4 - s/(-48)?
True
Suppose 4*x = -5 + 21. Let g(f) = f**3 + 7*f**2 - 2*f + 10. Let o be g(-8). Let l = x - o. Is 14 a factor of l?
True
Does 23 divide ((-60)/30)/(4/(-138))?
True
Let r(z) = z**3 + 18*z**2 - 39*z - 36. Is 10 a factor of r(-16)?
True
Suppose -5*u - 134 = -4*y + 26, 10 = 2*y. Let a = 73 + u. Does 23 divide a?
False
Suppose -3*y = y - 1540. Suppose -u + 6*u = y. Is u a multiple of 11?
True
Is 5 a factor of ((-2)/(-5))/(3/90) + 2?
False
Suppose -1134 = -6*r - 3*r. Is r a multiple of 18?
True
Let p(g) = -g. Let j(d) = 5*d - 33. Let c(z) = -j(z) - 6*p(z). Is c(-21) a multiple of 5?
False
Let w = 43 + -71. Is 9 a factor of 8/w - (-72)/7?
False
Let n = 107 - 55. Suppose 2*s - 4*p = -3*p + n, -5*s + 3*p + 128 = 0. Does 15 divide s?
False
Suppose -6 = -3*k + k. Suppose y = -k + 1. Does 17 divide 4/((-20)/225)*y?
False
Let o(g) = g**2 - 14*g - 73. Is 2 a factor of o(-13)?
True
Let g = -178 + 85. Let q = -22 - g. Is 10 a factor of q?
False
Let g(q) = 13*q + 65. Is g(31) a multiple of 39?
True
Let j = 7 + -22. Let o = 25 + j. Does 5 divide o?
True
Let v(r) = -41*r**3 - 2*r**2 + 1. Let m be 15/(-10)*-2 + -4. Does 20 divide v(m)?
True
Let k = 2592 + -1455. Does 7 divide k?
False
Let r = 2429 - 826. Is 15 a factor of r?
False
Let y = 304 - 16. Does 18 divide y?
True
Let y(b) = b**2 - 7*b**2 + 9*b**2 + 4*b + b**2. Does 9 divide y(-3)?
False
Suppose -2*r - 15 = -3*j, -2*r - 2*r - 5 = -j. Suppose 0 = 4*p + 16, j*f + 7*p = 2*p + 215. Does 16 divide f?
False
Let d(g) = -9*g + 138. Let u(w) = -w**3 - 19*w**2 + 21*w + 20. Let c be u(-20). Does 6 divide d(c)?
True
Suppose -3*q = h - 1944, -2*q - 3*q + 7748 = 4*h. Does 42 divide h?
True
Let y(j) = 2*j**2 - 71*j + 36. Does 12 divide y(36)?
True
Let x = 9 + -7. Suppose -x*s = -4*y + 214, -58 - 208 = -5*y + s. Does 15 divide y?
False
Suppose -2*v + 525 - 221 = 0. Is v a multiple of 4?
True
Let s(d) = d**3 + 11*d**2 - 12*d + 2. Let o = -23 + 11. Let i be s(o). Suppose -4*q + 70 = i. Does 7 divide q?
False
Let g = 382 - 98. Let f = -6 + g. Is f a multiple of 13?
False
Let t be 2 - (1 - (-13 + 0)). Let r be (-4)/t + (-16)/(-6). Suppose -4*g + h = -47, r*g + h - 27 = -h. Is 6 a factor of g?
False
Let i = 3528 - 1571. Is i a multiple of 27?
False
Suppose 0 = 3*n + 5*p - 22, -p - 2*p = 5*n - 26. Suppose 2*l = -n*i + i - 2, 4*l - 4*i + 44 = 0. Let w = 3 - l. Is 6 a factor of w?
False
Let l = -4 + 136. Does 11 divide l?
True
Suppose 4 = -g + 2. Let u(x) = x + 4. Let i be u(g). Suppose 0 = -i*t + 14. Is 2 a factor of t?
False
Let l be (-704)/7 + 33/(-77). Let r = l + 163. Is (20/(-8))/(-5)*r a multiple of 31?
True
Suppose -4*k = 45 + 399. Let d = k + 165. Suppose -4*q = d - 230. Is 11 a factor of q?
True
Suppose -10*p - 8*p = -1620. Is 2 a factor of p?
True
Let g = 13 + -7. Suppose f = g*f - 375. Is 11 a factor of f?
False
Suppose -8 = -4*d + 8. Suppose -g + 35 = 3*k - 3*g, d*k - 56 = -2*g. Suppose -2*s + k = -17. Does 12 divide s?
False
Suppose 3*y - 3*x - 16 - 38 = 0, 36 = 2*y - 4*x. Let t be 273/(-52)*4/1. Let n = y - t. Is 13 a factor of n?
True
Let y be 6/36 - 302/12. Let c be 6/15 - 2240/y. Is (15 + -13)*c/4 a multiple of 9?
True
Let l(q) = -2*q - 2. Let j be l(0). Let z = j + 5. Does 5 divide (-16)/24 + 65/z?
False
Let k = 97 - 92. Suppose k*o = 820 - 250. Is o a multiple of 19?
True
Let m(w) = -2*w + 3. Let j be m(0). Suppose -290 = -5*r + z, 61 - 257 = -j*r + 5*z. Is 8 a factor of r?
False
Let w(o) = -9*o + 41 - 8*o - o + 6*o. Does 6 divide w(-7)?
False
Suppose -2*z = 3*r - 2*r, 14 = 3*r - z. Suppose -2*w - 4*h + 98 = 0, w - 45 = r*h - 7*h. Is w a multiple of 19?
True
Let r = -64 - -100. Let c = 83 - r. Suppose 4*m = 4*k + 84, -5*k + c = -2*m + 5*m. Does 6 divide m?
False
Is (-49 - -34)*136/(-12) a multiple of 2?
True
Let u(p) = 4*p**2 - 24*p - 237. Is u(18) a multiple of 8?
False
Suppose 7689 + 6471 = 40*k. Is 59 a factor of k?
True
Let v be 4/(-6)*(-18)/4. Let w(u) = u**2 - 4*u - 3. Let r be w(v). Let l(a) = -a**3 - 6*a**2 - 4*a + 3. Is l(r) a multiple of 9?
True
Let l = -27 - -43. Suppose -12*t - 916 = -l*t. Is t a multiple of 42?
False
Suppose 3*r + 590 = -4*j, r - 3*j + 2*j = -185. Let t = r - -295. Is 15 a factor of t?
True
Suppose -4*l = -4*m - 36, -m = 5*l + 14 + 1. Let d(b) = -2*b + 24. Is 24 a factor of d(m)?
False
Suppose 0 = -93*u + 99*u - 1362. Does 11 divide u?
False
Suppose 2502 = 41*a - 35*a. Does 79 divide a?
False
Suppose 0*f = 3*f - 45. Suppose -7*d + 2*d = -f. Suppose 0 = -d*b