?
True
Let p(n) = 2*n**2 + n + 123. Let i be p(25). Suppose 2*x - i = -0*x + 5*a, 4*a = -16. Is 53 a factor of x?
True
Suppose -134239 = -12*z + 63161. Does 25 divide z?
True
Let i = 10 + -32. Let s = 234 + i. Suppose 0 = 9*z - 7*z - s. Is z a multiple of 11?
False
Let w(f) = f**2 - 4*f + 2. Let r be w(2). Let s(v) = -82*v + 4. Let u be s(r). Suppose -m - 64 + u = 0. Does 26 divide m?
True
Let g = 52 + -44. Let y be 86*((g - -4) + -2). Suppose 15*k = 5*k + y. Does 45 divide k?
False
Suppose -22*m + 459 = -531. Let y = 420 + m. Does 15 divide y?
True
Let l be (110/(-60) - 6/(-4))*-6. Let q(d) = -2 - 2*d + 38*d**l + 3*d + 2*d. Is 26 a factor of q(2)?
True
Let b be (-2)/(-1) + 4 + 190. Suppose -136 - 108 = 4*s + 3*c, c = 3*s + b. Let f = s - -116. Is 44 a factor of f?
False
Let p(i) = -7*i**3 + i**2 + 2*i + 2. Let j be 1*(-48)/(-18)*6/(-4). Is 11 a factor of p(j)?
False
Let f(i) = -5*i**3 - i**2 - 4*i - 7. Let k be f(-2). Suppose k*t - 8069 = 2291. Is 20 a factor of t?
True
Let d(u) be the second derivative of u**5/20 - u**4/4 + 5*u**3/6 - 7*u**2/2 + 2*u. Suppose -519 = 5*i - 534. Is 3 a factor of d(i)?
False
Let a be (90/8)/((-30)/(-1280)*8). Let w = a + 390. Is w a multiple of 6?
True
Suppose 0 = 3*l + 286 + 47. Let t = 241 + l. Suppose 2*j + 3*x - 75 = 0, -4*j + 3*x = 5*x - t. Is 10 a factor of j?
True
Suppose -b = 4*y + 24, 2*y = 3*b + y + 7. Does 13 divide (-90)/b*160/60?
False
Let g(c) = c**3 + 3*c**2 - 19*c + 20. Let s(b) = -14*b - 7. Let y be s(-1). Is 13 a factor of g(y)?
True
Let b(x) = 2*x**2 - 28*x + 74. Let l be b(25). Let f = l - 334. Is 24 a factor of f?
False
Let h be (-12)/(-3)*(-3)/(-2). Suppose 10*a = h*a - 3*k + 831, -2*k + 204 = a. Is a a multiple of 35?
True
Let h = -14742 + 43782. Is h a multiple of 240?
True
Suppose -8*r - 811 = -6*r - 5*o, 1646 = -4*r + 2*o. Let s = r + 458. Does 19 divide s?
False
Let j(m) = 10*m**3 + 10*m**2 - 31*m + 3. Does 9 divide j(4)?
False
Let k(s) = s**3 + 4. Let p be k(0). Let d = -8 - p. Is 24 a factor of d/2*(-2 + -6)?
True
Suppose 7*a - 10*a + 5*n = -224, -5*n = -25. Is 2 a factor of a?
False
Suppose 78*w - 4*w - 2470934 = 0. Is w a multiple of 12?
False
Let t(z) = -269*z**3 - 4*z + 539*z**3 - 268*z**3 + 2 + 3*z**2. Let a be t(1). Suppose a*y = -2*s + 143, 4*s - 5*y = 273 + 2. Does 10 divide s?
True
Does 156 divide -1027*(4/78 + (-28140)/1170)?
True
Let k be -3*(-244)/16 - (-9)/(-12). Suppose -t + 46 = -k. Is 6 a factor of t?
False
Let k(n) = 2*n**2 - 60*n - 69. Let r be k(28). Let f = 353 + r. Is f a multiple of 16?
False
Let d(f) = -f**3 - 19*f**2. Let c be d(-19). Suppose -h + 3*j + 152 = 38, c = 4*h - 3*j - 447. Suppose 0 = 4*t - 491 + h. Is 15 a factor of t?
False
Let k be (-8 + 6)/(4/62) - 2. Let n = k + 39. Suppose 131 - 17 = n*o. Does 19 divide o?
True
Let t be -7*12/(-9)*36/14. Suppose -17*l = -t*l + 2541. Does 13 divide l?
False
Suppose -55*f - 255 = -58*f. Let c(n) = -n**2 + 1. Let m be c(1). Suppose 5*v = 10, u + 4*v - 36 - f = m. Is 14 a factor of u?
False
Let t = 7 + -5. Suppose 0 = l - 2*n + 7, -t*l = l + n + 21. Let b(p) = 3*p**3 + 22*p**2 + 7*p + 6. Is b(l) a multiple of 6?
True
Suppose -5*l + 75854 - 21854 = 0. Is 10 a factor of l?
True
Let a(p) = 92*p**2 - 16*p - 70. Let g be a(-7). Is 52 a factor of ((-16)/(-5))/2*g/20?
True
Does 194 divide (3 - 1295/(-10))*588/105?
False
Let a = -4 + 4. Suppose a = 8*h - 12*h + 784. Does 14 divide h?
True
Let i(j) = j**2 + 2*j + 13. Let o be i(-10). Suppose -2*k - 3*k + 2*n = o, k + 20 = -n. Let g = k - -49. Does 6 divide g?
True
Let k = 8785 - 6324. Does 2 divide k?
False
Let i(t) = t**3 - 13*t**2 - 15*t + 13. Let d be i(14). Let n be 3 - (2 - (d + -4)/(-1)). Suppose -2*c - n = -36. Is 8 a factor of c?
False
Let h(a) = 6*a - 88. Let w be h(14). Let z(t) = t**3 - t**2 + t. Let n(v) = -v**3 + 8*v**2 + v - 8. Let c(g) = n(g) + 2*z(g). Does 6 divide c(w)?
True
Let g = 288 + -260. Suppose 33*t = g*t, 4*s - 3*t = 148. Is 2 a factor of s?
False
Let b be (-5)/2*(-16)/(-20). Let p(l) = -332*l**2 + 3*l - 3. Let z be p(-3). Does 10 divide b/(-7) - (z/56)/5?
False
Let a(w) = 24 + w**3 - 63 - 42 - 11*w - 15*w**2. Is a(17) a multiple of 10?
True
Suppose -23626 = 25*w - 90001. Is 59 a factor of w?
True
Suppose 24*o + 28944 = -12*o. Let g = -39 - o. Is g a multiple of 85?
True
Let f be -1 - (0 - 8/4). Let o(j) = -94*j**2 - 2*j. Let h be o(f). Let b = h + 144. Is 12 a factor of b?
True
Let l = -3363 + 17419. Is l a multiple of 14?
True
Let h = -1175 - -4850. Suppose h = 8*l + 27*l. Is 7 a factor of l?
True
Let o = -138 - -62. Let s = o + 78. Suppose 6*a - 3*a = -4*g + 57, 3*a - s*g - 75 = 0. Is 2 a factor of a?
False
Suppose 2*w + 394 = 5*f, -49*w + 47*w = f - 86. Suppose 0*v = 5*v. Suppose v = -2*j + 16 + f. Is j a multiple of 12?
True
Let z(a) = -2*a**2 - 14*a + 1. Let y be z(-7). Suppose -2*d = -5*d + q + y, 3*d - 3*q + 9 = 0. Suppose 0 = f + 3, 2*v + 4*f = d*f + 126. Is 25 a factor of v?
False
Suppose 42272 = 21*o - 34063. Suppose -20*c + o = -565. Is c a multiple of 3?
True
Let k = 5507 + -3617. Does 14 divide k?
True
Let t be -1 + 2 + 0 + 2 + 0. Let d = 16 - -42. Is 16 a factor of d*(-2)/(-6)*t?
False
Let v(l) be the first derivative of -l**4/4 - 5*l**3 - 3*l**2/2 + 18*l - 21. Let g be v(-15). Let y = -42 + g. Is y a multiple of 10?
False
Let n = -13015 - -17767. Is 27 a factor of n?
True
Let t = -30 - -28. Let j be t/10 + 744/20. Is 18 a factor of j + 5/(-3 + -2)?
True
Suppose 0 = -r + 3*s + 1471, 4*r - 5963 + 118 = -s. Does 17 divide r?
True
Let r = -938 + 3498. Is 20 a factor of r?
True
Suppose -7*w - 46 + 263 = 0. Let v(u) = -15 + w - 21 - 11*u. Is 16 a factor of v(-3)?
False
Suppose 25*b - 30*b + 5 = 0. Let d be (-10 + 15 + (-1 - -1))*b. Suppose 0 = -d*f + 153 - 13. Does 10 divide f?
False
Suppose 4*b + 3*t = -711, -t = -3*b + 4*t - 555. Does 10 divide (5/(-15))/(5/b)?
False
Suppose 1165*b - 1113*b = 1008800. Is b a multiple of 24?
False
Suppose -58*c = -97*c + 168870. Is 24 a factor of c?
False
Suppose 4*q - 7292 - 25 = -n, -13*n - 5529 = -3*q. Does 6 divide q?
True
Let y(w) = 25 - 2*w - 4*w + 7*w. Let j = -166 + 176. Does 7 divide y(j)?
True
Suppose -p = -2*d - 44, 7*d - 12*d = -3*p + 112. Let q = 1040 - d. Is 20 a factor of q?
True
Suppose 0 = -4*b - 12, 4*b = -d + 9*b + 2015. Is d a multiple of 8?
True
Does 75 divide 16875/(-30)*(-4 - (-6)/9)?
True
Let g = -6 + -2. Let w be g/2 + 6 + -26. Let o = -4 - w. Is o a multiple of 10?
True
Suppose 25*g - 53394 = -8*g. Is g a multiple of 168?
False
Let q be -3 - (275/(-13) - 2/(-13)). Is 28 a factor of (-26)/(-91) + q/(-14) + 197?
True
Let l(s) = 297*s - 203. Is l(8) a multiple of 7?
False
Suppose 21*u = 12*u - 72. Let c(f) = 30*f**2 + 4*f - 63. Does 100 divide c(u)?
False
Let j = -2009 + 4263. Does 57 divide j?
False
Let y(f) = f**2 + 4*f - 2. Let m be y(-4). Suppose n - 73 = 3*i + 44, -n = i + 43. Is 12 a factor of ((-312)/(-65))/((m/2)/i)?
True
Suppose -4*m = -2*s - 10, 4*m - 11 = s - 0. Suppose 3*r + 78 = 5*x - 54, -m*x + 4*r + 88 = 0. Is 35 a factor of 16/x - (-1048)/3?
True
Let r(w) = 241*w**2 - 184*w + 1426. Is 13 a factor of r(7)?
True
Suppose -5 + 171 = 2*t. Suppose 0 = 5*o - 2*o - 243. Suppose -o*x = -t*x + 252. Does 14 divide x?
True
Let p = -76 - -78. Suppose -i - 5 = -p*d, 0 = 2*i - 5*d + 17 - 4. Is 16 a factor of (4/(-2) + 70)*i/2?
False
Suppose -21*d - 2107 + 60298 = 0. Suppose -n = -3*b + d, 8*b - 3*n + 1851 = 10*b. Is b a multiple of 44?
True
Suppose -4*x + 42 = -18*x. Is 4 a factor of (69 - x)/(8 - 7)?
True
Is 64 a factor of -13*(-5)/455 + (-202492)/(-28)?
True
Suppose -6*w + 74 = 194. Let h(d) = 15*d + 19. Let q be h(w). Let g = -155 - q. Is 14 a factor of g?
True
Let p(y) be the first derivative of -10*y**2 + 12*y + 12. Let q be p(-4). Suppose c = 2*c - q. Is c a multiple of 11?
False
Suppose 2*b - 12239 = 3*c, 4*b + 5*c = 23548 + 941. Is b a multiple of 8?
False
Let l = -116 + 147. Suppose 5*d = -2*o + l + 7, 3*o - 57 = -2*d. Is 10 a factor of o?
False
Let q(p) = 245*p - 6. Let j be q(2). Suppose 2*s - j = -0*s + 2*t, s - 5*t = 258. Suppose s + 230 = 6*g. Does 25 divide g?
False
Suppose -r + 25 = -q, 74*r + 4*q - 170 = 69*r. Suppose 21 - 6 = 3*t. Suppose -t*z = r - 265. Is 30 a factor of z?
False
Let i = 138 + -138. Suppose -37*n + 23*n + 7560 = i. Is 20 a factor of n?
Tru