et x be ((-4)/(-6))/((-10)/(-75)*5). Is 12 a factor of ((-20)/60)/(x/(-1599))?
False
Suppose 0 = -54*d + 83766 + 8682. Is 7 a factor of d?
False
Let u be ((-16)/(-72)*-3)/1 - 8/(-3). Suppose 2*w + 4*r - 178 = 4, 351 = 4*w - 5*r. Is (u + (-5)/2)*-2*w a multiple of 14?
False
Suppose 8*k - 369 = 135. Suppose -2256 = 55*y - k*y. Does 4 divide y?
False
Let y = -9767 - -25535. Is 18 a factor of y?
True
Let n be (-125 + 0)*(0 - 1). Let t(w) = -w**2 - 35*w - 141. Let s be t(-28). Let p = n - s. Is p a multiple of 15?
False
Is 17 a factor of ((-13479)/(-5))/(156/260)?
False
Let n be (0/1)/(2*(-2)/2). Suppose -6*c + n*c + 12 = 0. Suppose 4*w + w - 5*g = 15, -3*g = c*w - 26. Is 3 a factor of w?
False
Let d(u) = -112*u - 68. Let p be 11*(-1 + 3) - -4. Let k be d(p). Is 11 a factor of 6/8 - (-7)/((-112)/k)?
True
Suppose 4*s + 6 = 3*d, -5*s + 2 = 9*d - 8*d. Suppose d*l = -127 + 631. Is 28 a factor of l?
True
Suppose 5*s + 3*f - 77 = 0, -34*s + 36*s = 5*f + 6. Suppose -12*j = -s*j + 140. Is j a multiple of 20?
True
Let m(r) = r**2 - 43*r + 465. Is 20 a factor of m(60)?
False
Suppose -5*q = -5*y - 0*q + 8965, y - 2*q - 1790 = 0. Does 41 divide y?
False
Let h(s) = -s + 189. Is 37 a factor of h(-70)?
True
Let l(o) = 65*o**2 - 193*o + 24. Does 45 divide l(11)?
False
Let x(t) = t - 10. Let q be x(17). Suppose -q*w - 56 = 14. Is w/(-35) - 292/(-7) a multiple of 14?
True
Suppose -u + 6586 = 27*u - 12426. Does 5 divide u?
False
Suppose -11*y + 79659 = 7697. Is 43 a factor of y?
False
Suppose -18*f = -17*f - 11723. Suppose 24*q - 5*q - f = 0. Does 9 divide q?
False
Let y = 1838 - 1280. Suppose 0 = n - 4*h - 136 - y, -n + 688 = -h. Is n a multiple of 56?
False
Let l be (-3 + -3 - -5)/(-1 - 0). Let o be 283*(l + 0) - -2. Let b = -181 + o. Is 20 a factor of b?
False
Let n(d) = d**3 - 9*d**2 - 3*d - 9. Let c be n(9). Let a = c + 41. Suppose a*j - 84 - 591 = 0. Does 27 divide j?
True
Suppose 0 = -4*a + a + 21. Suppose a*s + 620 = -332. Let k = -91 - s. Is k a multiple of 5?
True
Let a be ((-446)/(-4))/(29/58). Let v = a + -75. Is 37 a factor of v?
True
Does 35 divide 12/(-1) - -5 - -2142?
True
Let s = -17257 + 51963. Does 37 divide s?
True
Let v(o) = 96*o**2 + 25*o + 137. Is 11 a factor of v(-6)?
True
Suppose 2*v - 4*x - 27016 = 0, 5*x - 189310 = -21*v + 7*v. Is 80 a factor of v?
True
Let q = -862 - -346. Let c = 703 + q. Is c a multiple of 4?
False
Let r(f) = f**3 - 42*f**2 + 367*f + 12. Does 10 divide r(31)?
False
Let k = 100 - 98. Suppose w + 2*f + 8 = 0, -k = -w - f - 5. Suppose -5*y = -25, -2*a + w*y + 391 = y. Is a a multiple of 18?
True
Let y = 70379 + -45585. Is y a multiple of 160?
False
Suppose o - 3*t + 2*t = -1, -3*o = -4*t + 8. Suppose 0 = 89*l - 80*l. Suppose -r = -2*v - l*r + 22, -5*r - 50 = -o*v. Is v even?
True
Let s(n) = 82*n**3 - 18*n**2 - 97*n + 704. Is 67 a factor of s(7)?
True
Let u(i) = -2*i - 48. Let o be u(9). Let k = -69 - o. Does 14 divide (k - -4) + (241 - 4)?
True
Suppose -2*l + v + 1159 = -809, 0 = 3*l + 5*v - 2978. Is 4 a factor of l?
False
Let u = 1382 - 266. Suppose -4248 = -9*d - u. Is 58 a factor of d?
True
Suppose 2*q + 2*r - 8202 = 0, 4*q - 16406 = 22*r - 24*r. Is 22 a factor of q?
False
Let t be ((-68)/(-20) + -1)/((-2)/10). Let m be (1/1)/(t/(-120)). Let z = 16 + m. Is 3 a factor of z?
False
Is 261/(-6)*(6/2 - (-134)/(-6)) a multiple of 29?
True
Suppose 4*r - 4*y = 544, 5*y - 25 = -0*y. Let v = r - 132. Let n(g) = -g**2 + 15*g + 1. Does 3 divide n(v)?
False
Let a = 405 + -25. Is 49 a factor of 1/10 + 372362/a?
True
Is 116 a factor of ((-5)/4)/(((-2)/(-56))/(16008/(-161)))?
True
Suppose -1172 = -4*n + 4*h, -20*h + 22*h = -2*n + 570. Is 15 a factor of n?
False
Let h = -173 - -167. Let n = h - -117. Does 10 divide n?
False
Let f = -928 - -2277. Does 9 divide f?
False
Let s(p) = -p**3 + 15*p**2 + 170*p - 176. Does 9 divide s(20)?
True
Let w be (-84)/30 + 3 - (-118)/10. Let y be ((-10)/4)/(6/w). Is (3/y)/(10/(-350)) a multiple of 4?
False
Suppose 0 = -4*w + 3*d + 9164, 8*w - 4*d = 3*w + 11456. Is 22 a factor of w?
True
Let h(m) = 9*m**2 - 183*m - 560. Is h(-3) a multiple of 70?
True
Is 5129 - (-3)/(13 - 303/24) a multiple of 37?
False
Let h be 2*(-3)/(-24) + (-17451)/12. Let a be h/(-6) - 5*(-2)/(-30). Let x = a - 138. Is x a multiple of 13?
True
Is (10/((-60)/441) - 5)/((-2)/92) a multiple of 23?
True
Let i(v) = v**3 + 17*v**2 + 9*v + 70. Let q be i(-15). Let s = -239 + q. Is s a multiple of 33?
False
Suppose -35 = 11*k - 156. Suppose k*g = 4*g + 5502. Is 16 a factor of g?
False
Let g = 64 + -62. Let f(d) = -d**3 + 4*d**2 - d - 1. Let o be f(g). Suppose 4*h - 257 = 2*z + o, 0 = 5*h + 3*z - 322. Is 12 a factor of h?
False
Let d(i) = i**3 - 17*i**2 - 2*i - 7. Let k be d(12). Let b = k - -1082. Is b a multiple of 26?
False
Let g(f) = f**3 + 12*f**2 + 15*f - 10. Let i be g(-11). Let y = -87 - i. Let j = y + 112. Is j a multiple of 32?
False
Let j = -3639 - -6368. Is 20 a factor of j?
False
Suppose 281*f - 9680 = 259*f. Does 10 divide f?
True
Let n = -4 + 4. Suppose 3*o - 12 = 0, -2*o + n*o + 16 = 4*s. Is 21 a factor of s/(-5) + (2385/25 - -5)?
False
Let z = -2067 + 637. Let c = z + 2165. Does 31 divide c?
False
Suppose -5*s + 12 = -18. Suppose -h - 2*a = -220, -3*h - 2*a = -s*h + 660. Let l = h + -156. Does 12 divide l?
False
Suppose -3*o = i - 3076, 752*i - 757*i = -o - 15460. Is 12 a factor of i?
False
Let n(k) = k**2 - 5*k - 21. Let l be n(5). Let f = 22 + l. Is ((-30)/(-25))/(f*2/65) a multiple of 12?
False
Let z = -2175 - -13382. Does 18 divide z?
False
Let x(n) = n**3 - 7*n**2 + 13*n - 16. Let u be x(5). Let l = -9 - u. Does 5 divide l/3*150/(-8)?
True
Let c(f) = 71*f - 13. Let h(t) = 7*t**2 - 9*t - 3*t**3 + 5 + 2*t**2 + 4*t**3 + 8. Let s be h(-10). Does 20 divide c(s)?
True
Let y be -3 + 9/3 + 35. Is 1 - 40/(-6)*1806/y a multiple of 57?
False
Suppose -2*v + 10 = 0, -5*d - v + 2710 = -4*d. Does 8 divide d?
False
Suppose -63*g + 62*g - 3*u + 11018 = 0, -3*g + u = -32974. Does 46 divide g?
True
Let i = -2250 + 3130. Is 55 a factor of i?
True
Does 3 divide 45/270 + (-8027)/(-6)?
True
Let f(k) = k + 55. Let x = -368 - -392. Is f(x) a multiple of 4?
False
Suppose 40*j - 12453 = 148347. Does 67 divide j?
True
Let m = -7603 - -28487. Is m a multiple of 227?
True
Let o = 29 - 28. Let m be o/(20/388) + 2/(-5). Suppose -m*y + 21*y - 182 = 0. Is 16 a factor of y?
False
Suppose 25 - 1 = -2*b. Let x(q) = 3*q + 40. Let v be x(b). Suppose v*u - 22 = 22. Does 2 divide u?
False
Suppose 3*j - 66 = -3*f - 15, -5*j + 5*f = -55. Suppose -3*v = i - 668, -4*i + 6 = -j. Is 22 a factor of -1 + (1 - 1)/4 + v?
True
Let c = 84 - 26. Let x be 14/(-42) - 43/(-3). Suppose -5*h + 107 = -2*f, 0 = 4*h - 5*f - c - x. Does 23 divide h?
True
Let o be (65/(-10) - -3)*1*-2. Suppose d = o*d - 78. Let a = d + -3. Is a a multiple of 5?
True
Suppose -5*u + 1 = 6. Let w(v) = -105*v**3 + 93*v**2 + 0*v - 91*v**2 + 2*v - 1 + 2. Is 25 a factor of w(u)?
False
Let t be 1 - 4 - -11*5. Let r = -41 + t. Let s(i) = -i**3 + 12*i**2 - i - 6. Is s(r) a multiple of 35?
False
Let u(y) = -y**3 - 15*y**2 - 14*y + 8. Let v be u(-14). Let n be 3/(6/v) - 1201. Is n/(-45) + 4/10 a multiple of 27?
True
Is (-3933)/(-114)*((-5248)/6)/(-2) a multiple of 92?
True
Is 2 a factor of (1/(-2))/((31 - 16)/(-23910))?
False
Let b(j) = 22 + 10*j - 3*j**2 + 22*j + 11*j**2 + 2. Let p be b(-21). Suppose p = 16*z - 0*z. Is z a multiple of 10?
True
Suppose -124*q - 8 = -125*q. Is (60/q - 8)/(1/(-1632)) a multiple of 24?
True
Let p(d) = 21*d + 63 - 9*d + d**2 - 15. Is p(-18) a multiple of 26?
True
Let i be (68/(-8) + -3)*5856. Is 18 a factor of (-7)/(-1) - i/61?
False
Suppose 24 = -4*o, -6*x + 7*x = -21*o + 15414. Does 37 divide x?
True
Let n(t) = -4*t**3 + 4*t**2 - 2*t - 3. Suppose -g + 22 = 5*x, -4*x + 27 = -4*g - 5. Let b be n(g). Is (72/21)/4*b a multiple of 22?
False
Is 72/(-40)*(-32510)/6 a multiple of 8?
False
Suppose -3*z + 23994 = -i, -5*z + 151*i - 146*i = -39970. Is z a multiple of 100?
True
Suppose 3*y = 10 - 1, -w - 538 = -3*y. Let d = w - -993. Does 52 divide d?
False
Let m be 12*((-140)/21)/(-4). Suppose -l - 275 = -3*v + 681, -5*l = -m. Does 40 divide v?
True
Suppose 5*x - 45 = -j, 0 = 266*j - 268*j - 3*x + 55. Suppose -4*g = g + 60. Does 25 divide (537/g)/((-5)/j)?
False
Let p = -854 - -4551. Is p