33 - -33. Suppose h = 43*g - 12117 - 16521. Does 16 divide g?
False
Does 92 divide (-186854)/(-3) - (-350)/210*6/(-15)?
True
Let f(r) = -r**3 + 5*r**2 - 4. Let o be f(2). Let q be 3/4 - 134/o. Is 25 a factor of (-794)/(-8) - ((-84)/q + -5)?
False
Suppose -g + u - 1 = 0, 0 = g + 4*u + u - 17. Suppose g*v - 369 = -t, -24*t + 3*v = -20*t - 1465. Is 14 a factor of t?
False
Suppose -81365 = 1800*d - 1807*d - 5*z, -4*d = -2*z - 46470. Is 28 a factor of d?
True
Let g(d) = -719*d**3 - d**2 - 2*d. Let u be g(-1). Suppose u = -8*z + 13*z. Is 24 a factor of z?
True
Let h = 5 + -2. Suppose -3*p = h*d - 1233, -4*p + 9*p - 2095 = 3*d. Does 7 divide p?
False
Suppose -5*u + 10 = 0, 2*u - 4*u + 8 = 2*m. Suppose 1 - 1 = -m*h. Suppose h*x - 6*x = -870. Is 12 a factor of x?
False
Let g = 553 - 2000. Let o = -953 - g. Is 26 a factor of o?
True
Let z(s) be the third derivative of -s**7/240 + s**6/60 + 13*s**5/60 + 8*s**2. Let k(f) be the third derivative of z(f). Is k(-7) a multiple of 24?
False
Let o = 14963 + -7802. Is 11 a factor of o?
True
Let c = -28 - -20. Does 15 divide 16/c + (-452)/(-1)?
True
Let u(t) = -t**3 + 13*t**2 + 8*t + 89. Let v be u(14). Suppose -2*w - 495 = -v*w. Does 15 divide w?
True
Let k(u) = -1055*u**3 + u**2 - u - 1. Let p = -183 + 182. Is 88 a factor of k(p)?
True
Suppose -5*w + 2*t = -t - 1245, 0 = w + 3*t - 249. Let i = -26 + w. Is 63 a factor of i?
False
Let p(h) = -h**3 - 16*h**2 - 2*h - 18. Let v(x) = x - 27. Let r(c) = -13*c - 2. Let n be r(-1). Let q be v(n). Is 7 a factor of p(q)?
True
Let j = 13826 - 1592. Does 141 divide j?
False
Let t(g) = -g**2 - 10*g - 24. Let f be t(-6). Suppose f = -2*q - 3*s + 197, -2*s - 239 - 63 = -3*q. Does 25 divide q?
True
Suppose -3*q = 3, 3*q - 27024 + 4440 = -3*r. Is r a multiple of 189?
False
Suppose -4*p - 6*p = -150. Suppose -x - 14*v + 500 = -p*v, -4*x - 4*v = -1992. Does 23 divide x?
False
Suppose s = -0*s + 1. Let t(x) = 9 - 3 + s + 7 + x**3 - x. Is 5 a factor of t(0)?
False
Let k(t) = 10503*t**3 - 3*t**2 + 5*t - 2. Does 13 divide k(1)?
False
Does 42 divide (21 - (9 - 6))*(1 - 358/(-6))?
True
Let j be (-1)/((-34326)/(-17166)*1 - 2). Suppose 15989 = 24*y + j. Does 6 divide y?
False
Let k(t) = -4*t**3 - 2*t**2 - 4*t + 1. Let q be k(3). Suppose 4*v - 14*m + 15*m + 320 = 0, -4*v - 3*m = 320. Let o = v - q. Does 19 divide o?
True
Let j(d) = 28*d**2 + 292*d - 395. Does 116 divide j(-28)?
False
Let n(p) = -58*p. Let t(z) = -58*z + 1. Let w(d) = 2*n(d) - 3*t(d). Suppose 6*f - 145 + 139 = 0. Is w(f) a multiple of 11?
True
Let s(j) = 0 - 27*j + 23 + 2*j**2 - 4. Let p be s(13). Suppose 0 = 2*y + p*b - 3*b - 399, -4*y = -4*b - 768. Is 15 a factor of y?
True
Let i(v) = -v**3 + 3*v**2 + v - 1. Let t be i(2). Let k(j) = 2*j**3 + 2*j**2 - 2*j + 2. Is 38 a factor of k(t)?
False
Let f = -2105 - -1220. Let r = -572 - f. Is 11 a factor of r?
False
Suppose -2539 = 65*n - 6959. Let g = 6 + -4. Suppose q = 3*i - 3*q - 200, -n = -i + g*q. Is 6 a factor of i?
False
Let t = -301 - -361. Is 39 a factor of 5 + 558/5 + t/150?
True
Suppose -2*u = -0 - 6. Suppose -2*f = 4*p - 1594, p + 4*p + u*f = 1995. Does 12 divide p?
True
Let p be 22967/17*6/21. Let t = p + 208. Does 66 divide t?
True
Let a(x) = -2*x - 85. Let p be a(0). Let f be -1*(0 - -1)*p. Suppose -f = -6*w + w. Does 2 divide w?
False
Let s = 10730 + -9523. Is 27 a factor of s?
False
Let n be ((-3)/3)/(3*(-1)/9). Suppose -j + 14 = 2*u, 34 = -n*j + 5*u + 109. Does 11 divide j?
False
Suppose 2*i + m = 9547, -4*i = -5*m - 20147 + 1032. Does 14 divide i?
False
Let o = 21092 - 11951. Does 33 divide o?
True
Suppose i = -3*o + 21415 - 2568, -o - 3*i + 6269 = 0. Is 52 a factor of o?
False
Suppose -1453 = -s + 3697. Suppose 0 = -11*g - 486 + s. Is g a multiple of 13?
False
Suppose 5 = 3*p + 2*p, 0 = -3*z + p + 5663. Suppose 477 = u - v, -4*u + z = -0*u + v. Is u a multiple of 8?
False
Let k(y) = 30*y**2 - 17*y - 81. Is k(-11) a multiple of 8?
True
Let l = 1457 + -362. Suppose 2*j + 0*j = -4*s + 878, -5*s + l = 2*j. Does 31 divide s?
True
Suppose 0 = -57*s + 55*s + 10. Suppose s*p = -4*g + 77, -2*g - 1 - 3 = 0. Suppose 20*y - p*y = 252. Is 14 a factor of y?
True
Let g = -2404 + 18504. Is g a multiple of 140?
True
Let h(p) = p**2 + 6*p - 2. Let r be h(-8). Let n be (4 + (-50)/r)*7. Suppose 0*w = -n*q + 2*w + 167, 2*q - 128 = -2*w. Is 18 a factor of q?
False
Suppose -291 + 31 = o + 3*n, 1319 = -5*o + 4*n. Let g = -155 - o. Is g a multiple of 31?
False
Does 19 divide 10/45 + (-367600)/(-225)?
True
Let p be (816/20)/(-6) - 6/30. Let o(n) be the second derivative of -3*n**3/2 - 7*n**2 + 5*n. Is o(p) a multiple of 6?
False
Suppose -140*h = -150*h + 110. Suppose 4*f - 12690 = -h*f. Is 18 a factor of f?
True
Let j(o) = 13 - 16*o - 6*o - 1 - 2*o**2 + 73 + 35*o**2. Is 40 a factor of j(5)?
True
Let c = 14413 - 5884. Is c a multiple of 139?
False
Suppose -s = -2*o - 1082 + 45345, 4*s = -o + 22145. Is 6 a factor of o?
False
Let x be (-145692)/(-44) + (-14)/77. Suppose -x = -9*r + 55. Does 22 divide r?
True
Suppose 342 = 13*j - 828. Let x = 162 + j. Does 7 divide x?
True
Let g(j) = 2*j**3 + 8*j**2 - 5*j + 1. Let n be g(-6). Let q = 275 + n. Does 9 divide q?
True
Let r = 745 - 502. Let n be 204/36 + -3 - (-4)/(-6). Suppose x - r = -0*h - n*h, 3*h + 3*x - 369 = 0. Is h a multiple of 30?
True
Suppose -92 = -r - 269. Let q = r - -464. Is q a multiple of 52?
False
Let w = -19950 + 31830. Is 23 a factor of w?
False
Suppose -844*s - 4 = -3*n - 843*s, -4 = s. Suppose 0 = v + 2*v - 36. Suppose 5*f = 6*f + 2*u - 41, n = 4*u + v. Is f a multiple of 26?
False
Suppose 21*l - 2576 = 122899. Is 38 a factor of l?
False
Suppose -a = a - 8. Suppose 9*g + 171 = 252. Suppose 171 + g = a*x. Does 6 divide x?
False
Suppose 4*s + a - 91792 = 16997, 6*s - 163187 = -5*a. Is 12 a factor of s?
False
Let t(w) be the first derivative of 3*w**2/2 + 6*w + 120. Does 9 divide t(7)?
True
Let c be (1088 + -2)/3 + 0. Suppose c + 1450 = 6*q. Is 12 a factor of q?
False
Suppose -r - 2*r + 18 = 0. Let i be (-76)/r + 4*1/6. Let s(v) = -26*v - 46. Does 14 divide s(i)?
True
Let j be (-5 + 83/5)/(4/20). Suppose -5*d + 2*y = -j - 124, 3*d = 3*y + 111. Is 3 a factor of d?
True
Let n = -75 - -77. Let v be ((-143)/22)/(n/12). Does 13 divide (v/9 + 1)/((-4)/78)?
True
Suppose -l - 7*l + 413 = -3627. Does 16 divide l?
False
Let v = 64 + -39. Suppose -5*a = v, -a + 82 = b + 2*b. Suppose -g = -2*j + b, -3*g = -g - 6. Is 8 a factor of j?
True
Let d = 16618 + 804. Is 19 a factor of d?
False
Let j = 58577 + -41087. Is 53 a factor of j?
True
Let r(j) = 49*j**2 - 5*j - 6. Let c be r(-2). Let y = -110 + c. Is y a multiple of 37?
False
Suppose -5*d - q - 5 = 5, 0 = -3*d + 5*q - 6. Let i be (-5)/(20/292) - (d + 0). Let c = i - -123. Is c a multiple of 18?
False
Let r(t) = -129*t**3 - 6 - 9*t - 163*t**3 + 291*t**3 + 9*t**2. Let g be (1/1)/((-2)/(-12)). Is r(g) a multiple of 14?
False
Suppose 15*d = 14*d - 5*g + 2715, -13445 = -5*d + g. Suppose 38*r - d = 7912. Does 3 divide r?
True
Let n(s) = 2*s**2 - 3. Let z be n(2). Let i(v) = -2*v**2 - v + 28. Let d be i(-4). Suppose d = 2*f - z*k - 135, -5*f + 0*f + 2*k = -390. Does 10 divide f?
True
Suppose -b + 2*h = -13230, 187*b - 2*h = 188*b - 13214. Does 22 divide b?
True
Let c(w) = -544*w + 2 + w**3 - w**2 - 1 + 533*w + 1. Let h(a) = a - 1. Let i be h(6). Does 12 divide c(i)?
False
Let u = 458 - 1068. Let q = u + 886. Is 31 a factor of q?
False
Suppose -10*z + 648 = 8*z. Is 3 a factor of (-4)/(-6) - (-772)/z*3?
False
Let j be 3/(-12) + (-6)/8. Let b be (0 - j/(-2))/((-7)/84). Suppose 2*y = -3*v + 8, v - 46 = -b*y + y. Does 6 divide y?
False
Let q = 9410 + -9172. Does 7 divide q?
True
Suppose 5*m = -2*x + 280, -4*m + 241 = 7*x - 2*x. Suppose -v + 34 = -k, m = v - 8*k + 3*k. Does 15 divide v?
False
Suppose 1675438 = 279*t - 2630090. Does 12 divide t?
True
Let x = -7304 - -14852. Does 17 divide x?
True
Let k(v) = -v**2 + 7*v + 22. Let i be k(-2). Suppose 4*z = -5*f + 459, -z - z + 222 = i*f. Does 6 divide z?
False
Let v(i) = -4*i - 16. Let q(a) be the third derivative of -a**4/12 - 7*a**3/6 + a**2. Let h be q(4). Is 8 a factor of v(h)?
False
Suppose 2*l + 2190 = -2*c, -472 = 2*c + l + 1715. Let a = -756 - c. Is a a multiple of 24?
True
Suppose -7*i = 6*i + 4*i - 10506. Does 10 divide i?
False
Let u = -1