et z be i(-4). Suppose z = 2*y - 35. Does 11 divide y?
True
Suppose -9*i + 7*i + 94 = 0. Let x = -47 + i. Suppose 12*o - o - 319 = x. Does 5 divide o?
False
Suppose -3 = p - 2, 0 = -5*x - 5*p + 805. Suppose 54 + x = 2*f. Let g = f + -28. Is 20 a factor of g?
True
Let z(q) = q**2 - 8. Let b be z(0). Let x be -4 - b*4 - -5. Is (-2 - x*-3)*(-14 - -15) a multiple of 5?
False
Let t be (6 - 0) + (-20)/5. Suppose -t*u - u = -1662. Does 69 divide u?
False
Let r(p) be the second derivative of 23*p**3/3 - 183*p**2/2 + 2*p + 30. Is r(6) a multiple of 4?
False
Suppose -43528*g + 43534*g = 62136. Is 12 a factor of g?
True
Let a = -706 + 411. Let r(x) = 8*x**3 - 2*x**2 - 12*x - 15. Let k be r(4). Let g = a + k. Is 11 a factor of g?
False
Suppose -3*y + 0*d - 4*d = -105, -4*y + d + 140 = 0. Does 7 divide y?
True
Is 20/(-2)*(51/102 - (-60882)/(-20)) a multiple of 14?
True
Let g(y) be the first derivative of y**2/2 - 10*y - 22. Let h be g(13). Suppose 0 = -h*j - 2*j + 345. Does 17 divide j?
False
Suppose -m + 3*y = 0, -2*y + 5 = 3*y. Suppose m*v = -0*v + 21. Let u = v - -2. Is 5 a factor of u?
False
Let c = -53 - -64. Suppose -4*d - c*k + 2040 = -7*k, 0 = -2*d + 3*k + 1000. Does 22 divide d?
True
Is 11 a factor of (260/240 - (-1 - -2)) + 6934178/552?
True
Suppose -42*c + 37*c + 15 = 0. Suppose -6*x + q = -c*x - 13, 0 = 5*x + 2*q - 18. Suppose -w = -x, 0*b - 5*w - 668 = -2*b. Is 14 a factor of b?
False
Suppose 2*p + 2*s - 1016 = 0, -5*p + 8*p = 2*s + 1504. Does 10 divide (3 - -1)/(2 - p/255)?
True
Suppose -4*v - 608*a + 14594 = -611*a, 14600 = 4*v - 4*a. Does 5 divide v?
False
Is 28254/8 - (-30)/(-60)*(-3)/6 a multiple of 3?
False
Suppose 1596*p = 1599*p. Let g = 504 + 684. Suppose 2*q - 3*v = 468, 5*q - 3*v = -p*v + g. Is 16 a factor of q?
True
Let g = -144 - -145. Is 7 a factor of 10/g + 1 + (-4)/1?
True
Let s(t) = 37*t**2 - 254*t + 55. Does 99 divide s(22)?
True
Let p(k) = k**3 + 12*k**2 - 40*k + 32. Let o be p(-16). Let v = 48 - o. Does 40 divide v?
True
Let s(l) = l**2. Let t(o) = 5*o**2 + o - 8. Let z(r) = -4*s(r) + t(r). Let y be z(0). Let h = 0 - y. Is 3 a factor of h?
False
Let d(y) = 2*y**2 - 9*y + 14. Let c be d(3). Suppose c*a - 605 = -5*q + 1495, 0 = -4*q - 2*a + 1676. Is q a multiple of 38?
True
Let k = -2489 + 12137. Does 24 divide k?
True
Suppose 0 = -2*i - 5*x + 826 + 2019, -4245 = -3*i - 3*x. Suppose 90*p = 95*p - i. Does 6 divide p?
True
Suppose -a + 11921 = 2*n + 2*a, 3*n + 5*a - 17883 = 0. Suppose 0 = -4*m - l + n, -m + l = -2*m + 1492. Is 16 a factor of m?
True
Suppose 5*n + 3*c - 843 = 6761, 0 = 2*n + c - 3042. Suppose 5582 + n = 8*t. Is t a multiple of 37?
True
Suppose -3*l + 2790 = 7*s - 4*s, -s - 2 = 0. Suppose -4*y - 517 = -4*b + 715, -3*b = -y - l. Is b a multiple of 13?
True
Suppose -243 = 5*b - 8*b. Suppose -159 = -3*r + b. Is r a multiple of 40?
True
Is (-1 - 35238/6)/(1 + -2) a multiple of 18?
False
Suppose 4*i = -2*h - 1114, -3*i + 7*i + 1120 = 4*h. Let z = 573 + i. Does 14 divide z?
True
Does 59 divide (6/14 - 1414680/(-210)) + 3?
False
Is 11 a factor of ((-19503 - 0)*(-4)/(-30))/((-28)/70)?
True
Let s = 117 + -203. Let p = s + 156. Let m = p - 9. Is m a multiple of 5?
False
Is ((-144)/84)/((-24)/20048) a multiple of 179?
True
Suppose 2*k + 3*o - 3493 = 0, 8575 = 3*k - 3*o + 3283. Is k a multiple of 72?
False
Suppose 5*j = -2*j + 112. Let i be (0 - (-2 - -3)) + j. Let s = 7 + i. Is s a multiple of 18?
False
Suppose -10*v = -v - 4374. Suppose 23*l = 21*l + v. Is 27 a factor of l?
True
Let t = 11 + -18. Let s be 63/(-6)*60/9. Is 20 a factor of -2 + ((-102)/t)/((-10)/s)?
True
Let a be ((-4)/18)/((-7)/63). Let u be 0*(5/2 - 2). Suppose r - 2*b - 107 = u, -a*r - r = -5*b - 321. Does 20 divide r?
False
Is 143 a factor of -130*(1 - (3 - 496/(-5)))?
True
Suppose 73*u - 67*u = 840. Let v = 482 - u. Is v a multiple of 9?
True
Let b = -6124 + 8230. Is b a multiple of 3?
True
Suppose -1116*u + 1192*u - 742444 = 0. Does 24 divide u?
False
Suppose -16 = 4*k, 2*j - 10*k + 7*k = -12. Does 10 divide (-12204)/(-42) + j/21?
True
Suppose 299*g = 287*g + 314160. Is g a multiple of 41?
False
Let z(y) = y**2 + 2*y + 4. Let o be z(-8). Let r be o/(-182)*14*2/(-2). Suppose -11*q = -r*q - 357. Does 7 divide q?
False
Let m = -32 + 167. Suppose -8*h - h + m = 0. Suppose 17*v = h*v + 52. Is 13 a factor of v?
True
Let u = -15 + 1. Let t be 1/(-2)*(-3)/((-3)/u). Suppose 36 = t*s - s. Does 2 divide s?
True
Let l(f) be the second derivative of 5*f**4/12 + f**3/6 - 3*f**2/2 - 1944*f + 4. Let a(s) = s**2 + 5*s - 1. Let b be a(-4). Does 9 divide l(b)?
True
Does 34 divide 24177/13 - (-267)/1157?
False
Is 35 a factor of (38/38)/((-2)/(-22120))?
True
Suppose -8*t + 9759 + 10352 = -5241. Is t a multiple of 16?
False
Let r(d) = 13*d**2 + 53*d + 80. Let u(c) = 24*c**2 + 106*c + 159. Let g(a) = 11*r(a) - 6*u(a). Is 62 a factor of g(-15)?
True
Suppose 0*m + 48 = 2*m. Suppose 4*v = m - 4. Suppose -4*n + 4*l = -v*n + 14, 4*n = -4*l + 32. Is 6 a factor of n?
True
Let o(l) = l**3 + 5*l**2 + 4*l - 3. Let t be o(-4). Is 8 a factor of -1 + 82 + (-9 - t)?
False
Let m = -70 + 76. Let r be (3/m)/(((-15)/(-5))/426). Suppose -6*f = 2*t - f - 10, -5*t = f - r. Does 7 divide t?
False
Let m = 7057 - -21090. Is m a multiple of 101?
False
Let z = 18 - -52. Does 22 divide (z/(-15))/(2/(-84))?
False
Let h = -70 - -67. Let j be (-30*h/6)/(-1). Is 11 a factor of (-2 - j)*7*(0 - -1)?
False
Let z(d) = -6*d + 25. Let t(m) = m + 1. Let w = 100 + -113. Let p be t(w). Is 9 a factor of z(p)?
False
Let a = 220 + -217. Suppose 6 = -3*b, 3*d + a*b = 8*d - 1566. Does 25 divide d?
False
Let f(h) = 8*h**2 + 35*h - 730. Is f(-23) a multiple of 25?
False
Suppose 0 = -2*c + 38 + 28. Suppose 1741 = 55*z - 2054. Let y = z - c. Is y a multiple of 36?
True
Let p(t) = -12*t + 4 + t**3 - 17*t**2 - 15*t**2 + 28*t**2 + 1. Let x be p(6). Suppose 835 = x*m + 5*o, 2*m + 3*o - 329 = -0*m. Is m a multiple of 12?
False
Suppose 2*z - 125 = 275. Suppose 0 = 2*q + 2 - 6. Suppose 3*s = -2*k + 135, -q*s + z = 3*k + 3*s. Does 11 divide k?
False
Let v(a) = -a**3 + 4*a**2 + 3. Let r be v(4). Let n(p) = -6*p - 8. Let s(u) = 4*u - 1. Let d(y) = 2*n(y) + 6*s(y). Is d(r) a multiple of 3?
False
Let m(d) = -13*d + 3075. Is 15 a factor of m(0)?
True
Let k = -1464 - -2983. Suppose 0 = 6*w - k + 109. Is w even?
False
Suppose 3*x = 3*r - 91335, -2694*r + 2691*r - 3*x = -91365. Is 46 a factor of r?
False
Suppose -5*p - 30 = -5*q, -3 = -3*q - q - 3*p. Let l be (4 + 67/q)*15. Suppose o + 24 = -2*c + 278, l = 3*c + 5*o. Is c a multiple of 25?
True
Let x = 24742 + -5128. Does 42 divide x?
True
Let k = -29 - -30. Let h(y) be the first derivative of 217*y**2/2 + 5*y - 11. Is 8 a factor of h(k)?
False
Let z(q) = 5*q + 31*q**3 - 26 - 2*q + 29. Let g be z(-1). Let b = 82 + g. Is 44 a factor of b?
False
Let k = 198 - 198. Suppose k = -6*y + y + 2*o + 474, 2*y + o - 195 = 0. Is y a multiple of 8?
True
Let x be ((-38)/(-6) - 10)/(2/18). Let j(k) = -k**3 - 35*k**2 - 68*k + 77. Does 17 divide j(x)?
False
Let t(x) = -23 + 31*x + 0 - 14*x + 41*x. Let n be t(18). Suppose n = 11*d - 211. Is 28 a factor of d?
True
Let f(q) = 4*q**2 - 4*q - 3. Let g be f(-1). Is 188/20 + 1/g*-2 even?
False
Let p be (-2)/(-4) - 5/(30/(-6357)). Suppose -6*g + 7*g - 5*t - 271 = 0, 4*g + 4*t = p. Is g a multiple of 14?
True
Let v be 0 + 5 + -1 + -2. Let r be 4/8*4/v. Suppose -4*k + 2*f = -56, 2*k = 4*f - r + 29. Is 4 a factor of k?
False
Let u = -14 - 641. Let y = 917 + u. Is y a multiple of 5?
False
Let t = -12991 + 20423. Does 10 divide t?
False
Suppose 3*i - 2*i - 5*d + 13 = 0, -5*i + 16 = 2*d. Suppose -5*k - 26 = -4*o, 7 + 9 = 5*o + i*k. Is 73/o - (-1)/4*-1 a multiple of 2?
True
Let t(h) = 180*h + 74 - 60*h - 64*h - 60*h. Is t(-10) a multiple of 38?
True
Let s(r) = -r**2 - 9*r - 15. Let z be s(-3). Let q be 60/10 - ((3 - 5) + z). Let o(h) = 11*h**2 - 9*h - 5. Is o(q) a multiple of 9?
True
Does 92 divide 8 - (-20317 - (-21)/(-3))?
True
Suppose 0 = -9*b - 63 + 72. Suppose -z + b = -27. Is z even?
True
Suppose -3*k = -4*g + 642 + 792, 1084 = 3*g + 2*k. Let y = 544 + g. Is 49 a factor of y?
False
Let y(z) = -5*z**3 - 26*z**2 - 39*z - 26. Is 3 a factor of y(-6)?
False
Let c(n) = n**3 - 2*n**2 + n + 6. Let s(v) = -v**3 - 15*v**2 - v - 10. Let p be s(-15). Let t be c(p). Suppos