 12 a factor of v?
True
Suppose 3*d = -3*m + 9, 1 - 7 = -2*d - 5*m. Let u(n) = d*n + 28*n**3 - 1 - n**2 - n - n. Does 14 divide u(1)?
False
Let c be (-1*(2 - 3))/(-1). Let b be ((-27)/12)/(2/(-8)). Let l = c + b. Is l a multiple of 5?
False
Let y = 4 + -1. Suppose -a - 3*x - y = 2*x, -x - 9 = -a. Does 7 divide a?
True
Let c(w) = -39*w - 42. Is c(-6) a multiple of 16?
True
Let q(x) = -x + 7. Let p be q(11). Let n = p + 9. Is n a multiple of 2?
False
Suppose 4*b = -4 - 0, 2*b = -j + 43. Is 8 a factor of j?
False
Let k(m) = m + 4*m - 2*m - 1. Let f be 54/15 - (-10)/25. Does 5 divide k(f)?
False
Let p = -10 - -170. Is 16 a factor of p?
True
Let i = -112 - -165. Is 12 a factor of i?
False
Let k(w) be the first derivative of -w**3/3 - w**2/2 + 20*w - 3. Is k(0) a multiple of 6?
False
Suppose 0*x - 5*c = 5*x - 10, -3*x - 4*c = -2. Is x even?
True
Suppose 0 = -9*i + 106 + 101. Is 12 a factor of i?
False
Let x be (2/(-4))/((-3)/12). Does 6 divide 13 - (x + -1 + 0)?
True
Let a(z) = z**3 - 2*z**2 + 3*z + 414. Is 39 a factor of a(0)?
False
Let j be 1 - -2 - 1*-22. Suppose 2*k + 4*h = -2*k + 84, -5*h + j = 0. Is k a multiple of 16?
True
Let a(g) = g**2 - g - 6. Let p be a(-5). Does 19 divide ((-114)/p)/(1/(-4))?
True
Suppose 5 = 4*v - 23. Does 7 divide v?
True
Is (-23)/(8/(-44) + 3/(-165)) a multiple of 9?
False
Suppose -245 = -9*v + 4*v. Suppose 4*a - v = 67. Is a a multiple of 15?
False
Let c = -16 + 84. Is 34 a factor of c?
True
Let g = -72 - -29. Let d = g - -61. Is 18 a factor of d?
True
Let s = 75 + -37. Is s a multiple of 19?
True
Let s(f) = f**3 + f**2 + f - 1. Let m(g) = 4*g**3 + 10*g**2 + 7*g - 6. Let n(i) = m(i) - 3*s(i). Does 9 divide n(-6)?
True
Let g(r) = 18*r**2 - 4*r - 3. Is 5 a factor of g(-1)?
False
Suppose 0*j = 5*j - 90. Is j a multiple of 5?
False
Suppose -4*i + i + 54 = 2*v, 5*v = -3*i + 54. Does 9 divide i?
True
Let n = 20 - 0. Suppose -n = -2*v - 2*v. Suppose 3*f - 13 = 3*m + v, -f - 6 = 3*m. Does 3 divide f?
True
Let t(u) = -14*u + 2. Let q be t(-4). Let s = q + -41. Is s a multiple of 12?
False
Suppose 51 = 5*f - 2*g, 4*g = -2*f - 2*f + 24. Let c = 9 + f. Does 6 divide c?
True
Suppose -3*b = -b - 4. Suppose v = -5*l + 59, -3*l + 11 = b*v - 72. Is 8 a factor of v?
False
Let m = 201 - 144. Is 2 a factor of m?
False
Let d = 4 + 8. Suppose 2*p = p + d. Is 12 a factor of p?
True
Let i be ((-3)/6)/(1/(-14)). Is 20 a factor of 278/i - (-2)/7?
True
Let o = 86 + 19. Is 21 a factor of o?
True
Suppose 8*p = -100 + 412. Is p a multiple of 39?
True
Let z(h) = 0*h + 5*h - 6*h - 4*h - 1. Suppose -2*n - 5*k - 11 = 0, 2*n = 4*n - 4*k + 2. Is 13 a factor of z(n)?
False
Let m be 4 + (-2 - (2 - 2)). Suppose 5 = -m*r + 19. Is 3 a factor of r?
False
Suppose 3*k - 6 - 6 = 0. Is 5 a factor of -1*14*(-2)/k?
False
Suppose t - 4*d = -0*t + 38, 141 = 3*t - 3*d. Is t a multiple of 9?
False
Suppose -2*x + 2*c - 6 = 0, 6 = 3*x + 3*c - 9. Let t(n) = n**2 + 0*n**2 + n**3 + 14*n**3. Does 11 divide t(x)?
False
Suppose 4*o - 32 = -8. Suppose -2*p = -3*u - 0*u + o, -3*p + 9 = 0. Suppose 45 = u*t + 13. Is t a multiple of 8?
True
Suppose 0 = -3*p + 5*l - 10 - 13, -2*l = p - 7. Let w(s) = s**2 + s + 1. Let t(g) = 3*g**2 + 2*g + 2. Let f(y) = p*t(y) + 6*w(y). Does 18 divide f(-5)?
False
Let b = 225 + -174. Is b a multiple of 11?
False
Let o(a) = 3*a**2 + 3*a + 16. Is 8 a factor of o(-4)?
False
Let i(p) = -p**2 + 4*p - 4. Let b be i(5). Let w(x) = x - 4*x - 6 - x - x. Does 10 divide w(b)?
False
Let k(d) = d**3 - d**2 - 4*d - 4. Suppose 2*b - 5 = -4*i + 7, -3*i - b + 10 = 0. Let u be k(i). Let q = u + -20. Does 8 divide q?
True
Is (25/4)/(8/32) a multiple of 3?
False
Suppose 0 = -2*x - v + 31, 27 = 4*x - 2*v - 31. Is 15 a factor of x?
True
Let p = 637 - 357. Is 20 a factor of p?
True
Let r(y) be the first derivative of y**3/3 - 3*y**2/2 - 7*y + 1. Let s(m) = m**2 - m - 14. Let u be s(5). Is r(u) a multiple of 11?
True
Let l(t) = t**3 + 4*t**2 - 7*t + 4. Let b be l(-5). Is 1/2*b*1 a multiple of 7?
True
Suppose 0*p - p = -4*y + 6, -2*y + 4*p = 4. Suppose 0*j + j - 17 = 3*d, y*j = d + 14. Is 6 a factor of (-160)/(-25) + 3/j?
False
Let n(j) = 2*j**2 - 4*j - 1. Let s be n(3). Suppose -z + u = -17, -61 = -s*z - 4*u + u. Is (6 + -2)*z/4 a multiple of 14?
True
Let v(f) = 5*f**2 + 2*f + 1. Let n be v(-1). Is (-35)/(-2) - (-2)/n a multiple of 9?
True
Suppose j + 25 = 5*j - i, 5*j - 20 = 5*i. Let y = j - 3. Suppose 0*a - 108 = -y*a. Is 12 a factor of a?
False
Let o be 20/3*(-24)/20. Let i = -6 - o. Is 6 - (0 + i + -2) a multiple of 3?
True
Let a(h) = -h**2 - 13*h - 28. Is 6 a factor of a(-8)?
True
Let f = -23 + 80. Is f a multiple of 3?
True
Suppose 0*o + 5*o = 45. Is 3 a factor of o?
True
Let d(v) = v**3 - 3*v**2 - 3*v - 1. Let g be d(4). Is (29 - 0)*(4 - g) a multiple of 14?
False
Let m = 42 - 26. Does 6 divide m?
False
Let g be 10 - 4 - (0 - 0). Let v(m) = -10*m. Let j be v(-3). Let k = j - g. Does 12 divide k?
True
Let j(r) = 2*r**2 - r - 2. Let d be j(2). Suppose 3*u - 17 - 4 = -d*a, u + 5*a + 4 = 0. Is u a multiple of 5?
False
Let q = 43 + -18. Let z = q + -8. Suppose z = l - 3. Is 8 a factor of l?
False
Suppose -11*j + 1105 = -6*j. Is j a multiple of 19?
False
Suppose -3*f = 3*z + 3, -5*z = -4*f + 14 + 18. Let o be 7*5/((-70)/z). Suppose o*k = 4*k - 16. Is 4 a factor of k?
True
Suppose -3*l + 6*s - 3*s = 3, 3*s + 5 = 5*l. Is 12 a factor of 50/l + 3/(-6)?
True
Suppose -k - 4*c + 12 = 0, 0*c + 4*c = 4. Let o = 5 + k. Is 5 a factor of o?
False
Is 15 a factor of 1089/24 - 33/88?
True
Let s = -13 - -18. Suppose -3*r - 3*f = -5*r + 49, s*r - 134 = -4*f. Does 19 divide r?
False
Let f(x) = x**3 - 9*x**2 - 17*x + 6. Does 13 divide f(11)?
False
Is 22 a factor of (33/(-9))/(3/(-108))?
True
Let b = -122 + 218. Does 24 divide b?
True
Let q(f) = 7*f**3 - 7*f**2 - 3*f + 7. Is q(3) a multiple of 9?
False
Suppose 212 = 3*b + b - 4*k, 9 = -3*k. Suppose -3*j = -158 + b. Is j a multiple of 9?
True
Is 18 a factor of 177 - (-10)/(-15)*-3?
False
Let j be 31/11 + (-2)/(-11). Suppose -j*y + 89 = 23. Does 22 divide y?
True
Let r(v) = v**2 - v + 1. Let d(x) = -5*x**2 + 9*x - 10. Let y(u) = -d(u) - 4*r(u). Does 12 divide y(6)?
True
Let n(m) = -m**3 - 6*m**2 + 8*m + 10. Let s be n(-7). Suppose u + 0*u = 2*b - 32, 48 = 3*b - s*u. Is 16 a factor of b?
True
Suppose -962 = -2*y + 4*i, y - 2*i = -2*y + 1439. Is y a multiple of 40?
False
Let k(v) = v**3 + 3*v**2 - 5*v. Let c be k(-4). Let j be (6/4)/(2/4). Suppose 3*p + 1 = 4*x, x - p - j + c = 0. Is x a multiple of 4?
True
Suppose 0*f + 5*c = -f + 1, -4*f + 2*c = -114. Does 13 divide f?
True
Suppose 2*i + 2*v = 7*i - 377, v = -4*i + 312. Is i a multiple of 11?
True
Is 16 a factor of ((-6)/12)/((-1)/(-2))*-70?
False
Let o = 184 + -101. Is o a multiple of 17?
False
Suppose 4*w - 12 = -6*v + 2*v, 4*v = -w + 12. Suppose 0 = -4*h - w*h + 144. Is 9 a factor of h?
True
Suppose f + 9 = 4*f. Suppose -7*i = -f*i - 104. Is i a multiple of 13?
True
Let l(j) = 14*j - 12. Let b be l(8). Suppose w + b = 5*w. Is w a multiple of 9?
False
Suppose -2*p - 1 = -5*d - 35, -p = 3*d + 16. Let b(v) = -7*v - 15. Is b(d) a multiple of 27?
True
Suppose 3*a = 5*a - 96. Is a a multiple of 12?
True
Let q be (1/(-2))/(1/(-44)). Let x be 8/(-3) - 10/(-15). Is q/(-4)*-6 + x a multiple of 12?
False
Suppose -2*m + 2 + 6 = 0. Let c be (-1 - -3)/(m/10). Suppose y - c*u - 2 = 0, 2*y = -y + 3*u + 42. Is y a multiple of 17?
True
Let m(s) = -3*s**3 - 5*s**2 + 9*s + 13. Let t(v) = v**3 + 2*v**2 - 4*v - 6. Let c(g) = -2*m(g) - 5*t(g). Is c(4) a multiple of 19?
True
Is 38 a factor of (-22)/121 + 2864/22?
False
Suppose 0 = 3*m + 2*m - 120. Does 8 divide m?
True
Suppose -4*g - 60 = -y, -3*g = -6*g - 2*y - 45. Let c be ((-3)/(-6))/((-2)/124). Let d = g - c. Does 8 divide d?
True
Let d = 85 + -61. Is 8 a factor of d?
True
Suppose 0 = -4*k + 3*k + 21. Is k a multiple of 5?
False
Let u(a) = 6*a - 18. Let b(f) = -2*f + 6. Let p(l) = 16*b(l) + 5*u(l). Is p(-9) a multiple of 10?
False
Let o(j) = -j**2 + 3*j + 6. Let d be o(5). Let f = -1 - d. Suppose 0 = f*s - 69 - 33. Does 18 divide s?
False
Let s = 35 + -19. Is 16 a factor of s?
True
Suppose -15 = -6*c + c. Suppose -2*m - 5 = l - 55, -c*m + 15 = 0. Does 18 divide l?
False
Suppose -457 = -10*w + 583. Does 14 divide w?
False
Let s be 7/((-21)/(-8))*6. Is 13 