a multiple of 7?
True
Suppose 0 = 4*l - 7 - 1. Let g(m) = 3*m - 3. Let i be g(l). Suppose i*u = -r + 4, 0 = -r + 4*r + 15. Does 3 divide u?
True
Suppose 0 = -3*m + 2*m + 20. Suppose -4*h - 3*v + v = -m, 2*h = v + 10. Suppose 0 = -h*o, -28 - 42 = -5*a - 5*o. Does 8 divide a?
False
Suppose 0*v = -4*v + 56. Let a = v + -10. Suppose 10 = 5*y, -a*q - 2*y - 17 = -7*q. Does 7 divide q?
True
Let u be (-23)/(-6) + 2/12. Suppose 78 = u*r - r. Is r a multiple of 16?
False
Let m be 3/4 + (-108)/16. Let u be ((-78)/(-4))/(m/(-12)). Suppose 5*h - u = -4. Is h a multiple of 7?
True
Let m(g) = -37*g - 9. Does 13 divide m(-2)?
True
Does 13 divide (-2)/8 - 189/(-4)?
False
Let q(t) = -2*t**3 - 6*t**2 - 6*t - 2. Let u be q(-4). Let y = u + -12. Is 21 a factor of y?
True
Let q be -3*((-32)/12 - -2). Suppose q*i = i - g + 10, 3*g = 4*i - 12. Does 2 divide i?
True
Suppose 4*v - v - 46 = j, 0 = -v + j + 16. Suppose -3*h - 4*i = -38, 75 = 5*h + 5*i + v. Does 7 divide h?
False
Suppose 4*k = k + 6. Suppose k*v = -v + 12. Suppose 3*u - 139 = -2*u - 3*w, -12 = -v*w. Is 11 a factor of u?
False
Suppose 4*v - v = -6. Let s(q) = -q**3 - 2*q**2 - 4*q - 2. Is 6 a factor of s(v)?
True
Let b(l) = -5*l**2 + l - 1. Let g be b(-3). Let n(a) = a**3 + 6*a**2 - a - 7. Let u be n(-6). Let q = u - g. Is 21 a factor of q?
False
Suppose 5 - 25 = -5*l. Suppose -3*y - y = 8, -i + l*y = -43. Does 12 divide i?
False
Let y = 2 - 0. Let m = y - -3. Suppose -2*p - 18 = -m*q + 10, -2*q = 3*p + 4. Is q a multiple of 2?
True
Is (-16)/(-3)*(5 + 147/12) a multiple of 23?
True
Suppose 4*j - 148 = 4*o, 5*j - 2*o = j + 144. Suppose -2*i = j - 183. Is (-2)/(-3) - i/(-6) a multiple of 13?
True
Suppose -8 - 16 = 2*j. Does 5 divide (-111)/j + 6/8?
True
Suppose -23 = -3*w - 4*j, 3*w + j - 26 = -0*j. Is 8 a factor of w?
False
Let x(p) = -5*p - 2. Let h(u) = -5*u**2 + 1. Let k be h(-1). Let z be x(k). Suppose 5*n + 4*b - 155 = 0, -3*n + z + 43 = -4*b. Is 11 a factor of n?
False
Let u(c) = c**3 - 7*c**2 - 9*c + 12. Let o be u(8). Suppose -2*k + 4*f - 26 = -3*k, -176 = -o*k + 2*f. Is 14 a factor of k?
True
Let m(l) = l**2 - 9*l + 12. Is m(9) a multiple of 6?
True
Suppose -4*o + 9 = i, 3*i + 2*o + 36 = 7*i. Let x = i + -4. Suppose h + 3*h = -x*t + 100, t - 20 = 2*h. Does 10 divide t?
True
Let p be (-1)/2*(6 + -6). Suppose 2*m + m = 3*z - 9, p = -m + 2*z - 5. Let w(i) = -9*i. Does 9 divide w(m)?
True
Let t(f) be the first derivative of 179*f**4/4 + f + 1. Let l be t(1). Suppose 3*b = 4*q + q - 180, 5*q = b + l. Is 18 a factor of q?
True
Let z(x) = -x**3 + 2*x**2 + 2*x + 3. Let c be z(-2). Let m = c - 1. Is 5 a factor of m?
False
Let d = -5 - -5. Let j(u) be the third derivative of -u**5/60 + u**4/24 + 5*u**3 + 2*u**2. Is j(d) a multiple of 15?
True
Is 8 a factor of (264/(-4))/((-12)/16)?
True
Suppose -3*a + 18 = 2*s, 0*a - 2*s = -a - 2. Let u(c) = -4*c**3 + a*c**3 + 3 - 4*c**2 - c - c**3. Is u(-4) a multiple of 4?
False
Suppose -2*i + 0*r = 4*r - 132, -139 = -2*i + 3*r. Suppose 0*n - 2*n = -i. Is 10 a factor of n?
False
Let y be (-1 + -1)/((-7)/14). Suppose 0 = -p + v + 14 + 4, -y*v = 5*p - 72. Is p a multiple of 8?
True
Suppose 16 + 11 = 3*i. Does 4 divide i?
False
Suppose -t + 18 = -3*s, 0*t = 4*t - s - 83. Is 7 a factor of t?
True
Let q(u) = -u**3 - u**2 - 9*u + 5. Does 15 divide q(-5)?
True
Suppose -x = -4 - 1. Suppose 0 = -m + x*a + 2 - 22, -4*m - a - 17 = 0. Does 11 divide m*(-8)/(-10)*-7?
False
Suppose -4*f - 3*j = 31, -1 - 9 = 5*f - 2*j. Let h = 7 + f. Suppose 5*w = 4*s - 185, -25 = s - 2*s - h*w. Is s a multiple of 12?
False
Suppose 4*b - 8*b = -20. Is b a multiple of 2?
False
Let w(l) = -l**2 + 8*l - 9. Let j be w(6). Suppose 4*k - 108 = -j*i + 204, -4 = i. Suppose -2*o - 19 + k = 0. Does 12 divide o?
False
Let g(a) = 47*a**2 + a - 1. Is g(1) a multiple of 16?
False
Suppose 2*f + 5 = -7. Is 8 a factor of (-8 - f)/(2/(-14))?
False
Let f = -6 + 51. Does 21 divide f?
False
Let o(a) = 30*a**2. Let y(j) = j**2 - 4*j + 2. Let r be y(3). Does 12 divide o(r)?
False
Is 15 a factor of 16/20 - (-438)/15?
True
Let n be (-2 + 0)*(-1)/2. Let z(j) = 31*j**2 - 2*j + 1. Does 11 divide z(n)?
False
Suppose 5*i = 5*g - 650, -3*i - 2*g = 654 - 239. Let j be (-8)/(3*(-2)/(-72)). Let x = j - i. Does 18 divide x?
False
Suppose -11 = p - 0*g + 3*g, -3*p = 3*g + 27. Let x(j) = j**2 + 4*j + 8. Let m be x(p). Suppose 4*r - m = -8. Is r a multiple of 4?
True
Let s = 8 + -6. Suppose 3*v - 128 = 4*x, -v - s*v - 2*x + 152 = 0. Is 24 a factor of v?
True
Let s = -82 + 193. Is 37 a factor of s?
True
Let l(x) = x**3 + 10*x**2 - 2*x + 13. Does 18 divide l(-8)?
False
Let m(b) be the first derivative of -b**4/4 + 2*b**3 + 3*b**2/2 + b - 4. Does 19 divide m(6)?
True
Let y be 5*1*18/(-45). Does 14 divide (-1 - y)/(4/68)?
False
Suppose q = d + 3*q - 11, d - 4*q = -13. Suppose 0 = -4*l + d*o, -o + 0*o = 0. Suppose 0 = g - l - 14. Is 13 a factor of g?
False
Suppose 93 = 2*g + 3*b, 0 = 4*g + 4*b - 64 - 124. Suppose -g - 52 = -2*a. Suppose 5*q + a + 40 = 5*s, 4*s - 3*q - 69 = 0. Is s a multiple of 15?
True
Let d = 0 - -2. Suppose -m = d*m + 108. Let z = -22 - m. Is 8 a factor of z?
False
Is (-6182)/(-14) + (6 - (-312)/(-56)) a multiple of 45?
False
Suppose -5*t - 5*a + 275 = 0, -t - 291 = -6*t + 3*a. Is t a multiple of 19?
True
Let f = -3 - -6. Suppose 2*m + 65 = f*v, -v + 15 = -0*v + m. Is 15 a factor of v?
False
Suppose 4*v - 10 - 37 = -l, 0 = l - 2*v - 29. Does 7 divide l?
True
Suppose -4*t + 161 = 5*w, -4*t + 3*w + 147 = -38. Is t a multiple of 15?
False
Suppose -8*c + 335 = 7. Is 6 a factor of c?
False
Suppose 0 = 2*p - 5*p. Let x(o) = -o**3 - 2*o**2 - 2 - 4*o + p + 3*o. Is 5 a factor of x(-3)?
True
Is 2 + 121 - (2 + -1 + -1) a multiple of 14?
False
Let i(f) = f. Let g be (-9)/6*4/3. Let o be i(g). Let v(k) = -4*k - 3. Is 5 a factor of v(o)?
True
Suppose 5*f - 161 = -31. Suppose t - f = -t. Does 13 divide t?
True
Let o be 1*(-7 + 2) - 2. Let z = o - -11. Suppose 2*g + 4 = g, -2*g = z*r - 88. Is r a multiple of 12?
True
Suppose 12 = 5*b - b. Suppose 3*k + 3*c + 2*c - 172 = 0, 0 = 2*k + b*c - 114. Is 23 a factor of k?
False
Let u(f) be the second derivative of -13*f**3/6 + 2*f**2 - 2*f. Let b(p) = 4*p**3 - p**2 + 1. Let a be b(-1). Is 28 a factor of u(a)?
True
Let r(c) be the third derivative of -c**4/24 + c**3/6 + 2*c**2. Let s be r(-1). Suppose -5*j - 26 = -s*a, -4*a + 2*j + 76 = -2*j. Is a a multiple of 8?
False
Let g be 6*(-1 + 2)*-3. Let q = g - -70. Let r = q - 37. Is 11 a factor of r?
False
Let n = 11 + -14. Suppose 0*i + i + 2*h + 7 = 0, 3*h = 5*i + 61. Let f = n - i. Is 8 a factor of f?
True
Suppose k = -j - 2, 0*k = k - 3*j + 2. Let w = k - -9. Is 3 a factor of w?
False
Let p(z) = -23*z + 3. Let j be p(-3). Let f = j - 28. Is f a multiple of 22?
True
Let g = 55 - -105. Is g a multiple of 10?
True
Let f(c) be the third derivative of c**5/60 - 7*c**4/24 + c**3/2 - c**2. Let p be f(7). Suppose p*g = 11 + 19. Does 10 divide g?
True
Let k = 0 - -3. Suppose k*a = -3 - 3, 0 = 2*x + 2*a. Suppose -3*q + 36 = -3*s, -x*q - 14 + 38 = 5*s. Is q a multiple of 12?
True
Let a be (-3)/((-3)/(-6)*-2). Is 37 + -4*a/(-6) a multiple of 20?
False
Suppose -2 = f + 8. Let m = f + 20. Does 10 divide m?
True
Let q(g) = 85*g + 15. Let f(h) = 12*h + 2. Let d(r) = -15*f(r) + 2*q(r). Suppose -4*s + 6 = -6*s. Does 15 divide d(s)?
True
Let i(j) = j**3 - 13*j**2 + 5. Does 2 divide i(13)?
False
Suppose -2*i + 5 = -n, -2 = -3*n - 5. Suppose i*o = 7*o - 265. Is o a multiple of 25?
False
Let l = 47 + -34. Is 11 a factor of l?
False
Let t(x) = 4*x - 5. Let f be t(2). Suppose 4*u - 4 = u - 5*k, 0 = 3*k + f. Is 2 a factor of u?
False
Let i(h) = -h**3 + 6*h**2 - 4*h - 1. Let a be i(4). Let j(z) = z**2 - 6*z + 2. Let f be j(5). Let t = a + f. Is t a multiple of 12?
True
Let p = 9 + -5. Suppose 2*x - 2 = p*k - 10, 0 = 2*x - 4. Let s(m) = 2*m**2 - 3*m + 1. Does 5 divide s(k)?
True
Let y(r) be the third derivative of -r**6/120 - r**5/20 + 3*r**2. Is 23 a factor of y(-5)?
False
Let m(a) = 2*a**3 + 24*a**2 - 18*a + 4. Does 10 divide m(-12)?
True
Let h(q) = q**3 - 10*q**2 + q - 3. Does 6 divide h(10)?
False
Let r = 7 - 2. Suppose -3*k = r*j - 20, -2*k - 4*j = -k - 9. Does 3 divide k?
False
Let p be -2 + (-16)/(-2) - 1. Suppose p*c - 73 = 67. Is 14 a factor of c?
True
Suppose 0 = 