 9 a factor of d(l)?
True
Suppose 3*z - 1350 = -7*z. Does 15 divide z?
True
Does 77 divide (12 + 3)*(-7)/(-21) - -674?
False
Suppose -5 = -3*h + 7. Let v(j) = j**3 - j**2 - 5*j - 2. Is 11 a factor of v(h)?
False
Let d = 128 + -126. Suppose 4*p - 3*a = 517, 0 = 5*p - d*p + 4*a - 394. Does 5 divide p?
True
Let h = 107 - 196. Does 18 divide -1 - (1 + -3) - h?
True
Let m(p) = p**3 + 10*p**2 + 10*p + 7. Let g be m(-9). Let h be (-1 + 3)/g + -5. Does 26 divide 4/3*(-477)/h?
False
Let l be (1 + (16/6)/(-4))*6. Suppose 0 = -2*b - 4*q + 38, -l*b - b + 24 = -5*q. Is b a multiple of 13?
True
Suppose -7*n + 2*n + 960 = 0. Let x = -127 + n. Is 13 a factor of x?
True
Let i be (-6)/4*(-13 + -1 + -2). Let a = 1 + i. Is a a multiple of 9?
False
Let b = -14 + 12. Let q be -3 - (-46)/((-4)/b). Suppose -j = j - q. Does 5 divide j?
True
Suppose 3*x = 17 - 2. Let s(o) = 3*o**2 - 5*o + 7. Does 19 divide s(x)?
True
Suppose 5*t + z = t - 92, 130 = -5*t - 5*z. Let l be (-3289)/t + (-2)/(-4). Suppose 0 = -3*j + 3*d + 225, 0 = 2*j + 3*d - 6*d - l. Is j a multiple of 15?
True
Let b = -29 + 109. Does 4 divide b?
True
Suppose 2*x - 5*l = 13, x - 6*x + 85 = 5*l. Suppose -295 + 883 = x*i. Is 7 a factor of i?
True
Let w be (-4)/12*-3 + 20. Suppose w = -p + 69. Does 13 divide p?
False
Let m(q) = q - 5. Let s be m(8). Suppose 4*g + 57 + 91 = s*p, -4*g - 104 = -2*p. Suppose 6*y - 2*y = p. Does 4 divide y?
False
Does 44 divide ((-7)/((-42)/16))/(4/576)?
False
Let m(z) = 3*z + 6. Let y be m(-4). Let l(n) = -2*n - 111. Let i be l(-55). Is 1 - i - 396/y a multiple of 17?
True
Let w = -574 + 896. Suppose -4*p = -58 - w. Let o = p + -63. Does 16 divide o?
True
Suppose 4*d + 36*p - 296 = 31*p, 0 = 3*d - 4*p - 253. Is d a multiple of 2?
False
Let u be 66 + (3 + -1)/((-6)/9). Is 16 a factor of 1*-1*(-3 - (u - 2))?
True
Let d(g) = 1 + g**2 + 0 + 1 - 1. Let c be d(1). Suppose 2 = -s - 0, -s - 16 = -c*o. Is o a multiple of 5?
False
Let d = -730 - -1013. Does 25 divide d?
False
Let b(k) = 19*k**3 + 12*k - 37*k**3 + 19*k**3 - 10*k**2 + 1. Is b(9) a multiple of 3?
False
Let d be 15/(-5) + (-5)/(5/86). Let y = d - -208. Is y a multiple of 17?
True
Let n(r) = 8*r - 14. Does 11 divide n(12)?
False
Suppose 0 = -2*o + 4 - 14, 1007 = 3*n - o. Does 75 divide n?
False
Let f(i) = 4*i**3 + 13*i**2 - 3*i - 8. Let j(b) = 3*b**3 + 12*b**2 - 3*b - 7. Let q(m) = 4*f(m) - 5*j(m). Does 3 divide q(8)?
True
Let c(z) = -z - 3. Let n be c(-4). Let w(h) = 7 - 2 - 2*h + n + 3*h. Does 11 divide w(5)?
True
Suppose 4*o + 404 = 5*i, 9*i = 6*i - 5*o + 235. Does 7 divide i?
False
Suppose -13921 = 34*p - 62371. Is 25 a factor of p?
True
Suppose -g + 2*l = -1352, -2*g = -9*l + 8*l - 2716. Is 80 a factor of g?
True
Let x = 814 + -380. Does 14 divide x?
True
Let u(i) = i**3 - i + 2. Let s be u(5). Let y = 192 - s. Is y a multiple of 7?
True
Let g = 1 + -6. Let r = g + 7. Suppose 4*q + z - r*z - 64 = 0, -4*z + 16 = q. Is 8 a factor of q?
True
Suppose 0 = -4*v + 965 - 5209. Let w = -746 - v. Is w a multiple of 35?
True
Suppose 5*q - 727 = -5*n - 12, 2*q = -n + 286. Is q a multiple of 11?
True
Suppose -4*j + 66 = -70. Suppose -s = s - j. Is 3 a factor of s + -1 + 16/(-4)?
True
Let z be (-2 - -1)/((-5)/(-75)). Let b be -1 + 0 - -2 - 28. Let i = z - b. Does 4 divide i?
True
Suppose -a - 24 = 2*b + 7, -2*b + 4*a = 46. Let j(z) = z**3 + 18*z**2 + 11*z + 52. Is 22 a factor of j(b)?
True
Let x(n) = 226*n + 2. Is x(18) a multiple of 22?
True
Suppose -5*n - 8 = -28. Suppose -n*b + 20 = 4*s, -2*b - 3*b + 25 = 0. Suppose -6*q + 5*q + 39 = s. Is 13 a factor of q?
True
Let w be 0 - (-3)/((-15)/185). Let k = w + 33. Is 6 a factor of ((-26)/k)/((-2)/(-16))?
False
Suppose 0 = -4*v + 2*h - 294, -6*h = -v - h - 87. Is (-16)/v - 86/(-18) a multiple of 4?
False
Let s = -97 + 109. Suppose s*h - 21*h + 972 = 0. Is h a multiple of 36?
True
Is 40 a factor of (-15012)/(-12) - 20/2?
False
Suppose x + 4 = 13. Suppose -3*w + 2*h + 18 = 0, h - x = -3*w - 0*h. Suppose f = -w*y - 21 + 61, -15 = 3*y. Is f a multiple of 10?
True
Let r = -37 - -37. Suppose 4*t - 619 = m, 5*t + 3*m + 0*m - 778 = r. Is t a multiple of 27?
False
Suppose v + 30 = 3*v. Let n = -85 - -117. Does 12 divide n/(-5)*v/(-6)?
False
Let s = -3 - -5. Let t(j) = -5*j - 65. Let h be t(-14). Suppose -3*c + 2*g + 190 = 0, -s*g = 5 + h. Is c a multiple of 25?
False
Let p be (1/((-2)/(-44)))/((-1)/(-4)). Suppose 7*i = 6*i + p. Is 8 a factor of i?
True
Suppose -4*n = 3*s - s + 278, -4*s = -20. Is ((-4)/(-18) + 2320/n)/(-1) a multiple of 2?
True
Suppose 0 = j + 4*o - 7, -5*j - 2*o + 21 - 4 = 0. Suppose w = -j*w + 480. Is w a multiple of 30?
True
Is 4 a factor of (77/44)/((-2)/(-104))?
False
Let y = -1266 - -1776. Is y a multiple of 34?
True
Suppose 4*c = 427 - 35. Let x = -43 + c. Is x a multiple of 33?
False
Let f(w) = -w + 5. Let v be f(-5). Is 24 a factor of (2 - (-12)/(-9))/(v/1905)?
False
Let z = -734 - -4643. Does 81 divide z?
False
Let y(f) = 17*f**2 - 82*f + 29. Is 32 a factor of y(11)?
True
Let d = -102 - -393. Is 31 a factor of d?
False
Let z be 2/1*(-32)/4. Let h = 28 + z. Does 5 divide h?
False
Suppose 2*j + 4*l - 36 = 0, j + 6 = 4*l - 0. Let c = -308 - -267. Let x = j - c. Is 15 a factor of x?
False
Is 29 a factor of 3/((-18)/4) - (-4745)/39?
False
Let p(i) = -3*i - 9. Let g be p(-6). Let y(r) = 2 - 2*r**2 + 19*r - 16*r + 3*r**2. Is y(g) a multiple of 31?
False
Let k(l) = -1. Let a(d) = 4*d + 2. Let v(m) = -a(m) + 8*k(m). Suppose n = -2*n - 24. Does 11 divide v(n)?
True
Let d(g) = -253*g**3 - 12*g**2 - 13*g - 1. Is d(-1) a multiple of 30?
False
Suppose -4537 = 19*g - 29275. Is 93 a factor of g?
True
Let w(t) = -t**2 - 3*t. Let b be w(0). Suppose 0 = -3*f - 4 + 13. Suppose 204 = f*c - b*c. Is 17 a factor of c?
True
Suppose 2*o = -j + 13, j - 5*o = -5 - 10. Suppose -20 = -l + 2*u + 43, -5*l + j*u + 295 = 0. Is l a multiple of 32?
False
Let z(c) = 5*c**2 + 9*c - 2. Let r(g) = 3*g**2 + 4*g - 1. Let k(s) = 7*r(s) - 3*z(s). Let a be k(1). Let h = a + 12. Is 9 a factor of h?
True
Suppose 5*y = k + y - 54, 3*k + 3*y = 102. Does 5 divide k?
False
Let o(x) = 4*x**3 + x**2 + 7*x - 2. Let h(t) = -t**3 + 4*t**2 + 2*t - 5. Let y be h(4). Is 11 a factor of o(y)?
False
Is (11 - -1)*(-965)/(-30) a multiple of 8?
False
Let q = -1 - -22. Suppose 0 = -3*r + q. Suppose -4*f = -67 + r. Does 8 divide f?
False
Let n(p) = -p + 6. Let q = 19 + -22. Let u be n(q). Is (-81)/u*(0 - 1) a multiple of 9?
True
Let i(s) = -4*s + 78. Let a be i(19). Suppose -486 = -a*j - 156. Is j a multiple of 15?
True
Let r(s) = s**3 - 13*s**2 - s - 15. Let y be r(13). Is (70/y)/(1/(-4)) a multiple of 7?
False
Suppose -33 = 5*l - 8*l. Suppose 4*k - l = 21. Suppose m - k = 5*m, p = -m + 52. Does 13 divide p?
False
Let n = -82 - -115. Does 11 divide n?
True
Let o be (-3)/((-78)/(-2648)) + 2/(-13). Let v = o + 120. Is v a multiple of 9?
True
Suppose -2*w = 3*v + 16, 7*w - 2*w = -5*v - 30. Let c be (w + -6)*3/(-6). Does 11 divide (6/c)/(6/44)?
True
Let n = -73 - -93. Suppose 21*q - 78 = n*q. Is q a multiple of 39?
True
Let f = -71 - -16. Let j = 87 + f. Is j a multiple of 32?
True
Let a = 677 - 392. Does 9 divide a?
False
Let d(u) = u**3 + 9*u**2 + 8*u + 6. Let v be d(-8). Suppose 3*k + 3 = v. Let y = k - -5. Is y a multiple of 2?
True
Let c be (1/(-2))/((-9)/72). Suppose 2*s = -6, c*k = -0*s - 4*s + 136. Does 21 divide k?
False
Let j(n) = -8*n - 9. Let q(k) = 3*k + 5. Let g(s) = 3*j(s) + 7*q(s). Let z = -6 + 2. Is g(z) a multiple of 17?
False
Let c be (-5)/(-7) - (-8)/28. Suppose 0 = -2*d + 2*p + 8, -c = -5*p + 4. Is 2 a factor of d?
False
Suppose 6*o + 3536 = 22*o. Is 20 a factor of o?
False
Let z = 1 + -1. Let j = 8 - z. Is 12 a factor of (-133 + 5)*(-4)/j?
False
Let u(v) = -732*v**3 - 2*v**2 + 1. Let r be u(-1). Suppose r - 87 = 7*b. Is 19 a factor of b?
False
Does 21 divide ((-9)/4)/((-39)/1820)?
True
Suppose 2*n - 3*a = 3, -3*n + 0*a = 2*a + 2. Suppose n = 6*p - 11*p + 450. Is p a multiple of 17?
False
Let a(i) = 5*i**3 - 4*i**2 + 2*i + 1. Let g be a(2). Let o = -185 - -172. Let k = o + g. Is k a multiple of 16?
True
Let m = -110 - -154. Let o = m + 45. Let i = o - 38. Does 26 divide i?
False
Suppose l = z + 6 - 13, -z + 13 = -3*l. Suppose -2*g + 6 = -0*g. Suppose -g*f + 19 = z*a + 2, 2*f = 2*a - 26. Does 3 divide a?
False
Let g =