2/2 - 26*x + 14. Let y be n(-12). Let j = 2 - y. Does 4 divide j?
True
Let v be (-1456)/(-6) + (-5 - 26/(-6)). Suppose 2*y - 4*o - 692 = 0, o + v + 99 = y. Suppose p - 3*i - 2*i - 84 = 0, 0 = -4*p - 5*i + y. Is 21 a factor of p?
True
Let p = 276 - -32. Let j = 620 - p. Is 12 a factor of j?
True
Suppose -78*i = -75*i - 27132. Is 6/4 - i/(-56) a multiple of 16?
False
Let g(i) = -i - 6. Let j be g(-6). Suppose 55 = 10*c - 219 + 104. Suppose j = 21*p - c*p - 80. Is p a multiple of 2?
True
Let l(r) = -71*r - 125. Let i(h) = -h - 7. Let f be i(-1). Does 4 divide l(f)?
False
Does 254 divide 3107950/(-122)*(1 - 2 - 0)?
False
Let v(b) = 458*b**2 + 40*b - 106. Does 94 divide v(3)?
True
Suppose -2*b + 10171 = 3*i, -4*i - 15282 = -0*b - 3*b. Suppose -4*p = -3*w - 4072, -6*p + 5*w + b = -p. Is 11 a factor of p?
False
Suppose -3*x + 9 = 0, -5*d - 11*x + 31 = -9*x. Suppose 1 = 3*z - d*u - 23, 3*z = -3*u + 24. Is z a multiple of 7?
False
Suppose o + 8 - 10 = 0. Suppose 0 = -o*n - 4*t - 16 + 40, 5*n - 96 = -t. Let k(p) = p**2 - 9*p - 15. Does 19 divide k(n)?
False
Let i be ((-18)/(-36))/(1/12). Let q be ((-8)/(-5))/(i/(-15)). Let l = q + 96. Is 20 a factor of l?
False
Suppose 42 = 33*r - 90. Let u(s) = 4*s**2 + 8*s + 3. Is 16 a factor of u(r)?
False
Let r(q) = 25*q**2 + 2. Let t = 57 - 59. Let y be r(t). Suppose p - 63 = 4*o, -4*o + y = 2*p - 0*p. Is p a multiple of 16?
False
Let o(z) be the third derivative of -35/24*z**4 + 0*z + 0 - 21*z**2 - 25/3*z**3. Does 15 divide o(-7)?
True
Suppose 0 = -2*j - 2*m + 20633 + 13811, 0 = -5*m + 15. Is j a multiple of 7?
False
Suppose 5*x - 7821 = 4*h, -2*h = -67*x + 64*x + 4691. Is x even?
False
Suppose -4*q + 60 = 4*i + i, 5*q - 3*i = 38. Let t(r) = -2*r**2 + 11*r + 24. Let j be t(q). Let p = -42 - j. Is p a multiple of 12?
True
Let f(j) = 2*j**3 + 4*j**2 - 7*j + 6. Let k be (45/(-30))/((-3)/8). Let x = 8 - k. Is f(x) a multiple of 36?
False
Suppose 0*t - 4*t = -64. Let z(y) = -2*y + 94. Does 3 divide z(t)?
False
Suppose -187*d + 413*d = 206*d + 6200. Is d a multiple of 11?
False
Suppose 4*z - 4*w + 1 = 5*z, 5*w - 15 = -4*z. Suppose -z*y + 977 = -3*u - 520, y - u = 301. Is y a multiple of 11?
True
Let x(s) = 1771*s**2 - 15*s - 24. Is 5 a factor of x(-2)?
True
Let w(u) = 2614*u - 13812. Is 94 a factor of w(16)?
True
Let k(y) = 3*y**2 - 1. Let q be k(-1). Suppose 0*i + i - q = 0. Suppose -31 = -5*d - 11, -42 = -i*u - d. Is u a multiple of 19?
True
Suppose -64957 - 130562 = -17*r + 31924. Does 170 divide r?
False
Let y(k) = 7*k**2 - 18*k + 23. Let l(s) = -s**3 + 9*s**2 + 7*s + 21. Let h be l(10). Is 16 a factor of y(h)?
True
Suppose 0 = -13*x + 22 + 17. Let m = x + 2. Suppose 5*l - 35 - 40 = -z, 5*l = m*z - 375. Is 25 a factor of z?
True
Suppose -11*k + 7*k - 4*n + 224 = 0, 5*k + n - 272 = 0. Suppose -k*a + 24785 = -14095. Is a a multiple of 10?
True
Suppose 5*x = 3*x - 64. Let y = 2127 + -2074. Let z = x + y. Does 6 divide z?
False
Suppose 5*h = -4*y + 141036, 15777 - 121577 = -3*y + 2*h. Is y a multiple of 19?
True
Let v(f) = -5*f - 53. Let g(n) = -2*n - 27. Let i(h) = -10*g(h) + 6*v(h). Let q be (-32)/3 - (-13 + (-520)/(-39)). Is i(q) a multiple of 31?
True
Suppose -4*i + 4*z + 4028 = 0, z = 46*i - 52*i + 6000. Is 4 a factor of i?
False
Suppose -4 = -2*v, -5*j - 5*v + 20 = -30. Is (-15 + j - -351)*1 a multiple of 20?
False
Let k(z) = -127*z + 397. Let m be k(8). Let a = m - -709. Does 31 divide a?
False
Suppose 17*p - 145*p = 56*p - 219512. Is p a multiple of 2?
False
Let y(t) = 13*t**2 + 2*t - 1. Let c be y(-2). Let x = c - 42. Suppose -109 - 26 = -2*m + h, -x*m - 3*h = -354. Does 23 divide m?
True
Suppose -52*x - 46*x = 24*x - 613172. Does 82 divide x?
False
Let y be (-2)/(2 - 0) + (-15)/5. Is 28 a factor of ((-3)/y)/(-3) - 3913/(-52)?
False
Let w(l) = -l**2 - 2*l + 7. Let k be w(-3). Suppose k*i - 7 = 37. Suppose 17*x - i*x = 228. Is 18 a factor of x?
False
Suppose -981*h + 985*h - 3*j = 321, 5*h = -2*j + 384. Is 7 a factor of h?
False
Let q(s) = -308*s + 639. Is q(-9) a multiple of 9?
True
Suppose -5*i + 2*s + 31197 = 0, 3*i - 4*s - 11187 = 7548. Is 11 a factor of i?
True
Let u(y) = 3*y**2 + 1595*y + 3*y**2 + 42 - 3*y**2 - 1588*y. Is 18 a factor of u(-6)?
True
Suppose 13729 = w - 240*v + 238*v, 2*w = -v + 27418. Does 21 divide w?
True
Suppose v - 1533 = 4*j + 1091, 0 = j - 3. Is v a multiple of 36?
False
Suppose 0 = 9*s - 11*s + 240. Let v(a) = 79 - 3*a - s + 70. Is v(6) a multiple of 5?
False
Let s(u) = 5*u**2 + 21*u + 62. Let c(v) = -6*v**2 - 22*v - 60. Let m(r) = 2*c(r) + 3*s(r). Does 54 divide m(-12)?
True
Let b = -633 - -636. Suppose b*t - 893 = 2*t. Is 21 a factor of t?
False
Let g = -138 + 456. Let o be -4 + g - 1/(-1). Let k = o + -62. Is 23 a factor of k?
True
Suppose 0 = -4*t - 5 - 3. Is 5 a factor of (-210)/(t + 0) - 9/(-3)?
False
Suppose 7*v + 1606644 = 37*v + 6*v. Is v a multiple of 19?
False
Suppose 5*k = -2*s + 23232, -5*k - 16258 + 39625 = -13*s. Is 25 a factor of k?
True
Suppose 5*b + 12 = j, -2*j + 42 = -3*b + 11. Suppose j*a = 4*a + 5382. Is 20 a factor of a?
False
Let j be (-1 - 0/1)/(5/(-75)). Suppose -5*x - j = 5*t, -2*t + 5*x - 2 = -31. Suppose -t*a = 2*k + k - 172, -5*a + 3*k = -388. Does 16 divide a?
True
Suppose 2 = 10*t - 88. Suppose t*q - 12*q + 72 = 0. Is 4 a factor of q?
True
Suppose 3*p - 68 = 4*d, -3 - 2 = d. Let r = -1 - p. Let y = 73 + r. Does 14 divide y?
True
Let h = 1 + 13. Suppose x = 8 - h. Is ((-14)/x)/(1/54 - 0) a multiple of 32?
False
Let d(t) = -156*t + 318. Let l(h) = -5460*h + 11128. Let r(a) = 104*d(a) - 3*l(a). Is 24 a factor of r(6)?
True
Let f be 436 - 10/((-10)/3). Suppose 24*g = 25*g + 2*q - f, 3*g + 3*q = 1302. Is g a multiple of 13?
True
Let k be -94*(5 - 10/1). Suppose 7*n = 90 + k. Is n a multiple of 5?
True
Suppose 3*b - 24 = 0, -4*g + 7*b + 21988 = 8*b. Does 157 divide g?
True
Suppose 0 = -9*g + g. Suppose -2*d + 382 = u, u - 17*d + 22*d - 367 = g. Does 27 divide u?
False
Let a be (-4)/(-8)*(0 + 0 - -14). Let r(w) be the first derivative of w**3/3 - 3*w**2/2 - 5*w - 4. Does 22 divide r(a)?
False
Suppose 196*o - 200*o + 3*d = -13758, 0 = -3*o - 3*d + 10350. Is 28 a factor of o?
True
Let k(t) = -970*t + 16. Let r be k(-4). Suppose 14024 = 4*y + r. Suppose 624 = -12*f + y. Does 15 divide f?
False
Suppose -4*w - 3*s = -4*s - 1628, 2010 = 5*w + 5*s. Suppose -m = d - 135, -3*m + 0*m - 4*d = -w. Does 7 divide m?
False
Let q(u) = 2*u**3 - 3*u**2 - 40*u + 43*u - u**3 + 3. Is q(2) even?
False
Let u = -50 + 2. Let z = 13 + u. Is 12 a factor of (168/z)/((-2)/40)?
True
Is (2/(26/33579))/1 a multiple of 12?
False
Let z(l) = l**3 - 47*l**2 - 419*l - 95. Is 17 a factor of z(55)?
False
Let w(f) = 2*f**2 + 9*f - 13. Let y be w(-6). Suppose 0 = -d + 5*z + 28, 2*d - y*d + 30 = 3*z. Suppose -4 = p - d. Is p a multiple of 9?
True
Let h(v) = 5*v**3 - 87*v**2 - 7*v - 31. Is 24 a factor of h(26)?
False
Let m = 174 + -244. Let r = -72 - m. Let b(t) = 40*t**2 + 3*t - 4. Is 21 a factor of b(r)?
False
Does 19 divide ((-49)/(-2) + -15)/((-2)/(-1536))?
True
Let u(d) = -4*d**3 + 3*d**2 + 5*d + 2. Let m(s) = -s**2 + 2*s + 4. Let f be m(3). Suppose b + f = v, 23 = -5*b - 12*v + 8*v. Is 6 a factor of u(b)?
False
Suppose -3*u + 13*a = 9*a - 17234, -a = 5*u - 28731. Is u a multiple of 34?
True
Suppose 0 = -2*f + 5*a + 34229, 3*f - 2*a - 80184 = -28824. Does 7 divide f?
True
Let z(o) = -o**2 - 24*o - 50. Let v be z(-22). Let f(a) = -6*a**2 - 9*a + 7. Let t(i) = 7*i**2 + 9*i - 8. Let c(w) = v*f(w) - 5*t(w). Does 22 divide c(6)?
True
Let s(c) = -c**3 + 4*c**2 - 2*c - 6. Let b be s(3). Let m be (5 - 0 - 4) + (-3)/b. Suppose -2*x = 4*g - 70, 0 = -x - m*x - 15. Is g a multiple of 3?
False
Let o(w) = 3*w**2 + 30*w + 17. Let u be o(-9). Does 19 divide (u/(-3) + 2)*153/2?
False
Suppose -2*b = 3*r + 98, r + 2*b + 13 = -17. Let a = r - -50. Is 35 a factor of 2*(-160)/(-4)*28/a?
True
Suppose 4*u = m - 1090, 115*u = 2*m + 116*u - 2153. Suppose 3*k = 197 + m. Is k a multiple of 25?
True
Let j = -258 - -262. Suppose -g - j*o + 701 = -22, -5 = o. Does 51 divide g?
False
Let k(i) = -i**3 - 29*i**2 - 23*i - 85. Is 7 a factor of k(-30)?
True
Suppose 5*p - 16726 = 3*b, -5*b - 24731 = -15*p + 25459. Is 2 a factor of p?
False
Suppose 0 = -x + 6846 + 11525. Is x a multiple of 5?
False
Let z = -24 - -25. Let s(t) = 6