2 = -2*t - 52. Suppose -2*p = 5*p - t. Let c = p - -13. Is 53 a factor of c?
True
Let i = 552 - -1545. Is i a multiple of 15?
False
Suppose 0 = 5*k + 5*a + 8 - 3, -4*k - 2*a - 2 = 0. Suppose -r - 2*m + 6 = k, -4*m + 4 + 0 = -2*r. Suppose 0 = -f, -r*f = -2*z + 176 + 120. Does 26 divide z?
False
Suppose 15*q - 18*q = -2*f + 9883, 3*q + f = -9868. Let b = q - -4661. Is b a multiple of 59?
False
Let q be 1/(-3*6/36). Is ((-1)/3)/(q/162) a multiple of 13?
False
Is 63 a factor of (-1 + -117)/(6885/3468 + 1*-2)?
False
Suppose 654 = -7*y + 8*y. Let x = 979 - y. Is x a multiple of 13?
True
Suppose 0 = 52*r - 49*r - 90. Suppose -r*o + 2618 = -23*o. Is 22 a factor of o?
True
Let z = 465 + -334. Suppose 8*w + z - 339 = 0. Does 2 divide w?
True
Let j be 12/7*(-7)/(-2) + -2. Suppose -j*x - 6 = -3*x. Is 18 a factor of (-10)/60 - 217/x?
True
Suppose 0 = -g + 1, -4*s + 8*s - 2*g - 4798 = 0. Does 4 divide s?
True
Suppose -2*z = -4097 + 1397. Does 2 divide 2/(-7) - z/(-70)?
False
Does 23 divide (-91539)/(-35) - (-48)/(-120)?
False
Is 87 a factor of 2 - (8 + -3) - (-24 - 2241)?
True
Let r be 1/2 + 1*3/(-2). Let u be (-10)/(-35) + r + 15/21. Suppose -6*a + 121 = -3*a + 4*n, -2*a - 4*n + 82 = u. Is a a multiple of 13?
True
Suppose 8*l - 28102 + 5870 = 0. Is l a multiple of 39?
False
Let h(j) = 8*j**2 - 42*j - 291. Does 7 divide h(29)?
False
Let f(h) = 157*h**2 + 20*h + 158. Is 33 a factor of f(-8)?
False
Let x be 9 + (7 - 4 - (-2)/(-1)). Let h be (-4)/20 + ((-212)/x)/(-1). Suppose -9*p + 8*p + h = 0. Is p a multiple of 5?
False
Let j(g) = 789*g**2 - 264*g - 9. Does 7 divide j(5)?
True
Let l(j) = -376*j**3 - j**2 + j - 2. Let r be l(-2). Let i be r/15*1/2. Suppose 65*c - i = 64*c. Is c a multiple of 20?
True
Let h = -983 - -2240. Suppose 12*q = 6951 + h. Is q a multiple of 17?
False
Let m(j) = j**2 + 18*j - 67. Let l(c) = -3*c**2 - 13*c + 9. Let p be l(-6). Let x be m(p). Does 23 divide ((-2)/x)/((-5)/(-230))?
True
Suppose -3 + 23 = 4*z. Suppose 0 = z*d - 192 + 72. Suppose 25*o - 128 = d*o. Does 10 divide o?
False
Does 35 divide 17/(833/484260) + (-36)/42?
False
Let n(p) = 4613*p - 4497. Does 18 divide n(3)?
True
Let a = -1703 + 3948. Suppose a = 2*h - 1265. Suppose -17*w = -8*w - h. Is 46 a factor of w?
False
Suppose -62*a - 15889 + 6174 = -298511. Does 7 divide a?
False
Suppose 5*n - 4*h = 104121, 2*n - 6*n + 83298 = -3*h. Is 53 a factor of n?
True
Let w(a) = a**3 + 3*a**2 - 3*a - 5. Let u be w(-5). Is u/(-60)*(221 + 1*-2) a multiple of 12?
False
Suppose j - 10 = r, 2*j + 5*r = 4*j - 23. Is (4 - 7)*(-2 - 336/j) a multiple of 11?
False
Let m(o) = -o**3 - o**2 + 2*o + 3. Let h be m(-2). Suppose h*c + q - 13 = -142, 5*q = 3*c + 111. Let f = c - -142. Is f a multiple of 25?
True
Let j(w) = -12*w + 4. Let c be j(1). Let d(b) = -b**2 - 8*b - 18. Let r be d(c). Is (-320)/r + 34/153 a multiple of 9?
True
Suppose 0 = k - 5*z + 47 - 421, 4*z = -3*k + 1084. Let n = -247 + k. Is 7 a factor of n?
False
Suppose 28 = -4*m + 4. Let s be (-195)/m*(-8)/(-5). Is 73/4 - 13/s a multiple of 9?
True
Let o = -667 + 668. Suppose 0 = 3*p + p + 8. Does 4 divide ((-87)/6 - o)*p?
False
Let s(w) = 36*w - 214. Let j be s(6). Let u(q) = -q**2 - 5*q + 6. Let h be u(-6). Suppose h = 3*a + 5 + 4, j*a = -z + 48. Is 6 a factor of z?
True
Let h = 54 + -50. Let p(a) = 3*a**3 - 5*a**2 + 6*a. Is p(h) a multiple of 5?
False
Let t(a) = 2*a + 7. Let k be t(0). Suppose -6 = 5*l - k*l. Suppose 0 = l*v - 984 + 156. Is 23 a factor of v?
True
Let k be -1 + 21/18 - (-471)/(-18). Does 20 divide k/234 + (-460)/(-9)?
False
Suppose -w - 13 - 11 = 0. Let h = w + 16. Is 17 a factor of (-2)/h - (-3384)/32?
False
Let s(o) = -1087*o - 160. Is s(-2) a multiple of 19?
True
Let c(w) = 6*w**2 - 5*w - 2. Let r be c(2). Suppose -546 = -14*y + r*y. Does 39 divide y?
True
Suppose -8*h + 2 = -7*h + m, -4*h + m + 8 = 0. Suppose 3*w - 4*t + 12 = -16, 4*w = h*t - 24. Let z(l) = l**2 - 2*l - 13. Is z(w) a multiple of 2?
False
Suppose 0 = 225*j - 248907 + 528154 - 2909047. Does 8 divide j?
True
Let b(c) = -11*c**2 - 13*c - 4. Let j(t) = 10*t**2 + 12*t + 3. Let a(z) = -5*b(z) - 6*j(z). Let p(q) = -q**2. Let s(n) = -a(n) + 4*p(n). Is s(-8) even?
True
Suppose 4*r - 37 = 5*d, 4*r - 2*d = 2*r + 16. Suppose v + 7*c + 3 = 5*c, -r*v - 5*c = 10. Is 18 a factor of 146 - (1/(-2) - v/2)?
True
Let g(w) = 3*w - 42. Let o(j) = 2*j - j - j**2 - 12 + 16 - 8*j. Let l be o(-4). Is 6 a factor of g(l)?
True
Let b(l) be the first derivative of -6*l**2 + 53*l + 113. Is b(-23) a multiple of 32?
False
Let t be 2/(-2)*(50 + -3). Let v = 53 + t. Let l(b) = 2*b**3 - 8*b**2 - 12. Does 33 divide l(v)?
True
Suppose 4*n = 512*y - 517*y + 39274, -5*y + 39271 = n. Is y a multiple of 34?
True
Is 88 a factor of ((-33)/9 - -2)*436/(-2)*24?
False
Suppose 3*s + 21*s - 243096 = 7464. Is 90 a factor of s?
True
Suppose -t + 2 = -2*p, -3*p = -2*t - 0*p + 3. Let x be 2/6*(-17 - t - -2). Is (x/(60/8))/((-8)/876) a multiple of 11?
False
Let c(t) = -t**3 + 17*t**2 - 37*t + 19. Let v be c(7). Let l be 4924/6 + (-4)/6. Suppose 5*y + v = l. Is 24 a factor of y?
False
Let c be (7/(-7))/((-16)/(-1104)). Let o(a) = -32*a - 9. Let i be o(-6). Let m = c + i. Does 19 divide m?
True
Let f(m) = 9*m + 84. Let q be f(-10). Let n(s) = -s**3 - 2*s**2 + 9*s - 18. Is n(q) a multiple of 43?
False
Let s be 217/((-21)/(-3)) - 8. Suppose -5*q + 5*r = -265, -s = -q + 3*r + 28. Is q a multiple of 20?
False
Let z(d) = -113*d + 2784. Is z(21) a multiple of 76?
False
Suppose 263*n + 15081 + 27108 = 270*n. Is 21 a factor of n?
True
Suppose b - 7 = w, b - 2*b - 4*w - 8 = 0. Let d(n) = -5 + n**3 + 1 + 3*n + 3 - 3*n**2. Is d(b) a multiple of 9?
True
Does 106 divide (58530/40)/(170/24 - 7)?
False
Suppose 4*q - 3*r = 669, q + 2*q - 498 = r. Is q a multiple of 11?
True
Let c = -2609 + 3608. Is 29 a factor of c?
False
Suppose 52 + 135 = -17*w. Let j(l) = l**2 + 13*l + 43. Is j(w) a multiple of 7?
True
Does 12 divide ((-96)/28)/((234/22477)/(-9))?
True
Let v(o) = -142*o + 12. Is v(-6) a multiple of 36?
True
Let w = 8 - -1. Let r be (-2)/w - ((-532)/(-36) + -1). Is -2 - -4 - (1 + r) a multiple of 6?
False
Does 146 divide (-840)/(-2730) - 121468/(-13)?
True
Let b be (-1)/4 + (-35)/20. Let d(v) = 41*v**2 + 1 - 3 - 10 - 3*v - 24*v**2. Is 7 a factor of d(b)?
False
Let l = 714 - 354. Suppose -116*d + 128*d = l. Is d a multiple of 3?
True
Let l = -194 - -283. Let y = l + -41. Is y a multiple of 2?
True
Suppose 0 = -13*g + 18*g - 10. Suppose h + 1 = g*d, -5*d + 20 = 3*h + 1. Is (-681)/(-15) - h/(-5) a multiple of 4?
False
Let u be -2 + (-681)/(-18) + 2/12. Suppose -71 = -5*z - u. Suppose -z*y + 792 = 2*y. Is y a multiple of 22?
True
Suppose 2*l - 6 = 3*l. Does 15 divide 20 + -5*l/(-6)?
True
Let m(u) = 4*u + 7 - 3405*u**2 - 2*u + 3448*u**2. Is m(3) a multiple of 14?
False
Suppose 3*d - 581 = -35. Suppose -4*k - o + 174 = -3*k, -5*o = k - d. Does 12 divide k?
False
Let v(x) be the first derivative of 4*x + 1/2*x**2 - 13 + 7/3*x**3. Does 10 divide v(-3)?
False
Suppose -5*t - 15*w = -17*w - 29260, -5*w = -4*t + 23408. Does 11 divide t?
True
Let h be 0/(-1) + (-15 - -12). Is 20 a factor of 432 + 1 + 6 + -9 - h?
False
Let s = 101 + -91. Is 2 a factor of (60/8)/(3 + s/(-4))?
False
Let a(t) = 2*t**3 + 13*t**2 - 11*t - 16. Let n be a(-7). Suppose 11704 = 31*c - n*c. Is c a multiple of 8?
True
Let q = -186 + 188. Suppose -a - a + 269 = 3*h, q*a - 4*h - 262 = 0. Is a a multiple of 13?
False
Let y(g) be the first derivative of -g**4/4 + 16*g**3/3 - 7*g**2 - 12*g - 24. Let b be y(15). Suppose -b*q = -260 - 175. Does 29 divide q?
True
Suppose 0 = 5*m, -8*j + 5*j - 5*m = -4422. Let q = j + -900. Does 82 divide q?
True
Let r = 227 + -224. Suppose -2*l + 86 = r*b, -12*l + 173 = -7*l - 3*b. Does 10 divide l?
False
Let r be (-4)/(-104)*-4 - 168/(-78). Let u = 3 + -1. Suppose 46 = 5*j - u*n, 0 = -3*j + r*n - 18 + 48. Does 3 divide j?
False
Let r(k) = 2*k + 0*k - 3*k + 26 - 11. Let z be r(7). Is 19 a factor of (-16)/(-10)*440/z?
False
Let b be 0/(1 + -5 + 0). Suppose b = 16*v - 20*v + 204. Is 1*(-15)/5 + v a multiple of 8?
True
Let w = -24 + 29. Suppose 0 = -w*z + 5*a + 50, -4*a = 4*z - a - 12. Suppose -17 = z*g - 83. Is g a multiple of 10?
False
Suppose 3*m = 5*j + 3453, 2366 - 300 = -3*j - 4*m. Let x = j + 1130. Is 11 a factor of x?
True