6 a factor of (75/20)/(r/4)?
False
Let k = 75 + 50. Is 25 a factor of k?
True
Let k(j) be the second derivative of j**3/3 - j**2/2 - 4*j. Let p be k(-5). Is 16 a factor of p/(-4)*(-2 + 14)?
False
Does 16 divide (-896)/(-18) + (-4)/(-18)?
False
Suppose -98 = -3*o + o. Does 24 divide o?
False
Let u(a) = a + 4*a - 7 + 3. Is 15 a factor of u(7)?
False
Let b = -414 - -582. Suppose -b = -r - 3*r. Is r a multiple of 15?
False
Let d(q) = 55*q + 24. Is 27 a factor of d(3)?
True
Is 13 a factor of 0 - 33/2*520/(-60)?
True
Let k(q) be the third derivative of -q**7/720 - q**6/360 + q**5/60 - q**2. Let f(g) be the third derivative of k(g). Is f(-3) a multiple of 11?
False
Let m = -4 - 7. Let a(f) = -f - 8. Let l be a(m). Suppose n + 4*x + 10 = -1, l*n - 32 = x. Is n a multiple of 3?
True
Let p = 3 + 0. Let q(h) = -h - 2*h - 1 - h**p - 1 - 2*h**2. Is 8 a factor of q(-3)?
True
Let p = -6 - -50. Suppose 2*o - p = -w, -4*o + 121 = o - 3*w. Is o a multiple of 23?
True
Let n(i) = -i**2 - 6*i + 10. Let r be n(-8). Does 15 divide 3/6*r + 48?
True
Let q be -3 + ((-6)/1 - 1). Let x(b) = -b**3 - 8*b**2 + 13*b + 7. Is 31 a factor of x(q)?
False
Let y(v) = -4*v**2 - 2*v + 4. Let m(a) = -3*a**2 - 3*a + 5. Let w(b) = 5*m(b) - 4*y(b). Let u be w(6). Is 3 a factor of 2 + -1 - (-1 - u)?
False
Is 133 + (3 - 0)*-1 a multiple of 26?
True
Let w = 9 + 7. Is 4 a factor of w?
True
Let y be (2/3)/((-16)/1272). Let k = -38 - y. Does 6 divide k?
False
Suppose -4*t + 44 = -4. Let m = t - -2. Is m a multiple of 8?
False
Let x = -14 + -12. Let s = 19 - 65. Let q = x - s. Is 11 a factor of q?
False
Suppose -1117 - 23 = -5*z - 4*y, -2*y - 438 = -2*z. Is 16 a factor of z?
True
Is 9 a factor of 194/10 - (18/(-15))/(-3)?
False
Let o(h) = -9*h - 2 - 2*h**2 + 5*h**2 - 6*h**2 + 2*h**2. Is 8 a factor of o(-6)?
True
Suppose -5*r + 35 = -0*r. Suppose 0 = -5*c + r + 13. Suppose -p = 2*n - 10, -n = c*p - p - 25. Is p a multiple of 4?
True
Suppose 3*h + 6 = 5*h. Suppose -a - 20 = -5*f, f + 8 = 4*a + h*f. Let c = 4 - a. Does 2 divide c?
True
Let t(d) be the first derivative of 2*d**2 - 4*d + 1. Suppose 2*r - 8 = 2. Does 8 divide t(r)?
True
Let h be (8 + -1)*2 + 1. Let p = h - 10. Suppose -p*f = 2*i - 120, -3*f + 3*i - 2*i = -72. Does 12 divide f?
True
Let g = -24 + 80. Is 14 a factor of g?
True
Suppose -6 = 2*u + u, 0 = -y - u. Let h be ((-3)/(-3))/y*0. Suppose -3*j + j + 76 = h. Is j a multiple of 19?
True
Suppose q + r = 2, q + 0*q = r + 8. Is 11 a factor of 3/q + 394/10?
False
Let s = -37 - -41. Does 3 divide s?
False
Let g be ((-6)/24)/(2/(-24)). Suppose 0 = -2*a + g*a - 6. Is a a multiple of 5?
False
Suppose a + 2*m = 6, 2*a + 6 - 18 = -m. Does 2 divide a?
True
Let o be (-268)/(-52) + (-2)/13. Does 9 divide 27/o*20/6?
True
Let c(b) = -b**3 - 4*b**2 + 3*b - 3. Let j be c(-4). Let v = j + 5. Is 6/(-1 + (-13)/v) a multiple of 10?
True
Suppose t + 0*v = 5*v + 58, 88 = 2*t - 3*v. Is t a multiple of 14?
False
Suppose -16 + 4 = -3*w. Suppose -2*d = 5*h - 232, 0 = 3*d - w + 16. Let r = h + -14. Does 17 divide r?
True
Let o = 12 - 13. Let g(i) = -29*i - 2. Does 13 divide g(o)?
False
Suppose -5*k - 5*r + 275 = -5, 5*k - 3*r = 312. Does 15 divide k?
True
Let d = 19 - -43. Does 7 divide d?
False
Let w = 6 - 2. Does 3 divide 37/4 + (-1)/w?
True
Suppose 0 = -5*z - q - 0*q + 325, -3*q + 130 = 2*z. Is 13 a factor of z?
True
Suppose 0 = n + 4*n. Is 20 a factor of 1 - (-59 + (0 - n))?
True
Suppose 5*d - 896 = a, -4*d = -a + 2*a - 724. Does 30 divide d?
True
Let m = 22 - 15. Suppose 0 = m*o - 5*o - 138. Is o a multiple of 23?
True
Suppose -u - 3*u - 296 = 0. Let c = -53 - u. Does 21 divide c?
True
Is 13 a factor of -3 - (-55 + -1)*1?
False
Suppose -7*z - 2601 = -16*z. Does 42 divide z?
False
Let g(b) = -25*b. Let n be g(4). Let h = -36 - n. Is 32 a factor of h?
True
Suppose 3*t + 68 = 4*r, -3*r = -5*t - 12 - 39. Suppose 5*j = 5, 5*j + r + 12 = z. Is 17 a factor of z?
True
Let u(m) = m**2 - 4*m - 1. Let n be u(3). Let t = n + 9. Suppose -3*y - t = -4*q + 24, -43 = -5*q - 3*y. Is q a multiple of 4?
True
Let x(n) = -25*n**3 - 2*n**2 - 5*n - 4. Is x(-1) a multiple of 8?
True
Suppose -4*o + 2*c + 176 = 6*c, 3*o + c = 124. Suppose 4*g + 0 = o. Is 5 a factor of g?
True
Is 9 + -7 + 32*1 a multiple of 15?
False
Suppose 2 - 4 = -y, -4*k + y + 858 = 0. Is 27 a factor of k?
False
Let n(v) = -v**2 - v + 28. Let t be n(0). Suppose s = -4 + t. Does 24 divide s?
True
Let h(q) = 7*q**2 - 1. Let p be 10/25 + 3/5. Let x be h(p). Suppose n - 4 - x = 0. Does 5 divide n?
True
Let i(x) be the first derivative of -7*x**2/2 - 7*x + 1. Does 14 divide i(-5)?
True
Let l = -13 - -20. Let b = l + -5. Suppose 0 = 2*z + 3*p + b + 4, 0 = -5*z + p + 19. Is 3 a factor of z?
True
Let u = -6 - -19. Suppose 2*j - u = -r - 1, j = 0. Is 12 a factor of r?
True
Let l = -41 + 117. Let t = 118 - 70. Let u = l - t. Is 14 a factor of u?
True
Let j be (-4)/2 + (-102)/(-6). Suppose -5*k + j = 95. Does 4 divide (-2)/8 + (-212)/k?
False
Let y be ((-18)/15)/((-12)/40). Let a(x) = 6*x**3 - 2*x**2 + 0*x**3 - 4*x + 2 - y*x**3. Does 14 divide a(3)?
False
Let u(i) = i**2 + 8*i - 6. Let q be u(-9). Let d(v) be the first derivative of 5*v**2/2 - 1. Is 6 a factor of d(q)?
False
Let u(z) be the second derivative of z**7/2520 + z**6/90 + z**5/20 - z**4/12 - 2*z. Let o(s) be the third derivative of u(s). Is 15 a factor of o(-9)?
True
Let u(n) = 3*n + 6. Let g = 19 + -13. Is 8 a factor of u(g)?
True
Let b(c) be the first derivative of -4*c**2 - 5*c - 7. Is b(-2) a multiple of 7?
False
Suppose 0 = -0*y + y + 26. Let b = 10 - y. Does 18 divide b?
True
Let k be (140/42)/((-2)/(-45)). Suppose 5*m + 3*t = 32 + k, m = 3*t + 7. Does 9 divide m?
False
Suppose 3*m = 4*d + 19, d - 24 = -2*m - 3*m. Suppose -2*k = -n + 53, m*n - 3*k - 81 = 156. Is 22 a factor of n?
False
Let m = -55 + 85. Does 6 divide m?
True
Suppose 73 - 217 = -4*u. Does 5 divide u?
False
Is 4 a factor of 0 + 2*((-54)/(-4) - -1)?
False
Suppose 4*q - 6 = q. Suppose 0 = q*a + a - 36. Suppose 2*h = -2*h + a. Is 3 a factor of h?
True
Suppose 2*r - 2*u + 14 = 0, -r - 4*r + 3*u - 29 = 0. Let s be r/6 + 17/3. Let p = s - -13. Is p a multiple of 8?
False
Suppose s = -4*o, 0 = 3*s - o - 12 - 1. Suppose s*d = 2*x - 6, x + 4*x + 4*d - 15 = 0. Is 2 a factor of x?
False
Let u be 1/(-2 - (-654)/326). Suppose -2*o + 3*o - 30 = 3*h, -5*o = -2*h - u. Does 11 divide o?
True
Let z(o) be the second derivative of -o**5/20 + 7*o**4/12 - 5*o**3/6 - 2*o**2 - 2*o. Is z(6) a multiple of 2?
True
Let l(n) = -116*n + 10. Is l(-1) a multiple of 42?
True
Let d = -428 - -604. Is d a multiple of 16?
True
Suppose -2*r = -98 - 392. Does 49 divide r?
True
Suppose -2*p = 10 + 36. Suppose 0 = -3*u - f - 1, -4*u - f + 17 = 4*f. Let x = u - p. Is 17 a factor of x?
False
Let q(l) = 3*l**2 - 2*l - 1. Let m be q(2). Let c = m - 3. Does 4 divide c?
True
Let q be -5 + -1 + -1 + 0. Let u = -29 + 40. Let k = u + q. Is k a multiple of 4?
True
Suppose 4*a - 243 = 5*k - 51, 3*a = -2*k + 121. Is 11 a factor of a?
False
Let v(j) = -j**3 + 13*j**2 + 4*j + 20. Let y(w) = -2*w**3 + 13*w**2 + 4*w + 21. Let g(l) = -3*v(l) + 2*y(l). Is 21 a factor of g(-13)?
False
Suppose -3*v = 7*j - 2*j - 9, j + 5 = -4*v. Let u(l) = 5*l**2 + 3*l + 2. Let k be u(v). Suppose 0 = -2*m + 10 + k. Is 13 a factor of m?
True
Is 6 a factor of (-310)/(-6) - (-3)/9?
False
Let a(j) = -2*j + 4. Is 11 a factor of a(-17)?
False
Is (-8)/24 + ((-1101)/(-9) - 0) a multiple of 13?
False
Let n(i) = -i + 9. Let b(u) = -u + 10. Let d(l) = -6*b(l) + 7*n(l). Let w be d(5). Is 12 a factor of (-25)/(-2) + 1/w?
True
Suppose -4 = -3*s + 8. Suppose 2*t = s*t - g - 19, -5*t + 10 = 5*g. Is 7 a factor of t?
True
Suppose -18*a - 276 = -22*a. Does 4 divide a?
False
Suppose 3*s - 314 = 5*d, -3*s = s - d - 430. Suppose -4*b + b = -s. Is 18 a factor of b?
True
Suppose -a + 8 = -39. Is a a multiple of 12?
False
Suppose 3*t = -v + 27, 4*t - 3*v - v = 36. Does 8 divide t?
False
Let p = -26 - -32. Suppose -p*x = -0*x - 48. Does 3 divide x?
False
Let t be (-2)/(-12)*20*3. Suppose -t = i - 3*i. Suppose 3*y = -i*z + 73, y - 6 = -0*y + 2*z. Does 6 divide y?
False
Let s = 11 + -21. Let o = 9 - s. Is o a multiple of 12?
False
Suppose -171 + 56 = -5*l. Does 23 divide l?
True
Suppose 3*f - 5*w = 160, -2*f + w + 128 = 3*w. Is f a multip