y)?
True
Let h(x) = 2*x - 13. Let r be h(9). Let m = 3 + r. Suppose 77 = -m*p + 9*p. Does 26 divide p?
False
Let t(x) = 39*x**2 + 57*x - 15. Is 55 a factor of t(-3)?
True
Let p(v) = -5869*v - 340. Is p(-4) a multiple of 16?
True
Suppose -14*n - 112900 = -3*r - 19*n, -150530 = -4*r - 5*n. Is r a multiple of 265?
True
Let c(k) = 5*k**2 + 28*k - 29. Let a be c(1). Suppose 0*f + 1465 = a*o - 3*f, -5*o + 1870 = 4*f. Is 26 a factor of o?
False
Let o be 3 + (-3)/((-3)/517). Suppose 4*s + o = 5*p, p + 2 = -s - 137. Is (12 - s)*(-1 - 5/(-3)) a multiple of 7?
True
Is (-3820)/(-30)*17 - 30/(-9) a multiple of 8?
True
Let v = 6020 - 4456. Is 45 a factor of v?
False
Suppose -3*f = -6, 55*x - 20246 = 53*x - 3*f. Does 88 divide x?
True
Let l(x) be the first derivative of -23*x**4/4 - x**3 + 15*x**2/2 + 45*x + 95. Does 11 divide l(-3)?
True
Let b = -10638 - -14434. Does 26 divide b?
True
Let u = 199 + -279. Let k = u - -90. Suppose k*g + 2*g = 84. Is g a multiple of 7?
True
Let a(v) = -v**2 - 61*v - 238. Is a(-38) a multiple of 3?
True
Let w = -12 + 14. Suppose -2*v + 0*h + 926 = -w*h, -5*v - h + 2327 = 0. Does 31 divide v?
True
Let s = 4783 - 4751. Is s a multiple of 16?
True
Suppose -26880 = 21*t - 105*t. Does 8 divide t?
True
Let k = 92 + -676. Is 12 a factor of k/20*(-60)/24?
False
Suppose -123*j = -121*j - 10. Let i(o) = -2*o**2 + 8*o + 14. Is 3 a factor of i(j)?
False
Suppose z + 462 = 2*x, -10*x + 14*x = -3*z + 924. Let d = x + -75. Is d a multiple of 39?
True
Let t = -31 + 1627. Is t a multiple of 14?
True
Let s be ((-216)/(-21))/(3/14). Suppose -3*y + 40 = w, -8*y + s = -3*y - 3*w. Suppose 2*i = -0*i + 5*p + y, -2*i - p = -24. Is 11 a factor of i?
True
Let m = -2769 - -2769. Suppose 3*p - 187 = -c + 260, 4*p - 596 = -3*c. Suppose -5*o + 3*i + p = m, -3*i = 5*o - 0*o - 131. Does 9 divide o?
False
Let o(a) = 93*a**2 - 4*a + 3. Let i be o(1). Suppose 0 = 5*x - 3 - i. Suppose x*k - 960 = 3*k. Is k a multiple of 10?
True
Suppose -k + u = 11*u + 117, 0 = 5*k + 5*u + 585. Let g be (1 - 79 - 0) + 0. Let s = g - k. Is s a multiple of 13?
True
Suppose 3*l = l + 188. Let d = 154 - l. Let w = -30 + d. Does 10 divide w?
True
Suppose 0 = 385*o - 1555103 - 122727. Is o a multiple of 30?
False
Is 3 a factor of ((-108)/(-48))/(15/17560)?
True
Let k(o) be the second derivative of -o**5/20 + o**4/12 + 2*o**3 - 10*o**2 + 32*o. Let n be k(-7). Is (22/8)/(6/n) a multiple of 51?
False
Suppose 98 = 8*f + 6*f. Suppose -5*a + f*a = 20. Suppose a + 62 = 3*d. Is d even?
True
Suppose -2*n + 2*i = -44, -2*i + 36 = 2*n - 0*i. Let t = 710 + n. Is t a multiple of 17?
False
Let z(u) = 2*u**3 + 19*u**2 - 19*u. Let b(v) = 2*v**2 - 13*v + 7. Let w be b(6). Is 2 a factor of z(w)?
True
Let y be 2/(-8) - 69685/220. Let g = y + 1427. Does 10 divide g?
True
Suppose -2*b = 5*i + 4, -4*b - 37*i = -36*i - 10. Suppose o - 2 = -7, 3*o = -b*x + 906. Is x a multiple of 10?
False
Let d(y) = -5688*y**3 + y**2 - 41*y - 40. Is 10 a factor of d(-1)?
True
Let y = 497 - 494. Suppose -g - 49 = -4*z, 7*g - 41 = -y*z + 12*g. Is z even?
True
Suppose -6*x - 2*u + 2984 = -2*x, 761 = x - 2*u. Does 3 divide x?
False
Does 71 divide (-4478)/((-207)/(-115) - (-2)/5*-5)?
False
Let j(y) = -2*y + 23. Let n be j(9). Suppose -n*p + 7 = 2. Let t(i) = 209*i**2 + 3*i - 2. Is t(p) a multiple of 15?
True
Let o = -5017 - -12375. Suppose 1424 = -23*m + o. Is m a multiple of 36?
False
Let a(c) = c**3 - 24*c**2 + 47*c - 380. Is 20 a factor of a(25)?
True
Let v(y) = 37*y + 1987. Does 8 divide v(-5)?
False
Is ((-40)/(-1) + (-11 - -9))*(38 + -30) a multiple of 82?
False
Suppose -2*c + 3*i = -4823, -52*c - 7233 = -55*c + 3*i. Is c a multiple of 23?
False
Let c(l) be the third derivative of -233*l**4/24 - 2*l**3/3 - 2*l**2 - 4*l. Does 21 divide c(-2)?
True
Let s(c) = 466*c**2 + 20*c - 12. Is s(4) a multiple of 57?
True
Suppose -8 - 7 = -o. Suppose -o*w + 9*w = -1728. Is 48 a factor of w?
True
Let b = 1104 - -36. Suppose 63*m - 59*m = b. Is m a multiple of 19?
True
Suppose -x - 3*x + 32 = -4*n, 4*x + 3*n - 4 = 0. Suppose -x*h + 5*u = -1471, 0 = u - 0 - 1. Is 14 a factor of h?
False
Let z(u) = -u**2 + 7*u - 9. Let v be z(4). Is 7 a factor of (v + 28/(-8))*-2*719?
False
Suppose -5*a + 1 = -0*a + g, -3*a + 4 = 4*g. Let f(d) = -3*d + 94. Let l be f(a). Suppose -o - 3*v + 163 = 3*o, -2*o + l = 4*v. Is o a multiple of 10?
False
Suppose -5*y = -5*a + 42370, 4*a - 5*y - 24444 - 9445 = 0. Does 11 divide a?
True
Suppose 110*x - 109*x = 0. Is 10 a factor of 99 + x + (-11 - -12)?
True
Let i = 8523 + -5591. Does 15 divide i?
False
Let r(h) = 30 + 9 - 29 + 20 - 120*h. Does 15 divide r(-3)?
True
Let x(z) = 129*z + 4266. Does 24 divide x(6)?
True
Let b(z) = 16*z**2 + 63*z + 119. Let a(x) = -7*x**2 - 31*x - 59. Let u(n) = 9*a(n) + 4*b(n). Is 3 a factor of u(31)?
True
Is 58 a factor of (-174)/((-588)/672 - 2/16)?
True
Let m(i) = -i**2 - 10*i - 19. Let p be m(-3). Suppose 0 = t - p*t + 28. Suppose -5*j + t = a, 4*a = -3*j + 9*a. Is 3 a factor of j?
False
Let a be -1 + (7 + -12 - -2410). Let b = a + -1221. Does 13 divide b?
True
Let s(t) = 21*t - 12. Let p be s(2). Does 19 divide (11970/p)/(1 + 0)?
True
Let d(n) = 232*n - 2606. Is 7 a factor of d(72)?
True
Suppose -5*b + 12*b - 7 = 0. Let q be 0/((-28)/8 + b/2). Suppose -4*h + 39 + 9 = q. Is 6 a factor of h?
True
Let t be (4 + 2)*(1 + 1). Suppose -174 - 6 = -t*x. Is x a multiple of 15?
True
Let f = 27844 - 23539. Does 123 divide f?
True
Suppose -5*z - 2 = -2. Suppose z = 13*x - 72 - 19. Suppose -2*w + 243 = -x. Is 25 a factor of w?
True
Suppose -96 = -69*j + 65*j. Suppose 0*k + 4*k - j = 0. Suppose -4*m + 390 = k*m. Is 9 a factor of m?
False
Let m(y) = 6*y + 9. Let u be m(-3). Let a(i) = i + 74. Does 13 divide a(u)?
True
Suppose 9*k = 41*k - 128. Suppose k*c - 20 = 0, -315 = -t + 4*c - 7*c. Is t a multiple of 30?
True
Let l(r) = -5750*r + 1837. Is l(-4) a multiple of 17?
True
Let o(b) = 86*b**2 - 8*b - 7. Let m be o(-3). Suppose 3*l = -j + m, 3*j = -8*l + 9*l - 257. Is l a multiple of 19?
False
Let d(u) = 3*u**3 + 7*u**2 - 9*u + 14. Let b be d(6). Let q = -492 + b. Is 23 a factor of q?
True
Suppose 2150 = 4*x - 3*f, 2*x - f - 1080 = -2*f. Let q = -75 + x. Is q a multiple of 16?
True
Let g be 15 + -13 + 0 - (1 + -4). Suppose 5*f + 248 - 73 = g*u, 0 = -u - 3*f + 51. Is 5 a factor of u?
False
Let y(k) = 3*k**2 + 10*k + 9. Let d be y(-1). Suppose 25*f - 5*v + 732 = 26*f, d*f = 3*v + 1503. Is 19 a factor of f?
False
Let i = 9676 + 19335. Suppose i = 16*n + 8419. Is 13 a factor of n?
True
Let i(q) = 49*q + 73. Let v be i(14). Suppose -10*o + v = -3751. Does 11 divide o?
True
Suppose 7*t = 2*t - 125. Let a = t - -27. Is 3 a factor of (-920)/(-65) + a/(-13)?
False
Suppose 2*d - 244 = 2*x, -5*d - 2*x + 248 = -3*d. Let t(j) = -13*j + 22. Let v be t(-10). Suppose 5*o - v = d. Does 18 divide o?
False
Let m be 2/10 - (3 - 1159/5). Suppose -5*r - 21 = -4*z + m, 5*r + 315 = 5*z. Suppose 227 = 3*b + z. Does 6 divide b?
True
Let u = 39 + -34. Suppose 0 = 5*m - q - 1902, 0 = u*m + q - 2435 + 537. Suppose m = -5*j + 1305. Is j a multiple of 35?
False
Let q = 84 + -81. Let a be -34*(-9)/(-6) + q. Is 10 a factor of -3 + (0 - -5) - a?
True
Let t be (6/24)/(5/(-60)). Does 68 divide t*(772/(-10))/(6/10)?
False
Suppose 0 = -125*h + 121*h + 912. Let w = 118 + h. Is 3 a factor of w?
False
Let b = 13181 + 955. Is 10 a factor of b?
False
Let m(y) = 6*y**2 - 16*y - 1. Let w(f) = -2*f + 30. Let k be w(25). Let i be 30/k*1*4. Is 21 a factor of m(i)?
False
Let c(i) = 9*i**2 + 20*i - 85. Is 27 a factor of c(20)?
True
Let v(u) = u**3 + 19*u**2 - u - 5. Is v(-16) a multiple of 87?
False
Suppose 0 = 7*u + 2*u - 11*u + 4290. Is 33 a factor of u?
True
Let m(x) = -x**3 + 17*x**2 + 25*x - 46. Let q be m(20). Let v = 52 - q. Does 57 divide v?
True
Suppose 2*a + 19 = -t, -2*t = -6*a + 24 + 44. Suppose 0 = 3*c + 2*c - 340. Let l = t + c. Is l a multiple of 14?
False
Let i = 0 + 8. Let m(h) = -h**2 + 7*h + 12. Let f be m(i). Let t(p) = 15*p**2 + 3*p + 8. Does 20 divide t(f)?
True
Is (-9*295/(-60))/((-6)/(-1264)*1) a multiple of 54?
False
Suppose -g + 3 = 2*w, g + g = -2*w. Let f(y) = 18*y**2 + y + 6. Does 11 divide f(g)?
True
Let t(f) = 404*f**2 + 183*f + 1036. Does 11 divide t(-6)?
False
Suppose -164*r + 121993 = -33*r - 143413. Does 57 divide 