 0 + 0 + 9/3. Let s be ((-18)/g)/((-4)/2). Suppose -s*f + 70 = 2*f. Does 7 divide f?
True
Suppose 0 = 3*m + 5*p - 288, -5*m - 5*p - 76 = -556. Suppose 104 + m = 5*t. Suppose 0 = -3*b - 2*g + t, 3*b - 2*g = -5 + 61. Is 8 a factor of b?
True
Let y = 0 + -37. Let r = 58 + y. Does 21 divide r?
True
Suppose w - 42 = -3*t, 3*w = 4*w + 5*t - 42. Is 1359/21 + 3/(w/4) a multiple of 13?
True
Is 89 a factor of 6414/24 + (-5)/20?
True
Suppose -m = 6*s - 4*s - 2, 2*m - 4*s = 36. Let k(d) be the third derivative of -d**6/120 + d**5/6 + d**4/12 - 11*d**3/6 + 2*d**2. Is 2 a factor of k(m)?
False
Suppose -6*j + 2*t + 1742 = -j, 0 = -2*j + 2*t + 698. Is j a multiple of 25?
False
Let u = -4 - 4. Let j = u - -11. Suppose -3*o + 53 - 3 = 5*r, -j*o + 37 = 4*r. Is r a multiple of 13?
True
Is 5 a factor of (36/(-16) - 0)/((-6)/1792)?
False
Let p(v) = v**3 - 9*v**2 + 5*v + 3. Suppose 5*m - 42 = -5*z + 8, 0 = 4*m - z - 35. Let k be p(m). Suppose 3*g = 4*g - k. Is g a multiple of 9?
False
Let a = -295 + 591. Is a a multiple of 13?
False
Let o = 80 + -72. Suppose o = -4*c + 16. Is c even?
True
Suppose -5*o + 133 + 1957 = 0. Is 38 a factor of o?
True
Suppose -5*z = -0*d + 2*d - 343, -3*d - 141 = -2*z. Suppose -20 + 10 = -2*r. Suppose -z - 66 = -r*o. Is o a multiple of 9?
True
Let u = 575 - 551. Is 3 a factor of u?
True
Let q(l) = -16*l + 120. Is 74 a factor of q(-19)?
False
Suppose -4*v + 75 = 3*t, 0 = 2*t + 2*t + 4*v - 96. Is 4 a factor of t?
False
Let a(r) = 4*r + 276. Is 42 a factor of a(-48)?
True
Let h be (72/(-32))/(1/8). Let s = h + 23. Suppose 2*i + 58 = y + 7*i, -s*y - i = -242. Does 16 divide y?
True
Let x = -31 + 37. Suppose -x*i + 119 = -5*i. Is 30 a factor of i?
False
Suppose 0 = 4*i + 3*x - 5*x - 14, 0 = -2*i - 5*x - 11. Let a be 296/185*215/2. Suppose d - 3*d - 2*o + 176 = 0, -i*d - o = -a. Is 21 a factor of d?
True
Let h(t) = 0*t + 0 - 5 + t. Let q be h(-5). Let v = 7 - q. Does 5 divide v?
False
Let j be -1 + 5 + 19/(-19). Suppose -j*y - 18 + 84 = 0. Is 7 a factor of y?
False
Let z(l) = -10*l**2 + 6*l + 5. Let t be z(6). Let j = -205 - t. Let n = j - 65. Is n a multiple of 8?
False
Let h = -29 + 3. Let p = h + 24. Is 10 a factor of (42/9)/(p/(-18))?
False
Let z(m) = m**2 + 6*m + 13. Let n be z(-7). Let p(i) = 2*i + 1. Is 8 a factor of p(n)?
False
Let p be (-11 + 3)/(3/(-123)). Suppose 0*x - 321 = -5*x + 4*o, -p = -5*x - 3*o. Does 5 divide x?
True
Suppose -40 = 2*u + 3*u. Let z = 2 - u. Is z a multiple of 8?
False
Suppose 17*a = 69*a - 42120. Is a a multiple of 9?
True
Let w = 853 + 552. Is w a multiple of 24?
False
Let u(t) = -2*t + 458. Let y be u(0). Suppose -5*q - 10 = 0, -q - y = -3*c - 0*q. Is c a multiple of 8?
True
Let r(f) = -2*f + 14. Suppose 0 = 4*y + y - 15. Suppose y*q + 13 = d - 3*d, -4*q - 8 = 2*d. Is 29 a factor of r(d)?
False
Let o be (35 + 0 + -3)*2. Does 16 divide o/3*18/8?
True
Let f be 128/6 - (-6)/(-18). Let q be (-2)/7 + 69/f. Is 18 a factor of 36*-3*q/(-18)?
True
Let z(g) = -g**3 - 26*g**2 - 4*g - 25. Does 4 divide z(-26)?
False
Let r(m) = 124*m + 2. Let g be r(1). Let i be (136/51)/(4/g). Suppose 3*w = w + 3*d + i, 4*d = -2*w + 112. Is w a multiple of 12?
True
Suppose -3*m + 89 = 3*h + 2*m, 5*m + 72 = 4*h. Let t = h - -43. Is t/30 - (-2)/(-10) a multiple of 2?
True
Suppose -3*g + 36 = 6. Is 22 a factor of (g + 1)/(6/36)?
True
Let s be 1 + 0 - (-232 - -1). Suppose m + 4*m + 897 = 4*l, 5*l - m = 1137. Suppose -z + 2*i = 4*z - s, 2*i = -5*z + l. Is z a multiple of 12?
False
Suppose -349 = 19*x - 7. Let l = -11 - -15. Is (-720)/x*l/5 a multiple of 16?
True
Let p(c) = -2*c**2 + 4*c. Let j be p(3). Let z(a) = 2*a - 18. Let t be z(j). Let x = t - -66. Is 12 a factor of x?
True
Let n be -3 + (-3 - (-18)/2). Suppose 22 + 86 = n*r. Does 18 divide r?
True
Suppose -29*a + 68717 = 7672. Is 58 a factor of a?
False
Let b(h) = h + 131. Is 3 a factor of b(19)?
True
Let n(s) = -2*s + 11. Let m be n(6). Let a(q) = -59*q - 7. Let f(r) = 30*r + 4. Let j(g) = 3*a(g) + 5*f(g). Is j(m) a multiple of 10?
False
Suppose -11*z + 9*z = -8. Suppose -z*w + 3*d + 24 = -48, 0 = -2*w + d + 36. Is w a multiple of 8?
False
Suppose -3*w = -169 - 164. Does 9 divide w + (-2)/4*6?
True
Let f(t) be the third derivative of -t**6/120 + t**5/15 + t**4/12 - 6*t**2. Is 8 a factor of f(4)?
True
Let b be (-175)/(-5)*(-20)/(-14). Let k = b + -33. Is 12 a factor of k?
False
Let y = -933 + 1319. Is 55 a factor of y?
False
Suppose 0 = -2*a + 1 + 7. Suppose a*b - 217 = -21. Is b a multiple of 8?
False
Let p(s) = 7*s + 6. Let d(b) = -6*b - 5. Let l(y) = -4*d(y) - 5*p(y). Let v be l(-5). Let x = -20 + v. Is 5 a factor of x?
True
Suppose 8*q + 31 + 9 = 0. Is (-144)/80*(0 + q) a multiple of 8?
False
Let v(a) = -a**2 - a - 7. Let h be v(-3). Let l(q) = -q**2 - 20*q - 26. Is 13 a factor of l(h)?
True
Suppose -3*b + 6 = -b. Suppose -4*l = -2*n + n - 87, 69 = b*l - 2*n. Is 7 a factor of l?
True
Let k(u) = 29*u**2 + 19*u + 36. Let r(a) = -21*a**2 - 13*a - 24. Let x(h) = -5*k(h) - 7*r(h). Let d be 18/4 + 1/2. Is 3 a factor of x(d)?
True
Let u(s) = 133*s**2 - 15*s - 24. Is 9 a factor of u(-3)?
False
Let n(v) = v**2 + 17*v - 17. Let j be n(-18). Suppose -a + 5*o - j = 0, o + 34 = 6*a - 2*a. Suppose -2*z + a + 29 = 0. Is z a multiple of 17?
False
Let y = 2047 + -1098. Does 13 divide y?
True
Let u be -3 + 0 + 3 + 2 - -44. Let t be -12*(-1 - (2 - 1)). Let x = u - t. Is x a multiple of 11?
True
Let m = 4 - 1. Suppose -79 = -m*n - 10. Suppose -4 = 2*i, -f - 4*i - n = -75. Is 15 a factor of f?
True
Suppose 12 = 2*x + 2*x. Let q = -1 + x. Suppose 5*d = q*d + 189. Does 19 divide d?
False
Let v be 5 + -11 + 3 - -15. Suppose 2*i + 1500 = v*i. Does 11 divide i?
False
Let p(z) = -33*z + 33. Let t be p(-6). Suppose 2*g = -5*g + t. Is g a multiple of 15?
False
Is (((-7)/(-3))/7)/(23/154905) a multiple of 8?
False
Let d = 25 - 16. Suppose 0 = -6*h + 3*h - d. Let b(q) = 2*q**2 + 5*q + 3. Is 3 a factor of b(h)?
True
Let g = -169 + 244. Suppose g = -12*c + 315. Is 5 a factor of c?
True
Let c = 11 - 3. Let p = 11 - c. Suppose 2*s + 76 = 5*t, s - p + 62 = 4*t. Is t a multiple of 11?
False
Let f(r) be the third derivative of r**6/120 - r**5/20 + r**4/8 - r**3 - r**2. Is f(5) a multiple of 13?
False
Suppose 4*c - 140 = -4*p, 0 = c + 2*c + 4*p - 100. Suppose 0*w = 2*a - 5*w - 62, 0 = -a - 2*w + c. Is 18 a factor of a?
True
Suppose 0*i - 1095 = -5*i - 5*g, 0 = -4*g - 20. Does 56 divide i?
True
Let m be -17 + (1 - (-2)/1). Let s = -13 - m. Let c = s - -68. Is 23 a factor of c?
True
Let x = 1276 - 791. Does 58 divide x?
False
Suppose -j = 3*f - 1311, -279*j - 3928 = -282*j - 4*f. Is 15 a factor of j?
False
Let t(a) = 40*a**2 + a + 3. Is t(-3) a multiple of 45?
True
Let m be 1894/14 - ((-10)/35)/(-1). Does 26 divide 519/2 + m/18 + -7?
True
Suppose 3*f = -3*b + 7 - 28, 4*b + 3*f = -31. Let r = 14 + b. Suppose 48 = -2*g + r*g. Is g a multiple of 12?
True
Let b = -11 + 26. Let k be (18/b)/(9/60). Let o = 15 - k. Is o a multiple of 7?
True
Let n(o) = 65*o**3 + o**2 - o + 1. Let b be n(1). Suppose 2*c - 4*c + b = -5*w, 3*w = -4*c + 106. Does 28 divide c?
True
Let m(k) be the third derivative of -k**5/60 + 5*k**4/8 - k**3/2 - 7*k**2. Let q(u) = -14*u**3 + u**2 - 1. Let x be q(-1). Is 4 a factor of m(x)?
False
Suppose 4*o - 3*o - 10 = 0. Let i be 268/10 + 2/o. Suppose -s + i + 1 = 0. Does 28 divide s?
True
Let p(t) = 9*t**2 - 7*t - 18. Is 33 a factor of p(6)?
True
Let i(j) = j**3 - 7*j**2 - 6*j + 12. Let b(k) = k**3 + 5*k**2 - 6*k + 8. Let l be b(-6). Let o be i(l). Let g = 1 + o. Does 17 divide g?
False
Suppose -3*p + 4*p = 37. Suppose -43 = -4*d + p. Is 7 a factor of d?
False
Let u = -158 - -66. Let r = 169 + u. Is r a multiple of 8?
False
Does 8 divide 61516/119 + (-12)/(-204)?
False
Suppose -4*x + 114 = -3*f + 9, 0 = -2*x + 5*f + 63. Let l = x - 21. Suppose -3*j - q + 102 = 0, l*j - 87 = 5*q + 33. Is 10 a factor of j?
False
Let u be 3 + 0 - (0 + -1). Suppose -2*q + u*c = -246, 2*q - 2*c = -q + 365. Let y = q - 71. Does 30 divide y?
False
Let p(v) = -v**3 - 15*v**2 - 15*v - 2. Suppose 50 = -4*a + 2*m, 57 = -2*a - a - 5*m. Is p(a) a multiple of 12?
True
Suppose -4*a - a = 45. Is ((-161)/(-21))/((-3)/a) a multiple of 10?
False
Let w(m) = -2*m**2 - 2*m + 109 + 0*m + 12 + m. Does 17 divide w(0)?
False
Let d be ((-26)/(-4))/((