 - 35 = 0. Does 3 divide p?
True
Suppose 2*v = -2*v + t - 42, -5*v - 42 = 4*t. Let u be 228/(-14) - v/35. Is 13 a factor of (-2)/(-8) + (-236)/u?
False
Suppose -3 - 7 = -2*a. Suppose 2*u + 3*b = 42 - a, -b + 73 = 3*u. Does 11 divide u?
False
Suppose 0 = 5*r - 43 + 13. Let v(u) = -2*u + 5. Let t be v(r). Is 8 a factor of t*((-25)/7 + 1)?
False
Let i = -47 - 47. Let h = -43 - i. Is 14 a factor of h?
False
Let w(n) = -6*n - 12. Does 34 divide w(-19)?
True
Suppose -3*u - 4*s + 1005 = -s, -5*u = 2*s - 1687. Does 42 divide u?
False
Suppose -4*u + 72 = -5*v - 0*v, 72 = 4*u + 3*v. Suppose 3*j + u = -6. Let t(c) = 2*c**2 + 13*c + 11. Does 12 divide t(j)?
False
Let r be 202/(-8) - 4/(-16). Let q = 35 + r. Is q a multiple of 8?
False
Is (-3)/2 - (-25)/2 a multiple of 11?
True
Suppose -6*q = -9*q + 423. Is 37 a factor of q?
False
Let n(h) = 2*h**3 - 2*h - 3. Let y(q) = 5*q**2 + 2*q + 1. Let t be y(-1). Let x be n(t). Suppose -4*v + 19 + x = 0. Is v a multiple of 17?
True
Let a(j) = -2*j**3 - 5*j**2 - 3*j + 7. Is a(-3) a multiple of 5?
True
Suppose m = -2*u + u + 63, 3*u = -12. Does 37 divide m?
False
Let s(m) = -m**3 + m - 8. Let i be s(0). Let n = 11 + i. Suppose 47 = n*z - 25. Is 12 a factor of z?
True
Let p be (-5 - -2)*(-1 + 0). Suppose -y + p*y - 16 = 2*g, -y - 17 = 4*g. Suppose 5*w - 44 = y*w. Is w a multiple of 10?
False
Let f be (-2 + 1)*(-6 + 3). Suppose 1 = f*c + 7. Let o(t) = -7*t. Does 7 divide o(c)?
True
Let p = 9 + -3. Let n(f) = -f + 6. Let m be n(p). Let d(r) = r + 38. Is d(m) a multiple of 15?
False
Let h(r) = 2*r**3 - 3*r**2 - 3*r - 3. Let w be -15*(-1)/(-3)*1. Let g(b) = -b - 2. Let q be g(w). Is h(q) a multiple of 9?
False
Let h(u) = 149*u**2 + 2*u - 2. Does 50 divide h(1)?
False
Suppose -x + 4 = 0, -x = 3*q - 4*q. Suppose 0 = -5*y + q + 126. Does 14 divide y?
False
Let z = 11 - 14. Suppose -q + 5*u + 0 = -21, 4*u = 2*q - 18. Is 14 a factor of 23/q + 4 + z?
False
Let j(n) = 29*n - 10. Is 20 a factor of j(4)?
False
Suppose -i + 3*d = -104, 8*d = -i + 3*d + 72. Suppose 5*s - 3*a - 166 = 0, -2*s - s + i = 2*a. Is s a multiple of 20?
False
Let y(h) = 6*h + 3. Let o = 15 + -12. Is y(o) a multiple of 6?
False
Let i(f) = -f**3 + 7*f**2 - 7*f + 3. Let x be i(6). Let v(l) be the second derivative of l**4/12 - l**3/6 + l**2/2 + l. Is v(x) a multiple of 13?
True
Let f(t) = 64*t + 4. Does 30 divide f(2)?
False
Suppose h - 873 = -2*h. Is 13 a factor of h?
False
Suppose 30 = -7*z + 478. Does 16 divide z?
True
Let f be 2 + 3/((-6)/10). Is -3 + (7 - (-2 - f)) even?
False
Suppose 0 = -3*f - 3*y + 30, -5*y - 10 - 28 = -3*f. Is f a multiple of 6?
False
Suppose -4*j = -3*j + 2*c - 13, -4*j + 2 = -2*c. Is 131/3 - 2/j a multiple of 11?
False
Suppose 0 = 2*k + 10, -3*f - k = 2*f - 15. Suppose 9 = -q - 3*h + 8*h, 2*h = -f*q + 52. Does 5 divide q?
False
Let k be (-2)/3 + (-214)/(-6). Suppose -5*c + n = -k, 4*c + 4*n = -n + 57. Does 6 divide c?
False
Let w = 259 - 212. Is 47 a factor of w?
True
Does 26 divide 81 + (-4)/(-26) + (-74)/(-26)?
False
Let f(h) = -2*h**3 - 8*h**2 + 4*h + 2. Is 22 a factor of f(-6)?
False
Let w = 91 - 39. Is w a multiple of 13?
True
Let k(b) = 2*b**2 + 7 - b**2 - b - 4*b - b. Suppose 3*a - 5 = y, -y + 5*a + 3 = 16. Is 7 a factor of k(y)?
True
Suppose 13*h = 8*h + 30. Let j be 2/8 + (-19)/(-4). Does 7 divide (2 + h/5)*j?
False
Let p = -14 - -25. Let u = 4 - 5. Is 7 a factor of (-2 - -3 - p)*u?
False
Suppose 2*y = -y + 9. Suppose -y*q + q = -74. Is q a multiple of 18?
False
Is 16 a factor of 1/2 + (-2793)/(-38)?
False
Suppose i = -3*i + 36. Suppose 0 = 3*o - i. Suppose 4*f - 108 = -o*m + 35, -5*m + 195 = -2*f. Is 14 a factor of m?
False
Let n be (-12 - 0)/((-18)/48). Does 17 divide (-4)/(n/34)*-4?
True
Let b be 6/(0 - 3/(-6)). Let g = b - -9. Is g a multiple of 21?
True
Let z(i) = 35*i + 1. Let u be z(2). Let q = -13 + u. Does 29 divide q?
True
Suppose x = 3*x. Suppose 2*l + 1 + 51 = x. Let c = l + 40. Does 13 divide c?
False
Suppose 9*m = 4*m - 100. Does 14 divide (-9 - 1)*56/m?
True
Let n = 71 - 45. Is 12 a factor of n?
False
Let k(x) = -x + 17. Let i be k(11). Let f = 12 + i. Is 9 a factor of f?
True
Let c(b) = -2*b**3 - 3*b**2 - b + 3. Is c(-2) a multiple of 9?
True
Let w(i) = 9*i**3 - 16*i**2 - 9*i + 7. Suppose -2*o = -5*o - 21. Let x(j) = 4*j**3 - 8*j**2 - 4*j + 3. Let r(b) = o*x(b) + 3*w(b). Does 5 divide r(8)?
False
Let a(f) = -7*f - 10. Let u be a(-4). Suppose l - 4*l + 9 = 0. Suppose -5*j + u = -l*j. Does 5 divide j?
False
Suppose 5*h + 5*n - 70 = 0, 41 = 2*h + 3*n + 11. Suppose -4*z = h, 5*z - 32 = -c + 3*z. Suppose c = 2*i - 28. Does 11 divide i?
True
Suppose -2*y - 420 = -2*q - y, 4*q = 5*y + 834. Let d = q - 837. Does 15 divide 6/21 - d/14?
True
Suppose -3*q + q = -160. Suppose 46 = -4*m + 3*m. Let u = m + q. Does 12 divide u?
False
Let f(k) = -k**2 - k - 1. Let r = 1 - 2. Let l(c) = -18*c**3 - 2*c**2 - 5*c - 2. Let n(y) = r*l(y) + 3*f(y). Is n(1) a multiple of 9?
True
Let t = 4 - 2. Suppose t*k + 0*k = 14. Is k a multiple of 6?
False
Let w(i) = 5*i**3 - i**2 - i + 4. Let h(k) = -9*k**3 + 2*k**2 + 2*k - 7. Let v(b) = 4*h(b) + 7*w(b). Suppose -u - 4 + 2 = 0. Is v(u) a multiple of 6?
False
Let j be 3 - 0 - 1 - 2. Suppose j*u = -4*u + 4. Is (-3 + 9/1)/u a multiple of 5?
False
Suppose 82*n - 243 = 79*n. Does 42 divide n?
False
Suppose -3*t = 4*y - 86, -2*y + 63 = y + 3*t. Suppose s + 30 = 3*m - y, 5*m + 5*s - 95 = 0. Is m a multiple of 9?
True
Let c(t) = 16*t**2 - t + 6. Let m be c(2). Let r = -6 - -10. Suppose -r*h + m = 4*n, -2 = 2*n + h - 32. Does 13 divide n?
True
Suppose -5 = 5*f - 0*f. Let u = f + 13. Is u a multiple of 4?
True
Suppose -a = -5*m - 123, 5*a + m - 735 = 2*m. Is 37 a factor of a?
True
Let m = 207 + -147. Is 38 a factor of m?
False
Let k = -129 - -139. Is k even?
True
Suppose 2*d - d = 3. Suppose -45 = d*f - 4*f. Does 15 divide f?
True
Suppose a + 41 = 137. Does 12 divide a?
True
Let z(s) = -s + 3. Let l be z(0). Suppose -3*t + 1 = -l*h - 5, 0 = -t - 3*h - 6. Suppose t*j + 3*j - 21 = 0. Is 3 a factor of j?
False
Suppose 16 = 4*g - 0*g. Suppose -g = -3*p + 8. Suppose 3*c + 72 = -k + 3*k, -109 = -3*k + p*c. Does 20 divide k?
False
Is 30*66/(-9)*-1 a multiple of 11?
True
Let i(r) = -5*r + 2. Let l be i(2). Suppose -j = -6*j + 70. Let o = l + j. Does 3 divide o?
True
Suppose 23 = x + s, -96 + 5 = -4*x - 3*s. Let o = x - 10. Does 12 divide o?
True
Suppose 6*h - h + 10 = 0, 5*y + 5*h = 65. Is 4 a factor of y?
False
Let q(x) = x - 1 - 1 + 0*x - 1. Is q(5) even?
True
Suppose -b + 0 = -3. Suppose -30 = -t + 2*x, 5*x + b = -2. Suppose -t = -5*q + d, -2*q + 4*d + 2 + 20 = 0. Is q a multiple of 2?
False
Suppose 2*c + 2 = -5*g, 0*g - 3*c - 3 = -3*g. Suppose -2*u - 6*u + 960 = g. Is u a multiple of 30?
True
Suppose 4*b + 17 = 4*z - 3, -4*z - b + 10 = 0. Suppose -4*k - 5*v - 1 + 25 = 0, -z*k + 5*v + 53 = 0. Let y = k + -2. Is y a multiple of 9?
True
Suppose 0 = -3*r - 12 + 3, 4*r - 60 = -4*d. Is (-4)/d - (-816)/27 a multiple of 15?
True
Is 17 a factor of 3 + (32 + 2 - 3)?
True
Let s be (-7)/6 - 2/(-12). Is 10*2/4 - s a multiple of 3?
True
Let d(w) = w**2 - 2*w + 54. Is 7 a factor of d(0)?
False
Suppose -2*z + 4 = 2. Let n = z + 17. Is 9 a factor of n?
True
Let v(c) = c**2 - 7*c + 7. Let k be v(7). Suppose -5*g + 3 + k = 0. Suppose 3*r + 0*l - 61 = l, g*r - 5*l - 45 = 0. Is r a multiple of 10?
True
Let x(g) be the second derivative of g**4/12 + g**3/3 - g**2 - 4*g. Let u(p) = 2*p. Let d be u(1). Is x(d) a multiple of 3?
True
Let p(o) = -o. Let r(m) = -m - 6. Let t(j) = 2*p(j) + r(j). Is 12 a factor of t(-6)?
True
Let k(j) = -j + 2*j - 3*j - 3*j + 1. Is 17 a factor of k(-9)?
False
Does 7 divide ((-432)/(-96))/(-1*(-2)/60)?
False
Is (-273)/(-6) + 1/(-2) a multiple of 15?
True
Let q be (-1)/((-1)/(-102)*1). Suppose -2*p + 11 - 129 = 0. Let x = p - q. Is 18 a factor of x?
False
Let v = -147 - -207. Is v a multiple of 8?
False
Let a be -2*3*2/(-2). Suppose 65 = a*p - p. Is p a multiple of 13?
True
Suppose u - 200 = 6*u. Does 20 divide u/3*-3*1?
True
Suppose 0*g = 2*h - 3*g, 22 = 5*h - 2*g. Let n(a) = 15*a + 2. Let p(b) = -5*b - 1. Let k(y) = 4*n(y) + 11*p(y). Does 12 divide k(h)?
False
Suppose 4*o - a - 4*a - 492 = 0, -108 = -o + 5*a. Suppose 5*r - r = o. Is 10 a factor of r?
False
Let w(h) = 2*h + 12. Let y be w(10). Let j(