tor of (249/(-9) - 1)*-9?
False
Suppose s = 5*s - 240. Does 15 divide s?
True
Suppose -b - 4 = -2*b. Suppose b*f = -4*t, -5*f = -f - 4*t - 16. Does 2 divide f?
True
Suppose 2*p + p = 12. Suppose -2*d + p = -4. Does 4 divide d?
True
Let q(h) = -43*h**3 - 2*h**2 + h. Let z be q(1). Let v = -12 - z. Suppose -v = -2*d - 4. Is 11 a factor of d?
False
Suppose 4*a + n - 40 = 13, 23 = 4*a - 5*n. Is 12 a factor of a?
True
Suppose 0 = -2*c + 3*u + 284, 3*u = -2*u + 10. Does 29 divide c?
True
Suppose -t + 0*t = 0. Suppose t = p - 11 - 0. Is 11 a factor of p?
True
Let f(l) = 2*l - 8. Let s be f(4). Suppose y - 2 - 3 = s, 4*u = y + 35. Is u a multiple of 4?
False
Is 24 a factor of -4 + 4/2 + 290?
True
Suppose 22 = 2*y + 12. Let s be (-30)/(-4) + 1/2. Suppose -s = y*h - 158. Is 9 a factor of h?
False
Does 16 divide -2 + 0/(-2) - (-36)/1?
False
Let u(t) = t + 1. Let a be u(2). Let k(d) = d**3 - 2*d**2 + d - 2. Is k(a) a multiple of 4?
False
Let y be 2*(-1 + 4 - 1). Let b be (15/(-6) - -2)*y. Does 13 divide (b/(-6))/(6/468)?
True
Let f(s) = -17*s + 2. Let l be f(3). Suppose 0 = 2*t - k - 140, 5*t - k + 0*k = 350. Let z = l + t. Does 10 divide z?
False
Suppose 260 - 95 = 3*i. Is i a multiple of 11?
True
Suppose 2*n + 0*n - 88 = 4*k, -3*n + 142 = -k. Does 16 divide n?
True
Let b(j) = j + 27. Let w be b(0). Suppose -w = -r + 24. Does 17 divide r?
True
Let f(n) = -n**3 - 6*n**2 + 9*n + 5. Let g be f(-7). Does 9 divide g/21*-6*7?
True
Suppose 3 = -4*a - 9. Let v be (2/a)/(2/(-9)). Suppose 2*q + v*q - 10 = 3*u, -q + 5 = 0. Is u a multiple of 3?
False
Suppose 4*n - 3*n = 5. Suppose 3*g + 0*z - 4*z = 118, n*z = -5*g + 220. Is g a multiple of 17?
False
Is 6 a factor of 722/19 + 4/(-1)?
False
Suppose -2*c - 5*r + 25 = 0, -2 - 3 = c - r. Suppose c = j - 5*i + 7, 0 = -j - 0*j - 4*i + 38. Does 9 divide j?
True
Let o be 66 + ((-2)/2 - -3). Let a(z) = 2*z**2 + z. Let i be a(5). Suppose -3*h + 7 = -5*q + i, 2*h - o = -5*q. Is q a multiple of 12?
True
Let x = -24 + 57. Is 11 a factor of x?
True
Let c = 59 - 34. Is c a multiple of 10?
False
Let k be (-268)/8 - 3/6. Let w = k - -47. Is 13 a factor of w?
True
Suppose -22 = -4*q + 2*q. Let r = -5 + q. Does 6 divide r?
True
Let f be 328/(-15) + 6/(-45). Let r = -5 - f. Is r a multiple of 13?
False
Let c(q) = -q**3 + 12*q**2 - 12*q + 14. Let x be c(11). Suppose 0 = -x*m + m + 32. Is m a multiple of 16?
True
Is 10 a factor of -1*(2 - -3) + 39?
False
Suppose -5*f + 3 = -12. Does 12 divide (-645)/(-9) - f/(-9)?
True
Does 8 divide (288/5)/3*80/24?
True
Let w = -74 - -95. Suppose 5*u = 23 - 3, 0 = -4*o - 5*u + 20. Suppose 2*j + j - w = o. Does 3 divide j?
False
Let b = -65 - -95. Suppose 0 = -3*v - 2*v + b. Suppose q - v*q = -105. Is q a multiple of 9?
False
Suppose 369 = 2*i + 3*i - 3*d, i - 69 = 3*d. Does 15 divide i?
True
Suppose -7*b + 63 = -4*b. Suppose 3*t - 66 = -b. Is 5 a factor of t?
True
Let x(v) = 2*v**3 - 25*v**2 - 17*v - 18. Let w(t) = -3*t**3 + 37*t**2 + 25*t + 27. Let s(l) = -5*w(l) - 7*x(l). Is s(11) a multiple of 23?
True
Let z(v) = -v**3 - 15*v**2 + 14*v + 8. Is 15 a factor of z(-16)?
False
Suppose -2*k - 2*k = p + 390, -2*k - 762 = 2*p. Let d be p/(-8) + 5/(-20). Let l = d - 12. Does 12 divide l?
False
Let q = -9 - -5. Let n be 2/(-4) + (-14)/q. Suppose 35 = 2*m + n*m. Does 5 divide m?
False
Does 6 divide (-2)/1*(-1 + -11)?
True
Suppose 29 = 3*q + 3*c - 28, q + 4*c = 28. Suppose -q = -2*w - 0*a + 4*a, w - 12 = 4*a. Suppose 2 + 10 = w*n. Is n a multiple of 3?
True
Let a = -14 + 30. Let o = 2 + a. Is 18 a factor of o?
True
Is (9/(-6))/((-3)/26) a multiple of 5?
False
Suppose 3*l - 72 = g, 4*l = 3*g - 8*g + 77. Suppose 5*n = 97 + l. Is 9 a factor of n?
False
Suppose x = -5*x + 180. Does 9 divide x?
False
Suppose -250 = -6*w + w. Is w a multiple of 16?
False
Let i(j) = 5*j + 28. Does 18 divide i(19)?
False
Let z(m) = -m**3 - 6*m**2 + 2*m + 2. Let b be z(-6). Let f = -7 - b. Suppose f*i = 11 + 55. Is 11 a factor of i?
True
Let s(m) = m**3 - 2*m**2 + 4*m - 3. Let f be s(2). Suppose -4*w - f = -3*w, 4*g + w = 15. Suppose 0 = 2*o - g*o + 15. Does 2 divide o?
False
Let o = 7 + -4. Suppose 0 = -5*n + o*n + 8. Suppose c = -4*k - 8, -n*c - 3*k + 38 = -k. Is 9 a factor of c?
False
Let m be (-1)/(2*1/(-8)). Suppose 0*p + m*k - 21 = -p, -107 = -3*p - k. Is p a multiple of 10?
False
Let p be (182/39)/(2/(-6)). Let f(k) = k**2 + 12*k - 15. Is f(p) a multiple of 4?
False
Let b = -4 + 8. Suppose 2*q = 10 + b. Let o = -4 + q. Is o a multiple of 3?
True
Let q(o) = -o**2 + 9*o - 2. Let n be q(8). Suppose 3*a + 11 = 2*k, 5*k - n = 14. Let m = a - -3. Is m a multiple of 2?
True
Let z be 1*(-5 + 2)*3. Let b be z*(3 + -1 + -14). Suppose -7*r + 4*h + b = -3*r, 2*r - 4*h - 64 = 0. Is 11 a factor of r?
True
Let m(l) be the second derivative of -l**5/20 + 2*l**4/3 - 2*l**3/3 - 9*l**2/2 - l. Let n be 14*1/6*3. Is 6 a factor of m(n)?
True
Let x = -78 + 148. Does 70 divide x?
True
Let l(s) = -s**3 - 6*s**2 + 6*s - 4. Let p be l(-7). Let o = p + -1. Suppose -5*x + 34 = -o*d, -5*x - d + 5*d + 28 = 0. Is x a multiple of 5?
False
Suppose 8*f - 9*f = -45. Does 7 divide f?
False
Let w be (1/(-2))/((-2)/76). Suppose -26 - w = -3*d. Let j = -10 + d. Is j a multiple of 5?
True
Suppose 3*n + 2*n - 20 = 0. Suppose -n*c + 64 = -0*c. Is c a multiple of 6?
False
Suppose 0 = -4*r - 0*r + 44. Let v = -4 + r. Is v a multiple of 3?
False
Let n(h) = 25*h**2 - 7*h + 8. Does 47 divide n(2)?
True
Let g(k) = k**3 - 7*k**2 - 23*k - 7. Is 21 a factor of g(10)?
True
Let w(i) = -i + 10. Let c be w(7). Let v(j) = j**2 + 6*j + 7. Let g be v(-5). Suppose c*a = -g*a + 60. Is 6 a factor of a?
True
Suppose -68 = 4*u - 5*u - 5*x, 4*u + 5*x = 302. Is 20 a factor of u?
False
Does 4 divide (-4*(-1 - 0))/1?
True
Suppose 1 - 9 = -q. Suppose 0 = 3*m + 4*f - 40, -5*m + 4*f = -2*m - q. Is m a multiple of 8?
True
Suppose h - 320 = -3*h. Is h a multiple of 20?
True
Let p be 12/((-92)/(-30) + -3). Suppose p + 30 = 5*j. Is 21 a factor of j?
True
Let m(w) = 4*w + 53. Does 9 divide m(7)?
True
Is 3 a factor of ((-28)/42)/((-2)/9)?
True
Suppose x - 6*x = -115. Let j = x - 6. Is j a multiple of 17?
True
Let g = 10 - 9. Let m(v) = 36*v + 2. Is m(g) a multiple of 14?
False
Let x(l) = l**2 - 6*l + 2. Let q be x(5). Does 13 divide 4/(-12)*q*18?
False
Suppose 0 = -3*d - 2*f + 465, 3*f = 3*d + 2*d - 756. Is 23 a factor of d?
False
Suppose 0 = 5*i - 10, -g = -3*i - i - 160. Suppose 0 = -l - 3*l + g. Does 21 divide l?
True
Suppose -3*b - 2*b = -5. Suppose -b = -i - 0. Let p(g) = 16*g**3 - g**2 + 1. Is 16 a factor of p(i)?
True
Does 2 divide 158/10 - (-4 - (-95)/25)?
True
Let o be (7/4)/(1/16). Suppose -4*g = -3*h - 56, -5*g = -h - 0 - 15. Let d = h + o. Is d a multiple of 4?
True
Suppose -2*p + 2*w + 36 = 0, -4*p + 5*w - 18 = -94. Let b be (-4)/14 + 88/p. Is 6 a factor of 2*(-3)/b - -11?
False
Suppose -5*n + 11*d - 8*d = -423, 3*n + 3*d = 249. Does 12 divide n?
True
Let l be 24/(-30)*(-5)/2. Suppose -v - 60 = -l*v. Does 17 divide v?
False
Let z be (22 - 9) + 1 + 0. Suppose 0 = -3*t + 2*t + 4. Let s = z - t. Is 10 a factor of s?
True
Suppose 4*y = 3*d - 35, -4*d = -3*d + y. Does 3 divide d?
False
Let o = 3 - 3. Let s be o + 6/3 - 0. Suppose -35 = -7*u + s*u. Is 6 a factor of u?
False
Suppose 5*f - 42 = 168. Is f a multiple of 21?
True
Suppose -6*t = -5*t + 5*h - 13, 4*t + h = 90. Is t a multiple of 9?
False
Suppose 0 - 7 = 2*i + 5*h, 4*h = -5*i + 8. Suppose 4*q = -2*t + 48, 5 = -i*t + 5*q + 127. Is 4 a factor of (-1)/(-3) + t/6?
False
Suppose 4*p + 4*n = 56, 0 = 5*p - 5*n - 129 + 29. Let a = 33 - p. Does 8 divide 1/2 - (-376)/a?
True
Let f(k) = -2*k + 3. Suppose -4*i = 3*q - 4*q - 24, i + 5*q + 15 = 0. Let p be f(i). Let o = p + 11. Does 4 divide o?
True
Let l(u) = -u**2 + 7*u + 4. Let a(i) = -i - 1. Let k(w) = -10*a(w) - 2*l(w). Let d be k(3). Let c = d + 15. Is c a multiple of 14?
False
Suppose 4*x = 4*t - 2*t - 2, t - 13 = -4*x. Suppose t*a - 108 = 2*a. Is a a multiple of 18?
True
Suppose -5*r + 5*c + 1 = -9, -5*r = -4*c - 13. Suppose r*q - 234 - 36 = 0. Suppose -q - 60 = -3*o. Does 19 divide o?
True
Let m(k) = 7*k - 2. Is m(6) a multiple of 9?
False
Let i(y) = -3*y - 10. Let k(h) = -16*h - 51. Let l(x) = -11*i(x) + 2*k(x). Does 13 divide l(5)?
True
Let p be (6/(-21))/((-2)/14). Suppose -2*c - 2*k = -