a factor of 5/((-1)/y*-3)?
True
Suppose -14394 = -2*c + 27830. Does 91 divide c?
True
Is (-373)/5*-27 - (-32)/120*3 a multiple of 155?
True
Suppose 0 = 162*z - 170*z + 89120. Is 12 a factor of z?
False
Suppose 18*g - 2*g = -96. Is ((-38)/g)/(427/84 + -5) a multiple of 4?
True
Suppose -5*k + 3*g + 517 = 0, k = 3*g - 6*g + 107. Suppose 46 - k = -2*t. Is t even?
False
Let r = 1889 - -18631. Is r a multiple of 108?
True
Suppose y - 3*m - 31 = 0, 0 = -0*y - y - 5*m + 23. Let t be (735/(-15))/(-2 - -1). Does 6 divide (126/t)/(1 + (-25)/y)?
True
Let b = 172 + -169. Suppose -b*t + 608 = 5*i, 2*t + 3*i - 658 = -254. Is 8 a factor of t?
False
Let d = -103 + -275. Let u = 833 + d. Is 65 a factor of u?
True
Let t(j) = 57*j + 45. Let k(m) = m**3 + 16*m**2 + 16*m + 22. Let c be k(-15). Does 11 divide t(c)?
False
Suppose 2200 = u - 2*s, -8221 - 2779 = -5*u + 2*s. Is u a multiple of 20?
True
Let m = 39 + -45. Let g be 1337/14 - (-2 + (-15)/m). Let i = g - 30. Is i a multiple of 6?
False
Suppose 0*k = -3*t + k - 89, k = t + 29. Let l = t - -30. Suppose -7*p + 70 + 203 = l. Is p a multiple of 8?
False
Suppose -2*h = -2*q + 8, q + h + 10 = 5*q. Is 8 a factor of 293 - q/((-12)/(-30))?
True
Suppose 95 = 2*m + 233. Let s = m - -304. Is 13 a factor of s?
False
Suppose -5*m - 49525 = -5*o, 0 = -3*o + 75*m - 68*m + 29711. Does 32 divide o?
False
Let w(m) = -2*m - 11. Let h be -1*1*(2 + -13). Suppose -4 - h = n. Does 15 divide w(n)?
False
Is 7 a factor of (810/243)/((12/42)/(1050/1))?
True
Let j(f) = 2*f**3 + 3*f**2 - f - 3. Let t be (((-16)/(-4))/4*-5)/(-1). Is j(t) a multiple of 6?
False
Let b(f) = -f**3 + 75*f**2 - 315*f - 135. Is 54 a factor of b(51)?
True
Let c = -190 + 176. Is 7/c*(1 - 49) a multiple of 8?
True
Let a = -12560 + 30933. Is a a multiple of 47?
False
Let t(y) = -4*y**2 - 3*y + 3*y + 4032 - 62*y**3 - 4035. Does 53 divide t(-2)?
True
Let l(z) = z**2 - 6*z + 6. Let t be l(-12). Let j be (18/(-4))/((-3)/t) + 2. Suppose 2*u = -3*y + j, -4*y + 0*y = 4*u - 452. Is 17 a factor of y?
False
Let d(t) = -36*t**3 + 9*t**2 + 11*t + 17. Let y(c) = -12*c**3 + 3*c**2 + 4*c + 6. Let b(m) = -4*d(m) + 11*y(m). Is 20 a factor of b(2)?
False
Suppose -12*d + 378 = 6*d. Does 70 divide (-6)/5*(4 + (-5894)/d)?
False
Let m = -6 + 13. Suppose 2*p - 156 = -5*r + m*r, 5*p - 3*r = 384. Is p a multiple of 5?
True
Suppose 5*y = -4*m + 6*y + 4145, 4*y - 5197 = -5*m. Suppose -4*q = -7*q + 4*b + m, 0 = 4*q - b - 1400. Is 39 a factor of q?
True
Suppose -3*y + 147 = -3*t, 5*y - 115 = 2*y - 5*t. Suppose -12*c + c + 10098 = 0. Does 34 divide (-10)/(-3)*c/y?
True
Let k(m) = 16*m**2 - 1. Let d be (-2)/(4/6 + 12/9). Let i be k(d). Does 9 divide (90/(-25)*1)/((-2)/i)?
True
Let l = 11335 + 13755. Does 22 divide l?
False
Let a(s) = -s**2 + 6*s + 7. Let q be a(7). Suppose q = 2*j - 315 - 381. Is 10 a factor of j?
False
Suppose -a + 72 = 5*z - 411, a = 3*z + 451. Suppose 3*i - 239 = a. Is i a multiple of 26?
True
Let s(h) = h**2 + h - 22. Suppose 3*f + 13 = -2*i - 2, 2*i - 3*f + 9 = 0. Let a be s(i). Suppose a*u + 0*u = 1456. Is 14 a factor of u?
True
Is 8 a factor of (339 - -81)*42/15?
True
Is 8 a factor of 1510/(-1208) + (-79690)/(-8)?
True
Suppose 3*o + 3366 = -0*o + 28473. Does 111 divide o?
False
Let g be (4/6)/(4/(-54)*3). Is 9 a factor of 26*(g + (-45)/(-6))?
True
Let r = -258 - 8. Let b = r - -298. Does 22 divide b?
False
Let d(q) = q**2 + 2*q + 8. Let j(b) = b**2 - 11*b + 21. Let k be j(9). Let x be ((36/14)/k)/(1/(-7)). Is 14 a factor of d(x)?
False
Let y = 7454 + -5275. Let s = y - 1233. Is s a multiple of 34?
False
Is 2 + (40440/18 - (-1)/3) a multiple of 32?
False
Suppose 21*j = 6648 - 1545. Does 2 divide j?
False
Suppose -11*k = -7*k - 1040. Let i = 135 + k. Is i a multiple of 49?
False
Let a = -27 - -27. Suppose -2*u = -a*x - 3*x - 592, -u + 4*x = -286. Is 46 a factor of u?
False
Suppose 3 = -5*p - y, 3*p - 1 = -0*p - 2*y. Let f(k) = 27*k**2 - 2 + 4 + 0 + 3*k. Is f(p) a multiple of 13?
True
Let w be (4 - 16/5)*(-25)/(-2). Let v = w - 17. Let b(p) = p**3 + 9*p**2 - 7*p - 6. Is 47 a factor of b(v)?
True
Let o be (-2)/7 - (-288)/126. Suppose -5*a + 47 = -4*b + 7, -o*b - 26 = -4*a. Suppose -10 = -a*w - 2, 2*l - 82 = -w. Is 39 a factor of l?
False
Suppose -3*j + 3*l = l + 23, 4*j + l = -38. Let g be 3/j - (1 - 33/(-9)). Let t(i) = -31*i + 7. Is 14 a factor of t(g)?
False
Let z(a) = 2*a**2 + 17*a + 77. Let w(q) = 5*q**2 + 34*q + 154. Let u(i) = -3*w(i) + 7*z(i). Does 37 divide u(16)?
False
Is 15 a factor of (-9 - -1398) + (-22 - -3)?
False
Let d = 8215 + -5811. Is d a multiple of 120?
False
Suppose -36983*t + 738 = -36980*t. Is 3 a factor of t?
True
Let t = 182 - 180. Suppose t*y - 21*r - 723 = -26*r, 0 = 4*y - 2*r - 1482. Is y a multiple of 7?
False
Let h(y) be the first derivative of -625*y**4/2 - y**3/3 - 3*y**2 - 6*y - 101. Does 20 divide h(-1)?
False
Let d be 9/(-3)*-1 + -3. Suppose -12600 = -7*j - d*j. Is 10 a factor of (((-3)/4)/(-1))/(15/j)?
True
Let k = 37 + -34. Does 17 divide 211 - (30/(-9))/((-2)/k)?
False
Let z = -3689 + 12584. Is 101 a factor of z?
False
Let y be (-6 - -3) + (-15)/((-3)/1). Is 59 a factor of ((-8)/y + (-1380)/36)*-3?
False
Let g(r) = -6*r**3 + r**2 + 3*r. Suppose -3*t + 2 = 11. Let b be g(t). Suppose 0 = 3*i - 3 - b. Is 11 a factor of i?
True
Let y(m) = -1066*m + 1136. Is 67 a factor of y(-3)?
False
Suppose 4*x + 4*d = -1190 + 4470, -x + 3*d = -828. Does 2 divide x?
True
Suppose 2*q - p - 169448 = 0, 4*q + 0*p = -5*p + 338952. Is 28 a factor of q?
True
Let q(v) be the second derivative of 5*v**4/12 + 49*v**3/6 + 15*v**2 - 10*v + 4. Is q(-14) a multiple of 27?
True
Let l(x) = 4*x + 22. Let o be l(-4). Suppose -4*g - 58 = -3*w + 38, 0 = 2*g + o. Is 28 a factor of w?
True
Let d be ((-12)/(-15))/((-2)/5). Let w be ((-4)/d)/((-5)/10). Is 30 a factor of (-6)/w - (-201)/2?
False
Let r = 355 + -595. Let i = 304 + r. Is i a multiple of 38?
False
Let s(d) = -d**2 - 129*d + 601. Is 13 a factor of s(-129)?
False
Suppose -b - 64 = -3*b. Suppose -2*d - 38 = -b. Let a = d + 24. Is 3 a factor of a?
True
Let l(z) = 3*z**2 - 161*z + 115. Does 27 divide l(-37)?
True
Let x = 6 + -20. Let s = x - -14. Suppose s*m = 5*m + 2*l - 44, l - 2 = 0. Is m a multiple of 3?
False
Let j(d) = -3*d + 10. Let u be j(20). Let c = -44 - u. Suppose -8*s = -c*s - 50. Is 13 a factor of s?
False
Let c = -380 + 1146. Let r = 1113 - c. Does 86 divide r?
False
Is 4/(-14) - ((-4324872)/168 - 24) a multiple of 58?
False
Let p(y) = -y**2 + 140 + 5*y + 2*y**2 - 4*y. Let n(a) = -a**2 - 8*a + 48. Let s be n(-12). Is 20 a factor of p(s)?
True
Let o = 281 + 8941. Does 106 divide o?
True
Suppose 2212 = 3*w - 4*h, -w - 4*h + 921 = 157. Suppose 7*q - 2056 = w. Does 25 divide q?
True
Let x(f) = 57*f + 6. Let o(c) = -c**2 - c + 31. Let t be -2*1 + (0 - 3 - 1). Let k be o(t). Does 14 divide x(k)?
False
Let o = 282 - 117. Suppose y - o + 169 = 0. Does 35 divide -1 + 198 + (-2)/(-2)*y?
False
Let j(g) = -13*g + 56 - 13*g**2 - 46 - 3*g**2 - g**3. Let b be j(-15). Does 15 divide -2*115/b*8?
False
Let y = -274 + 563. Let b = y - 196. Is 16 a factor of b?
False
Let b = 25 - 22. Let d be (40/6 - -4)*b. Suppose d = -34*n + 35*n. Does 16 divide n?
True
Let o(x) = -3*x**2 + 8*x - 10. Let f(j) = 2*j**2 - 8*j + 9. Let h(l) = -4*f(l) - 3*o(l). Let s be h(-8). Does 27 divide (17*1)/(s/(-12))?
False
Let g(z) = -13*z - 51. Let r = -67 - -60. Let d be g(r). Let y = d - 31. Is 5 a factor of y?
False
Is 8 a factor of ((-3072)/(-224))/(6/1743)?
True
Let m be ((-9)/6)/((-1)/12). Let f(a) = -a**3 + 4*a**2 + 3*a**2 - m - 22 - 13*a + 12*a**2. Does 11 divide f(18)?
False
Suppose -294 = 6*w - 312. Suppose -w*r - 2*h + 758 = 0, 4*r - 135 - 870 = 3*h. Is r a multiple of 14?
True
Suppose -363*w + 69866 + 100270 = -345*w. Does 38 divide w?
False
Let w = 14171 - 7717. Does 6 divide w?
False
Let g(b) be the second derivative of -13/12*b**4 + 0 - 31*b + 1/6*b**3 + 1/20*b**5 + 1/2*b**2. Is g(13) a multiple of 7?
True
Let j = -29 + 37. Suppose -2*l = -j*l + 48. Suppose 4*v - 4*y - l = 144, -y - 80 = -2*v. Is v a multiple of 6?
True
Let x(b) = -3*b**3 - 9*b**2 + 9*b - 10. Suppose 0 = s - q + 10, -15 = 6*s - 3*s + 2*q. Is 29 a factor of x(s)?
False
Let f be -3 + ((-3)/5 - (-2563)/55). Let m = f + -39. Is 3 a factor of 1 - -58 - (9 - m)?
True
Let p(