7*z + 780. Does 2 divide z?
False
Let v(i) = -22*i - 119. Let w be v(-6). Does 18 divide (37 + 2)*((-416)/(-12))/w?
False
Let z(n) = 4756*n + 403. Does 46 divide z(2)?
False
Suppose 7*q - 400 = -3*q. Suppose -q = -23*a + 15*a. Suppose a*u = -4*u + 441. Is u a multiple of 25?
False
Let u(k) = 1018*k - 5946. Is u(7) a multiple of 27?
False
Let o = 134 + -128. Suppose -o*t = -12*t + 6012. Is 25 a factor of t?
False
Let i = -1938 + 3147. Is 39 a factor of i?
True
Suppose -204480 = -1408*f + 1388*f. Does 18 divide f?
True
Let v be 2/(-30)*-5*9 - 1. Is (-946)/(-12) + 1 - v/(-12) a multiple of 16?
True
Suppose -2*z - 97 = -5*i, 0 = 4*z + 5*i + 43 + 136. Let g = 62 + z. Is ((-68)/(-6) - 6)*(g - 1) a multiple of 14?
False
Suppose 0 = -l + 3*l + 2*o - 5592, 12 = 3*o. Is 7 a factor of l?
False
Let y be 8/(-24)*2/((-6)/8883). Suppose 0 = 3*w - y + 246. Is 26 a factor of w?
False
Let i(w) = 7*w**2 - 148*w - 14. Let n(o) = 5*o**2 - 99*o - 9. Let k(g) = 5*i(g) - 8*n(g). Is k(7) a multiple of 11?
True
Is (178/(-6))/(2980/600 + -5) a multiple of 3?
False
Let c = 10655 + -7545. Is c a multiple of 10?
True
Let r(n) = n**3 + 3*n**2 + 2*n + 2. Let a be r(-2). Let b(x) = -4*x**3 + 0*x + 0*x**3 - 7*x + 6 + a*x**3 - 9*x**2. Is b(-5) a multiple of 6?
True
Let w(b) = -b**3 - 10*b**2 - 8*b + 15. Let u be w(-9). Suppose 0*c + 408 = u*c. Does 17 divide c?
True
Suppose -3*u - 5*v + 113 = 0, -2*u + 4*v - v = -69. Suppose 13*x - 9*x = u. Suppose x = q - 2*g - 14, 3*g = 2*q - 44. Is q a multiple of 2?
False
Let p be (230/(-35) + 8)/(2/28). Suppose -p*i + 678 = -1842. Is i a multiple of 4?
False
Suppose -5*q - 20 = 0, 0 = -3*g - 5*q + 337 + 615. Is (g/(-63))/(-3*2/21) a multiple of 7?
False
Suppose -8*w + 658 = -5*w + 4*s, -4*s = 20. Suppose 2*q + 5*h - 256 = 0, w = 3*q + 4*h - 158. Is 16 a factor of -10*(q/(-10))/4?
True
Suppose 58 = -5*q + 2*u, -q + 6*q + 3*u = -63. Let w(s) = s**3 + 12*s**2 - 11*s + 20. Is w(q) a multiple of 19?
True
Does 18 divide 15611/2 - (-207)/(-138)?
False
Suppose -3*a - 3*a = -12. Suppose a*j - 416 = 2*f, -193 = -4*j - 2*f + 633. Does 12 divide j?
False
Let l(r) = -r**3 + 13*r**2 - 12*r + 9. Let o be l(12). Suppose -3*w + o = -6. Suppose w*p + 3*n - 249 = 0, 73 = 3*p - 4*n - 59. Does 23 divide p?
False
Let g(c) = 13*c + 4. Let s(p) = -p + 1. Let a(y) = -3*g(y) + 12*s(y). Is 17 a factor of a(-7)?
True
Suppose -2*x + 1854 = 3*u, 2*u - 6243 = -5*x - 1619. Is x a multiple of 7?
True
Let z = 3383 + -2326. Is 12 a factor of z?
False
Suppose 2*w - 4*m = 4*w - 6604, -3*w + m = -9920. Is 18 a factor of w?
False
Let d be 413/3 - 4/6. Let a = -241 + 294. Let q = d - a. Is 14 a factor of q?
True
Suppose -m + 5*x + 7887 = 6*x, m + 5*x - 7887 = 0. Does 11 divide m?
True
Let d(x) = -x**2 + 17*x + 18. Let w be d(14). Let j = -16 + w. Suppose j + 92 = c. Does 17 divide c?
True
Suppose 3*p - 2 = 7*a - 3*a, 4 = -2*a. Let c be (3/2)/((-1)/p). Suppose -6*n = -c*n - 21. Does 2 divide n?
False
Let q(t) = -6*t - 64. Let h be q(-11). Is h/(-7) - 612/(-84) a multiple of 2?
False
Let s be ((-6)/8)/(8 + (-158307)/19788). Suppose s = 4*m + 3*a, -3*a - 4957 = -4*m - 8*a. Is m a multiple of 34?
False
Let c(o) = 96*o + 54*o + 1 + 11. Is 18 a factor of c(4)?
True
Let a = 283 - 278. Suppose -3*k + 4*n = -412, 3*k - a*n + 2*n = 417. Does 7 divide k?
False
Let h be (1 + 0)/((1 - 0)/22). Let m(z) = 4*z**2 - 59*z + 28. Is m(h) a multiple of 37?
True
Does 3 divide (2 + 138/(-161))*(330 - 1)?
False
Suppose -28*y - 115*y + 245531 = 0. Does 69 divide y?
False
Let p(a) = a**2 - 5*a - 8. Let d be p(5). Let u = d + 13. Is (-15 - u)*(15/2)/(-5) a multiple of 3?
True
Does 9 divide (-7 - -4)/((-1)/((-4473)/(-27) - 0))?
False
Suppose -n + 5*u + 10247 = 0, -5*n - 5*u - 51275 = -10*n. Is n a multiple of 71?
False
Let m be (-3)/(-6) - 6/12. Suppose m = -36*u + 29*u + 1666. Does 36 divide u?
False
Suppose 3*f + 5 + 7 = 5*m, 2*f = m - 1. Suppose -9*t = -3*t - 6. Is 26 a factor of m*2/6*130*t?
True
Suppose d = -6*d. Suppose d = 2*r + 26 - 76. Suppose -r*h = -21*h - 672. Is h a multiple of 12?
True
Let v(r) = -5*r + 2. Let x be v(0). Suppose -g = x*g - 900. Is 14 a factor of g?
False
Let u be ((-16)/48)/(((-1)/6)/1). Suppose -u*q + 2 = -q - 2*c, 0 = 2*q - 5*c - 2. Suppose 120 = 9*d - q*d. Is d a multiple of 7?
False
Let b(o) = o - 1. Let i(h) = -16*h - 63. Let p(q) = 4*b(q) + i(q). Suppose -2*s - 20 = 2. Does 13 divide p(s)?
True
Let f(g) = g**2 + 3*g + 6. Let n be f(-2). Let y be 3/n - (-40)/32. Suppose -v = -y, -5*v = 4*h - 4*v - 506. Is 18 a factor of h?
True
Suppose 1052 = 3*p + 2*p + 2*z, -z - 428 = -2*p. Suppose 0 = 5*a - 1957 + p. Suppose -5*q + 168 + a = 4*o, 0 = -5*q + 3*o + 531. Does 15 divide q?
True
Suppose -7*l = 64*l - 1082395. Is l a multiple of 71?
False
Let k be 457/6 + (-14)/84. Suppose -4*p = -4*a + k, -2*p = 3*a - 3*p - 67. Is a even?
True
Let l = 1588 - 948. Let j = 1270 - l. Does 18 divide j?
True
Let r(p) = 161*p**2 + 10*p + 22. Let k be r(-3). Suppose -177*d - k = -188*d. Is 2 a factor of d?
False
Let k = 7565 + -4203. Does 41 divide k?
True
Let j = 35 - 32. Suppose -j*q - 21 = -57. Suppose -l + 3*u = -u + q, u = l. Is l a multiple of 3?
False
Let i = -111 + -21. Let a = i - -247. Does 23 divide a?
True
Let z(k) = -k**3 - 2*k**2 + 6*k - 7. Let u be (-15)/12*2*2. Is 21 a factor of z(u)?
False
Let v(h) be the third derivative of 53*h**5/30 + 11*h**4/24 + h**3/3 + 273*h**2. Does 14 divide v(2)?
True
Let w be 3 + -8 + 1 + 1. Let k be (-6)/((-692)/228 - w). Let z = 249 - k. Is 26 a factor of z?
True
Let z(s) = -s - 2. Let y be z(-6). Suppose 4*b - 746 = 6*n - 8*n, -748 = -y*b - 4*n. Suppose 5*d = 2*t + 480, 5*d - b - 299 = t. Is d a multiple of 14?
True
Suppose 3*q - 38 = 2*s, -4*q + s + 56 = 12. Suppose -4*l + q = l. Suppose -v + 4*b = -l*v + 43, 4*v - 4*b - 112 = 0. Does 18 divide v?
False
Let f(o) = o**3 - o**2 + 1. Let t be f(2). Suppose -2*h + 35 = t*h. Suppose 3*a + 36 = h*a. Does 13 divide a?
False
Let h be 0 - (-3 + 9 + 829). Let g = -67 - h. Is 12 a factor of g?
True
Let a = -2617 + 19361. Is 92 a factor of a?
True
Let o = 3237 + 312. Suppose -o - 5109 = -18*t. Is 13 a factor of t?
True
Let l be -4 + 0 - 1/(4/(-480)). Let m = l + -114. Does 19 divide 1024/6 + m/(-36)*-6?
True
Suppose -3893 - 2803 = -31*i. Suppose 3*j + 2532 = 3*y, 0 = -y - 3*j + 612 + i. Is y a multiple of 24?
True
Suppose 2*c + 3 + 6 = -3*q, 2*q = -10. Suppose -2*h = 4*l - c*l - 3, 8 = -3*h - 4*l. Suppose -h*p + 2*p = -6. Is p a multiple of 3?
True
Let n = -44 + 47. Suppose -8 = n*v - 2*h, -4*v + 1 = -h + 10. Does 22 divide (v - 6/(-3)) + 46?
False
Let c be ((-135)/(-20))/(-3)*(-16)/6. Suppose -4*g + 636 = 2*d, c = 2*g - 3*d - 296. Does 10 divide g?
False
Let h(n) = n - 11. Let d be h(6). Does 49 divide 4 + 0 + 0 + (-1055)/d?
False
Suppose 20409 - 6040 = 2*d - a, -5*d + 3*a + 35925 = 0. Suppose 18*b - 4*b - d = 0. Is b a multiple of 27?
True
Let x be -1*2/(-2)*(58 + -55). Suppose x*a + 366 = 4*c, -4*c = -0*a + 5*a - 350. Does 3 divide c?
True
Let a(y) = -y**3 + 39*y**2 - 70*y - 101. Let v be a(37). Suppose -29*b - 3312 = -v*b. Is 6 a factor of b?
False
Suppose -7*x - 4577 = -24289. Does 16 divide x?
True
Suppose 29*c - 28*c = -1728. Let v = 2575 + c. Is 11 a factor of v?
True
Suppose -51*x = -37*x + 14. Is 13 a factor of (-2 + x)/((-7)/280)?
False
Suppose -68*p = -75*p. Does 29 divide p + 6/(-27) - (-18280)/45?
True
Suppose -94 = -35*y + 81. Suppose y*q - 2850 = -0*q - 5*k, -4*q = 2*k - 2286. Does 106 divide q?
False
Let l(d) be the first derivative of 25*d**3/3 + 8*d**2 - 75*d - 43. Is l(5) a multiple of 7?
True
Let k be -4*((-33)/77 + (-144)/7). Suppose -k = 3*u - 507. Does 5 divide u?
False
Suppose 3*x - 88 = x. Suppose 6 + x = 10*w. Suppose 3*r - 248 = -2*z - 72, 288 = w*r - 2*z. Is r a multiple of 7?
False
Suppose 0 = h - 3*f + 8 + 7, -3*h = 4*f - 20. Suppose h = -10*v + 13*v - 1404. Is 16 a factor of v?
False
Let r(p) = -10*p**2 - 107*p + 15. Let s(j) = -10*j**2 - 110*j + 14. Let l(o) = 2*r(o) - 3*s(o). Is 76 a factor of l(-18)?
True
Let t be (-30)/(-4)*(13 - 9). Let m = 34 - t. Suppose -m*n - 4*y = -444, -y - 305 = -3*n + 3*y. Is 13 a factor of n?
False
Let p(c) = 4*c**2 - 13*c - 28. Let o be p(-5). Suppose 911 = 6*k + o. Does 13 divide k?
False
Suppose -5*w - 3 + 27 = 3*u, 4*u - w = 55. Suppose u*