ose -3*s + 5 + 7 = -4*o, 2*s - 4*o = x. Suppose -t + 47 = r - s, r + 93 = 2*t. Is 6 a factor of t?
True
Suppose -10*d - 13 = -2*d - 53. Let g(r) be the first derivative of 2*r**3 + r**2/2 - 11*r - 1. Is 16 a factor of g(d)?
True
Let u(o) = -o + 7. Let y be u(0). Suppose 15 = 5*k, 0 = -y*m + 2*m + k + 377. Suppose -3*q = m - 265. Is q a multiple of 15?
False
Let s(i) = 2*i**3 + i**2 - i + 1. Let l be s(1). Let c(j) = 8*j. Let u(n) = -7*n + 1. Let r(v) = l*u(v) + 2*c(v). Is r(0) a multiple of 3?
True
Is 20 a factor of 248/6*6642/328?
False
Let s(j) = -222*j + 2455. Is 16 a factor of s(-40)?
False
Suppose 0 = 2*n + 3*m - 4866, -3*n + 7284 = 8*m - 11*m. Does 9 divide n?
True
Let d = 22 - 33. Let w(z) be the third derivative of -2*z**4/3 + 8*z**3/3 + z**2 + 1. Is w(d) a multiple of 32?
True
Let q = 146 + -32. Suppose 194*n - 192*n - q = 0. Is 3 a factor of n?
True
Let u be (-3 + 4 + -3)*-1*4. Suppose 9*r - 4488 = -u*r. Is 44 a factor of r?
True
Let o(p) = 382*p**3 + 2*p - 381*p**3 - 7 + 12*p**2 + 0*p**2. Is 9 a factor of o(-4)?
False
Let q(v) = -5*v - 3. Let g(j) = j**2 + 9*j - 4. Let z be g(-7). Let d be (-21)/(-1)*3/z*2. Is q(d) a multiple of 8?
True
Suppose 4*k - 256 + 36 = 0. Suppose -52*t + 1416 = -2640. Let s = t - k. Is 16 a factor of s?
False
Let h(n) = 3*n + 87. Let s be -15*(4/30)/((-1)/5). Does 13 divide h(s)?
True
Let v(i) = -274*i - 2597. Is 15 a factor of v(-53)?
True
Let q(t) = -4*t + 86. Let a = -66 - -70. Is q(a) even?
True
Suppose -33*r = -3*r + 19*r - 769104. Is 96 a factor of r?
False
Suppose 0 = -18*d + 17*d + 11. Suppose x + 0*x = -4*z + d, x = -3*z + 9. Suppose p - 15 = z. Does 3 divide p?
False
Suppose -t + x - 5 + 4 = 0, -4*x = 5*t - 22. Suppose t*a = 2611 - 2335. Is a a multiple of 69?
True
Let w = -203 + 685. Suppose -338 - w = -2*o. Does 10 divide o?
True
Is 36/60 + (-4)/((-80)/77388) a multiple of 86?
True
Does 12 divide -5 + 3 - (3191/2 + 4)*-4?
True
Let x = 22 - 18. Suppose 0 = -u - 3*v + 106, 3*v + 558 = 5*u + x*v. Let m = u + -88. Does 8 divide m?
True
Let q(p) = 66*p + 79. Let b be q(9). Suppose 0 = -4*n - 3*f - 0*f + 1355, -2*n = -3*f - b. Is 32 a factor of n?
False
Suppose 277 = -u - 2*p - 3*p, 4*u + 1154 = 3*p. Let m = u - -503. Suppose 0 = -5*x + 10, 5*x = -4*k + 7*x + m. Is 14 a factor of k?
False
Does 64 divide ((-63)/(-35) - (-153)/(-135))*(-48741)/(-2)?
False
Let t(g) = 22*g**2 - 4*g + 30. Let x be (2 + -6)/4 + 7. Does 14 divide t(x)?
True
Suppose 95*t - 107*t = 2280. Let l = 288 + t. Is 19 a factor of l?
False
Suppose -3*n - 787 = 3*q + 794, 2*n - 2096 = 4*q. Let p = -267 - q. Is 9 a factor of p?
False
Let n be (-1 - -2)*6*(12 + 2). Let q = n - -76. Suppose 5*k - 50 - q = 0. Is 3 a factor of k?
True
Let r be 8880/(4 + 0)*10/25. Let z = r - -239. Is 23 a factor of z?
True
Let q = -86 - -3063. Is 62 a factor of q/5 - (-4)/(-10)?
False
Suppose -2*p + 0*p = 5*m + 125, m - 2*p + 13 = 0. Let z = -169 - m. Let r = z - -216. Does 14 divide r?
True
Let v be -5 + (-8 - 862)*2/(-4). Suppose -73*h + 68*h + v = 0. Does 20 divide h?
False
Suppose -7 - 13 = -5*j. Suppose -1891 = -j*p + 361. Suppose -1508 + p = -7*g. Is 40 a factor of g?
False
Let d(g) be the third derivative of -7*g**4/6 + g**3 + 11*g**2. Let l be d(-3). Let s = 182 - l. Is 9 a factor of s?
False
Suppose 3*s - 44 = 61. Suppose -5*q + 104 = a, -6*a + 9*a - 212 = 5*q. Let m = s + a. Is m a multiple of 25?
False
Let k(g) = g**3 + 44*g**2 - 136*g - 59. Is k(-43) a multiple of 51?
False
Let s = 281 - 281. Suppose s = v - 25 - 51. Does 39 divide v?
False
Let i(b) be the third derivative of b**4/3 + 40*b**3/3 - 113*b**2. Is 4 a factor of i(-4)?
True
Let f(o) = 2*o**2 - 6 - o**2 - 7*o + 7*o. Let v be f(-8). Suppose -157 = -5*z - 2*x, -z = -3*z - 2*x + v. Is 11 a factor of z?
True
Let n(c) = c**3 - 12*c**2 - 11*c - 19. Let m be n(13). Suppose -2*f + m*f + 295 = 0. Let v = -33 - f. Is v a multiple of 26?
True
Suppose -k = 154 - 153, 3*k - 5397 = -4*g. Is 50 a factor of g?
True
Suppose 0 = 3*w - w - 8704. Suppose 4*g + 2*h + 2*h = w, 1058 = g - 5*h. Is 63 a factor of g?
False
Let p(n) = -11*n**2 + 87*n - 2*n**3 + 12 + 3*n**3 - 67*n. Does 7 divide p(10)?
True
Let i be 152/36 - (-4)/(-18). Suppose -3*r - r = 3*s - 45, i*s - 48 = -4*r. Does 9 divide r?
True
Let g(r) = -2747*r + 673. Does 47 divide g(-6)?
True
Let t be 2/(-27) - (-1196)/(-621). Let c(k) = -21*k**3 - 2*k**2 + 3*k - 2. Does 19 divide c(t)?
True
Let k = 3941 - -613. Is k a multiple of 22?
True
Let j be 7 + 47/(-9) + 2/9. Suppose n + 4*n = 6720. Suppose n = 16*o - j*o. Does 24 divide o?
True
Let d = 47 + -45. Suppose d*p - 39 + 9 = 0. Let c = p - -21. Is 12 a factor of c?
True
Suppose 297134 - 413304 = -82*i + 429950. Is i a multiple of 30?
True
Suppose -950*b + 35970 = -928*b. Does 15 divide b?
True
Let z = 59 + -111. Let k = z - -58. Suppose k*g + 328 - 1348 = 0. Does 34 divide g?
True
Let h be (-9174)/15 + 2 + (-10)/25. Let l = -88 - h. Does 29 divide l?
True
Let n be -7 + (1 - -105)*15. Let j = n + -829. Is j a multiple of 19?
False
Let r be (-8)/40 - (2 - (-138)/(-15)). Suppose -9*t + 2629 = 3*k - r*t, 3*k - 2621 = -4*t. Is 17 a factor of k?
False
Let r(x) = x**2 - 11*x + 13. Let w be r(9). Let a be 1 + w/((-20)/8). Is 6 a factor of -4*(a + 43/(-4))?
False
Let o = 2992 - 1971. Does 18 divide o?
False
Let u(z) be the third derivative of -z**5/40 - 5*z**4/12 - 2*z**3/3 + 13*z**2. Let s(d) be the first derivative of u(d). Is 3 a factor of s(-8)?
False
Let k = -2625 + 3402. Is k a multiple of 5?
False
Let x be (-7 + 800/24)/(1/3). Let i = 299 + x. Does 54 divide i?
True
Is (-4114 + 2)/(5 - (0/8 - -7)) a multiple of 8?
True
Let b = 9 - 6. Suppose 35 = b*w + 5*i - 0, -3*w + 53 = -4*i. Is 9 a factor of (-2)/(-10) + 237/w?
False
Suppose 19*m - 6*m = -26. Let s be (12/(-9))/((-2)/42). Let h = m + s. Does 26 divide h?
True
Does 25 divide (-180)/(-48) + 571159/92?
False
Suppose m - 10 = -m. Let u be (15/25)/(2/20). Suppose m*n = u*n - 54. Is n a multiple of 15?
False
Let v(s) = 22*s**2 - 4*s - 4. Let d(k) = -k - 13. Let r be d(-12). Let g be v(r). Suppose 75*x - 73*x - g = 0. Is 11 a factor of x?
True
Let o(k) be the second derivative of -k**4/12 + 2*k**3 - k**2/2 + 8*k. Let z be o(9). Suppose 3*y = -5*i + z, 0 = 7*y - 3*y - 2*i - 78. Is y a multiple of 17?
True
Suppose 12*q - 13*q = f - 16256, 0 = -3*f. Does 127 divide q?
True
Suppose -5 + 25 = 4*n. Let p(u) = 0 + 2 - n*u + 4*u + 2*u**2 - 12*u. Does 32 divide p(-7)?
False
Let y = -298 + 334. Suppose 1028 + y = 2*h. Is h a multiple of 14?
True
Suppose 5*f = -3*k + 370, -k + 0*f - 4*f + 114 = 0. Suppose 9 = -3*x, -5*v - 4*x + k = -28. Suppose -6*c = i - c - 10, i - 3*c = v. Is 4 a factor of i?
False
Let a(j) = 6*j + 806. Let c be a(0). Suppose -220 = -6*n + c. Is n a multiple of 19?
True
Suppose -19*w + 22*w - 4*p - 3566 = 0, 4*p + 5930 = 5*w. Suppose -5*m + 1863 = -w. Is 87 a factor of m?
True
Let v be (-8)/(-20) - (-21)/15*509. Let n = v + -137. Is n a multiple of 32?
True
Let f be ((-3)/5)/(2*4/(-40)). Suppose -3735 = -5*r - f*b, -10*r + 9*r - b = -745. Does 75 divide r?
True
Let o(a) = -a**2 + 17*a - 7. Let s be o(16). Let t(g) = -g**3 + 5*g**2 + 2. Let b be t(3). Suppose 70 = s*k - b. Does 10 divide k?
True
Suppose -25*r = -46 - 29. Suppose -r*z - 63 + 531 = 0. Is z a multiple of 4?
True
Let x = -39 - -43. Suppose 0 = 4*u - q - q, -x*u - 4*q = 12. Let b = u - -97. Is b a multiple of 39?
False
Suppose 76815 = 9*o + 15957. Is o a multiple of 23?
True
Let r(b) = -b**3 - 57*b**2 - 94*b + 130. Does 28 divide r(-56)?
False
Suppose 146 = 4*v + 5*l, 0 = 4*v - 3*l - 162. Let z = -30 + v. Suppose 280 = -z*o + 13*o. Is o a multiple of 25?
False
Suppose -u = -17 - 8. Suppose 2548 = u*v - 12*v. Suppose -32*o + v = -28*o. Does 7 divide o?
True
Let x be 39 - -4*(-15)/20. Suppose -6*z + x = -48. Let o = -6 + z. Does 3 divide o?
False
Let a be ((-12)/8*4)/((-4)/(-14)). Does 18 divide a*(-6)/(-54)*-93?
False
Let x be (-2967)/(-18) + 2/12. Suppose 3*y - 4*z = 61 + 38, 0 = -5*y + z + x. Is 5 a factor of 1/(2/3*y/110)?
True
Suppose -2*g + 463 = 5*u, 176 + 528 = 3*g - 2*u. Is g a multiple of 6?
True
Let f = 11539 - 10687. Does 6 divide f?
True
Let z(c) = c**3 + 9*c**2 + 6*c + 18. Let x be z(-8). Suppose -8*v + x*v = 6552. Is v a multiple of 12?
True
Suppose 5*f - 5*k = 970, 