2 = -1310. Does 14 divide h?
True
Let i be 364 + (-8)/(-4) + 1 - -3. Suppose i = 6*v + 88. Is 3 a factor of v?
False
Suppose 173*p - 109255 = 1287028. Does 88 divide p?
False
Suppose -21 = -4*z - 5. Suppose -t + 6*t = -5*m + 530, z*t = -5*m + 528. Is m a multiple of 8?
True
Let c = -62 - -11. Let i be c/(-9) + ((-33)/9 - -3). Suppose -27 + 67 = i*z. Is z a multiple of 4?
True
Suppose -v + 6*v + 5*z = 2340, -466 = -v - 2*z. Suppose 5*r - 775 = v. Is r a multiple of 28?
False
Let k(w) = -61*w + 426. Let b be k(7). Is 78 a factor of 7/b + 821 + 5?
False
Let z = 323 + -171. Is (z/(-10))/(32/(-80)) a multiple of 4?
False
Is 2/13 + (-3)/4 + 39529/364 a multiple of 2?
True
Let h(g) = g**2 - 4*g + 3. Let d be h(0). Suppose -i + 2*n = d, n = -2*i - i - 9. Is 15 a factor of 90 - (i/2 - 80/(-32))?
False
Suppose -51*k + 25 = 4*t - 48*k, -t + 1 = -k. Suppose 5*p + 6*d = 2*d + 3608, -p - t*d + 728 = 0. Is p a multiple of 20?
True
Suppose -131 = -2*k + k. Let s = 176 - k. Is s a multiple of 2?
False
Let j(i) = -6*i - 36. Let o be 108/(0 + (1 - 0)). Suppose -p = 3*p + o. Does 14 divide j(p)?
True
Let t = 870 - -1653. Suppose 0 = 78*j - 75*j - t. Does 21 divide j?
False
Suppose 60*d - 17486 = -3*r + 55*d, 5*r - 29154 = -3*d. Is r a multiple of 24?
True
Let q = -467 - -213. Let k = -217 - q. Is k a multiple of 5?
False
Let m be 2/(6/12 + 13/(-18)). Let d be (-8)/(-36) + 20/m - -10. Suppose d*c - 2240 = -2*c. Is c a multiple of 17?
False
Let f(u) = -u**3 - u**2 + 2*u - 5. Let h be f(0). Let s be (-237)/1*(25/h)/15. Suppose -5*v + 4*q + 126 = -s, 4*q = -v + 41. Is 5 a factor of v?
False
Let c = -1148 - -2552. Suppose -66 - c = -5*v. Is v a multiple of 49?
True
Suppose 4*n = 84 + 168. Suppose -56*a - 168 = -n*a. Does 4 divide a?
True
Let w be 13/(-26) + (-174)/(-4). Suppose 42*q - w*q + 222 = 0. Is q a multiple of 25?
False
Let l(s) = -4*s - 1045. Let p be l(0). Let t = -745 - p. Is t a multiple of 11?
False
Let b(h) = 5*h - 30. Let z(r) = -r + 1. Let l(a) = b(a) + 6*z(a). Let u be l(9). Does 14 divide 2/3*u*-1?
False
Does 8 divide -1 - 566823/(-25) - ((-77064)/1425 - -54)?
True
Is 29 a factor of ((-94)/(-1) + -1)*((-1905)/(-45) + 6)?
True
Suppose 0 = -4*s + x + 40720 + 29674, 4*s - 5*x - 70370 = 0. Is s a multiple of 149?
False
Let t(y) = 5*y + 7 - 11 - 6 - 8. Let q be t(5). Let g(k) = 13*k - 13. Is g(q) a multiple of 16?
False
Let k(v) = -2. Let i(u) = -5*u - 295. Let p(w) = -i(w) + 25*k(w). Does 47 divide p(45)?
True
Let h be ((24/3)/1)/2. Suppose h*o - 1696 = -5*i, -23*i - 3*o - 1668 = -28*i. Does 16 divide i?
True
Let o(p) = 2*p**2 + 25*p + 32. Let m be o(-11). Let x(i) = 1113*i**2 + 6*i - 2. Is 47 a factor of x(m)?
False
Let a = 1 - 3. Let t be (-16)/4 - -8 - (0 + a). Suppose -t*j + 81 + 93 = 0. Is j a multiple of 2?
False
Let b(i) = -4*i**3 + 3*i**2 - 8*i - 11. Let w be b(-4). Suppose 22*g - w = 17*g. Is g a multiple of 10?
False
Suppose 122*c - 117*c = 570. Let w = c + 17. Is 12 a factor of w?
False
Suppose 3*o + 13 = -2*d, 0 = -d - 4*o - 24 + 5. Suppose -d - 4 = -w, 3*w = 3*c - 2268. Is 24 a factor of c?
False
Suppose 0 = 8*v + 296 - 6024. Let y = 427 + v. Is 1/(6/y*3/2) a multiple of 23?
False
Suppose -39*o + 90 = -45*o. Is 10 a factor of o/(-4)*744/9?
True
Suppose 28153 = 34*i - 31*i + 1786. Is i a multiple of 187?
True
Let q = -253 - -189. Let t = -17 - q. Is 11 a factor of t?
False
Is (1352/78 + -17)*(-1134)/(-2) a multiple of 21?
True
Let q(p) = -24*p + 132*p + 3 + 25*p. Let o be q(1). Let m = o - 60. Does 19 divide m?
True
Suppose 2*f = f - 3, -141 = -3*c - 3*f. Let z(w) = -58*w - 639. Let g be z(-11). Does 45 divide g/((-11)/2477) + c/(-275)?
True
Suppose -x - s + 136 = 0, 0 = -4*x + 4*s + 162 + 366. Suppose 3*p + 2*n = -2*n + x, 0 = -2*p - 5*n + 101. Does 2 divide p?
True
Let w be ((-18)/(-1))/((112/12)/14). Let g = w + 3. Is g a multiple of 6?
True
Suppose d = 3*o - 323, 4*d + 399 + 137 = 5*o. Let j = -30 + o. Suppose j = r - i, r + 5*i - 36 = 36. Is 9 a factor of r?
False
Let u(s) = 3*s - 22. Let f be u(-10). Let v = f - -57. Suppose -45 = -7*d + v*d + 5*i, i - 57 = -4*d. Does 3 divide d?
True
Suppose 51*f = 54*f - 15876. Is 126 a factor of f?
True
Suppose 0 = -80*n - 67*n + 2788884. Is 186 a factor of n?
True
Suppose -4*o = o - 10. Suppose h = -5*u - 1009, 5*u - h + 607 = o*u. Let c = 312 + u. Does 10 divide c?
True
Is -5*((-10543)/65 - -2) a multiple of 89?
True
Suppose 5*o - 4*g - 22 = -0*g, 0 = -5*o + g + 13. Suppose -67 = o*s + d - 358, 4*d + 708 = 5*s. Is s a multiple of 18?
True
Let t(n) = 2*n**3 - 5*n**2 + 143*n - 21. Does 38 divide t(19)?
False
Let c = 304 + -303. Suppose y + 2 = -c, p - 4*y = 344. Is 24 a factor of p?
False
Let z be 4 - (-30)/(-7) - (-4)/14. Suppose x - 3*x + 722 = z. Suppose -89 = -5*v + x. Is v a multiple of 18?
True
Suppose 161 = -4*m - 4*c - 187, -5*m - 429 = 3*c. Let s = m + 136. Is 26 a factor of s?
True
Let l(j) = j**3 - 3*j**2 + 3*j. Let q be l(2). Let t(p) = -693*p + 366*p + 348*p + 2. Does 12 divide t(q)?
False
Let k be -2 + 20 - -1 - -2. Suppose -5*s = -4*l - k, -7*l - 8 = -2*s - 5*l. Suppose -s*h = 198 - 948. Is h a multiple of 18?
False
Let s(a) = -44849*a**3 + 21*a**2 + 12*a - 11. Is 25 a factor of s(-1)?
False
Let g(b) = -b**2 + 19*b - 20. Let s be g(20). Let m = s + 45. Suppose -725 = -5*n - 0*v + m*v, 3*n - 435 = v. Does 29 divide n?
True
Suppose 3*v = -259*f + 263*f - 6646, -5*f - 2*v = -8342. Is f a multiple of 115?
False
Suppose 4*q - 5 = 11. Let w = 230 + -32. Suppose 110 = q*f - w. Is f a multiple of 11?
True
Let s be (-235)/(-4) - (-1)/4. Let d = s - 61. Is (330/(-4))/(1/d) a multiple of 15?
True
Let t(q) = 350*q + 1992. Does 46 divide t(11)?
True
Does 2 divide (48/(-48))/((7 - 4)/(-5928))?
True
Let a(f) be the second derivative of 5*f**3 - 128*f**2 + 176*f. Is a(23) a multiple of 21?
False
Let d be -2 - (-6 + -4 + -1224). Suppose -3*t + 343 = -d. Is 25 a factor of t?
True
Suppose -816 = -2*a - 844. Let f(i) = 6*i + 156. Does 9 divide f(a)?
True
Let g = -22 - -24. Suppose 3*r + 3*j = -2*j - 25, -5*r + g*j + 10 = 0. Suppose 3*f - 76 = -r*v - 4*v, 0 = 4*f - 2*v - 94. Is 2 a factor of f?
True
Let w(n) = -11*n**2 - 81*n + 459. Let b be w(5). Let v = -331 - -222. Let g = v - b. Is g a multiple of 14?
True
Is 3480*(-31 + 26)*(-2)/5 a multiple of 60?
True
Let i(j) = j**3 - 5*j**2 + 4*j. Let b be i(3). Let q(p) = 565*p - 25. Let z be q(4). Is (2 + 0)/((-5)/(z/b)) a multiple of 26?
False
Let c be ((1 - 7) + 3)/(-1*1). Suppose -7*z + 4*r - 8 = -8*z, c*z = -3*r + 15. Suppose 65 = z*o - 535. Is o a multiple of 33?
False
Let u(p) = 12*p + 40. Let f be u(-10). Is 25 a factor of 1 - (37136/f - (-1)/5)?
False
Let c = -144 - -148. Let n = c - -32. Does 36 divide n?
True
Suppose 0 = o - 5*u + 48, 5*o + 113 = -2*u - 19. Let m = -133 + 112. Let g = m - o. Is g a multiple of 2?
False
Is (((-4740)/16)/(-15))/(3/1056*4) even?
True
Suppose 2*r = -4*o + 13524, -3*r - 3388 = o - 2*o. Is o a multiple of 53?
False
Let x be (-6 + 7)*-2 - -376. Let k = x - 88. Does 10 divide k?
False
Suppose -7*i = 4*i. Does 21 divide (i - 63)*4/(-6)?
True
Let j be (-518)/(-98) - (-2)/(-7). Suppose -s - 293 - 67 = -j*b, b = 5*s + 72. Does 8 divide b?
True
Let g(m) be the first derivative of 41*m**4/4 - m**3/3 - 5*m**2/2 + 2*m - 3. Let q be g(2). Let d = q + -138. Does 38 divide d?
False
Suppose 2*y + 1545 = 13245. Suppose 0 = -2*n + 17*n - y. Does 30 divide n?
True
Let n = -1212 - -4996. Does 8 divide n?
True
Let z = -28113 - -33509. Does 6 divide z?
False
Suppose -2 = -j - 2*y, 2*j + 5 = 6*j + 5*y. Suppose j = 6*o + o - 14. Suppose 5*q - o*u - 396 = -89, 5*q + 5*u = 300. Does 3 divide q?
False
Let d(f) = 95*f**3 + 45*f - 319. Does 17 divide d(6)?
False
Suppose -226073 = -54*v - 6*v + 725467. Is v a multiple of 34?
False
Let a(m) = -311*m - 70. Let h(z) = 465*z + 105. Let x(f) = -7*a(f) - 5*h(f). Is x(-1) a multiple of 16?
False
Let h = 4713 + -3774. Is 5 a factor of h?
False
Let o = 13 - 48. Is 23 a factor of ((-46)/(-4))/((o/(-42))/5)?
True
Let b(u) = -21*u**3 - 3*u**2 + 6*u + 17. Let h(f) = -108*f**3 - 16*f**2 + 30*f + 85. Let s(y) = 11*b(y) - 2*h(y). Does 11 divide s(-2)?
True
Let b(a) = -34*a - 129. Let i be b(-4). Suppose -17 = i*f - 962. Is f a multiple of 27?
True
Suppose -30 = 14*j - 17*j. Suppose -j = -4*a - a. Is (140/(-3))/(a