(f) = -13*f**2 - 3*f - 22. Let r be l(-6). Let c = r + 790. Is c a multiple of 15?
False
Suppose 114*j = 138*j - 912. Is j*(-14)/4*280/(-98) a multiple of 53?
False
Suppose -5*l + 177 = -8*l. Let i = 421 - l. Does 24 divide i?
True
Let t be 3/(3 + (-104)/36). Suppose 0 = 5*g - 4*s + 3*s - t, 12 = 4*s. Suppose 0 = 2*x - g*x + 8. Is x a multiple of 2?
True
Suppose 0 = -3*r + 47 - 155. Let g = r - -278. Is g a multiple of 71?
False
Let a(l) be the second derivative of -l**4/12 + l**3 - l**2 - 2*l. Let c be a(5). Suppose -2*r - c*g + 66 = 0, 4*r - 56 - 80 = -4*g. Does 18 divide r?
True
Suppose 3*k - 84 = 2*f, 2*f - 5*k - 36 + 112 = 0. Let s be 11*(-16)/(1 + 3). Let g = s - f. Is g a multiple of 3?
False
Let b be ((-3)/(-9))/(2/6). Let l be b/5 + 68/10. Suppose l*n - n - 1002 = 0. Is 43 a factor of n?
False
Let k be 2 + -2 + 2 + 3. Suppose 4*m - 5*i - 507 = 0, k*i - 481 = -5*m + 164. Does 8 divide m?
True
Suppose 0 = -0*b + 2*b + 4*m - 72, -b = -2*m - 24. Let s = b + -46. Let n(d) = -d**2 - 17*d + 32. Is 11 a factor of n(s)?
False
Suppose -46*x + 34*x + 672 = 0. Suppose 57*l - 106 = x*l. Does 7 divide l?
False
Suppose 0 = -6*d + 7*d - 289. Let z = 167 - d. Let c = z - -235. Is c a multiple of 12?
False
Let r = -89 - -109. Let f be 108/r + 12/20. Does 4 divide (-2 + -5 + 31)/(f/4)?
True
Let n = 4749 - -6981. Does 10 divide n?
True
Is 21 a factor of ((-2)/((-44)/(-52) + -1))/(2/394)?
False
Let y(o) = 3*o**3 - 5*o + 10*o**2 + 2*o**3 - 6*o**3 - 11*o. Let q be y(8). Suppose -3*a + f = -361, q = -3*a + 2*a - f + 119. Does 24 divide a?
True
Let r = -569 - -602. Is 3 a factor of r?
True
Let g(a) = -3*a**2 + 12*a - 8. Let h be g(3). Does 10 divide (3*12/(-9))/(h/(-15))?
True
Is (-2)/26 + (-2505090)/(-546) a multiple of 31?
True
Let z = -39 - -44. Suppose 3*f + 2643 = 2*h, -3596 = -z*h + 3*f + 3025. Suppose -11*k - 6*k + h = 0. Is 4 a factor of k?
False
Suppose 4*z - 20 = -4*d, 0 = d - 4*z + 9 + 1. Suppose 4*t - 609 = -q, -d*t = -3*t - 4*q + 141. Is t a multiple of 51?
True
Is ((-562)/(-10) + 70 + -77)*175 a multiple of 14?
True
Suppose -a - 3*h + 3028 = 0, 0 = 5*a - 5*h + 8*h - 15068. Does 4 divide a?
False
Suppose -3*p = -3*n + 12042, 4*n - 8061 = 2*p + 7983. Is n a multiple of 14?
False
Let m = 19111 + 3145. Does 208 divide m?
True
Let k be -27*(-5)/40 - (-12)/(-32). Suppose 0 = -5*x + k*q + 391, 8*x - 12*x + 314 = -2*q. Is x a multiple of 8?
True
Let c = 1783 - 751. Suppose -c = -18*q + 1200. Is 62 a factor of q?
True
Let t be 4/9 - (233360/(-72))/2. Let s = t - 923. Is s a multiple of 36?
False
Suppose 0 = -5*z + 8 + 2, -21 = 5*x + 2*z. Let j be -1 + x + 6 + (158 - 2). Let g = -93 + j. Is g a multiple of 7?
True
Suppose 0*a = 3*m + a - 100, -3*m - 3*a = -96. Suppose 48*k - m*k = 3920. Does 22 divide k?
False
Let j(x) = -740*x + 3942. Is 73 a factor of j(0)?
True
Let n be -4*(-2 + ((-50)/(-4) - 2)). Let w = 28 - n. Suppose -2*j = -5*r - 43, 0 = 5*j - 2*r - 14 - w. Is 4 a factor of j?
False
Suppose 5*o - 2*o + 28 = g, 3*o + 36 = 3*g. Is 11 a factor of 70/3 + 3 - o/12?
False
Let s = 4484 - 2023. Is s a multiple of 30?
False
Let r = 877 + -706. Let s = r - -649. Does 20 divide s?
True
Let b = 29 - 16. Suppose 5*k = 12 + b. Let f(g) = -g**3 + 6*g**2 - 5*g + 8. Does 3 divide f(k)?
False
Is 16 a factor of (-6)/(-16) - ((-3237)/8 + -11)?
True
Suppose -156*t - 104 = -160*t. Suppose -t*m + 960 = -21*m. Does 15 divide m?
False
Suppose 23*t = 153*t - 441350. Is t a multiple of 101?
False
Let p = -47 + 61. Suppose p = x - 46. Suppose 58*u - x*u = -238. Is 20 a factor of u?
False
Let i(w) = w**3 + 22*w**2 + 20*w - 6. Let f be i(-21). Suppose f*y - 1550 = 1150. Is 18 a factor of y?
True
Let a = -6 + 9. Suppose u + 16 = a*u. Suppose u*k - 540 = -2*k. Does 18 divide k?
True
Suppose 30*l - 22*l - 128 = 0. Suppose -l*h + 6539 = -4517. Does 47 divide h?
False
Suppose -4*q = 4*d - 6*q - 25836, 4*d - 25844 = 4*q. Is d a multiple of 8?
False
Let f(m) = -35*m - 2. Let v(b) = -b**3 - b. Let s be v(-1). Suppose -6 = s*i + 4*g, 0 = 6*g - 2*g + 4. Does 11 divide f(i)?
True
Let o = -88 + 193. Let j = -76 + o. Is 3 a factor of j?
False
Let v(k) = 2*k**2 - 3*k + 2. Let b be v(2). Suppose 1 = 3*p + b, 38 = 3*y - 2*p. Suppose 450 = 17*l - y*l. Does 30 divide l?
True
Let n = 2 + -4. Let x(r) = 23*r - 29*r - 22*r - 2 - 69*r. Is x(n) a multiple of 24?
True
Let h(z) = 194*z - 16*z**2 + 6*z**3 - 3*z**3 - 190*z + 10. Let j be h(5). Suppose j*d - 6*d = -11. Does 7 divide d?
False
Suppose 0 = 5*l - 109 + 94. Suppose -2*a - l*o = 3*a - 2464, -3*o = 3*a - 1476. Is a a multiple of 38?
True
Let g(o) = -1531*o - 4448. Does 240 divide g(-18)?
False
Suppose 195 = -5*q + v + 583, -q + 5*v + 92 = 0. Let z be (-4)/(-14) - (-209)/q. Suppose -y = z - 5. Is 2 a factor of y?
True
Let u = -602 - -301. Let y = 480 + u. Is y a multiple of 70?
False
Let c(l) = -147*l**3 + 7*l**2 + 23*l - 1. Is c(-3) a multiple of 38?
False
Suppose -110 = -4*q + 246. Suppose -q*s = -94*s + 2440. Is s a multiple of 9?
False
Suppose 4*f - 24986 = -5*m - 8451, -3*f - 3*m = -12405. Suppose -19*k = 11*k - f. Does 8 divide k?
False
Let g = -209 + 209. Does 38 divide (g - 3)/(-3) - 3 - -116?
True
Let c(j) = -125*j**3 + 3*j**2 + j - 2. Suppose -8*x - 13 = 3. Does 16 divide c(x)?
True
Suppose 0 = 4*i - 6*i + 272. Suppose -5*t - i = 554. Let z = -96 - t. Is z a multiple of 14?
True
Is 86 a factor of 24/(-27) - (-441228)/54?
True
Suppose 9*n - 5*d - 314312 = -117692, 5*d = 4*n - 87395. Does 17 divide n?
True
Let p(d) = 2*d**3 + 60*d**2 + d + 36. Let n be p(-30). Suppose n*l = 3647 + 4519. Does 26 divide l?
False
Let y = 449 - -850. Suppose -2*i + 997 + y = 0. Is 63 a factor of i?
False
Suppose 18*b - 18900 = -18*b. Suppose -h - 4*o = 2*h - 1575, h - 5*o = b. Does 15 divide h?
True
Let f = 24907 - 19603. Does 39 divide f?
True
Let k(y) = 8*y**3 - 12*y**2 + 22*y - 22. Is k(6) a multiple of 84?
False
Let t(i) = i**3 - 14*i**2 + 50*i - 1050. Is t(20) a multiple of 11?
False
Let o be (-6)/(-2*5/((-40)/(-6))). Suppose q + 8*h + 23 = o*h, 3*q - 1 = 2*h. Does 2 divide q*8/36 - 46/(-6)?
False
Suppose -4*y + 112 = 3*y. Suppose -c + 5 = 0, 21 + y = 3*a - 4*c. Is a a multiple of 14?
False
Suppose 71 = 9*g - 109. Suppose 768 = g*b - 9032. Is 14 a factor of b?
True
Let k be (1 + 0)/(-4 + (-259)/(-63)). Suppose 3*g + 12 = 0, -2*h + 5*g = -5*h + 2074. Suppose -k*x + h = -76. Does 15 divide x?
False
Suppose 14*i - 253 - 321 = 0. Suppose 33*l = i*l - 2064. Does 29 divide l?
False
Suppose 0 = c + c - 12. Let o = -386 + 377. Is (-312)/o - (-8)/c a multiple of 4?
True
Let k(j) = -49*j - 42. Let l be k(-9). Suppose -c + 10 = -l. Suppose 6*m - 965 = c. Is 28 a factor of m?
False
Let l = 30 - 21. Suppose 2*r - 3*c - 14 = -3, c + l = -2*r. Is ((-324)/(-20))/((-11)/(-5) + r) a multiple of 9?
True
Suppose -119 = 3*j - 14. Let w be 2/7 + (-4 - 165/j). Is 44 a factor of (-618)/(-7)*w + 4/(-14)?
True
Is 2 a factor of 13 + (-20 - -31) - -1574?
True
Let y = 2010 + 783. Is 88 a factor of y?
False
Let l(a) = -a**2 + 23*a + 29. Let z be l(24). Suppose 2*p - 5*b = -2*p + 957, -4*b = z*p - 1227. Does 55 divide p?
False
Let n(y) = 24489*y**2 - 250*y + 252. Does 317 divide n(1)?
False
Let v(f) = -f**3 + 10*f**2 - 2*f + 8. Suppose u + 9 = 2*u. Let n be v(u). Let j = n - 14. Is j a multiple of 17?
False
Let d be (-5 - (-4 + -1)) + 1 + 0. Let w = 134 + d. Is w a multiple of 21?
False
Is 87 a factor of (12035/2)/((-2)/15 + (-534)/(-1780))?
True
Let i = -38 + 92. Is (-18)/i - (-643)/3 a multiple of 9?
False
Let n be 4/3*8/(-32)*-15. Suppose 665 = -4*m + n*v + 110, -5*m + 5*v = 695. Let a = -63 - m. Does 14 divide a?
False
Suppose 0 = -6*k - 5 - 1. Let n be 12 - 12 - (k + -73). Suppose n + 66 = 7*j. Does 6 divide j?
False
Let u(n) = -n**2 - 2*n + 15. Let x be u(-5). Suppose r - 302 = -5*s + 53, -s + 62 = 2*r. Suppose d - j - 2*j - 80 = x, -5*j - s = -d. Is 23 a factor of d?
True
Let x be -7 + 62/5 - (-4)/(-10). Suppose -4*k + 1983 = -x*z + 2*z, -4*k = 2*z - 1998. Is k a multiple of 29?
False
Suppose -13*v = -17*v + 160. Let o(b) = b**2 + 2*b - 10. Let s be o(-5). Suppose s*c - v = 3*c. Is 6 a factor of c?
False
Let r = 2745 - -4899. Is r a multiple of 13?
True
Suppose -48*f - 10*f - 39*f = 25511. Let d be (4/10)/(3/2865). Let q = d + f. Is q a multiple of 25?
False
Suppose -441*