 2. Let j(p) = -p**2 - p - 1. Let o(k) = d*j(k) + q(k). Is o(5) a multiple of 26?
True
Does 10 divide (-2806560)/(-1500) - (-4)/(-100)?
False
Suppose -49*n + 1397 = -4630. Is n even?
False
Let n be (-8874)/42 - 4/(-14). Let v = -318 - n. Does 12 divide -12 - -16 - (-1 + v)?
False
Suppose 3*x - 77*r = -74*r + 10788, -x - 4*r = -3576. Does 21 divide x?
False
Let l = 39 - 44. Let a = 8 + l. Suppose -2*q + 47 = -a. Is 25 a factor of q?
True
Suppose 5*a = -2*c + 192, 4*a - 28*c + 29*c = 156. Suppose s - a = -2*s - 2*o, -4*s + 60 = -4*o. Is s a multiple of 14?
True
Let m be (-1 - 0)*(-8)/(16/66). Let t = 35 - m. Suppose t*z = -9 + 49. Is 10 a factor of z?
True
Let x(y) be the second derivative of y**4/4 + 11*y**3/6 + 2*y**2 - 16*y. Is 4 a factor of x(3)?
True
Let u = 31898 - 12879. Is 13 a factor of u?
True
Suppose 11648 = 2*h + 2*u, -2*u + 6*u = h - 5849. Does 67 divide h?
True
Suppose 4*q + 8 = 0, 0*g - 2 = g + 2*q. Is 7 a factor of -8*(1865/(-40) - g)?
False
Suppose 42*q + 35056 = -121*q + 2814532. Is q a multiple of 174?
True
Let z(l) = -l**3 + l**2 + 5*l + 3. Let g be z(5). Let p = g - -132. Is 4 a factor of p?
True
Let i be -11 + 20 + (-1 - 6). Suppose 5*d - 2775 = 5*m, -i*d - 7*m = -3*m - 1086. Is d a multiple of 19?
True
Let n(b) = 18*b**2 - 374*b - 14. Is 125 a factor of n(-14)?
True
Let b be 48/20 + (-10)/25. Suppose -1 - 4 = g, b*r - 3*g = 3. Does 14 divide r/(0 + (12/(-153))/2)?
False
Let o(u) = -4 - u**3 + 2*u**2 + 6 - 9*u**3 + 9*u**3 + 3*u. Is 9 a factor of o(-5)?
True
Let f be ((-39)/6 - -6)*-10. Let w(l) = l**2 + 2. Let y be w(2). Suppose -2*a + 227 = -3*p, y*a - a - f*p = 565. Does 10 divide a?
False
Let o(g) = -14*g + 92. Suppose 119 = -5*h + l, -2*h + 2*l + 50 = -4*h. Does 27 divide o(h)?
False
Let d be (-432)/80 - (-2)/5. Let k(x) = -148*x + 184. Is k(d) a multiple of 46?
False
Let x = 41 - 30. Suppose 9*v - x*v + 6 = 0. Suppose p = -4*j + 49, v*j - 24 - 29 = -4*p. Is j a multiple of 2?
False
Suppose -z + 2*z = 2. Suppose -20*y = -21*y - 56. Does 14 divide z/(1 + -3)*y?
True
Let n = -37 - -42. Suppose 0 = -3*x - 2*s + 6, 0 = -4*x - n*s + 15 - 0. Is 13 a factor of x - 0 - (-1 - 2)*39?
True
Let x(s) = 52*s**2 + s + 30. Is x(4) a multiple of 27?
False
Suppose -21*w + 2916 = 522. Suppose 0 = 12*l - w - 306. Is l a multiple of 2?
False
Is 11 a factor of (-5 - (-11 + 3))*(-4 - 41144/(-12))?
True
Let p be (-1)/2 + (-5 - (-30)/4). Suppose -4*w + 296 = 5*u, p*u - 5*u - 5*w = -175. Let n = 105 - u. Is 9 a factor of n?
True
Let m be 5 + -4 - 3 - -3 - -1. Suppose 3*f - 41 = -5*z + 392, m*f - 437 = -5*z. Is 15 a factor of z?
False
Is ((-20)/(-60))/((-4)/(-9408)) a multiple of 7?
True
Let n = 38831 + -22012. Does 17 divide n?
False
Let z(b) = 46*b + 3813. Does 201 divide z(-66)?
False
Does 15 divide (-100)/(8 - 44512/5560)?
False
Let f(j) = -1268*j + 226. Does 5 divide f(-1)?
False
Suppose 0 = 10*i - 22*i + 76944. Does 14 divide i?
True
Suppose -12*p + 7*p = 10. Let m be (-75)/(-2)*p/(-3). Let s = m - -43. Does 17 divide s?
True
Suppose -3*h - 4*p + 25 = 0, h + 24 = 5*h + 3*p. Suppose z - 63 = -5*w, 5*z - h*w = -w + 180. Let y = -15 + z. Is y a multiple of 13?
False
Let y(r) = -r**2 - 23*r - 35. Let h be y(-21). Suppose h*v - 2057 = -195. Is 18 a factor of v?
False
Let q(c) = 110*c**2 + 69*c + 43. Is q(-7) a multiple of 11?
True
Let p(s) = s + 12. Let i be p(-12). Suppose i = j - o - 150, o + 2*o = -6. Does 13 divide j?
False
Let h(t) = t**3 + 23*t**2 + 38*t - 355. Does 17 divide h(-20)?
True
Let w be (-10)/85 + (-3120)/(-221). Suppose -5*d + h + 19 = 0, -d + 3 = -2*h + h. Does 19 divide d/(-28) - (-2242)/w - -1?
False
Let m(s) = s**3 - 7*s**2 - 34*s + 70. Does 102 divide m(23)?
True
Suppose -5*f = -2*i + 862, -2225 = -5*i - 5*f - 0*f. Is 49 a factor of i?
True
Let x = 63 + -63. Suppose x = g + 19 - 4. Is (-9)/g - 634*2/(-20) a multiple of 14?
False
Suppose 20*r - 44685 - 71595 = 0. Is 121 a factor of r?
False
Suppose -5*j = -5, 2*n - 3079 = 5*j + 676. Suppose -a - n = -6*a. Is 11 a factor of a?
False
Let i(v) = 116*v**2 + 8*v + 31. Is i(-7) a multiple of 59?
False
Let f = -5 + 13. Let s = f - 75. Let c = -33 - s. Is c a multiple of 8?
False
Let t(f) = -f**3 - 35*f**2 - 34*f + 10. Let l be t(-34). Does 79 divide -1182*((-16)/60 - 4/l)?
False
Suppose 3*m - 1 = 14. Suppose 0 = -5*h - 3*u + 222, -h = -m*u + 7*u - 50. Is 8 a factor of h?
False
Suppose -2*r - 4*v + 10463 = -1967, -2*v = -2*r + 12400. Is 73 a factor of r?
True
Suppose 3*u = -r + 629, -5*r - 4*u = -486 - 2648. Is r a multiple of 3?
False
Let q be (-5)/3 - 1*(-170)/30. Suppose 2*g = g - q*h + 164, 0 = 2*h + 10. Does 3 divide g?
False
Suppose 0 = -5*x, x = -5*f - 0*x - 5. Let q be 6/(-108)*-57 + f/6. Suppose -3*k - 11 = -2*s, q*s - 2*k + 13 = 32. Is s even?
False
Suppose 5*i + 1667 - 8367 = 5*s, -5*s = -2*i + 2683. Does 2 divide i?
False
Let l(s) = s**2 - 10*s + 17. Let u be l(8). Let g be u + 2 - (-5)/(5/(-2)). Is 38 a factor of (-2 - -40)/(g/4)?
True
Suppose 223164 + 318779 = 17*k. Is k a multiple of 48?
False
Suppose 0 = 2*k - 12*y + 10*y - 712, 5*k - 1788 = -3*y. Is 4 a factor of k?
False
Suppose -4*n - 32 = -4*j, n - 2*n = -1. Suppose 1283 + 3334 = j*s. Does 19 divide s?
True
Let r be (0 + 1)*(85 - (6 + -10)). Let c be (96/(-20))/((-10)/225). Suppose 0*q - 2*q = 5*w - c, r = 4*w - q. Is w a multiple of 22?
True
Let v = -202 - -202. Let w = 36 + -84. Let o = v - w. Is o a multiple of 6?
True
Let a = -91 + 100. Does 6 divide 144/4*a*(-2)/(-12)?
True
Suppose -3*m + 2858 = 5*w, 13*w + 8 = 15*w. Does 43 divide m?
True
Let x be 5/(-2)*-1*16. Let z = x + -40. Does 17 divide -6 - -2 - (z + -89)?
True
Let b(f) be the first derivative of f**4/2 + 23*f**3 + 5*f**2 - 18*f + 45. Does 38 divide b(-34)?
True
Let d(f) = -4*f - 14. Let l be d(-4). Suppose 4*p + 6 = l. Is p/((2/4)/(86/(-4))) a multiple of 9?
False
Let o = 79 - 73. Suppose u = 3*g + 437, o*g - u - 143 = 7*g. Does 13 divide -4 + (0 - -5) - g?
False
Let j(b) = 12*b - 43. Let i(r) = 9*r - 37. Let o(t) = -9*i(t) + 8*j(t). Suppose -3*f - 35 = -8*f. Is 7 a factor of o(f)?
False
Let a(i) = 5*i**3 - 5*i**2 + 127*i - 4. Is a(8) a multiple of 33?
False
Let s = -11240 - -26120. Is 40 a factor of s?
True
Let l be 2 - ((-14)/42 + 22/(-6)). Suppose -l*f = -118 - 872. Is 15 a factor of f?
True
Is (1845/(-2))/(-15)*((-236)/(-6) + 0) even?
False
Let j(a) = 5*a**2 - 11*a + 19. Let l(n) = n**3 - 3*n**2 + 2*n - 20. Let t be l(4). Is j(t) a multiple of 2?
False
Let x = 93 + -28. Let m = x + -58. Let k(o) = o**3 - 6*o**2 + 6*o - 2. Is k(m) a multiple of 7?
False
Let k = 3511 - 2162. Suppose 1847 = 3*x - g, 4*x - k = -3*g + 1118. Is 108 a factor of x?
False
Suppose 1589922 = 162*i - 870858. Does 31 divide i?
True
Let o(a) = -a**3 + 14*a**2 - 8*a - 51. Suppose 5*v - 3*v = 4*h + 22, -3*v = -5*h - 33. Is o(v) a multiple of 5?
False
Suppose -5211 = -9*z + 1809. Suppose z = 4*q - 4*n, -2*n - 164 = 3*q - 749. Does 39 divide q?
True
Is ((-800)/(-84) - 18/189)*1358 a multiple of 108?
False
Let q be -3*5/(1 - -44)*-54. Suppose 0 = 4*t + t - 140. Let x = t - q. Is 7 a factor of x?
False
Suppose 5*k + 2*i = 114959 - 8767, 106172 = 5*k + 7*i. Is k a multiple of 15?
True
Let o = 38916 + 2547. Is o a multiple of 17?
True
Let u(v) = 19*v**2 + 3*v - 6. Let j be u(2). Suppose -4*b - 5*a + j = 0, -a = -3*a - 8. Is 12 a factor of b?
True
Let d(t) = t**3 + 4*t**2 - 15*t - 15. Let n be d(-6). Suppose -n*v = -8*v + 105. Is v a multiple of 21?
True
Suppose 3*w + 4*f = 10, 0*w - 2*f = 3*w - 2. Does 30 divide 48/(-14)*84/w?
False
Let v be 579 - (-6 - 2)/4. Let g = v + -31. Does 14 divide g?
False
Let c be (-7 + 77/7)*2/2. Let i(t) = 96*t + 33. Is 62 a factor of i(c)?
False
Suppose 5*a + 5 = -45. Let g(b) = -b**3 - 10*b**2 - 2*b - 15. Let v be g(a). Suppose -v*c + 545 = 15. Is c a multiple of 8?
False
Let u(x) = -x**3 + 19*x**2 + 6*x + 51. Let i be u(19). Suppose -2*q + i = -465. Does 35 divide q?
True
Does 36 divide 1/(-1) - (-22720 - 4/(-4) - -2)?
True
Suppose -109715 = -521*q + 516*q - 2*u, q - 21956 = -3*u. Is 45 a factor of q?
False
Let x be (-4 - (-32)/(-10))/((-2)/(-10)). Let b = 9 - x. Does 7 divide b?
False
Suppose -3*o + 3*n + 7 = -32, 5*n + 50 = 4*o. Suppose -6*q - 5*t + o = -q, 5*q - 9 = t. Suppose 5*v = 2*j + 60, q*v = -4*j + 7 + 41. Is 4 a factor of v?
False
Sup