0. Let a = -9 - -1. Is y(a) a multiple of 7?
True
Suppose -25*m = -3*m - 10164. Does 42 divide m?
True
Suppose c - 95 = 2*s, c + 3*s - 312 = -2*c. Is c a multiple of 5?
False
Let b(s) = -5*s + 22. Let u be b(9). Let a = 11 - u. Is a a multiple of 17?
True
Let l(o) = -5*o - 7. Let g be l(-3). Is ((-44)/g - 2)*(-4)/3 even?
True
Suppose f = -2*r + 260, 4*r - 1288 = -5*f - 0*r. Does 19 divide f?
False
Suppose 628*v + 60945 = 645*v. Does 73 divide v?
False
Let o(z) = -8*z - 37. Suppose 23 = -u + 7. Is o(u) a multiple of 13?
True
Suppose -40 = 3*s - 7*s. Let z(k) = -109*k - 24 - 111*k + 228*k. Does 12 divide z(s)?
False
Let w be 0/(-1)*(-6)/(-12). Suppose -5*q + 1 + 104 = w. Is q a multiple of 11?
False
Suppose 4*d - 64 = -0*d. Let i = -13 + d. Suppose -i*x = -11*x + 32. Is 4 a factor of x?
True
Let h = 819 - 699. Is h a multiple of 3?
True
Suppose -36*w - 5*j + 1503 = -35*w, 3042 = 2*w - 2*j. Is w a multiple of 66?
True
Suppose -5*t - 15 = -8*t. Suppose 3*w = w + 3*a + 52, t*a = 3*w - 79. Suppose 0 = -v + 2*y + w + 14, 3*v = 2*y + 119. Is v a multiple of 19?
False
Let m be 12/24*2*2. Suppose -5*u = -3*b - 23 + 74, -40 = 4*u - m*b. Is 16 a factor of (-430)/u + 2/9?
True
Suppose -356 = v - y + 5*y, 5*v - y = -1717. Is 12 a factor of v/(-4) + -3 + 1?
True
Suppose -4*x = 2*x - 30. Let u(i) = -5*i - x*i**3 + 8*i**2 + i + 4*i**3 - 3. Does 9 divide u(7)?
True
Suppose -2*w + 2 = -o + 10, 0 = w + 4*o - 14. Let u = w - -6. Suppose 4*b = 3*m + 123 + 168, -u*b = 2*m - 286. Is b a multiple of 22?
False
Let c(y) = y**3 - 2*y**2 - 11*y - 7. Let r be c(5). Suppose -9 = -d - 2*d - 3*i, -5*d = 3*i - r. Suppose -134 - 48 = -d*h. Is 12 a factor of h?
False
Does 31 divide 4/18 - ((-185715)/81 + 15)?
False
Suppose 11 = 4*f - 3*f. Let c(k) = -k**3 + 11*k**2 + k - 2. Let n be c(f). Let g = n - -2. Is 7 a factor of g?
False
Let m be (-1 - 1 - -4)*-1. Let n = 2 + m. Is n + 78/2 - 1 a multiple of 14?
False
Let i = -484 + 517. Is 3 a factor of i?
True
Is 4 a factor of 24/(-36)*(-45)/2?
False
Let i be 18/45 - (-2)/(-5). Let u(f) be the second derivative of -f**3/6 + 26*f**2 + f. Is u(i) a multiple of 19?
False
Let u = -100 + 117. Is u a multiple of 17?
True
Suppose 4*k = 3*w - 1051, 4*w - 785 - 653 = -2*k. Is w/6 + -3 - (-2)/4 a multiple of 13?
False
Suppose 5*b - b - 5*m = 4, m + 3 = 3*b. Suppose -x + 9 = b. Is x a multiple of 8?
True
Let v(a) = a**2 - 11*a + 13. Suppose 3*j - b = 32, 0 = 3*j - 5*b + 18 - 58. Let i be v(j). Suppose i*k + k + 26 = u, -4*k + 4 = 0. Does 15 divide u?
True
Suppose -2*q + 12*q + 310 = 0. Is (-23 - q)*3/4 a multiple of 2?
True
Suppose -2823 = -3*w + 2*d, 0 = 5*w - 4*w - 5*d - 954. Suppose y = 4*o - w, -o + 2*y + 703 = 2*o. Is o a multiple of 15?
False
Let k = 42 - 23. Suppose 0 = -4*w + k + 21. Is w a multiple of 3?
False
Let g(m) = -m**2 - m + 8. Let q be g(0). Suppose -h - q = -39. Suppose h = 5*z - 54. Does 17 divide z?
True
Let a = -858 - -2674. Does 18 divide a?
False
Let u(s) = 7*s**2 + 64*s + 2. Does 22 divide u(-16)?
True
Suppose 4*d = 20, d - 9 = w - 4. Suppose w*o - 6 = -3*o. Suppose 3*z = o*z + 4, -25 = -m + 3*z. Is m a multiple of 11?
False
Let w(y) be the second derivative of -4*y - 37/20*y**5 + 1/6*y**3 + 0*y**4 + 0*y**2 + 0. Is 14 a factor of w(-1)?
False
Is 33/(-24) + 1 - 7062/(-16) a multiple of 21?
True
Let b = -256 - -347. Is 13 a factor of b?
True
Let y = 5 - 1. Let w = y + -4. Suppose w = -f + 32 - 11. Does 7 divide f?
True
Let w(s) = -s**3 + 3*s + 2. Let t be w(-2). Let g be 9*t/12 + 90. Suppose -g = -4*l + 75. Is 6 a factor of l?
True
Let q(u) be the third derivative of u**6/120 - u**5/6 + 7*u**4/12 - 5*u**3/3 - u**2. Let g = 161 + -152. Is q(g) a multiple of 13?
False
Let l(g) be the second derivative of 11/6*g**3 - g - 1/2*g**2 + 0. Is l(2) a multiple of 8?
False
Suppose 2*n = 81 - 73. Is n a multiple of 3?
False
Let j be (1 - -305) + -6 + (5 - 1). Let g = j + -122. Is g a multiple of 28?
False
Suppose 46*n - 11752 = 38*n. Is n a multiple of 13?
True
Let h(k) = k**2 - 8*k + 26. Let q be h(9). Suppose -q*o + 26*o = -567. Does 7 divide o?
True
Suppose 3*i - 219 = 747. Is (-1)/(-2) + i/4 a multiple of 27?
True
Let y(i) = -60*i - 24. Let z be y(-14). Suppose -18*t = -10*t - z. Is t a multiple of 8?
False
Let i = -15 + 510. Does 55 divide i?
True
Suppose -14 = -2*c - 3*w - w, 3*c - 5*w = -23. Does 34 divide 18/(-6) + (-1)/c - -70?
True
Let z = 18 - 19. Let w be ((-5)/z)/(65/26). Suppose 5*l - w*l - a = 65, -a = -1. Does 9 divide l?
False
Does 20 divide ((-106)/(-2) + -3)*(2 + 10)?
True
Let u(g) = 3*g - 13. Let i be u(5). Suppose -5*m + i*a + 246 = 0, -m - 1 = -3*a - 58. Suppose -j + f = -m, 4*f = -6*j + 3*j + 172. Does 13 divide j?
True
Let n = 262 - -674. Suppose -10*d + n + 54 = 0. Is 33 a factor of d?
True
Let l = -30 + 41. Suppose 5*k = -t + l, t - k - 2 = 3. Suppose -2*d = -i - 39, -t*d + 2*d + 98 = 2*i. Is 7 a factor of d?
False
Let o = 825 - 401. Does 106 divide o?
True
Let j be 0/(4/8*-4)*-1. Suppose 5*d - 196 = -4*x, 5*x = -5 - j. Is 3 a factor of d?
False
Let r(t) = 14*t + 37. Let h be r(17). Suppose h = 5*n - 0*n. Is n a multiple of 11?
True
Let l(d) = d**2 - 6. Let n be l(-5). Suppose -3*r + 8 = -n. Suppose 3*h = -x + 6*h - r, -2 = 2*x - 2*h. Is x a multiple of 3?
True
Let t be -5*2 - (-28)/(-7). Let u = -17 - t. Let y = u + 6. Does 3 divide y?
True
Suppose 4*m - 1006 = -m - 3*v, v = 3*m - 598. Let x = m - 12. Let g = x + -118. Does 14 divide g?
True
Let q(s) be the third derivative of -s**4/24 + 19*s**3/6 - 2*s**2. Suppose -24 = h - 4*h. Is q(h) a multiple of 3?
False
Let z = 24 + -13. Let a be 2/z + 45/55. Does 4 divide a/(3 - 0)*45?
False
Suppose 31*l - 30*l = 450. Does 30 divide l?
True
Let u(v) = -v**3 + 11*v**2 + 6*v**2 - 3*v - 13 - 2*v - 6*v**2. Let d = 58 + -48. Is u(d) a multiple of 26?
False
Suppose -3*s - 513 = 4*d, -s = -6*s - 5*d - 850. Let u = 246 + s. Suppose j - u = -0*j. Does 18 divide j?
False
Let j = -10 + 10. Let v be ((-2)/5 - j)*-5. Suppose 36 = v*n + 2*n. Does 9 divide n?
True
Let c(z) = 8*z**2 + 5*z - 47. Does 42 divide c(8)?
False
Suppose 0 = 5*g - 31 - 9. Let x be (-5)/(-10) + 1/(-2)*1. Suppose 2*p = -x*p + g. Does 3 divide p?
False
Let j(r) = 2*r**2 + 7*r + 6. Suppose v = -u + 11, 2*v + v + 5*u - 23 = 0. Let y be (2 - v/6)*6. Is j(y) a multiple of 8?
False
Let c(h) = 14*h + 6. Let v be c(-5). Let u be ((-49)/(-4))/((-2)/v). Is u/22 - 2/(-11) a multiple of 5?
False
Suppose 0 = -2*h - h + 12. Let y be 2*h*(0 - -28). Suppose 2*s = -2*s + y. Is 14 a factor of s?
True
Suppose -3*u + 5*g = 5, 0*u = 4*u - 5*g + 5. Suppose -4*l - 6*v + 2*v + 364 = u, -2*l + 5*v + 210 = 0. Is l a multiple of 19?
True
Suppose n - 23*v + 28*v - 58 = 0, 4*n - 4*v - 160 = 0. Is n a multiple of 2?
False
Is 17 a factor of 71 + ((-20)/4 - -2)?
True
Let o(i) = 2*i**3 - 16*i**2 - 13*i + 5. Let a = -76 + 85. Does 50 divide o(a)?
True
Let f = 126 - 261. Let v be 4/(48/(-4))*f. Suppose -3*c + 182 = 4*n, -3*n = -2*n + c - v. Does 13 divide n?
False
Suppose -7*v = -16*v. Suppose v = -4*m + 224 + 16. Does 15 divide m?
True
Let i be 3 + (-3)/6*10. Is i/((-2)/(-32)*-2) a multiple of 4?
True
Let f = -459 - -849. Is 30 a factor of f?
True
Suppose 5*l - 2*t + 12 = 78, 3*t - 62 = -4*l. Does 10 divide 5/(-3)*-7 - l/21?
False
Suppose -5*h = 4*u - 12 - 0, -4*h = 0. Suppose g + u*l - 19 = 0, -l + 0*l = -5*g + 175. Is 34 a factor of g?
True
Suppose 33 = -3*y + 87. Is 18 a factor of y?
True
Suppose -197 = -4*w - 5*v + 416, -2*w - 3*v + 309 = 0. Does 21 divide w?
True
Let b = -73 + 35. Let l = 34 - b. Suppose -4*s + 8*s = l. Is 5 a factor of s?
False
Suppose -10*w = -18*w + 512. Does 4 divide w?
True
Suppose 3*b + 114 = 3*a, 48 = -3*a - 2*b + 162. Is a a multiple of 38?
True
Suppose -525 = -3*y + 1635. Is y a multiple of 30?
True
Suppose -4*w + 10 + 6 = 0. Let s be w/1 + -2 + 0. Suppose -15 - 69 = -s*k. Is k a multiple of 19?
False
Let v(r) = -207*r + 59. Does 49 divide v(-8)?
True
Suppose g + 3 - 5 = -5*w, -g = -3*w - 18. Suppose -2*q + 136 = 2*m, 5*m + g = 2*q - 152. Is 16 a factor of q?
False
Suppose -b = 4*b. Let i be ((-15)/(-6) + -2)*b. Suppose h - 8 + 2 = i. Is h a multiple of 6?
True
Let g(y) = -92*y + 7. Let w be g(-3). Suppose -o - w = -3*t, -416 - 55 = -5*t + 2*o. Is 17 a factor of t?
False
Let p = 14 + -11. Suppose 17 = 5*z - 