 o(p) = 2*d(p) - 7*q(p). Is o(-10) a multiple of 79?
True
Suppose 5*k + 68 = 3*t, 20 = 34*t - 39*t. Let g be (2/(-2))/(2/148). Let p = k - g. Does 30 divide p?
False
Suppose -7*j - 149 + 226 = 0. Suppose -j*p + 346 = -7200. Is 14 a factor of p?
True
Let z(i) = 114*i + 34. Let w be z(11). Suppose -6*b + w = -1574. Does 14 divide b?
False
Suppose -d = -50*h + 48*h + 14688, d = 4. Does 77 divide h?
False
Let r = -1198 + 1201. Let c be (61 - 0) + 2*-1. Suppose h = r, h = -0*l - 2*l + c. Is 4 a factor of l?
True
Let r = 37808 - -3859. Is r a multiple of 51?
True
Suppose 30 = 5*p - 5. Suppose -p*l - 499 = -8*l. Is 79 a factor of l?
False
Let n(o) = 1441*o**2 - 4*o - 5. Is 36 a factor of n(-1)?
True
Suppose -17600 = -41*m + 40*m + 4*w, 2*m - 35176 = 4*w. Is m a multiple of 6?
False
Suppose -2*t + 17 = 13. Is (228/(-42))/(2/(-28)*t) a multiple of 19?
True
Suppose 5*y - 2*j = 11571, -4*y + 9256 = 2*j - 4*j. Does 5 divide y?
True
Let n(u) = 63*u**2 + 28*u + 182. Does 13 divide n(-5)?
False
Let b(j) = 617*j - 288. Does 38 divide b(7)?
False
Let r = -857 + 7. Is 15 a factor of (-18)/(-4)*r/(-15)?
True
Let r(v) be the second derivative of v**5/20 + 13*v**4/12 - v**3 - v**2 - 234*v. Does 18 divide r(-11)?
True
Let b be 0 + -3*(-2)/3. Suppose 0*s - b = -2*s. Let f(r) = 37*r**3 - 1. Does 18 divide f(s)?
True
Let k(y) = y**3 - 11*y**2 - 13*y + 3. Let b be k(12). Let t be (0 + -4)/4*b*26. Let c = t + -134. Does 12 divide c?
False
Let o(y) = 13*y**2 + 12*y + 3. Let f(q) = -25*q**2 - 23*q - 7. Let r(l) = 3*f(l) + 5*o(l). Let a be r(-3). Let k = 21 - a. Is k a multiple of 9?
True
Let g(a) = 5 + 17 + 14*a - 7*a. Let v be 9 - -3*(-2)/(-6). Is g(v) a multiple of 13?
False
Suppose -5*x - 5*f = 41 + 119, 2*x + 64 = -3*f. Suppose 0 = 3*t + t + 2*v - 768, 4*v = 0. Let r = t + x. Does 20 divide r?
True
Let x(a) = -a**2 + 8*a - 4. Let y be x(6). Suppose -4 = -y*z + 28. Suppose -z*j - 2*j = -270. Does 13 divide j?
False
Suppose -t + 6*t - 271 = -3*z, 0 = -3*t - z + 161. Let j = t - 48. Suppose 0 = j*c + 19 + 1, 3*b - 5*c = 449. Does 13 divide b?
True
Suppose -2*j + 3*t = -1743, -9 - 6 = 3*t. Is j a multiple of 144?
True
Let r(s) = -2*s**3 + 185*s + 11012. Is 11 a factor of r(0)?
False
Let k be 2/4*43*-38. Is 5 a factor of (k/129)/((-578)/288 - -2)?
False
Let z(b) = -8*b**3 - 19*b**2 + 12*b + 8. Let w be z(-9). Suppose -13*t = -w + 7. Does 14 divide t?
True
Let t(v) = -3*v - 70. Let j be t(-21). Is ((-93)/(-4))/(j*(-6)/280) a multiple of 9?
False
Suppose -2 = z - 5. Suppose -401 = -3*q - w + z*w, -4*w = 16. Does 12 divide q*(4 + -1 + -2)?
False
Let o(k) = 5*k - 43. Let h(p) = 3*p - 21. Let y(d) = 7*h(d) - 4*o(d). Let j be y(-8). Let v = j + 19. Is 3 a factor of v?
True
Suppose 10972 = 4*o - 4*w, -w = 53 - 54. Does 196 divide o?
True
Let c(x) = 235*x**2 + 145*x + 50. Is 26 a factor of c(-9)?
False
Let l(v) = -2*v**3 - 12*v**2 + 9*v + 15. Let x(h) = h**3 + h. Let f(u) = -l(u) - x(u). Is f(-11) a multiple of 12?
True
Let b be (-2*(-7)/(-6))/((-53)/159). Suppose -2871 = b*f - 10396. Is 25 a factor of f?
True
Let a(m) = -m**2 + m. Let w(h) = 4*h**2 - 9*h + 13. Let l(b) = 3*a(b) + w(b). Let f be l(4). Suppose -91 = 4*k - f*k. Does 15 divide k?
False
Let b = -302 - -301. Is (-1 + 0 + b)/(96/(-30096)) a multiple of 33?
True
Let z(v) = 2*v - 5. Let x(h) = 3*h - 11. Let m(k) = 3*x(k) - 5*z(k). Let t be m(-11). Suppose i - 651 = -3*q, 597 + 276 = 4*q + t*i. Is q a multiple of 36?
True
Let d = 38 + 146. Let p = d - 101. Does 8 divide p?
False
Let m be (-1)/(-2) + (-1131)/(-6). Let g = m - 69. Does 42 divide g?
False
Let q(b) = b**3 - 11*b**2 + 18*b + 15. Let o be q(9). Suppose -o*r + 20196 = 3*r. Is r a multiple of 13?
False
Let o(v) = -52*v - 574. Is o(-30) a multiple of 29?
True
Let d be (-27)/(-4 + 3059/770). Suppose 3*q = 7*q - 12, -2*p + d = 2*q. Is p a multiple of 14?
False
Is 9 a factor of ((-18)/3 + 6 + -851)*-6?
False
Suppose -17*a + 38 = 4. Suppose -4*b - 3 = -b, 188 = a*i + 4*b. Does 12 divide i?
True
Suppose 12 = -o + 3*o + 2*j, -j - 19 = -4*o. Suppose z - i - 189 = -2*i, 3*z + o*i = 561. Suppose -64 = -8*u + z. Is 6 a factor of u?
False
Suppose 82*w - 62*w = 70980. Is w a multiple of 21?
True
Let k(d) = -6*d**2 - 82*d + 2. Let r(o) = -17*o - 178. Let x be r(-10). Is 8 a factor of k(x)?
False
Let d(f) = 42 - 4*f + 3*f - 20. Let x be d(18). Let g(h) = 4*h**3 - 6*h**2 + 5*h - 11. Is g(x) a multiple of 13?
True
Is 67 a factor of 8/(440/1038543) - -4*2/20?
False
Suppose 35*d + 32431 = 119091. Does 24 divide d?
False
Let v(z) = -31 + 29 - 23 + 69*z. Does 42 divide v(5)?
False
Is 40 a factor of (2 - (6 + -1 + 237))*178/(-6)?
True
Let i be (-3)/7 - 1/(49/3899). Let o = i + 84. Suppose 5*q = -o*g + 316, 4*g - 196 = -2*q - q. Is q a multiple of 15?
True
Let j(i) = -18*i + 9. Let p(a) = 19*a - 10. Let z(r) = -6*j(r) - 5*p(r). Let n be 4 + (1/(-2)*4 - -3). Is 14 a factor of z(n)?
False
Let b be 9*-13*3/9. Let z = 45 + b. Let n(k) = k**2 - k - 16. Is 14 a factor of n(z)?
True
Let o(k) = -k**3 + 5*k**2 - 104*k - 1171. Is 105 a factor of o(-11)?
False
Let w be (-7)/(-28) - (-47)/4. Let u be ((-28)/w - -2)*-9. Suppose -u*x + 0*x + 264 = 0. Does 22 divide x?
True
Suppose 13*c + 20*c = 99. Suppose 0 = 2*y + m - 855, 0*m - 1287 = -c*y - 3*m. Is 6 a factor of y?
True
Is 77 a factor of -5 + 15534 + 43 + -22?
False
Suppose j - 4*h = 829, 4070 = 11*j - 6*j - 5*h. Suppose -j = -5*v + 516. Does 36 divide v?
False
Let t = -481 - -26091. Does 130 divide t?
True
Let w be (-994)/(-3) + 5/(15/2). Let a = 572 - w. Is a a multiple of 24?
True
Suppose 0 = -2*l - 5*r + 28, -4*l + 0*l = 2*r - 56. Let x = l + -35. Does 7 divide ((-7)/(-3) - 3)*x?
True
Let f(z) = z**3 + 17*z**2 + z - 3. Let n be f(-17). Let h = n + 34. Does 19 divide h*(505/50 - 12/20)?
True
Let m(y) = y**3 + y**2 - 2*y + 45. Let f(c) = 4*c**2 - 22*c + 39*c + 3 - 6 - 15*c + c**3. Let j be f(-3). Is 7 a factor of m(j)?
False
Does 16 divide 7 - (20/(-90) - (7 - (-260416)/36))?
True
Suppose 0 = -5*h + 2*s - 3*s + 37, -4*s - 6 = -2*h. Suppose -28*f = -22*f - 612. Suppose -h*n = -f - 143. Is n a multiple of 11?
False
Is 3*(-36)/8*2946/(-9) a multiple of 58?
False
Let u(d) = 50*d**2 - d - 8. Let s be u(-3). Let v = 769 - s. Suppose 4*c - 5 = 3*c, 4*n - 4*c - v = 0. Is n a multiple of 43?
True
Suppose 0 = -9*m - 319 + 103. Let g = m - -559. Does 25 divide g?
False
Suppose 212 - 1652 = 235*q - 205*q. Suppose -2*g + 0*o + 4*o - 620 = 0, 5*g = o - 1568. Let m = q - g. Is m a multiple of 14?
True
Let q(k) = -2*k**3 + 30*k**2 + 18*k - 18. Let y(c) = -2*c**3 + 29*c**2 + 17*c - 17. Let g(m) = -2*q(m) + 3*y(m). Is g(13) a multiple of 54?
False
Suppose 2*g = 1905 + 2719. Suppose 4*d = 9*d - o - 2884, 4*d - 2*o - g = 0. Does 12 divide d?
True
Let f be ((-9)/(-18))/((-2)/(-4632)). Suppose -3*y - 4*v + 1179 = -v, 4*v = 3*y - f. Does 65 divide y?
True
Let n be 595/28 + (-3)/(-24)*-2. Suppose -n*p = -22*p + 4. Suppose -p*b - d + 52 = 0, -d - 26 = -b + 2*d. Is 14 a factor of b?
True
Suppose -2*s + 12 = -5*q - 155, -28 = q + 5*s. Let a(u) = 2*u**2 + 56*u - 45. Is a(q) a multiple of 2?
False
Suppose 3*k - 7 = 5*l, -4*l = -1 - 3. Suppose -3*d + 8 = d - h, 0 = k*d + 5*h + 16. Is 21 a factor of 84 - -15 - (d + 0)?
False
Let f = 2652 - -3189. Is 110 a factor of f?
False
Does 18 divide (-11578)/(-4) + 301/86?
True
Let v(n) be the first derivative of n**3/3 + 33*n**2/2 + 59*n + 125. Does 16 divide v(-35)?
False
Suppose -64*p + 65*p + 3*h - 155 = 0, p - 4*h - 197 = 0. Does 3 divide p?
False
Let t(o) = -o**2 - 6*o - 6. Let r = -110 - -106. Let x be t(r). Suppose x*j + 5*d - 335 = 4*d, 2*j + 2*d - 334 = 0. Is 42 a factor of j?
True
Suppose -25*d - 267551 = -705201. Is d a multiple of 19?
False
Is 80*20 + (56/8 - 7) a multiple of 25?
True
Suppose 16*l - 2447617 = 16*l - 73*l. Does 13 divide l?
False
Suppose 3*n + 496 = 4*d + 2*n, 500 = 4*d - 2*n. Suppose 3*v = -j + d, -3*j + 155 + 154 = -3*v. Does 9 divide j?
True
Suppose 19 = 4*r - 1, 4*a - 3*r = 1689. Does 28 divide a?
False
Let l(t) = 904*t + 546. Is 78 a factor of l(26)?
False
Let x be (0 - -1) + -1 - -67. Suppose 0 = -227*y + 95*y - 264. Let k = x + y. Does 18 divide k?
False
Does 139 divide (75/10)/(15/1080) - (-24)/3?
False
Let g = 78 - 287. Let b = g - -456. Is 15 a factor of b?
False
Let o be (0 - 1) + (-8)/(-12)