17 a factor of t?
True
Does 77 divide (-3851)/5*(-12 - (-3 + -4))?
False
Is 15 a factor of 7332 + (-2)/1 + (111 - 103)?
False
Let o be ((-6)/(-12))/(2/(-96)). Let a be (-123 + 1)*5*o/(-60). Let c = 376 + a. Does 12 divide c?
True
Suppose 4*o + 9*o - 78 = 0. Let r = o + 34. Let n = 49 - r. Is n a multiple of 6?
False
Suppose 58*l + 85*l = 95667. Is 6 a factor of l?
False
Let o = -3417 + 3550. Is 2 a factor of o?
False
Let a(m) = -106*m - 176. Suppose -t - 4*n - 40 = 4*t, 3*n + 8 = -t. Does 28 divide a(t)?
True
Suppose -17*f + 15*f = -10*x + 26, -5*f = 3*x + 149. Let s be 2/(-15)*-159*5. Let l = s + f. Is 43 a factor of l?
False
Let v = 2478 - 4007. Let o = -831 - v. Is 61 a factor of o?
False
Let n(a) be the first derivative of 5*a**3/3 - 5*a**2/2 - 14*a + 20. Let r be (-14)/(4 - (-1 - -3)). Does 12 divide n(r)?
False
Suppose 63626 = 11*y - 3*y + 21*y. Does 4 divide y?
False
Let m(u) = 2*u - 9. Let b be m(5). Let v(s) = s**3 - 2*s**2 + s. Let c be v(b). Suppose d - 10 = -d, -p + 5*d + 14 = c. Is p a multiple of 22?
False
Suppose 5*w - 3*a - 37382 = 0, -14978 = -2*w + 3*a - 6*a. Is w a multiple of 44?
True
Suppose 3*t - 6*t + 2*w = -4, w = -t - 2. Suppose 4 = -t*h + h. Suppose 8*l - h*l = 28. Does 7 divide l?
True
Let x = 215 - -405. Does 20 divide x?
True
Suppose 0 = 2*y - 20 + 26. Is 2 a factor of ((-1005)/(5/1))/y?
False
Suppose -t - 3*x = -5*t + 3259, t - 811 = 2*x. Let w = 543 - 70. Suppose 3*s - w = t. Is 59 a factor of s?
False
Let p = 98 - 122. Is (p/(-28) + 0)*399 a multiple of 18?
True
Let i = 27600 - 9430. Does 79 divide i?
True
Let x(v) = 303*v + 15. Let r be x(-2). Let d = -522 - r. Is d a multiple of 3?
True
Suppose -93*b - 23504 = -109*b. Is 133 a factor of b?
False
Suppose 5*r = -8 + 18. Is (r - (-371 - 2)) + (-15)/5 a multiple of 16?
False
Let f(l) = 22*l - 1 - 4*l - 2 + 5. Let b be f(3). Suppose -3*i + 235 + b = 0. Is i a multiple of 30?
False
Let t(i) = -i**3 + 2*i**2 + i - 2. Let n be t(-1). Suppose -2*h - 5*z - 67 + 372 = n, -4*h - 5*z + 605 = 0. Is 3 a factor of h?
True
Let h(w) = -16*w + 926. Is 7 a factor of h(-6)?
True
Suppose 0 = -4*x + 4*a - 16, -5*x + 3*a - 2 = 7*a. Let n(l) = 123*l**2 + l + 14. Is 24 a factor of n(x)?
True
Let t(n) = -2*n - n**2 - 3*n - 11*n - 30 + 4*n. Does 2 divide t(-8)?
True
Let b = 121 + -71. Let d be b*(46/4 - 0). Suppose 4*p + p = d. Is 6 a factor of p?
False
Let p = -3862 - -7952. Does 167 divide p?
False
Suppose -5*r + 2*a + 14 = 0, -r + a + 9 = 2*r. Let k(w) = -w**3 + 7*w**2 - 8*w - 6. Let x be k(r). Does 9 divide (6/2)/(x/240)?
True
Let k(h) = 28*h - 700. Is k(29) a multiple of 16?
True
Suppose -14*y + 3 = -13*y. Suppose y*v - 6*v + 543 = 4*t, -3*t - 5*v = -399. Suppose -120 = -3*x + t. Is 30 a factor of x?
False
Let i(m) = -m**3 + 5*m**2 + 7*m - 31. Let k be i(3). Suppose -k*y - 1032 = -11*y. Is 37 a factor of y?
False
Let p(g) = -g**2 - 25*g - 156. Let f be p(-12). Suppose -36*b + 40*b - 6228 = f. Does 14 divide b?
False
Suppose 4*z = -6*z - 1590. Let o = z + 204. Does 9 divide o?
True
Does 13 divide 3 + (-5)/2 + (-92498)/(-28)?
False
Let m(i) = 10*i**3 + 2*i**2 - 2*i + 1. Let s(p) = p**2 - 13*p - 13. Let x be s(14). Let t be m(x). Let u = 39 + t. Does 29 divide u?
False
Suppose 2*i - 4974 = 4*b, -4*i + b - 2809 = -12715. Is i a multiple of 99?
True
Suppose -41*y = 52895 - 264947. Is y a multiple of 3?
True
Suppose -6*o = -r - o + 1680, -4*r + 6656 = -4*o. Does 5 divide r?
True
Let k = -18 - -14. Let u(g) = 4*g - 10. Let v be u(k). Let n = v + 66. Is n a multiple of 21?
False
Let f be ((-132)/90)/11 - 8012*(-3)/45. Let t = -2 + 5. Suppose 662 = 5*u - q, u = -t*u + 3*q + f. Is u a multiple of 22?
True
Suppose 0*n = 2*n. Suppose -s - 2*p + p - 5 = n, -5*p - 25 = 0. Suppose s*q - q + 64 = 0. Does 24 divide q?
False
Suppose 3*o + 4 = -27*w + 23*w, 2*w + 28 = 5*o. Suppose 3 = z - 3*y + 2*y, -44 = -3*z - o*y. Is 8 a factor of z?
True
Let h(d) = -d**2 + 7*d - 6. Let s be h(4). Suppose -7*i = -22 - s. Does 14 divide (i/(-7))/((-4)/98)?
True
Let h = 434 + 2834. Does 43 divide h?
True
Suppose -310 = -93*p + 98*p. Let d = p - -117. Suppose d*g = 54*g + 90. Is 21 a factor of g?
False
Let w = 16789 + 111. Is 20 a factor of w?
True
Let u = -20 + 16. Is 15113/49 - u*(-3)/(-21) a multiple of 25?
False
Suppose 146*a = 127*a + 47215. Does 71 divide a?
True
Let o = 5755 - 5675. Is 20 a factor of o?
True
Let i(b) be the third derivative of -b**6/120 - 4*b**5/15 - 3*b**4/4 - 7*b**3/6 - 4*b**2 + 3*b. Does 2 divide i(-15)?
True
Let a(v) = 46*v**2 - 67*v - 1320. Is 174 a factor of a(-18)?
True
Suppose -85 = 5*c + 5*q, q = -2*c - 0*q - 39. Let u be (-2)/((-18)/477) - -10. Let z = u + c. Is z a multiple of 4?
False
Let g(t) = 4*t - 24. Let l be g(7). Suppose -536 = -4*y + l*w, -y + 0*w - 5*w + 152 = 0. Is y a multiple of 6?
False
Suppose 5*f = -4*u - 202 + 80, 0 = -u + f - 35. Let a be -5 - (-4 - -2)*u. Let l = 92 + a. Is l a multiple of 7?
True
Suppose 61 - 69 = -2*b. Is ((-7)/b)/(-7) - (-1630)/8 a multiple of 51?
True
Suppose -26*m + 602922 = 231*m. Is m a multiple of 17?
True
Suppose 0 = -5*w + 628 + 652. Let p(o) = -o**2 - 7*o - 7. Let n be p(-4). Suppose 4*r + a - w = 0, -n*r = 2*a - 161 - 162. Is r a multiple of 16?
False
Let n(b) = -286*b - 15855. Does 5 divide n(-66)?
False
Let r = 1476 - 739. Is 11 a factor of r?
True
Suppose -3 = -17*p + 31. Suppose f - 4*s = 1092, -2*s = -p*f - 7*s + 2184. Is 52 a factor of f?
True
Let n(b) = -b**3 - 4*b**2 + 18*b - 3. Let k be n(-10). Suppose c = 4*g - 83 - k, 2*g + c - 244 = 0. Is g a multiple of 5?
False
Let f(p) = 14*p**3 - 2*p**2 + 51*p - 508. Is 206 a factor of f(10)?
True
Let t(v) = v**2 + v + 5. Let n be t(0). Suppose -3*c + 4*c = -3*r + 454, -5*c = 4*r - 2248. Suppose -m = -n*m + c. Does 16 divide m?
True
Let o = 24417 - 13293. Is 37 a factor of o/20 - (-6)/(-5)?
True
Suppose 0 = 20*u - 746903 + 114323. Does 28 divide u?
False
Let l be 1 + (8/(-10))/((-9)/45). Suppose -25 = -l*r + k, -45 = -5*r + 8*k - 3*k. Let f(m) = 6*m**2 - 3*m + 12. Is 38 a factor of f(r)?
False
Suppose r + 96*x = 95*x + 326, 4*x = 24. Is 10 a factor of r?
True
Suppose -4*s = 3*k, -3*k = -8*k. Suppose 4*y - 3*n = 22, 0 = -s*y + 5*y - 4*n - 27. Is (-2)/(-1) + (y - -70) a multiple of 45?
False
Let f(p) = 348*p**2 + 15*p + 3. Does 9 divide f(2)?
False
Let l(o) = -852*o**3 - 3*o**2 - 133*o - 402. Does 6 divide l(-3)?
True
Let s(m) = 17*m**2 + 16*m - 6*m - 7*m + 64 + 21*m. Let f(k) = 6*k**2 + 8*k + 21. Let n(d) = -8*f(d) + 3*s(d). Is 14 a factor of n(-6)?
True
Is 123 a factor of ((-4 - 26700) + 0)*(-19)/76?
False
Let s(u) = -2408*u - 683. Is s(-1) even?
False
Let h = 17 - -24. Suppose -h = -3*b - 35. Suppose -t + 19 = -o, 10*o - 5*o + 47 = b*t. Is t a multiple of 4?
True
Let n(v) be the third derivative of 29*v**4/24 + 16*v**3/3 + 5*v**2 - 7*v. Is n(15) a multiple of 30?
False
Suppose -85 = -5*n + 3*r, -11*n + 48 = -9*n - 4*r. Suppose -273 = 11*s - n*s. Let a = -46 + s. Does 17 divide a?
False
Let s(x) = -117*x + 1080. Is s(7) a multiple of 3?
True
Suppose 0 = -5*h + 2*h - 4*h. Suppose h = -5*d + 5*k - 4*k + 2250, 4*k = -20. Does 39 divide d?
False
Let p(n) = 2*n**2 + 10*n - 5. Let t(d) = -d**3 - 2 + 2*d**2 - 14*d - 10*d**2 + 15*d. Let f be t(-8). Is p(f) a multiple of 15?
False
Suppose -8*i + z + 9 = -3*i, -5*z - 20 = 0. Is 57 a factor of (i + (-10)/6)*513/(-6)?
True
Suppose 7*n - 53 = 31. Is 29 a factor of -42*(-6)/(n/14)?
False
Let x be 3/(-1)*2/(-6)*5. Let l = x - 5. Suppose l = 2*w - 5*w + 90. Is 5 a factor of w?
True
Let c(x) = 10*x**2 + 15*x + 14. Let y be c(-13). Suppose 0 = 4*k - 0*k - 2*t - 2002, 3*k = -t + y. Suppose 594 = 4*u - k. Does 30 divide u?
False
Suppose -3*c = -242 + 2. Suppose -27*r + 998 = c. Is 13 a factor of r?
False
Suppose -u = -3*u - 3*c - 20, 5*u = 4*c - 4. Does 34 divide u - ((-304)/4 + 4)?
True
Suppose -5*i - 27 = -3*h, -i = -2*h + 2*i + 17. Suppose 16 = h*j - 0, 0 = 5*m + 3*j - 202. Is 38 a factor of m?
True
Suppose -1344*h + 1346*h - 1822 = 0. Does 29 divide h?
False
Let j = 2693 - 3973. Let o = j - -1851. Let a = -204 + o. Does 48 divide a?
False
Suppose -3*f + 3612 = -5160. Does 14 divide (-1)/(-9) + f/9?
False
Let x = -20 - -45. Suppose 0 = -5*h - x, 5*h = -3*q + 2*q - 21. Suppose 275 = -q*t + 1923. Does 63 divide t?
False
Is 36/27 + 18560/12 a multiple 