f 13?
True
Let l(h) = h**3 - 2*h + 1. Let q be l(1). Suppose 4*f = -q*f - 60. Does 6 divide (-34)/(-5) + 12/f?
True
Suppose 3 = 3*h + b - 2*b, 3*b + 9 = -h. Suppose 4*a + 20 = -3*j - h*j, 24 = -2*a - 5*j. Let p(v) = -22*v - 2. Is p(a) a multiple of 21?
True
Suppose 4*i - h - 284 - 13 = 0, 0 = 5*i + 5*h - 340. Is 4 a factor of i?
False
Let m(s) = s**3 - 12*s**2 + s - 14. Let z be m(12). Is ((-6)/8)/(z/32) a multiple of 2?
True
Let j = -8 - -7. Let d = -2 + j. Is (-52)/d + 5/(-15) a multiple of 5?
False
Let t = -4 + 74. Does 5 divide t?
True
Let j = -69 - -111. Is 904/14 - 24/j a multiple of 20?
False
Let k(w) = w + 9. Let o(a) = a. Suppose v + 8*b = 4*b - 18, -3*b - 22 = 5*v. Let r(u) = v*o(u) + k(u). Is r(6) a multiple of 3?
True
Suppose -c - 3306 = -3*w, c + 3*c - 1102 = -w. Does 4 divide w?
False
Let b(y) = 4*y**2 + 4*y - 3. Let q(f) = f**3 + 3*f**2 - 5*f. Let j be q(-4). Does 11 divide b(j)?
True
Suppose -655 = -11*z + 6165. Is 30 a factor of z?
False
Let j(m) = -m**3 + 6*m**2 + 8*m + 12. Let f(n) = 5*n**3 - 25*n**2 - 33*n - 49. Let s(h) = -2*f(h) - 9*j(h). Does 9 divide s(-5)?
True
Let s(u) = u**2 + u - 3. Let d be s(-3). Let v be (54/(-24))/(d/8). Is 14 a factor of (-82)/v + (-5)/(-15)?
True
Let n = 34 - 32. Is 12 a factor of (n - (-10)/4)*10?
False
Let d(f) = -6*f - 18. Let a be d(-3). Suppose -r - 3*p = -16, 3*r - 3*p + p - 59 = a. Does 7 divide r?
False
Is 4/((-16)/(-628))*28/4 a multiple of 85?
False
Does 36 divide 84/35*18090/24?
False
Let s be 40/12*6/4. Suppose q = -g + 4, s*g + 3*q - 8 - 8 = 0. Suppose -5*r = -g*o + 12, -6*o + 2*o + 2*r + 24 = 0. Is o a multiple of 4?
False
Let h be (-2)/4*(-3 + 3)/(-1). Suppose h = -4*u + m + 379, -m + 197 = u + u. Does 27 divide u?
False
Suppose -16*s = -18*s - 8. Let k(z) = 6*z**3 + 6*z**2 + 12*z - 13. Let g(i) = 5*i**3 + 7*i**2 + 11*i - 13. Let w(p) = s*k(p) + 5*g(p). Does 2 divide w(-10)?
False
Let t(y) = -y**3 + 23*y**2 - 24*y + 49. Let i be t(22). Suppose -218 - 297 = -i*v. Is 9 a factor of v?
False
Let z(h) = h**3 - 13*h**2 - 12*h - 22. Let s be z(14). Suppose s*j - n = 2*j + 569, 149 = j + 2*n. Is 11 a factor of j?
True
Suppose f - 4*j = 2080, 0 = -j + 2 - 0. Does 36 divide f?
True
Let x(o) = -13*o + 15. Let u(q) = 24*q - 30. Let h(a) = -6*u(a) - 10*x(a). Is 19 a factor of h(-6)?
True
Suppose 169 = 17*n - 18. Suppose n*d = 10*d + 2*c + 203, 5*d - 967 = -2*c. Is 15 a factor of d?
True
Let p(o) = -25*o - 5. Does 11 divide p(-9)?
True
Is 10 a factor of (-66)/(-495) + 4798/15?
True
Suppose -3*y - 8 = -7*y. Let i(w) = 31*w + 2. Does 13 divide i(y)?
False
Suppose 0 = -v + 5, 25 = 4*c - 2*c + v. Is 34 a factor of c*(11 - -3 - (1 - 4))?
True
Let d be (((-84)/(-10))/(-3))/(6/(-15)). Suppose -4*r = -4*l + 188, -l + 3*r + 54 - d = 0. Is l a multiple of 32?
False
Suppose -19 = 9*q - 109. Is 15/(-3)*(-82)/q a multiple of 25?
False
Suppose -5*q + 18522 = -2*z, -8*q - z + 14828 = -4*q. Is q a multiple of 34?
True
Let w(z) be the third derivative of z**6/60 + 2*z**5/5 + 11*z**4/24 - 4*z**3 + 8*z**2. Does 38 divide w(-10)?
True
Let k(p) = p**3 + 16*p**2 + 2*p - 27. Is 5 a factor of k(-12)?
True
Suppose 5 = 4*s - 3. Suppose s*k + 60 + 22 = 0. Let g = 31 - k. Is g a multiple of 33?
False
Suppose -t + 3*j - 209 - 194 = 0, 0 = 4*t + 2*j + 1556. Is (t/(-69))/(1/54) a multiple of 14?
False
Suppose 0 = -s - 2*o - 18, s - 2*s - 18 = -5*o. Let z = 15 + s. Does 21 divide (z - 0)/(2/(-14))?
True
Let m(z) = -27*z. Let x be m(-12). Suppose 9*d - x = 3*d. Does 26 divide d?
False
Suppose 0 = -n - 4*o + 86, -4*o + o + 362 = 5*n. Let i = n - 34. Suppose 0 = -3*b - i + 162. Does 14 divide b?
True
Suppose 8*w - 235 - 661 = 0. Does 16 divide w?
True
Let v(h) = h**3 - h**2 + 2*h - 1. Let g(c) = -3*c**3 + c**2 - 3*c + 3. Let x be 10*((-20)/8 - -2). Let z(w) = x*v(w) - 2*g(w). Is 9 a factor of z(3)?
False
Suppose -8*w - 15 = -7*w. Let d = 142 + w. Does 15 divide d?
False
Let x(q) = 2*q + 14. Let s be x(0). Let z = -9 + s. Suppose -10 = -3*m + z. Is m even?
False
Let b = 1 - -37. Suppose 37*d + 45 = b*d. Does 5 divide d?
True
Let l(c) = 2*c**3 - 3*c**2 + c + 4. Let x be l(2). Suppose -u - 2250 = -x*u. Is u a multiple of 10?
True
Suppose 0 = 2*s - a - 303 - 571, -1728 = -4*s - 3*a. Is s a multiple of 69?
False
Let a be 27/4 - (-3)/(-4). Let h = 8 - a. Is 12 a factor of 12*(-2 + h + 1)?
True
Suppose 0 = -114*c + 107*c + 6587. Does 12 divide c?
False
Let z(o) = 56*o + 12. Let q be z(-8). Let w = q + 636. Does 25 divide w?
True
Let n(f) be the first derivative of f**3 + f**2/2 - f - 7. Let c be n(1). Suppose -c*g = -5*i - 81, 5*g = 2*i + 34 + 82. Is g a multiple of 3?
False
Suppose 0*n - 996 = -6*n. Is 83 a factor of n?
True
Suppose b + 4*h - 7 = 3*h, 0 = -2*b + 5*h. Suppose b*g - 10 = 0, -x + 3*g - 2*g = -4. Is 3 a factor of x?
True
Suppose r = -2*r + 6. Suppose -r*t - 4 + 50 = 0. Let n = -7 + t. Is 7 a factor of n?
False
Suppose 161 - 46 = 5*b. Let g = 11 + b. Let q = 56 - g. Does 14 divide q?
False
Let p = 74 + -35. Suppose 3*b + 0*b - p = 0. Let q = 22 - b. Does 4 divide q?
False
Suppose 0 = -2*x + 2*a + 236, 4*x - 2*a - 596 = -x. Suppose -3*d + x = -6. Suppose -7*p + 168 + d = 0. Is p a multiple of 12?
False
Suppose 117*m + 182 = 119*m. Is m a multiple of 2?
False
Suppose -5*q - 25 = 0, -k = -0*k + 4*q + 16. Suppose -k*d + 10 = -2*d. Suppose d*h = h + 108. Does 10 divide h?
False
Is 18 a factor of ((-5)/((-5)/(-93)))/((-1)/6)?
True
Suppose -81*c + 93*c = 4668. Is c a multiple of 7?
False
Let g = 1216 - 748. Is g a multiple of 18?
True
Let q be ((-1)/2)/(1/(-8)). Suppose q*n - 6 = -s, 6 = 2*n + s - 2*s. Suppose -n*a = 2 - 50. Is a a multiple of 8?
True
Let n(j) be the first derivative of 2*j**3/3 + 4*j**2 + 4*j - 8. Let h be n(-9). Suppose 5*w + h = 349. Does 20 divide w?
False
Let o = 27 - 17. Let y = 33 - o. Is 7 a factor of y?
False
Suppose x - 5*x = 5*w - 38, 3*w - 8 = 5*x. Let y = w + -7. Is 6 a factor of -2 - (-6 + y - 2)?
False
Let c be (-3 - 1)/(-4) - -13. Is -6 - (-160)/28 - (-1544)/c a multiple of 10?
True
Let u be 33/(-6) - (-1)/(-2). Let l be u/9 - (-55)/15. Suppose 0 = -2*b - l*s + 105, 56 = 2*b - 3*s - 67. Is 19 a factor of b?
True
Let y = -115 - -209. Let r = -67 + y. Does 22 divide r?
False
Let t(j) = -7*j - 7. Let x be t(-2). Suppose x*f - 2*f = 705. Does 22 divide f?
False
Suppose 74*x - 80*x + 3792 = 0. Does 6 divide x?
False
Let w = -230 + 462. Is 58 a factor of w?
True
Let b(w) = w**2 - 13*w + 15. Let c be b(12). Let y be 4 - (3 + c/(-3)). Suppose y*d - 32 = -2*m, 48 = 3*d - 4*m - 35. Is 7 a factor of d?
True
Suppose -646 = -9*h + 137. Is h a multiple of 3?
True
Let r = 133 - -138. Is r a multiple of 8?
False
Let g(l) be the first derivative of -13*l - 12 - 1/3*l**3 - 13/2*l**2. Is 4 a factor of g(-10)?
False
Let x(v) = -v**2 - 8*v - 7. Let l be x(-6). Suppose 5*y - 100 = l*k - 650, 5*k - 552 = 4*y. Does 14 divide k?
True
Let r(c) be the second derivative of 11*c + 1/2*c**4 + 1/3*c**3 - 3*c**2 + 1/20*c**5 + 0. Does 7 divide r(-5)?
False
Suppose 5*r - 650 - 5430 = 0. Is 23 a factor of r?
False
Suppose 0 = 4*l - 3*c - 2781, 5*l - 2*c - c - 3477 = 0. Is 3 a factor of l?
True
Suppose 62 = 2*g + 10. Suppose 0 = -x, -n - n - g = 4*x. Let w = n - -33. Is w a multiple of 4?
True
Suppose 2*v + v + 119 = 2*i, -5*i = 3*v - 266. Let f be i/22 + (-2)/(-4). Suppose -3*q + 135 = -f*g, -6*q + 4*g + 228 = -q. Does 12 divide q?
True
Let v(f) = 4*f + 10. Let p(m) = 5*m + 10. Let z(g) = -3*p(g) + 4*v(g). Let y be z(-5). Suppose -y*q + 17 = -o - 123, 5*q = -o + 150. Does 6 divide q?
False
Let j = 6619 - 3655. Is 114 a factor of j?
True
Let a(q) be the second derivative of q**3/6 - 17*q**2/2 - 9*q. Let k be a(-7). Is -18*(k/9 - -2) a multiple of 5?
False
Suppose 5*r = 5*t + 12705, -2*r + 57*t - 54*t = -5082. Is r a multiple of 77?
True
Suppose 100 = -q + 2*q + 2*b, 0 = 3*b - 15. Let r = 150 - q. Is r a multiple of 30?
True
Suppose 5*o + 3*k + 51 = 0, 0*o + 5*k - 63 = 4*o. Let x(w) = 2*w**2 + 24*w + 13. Is x(o) a multiple of 3?
False
Suppose 0 = -y - 5*t + 28, 5*t + 61 = 2*y + 10*t. Is 7 a factor of y?
False
Does 2 divide (0 - 40)/(((-10)/(-3))/(-5))?
True
Suppose 5*b + 4*s = 27308, -b + 9127 = -s + 3669. Is b a multiple of 15?
True
Let l(i) = 44*i - 7. Let a be l(3). Suppose -4*z + 3*b - a = -8*z, 2*z - 46 = 4*b. Is z a mult