
Let d be 20*(-3 - 25/(-10))*-1. Does 28 divide (498/d)/(11/110)?
False
Suppose 3*c - 7735 = -4*j, -61*c + 59*c - 2*j + 5152 = 0. Is 5 a factor of c?
False
Suppose -1444 = -10*s + 7456. Suppose b = d + 2*d + 448, 2*b = 3*d + s. Is 17 a factor of b?
True
Suppose -i + 2*d + 2 - 12 = 0, -2*i = 5*d - 25. Suppose 168 = -i*t + 6*t. Let c = t - -92. Is 30 a factor of c?
True
Let k(r) be the third derivative of 13*r**4/24 - 14*r**3/3 - 6*r**2 + r. Is 24 a factor of k(4)?
True
Let v = 50 - 49. Suppose -10*q - v = -21. Suppose 0 = -l - 3*l - 4*j + 1480, -370 = -l + q*j. Is 37 a factor of l?
True
Let x = 21056 - 20791. Is 5 a factor of x?
True
Let w(p) = p**3 + p**2 - 100*p + 55. Let z be w(10). Let i(g) = -g**3 - 6*g**2 - 7. Let t be i(-6). Let f = z - t. Is f a multiple of 9?
True
Let t(y) = 835*y**3 - 6*y**2 + 8*y + 71. Is 33 a factor of t(4)?
False
Suppose 0 = 4*w - 3*o - 17760, 4*w - 8*o = -9*o + 17760. Is w a multiple of 24?
True
Let v(l) = l**3 + 23*l**2 - 23*l + 24. Let d be v(-24). Suppose 10*t - 1098 - 202 = d. Is t a multiple of 13?
True
Suppose n = 3*s + 5798, 151*n - 148*n = -3*s + 17346. Does 22 divide n?
True
Suppose -2*c + 2983664 = 70*q, -5*q + 67*c + 213160 = 62*c. Is 333 a factor of q?
True
Let x(o) = -3*o**3 - 15*o**2 + 7*o + 16. Let m = -19 - -15. Let r(q) = -2*q**3 - 14*q**2 + 8*q + 15. Let t(a) = m*r(a) + 3*x(a). Does 4 divide t(9)?
False
Let j = 50 - 32. Let f be 7 + ((-4)/(-4) - 3). Does 12 divide j*(f/(-3) - -3)?
True
Let s = -26146 + 39612. Is s a multiple of 40?
False
Is 26 a factor of 7 - (-1 + 2) - 3/6*-2588?
True
Is (-1633580)/(-28) + ((-4)/140)/(2/10) a multiple of 14?
False
Suppose -1087 = -2*l + 785. Suppose 25*p = 19*p + l. Is p a multiple of 19?
False
Let a(g) = -3*g - 60. Let k = -28 + 44. Suppose 13*h - 84 = k*h. Is a(h) a multiple of 6?
True
Suppose -3*w + z + 334 = -0*w, -3*z = w - 98. Suppose 0 = 2*t - w - 68. Suppose t - 299 = -2*h. Does 11 divide h?
False
Let y(r) = -5 + 462*r - 18*r**2 + 3*r**3 - 425*r - 2*r**3. Is 25 a factor of y(16)?
True
Suppose 18373 = i - 3*x, x + 1112 = 2*i - 35669. Is i a multiple of 14?
False
Let o = 5 - -3. Suppose 191 - 31 = o*s. Let p = 34 - s. Is 7 a factor of p?
True
Suppose -2*z + z = 4*n - 6860, 4*n + 5*z = 6844. Is 18 a factor of n?
False
Let h(l) = -l**3 + 4*l**2 - 5*l + 2. Let k be h(2). Suppose 0 = -3*m + 4*b + 1224, k*m + 4*b = -3*m + 1200. Is 9 a factor of m?
False
Let a(w) be the first derivative of w**4/4 - 11*w**3/3 - 5*w**2 + 28*w - 6. Let y be a(12). Suppose 5*r - 468 = y. Is r a multiple of 16?
False
Let m be -6*1/2 - (-2)/2. Let c be ((-14)/(-6) + m)/(4/24). Suppose 0*o - 894 = -5*o + c*t, -5*t = -2*o + 345. Is o a multiple of 36?
True
Suppose 0 = 4*a - 4*p, 6*p - 8*p = a - 9. Suppose l + 2*c - 557 = 0, 0 = -3*l + l + a*c + 1107. Is l a multiple of 15?
True
Suppose -5*p = 20335 - 323860. Does 213 divide p?
True
Suppose 6*n - 12 = 12. Suppose 0 = 4*m - 2*f - 972, n*f - 743 = -3*m + 2*f. Let j = m + -82. Is 11 a factor of j?
False
Let b(r) = -r - 26. Let g be b(-8). Let u be ((-12)/g)/((-161)/(-81) + -2). Let f = 89 + u. Is 21 a factor of f?
False
Suppose -6*b = 2366 + 322. Let x = 467 + b. Does 4 divide x?
False
Let h be 1/2 - (-19)/(-38). Suppose 0*x - 5 = x, 5*t + 15 = -5*x. Suppose r + t*p = 81, -159 = -2*r - 3*p - h*p. Does 25 divide r?
True
Let i(n) = -8*n - 12. Let t = 123 - 141. Is 22 a factor of i(t)?
True
Suppose -4*b - 2*u + 3*u + 1605 = 0, 0 = -3*b + u + 1205. Does 10 divide b?
True
Suppose -4*l - 3*x + 351 = 0, 4*x + 395 = 5*l - x. Let r = l + -93. Let a(h) = 2*h**2 + 6*h + 6. Is a(r) a multiple of 11?
False
Suppose 3*m = -2*b + 935 + 3198, 4*m - 2*b = 5520. Is 69 a factor of m?
False
Suppose -2*c - 2 = -p, -4*c = -0*c + 16. Let w be (1/(-3))/(p/306). Let x = w - -36. Is 8 a factor of x?
False
Let d = 123 + -121. Is 224/(-28)*(-29)/d a multiple of 14?
False
Let l be 18/1 - (4 + -6). Suppose -31*r = -l*r - 2431. Is 17 a factor of r?
True
Let c = -109 + 114. Suppose 21 = -16*s + c. Is 11*(-95)/15*(s + -2) a multiple of 16?
False
Let p(u) = -5*u**2 + 7*u + 9*u**2 + 2 - 41*u**3 - 3*u. Let s be p(-2). Suppose s - 1218 = -5*y. Does 44 divide y?
True
Let b be 11 + (2*4/(-8) - 3). Is 34 a factor of (-6)/b*((-7497)/(-3))/(-7)?
True
Let y be -63 - 4*2/4. Let x be (908/(-5))/2 - (-960)/1200. Let f = y - x. Is f even?
False
Let h = -340 + 350. Suppose 7*q + 117 = h*q - 5*c, 2*c = 5*q - 214. Is q a multiple of 3?
False
Let w(p) = 3*p - 30. Let j be w(3). Does 49 divide (-22)/231 - 3089/j?
True
Let c(k) = -137*k**3 - 5*k**2 - 8*k + 2. Is 92 a factor of c(-3)?
True
Suppose 0 = 3*g - 5*z - 2, g - 26 + 7 = -2*z. Let f be 2/g + (-6)/27. Suppose -13*a + 2*a + 132 = f. Is a a multiple of 7?
False
Let k(c) = 2*c**3 - c**2 + c - 1. Let p(r) = -11*r**3 + 6*r**2 - 6*r + 176. Let s(o) = 5*k(o) + p(o). Is 9 a factor of s(0)?
True
Let g = -6798 - -16591. Is g even?
False
Let c(f) = 3271*f - 2671. Is 129 a factor of c(5)?
False
Let a be -2*((-110)/4 + 2). Suppose 4*t = -5*m + 1049, 4*m + 25*t - 22*t - 840 = 0. Suppose 0 = i - m + a. Is 14 a factor of i?
False
Suppose -42844 = -5*c - 4*g, -4*c + 3*g + 14075 = -20163. Does 55 divide c?
False
Let u(q) = -q**3 + 22*q**2 - 81*q - 7. Let y be u(18). Suppose 0 = -0*z + 2*z + 146. Let i = z - y. Does 16 divide i?
True
Let u be (1008/30)/((-15)/50). Is u/196 + (-9657)/(-7) a multiple of 51?
False
Let p(x) be the first derivative of -3*x**2 - 49*x - 34. Let w be p(-6). Let i = w + 62. Is i a multiple of 30?
False
Let n = -1193 - -4136. Suppose 0 = -2*p + n - 63. Is 27 a factor of p?
False
Let t(d) = -63*d - 24. Suppose 13 = -2*q + g, -5*q = g + 22 + 21. Let y be t(q). Is (-64)/y + 3377/15 a multiple of 9?
True
Let f(k) = -k + 58*k**2 - 86*k**2 + 2*k + 82*k**2. Let n = -17 + 18. Does 11 divide f(n)?
True
Let j be (210/(-126))/(2/(-6)). Suppose -3*y - 5*v = -4037, j*y + v = 4301 + 2420. Is 12 a factor of y?
True
Is 7 a factor of (-10)/(-265) - 2572082/(-212) - 6/4?
True
Let t(b) = -b**3 + 4*b**2 - 16*b - 12. Let x be t(5). Does 12 divide (-2 + 4)*3/(-2)*x?
False
Let d be 698/25 + (-104)/(-1300). Let c(x) = 18*x - 153. Does 10 divide c(d)?
False
Let b = -37 + -19. Let s be (-5)/(-2)*b/35. Let u(t) = -t**2 - 8*t - 3. Does 9 divide u(s)?
False
Suppose 3*h - 5*q = 7503, 14*h - 9972 = 10*h - 4*q. Is 2 a factor of h?
True
Let d be 92424/(-108) - ((-6)/(-27) - 0). Let q = d + 1780. Does 44 divide q?
True
Let g = 217 - 401. Let r = 205 + g. Is r a multiple of 2?
False
Let c = -94 - -90. Is 14 a factor of (-304)/(-24)*(-18)/c?
False
Let q = -20 - -291. Suppose -87 = -f - 2*v, -3*f + q = 4*v - 0*v. Is 2 a factor of f?
False
Let j(c) = c**2 + 399. Let f = -44 + 44. Is j(f) a multiple of 19?
True
Suppose t + 5*r + 1 = 0, -2*t - 2 = 4*r - 0. Let f be ((-14)/(-70))/(t/(-5)). Does 15 divide ((60/(-9))/4)/(f/(-45))?
True
Suppose y = -5*f + 32818, 4*y + 4428 = -2*f + 17548. Suppose -5*i = 5*h - 7341 + 781, 5*i + 4*h = f. Is i a multiple of 30?
False
Suppose 6*w - 7 - 5 = 0. Suppose 0 = 4*r - 4, 5 = -4*b - w*r + 3*r. Is (-2)/5 + ((-2228)/20)/b a multiple of 37?
True
Suppose 12*z - 25345 - 23196 = 767. Is 41 a factor of z?
False
Suppose -30*q + 33*q = 750. Suppose 0 = 5*t - h - q, -t - 4*h + h + 66 = 0. Let v = 64 - t. Does 8 divide v?
False
Let a be -119 + 1 + (-6 + -2 - -6). Let x be 2*(-16)/(-6)*-9. Let s = x - a. Is 9 a factor of s?
True
Let v(l) = 10 + 2 - 107*l**2 + 108*l**2 - 10*l + 3 - 7*l. Suppose 0 = 4*x - 21 + 49. Is 10 a factor of v(x)?
False
Let s(g) = 6 + 4*g - 3*g + 13*g**3 - 24*g**2 - 23. Let f(h) = 6*h**3 - 12*h**2 - 8. Let t(q) = -9*f(q) + 4*s(q). Is t(6) a multiple of 28?
True
Let n = 24742 + -11221. Does 183 divide n?
False
Let u = -20587 + 33676. Does 12 divide u?
False
Suppose 354*v - 349*v - y = 12643, 0 = -2*v - 3*y + 5047. Is 4 a factor of v?
True
Suppose -z - 885 = 16*l - 12*l, z = l + 220. Let d = 278 + l. Is d a multiple of 29?
False
Suppose -4*n - 824*q + 13156 = -823*q, 4*n + 4*q - 13180 = 0. Is n a multiple of 19?
True
Let l(z) = -254*z + 2907. Is 13 a factor of l(-21)?
False
Suppose -w + 29 = -4*w - 2*l, 15 = 3*l. Is (-167)/w + (-9)/(702/(-12)) a multiple of 3?
False
Suppose 0 = -7*x + 2*x. Suppose 95*a - 89*a - 960 = x. Does 41 divide a?
False
Suppose 54982 = 19*q + 15*q + 40*q. Does 127 divide q?
False
Is 4 - (-21)/(-6) - 33