 - 2*a - 31 = -3, 0 = y + a + 8. Is (y - 1)/(1/(-37)) a multiple of 13?
True
Let c(k) = -10*k - 16. Suppose -2*i - 29 + 7 = 0. Is c(i) a multiple of 8?
False
Does 22 divide 3/24*2 - (-19)/((-760)/(-166470))?
False
Suppose -316 = -68*s + 64*s. Suppose 2156 = -72*w + s*w. Let d = w + -84. Is d a multiple of 14?
True
Suppose -5*y + 0*y = 35. Let r = y - -15. Suppose -5*u = r - 18. Does 2 divide u?
True
Suppose -698*v - 1276 = -y - 702*v, -3*v = 4*y - 5182. Is y a multiple of 6?
False
Let h(v) = 5*v - 56. Let x be h(13). Suppose 5*o - x*i - 1178 = -5*i, -232 = -o - i. Does 39 divide o?
True
Suppose 5*p + 16 = 4*t, 3*t = 3*p + 8 + 4. Is 11 a factor of -4 - (p + -356 + 7)?
False
Suppose -140*m + 141*m - 9 = 0. Let b(h) = -3*h**2 - 11*h - 8. Let c(i) = -4*i**2 - 12*i - 9. Let n(j) = 5*b(j) - 4*c(j). Is 3 a factor of n(m)?
False
Let z(b) = -1 - 24*b**2 - 2*b**3 - 16*b + 10 + 3*b**3 + 23. Is z(25) a multiple of 3?
False
Is (7 - 104)/(-4 + 3) a multiple of 4?
False
Let h(t) = 6*t + 39. Let q be 5/200*5 - 446/(-16). Does 5 divide h(q)?
False
Let k(f) = f**3 + 27*f**2 - 9*f + 24. Does 16 divide k(-24)?
True
Let v be (252/336)/(5/(-4))*(0 + -30). Suppose 38 = 2*w + 2*i, -3*w + 16 = i - 31. Suppose 384 = v*h - w*h. Is h a multiple of 12?
True
Let f(i) = 7*i**2 + 111*i + 1490. Is f(-40) even?
True
Let g be ((-6)/27)/((-1)/9). Let k be (-4)/18 - (-6056)/36. Suppose -g*b - m = -133, k + 19 = 3*b - m. Does 16 divide b?
True
Is 67 a factor of 12/((-5166)/5164 + 1)*(-988)/1976?
False
Does 178 divide (-1 + 30596/32*6)*(-19 - -23)?
False
Let k(w) = 2*w**3 + 11*w**2 + 6*w + 9. Let g be k(-5). Suppose 2*n = -g*m - 4, 26 = 5*n - 0*m + m. Is 17 a factor of 1/(n/(-51))*-14?
True
Suppose 4*d - 458*v + 456*v = 24388, -d = 4*v - 6079. Is d a multiple of 7?
False
Let v(t) = -19*t - 8. Let z be v(-7). Let a = 4 + z. Is 13 a factor of a?
False
Let m(l) = -l**2 + l + 1. Let k be m(3). Let b be 1 - 5/(k/4). Suppose j - b*j + s = -241, -2*s = 2*j - 118. Does 20 divide j?
True
Let b = 986 - 451. Let s = -275 + b. Is s a multiple of 10?
True
Let t(f) = -7*f**2 - 13*f - 4. Let d be t(-6). Let y = 203 + d. Is y a multiple of 8?
False
Let i = -194 - -197. Is 8 a factor of (i - 1 - -87) + (-2)/2?
True
Suppose -6*i + 4*i = -4. Suppose 2*s = -o + 6 - i, 16 = -4*s. Is o a multiple of 12?
True
Suppose d = 7*d + d. Suppose 5*h + 2*h - 623 = d. Let x = -31 + h. Is 13 a factor of x?
False
Suppose 17 = 3*p - 34. Let r(f) = f**2 - 17*f. Let w be r(p). Suppose w = 2*u + i - 78, -2*i = -3*u + 83 + 41. Is 10 a factor of u?
True
Let m = -2755 - -5051. Is 28 a factor of m?
True
Suppose 19*w - 374 - 234 = 0. Does 18 divide ((-8)/(w/30))/(13/(-390))?
False
Let v = -31 + 35. Suppose v*g = z - 82, 0 + 38 = -2*g + 2*z. Let k = -18 - g. Is k even?
False
Suppose 17*g + 1180 = -1472. Let r = g + 222. Is r a multiple of 12?
False
Let z(i) = 237*i**2 - 23*i + 27. Let w(o) = -119*o**2 + 12*o - 14. Let s(g) = 11*w(g) + 6*z(g). Does 20 divide s(2)?
False
Let h = -787 + 504. Let d = h + 410. Is 28 a factor of d?
False
Let j(s) = 350*s**2 - 6*s + 0*s**3 + 7 - 344*s**2 + s**3. Is j(-6) a multiple of 12?
False
Suppose -23 = -3*g - 2*r, -2*g + r = -16 - 11. Suppose -g*n = -16*n + 35. Suppose 0 = n*m - 9*m + 144. Is 36 a factor of m?
True
Let n(h) = 18*h + 185. Let u be n(-5). Is (-6 + 11 + 0/1)*u a multiple of 19?
True
Let i = 107 - 109. Is 18 a factor of 2 - (-1 + 1*(-85 + i))?
True
Suppose 150*z = 125*z + 161775. Is z a multiple of 9?
True
Let m(d) = 6*d + d**3 + 0*d**2 - 2 - 6*d**2 + 0*d**2. Let l be m(5). Suppose -3*a + j + 185 = 0, -110 = a - l*a + 4*j. Is a a multiple of 21?
True
Suppose 8 = 3*m + 5*q, -3*m + 20 = 2*q - 3*q. Suppose -m*a = -876 - 1014. Does 45 divide a?
True
Suppose 9 + 211 = 2*v. Let p = v - 187. Let f = p + 91. Is 6 a factor of f?
False
Suppose -2*m - 3*v + 2*v = -29196, 9*m - v = 131349. Is m a multiple of 15?
True
Let u be (-32)/(-6)*(-6)/(-8). Suppose u*i - 5*g - 280 = -g, g - 356 = -5*i. Is i a multiple of 6?
False
Let w(v) = -5*v - 4 + 12 + v + 8. Let p be w(6). Let r = 36 + p. Does 7 divide r?
True
Suppose 0 = -4*k + 59*k - 154489 - 3361. Is k a multiple of 35?
True
Let x be (-30)/(-4*(-5)/(-10)). Suppose 0 = 3*a - x, -3*a + 351 = c + 2*c. Is 5 a factor of c?
False
Suppose 130*x - 128*x + 3*m = 1740, -4340 = -5*x - 5*m. Is 54 a factor of x?
True
Suppose 5*t + 39 = -8*t. Let a(x) = -x. Let c be a(t). Suppose c*k - 15*k + 1152 = 0. Is k a multiple of 32?
True
Let k be 4*(-2)/(-6) + 1400/84. Does 7 divide 4/k - 48100/(-225)?
False
Let w(m) = 16*m + 125. Let a(l) = -20*l - 126. Let u(f) = 5*a(f) + 6*w(f). Does 7 divide u(-7)?
False
Let p(c) = 3 + 23*c - c**2 - 50*c + 3 + 32*c**3 + 25*c. Is p(3) a multiple of 18?
False
Suppose -3*b + 2*p = -p + 210, 3*p - 282 = 4*b. Let k = 77 + b. Suppose -3*j - 2*a = -k*j + 104, 0 = -2*j - 5*a + 83. Is 24 a factor of j?
False
Suppose 35*v - 164640 = -25*v. Does 49 divide v?
True
Let g be 17/(748/1488) + 4/22. Suppose 0 = -16*v + 17*v - g. Suppose 0 = 2*p, 2*p = c - v - 11. Does 9 divide c?
True
Is (-18694)/(-286) + (-20)/55 a multiple of 14?
False
Let w be -3*7/(-28) + 5067/12. Let o = w - -267. Is 23 a factor of o?
True
Let l(r) = 230*r**2 + 7*r - 113*r**2 - 114*r**2 - 14 + 4. Does 70 divide l(-20)?
True
Let r be (369/(-18))/((-1)/6). Let v = 77 - r. Let h = 81 + v. Does 9 divide h?
False
Suppose -5*q + 60720 = 3*f + 2*f, 5*q = 4*f + 60666. Does 119 divide q?
True
Let w(i) = -8*i + 9 + 8 - 8. Suppose -j - 9 = r + 5, -4*j = r + 53. Does 34 divide w(j)?
False
Let u be 22/(-55)*(-5 + 0). Suppose 2*z - 208 = 2*f, -5*z + 308 = -3*f + u. Let c = 267 + f. Does 40 divide c?
True
Let m = -689 - -1163. Is 7 a factor of m?
False
Suppose -3*z - m - 12 = -5*z, 0 = -4*z + 4*m + 28. Suppose 37 = -7*p - 26. Is 35 a factor of 4/6 + ((-4695)/p)/z?
True
Suppose 2*p - 2263 = -413. Let w = p + -157. Does 21 divide w?
False
Let t(j) = 3*j**2 - 16*j - 6. Let x = -88 + 107. Let i = 27 - x. Is t(i) a multiple of 8?
False
Is (-14625)/((-385)/44 + 8) a multiple of 130?
True
Let t be 90360/405 - (-1)/(-9). Let u = t - -134. Is 9 a factor of u?
False
Is -3*((-42416)/24 - 6) a multiple of 25?
False
Let j = -1708 - -2428. Suppose -2*k - j = -7*k. Suppose 2*u = 6*u - k. Is u a multiple of 19?
False
Suppose -60 = 24*v - 29*v. Suppose 2*c = v + 2. Does 4 divide c?
False
Let m = 9866 + -6675. Is m a multiple of 52?
False
Is 13 a factor of (-5 - -3)*-321*(-65)/(-5)?
True
Let a(w) = -w**2 - 6*w - 4. Let u be a(-4). Let r = -3451 - -3468. Suppose r*c - u*c - 299 = 0. Does 2 divide c?
False
Suppose 0 = 2*s - 5*c - 1020, 6*s + 2496 = 11*s + c. Is (-77 - -82) + (s - (-3 + 2)) a multiple of 46?
True
Suppose k - 4*p - 20 = -p, -2*k = 4*p + 10. Suppose -5*m + 3940 = k*c, -17*c + 12*c + 5*m + 3980 = 0. Is c a multiple of 36?
True
Let m(u) = -17*u - 40. Let a(r) = -22*r + 45. Let v be a(3). Does 27 divide m(v)?
False
Let d = 9347 - -2244. Is d a multiple of 57?
False
Let v be (22/6)/((8/(-60))/(-2)). Suppose 5*r + 2*l - v = 60, -115 = -5*r - 3*l. Is r a multiple of 23?
True
Is (11 + 10347 - -9) + 3/(-1) a multiple of 28?
False
Suppose 3*j + 202 = 7*i - 9*i, 2*i + 2*j = -206. Let q = 472 + i. Does 49 divide q?
False
Let o be 2 + 1 + 42/2. Suppose 3*s = 3*z - 261, -3*z + 286 = 26*s - o*s. Is 5 a factor of z?
False
Let d be (-2)/(-3) - 50/(-15). Suppose 529*g = 535*g - 12. Suppose -d*q - 4 = t, 45 - 5 = 4*t + g*q. Is t a multiple of 6?
True
Let a(u) = 22*u**2 - 15*u - 4. Let m(r) = -2*r**3 - 10*r**2 + 9*r - 16. Let q be m(-6). Is 25 a factor of a(q)?
False
Let f = 130 + -115. Does 45 divide (-5274)/f*40/(-12)?
False
Suppose -6*i + 10*i = 5*t + 2755, 0 = i + 5*t - 720. Suppose -4*y + 1837 = 5*x + 74, -2*x + i = 5*y. Does 5 divide x?
True
Let m(x) = -x**2 - 2*x + 4. Let d be m(-3). Is 61 a factor of d + 11/(-9) - (-156373)/801?
False
Suppose 1195 = 5*x - 0*x. Suppose -22*a + 2907 = -x. Does 13 divide a?
True
Let k(v) = 16*v**3 - 8*v**2 + 17*v - 8. Let l be k(4). Suppose 8*n - l = 4*n. Does 17 divide n?
False
Suppose 4*f + 6*s - 3*s = -418, 0 = 2*f + s + 210. Let a = -78 - f. Is 4 a factor of -7*(32/(-6))/(a/36)?
True
Suppose 657*y + 66 = 668*y. Let g(l) = -l + 5. Let b be g(3). Suppose b*o = y*o - 128. Is 8 a factor of o?
True
Let n be (-106 + 1)*(-4)/12. Suppose -n*z = -29*z - 720. Does 30 divide z