e d?
True
Let g(y) = 2719*y**2 + 25*y + 26. Is g(-1) a multiple of 16?
True
Let u = 143 + -306. Let p = 47 - u. Is 6 a factor of p?
True
Let r(h) = -h**2 - h + 87. Let w be r(0). Let i = 1707 - 1762. Let k = w + i. Is 19 a factor of k?
False
Suppose 89861 - 398607 = -128*i + 67574. Is 35 a factor of i?
True
Let l(n) = -194*n + 185. Does 81 divide l(-36)?
False
Let s(g) = 479*g - 1220. Is s(10) a multiple of 170?
True
Suppose -3*d = r - 778, d - 15 = r + 251. Suppose -344*z + 341*z + d = 0. Does 4 divide z?
False
Let n(t) = 2*t**3 + 7*t**2 + 5*t + 1. Let l be n(-2). Suppose l*z = 3*f - 3141, 9*z + 1035 = f + 11*z. Does 93 divide f?
False
Let q = -4 + 1. Let n(a) = 5*a - 55. Let z be n(6). Is 46/q*(z + 22) a multiple of 4?
False
Suppose 0 = -5*d + 2*d + u + 165, 2*d + 4*u = 96. Let x(t) = 8*t + 392. Let w be x(-41). Let j = d + w. Does 7 divide j?
False
Let t(z) = -z**3 + 6*z**2 + 3. Let w be t(6). Let k(d) = 27 - 1 + 17*d - 23. Is k(w) a multiple of 18?
True
Is 9 a factor of 129*(39/52 + 228/16)?
True
Let v = -44 + 48. Suppose 0*h = 4*h - 8. Suppose 4*g - 702 + 254 = -v*m, h*g - 4*m = 218. Is g a multiple of 37?
True
Suppose 5*j = y - 4, -12 = -27*y + 24*y + 4*j. Suppose f - 17*i + 14*i - 119 = 0, f = -y*i + 98. Is f a multiple of 9?
False
Let c be 6622/(-4) + 6*4/(-16). Let m = -929 - c. Is 5 a factor of m/36 + (-4)/18?
True
Suppose -95*c + 312962 = -69*c. Is c a multiple of 20?
False
Let x(y) be the third derivative of y**5/30 + 31*y**4/24 + 67*y**3/3 - 2*y**2 + 4*y. Does 50 divide x(-16)?
True
Let h(n) = -20*n + 1. Let d be h(-2). Is (d/2 + -2)*16/8 a multiple of 14?
False
Suppose 8*s - 11*s + r = -34847, -5*s - r = -58081. Suppose -22*t = 2*t - s. Is t a multiple of 22?
True
Suppose -4*n = -7759 - 3953. Suppose 20*s - n = 8*s. Is 6 a factor of s?
False
Let b = 53 - 53. Suppose b = -4*c + 4*a - 68, a + 12 = -2*a. Does 29 divide 6/c + ((-1003)/(-7) - -2)?
True
Let k = -3537 + 4757. Does 54 divide k?
False
Let w(o) = 2*o**3 + 5*o**2 - 8*o + 172. Does 8 divide w(15)?
False
Suppose 0 = 19*q - 38474 - 2699. Suppose 391 - q = -4*u. Is u a multiple of 37?
True
Does 30 divide 1*6/(-4) + (-1020735)/(-90)?
True
Let b be (3/2)/((-21)/(-350)). Let l be ((-80)/25)/(2/b). Let d = -22 - l. Does 2 divide d?
True
Let u be (-5)/((-55)/(-2)) - (-90)/495. Suppose -13*t = -5*j - 9*t + 2431, u = j - 3*t - 495. Does 4 divide j?
False
Suppose -583*h + 277*h = -289*h - 823429. Does 44 divide h?
False
Let v(m) = 4311*m + 5092. Is v(3) a multiple of 35?
True
Let s(o) = 1455*o - 11163. Does 2 divide s(8)?
False
Suppose 4*g = -3*v - 96, 2*g - 5*v + 48 = -0*g. Let a = g + 39. Let z = 68 - a. Is 5 a factor of z?
False
Let r(v) = 1035*v + 699. Is r(4) a multiple of 34?
False
Let a = 10891 - -7620. Is 36 a factor of a?
False
Let k(d) = -15*d - 5. Let g be k(-3). Let i be 38/10 - (-2)/g*4. Suppose 5*p + 10 - 187 = -i*s, -4*p = -3*s + 94. Is 19 a factor of s?
True
Let g(b) = -b**3 + 5*b**2 - 6*b - 1. Let q be g(6). Let d = 151 + q. Does 3 divide d?
True
Suppose 0 = 10*n - 4430 - 3640. Suppose -5*h - 2*p + n = 6, -h = -p - 163. Is 16 a factor of h?
False
Let x(r) = -r**3 - 10*r**2 - 20*r. Let d be x(-8). Suppose 280 = 40*w - d*w. Does 13 divide w?
False
Suppose 0 = 5*b - 3*f - 603, 4*b - 260 = -2*f + 218. Let y = 246 - 132. Let x = b - y. Is x a multiple of 6?
True
Suppose -49 = -69*o + 62*o. Does 29 divide (-13 + o)*615/(-10)?
False
Let u = -57 + 64. Suppose u*q - 343 = 105. Is 16 a factor of q?
True
Let r = 210 - 135. Suppose -5*b - r = -0*b. Does 8 divide (13 + b)/((-4)/82)?
False
Let u = 68 - 108. Let j = u + 42. Suppose 0 = j*l + 2*c - 196, -2*l - c + 325 = 125. Is l a multiple of 17?
True
Let q be 107 - 2/((-6)/(-9)). Let c(d) = -7*d + 51. Let y be c(9). Is 13 a factor of 30/y*q/(-5)?
True
Is 175 a factor of ((-50)/(-3))/((308/1470)/11)?
True
Suppose -6*a + 16*a = 210. Let h be 4/(-6) - (196/a + 2). Is 0 + 111 + 5/(20/h) a multiple of 9?
True
Let x(v) = 4*v**2 - 5 - 28*v**3 + 10 - 3 + 7*v. Let q = 521 + -523. Is 19 a factor of x(q)?
True
Let n(g) = -149*g**3 + 2*g**2 + 5*g + 4. Let t(a) = 150*a**3 - 3*a**2 - 6*a - 5. Let b(w) = -5*n(w) - 4*t(w). Let o = -182 - -183. Is b(o) a multiple of 24?
False
Let k(l) = 2*l - 40. Let i be k(20). Let q be 3 + (i/4)/3 + 1. Suppose u - q = 5*f, 6 = u - 2*f - 1. Is u a multiple of 9?
True
Does 10 divide 7/(14/(-12)) - (16698/(-11) - 0)?
False
Let v be (3/9)/((-2)/(-30)). Is 7 a factor of 3*7*((-90)/(-3))/v?
True
Let l = 2409 + -2266. Is l a multiple of 2?
False
Is (-2)/8 + (-37 - -37) - (-1333)/4 a multiple of 12?
False
Let i(b) = -11*b + 33. Let w be i(3). Suppose w = -3*l + 7 + 5, -4*n + 1288 = 4*l. Is 16 a factor of n?
False
Suppose -10880 - 4300 = -3*n. Is 55 a factor of n?
True
Let u(n) = 13*n + 49. Suppose o = 5*v + 7, 2*o + 2*v - 7 = o. Does 30 divide u(o)?
False
Suppose 3*r - 5 = -2*m, 0*m - 14 = -4*m - 2*r. Suppose 60 = -k + m*k. Is 15 a factor of ((-16)/k)/((-1)/40)?
False
Suppose 0 = 4*d - q - 13, -5*d + 0*q + 8 = -4*q. Suppose -5*g + d*j - 3*j + 2300 = 0, 5*j = 5*g - 2300. Is g a multiple of 16?
False
Let o(d) be the first derivative of 8*d**2 - 14*d + 68. Is o(14) a multiple of 10?
True
Let h(z) be the third derivative of 41/12*z**4 + 0*z + 2*z**2 + 0 + z**3. Is h(1) a multiple of 10?
False
Let d(l) = -l**2 - 14*l + 958. Is 13 a factor of d(-30)?
False
Let l(f) = 11*f**3 + 2*f**2 + f - 3. Let y be l(2). Let p = y + -99. Is 8 a factor of 0 - (-2)/p*-22?
False
Let p(y) = 404*y**2 + 6*y - 4. Suppose -a - 5*q + 6 = 0, 5*q - 5 + 2 = 2*a. Is p(a) a multiple of 33?
False
Suppose 9*z + 15 = 6*z. Let h be 19/z + 3 + (-8)/(-10). Suppose t + 72 - 225 = h. Does 9 divide t?
True
Suppose -208*x + 45487 = 5*t - 211*x, 5*t = -4*x + 45494. Is t a multiple of 373?
False
Let p(u) = u**3 + 31*u**2 - 28*u + 33. Let i be p(-32). Is ((-228)/i)/(6/1040) a multiple of 13?
True
Let u(b) = -16 + b**3 + 19 + 51 - 17*b**2 - 29*b + 38*b**2. Is 52 a factor of u(-22)?
True
Let y(k) be the first derivative of -29*k**4/4 + 2*k**3/3 - k**2 + k - 99. Is y(-2) a multiple of 38?
False
Let h(y) = -3*y + 13. Let s(r) = r - 13. Let u(l) = 2*h(l) + 3*s(l). Let d be u(-5). Is 9 a factor of -1*d*(-3 - (-90)/(-12))?
False
Let w be (1 + -2)/(0 - 6/(-336)). Let y = -49 - w. Suppose y = 3*t + 19, 2*h - 534 = -3*t. Is h a multiple of 12?
False
Let j(i) = 10*i**2 - 333*i + 44. Does 9 divide j(44)?
True
Suppose 15*o + 32 = 7*o. Let s(f) = -21*f + 106. Does 19 divide s(o)?
True
Suppose 6*q + 1 = a + 2*q, -5*a + 3*q = -22. Let j = a - 0. Suppose j*b = u + 43 - 134, -4*u + b + 307 = 0. Is u a multiple of 12?
False
Suppose 67554 = 110*h - 101406. Is h a multiple of 12?
True
Suppose -77*g + 74*g + 1140 = 0. Is g a multiple of 38?
True
Is 97*-15*22*(6 + 248/(-40)) a multiple of 33?
True
Let n be -1 + (-35)/(-30) + (-8420)/(-24). Let q = -81 + n. Does 54 divide q?
True
Suppose -3*m = 5*i + 8 - 41, 5*m = -i - 11. Suppose i*q - 10*q = -14. Is 12 a factor of (-6)/(-5)*(q + 6)?
True
Let r = -27 - -124. Let o = 250 - r. Does 20 divide o?
False
Let y(l) be the first derivative of l**3 + 52*l**2 + 36*l - 98. Does 20 divide y(-42)?
True
Suppose 5*t + 20 = 0, -3*l + 4*l - 11*t - 28508 = 0. Does 16 divide l?
True
Let h(r) = 28 + 26*r - 57*r - 13*r**2 + 35*r. Let u be h(-8). Does 14 divide ((-14)/(-4))/(u/(-208) + -4)?
True
Suppose -2*g - 3*g - 5*b = 0, 3*b + 4 = -g. Suppose g*n - y = 4*n + 11, -5*n = 3*y + 29. Does 7 divide (-759)/(-12) + n + (-15)/(-4)?
True
Let v(i) = i**3 + i**2 + 3*i - 169. Let x be v(0). Is 22 a factor of 1/2*(5 - x)?
False
Suppose n - 2*q - 185 = 0, -3*q + 8*q = n - 197. Suppose -n*v + 171*v + 2712 = 0. Does 27 divide v?
False
Let s(a) = 1833*a - 22. Let i be s(2). Suppose 3236 = 16*p - i. Is p a multiple of 43?
True
Let o(d) be the second derivative of -d**6/360 + 19*d**5/120 - 25*d**4/24 - 5*d**3/2 + 27*d. Let j(i) be the second derivative of o(i). Does 19 divide j(15)?
False
Let m(r) = -7*r**3 + 4*r**2 + 4*r + 3. Let n be m(-3). Suppose 9*l - 11*l - n = 0. Let c = l + 117. Is c a multiple of 9?
True
Suppose -2*r = -2*q - 3*q - 35, 4*r = -5*q + 25. Suppose -5*k = 13*u - 10*u - 2185, -2*k = -r. Does 10 divide u?
True
Let g(h) = h**3 + 18*h**2 + 27*h + 106. Let q(x) = -2*x**3 - 35*x**2 - 53*x - 212. Let v(a) = -9*g(a) - 4*q(a). Is 9 a factor of v(-22)?
True
Let p