 be r/((-6)/(-10)) + -3. Let q = 4 + n. Is q even?
True
Suppose 3*m + w - 5*w = -578, 5*m - 2*w + 982 = 0. Does 33 divide (1 + -3)/(3/m)?
True
Suppose -g = 76 - 16. Let n be 97 + 5/((-10)/(-4)). Let u = n + g. Is 13 a factor of u?
True
Let x = 18 - -868. Is x a multiple of 24?
False
Let q(m) = -11*m + 135. Is q(-31) a multiple of 14?
True
Let i = -82 + 85. Suppose -i*w = -3*z - 432, w + 8*z - 144 = 3*z. Is 16 a factor of w?
True
Let y = 722 + -645. Is y a multiple of 2?
False
Let f = 55 + 134. Is f a multiple of 7?
True
Suppose -3*p + 650 = -u, 5*p - 5*u = 415 + 655. Is p a multiple of 12?
False
Let o be (14*-2)/(4/(-6)). Let x = 449 - 373. Let t = x - o. Does 9 divide t?
False
Let g be -16*2/(8/(-57)). Suppose -4*q + 276 = -0*q. Suppose 3*x + q = g. Does 12 divide x?
False
Let z = 183 - -48. Is z a multiple of 21?
True
Let l(a) = -2*a + 14. Let q be l(4). Is q/(-10) - 8/20*-194 a multiple of 7?
True
Suppose 5*a - 86 = 4*a. Let g be a/8 + 5/20. Suppose -g = -t + 25. Is t a multiple of 12?
True
Suppose 2*w = 3*k - 1466, 3*k + 8*w - 12*w - 1462 = 0. Is k a multiple of 49?
True
Let g(n) = -3*n**3 - 2*n**2 + 2*n - 1. Let v be g(1). Does 7 divide (-130)/v - 22/44?
False
Let p = -746 - -785. Does 4 divide p?
False
Let m(t) = -29*t**3 + 4*t**2 - 4*t + 1. Let f be m(1). Let p = f - -48. Does 10 divide p?
True
Let q = -701 + 382. Let m = q - -543. Is m a multiple of 32?
True
Let b be (-4)/12 + 2/6. Suppose b*s - 456 = -2*s. Is 38 a factor of s?
True
Suppose 10*t - 8022 = -11*t. Is t a multiple of 6?
False
Let d = 1313 + -332. Does 56 divide d?
False
Suppose 57948 - 14748 = 36*p. Is p a multiple of 30?
True
Is 816*(-6 + (-13)/(-2)) a multiple of 51?
True
Let t(x) = -2*x**3 - 10*x**2 - 5*x - 14. Let j be t(-9). Let q = j + -459. Does 22 divide q?
True
Let p be 32098/55 + 2/5. Suppose -c + 4*u - p = -3*c, -3*c + 861 = u. Does 12 divide c?
False
Let f(d) = -7*d + 6 - 4*d - 11 + d**2 - 11. Is f(18) a multiple of 22?
True
Suppose q = -l + 6*l - 103, 2*l = q + 40. Let m = -11 + l. Suppose 4*t + t - m = 5*y, 5*y = t + 2. Is t a multiple of 2?
False
Let c be 13 + (9/(-3) - 0). Suppose -4*i - 3*d + 74 = 0, 5*d + 0 = c. Let w = 30 - i. Is 13 a factor of w?
True
Let y be 68 + -1 + 1 + -1. Let r = y + -32. Does 18 divide r?
False
Suppose 4*p = h - 0*h - 13, 5*h - 5*p - 65 = 0. Does 14 divide ((-2)/(-4))/((h/(-106))/(-13))?
False
Suppose 5*l - 9*l = -8. Suppose 0*y = d + y - 42, 4*d - 162 = l*y. Let a = d + 22. Is 11 a factor of a?
False
Let g = 136 - 64. Suppose -3*o + 2*o = -g. Is 9 a factor of o?
True
Let r be (-114)/(-18) - 12/9. Let a be (-12)/4 + 2*r. Suppose 170 = a*t - 75. Does 6 divide t?
False
Does 12 divide (16/3)/((696/2268)/29)?
True
Suppose -3*k - 51 = -564. Is 19 a factor of k?
True
Suppose 0 = -0*n + n + 2*x - 9, 9 = 5*n - 2*x. Let d(j) = -4*j + 4. Let s be d(n). Let m(g) = -8*g - 26. Is m(s) a multiple of 19?
True
Let t be (-44)/(-12) - (-4)/(-6). Suppose -2*c = -3*k - 192, -2*c + t*c = -2*k + 96. Is c a multiple of 16?
True
Suppose -4*g - 4*c - c = -699, -2*c = -4*g + 678. Let i = g - 121. Is 17 a factor of i?
False
Does 5 divide 4545/60 + 2/8?
False
Suppose 5*t - q = 6185, 5*t - 3701 = 5*q + 2464. Is t a multiple of 69?
False
Suppose -s = 6*s - 28. Suppose 4*b - s = 0, -2*f + 133 = 3*f + 3*b. Does 5 divide f?
False
Let a(d) = -80*d + 413. Is 74 a factor of a(-15)?
False
Is 87 a factor of (-6)/3 + (17 - -524)?
False
Suppose 37*c - 7344 = 28*c. Is 24 a factor of c?
True
Let b(n) = n**2 + n - 7. Let s be b(0). Let z = s + 49. Does 7 divide z?
True
Suppose 0 = -3*x + 23 - 56. Let y = x - -17. Does 3 divide y?
True
Let z = -13 + 16. Suppose -4*p = b + p - 27, 0 = -z*b + p + 1. Suppose 0*t + t = -3, 86 = 5*j - b*t. Is j a multiple of 13?
False
Let d(k) = -34*k - 8. Is 12 a factor of d(-2)?
True
Suppose 4*z - 2*z + 3*a + 6 = 0, -5*a = -2*z + 10. Let n(c) = -c**3 - c**2 + 17. Is n(z) even?
False
Let c be (14/(-6) - -3)*26*3. Suppose c - 18 = 2*m. Is 3 a factor of m?
False
Suppose 5*b + 5*m - 82 = 3*b, -12 = 3*m. Is 17 a factor of b?
True
Suppose 152 + 4228 = 30*x. Is x a multiple of 73?
True
Let l be 416*1/(1 - -1). Suppose 4*y - l = 2*n, y - 3*n + 147 = 4*y. Does 17 divide y?
True
Suppose -42 = -3*n - 9. Suppose -128 = -13*a + n*a. Is 32 a factor of a?
True
Let c = 399 + 45. Is c a multiple of 25?
False
Let f be (4/(-6))/((-34)/459). Let s be 3*(-1)/f*12. Is 13 a factor of s/(-10) - (-579)/15?
True
Suppose 5*z = -2*f + 4*z + 3369, 6717 = 4*f - 5*z. Suppose -f = -13*i - 279. Is i a multiple of 12?
True
Let y = -2447 + 3500. Does 13 divide y?
True
Let n(z) = z + 23. Let s = 39 - 49. Is 2 a factor of n(s)?
False
Suppose 4 = -2*v + 8. Suppose -v*n = 14 - 230. Does 12 divide n?
True
Suppose 0 = -69*d + 72*d - 6. Is 16 a factor of 2/((-14)/(-7)) + 102/d?
False
Is 20 a factor of ((-851)/148)/((-2)/480)?
True
Let h(x) = 3*x**2 - x - 1. Let f be h(-1). Suppose -3*o + 85 = -3*b + b, f*o = -b + 70. Suppose 3*g - o = 2. Is 9 a factor of g?
True
Let a(b) = 13*b**2 - 5*b + 4. Let c(f) = -4*f**2 + 2*f - 1. Suppose -5*m - t - 35 = -3*t, 4*m = 4*t - 28. Let k(j) = m*c(j) - 2*a(j). Does 15 divide k(4)?
True
Let r(s) = 23*s**3 + 2*s - 2. Let g be r(1). Let q = g - 9. Is 4 a factor of q?
False
Let b = -19 + 19. Let z be 1/(b - 3/(-6)). Suppose z*g - 9 = 27. Is 6 a factor of g?
True
Is 26/4 - (-87)/58 a multiple of 7?
False
Suppose -2520 = 32*n - 38*n. Is n a multiple of 10?
True
Suppose -5*l + 3*k + 42 = 0, k = -k + 2. Does 12 divide l/(-1)*(-8 + (-245)/21)?
False
Suppose -3*w + 184 + 293 = 2*b, 1140 = 5*b - 3*w. Is 11 a factor of b?
True
Let z(o) = -2*o**2 - o + 21. Let d be -2*2 + (7 + 0 - 3). Is z(d) a multiple of 11?
False
Suppose 3*u - 5*c - 1905 = 0, -5*c + 74 = u - 581. Is u a multiple of 8?
True
Let u(j) = -j**2 - 11*j + 215. Is 5 a factor of u(-20)?
True
Suppose 2*u - 19 + 9 = 0. Suppose 4*s = -4*h + 140, h + u*s = 4*h - 65. Is 8 a factor of h?
False
Suppose 0 = -5*l + 43 - 23. Does 4 divide (l/(-8))/(1/(-14))?
False
Let h = 30 + 93. Suppose 3*l = -5*j - h, -l = -4*j + j - 85. Let o = j + 49. Is 22 a factor of o?
True
Suppose -x = 5*y - 8, 5*y - 7 = -22. Suppose 5*t = -5*g, -3*g - x + 8 = -2*t. Suppose -t*h + 4*h - 18 = 0. Does 6 divide h?
True
Let l(j) = -j**3 + 5*j**2 - 2*j - 5. Let i be l(4). Suppose 5*c + i*b + 204 = 9*c, 0 = -c + 2*b + 46. Is c a multiple of 6?
True
Suppose -25 = -4*o - 2*l - 7, -o = 5*l. Suppose 0 = -2*z - q + 6, 0*q + 33 = o*z - 2*q. Suppose 28 = z*u - 12. Does 2 divide u?
True
Suppose 4*m = -5*n + 52, -6*m - 4*n - 39 = -9*m. Is m even?
False
Let l = -1 - -1. Let r = l + 5. Is 14 a factor of (-8)/20 - (-72)/r?
True
Let q = 88 + -34. Is 18 a factor of 5304/54 - 3/(q/4)?
False
Suppose 2*c = 23 - 3. Let d = 172 + c. Does 13 divide d?
True
Suppose 121 - 118 = m. Suppose m*s + 228 = 7*s. Does 7 divide s?
False
Suppose 4*g - 15 = 3*t - 0*t, 0 = 3*g - 3*t - 12. Suppose -3*q = -5*b - 751, 0*b + 251 = q - b. Suppose q = g*v + 3*v. Does 21 divide v?
True
Let l(j) = 3*j**3 - 2*j**2 - 4*j - 3. Let r = 11 + -6. Let p be l(r). Suppose -2*g + p = 3*c - g, 5*g - 223 = -2*c. Is c a multiple of 33?
True
Let i(m) = -m**2 + 7*m. Let n be i(7). Suppose n = -2*r - 2 + 288. Is r a multiple of 26?
False
Suppose 5*j = -3*y + 3742, 4*j + 0*y - 3*y = 2999. Is j a multiple of 13?
False
Let s = 2685 + -190. Is s a multiple of 60?
False
Suppose -13*a + 13158 = 5*a. Does 18 divide a?
False
Let c(f) be the second derivative of 2*f**3/3 - 35*f**2/2 + 24*f. Is c(15) a multiple of 25?
True
Let p(i) be the second derivative of -7*i**3/3 + 2*i**2 - 9*i. Does 7 divide p(-5)?
False
Let i(u) = -3*u - 11. Let v be i(-7). Is 42/(-9)*(-45)/v a multiple of 21?
True
Let j(p) = -p + 24. Let a be (-141)/(-24) - (-7)/56. Does 18 divide j(a)?
True
Let z = 612 - 311. Does 43 divide z?
True
Suppose 2*d + 4*f + 98 = 0, 107 = -d - 2*d + 2*f. Let k = 22 - d. Does 16 divide k?
False
Let m(z) = z**3 + 5*z + 12. Let n(j) = j**3 + 3*j + 6. Let g(h) = -3*m(h) + 5*n(h). Does 6 divide g(3)?
True
Let l = 14 - 12. Suppose -17 = -j + g - l, j - 2*g = 11. Suppose 5*r = 51 + j. Does 11 divide r?
False
Let b(p) = -17*p + 69. Does 6 divide b(-15)?
True
Let w = 420 + -236. Is 4 a factor of w?
True
Suppose -3*p - 347 = -2*o, -5*p = -2*o + 5*o - 492. Is 8 a factor of o?
False
Let s = 22 + -19. Suppose -5 =