of 13?
False
Let l(y) = y**2 - 23*y + 6. Let c be l(8). Let z = 166 + c. Is 26 a factor of z?
True
Let a be 376/141*(-1 - 22/(-4)). Suppose 0 = a*n - 9*n - 27. Is 3 a factor of n?
True
Let g = 10 + -5. Let k(p) = p - 1. Let y be k(g). Suppose -z - y*z = -225. Is z a multiple of 15?
True
Suppose 19*o - 349677 = -62*o. Is o a multiple of 15?
False
Suppose -5*z + 4*d + 12 = -24, z - 3*d - 16 = 0. Let t = z + -19. Let m = 59 + t. Is m a multiple of 11?
True
Let u = 264 - -45. Does 14 divide u?
False
Let f be (-3311)/(-21) - 2/(-6). Suppose -2*p + f = -5*s, -242 = -3*p + s + 4*s. Is 4 a factor of p?
True
Suppose 5*r = 3*r - x + 24, -54 = -3*r + 3*x. Suppose 3*l - 4 + r = m, 12 = 2*m + 2*l. Let y = -3 + m. Is 2 a factor of y?
True
Suppose 2*n + 3*n + 19 = -3*a, 5*a = n + 15. Suppose -2*w + 0*w - 98 = -a*g, -2*g + 101 = w. Does 5 divide g?
True
Let f(b) = -b**2 + 8*b + 63. Is f(11) a multiple of 3?
True
Let k(d) = -8 + 2 - 31*d**2 + 8*d - d**3 + 28*d**2. Is 9 a factor of k(-6)?
True
Suppose 6*h - 4*h = 468. Does 18 divide h?
True
Let m = -119 + 46. Let n be (6/3 - 4)*m. Suppose n = 5*p + 4*f, 0*f - 125 = -4*p + 5*f. Does 10 divide p?
True
Suppose 0 = k - 225 + 64. Does 7 divide k?
True
Let r be (3/(6/8))/(3/12). Let u = r + -2. Is u a multiple of 10?
False
Let h be 3 + 1 + 1 - 7. Is 38 a factor of h/3 - 30/9 - -276?
False
Suppose 3*x = -h + 106, x - 502 = -5*h - 0*x. Let m be (1/(-3))/(6/36). Does 32 divide (3 + h)/(-1 - m)?
False
Suppose z + 2*f = -z + 38, -4*z + 3*f = -55. Suppose -2*o = -z - 2. Does 3 divide (-3 + 33/9)*o?
True
Let c be (-36)/(-24) - (-2)/(8/10). Suppose z - 271 = -4*y, y = 4*z - 0*z - 1016. Suppose c*h = -h + z. Is 18 a factor of h?
False
Suppose 16*a = -39*a + 11220. Is a a multiple of 37?
False
Suppose 20*v = 30*v - 350. Is v a multiple of 5?
True
Let y = 949 - 400. Does 61 divide y?
True
Let i be 3*68/(-3 - (-18)/4). Suppose -t - i = -5*x, 0*t + 5*t + 36 = 2*x. Does 7 divide x?
True
Let m = 42 - 38. Suppose -134 = -5*g + 3*h, -h - 85 = -m*g - 6*h. Does 13 divide g?
False
Suppose 6*a - 4560 = -5*b + 8*a, -3*b + 2736 = -2*a. Is b a multiple of 24?
True
Suppose 7*g - 8*g + 286 = -5*z, -5*g + 4*z = -1388. Is 37 a factor of g?
False
Let i(c) = 9*c**2 + 3*c + 4. Let o be i(-4). Let k = -79 + o. Is k a multiple of 31?
False
Let x(a) = 3*a**2 - 2*a - 1. Let i(o) = -o**2 + 5*o + 4. Let g be i(5). Let r be (2/g)/((-6)/60). Is x(r) a multiple of 21?
True
Let o = 42 + -41. Is 4 a factor of (-2)/8*4*-19*o?
False
Suppose 0 = -k + 38 + 99. Let g = -72 + k. Does 18 divide g?
False
Suppose 88 = 3*s + 307. Let q = s + 161. Does 22 divide q?
True
Let f(c) = 300*c - 258. Is f(4) a multiple of 9?
False
Suppose b + 3*b + 897 = 5*o, 3*b = -2*o + 345. Suppose 243 = 4*z - o. Is 13 a factor of z?
False
Let n(a) = -a**2 + 7*a + 1. Let u be n(4). Suppose -u = -d + 7. Is 3 a factor of d?
False
Let v(f) be the third derivative of -f**6/120 + 13*f**5/60 + f**4/6 + 2*f**3 - 23*f**2. Does 34 divide v(12)?
True
Does 11 divide (1 + (-39)/6)/(1/(-242))?
True
Let t(b) = b + 11. Let r be t(-6). Suppose -9*h + 72 = -r*h. Suppose 18*g = 19*g - h. Is g a multiple of 4?
False
Suppose 169*c = 183*c - 7700. Is c a multiple of 24?
False
Let f(c) = -c**2 - 2*c + 4. Let o be f(-3). Let h = 1802 + 282. Is 29 a factor of o/6 + h/24?
True
Let u(d) = -36*d + 27. Is u(-7) a multiple of 9?
True
Suppose 0*y = -y + 54. Suppose d + 5*h - y = 0, -9 = -h - 2*h. Suppose -2*n = n - 4*v - 40, -d = -3*n + 3*v. Is 6 a factor of n?
True
Let f(c) = -2*c - 20. Let b be f(-11). Suppose 70 = b*y - 3*z, 7*y + 2*z - 140 = 3*y. Is 13 a factor of y?
False
Let d(j) = j**2 - 14*j + 14. Let m be d(16). Suppose 2*p + 0*p = -m. Does 12 divide (-3)/(-2)*-2 - p?
False
Is -9 - (-16279)/4 - 3/4 a multiple of 35?
True
Let j(b) = 28*b + 48. Is 36 a factor of j(6)?
True
Suppose -27*r = -3*r - 19440. Is r a multiple of 10?
True
Let j(g) be the third derivative of -g**6/120 + g**5/12 - g**4/8 + g**3 - 2*g**2 + 43*g. Let y be 5 + (1 - 0 - 2). Is j(y) a multiple of 10?
True
Suppose 175 = 3*d + 130. Suppose 7*t - d*t + 480 = 0. Does 7 divide t?
False
Let x = -103 - -150. Is x a multiple of 25?
False
Let h be 2/9 - 2764/(-36). Let d = h - 10. Let k = 112 - d. Is 22 a factor of k?
False
Let b(n) be the third derivative of -109*n**4/24 + n**3/3 - n**2 - 11*n. Is 22 a factor of b(-2)?
True
Let b = -450 + 540. Suppose 22 = -4*o - 98. Let u = b + o. Is u a multiple of 12?
True
Let l(k) = 2*k + 12. Let f be 5*(-5 - 1)*(-7)/(-70). Does 5 divide l(f)?
False
Let n(g) = 104*g - 7. Is n(2) a multiple of 67?
True
Let a be (-8)/(-12)*-1*-6. Suppose -a*b = 8 - 20. Is b a multiple of 3?
True
Let c(v) = -4*v - 10. Let s be 0 + -2 + (-12)/1. Is c(s) a multiple of 23?
True
Suppose 0 = -0*a - 8*a + 168. Suppose 19*t + 30 = a*t. Does 15 divide t?
True
Let n(k) = -k**2 - 12*k + 185. Does 20 divide n(-17)?
True
Let m = 8 - 3. Suppose 5*s - 12 = -m*b + 8, b + 5 = 2*s. Let v(x) = 31*x**3 + x**2 + x - 1. Does 16 divide v(b)?
True
Suppose 6 = 3*b, -4*b + 3*b + 107 = 3*s. Let r = 50 - s. Is r a multiple of 3?
True
Let l(s) = 37*s**2 - 3*s - 2. Let j be l(-1). Let q = j - 36. Is q a multiple of 2?
True
Let r(t) be the second derivative of -1/20*t**5 + t**3 + 0 - 2/3*t**4 + 4*t**2 + 2*t. Is 35 a factor of r(-9)?
True
Let p(b) = -5*b. Let r be p(-1). Let z(u) = -4 - u + r*u - 5*u - 3*u. Is z(-7) a multiple of 6?
True
Is (-1)/(-2)*(183 + (-7 - -4)) a multiple of 3?
True
Let f(w) be the second derivative of 2*w - w**2 - 1/2*w**3 + 17/12*w**4 + 0. Is 37 a factor of f(-2)?
False
Let c = -5 - 7. Let y(a) be the third derivative of -a**4/12 - 2*a**2. Is 8 a factor of y(c)?
True
Let t(r) = -r**2 + r - 2. Let u be t(2). Is -3*u/24*46 a multiple of 6?
False
Suppose -4*b - 1032 = -4*p, -4*b - 3*p - 1183 + 151 = 0. Let j = 386 + b. Is j a multiple of 15?
False
Let y(k) = -k**3 + 25*k**2 + 68*k - 9. Is y(27) a multiple of 8?
False
Let l be 32 + -5 - (-6)/2. Suppose 4*m + l = -46. Let z = 17 - m. Is 11 a factor of z?
False
Let b be 25*(10 + -1)/(10/4). Let g = b - 82. Does 4 divide g?
True
Let f = -48 - -204. Let v = f + -110. Is 23 a factor of v?
True
Suppose 4*x - 3446 = 2*p, -x = -4*x + 4*p + 2577. Is x a multiple of 23?
False
Is 68 a factor of 1467*15/18 + 6/4?
True
Let b(o) = -2*o + 13. Suppose -144 = -9*q + 18*q. Is 15 a factor of b(q)?
True
Suppose 0 = 2*h - 0*p + 5*p - 115, p = h - 40. Let k = -41 + h. Does 4 divide k?
True
Let p(g) = -8*g - 22. Let b(z) = -z - 1. Let u(s) = 6*b(s) + p(s). Is 16 a factor of u(-8)?
False
Does 24 divide (7 - (-184)/(-32)) + (-1051)/(-4)?
True
Let w be (4 - -2) + -4*1. Suppose -4*s = 2*u + w*u - 36, -s - 11 = -3*u. Suppose 9*x - s*x - 295 = 0. Does 15 divide x?
False
Suppose 94 = 3*s - 5*k, 5*s = -4*k - 13 + 145. Is 3 + -2 + -1 + s a multiple of 5?
False
Suppose m - 1 = b, 2*m + 5*b - 1 = 22. Suppose -3*p + o = -49, m*o + 3 + 13 = 0. Is 11 a factor of p?
False
Suppose 4*s = 5*l - 980, s - 164 = -2*l + 215. Suppose -4*c + l = -8*w + 6*w, 0 = -2*c - w + 104. Does 13 divide c?
False
Does 4 divide ((-38)/4)/(-19)*246?
False
Let z(x) = -x**3 + 6*x**2 - 3*x - 5. Let l be z(5). Suppose 210 = 10*r - l*r. Is 26 a factor of r?
False
Suppose 3*q + 5*y = 25, -q - 2*q + 5*y - 25 = 0. Suppose q = -7*o + 4*o + 12. Is o a multiple of 3?
False
Let b(y) = -5*y + 3. Let u(t) = -2*t**3 - 2*t**2 + t - 2. Let o be u(-2). Suppose -6*d + o*d = 10. Is b(d) a multiple of 14?
True
Is 18 a factor of 1436 - -3*(-42)/18?
False
Let h(c) = 4*c + 3*c**2 + 3 + 0 - 2 - 2*c. Let a be h(-1). Suppose 4*z = a*z + 22. Does 3 divide z?
False
Let u(c) = c**2 - 33*c + 72. Is 17 a factor of u(38)?
False
Suppose 7*u + 10*u - 25500 = 0. Is u a multiple of 59?
False
Let u(z) = -2*z - 10. Let g be u(-5). Let m = -7 - g. Let c = m - -10. Is c a multiple of 2?
False
Let l(u) = u + 10. Let p be l(-3). Suppose 70 + 280 = p*j. Is 18 a factor of j?
False
Let g(r) = -818*r**3 + r**2 - 1. Does 4 divide g(-1)?
False
Suppose -3*a = -4*z - 0*z - 3, -9 = 2*z - 3*a. Suppose -2*c + 280 = -0*c. Suppose 2*y - c = -z*y. Does 13 divide y?
False
Suppose -3*n + 6*n = 168. Let k = -29 + n. Let c = k + 28. Is c a multiple of 19?
False
Let r(f) = -33*f - 595. Does 18 divide r(-23)?
False
Suppose -l + 2*p + 980 = 0, 3*p - 1772 - 2181 = -4*l. Is l a multiple of 17?
True
Let u be 32*(-3