
False
Suppose 0 = -45*z + 50*z - 905. Suppose -3*i - z = -571. Does 13 divide i?
True
Suppose 50*b + 33919 = 160019. Does 13 divide b?
True
Let q(i) = 21 - 20 + 8*i + 2*i. Let x be q(-4). Let g = x + 60. Is 8 a factor of g?
False
Let x = -355 + 510. Is 5 a factor of x?
True
Suppose 0*y = 3*y + 5*k - 5, 5*y - 4*k = 33. Suppose -6*v = -v - 25. Suppose -5 = v*d - 0, -3*x + y*d = -26. Is 7 a factor of x?
True
Let j(x) = -2*x**3 + 7*x**2 + 5*x + 1. Let f be j(4). Suppose 5*b = -f*o + 35, -3*o = -6*o - 5*b + 17. Does 3 divide o?
True
Let m(n) be the third derivative of -5*n**2 - 1/4*n**4 + 0*n + 0 + 1/3*n**3 + 1/60*n**5. Is m(-5) a multiple of 16?
False
Suppose 3*x - 2*j - 607 = 0, 1 = 3*j - 2*j. Is 7 a factor of x?
True
Let a be (-185)/10 + 2/(-4). Let i = -10 - a. Is 6 a factor of (-18)/8*(-24)/i?
True
Suppose 4*w + 5*d - 31 = 2*d, 3*w = -5*d + 26. Let z(g) = 4*g. Does 7 divide z(w)?
True
Suppose 3*o + r - 6 = 3*r, 0 = -2*r. Let x(f) = -o*f + 3*f**2 + 2*f - 3*f - 6*f. Does 28 divide x(7)?
True
Let l = -38 - -433. Does 4 divide l?
False
Suppose 2*i = 4*s + 118, 5*i - 148 = -2*s + 207. Suppose 4*a - 427 = i. Is a a multiple of 21?
False
Let q = 992 + -493. Suppose 3*s + 202 - 575 = k, -4*s + k = -q. Is s a multiple of 14?
True
Suppose -34*w = -48357 - 31611. Is 98 a factor of w?
True
Suppose -3*k - 350 + 20 = 0. Let l = k + 276. Is l a multiple of 48?
False
Suppose -2*f = -3*r - 5 + 26, -3*f = 3*r - 6. Suppose -4*c - z + 167 = 0, -170 - 39 = -r*c - z. Is c a multiple of 14?
True
Suppose -3*f = d + 48, 6*d + 214 = d - 2*f. Let a be 2788/(-28) + (-12)/28. Let g = d - a. Is 9 a factor of g?
False
Suppose 0 = 3*n + 4*f - 430 - 2029, -f - 808 = -n. Is 78 a factor of n?
False
Let q(i) = 11*i**3 + 13*i**2 - 21*i - 3. Does 6 divide q(2)?
False
Let g be ((-12)/(-5))/(6/40). Suppose 44 = 4*m + g. Suppose -2*h = -m*h + 230. Is 15 a factor of h?
False
Suppose -5*t = -7*c + 3*c - 6327, 0 = -4*t + 5*c + 5067. Does 9 divide t?
False
Let o = -33 + 28. Let b be 105/8 - o/(-40). Suppose 4*y - 3*c - 195 = 0, y + 3*c - 17 = b. Is 15 a factor of y?
True
Let p(u) be the third derivative of u**6/120 + u**5/10 - u**4/24 - u**3/2 - 5*u**2. Let y be p(-6). Suppose -5*k + y = -147. Does 9 divide k?
False
Let x = 7 + -10. Does 15 divide 696/8 + (-2 - x)*-1?
False
Let l(y) = -y**3 - 5*y**2 - y + 2. Let z be l(-4). Let a = z - -14. Does 13 divide 24 - 5/((-10)/a)?
True
Let q = -16 - -20. Let n be q/7*(-21)/(-6). Suppose -66 = -n*v - 0. Does 11 divide v?
True
Let f(k) = -4*k - 21. Let s(y) = -y - 6. Let v be s(9). Does 11 divide f(v)?
False
Suppose 4*t + 241 + 19 = 0. Let k = t + 117. Does 7 divide k?
False
Let f(r) = -5*r + 4. Let n(p) = -10*p + 9. Let m(d) = 7*f(d) - 3*n(d). Let j be m(12). Let g = -42 - j. Is 4 a factor of g?
False
Let l = -24 + 30. Suppose -2*c - 3*w + 3 = 0, -w + l*w = 3*c - 14. Suppose 14*j - c = 13*j. Is 2 a factor of j?
False
Suppose 2*z + 117 = 5*z. Let v = 65 - z. Does 26 divide v?
True
Suppose -2*n = -10, 4*x - 94 = -4*n + 978. Does 8 divide x?
False
Suppose 263424 = 123*c - 219351. Is 130 a factor of c?
False
Let i be 3/(-15) + 261/5. Suppose 4*k = 3*r + 228, k - 2*r + 0*r = i. Suppose -5*b - 10 + k = 0. Does 10 divide b?
True
Let o be (-4)/(-22) - (753/(-33) - 4). Let t = 24 + o. Is t a multiple of 17?
True
Suppose 201 + 331 = -7*a. Let s = a + 181. Is s a multiple of 35?
True
Let r be (-102 + -2)/(-2) - 0. Suppose -r*u + 124 = -51*u. Does 20 divide u?
False
Let m(r) = 3*r**2 + 64*r + 131. Is m(19) a multiple of 15?
True
Suppose 3*i + 5*p = 6*i - 9, 0 = 3*p - 9. Is 6 a factor of i?
False
Suppose -5*p - u + 2694 = 0, -3*u - 7 = 4*u. Does 72 divide p?
False
Let j(v) = v**3 - 10*v**2 - 10*v - 16. Suppose -p + o = -o - 7, 2*o = -p + 15. Let q be j(p). Let h = q - -19. Is 7 a factor of h?
True
Suppose 51*z = 71*z - 22580. Is 82 a factor of z?
False
Let p = -47 - -47. Suppose p*s = 3*s - 75. Does 18 divide s?
False
Suppose 3*u = 12 + 3. Let f be (18/u)/(45/750). Suppose f = 11*t - 9*t. Does 15 divide t?
True
Does 14 divide -4 + -1*-64*4?
True
Let v(d) = 213*d - 50. Does 19 divide v(8)?
False
Suppose -6*t = 183 + 729. Let l = -79 - t. Is 20 a factor of l?
False
Let i(u) = 126*u - 2. Let s be i(1). Let n = -59 + s. Is 12 a factor of n?
False
Suppose l - 15 = -t - 4*l, 0 = 2*t + 3*l - 58. Let r = 99 - t. Does 32 divide r?
True
Suppose 0 = i + 4*j + 3, -i - j - 17 = -4*i. Let n(m) = 2*m**2 - 3*m - 4. Let q be n(3). Suppose -d = -q*x + d + 20, -d = i*x - 35. Does 6 divide x?
True
Let n = -455 + 1308. Is 10 a factor of n?
False
Suppose 1530 = 23*u - 8*u. Suppose 4*b - u = -2*b. Is b a multiple of 2?
False
Let b(w) be the first derivative of -w**4/4 - w**3 + w**2/2 - 9*w + 3. Let p be b(-4). Is 10 a factor of p*(44/12 + 3)?
True
Let a(s) = -s - 6. Suppose -16 = 4*m - 0*m. Let t be a(m). Is 14 a factor of t + 0/(-1) + 44?
True
Suppose -2*f - 10 = -5*z + 56, z - 96 = 4*f. Let t = 5 - f. Is 14 a factor of t?
True
Let t(q) = -q**3 + 12*q**2 + 12*q + 19. Let k be t(13). Suppose k = -2*v + 16. Suppose -34 + v = -j. Does 7 divide j?
False
Let n = 59 + -101. Let g = n + 59. Is g a multiple of 17?
True
Suppose 10*d - 22 = 38. Does 18 divide (d/(-4))/((-15)/1880)?
False
Let i = -4 + 4. Suppose 3*g - 4*n = -i*g + 4, 3*n - 8 = 5*g. Is (-144)/(g*1) - 3 a multiple of 14?
False
Let h = 489 - -306. Is 53 a factor of h?
True
Let h = -40 - -40. Suppose 5*x - 580 + 55 = h. Is x a multiple of 15?
True
Let s = 8 - 5. Suppose -s*t + 64 = -t. Is 3 a factor of t?
False
Suppose -2*z - 24 = -2*q - 318, 0 = 3*z - 5*q - 431. Does 38 divide z?
True
Let f = -238 - -531. Let q = -153 + f. Is 35 a factor of q?
True
Suppose 0*s = 5*s + 15, -4*x + s + 23 = 0. Let u(c) = c**3 - 3*c + 3. Is u(x) a multiple of 27?
False
Suppose -f = -265 - 776. Is 32 a factor of f?
False
Let a(t) = -3*t**2 - t + 6. Let d(n) = 4*n**2 - 7. Let w(c) = -3*a(c) - 2*d(c). Let u be w(-7). Let z = u + 4. Is 7 a factor of z?
True
Let x(u) = 2*u**2 - 5*u + 27. Is x(-8) a multiple of 12?
False
Let f(b) = b**3 + 10*b**2 + 21*b + 11. Let d be f(-8). Let u = d - -11. Is (-788)/u - 2/(-9) a multiple of 8?
False
Let h be 0 + 1 + -1 + 3. Let q(u) = -9 + 6*u + h - 5. Does 12 divide q(9)?
False
Let d(v) = 5*v**2 + 4*v + 10. Suppose 5*o + 11 = -4*g, 3*g + 9 = -o - 2. Let f be d(g). Suppose r + 9 = f. Is r a multiple of 22?
False
Let b(f) be the first derivative of 2*f - 1/2*f**2 + 2*f**3 - 5. Is 8 a factor of b(2)?
True
Is ((-9)/(-5))/(((-255)/200)/(-17)) a multiple of 9?
False
Let n = 26 - 19. Suppose -14 - n = -3*b. Suppose -8*s = -b*s - 84. Is 14 a factor of s?
True
Let i be (4/10)/(4/10). Does 11 divide 0 - i - (-48)/1?
False
Suppose 0 = 3*w + 9*u - 4*u - 3885, 4*w + 4*u = 5172. Does 129 divide w?
True
Suppose -5*r - 2*o + 6*o + 2915 = 0, -5*o - 562 = -r. Is 32 a factor of r?
False
Let y = -95 + 99. Suppose -301 = -4*b - q - 86, y*q - 12 = 0. Does 53 divide b?
True
Suppose -8*w + 2 = -9*w. Is 3 a factor of (-6 - -3) + (6 - w)?
False
Let d(b) = -18 + 5 - b**3 - 3*b + 8 - 9*b**2. Is d(-9) a multiple of 9?
False
Let z = 4 + 3. Let a be (-34 + -1)/(z/(-28)). Let h = -90 + a. Does 25 divide h?
True
Let v(l) = l**2 + 1. Suppose -27 - 12 = 4*g + 3*d, -3*d - 45 = 5*g. Let p(a) = 7*a**2 + a + 26. Let u(x) = g*v(x) + p(x). Is u(0) a multiple of 10?
True
Let i(b) = -b**2 + 49*b + 16. Is 29 a factor of i(23)?
False
Suppose 5*u + t = 40, 3*u = -5*t - 7 + 53. Suppose u*c - 112 = -c. Is c a multiple of 3?
False
Does 22 divide ((-69)/46)/((-3)/700)?
False
Let g(r) = r**3 - 4*r**2 + 2*r - 5. Let i be g(4). Suppose -2*j + k = -123, 2*k = i*j - 234 + 47. Suppose -5*h + j = -21. Does 4 divide h?
True
Let s be 1 + 3/(3/4). Let i = s + -2. Suppose -2*q - i*q = -120. Is q a multiple of 19?
False
Suppose 0 = -y + 2*n + 54 + 152, 5*y - 994 = -2*n. Is 20 a factor of y?
True
Let p(y) = 6*y - 43. Let k be p(8). Does 16 divide 195 + (-30)/k + 3?
True
Let r(x) be the first derivative of x**4/4 - 14*x**3/3 - 9*x**2/2 + 21*x - 6. Let f be r(15). Let q = f + -67. Is q a multiple of 10?
False
Let y = 9988 + -4486. Is 42 a factor of y?
True
Let f(z) = -z**3 - 9*z**2 + 9*z - 5. Let k be f(-10). Let r = -5 + k. Suppose r = p - 6*p + 215. Is p a multiple of 16?
False
Let g = -192 + 433. Does 48 divide g?
False
Suppose -2*a = -275 - 279. Does 25 divide a?
False
Le