iple of 26?
False
Let q = -33945 + 49242. Is 3 a factor of q?
True
Let z = -2 - 25. Let f = -4 - z. Let c = f + -12. Is c a multiple of 5?
False
Suppose 41*y - 169625 - 13727 = 0. Is y a multiple of 99?
False
Let a be ((-28)/21)/((-12)/18). Suppose 0 = -2*d - 0*d + 248. Suppose y = -5, -d = -3*w - 3*y + a*y. Is w a multiple of 4?
False
Let w = 105 - 46. Suppose -w*b + 720 = -19*b. Is b a multiple of 18?
True
Suppose 2*o - 900 = -3*n + 844, o + n - 873 = 0. Is o a multiple of 9?
False
Let w = 9360 - 6621. Is w a multiple of 83?
True
Suppose 11*x = -17*x - 336. Let s(f) = -f**3 - 9*f**2 + f + 17. Is 19 a factor of s(x)?
True
Let w(f) = 269*f**2 + 277*f + 2. Does 8 divide w(-2)?
False
Let q(j) = -j**3 - 8*j**2 - 9*j - 11. Let g be q(-7). Suppose 121 = g*y + k, 0 = 2*k - 12 + 4. Is y a multiple of 13?
True
Let a be ((-66)/(-12) + -6)*(2 - 54). Let t = -2 - -13. Let n = a + t. Does 3 divide n?
False
Let d(y) = -25*y + 7. Let m(a) = -2*a - 1. Let l(r) = -d(r) + 4*m(r). Does 3 divide l(2)?
False
Let m(h) = 113*h**3 + 3*h**2 - 36*h + 49. Does 33 divide m(4)?
False
Suppose -163*h - 535389 = -870*h + 5650861. Does 24 divide h?
False
Let d(b) = -236*b - 1802. Is 217 a factor of d(-103)?
False
Let p = 246 + -256. Does 17 divide ((-6)/p)/((-8)/40) + 111?
False
Let c(x) = 497*x - 3073. Is c(13) a multiple of 77?
True
Let i(l) = l**3 + 12*l**2 + 26*l - 6. Let b be i(-3). Is 1*b/(-15) + (-442)/(-65) a multiple of 5?
False
Suppose 5*k = -k + 12. Suppose -3*f - k*i + 54 + 42 = 0, 0 = -f + 5*i + 32. Does 4 divide f?
True
Let n be -26*3/(-6) + 8/(-2). Let w(l) = -l**2 + 8*l + 10. Let u be w(n). Is -30*(-4)/10*u a multiple of 3?
True
Let g be ((-224)/12)/(3*(-3)/(-54)). Suppose 5*a + 0*a = -285. Let f = a - g. Is 6 a factor of f?
False
Suppose 133*r - 304146 + 283868 = 817489. Is r a multiple of 126?
False
Let p be 518/(-148)*(4/6 + (-366)/63). Suppose -2*x - 16 = -54. Let u = x + p. Is 15 a factor of u?
False
Let z be (-45540)/(-50) + (-1)/(-5). Suppose k - z = -2*k - x, -301 = -k - x. Suppose 9*w = 163 + k. Is w a multiple of 20?
False
Does 98 divide (-944958)/(-28) + 26/4?
False
Let s(r) = r**3 + 12*r**2 + 2*r + 18. Let x be s(-12). Does 27 divide (-1 - -4)/(x + (-10530)/(-1752))?
False
Let p(z) = 2*z - 5. Let q be p(5). Let u = -178 + 246. Suppose u = q*s - 132. Is s a multiple of 20?
True
Suppose 5*b + 2641 = k, -2*b = 46*k - 49*k + 7871. Is k a multiple of 24?
False
Suppose 0 = -95*l + 98*l - 39. Does 35 divide ((-832)/l)/(4/(-14))?
False
Suppose -10*u - 69460 - 7200 = -5*j, -5*j + 2*u = -76596. Is j a multiple of 28?
True
Let p = -16349 + 44537. Is p a multiple of 27?
True
Let k(y) = -y**3 - 10*y**2 - 3*y - 21. Let l be (10/(-3))/(-6 + (-19)/(-3)). Let j be k(l). Suppose -11*r = -j*r - 104. Is 13 a factor of r?
True
Let y(o) = -10*o - 19. Let h(x) = x**3 - 7*x**2 - 2*x + 6. Let b be h(7). Let c be y(b). Let p = c + -5. Does 14 divide p?
True
Suppose 345 = 8*l + 15*l. Let a = l + 213. Is 12 a factor of a?
True
Let t(u) = 57*u - 24*u + 3*u**3 - 3*u**3 - u**3 - 26*u + 10 - 6*u**2. Is 98 a factor of t(-11)?
False
Suppose -77*y + 82*y - n - 34393 = 0, -3*n = -y + 6859. Does 148 divide y?
False
Let n = -1322 - -396. Let a = -654 - n. Is a a multiple of 35?
False
Let h(y) = y**2 - 12*y - 20. Let w be h(-6). Suppose 5*z = 9*z - w. Is 22 a factor of z?
True
Suppose -4*n - 104 = -3*p, -10*n + 15*n + 106 = 3*p. Suppose p*j - 425 = 5015. Does 23 divide j?
False
Suppose 8876 - 263 = 4*g - 5503. Is g a multiple of 44?
False
Suppose -82*p + 90*p + 3520 = 0. Let u = -8 - -10. Is (p/(-32))/(u/32) a multiple of 10?
True
Suppose -j - 3*p = -3*j - 31, 2*j - 2*p + 34 = 0. Let f = j + 24. Does 18 divide (-2 - -438)/4 - f?
False
Let z(g) = 986*g - 2311. Does 120 divide z(18)?
False
Let o be (-144)/(-10)*(-400)/(-30). Let b = o + -28. Does 4 divide b?
True
Let q be -3 + (35/14 - (-27)/(-6)). Let d(p) = -84*p + 21. Is 19 a factor of d(q)?
False
Let m be 2/(-1 + 5)*-15*2. Is 60 a factor of 9/15 - 5721/m?
False
Let a = 26825 - -10534. Is 21 a factor of a?
True
Let z be 13 - 10 - 0/(-1). Suppose 125 - 1204 = -3*p - 2*o, 0 = -z*p - 4*o + 1087. Suppose 108 = 3*a - p. Is a a multiple of 20?
False
Suppose -4*p + 12 = -p. Suppose -5 = -2*o - w + p, 0 = -3*o - 3*w + 15. Suppose -o*i + 324 = -3*x, x - 31 = -i + 43. Is 13 a factor of i?
True
Let a(m) = m**2 + 4*m - 64. Let q be a(-10). Let f(k) = -161*k + 39. Is 72 a factor of f(q)?
False
Suppose -4903*h = -4795*h - 77544. Is 2 a factor of h?
True
Let p = 334 + 874. Let x = p + -506. Does 27 divide x?
True
Let i(m) = -m**3 + 3*m**2 + 23*m + 5. Is i(-13) a multiple of 20?
False
Suppose -330 = 8*t - 3*t. Let w = -67 - t. Is 12 a factor of -25*24*(-3)/(-30)*w?
True
Does 6 divide (7/(21/(-14130)))/(9 + 464/(-48))?
False
Suppose -5*z + 10 = 0, 13*z + 17012 = 4*r + 9*z. Suppose 14*a - 51*a = -r. Is 5 a factor of a?
True
Let f(l) = -4*l - 39. Let w be f(-18). Suppose -11*r + 1804 + w = 0. Is 26 a factor of r?
False
Let f = -462 + 465. Does 12 divide ((-11649)/(-44))/(f/8)?
False
Suppose -3*i = 2*s - 4*i - 11, 3*s = 2*i + 14. Suppose -754 = -s*p - 5*p. Is 11 a factor of p?
False
Does 8 divide (10 - -15*(-10)/30) + 2390/2?
True
Let s = -30 + -71. Let y = -95 - s. Let c(h) = h**3 + h**2 + h + 8. Does 38 divide c(y)?
True
Let i be 32/(-12)*(-3)/1. Suppose t - 9 = -r, 9 = -5*r + r + 5*t. Suppose 5*a + s = 1697, -668 = -2*a - i*s + r*s. Is 28 a factor of a?
False
Suppose 18 + 19 = -5*a + p, -4*a - 38 = -5*p. Let v be 24*4/(-12)*a - -1. Suppose 2*x = 3*b - 138, b - v + 12 = x. Is 8 a factor of b?
True
Suppose -a - 3*l + 65 = 0, 0 = -a + 3*l - 2*l + 53. Suppose 63*q - 67*q + a = 0. Suppose 22 + q = 3*u. Is u a multiple of 4?
True
Suppose 26*u - 4 = -5*m + 28*u, -2*u - 4 = 2*m. Suppose 49 - 405 = -4*v - 4*z, -3*z + 3 = m. Is v a multiple of 25?
False
Let p be (2 - 3/(-6))*4/5. Suppose r = -p*q + 1161, 0*q - 4*r + 1744 = 3*q. Is q a multiple of 32?
False
Suppose 2*f + 2*i - 51896 = 80724, -2*i = 5*f - 331544. Is 11 a factor of f?
True
Let s(u) = 4*u + 4 - 34*u**2 - 5*u**3 + 1 + 3*u**3. Let v be s(-17). Does 11 divide (-4)/(-8)*(2 - 2) - v?
False
Does 6 divide (51570/(-360))/((-5)/360)?
True
Suppose 10*d + 4497 = -203. Let r = d + 1165. Is r a multiple of 40?
False
Let j(x) = 216*x**2 - 12*x + 28. Does 16 divide j(2)?
False
Is 15 a factor of -11 - (13041/(-2) + (-570)/(-380))?
False
Suppose 4*d + v - 256 = 5*v, -5*v + 46 = d. Suppose 62*a = d*a + 40. Is a a multiple of 5?
True
Let l(s) = 175*s**2 + 175*s + 5. Is 185 a factor of l(7)?
True
Suppose 2*a - 23910 = -5*m, -4*a - 11*m + 47840 = -6*m. Does 6 divide a?
False
Let u be 3*(-11)/((-198)/1632). Let x = u + -78. Is 2 a factor of x?
True
Suppose 4*k - 40 = -0*x - 5*x, -2*k + 20 = -3*x. Let z be -124*6/k*20/(-16). Suppose 0 = 3*u - 2*h - 70, -u - 3*u + 3*h = -z. Does 2 divide u?
True
Suppose -379*q + 382*q + 30884 = c, -4*c + 3*q = -123563. Is 10 a factor of c?
False
Let a be 1741 + -4 + (-8 - -11). Suppose -5*d = 4*h - 1737, -2*h - 3*h + a = 5*d. Is 9 a factor of d?
False
Let h(a) = 3*a**2 + 20*a + 724. Is h(-56) a multiple of 43?
False
Let n(o) = -2*o - 53. Let s be n(-28). Suppose -15 = s*y - 12. Does 25 divide ((-155)/62)/(-1*y/(-30))?
True
Suppose 5*j + 27 = 3*n, 4*n + j - 2*j - 53 = 0. Suppose -10*c + n*c - 296 = -p, 5*p = c - 95. Does 6 divide c?
False
Suppose -20650 = -8*t - 6202. Suppose -10*b + 7306 = t. Is b a multiple of 29?
False
Let x(a) = 2*a**3 - 26*a**2 - 31*a + 465. Does 9 divide x(24)?
True
Suppose 3*n - 12 = 3*u, 2*u + u + 18 = 5*n. Suppose -n*i - 10 = -4*i. Let f(l) = l**2 - 3*l - 6. Is 11 a factor of f(i)?
False
Let s be (-20)/(-11) - 10/(-55) - -3. Suppose d + s = 4, -5*n - 13 = 3*d. Let q = n + 47. Does 15 divide q?
True
Let z = 95 + -145. Is (z/6)/(100/(-120)) a multiple of 3?
False
Suppose 12*y + 12*y + 162349 = 476581. Does 54 divide y?
False
Does 22 divide (-150)/(-12)*(-171)/(-45)*16?
False
Let x(d) = -2*d**3 - 6*d**2 - 9*d - 1. Let l = -42 + 52. Suppose -5*j = -3*j + l. Is 24 a factor of x(j)?
True
Let l = -73479 - -119742. Is 21 a factor of l?
True
Let m(o) = -29*o - 2. Let u be m(-2). Is 6 a factor of u/12*(-240)/(-10)?
False
Suppose 282*a + 63139 - 3139195 = 0. Is a a multiple of 108?
True
Let z(n) = 3*n**3 - 6*n**2 + 3*n - 4. Let f(m) = -233 + 3*m**3 - 3*m + m + 236. Let 