 t. Does 13 divide r?
True
Let v be 1 + -13*(2 + -14). Suppose -v = -p - 40. Suppose -12*s + p = -9*s. Is s a multiple of 20?
False
Let l = 99 + -98. Does 22 divide (12/(-9) + l)/(6/(-2358))?
False
Suppose -6*m + 535 = -617. Is 14 a factor of m?
False
Suppose 862 = 3*k + 2*h - 1937, 1847 = 2*k - 5*h. Does 7 divide k?
True
Suppose -j - 2*t = -2114, 9*j - 6*j + 5*t = 6347. Does 11 divide j?
False
Let p = 1215 + -1203. Is p a multiple of 6?
True
Does 20 divide 88 - (-108)/(-9 + -3)?
False
Suppose 3*o + 8 = -o, -2*r + 2*o + 4 = 0. Suppose p + r = 2. Suppose 5*i = p*i + 198. Does 22 divide i?
True
Suppose 0 = 5*b + 20, o - 114*b - 314 = -118*b. Is 23 a factor of o?
False
Let z be 4/(-6)*(1 - -2). Let f be 3/((-5)/z + -1). Suppose 4*l = -f*d + 50, -d + 29 = -0*d + l. Does 11 divide d?
True
Suppose 31*g - 38*g + 371 = 0. Is g a multiple of 28?
False
Suppose 4*r - 1179 + 225 = 2*k, -5*k = -3*r + 712. Let t = r + -164. Does 18 divide t?
False
Let g = -2 - -7. Let r = 3 - g. Is 16 a factor of r/(-3) + (-148)/(-3)?
False
Suppose 0 = 4*w - 4*v - 120, 32 + 28 = 2*w - v. Let x = w - 25. Suppose -4*c - x*n = -0*c - 87, -5*c = -n - 145. Is c a multiple of 17?
False
Suppose -6*d = -3*d - 171. Suppose 3*b + 0 = d. Does 19 divide b?
True
Let b = -255 - -591. Does 21 divide b?
True
Suppose -3*m - 13 = 5. Let y(o) = -5*o - 12. Let a be y(m). Suppose a = 2*q + 2*i, 4*q - 14 - 17 = i. Does 7 divide q?
False
Suppose 5*o = -4*j + 970, j + o = 219 + 23. Is 12 a factor of j?
True
Suppose 4*n + 186 = 2*w + 592, -1 = -w. Is 15 a factor of -1 - (2 + (-30)/9)*n?
True
Let n(h) = -11*h - 16. Does 39 divide n(-5)?
True
Let r(d) = 2*d**3 + 64*d**2 + 46*d + 178. Is 7 a factor of r(-31)?
False
Suppose -2*u + 9*o = 8*o - 419, -o = -4*u + 839. Does 35 divide u?
True
Suppose 26*y = 19*y + 6552. Does 72 divide y?
True
Is (900*8)/10 - 10 a multiple of 5?
True
Suppose 86*p = 110*p - 48000. Does 52 divide p?
False
Suppose 9*z - 22 = 122. Suppose -4*w - z = 0, -717 = -5*q + 4*w + 354. Is q a multiple of 17?
False
Suppose -4*u + 116 = 4*s - 2*s, -2*s + 4*u = -100. Is 6 a factor of s?
True
Suppose -8*x = -7*x - 2. Suppose 257 - 60 = 3*o + x*n, -o + 5*n + 94 = 0. Is 16 a factor of o?
False
Let t be -18*(-4)/(8/5). Is 485/t + 4/18 a multiple of 5?
False
Suppose -2*y - 2 = o + 2, 4*y + 20 = 4*o. Is 2 a factor of o/6 - 304/(-24)?
False
Suppose 86 = -s - 108. Let d = -75 + 72. Is d/(-4) + s/(-8) a multiple of 9?
False
Let n = -59 - -89. Suppose -c + 5*c = 5*s - n, 5*c = -5*s + 30. Is 5 + s/3 - -2 a multiple of 3?
True
Does 35 divide 5166/(-164)*140/(-6)?
True
Suppose 0 = l - 0*l - 462. Let a = -234 + l. Is a a multiple of 8?
False
Suppose 0 = 3*g + 5*h - 776, g - 3*h - 549 = -g. Suppose 0 = -32*a + 33*a - g. Is a a multiple of 57?
False
Suppose 0 = -4*f - 16, 2*v - f - 1 = 3*v. Let m be v + (0 - (-1 - -1)). Suppose -144 = -m*z - 3*j, -z = -2*z + 3*j + 36. Is z a multiple of 9?
True
Suppose -q - 300 = -3*q. Let x = q + -62. Is x a multiple of 11?
True
Suppose -2*k - 5*m = -167, 2*m + 240 = -5*k + 647. Suppose q = -2*h - 2*q + 36, -5*h - 3*q = -k. Does 15 divide h?
True
Let o = 13 - 7. Let g = 8 - o. Is 22 a factor of (-1)/(g/(-140)) - -2?
False
Let y be (-2)/5 + (-8)/(-20). Suppose 0 = -y*o + 3*o + 9, -t = -5*o - 45. Does 8 divide t?
False
Suppose 0 = 32*s - 22198 - 16202. Is 80 a factor of s?
True
Does 31 divide ((-255)/35)/((-9)/63)?
False
Let n(b) = -3*b**2 - 2*b + 7. Let i be n(-5). Let m = -18 - i. Does 8 divide m?
True
Suppose 26*l - 6*l = 58240. Is l a multiple of 14?
True
Let r(o) be the second derivative of 0 + 7/2*o**2 - 3*o - 1/12*o**4 - o**3. Is r(-6) a multiple of 7?
True
Let w be 4376/30 - (-28)/210. Suppose 3*c + c - j = w, -3*c - j = -106. Let r = -3 + c. Is r a multiple of 10?
False
Let m = -3248 - -4550. Does 33 divide m?
False
Suppose -5*f = -4*f - 120. Suppose -10*t = -0*t - f. Is t a multiple of 3?
True
Let i(v) = 9*v + 42. Let c(r) = -r. Let f(z) = 12*c(z) + i(z). Is 21 a factor of f(0)?
True
Let j(m) = -12*m**2 + 10*m - 38. Let k be j(4). Let t = -123 - k. Is t a multiple of 16?
False
Suppose -3*s = -5*a + 15, 3*a - 7*a = -3*s - 15. Let o be a + (-12)/(-2)*10. Suppose 0 = 5*k - 4*v - 132, 2 + o = 2*k + 3*v. Is k a multiple of 10?
False
Let o be (-3 + 4 - 8) + 3. Is 11 a factor of (66/(-4) + 2)*o?
False
Suppose -14*v + 13*v + 8 = 0. Is 13 a factor of 169 + v/(-2) + 2 + 2?
True
Suppose 4*x - 5*h - 1885 = 0, 5*x - 5*h = 1445 + 915. Does 19 divide x?
True
Let u(s) = -11*s + 24. Let i be u(8). Let z = -2 - i. Does 19 divide z?
False
Let d(n) = -18*n + 13. Let b be d(-8). Suppose 7*i - b = 235. Is 7 a factor of i?
True
Let w(f) = 7*f**2 + 2*f - 2. Let d be ((-45)/30)/((-1)/(-2)). Let u be 5 + d/6*6. Is 29 a factor of w(u)?
False
Let j(h) = -h**3 - 4*h**2 + 9*h + 2. Let t be j(-6). Let w = t + -18. Suppose f - w*f - 2*u + 93 = 0, u - 344 = -4*f. Is 28 a factor of f?
False
Let x = 1084 + -502. Let a = x - 413. Is 13 a factor of a?
True
Is 1*-47*(-4698)/87 a multiple of 94?
True
Is 14/1*252/7 a multiple of 36?
True
Suppose -494 = -20*x + 19*x. Is x a multiple of 13?
True
Suppose -5*x - 548 = 4*g, 4*x = -4*g - 370 - 66. Let k = x + 173. Is 11 a factor of k?
False
Let a(o) = -27*o - 119. Does 16 divide a(-6)?
False
Is (-7663)/158*(-3)/((-3)/(-2)) a multiple of 36?
False
Suppose 9*d - 5*d - 12 = 0. Let f be (4/(-3))/((-2)/d). Suppose -28 - 28 = -f*o. Does 7 divide o?
True
Suppose -5*b - 5*d = 15, 4*b - 29 + 1 = 4*d. Let a = 1 - -2. Suppose -4 = a*v + 2*z, 2*v = b*z + 3*z + 29. Is 2 a factor of v?
True
Let s(j) = j**3 - 5*j**2 - 4. Let b be s(3). Let l = b - -38. Is 8 a factor of l?
True
Suppose 0*d = 6*d - 648. Is 6 a factor of d?
True
Is 2 a factor of 142 + 8 + (-11 - -1)?
True
Let g(d) = 5*d**2 - 1. Let f = 160 + -162. Is g(f) a multiple of 4?
False
Let y = -101 - -33. Does 16 divide 6 + 0 + -4 - y?
False
Let a(n) = 60*n**2 - 18*n + 45. Does 23 divide a(3)?
False
Let c(n) = n**3 - 13*n**2 - 6*n + 5. Is 18 a factor of c(14)?
False
Let t(a) be the third derivative of -a**6/120 + a**5/10 + a**4/3 + a**3/2 + 10*a**2. Is t(7) a multiple of 2?
True
Let t(u) be the third derivative of 7*u**5/60 + u**4/3 + u**3/6 + 4*u**2 + 3*u. Let n be 2/(1/5*-2). Is t(n) a multiple of 36?
False
Is ((-3)/(-24)*222)/((-8)/(-64)) a multiple of 3?
True
Let x be (3 + -4)*3/((-9)/(-42)). Let j(f) = -5*f + 9. Is j(x) a multiple of 9?
False
Suppose 8*t - 9*t = -319. Is 29 a factor of t?
True
Suppose 23*q - 5112 = 14*q. Is 71 a factor of q?
True
Suppose 5*y + 31 = 2*m, 2*y + 25 - 3 = 4*m. Is m/(-21) - 19164/(-84) a multiple of 57?
True
Suppose d = -3*d - 8. Let g be 1 - 3 - (-16 - d). Is 10 a factor of 8*5*g/8?
True
Suppose -187 = -4*t - 3*x, x + 43 = 4*t - 124. Is t even?
False
Let p(w) = -39*w**3 + 2*w**2 + 7*w + 2. Let j be p(-2). Is (-30)/4*j/(-21) a multiple of 22?
True
Let w = 6 + -11. Let u be (w/(-3))/(4/(-12)). Does 11 divide (-126)/u + (-1)/5?
False
Let d(f) = -f**3 - 4*f - 2. Suppose 0 = -5*o - 7 - 38. Let x = -13 - o. Is 24 a factor of d(x)?
False
Let x = 1521 + -847. Is 19 a factor of x?
False
Let d(r) = 22*r**2 - 5*r + 13. Let v be d(2). Suppose 4*o + v = 399. Is 11 a factor of o?
True
Let x be ((-7)/(-14))/(1/(-30)). Does 8 divide (2 - 102)*6/x?
True
Suppose 0 = -2*z - 14*z + 9680. Does 8 divide z?
False
Let t = -8 + 10. Suppose -3*k + 480 = t*k. Is 12 a factor of k*2/(-9)*-3?
False
Let y(d) = d**3 - d**2 + 1. Let c(s) = -6*s**3 - 2*s**2 + 6*s + 11. Let m(u) = -c(u) - 5*y(u). Is 11 a factor of m(-7)?
False
Does 8 divide 600/2 + 7 + -3?
True
Suppose 96*k = 101*k + 20, -4*p = k - 4956. Is p a multiple of 61?
False
Let v be 1/((-6)/10)*-3. Suppose -2*b + 32 + 3 = -v*h, 2*h + 32 = 2*b. Is 3 a factor of b?
True
Suppose -20 = 3*x - 4*x. Let s = x + 41. Let o = s + -42. Is o a multiple of 19?
True
Let q(s) = 4*s**3 + 9*s + 3 - 14 - 3*s**3 + 9*s**2. Let b be q(-8). Let d = 30 - b. Does 16 divide d?
False
Suppose 5*t + 29*n - 1023 = 33*n, -1009 = -5*t - 3*n. Does 7 divide t?
True
Let g = 3338 + -853. Does 35 divide g?
True
Does 37 divide (-1 - 32)/((-3)/675*5)?
False
Let w be ((-4)/(-5)*3)/((-5)/(-150)). Is (18/24 - (-22)/24)*w a multiple of 24?
True
Suppose -3*g = -485 - 508. Is g a multiple of 8?
False
Let r = 1271 - 669. Is 45 a factor of r?
False
Let i(o) = 2*o + 22. Let t be i(-10). Is -134*(3 + -