q. Does 7 divide n?
False
Suppose -7 = -7*p + 35. Suppose -3*f = -p*f + 81. Is f a multiple of 15?
False
Let q(j) = 10*j - 3. Let s be q(-9). Let z = s + 48. Is (-6)/45 + (-3921)/z a multiple of 29?
True
Let p(b) = b**3 + 6*b**2 + 7*b + 14. Let a be p(-5). Suppose -d + a*d - 155 = -2*z, -d + 3*z = -48. Does 34 divide d?
False
Is 49 a factor of (505/15 + -1)*81/6?
True
Suppose -20 = -5*y, 692 + 1408 = 3*n + 3*y. Does 4 divide n?
True
Let h(t) = 7*t - 18. Let z = -20 - -28. Does 4 divide h(z)?
False
Suppose -9*f + 8*f - 5 = 0. Is (f/(-2) + -4)*-14 a multiple of 21?
True
Suppose -b + 7 = o, 2*b = -0*o - o + 11. Let s(d) = d**3 - d**2 + 2*d - 5. Is 14 a factor of s(b)?
False
Let i(z) = -2*z**2 + 13*z - 6. Let q be i(6). Suppose -r + 3*r - 14 = q. Suppose 0 = -5*l + 3*f + 206, 5*l - r*f - 210 = -2*f. Is l a multiple of 20?
True
Suppose -3*p = -2*u - 27 - 19, -5*u = -5*p + 85. Suppose -4*w = -0*w + p. Is (w - -2)/((-5)/95) a multiple of 19?
True
Let y(p) = -16*p - 117. Does 11 divide y(-23)?
False
Let x(h) = h**2 - 4*h - 15. Let k be x(7). Suppose 4*z - 47 = -k*c + c, -z = 3*c - 10. Let y = z - 4. Is 9 a factor of y?
True
Suppose -16*l - 1126 = -5606. Is l a multiple of 14?
True
Suppose -1269 = -n - 3*u - 213, 3*u - 5304 = -5*n. Is 28 a factor of n?
False
Suppose -2*u + 827 + 299 = f, -u = -5*f + 5608. Is f a multiple of 34?
True
Suppose 15*c = 18*c + 4*v - 399, 4*c - v - 551 = 0. Is 7 a factor of c?
False
Let w = 1083 - 597. Is 9 a factor of w?
True
Suppose 32*n - 15*n - 34 = 0. Suppose f = -0*f + 4*v + 12, 5*f - 2*v - 24 = 0. Suppose -n*x + 28 = f*q - 6*x, 5*q = -5*x + 15. Is 5 a factor of q?
True
Is 3 - (-185 + 4/(-1)) a multiple of 16?
True
Suppose 3*s = q + q - 8, -4*s - 5*q - 26 = 0. Let j be (s - -1)/(-1) - 1. Suppose 0*w - j*w = -24. Is 11 a factor of w?
False
Let w(s) = 2*s**2 + 13*s - 125. Is 61 a factor of w(17)?
False
Let a be 7/(-28)*(-15 + -1). Suppose -3*x - 1 + 112 = 2*h, 4*x = a. Does 18 divide h?
True
Let s = 794 + 29. Suppose 0 = -13*a + 607 + s. Does 10 divide a?
True
Let u = 20 + -16. Suppose 0 = 5*o + u*g - 2*g - 194, 0 = -5*o - 5*g + 185. Does 5 divide o?
True
Let h(q) = -187*q - 29. Does 10 divide h(-1)?
False
Suppose 3*n - d = -31, -10 = 4*n - 2*n + 2*d. Let m(l) = -7*l + 2. Let a be m(n). Suppose a = 5*j - 0. Does 13 divide j?
True
Suppose -3*r = 17 + 37. Let z = -8 + 5. Does 4 divide ((-4)/z)/((-3)/r)?
True
Let f = -26 + 27. Let m = 17 - f. Does 6 divide (75/(-20))/((-2)/m)?
True
Suppose 5*m + 126 = 1. Let c = -19 - m. Does 3 divide c?
True
Let s = -13 + 167. Suppose -s = 32*b - 34*b. Does 7 divide b?
True
Let x(w) = -w**2 - 4*w - 2. Is x(-2) a multiple of 2?
True
Is 13 a factor of 44/220 + (-156)/(-10)*3?
False
Let z be 486/(-12)*2/(-3). Let r = z + 11. Suppose -3*x - 3*s - r = -116, -5*s = x - 38. Is x a multiple of 14?
False
Let f(c) = -c**3 + 8*c**2 - 7*c - 2. Is f(4) a multiple of 3?
False
Let f be -3 - ((1 - 0) + -3). Let d = f + 20. Does 12 divide d?
False
Suppose 5*m = 5*q - 110, 5*q = -0*q - 2*m + 96. Suppose -2*z - 5*y = 4, 0*y - 4*y = -4*z + q. Does 9 divide -1 - (0 - (30 + z))?
False
Let n = 644 + -166. Is 11 a factor of n?
False
Let n be (-2)/5 + (-74)/(-10). Let u = -4 + n. Suppose u*m + 4*s - 20 = 0, 0 = 5*m + s + 2*s - 26. Is 3 a factor of m?
False
Let i = 655 - -833. Is i a multiple of 124?
True
Suppose -4*p + 5*y = p - 30, y = -3*p + 6. Suppose 2*f + p*f - 21 = z, f = z + 1. Suppose 3*d = -12, -d + 68 = -f*k + 272. Is k a multiple of 14?
False
Let i be (2 - 2)/(0 + 3). Suppose i = -4*o + o + 240. Suppose -5*m + o = -m. Is m a multiple of 10?
True
Suppose 0*j = -3*j - 15. Let m(v) = -v**3 - 4*v**2 + 5*v + 2. Does 2 divide m(j)?
True
Let b(d) = 11*d - 49. Is b(17) a multiple of 46?
True
Suppose 5*x = 5*r - 6165, -3*x = -5*r + 10*r - 6141. Is 15 a factor of r?
True
Suppose 0 = 4*c + 5 + 7. Let s(v) = -4*v**3 + 2*v + 1. Let d be s(c). Suppose d = 5*i - 17. Is 24 a factor of i?
True
Suppose -x = -q + 91, 49 + 37 = q - 2*x. Is 7 a factor of q?
False
Let m be -1*(1 - -23) - (2 - 6). Let b = 109 + m. Is 18 a factor of b?
False
Let p = 25 - 20. Suppose p*l + 0*l - 60 = 0. Suppose 3*k = -5*t - k + 132, t = 4*k + l. Does 16 divide t?
False
Let w = 59 + -58. Suppose w = -3*d + 682. Does 13 divide d?
False
Suppose 0 = 5*v - 3*i - 116, 4*v - i - 4*i = 98. Does 41 divide (-142)/(-1) + (22 - v)?
False
Let o(u) = -2*u**2 - 11*u - 9. Let v be o(-7). Let k be 6/(-5)*2325/v. Let m = -33 + k. Is m a multiple of 10?
True
Suppose 0 = 16*v - 9*v - 1274. Is 25 a factor of v?
False
Let h be (1 - 2) + (-20)/(-4). Let w = 1 - 1. Suppose -h*f = -w*f - 168. Does 13 divide f?
False
Let j(c) = -c**2 + 1. Let k(o) = -8*o**3 + 6*o**2 - 4*o - 13. Let h(s) = 6*j(s) + k(s). Does 17 divide h(-3)?
True
Let p be 39 + -1 + -13 + 9. Suppose 0 = 6*v + p - 118. Does 10 divide v?
False
Let m(p) = 20 - 5 + 33*p + 6. Let s be m(11). Suppose 2*y = 6*y - s. Does 23 divide y?
False
Suppose -5*t - 4*o = -o - 353, 4*o = -t + 57. Suppose -2*h = -2*x - 224, -h = -6*h - 4*x + 524. Suppose -2*l - m = -t, l = -2*l - m + h. Does 7 divide l?
True
Suppose -5*u + 3*u = 10. Is 2 a factor of 3/u + (-686)/(-35)?
False
Let t(k) be the second derivative of 0 - 7/6*k**3 - 11*k + 8*k**2. Does 27 divide t(-9)?
False
Suppose 4*y - 22 = 50. Is 4 a factor of y?
False
Let l = 36 + -140. Let g = -32 - l. Is g a multiple of 12?
True
Let a = -109 - -232. Suppose a = 4*j - y, 15 = -0*j + j + 5*y. Is 15 a factor of j?
True
Let r = 13 - 13. Suppose r = 2*o - 458 - 96. Suppose 88 = -3*d + o. Is d a multiple of 20?
False
Let l = 16 - -8. Is 12 a factor of (-194)/(-8) - 6/l?
True
Let p = -67 - -59. Does 19 divide 203 - (5 + p)*(2 - 1)?
False
Suppose -x + 757 = 3*t, 0 = -2*x + 5*x + 4*t - 2281. Suppose 5*y = -v + 1310, 3*y + 0*v - x = 4*v. Does 29 divide y?
True
Let y be 11 + -2 + (-2 - -1). Let h be (-12 + y)*(0 + -1). Suppose 0 = -h*i + 7*i - 90. Does 7 divide i?
False
Let g(w) = -4*w - 12. Let y be g(-6). Is 17 a factor of (6/(-1))/(y/(-40))?
False
Let b = -143 - -295. Suppose -151*a + b*a - 54 = 0. Is 18 a factor of a?
True
Let h(x) = -x**3 - 6*x**2 - 4*x - 1. Let u be h(-6). Is (-26 + u)/((-3)/13) a multiple of 13?
True
Let r(p) = -p**2 + 15*p - 9. Let h be r(6). Is 66/(-9)*h/(-6) a multiple of 8?
False
Let k be (-8)/52 - (-8915)/65. Suppose 0 = -3*y + k - 29. Suppose 2*i = -5*g + 18, 0*i - 4*i + 4*g + y = 0. Is i a multiple of 9?
True
Suppose -3*h - h = 24. Suppose 2*j = -2*g + 14, -8 = 5*g + 2. Does 2 divide (-34)/h - (-3)/j?
True
Let q(w) = -w**3 + 8*w**2 + 4*w - 11. Let i be q(8). Let s be (-14)/(-4) - i/14. Suppose 0 = -z - 0 + 1, z = -s*u + 25. Does 6 divide u?
True
Let w = 445 + -232. Is w a multiple of 3?
True
Suppose 0 = 33*m - 35*m + 1264. Does 31 divide m?
False
Is ((-24)/8 - -5) + -2 + 65 a multiple of 13?
True
Let x(m) = 46*m**2 - 2*m + 12. Is 32 a factor of x(5)?
True
Let o be 28/(-4)*-1 - 3. Suppose q - 6*q = 5*c + 10, o*c = -3*q - 4. Suppose -3*u = -5*j - 71 - 17, 100 = 3*u - c*j. Is u a multiple of 8?
False
Suppose 5*d = w - 308, 4*w + 2*d - 1232 = 4*d. Suppose -5*h + 7*h - w = 0. Suppose 5*q - 4*t - h = 0, 0*q + 5*t - 190 = -5*q. Does 17 divide q?
True
Let s(m) = -m**2 + 2*m + 12. Let g be s(5). Let f(y) = -y**2 - 5*y. Let c be f(g). Suppose 33 = 7*a - c*a. Is a a multiple of 11?
True
Does 15 divide (1780/(-6))/(252/27 - 10)?
False
Let a(l) = -l + 17. Let k be a(14). Suppose -13 = -c + k. Is c a multiple of 16?
True
Let p(x) = 2*x**2 + 2*x - 4. Let g be p(4). Let z(b) = -2*b - 33. Let j be z(-8). Let d = j + g. Does 13 divide d?
False
Is 1/2 + (-7914)/(-12) a multiple of 30?
True
Suppose -2*q = -3*q - 12. Does 17 divide 68*-3*4/q?
True
Suppose -5*g - 50 = 5*m, -m + 3*g = -2*m. Let r = m + 18. Does 15 divide ((-6)/(-9))/(r/261)?
False
Let k = 185 - 42. Does 11 divide k?
True
Let m = -1747 + 2485. Does 10 divide m?
False
Let r be (-97)/9 - 6/27. Let m(a) = 7*a**3 + 11*a**2 + 2*a + 10. Let i(d) = 8*d**3 + 11*d**2 + 2*d + 9. Let g(y) = 6*i(y) - 7*m(y). Is g(r) a multiple of 3?
True
Let n = -24 + 294. Suppose 3*y = -3*y + n. Is y a multiple of 9?
True
Suppose 4*i = 12*i - 3*i. Suppose 0 = -3*u, i = 2*f + 2*u - 0*u - 150. Is f a multiple of 12?
False
Let f(r) = -r**3 + 20*r**2 - 18*r + 9. Does 20 divide f(7)?
True
Let d = -21 + 6. Let f = d - -111. Is f a multiple 