0?
True
Suppose -4*n + 240 = -0*n. Let d = n + -42. Let h = d - 10. Does 3 divide h?
False
Let o(d) = 2*d - 5. Let i be o(4). Suppose 0 = i*z - 4*z + 5*c + 12, -c = 3*z - 20. Is 7 a factor of z?
True
Suppose -6 = -q - q. Suppose 77 = q*j - 31. Suppose -s + j = -0*s. Is 12 a factor of s?
True
Suppose -3*w - 2*b = -0*b - 11, 5 = 5*b. Suppose w*l = -0*l + 5*i - 22, 26 = -5*l + 3*i. Does 9 divide l/10 + 274/10?
True
Let j(f) = -f**3 + 5*f**2 + 3*f - 7. Let x be j(5). Let l(n) = n**2 - 6*n - 10. Is l(x) a multiple of 5?
False
Suppose 285 = -3*q + 8*q. Suppose -3*s + 0*f = -4*f - 42, f - q = -3*s. Is s a multiple of 7?
False
Let w = 14 - 9. Suppose 3*x + 75 = w*r - 117, 3*x - 168 = -5*r. Suppose 5*o - 2*o = r. Is 7 a factor of o?
False
Suppose -15 = -3*k - 6. Let r = k + -3. Suppose r - 21 = -3*x. Is 7 a factor of x?
True
Suppose 2*t + t + 18 = 0. Let n = -1 - t. Is 9 a factor of 46/n + 1/(-5)?
True
Let t(c) = c. Let g(p) = -p - 1. Let w(o) = -7*g(o) - 6*t(o). Let r be w(-10). Is 276/(-18)*r/2 a multiple of 9?
False
Suppose c + 3*v + 4 = 2*c, v - 2 = -3*c. Suppose 4*a = 2*u - 3*u + 17, -a = -3*u - c. Let y(w) = 23*w**2 + 1. Is 11 a factor of y(u)?
False
Suppose 8*m - 3*m + 10 = 0. Is 15 a factor of 34*m/(2/(-1))?
False
Let t be 3 + ((-4)/(-2))/(-2). Suppose -2*h + 12 = t*h. Is 3 a factor of h?
True
Suppose -68 = -4*t - 0. Suppose -f = -1, 4*f - 58 = 2*j - 172. Let c = j + t. Does 28 divide c?
False
Let n(x) = x**3 + 2*x**2 - 7*x - 6. Let a be n(-4). Let y(d) = -d**3 - 11*d**2 - 14*d - 10. Does 15 divide y(a)?
True
Is 11 a factor of (76/8 - -1)*2?
False
Let r(d) = 6*d - 3 - 5*d + 6*d - 4*d**2. Let t(s) = -9*s**2 + 14*s - 5. Let q(x) = 7*r(x) - 3*t(x). Does 3 divide q(4)?
True
Let i = 25 + -15. Let r = -9 + i. Suppose r = -4*g + 13. Does 2 divide g?
False
Let x = -66 + 99. Suppose 3*r - 40 + 151 = -3*q, 0 = -r + q - x. Let p = 59 + r. Is 12 a factor of p?
True
Let h(b) = b**2 - 4*b + 3. Let u be h(3). Suppose u = 2*g + 4*m - 10, m = 4*g - 3*g - 11. Is 5 a factor of g?
False
Suppose 0 = -z + 3*q + 35 + 28, 0 = 3*z - 4*q - 209. Suppose 0 = -p - 4*u + z, 7 + 1 = 2*u. Is 24 a factor of p?
False
Let v = -67 + 106. Is v a multiple of 18?
False
Is 30 a factor of (-90)/(-1)*(1 + 0)?
True
Suppose 0*b + b = -21. Let d = -7 - b. Is d a multiple of 4?
False
Suppose -4*p + 2*v - 19 = 15, 20 = -3*p - 4*v. Let b(h) = 5*h + 1. Let d be b(-7). Let l = p - d. Does 13 divide l?
True
Let t(w) = -w**3 + 6*w**2 - 6*w - 5. Let c(s) = -s**2 + 7*s - 5. Let h be c(5). Let b be t(h). Is (-54)/b + (-14)/35 a multiple of 2?
False
Suppose 4*l = 5*k + 11, -5*k - 7 + 4 = -2*l. Suppose 0 = 2*i - 2 - 4, 3*i = l*j - 139. Does 19 divide j?
False
Let p(s) = -30*s - 6. Is p(-2) a multiple of 27?
True
Let s(l) = l**2 - l + 1. Let a(t) = 5*t**3 - 4*t**2 + 6*t - 1. Let k(n) = -a(n) - 3*s(n). Is k(-2) a multiple of 24?
True
Let h = -93 - -144. Is h a multiple of 11?
False
Let f be 127/(-4) + 9/12. Let d = 56 + f. Is 7 a factor of d?
False
Suppose -3*o = -2*o - 25. Is o a multiple of 22?
False
Let x(c) = 5*c**2. Let v be x(-1). Suppose 0 = -6*h + h - 3*l + 105, -l = -v. Is h a multiple of 11?
False
Let m = 62 + -23. Suppose -3*u + m = j, -u + 49 = -5*j + 276. Does 15 divide j?
True
Is 8 a factor of 2/((-2)/(-49))*1?
False
Suppose -11 = 4*q - 4*j - 119, -3*q + 5*j = -79. Is 6 a factor of q?
False
Suppose -3*f - 3 = 0, 7*q - 2*f = 2*q + 442. Is 22 a factor of q?
True
Suppose -l = 0, m = -2*m + 5*l + 567. Is 41 a factor of m?
False
Let d(z) = z**3 - 6*z**2 + 5. Let b be d(6). Suppose -9*o + 16 = -b*o, f - 22 = -5*o. Suppose -f*i - 17 = -3*i. Is 7 a factor of i?
False
Suppose -4*q + a + 13 + 17 = 0, 3*q = -a + 26. Is q a multiple of 6?
False
Suppose -2*l = 4*o - 72, 0*o - 5*o = 3*l - 103. Is l a multiple of 6?
False
Let a = -4 + 4. Is a/(-3) - (-8 - -2) a multiple of 2?
True
Let g = 158 + -10. Does 21 divide g?
False
Suppose -5*g = -390 - 85. Let l = g + -67. Is 8 a factor of l?
False
Let a(m) = -4*m - 24. Is a(-11) a multiple of 4?
True
Suppose -2*q = 5*r + 6, 9 = 2*r - 4*r - 3*q. Suppose r = h - c - 69, 4*c - 354 = 4*h - 9*h. Is h a multiple of 12?
False
Let u = -4 + 4. Suppose 103 = -5*g - 2*k, u = 2*g - 2*k + 44 - 14. Let t = 3 - g. Is 11 a factor of t?
True
Let o = -1 - -6. Suppose -5*s + 21 = -g, 5*s + o = 4*g + 29. Let t = 8 - s. Is 2 a factor of t?
True
Let v(i) = -i + 6. Let q(u) = 2*u - 5. Suppose 0*x = 4*x + 3*n + 15, x + 4*n + 7 = 0. Let s(g) = x*q(g) - 2*v(g). Does 8 divide s(-3)?
False
Is 15 a factor of 20/110 - (-370)/22?
False
Let b be (-35)/(-21)*21*1. Let d = -3 + b. Is d a multiple of 8?
True
Let w(y) = -y**2 - 25*y + 2. Does 32 divide w(-18)?
True
Suppose 7*j - 6*j = 0. Suppose 150 = -j*l + 5*l. Is 30 a factor of l?
True
Suppose 0 = -4*d + 4*t - 20, 3*d + t + 8 = 1. Let p be (d - 12)*(-4)/10. Suppose -p*n + 3*n = -81. Is 11 a factor of n?
False
Suppose -2*r + 42 = -p, r = -4*r + 3*p + 105. Does 2 divide r?
False
Let p = 5 + 14. Suppose 5*y + 26 = 5*b - p, 3*b = -5*y - 5. Does 2 divide b?
False
Let i = 0 + 30. Let f = i - 19. Is f a multiple of 3?
False
Let x = -2 - -1. Let i = x + 4. Suppose t = -t + 6, -3*t = -i*s + 21. Is 5 a factor of s?
True
Suppose 0*w + 68 = 3*t - 2*w, 0 = -5*t + 4*w + 116. Let h = 9 + t. Is h a multiple of 10?
False
Suppose 0*q = -q + 7. Let g = 12 - q. Is 5 a factor of g?
True
Let z = 33 - 12. Does 4 divide z?
False
Let u = -16 - -40. Is 16 a factor of u/(2/((-12)/(-3)))?
True
Is 9 a factor of ((-3)/(-6))/((-6)/4)*-57?
False
Suppose -4*p - a + 169 = 0, -3*p - 4*a = -83 - 47. Let z be (-3)/(3 - (-9)/(-2)). Suppose z*f - p = f. Does 14 divide f?
True
Let x(c) = -c + 5. Let u be ((-4)/(-2) - 4)*-2. Let k be x(u). Let y(w) = 24*w. Does 12 divide y(k)?
True
Is 3 a factor of (3 - 2)/(6/72)?
True
Suppose 5*x - 22 = 28. Does 8 divide x + (1 - 1)/1?
False
Let z(s) be the second derivative of s**4/12 - s**3/2 + s**2 - s. Suppose 3*d = 0, -4*g + g + 4*d + 15 = 0. Is z(g) a multiple of 6?
True
Suppose 0 = -h - 5, 15 = -2*u + 7*u + 5*h. Let j = u - -32. Let y = -20 + j. Is y a multiple of 19?
False
Suppose 0 = 2*x - x - 22. Does 11 divide x?
True
Is 10 a factor of (-1)/(-4) + (-312)/(-32)?
True
Suppose -2160 = -2*w - 2*w. Suppose 4*s - w = -s. Suppose -3*l = -0*l - s. Is l a multiple of 14?
False
Does 4 divide (4/(-6))/(4/(-54))?
False
Let k = -14 - -2. Let z = k - -53. Is 12 a factor of z?
False
Suppose -3*w = -14 - 19. Suppose -b - w = -x, -x + 13 = 5*b - 4. Does 8 divide x?
False
Suppose 0 = -3*h - 4*z - 1, 0 = -4*h - z + 5*z + 8. Is (3 - 1 - 0) + h a multiple of 3?
True
Suppose -628 = -4*x + 5*n, 4*n = x + 5*n - 157. Let p = -82 + x. Is 12 a factor of p?
False
Let t = 13 - 21. Is 12/t - (-50)/4 a multiple of 11?
True
Suppose -7*t + 14*t - 1176 = 0. Is t a multiple of 21?
True
Let g(a) = a**3 - 3*a**2 - 2 + a + 0*a + a**2. Does 10 divide g(3)?
True
Let v = 3 - -1. Suppose -v*k + 3*u - 138 = -1, 2*u = k + 38. Is (-1 - -3 - k) + -2 a multiple of 16?
True
Is 7 a factor of (2 + 24/9)*3?
True
Let l be 5/(-1) + 2 + 3. Let b(h) = -h + 18. Is b(l) a multiple of 10?
False
Suppose 5 = -4*x + 21, -8 = -4*o - 4*x. Does 3 divide 1 - ((-8 - -2) + o)?
True
Let h = 5 + -2. Suppose 0 = -h*p + 4 + 11. Suppose 0 = -3*o - 0*o + 3*i + 9, -p*o - 4*i = -60. Does 4 divide o?
True
Suppose 2*y = s + 1, -4*s = 2*y + 3 - 19. Suppose -f = y - 0. Does 2 divide (f/3)/(1/(-3))?
True
Suppose 0 = 5*r - 217 + 52. Suppose -r + 11 = -s. Is s a multiple of 10?
False
Is -1 + 9/7 - 948/(-14) a multiple of 4?
True
Suppose -1 + 9 = 4*m. Suppose -9 = -2*a + 5*f, a + m*f - 21 = -f. Suppose v = 2*v - a. Is v a multiple of 6?
True
Let l = 6 + -15. Let i(b) = -9*b + 6. Is 29 a factor of i(l)?
True
Suppose -5*s + 95 = -4*i, -2*s + 5*i = 3*s - 100. Suppose -3*f = 5*g - f + 19, 0 = -5*f + s. Let n = g - -23. Is 9 a factor of n?
True
Let i = -357 - -545. Is i a multiple of 7?
False
Suppose -2*g + t + 8 = 0, -g + 5*t = 2*g - 12. Let f(m) = 4*m**2 + 4*m + 5. Let p be f(g). Let u = -59 + p. Is u a multiple of 13?
True
Is ((-40)/25)/(5/(-300)) a multiple of 12?
True
Is 18 a factor of 164/6*3/2?
False
Let j(b) = -2*b + 3. Does 6 divide j(-7)?
False
Suppose 5*g - 21 = k - 3*k, -g = -3*k + 6. Suppose -3*j - k*o + 6 = 0, -4*j + 9 + 2 = o. Is j a multiple of 2?
False
Suppose -2*m + 4 = -6. Is 5 a factor of m?
True
Le