 190. Let l = -15 - -24. Is 19 a factor of g(l)?
True
Let q(c) = -c**3 + 2*c**2 + 4*c + 12. Let x be q(6). Let s = x + 167. Let f = s - -27. Is f a multiple of 27?
False
Let n(j) = 2273*j - 12175. Is 32 a factor of n(15)?
True
Let d(w) = -4*w**2 + 258*w + 239. Is d(49) a multiple of 24?
False
Let q be (-1*(-1 + 2))/(-1). Let s(t) = 438*t**2 + 5*t + 4. Let j(b) = 107*b**2 + b + 1. Let h(a) = 13*j(a) - 3*s(a). Is 11 a factor of h(q)?
False
Let z(u) = -857*u + 737. Is 49 a factor of z(-4)?
True
Suppose 4*g = 5*y - 123181, -4*y - 555*g = -552*g - 98489. Does 6 divide y?
False
Let l = 16 + -14. Suppose l*s - 803 = -23. Suppose 0 = 10*i - 7*i - s. Does 26 divide i?
True
Let k(y) = 38737*y + 1079. Is k(1) a multiple of 51?
False
Does 15 divide (0 - (98 - 0))*(-15)/60*254?
False
Let j(t) = 2*t**3 - 14*t**2 - 105*t + 70. Is j(20) a multiple of 31?
True
Let p be (-561)/21 - (-2)/(-7). Does 3 divide 1 + 2 + 60 + p?
True
Suppose 266112 = -56*z - 63*z + 135*z. Does 42 divide z?
True
Suppose 0 = 2*p - p + q - 5, -5*p - 4*q = -27. Suppose p + 73 = -4*y. Does 49 divide (y/2 + 6)*(-29)/2?
False
Let a = 132 + -132. Suppose -5*y = -a*y - 25. Suppose -3*x = -y*x + 88. Does 11 divide x?
True
Let v(l) = 2*l**2 + 23*l - 387. Does 6 divide v(41)?
True
Suppose 0 = 6*x - 2244 - 8412. Let w = x + -954. Does 14 divide w?
False
Suppose 42*k + 151*k - 108888 = 525889. Does 29 divide k?
False
Suppose -4*w + 472 = 4*f, -2*w - 5*f = -2*f - 238. Suppose -x + l + 253 = -w, 0 = 3*x + 3*l - 1107. Is x a multiple of 16?
False
Let p(t) = 47*t + 380. Is p(11) a multiple of 39?
True
Suppose 0 = r + 40 - 45. Let v(h) = h**3 - 8*h**2 + 15*h + 6. Let n be v(r). Is 10 a factor of -17*n*-1 - 2/(-2)?
False
Suppose -3*a - k + 7 = -a, 0 = 5*k - 15. Suppose 2*r - j - 4 + 2 = 0, r - 2*j + a = 0. Suppose r*d = -3*x + 307, 0 = 2*d - x + 2*x - 309. Does 31 divide d?
True
Suppose 1165 = 3*l + 2*l. Let s = l + 161. Is (s/6)/1 - 12/18 a multiple of 30?
False
Suppose 18*w - 6 = 17*w. Suppose -w = -5*d - 46. Is 10 a factor of 4/d + 70/4?
False
Let y(x) = 13*x**2 - 68*x - 42. Is y(43) a multiple of 13?
False
Let k = 309 + -125. Let j be k/(-6)*6/(-4). Suppose 60 = -j*y + 47*y. Does 15 divide y?
True
Let b(o) be the second derivative of 25/3*o**3 - 4*o**2 + 0 + 26*o. Does 24 divide b(2)?
False
Suppose -i + 5024 = p, -4*p - 5360 = i - 25462. Is 3 a factor of p?
False
Let y(i) = 70*i + 278. Is y(3) a multiple of 13?
False
Suppose 2*p + 2*j - 16 = -6, -p = -3*j - 1. Suppose -7 = -4*m - 11, -4*m = p*i - 572. Does 9 divide i?
True
Let a(w) = 13*w - 1. Suppose 0 = -4*i + s + 91, 4*i = 2*s - 4*s + 82. Suppose -4*o = 4*n - 11 - 5, o = -3*n + i. Is a(n) a multiple of 23?
False
Let s(f) = -24*f + 4. Let l be s(-10). Let i(q) = l*q + q**2 + 0*q**2 - 49 - 267*q. Does 5 divide i(26)?
False
Let q = 16 - 16. Suppose 17*t - 9*t - 2*t = q. Suppose 4*z = -h + 320, 2*z + 0*h + 5*h - 160 = t. Is z a multiple of 8?
True
Let h(o) = 340*o + 1512. Is 12 a factor of h(6)?
True
Let h = -78 - -83. Suppose -4*x - 4 = -h*x. Is 5 a factor of (x/6)/(28/21)*66?
False
Suppose 5 = t, -2*t - 30 = v + 3*v. Let j be (2/(-12))/(1/v)*21. Let s = j + 20. Is 26 a factor of s?
False
Let r(z) = 297*z - 12360. Does 15 divide r(60)?
True
Suppose 3*z = 4*k + 8*z - 36, -5*z + 4 = -4*k. Let c be (((-6)/k)/(9/24))/(-2). Let s = 10 - c. Does 7 divide s?
False
Let u = -7356 - -8749. Is u a multiple of 13?
False
Suppose -4*d - 3925 = -5*p, 1431 + 897 = 3*p + 3*d. Suppose 5*h = -i + 1362, 3*h - 29 - p = -3*i. Is 39 a factor of h?
True
Suppose 0*m - 3*m + 20 = 2*d, -4*d - 10 = m. Suppose -16*n = -m*n - 12. Is 0 + (92/n - 0) a multiple of 23?
True
Suppose 55657 = 118*d + 51754 - 167787. Is 11 a factor of d?
False
Let o(h) = 2*h**3 - h**2 + h - 6. Let q be o(2). Let w(a) = 8*a**2 - 4*a - 4. Let n be w(-2). Let l = n - q. Is l a multiple of 28?
True
Let u(m) = 4*m + 4. Let h be u(9). Is 5 a factor of (320 + h/4)*6/4?
True
Does 135 divide (8175/60)/(2*1/40)?
False
Let t be 190/(-6)*(-108 - (-4 + -2)). Suppose -12*m = -t - 226. Does 29 divide m?
False
Is 7 a factor of 344 + 0/(8*(-6)/(-24))?
False
Suppose 4*u + a + 4*a = -8, 0 = -3*u - 5*a - 11. Suppose -u*t - t = 156. Is (2 - t/6)*12 a multiple of 34?
True
Let x(d) = -87*d - 205. Let j(s) = 44*s + 104. Let q(t) = -5*j(t) - 3*x(t). Is 14 a factor of q(12)?
False
Suppose -4*k - 5*k = -27. Suppose -k*g - 248 = -7*g. Is g a multiple of 31?
True
Let s be 0 - (2 + (1 + -3 - 1)). Let k be 12 + (-4 - (0 + -2)) + s. Suppose k*u - 14*u = -192. Does 8 divide u?
True
Is (-5 + 417)/(36/126) a multiple of 7?
True
Suppose -5*f + 2*p = -222932, 178351 = 4*f - 554*p + 553*p. Is 245 a factor of f?
True
Let k be (-1)/3 + (-130)/15. Let y be ((-3)/k)/((-2)/6). Does 9 divide (-252)/(-7) - (-3)/y?
False
Let h(d) = 22*d + 13*d + 4 + 8 - 22*d. Let j = -64 + 68. Is h(j) a multiple of 8?
True
Let u = 52 - 116. Let x be 98*2*-4*4/u. Is 90/12*(x/5 - -1) a multiple of 22?
False
Suppose 3*c = 1 - 10. Does 19 divide (111/c)/(2/(-38))?
True
Let i(p) = 4*p**2 + 4*p + 24. Let q(k) = k**2 - 2*k + 1. Let s(z) = -i(z) + 8*q(z). Let l be s(-17). Suppose -19*u + 11*u + l = 0. Is u a multiple of 37?
True
Let l be (18/((-24)/(-4)))/((-3)/(-10)). Suppose l*b = 2*b + 1776. Is b a multiple of 37?
True
Let p be (-1)/(-1) - (39 - 40). Suppose k + 2*g - 282 = 0, 3*k + p*g + 2*g - 856 = 0. Is k a multiple of 8?
False
Let c = -25018 + 47747. Is c a multiple of 17?
True
Is (-16999)/(-5) - 10*(-20)/1000 a multiple of 13?
False
Let r(i) = 2*i - 13. Let f be r(2). Let b(u) = -u**3 - 8*u**2 - 11*u + 2. Let g be b(f). Let a = -30 + g. Is a a multiple of 19?
True
Let v(t) = -t**3 + 3*t + 17. Let m(k) = k**2 - 14*k + 42. Let f be m(9). Is 35 a factor of v(f)?
True
Let y(k) = 18*k - 22. Let i be (-1*(-1)/3)/((-13)/(-234)). Is 14 a factor of y(i)?
False
Let q = 5322 - 1563. Suppose 3*j = -q + 7665. Is 31 a factor of j?
True
Suppose 0 = 16*l - 146483 + 12307. Does 156 divide l?
False
Let m = -3925 + 7579. Suppose 0 = 39*k - m - 2586. Does 62 divide k?
False
Suppose i + i = -3*f + 631, 15 = 3*i. Suppose 8*y - 631 = -f. Suppose w - 16 = y. Does 13 divide w?
False
Is 79 a factor of ((-45 + 9352)/41)/(1 - 78/79)?
True
Let c be (7 - 4)/((-2)/(-4)*3). Let g be ((-1)/(-2) - (-7)/2)/c. Is 21 a factor of g/5 + 2926/35?
True
Is 668 - 12/1*104/156 a multiple of 15?
True
Suppose 3*q = -q - 2*t + 22, 2*q - 20 = -4*t. Suppose q*h + 212 = -88. Let p = -39 - h. Is 9 a factor of p?
True
Suppose -104*j + 100*j = -216. Let f = 96 + j. Is f a multiple of 15?
True
Suppose 26*n - 149897 = -31194 + 115687. Is 5 a factor of n?
True
Let t be 24/(-9)*15/(-10). Suppose -t*x - 5*v - 11 = -1, 2 = x - v. Is x - (8/(-10))/(4/930) a multiple of 34?
False
Let z(n) = 28*n + 3 - 54*n + n**2 + 34*n. Let b be z(-13). Let f = 52 + b. Is 30 a factor of f?
True
Let u(w) = -21*w**2 + 15*w + 17. Let v(n) = 7*n**2 - 5*n - 6. Let z = -97 + 80. Let d(s) = z*v(s) - 6*u(s). Does 25 divide d(5)?
True
Let u(a) = -8*a**3 - 530*a**2 + 81*a - 55. Does 124 divide u(-67)?
True
Let h(w) = -11*w + 1066. Does 34 divide h(-36)?
True
Suppose 57 = -8*b + 1. Let z(l) = l**2 + 8*l + 8. Let f be z(b). Is 10 a factor of f + (8 + 205)*2/6?
False
Is 14/49*-1266*-14 a multiple of 8?
True
Let n(q) = 13*q**3 + 30*q**2 + 2*q + 10. Is 53 a factor of n(12)?
True
Suppose -j = -3*l - 5428, 3*j + 316*l - 16306 = 314*l. Is j a multiple of 13?
True
Let w(y) = 13*y**2 - 28*y + 45. Let g be w(6). Suppose g = b - 114. Does 17 divide b?
True
Let t = 27237 + -18345. Is t a multiple of 38?
True
Let n(w) be the second derivative of 24*w + 0 + 217/12*w**4 - 1/2*w**2 + 0*w**3. Does 27 divide n(-1)?
True
Suppose 0 = -5*y - 2*m - 10, -3*y + 7*m - 2*m - 37 = 0. Let r be -3*4/8*(1 - 3). Is y/(-4) + 37 - r a multiple of 35?
True
Let l(g) = 6*g**2 + 31*g + 9. Let r be l(-5). Does 66 divide (r*(-569)/6)/((-48)/72)?
False
Let j(r) = 199*r**3 + 17*r**2 - 197*r**3 + 6*r + 5 + 2. Does 8 divide j(-8)?
False
Let b = 10056 - 9407. Is b a multiple of 11?
True
Suppose 30 = 5*i - 0*i. Let z = 110 - i. Suppose -6*w = -302 + z. Is 5 a factor of w?
False
Suppose 14 = v + 8. Suppose 6 = 3*r - v. Suppose 0 = r*y - y + q - 149, -2*q = 4*y - 196. Does 12 divide y?
False
Let o be (-8842)/(-18) + ((-244)/(-36) - 7). Suppose 3*u - 562 - o = 0. Is u a multiple of 13?
True
Let