 + 148 = -q + 730. Let y = f + x. Is y a multiple of 13?
False
Suppose 5*a - 102 = w, a - 5*w + 2*w - 12 = 0. Is 4 a factor of a?
False
Let a(o) = 3*o**3 + 8*o**2 + 8*o - 22. Let h(r) = -3*r**3 - 7*r**2 - 7*r + 20. Let k(u) = -6*a(u) - 7*h(u). Does 17 divide k(3)?
True
Let v be 30/(-9)*(-6)/4. Let y = v + -13. Is 1/y - (-932)/32 a multiple of 12?
False
Suppose -78 = 6*y - 6. Is (272/(-6))/(8/y) a multiple of 17?
True
Let i = 44 + -45. Is 17 a factor of i*2*(-120 - 11)?
False
Is 11 a factor of ((-333)/(-6) - -5)*22?
True
Let m be (-1 - -1)/(-4 - -2). Let n = 0 - m. Does 4 divide n - (0 - 44)/2?
False
Let u = 10 + -14. Let d(m) = -7*m + 2. Let o be d(u). Suppose 8 = -3*w + 7*w, -o = -h - 3*w. Is h a multiple of 8?
True
Suppose 0*l = -5*l - 630. Let f = -27 - l. Is 31 a factor of f?
False
Is 52 a factor of -11*(-30)/(-6)*208/(-10)?
True
Let l(t) = -t**3 + 4*t**2 + 2*t - 4. Let v be l(4). Suppose -16 = -4*s + 3*n + 7, -3*s = -v*n - 12. Let d(k) = -k**3 + 10*k**2 - 12*k + 7. Does 13 divide d(s)?
True
Let w(m) = 12*m**2 - 3. Let n be w(-2). Let x = 63 - n. Does 3 divide x?
True
Let b(q) = -q**2 + 6*q + 4. Let c be b(6). Suppose -c*k - 8 = 4*y + y, -k - 17 = 5*y. Suppose -2*w + 76 = k*u, -3*u + 77 = 4*w + 9. Is 6 a factor of u?
False
Let r(t) = t**3 + 4*t**2 - 4*t. Let g = 8 + -12. Is r(g) a multiple of 3?
False
Let p = 9 - -141. Suppose p = 2*r + 5*f + 45, -3*r + f + 132 = 0. Is 9 a factor of r?
True
Does 39 divide 1/(-9 - (-49184)/5464)?
False
Suppose 2*i = -j + 105, -5*i + 2*i + 6 = 0. Let t be 25/3*3 - 2. Suppose 2*f - j = -t. Is f a multiple of 10?
False
Let d = 18 - 18. Suppose d*r - 10 = -5*r. Suppose l = -r*l - 15, -125 = -w + 4*l. Is 29 a factor of w?
False
Let p be ((-3)/2)/(3/(-6)). Suppose -p*u = 64 - 238. Is 14 a factor of u?
False
Suppose 4*x - 8 = 0, -5*x = 3*a - 27 - 7. Is (-48)/(-2 - (-4)/a) a multiple of 16?
True
Let i = 126 + -98. Let f = 145 - i. Is f a multiple of 7?
False
Suppose -5*u - 4*o = -u - 240, 5 = -5*o. Suppose -2*n = -27 - u. Is 12 a factor of n?
False
Does 13 divide (0 - 401)*(-11 + (-63)/(-7))?
False
Suppose 0 = -a - 5*n - 0*n - 17, -4*a - 32 = 2*n. Let p = -5 - a. Suppose -p*f - 45 = -5*f. Does 15 divide f?
True
Suppose 2*k - 4*g = 6, -2*k - 3*g = -0*k - 13. Let a be 1 - (-1)/1 - -2. Suppose -x + 101 = a*n + k, -2*x + 120 = 5*n. Does 7 divide n?
False
Let w(t) = 77*t**2 - 5*t - 5. Is 17 a factor of w(4)?
True
Let v(u) = -u**3 + 6*u**2 + 3*u - 10. Let l be v(6). Suppose -l*i + 758 = -522. Is i a multiple of 16?
True
Let w = 114 + 119. Suppose -p = -2, p - w - 164 = -5*j. Does 52 divide j?
False
Suppose -u = r - 6*r + 21, 2*r = -4*u + 4. Suppose -j + 113 = 3*g - 6*j, -5*j = -g + 31. Suppose i + r*t = 80, 5*i - t - 336 = -g. Does 17 divide i?
False
Let v be 0/(-4) + 1*126. Let x(r) = -r**2 - 8*r - 8. Let k be x(-6). Suppose -3*n + 3*c + v = 6*c, 0 = -3*n + k*c + 105. Is n a multiple of 12?
False
Let d(n) = -n**2 + 6*n + 4. Let x be d(6). Let k be ((-6)/4)/((-2037)/406 - -5). Suppose 7*q = x*q + k. Is 12 a factor of q?
False
Does 10 divide -2 + (-3028)/(-24) + 33/(-198)?
False
Let n(k) = -k**3 + k**2 - 2*k + 357. Is n(0) a multiple of 7?
True
Let c be 2/(-7) - 90/(-21). Suppose -68*r = -66*r - 250. Suppose -c*z = z - r. Does 6 divide z?
False
Let q(a) = -a**3 - 16*a**2 + 9*a + 11. Let s be q(-17). Suppose -3*h + s = 2*u, -5*u = -7 - 8. Is h a multiple of 4?
False
Let b(k) = -2*k**3 - 9*k**2 + 14*k - 3. Let c(i) = -i**3 - 1. Let t(g) = -b(g) + c(g). Let w = 42 - 52. Does 12 divide t(w)?
False
Suppose 3*w - 8*w + 1324 = -3*q, 804 = 3*w + 3*q. Suppose 5*b - w = -2*b. Does 19 divide b?
True
Let l(t) = -2*t**3 + 110*t**2 + 131*t - 123. Is l(56) a multiple of 8?
False
Let r(k) = k**3 + 33*k**2 - k + 84. Does 3 divide r(-33)?
True
Suppose -16 = -k + 2*w, -6*k + 5*w + 70 = -2*k. Suppose -3*h + 23 = 4*r, 2*h = -0*r - 5*r + k. Suppose m + 70 = r*m. Is 14 a factor of m?
True
Let j(h) = -h**2 + h - 4. Let l(r) = -r**2 - r + 1. Let y(t) = j(t) - 2*l(t). Suppose -5*g - 19 = -w, -4*w - w = -3*g - 29. Is 22 a factor of y(w)?
True
Let k(u) = 3 - u + 0 - 10*u**2 - 2 + 2*u. Let p be k(-3). Let b = 189 + p. Is b a multiple of 12?
False
Let a = -58 + 65. Is 48 a factor of (-7)/((-294)/3582) - 2/a?
False
Let j = -45 - -59. Let y = 37 - j. Is y a multiple of 5?
False
Suppose 3*v = -g + 207, 0*g - 4*v = g - 210. Is g a multiple of 6?
True
Let b = -1407 - -2411. Is b a multiple of 5?
False
Let j = -221 - -1103. Is j a multiple of 9?
True
Let i(n) = 2*n**2 - 18*n + 3. Let g be i(9). Suppose c - 152 = -g*c. Is c a multiple of 8?
False
Suppose -5*j - 7 = 4*k - 0*j, -k + j - 13 = 0. Does 14 divide (30/9)/((k/(-30))/2)?
False
Does 25 divide 197 - -1 - (-1 - 1)?
True
Let q = -29 - -23. Let r(j) = j**3 + 5*j**2 - 9*j - 5. Let a be r(q). Let m = a - -14. Is m a multiple of 9?
True
Let o(s) = -s**3 + 10*s**2 + 17*s - 6. Let y be o(12). Let k = y + 98. Is k even?
True
Suppose 0 = 4*p + 3*m - 13135, 16*m = 2*p + 19*m - 6569. Does 67 divide p?
True
Let a(i) = 95*i - 15. Is 8 a factor of a(2)?
False
Let d be 58/261 - 34/(-9). Suppose 5*j + 0*j = -d*o + 141, -3*o + 102 = 3*j. Is o a multiple of 3?
False
Let i(x) be the third derivative of 23*x**4/24 + x**3/2 + 7*x**2. Is 6 a factor of i(1)?
False
Suppose -14*i = -6*i. Suppose 0 = 4*t - 5*z - 182, i*z + z = 2. Does 8 divide t?
True
Suppose -5*a = -4*w + 7, 19 = -7*w + 2*w - 3*a. Let v be 2*77 + (-5 - w). Let i = -38 + v. Does 16 divide i?
False
Let q be (-48)/2*(-5 + 2). Let i = -568 + 579. Suppose q = i*c - 5*c. Does 6 divide c?
True
Suppose 630 = 5*d + 105. Let q be ((-15)/(-55))/(1/11). Suppose q*o - d = -2*o. Is 16 a factor of o?
False
Let x be (9/5)/(9/45). Suppose -5*z = 26 + x. Let r(a) = -a + 8. Is r(z) a multiple of 4?
False
Let q be (-63)/(-14)*(8 - 0). Let a = 61 - 40. Let h = q - a. Does 15 divide h?
True
Suppose 2*y + 7 = -3*c - 2, y = 5*c + 15. Suppose k - 5*f = 20, -2*k + y*k + 3*f + 75 = 0. Is k a multiple of 4?
False
Let j = 299 - 426. Suppose 0 = -4*q + 25 - 341. Let u = q - j. Is 19 a factor of u?
False
Let i be 190 + (-1)/(5 - 4). Let d = i + -8. Suppose 107 = 4*z - d. Is z a multiple of 12?
True
Let q be 2 + (-45 - 2)*-1. Suppose 4 = -3*t + q. Is 2 a factor of (-36)/30*t/(-2)?
False
Suppose 12*x + 6 = 13*x. Suppose -6*a + x + 12 = 0. Is -1 + 3 - (-21)/a a multiple of 2?
False
Let x be (-36)/(-9)*(-43)/(-4). Let j = 53 + x. Is 16 a factor of j?
True
Let m be ((-128)/10)/(4/(-50)). Is m/(16/(-12) + 3 + -1) a multiple of 10?
True
Let y(t) be the second derivative of t**4/12 - 5*t**3/6 - 2*t**2 + 3*t. Suppose 0 = 2*g - 19 + 5. Does 5 divide y(g)?
True
Let y(z) = 11*z + 21. Does 3 divide y(3)?
True
Suppose 0 = -3*l - 0*l + 6. Let f be (-2)/((-24)/(-9) - l). Let b(g) = g**3 + 4*g**2 + 2*g + 1. Is 4 a factor of b(f)?
True
Suppose -22848 = 40*d - 48*d. Does 21 divide d?
True
Let s(k) = k + 6. Let w be s(-7). Let f be w/(-2)*0 - -36. Suppose 16*v = 13*v + f. Is v a multiple of 4?
True
Let r = -4 + 21. Let f(u) = 3 + 14*u - 1 - r*u. Is 5 a factor of f(-6)?
True
Let m = -19 - -85. Does 3 divide ((-17)/(-3))/(22/m)?
False
Let p(u) = 21*u**2 + 11*u - 5. Is 31 a factor of p(2)?
False
Suppose o = 4*o. Suppose -2*g + 30 = y - o*y, 0 = -5*y + 4*g + 164. Is y a multiple of 8?
True
Let d(u) = -2*u - 2. Let z be d(-9). Suppose 6*v = -5*m + 2*v + 14, 4*m + 2*v = z. Is 6 a factor of m?
True
Suppose 11*l = 12*l - 2, -4*r + 13600 = 2*l. Does 17 divide r?
False
Let x(z) = -z**3 - z**2 + 5*z + 3. Suppose 0*a + 2*a - 4 = 0. Let o be (-2 - a/(-4))*2. Does 6 divide x(o)?
True
Suppose 10 = -5*l - 4*i, 6 = l - 4*l + i. Let u be (210/4)/((-1)/l). Suppose -4*c = -5*q + 270, -2*q = c - 2*c - u. Is q a multiple of 17?
False
Suppose 0 = 7899*j - 7894*j - 3065. Is 5 a factor of j?
False
Let s(y) = 20*y + 5. Let g be s(3). Let z = g + -38. Does 4 divide z?
False
Let g be (4 - -2) + 8/(-4). Suppose 25 - 5 = g*c. Does 2 divide 8/c + (-16)/(-40)?
True
Let b(z) be the second derivative of z**7/2520 - z**6/180 + z**5/8 - z**4/6 + 9*z. Let h(k) be the third derivative of b(k). Is 20 a factor of h(-7)?
False
Let m(w) = w**2 - 9*w - 8. Let t be m(10). Suppose 0 = -o + t*l + 4, 5*o + 5*l = 3*l + 56. Is 3 a factor of o?
False
Let b be (-72)/(-39) - 6/(-39). Suppose b*p + d = 4*p - 13, 0 = -p + d + 8. Suppose i - 4 = 0, 19 = -4*k +