168, 4*z - 4620 = 3*p. Does 50 divide z?
False
Suppose 3 = 4*z + 3*d, 2*z + 4*d + 27 = 7*z. Suppose 4800 = 3*a + z*a. Suppose -32*f + 28*f = -a. Is f a multiple of 29?
False
Suppose -9224*a + 9239*a = 144480. Is a a multiple of 54?
False
Let k(o) = -o**3 - 16*o**2 - 37*o + 14. Let a be k(-17). Let g = a + -52. Suppose -4*f + g = 7*f. Does 8 divide f?
True
Let w = 14930 - 7850. Is 40 a factor of w?
True
Let i(z) = 1162*z**2 - 2280*z + 2. Is i(-4) a multiple of 33?
False
Let d = -161 - -83. Let t = d - -114. Let j = t + -30. Is j even?
True
Suppose 8*v - 2 = 6*v. Let c be (-1224)/(-45) - v/5. Is (18/c)/((8/18)/2) a multiple of 2?
False
Let b(a) = -3*a - 9. Let s be b(-6). Let w be ((-15)/(-6) - -2)/(s/18). Let m(q) = 2*q**2 - 4*q - 6. Is m(w) a multiple of 12?
True
Suppose 19*b - 4 = 17*b. Does 21 divide (81 + -3175)*(-1)/b?
False
Let s(t) be the second derivative of t**5/20 + 7*t**4/12 + t**3/2 - 9*t**2/2 + 22*t. Let j be s(-6). Suppose 6*u + 245 = j*u + 5*l, 5*l = -25. Does 10 divide u?
True
Let u = -756 - -1456. Let l = u + -598. Is 7 a factor of l?
False
Let s = 74 + 61. Let d = -131 + s. Suppose -d*f + 354 + 618 = 0. Is 23 a factor of f?
False
Let f(r) = 1452*r**2 - 6*r - 4. Suppose -5*a + n - 16 = -n, -4*a + 5*n = 23. Let u be f(a). Suppose 0 = 23*m - 118 - u. Is m a multiple of 13?
False
Let z = 1001 - -3679. Suppose -14*b - 1572 + z = 0. Is b a multiple of 5?
False
Suppose 18*a = 144*a - a - 1077875. Does 10 divide a?
False
Suppose -3922 - 16550 = -18*z + 94620. Is z a multiple of 7?
False
Suppose 7*c = 5*k - 0*k + 11, 0 = -c - 2. Let s(i) = -i**2 + 11*i - 8. Let r be s(10). Is (790/k)/r*(-3 - 0) a multiple of 26?
False
Is 5 a factor of (5 + -6 - 45/(-21)) + (-48800)/(-224)?
False
Suppose 11*l - 118 = 3. Suppose 2*q + 6 = -2*m, l = -2*m - 4*q + 1. Let k = 18 - m. Does 2 divide k?
False
Suppose 15*d = 445725 - 70454 + 209324. Is 85 a factor of d?
False
Let s = 1294 - 302. Does 43 divide s?
False
Let c be 0/(-6) - (-2336)/((-20)/5). Let q = 640 + c. Is q a multiple of 7?
True
Let m(r) = 10369*r + 119. Is 76 a factor of m(1)?
True
Let h(a) = 3*a - 2. Let b be h(-1). Let s be -2 + (20/b - -8). Is 17 a factor of -9*s/3*-4?
False
Let s(q) = -13*q - 2 + 9 - 17. Let d be s(-8). Suppose 3*m = 2*a + m - d, -5*m - 141 = -3*a. Is a a multiple of 14?
False
Let w(l) = -l**2 + 29*l - 21. Suppose 184 = 3*c - 2*c - r, -c = -5*r - 200. Suppose -11*f = f - c. Does 21 divide w(f)?
True
Let w be -136*(30/(-18) + (-1)/3). Let z = -36 - 12. Let j = w + z. Does 32 divide j?
True
Let g be (2 - (2 - 2))*(-225610)/(-220). Let z = 3635 - g. Is 37 a factor of z?
False
Let v(b) = -12 - 19*b + 25 - 52 + 5*b**2. Does 2 divide v(-2)?
False
Suppose 3*o - 5*o - 14456 = -2*n, 30 = 5*o. Is 19 a factor of n?
False
Suppose 6 = 3*i - 3*f + 7*f, -3*i = 5*f - 6. Let o be ((-102)/4)/(i/(-8)). Suppose h = o - 15. Is 32 a factor of h?
False
Let z(w) be the first derivative of -3*w**2 - 29*w - 1. Let s be (-29)/(609/(-84)) - (-1)/(2/(-50)). Is 19 a factor of z(s)?
False
Let s(t) = -t**3 + 12*t**2 - 4*t + 18. Let k = 202 + -191. Is s(k) a multiple of 13?
False
Does 11 divide (-4 - -2) + (2458 - -85)?
True
Suppose -4*l = -19*l + 11805. Let o = l - 317. Is 47 a factor of o?
True
Let q(l) = -l**2 - 8*l - 8. Let f be q(-5). Let m(p) = p - 3. Let t be m(f). Suppose t*n = -361 + 993. Is 24 a factor of n?
False
Let h = -281 + 1671. Let w = -678 + h. Is w a multiple of 25?
False
Suppose 5*t - 27 = -3*l, -2*l + 0 = 2. Let m be (2 + 1)*4/t. Does 22 divide (164/(-6))/(m/(-3))?
False
Let d(c) = -2*c**3 + 73*c**2 + 400*c + 15. Does 45 divide d(-6)?
True
Suppose -3*w + 4*p = -6328, -p - 42 = -41. Suppose -w = 12*s - 6824. Is s a multiple of 15?
False
Let d = 2065 - -288. Is 78 a factor of d?
False
Let p = -5834 - -6397. Is p a multiple of 2?
False
Suppose -1581120 + 11679284 = 645*d - 6423511. Is 140 a factor of d?
False
Suppose -1101*z + 12172 + 534244 = -1030*z. Is z a multiple of 16?
True
Suppose -s = 5*l - 2123, -23*s + 20*s + 6319 = 5*l. Does 79 divide s?
False
Does 63 divide ((-9)/4)/((-64)/307456)?
False
Suppose 2*c + 0*p - 2*p = 1122, -5*c + 4*p = -2804. Let d = c - 275. Suppose 4*r = -r + d. Is r a multiple of 21?
False
Suppose -1325041 = -325*u - 161541. Is u a multiple of 5?
True
Let v = 130 - 124. Suppose -513 = -v*x + 189. Is x a multiple of 9?
True
Suppose 18*h - 40528 = 113192. Is 82 a factor of h?
False
Let p(j) = -2*j**2 - j + 196. Let a be p(0). Suppose -l = -3*l - a. Is 25 a factor of 3 - (4 + l + -3)?
True
Suppose -18*p = 5465 - 25283. Does 46 divide p?
False
Suppose 2934*w - 24 = 2926*w. Suppose p = -5, 12 = -2*s - 0*s - 4*p. Suppose w*t + 132 = q, q = -s*q - 5*t + 760. Is q a multiple of 21?
True
Let t(k) = 7*k**2 + 329*k + 75. Does 200 divide t(-60)?
False
Let x = -97 + 122. Suppose 22*h - x*h = -102. Is 15 a factor of h?
False
Let k(m) = -m**3 - 9*m**2 - 11*m - 24. Let t be (-18)/117 - 102/13. Let s be k(t). Suppose 10*f - 25*f + 750 = s. Is f a multiple of 3?
False
Let o(t) = -104*t + 490. Let m(l) = -52*l + 245. Let i(w) = 5*m(w) - 3*o(w). Is 57 a factor of i(8)?
True
Suppose 8*n + 8*n + 1008 = 0. Does 42 divide n/(-84) + 3690/8?
True
Suppose 5*s = -2*b + 24 - 0, b - 2*s = -6. Suppose -4*m = -7*m + 12, 3*j = -b*m + 119. Does 37 divide j?
True
Suppose 115*h = 109*h + 2592. Is 4 a factor of h?
True
Does 184 divide (56/(-112))/(0 + 7037/(-3518) + 2)?
False
Let w(q) = -q**2 + 6*q + 9. Let h be -1*(5 - 4)*-7. Let i be w(h). Is (-2 + 49/i)/(5/10) a multiple of 15?
True
Let d(g) = 18*g**2 + 30*g + 40. Let h(x) = 12*x**2 + 20*x + 27. Let f(r) = -5*d(r) + 8*h(r). Is f(8) a multiple of 60?
True
Suppose -2*f + 456 = -5*v + 2011, -628 = -2*v + 2*f. Let a = 552 - v. Is 9 a factor of a?
True
Suppose -16 = 7*p + 89. Let q be (((-6)/(-4))/1)/(p/(-30)). Suppose -2*j + 208 = 2*r - 0*r, -307 = -q*j - 4*r. Is 21 a factor of j?
False
Let m(w) = -44*w - 7. Let s = -67 - -73. Suppose -s*z - 30 = 4*z. Does 25 divide m(z)?
True
Let g = -80 + 127. Let j = g + 18. Is 10 a factor of j?
False
Suppose 0*y + 11*y = 4234 + 221. Is y a multiple of 45?
True
Let c(p) = 8*p**2 - 3*p + 2 + p**3 + 5*p**2 - p**2. Let h be c(-11). Does 3 divide (-2)/3*(0 - h/8)?
False
Let l = 122 - 123. Does 17 divide 187 + (-7)/(-7) + l?
True
Let h be (-396)/15 + 2/5. Let z = h - -61. Let a = -16 + z. Is 19 a factor of a?
True
Suppose v + 5*r = 22, 5*v + 2*r = 18 + 23. Suppose -v*t = -2*t. Suppose y + t*y - 110 = 0. Is 22 a factor of y?
True
Suppose 49*m - 46*m - 2*w - 14262 = 0, w = -3*m + 14253. Does 132 divide m?
True
Suppose 6*i = 350 - 3288 + 28678. Is i a multiple of 15?
True
Let b be 210/14*(-130)/(-2). Suppose -3*k + 128 = 4*m - b, -5*m - 743 = -2*k. Is k a multiple of 41?
True
Let l(d) be the second derivative of -d**3/6 + 13*d. Let g be l(-5). Suppose 0 = g*i - 388 + 63. Does 13 divide i?
True
Is 35 a factor of (1 - -412)/((-444)/(-4440))?
True
Suppose 0 = -2*t + 33*t - 248. Let z(m) = m**2 - 8*m - 11. Let r be z(-5). Let n = r - t. Does 18 divide n?
False
Let p = -660 + 676. Suppose -p*y = -707 - 17213. Is 28 a factor of y?
True
Suppose -287 = -c - m, -4*c = 3*m - 496 - 653. Is c a multiple of 8?
True
Suppose 5*r - 2316 = -r. Let u = 680 - r. Is 39 a factor of u?
False
Suppose -3*u + 4*m - 6 = -154, 0 = -4*u + 3*m + 188. Does 4 divide u?
True
Suppose 6*i - 396 = -12*i. Does 8 divide 277 - i - (-1 + 0)?
True
Let v = 20 - 15. Suppose -4*n = 3*i - 0*i - 663, -3*n + 519 = -v*i. Is 21 a factor of n?
True
Suppose 2145*k = 2116*k + 60900. Does 6 divide k?
True
Let a = -195 - -572. Let t = 595 - a. Does 8 divide t?
False
Let w(g) = -g**3 + 3*g**2 + 15*g + 15. Let b be w(-2). Suppose 62*n + 25 = 64*n + b*z, -3*z + 13 = n. Is n a multiple of 10?
True
Suppose 10 = 5*q + 55. Let h be 56/(10 - 18) + 2 + 3 - -4. Does 8 divide 51/h*(-6)/q?
False
Suppose 0 = 8*i + 8*i + 256. Is (-6)/i + (-3674)/(-16) a multiple of 71?
False
Let m(j) = j**2 + j - 171. Let n be (-2 - 3) + 7 + -2. Let a be m(n). Let g = a - -395. Does 14 divide g?
True
Is 162/(-9)*(-86 - -17) a multiple of 6?
True
Let n(i) = -7*i**3 - 31*i**2 - 332*i - 181. Is 19 a factor of n(-15)?
False
Let n be ((-5)/(-2))/((-65)/(-104)). Suppose 2*t + 1992 = n*y, -5*y + y - 2*t + 2008 = 0. Is y a multiple of 20?
True
Let a be (1*(-5)/10)/(2/(-212)). Let t(h) = h + 17. Let j b