
True
Let o(c) be the second derivative of 569*c**4/12 + 2*c**3 + 13*c**2/2 + 43*c. Is 19 a factor of o(-1)?
True
Let h(y) = 2*y**2 - 2*y - 2. Let c be h(-2). Suppose 12*r - 13*r + c = 0. Does 3 divide r?
False
Let d = -101 + 105. Suppose -d*a - 18 = -7*a. Is 43 a factor of 3 + ((-2)/a)/((-2)/1698)?
False
Let i(h) = -300*h - 6087. Is i(-55) a multiple of 9?
True
Let q(k) = 3*k - 30. Let o(f) = 7*f - 59. Let n(i) = 3*o(i) - 5*q(i). Let c be (8/6)/(-4) - 114/(-18). Is 9 a factor of n(c)?
True
Let l(k) = -5*k**2 + 16*k - 14. Let x(h) = -4*h**2 + 17*h - 15. Let j(o) = -3*l(o) + 2*x(o). Is 12 a factor of j(-5)?
False
Suppose -4*o + 16852 = -4*x, -3*x = 4*o + 4*o - 33693. Is o a multiple of 39?
True
Let h(g) = 6*g**2 + 15*g - 606. Is h(58) a multiple of 45?
False
Let t(y) = -8*y + 3*y + 2*y**2 - 5*y**2 + 45 + 4*y**2. Is 4 a factor of t(-8)?
False
Is 20 - (-16 - (16 - -9425)) a multiple of 39?
True
Suppose -37 = 3*d + 53. Does 19 divide 18/d*-5 - -301?
True
Let x = -259 + 261. Suppose -x*t + 401 + 245 = i, 636 = 2*t - 4*i. Is 14 a factor of t?
True
Let c(h) = -82*h**3 + 5*h**2 - 3*h + 3. Let p be c(3). Let q be (p/(-12))/5 + (-6)/24. Is (-6570)/q*2/(-5) a multiple of 8?
False
Let d(a) = -a**2 + 9*a + 53. Let u be d(13). Let c(h) = 14*h + 0 + 18*h + 4*h - 2. Does 5 divide c(u)?
False
Let b(y) = 2*y**2 - 6*y - 66. Let a be b(-5). Let p(r) = -r**3 + 15*r**2 + 3*r + 14. Is p(a) a multiple of 9?
True
Let u = 46383 + -29079. Is 21 a factor of u?
True
Let l = 795 + -1150. Let d = 419 + l. Does 37 divide d?
False
Let j(h) = 105*h - 124. Let k be (8 + -18 - -9)*(-8)/2. Is 12 a factor of j(k)?
False
Suppose -x + 1238416 = -7*x + 74*x. Does 116 divide x?
True
Is ((-712)/32 - -21)/((-1)/10568) a multiple of 22?
False
Let v be -12*3*203/(-21). Let q = -162 + v. Is 10 a factor of q?
False
Let h(j) = j**3 - 9*j**2 + 14*j - 2. Let x be h(5). Let q = -486 - -330. Is 15 a factor of q*x/(-12)*(-4)/16?
False
Let q be 75226/12 + 35/(-42). Suppose 13*p - 752 - q = 0. Is p a multiple of 90?
True
Suppose -2*b + 2*g = 3*b + 2, 4*g + 12 = 2*b. Let y(l) = 6*l**2 + 16*l + 7. Let w(o) = 2*o**2 + 7*o + 3. Let u(t) = -7*w(t) + 3*y(t). Is u(b) a multiple of 15?
False
Let b(n) = -5*n - 152. Let g be b(-4). Let i be (-1510)/(-6) + 4/12. Let y = i + g. Is y a multiple of 12?
True
Let b(t) = 399*t + 653. Is 73 a factor of b(2)?
False
Suppose -3*q = -10 + 13, -3*d + 14906 = 4*q. Is d a multiple of 10?
True
Let i be (-5)/(-20) + ((-956)/16)/(-1). Is 38 a factor of ((-9)/((-45)/(-332)))/((-8)/i)?
False
Suppose -12*r - 7*r = -19. Does 32 divide ((-1)/(-1) - r) + 551 + -7?
True
Let a be (54 - 1 - -6) + -5. Suppose d = a + 22. Is 19 a factor of d?
True
Let n be ((-9)/3)/(3/(-5)). Does 2 divide (-1 + n - 9)*(-44)/10?
True
Suppose -26 = -16*b + 54. Suppose 0 = -4*i - 5*v + 158, -b*i + 68 + 146 = -2*v. Is 14 a factor of i?
True
Let y(r) be the third derivative of -119*r**4/24 - 70*r**3/3 + 14*r**2. Is 10 a factor of y(-9)?
False
Let a be (-3)/4 + (-1 - (-177)/12). Suppose a*p = 7*p + 816. Is p a multiple of 17?
True
Let f be ((-4)/12)/((-4)/60). Suppose -f*b + 253 = q, 546 = -q + 3*q + 2*b. Suppose -2*p + 2 = 0, -q + 849 = 5*j + p. Is j a multiple of 19?
True
Let d(w) = 15*w - 58. Let t be d(4). Suppose 2*b + t*b - 828 = 0. Does 9 divide b?
True
Let t(k) = -7*k**2 - 229*k + 31. Is 7 a factor of t(-16)?
False
Let v(p) = -8 - 2*p - 6 + 2*p**2 - 15*p + 5. Let s be v(9). Suppose -4*g + 87 + 229 = s. Is g a multiple of 22?
False
Let k(n) = 233*n**2 + 8*n - 7. Is 9 a factor of k(-6)?
False
Suppose 4*q - 5*h = 6*q - 12, 5*q = -2*h + 72. Let b(w) = -w**3 + 17*w**2 - 15*w - 14. Let u be b(q). Let z(p) = 7*p + 4. Is 18 a factor of z(u)?
True
Let a = -23 + 20. Let v be -2 + 199 - (-2 - (a - -3)). Suppose -b - 953 = -5*j, 2*j - v = j + 3*b. Does 38 divide j?
True
Suppose -42 = -12*s + 11*s. Is 10 a factor of (1 - (s/(-1))/6)*2?
False
Suppose 257*d - 2110 - 2903 = 248*d. Does 10 divide d?
False
Let j be (-6)/(-48) - 98/16. Let h be -4 - (-2)/(-3)*j. Suppose h = -5*b - 0*b + 125. Does 11 divide b?
False
Let g be ((-21)/(-14))/((-2)/(-20)). Let a(t) = -t + 17. Let u be a(g). Suppose -u*z + 34 = 8. Is 4 a factor of z?
False
Suppose 3*a - 22*a + 61794 = -130923. Is a a multiple of 147?
True
Does 49 divide (-2 + (0 - 5))*(-230 - 8)?
True
Let m = -8641 + 9762. Is 34 a factor of m?
False
Suppose -51471 = -24*m + 3*f, 0*f + 2119 = m + 5*f. Does 67 divide m?
True
Let i(b) = -7*b**3 - 4*b**2 - b. Let f be i(-1). Let u(l) = 2*l**3 - l**2 + 5*l - 2. Does 10 divide u(f)?
True
Let p be (44 - 9)*(-1 + 6). Suppose 3*x = 8*x - p. Is 7 a factor of x?
True
Let a = 7 + -6. Let u be (3 - (a + 4))/((-3)/15). Let c(h) = h**3 - 9*h**2 - 9*h - 3. Does 5 divide c(u)?
False
Let h be (0 - (0 - -6))*-1. Let m = -1767 + 1771. Suppose m*j - 500 = -h*j. Is 8 a factor of j?
False
Suppose p + 4*i + 2 = 0, 1 + 3 = -2*i. Let j(z) = -4*z + 7 - 3*z - 18 - p. Does 7 divide j(-13)?
False
Let p(b) be the second derivative of -2*b**3/3 + 10*b**2 - 9*b. Let k be p(4). Suppose k = -j + l + 119, 2*l = -j + 118. Is j a multiple of 22?
False
Let y be (28/(-42))/(4/(-222)). Suppose 5*g + 3*l = y, -g - 8*l + 25 = -3*l. Suppose -199 - 66 = -g*h. Is h a multiple of 13?
False
Does 7 divide 7*1126/14 + 9?
False
Let v be ((-54)/(-36))/((-3)/(-10)). Suppose -4*y + 4*q + 1608 = 0, v*q + 5 = -20. Is y a multiple of 14?
False
Let l be -3 + 6/(-11 - -5)*-773. Let b = l - 230. Is 6 a factor of b?
True
Let i be -7*335 + 4/(28/35). Is (5/(-10))/(((-3)/i)/(-1)) a multiple of 65?
True
Let j(x) = 3*x**2 - x - 4. Let i be (-1 + 2)/(1/7). Let q be j(i). Suppose 0 = -0*a + 2*a - q. Is 10 a factor of a?
False
Let y = -94 - -83. Let n = 16 + y. Suppose 2*x = p + 582, 0 = -4*x + n*p + 897 + 279. Does 15 divide x?
False
Suppose 3*h = -z - 40, -h - 9 - 3 = z. Let i be 3/((-9)/(-84))*(-231)/h. Suppose -4*t + i = -t. Is t a multiple of 24?
False
Let a(c) = 2*c**2 - 9*c + 12. Let k = 1026 - 1018. Does 14 divide a(k)?
False
Suppose -6*u + 52890 = -2*u - 310. Is u a multiple of 19?
True
Suppose 1074 = -31*s + 6189. Suppose s = 5*y + 5*w, -5*w = 2*y - 0*w - 51. Is 19 a factor of y?
True
Let h = 6 - -20. Let j be h*(1 + (1 - 1)). Let c = 58 - j. Does 5 divide c?
False
Suppose 0 = -15*s - 42*s - 228. Let p be (2 + -1)/(4/24). Is (4 - p - -1)*s + 176 a multiple of 12?
True
Suppose -y = -4*j - 10282, 2*j + 27124 = 2*y + 6572. Does 6 divide y?
False
Let o(u) = 6*u**2 + 2*u + 4. Let c be o(2). Suppose -37 = -l - 4*q, 5*q = -l - 0*l + c. Suppose 2*x - 11 = -t - 0*t, -4*t = -5*x - l. Is t a multiple of 2?
False
Suppose 3*p + 12 = 4*n + 774, 2*p - 508 = n. Does 7 divide p?
False
Let q(n) = 4*n - 31. Let m be q(10). Let u be 2*(10/(-3))/(4/m). Is 7 a factor of 266/(-95)*u/2?
True
Suppose c + 158 - 63 = 0. Suppose 0 = -3*r + 6, -6*k + 239 = -9*k + 4*r. Let u = k - c. Is 18 a factor of u?
True
Let i(z) = -4*z**2 - 5*z - 11. Let l(x) = 10*x**2 + 14*x + 32. Let o(w) = -8*i(w) - 3*l(w). Let n(c) = c - 1. Let g be n(-1). Is 4 a factor of o(g)?
True
Let y(b) = -4*b**3 - 8*b**2 + 11*b - 38. Let a be y(-8). Suppose -21*h - a = -31*h. Is 3 a factor of h?
True
Is (-72420)/(-153) - (-8)/(-6) a multiple of 36?
False
Let y = -150 + 154. Suppose 4*r = 2*s + 1364, -1034 = 3*r - 6*r - y*s. Does 38 divide r?
True
Suppose -2*u - 136*u + 945054 = -9*u. Is u a multiple of 37?
True
Suppose 198*a - 57*a = 3255126. Is a a multiple of 17?
True
Let q = 11 - 21. Let f = 13 + q. Suppose 0 = 9*v - f*v - 234. Is 6 a factor of v?
False
Is (-6 + -4)*(-7 + -1 + 9852/(-8)) a multiple of 32?
False
Let f be (-628)/6*(2 - 11). Suppose -5*k + 828 = -f. Let h = 563 - k. Is h a multiple of 17?
False
Let f(x) = -6 + 11*x + 6*x - 6. Suppose -3*r + 44 = 32. Does 14 divide f(r)?
True
Suppose -4*u - 4*c + 28 = 0, -5*u + 3*c = -1 - 2. Suppose -z + 10 = -2*a, -u*a = 2*z - 5*z + 18. Suppose 58 = z*t - 42. Is 8 a factor of t?
False
Is 1015/((352/(-80))/(-22)) a multiple of 17?
False
Let k be (-20)/120 - (-2)/12. Suppose k = 7*i + 9 - 198. Suppose 0 = 3*t - 6*t + i. Is t a multiple of 5?
False
Suppose -g - 67 - 123 = 0. Let l = g + 217. Is l a multiple of 7?
False
Let c = -5789 - -5981. Is 6 a factor of c?
True
Let x = 56 - 56. Suppose 7*m - 3*m + 5*j - 246 = x, j + 116 = 2*m. Suppose -359 + m = -5*z. Is z a multiple of 6?
True
Suppose -4