 + 2. Does 14 divide q(v)?
False
Let d be 1 - (-2 - 1 - -1). Suppose 6*v - 103 = 2*v - d*q, v - 2*q - 34 = 0. Is 14 a factor of v?
True
Suppose 0 = -6*r + 1423 - 475. Is r a multiple of 33?
False
Let r(n) = 2*n**2 + 3*n + 5. Does 8 divide r(-5)?
True
Let j(u) = 3*u + 2. Let w be j(2). Suppose 0 = 4*p + 8, 2*n - 5*p + w = -2*p. Let o = 52 + n. Is 18 a factor of o?
False
Suppose 2*k - l = -2*l + 11, 3*l - 15 = -3*k. Suppose -q - 15 = -k*q. Does 3 divide q?
True
Let p be ((-16)/(-4))/(2 + 0). Suppose -p*z = -0*z - 58. Is z a multiple of 17?
False
Let k(y) = -y**3 - 9*y**2 - 12*y - 5. Let p be k(-8). Suppose -3*o = -p - 57. Does 14 divide o?
True
Let q = 2 + 1. Suppose q*b - 32 = -b. Let s(i) = -i**2 + 9*i + 3. Is 5 a factor of s(b)?
False
Suppose -7 = -y - 3*h, 4*h - 6 = -0*y - y. Is 4 a factor of y?
False
Is 2 a factor of (-5)/(-3)*12/4?
False
Suppose 0 = -5*w + 475 - 75. Does 16 divide w?
True
Let a(o) = 35*o**3 - 2*o**2 + 2*o - 1. Let j(f) = f - 5. Let s(v) = 1. Let l(q) = -j(q) + 4*s(q). Let y be l(8). Does 12 divide a(y)?
False
Let x = 3 - 1. Suppose 72 = -x*c + 4*c. Does 10 divide c?
False
Let d = -8 - -13. Suppose -5*m + 348 = 4*k, d*k = -m - m + 418. Does 22 divide k?
False
Let t(b) = 6*b**2 - b - 1. Let p be (-1)/((-14)/(-4) + -3). Is 13 a factor of t(p)?
False
Let u = 57 + -27. Does 3 divide u?
True
Let b(f) = 6*f - 12. Suppose -2*h = -2, 0 = 3*v + 4*h + h - 38. Does 18 divide b(v)?
True
Suppose -123 = -3*h - 4*x - 420, -2*h = -3*x + 181. Let w = -67 - h. Does 9 divide w?
False
Suppose a - 5 = 12. Let u = a + -12. Does 5 divide u?
True
Suppose -z = -2, -z = 3*d - 53 - 33. Is 8 a factor of d?
False
Let s = -71 - -77. Is s a multiple of 4?
False
Let j be (-2)/(-4)*(243 - 1). Suppose 3*f - 7*q = -2*q + 122, j = 3*f - 4*q. Suppose 3*s - f = -9. Is 5 a factor of s?
True
Let k = -62 - -207. Is 29 a factor of k?
True
Let a = -61 + 82. Is 7 a factor of a?
True
Suppose w + 9 = -6. Suppose 2*m = -0*m - 20. Let u = m - w. Is u a multiple of 5?
True
Let u(l) = -95*l - 5. Is u(-2) a multiple of 24?
False
Suppose 2*a - 11 - 1 = -4*t, -3*a + 4*t - 12 = 0. Let x = 4 - a. Suppose x*i - 125 = -m, 2*i - 57 = 5*m - 0. Is i a multiple of 14?
False
Suppose 3*p + o - 19 + 0 = 0, -27 = -4*p - 3*o. Is 3 a factor of p?
True
Let y = 5 - 3. Let a(t) = 0*t**3 + 2*t**3 - t**3 + 5*t**y - t + 1. Does 14 divide a(-4)?
False
Suppose 0 = -0*k - 5*k + 200. Does 10 divide k?
True
Let i(j) = 0 - j + 0. Is i(-8) a multiple of 4?
True
Suppose 5*i = 72 + 188. Does 10 divide i?
False
Suppose 3*y = 2*x + 15, 0 = -3*y - x - 3*x + 15. Let h(o) = -13*o + 5. Let l(g) = -6*g + 2. Let j(n) = 3*h(n) - 7*l(n). Is j(y) a multiple of 16?
True
Suppose 4*g + 21 = 7*i - 2*i, -i = -3*g - 2. Let n(v) = 3*v - 1. Is 14 a factor of n(i)?
True
Let i(b) = -4*b**3 + 2*b**2 - 1. Let t be i(-1). Suppose -3*p + p + 103 = t*l, l - 5 = 0. Is 13 a factor of p?
True
Let m be -1 + 1 + 1 - -5. Let j be ((-8)/m)/(4/(-6)). Suppose -j*v - a + 6 = -5, -2*v + 21 = -a. Is v a multiple of 3?
False
Suppose -4*r = -5*f - 12, -5*f + 5*r - 15 = -0*f. Suppose -y - 2*y + 33 = f. Is y a multiple of 11?
True
Suppose 5*a + 5*i - 10 = 30, 3*i = 5*a. Suppose 0 = -4*s - 0*s + a*j - 3, -4*s = 3*j - 27. Is 3 a factor of s?
True
Let y(p) = -61*p**3 + p**2 - 3*p - 2. Does 7 divide y(-1)?
True
Suppose 0 = 5*j - 4*s - 7, 4*j - 5*s - 2 = -0. Let l = j + 2. Is (-8)/20 + 27/l a multiple of 2?
False
Let s(j) = -3*j**3 - 2*j**2 - j. Let a be s(-1). Suppose 5*m = 4*f + 9, -a*f + 4*f + 3*m = 23. Suppose -g + f = -10. Does 9 divide g?
False
Let k = 56 + -99. Let a = k + 101. Is a a multiple of 18?
False
Is -4 - 12*9/(-3) a multiple of 13?
False
Let v = 18 + -16. Suppose -5*t + 3*t = v*b - 68, -136 = -4*t - 3*b. Is 17 a factor of t?
True
Suppose 0 = -b + 2*u + 278, -5*u - 557 = -8*b + 6*b. Does 21 divide b?
False
Suppose w + 4*o = 5*o + 15, -4*w = -5*o - 63. Suppose 0 = -8*a + 3*a. Suppose u - 60 + w = a. Is 19 a factor of u?
False
Suppose 2*p + 2*l = -14, 20 = -5*l + l. Let q = p - -22. Is q a multiple of 11?
False
Let k(n) be the second derivative of -1/20*n**5 - 2*n**2 - 1/2*n**3 + 1/2*n**4 + 0 - n. Does 9 divide k(4)?
False
Does 7 divide ((-6)/(-9))/((-4)/(-126))?
True
Let d be 22/(-2 + -1 + 4). Let m = -9 + d. Is 11 a factor of m?
False
Let c = 161 - 108. Let b = 109 - c. Is b a multiple of 19?
False
Let v be (-298)/(-6) - (-14)/(-21). Suppose 0 = 4*r + 8, -5*r = u + 6 - v. Does 14 divide u?
False
Suppose 7*c + 121 = 471. Is c a multiple of 5?
True
Let p be (-12)/(-15)*(-75)/(-6). Let x(q) = q. Does 5 divide x(p)?
True
Suppose l = -0*l + 3*m + 214, 0 = l + m - 194. Is l a multiple of 36?
False
Let p be 0 - -6*(-4)/6. Let a(k) = -k + 1. Let i(j) = j**2 + 15*j - 3. Let h(r) = -6*a(r) - i(r). Does 17 divide h(p)?
True
Suppose 0 = -3*r - 2*n - 30, r - 3*n = n - 10. Let q be ((-16)/r)/((-2)/(-10)). Suppose p = 3 + q. Is p a multiple of 7?
False
Let m(p) = p**3 - 6*p**2 + p + 13. Is 6 a factor of m(6)?
False
Suppose -4 = -t - 0*t. Suppose -2*a - 57 - 191 = -4*p, t*p = -a + 236. Suppose -3*k + p = 2*o, 4*k - 78 = -2*o - 0*o. Is 11 a factor of k?
False
Suppose -2*p = q - 8, 3*p = -0*q + 3*q + 12. Suppose 142 + 50 = p*w. Does 24 divide w?
True
Let q be (-4)/14 + (-1810)/35. Let d = 94 + q. Does 11 divide d?
False
Let m(g) = -2*g**2 + 4. Let d be m(3). Does 7 divide (3 + -1)/((-4)/d)?
True
Let h be (-2)/4*(-3 + 3). Suppose 3*o + 0*o - 72 = h. Is 12 a factor of o?
True
Let c(y) = 7*y**2 - y - 4. Does 26 divide c(-2)?
True
Let j(a) = -a**2 - 10*a - 11. Let c be j(-9). Let h be (-14)/c + 14/(-7). Suppose -4*w - h*o = w - 150, 3*w = 3*o + 84. Is w a multiple of 9?
False
Let n = 11 + -7. Suppose 5*q + 3*l - 29 = 5*l, -3*l = -n*q + 26. Suppose 5*r - q*o = 185, 0 = -4*r + 8*r - 2*o - 142. Does 16 divide r?
False
Let t be (0 - 3)*(-4)/12. Let u(v) = 25*v - 1. Does 5 divide u(t)?
False
Let p = 93 - 29. Is 16 a factor of p?
True
Suppose -f = -4*o + f + 68, 20 = 5*f. Let t = 16 - -27. Let h = t - o. Does 12 divide h?
True
Suppose 4 = r + 1. Let v be (2/r*-3)/1. Let w = v + 9. Does 6 divide w?
False
Suppose -d + 1 - 2 = 0. Let a = d + 6. Is a even?
False
Suppose -4*r = -4*x - 0*x + 24, -5*x = -3*r - 40. Is 4 a factor of x?
False
Suppose 0 = -3*n + 98 + 49. Does 7 divide n?
True
Let n(o) = -o**2 + 31*o - 44. Is n(19) a multiple of 43?
False
Suppose -2*v + 10*v = 320. Does 20 divide v?
True
Suppose 0*f = 3*f + 9. Let m be (0 + 0 - f)*-1. Is 18 a factor of 47 + 2 + 9/m?
False
Let d = 243 + -98. Is 26 a factor of d?
False
Let j(r) = -5*r + 1. Let v be j(-1). Suppose -1 = p - v. Suppose -3*l + p*l = 52. Is 13 a factor of l?
True
Suppose -7 - 7 = 3*n + 2*w, 7 = -n - 3*w. Let i(o) = o**2 - 5*o. Does 9 divide i(n)?
True
Suppose 4*v + 2*n - 184 = 0, 2*n - 5*n = 0. Is v a multiple of 23?
True
Let r = -9 + 16. Suppose -r = -c + 1. Is 3 a factor of c?
False
Let m be (-1 - 9/(-6))*0. Suppose 2*w + 4 = 0, 2*y + w - 63 = -3*y. Let j = m + y. Is j a multiple of 13?
True
Let q be 68/2 + (-3)/1. Let t = q - 61. Let r = 44 + t. Is r a multiple of 7?
True
Suppose -10 = 2*m, 5*m + 28 = 4*r + m. Let b = 3 - r. Let v = 13 - b. Is v a multiple of 12?
True
Suppose -4*g - 24 = -6*g. Is g a multiple of 12?
True
Suppose 2*f - 27 = 25. Is 13 a factor of f?
True
Let a = 9 + -5. Suppose -c - 9 = -a*p, -2*c = -3*c + p. Suppose j + 3*j + d = 55, 0 = 2*j - c*d - 45. Does 9 divide j?
False
Suppose s - 6*s = 0. Let i(x) = x**3 + 4. Let d be i(s). Suppose -3*g + 4*k = -64, 0 = -3*g - 3*k + d*k + 52. Is g a multiple of 16?
True
Suppose -7*t + 4*t + 12 = 0. Suppose t*r + h - 14 = 0, r - 3*r + 4*h + 16 = 0. Is 2 a factor of r?
True
Does 4 divide (4 - 20/25)*25?
True
Suppose -126 = 4*a - 394. Is 9 a factor of a?
False
Let u(p) = -p**2 + 3*p - 4. Let a(j) = j**2 - 4*j + 5. Let x(h) = -3*a(h) - 4*u(h). Let i be x(-1). Suppose 4 = i*m - 28. Does 8 divide m?
True
Let v = 22 - 16. Suppose b + 90 = v*b. Is 9 a factor of b?
True
Suppose 3*r + 1 = -2. Does 15 divide ((-29)/1 + r)*-1?
True
Let x be 2/(-12) + 657/54. Let b = -35 + 63. Let f = b - x. Does 16 divide f?
True
Suppose -21 = -g - 5. Is 9 a factor of g?
False
Suppose 0 = -3*x - 3*h + 756, 3*x - 3*h + 267 = 1023. Does 21 divide x?
True
Let d = -9 - -13. Suppose 0*g - 24 = d*g. Is 12 a factor of (g - -4) + (-2 - -16)?
True
Suppose 0 = -5*p + 914