j be c(-1). Suppose j = -28*r + 32*r. Is r a multiple of 23?
True
Suppose 5 = 5*p, 5*f - 2*p + p - 59 = 0. Let b be (-4)/22 + (-43130)/(-55) + 1. Suppose g - 4*g = -f, 5*g - b = -5*u. Is 27 a factor of u?
False
Let x(t) = -t**3 + 6*t**2. Let d be x(6). Let v be 15/(-35) - (-10)/7. Suppose d = 4*u - 33 + v. Is 8 a factor of u?
True
Let w(i) = -i**2 - 13*i - 38. Let p be w(-9). Is 3 a factor of p/(-2*2/108)?
True
Let h(v) = -3399*v - 2049. Is 14 a factor of h(-3)?
True
Suppose d + 15*w + 2 = 11*w, -d + 4*w + 22 = 0. Let z(u) = 3*u**3 - 24*u**2 + 31*u - 23. Does 13 divide z(d)?
False
Suppose 4*s - 38829 = -3*x, -2*s = -3*x + 25327 + 13466. Does 80 divide x?
False
Let g(h) = -5 - 26*h + 13*h - 37*h + 9*h**2. Does 21 divide g(7)?
False
Let x = 8683 - 2414. Suppose 12*i = 1723 + x. Does 74 divide i?
True
Let d = 11478 - 2956. Is 98 a factor of d?
False
Suppose 5*v + 37 = 4*j, -11 = -5*j + 2*v + 14. Let r be 2/8 + (-15)/(-4). Suppose -2*a + 134 = j*s, a - r*s = s + 54. Is a a multiple of 16?
True
Let z = -10 + 54. Suppose -4*m + 3*c = -0*m - z, 2*m = -4*c. Suppose -3*o + 4 + m = 0. Does 3 divide o?
False
Suppose 9*r - 83*r - 190004 = -1453406. Is r a multiple of 7?
True
Let n be 25 - 3*(-2)/(-6). Suppose -160 = -4*x - n. Suppose 5*c - 4 = -t + x, -2*t - 2*c = -116. Does 7 divide t?
True
Let d = 768 + -771. Let a(n) = 3*n**2 + 2*n + 1. Is 7 a factor of a(d)?
False
Let o(m) = -m**2 - 161*m - 4. Is o(-79) a multiple of 32?
False
Let t = 2021 - -3055. Is 188 a factor of t?
True
Suppose 0 = -5*o - 3*q + 34340 + 18682, 0 = -5*o - q + 53024. Does 35 divide o?
True
Suppose 5*z + 310 = 5*t, 0 = 2*z - 0 - 8. Let j(r) = 25*r - 3. Let n be j(7). Let d = n - t. Is d a multiple of 17?
False
Let q be ((-462)/(-44))/((-2)/(-4)). Suppose -q*x = -7*x - 14000. Is 20 a factor of x?
True
Does 56 divide (-20835)/(-3) - (9/45)/(3/15)?
True
Let p(f) be the third derivative of f**6/120 - 7*f**5/60 - 5*f**4/24 - 5*f**3/6 - 5*f**2. Suppose 16*w = 21*w - 40. Is 3 a factor of p(w)?
False
Let r = 345 - 0. Suppose r*m = 340*m + 6160. Is m a multiple of 28?
True
Let g be ((-18)/4)/9*8/(-2). Let c be ((0/(-12))/(1*-1))/g. Suppose c*o - 4*o = -4*t - 740, -o - 5*t + 155 = 0. Is o a multiple of 15?
True
Let h = -367 - -369. Suppose -2*v = -2*y + 68, -59 - 104 = -5*y - h*v. Is y a multiple of 3?
True
Let x be (2*(-300)/(-32))/((-21)/(-280)). Let d = x - 161. Does 26 divide d?
False
Suppose 0 = 5*v + n - 31920, v - 6390 = -37*n + 38*n. Is v a multiple of 23?
False
Let n(s) = 329*s**2 - 34*s - 23. Is 7 a factor of n(-7)?
False
Let k = 6442 - 1088. Is 42 a factor of k?
False
Let b = -3285 - -4268. Does 4 divide b?
False
Suppose 76*k - 82105 = 105615. Does 38 divide k?
True
Let q(a) = 14*a + 362. Is 35 a factor of q(-18)?
False
Let j = 30678 - 17899. Is 140 a factor of j?
False
Let k = 31339 - 8409. Does 39 divide k?
False
Let o = 4 + 1. Suppose -o*n = -344 - 71. Let b = 105 - n. Is 5 a factor of b?
False
Let q(b) = 22*b - 69. Let j be q(3). Let g(w) = -14*w**3 - 7*w**2 + 5. Does 32 divide g(j)?
True
Let r = -4202 - -6350. Is r a multiple of 179?
True
Does 31 divide 205 + -215 + 6613*1?
True
Let r(l) = -108*l + 9212. Is r(0) a multiple of 301?
False
Suppose -5*d = 4*c - 59399 + 7545, -3*d + c + 31126 = 0. Does 78 divide d?
True
Let r = 867 + -1565. Let n = r + 1009. Is n a multiple of 43?
False
Let i(a) be the first derivative of 8*a**3/3 - a**2 + 2*a + 6. Let s be i(-2). Suppose s = -5*o + 7*o. Is 8 a factor of o?
False
Suppose 19*u = 10*u + 126. Suppose -u*v + 18*v = 440. Does 11 divide v?
True
Let k(r) = -3*r - 44. Let n be k(-7). Let o be ((-3)/3 + n)*-1*12. Suppose -200*w + o = -198*w. Does 24 divide w?
True
Let l = -58 + 63. Suppose 4*y - 41 - 222 = -l*q, y = 4*q + 50. Does 8 divide y?
False
Let u = -18647 + 20101. Is u a multiple of 5?
False
Suppose -4*n + 3*o = -14, -11 - 7 = -2*n - 4*o. Let z(c) = 4*c**2 + 10*c - 28. Is z(n) a multiple of 6?
False
Let n = -70 - -74. Suppose 0 = n*v + 4*v - 4*v. Suppose -21*t + 16*t + 755 = v. Does 14 divide t?
False
Let a = -8727 + 12551. Is 16 a factor of a?
True
Let o = 190163 - 120630. Is o a multiple of 34?
False
Is 109 a factor of -42 + 613 + (-25 - -8)?
False
Suppose -74 = -7*r + 136. Let x = 18 + 224. Let o = x - r. Is o a multiple of 53?
True
Let u = -54 - -48. Is (151 - -2)*(-8)/u a multiple of 10?
False
Suppose -l + 4*u = -1195, 5*l = 2*u + 6796 - 857. Suppose l = 5*n + 267. Does 18 divide n?
False
Suppose 66*z + 11025 = 69*z. Does 49 divide z?
True
Suppose -1645 = -3*u + 2*p - 286, 0 = 4*u + 4*p - 1832. Let f be (-5 + 1)/(1*-1). Suppose -f*x = x - u. Does 13 divide x?
True
Suppose -2*s = -2*q, 0*s - 5*q + 6 = -3*s. Let u be ((-12)/(-10))/(s/(-50)). Is 3 a factor of (-2)/(-4)*(u + 50)?
True
Suppose 0 = 3*g + 2*t - 272, -5*g - 54*t + 59*t + 445 = 0. Is 10 a factor of g?
True
Let v(z) = -z**2 - 2. Let a(l) = -68*l**2 - 14*l. Let t(w) = -a(w) + 3*v(w). Is 27 a factor of t(3)?
True
Suppose -f = 3*b + 2234, 4*b + f + 0*f + 2977 = 0. Does 29 divide b/(-8 + 1 + 3 + 3)?
False
Let n = 75 + -78. Does 11 divide 156 - -1*(-2 - n)?
False
Suppose -3*n + 6*k + 6594 = 0, -3*n + 3*k = -2452 - 4151. Is n a multiple of 29?
True
Let z = 2077 - -10634. Does 32 divide z?
False
Suppose -5*l - 181 = -46. Let s = 61 + l. Is 2/1 + s - (-5 - -6) a multiple of 2?
False
Let m(u) = -u**2 - 11 - 2*u**2 + 6*u**2. Let d(h) = h**2 + 7*h - 64. Let i be d(5). Is m(i) a multiple of 10?
False
Let x(l) = 24*l**2 + 69*l - 7. Let i be x(-3). Suppose 18*n = 23*n + 4*u - 6818, i*n - 2718 = 3*u. Is 44 a factor of n?
False
Let r = -4400 - -6249. Does 90 divide r?
False
Let w(q) = -q**3 + 6*q**2 - 4*q - 3. Let k be w(5). Suppose 1 = k*r - r + 2*s, r = s + 4. Let n(u) = 5*u**2 + u + 8. Does 10 divide n(r)?
False
Let d(z) = -6*z**2 + 1238*z - 822. Is 34 a factor of d(198)?
True
Suppose 10*d - 1020 = -2*g + 15*d, -4*g + 2016 = -4*d. Does 116 divide g?
False
Suppose -c = 0, 43*c = 2*h + 38*c - 12712. Is 14 a factor of h?
True
Is 27030/((-80)/(-8)) + -4 + 2 a multiple of 9?
False
Let m(v) = v**3 + 47*v**2 + 383*v - 69. Is m(-30) a multiple of 7?
False
Let m be 0/2 - (3 + -3). Let f(z) = z**3 - 5*z**2 - 16*z + 63. Let a be f(6). Suppose -120 = -a*d + 2*w, m = 4*w - 3 - 9. Does 14 divide d?
True
Suppose 123*h - 114*h - 162324 = 0. Does 12 divide h?
True
Suppose -7*t = 16*t + 2*t. Suppose m - 28 + 5 = t. Is 3 a factor of m?
False
Let o = 30791 - 9170. Is 35 a factor of o?
False
Suppose -q + 20 + 146 = 0. Suppose 7*w - 2459 = q. Is w a multiple of 6?
False
Let n be (-37682)/(-22) - (2 + (-48)/22). Suppose -8*h = -n + 273. Suppose -135 = -3*k - 2*x, -4*k + 3*x + h = -0*x. Does 33 divide k?
False
Suppose -17*l + 148563 + 64872 = 0. Is l a multiple of 45?
True
Let r(o) = -252*o**3 - 98*o**2 - o + 18. Is 46 a factor of r(-4)?
True
Suppose -6*n = -47196 + 5730. Suppose 13*h - n = 1929. Does 40 divide h?
True
Suppose -x - 3 = 1. Suppose -4 + 8 = 2*j. Is (-1 + (-94)/x)*j a multiple of 5?
True
Let x be (-610)/(-50) + (-6)/30. Suppose 0 = x*c - 9617 + 1841. Is 18 a factor of c?
True
Let x(v) = 6*v + 27. Let a be x(-4). Suppose 21 = z - 5*u, -7*z + 2*z = a*u - 105. Is z a multiple of 3?
True
Suppose 2*n + 3 = -7, 0 = 2*t - n - 29. Let a = t + 204. Does 18 divide a?
True
Suppose 0 = -v + 472 - 85. Is 3 a factor of v?
True
Does 20 divide (-1075)/(-129)*31428/30?
False
Let j = -5729 - -9681. Is j a multiple of 38?
True
Let n = -91 + 12. Let v = n + 90. Is v a multiple of 3?
False
Let y(t) = 2*t**2 + 5*t - 67. Let m be y(-8). Suppose -v = -4*k - 1409, -5*v + m*k = 18*k - 7079. Is 9 a factor of v?
False
Let v(m) = 6*m**2 - 96*m - 141. Does 11 divide v(-45)?
False
Suppose -54303 + 9096 = -3*g - 2*x, -2*g - 4*x = -30130. Is g a multiple of 17?
False
Let w(c) = -4*c - c + 22*c - 15 - 11*c. Let f be w(-3). Let l = f - -83. Is l a multiple of 10?
True
Suppose 0 = -y - 1046 + 1048. Does 91 divide 24*y*(-1368)/(-64)?
False
Let p = 97719 + -65810. Is 180 a factor of p?
False
Let v(o) = -2*o**2 - 5 - 8839*o**3 + o + 3 + 8743*o**3. Is v(-2) a multiple of 21?
True
Suppose -21 = -4*n - k, -5 = -k - 0*k. Let l be (n/6)/(3/9). Suppose -4*f + 513 = -l*o - o, 3*f + 5*o = 363. Is 9 a factor of f?
True
Suppose 0 = 5*n - 8*k + 3*k - 1135, 5*k = 4*n - 908. Suppose 3*m + 4*a - n = 0, -2 = -3*m + 3*a + 211. Does 23 divide (