 26 + y. Suppose -4 = i, -2*i + 190 = 4*g - o. Is 13 a factor of g?
False
Suppose -3*k + 312 = -96. Let p = k - 63. Let o = p - 51. Is 5 a factor of o?
False
Let z(j) = 4*j**2 + 2*j + 1. Let q be z(-1). Suppose q*u - 44 = 418. Suppose 210 = 5*a - 2*f - u, -3*f = 3*a - 210. Is a a multiple of 24?
True
Let q(k) = -k**3 + 14*k**2 - 5*k + 18. Let m(b) = b + 7. Let s be m(6). Let w be q(s). Suppose 4*y - 3*n = 367, w = y + 3*n + 34. Does 13 divide y?
True
Let l = 28669 + -16186. Is l a multiple of 19?
True
Let o(w) = -305*w**3 + w**2 - 2*w - 3. Let z be o(-2). Suppose -6*c + 21*c - z = 0. Is c a multiple of 38?
False
Suppose -3*r = 2*a - 3641, -34*a + 35*a = -r + 1822. Is a a multiple of 23?
False
Let v be (-3)/(-6) + (-2547)/2 + -1. Is 8 a factor of v/(-16) - (-6)/32*2?
True
Let r(q) be the first derivative of 34*q**3/3 - q**2/2 + 231. Let x(n) = n**2 + n - 1. Let i be x(1). Does 11 divide r(i)?
True
Suppose -2*x + 5*y - 32 = -3, -4*x - 5*y + 17 = 0. Let f be (-26 + 6)*x/(-4). Is 18 a factor of (-4536)/(-35) + 6/f?
False
Suppose -11*k = -5*k - 5832. Is k a multiple of 28?
False
Let o(g) = -g**3 - 74*g**2 - 49*g - 161. Is o(-74) a multiple of 35?
True
Let i(j) = 10*j + 6. Let l be i(5). Let a = l - 91. Let k = 179 + a. Does 24 divide k?
True
Suppose -866747 = -86*p + 726919. Does 29 divide p?
True
Suppose -10*v - 20 = -14*v. Suppose v*c = -20, 6*i - 5*c - 3155 = i. Is 32 a factor of i?
False
Let s = 3161 - 2640. Is s a multiple of 4?
False
Let f(p) = p**2 + 11*p + 0*p - 10*p. Let z(x) = 2*x**2 - 17*x - 45. Let a(w) = 3*f(w) - z(w). Is a(-21) a multiple of 11?
True
Let r(y) = -224*y - 11. Let p be r(1). Let u = 331 + p. Is u a multiple of 32?
True
Let v(r) = r**3 + 20*r**2 - 8*r - 51. Let t be v(-21). Suppose 2*o - 3*l - l + 444 = 0, 621 = -3*o - 3*l. Let k = o - t. Is k a multiple of 12?
False
Let o(m) = 960*m + 3479. Does 162 divide o(32)?
False
Let y(v) = 7*v - 3. Let k(q) = 14*q - 6. Let w(t) = -4*k(t) + 7*y(t). Let x be w(9). Let z = 99 + x. Is 13 a factor of z?
True
Suppose 12 = 14*q - 44. Let v = q + 3. Suppose 4*h - 548 = 2*s - v*s, s = h + 115. Does 28 divide s?
True
Let m be (0 + 117/(-12))*64/(-3). Suppose -5*l = -4*o - m, 0 = -4*o - 2 - 6. Is 4 a factor of l?
True
Let p = 9186 + 710. Is 156 a factor of p?
False
Let v = 190 + -179. Suppose -8*d + v*d = 54. Is d a multiple of 9?
True
Let s(x) be the second derivative of 19/6*x**4 + 2/3*x**3 + 15*x + 4*x**2 + 0. Is 45 a factor of s(-2)?
False
Let v be 2/6*(72/6 - 0). Suppose 18 = 2*f - v*x, f = 6*f - 3*x - 10. Is 13 a factor of f/4 - (-4279)/44?
False
Let t = 26 - -24. Suppose -2*d - d + 4*y = 34, -3*d - 4*y = t. Let h = d + 38. Is h a multiple of 24?
True
Let w = 118 + -112. Suppose -4*p + 1230 = -2*u, 0 = 4*p + w*u - u - 1195. Does 20 divide p?
False
Let n = -4 + 6. Suppose -n*s = s + 36. Is 13 a factor of (-1086)/s - 6/4?
False
Suppose -f + 13404 = 34*p - 30*p, -p = -3*f - 3338. Is 67 a factor of p?
True
Let g(z) = -6*z - 28 - z - 21. Let m be g(-7). Suppose 0 = 2*l - 5*b - 49, m*l - b - 71 = -4*l. Does 14 divide l?
False
Does 32 divide (-114)/171 - (-92084)/3?
False
Let u(g) = -g - 4. Let s be u(-8). Suppose -11 = -5*o - 6, -3*h + 229 = s*o. Is 15 a factor of h?
True
Suppose -w = -5*a - 1295, -5*a + 15 - 5 = 0. Suppose 0*i - 2179 = -5*u + i, 0 = 3*u - 3*i - w. Does 33 divide u?
False
Let j(n) = 2*n - 33. Let v(s) = s**2 - 4*s - 13. Let a be (-45)/10 - (-1)/2. Let u be v(a). Is 5 a factor of j(u)?
True
Suppose -22559 = -3*v - 4*k, 2*v + 128*k = 130*k + 15058. Is 215 a factor of v?
True
Let t(g) = -34*g**3 + 22*g + 6. Does 27 divide t(-3)?
False
Suppose -30160 = -680*i + 667*i. Is 80 a factor of i?
True
Let y(s) = -14 - 229*s + 73*s**2 + 460*s - 229*s. Let w be y(3). Let x = w + -440. Is 11 a factor of x?
True
Let x(y) = -y**2 - 13 + 17*y - 4 + 4. Let d be x(16). Is 30 a factor of d/(-9)*-425 - (-1)/3?
False
Let i(h) = h**2 + 95*h + 2308. Does 6 divide i(-70)?
True
Suppose -296*i + 11458753 - 179377 = 0. Does 50 divide i?
False
Suppose -59473 + 273873 = 50*x. Is x a multiple of 67?
True
Is 139 + (10/35)/(11/(-154)) a multiple of 5?
True
Suppose -3*n + 11359 = -2*q, -4*q - 11360 = -3*n - 3*q. Does 84 divide n?
False
Suppose 35*s - 27*s - 4928 = 0. Is 22 a factor of s?
True
Let p(v) = -2*v**2 + 9*v - 88. Let l(h) = -8*h**2 + 28*h - 266. Let z(o) = -4*l(o) + 11*p(o). Does 34 divide z(7)?
False
Suppose 62*l - 2479851 = -133*l + 1002069. Is l a multiple of 85?
False
Let k(y) = 4*y - 27. Let n(u) = 9*u - 2. Let f be n(1). Let a be k(f). Does 29 divide -2*a*(-4 + 6)*-29?
True
Let c be (-3 - 0)/((-21)/28). Suppose -c*k + 2682 = 3*f, 3*f + k - 3563 = -f. Does 21 divide f?
False
Suppose 0 = 30*q - 26*q + 328. Let a = q - -86. Suppose a*y - 500 = -3*f, -154 - 172 = -2*f + y. Does 14 divide f?
False
Let c = -1874 + 2168. Is c a multiple of 3?
True
Suppose -1 = -b, -8*b = h - 11*b - 555. Does 9 divide (h/(-4))/(-1)*(-2)/(-1)?
True
Suppose 2*n + 4*i = -758, -2*n - 390 = -3*i + 368. Let s = n + 668. Does 21 divide s?
False
Suppose -3*q + 4*q = -3*v + 14, -29 = -4*q - 3*v. Let y be -1*(-3 + 36/(-2)). Let t = q + y. Is 13 a factor of t?
True
Let i(d) = 24*d**2 + 2*d + 53. Let m(u) = 24*u**2 + 3*u + 54. Let z(c) = 6*i(c) - 5*m(c). Is z(4) a multiple of 70?
True
Let w(u) = 3*u**2 + 12*u + 5. Let f be 32/(-6)*(-4 - 23/(-2)). Let d = -52 - f. Is 52 a factor of w(d)?
False
Suppose -4*i - 1963 = -3*t - 9*i, -1958 = -3*t - 4*i. Is 17 a factor of t?
True
Let n = 18 + 73. Let w = n + -87. Suppose -10 = -w*m + 6, -647 = -5*s - 3*m. Does 16 divide s?
False
Let k(q) = q**3 + 13*q**2 - 2*q - 31. Suppose -10*g + 7*g = 4*p + 52, -g = -4*p - 52. Let o be k(p). Let d(h) = 2*h**2 + h - 31. Is d(o) a multiple of 14?
True
Suppose -50*z = 80*z - 111*z - 26619. Does 6 divide z?
False
Suppose 2*u - 2814 = -4*a, -2*a - 4*u + 1410 = -0*a. Let i = a - 462. Does 44 divide i?
False
Let d = 12231 - 8606. Is d a multiple of 29?
True
Let y(o) = -94*o - 711. Let t be y(-7). Let f be 763/(-9) + (-2)/9. Let n = t - f. Is n a multiple of 24?
False
Let f(j) = -13*j + 972. Is f(74) even?
True
Suppose 4*h - 5*k = 2 + 14, 5*h - 3*k - 7 = 0. Let b(a) = 59*a**2 - 3*a. Does 31 divide b(h)?
True
Suppose -s + 5 = 4*i, -16*i = -11*i. Is 41 a factor of ((-8805)/(-6))/s + (-1)/(-2)?
False
Let i = -9210 + 12307. Is i a multiple of 9?
False
Suppose 5*f + 5588 = 2*n, 0 = -3*n - 12*f + 16*f + 8361. Is 20 a factor of n?
False
Let x = -119 + 122. Suppose -2*r + y = r - 586, -x*y + 6 = 0. Does 8 divide r?
False
Let z(i) = 13*i. Let d be (0 - 4/(-7))/((-22)/(-77)). Let w(x) = 90*x. Let a(j) = d*w(j) - 15*z(j). Does 23 divide a(-3)?
False
Let t = 2144 - 2119. Is 5 a factor of t?
True
Let y(u) = u**3 - 3*u**2 + 3*u - 1. Let g be y(2). Let h be (-3 - g)/(3/(-24)). Let q = h + -12. Is 9 a factor of q?
False
Let u(r) = 3*r + 3*r + 20 + r**2 + r**2 - 2*r. Let p(h) = 2*h - 23. Let d be p(6). Is 45 a factor of u(d)?
False
Let f(h) = -h**3 + 14*h**2 - 13*h + 24. Suppose 4*k - 2 = -4*y + 6, 0 = -3*k + 4*y - 22. Let w be (0 - 1 - k)/(1/13). Is f(w) a multiple of 8?
True
Suppose 0 = -246*f + 230*f + 19712. Does 44 divide f?
True
Suppose -17*g + 3879 + 10146 = 0. Let t = g - 569. Is 8 a factor of t?
True
Does 20 divide 224706/10 + 700/500?
False
Let l(t) = 6*t**2 + 26*t + 420. Does 15 divide l(-21)?
True
Let z = -301 + 425. Suppose 3*u + 28 = 10*u. Suppose 4 - z = -u*a. Is 3 a factor of a?
True
Let a(x) = -8*x - 33. Let n(s) = -s + 1. Let g(l) = -a(l) + 6*n(l). Let m(t) = t + 20. Let q(u) = 4*g(u) - 7*m(u). Is 4 a factor of q(-12)?
True
Let g be 4 - 9 - -93 - (-3 + 1). Let w be 16540/g + 4/18. Suppose 5*v - v - 2*r = 722, -4*r - w = -v. Is v a multiple of 15?
True
Let c = -110 + 119. Suppose 0 = -3*i + c*i. Let z(a) = -a**2 + 71. Is 8 a factor of z(i)?
False
Suppose 5*v - 4*h = -5741, -3*h - 4147 + 697 = 3*v. Let c = v + 2099. Is c a multiple of 50?
True
Let k = 5 + 15. Suppose 5*t - 20 = 0, -17*t + 24 = -p - 13*t. Is p/(-3)*150/k a multiple of 2?
True
Suppose -t - 30*t = 58*t - 131008. Is 39 a factor of t?
False
Let m(b) = 73*b - 62. Let z = -355 + 359. Does 12 divide m(z)?
False
Let g(z) = z**2 + 11*z + 8. Let c be g(-10). Let n(a) = a**2 - 3*a - 6. Let h be n(c). Suppose h*t + 315 = 7*t. Is t a multiple of 21?
True
Suppose 2*q = 2*d - 26, -4*q + 9*q = -5. Suppose 