e of 32?
False
Let p be (-13 - -11)*1/(-2). Is 26 a factor of (9/p - 5)/((-4)/(-130))?
True
Suppose 3*k - 46 = 719. Is k a multiple of 85?
True
Let k = -25 - -31. Does 18 divide (-1692)/(-24) - k/(-4)?
True
Let p(u) = -u**3 + 23*u**2 - 21*u + 26. Let z = 65 + -43. Is 4 a factor of p(z)?
True
Suppose -4*k + 5*h + 1212 = 0, -6*h + 5*h = -3*k + 920. Does 11 divide k?
True
Let w(s) = 2*s + 17. Let o be w(-8). Let c be o*1/(-2)*0. Suppose m + c*m = 15. Does 5 divide m?
True
Let t = 213 - 45. Does 8 divide t?
True
Suppose 2*m - 9 + 37 = 0. Let j(g) = -g - 12. Let r be j(m). Is 17 a factor of ((-374)/55)/(r/(-5))?
True
Let v(f) = -22*f + 10. Let a be v(5). Let o = a - -167. Does 36 divide o?
False
Suppose 3*p + 7 = -2. Let m be (p - 24/(-9))*-6. Suppose m*l + 16 = 3*l. Does 6 divide l?
False
Let x = -23 - -26. Suppose 0 = 3*i - 5*o - 96 - 78, 4*i - 243 = x*o. Is 7 a factor of i?
True
Is 14 a factor of (-48)/9*49560/(-80)?
True
Let c(o) be the second derivative of -o**7/2520 + 11*o**6/720 - o**5/20 - o**4/3 + 6*o. Let l(f) be the third derivative of c(f). Is 5 a factor of l(8)?
False
Does 43 divide 695 - (20/4 - (-4 - -3))?
False
Suppose 2106 = 8*j - 5574. Does 96 divide j?
True
Let z = -210 - -223. Is z a multiple of 3?
False
Suppose i + i - 1513 = -k, 3*i = -5*k + 7565. Is k a multiple of 17?
True
Let c be (18/(-12))/(-6*3/1992). Let z = c - 119. Is 6 a factor of z?
False
Does 4 divide (90/(-60))/((10/268)/(-5))?
False
Let j be (18/(-4))/((-21)/28). Suppose 4*z - 13 = -5*w, 3*w + z = -2*z + j. Suppose 0 = -3*y + 4*g - 9*g + 40, 5*g - 70 = -w*y. Does 15 divide y?
True
Suppose -4*f + 3*f - 4 = 0. Let m(u) = u + 9. Let b be m(f). Suppose -5*h - 35 = -x, h + h = -b*x + 229. Does 17 divide x?
False
Let k(t) = t**2 + 2*t - 6. Let a(l) = -2*l**2 - 2*l + 7. Let g(z) = -4*a(z) - 5*k(z). Let j = -1063 - -1065. Is 5 a factor of g(j)?
True
Suppose 0 = 2*t + 3*d - 415 + 36, t - 191 = -d. Does 12 divide t?
False
Let x be (-3 - -2)*-2 - -1. Suppose -2 = -u - 0*u. Suppose -u - 19 = -x*i. Is i a multiple of 3?
False
Let v(d) = 3*d - 1. Let k be v(1). Let c be (k/(-6))/((-9)/108). Suppose c*h - 32 = -0*h. Is h a multiple of 4?
True
Suppose 2*a + 15 = -4*k - 29, -4*k + 4*a = 20. Let h = k - -9. Suppose h = -l + 32 - 4. Is l a multiple of 14?
True
Let g(l) = 4*l + 81. Let y = 47 + -58. Does 10 divide g(y)?
False
Let d(i) = 3*i**2 - i + 18. Does 132 divide d(21)?
True
Let b(h) = -h**2 + 6*h - 1. Suppose 3*z + 3 = 24. Let f be b(z). Let v = 14 + f. Is v a multiple of 4?
False
Let j be 1715/28 + 2/(-8). Suppose -d - 6*n = -3*n - j, -2*d + 2*n + 90 = 0. Is 10 a factor of d?
False
Let o = 302 - 364. Let c(a) = 23*a**2 + 2*a. Let m be c(2). Let n = o + m. Is 10 a factor of n?
False
Let s(k) = -k**3 + 2*k**2 + 5*k + 270. Does 27 divide s(0)?
True
Let y = -46 + 106. Does 18 divide y/(-24) + 154/4?
True
Let w be (-20)/(-130) - 698/(-26). Let y = 88 - w. Suppose 4*x - 100 = -2*f, 4*f = -3*x - f + y. Is x a multiple of 5?
False
Suppose -11*h - 2112 = -15*h. Does 8 divide h?
True
Suppose -p = 8*p + 306. Let j = p - -42. Is 8 a factor of j?
True
Suppose -2*u - 814 = 3*i, u + 1052 = -4*i + 5*u. Let j = -190 - i. Suppose -6*p + 3*p + j = 0. Does 4 divide p?
False
Let r(t) = 21*t**2 - 4. Let p be r(-2). Let q = p - 41. Suppose d = 12 + q. Is 11 a factor of d?
False
Let o(j) = -3*j - 1. Let v(k) = -16*k - 6. Let y(c) = -14*o(c) + 3*v(c). Let u be y(-6). Suppose -5*i = -i - u. Is i a multiple of 4?
True
Let j(k) = -2*k**3 - 5*k**2 + 13*k + 5. Let r be j(-5). Let m = 185 - r. Is m a multiple of 40?
True
Let k(c) = -c**2 - 12*c - 6. Let j be k(-11). Suppose -12 = -j*b - 2. Suppose 0 = 2*v + b - 16. Is v a multiple of 4?
False
Let d be (-4 - 1)*6/15*-1. Suppose -4*v = 3*r - 151, d*r - 5*r = 2*v - 161. Does 9 divide r?
False
Suppose 43344 = 14*i + 29*i. Does 4 divide i?
True
Suppose 0 = c - 2*c + 64. Suppose 6*u = -2*y + u + 64, c = 2*y - 2*u. Does 4 divide y?
True
Let t be 3/2 - (-3)/2. Suppose 102 - 10 = 4*c. Suppose -4*h + c = t. Is h a multiple of 5?
True
Suppose j - 3*w = 0, 3*w = -4*j + 6*w + 36. Let u = 15 - j. Suppose u = 4*c - 89. Does 13 divide c?
False
Let y(d) = d**3 + 2*d**2 - 2*d + 3. Let k be y(-3). Let r be (6 + k)*(3 + -2). Does 3 divide (0 + 3/2)*r?
True
Does 29 divide (6 - 4) + (-8)/12*-1050?
False
Let d = -2353 + 2785. Is 24 a factor of d?
True
Suppose -4*l + 0*l + 2*s = 2966, 3*s = l + 734. Let m = -445 - l. Let k = m + -175. Is 41 a factor of k?
True
Let d = 10 + 3. Let a = d + -12. Suppose h - 8 = a. Does 9 divide h?
True
Suppose 11*k - 6330 = 5682. Does 42 divide k?
True
Suppose -4*f + 1 = -2*c + 3, 5*c + 25 = 0. Let p be -2 - (f - 4) - 1. Suppose -y - 153 = -p*y. Is 22 a factor of y?
False
Let z(s) = s**3 - 3*s**2 + 5*s - 4. Let w(g) be the third derivative of g**4/24 + 5*g**3/3 + 4*g**2. Let c be w(-7). Is 11 a factor of z(c)?
True
Let n = -68 + 65. Does 2 divide 4/(-54)*n + (-520)/(-90)?
True
Let z be 5/(140/72)*7. Suppose 2*t = 4*t + z. Let f = 10 - t. Does 19 divide f?
True
Does 6 divide 387 + (0 - (-27)/(-9))?
True
Is 37 a factor of ((-5)/10 + -2)*148/(-2)?
True
Suppose -398 = -3*v - 5*c - 71, -c - 117 = -v. Is v a multiple of 12?
False
Suppose 9*j + 3*j - 9588 = 0. Is 47 a factor of j?
True
Let p(b) = 9*b + 4. Suppose -3*s + 18 + 0 = 0. Does 49 divide p(s)?
False
Suppose 4 = 5*g + 4*i, -3*g - 2*g + 2*i = -28. Suppose g = -4*w + 292. Does 12 divide w?
True
Suppose -3*v + 341 = 128. Does 19 divide v?
False
Suppose -32*w - 68 = -36*w. Suppose w*x = 22*x - 590. Does 25 divide x?
False
Let k = 784 + -373. Suppose -k = -9*a + 300. Is a a multiple of 15?
False
Let h be (-4)/4*(3 - 8). Let m be 15/h + (-14 - 4). Is ((-32)/(-5))/((-3)/m) a multiple of 16?
True
Suppose 3*g - 50 = 34. Let i be (-4)/1*77/g. Let x(p) = p**2 + 8*p - 9. Does 6 divide x(i)?
True
Suppose -4*f + 2*t - 9 = -f, -4*f - 5 = -5*t. Let p(d) be the third derivative of d**5/30 + d**4/6 - d**3 + 2*d**2. Is 14 a factor of p(f)?
False
Suppose 3*n - f = -3, n - 5*n + 2*f - 6 = 0. Let x = 103 + n. Is 16 a factor of x?
False
Let p be (-32)/7 + 45/(-105). Let a = 3 - p. Is 8 a factor of a?
True
Suppose 0 = -6*o + o + 135. Suppose -4*b = -b - o. Does 19 divide (b - 11) + -1 + 73?
False
Let a(n) = 9*n - 9. Does 6 divide a(19)?
True
Let f(p) = p**3 - 24*p**2 - 11*p - 34. Does 58 divide f(25)?
False
Let w(y) = 8*y - 10. Let d be w(2). Let f = -5 - -29. Let u = f - d. Is 9 a factor of u?
True
Suppose -2*v - 2*m = -10, 5*v + 3*m - 4*m = 7. Suppose 3*x = 0, 2*o - v*x + 84 = 4*o. Is 36 a factor of 6062/o - (-1)/(-3)?
True
Suppose 2*w - 4*w + 466 = 4*n, 4*n + 3*w - 471 = 0. Is 50 a factor of n?
False
Suppose -5*o - 3*m + 122 = 0, -77 = -3*o - 0*m + 2*m. Let g = -4 - -5. Suppose g = -4*s + o. Is 3 a factor of s?
True
Suppose -2*h + 3*f + 237 + 1644 = 0, -2*f + 3770 = 4*h. Is 19 a factor of h?
False
Is 15 a factor of 7161/9 + (-2)/3?
True
Let r(y) = 2*y**2 - 3*y - 3. Let n be r(-1). Suppose -3*h + 0*h + f + 412 = 0, n*h + 4*f - 256 = 0. Is 28 a factor of h?
False
Let b(o) = 9 + 7*o - 4*o + 4*o. Let m(t) = 2*t**2 + 36*t - 26. Let d be m(-19). Does 31 divide b(d)?
True
Let s(v) = 4*v**2 + 46*v + 361. Does 11 divide s(-16)?
True
Let f = -30 + 35. Suppose 3*r + 3 = 3*c, -f*c = 5*r - 2*r - 21. Suppose -2*z = -3*k + 26 + 9, c*z = -2*k + 32. Is k a multiple of 13?
True
Suppose -5*m = -0*m - 15. Does 11 divide 19 - (m + -1 + -5)?
True
Let k be ((-18)/(-15))/(1/300). Suppose -3*o + 4*s = -150 - 120, k = 4*o - s. Is 30 a factor of o?
True
Let t = 63 + -77. Is 16 a factor of (-7)/t*(-74 + 1)*-2?
False
Suppose 0 = -z + 3 - 1. Let n(p) = 7 - p**3 - 3*p + 0*p - 3*p + 4*p + 9*p**z. Is n(8) a multiple of 12?
False
Suppose 0 = -2*a, -2*l = 3*l - 4*a. Suppose l = 5*t - 228 + 63. Suppose -3*q + t = -21. Is q a multiple of 6?
True
Suppose -102*h + 65107 = -224063. Does 81 divide h?
True
Let z(p) be the third derivative of 3*p**4/8 + p**3/6 - 7*p**2. Let q be z(1). Suppose 45 = -5*r + q*r. Does 3 divide r?
True
Let g(i) = i**2 - 4*i - 10. Let r be g(-3). Let a be 1*-132*r/2. Is 3 a factor of (1/(-3))/(11/a)?
False
Suppose i = z - 52, -110 - 70 = -4*z - 3*i. Is z a multiple of 3?
True
Suppose -3*o + 15 = 6. Suppose -o*s = -6 - 9. Suppose -3*m = -2*v - 43 + 16, 2*v = m - s. Does 3 divide m?
False
Let u(g) = 71*g**2 - 1. Let n be u(-1). L