 divide n?
True
Let p(m) = -30 - 4 + 4*m + 43*m - 12*m. Does 42 divide p(12)?
False
Suppose p + i + 72 = 6*i, 4*i = -5*p - 389. Let j = 122 + p. Suppose o = -4*s + 32, 3*o - 4*s = s + j. Is 14 a factor of o?
False
Let z be (-6)/(-15)*10/2. Suppose 0 = -s, -z*m + 0*m = 2*s - 14. Suppose 0 = -13*v + m*v + 774. Is 62 a factor of v?
False
Let z be (56/(-3))/((-16)/360). Suppose -4*l = -696 - z. Does 16 divide l?
False
Suppose -60*d = 74*d + 64*d - 653994. Is d a multiple of 5?
False
Let o(g) = -3563*g**3 - 16*g**2 - 37*g - 5. Is o(-2) a multiple of 51?
True
Let g = -1894 - -3587. Is 7 a factor of g?
False
Suppose -391*o = -524*o + 11970. Is o a multiple of 15?
True
Let i(j) = -5*j - 31. Let a be i(-9). Suppose -122 + a = -c. Suppose -w - 2*w = -c. Does 9 divide w?
True
Let u be 152/(-190) - (-882)/(-10). Let j = u - -1442. Does 32 divide j?
False
Suppose -l = -8*l + 399. Let u = l + -42. Let z = u + 33. Is 12 a factor of z?
True
Suppose 77*l - 71*l = 30. Suppose -6 - 8 = 2*j - 4*s, -3*s = -l*j. Does 3 divide j?
True
Let c = -6971 + 7260. Is c a multiple of 8?
False
Let m(f) = -2*f**3 - 28. Let j be m(0). Is 332/(-18)*-3 - j/(-84) a multiple of 17?
False
Suppose 98*a - 158671 = 262435. Is 54 a factor of a?
False
Let j = 184 + 161. Suppose -11*u + 7*u + 365 = -5*z, -z = -4*u + j. Does 15 divide u?
False
Let r(b) = 307*b**2 + 20*b - 204. Is r(6) a multiple of 12?
True
Suppose -14*a + 61173 = 5761. Does 29 divide a?
False
Let r = 2743 + 4223. Is r a multiple of 81?
True
Suppose 2*v = 46 - 36. Let l(m) = 4*m - 40. Let k(w) = -w + 8. Let n(q) = -16*k(q) - 3*l(q). Is n(v) a multiple of 6?
True
Let i(p) = 2*p + 81. Let t = -203 + 219. Is i(t) a multiple of 4?
False
Suppose -55676 - 62216 = -29*m + 355968. Is 94 a factor of m?
False
Suppose 3*q - 16204 = s, -128*q - 4*s - 27009 = -133*q. Does 67 divide q?
False
Let y(v) = -v**2 - 30*v - 90. Let g be y(-24). Suppose -111*f + 108*f + g = 0. Is 3 a factor of f?
True
Let z = 7457 - 1113. Does 144 divide z?
False
Let g(h) = h**2 - 7. Let m be g(-5). Is 24 a factor of m/((-5)/(40*-1))?
True
Suppose -23*j + 429666 = 12*j + 3*j. Is j a multiple of 12?
False
Suppose -4*d = -69 + 53. Suppose -16*x = -d*x - 14796. Is x a multiple of 90?
False
Let u(t) = -5*t**3 + t**2 - 4*t - 6. Suppose 6*b + 6*b = 168. Let c be (2 + 1)*(-14)/b. Is 25 a factor of u(c)?
True
Let k(d) = 113*d - 55. Let o be 340/90 + (-2)/(-9). Is k(o) a multiple of 11?
False
Suppose 36 = -2*f + 2*v, -4*f - 8*v - 86 = -5*v. Does 9 divide (3/5*19)/((-2)/f)?
False
Suppose -32*b - 70*b = -9*b - 800544. Is 8 a factor of b?
True
Let d be 36/45*(35/(-2))/7. Does 22 divide -1 + 1 - -636 - d?
True
Suppose 7*x - 10*x = 2*v - 16813, x + 2*v = 5611. Is x a multiple of 52?
False
Let t be (-81)/15 + 5 + (-4)/(-10). Suppose -249 = -s + y, 12*s - 17*s + 4*y + 1247 = t. Is 13 a factor of s?
False
Let g = -62 + 77. Let v(m) = g + m**2 + 4*m - 6*m + 67. Is v(0) a multiple of 10?
False
Let k(p) = p**3 + 70*p**2 - 42*p - 318. Is 23 a factor of k(-70)?
True
Suppose -541 = 5*d - 3*l - 0*l, -5*d - 3*l - 529 = 0. Let r = d + 111. Does 8 divide (37 - r) + (-16)/(-4)?
False
Suppose 386*l - 2764069 = 2118059. Does 34 divide l?
True
Let i(z) = -852*z + 10050. Does 27 divide i(-5)?
True
Suppose -4*y - 81*b + 84*b = -13250, 3*b = -y + 3320. Does 8 divide y?
False
Suppose 69*b + 48*b - 1289713 - 1094162 = 0. Does 5 divide b?
True
Is 10 a factor of 1 + 8375 - (20 - 24)?
True
Let l(a) = 38*a - 122. Let y be l(31). Suppose 24*s + 2*k - 806 = 21*s, -y = -4*s + 2*k. Does 38 divide s?
True
Suppose 9*o = 887 - 236 + 294. Is o a multiple of 2?
False
Suppose -37 = 4*t - c - 120, 5*t = -2*c + 94. Suppose -2*b + t = 2. Suppose -w + 27 = -b. Does 7 divide w?
False
Suppose 69*w - 53984 = 24*w - 11*w. Does 2 divide w?
True
Let a be (21 - 3)/(3 - 568/184). Let d = a + 267. Is 15 a factor of d?
True
Let u(m) be the third derivative of m**6/120 - m**5/6 - 5*m**4/6 - 41*m**3/6 + 12*m**2. Let r be u(12). Suppose -r*l - 39 = -137. Is 9 a factor of l?
False
Let w(b) be the first derivative of 2*b**3/3 + b**2 + 4*b + 10. Let c be w(-2). Does 11 divide 21 - (0/c + (-1)/1)?
True
Suppose 0*f = 14*f - 28. Suppose -f*c = 4, 16*c = 2*j + 12*c - 634. Is j a multiple of 17?
False
Suppose -2*q + 2*h + 30 + 28 = 0, 15 = 5*h. Is 10 a factor of (-1688)/q*-4 + -1?
True
Let b(s) = 9*s**3 + s - 3. Let g be b(-2). Let q = g - -79. Suppose 2*l - 190 = -i - l, -8 = q*l. Is 36 a factor of i?
False
Suppose 2 = -4*y - 14, 3*u = y + 13. Suppose 5*k - 67 + 27 = -4*q, u*q + 3*k = 27. Suppose -2*p + 70 = -q*l + 7, 84 = 3*p - 4*l. Is p a multiple of 21?
False
Let a(o) be the first derivative of o**4/4 + 3*o**3 - 2*o - 5. Let n be a(-9). Is (-28)/(n/(-8) - 136/288) a multiple of 30?
False
Let u = 219 + -122. Let n = -63 + u. Does 17 divide n?
True
Suppose 60*m - 351329 = -149*m. Is 6 a factor of m?
False
Let o be (-1 - (-2)/(-1)) + -3. Let s be ((-36)/21)/(o/189). Does 2 divide 120/s + 2/(-9)?
True
Let n be ((-65)/10)/(-1 + (-590)/(-592)). Let b = n - 1115. Suppose b = 5*c + 24. Does 47 divide c?
False
Let w(a) = -20*a. Let o be w(-1). Suppose -19*i + o*i = -7. Is 6 a factor of (-7)/(147/72)*i?
True
Suppose w + 17*f - 22*f + 6 = 0, -3*w + 4 = -4*f. Suppose 5*t = 3*t - w, -t = 4*p - 2126. Does 28 divide p?
True
Let m(i) = i**2 + 4*i + 13. Let j = 32 + -39. Let y be m(j). Let f = y + -16. Does 8 divide f?
False
Let m = 4496 - -1066. Does 54 divide m?
True
Suppose -12*w = -9*w - 537. Let v = -87 + 390. Let q = v - w. Is 11 a factor of q?
False
Let p be (-3)/9 - 7/(-3). Suppose -4*c = p*u - 312, 0 = -3*u + 3*c + 352 + 71. Suppose 3*q = 5*z - 26 + u, 2*q + 5*z = 55. Is q a multiple of 13?
False
Let h(g) = -7*g - 7. Let i(w) = 10*w + 10. Let a(c) = 7*h(c) + 5*i(c). Let k be a(-3). Does 11 divide (k + 4)*67 + -1 + -1?
True
Suppose 5*u + 43360 = -185*t + 190*t, -8680 = -t + 5*u. Does 30 divide t?
True
Suppose -2*h - o - 57 = 0, h - 4*o + 8 = -16. Let m(i) = -i**3 - 26*i**2 + 39*i + 67. Is 50 a factor of m(h)?
False
Suppose -r = r. Suppose -2*m - 6 + 36 = r. Suppose 39 = 3*x + 3*k, -m - 6 = -x - 5*k. Does 11 divide x?
True
Let s(v) = 100*v - 150. Let r = -269 + 277. Is 67 a factor of s(r)?
False
Let s(x) = 164*x + 99. Let n be s(9). Let q = n + -895. Is 18 a factor of q?
False
Suppose 0*q = -2*q + 4*j - 24, -j + 4 = 0. Let b(g) = 15*g**2 - 3*g**3 - 17*g**2 + 5 + 0*g**3 + 4*g**3 + 4*g + 8*g**2. Does 7 divide b(q)?
True
Let d(i) = -27*i - 9. Let p be d(-3). Let z be p/30 + (-4)/10. Does 3 divide 456/12 - (2 - 4/z)?
False
Let y be 8/32*(3 + 13). Suppose a = -y*a - 2*a. Is (a - -79 - 0)*(0 - -1) a multiple of 7?
False
Let x = 10 - 35. Let n be (-4 - 95/x) + 226/5. Does 12 divide (-2)/10 + 3789/n?
True
Is 12 a factor of (-1*5933)/(-1) + (17 - -1) + -14?
False
Is 10*(-3)/(-40)*(1 - (-1 + -8602)) a multiple of 9?
True
Let l = 314 + -310. Suppose k - 97 = l*p - 791, 4*k = 8. Is p a multiple of 15?
False
Is 120 a factor of ((-305283)/116)/((-5)/20)?
False
Suppose -4*b - 12 = 4*a, 3*b + 6*a = 10*a - 9. Is (39/36*3)/(b/(-228)) a multiple of 12?
False
Suppose -20 = -5*t - 3*b, 4*b = 5*b. Suppose u - 5*p - 123 = -u, 254 = t*u - 2*p. Is 3 a factor of u?
False
Let p(j) = -5*j + 43. Let x be p(9). Does 6 divide x/(-5) + (7992/30)/9?
True
Let p(a) be the first derivative of 81*a**4/4 - 2*a**2 + 11*a - 81. Does 77 divide p(2)?
False
Let t be (1 - -2)/(4*9/24). Suppose -t*q + q = -3. Does 11 divide 22/(-10)*(q - 8)?
True
Suppose -4860 = -5*a - 4*s, -22*a + 27*a - s = 4860. Suppose -21*x = -12*x - a. Is x a multiple of 4?
True
Let n = 8065 + 1607. Is 124 a factor of n?
True
Let g(x) = 1055*x + 1846. Is g(10) a multiple of 3?
True
Let n(f) = 6*f + 39. Let v be n(-4). Let a(x) = -x**3 + 16*x**2 - 29. Is a(v) a multiple of 53?
False
Does 97 divide (-3)/(-21) - (87348/(-35) + (-72)/(-40))?
False
Let z(f) be the first derivative of -f**4/12 - 5*f**3/6 + 6*f**2 - 9*f + 1. Let i(a) be the first derivative of z(a). Is 4 a factor of i(-6)?
False
Suppose 4*g = 0, 0 = -2*x - 13*g + 16*g + 9320. Is x a multiple of 40?
False
Suppose -58 = 3*d - 61. Does 6 divide 84/10*(d - -14)?
True
Let d be (1/(-3))/(0 - 1)*3. Suppose 0 = -z + d - 13. Is 378/12*z/(-9) a multiple of 21?
True
Suppose -5*g + 134 = -2*g - r, 0 = -5*g - 3*r + 228. Let v be ((-280)/(-6))/7*g. Suppose 1125