 x a multiple of 41?
False
Does 52 divide (5*(-39)/(-60))/((-1)/(-16))?
True
Does 9 divide ((-1279 + 9)/10)/(-1)?
False
Suppose 15*m + 9*m = 43776. Does 57 divide m?
True
Suppose -77 = -n + 248. Does 24 divide n?
False
Let x(q) = q**2 - 7*q + 10. Let z be x(4). Let l = z - -75. Is 11 a factor of l?
False
Suppose 131 = -4*b - 0*s + s, 4*b + s = -133. Let q = b - -262. Does 33 divide q?
False
Suppose 0 = 8*y - 19*y + 583. Is y a multiple of 6?
False
Let h(w) = 20*w**2 + 52*w - 9. Is h(-5) a multiple of 5?
False
Suppose -4*p + 1613 - 172 = f, -p - f = -358. Let g = p - -71. Suppose 0 = 3*j + 3, 0 = 5*m - j - g + 41. Is 26 a factor of m?
True
Suppose 20 = -2*x + 7*x. Suppose 2*m = 4*m. Suppose m = k, -3*j + 28 = j + x*k. Is 7 a factor of j?
True
Suppose 2*y + 9 = 31. Does 7 divide (-2 + 3)*-1*(-308)/y?
True
Suppose 0 = 4*r + 2*w - 7246, 75 = -5*w + 50. Is 42 a factor of r?
False
Let f(t) = 2*t - 7. Suppose -1 = -2*x - 7. Let j(b) = -5*b + 13. Let y(d) = x*j(d) - 7*f(d). Does 21 divide y(11)?
True
Suppose -4*n = 2*h + 126, h - 2*n + 33 = -18. Let q = h + 95. Does 24 divide q?
False
Let n(f) = -f + 9. Let i be n(13). Let y be ((-24)/(-14))/(i/(-98)). Does 8 divide (14/(-4))/((-7)/y)?
False
Suppose 4*u + 5*u + 774 = 0. Let z = u - -128. Does 14 divide z?
True
Suppose 5*v + 20 = 0, -3*q - 3*v = v - 2. Suppose -15 = 5*a - q*a. Suppose -3*o = -4*p + 49 + 24, -3*o + a = 0. Is p a multiple of 11?
True
Suppose 9*o - 1919 + 110 = 0. Let y = o - 118. Is 16 a factor of y?
False
Let s = -64 - -13. Let o = s - -99. Is o a multiple of 12?
True
Let d = 322 - -273. Is 85 a factor of d?
True
Let d(s) = 2*s - 8. Let v(a) = 10*a - 41. Let q(j) = -11*d(j) + 2*v(j). Is 19 a factor of q(-16)?
True
Let x(f) = -5*f - 16. Suppose -3*n + 23 = -3*d - 1, -2*d - 26 = 3*n. Does 17 divide x(d)?
True
Suppose 0*v + 2*v + 4 = 0. Let h be v*(-3)/12*-28. Does 5 divide (-100)/h - 3/21?
False
Let i(j) = -j**3 + 12*j**2 - 20*j + 2. Let h be i(10). Let v(y) = 16*y - 5*y**2 + 11 + 4*y**h - 7*y. Is v(9) a multiple of 11?
True
Let g(w) = -w**3 + 9*w**2 + 10*w + 2. Is g(8) a multiple of 18?
False
Let a(b) = -7*b - 30. Let z be a(8). Let s = z - -99. Does 13 divide s?
True
Suppose 1268 = 3*f - 3*o - 2017, 4*o - 3320 = -3*f. Does 50 divide f?
True
Let y = -62 - -59. Does 30 divide -9*(-16)/(5 + y)?
False
Let u = -203 - -377. Is u a multiple of 9?
False
Is 17 a factor of (-2017)/(-4) + 135/(-540)?
False
Suppose c - 1042 = -166*x + 167*x, 0 = x - 2. Is c a multiple of 29?
True
Is 16 a factor of 3/9*24/(-16)*-2358?
False
Let g(y) = 24*y - 1416. Is 9 a factor of g(75)?
False
Suppose 10*p - 2720 = 8*p. Does 20 divide p?
True
Let r(q) be the third derivative of q**5/12 - q**4/24 - 2*q**3/3 + 2*q**2. Let t(o) = -o**2 - 7*o - 8. Let y be t(-5). Does 11 divide r(y)?
False
Let n = -76 - -424. Is n a multiple of 12?
True
Suppose 5*a + 3 = -2. Let l be (1 + -4 - -1)/a. Suppose -j + l*j - 20 = -3*o, 2*o = -2*j + 32. Is j a multiple of 14?
True
Let d(y) = 4 + 6*y + 0 - y**3 - 8 + 5*y**2. Is d(4) a multiple of 12?
True
Let b(y) = y + 5. Let v be (-1)/((-80)/28 + 3). Let h be b(v). Is 15 a factor of h - 1*(-62)/1?
True
Let a = -39 + 44. Suppose a*t + 83 - 608 = 0. Does 21 divide t?
True
Suppose 0 = f + 3, -5*q = -4*q + 3*f - 6. Suppose -2*k - 2*k = 0. Suppose k = v - q - 29. Does 11 divide v?
True
Let b = -22 + 148. Does 21 divide b?
True
Let f(q) = -12*q + 223. Is 8 a factor of f(0)?
False
Let u(m) = 20*m + 47. Let t be u(11). Suppose -2*b + 400 = 3*j, -4*b + 3*b = 2*j - t. Does 12 divide j?
False
Is 22 a factor of -7*((18672/42)/(-8) + -1)?
True
Let c = 568 + -467. Is c a multiple of 7?
False
Let v(d) = 7*d**3 - 41*d**2 + 8*d. Does 9 divide v(6)?
False
Let y(j) = -8*j + 440. Does 22 divide y(0)?
True
Let v(j) = -91*j + 1. Let r be v(-2). Suppose 0 = -2*y - m + r, 0*y - 2*m + 186 = 2*y. Does 30 divide y?
True
Let g = -640 - -682. Does 3 divide g?
True
Is 7 a factor of (1/(-2))/(9/27270*-5)?
False
Suppose -7*d + 602 = -1953. Does 8 divide d?
False
Let i = -28 - -32. Suppose -143 = -i*m - 7. Does 9 divide m?
False
Let n = 202 + -154. Is 3 a factor of n?
True
Let q(v) = 8 - 116*v**2 + 60*v**2 + 59*v**2 + 28*v. Is q(-11) a multiple of 11?
False
Let n = -276 + 780. Is n a multiple of 56?
True
Let d = 1467 - 1219. Does 45 divide d?
False
Let o(d) = -d**2 - 3*d + 4. Let h be o(0). Suppose 0*r + 36 = h*r. Is 2 a factor of r?
False
Let a(d) be the third derivative of 1/24*d**4 - 21/40*d**6 - 6*d**2 + 1/60*d**5 + 1/6*d**3 + 0 + 0*d. Does 16 divide a(-1)?
True
Suppose -636 = -f - t + 232, 0 = 5*f + t - 4324. Suppose 16*m = 7*m + f. Is m a multiple of 16?
True
Let d(g) = g - 3. Let a be d(5). Suppose 7*p - a*p = 335. Does 11 divide p?
False
Let u be 6/((27/2)/9). Suppose -j + u*j - 189 = 0. Does 21 divide j?
True
Is 7 - ((1356*4)/(-8) + 8) a multiple of 9?
False
Let r(w) = -6*w - 2. Let c(u) = u**3 - 16*u**2 - 1. Let b be c(16). Let t be r(b). Suppose -t*g + 35 = 3*p - 29, g = 1. Is p a multiple of 5?
True
Suppose 20 - 44 = 3*a. Let h(v) = -3*v - 20. Is 3 a factor of h(a)?
False
Let u(v) be the third derivative of v**5/4 - v**4/24 + 2*v**3/3 - 14*v**2. Is u(2) a multiple of 12?
False
Suppose -z - 1 = 0, 4*p + p - 5*z + 65 = 0. Let f = p + 20. Is 7 a factor of 9/f - 92/(-8)?
False
Is 14 a factor of 0/2 + (140 - (9 + -9))?
True
Suppose 0 = -i - 27 + 275. Let s = -694 + 694. Suppose -3*r - r + i = s. Does 14 divide r?
False
Let l(r) = -30*r**3 - r + 1. Let w be l(1). Let h(v) = -6*v**2 - 14*v - 7. Let z be h(-3). Let o = z - w. Is o a multiple of 7?
False
Let v(f) = f**2 + 3*f + 4. Let d be v(-1). Suppose -4*m + 358 = w, m = -7*w + d*w + 99. Does 22 divide m?
False
Let b be 4/(-12) + (-26)/(-6). Suppose -b*u + 1175 = u. Does 47 divide u?
True
Suppose -d - 3*d + t - 47 = 0, t = -5. Let r = -8 - d. Suppose -45 = -8*x + r*x. Does 15 divide x?
True
Suppose -4*c = -13*c + 5616. Is 48 a factor of c?
True
Suppose 16*v - 25*v = -1395. Does 88 divide v?
False
Suppose 5*d - 6350 = -5*z, 2*z - 233*d - 2549 = -232*d. Is 67 a factor of z?
True
Suppose 10*f - 861 = 7*f. Is 10 a factor of f?
False
Let n = -432 + 729. Is 33 a factor of n?
True
Let i be 0/(5/5)*1. Suppose o - 5*m - 7 = 4, i = -5*m + 25. Is 9 a factor of o?
True
Let q(g) = 2*g**2 - 39*g + 20. Is q(23) a multiple of 43?
False
Let n(a) = 39*a**2 - 20*a + 122. Is n(10) a multiple of 13?
True
Suppose 2*x = -3*z + 15, -z = -0*x + x - 7. Is 18 a factor of (10/x)/((-1)/(-54))?
True
Let i(z) = -z**3 + 7*z**2 - 2*z - 1. Let h be i(6). Let q = -21 + h. Does 18 divide -1*(q + -6 - 14)?
True
Let v(s) = s**3 + 5*s**2 - 7*s - 4. Let y be v(-6). Suppose -4*l + 7*l = 0. Suppose l = -5*h - y*q + 99, -2*q + 0 + 4 = 0. Does 7 divide h?
False
Let g(h) = h**2 + 5*h - 4*h + h - 7. Is 4 a factor of g(-5)?
True
Let k = -484 + 536. Does 20 divide k?
False
Suppose -4149 + 922 = -2*v + l, -4*l = 2*v - 3212. Suppose c = 14*c - v. Is 12 a factor of c?
False
Let q be 9 + 0 + -4 + 0. Suppose q*g = 7*g. Suppose g = -2*w - 23 + 125. Does 37 divide w?
False
Let q(k) = -10*k**2 + 5*k - 11. Let b(j) = 10*j**2 - 5*j + 10. Let i(o) = 5*b(o) + 4*q(o). Is 5 a factor of i(1)?
False
Suppose -5*w = -3*w - 54. Let r(j) = j - 7. Let y be r(-9). Does 6 divide w - (y/(-4) - 1)?
True
Let i = 2024 + -1160. Is i a multiple of 12?
True
Suppose -g + 2*g + 2*h - 4 = 0, h = 2. Let m = -21 - -26. Suppose -4*i + g*i - 83 = -5*j, -m*i = -3*j + 55. Does 15 divide j?
True
Let k(x) = -22*x + 21. Let n be k(-11). Suppose 3*g - 3*w = 529 + 287, 0 = -g + 4*w + n. Is g a multiple of 25?
True
Let v(w) = -w**3 + 9*w**2 + 11*w - 13. Let p be v(10). Let j be p - (-21)/(2 - -1). Is -23*j/(12/(-3)) a multiple of 9?
False
Let n(v) = -19*v**2 + 5 + 40 + 18*v**2 + 28*v. Is n(23) a multiple of 37?
False
Suppose 2 + 8 = g. Let f = 12 - g. Is 2 a factor of (f - 0)*2 + 3?
False
Suppose 10 = t + 1. Suppose -3*m = -t*m + 60. Does 5 divide m?
True
Suppose 5*s - 2*h = 456, -s = s + 3*h - 190. Is 46 a factor of s?
True
Let r be (561/(-9))/((-1)/3). Let h = r + -73. Is h a multiple of 15?
False
Let x(w) = -w**3 + 8*w**2 - 6*w + 7. Let b be x(7). Suppose 0 = b*o - 20*o + 132. Is o a multiple of 10?
False
Let q be (-308 - 4)/((-4)/(-8)). Is q/(-20) - 6/30 a multiple of 8?
False
Let h be 2 + 24*-2 - 3. Let g(w) = -23*w - 10. Let u be g(-4). Let j = h + 