factor of y?
True
Suppose 0 = 4*t - 1 - 15. Let b(f) = -f**3 + 5*f**2 - 3*f. Let q be b(t). Suppose 5*p + 3*n - 72 = 0, p = -4*p + q*n + 79. Does 15 divide p?
True
Let l(c) = c**2 - c + 1. Is 5 a factor of l(5)?
False
Suppose v = -4*v - 5. Let x = v + 35. Is 12 a factor of x?
False
Let u(g) = -g**3 + g**2 + g - 1. Let n be u(1). Suppose 157 = 5*d - 4*j, -5*j = -4*d - n*j + 122. Is 11 a factor of d?
True
Suppose 2*y - 2 + 1 = k, -4*k = y - 5. Is 33 - (-3 + y) - -3 a multiple of 18?
False
Is 45 + (4 - 0/3) a multiple of 35?
False
Is 7 a factor of 45/60 - (338/(-8) + 1)?
True
Let p(t) be the second derivative of -1/6*t**3 + t + 1/12*t**4 + 8*t**2 + 0 - 1/20*t**5. Is 9 a factor of p(0)?
False
Let p be (-6)/(-2)*4/6. Let o be (1/p)/((-2)/(-160)). Suppose 0 = -0*y + 4*y - o. Is y a multiple of 4?
False
Let f(t) = -6 + 0*t**2 - t - 2*t - t**3 - 5*t**2. Let r be f(-5). Suppose -i + 5 = 0, 0 = 3*j - r*i + 4*i - 53. Is 13 a factor of j?
True
Let z be 0 + 0 + (203 - -2). Let u = z - 140. Is 23 a factor of u?
False
Suppose 3*o + 14 = 5*j, 3*j = -2*j - 5*o + 30. Let u = 2 - 2. Suppose u*g = j*g - 44. Does 11 divide g?
True
Let y(u) = -32*u**3 + u**2 - 2*u - 2. Let o(x) = -x**3 - x**2 + x + 1. Suppose 2*c - 1 - 1 = 0. Let p(s) = c*y(s) + o(s). Is p(-1) a multiple of 10?
False
Let x be (529 + -4)/((-1)/(-1)). Does 18 divide (-4)/5*x/(-10)?
False
Suppose -175 = -0*u - 7*u. Does 25 divide u?
True
Let s be 15*((-76)/3)/(-4). Suppose -5*v - s = -480. Suppose -3*b = q - 24, 3*b + 115 + v = 5*q. Is q a multiple of 18?
True
Let z = 547 + -358. Is z a multiple of 9?
True
Suppose 5*t + 205 = z, -z + 1155 = 4*z + t. Does 46 divide z?
True
Let p = -7 + 18. Let k = p + -1. Is (k/4)/(-1)*-4 a multiple of 4?
False
Let w(j) = -j**3 + 9*j**2 - 2*j + 4. Let q(p) = 5*p**3 - 37*p**2 + 7*p - 17. Let a(m) = 2*q(m) + 9*w(m). Suppose -8 = 3*c + 10. Is 22 a factor of a(c)?
False
Suppose 5*h + 0*h = 780. Is h a multiple of 6?
True
Let u(p) = p**3 + 5*p**2 + p - 3. Let m be -1 - (-2)/(-2) - 1. Is u(m) a multiple of 5?
False
Let h be -60*((-36)/15 - -2). Suppose 4*n + h = 4*a - 4, 2*n = a - 10. Suppose 5*x + 12 = a*f + 37, 0 = 5*x - 5*f - 25. Does 2 divide x?
False
Let q(o) = o**2 + 9*o + 5*o - 20*o + 2. Is q(7) a multiple of 5?
False
Let q = -36 + 89. Suppose 50 = f - q. Is f a multiple of 26?
False
Let a(h) = -h. Let b be a(-2). Suppose 3*l - 8 = -b. Suppose 0 = l*q - 11 - 25. Is q a multiple of 6?
True
Let o(t) = t**2 - 6*t + 5. Let k be o(4). Let u = k - -3. Suppose h - 3*h + 56 = s, u = -s - 2. Is h a multiple of 24?
False
Let g = 5 + -9. Suppose -3*m - 5*v + 5 = 0, -5*m + 2*v - 3*v = -45. Let i = m - g. Is 7 a factor of i?
True
Let g be -2 + 0 + (1 - -1). Suppose 6*a - a - 20 = g. Does 3 divide a?
False
Suppose 7 = 5*w - 3*j, w + 3*w - 4 = 2*j. Let h = w + 4. Suppose 2*y + h*y - 110 = 0. Is y a multiple of 12?
False
Let a = -38 - -59. Let r = 37 - a. Is r a multiple of 11?
False
Suppose 98 = 3*j - v, 0 = 4*v - 2 - 2. Suppose -j = 5*c - 108. Is 3 a factor of c?
True
Suppose -h + 2*h - 189 = 0. Is h a multiple of 27?
True
Let f(b) = b**3 - 8*b**2 - 2*b. Let m be f(10). Suppose 5*a - m - 62 = -3*i, -3*a - 5*i + 142 = 0. Is a a multiple of 14?
False
Let z = 321 + -171. Suppose h - z = 6*h. Does 5 divide -1*2*h/12?
True
Does 17 divide -5 + 8 + 2 + 29?
True
Let d = 0 - -21. Does 16 divide d?
False
Suppose 5*d = 52 + 53. Is d a multiple of 7?
True
Suppose 0 = -4*c - 0 - 16. Is (42/15)/(c/(-10)) even?
False
Suppose -5*k - 6 = -3*i + i, -3*k = 4*i - 12. Suppose 5*v - v - 276 = k. Is 14 a factor of v?
False
Suppose -1 = q - 3. Suppose -l - 1 = 0, -q*f + 6 = -2*l + 4*l. Let g = 6 - f. Does 2 divide g?
True
Suppose -270 = 3*h + 2*h. Does 9 divide (-608)/(-18) - 12/h?
False
Let h(k) = -k**2 - 2*k - 1. Let v be h(-3). Is 13 a factor of 39*v/(-3 + -1)?
True
Suppose -12 = 5*z - 3*z. Is 11 a factor of ((-39)/6 - -1)*z?
True
Let m = -17 - -13. Does 2 divide 8/m - (-18)/3?
True
Suppose 5*x = 33 + 12. Is x a multiple of 9?
True
Suppose -10*h + 42 = -9*h. Does 31 divide h?
False
Let b = -2 + 5. Suppose -b*j - 2*j = -30. Suppose 120 = j*l - 4*l. Is 16 a factor of l?
False
Suppose -m = 7*s - 3*s - 73, 2*s - 14 = 4*m. Does 5 divide s?
False
Let q = 27 - 12. Is q a multiple of 5?
True
Suppose -c - 4 = 3*o, c - o = 4*o + 36. Is 6 a factor of c?
False
Let l be 2/6 + 140/12. Does 11 divide (-2)/(-3) - (-256)/l?
True
Let g(t) = 9*t - 20. Is 26 a factor of g(8)?
True
Suppose 0 = -p - 4 + 5. Is (67 - p) + 2/(-2) a multiple of 18?
False
Suppose -4*p - t + 87 = -p, -4*p - 3*t = -111. Suppose -12 = f - 3*g - 2, -p = -4*f - 2*g. Is f a multiple of 4?
False
Suppose 0 = -5*v - q + 29, 27 = 2*v + 5*q - 3. Let f be (v/4)/((-1)/4). Let s(y) = y**2 + y - 2. Is 6 a factor of s(f)?
True
Let z = -1 + -1. Is 3 a factor of z*4/(-8)*3?
True
Let j(l) = l**2 + 3*l + 3. Is 18 a factor of j(-8)?
False
Let w be (-1)/4 + (-85)/(-20). Suppose w = u - 2. Does 4 divide u?
False
Suppose -3*k - 475 = -8*k. Let r = 44 - k. Is 8 a factor of r*(-1 - 2/(-3))?
False
Suppose 3*n - 12 + 0 = 0. Suppose -n*r = -u + 28, -5*u + 6*r + 68 = 4*r. Is u a multiple of 5?
False
Suppose -4 = -g - 1. Is 3 a factor of 0/g + 11 - -2?
False
Suppose -x - 5 = -4*n, 2*x - 2 = -4*n - 0. Let h be -5*(-1 + n - 1). Suppose h*u - 122 = -32. Is u a multiple of 18?
True
Suppose -688 = -4*v - 2*i, -4*v + 145 + 545 = i. Is 37 a factor of v?
False
Let d(a) = a - 4. Let m be d(7). Suppose 0*l + m*l = 24. Let b = l + 6. Is b a multiple of 5?
False
Suppose 64 = -5*y + 224. Let z = y - 19. Is z a multiple of 5?
False
Let m(o) = o + 10. Let t be m(-6). Suppose -t*z - 4*u = -5*u - 32, z - u - 5 = 0. Is z a multiple of 3?
True
Suppose v - 3*v + r + 20 = 0, -4*r = 5*v - 37. Is v a multiple of 7?
False
Suppose 3*o = 87 + 3. Is o a multiple of 6?
True
Let b = 18 - 11. Is (b/(-14))/(2/(-56)) a multiple of 8?
False
Let n = 4 + -8. Is (-73)/n + (-2)/8 a multiple of 14?
False
Let f(i) = 22*i + 17. Is 19 a factor of f(7)?
True
Let x(s) = -s**3 - 2*s**2 - 4*s - 11. Does 14 divide x(-6)?
False
Let s = 394 - 268. Is s a multiple of 18?
True
Let r(u) be the third derivative of u**4/24 + 6*u**3 + u**2. Suppose -m + 6 = 2*s - 4*s, 3*s = m - 9. Is 19 a factor of r(m)?
False
Suppose 8*r + 12 = 5*r. Let y(u) = -u**3 - 3*u**2 + 4*u + 5. Let z be y(r). Suppose 0 = 3*a - z - 19. Is 4 a factor of a?
True
Let d = 1 - 0. Let q(c) = 4*c**2 - c + 1. Does 3 divide q(d)?
False
Suppose 0 = -2*h - h - 75. Let a = h - -34. Does 6 divide a?
False
Let s(j) = 0*j**2 - j**2 + 3*j**2 + 8*j + 0*j**2. Suppose -4*r + 3*q + 33 = -9*r, -4*q = r + 10. Is 12 a factor of s(r)?
True
Let j be (-30)/(-3)*2/(-4). Let f(g) = -1. Let d(h) = -3*h**2 - 6*h - 6. Let u(i) = -d(i) + 2*f(i). Does 19 divide u(j)?
False
Let u be 2*1*(-6)/(-4). Suppose 0 = -u*o + 7*o - 24. Is 4 a factor of o?
False
Let i(o) = 3*o + 2. Let s be i(2). Suppose -w - 4*w = 0. Suppose -s = r + r + 4*a, w = -3*r - 4*a - 2. Is r a multiple of 3?
True
Let a = 57 - -65. Suppose 5*r + a + 8 = 5*m, 94 = 4*m - 2*r. Is 7 a factor of m?
True
Let f be 39 + 3/9*0. Suppose -3*o = -0*o - f. Let i = 0 + o. Is i a multiple of 4?
False
Let i(z) = 2*z**2 + 3*z + 1. Let f be i(-2). Suppose -3*l = -15, f*l = 2*u - 0*u - 89. Is u a multiple of 15?
False
Let f = -17 - -19. Suppose -f*g = g - 195. Does 18 divide g?
False
Let f(q) = -5 + 0 - 3 + 2 + 13*q. Does 16 divide f(4)?
False
Let t(x) = -x**3 + 4*x**2 + 6*x - 5. Let h be t(5). Is h/2 + -2 + 26 a multiple of 15?
False
Let t be (-1 + 0)*0 - -108. Let d = -73 + t. Suppose -2*n = -d + 15. Does 6 divide n?
False
Suppose -3*p + 0*i + 2*i = -202, -p + 59 = i. Is 8 a factor of p?
True
Suppose 3*g + 3*w - 330 = 0, 2*g - 2*w - 305 = -g. Suppose -3*m - 3*b + g = 0, 3*m - 2*m + 5*b - 23 = 0. Does 15 divide m?
False
Let k(f) = 3*f**2 - 2*f + 1. Let o be k(-2). Let q = 27 - o. Does 5 divide q?
True
Let j = -30 - -18. Let l = 33 + j. Is l a multiple of 21?
True
Let q be 0 - (2/2 - 1). Suppose 3*n + n + 16 = q, 3*n + 12 = -5*d. Suppose d = -u + 4 + 3. Is u a multiple of 3?
False
Let z be (1 - 0)*(5 - 4). Let s be (z + 10 - 0)*1. Let q = s + -4. Is q a multiple of 6?
False
Let z(f) = -f**3 + 14*f**2 - 9*f - 6. Does 12 divide z(13)?
False
Suppose t = 4*t + 48. Let y = t - -29. Is 3 a factor of y?
False
Suppose 5*z - 107 = 148. Suppose 0