?
True
Let m = -6 - -82. Let g = 1794 - 1822. Let v = g + m. Is 3 a factor of v?
True
Let q(m) = m**3 - 61*m**2 + 639*m - 54. Is q(48) a multiple of 6?
True
Let r(o) = 2*o**3 + 26*o**2 + 26*o - 9. Let p be r(-11). Is 15 a factor of (9 - p/18)*-1*482?
False
Suppose -129977 = -16*x + 3*x - 27030. Does 93 divide x?
False
Suppose -2*u - 2 = -5*m, -m = 1 - 3. Suppose -9 = r - u*r. Is 24 a factor of r/15 - ((-2432)/(-10))/(-4)?
False
Is (-104902)/(-16) + 156/(-416) a multiple of 22?
True
Suppose -l - l + 8 = 0, -5*w + 5*l + 140 = 0. Let x = -30 + w. Suppose 4*o = -0*c + 4*c + 524, 5*o - x*c = 649. Is o a multiple of 32?
False
Let t = 11307 - 6285. Is t a multiple of 81?
True
Suppose 841 = 7*w + 176. Let i = -95 + w. Suppose i = -3*y + 261 + 360. Is 14 a factor of y?
False
Suppose 4*i - 4215 = -13211. Let t = i - -3340. Does 24 divide t?
False
Let x be (-61)/(-2) - 11/22. Suppose 5*p + x = -295. Let d = -46 - p. Is d a multiple of 10?
False
Let f(d) be the third derivative of 11*d**4/24 - d**3/6 + 42*d**2. Let j(o) = -2*o + 19. Let s be j(6). Does 38 divide f(s)?
True
Let m(b) = 23*b - 16. Let q be (-39)/(-65) + (-73)/5. Let x(r) = r**3 + 13*r**2 - 14*r + 4. Let o be x(q). Is 14 a factor of m(o)?
False
Let a = 18994 - 16264. Does 67 divide a?
False
Let c(s) = 493*s**2 - 425*s - 2152. Does 13 divide c(-5)?
True
Is (-21)/6*2 - (-8 + -5385) a multiple of 58?
False
Let n = 50 + -46. Suppose 3*m - 2*a = 604, 5*a = -m - n*m + 990. Suppose -m = 17*d - 22*d. Does 10 divide d?
True
Suppose -16 = 4*q, -t + 1 = 3*q + 13. Suppose t*f = -f + 21. Suppose f = b - 31. Does 4 divide b?
True
Let q be (-2 - -1 - 0)/(2/82). Is 0 + 1 + 0 - q a multiple of 20?
False
Let i(s) = -2*s + 52. Let r be i(25). Does 4 divide -8 + 25/10*r + 78?
False
Suppose -2*t - 2*a = -1864, -a + 2794 = 46*t - 43*t. Is 49 a factor of t?
True
Let s = 89 + 89. Let q = 101 + -100. Suppose 3*r - s = -q. Is r a multiple of 12?
False
Let o(g) = 22*g**2 + 24*g - 40. Let y be o(-12). Suppose 12*q = 17*q - y. Is q a multiple of 11?
False
Suppose -51 = 5*r - 501. Is 71 a factor of r - 19 - 0*(-1)/(-2)?
True
Suppose -3*r - 7 = -4*o + 2, -3*o + 3*r + 6 = 0. Suppose -11*u + 549 = 3*l - 8*u, o*l - 5*u = 589. Does 5 divide l?
False
Let t(z) = -z**3 - 17*z**2 - 8*z - 24. Let r be t(-17). Suppose -r = h - 3. Let s = h + 212. Does 13 divide s?
False
Let f(z) = z**3 - 7*z**2 + 9*z - 3. Let t be f(4). Let y = 14 + t. Is (-48)/12 - y*90 a multiple of 43?
True
Does 124 divide 16 - -72*(14 + 127)?
True
Let z(k) be the first derivative of 42*k**2 - 108*k + 65. Is z(7) a multiple of 48?
True
Does 126 divide (-20394)/(-3) - (-1)/(-9 - (-220)/24)?
True
Let d = -1215 + 5126. Is d a multiple of 12?
False
Let k = -1130 + 1741. Let f = -428 + k. Is f a multiple of 11?
False
Suppose 19 = 2*p + 59. Let t = p + -88. Is (t/(-5))/((-10)/(-50)) a multiple of 27?
True
Let u(p) = 2*p + 21. Let f be u(-6). Suppose -12*t + 15 = -f*t. Suppose 3*q + x - 36 = 171, 345 = t*q - 2*x. Does 32 divide q?
False
Let q(p) be the third derivative of 5*p**4/3 - 37*p**3/6 + 20*p**2. Let j be q(10). Suppose 477 = 8*v - j. Is v a multiple of 21?
True
Let p = 12 + -16. Let w = p - -74. Suppose -w = -5*j - t - t, 5*t = 0. Is 12 a factor of j?
False
Suppose -4*z + 5*t + 25 - 4 = 0, -z - 6 = t. Does 5 divide (z/2)/(24/(-10464))?
False
Let i be 5/((-175)/15) - (-102)/42. Suppose -455 = -2*m + 2*p - 7*p, -i*p - 730 = -3*m. Is 40 a factor of m?
True
Let n(z) = 987*z + 645. Is n(5) a multiple of 18?
True
Let t(k) = -5*k + 135. Let w be t(27). Suppose -4*b + 2*p + 412 = 0, w*b - 3*b + 4*p = -314. Is b a multiple of 34?
True
Let k(f) = 3*f**2 - 4*f - 83. Let r be k(-14). Is r - ((3 - -4) + -6) a multiple of 14?
True
Suppose -24*h - 22*h = -93794. Is h a multiple of 49?
False
Suppose 4524 = 2*x + 2*o, 73*x - 5*o = 75*x - 4524. Does 78 divide x?
True
Suppose 22048 = 4*c - 0*l - 4*l, -3*l = -c + 5514. Suppose 3*p - 2*r = 6*p + c, -9163 = 5*p - 4*r. Is (-2 - p/45) + (-4)/(-18) a multiple of 13?
True
Let l(x) = x**2 + 10*x - 6. Let z be l(-10). Let m(a) = -5*a. Let t be m(z). Suppose 14*u + 3200 = t*u. Is 19 a factor of u?
False
Let d(y) = 10*y - 37. Let t be d(6). Let c(u) = -5*u - t + 9 + 25 + 18. Does 6 divide c(-5)?
True
Let j(a) = a**3 + 11*a**2 + 3*a - 15. Let v = 102 + -111. Is 8 a factor of j(v)?
True
Let b = 2490 - -282. Is b a multiple of 14?
True
Let f(r) be the third derivative of 16*r**5/15 - r**4/24 - 2*r**2 + 56*r. Let u be 4/6*(-3)/(-2). Is f(u) a multiple of 23?
False
Let d(b) = -b**3 + 2*b**2 + 6*b + 4. Let v be d(4). Let f(u) = 4*u + 10*u**2 - 3*u**2 + u**3 - 8 + 4*u - 5*u. Is 14 a factor of f(v)?
True
Does 79 divide 138/((-78700)/79000 - -1*1)?
True
Let h(z) be the second derivative of z**5/20 - z**4/4 + z**3/6 + 3*z**2/2 + 27*z. Let n be h(2). Is 5 a factor of (n/2)/(3/246)?
False
Let q(p) = 3*p**2 - 4*p - 11. Suppose -z = 0, 5*s - 5*z = 68 + 12. Suppose -m + s = 20. Is 5 a factor of q(m)?
False
Suppose -5*a - 5*l = -1625, -3*a + 4*a = -4*l + 328. Let c be -5 + 4 - (0 - a). Suppose 0 = -5*p + c - 108. Is p a multiple of 26?
False
Let r(x) = 11*x**2 - x - 4. Let w be r(3). Suppose -w*d - 190 = -94*d. Is 19 a factor of d?
True
Let d = 125 + -120. Suppose 2*u = -d*t + 20 + 648, 5*u = -4*t + 1636. Is u a multiple of 36?
True
Does 5 divide (-7 + 890/8)/(6/8)?
False
Suppose 9*k + 25 = -2. Let j be 4/8*2 + (-12)/k. Suppose 0 = j*l + 5, -4*x - 539 = -9*x - l. Is 18 a factor of x?
True
Let y = 16873 - 9999. Does 14 divide y?
True
Suppose 0 = -2*m + 2*f + 20932, 332*f - 20914 = -2*m + 337*f. Does 77 divide m?
True
Suppose -7*k = 5*x - 3*k - 17, -3*k + 12 = 3*x. Suppose -p - x = -3*f + 2, 5*f - 2*p - 4 = 0. Suppose f*m + 4*a = m + 54, -5*m = -2*a - 270. Does 18 divide m?
True
Suppose -6*u - 32 = -4*i - 8*u, 4*u = i - 26. Suppose -i*q + 196 = 6. Is 2 a factor of q?
False
Suppose 4*y = d + 3*d + 324, -d - 5 = 0. Does 4 divide (-4)/(48/y)*-42?
False
Is 55 a factor of 452*(260/13 - 13)?
False
Let p = 50469 - 34328. Does 141 divide p?
False
Suppose 10*s + 23*s - 792 = 0. Suppose 0 = -76*o + s*o + 8060. Is 31 a factor of o?
True
Suppose -5*o = -2*y - y - 9, o - 11 = -4*y. Let g be y/(-9) - ((-116)/36 + 0). Suppose -g*b = -7*b + 132. Is 4 a factor of b?
False
Suppose -111 = 3*t - 3*k + 279, -t = k + 136. Let h = 232 + t. Is 11 a factor of h?
True
Let r(h) = 991*h - 191. Let i be r(18). Is 4 a factor of (-3)/(-4) + (i/28 - -3)?
False
Suppose -3192 = -35*y + 35203. Does 17 divide y?
False
Suppose -d - 144 = -3*d. Suppose 0*z + 3*z = -5*v + 49, 0 = -2*v + 5*z + 1. Let m = d + v. Is 33 a factor of m?
False
Is 9 + 12/36*6726 a multiple of 44?
False
Let q(j) = 60*j + 2. Let n be q(3). Suppose -25 + 154 = -y. Let h = y + n. Does 11 divide h?
False
Suppose 184 = 4*j - 6*j. Suppose -2913 + 1023 = -15*x. Let s = j + x. Does 15 divide s?
False
Is (-7)/49*(-13647 - -2) + 2/(-7) a multiple of 104?
False
Suppose 3*o = -r + 232739, 0*o = -2*o + r + 155161. Is 17 a factor of o?
False
Let l(f) = -f**3 - 20*f**2 + f - 17. Let p be l(-19). Let u = p + 738. Is u a multiple of 10?
False
Let w(s) = 14*s**2 + 118*s + 58. Is 23 a factor of w(-24)?
True
Suppose l = 4*z + 12, 2*l + 2*l = -4*z + 8. Suppose 0*u = 2*u - l*j + 4, -2*j = -4. Suppose 0 = -4*y, -u*w - y + 36 = -22. Does 11 divide w?
False
Let q(x) = 40*x - 10. Let p be q(-16). Is 10 a factor of 5*(-6 + 5) - p?
False
Suppose 4*w - 2*h - 14998 = 0, 6078 = 2*w + 3*h - 1441. Suppose -10*c - 4*c = -w. Is 17 a factor of c?
False
Suppose -4714 = 4*a - 3*b - 13427, a = -9*b + 2149. Is 205 a factor of a?
False
Suppose 5577 + 16055 = 32*u. Is 6 a factor of u?
False
Is 87 a factor of 781764/93 - 186/2883?
False
Let y = -242 + 257. Suppose 0 = -2*s - y*s + 1292. Is 4 a factor of s?
True
Let o = 20992 + -11514. Is o a multiple of 30?
False
Let a(j) = 32*j - 6. Let n be a(7). Let t = n + -97. Does 11 divide t?
True
Let n be 6 + (-84)/49 - (-4)/(-14). Suppose -3*m + 3*h + 50 = -19, n*m = -5*h + 92. Is m a multiple of 23?
True
Suppose 4*d = 3*d + 5. Suppose -7*c + 43 - 8 = 0. Suppose -2*s + 0*s + 4*b + 34 = 0, -c*s + d*b + 110 = 0. Does 19 divide s?
False
Let c(o) = 5*o - 12. Let r be c(3). Suppose -4*b + g - r*g = -258, -5*b - 4*g = -315. Let x = -39 + b. Does 14 divide x?
True
Suppose 0 = -16*t - 3635 + 8563. Does 16 divide 187220/t + 1/