/3 + 4*l**2. Is t(z) a multiple of 25?
False
Suppose -18 = 3*q + 108. Is 24/14*q/(-12) a multiple of 6?
True
Suppose -n + 3*l + l = 12, 3*l = 12. Let g be (-5)/(15/n)*-3. Suppose g*d + 4*a - 144 = 0, 5*d - 30 = -a + 134. Does 16 divide d?
True
Does 4 divide 2*5*(-192)/(-15)?
True
Let i(z) be the first derivative of z**3/3 + z**2/2 + 2*z - 4. Let v be 0 - 9/(7 - 4). Is 7 a factor of i(v)?
False
Suppose -3*c + 6 = -2*w + 4, -4 = 3*c - 5*w. Suppose c*x + q - 256 = 0, -4*x = 11*q - 8*q - 516. Does 12 divide x?
False
Let b(q) = 4*q**2 - 3*q**2 + 3*q + 36 - 37. Let l be b(-5). Is (-3)/(l/6) - -5 a multiple of 2?
False
Suppose 4*v = -l + 1221, -2*v - 300 = -3*v - 2*l. Is v a multiple of 34?
True
Let y = 1856 + -631. Is 8 a factor of y?
False
Let t(l) = 164*l**2 + 31*l - 4. Is 8 a factor of t(-4)?
True
Let q(f) = f**2 - 2*f - 13. Let c be q(6). Let i = c + 15. Is i a multiple of 19?
False
Let l(p) = -6*p**3 - 5*p**2 - 3*p - 23. Is 63 a factor of l(-8)?
False
Suppose -2*k = -k. Let g be -104 - 0 - (1 + k). Let m = -25 - g. Is 10 a factor of m?
True
Suppose -3*a = a - 5*f + 7, 2*f = 6. Suppose 0 = -z - 2*z + 252. Suppose 0*k + a*b + z = 4*k, 2*k - 50 = -b. Does 6 divide k?
False
Let z = -20 - -26. Let h be (2 + 0)/(4/z). Is h/(-6) - (-199)/2 a multiple of 15?
False
Let b = -559 - -1043. Does 44 divide b?
True
Let j be (-3 + 4)/((-7)/(-56)). Let b(t) = 3*t + 4. Does 4 divide b(j)?
True
Suppose -p + 5*x + 2739 = 3*p, 3*x = 15. Is p a multiple of 15?
False
Suppose -4631 = -6*j + 1465. Is 13 a factor of j?
False
Suppose -4*y + 3*n = -1905, -3*y - 8*n = -10*n - 1430. Suppose -4*s + y = -2*m, -2*m = -4*s + 3*m + 480. Is 19 a factor of s?
False
Suppose 5*z = 2*z - 39. Suppose -3*i - b + 2 = 4*b, 2*b - 8 = 0. Let u = i - z. Is 5 a factor of u?
False
Let v(j) be the second derivative of j**5/20 + j**4/2 + j**3/6 + 3*j**2 - 4*j. Let f be v(-6). Suppose 3*l - 27 - 45 = f. Does 12 divide l?
True
Let c(n) = n - 11. Let b be c(20). Suppose b = -2*x + 57. Is 4 a factor of x?
True
Suppose 8 = -4*v, 29*g = 24*g + 2*v + 10014. Is 77 a factor of g?
True
Let z(g) = 10*g**2 + 3*g - 5. Let w = -119 + 121. Does 41 divide z(w)?
True
Let k(g) = 37*g + 425. Is 16 a factor of k(-6)?
False
Let n(k) = -k**3 + 8*k**2 - 3*k - 9. Let l be n(8). Let q = l - -38. Suppose -q*o - 61 = f - 2*f, 2*f - 62 = -2*o. Does 9 divide f?
True
Let i = 6087 - 2498. Is 115 a factor of i?
False
Let m be (5/(-5) + -4)*1. Let o(b) = 1. Let l(d) = 15*d - 9. Let y(r) = -l(r) - 3*o(r). Is y(m) a multiple of 15?
False
Let k = -141 + 160. Let p(q) = -q**2 - 4*q + 2. Let a be p(-5). Let f = k + a. Is f a multiple of 15?
False
Suppose -f - 22 + 28 = 0. Let c(s) = s**3 - 6*s**2 + 9*s - 6. Is c(f) a multiple of 13?
False
Let u be (32 + 1)/3*-2. Let p = u - -50. Suppose -2*g - p = -6*g. Is g even?
False
Let p be (1/1)/(((-21)/6)/7). Is (420/8)/(p + 20/8) a multiple of 8?
False
Suppose 0 = -6*b + 114 + 90. Let x = -28 + b. Does 2 divide x?
True
Let g(d) = 63*d**2 + 13*d + 9. Let q be g(6). Suppose 4*u - y - q = 0, -4*u = 5*y - 3027 + 690. Suppose -4*j - u = -10*j. Is 17 a factor of j?
False
Let x be (2/(-4))/(((-15)/12)/5). Suppose -l + x*l - 3*u - 101 = 0, -2*u - 453 = -5*l. Is 18 a factor of l?
False
Let o be 2/11 + 12055/(-55). Let f = o + 471. Is f a multiple of 42?
True
Suppose -321 = 8*h + 175. Let r = -21 - h. Is 3 a factor of r?
False
Let g be 14 - (14/(-28))/((-2)/4). Suppose -h = -60 - g. Is h a multiple of 10?
False
Suppose x + 2*x - 241 = -w, 3*x = -15. Suppose -r = -4*q - 6*r - w, -5*q + 5*r = 365. Let k = q - -114. Does 9 divide k?
True
Let c = -47 - -204. Suppose -v + 43 + 31 = -b, -3*b - 5*v = 246. Let z = c + b. Is z a multiple of 20?
True
Suppose -33*w + 2858 + 244 = 0. Is w a multiple of 9?
False
Suppose 2*h - 2*f + 38 = -44, 3*h + 4*f + 88 = 0. Let d = 41 + h. Suppose d*p - 120 = p. Is p a multiple of 5?
True
Suppose 0 = 10*d - 6*d + 4. Let f be ((-1)/d)/(6/(-12)). Does 10 divide (2 - f - 49)*-1?
False
Let v(z) = 82*z - 8. Is 14 a factor of v(5)?
False
Let q(l) = l + 3. Let w = -11 + 8. Let p be q(w). Does 9 divide (1 + 0)*(p + 11)?
False
Suppose -10*a - 220 = 620. Let p = 15 - a. Is p a multiple of 37?
False
Suppose -5*z = -5*i + 85, -2*z + 7 = -3*z - 4*i. Let v = -13 - z. Is (v/(-4))/(2/(-276)) a multiple of 12?
False
Suppose -1 = 5*z + 9, -l - z = -349. Is 6 a factor of l?
False
Is 6 a factor of 9*(4 + -5 + 4 - 2)?
False
Suppose -18*v + 40171 = -18653. Is v a multiple of 17?
False
Let g(w) = -4*w + 2. Let a be g(9). Is (a/(-51))/(2/297) a multiple of 11?
True
Suppose -1 = s + 9. Let l be 1 + -16 - 2/(-2). Is 7 a factor of (-96)/s + l/(-35)?
False
Suppose -9*g = 37 - 3169. Does 29 divide g?
True
Suppose 22*z - 7377 = 18495. Is 84 a factor of z?
True
Suppose -x + 4 = -2*s - 12, -x + 36 = 2*s. Suppose 2*q - q - x = 0. Suppose -4*d + 22 = -q. Is 6 a factor of d?
True
Let h = 1951 + -1491. Is 2 a factor of h?
True
Let w be 86/4*(-8 + 0 - -12). Let a = w - -97. Does 61 divide a?
True
Suppose -4*c - 80 = -5*r - 2*c, -4*c = 2*r - 32. Let w = 46 - r. Does 10 divide w?
True
Let h = -1515 + 2235. Is h a multiple of 40?
True
Suppose -5*h + 5*x - 150 = 0, 5*h + 138 = -3*x + 4*x. Let z = h + 33. Is 11 a factor of (-153)/z*4/(-3)?
False
Let l(h) = -8*h**2 + h. Let v be l(-1). Let x be (-342)/(-81) + 2/v. Suppose -3*d - 27 = -x*d. Is d a multiple of 8?
False
Does 34 divide ((-256)/80)/((-8)/340)?
True
Let i(w) be the third derivative of 1/6*w**4 + 0*w - 5/6*w**3 + w**2 + 0. Is 15 a factor of i(5)?
True
Let h(g) be the second derivative of -g**5/20 - 17*g**4/12 - g**3/6 + 17*g**2/2 - 16*g. Does 8 divide h(-17)?
False
Let k(v) = 182*v - 137. Is 29 a factor of k(6)?
False
Let b = 647 + -420. Is b a multiple of 25?
False
Suppose -7*p + 4*p + 15 = 0. Suppose -a = -5*s + 17, -45 = -p*a - 0*s - s. Does 2 divide a?
True
Let q(d) = -d**3 - 10*d**2 + 10*d - 8. Let u be q(-11). Suppose 10 = -u*n + 8*n. Suppose 6*o - o = -n*b + 63, 3*o - 4*b - 17 = 0. Is 9 a factor of o?
False
Suppose 5*j + 53 = -4*w, -3*w - 4*j - 8 = 33. Is 31 a factor of ((-42)/w + -20)*10/(-1)?
False
Let n(k) = 2*k**2 + 4*k - 480. Is 40 a factor of n(-20)?
True
Suppose 26 = -3*y - 2*y - a, -5*y + 5*a = 50. Let f = y - -8. Suppose -22 = f*h - 136. Is h a multiple of 19?
True
Suppose -5*y + 9 + 1 = 0. Let q = 85 - 111. Let h = y - q. Is h a multiple of 14?
True
Suppose j + 2*j = 3*f + 486, -3*j - 3*f = -474. Does 5 divide j?
True
Let b(j) = -j**3 + 3*j**2 + j. Let m be b(3). Let y(t) = 40*t**2 + 4*t + 2. Let o be y(-2). Suppose -s = -2*w - 37, -s = m*s - 2*w - o. Does 13 divide s?
True
Let d = -28 - -33. Let l = 63 + -22. Suppose d*c - l = -1. Is c a multiple of 8?
True
Is 1/4*(77 + 1)*8 a multiple of 12?
True
Let x = 14 + -2. Let a = x + 37. Is 24 a factor of a?
False
Let p(q) = 4*q**2 + 9*q. Suppose -3*s = -3*c + 3, -6*c + 3*c + 2*s + 6 = 0. Does 19 divide p(c)?
False
Suppose 0 = -3*l + 144 + 111. Let i = l + -39. Is i a multiple of 23?
True
Let n = -820 + 1154. Is 8 a factor of n?
False
Suppose 0 = -103*l + 115*l - 5796. Is 7 a factor of l?
True
Suppose -12 = -4*w - 2*p, 0 = 3*w - 2*p - 4 - 5. Suppose w*k = 2*k + 1, 5*c + 2*k = 77. Does 7 divide c?
False
Let n(s) = s**2 + 14*s + 10. Let q be n(-13). Let m be 0*4/8 - q. Suppose -m*d + w = 12 - 34, 0 = 5*d + 5*w - 50. Is 8 a factor of d?
True
Let x be 284/18 + (-20)/(-90). Suppose -16 = -j - s, -j = -s + 5*s - x. Let a = 13 + j. Is 7 a factor of a?
False
Let f = 368 - -334. Is f a multiple of 13?
True
Let z(c) = c + 7. Let j be z(-3). Let k(a) = 6*a**2 + 2*a + 6. Is k(j) a multiple of 16?
False
Suppose -2*l - 13 = -5*b, -3*b - b + 12 = 0. Is (-4)/l*(-30)/20 a multiple of 4?
False
Suppose 0 = 4*o + 2*k - 26, 4*o - 14 = 4*k - 6. Suppose 7*z - o*z = 224. Is z a multiple of 28?
True
Suppose 4*g + 3*c = 1861 + 1220, 2*c = -5*g + 3846. Is g a multiple of 24?
True
Let g(h) be the second derivative of h**4/4 + 7*h**3/2 + 14*h**2 - 9*h. Let w(j) = -2*j**2 - 21*j - 27. Let z(n) = -3*g(n) - 4*w(n). Is z(18) a multiple of 16?
False
Let o be (-5 + 2 + 2)*-5. Suppose -t + 142 = o*h - 0*t, 133 = 5*h + 4*t. Suppose h = m + 5. Does 12 divide m?
True
Suppose -78 = -2*a - a. Suppose -4*r = -2*h + a, -6*h = -h + r - 10. Suppose -59 = -2*s - 2*y + 5*y, -h*s + 5*y = -90. Does 6 divide s?
False
Let n(g) = 2*g**3 + g**2 