ctor of -12*-1*15/g?
False
Does 15 divide (-4)/((-12)/45) - 0?
True
Let q = 106 + -35. Does 15 divide q?
False
Suppose 2*p - 160 = -3*p. Suppose j - 33 = -3*f, 5*f - p = -5*j + 13. Is (-1)/(-2) + 78/f a multiple of 6?
False
Suppose 4*j = 3*f + 410, 5*f = 16 - 6. Is j a multiple of 8?
True
Let f = 68 + -20. Is 16 a factor of f?
True
Suppose 0 = -v - 5*y - 8 - 23, y + 26 = -2*v. Let u = v - -41. Is 14 a factor of u?
False
Let y be ((-266)/(-8))/(5/20). Suppose -211 = -3*f - 3*s - 73, -3*f + 2*s + y = 0. Is f a multiple of 25?
False
Suppose j - 4*k = 9, -13 - 14 = -3*j - 2*k. Suppose 24 = w + 8. Let i = w - j. Does 7 divide i?
True
Suppose -4*s = 4*l - 488, 2*l - 590 = -3*l - s. Suppose -114 = -0*x - 3*x + 3*q, 3*q - l = -4*x. Is x a multiple of 8?
False
Suppose 80 = 2*p + 4*r + 12, 0 = -4*p + 4*r + 148. Is 36 a factor of p?
True
Suppose 0 = 7*c - 11*c + 24. Let v = 10 - c. Suppose 11 = 2*d - f, 4 = v*d - 3*d + f. Does 2 divide d?
False
Does 9 divide ((20/3)/(-4))/((-2)/114)?
False
Let j = 9 - 6. Is -1 + j - (-9 - -1) a multiple of 10?
True
Suppose -180 = -4*l + t, -l - 4*t + 0*t + 45 = 0. Let n = 15 + l. Is n a multiple of 20?
True
Let v(i) = -i**2 - 4*i + 2. Let a be v(-4). Suppose 0 = d - a*d + 18. Is 5 a factor of d?
False
Does 3 divide (1 + 2)/((-1)/(-3))?
True
Suppose -5 + 3 = -l. Let c = -4 + l. Let p(w) = 2*w**2 + 1. Is p(c) a multiple of 9?
True
Suppose -10 - 6 = a. Is (-388)/a + (-4)/16 a multiple of 8?
True
Let k(r) = 3*r**3 + 2*r**2 - 2. Let q = -4 - -9. Suppose 3*n - q = 1. Does 15 divide k(n)?
True
Let k(z) = -2 - 4*z**2 - 7*z**2 - 2*z**2 + z. Let n be k(-2). Let i = 80 + n. Is i a multiple of 12?
True
Let m = -53 + 63. Is 4 a factor of m?
False
Let x be -2 + 0 - (-6 + 0). Let b = -2 + x. Suppose 5*u + b + 4 = 3*h, 4*h - 19 = 3*u. Does 6 divide h?
False
Let f(r) be the second derivative of r**4/12 + r**3/6 + 7*r**2 - 7*r. Is f(0) a multiple of 3?
False
Suppose 3*q - q = 8. Suppose 3*v = -3*x + 15, -q*x + 5 = -3*x - 4*v. Suppose -53 = -x*g - 3. Does 10 divide g?
True
Suppose -2*g = -7*g + 30. Is 6 a factor of g?
True
Let t(i) = -i**3 - i**2 + 2*i - 5. Suppose 0 = 2*x - 0*x + 8. Does 12 divide t(x)?
False
Let h = -30 + 39. Does 3 divide h?
True
Let w(v) = v**3 - 4*v**2 - 10*v + 2. Is w(6) a multiple of 7?
True
Let i(p) = 6*p + 1. Let s be ((-2)/(-3))/((-1)/(-9)). Let t be i(s). Let x = t - -1. Is 11 a factor of x?
False
Is 8 a factor of 122/4 - (-4)/8?
False
Let o(r) be the first derivative of -r**4/4 - 14*r**3/3 - 7*r**2 + r - 4. Does 11 divide o(-13)?
False
Let u(i) = -i**2 + 11*i + 3. Let f be u(11). Suppose 3*p - f*r - 194 = -4*r, -2*p = 4*r - 146. Is p a multiple of 21?
True
Suppose -4*b + 31 + 9 = 0. Let u(i) = i**3 - 9*i**2 - 8*i + 10. Is 15 a factor of u(b)?
True
Suppose 0 = 3*j - 7*j + 116. Suppose -5*a + 11 = -j. Is a a multiple of 3?
False
Let m(b) = -b**2 + b + 14. Suppose 0 = -3*h - h - 4*t + 4, -5 = -h - 5*t. Does 7 divide m(h)?
True
Suppose -2*j + 4 + 24 = 5*l, 0 = 3*j - 3*l. Does 4 divide j?
True
Let x = 6 + -6. Suppose x*b = 3*b - 39. Is b a multiple of 11?
False
Suppose 0 = u - 2 - 0. Suppose -u*n = -0*n - 12. Does 10 divide ((-30)/4)/(n/(-16))?
True
Let u = -7 - -10. Suppose 0 = u*g + 8 + 16. Does 6 divide 172/14 + g/28?
True
Let m be 2/2 - (2 + -2). Let a be (-25)/(-2) + 11/22. Let f = a + m. Is 10 a factor of f?
False
Suppose 8*h - 2*h = 66. Suppose -8*z - 42 = -h*z. Does 5 divide z?
False
Let p = -15 + 17. Suppose -244 = -6*w + p*w. Is w a multiple of 19?
False
Let a(h) = h**2 - h + 1. Let i be a(0). Let f(b) be the second derivative of 19*b**4/6 + b**3/6 - b**2/2 + 4*b. Does 10 divide f(i)?
False
Let s(p) = 2*p**2 - 21*p + 5. Is 25 a factor of s(14)?
False
Let t(m) = -203*m**3 - m. Is t(-1) a multiple of 10?
False
Let c be (-6)/(-24)*(-1 - 3). Let q(a) = -43*a**3 + 3*a**2 + a - 1. Is 11 a factor of q(c)?
True
Suppose -2*j = -h + 96, -j + 9*h = 4*h + 30. Let y = 26 + j. Is (-1)/(0 - 1) - y a multiple of 18?
False
Let s = 6 + -6. Suppose 4*g + k - 47 = s, 3*k + k - 6 = -2*g. Does 8 divide g?
False
Let c be (15/6)/((-2)/(-152)). Suppose -6*j = -j - c. Is j a multiple of 19?
True
Suppose 18*f - 220 = 13*f. Is f a multiple of 33?
False
Let a(j) = 4*j**3 - 5*j**2 - 2*j + 6. Let t(o) = -3*o**3 + 5*o**2 + 3*o - 6. Let k(i) = -2*a(i) - 3*t(i). Let w = -1 - -7. Is k(w) a multiple of 4?
True
Suppose 5*y - 250 = 225. Is y a multiple of 19?
True
Suppose -m = 2 - 32. Suppose -2*v = 3*v - m. Suppose -3*r = -2*r - v. Is 3 a factor of r?
True
Let l = -22 + 31. Is 5 a factor of l?
False
Suppose -2*y + 9 = y. Let s = 11 + 0. Suppose -r + y*l = -s, -2*l + 13 = 2*r + l. Is r a multiple of 8?
True
Let g = 15 + 8. Let b = g - -21. Does 22 divide b?
True
Let x(h) = 3*h**3 - 4 - 4*h**3 - 4*h**2 + 7*h - 13*h. Does 20 divide x(-4)?
True
Suppose t = -4*t + 40. Let m(h) = 3*h + 9. Let o be m(t). Does 4 divide o/(-12)*(-2 - 2)?
False
Suppose -12 = 2*l + 2*r, -2*l = l + 2*r + 17. Let u be ((-24)/(-10))/(l/25). Is u/(-42) + 220/14 a multiple of 13?
False
Suppose -5*n + 4*n - 2*d + 18 = 0, 2*n - 56 = d. Is 8 a factor of n?
False
Let w = -7 - -4. Does 12 divide 3 + w + 28 + 0?
False
Let l(u) = -u**3 + 5*u**2 + 2*u + 5. Let f be l(4). Suppose 74 = 3*k + f. Is 16 a factor of (-8)/5*(5 - k)?
True
Let u = -27 - -99. Let i = 106 - u. Is i a multiple of 9?
False
Suppose 12 + 6 = -2*s. Let c(w) = -w**3 - 15*w**2 - 15*w + 13. Let o be c(-14). Let z = o + s. Is 18 a factor of z?
True
Let n = 1 + -1. Suppose 0 = -n*c - 4*c + 216. Suppose c = 3*u + 3*j, 4*u = -8*j + 3*j + 77. Does 10 divide u?
False
Suppose j - 27 = 2*z, 3*j = 5*z - z + 71. Let i = 10 - j. Let g(h) = -2*h + 3. Does 17 divide g(i)?
True
Let o(h) = h**3 + 11*h**2 - h + 5. Let y(w) = -7*w + 10. Let f be y(3). Is 15 a factor of o(f)?
False
Let a(j) = -5*j**3 - 2*j**2 + 6*j - 5. Is a(-4) a multiple of 37?
True
Suppose 3*i + 8 = -10. Let n = -21 + 21. Does 12 divide (i + n)*(0 - 2)?
True
Suppose -22 = -4*y + 5*y + 2*o, -o - 86 = 3*y. Let q = 106 + y. Is q a multiple of 19?
True
Let r be (-2)/(-4) + (-6)/(-4). Suppose 17 = -r*x + 3. Does 12 divide ((-12)/7 + 0)*x?
True
Let n(f) = -3*f + 1. Let a be n(-3). Let v be 24/a + 8/(-20). Suppose -3*r + 4*u + 48 = r, 3*r - v*u - 35 = 0. Does 6 divide r?
False
Suppose 0 = m - 0*m, 60 = 4*x + m. Does 6 divide x?
False
Suppose -4 = -4*c, -3*h + 2*c + 32 = 4*c. Is 5 a factor of (-3)/((-2)/(h - 2))?
False
Suppose 5*v - 3 = 2*v - 4*j, 0 = 5*v + 5*j. Is 5 a factor of 2 + v + (11 - 0)?
True
Let w = -110 + 172. Is 6 a factor of w?
False
Let j = -43 + 75. Is 22 a factor of j?
False
Is 753/18 + (-4)/(-24) a multiple of 11?
False
Let b(f) = f**2 - 3*f - 2. Let a be -1 - (2 - 4) - 1. Let h be 12/14*(a + 7). Is 6 a factor of b(h)?
False
Let t = -11 - -27. Does 8 divide t?
True
Suppose 13 = 3*p + 1. Suppose 9 = 2*f - m - 11, -p*f + 4*m = -40. Is 10 a factor of f?
True
Let a = -4 + 1. Let t be (2 - 3)/(a/6). Suppose 0 = t*v + 2*v - 68. Is v a multiple of 7?
False
Let u(i) = 2*i - 6. Let q be u(-6). Let z be q/(-4)*(-4)/(-3). Suppose 3*g = 15 - z. Does 2 divide g?
False
Let j(y) = y**3 - 5*y**2 + 4*y + 3. Let x be j(4). Suppose 0 = -0*v + x*v + 63. Let d = -4 - v. Is d a multiple of 6?
False
Let t = 57 - 15. Is t a multiple of 6?
True
Let o(s) = -1 + 3 + 1 - 8*s. Let w(x) = 7*x - 3. Let q(t) = -6*o(t) - 7*w(t). Is q(-5) a multiple of 8?
True
Let c(f) = -f**3 + 10*f**2 + f - 10. Let y be c(10). Suppose -5*h + 740 = -y*h. Suppose 2*p + h = 4*n, n - 78 = -n - p. Is 19 a factor of n?
True
Let k be (13 - 1) + 0/2. Suppose -4*t = 2*h + t - 15, 4*t = -3*h + k. Suppose -4*f + 8*f - 12 = h. Does 2 divide f?
False
Let f(q) = q**3 - 5*q**2 - 20*q - 7. Is f(10) a multiple of 12?
False
Suppose 0 = -8*m + 2*m + 714. Is m a multiple of 17?
True
Let h(z) = 2*z**2 - 4*z - 6. Suppose -2*o - 1 = -11. Does 7 divide h(o)?
False
Let t(s) = s**3 - 9*s**2 - 4*s + 7. Does 9 divide t(10)?
False
Let q = 10 - 4. Let g = q + 5. Does 7 divide g?
False
Let q(k) = 10*k + 5. Let b be q(4). Suppose t - 4*t = -b. Does 15 divide t?
True
Suppose 19 = 3*q - 11. Does 8 divide q?
False
Suppose o - 2*x + 0*x = -10, -3*o = 5*x + 8. Is 12 a factor of ((-144)/(-3))/(o/(-4))?
False
Is 15 a factor of (-119)/(-85) + (-2)/5 - -74?
True
Let n(k) be the third derivative of -k**6/60 - k**5/12 + k**4/24 - k**3/3 + 3*k