
True
Suppose 12*x = -0*x + 60. Suppose 4*o - 163 = -3*y, -2*o - 261 = -x*y + 2*o. Is y a multiple of 13?
False
Suppose -s - 5*d + 17 = 0, -5*s + 0 = -4*d + 2. Let m(b) = b**3 + 5*b - 3*b**3 + 4*b**2 - 4*b**s. Is m(-3) a multiple of 13?
True
Is 7 a factor of 542 + -4 + (16 - 15)?
True
Let d be ((-12)/(-15))/((-12)/(-30)). Let g be 0 - (-2)/d - -232. Is g/7 - 12/42 a multiple of 10?
False
Let m = 281 - 179. Is m a multiple of 92?
False
Let t be (-2 + 0)/((-18)/45). Suppose 2*f = -2*r + 15 - 3, 2 = 3*r - t*f. Suppose 0*d = -r*d + 120. Is 15 a factor of d?
True
Let q(m) = -3*m + 4*m - 5373*m**2 + 5376*m**2 - 1. Suppose -4 + 0 = 2*o. Is q(o) a multiple of 3?
True
Suppose -3*f + 116 = -5*w, -3*f - 2*w - 2*w = -80. Does 2 divide f?
True
Let v(c) = -6*c + 19. Let l be v(-12). Is 26 a factor of l + -13 - (1 - 1)?
True
Suppose -4*s - 5*l + 8 = 0, -2*s - 7*l = -2*l - 4. Suppose s*d = -1 - 3. Let t(r) = -45*r. Is 28 a factor of t(d)?
False
Suppose -5*n = 2*u - 36, -2*n + 4 = 3*u - 7*n. Is u/(-6)*135/(-6) a multiple of 10?
True
Suppose 9*i + f = 5*i + 3261, 2*f - 2442 = -3*i. Is 48 a factor of i?
True
Suppose -2*c + 15 = 3*c. Let u = c - -12. Does 13 divide u?
False
Let r(c) be the third derivative of c**5/12 - 5*c**4/24 - 31*c**3/6 - c**2. Is r(-6) a multiple of 33?
False
Let g be ((-78)/(-6))/((-5)/20). Let y be (-30)/((-2)/(-7) - 0). Let n = g - y. Is n a multiple of 20?
False
Let t(h) = 18*h**3 - h**2 + h. Let b be t(1). Let i = b + -44. Let q = i + 55. Is q a multiple of 11?
False
Suppose 5 = 5*b - 5*w, -3*w = -5*b + w + 6. Suppose 5*a + o - 517 = 0, 4*a + b*o = a + 306. Does 14 divide a?
False
Let w be -6*(4 - 18/4). Suppose -35 = -w*u + 13. Does 3 divide u?
False
Let j(i) = i**3 + i**2 + i - 2. Let h be j(-2). Let l(n) = -n. Let f(t) = 3*t + 9. Let k(x) = -f(x) + l(x). Is 12 a factor of k(h)?
False
Let p(x) = x**2 + 8*x - 8. Let o be p(-9). Is ((-28)/(-12))/(o/30) a multiple of 35?
True
Suppose i = -2*x - 1 - 5, 4*x = -3*i - 10. Is 1*(-2 + 6 + 8/x) a multiple of 2?
True
Let a(m) = m**3 + 12*m**2 - 11*m - 16. Let i be a(-13). Let h = -17 - i. Let z = -5 + h. Does 10 divide z?
True
Let g be -114*-2*(-3)/(-9). Suppose g = 6*u - 2*u. Let i = u + 1. Does 10 divide i?
True
Let c(b) = b**2 + 20*b**3 - 8*b**2 - 19*b**3 - 4. Let i be c(7). Let o(r) = -r**3 - 4*r**2 - 7*r - 4. Is 12 a factor of o(i)?
True
Let s be 9/(-15) + (-54)/(-15). Let z be (2 - s)/((-2)/34). Suppose -x + 4*o = -3, 0*x - z = -2*x - 3*o. Does 3 divide x?
False
Suppose 2*l + c + 0*c - 505 = 0, 2*l - c = 503. Let v = -639 - -465. Let r = l + v. Is 39 a factor of r?
True
Suppose 0 = -2*t + 7*t + 20. Let n(f) = f**3 + 3*f**2 - 3*f + 5. Let g be n(t). Does 22 divide (33/(-6))/(g/(-10))?
False
Let f be (0 + 2/4)*(0 + 0). Suppose f = 2*t - 52 + 28. Is t a multiple of 2?
True
Suppose 2*u = 3*n + 22, 2*n + 17 = -n + u. Let k be 2 + 1/((-2)/n). Suppose -3*h = -m + 34, -4*m - k*h + 100 = -7*h. Is m a multiple of 11?
True
Let y(w) = w + 14. Suppose -33 = 5*h + 2. Let g be y(h). Suppose 264 - 908 = -g*u. Is u a multiple of 22?
False
Suppose -35*n + 30100 = 8*n. Does 28 divide n?
True
Let u(b) = b**3 - 6*b**2 + 2*b - 5. Let k be u(6). Let y = -33 - -31. Does 7 divide y/(-4)*2*k?
True
Let i(v) = v**3 - 9*v**2 + 6*v - 3. Let j be i(9). Let o = j + -39. Does 6 divide o?
True
Suppose -480 = x - 5*x. Does 30 divide x?
True
Suppose 52 = 7*s - 326. Is s a multiple of 6?
True
Suppose 1 = g - 1. Suppose -g*a - 20 + 138 = 0. Let z = a + -23. Is 12 a factor of z?
True
Let t(s) = -s - 5. Let p be t(-5). Suppose p = j + a + 66, 3*a - 278 = 5*j - j. Let v = j + 102. Is 17 a factor of v?
True
Let q be (-25)/4 + 8/32. Is 789/9 + (4/q - 0) a multiple of 16?
False
Let r = -1226 + 1807. Is r a multiple of 10?
False
Let j be 548/10 + 30/25 + -1. Suppose 4*d = -4*t + 148, 4*d - 218 + j = -t. Is d a multiple of 21?
True
Suppose -4*q = 7*c - 12*c + 1060, -4*q = c - 236. Does 34 divide c?
False
Let t be ((-2)/(-6))/((-13)/(-6591)). Suppose -3*f + 0*k + 103 = k, -4*f + 5*k = -t. Is f a multiple of 12?
True
Is 10944/42 - (0 - 4/(-7)) a multiple of 10?
True
Let w(g) = -52*g + 100. Is 8 a factor of w(-4)?
False
Suppose -4*a + 5 = -5*n, 0*n - 4*n - 4*a - 40 = 0. Let u(q) = -24*q - 14. Does 42 divide u(n)?
False
Let p be (-316)/(-6)*51/(-17). Let s = 304 + p. Is 7 a factor of s?
False
Suppose 0 = -2*n - 2*d + 356, 3*n + 3*d = -2*n + 884. Is 8 a factor of n?
False
Let x(r) = 25*r - 81. Let f be x(14). Let t = 68 + f. Does 13 divide t?
False
Let f(l) = l**3 + 9*l**2 + 9*l + 10. Let r be f(-8). Let u(a) = -34 + 47*a**2 + 2*a + 33 + 43*a**r. Does 12 divide u(1)?
False
Let t = 370 - 123. Does 13 divide t?
True
Suppose r + q + 1 = 104, 2*q = 2*r - 186. Is 3 a factor of r?
False
Let s be (-2 - -1) + -4 + 7. Suppose s*o = o - 28. Does 16 divide (-903)/o - (-1)/(-4)?
True
Let c(s) = -s**3 + 16*s**2 - 10*s - 29. Is c(7) a multiple of 9?
True
Let v(a) = 2*a - 5. Let h(o) = -o**2 + 7*o - 3. Let u be h(5). Is v(u) a multiple of 3?
True
Let p = 2271 + -2259. Is 4 a factor of p?
True
Does 18 divide (-27703)/(-65) + -5 - 4/(-5)?
False
Let d = -121 - -116. Is -5 + (-1085)/d + 3 a multiple of 24?
False
Let k(l) = l**3 + 7*l**2 - l + 4. Let m(z) = -3 + 0*z + 5*z + 6 - 4*z. Let f be m(-7). Does 28 divide k(f)?
True
Let c(q) = 33*q**2 - 2*q - 18. Does 6 divide c(4)?
False
Let l be 0 - ((-150)/(-9))/(4/6). Let r = 111 + l. Does 8 divide r?
False
Let d = -21 + 21. Suppose 400 = 4*g - d*g. Is g a multiple of 25?
True
Suppose 5*x - 710 = -4*j - 0*x, -5*j = -3*x - 869. Is 35 a factor of j?
True
Suppose -10*w - 281 = -21541. Is w a multiple of 24?
False
Let c be ((-39)/15 - -3)*5. Suppose 4*u - 22 = 4*h + c, h + 3*u - 2 = 0. Let i = h - -36. Is 7 a factor of i?
False
Suppose -2*g + 10 = 2*m, 4*g + 3*m = 2*m + 11. Does 15 divide g/(-6) + 3222/27?
False
Let s be (-21)/7 - (47 + 0). Let n = s - -117. Let k = 112 - n. Does 13 divide k?
False
Let w = 21 + -14. Suppose 542 - 3 = w*a. Is a a multiple of 22?
False
Is 120 a factor of -1 - ((-4)/(-3 + 5) - 2279)?
True
Let k(m) = 3*m**2 - 6*m + 5. Let x(i) = i**2 + 5*i - 1. Let j be x(-4). Let d = j + 10. Is 18 a factor of k(d)?
False
Let a(z) = 68*z**2 - 15*z + 20. Is a(2) a multiple of 3?
False
Let v(a) = -a - 2. Let x be v(-6). Suppose 2*c - 8 + 4 = 0, 0 = 3*t + 4*c - 116. Suppose t = x*j + 4*u - 0, 5*u + 55 = 5*j. Does 10 divide j?
True
Let j be (3/9)/((-2)/(-12)). Let a be (j/3)/(6/189). Let u = a - 11. Is 6 a factor of u?
False
Suppose -x + 9612 = 4*l, -4*l + 4*x - x + 9628 = 0. Let u = 508 - l. Is 4/(-14) + u/(-21) a multiple of 18?
True
Let g(b) be the third derivative of b**5/120 + 5*b**4/6 + 5*b**3/6 - 2*b**2. Let v(i) be the first derivative of g(i). Is 5 a factor of v(-12)?
False
Let x = -661 - -1472. Does 40 divide x?
False
Suppose 78 = 3*h + 2*p + 9, -3*h = 4*p - 69. Let g = 30 - h. Does 7 divide g?
True
Let a = 798 + -558. Is a a multiple of 8?
True
Suppose f - 2*f + 1 = 0. Let l = 3 - f. Suppose -l*y = h - 3, 2*h - 7*h = -y - 48. Is 3 a factor of h?
True
Let w = -10 + 12. Suppose -5*t + 161 = -4*v + 7*v, -5*v - w*t + 243 = 0. Is 15 a factor of v?
False
Suppose r = 7*r - 6. Is (-80)/(-32)*(r + 1) a multiple of 5?
True
Let z = -36 - -36. Suppose z = -13*k + 73 + 330. Does 12 divide k?
False
Let p = 0 + 2. Suppose c = -3*m - 205, 82 + 123 = -c - p*m. Is 4 a factor of 1/6 - c/30?
False
Suppose -3*r + r + 22 = 0. Suppose 2*k - 63 = 107. Suppose -a = r - k. Is 21 a factor of a?
False
Does 10 divide (-112868)/29*((-20)/8 + 2)?
False
Suppose -k = -5 - 2. Is 14 a factor of 2/k - 7524/(-77)?
True
Let z be (-1641)/4 + 10/40. Let j be (6/4)/((-15)/z). Suppose 0 = 3*y + 2 - j. Does 2 divide y?
False
Suppose 8*f = -2888 + 6976. Does 13 divide f?
False
Suppose -11*v + 2*b + 2048 = -6*v, 5*v = 5*b + 2045. Is 11 a factor of v?
False
Suppose 2*i + 2 = -6. Let u(t) = -t**3 - t**2 + 3*t + 12. Is 6 a factor of u(i)?
True
Suppose 22 = 2*t - 58. Suppose 2*n + 3*n = -t. Let b = 0 - n. Is b a multiple of 5?
False
Suppose 34 = z - 14. Suppose z = s + s. Suppose t = -k + 8, 5*t = k - 2*k + s. Is 3 a factor of k?
False
Suppose 2237 = 4*y + 3*r, -6*r + 3555 = 4*y + 1309. Is 57 a factor of y?
False
Let t be 2/(-6) + 13/3. Let k(n) = -2*n**2 - 3*n + 6. Let d(i) = 6*i**2 + 8*i - 17. Let h(j) = 6*d(j) + 17*k(j). Is 20 a factor of