f 20?
True
Let d(o) = -5*o**2 + 101*o + 14. Let b(r) = -2*r**2 + 34*r + 4. Let h(l) = 8*b(l) - 3*d(l). Is 12 a factor of h(-17)?
True
Let l(r) = r**3 + 5*r**2 + 3*r. Let q be l(-4). Suppose 0 = 8*x - x - 1316. Suppose -c - c = q*p - x, -p = 4*c - 33. Does 7 divide p?
True
Suppose -14*g + 15*g = -3*d + 8141, -4*g = -20. Does 20 divide d?
False
Suppose 3*b = -2*s + 267, -3*b - 261 = 31*s - 33*s. Does 44 divide s?
True
Does 25 divide ((-60)/(-14))/(100/45850)?
False
Let p be (-920)/(-32) + 12/(-16) + 4. Let k = p - -19. Does 51 divide k?
True
Suppose 2*z + 73 = -0*z + d, 0 = 2*z + 2*d + 82. Let b = z - -43. Suppose -83 = -2*x + 5*l - 8*l, x - b*l - 61 = 0. Is 46 a factor of x?
True
Suppose -5*p + o + 3123 = 0, 5*p + 4*o + 819 = 3952. Let q = p - 247. Is q a multiple of 29?
False
Let d = 16123 + -1283. Does 20 divide d?
True
Let t be (4704/(-140))/(2/(-10)). Suppose 4*r + 39 = a, -3*r = -4*a + r + t. Does 8 divide a?
False
Let i be (-1246)/10 + ((-30)/25)/3. Let j = i - -118. Is 24 a factor of (-1153)/j - (-32)/112?
False
Let w(s) = s**2 + 2*s + 6. Let m be w(-2). Suppose -139 = m*y - 499. Is 5 a factor of y?
True
Suppose 0 = -4*n + 3*h + 3549, 3*h + 10 + 11 = 0. Does 4 divide n?
False
Let a = 207065 - 144515. Does 225 divide a?
True
Suppose -7*g + 3*w + 13335 = 0, -5*w + 1867 = 40*g - 39*g. Is g a multiple of 15?
False
Let w be 9 - 0 - 35/5. Suppose -w*u = -743 - 1491. Is u a multiple of 55?
False
Suppose 7*o + 22315 = 10*o + 5*c, 0 = o - 3*c - 7457. Is 13 a factor of o?
False
Let i(t) = -5*t**2 - 2*t. Let a be i(1). Let k = 16 - 24. Is 96/((a + 1)/(k/2)) a multiple of 16?
True
Let k(a) = -15*a + 61 + 147*a**2 - 55 - 13*a**2. Is k(2) a multiple of 24?
False
Suppose 4*b + 4 = 0, -33*p - 8*b = -29*p - 36480. Is p a multiple of 65?
False
Suppose 0 = -4*z + 22 - 14. Suppose -z*r - 3*h = -5*r, 4*h - 20 = 0. Suppose -3*m + 2*t = -0*t - 17, -4*m + 32 = -r*t. Does 3 divide m?
True
Suppose 8*y - 10*y + 18 = 0. Suppose 6*j + 1665 = y*j + 3*a, j + 4*a - 558 = 0. Does 57 divide j?
False
Is ((-32471)/(-4))/(-29 + 819/28) a multiple of 19?
True
Suppose a - 39 = 4*a. Let g = a + 520. Is g a multiple of 13?
True
Suppose 260*p = 258*p. Suppose 3*g - 4*g = -2*k - 8, -4*g = -2*k - 14. Suppose g*j - 15 - 23 = p. Is 6 a factor of j?
False
Suppose 7*b - 11*b + 64 = 0. Suppose 0 = b*f - 18*f + 4. Suppose -o - 3*o + 153 = 5*s, 4*s = -f*o + 72. Does 9 divide o?
False
Let o(v) = 7*v + 10*v + 53 + v**2 + 22*v - 10*v + 0*v**2. Does 53 divide o(24)?
True
Let p(w) = -w**2 + 48*w - 127. Let t be (-4)/(-22) - (-1 + 524/(-22)). Does 32 divide p(t)?
True
Let v = -109 + 110. Is (3 + -2 + -2)*v*-19 even?
False
Let i = -7203 + 14385. Does 18 divide i?
True
Does 83 divide (-5)/((-90)/3339)*(0 + 2)?
False
Let v(i) = -34*i**3 + 3*i**2 + i - 1. Let j be v(-1). Suppose -3*k = 2*k + j. Is (-45)/(-30) + -1 + k/(-2) a multiple of 2?
True
Let v(l) = l**2 - l + 2. Let o be v(2). Suppose -o*q = -8 - 8. Suppose k = q*k - 120. Is k a multiple of 20?
True
Suppose -8 - 17 = -5*h - 5*j, 3*h - 14 = -2*j. Suppose t + 3 = 5*q - 10, -4*q + 8 = -2*t. Suppose q*i - 374 = -2*v, -h*i - 4*v + 494 = v. Is i a multiple of 21?
True
Let v(j) be the second derivative of j**4/12 + 3*j**3/2 + 9*j**2 + 3*j + 10. Is v(10) a multiple of 13?
True
Let t = 171436 - 100516. Let i be 4/22 - t/(-165). Suppose 0 = -3*z + 4*k + 308 - 64, i = 5*z + 5*k. Is 28 a factor of z?
True
Suppose -2*y + 5*t - 2 = 0, 34*y + 4*t + 2 = 36*y. Is 17380/66 + 15/y a multiple of 5?
True
Let g be (-1)/2 + (-2478)/(-4). Let c = g + 191. Is c a multiple of 11?
False
Does 4 divide (869/(-3) - 5)/(4/(-18))?
False
Is 21 a factor of (20293/182)/(((-12)/4)/(-378))?
True
Let w(b) = -1584*b**3 + 1586*b**3 - 2 - 4*b**2 - 9 + 13*b. Is w(5) a multiple of 5?
False
Let a(h) = -98*h - 222. Is a(-15) a multiple of 78?
True
Suppose 2*z - 69*b = -73*b + 44, 3*b - 60 = -3*z. Suppose 5*a = -f + z, 2*a = -2*f + 85 - 9. Is 14 a factor of f?
False
Let p(a) = -2*a**3 - 5*a**2 - 10*a - 3. Suppose 6*v + 3*x = v - 20, 3*x + 4 = -v. Is p(v) a multiple of 7?
False
Suppose 7*c = 23 + 19. Let z be 1883/5 - c/(-15). Suppose z = 9*o + 26. Is o a multiple of 27?
False
Let a = -378 + 377. Is (478*a)/(-2) + (-47)/(-47) a multiple of 30?
True
Suppose p = 4*q + 44, -3*q - 46 = -0*q - 4*p. Let b(v) be the second derivative of v**4/6 + 13*v**3/6 - 11*v**2/2 + v. Is b(q) a multiple of 16?
False
Is 7 + 276/(-48) - (-71625)/12 a multiple of 30?
True
Let k(n) = 170*n**2 + 49*n - 175. Is k(5) a multiple of 135?
True
Let r(q) = 2*q**3 + 93*q**2 - 245*q - 66. Let f be r(-49). Let a = -31 + 216. Let h = a + f. Is 7 a factor of h?
True
Let n(u) = 22*u - 86. Let q be n(4). Suppose -3*z - 77 = -2*g, 7*g = q*g - 3*z + 182. Does 20 divide g?
False
Let u = -29 + 54. Suppose 5*x - u = -3*h, -10 = h + h. Suppose 3*y = x*y - 360. Is 6 a factor of y?
True
Let c(p) = 359*p**2 - 34*p - 35. Is c(-1) a multiple of 9?
False
Let b be ((-36)/60)/((-1)/5) - 3. Is b + 7441/(1 - -6) a multiple of 46?
False
Is ((-1)/4 - (-48315)/12)/(-167 + 168) a multiple of 66?
True
Suppose 5*w = f + 51, -3*f + 6*w = 4*w + 88. Let u = 78 + f. Does 4 divide u?
True
Let o = 1505 - 742. Let n be 6/(-8) - (o/(-4) + 4). Suppose -5*z = -0*v - 3*v - 473, 2*z + 2*v - n = 0. Does 7 divide z?
False
Let h = -2600 + 2710. Is 30 a factor of h?
False
Let r(p) = 3*p**2 + 25. Let l be r(9). Let n = l + -83. Suppose 4*a - n = 2*q - 3*q, -a - 4*q + 65 = 0. Is a a multiple of 7?
False
Let l be (-24)/(3 + -5) - 2. Suppose z = -l*z + 121. Suppose -75 = -a + 4*t, -3*a + 284 = 2*t - z. Is a a multiple of 19?
True
Suppose 38 + 10 = 4*w - 5*m, -60 = -5*w + 5*m. Suppose l + 15 = -4*y, -5*l + 4*y - w + 57 = 0. Suppose u = 2*x + 3*x - 85, -l*x + 95 = -3*u. Does 3 divide x?
False
Let z = 14670 + -10130. Does 38 divide z?
False
Let s(k) be the third derivative of 13*k**4/8 - k**3/3 + 136*k**2. Does 4 divide s(6)?
True
Let t(n) = -n**3 + 8*n**2 + 21*n - 18. Let i(v) = -6*v**2 - 2*v - 1. Let z be i(-5). Let x = -133 - z. Is t(x) a multiple of 41?
False
Let d be 1 - (-2)/(-4) - 266/76. Is 10 a factor of (-2 + d)/(-1 + 330/332)?
True
Let t(u) = -21*u - 4. Let p be t(7). Let z = p - -293. Does 8 divide -5*z*(-3)/15?
False
Let p(m) = 4 + m + 0 + 0*m**2 + 6*m**2 - m**3 + 2*m**2. Suppose 4*i - 3*z + 4*z = 16, 2*z - 12 = -4*i. Is 14 a factor of p(i)?
True
Let z be (-134)/(-16) - 30/80. Suppose -12 = 3*u, b - 5*b - 2*u - z = 0. Suppose -h + m = -7 - 22, b = -3*h - 2*m + 67. Is h a multiple of 11?
False
Let p = 6 - -28. Let z = -30 + p. Suppose 20 = 5*a, z*h - 5*h + 3*a + 34 = 0. Is h a multiple of 6?
False
Let o = 31286 - 17118. Does 14 divide o?
True
Let i(v) = -940*v + 165. Let h be i(-16). Does 40 divide (-9)/((-90)/h) + (-3)/6?
True
Let j(m) = 8*m**2 + 201*m + 27. Is j(-42) a multiple of 8?
False
Suppose -1347*d = -1345*d - 26280. Does 18 divide d?
True
Let n be (-20)/25*(-460)/(-8). Let g = n + 159. Let k = g - -61. Is k a multiple of 26?
False
Let g(q) = q**3 - 2*q**2 - 8*q - 5. Suppose 4*j - 19 + 3 = 0. Let m be g(j). Does 15 divide m/((-25)/130) + (2 - -1)?
False
Suppose 4*z + 227 - 1811 = 0. Is (76 - 77)*(z/(-2) + 1) a multiple of 20?
False
Let p(k) = -198*k - 804. Is 5 a factor of p(-5)?
False
Let g(d) = -d**3 + 5*d**2 - 5*d + 6. Let x be g(4). Suppose 37*h - 24420 = 111*h. Does 11 divide (h/75)/(x/(-10))?
True
Let s be (16/(-6) - -4)*3. Suppose 1 = -5*q - s*l - 21, 4*q + 14 = -5*l. Does 10 divide (q - -6) + 1 - (1 + -80)?
True
Let v = -159 + 93. Let p = 67 + v. Is 36 a factor of 110 + -4 - (-2 + 1 - p)?
True
Suppose 3*v = 3*r - 27 - 45, 4*r = 12. Does 11 divide (3778/8)/(v/(-84))?
False
Is 582054/462 + (-1)/(-4 + -3) a multiple of 60?
True
Suppose 0 = -2*k - 2*r + 12674, 5*k - 65*r + 60*r = 31645. Is 18 a factor of k?
False
Let c be (88/154)/(2/7). Suppose -2*l + 305 = 5*y, c*l - 237 - 28 = 3*y. Is 35 a factor of l?
True
Suppose 14*v - 54428 = 170132. Is 7 a factor of v/68 + (-12)/(-102)?
False
Let s = 833 - 235. Let k = s - 400. Does 33 divide k?
True
Suppose l + l + 10 = 0. Let u be 0 - -1 - (-1 + 76). Does 9 divide (l + (-4 - -8))*u?
False
Let k(t) be the second derivative of 0 + 29/6*t**3 + 9*t**2 + 10*t. Is k(7) a multiple of 13?
True
Suppose -698*f + 878*f - 3074040 = 0. Does 22 divide f?
False
Let j = 545 + -249. Suppose 19*z = 23*z - j. Suppo