g + 8 = 2*x + x. Is 28 a factor of a(g)?
True
Let b(k) = -2*k**2 - 27*k + 7. Let g be b(-14). Let f(j) = 3*j**2 + 9*j + 5. Is f(g) a multiple of 25?
False
Let k = 45786 + -20421. Does 15 divide k?
True
Suppose -8*b - 27 = -10*b + 3*i, 3*i + 39 = 4*b. Suppose 4120 = b*g + 796. Does 46 divide g?
False
Let u be (188/(-5) - -2) + 40/(-100). Let h(p) = 8*p**2 - 4*p + 3. Let n be h(2). Is 9 a factor of u/n + (-634)/(-3)?
False
Let f be -1 + -6*(-10)/12. Suppose -5*g = f*p - 2954 + 1204, -g - p = -350. Does 10 divide g?
True
Does 177 divide (-367977)/63*-1 - ((-2032)/168 - -12)?
True
Suppose g = 3*r - 2564, 7*g - 872 = -r + 3*g. Let j = r + 274. Does 10 divide j?
True
Let u be 992/465 - (-4)/(-30). Suppose -5*z + 3*i = -84, -2*i = 2*z + u*i - 18. Is z even?
False
Suppose 21 = 24*m - 37251. Is m a multiple of 10?
False
Let p(h) = h**3 - 6*h**2 + 6*h + 4. Let t be p(5). Suppose 1024 = t*w - 1226. Is 10 a factor of w?
True
Suppose 2*x = b - 4770, 32*x = 2*b + 9*x - 9578. Does 25 divide b?
False
Let g(h) = -21*h**2 + 66*h - 265. Let x be g(4). Let m = 271 - 467. Let z = m - x. Is 24 a factor of z?
False
Suppose -11236 - 24888 = -98*h - 746. Is h a multiple of 18?
False
Let k(r) = 39*r**3 - 3*r**2 - 4*r + 17. Suppose 3*p = 3*q - 21, q + 82*p + 23 = 77*p. Is 9 a factor of k(q)?
False
Suppose 2*i = -5*k + 77 + 20, -3*k = -4*i - 53. Suppose -2*o + 19 = k. Suppose o = 4*n - 3*n - 102. Is n a multiple of 10?
False
Let r(y) = -2943*y + 553. Is 137 a factor of r(-2)?
True
Suppose d = -2*q + 24545, 136*d = 140*d - 4. Does 16 divide q?
True
Let g = 2329 + -943. Does 4 divide g?
False
Suppose 0 = b - 242 + 58. Let c = -36 + b. Let f = c + -54. Is f a multiple of 47?
True
Let r(f) = -6*f**2 + 121*f + 135. Let n(u) = -u**2 + 24*u + 27. Let p(w) = 11*n(w) - 2*r(w). Is p(-23) a multiple of 10?
True
Suppose -25*i = -18601 - 56533 - 90016. Does 18 divide i?
True
Suppose 5*y - v - 41 = -3, 2*v - 28 = -3*y. Let d be 4/(-1) - (-27 + y). Is (d/5 + 2)*11 a multiple of 25?
False
Suppose -2*t = h + 11, -4*t - 3 - 1 = -4*h. Let y be (-2352)/108 - 3/(-54)*t. Let v = y + 70. Is v a multiple of 12?
True
Suppose 3951 = -11*n + 14*n - 3*f, -5*f + 5 = 0. Is n a multiple of 30?
False
Let r(d) = 52*d**2 + 6*d + 18. Let p(v) = 105*v**2 + 12*v + 35. Let g(l) = 6*p(l) - 11*r(l). Is 65 a factor of g(-3)?
False
Is 81 a factor of (-664)/(-1494)*3*-76*534/(-4)?
False
Let v(s) = 318*s - 1023. Is 48 a factor of v(31)?
False
Let r(i) be the third derivative of i**4/24 + 121*i**3/6 - i**2 + 53*i. Is 14 a factor of r(5)?
True
Let j(l) be the second derivative of 0 + 1/3*l**3 + 4*l + 17/2*l**2 + 1/6*l**4. Is j(5) a multiple of 30?
False
Let i be 2*(-9 + 6 - -35). Does 8 divide (-1 - -6 - (13 + -22))*i?
True
Let h = -11924 - -30136. Is h a multiple of 3?
False
Let h be (-3)/(-5) - -14*(-5)/(-50). Suppose 3*f = 6 + 3. Suppose f*z - 119 = -h*k, -2*k + z = -4*k + 121. Is k a multiple of 12?
False
Let q(p) be the first derivative of -88*p**2 - 13*p + 40. Is q(-1) a multiple of 8?
False
Let a(n) = 6*n**2 + 12*n - 5. Let k be a(-10). Suppose 5*p = b - 5*b + 604, 4*p = 5*b + k. Is 14 a factor of 2 - 0 - ((-12)/3 - p)?
True
Let a(f) = -11*f - f**2 - 50 + 111 - 50. Let q be a(-13). Let y = 5 - q. Is 6 a factor of y?
False
Let m(z) = 4*z - 314 + 634 - 311 + 4*z**2. Suppose b = 4*p - 25, -1 = 3*p + 4*b - 15. Is 42 a factor of m(p)?
False
Let s be (-18)/8*8/(-3). Suppose 5*a - 26 = 3*g, -3*a + 176*g - 172*g + 20 = 0. Suppose a*h = -4, -b = -s*b + 3*h + 388. Does 11 divide b?
True
Let t = 14314 + -12783. Does 50 divide t?
False
Suppose 0 = -k - b + 83, -2*k + 2*b - 10 = -164. Is 4 a factor of (120/k)/(3/556)?
False
Suppose -2*y - 107*u = -109*u - 79116, 3*y + 4*u - 118730 = 0. Does 73 divide y?
True
Let s(k) = 51*k**2 - 8*k - 4. Let u be s(-2). Let b = u + -182. Is b a multiple of 17?
True
Let v(p) = -11683*p + 1106. Does 27 divide v(-4)?
False
Let f(r) = 2*r + 2. Let b be f(-1). Let w be b/((-9)/(-3) + -2). Suppose 0 = -4*a - 2*z + 246, a + w*a - 63 = -z. Is a a multiple of 20?
True
Suppose 0 = -9*g - 0*g + 45. Suppose -n + 1 = 0, -2*d + g*n + 491 = -192. Suppose -69 = -v - 4*y + 17, 4*v = -3*y + d. Does 43 divide v?
True
Is (9 + 55/(-5))*3045/(-10) a multiple of 8?
False
Let k(f) be the third derivative of -f**6/120 - 19*f**5/30 - 7*f**4/24 + 25*f**3/2 + 9*f**2. Is 11 a factor of k(-38)?
True
Is 12/(-16)*-12 - -222*93 a multiple of 34?
False
Let i be (-3)/12 - (-3)/(-4). Is 16 a factor of (12/(-30))/(i/1500)?
False
Suppose -9*u - 43110 = -24*u. Suppose -4*a = -5022 - u. Does 14 divide a?
True
Let u = 24 - 19. Suppose u*v + 89 = 29. Is 6 a factor of 3/12 + (-5)/v*57?
True
Let r = 110232 - 56006. Is r a multiple of 82?
False
Let c = -166 - -168. Suppose 233 = c*o - 93. Does 29 divide o?
False
Suppose -u + 0*u = 2*h - 369, 0 = 2*h - 4*u - 364. Suppose -h = -4*c + 308. Is c a multiple of 15?
False
Is 89 a factor of (8 - 4)*(1 - -1) + 3552?
True
Let x = 2474 + 923. Is x a multiple of 21?
False
Let d(t) = -3*t**3 - 150*t**2 - 107*t + 496. Does 36 divide d(-52)?
True
Let g(c) = -28*c - 176. Let a be g(-7). Suppose a = -5*q, -3*b - b - q = -412. Is 9 a factor of b?
False
Let t be -1*-30*12/(-8). Let k = t - -50. Suppose 5*y = k*b + 317 + 103, 0 = -3*y - 5*b + 220. Is y a multiple of 20?
True
Let v = -1093 + 11646. Is 61 a factor of v?
True
Let p = 108 - -2. Let k = p - 48. Is k a multiple of 31?
True
Let p = 57843 - 40593. Does 30 divide p?
True
Let o(c) = 2714*c**2 - 14*c + 90. Is o(2) a multiple of 103?
True
Suppose -359*p + 108976 = 5*b - 363*p, 3*b + 4*p - 65328 = 0. Does 49 divide b?
False
Let u = 6414 + -4551. Does 81 divide u?
True
Let d = 898 - -479. Let v be -4 + 0 - ((1 - 4) + -4). Is 5 a factor of v/(-5) - d/(-45)?
True
Let c = -7110 + 10346. Suppose c + 7084 = 40*m. Is 7 a factor of m?
False
Suppose 40 = 7*k + 5. Suppose -n - k*c = n + 969, -c = -n - 488. Let d = n - -731. Does 42 divide d?
False
Let r be 32/(-176) + (-6606)/(-33). Suppose -743*h + 739*h + r = 0. Is h a multiple of 9?
False
Suppose 17*x - 20*x = 21, -3*r + 2*x + 7016 = 0. Does 3 divide r?
True
Let y be (3/2)/(12/344). Let u = -40 + y. Suppose -3*l = -8*l - 3*t + 116, -u*l + 2*t = -81. Is l a multiple of 20?
False
Let g = 349 - 343. Let j(i) = 5*i**3 - 8*i**2 + 3*i - 13. Is j(g) a multiple of 21?
False
Let w be (-10)/(1 + -3 + 1). Let m = 2512 + -2510. Suppose -i - w = -m*i. Is i a multiple of 7?
False
Let q = -29 - 88. Is 26 a factor of q/(124/(-16) + 7)?
True
Let y = -6 - 29. Let d be 2 + y/15 - (-3)/9. Suppose 4*v - 3*l = 756, d*l - 580 = -3*v - l. Is 48 a factor of v?
True
Let j(p) = p - 16. Let r be j(5). Let k(q) = 2*q + 16. Let v be k(r). Does 15 divide ((-2)/v*-2)/((-2)/72)?
False
Let t = -182 + 1102. Suppose -11*p = -719 - t. Does 2 divide p?
False
Let s = 63719 - 42299. Suppose -s = -26*q + 5*q. Is 11 a factor of q?
False
Suppose -s + 882 = 2*a - 749, -1633 = -s - a. Is s a multiple of 9?
False
Is 33 a factor of (-3)/(-4) + (-1473710)/(-280)?
False
Suppose 22*z + 12*z - 15166 - 5030 = 0. Is 2 a factor of z?
True
Let x(o) = -o**3 + 6 + 27*o + 8 - 15*o**2 - 9 - 1. Does 35 divide x(-18)?
True
Let p = -396 + 404. Is 69 a factor of 2175/p - -4 - (-1)/8?
True
Suppose -4*d + 261 = 25. Suppose -d*l + 1224 = -50*l. Is 34 a factor of l?
True
Suppose 0 = -168*l + 396389 + 2220379. Is l a multiple of 177?
True
Let d be (6/(-12))/((-2)/40). Suppose 0 = -d*r + 662 + 328. Does 9 divide r?
True
Suppose 0 = 8*b - 7*b + 4*o + 36, 84 = -2*b - 2*o. Is (4/(-1))/((b/82)/11) a multiple of 8?
False
Let b(f) = -5*f**3 + 20*f**2 - 25*f + 79. Let y(c) = 3*c**3 - 10*c**2 + 12*c - 40. Let v(n) = -4*b(n) - 7*y(n). Does 15 divide v(-13)?
False
Is 28 a factor of ((-33)/88*-8764)/((-39)/24 - -2)?
True
Suppose 7*g + 26 = 75. Suppose 0 = 5*m - 12*t + g*t - 145, 4*m = t + 104. Is 13 a factor of m?
False
Suppose -5747 = -3*x + 5*m, 4*m - 1110 = -4*x + 6510. Does 23 divide x?
True
Let z(x) = 19*x - 1. Let c(r) = 17*r - 2. Let g(k) = -5*c(k) + 4*z(k). Does 3 divide g(-7)?
True
Suppose -t = 2 - 7. Suppose f - 4 = -4*d, 3*d - d - 24 = t*f. Let z = 5 + d. Is z a multiple of 3?
False
Let g = -247 + 92. Let f = 355 + g. Is 7 a factor of f?
False
Let o(g) = 559*g**2 - 370*g + 73. Is o(-9) a multiple of 163?
False
Suppose -4*s = 2*r - 17 + 1, -4*r + 4*s + 8 = 0. Suppose -