ide o(7)?
False
Let c = 10 - 7. Suppose 415 = -0*s + 2*s - c*n, -15 = 3*n. Suppose -3*q + 3*w + s = w, -w + 145 = 2*q. Is 13 a factor of q?
False
Is (12/(-7)*-1)/(306/35343) a multiple of 7?
False
Let v(c) = 2*c**3 + 11*c**2 - 11*c + 42. Let n(b) = b**3 + 6*b**2 - 6*b + 21. Let u(j) = 5*n(j) - 2*v(j). Suppose -2*k + 7*k + 40 = 0. Does 17 divide u(k)?
True
Suppose -28 = o - 27. Let t = -33 + o. Is t*3*(-3)/18 a multiple of 17?
True
Let v be -1 - ((-1)/(-1) - 13) - -1. Suppose -3*f - v = 9. Let o(w) = -w**3 - 4*w**2 - 5*w - 12. Is o(f) a multiple of 17?
True
Let h = 1 - -11. Let s(d) = d**2 - 2*d - 27. Let c be s(h). Suppose -2*b = 3*o + b - 51, -5*o + c = -3*b. Does 9 divide o?
True
Let r(w) = -11*w**3 + 6*w**2 + 9*w + 13. Let x be r(-4). Suppose -4*a - 457 = -x. Is a a multiple of 11?
False
Let x(o) = -o**2 + 4*o - 5. Let r be x(4). Let s(m) = -m**2 - 8*m - 14. Let l be s(r). Suppose 5*h + 4*y - 1114 = 0, l - 4 = -3*y. Is 37 a factor of h?
True
Let d be (3 - 1) + (5 - 178/(-1)). Let s = d + -90. Let w = 203 - s. Does 36 divide w?
True
Let m(u) = 19*u - 331. Let c be m(0). Let z = c + 463. Is z a multiple of 44?
True
Suppose 0 = -2*v - 8, -3*h + 2*v = -1 + 5. Is 11 a factor of 7*(-16)/56*610/h?
False
Suppose -15*m = -12*m + 186. Let a = -62 - m. Suppose a = 3*b + 2*o - 418, -b + o - 5*o = -136. Is 24 a factor of b?
False
Suppose -4*c + 63 = c + 3*b, 24 = 4*b. Let z = -32 - -52. Is c + -5 + (z - 1)*4 a multiple of 16?
True
Suppose -4*i + 5*i - 5*m - 79 = 0, 256 = 4*i - 5*m. Suppose -20*o - i = -21*o. Let r = 135 - o. Does 25 divide r?
False
Let f(x) = 8*x**2 - x + 1. Let a be f(2). Suppose 130 - a = -3*h. Let n = -5 - h. Is 9 a factor of n?
False
Let v = 184 + -182. Suppose -56 = -v*y - 20. Is 9 a factor of y?
True
Suppose -2*m - 2*n + 1308 = 2*n, 5*n = -3*m + 1957. Suppose 0 = -10*j + m - 1874. Let r = 221 + j. Is 22 a factor of r?
False
Let z(f) = f**3 + 9*f**2 - f - 7. Let r be z(-9). Suppose r*t - d + 76 - 291 = 0, -113 = -t - 5*d. Is 31 a factor of t?
False
Let u(s) = -42*s**3 - s**2 - 7*s - 145. Is u(-5) a multiple of 31?
True
Suppose -3*i + 48 + 75 = 0. Suppose -i*l - 207 = -40*l. Let n = -54 - l. Is n a multiple of 35?
False
Let s(x) = 28*x + 77. Let f be s(-15). Let k = -23 - f. Does 32 divide k?
True
Let z be 1/((-4)/6) + (-189573)/(-174). Let c = -560 + z. Does 52 divide c?
False
Let c = 816 + -816. Suppose 2*m + 5*t - 1174 = 0, -2*t + 5*t - 6 = c. Does 44 divide m?
False
Let w = 13760 + -6068. Does 24 divide w?
False
Let o(a) = -1538*a + 3704. Is o(-35) a multiple of 8?
False
Let d be ((-162)/4 - (-2)/4)*-11. Suppose 0 = -21*n + 26*n - d. Suppose -47*s = -49*s + n. Is s a multiple of 44?
True
Let n be -3*(-13)/((-52)/12). Let v(k) = 9*k**2 - 54*k + 1. Does 16 divide v(n)?
True
Suppose 8*g = -3*g + 22. Let c(z) = 2*z**3 - 2*z**2 - 4. Let p be c(g). Let a(d) = 3*d**2 - 9*d + 7. Is 10 a factor of a(p)?
False
Let o(q) be the third derivative of q**5/30 + q**4/12 - 3*q**3 - 15*q**2. Let y be o(-5). Is -1*(-2 + -3 - -4)*y a multiple of 12?
False
Suppose t + 4*c = 4, 4*t - 4*c + 2 = -2*c. Suppose -6 = -5*x - 4*n, t = 5*x - 0*n + n - 9. Suppose x*d = 105 + 61. Does 18 divide d?
False
Let v = 247 - 217. Suppose -b = v*b - 3379. Is b a multiple of 5?
False
Let m = -287 + 254. Let p = m + 129. Is 6 a factor of p?
True
Suppose r = 3*j - 4, -3*r - 4*j - 22 = -8*j. Is 73 a factor of (r/(-35) - (-19434)/(-56))*-4?
True
Suppose 10*j - 5*j = 30. Suppose -59*n + 81*n = 0. Suppose -2*z - o + 107 = n, -j*o + 2*o + 266 = 5*z. Is 5 a factor of z?
False
Suppose -51848 = 18*v - 272348. Is v a multiple of 7?
True
Let f be 71/3 - (-3)/9. Suppose -17*c + 3*c + 378 = 28*c. Let p = c + f. Is p a multiple of 3?
True
Let z(j) be the first derivative of -j**4/2 - 46*j**3/3 - 7*j**2/2 - 7*j + 87. Does 2 divide z(-23)?
True
Let w(q) = -6*q**3 + 4*q**2 - 15*q + 36. Let z(k) = -5*k**3 + 5*k**2 - 13*k + 35. Let j(l) = -4*w(l) + 5*z(l). Does 21 divide j(8)?
False
Let v = 41 - 137. Let y be (-3)/(-3 - (-108)/32). Is 13 a factor of 64/v - (-28)/(-3)*y?
False
Let m(b) = 10*b + 1. Let p be m(-1). Suppose -2*n + 170 = 100. Let o = p + n. Does 4 divide o?
False
Let m be 106 + (-1 - (-2)/(-4)*-8). Let i = m + -35. Let n = i - 48. Is 13 a factor of n?
True
Let r be ((-1)/2)/((-5)/(-990)). Let d be (-268)/22 + (-18)/r. Let y = d + 108. Is 8 a factor of y?
True
Let z(n) = -11*n**2 - 26 + 12*n + 9 - n**3 + 16. Let o be z(-12). Is (o - 1)/(6 - 7) - -110 a multiple of 16?
True
Let x(y) = 23*y - 152. Let f be x(7). Suppose 2995 = f*z - 4250. Is 37 a factor of z?
False
Let m = 47309 + -34282. Does 78 divide m?
False
Is (10/20)/((-1)/340*-2) a multiple of 12?
False
Suppose -89 - 31 = -2*k. Let f = k - 5. Let v = f + 22. Does 4 divide v?
False
Suppose 6*b + 1290 = 8*b. Let o = 1646 - b. Suppose 0 = 4*x - 8*x + 5*z + 1021, z + o = 4*x. Does 14 divide x?
False
Let a be 10 - (2/3)/(18/81). Let y(b) = -b**3 + 17*b**2 - 15*b + 2. Is 55 a factor of y(a)?
False
Is (-176800)/(-150)*21/4 a multiple of 68?
True
Let h be (-76)/(6/27 + 20/(-9)). Let z(o) = 30*o + 25. Is z(h) a multiple of 20?
False
Suppose -400*h + 371*h + 67135 = 0. Does 48 divide h?
False
Let x = -17301 - -21753. Is 4 a factor of x?
True
Suppose -5*w - 393 + 1021 = 3*n, -w = 5*n - 1032. Suppose 2*a - n - 514 = 0. Is a a multiple of 60?
True
Let w = -1 - -1. Let n = 3866 - 3861. Suppose 0 = -0*b + b - 2*r - n, w = -4*b - 2*r + 70. Does 6 divide b?
False
Let m(g) = g**3 + 2*g**2 - 5*g + 13. Let o be m(-4). Let k = -66 + o. Let j = k - -125. Is j a multiple of 4?
True
Does 4 divide ((7 - 0) + 0 - 15) + 204?
True
Let p(g) = -g**3 - 4*g**2 + 5*g - 10. Let h = -233 + 224. Is p(h) a multiple of 15?
False
Let m be (590/(-8) + 1)/(3/(-60)). Let g = 2235 - m. Is g a multiple of 68?
False
Let z = 302 - 380. Suppose -2*x + 94 = -4*y, 2*y + 3*y - 4*x = -119. Let k = y - z. Does 30 divide k?
False
Let w(c) = -23*c - 15. Let q(o) be the third derivative of 31*o**4/8 + 10*o**3 + 20*o**2. Let v(h) = -4*q(h) - 15*w(h). Is v(-4) a multiple of 19?
False
Let i be (3 - 10/6)*-81. Let j = -48 - i. Is j a multiple of 5?
True
Is 7 a factor of -3*(-63)/(-27)*((-7200)/21 - 4)?
False
Let s = -1692 + 5426. Is 48 a factor of s?
False
Suppose -v - h + 2543 = 0, -4*v + 10156 = -6*h + 2*h. Is 7 a factor of v?
True
Let n(z) = 3*z + 43. Let c be n(-14). Let l be c/2 + (-5)/10. Suppose x + 0*x - 19 = l. Is x a multiple of 4?
False
Suppose 2*w = -k + 20, -k + 6 = -2*w + 18. Suppose -w*c + 113 = 33. Let n = 132 + c. Is n a multiple of 20?
False
Let x(v) = v**3 - 11*v**2 + v - 13. Let s be x(12). Suppose -o + 205 + s = 5*i, -o + 208 = 3*i. Is 10 a factor of i?
True
Let p = 6112 + -4384. Does 72 divide p?
True
Let l = -1893 + 6772. Does 26 divide l?
False
Let x(l) = -90*l + 320. Does 25 divide x(-7)?
True
Suppose 19 = -k + m, -2*k - m = -6*k - 91. Does 21 divide ((-24738)/k - (-3)/12) + 4?
False
Let g = -265 + 512. Suppose -5*b + 4*b = -g. Let w = -159 + b. Is 13 a factor of w?
False
Suppose 0 = -45*s + 43*s. Suppose s = 7*x - 6 - 8. Suppose -b + 5 = 0, 5*m - x*b = 127 + 223. Does 18 divide m?
True
Suppose 11 = 6*i + 59. Let t(f) = -3*f**3 - 19*f**2 - 18*f - 14. Is 29 a factor of t(i)?
False
Suppose 2*o = -2*y - 48008 + 115686, 0 = -o + 3*y + 33819. Is 197 a factor of o?
False
Let o(n) = -23*n + 13 + 74 - 17 + 19*n**2 + 2*n - 17*n**2. Does 17 divide o(22)?
False
Suppose 0*k + 3*k = x + 733, -497 = -2*k - x. Is 32 a factor of k?
False
Let k(s) = 3*s. Let h be k(-17). Let j = h + 49. Is 362*(6/(-4) - (0 + j)) a multiple of 40?
False
Let t be (-1269)/(-6)*(-30 + 2). Does 8 divide 9/(-90) - t/20?
True
Let r = -196 + 205. Does 5 divide 0 - (-23 - -1)*45/r?
True
Let w(m) = 179*m + 20. Let i be w(4). Suppose -t - 4*x = -i, 4*t - 12*x + 10*x - 2962 = 0. Is 37 a factor of t?
True
Let j(i) = -68*i**3 + 6*i**2 + 50*i + 60. Is j(-6) a multiple of 141?
True
Suppose -d + 6*d - 25 = 0. Suppose 4*s + j + 48 + 69 = 0, 0 = -d*s + 3*j - 142. Let v = s - -47. Is v a multiple of 5?
False
Let i(a) be the second derivative of -4*a**3/3 - 21*a**2/2 + 21*a. Let j be i(-3). Suppose -4 = 4*h, -f + j*f = -4*h + 92. Does 8 divide f?
True
Let s(d) = d**3 - 8*d**2 + 8*d - 4. Let k be s(6). Let x be (k/8 - -3)*10. Let o(n) = 3*n**2 - 4*n - 21. Is o(x) a multiple of 36?
False
Let o be (13 - -7)/(-