a factor of y?
False
Let k = 1095 - -533. Suppose k + 154 = 11*f. Suppose 2*y = 4*x + f - 2, 0 = 3*y - 4*x - 250. Is y a multiple of 7?
False
Suppose 0 = 3*w + 10*w + 65. Is (-7)/(-2)*(w - -69) a multiple of 14?
True
Suppose -24*o + 96 = 432. Does 33 divide o*(-1)/((-2)/(-35))?
False
Suppose 8100 = 75*w - 84*w. Let f = -388 - w. Is f a multiple of 68?
False
Let p(i) = -347*i**2 + 9*i - 16. Let k be p(2). Let c = 2959 + k. Is 75 a factor of c?
False
Let v = 32 + -4. Suppose -2*r + v = 5*r. Suppose -7*c + r*c + 132 = 0. Is c a multiple of 11?
True
Let x be (-4 + -5)*113/(-3). Let f = x + -141. Is f a multiple of 8?
False
Suppose 3*b + 4*x - 14 = -38, x - 16 = 2*b. Is 32 a factor of 3040*-4*b/80?
True
Suppose -4*o + q + 384 = 0, -1 + 284 = 3*o - 2*q. Suppose -o*u - 762 = -100*u. Is u a multiple of 8?
False
Let a be ((-228)/(-24) - 11)/((-6)/80). Suppose a*y + 1708 = 27*y. Is 22 a factor of y?
False
Suppose 17*g = -2*g - 19. Let p(q) = 204*q**2 + 2*q + 2. Is 20 a factor of p(g)?
False
Let r = -12 - -16. Suppose r*p + a - 70 = 8*p, a = -4*p - 66. Is 29 a factor of (-1481)/(-17) - (-2)/p?
True
Let q(k) = 63*k**3 - 11*k**2 + k - 5. Let g(t) = -32*t**3 + 6*t**2 - t + 3. Let i(h) = 5*g(h) + 3*q(h). Let d be i(-1). Does 6 divide d/(-8)*(-16)/(-6)?
False
Suppose 36 = -4*p + 5*j, 2*p + 9*j + 4 = 8*j. Let o(l) = -156*l - 41. Let q(z) = -78*z - 20. Let t(r) = 6*o(r) - 11*q(r). Is t(p) a multiple of 22?
True
Let w(p) = p**3 + 5*p**2 + 10*p - 17. Let n be w(-5). Suppose -r = 21 + 25. Let v = r - n. Is 7 a factor of v?
True
Suppose 43*w = 50*w - 14. Is 10 a factor of w/12 - (-167332)/264?
False
Let z = 211715 + -120179. Is 12 a factor of z?
True
Suppose -162 = 5*b - 172. Suppose 4*p - 378 = b*p. Is 7 a factor of p?
True
Let m = -35 + 35. Let a(d) = d**2. Let n be a(m). Suppose -3*g + 14*g - 825 = n. Does 11 divide g?
False
Let t be ((3 - -3) + -3 + 2)/1. Suppose 4*h + 0*d = -t*d + 22, -4*h = 3*d - 18. Is 10 a factor of (-195)/h*(-16)/10?
False
Let i(j) = -j**2 - 41*j - 63. Let u be -1 + 5 + -39*(0 - -1). Is i(u) a multiple of 13?
False
Let v = -9425 + 20387. Is 14 a factor of v?
True
Does 6 divide 9/(78165/6510 + -12)?
True
Is 14 a factor of 2895/9*(-2016)/(-40)?
True
Suppose -2*c - 113 = 3*g - 297, 4*c - 360 = -2*g. Suppose -x + 85 = -c. Does 18 divide x?
False
Let t be 18/((-5)/(-460)*6). Is t/8 - 5/10 a multiple of 34?
True
Let m = -4131 - -10787. Is 64 a factor of m?
True
Let z(q) = -7*q**3 + 10*q**2 + 273. Is z(-11) a multiple of 144?
True
Suppose 8*f - 9095 = 4*f + 1769. Is f a multiple of 97?
True
Suppose -51*f - 9 = -54*f. Suppose f*s = 4*v + 110, 3*v + 5*s - 48 = 5*v. Let x = 53 + v. Is x a multiple of 8?
True
Is ((-4)/3)/(21/7) + (-497350)/(-63) a multiple of 73?
False
Suppose 137 = -j - 121. Let i = 430 + j. Is i a multiple of 43?
True
Suppose 2*z + 5*t - 3818 = 7454, -27*t = -5*z + 28338. Is 16 a factor of z?
False
Suppose -2*i - 3*s = -4035, -2*i + 7*i - 10081 = -s. Suppose 3*y - 903 = i. Suppose 17*l - y = -208. Does 15 divide l?
True
Suppose 0 = 4*j + 4*o + 92, -j - 3*o = 8 + 15. Let h = j + 61. Suppose 6 = 2*c - h. Is c a multiple of 18?
False
Let o be -1 + (3 - -1) + (169 - 3). Suppose 4*g + 9 = o. Is g a multiple of 9?
False
Let j(f) = 81*f + 191. Suppose 0 = -v + n - 0*n + 6, -39 = -5*v + 2*n. Does 23 divide j(v)?
True
Let z be -5 + 2/(2 - 4/3). Is 57 a factor of (-158*z/(-1))/(36/(-72))?
False
Let a = 5050 - -2193. Is a a multiple of 140?
False
Let s = -18117 + 33867. Does 25 divide s?
True
Let b be 9/(-15) + 168/30. Suppose 4*s - h - 2*h - 15 = 0, -3*s + b*h = -25. Suppose -2*m = -0*m - 3*i - 134, -3*m + i + 208 = s. Is m a multiple of 23?
False
Let t(k) = -7*k**2 + 41*k**2 - 11*k + 83*k**2 + 34*k**2 + 10. Is 3 a factor of t(1)?
True
Let f = -5213 - -9363. Is f a multiple of 166?
True
Let l(c) = -3*c**3 - 20*c**2 + 15*c + 16. Let q be l(-9). Suppose 83*i = 82*i + q. Is 56 a factor of i?
True
Let o be 110/(-33)*18/(-4). Let m = 21 + o. Does 4 divide m?
True
Let b(u) = -u**3 + 4*u**2 + u + 5. Let h be b(6). Let p = h + 71. Let k(t) = 6*t - 46. Is k(p) a multiple of 14?
True
Suppose 4*i + 5*r - 2218 = 0, 0 = 22*i - 27*i + 3*r + 2754. Is i a multiple of 65?
False
Let y(r) = 1008*r**2 + 3107*r - 4. Is 7 a factor of y(-4)?
True
Let z(k) = -16*k**3 + 4*k**2 - 4 + 4*k - 5*k + 15*k**3. Let d be z(3). Suppose 4*r + 521 = 3*l, -d*l - 5*r - 153 = -508. Is l a multiple of 21?
False
Suppose 9*f = 7*f - 172. Let m = f - -76. Does 4 divide (-8)/m + 304/95?
True
Let m be (672/896)/((-2)/104). Let s = 23 + -11. Is 25 a factor of m/18*-34 - s/(-9)?
True
Suppose 5*t - 54202 = -4*u, 2*t - 5*u - 14590 = 7071. Is 18 a factor of t?
False
Suppose 2*v = -j + 8668 + 2126, 0 = 2*j - 3*v - 21567. Does 31 divide j?
True
Suppose -72998 + 2438 = -12*c. Suppose 3*y + c = 13*y. Is y a multiple of 12?
True
Suppose 5*g - 15 = 10. Let s(c) = -2*c**2 + 6*c + 1. Let i be s(g). Is 3 a factor of i/(-4) + (-9)/12?
False
Let b be (-4)/(-40) + (-915)/150. Does 5 divide (-8)/b + -1 + (-46968)/(-171)?
True
Let z be (16/20)/(2/90). Suppose 0 = -z*c + 25*c + 275. Is c even?
False
Suppose 4*n = 5*d - 0*n + 82, 0 = 5*n + 10. Is 7 a factor of (-227)/(-3) - (-12)/d?
False
Let p be 1 + -2 + (5 - 9). Let s be 470/30 - (-1 - p/3). Suppose -s*u = -24*u + 126. Is u a multiple of 10?
False
Let j(g) = -3*g**2 - 10*g - 27. Let r be j(-7). Let h = -78 - -197. Let a = h + r. Does 3 divide a?
True
Let t be 515/35 + 2/7. Is (57/t)/((-2)/(-70)) a multiple of 10?
False
Let z = 27 + -23. Let b be -2*(-2)/z*2. Suppose 3*u = -0*o + b*o - 83, 3*o - 122 = 2*u. Is o a multiple of 6?
False
Suppose -32 = 3*h + p, 3*h = 5*h - p + 28. Let y be (0 - h/14)/(12/168). Suppose 0 = 2*z + 3*f + f - 34, -z - 3*f + y = 0. Does 3 divide z?
True
Let f = 22041 + -12199. Is 14 a factor of f?
True
Let z(v) = 1518*v**3 + 18*v**2 - 17*v - 1. Is z(1) a multiple of 65?
False
Suppose -7*s = 3254 - 377. Let a = s + 561. Is a a multiple of 50?
True
Suppose 0 = -3*a + 2*o + 21880, 21900 = 3*a + 8*o - 5*o. Is 64 a factor of a?
True
Let k(m) be the first derivative of m**3/3 + 5*m**2 + 15*m - 37. Let j be k(-5). Let q(x) = -9*x - 31. Is q(j) a multiple of 14?
False
Let y(j) = 29*j**3 - 2*j**2 - 7*j - 3. Let k(l) = -l**3 + 2*l + 1. Let n(u) = -2*k(u) - y(u). Let h = -7 - -6. Is 3 a factor of n(h)?
True
Let u = 12570 + -7582. Is 86 a factor of u?
True
Does 8 divide ((-41 - -2)*1)/(-1)*(240 + 264)?
True
Let n(h) = -3*h**3 + 2*h**2 - 2*h + 2. Let k be n(-3). Let v(i) = -i**3 - 19*i**2 - 7*i + 111. Let z be v(-18). Let q = k - z. Does 34 divide q?
False
Let g(b) = 358*b**2 - 9*b + 158. Is 19 a factor of g(11)?
True
Suppose 4*w + 4 + 86 = -t, 0 = 3*t - w + 296. Let u = 255 + t. Is u a multiple of 37?
False
Suppose 100*s - 99*s = 218. Suppose -3*v + s = -154. Does 4 divide v?
True
Suppose -3*t + 159387 = 5*m, 5*m - 4*t - 26139 = 133255. Suppose -m = -107*v + 84*v. Does 33 divide v?
True
Let l = 2125 - 1744. Is 3 a factor of l?
True
Let n(k) = -746*k - 4557. Is 53 a factor of n(-13)?
True
Suppose 52 = -40*i + 44*i. Is 936/48*(i + 1) a multiple of 21?
True
Let w = -168 + 158. Let s = 289 - w. Is s a multiple of 67?
False
Suppose 6 = 4*t - 202. Let v(m) = 60*m + 1 - 103*m + 3 + t*m. Is v(3) a multiple of 25?
False
Let w = 24926 + -16781. Suppose -20*x - 1145 = -w. Does 8 divide x?
False
Suppose -344 = -4*s + 4*p, p = 3*s - 275 + 11. Let f = -60 + s. Suppose -10*c = -f - 181. Is c a multiple of 5?
False
Suppose 0 = -3*v + 4484 + 46546. Suppose v = -3*z - 12*z. Does 5 divide (-2)/(24/z) - 6/(-4)?
False
Suppose 0*y - 5*h + 13 = 4*y, y + 2*h = 7. Let u(f) = 21. Let r(c) = c + 1. Let l(d) = y*r(d) - u(d). Is 21 a factor of l(-15)?
True
Let a be (4/6)/((-1)/(-39)). Let y be a/(-30) - -1 - (-27860)/300. Let o = -42 + y. Is 9 a factor of o?
False
Is 20 a factor of 196/(-147) + (-15433)/(-3) + -11?
False
Let q = -202 + 116. Let a = q + 613. Is 17 a factor of a?
True
Suppose 4*p - 2*j + 0 - 2 = 0, -3*p = j - 14. Suppose 9 = p*k - 0. Suppose r - 9 = n, 2*n - k*n = 3*r - 35. Does 4 divide r?
False
Suppose 2*f - 7867 = -5*n - 1103, 3*f = -9. Does 29 divide n?
False
Let y(q) = 93*q**2 + 5*q - 4. Let v(x) = -x + 5. Let g be v(0). Let c(k) = -140*k**2 - 7*k + 6. Let l(h) = g*c(h) + 8*y(h). Does 46 divide l(2)?
True
Is (-160)/280 - (-74596)/7 a multiple of 16