*i. Does 13 divide z(i)?
False
Suppose -10*b + 11*b = 2*h + 37, 4*h - 7 = -b. Is b a multiple of 3?
True
Let w = -1708 - -1895. Is w a multiple of 3?
False
Suppose -8 = -3*n - n. Let a be (n - (-2 + 0)) + 37. Suppose 2*s - 5 = a. Is 23 a factor of s?
True
Let k = -12 + 48. Is 12 a factor of k?
True
Let b(a) = 8 + 2 + 5*a + 12 + 9*a**2 - 6*a**2. Is b(-6) a multiple of 10?
True
Let p(x) = -x + 4. Let h be p(2). Let c(q) = 4 - 2 + 10*q - 14*q + h + q**3 - 7*q**2. Does 6 divide c(8)?
True
Suppose 11*j - 41*j = -7050. Does 3 divide j?
False
Suppose 11*h - 6*h - 1295 = 0. Is 18 a factor of h?
False
Let x(b) = 114*b**2 + 9*b + 20. Is x(-2) a multiple of 7?
False
Let l(i) = 3*i - 12. Suppose -12*m + 13*m = 4. Let k be l(m). Let q(v) = -v + 62. Is 29 a factor of q(k)?
False
Suppose -5*t = -5*a + 5495, -a + 1109 = 3*t + t. Is a a multiple of 6?
False
Let d be 4/(-8) + (-21)/(-6). Suppose g + 4*u = -6, -g + d*u + u = 14. Is 14 a factor of (-6)/(13/g - -1)?
False
Let y = 389 + -241. Does 37 divide y?
True
Let y(q) = -q**3 + 2*q**2 - 3*q + 3. Let z(j) = j**3 - 3*j**2 + 3*j - 3. Let a(u) = -3*y(u) - 2*z(u). Let l be a(-3). Let p = -11 - l. Does 6 divide p?
False
Let o(b) be the second derivative of 5*b**6/12 + b**5/30 - b**3/6 + 5*b**2/2 + 3*b. Let x(v) be the first derivative of o(v). Is 11 a factor of x(1)?
False
Suppose -2*c = -3*r + 8*r - 1482, 3*r = -2*c + 890. Does 8 divide r?
True
Let x(c) = 42*c**2 - 2*c + 12. Is x(4) a multiple of 13?
True
Let b(f) = -2*f**3 - 9*f**2 + 3*f - 8. Let i(a) = -a**3 - 9*a**2 + 2*a - 8. Let w(s) = -2*b(s) + 3*i(s). Let c be w(9). Is (-12)/(-2 - c/6) a multiple of 15?
False
Is (-2 + 3)/(-8 - (-76044)/9504) a multiple of 72?
True
Let q(k) = -2*k + 14. Let h be q(6). Suppose 3*j + 18 = -h*f, 2*j + 4 = -f - 7. Is 6 a factor of 11/(j/(-8) - 0)?
False
Let k(p) = p**3 + 22*p**2 - p + 5. Let q be k(-22). Let l = -10 - -14. Let s = q - l. Does 8 divide s?
False
Let s = 1714 + -664. Does 35 divide s?
True
Let b(w) = 37*w**2 + 9*w - 74. Is 15 a factor of b(4)?
False
Suppose -5*i + 5*z = -715, 2*z - 2 = 3*i - 428. Is 5 a factor of i?
True
Let z(g) = -4*g**3 - 2*g**2 - 4*g - 3. Let d be z(-1). Suppose 0 = d*q + 9, -5*b - 4*q = -1233. Is 29 a factor of b?
False
Does 6 divide ((-164)/(-41))/((-2)/(-57))?
True
Let o = 464 - -315. Is o a multiple of 5?
False
Let i(f) = -f + 7. Let v be i(5). Suppose -5*z = -2*z + v*r - 80, -3*z + 4*r = -92. Is z a multiple of 4?
True
Suppose 5*x + 347 = -3*j + 2270, 1260 = 2*j - 4*x. Is j a multiple of 53?
True
Let w be (-4 - -3 - -1)/((-6)/(-2)). Suppose 3*b + 2*n - 51 = w, -3*b = b - 2*n - 68. Is b a multiple of 7?
False
Let s(c) = -2*c - 2*c - 11*c + 17*c - 7. Does 6 divide s(10)?
False
Let i(m) = m. Let q be i(-5). Let w be (-6)/24 + q/(-4). Does 11 divide (-44)/(-2 - 2)*w?
True
Let r = 9 + -11. Does 4 divide (-21)/r + (-6)/4?
False
Let l(b) = b**3 + 6*b**2 + 3*b - 2. Let c be (2/5)/(1/(-10)). Let w be l(c). Is 3 a factor of (-2)/(0 - 3/w)?
True
Suppose 0 = 3*v + b - 78, 0 = 4*v - b - 106 + 9. Let g = -2 + 6. Suppose n - v = -g*n. Is n a multiple of 4?
False
Let v = 635 - -962. Suppose 0 = -5*x - 2*j - 220 + v, 2*j = -3*x + 827. Is 55 a factor of x?
True
Suppose -115*i + 90*i = -61875. Does 33 divide i?
True
Let x = 20 - -55. Suppose -x = -3*j - 2*j. Does 7 divide j?
False
Let o = -827 - -1262. Suppose -q = -6*q + o. Does 9 divide q?
False
Suppose 96*j + 2805 = 101*j. Is j a multiple of 25?
False
Let v(w) be the first derivative of 1/4*w**4 - 5 - w - 4/3*w**3 + 0*w**2. Is v(5) a multiple of 12?
True
Suppose 462*c - 460*c - 1768 = 0. Is c a multiple of 13?
True
Suppose 4*a = 3*a. Suppose -f + 65 = -a*f. Does 8 divide f?
False
Suppose 2*b - 90 = 4*z, b + z - 14 = 22. Is 16 a factor of b?
False
Suppose 36 = j - 3*b, 5*j + 4*b - 124 + 20 = 0. Does 15 divide 4230/j + (-3)/12?
False
Let y be (-3288)/56 + 4/(-14)*1. Let n = y + 83. Does 3 divide n?
True
Let m = -3 - -3. Let n be (-3)/(-4 + (5 - m)). Let d = 22 + n. Is 4 a factor of d?
False
Is 27 a factor of ((-12)/10)/(10 - 1276030/127600)?
False
Suppose u + 2239 = 5*i, 4*u - 499 = -2*i + 401. Does 56 divide i?
True
Suppose 1285 = 5*y - 315. Is 10 a factor of y?
True
Suppose l = 5*v - 315, v + 4*l = 32 + 52. Let u = 124 - v. Does 12 divide u?
True
Let v = 137 - 119. Is v a multiple of 6?
True
Suppose 3*f = 48 - 39. Let y(s) = 6*s + 7. Is 5 a factor of y(f)?
True
Let t(p) = p**3 + 7*p**2 - 11. Let i be t(-8). Let k be i/(-10)*(-16)/(-10). Is (-12)/(-2 + 16/k) a multiple of 6?
True
Let d be (8 + -4 + -3)/((-2)/(-92)). Let l be (-1 - 0 - 17) + 2. Let k = l + d. Does 10 divide k?
True
Suppose 2*r - r = -4*n, -3*n = r. Is 6/8 + 193/4 + n a multiple of 11?
False
Let h(j) = -j + 3. Let s be h(1). Let b(n) = s + n**2 - 3 - 14*n + 22*n. Does 4 divide b(-10)?
False
Is 22 a factor of (-990)/((-11)/(-4)*-2 - -4)?
True
Is (5 - 5) + -6 - -198 a multiple of 16?
True
Let c be (6/7)/(24/112). Let n be 2824/44 - c/22. Is 15 a factor of -1 - n/1*-1?
False
Let a be (-14)/(-28) + 2/(-4). Suppose a = -0*m - m + 38. Is m a multiple of 19?
True
Let t(l) = -l**3 - 7*l**2 - 7*l + 12. Let q be t(-6). Suppose q = 6*c - 60. Does 7 divide c?
False
Let c(i) = 2*i**3 - 9*i**2 - 2*i - 12. Does 35 divide c(8)?
True
Suppose 62 = -4*p + 2. Let k = p + 13. Is (-1 - k) + -2 + 49 a multiple of 16?
True
Suppose -s = 2*h - 874, 0*h = 4*h + 4*s - 1740. Does 38 divide h?
False
Suppose 4*u - 47 = -5*x, -x - x + u + 24 = 0. Let t = x + -8. Suppose 3*d - 7 - 139 = 5*z, -54 = -d + t*z. Is d a multiple of 14?
True
Suppose -9*c - 102 = -39. Let x = c - -140. Is x a multiple of 19?
True
Let q(h) be the third derivative of h**6 - h**5/60 - h**4/24 + h**3/6 + 43*h**2. Does 17 divide q(1)?
True
Let r(m) = -m**2 + 8*m + 2. Let f be r(8). Suppose 4*z + f*k = 148, 4*z + 0*z - k - 142 = 0. Does 12 divide z?
True
Let v be -1 + 0 - (3 + -4). Suppose 0 = -3*l - v*l + 162. Does 18 divide l?
True
Suppose 0 = 4*n + 81 - 477. Suppose 75 = 2*l + o, 4*l - o + n - 264 = 0. Is l a multiple of 33?
False
Let m(z) = -3*z - 3. Let i be m(-4). Suppose i*y = 264 + 438. Does 16 divide y?
False
Suppose 23 = 2*q + 3. Is ((-1 + -9)/1)/((-1)/q) a multiple of 50?
True
Suppose -5*a = -7*a - 5*v + 2329, 2*a - 2289 = 3*v. Does 64 divide a?
True
Suppose 2*b = 3*b + 5. Let d = 14 + b. Suppose 2*g - 23 = d. Is g a multiple of 7?
False
Let t(g) = 62*g + 5. Let a be t(1). Suppose -2*j + 133 + 28 = 3*z, -2*j - a = -z. Is 15 a factor of z?
False
Let l(u) = u**2 + 10*u - 1. Suppose 2*i + 2 = -18. Let d be l(i). Does 15 divide (-5 - (-3 - d)) + 48?
True
Suppose -41*f + 45*f = 800. Does 40 divide f?
True
Suppose w - 435 = r, 5*w - 9*r + 5*r - 2170 = 0. Is 43 a factor of w?
True
Suppose 0 = -4*m - 37 - 3. Let v be 1/(3 - m/(-4)). Is 10 a factor of ((-15)/12)/(v/(-48))?
True
Let n(g) = -9*g + 33. Let c be n(5). Does 8 divide 2 + 4*c/(-8)?
True
Let j be 2/((-28)/(-6)) + (-27)/63. Suppose -17*y + 8*y + 540 = j. Is 10 a factor of y?
True
Suppose -p - 4 + 6 = 0. Suppose p*b - 6 = f, 11*b = 4*f + 6*b + 12. Suppose 0 = -f*s + 32 + 4. Is s a multiple of 9?
True
Let v(q) = q - 1. Let r(y) = 6*y - 7. Let m(a) = -6*r(a) + 34*v(a). Let i be m(4). Suppose -213 = -i*c - 3*c. Does 21 divide c?
False
Suppose 0*n + 3*n = 492. Suppose n = 3*t - 106. Let q = t - -15. Does 21 divide q?
True
Suppose 2*z = 3*q, z = -2*q + 2*z. Suppose -5*d = -q*d - 10. Is (-16)/(-24)*15/d a multiple of 5?
True
Suppose -4*x + 80 = -4*w, 0 - 8 = 2*w. Let d(b) = -b**3 - 2*b**2 + 2*b - 1. Let k be d(1). Is (-18)/k*x/6 a multiple of 15?
False
Let o(k) = -12*k**3 + k**2 - 7*k - 7. Let r be o(-3). Suppose -589 = -8*x + r. Is x a multiple of 48?
False
Let z = 1898 - 1017. Is 17 a factor of z?
False
Let m(u) = 183*u - 592. Is m(14) a multiple of 12?
False
Let y(c) = -c**2 - c + 61. Let w be y(0). Let f = 122 - w. Suppose -4*x = -f - 3. Is x a multiple of 8?
True
Let s(r) = r**2 + r + 2. Let d(y) = y - 6. Let v be d(12). Suppose v*c = 2*c. Is 2 a factor of s(c)?
True
Suppose 4*l - 23 = 5*r, 0*l + 8 = r - 5*l. Let z = 9 + r. Suppose 0 = 4*g + 12, 4*s - 38 = -z*g - 0. Does 3 divide s?
False
Suppose 0*r - 440 = 2*r + 5*t, -3*r + 3*t - 618 = 0. Let h = r - -370. Suppose 0*y + 5*l = -5*y + h, 2*y + 4*l - 66 = 0. Is 18 a factor of y?
False
Is 24144/44 - 21/(-77) a multiple of 47?
False
Suppose -18