 - -4. Is g a multiple of 3?
True
Suppose -5*d = i - 278, 4*d + 5*i - 241 + 27 = 0. Is 8 a factor of d?
True
Let t(f) = -26*f**3 + f. Let d be t(1). Let z be (-2510)/d - 2/5. Suppose -i = 4*i - z. Is 7 a factor of i?
False
Let z be -4*1*285/(-30). Suppose p - 3*p + z = 0. Is 9 a factor of p?
False
Let m = -21 + 41. Suppose -2*i = -4*y + 22, -1 = 3*y - i - m. Is 4 a factor of y?
True
Let h be (-3 - -4)/(2/8). Let z = h + -13. Let j = z - -15. Is 3 a factor of j?
True
Is 5 a factor of ((-48)/(-10))/(0 + (-21)/(-140))?
False
Suppose 3*q - 6 = -0*q. Let g(x) = -q - 3*x + 3 + 3. Does 13 divide g(-5)?
False
Let m = 173 - 116. Let i = m - 33. Let s = -17 + i. Is s a multiple of 7?
True
Let m(r) = r**3 - 6*r**2 - 6*r - 5. Let d be m(7). Let w be -10*(3 - d)*-14. Suppose 0 = 2*p + 3*p - w. Is 14 a factor of p?
True
Let l(b) = -b**2 + 11*b - 1. Let p be l(9). Let d = 38 - p. Is d a multiple of 6?
False
Suppose 2*h - 142 = -5*s, -s - h + 46 = -5*h. Is 10 a factor of s?
True
Let h = 79 + -55. Let v be 4/(-14) - (-267)/(-21). Let g = h + v. Does 3 divide g?
False
Let y(h) = -h**3 - 4*h**2 - h + 4. Does 8 divide y(-4)?
True
Does 2 divide (0 + -4)/(-4)*7?
False
Let y(q) = -2*q + 14. Does 8 divide y(3)?
True
Let i = -8 - -50. Let q = i - 2. Is 10 a factor of q?
True
Suppose 4 + 0 = 2*c. Suppose 5*f + 100 = 5*q, 0 = 5*q - c*f - 113 + 25. Is 6 a factor of q?
False
Suppose 4*t = -4*u - 64, 6*t = 4*u + 2*t + 48. Let i = u + 66. Is i a multiple of 26?
True
Suppose 0 = -v - 3*r - 14 + 60, -2*v + 2*r = -60. Is 17 a factor of v?
True
Let o be (-30)/18 + 2/3. Does 29 divide o + (-1)/((-3)/90)?
True
Suppose -115 = -3*x + y + 3*y, -4*y + 50 = 2*x. Let a = x - 5. Is a a multiple of 14?
True
Let j be (-25)/(-6) - 3/18. Suppose 8*h - j*h - 112 = 0. Is 7 a factor of h?
True
Let m(x) = 110*x + 1. Is m(1) a multiple of 37?
True
Suppose 4*x + 2*y - 27 - 23 = 0, -5*y + 45 = 2*x. Is x a multiple of 2?
True
Suppose -5*g + 20 = 3*y, -4*g - 3*y + 16 = -3*g. Is 4 a factor of (-3)/(-4)*4 + g?
True
Suppose h + 15 = 71. Is 17 a factor of h?
False
Let u(y) = -y - 10. Let k be u(-10). Suppose 0 = -3*s - k*s + 99. Is s a multiple of 18?
False
Let r(t) = 157*t + 4. Is 38 a factor of r(1)?
False
Suppose h + 3*t - 412 = -3*h, 2*t = -3*h + 308. Does 20 divide h?
True
Let o(c) = -13*c - 3. Is o(-1) a multiple of 10?
True
Let t = -4 + 21. Let f = -8 - 1. Let r = t + f. Does 3 divide r?
False
Suppose 0 = 2*u - 7*w + 3*w - 20, -3*w + 48 = 3*u. Suppose r - u = x, -2 = -2*r - 2*x + 26. Is r a multiple of 6?
False
Let q(y) = y**3 + 5*y**2 + 2*y - 2. Let a be q(-4). Let u(k) = k**2 - k. Let o be u(5). Let l = o - a. Is 8 a factor of l?
False
Suppose 367 = 2*o + 5*n, n = 2*o - 2*n - 343. Is o a multiple of 10?
False
Let q(k) = 2*k**2 + 13*k + 28. Is 8 a factor of q(-9)?
False
Suppose -2*d = -3 - 97. Is d a multiple of 25?
True
Let u be (-16)/(-3) + 6/9. Suppose 0 = u*v - 3*v - 234. Does 23 divide v?
False
Does 2 divide ((-10)/(-20))/((1/6)/1)?
False
Suppose -19 = 2*o - 6*o + f, 0 = 4*f - 20. Is 4 a factor of o?
False
Let a(z) = z - 2. Suppose 5*k + 2*y = 24, k + 4*y - 2 = 10. Let i be a(k). Suppose i*s + 157 = 5*w, 2*w + 2*w - 3*s = 120. Is 12 a factor of w?
False
Let j(k) = -k**3 + 18*k**2 + 4*k - 12. Let x be -2*(-5 + (-12)/3). Does 12 divide j(x)?
True
Let n(a) = 4 + 2*a**2 - a**2 + 5*a - 2*a - 2*a + a**3. Does 4 divide n(0)?
True
Suppose -4*i + 10 = i. Let v(p) = 22*p - 2. Let l be v(i). Let k = l - 18. Is 12 a factor of k?
True
Let u(j) = 23*j - 33. Is 64 a factor of u(7)?
True
Suppose 4*m - 12 = -h, -5*h - 7 - 5 = 2*m. Does 2 divide m?
True
Let i(b) = -2*b**3 - b**2 - 1. Let t be i(-2). Let v = t - -27. Does 19 divide v?
True
Suppose -4*s - 3 = -7. Let r(n) = 9*n**2 - 2*n + 1. Let b be r(s). Let h = -2 + b. Does 6 divide h?
True
Let b(g) = 20*g**2 + g. Let l be b(1). Let s = l - 8. Suppose 3*k - 8 = -2*q, 3*k - 5*k - s = 5*q. Does 2 divide k?
True
Let u = -19 + 64. Is 9 a factor of u?
True
Let b(o) = o**3 - 6*o**2 + 2*o - 8. Let v be b(6). Suppose -r - 5*f = 2*r - 2, -5*r = f + v. Does 15 divide 2 - 1/(r/13)?
True
Let j be (-12)/(-16) + 42/8. Let g(m) = 6*m - 8. Does 14 divide g(j)?
True
Suppose 5*n - 6 = 4. Let z(a) = 4*a**2 - 4*a + 2. Is 8 a factor of z(n)?
False
Suppose o - 31 = 4*v, -3*o - o + 39 = v. Is 11 a factor of o?
True
Is (4/5)/((-14)/(-35)) even?
True
Let q(p) = p**2 + p + 2. Let j be (-1)/(-2 - 27/(-15)). Is q(j) a multiple of 16?
True
Let f(k) = -3*k + 1 + 0*k + k. Let p = -26 + 21. Is f(p) a multiple of 9?
False
Suppose 104 = 9*h - 8*h. Suppose -2*x + 6 = -h. Is 13 a factor of x?
False
Suppose 5*q + 0*i - 2*i + 621 = 0, q = 3*i - 132. Let m = q - -249. Suppose -4*x + 161 + 10 = -5*s, 3*x - m = 3*s. Does 23 divide x?
False
Suppose 29 - 2 = 3*i. Is 5 a factor of i?
False
Let p be (2*-1 - -43) + 0. Suppose 34 = -5*g - 71. Let s = p + g. Does 10 divide s?
True
Let w = -6 + 8. Let s = 33 + -19. Does 3 divide w/(-7) + 46/s?
True
Is (6/10)/((-1)/(-25)) a multiple of 5?
True
Let y = 5 - -13. Is 6 a factor of y?
True
Suppose -10 - 3 = -2*z - 5*j, 7 = 2*z + 3*j. Is 8 a factor of z/(-3 - 195/(-66))?
False
Let s = -8 - -13. Is s a multiple of 5?
True
Suppose -4*q = 0, -2*q + q = 2*g + 60. Let t = g - -98. Does 36 divide t?
False
Let m be (4/(-6))/(4/(-138)). Let s = -14 + m. Suppose -2*a = -s - 23. Is a a multiple of 8?
True
Let i = 193 + -172. Does 3 divide i?
True
Let v(j) = 2*j + 4. Let c be v(4). Suppose c = 5*z - 28. Is z even?
True
Let t(i) = -i**2 + i + 3. Let s be t(3). Is 14 a factor of (-6)/2 + (42 - s)?
True
Let h(t) = -11*t - 36. Is h(-22) a multiple of 10?
False
Suppose -6*d = -4*h - 2*d + 80, -5*d = -h + 20. Is h a multiple of 5?
True
Let i be 1 - 18/(-1) - 3. Let l = i - 5. Does 3 divide l?
False
Let x = -15 + 46. Is x a multiple of 7?
False
Let s be (1/2)/(3/(-18)). Let k = 9 + s. Is 12 a factor of 50/4 + (-3)/k?
True
Suppose 3*v + 7 = -2*o - 0, 0 = -4*o - 8. Is -52*((-4)/(-8))/v a multiple of 13?
True
Let a(i) = 48*i**3 + 1. Let m be a(1). Suppose -5*g = -131 - m. Is 18 a factor of g?
True
Suppose -5*i - 127 = -3*w + 4*w, 4*w = -i - 14. Is (i/(-2))/(4/16) a multiple of 13?
True
Let r(u) = 2*u**2. Let x be r(3). Let g = 38 - x. Is g a multiple of 10?
True
Let k be (-1)/(-4) - 60/(-16). Suppose 0 = 3*f - 8*b + k*b - 38, -5*f + 3*b = -45. Is 6 a factor of f?
True
Is 12 a factor of 4/22 - 493/(-11)?
False
Suppose -p - 6 = -3*p. Let c(g) = 9*g**2 - g + 7. Does 19 divide c(p)?
False
Let n be (7/(-4))/((-7)/28). Is 13 a factor of 304/14 + 2/n?
False
Let b(p) = -p. Let u be b(1). Is 8 a factor of (27/(-6))/(u/6)?
False
Suppose 0 = -3*i + 39 + 402. Is 14 a factor of i?
False
Suppose -3*a + 8*a + 3*j + 200 = 0, -120 = 3*a - 2*j. Let y = a + 57. Suppose -3*w = 4*m - 38, 4*m - 1 + y = 0. Is 9 a factor of w?
True
Let w be (-6)/(-12) - 5/(-2). Suppose -2*j + 5*t + 41 = 0, 2*t + t = -w. Does 7 divide j?
False
Let r = -41 - -65. Is 12 a factor of r?
True
Let s = 105 - 15. Suppose -3*w + w + s = 0. Does 17 divide w?
False
Suppose -3*n = -w - 301, 2*n - 3*n + 79 = 5*w. Is n a multiple of 11?
True
Let o(l) = -25*l - 17. Is 18 a factor of o(-5)?
True
Suppose 0 = -5*g + 2*o - 145, 4*g - 5*o = -27 - 106. Let h = -6 - g. Is 11 a factor of h?
False
Suppose -2*v - v = -96. Suppose 3 = -u, -u - v = -4*j + 11. Let a = j - 7. Is a even?
False
Let v = -20 + 12. Let h = v - -4. Let d(x) = x**2 + 2*x - 2. Does 3 divide d(h)?
True
Let f(o) = o**2 + 3*o + 4. Let s be f(-2). Suppose -4 = 4*w, -w = -4*d - s*w + 199. Is d a multiple of 13?
False
Let i = -28 - -42. Suppose 3*n + 8*h - i = 4*h, 0 = -5*n + h + 54. Is 10 a factor of n?
True
Let f(u) = -u**3 - 5*u**2 - 2*u - 1. Suppose -5*i + n - 27 = 0, n + 7 = 3*i + 24. Does 3 divide f(i)?
True
Let q = 207 - 129. Does 26 divide q?
True
Is -4 + 1 - 1 - -232 a multiple of 18?
False
Let a(y) = -y - 4. Let k be a(0). Let w be (6/k)/((-1)/10). Suppose -w = -d - 2*g, -3*g = -4*d - 0*g + 38. Is d a multiple of 4?
False
Does 16 divide 3849/24 - (-27)/(-72)?
True
Suppose -15 = -q - 3*z, 0 = -3*q + 3*z + 11 + 70. Is 4 a factor of q?
True
Let m be (-476)/(-16) + (-1)/(-4). Let j = 11 + m. Is 14 a factor of j?
False
Does 16 divide (-2)/(-5) - 1152/(-20)?
False
Suppose 0 = 6*q - 12 - 1038. Does 41 divide q?
False
Suppose 2*b - b - 50 = 0. Suppose -45 = 5*m + b. Let a = 3