l/(-84)*4. Suppose -w*p = -23 - 15. Is p even?
False
Suppose 258 = 3*q + 135. Does 19 divide q/(-6)*-57*2?
True
Is 19 a factor of (-38*(-1)/(-8))/(8 + 7298/(-912))?
True
Is 4 a factor of (4168/(-20))/((-1)/50*4)?
False
Suppose 0 = -164*f + 166*f - 10. Let s(u) = 2*u**3 + 3*u**2 - 2*u. Let h be s(4). Suppose h = f*b - b. Is 14 a factor of b?
True
Let q(s) = -1260*s**3 + 3*s**2 + 24*s + 81. Is 171 a factor of q(-3)?
False
Let c = -523 + 917. Does 9 divide c/((-7 - -10) + -1)?
False
Suppose -2 = -t + 1. Suppose 4*z + 0*r - 369 = 3*r, t*r = -3*z + 261. Let h = z + -27. Is h a multiple of 21?
True
Is 6 a factor of 35/(3 - -2) + 2894?
False
Let b be 0/(-5) - (1 - 3). Let i(u) = 4*u**2 - 4*u + 0*u**2 - 5*u**b + 2*u**2 - 32. Is i(13) a multiple of 20?
False
Is 174 a factor of 116/(-11*20/(-25080))?
True
Let h(r) = 16*r**2 - 26*r - 225. Let c(q) = -3*q**2 + 5*q + 45. Let k(l) = 11*c(l) + 2*h(l). Is 16 a factor of k(7)?
False
Suppose -2*q + 5*p + 1 = 0, -q + 3*p = -p + 4. Suppose -q*n + 13930 = -n. Suppose -n = -7*z - 422. Is 32 a factor of z?
True
Suppose -225 = 62*g - 67*g. Suppose -2*s = -g*s + 45580. Does 41 divide s?
False
Let o = -42588 - -83431. Does 47 divide o?
True
Let l(f) = -6948*f + 2243. Does 18 divide l(-3)?
False
Let n be (12/9)/(6/18). Let i(b) = b**2 - 7*b - 13. Let d be i(9). Suppose 235 = f + n*f - d*t, t = 3*f - 149. Is 13 a factor of f?
False
Let o(b) = 3069*b**2 + 9*b. Is o(1) a multiple of 18?
True
Suppose -54*o + 52*o - 4*d = -9198, 0 = 5*o + 4*d - 22995. Is 11 a factor of o?
False
Let h be 1/(-1) - (-27 - -5). Let j be (-2)/(-5)*(-16 + h). Suppose -j*l = 2*l - 44. Does 6 divide l?
False
Let i(t) = -t - 4. Let s be i(-9). Suppose -s*w + 46 = 1. Suppose l + w = 75. Is 10 a factor of l?
False
Suppose 0 = 9*a - 5*a + 5*a. Suppose a = z + 2*n - 18, n = 4*z + 3*n - 66. Does 2 divide z?
True
Let t(w) = -1384*w - 312. Is t(-8) a multiple of 10?
True
Suppose 40*d = 39*d - 5*u + 1497, d - 4*u - 1416 = 0. Does 6 divide d?
True
Let n be (2 - -58)/(4/(8/3)). Suppose 8722 + 6238 = n*c. Does 17 divide c?
True
Let j be (-3)/(-42)*7*758. Suppose 16*w - j = -3*t + 18*w, 4*t - 510 = 5*w. Is 5 a factor of t?
True
Let i = -32 + 38. Suppose 0 = -w + 4*w - i. Suppose 3*h = -r + w*h + 41, 90 = 2*r + 4*h. Is r a multiple of 19?
False
Suppose 327 = -11*o + 4507. Let v = 497 - o. Is v a multiple of 3?
True
Let r = -23194 - -29312. Is r a multiple of 46?
True
Let t = -904 - -1591. Suppose 0 = -11*f - 159 + t. Does 16 divide f?
True
Let h(d) = d**2 + 12*d + 8. Suppose -3*n = 2*q + 52, -2*n - 5*q - 53 = -0*q. Let t be h(n). Suppose 5*u + 70 = 5*i, t = 3*i + 2*u - 3*u. Does 2 divide i?
False
Let w(t) = t**3 + 5*t**2 - 3*t + 31. Let j be 2 - 33/12 - (-437)/76. Is w(j) a multiple of 6?
False
Suppose 0 = 10*s + 18*s - 168. Is 4 a factor of (5 - 5/(-10)*-2)*s?
True
Suppose m - 124 = 2*i, 4*m + 0*i + i - 487 = 0. Let f = m + -18. Does 5 divide f?
False
Let c(a) = 610*a**2 + 21*a + 63. Is c(3) a multiple of 48?
True
Let j be 664/3 + (-10)/30. Suppose j = 8*f - 339. Does 10 divide f?
True
Suppose 0 = 4*l + 2*f - 2144 - 33402, 0 = -3*l - 4*f + 26657. Is l a multiple of 8?
False
Let r(l) = -87*l + 26. Let j(y) = 29*y - 8. Let a(x) = 11*j(x) + 4*r(x). Does 3 divide a(-2)?
False
Is ((-50724)/(-42))/(66/(-84) + 1) a multiple of 33?
False
Suppose 0 = 7*l - l - 7620. Suppose 0 = 4*b + i - 944 - 321, 2*i = -4*b + l. Is b a multiple of 8?
False
Let y be 14/((-56)/(-580)) - 10. Let m(x) = x**3 + 6*x**2 - 4*x - 1. Let b be m(-6). Suppose b = -134*f + y*f. Is 6 a factor of f?
False
Let z(r) = 544*r + 8768. Is z(7) a multiple of 23?
False
Suppose 753 = -b + 762. Suppose -b*v + 4188 = 417. Does 58 divide v?
False
Let a = 523 + -521. Does 6 divide 1473*a/21 + 8/(-28)?
False
Let a = 56 - 55. Let u = a - 0. Is (u + 146/(-10))/(2/(-5)) a multiple of 17?
True
Suppose 4*f + 21 = 5*b, 2 = 5*b + f + 1. Suppose -3*z + 2*s + 0*s = -19, -z + b = 2*s. Suppose 3*n - 160 = -z*t, 2*t - 5*t = 4*n - 96. Does 16 divide t?
True
Let a(r) = 10*r**2 - 13*r + 1440. Is a(0) a multiple of 72?
True
Suppose 5220 = 22*b - 20*b. Is b a multiple of 45?
True
Let b be 8/(-36) + 2816/36. Suppose -b = -m + 6. Does 7 divide m?
True
Let w(m) = 92*m**2 - 23*m - 240. Is w(10) a multiple of 6?
True
Suppose 2*w - w = -4. Let t(g) = -2*g**3 + 8*g**2 - 9*g - 5. Let i(u) = -u**3 + 8*u**2 - 7*u - 5. Let j(k) = 3*i(k) - 2*t(k). Is 8 a factor of j(w)?
False
Let n be (-5 + 0)/(-1) + 1258. Let k = -597 + n. Does 18 divide k?
True
Let x(r) = 225*r**2 + 46*r - 91. Is x(-14) a multiple of 295?
True
Suppose -6*w + 8*w = 1706. Let u = 497 - w. Let h = u - -603. Does 13 divide h?
True
Let i = -97 - -105. Suppose 0 = i*u + 450 - 1546. Is u a multiple of 7?
False
Let d(p) = -365*p**2 + 2*p + 1. Let r be d(-1). Is (1 - 709/(-5))/(r/(-1220)) a multiple of 28?
True
Let k = -316 - -538. Let w(v) = -10*v**2 - 4*v - 1. Let x be w(3). Let m = k + x. Does 18 divide m?
False
Suppose -3*b = -4*w - 9, -b - 29 = -w + 5*w. Let r = -16 + 7. Does 6 divide (12 + 6)/(r/w)?
True
Suppose 0 = 216*w - 135*w - 303264. Is w a multiple of 32?
True
Let s = 423 + -392. Does 15 divide (1/7*2)/(s/51863)?
False
Let c = 48401 - 23470. Is 102 a factor of c?
False
Let c(f) = -f**3 + 43*f**2 + 9*f + 1795. Is c(42) a multiple of 13?
False
Suppose -d - c + 3254 = 0, 5*c = 27*d - 28*d + 3246. Is d a multiple of 8?
True
Suppose 14*j - 54744 = -4*i + 9*j, 12*i = -2*j + 164128. Is i a multiple of 14?
False
Suppose -66*s + 71*s = 200. Let z be 2256/s - (-6)/10. Let b = 28 + z. Is b a multiple of 4?
False
Suppose 4*n - 36236 = 4*r, 23*n = 24*n + 5*r - 9095. Does 37 divide n?
True
Is (-1 + -11)*((-93)/(-12))/((-7)/203) a multiple of 25?
False
Let w be (-40)/(-32) + 3/4. Suppose 35 = 5*f + m, w*m + 4 + 3 = f. Suppose f = 2*n - 3*b - 42, -2*b = -n + 24. Is 6 a factor of n?
False
Let z = 5 + 5. Let n be (-6)/z + (-901)/(-85). Suppose -998 = -n*b + 102. Is 10 a factor of b?
True
Let l = 4 + -458. Is -6*3/(-30) + l/(-10) a multiple of 6?
False
Suppose 3*h - 6004 = -5*m, 3*h + 2410 = 2*m + 7*h. Is m a multiple of 2?
False
Let g(a) = -a**2 + 10*a - 13. Let k be g(6). Suppose -4*w = 2*p - 16, 5*w - 9 = 4*p + k. Suppose -2*o + 59 + 13 = p. Is o a multiple of 11?
False
Suppose 25 = -6*w + 43. Suppose -108 = 3*j + w*j. Let s(v) = -12*v - 57. Does 53 divide s(j)?
True
Let f = 9256 - 9220. Does 12 divide f?
True
Let p be (-339)/15 - 2/(-25)*-5. Is 1378/((24 + p)*(2 + 0)) a multiple of 12?
False
Let p = 15240 - 8493. Does 12 divide p?
False
Let g(i) = -i**3 - 5*i**2 + 11*i - 5. Let l be g(-6). Let h(u) = -u**3 - 33*u**2 + 64*u - 3. Is 9 a factor of h(l)?
True
Suppose -4219 + 30105 = 27*o - 42478. Is o a multiple of 7?
False
Suppose -1480510 + 587485 = -405*i. Is 63 a factor of i?
True
Is (-2)/(-4) - (109038/714)/((-6)/231) a multiple of 21?
True
Suppose 0 = 3*k - 3*i - 6 - 12, -i - 3 = 0. Suppose 0 = -k*n + 9 - 3. Is 8 a factor of 66/4 - (-1)/n?
False
Does 49 divide 85/(-15)*-2307 + -1?
False
Does 20 divide 10 + 4231 + 18 - -1?
True
Suppose 3457*z - 3453*z = 3360. Is z a multiple of 4?
True
Suppose -4*q = 115 + 1. Let h = 7 - q. Is 7 a factor of h/1 - (-2 - 2)?
False
Suppose 10*z - 15*z = 0. Suppose -2*c + 258 = 5*q, 3*c + c - q - 560 = z. Is c a multiple of 53?
False
Suppose -160*x - 4666494 = -434*x. Does 65 divide x?
False
Let d(w) = -2*w**3 - 27*w**2 - 10*w + 42. Let y be d(-13). Suppose 3*s = 2*z - 53, -4*z - 143 = -9*z - y*s. Is 20 a factor of z?
False
Is (1176/(-462) - -2) + (-665512)/(-22) a multiple of 25?
True
Does 10 divide (-92)/(437/19) + 38024?
True
Suppose 4*h + 2*x + 26 = -x, 4*x - 12 = 4*h. Let z be -4*34*5/h. Suppose u + z = 5*m - 21, -5*m + 2*u = -159. Is m a multiple of 31?
True
Let i be (-147 + 148)*(-1)/(2/10). Let n(p) = -3*p**3 - 3*p**2 + 10*p + 3. Does 94 divide n(i)?
False
Let y(k) = -4*k**3 + 20*k**2 + 8*k - 21. Let b(z) = -z**3 + 5*z**2 + 2*z - 5. Let v(s) = -9*b(s) + 2*y(s). Suppose -4*f - 28 = -8*f. Is 22 a factor of v(f)?
False
Suppose -2196 = 24*h - 15*h. Let z = -219 - h. Does 5 divide z?
True
Let i = 2307 + 9747. Is i a multiple of 49?
True
Suppose 6 = -0*o + 2*o. Suppose 14 + 46 = -o*k. Is 45/3*k/(-3) a multiple of 25?
True
Let g(k) be the third derivative of k**5/60 - 5*k**4/24 - 71*k**3/6 + 5*k**2. Does 11 divide g(14)?
True
Let m(v) = -6*v**2 + 2