or of n?
False
Let v(n) = 311*n - 289. Is v(6) a multiple of 19?
True
Suppose 3*n + 2*n - 17637 = 3*w, n - 4*w = 3524. Is n a multiple of 98?
True
Suppose -5*n + 20 = 5*p, 3 = 4*p + n - 16. Suppose -5*l = -p*m - 415, -3*l - 4*m = l - 300. Is 12 a factor of l?
False
Suppose 5*m - m + 4*r - 596 = 0, 443 = 3*m - r. Is 7 a factor of m?
False
Suppose 3*a = 6*a - n + 1, 10 = -2*a - 4*n. Is -1 - a/(1/126) a multiple of 25?
True
Let a = 1401 + 124. Is a a multiple of 13?
False
Let j = -17 - -20. Suppose -v = j*v + 72. Does 26 divide v/12 + (-627)/(-6)?
False
Let s = -12 - -11. Let x(j) = -80*j**3 - j**2 - j. Does 20 divide x(s)?
True
Suppose 58*x + 14724 = 59268. Is 64 a factor of x?
True
Let j(f) = -f**2 - 3*f + 2. Let r be j(-3). Let a = 0 - -6. Suppose -56 = r*h - a*h. Is 7 a factor of h?
True
Let f = -8 + 15. Let w(a) = a**2 - 6*a + 8. Let s be w(f). Suppose s = 6*b - b. Does 3 divide b?
True
Let w be (63/(-84))/((-2)/8). Suppose 4*r - 2*u - 870 = 0, w*u = -r - 161 + 389. Is r a multiple of 48?
False
Let o be (-44)/66*(-1 - 5). Suppose -2*h - 6 = -3*x - 0, -12 = 2*x + 4*h. Suppose f = 5*b - x*b - 28, 2*f = -o*b + 14. Does 5 divide b?
True
Let d(y) be the second derivative of y**5/20 - y**4/3 - 5*y**3/6 - 2*y. Does 6 divide d(6)?
True
Let n(r) be the second derivative of 5*r**4/12 - 3*r. Is n(5) a multiple of 25?
True
Suppose 140 = 3*m + 17*m. Let a(w) = w**2 - 3*w - 4. Is a(m) a multiple of 6?
True
Suppose 6*v = 37 + 11. Let r = v - -4. Does 3 divide (-2)/(-4)*(0 + r)?
True
Let b = 65 + -27. Suppose 3*y = 5*z + 54 + 56, 2*z = y - b. Suppose -4*o - y = -6*o. Is o a multiple of 13?
False
Suppose 0 = 4*q - 20, 3*q - 76679 = -4*j - 0*q. Is 0 + (-1)/(-5) - j/(-70) a multiple of 40?
False
Let q(l) = l**3 + 17*l**2 + 14*l + 4. Is 99 a factor of q(-7)?
True
Let p = 113 - -6. Is p a multiple of 3?
False
Let u = -48 - 109. Let f = -88 - u. Is f a multiple of 12?
False
Let k be -1 - (-6 + 1 + -2). Let r(g) = -g**3 + 5*g**2 + 12*g - 24. Let q be r(6). Let x = k + q. Is 6 a factor of x?
True
Suppose 5*r + 15147 = 32*r. Is r a multiple of 33?
True
Is -10 - 21/(-2) - 558/(-4) a multiple of 14?
True
Suppose 1 + 5 = r. Suppose -4*b - r = -22. Suppose b*d + 12 = -0*d, 2*n + 3*d - 225 = 0. Is 33 a factor of n?
False
Let f = 114 + -117. Does 33 divide ((9/6)/f)/((-14)/5796)?
False
Suppose 5*f + 2106 = 2*q, q = -f + 494 + 559. Is q a multiple of 26?
False
Suppose 23*i - 21*i - 5125 = s, -4*i - s + 10235 = 0. Is i a multiple of 38?
False
Let i = 23 - 21. Suppose -i*p + 408 = 4*p. Does 17 divide p?
True
Suppose 4*q - 6 = 10. Suppose -4*g - s = -4*s - 5, q*g - s - 15 = 0. Suppose g*v = 3*v + 160. Is v a multiple of 28?
False
Let q(o) = o**2 + o + 14. Let r(s) = -s**2 - 14. Let f(h) = -6*q(h) - 7*r(h). Let x be f(10). Suppose -5*t + x = -1. Does 11 divide t?
True
Suppose 12 = -2*s - 2*s. Let c = -2 - s. Is c*61 + (14 - 13) a multiple of 22?
False
Let l(c) = -6*c + 13. Let q be l(2). Is 8 a factor of (-109 + 5)/(q/(-1))?
True
Let z(x) = x**3 + 6*x**2 - 21*x - 13. Let p be z(-9). Let h = 73 + p. Does 3 divide h?
True
Let k(j) = j**3 + 20*j**2 - 38*j - 24. Does 46 divide k(-20)?
True
Let b = -193 + 424. Is b a multiple of 9?
False
Let y(w) = 99*w - 471. Does 6 divide y(16)?
False
Let o = 161 + 193. Does 6 divide o?
True
Let r be (0 + 3)/(6/8). Suppose 0*s + r*g = -3*s - 134, -g + 4 = 0. Let v = s - -73. Is v a multiple of 23?
True
Suppose 0 = -2*b - 0*b - 5*v - 21, -6 = 2*b + 2*v. Let i be (15/(-12))/(b/120). Is 19 a factor of -3 + -2 + 4 - i?
False
Let f be 3/1*(-2)/(-3). Suppose -o + 86 = p, -5*o + f*o + 92 = p. Is p a multiple of 16?
False
Suppose 2*k - 5*a + 18 = -3, 60 = -3*k - 2*a. Suppose -3*o - 7 = 2, -p - 4*o - 28 = 0. Let g = p - k. Is g even?
True
Suppose -2*k = -2*f - 752, -2*k - 7*f = -5*f - 772. Let h be 1*4/(12/k). Let d = h - 70. Does 19 divide d?
True
Suppose 22 = 5*i + 7. Suppose -15 = 2*f + 2*j - 89, -i*f + 131 = -2*j. Is 6 a factor of f?
False
Let p(u) = 2*u**2 - u + 84. Is p(0) a multiple of 2?
True
Suppose 0 = -3*w + 46 - 7. Suppose 5 - w = -4*d - 5*q, 0 = 3*q. Suppose 104 = d*a + 28. Is 11 a factor of a?
False
Is (7 - (-220 - 1))*1 a multiple of 6?
True
Let r(o) = 2*o + 6. Does 8 divide r(1)?
True
Suppose 5*r - 2*m - 5520 = r, 2*r - 2762 = 2*m. Does 13 divide r?
False
Let b(m) = -m + 20. Let s be b(16). Let x = -7 + s. Does 20 divide 9/x*(2 + -24)?
False
Let o be 43656/120 - (-1)/5. Suppose 0 = -5*f + 2*c + 172 + o, 321 = 3*f - c. Suppose -8*b + f = -390. Does 33 divide b?
False
Let c(h) = -54*h + 82. Does 26 divide c(-11)?
True
Suppose 0 = i + 3*h + 27, -i + 84 = -6*i + 2*h. Let r be 11/3 + 12/i. Suppose q + 2*q - a = 196, -r*a = 5*q - 308. Is 32 a factor of q?
True
Let b(r) = r**2 + 2*r + 4. Let q(p) = p**2 - 7*p - 12. Let k = -2 - -11. Let m be q(k). Does 30 divide b(m)?
False
Let h be -2 - (-2 - (1 - 4)). Let v be 8/(-4)*(-4)/(-8). Is 20 a factor of 358/6 + v/h?
True
Suppose 11*v = 12*v + 5. Let m = 20 + v. Is m even?
False
Let g(o) = -o + 2. Let c be g(-10). Suppose 6*w = 3*w + c. Suppose 111 = w*l - 261. Is l a multiple of 31?
True
Let z(k) = k**2 + 5*k + 4. Let x be z(-4). Suppose x*o + 40 = -2*o. Does 5 divide (-8)/o - (-186)/10?
False
Suppose 5*b - 10*b = -5*q - 35, -4*b + 24 = -5*q. Suppose -c + 5*v = -60, 2*c + 2*c - 204 = 2*v. Let z = c - b. Is z a multiple of 13?
True
Let v(i) = 4*i**2 + 6*i - 2. Let k(l) = -l**3 - l**2 + l. Let h(a) = k(a) - v(a). Is 17 a factor of h(-6)?
True
Let i = 775 + -424. Is i a multiple of 39?
True
Let t(u) = -u + 6. Let v be t(3). Suppose 5*r = -v*r + 144. Suppose r*b - 68 = 16*b. Does 17 divide b?
True
Suppose -2*o + 3*o + 31 = 5*y, y - 3 = o. Does 13 divide 401/y + 10/(-35)?
False
Suppose 24*x = 18*x + 510. Is 11 a factor of x?
False
Is 23 a factor of 5/(-225)*-5181 + (-4)/30?
True
Let o = 3 + 2. Suppose -10*v = -o*v - 10. Suppose -3*x = -3*w - 321, -x - 21 = v*w - 143. Does 38 divide x?
False
Let y(g) = g**2 - 9. Let w be y(4). Is 6 a factor of ((-4)/w)/(2/(-21))?
True
Let j(w) = -w - 5. Let p be j(-8). Suppose 0 = -p*r + 15*r - 672. Does 30 divide r?
False
Let v be (-56492)/(-22) - 6/(-33). Suppose -v = -2*p - 6*p. Is p a multiple of 13?
False
Suppose 5*z = -x + 2 - 4, 0 = -5*z - 2*x + 1. Let i(l) be the second derivative of -37*l**3/6 + 3*l**2/2 - 18*l. Is 27 a factor of i(z)?
False
Suppose -q = -3*q - 30. Let r = q - -14. Let a = r - -9. Does 7 divide a?
False
Suppose d - 2*m = 20 + 6, 4*d - 95 = 5*m. Suppose -8*b = -d*b + 180. Is b even?
False
Let w = 290 - 147. Suppose -m + w = 41. Is m a multiple of 6?
True
Suppose -92 = -2*t - 3*y, 10*y - 14*y = -5*t + 253. Is 3 a factor of t?
False
Let a(l) = -5*l - 2. Let v be a(-5). Let h(m) = 9*m - 27. Is 20 a factor of h(v)?
True
Let n(d) = 3*d**2 - 2*d + 26. Let t be n(7). Suppose -t = -8*o + 417. Is 12 a factor of o?
True
Suppose -k + 0*k = 3*p - 103, 0 = -4*p - 2*k + 140. Let x = 57 + p. Is 18 a factor of x?
True
Let i = 194 - 138. Let s = i - 23. Is 11 a factor of s?
True
Let y = 675 - 465. Is y a multiple of 30?
True
Suppose o + 72 = 7*o. Suppose o*f - 1470 = 2*f. Does 31 divide f?
False
Suppose -4*h = 4*j - 4060, -3*j + 4*h = -h - 3021. Is 22 a factor of j?
True
Does 25 divide 236*(7 - 8)/((-2)/1)?
False
Let d = -311 - -1103. Is d a multiple of 11?
True
Let s be 118/14 + (-1 - 20/(-35)). Suppose -s*y = 40 - 1224. Is y a multiple of 10?
False
Let s(g) = g + 0*g - 6*g - g**2 - 2*g - 1. Let o be s(-6). Suppose -x + o + 30 = 5*u, u - 27 = -x. Is x a multiple of 15?
False
Let p be (-32)/12*3/(-2). Suppose 3*r + 2*q - 7*q = 136, p*r + q = 143. Is 37 a factor of r?
True
Let h = -81 - 93. Let a = h + 274. Is 50 a factor of a?
True
Let n = 88 - 66. Let x = -16 - -31. Let w = n - x. Is w even?
False
Let c(d) = 29*d**3 - 5*d**2 + 8*d - 10. Is 7 a factor of c(2)?
False
Suppose 0 = 10*t + 12 + 8. Is 44 - (1 - t - 3) a multiple of 15?
False
Let s = -6 + 8. Suppose -7*z = -127 - 41. Suppose -z = -4*q + s*q. Does 5 divide q?
False
Let i(b) = b**3 + 39*b**2 + 33*b - 30. Is i(-38) a multiple of 4?
True
Suppose 5*v - 1380 = -0*v. Does 4 divide v?
True
Suppose 4 = n - 25. Suppose 5*c - 4*v = -n, -4*c + 4*v - 12 = 8. Let p = c - -36. Is 10 a factor of p?
False
Suppose 3*q = -3*u + 30, -3*u + q = -q - 15. Suppose 29 = t + u. Suppose t + 138 = 5*a. Is a a multiple of 17?
Fals