b(r) be the second derivative of r**4/12 + 5*r**3/6 - 17*r**2/2 - r. Is b(w) a multiple of 21?
False
Suppose -1203 = -x - 5*i + 189, x - 1368 = i. Let c = -846 - -1184. Suppose x = 10*f - c. Does 36 divide f?
False
Let r(o) = o + 0 + 5 - 2 + 2. Let p be r(-2). Suppose 0*n - 4*w = 4*n - 800, -p*n - w = -590. Is 9 a factor of n?
False
Suppose 26*a - 21*a = 4*l + 3719, 3*a + 3*l = 2199. Is a even?
False
Let o(i) = i + 38. Let j be o(-15). Suppose 21*r - 19*r = -3*d + 30, j = 4*d - 3*r. Does 3 divide d?
False
Suppose 3*h - 296 = 2*o, -4*h + 2*o = -o - 395. Suppose -5*g + 2*g + 2*c = -118, 0 = -3*g - 2*c + h. Does 23 divide (-1150)/(-8) - 27/g?
False
Let k = 336 + -9. Suppose 5*a = s + k, 3*s - 4*a + 326 = 2*s. Is 17 a factor of (-2)/(-1)*s/(-4)?
False
Suppose -h - 8*s + 9955 = -12*s, -19928 = -2*h - s. Is h a multiple of 123?
True
Suppose -8 = -6*i + 5*i - 3*g, 0 = -2*i + g + 16. Suppose -532 - 100 = -i*o. Does 7 divide o?
False
Let c(v) = 3*v**3 - 4*v**2 - 3*v - 7. Suppose -4*h = 0, 2*h - 28 = -5*b - 3. Suppose 11 = b*g - 9. Is 12 a factor of c(g)?
False
Let d(k) = -189*k - 3. Let r be d(-1). Let t(x) = 7 + r*x - 29*x**2 + 11 - 2*x**3 - 203*x. Does 6 divide t(-14)?
True
Let d(y) = y**3 + 8*y**2 - 48*y - 4. Let g be d(-12). Is 26 a factor of 6/g*(-5472)/54?
False
Let z = 26728 - 8286. Is z a multiple of 195?
False
Let z = 12328 - 7931. Is 11 a factor of z?
False
Let k = -12 - -12. Suppose -2*c + n - 8 = 0, k*n + 17 = -5*c + n. Is (-92)/((-3)/(5 - -1)) - c a multiple of 25?
False
Let y = 4571 + -2796. Is 25 a factor of y?
True
Let i be 6 + -3 - 0/(-3 + 0). Let y be i*8/(-12) - -5. Suppose k + y*w - 84 = -0*w, -3*k + 2*w + 208 = 0. Is k a multiple of 14?
False
Suppose -4*z = -4*j + 55652, 0 = -70*j + 65*j - z + 69541. Does 12 divide j?
False
Is (-1 - 5/(-2))/(45*38/658920) a multiple of 4?
False
Let v = 2689 - 1571. Is 43 a factor of v?
True
Suppose -b - f = -6, -5*f + 14 = -6. Suppose -136 = -3*q - 5*t, -b*q + t + 64 = -t. Does 4 divide q?
False
Let y(v) be the first derivative of v**4/2 - v**3 - 10*v**2 + 56*v - 70. Is y(7) a multiple of 7?
True
Let d = -16 + 19. Suppose 4*y = -3*t + 101, -d*t = -4*y + t + 108. Suppose -l + y = l. Does 2 divide l?
False
Suppose 16 = 2*s + 4*i, 3*s - 14 = -0*s - i. Suppose 112 = s*g - 56. Suppose -28 - g = -u. Is u a multiple of 7?
True
Let u = 20 - 18. Does 9 divide 3/u*(-2 - -74)?
True
Let x(s) = s**2 + 5*s - 10. Let k be x(-7). Suppose m - y = -m + 1323, 1308 = 2*m + k*y. Is m a multiple of 10?
True
Suppose 5*b - 63 = 147. Is 6 a factor of b?
True
Let h(l) = -l**3 + 17*l**2 + l + 1. Let y be h(14). Let s = 981 - y. Does 27 divide s?
True
Let x = 14978 - 14387. Does 14 divide x?
False
Suppose -50565 = 194*n - 207*n - q, 0 = -4*q + 32. Is 31 a factor of n?
False
Suppose -97*a + 238393 + 377522 + 1027071 = 0. Is 89 a factor of a?
False
Let r(w) = -760*w**3 + w**2 - w. Let c be r(-1). Is 12 a factor of c/21 + 2/(-7)?
True
Suppose -26945 = -33*j - 29289 + 83854. Does 10 divide j?
True
Let r = 216 - 616. Let n = -223 - r. Is 10 a factor of n?
False
Let o be -7 + (5248 - 49/(-7)). Suppose 12*r = -4*r + o. Is 39 a factor of r?
False
Suppose -5*k = 2*f - 3*f - 13, k = 2*f - 1. Suppose -k*o = -2 - 4. Is 753/9 + 1/(1 + o) a multiple of 28?
True
Let i be (15/(-25))/(2/(-10)). Is i - ((-4)/(-12) + 110/(-15)) a multiple of 10?
True
Suppose 288*u - 761530 = 211*u. Does 46 divide u?
True
Suppose -11 + 23 = 6*w. Suppose 2*s = -w*u + 10, 0 = -0*u - 4*u - 5*s + 25. Suppose u = -4*j + 6*j - 108. Does 9 divide j?
True
Suppose 45*f - 51114 = 31*f. Suppose 0 = -29*u + 4527 + f. Is 6 a factor of u?
True
Let f be ((-7)/2)/(16/(-1504)). Suppose -2*n = -4*t - 4*n + 1328, n = t - f. Is 43 a factor of t?
False
Let o be -419*1 - (7 + -5). Let x = 592 + o. Suppose -2*t - 4*j = -3*j - x, -t + 75 = 4*j. Is 31 a factor of t?
False
Let l = 100 + -81. Let c = l - -16. Let g = c - 28. Is 7 a factor of g?
True
Suppose 6*h + 400 = 5*c + 3*h, 0 = c - 5*h - 102. Suppose 56*z = 68*z - 108. Suppose -23 + c = z*u. Is 2 a factor of u?
True
Let j(r) = -3*r**3 + 61*r**2 + 28*r - 16. Does 5 divide j(-7)?
False
Let i = -35 + 30. Is (i/(-10))/(1/142) a multiple of 4?
False
Suppose -z = -3*p + 12611, 5*z + 8390 = -9*p + 11*p. Does 33 divide p?
False
Let c(k) = -31*k - 212. Let i be c(-7). Suppose -3*f - 2*f - 465 = -i*t, -4*f + 510 = 5*t. Does 12 divide t?
False
Let w be (-20493)/(-88) + (-2)/(-16). Suppose 2*l - x = 457, -l + 7*x = 8*x - w. Does 56 divide l?
False
Suppose -309900 - 201247 + 51722 = -5*s. Is s a multiple of 115?
True
Let i be (-5 + 12)*(-1)/((-3)/(-72)). Let o = i - -189. Is 2 a factor of o?
False
Suppose 151*g = g + 3033450. Is 189 a factor of g?
True
Let u be 6/((-36)/(-30)) - 0. Suppose s + 5*k = 394, -2*k + 9 = u. Is 7 a factor of s?
False
Suppose 7*s = 18993 + 15615. Does 40 divide (s/120)/((-2)/(-15))?
False
Let j = -2729 + 3234. Does 125 divide j?
False
Let w = -2154 - -2168. Let g(a) = a**3 + 2*a**2 - 7*a - 6. Let p be g(-6). Is (w/3)/((-9)/p) a multiple of 7?
True
Let g(q) = -791*q**3 + 10*q**2 + 5*q - 4. Is 3 a factor of g(-1)?
True
Let q = -21664 + 56233. Is 23 a factor of q?
True
Suppose -17*p - 37*p + 115731 + 969669 = 0. Is p a multiple of 15?
True
Suppose -65 = -4*c - 5*m, -2*m = 4*c - m - 45. Suppose -c = -5*d, -8*v - 2*d + 68 = -7*v. Is v a multiple of 7?
False
Let p = -29 + -10. Does 9 divide (-6)/p + (-464)/(-26)?
True
Suppose 0 = 61*f - 111 - 72. Suppose -8*b = -f*b - 2135. Does 65 divide b?
False
Suppose o - 1 = -3*d - 5, -3*o + 2*d = -10. Suppose -4*y + 4550 = 5*k, 4*y - 1227 - 3309 = o*k. Is y a multiple of 50?
False
Suppose 8*i + 12*i - 3814785 = -175*i. Does 297 divide i?
False
Is 9 - (-1767 - (13 + 5)) a multiple of 138?
True
Let n = 19 + -10. Let b(s) = s - 6. Let x be b(n). Is 20 a factor of (-140)/x*(-39)/26?
False
Suppose b = 5*b - 8, 3*s + 2*b = 1. Is 47 a factor of 757 + (-5 - s) - 1?
True
Let b = -837 + 291. Let w = b + 904. Is 8 a factor of w?
False
Suppose 235*k - 221*k = 0. Suppose k = -5*g - 4*d + 494, -4*d + 3*d + 1 = 0. Is 9 a factor of g?
False
Let g(l) be the first derivative of l**4/4 + 2*l**3 + 3*l**2 + 15*l + 8. Let r be g(-5). Let n(t) = t**3 - 10*t**2 + 14*t - 16. Does 16 divide n(r)?
False
Suppose 19*z + 8*z - 245081 = 8*z. Does 14 divide z?
False
Suppose 27*u + 128788 = 531358. Is 105 a factor of u?
True
Let j be 10/(-4)*(-36)/30. Let y be ((-30)/(-6))/(j/3). Suppose 0*q - 202 = -4*v - 2*q, -4*q - 220 = -y*v. Does 16 divide v?
True
Let y = -3029 - -8212. Is 71 a factor of y?
True
Let g be (3/4)/(2/(-8)). Let b be (-20 - -6)/(g - -1). Let d = b - -56. Does 9 divide d?
True
Suppose 51*f - 32518 = 65116 + 121054. Is 32 a factor of f?
True
Let q be 10956/16 + -4 - (-3)/(-4). Let t = q - 405. Is t a multiple of 55?
True
Let a(u) be the first derivative of u**5/20 - 7*u**4/24 - 8*u**3/3 + 9. Let h(d) be the third derivative of a(d). Does 11 divide h(25)?
True
Suppose -8*m = -12*m - 12. Let s be 2/m - 1116/27. Let i = s - -96. Does 8 divide i?
False
Let b = 7777 + -1497. Suppose 18*s + b = 38*s. Is s a multiple of 2?
True
Let b be -3*(252/27)/(-4). Suppose -b*u = -3958 - 578. Does 27 divide u?
True
Let k be (-40)/(-2 + 6)*(-8)/(-10). Is (17 + 1)*((-13 - k) + 46) a multiple of 13?
False
Suppose -5*z - g - 370 = 0, 2*z - 5*g + 95 + 53 = 0. Let p = 152 + z. Is ((-29)/6 + (-13)/p)*-16 a multiple of 40?
True
Let a(b) = b**2 + 8*b + 11. Suppose -5*l = 4*l. Suppose -r - 4 + l = 0, 2*r + 52 = -4*f. Is a(f) a multiple of 26?
False
Suppose -555*n = -534*n - 25368. Is n a multiple of 40?
False
Is 153 a factor of -22 - (-17407 + (-17 - -32))?
False
Let q = -26 - -26. Suppose q*h = 2*h + 5*h. Suppose -x = 5*l + 13, 5*x - 5*l - 18 - 7 = h. Is x even?
True
Let a be 22 - -2 - (0 + 4). Suppose 566 = a*w - 874. Is w a multiple of 6?
True
Suppose 2*v = 3*v + 1, i = -5*v + 505. Suppose -i + 122 = -4*j. Let r = -57 + j. Is r a multiple of 7?
False
Suppose t - 4*g = 12, -16 = -5*t - 2*g - 0*g. Suppose 0*w = 5*f - 2*w - 10, 5*w = t*f - 25. Does 14 divide 1/(-3 - (-85)/28) + f?
True
Suppose -2790*p = -2827*p + 181300. Is 14 a factor of p?
True
Suppose 6*h - 1560 = -21*h + 18879. Is h even?
False
Let t(g) = 43*g**2 + 64*g - 6. Is 42 a factor of t(-12)?
True
Let m(d) = -d**3 - 27*d**2 - 132*d - 160. Is 50 a factor of m(-30)?
