?
False
Let x = -28 + 38. Let w(a) = x - 11 + 17*a + 0 + 5*a**2. Does 22 divide w(-5)?
False
Let u(a) = -195*a - 1. Let c be u(-17). Suppose 7*i - c = -808. Is i a multiple of 19?
False
Suppose -22378 = -6*k - 8*k + 76854. Is k a multiple of 16?
True
Let s = 72 + -270. Is (s/(-4))/(-21*(-7)/784) a multiple of 33?
True
Let g be (0 - 2) + 3 + 0 + 2. Suppose -a + 55 = -5*q, a = 2*q - g*a + 40. Is 9979/85 + 4/q + 1 a multiple of 17?
False
Let n be (87/2 - 6)*(-188)/(-2). Suppose -2*r - 2*j = -2346, 0 = 3*r - 5*j + 6*j - n. Is 18 a factor of r?
False
Let o = -1501 - -3304. Does 35 divide o?
False
Let u(t) = 83*t**2 + 6*t + 3. Let q be -3*(16/(-12))/(-4). Does 3 divide u(q)?
False
Let n(i) = -4*i**2 + 9*i. Let r be n(1). Suppose r*j - 2*j - 3*k = 147, -5*j + 249 = -k. Is 25 a factor of j?
True
Let c(n) = -6*n + 4*n - 23 + 9*n. Let f(m) = 1. Let a(g) = c(g) - 4*f(g). Does 25 divide a(16)?
False
Let r(f) = 21*f**2 - 67*f + 296. Is r(24) a multiple of 32?
True
Let r = -2605 + 1342. Let m = r + 1939. Is 13 a factor of m?
True
Let a = 10530 - 641. Does 12 divide a?
False
Let d be (1/(-2))/(4/8). Let l(g) = -g**3 + 2*g + 1. Let k be l(d). Suppose k = 5*y - 3*y - 40. Is y a multiple of 2?
True
Suppose 67*o - 147706 = -59065. Is 21 a factor of o?
True
Does 10 divide 540/(-30)*1/((-2)/643)?
False
Let u(t) = t**3 - 5*t**2 - 5*t - 10. Let i be 7 - (1 + (-5)/(-5)). Let o = 12 - i. Does 14 divide u(o)?
False
Suppose -2*t - 26 = -5*o, -3*o - o + 4*t + 28 = 0. Suppose 0 = -l - 3*k - 57, o*k - 58 = 5*l + 284. Is 6 a factor of (-936)/l + (-6)/33?
False
Let q(l) = 202*l**2 - 30*l - 13. Is q(-11) a multiple of 10?
False
Suppose 202*l - 267287 - 692175 = -64*l. Is 5 a factor of l?
False
Suppose -199 + 655 = -8*m. Does 9 divide (-28)/(-266) - 12648/m?
False
Let k = 59 + -33. Suppose 4*c + n - k = 3*n, 3*n + 4 = -c. Suppose 226 + 54 = c*j. Does 4 divide j?
True
Let t(u) = 4*u - 20. Suppose 3*n + 0*k - k = 21, -3*k - 9 = 0. Let y be t(n). Suppose 2*b = s - 17, -5*s = -y*s - 4*b - 9. Is s a multiple of 5?
True
Suppose 5*h + 5*t + 10 = -0*h, -2*h + 11 = -t. Is 13 a factor of 1/(-1)*(1 + -184) - h?
False
Let u(s) = -s**2 - 13*s + 8. Let j be u(-12). Let c be 3*5/j*4. Suppose -4*f + 567 = -c*v, -5*f = -3*v - 493 - 212. Is 5 a factor of f?
False
Let m(i) = -29 - 4748*i + 13 + 4729*i. Let p = -25 - -18. Is 21 a factor of m(p)?
False
Let w be (-24 + 42)*(-4)/6. Does 12 divide (-3416)/(-12) - 4/(w - 0)?
False
Let c(z) = -3 + 3*z**2 - z + 5*z**2 - 5*z + 7. Let q be c(4). Suppose m - q = -4*o, 0*m = o - 3*m - 27. Is o a multiple of 12?
False
Let g = -502 + 505. Is 67 a factor of 1323 - 0/(2 + -6 + g)?
False
Suppose 20 = -4*i, 4*i + 41 - 12 = 3*m. Suppose -10*b = m*b - 1040. Does 5 divide b?
True
Let q be (1 + -2)*(-230)/10. Suppose 5693 + 1874 = q*c. Does 7 divide c?
True
Suppose o - 2*o = 2*k - 24, 0 = 2*o - 2*k - 72. Suppose 44*q - o*q = 912. Is 3 a factor of q?
False
Let w = 103629 + -47143. Does 10 divide w?
False
Let y(b) = -283*b - 233. Is 23 a factor of y(-15)?
False
Suppose 110*n = 882*n - 1733140. Is n a multiple of 5?
True
Let b be ((-53)/159)/(2/12). Is 6 a factor of (-1245)/(-10) + -7 - b/4?
False
Suppose 807*l = 797*l. Suppose 4*f - 3*f + 1114 = 3*i, 4*i - 2*f - 1484 = l. Is i a multiple of 5?
False
Let l(u) = u**3 - 17*u**2 + 16*u - 12. Let w be l(16). Is (-4)/16*w - -23 a multiple of 8?
False
Suppose 155*k - 161*k + 18600 = 0. Suppose -k = -26*q + 16*q. Does 31 divide q?
True
Is ((-4)/(-8) + -2)/(10/(-17140)) a multiple of 34?
False
Suppose -30*h + 1151 = -979. Suppose 6*j - 67 = h. Does 2 divide j?
False
Let l(b) = -b**3 - 9*b**2 - 98*b - 148. Does 44 divide l(-27)?
True
Let r = -135 - -136. Is 83 a factor of (-167 + r)*(-2 - 8)/20?
True
Suppose -h + 0 = 4*k - 23, -5*k + 25 = 0. Suppose 7 = 2*n - h. Suppose r - 170 = -4*t, -2*t + 40 + 36 = n*r. Is 4 a factor of t?
False
Suppose 19*c = -25*c + 260832. Is 38 a factor of c?
True
Let g(y) be the second derivative of y**5/10 + 4*y**4/3 - 5*y**3/3 - 59*y**2/2 - 26*y. Is g(-7) even?
False
Suppose -162*d = -102*d - 1951075 - 101885. Does 10 divide d?
False
Suppose -81 = -4*n - 61. Suppose -n*o = 61 - 86. Suppose o*x - x = 192. Is 6 a factor of x?
True
Let t be 1/(-1)*(0 - (-20)/4). Let m(c) = -19*c. Let l be m(t). Suppose 210 = 5*a - l. Is a a multiple of 17?
False
Let o be (-1 - 1)*((-4935)/42 - -9). Suppose -4*k - 140 = 112. Let g = o + k. Does 14 divide g?
True
Let k = -317 + 323. Suppose k*d + 2*d = 1048. Is 3 a factor of d?
False
Let p = 78 - 75. Let x be 0/4 + p + 14. Suppose 4*h - 5*k - x = 0, 5*k - 7*k + 10 = 4*h. Is h a multiple of 3?
True
Let p(n) = 410*n**2 + 24*n - 6. Let k be p(4). Suppose -k = -15*b - 4*b. Does 57 divide b?
False
Let y be (37/(-3) + 9)*(-3)/2. Let q = 256 + y. Is 8 a factor of q?
False
Let z = -3390 + 3702. Does 17 divide z?
False
Let b = -30625 - -68137. Is 24 a factor of b?
True
Suppose 19 = -4*g + 43. Suppose 7*z - 230 = g*z + u, -2*z = -4*u - 462. Does 9 divide z?
False
Suppose 0 = 6*u + 8*u - 16*u + 94. Does 3 divide u?
False
Suppose -251*x + 252*x - 14746 = 3*n, -3*x + 5*n = -44246. Is 108 a factor of x?
False
Let z(u) = 2*u + 40. Let a be z(-18). Is (26001/198 + a/22)*2 a multiple of 40?
False
Suppose -2*z + 25 = -5*r, r + 0*r - 3*z - 8 = 0. Let a = r - 0. Let i = 67 + a. Is 30 a factor of i?
True
Let y(j) = j - 3. Let p be y(7). Let o(i) = 2*i**2 + 16*i. Let u be o(-8). Suppose 3*d - p*w - 114 = 0, -3*w + u*w = 5*d - 219. Is 38 a factor of d?
False
Let s(q) = -77*q - 2. Let y(v) = -39*v - 1. Let h(z) = -2*s(z) + 5*y(z). Let j be h(-4). Suppose -23 - j = -2*l. Does 13 divide l?
False
Let f = -194 - -264. Suppose -f*t = -81083 + 14303. Is 7 a factor of t?
False
Is 9 a factor of (-14)/189 + (-1907401)/(-1269)?
True
Suppose 4*f - 34935 = 5*s, -80*s + 85*s + 43665 = 5*f. Is f a multiple of 45?
True
Let i(v) = -19*v**3 + 6*v**2 - 4*v - 7. Is i(-3) a multiple of 8?
False
Suppose -1902 - 123 = -5*f. Suppose -h - 369 + f = 0. Is h a multiple of 12?
True
Suppose 2*v = 3*v - 5. Suppose 4*s + 3*g - 183 = 0, 5*s = v*g + 138 + 47. Does 20 divide s?
False
Let g(r) = 127*r**2 - 3 + 11*r - 1 - 71*r**2 - 24. Let k(b) = b**2 + b + 1. Let s(h) = g(h) + k(h). Is s(2) a multiple of 12?
False
Suppose 0 = z - p - 22960, 97*z - p - 45920 = 95*z. Does 41 divide z?
True
Suppose -8596 = -4*g + 2*u, -5*u + 10715 = -13*g + 18*g. Is g a multiple of 14?
False
Suppose -739690 = -43*x - 164995. Is x a multiple of 165?
True
Suppose 0 = -h - 6, -8*r + 3*h - 2*h = -16526. Does 7 divide r?
True
Let p(u) = -3*u + 1. Let y = 17 + -18. Let f be p(y). Suppose -500 = -9*d + f*d. Is d a multiple of 20?
True
Suppose 12*r - 9*r = -3*n + 1734, -5*n = r - 2910. Suppose -3*k = 2*g - n, 5*g - 3*k - 1030 = 459. Is g a multiple of 37?
True
Let o be (4/(-14) - 0) + 3170/70. Suppose -25 + o = 4*n. Is (n + (-4 - -1))/(4/86) a multiple of 19?
False
Suppose -2*f + 52*y = 54*y - 2670, 3*f - 4005 = -5*y. Is f a multiple of 3?
True
Suppose -2*d + 16228 = -3*l, 7*l = -d + 4*l + 8132. Is d a multiple of 29?
True
Suppose 6337 = 14*y - 1041. Does 10 divide y?
False
Suppose 4 = 6*m - 5*m. Suppose -3*w - m*w + 28 = 0. Suppose -w = 4*l, -3*t + t = -3*l - 275. Is t a multiple of 7?
False
Suppose -2*q - 7 = 3*d + 23, q - 3 = 0. Let u(l) = l**3 + 12*l**2 + l + 32. Is u(d) a multiple of 20?
True
Let b = 627 + -432. Is 5 a factor of b?
True
Let i = 2579 - 2020. Is 13 a factor of i?
True
Let y(o) = -4 + 11*o - 47*o + 23*o - 3. Does 22 divide y(-26)?
False
Is 205 a factor of ((-16)/(-12))/(136/261018)?
False
Let f be -28*-2*14/8. Let b = 21856 - 21853. Suppose -314 = -b*d - f. Is 12 a factor of d?
True
Let z = -100 - -175. Suppose 39 = -2*n - 107. Let t = n + z. Is t even?
True
Let x be (-2 - 1)*5*(-1)/3. Suppose -a = b - 1448, x*b - 5*a - 7246 = -4*a. Does 69 divide b?
True
Let i(f) = f + 7. Let a be i(-4). Suppose a*j + 37 = 46. Suppose 114 = j*n - 36. Is n a multiple of 7?
False
Suppose -1335*u + 1305*u = -262560. Is u a multiple of 137?
False
Let m(a) = a**2 + 3. Let x be m(6). Does 16 divide 388/13 + (-1)/x*-6?
False
Suppose -3*b + 98 = -w - 133, 2*w = -5*b + 374. Suppose b = n - 344. Is n a multiple of 35?
True
Let o(a) = -441*a - 583. Is o(-11) a multiple of 38?
False
Let g = -21194 + 41219. Is g a multiple of 25?
True
Suppose 2*j - j = 2*j. Is 1