rue
Does 10 divide (80/3)/4*(-2 - -11)?
True
Let w be (5/10)/(1/10). Suppose 12 = -w*b + 97. Suppose 0*p + p - b = 0. Is p a multiple of 12?
False
Suppose 6*g - 2*g + 86 = 3*w, 3*w - 71 = g. Does 11 divide w?
True
Let y be -9 + 0 - 6/(-3). Let a(t) = -21*t**2 - t - 1. Let r be a(-1). Let i = y - r. Is 5 a factor of i?
False
Suppose 0 = 5*j - 1 - 19. Suppose -4 = 3*i - j*i. Suppose -4*s = i*w - 11 - 9, s = 3*w - 3. Does 2 divide w?
True
Let c(j) = 2*j**2 - 9*j + 5. Let s be c(7). Let x = s - 28. Suppose 3*l + 76 = 2*d - l, -x = 3*l. Does 15 divide d?
True
Let w(r) = -4*r + 10. Is w(-10) a multiple of 10?
True
Let w(l) = l**2 - 3*l + 2. Let m be w(2). Suppose 0 = -4*v - m*v + 104. Does 7 divide v?
False
Suppose -5*z = -4*a - 288, -z = -3*a + 2*a - 58. Suppose -2*g = g - 3*c - 42, 0 = 5*g + 2*c - z. Is 4 a factor of g?
True
Suppose -3*a + 0*a - 15 = 0. Let l(g) = 3*g + 1. Let q be l(a). Let p = q + 30. Does 13 divide p?
False
Is (-33)/(-3) + -1 + -3 even?
False
Let i(z) = 3*z - 11. Does 31 divide i(14)?
True
Let q be 3/5 - 17/(-5). Suppose 2*r = 4 + q. Suppose 0 = -r*b + 32 + 28. Does 4 divide b?
False
Let y(j) = -9*j**3 - j. Let c be y(-1). Let s(p) = 0*p - c*p - 2*p - 3. Is s(-2) a multiple of 7?
True
Is -5*(2 + -2*2) a multiple of 5?
True
Let l = 25 - 21. Suppose 2*u = -2*s - 0*u + 24, 0 = l*u + 4. Does 4 divide s?
False
Let m(d) be the third derivative of -d**6/120 + d**5/15 - d**4/24 + 2*d**3/3 + d**2. Let j be m(4). Is (-1)/((-2)/10 + j) a multiple of 2?
False
Let j(t) = -5*t - 12. Let q = -20 - -12. Let l be j(q). Suppose 3*u + 7 = l. Is 7 a factor of u?
True
Suppose 11 - 1 = 2*y + 3*a, -4*y - 5*a + 16 = 0. Let c = -1 - y. Let l(w) = w**2 + w + 15. Is l(c) a multiple of 15?
True
Let n(d) = -d**3 - 4*d**2 + 3*d - 6. Let a be n(-5). Let m(i) = a + 7*i - 2*i + 2*i + i**2 - 9*i. Is m(4) a multiple of 12?
True
Let f(j) be the third derivative of -25*j**4/24 - j**3/6 - j**2. Let m be (-20)/15 + 2/6. Is 17 a factor of f(m)?
False
Let n = 231 - 414. Let p = -117 - n. Is p a multiple of 22?
True
Let c(q) = 2*q**2 + 7*q - 2. Let s be c(-6). Suppose -6 = 2*u - s. Does 10 divide u?
False
Does 6 divide (-6 + 104/6)/(2/9)?
False
Let i(o) = 2*o**2 - 3*o + 2. Let h = -1 + 3. Let a be i(h). Suppose 0*n - a*n - 66 = -2*r, -2*n = 8. Is r a multiple of 7?
False
Suppose 6 = -5*j - b, -b - 8 = 4*j + 3*b. Let o(r) = 21*r**2 - 2*r - 1. Is o(j) a multiple of 22?
True
Let m = -113 - -163. Does 10 divide m?
True
Let z(y) be the first derivative of -7*y**4/4 - y**3 + y**2/2 + 2*y + 5. Is 13 a factor of z(-2)?
False
Suppose 2*y - 32 - 30 = 0. Is 31 a factor of y?
True
Suppose -7*x + 24 = -6*x. Is 8 a factor of x?
True
Let p be (-2)/(-5)*(-5 - -125). Let q = 87 - p. Is q a multiple of 20?
False
Let j(r) = -r + 15. Does 8 divide j(-9)?
True
Suppose -5*j - 2*h - 121 = -427, 4*j - 5*h = 225. Is j a multiple of 12?
True
Let g(r) = 31*r**3 - 4*r + 3. Does 5 divide g(1)?
True
Let u(c) = 27*c - 24. Is 19 a factor of u(3)?
True
Suppose -4*u = -4*d + 236, -6*d - 240 = -10*d + 2*u. Does 10 divide d?
False
Let t be (-3)/(-15) - (-24)/5. Let c = t + -1. Suppose -b + 5 + 18 = -u, 5*b - 114 = c*u. Does 11 divide b?
True
Let g be 10/(-1 + (-1 - -4)). Suppose 0 = -4*u + g*h + 80, -2*h + 0*h = 0. Is u a multiple of 16?
False
Let z be (-3 - 0)*38/(-3). Suppose z = -3*x + 5*x. Does 6 divide x?
False
Let r(a) = 2*a - 5. Suppose -n - 11 = -t + 6*t, -2*n - 5*t = 7. Let h be r(n). Suppose h*m - 7 - 134 = 0. Is m a multiple of 17?
False
Let q(f) be the first derivative of -3*f**4/2 - f**2/2 + 1. Let k be q(-1). Is 6 a factor of 2/(((-7)/(-6))/k)?
True
Suppose 2*s + 256 = 2*m, 0 = -s + 1 - 2. Suppose -5*f = 5*w - 340, -w - m - 81 = -3*f. Does 23 divide f?
True
Let k be (-18)/(-3) - -1 - 0. Let x(d) = -d**3 + 7*d**2 + 6*d + 6. Is x(k) a multiple of 21?
False
Suppose 2*w + 2*w = 5*j - 21, -4*j + 3*w + 16 = 0. Suppose 4*y - 18 = 26. Suppose -d = -y - j. Does 6 divide d?
True
Suppose -2*g = t + 4, 5*g + 10 = -3*t - 4. Let b = 59 + t. Is b a multiple of 13?
False
Suppose c - 3*c = -m - 123, -369 = 3*m - 4*c. Let r = -52 - m. Does 15 divide r?
False
Let j(b) = -b**3 + 4*b**2 + 6*b - 3. Let v be j(5). Suppose d + 0*d + q = 9, 2*q + 2 = v*d. Let i(r) = r**2 - 2*r + 6. Is i(d) a multiple of 12?
False
Suppose -2*d + 2 + 4 = 0. Let l be (3/(d/(-2)))/(-1). Suppose -4*p + 7*z + 121 = 2*z, -5*p + l*z = -147. Does 16 divide p?
False
Suppose 441 = 10*f - 89. Does 15 divide f?
False
Let s = 7 + 79. Is s a multiple of 8?
False
Let o(c) be the first derivative of -c**5/20 + c**4/2 - c**3/2 - c**2/2 + 2*c - 1. Let r(p) be the first derivative of o(p). Does 19 divide r(4)?
True
Suppose -2*o + 3*j + 19 = 0, j + 18 = 3*o - 0*j. Suppose o*y - 4*r = -r + 179, 3*y - 115 = -2*r. Is y a multiple of 17?
False
Let q = 0 + 51. Is 17 a factor of q?
True
Let z = 3 - 0. Suppose 0 - z = x. Is 0 + 8 + (x - -5) a multiple of 4?
False
Let n(t) = -16*t + 2. Suppose 2*h = 10, -5*h = 2*m - 4*h - 15. Let q(l) = l**3 - 5*l**2 - l + 3. Let o be q(m). Is 17 a factor of n(o)?
True
Does 17 divide 564/9*2*(-6)/(-8)?
False
Let b(j) be the second derivative of -j**5/20 + 2*j**4/3 + 4*j**3/3 + 13*j**2/2 - j. Suppose 5*o - 5 = 0, -r + 4*r - 26 = o. Does 4 divide b(r)?
True
Let h = -102 - -165. Does 9 divide h?
True
Let o = -4 - -7. Let n be ((-2)/o)/(2/(-24)). Suppose 9 + n = q. Is q a multiple of 17?
True
Let t = -21 + -15. Let i = 52 + t. Is (i/20)/(2/65) a multiple of 19?
False
Let h = -9 + 50. Is h a multiple of 27?
False
Is 12 a factor of ((-30)/(-5))/(1/12)?
True
Let l = 70 - 38. Suppose 2*i - l = -2*i. Is 4 a factor of i?
True
Let d(i) = i**2 - 8*i + 1. Let t be d(8). Suppose -p - t = -8. Is p a multiple of 7?
True
Let u = 31 + -15. Suppose -5*q = f + 1, 14 = 2*f + 2*q - u. Does 19 divide f?
True
Suppose 2*d + 99 = 4*d + h, -5*d + 5*h = -285. Suppose -g + 33 = -j + 3*j, 3*j + 2*g - d = 0. Is j a multiple of 6?
False
Let k(h) = h - 4. Let i(x) = x**2 - 5*x - 2. Let o be i(6). Let c be k(o). Suppose -7*q + 76 = 3*y - 2*q, c = -y + q + 12. Is 8 a factor of y?
False
Let s be ((-40)/(-6))/(2/6). Suppose -w = -6*w + s. Is 3 a factor of (w/8)/(2/24)?
True
Suppose -d - 3*r = 3*d - 408, -3*d + 299 = 4*r. Does 20 divide d?
False
Suppose 5*n + 313 - 13 = 0. Let q = 95 + n. Does 15 divide q?
False
Let z = -8 + 15. Let j(d) = 4*d**2 + z + 2*d**2 + 4*d - 5*d**2. Does 6 divide j(-5)?
True
Let p(u) = 12*u**2 + 2*u + 1. Does 13 divide p(1)?
False
Is ((0 - -1) + 4)*(-2)/(-2) a multiple of 4?
False
Let n = -4 - -2. Does 14 divide (-332)/(-8) - n/(-4)?
False
Suppose 11*v = 10*v + 109. Is 16 a factor of v?
False
Let u = -23 + 53. Is 17 a factor of u?
False
Suppose 3*l - 9 - 12 = 0. Does 5 divide l?
False
Suppose -w - 34 = 16. Let l = w - -74. Suppose 2*r + 0*r = l. Is r a multiple of 7?
False
Let m(x) = x**3 + 6*x**2 - 7*x + 3. Let b be m(-7). Suppose -f - b*f = -116. Is f a multiple of 18?
False
Let g = 119 + -104. Is g a multiple of 15?
True
Suppose -4*s = s - 10. Suppose z + u - 5 = 0, 3*u = s*z + 2*u - 1. Suppose t + 14 = 2*d, d - 5*d + 28 = z*t. Does 5 divide d?
False
Let k(l) = 3*l - 8. Suppose 0*s - 2*q = -s + 14, s = 4*q + 22. Is k(s) a multiple of 10?
True
Is 18 a factor of (-48)/2*-2*6/8?
True
Suppose 69 + 21 = 5*y. Does 18 divide y?
True
Is 20 a factor of (-4)/(-6)*(63 + -18)?
False
Suppose 3*r - 16 = -2*x, r - 2*r = -3*x + 13. Let c be (r/(-4))/((-2)/(-8)). Does 11 divide (28 - (c + 5)) + -3?
True
Suppose 0 = 4*a - 2*f - 502, -4*a + 3*f + 468 + 31 = 0. Is 16 a factor of a?
False
Let n = -5 - -7. Suppose 3 + 2 = a + d, n*d = 4*a - 32. Does 3 divide a?
False
Suppose -5*a + 124 = 3*f, -2*f = 2*f + 5*a - 167. Does 12 divide f?
False
Let a(u) = -u**3 + 4*u**2 + 6*u - 5. Let p be a(4). Suppose 2*v = 0, p = 4*t + 2*v - 17. Is t even?
False
Suppose -o + 5*m = 1, o - 4*m + 1 = -3*m. Let v = 6 - o. Does 7 divide v?
True
Let x be (0 - 3)*16/12. Suppose 4*r + 37 + 15 = 0. Is (-2)/x*(-3 - r) a multiple of 2?
False
Let s = -20 + 12. Let z be 326/10 - s/20. Suppose -22 = -5*k + 2*b + 22, -3*k - b + z = 0. Does 10 divide k?
True
Suppose -5*b - u = -314, 0 = -0*b - 3*b + 5*u + 166. Does 17 divide b?
False
Let p be 5/(10/4) - 3. Let i = -1 - p. Let f = i + 9. Is f a multiple of 5?
False
Suppose -5*j - 21 = -71. Let s be ((-3)/5)/((-2)/j). Suppose -h - s*h + 3