) a multiple of 17?
True
Suppose 22*k - 3971 = 1551. Is k a multiple of 2?
False
Let z(a) = 31*a - 87. Is z(5) a multiple of 34?
True
Suppose 0 = 3*t + 2*d - 3702 - 500, 10 = -5*d. Does 26 divide t?
False
Let n = 350 - -1678. Is 6 a factor of n?
True
Let n(d) = 27*d**2 + 6*d - 18. Is 36 a factor of n(4)?
False
Suppose -5*t + 3816 = -r - 4033, 3*t = -2*r + 4712. Is 96 a factor of t?
False
Let x(i) = -12*i**2 + 2*i + 5. Let k be x(3). Let h = 202 + k. Does 14 divide h?
False
Suppose -3*n = 5*h - 40 - 43, n = -3*h + 33. Does 11 divide (-136)/(-6) + (-14)/n?
True
Suppose -2*n = 4*p - 64, 0 = -16*p + 17*p + 4*n - 2. Does 6 divide p?
True
Does 41 divide (737/(-7) - 1)/((-128)/448)?
False
Let t(l) = -11*l - 68. Is t(-18) a multiple of 13?
True
Let t(i) = -2*i**3 - 3*i**2 + 3*i - 3. Suppose -5*x - 2*o - 7 = 0, 3*o = -3*x - x. Does 15 divide t(x)?
True
Let n(h) = -2*h - 5. Let m be n(-6). Suppose m*x - 6 = 4*x. Suppose 0 = x*w - w - 3. Is 2 a factor of w?
False
Suppose i + 7*x - 64 = 3*x, 5*x = 3*i - 260. Is i a multiple of 5?
True
Suppose -7*q + 4 = -6*q. Let o(h) = 44*h + 24. Is 17 a factor of o(q)?
False
Suppose -3*p + 2 + 7 = 0. Let y(j) = 5*j - 6. Let u be y(p). Suppose -u*a + 120 = -5*a. Is a a multiple of 19?
False
Let z(c) = -274*c**3 + 13*c + 26. Is z(-2) a multiple of 25?
False
Is 30 a factor of 3172/39*(-9)/(-2)?
False
Suppose m + 7 = -4*d, d - 7 = m + 3*d. Let c = m + -45. Let u = -32 - c. Is 10 a factor of u?
True
Suppose -h = -4*h - 9. Let o(w) = -w - 1. Let x be o(h). Let i = 15 + x. Is 7 a factor of i?
False
Suppose i + 5*k - 669 = 0, -20*k + 3385 = 5*i - 15*k. Is 21 a factor of i?
False
Suppose -g - g = 0. Suppose g*s - 50 = -s. Is s a multiple of 12?
False
Suppose -124 = 4*h + 4*s, 2*h + 82 = s + s. Let d be (-3 + -51)/(2/2). Let g = h - d. Does 6 divide g?
True
Let i(f) = f**2 - 11*f + 2. Let a(m) = m + 18. Let s be a(0). Let y = s + -7. Does 2 divide i(y)?
True
Let l be 18 + 4/16*4. Let p = l - 13. Suppose 0 = -p*x + 37 + 299. Does 14 divide x?
True
Suppose 162 = b + 5*h, -3*b + 0*b = h - 542. Is b a multiple of 14?
True
Let q(p) = -662*p**3 - 4*p**2 + 2*p + 4. Is 27 a factor of q(-1)?
False
Let v(y) = -y**3 - 6*y**2 - 10*y - 5. Let z be (4/6)/(9/((-810)/12)). Is v(z) a multiple of 20?
True
Suppose -5*j = 16 + 64. Let o = j - -21. Suppose 0 = -3*l + o*q + 6, 5*q - 6 = -3*l - 0. Is l even?
True
Let j(c) = 313*c + 28. Let y be j(-8). Is 22 a factor of 18/(-30) - y/10?
False
Let w = -136 - -652. Let g(n) = -80*n - 1. Let u be g(-2). Suppose -3*h + w = u. Is 31 a factor of h?
False
Let a(u) = u**3 + 7*u**2 + 5*u - 1. Let o be ((-15)/(-2))/((-2)/(-16)). Let s be (3/9)/((-4)/o). Does 12 divide a(s)?
True
Let x(s) = s**3 + 21*s**2 - 25*s - 16. Let l be x(-22). Let y = 1 - -1. Suppose -y*t - l = -u - 0, 2*u + 2*t = 70. Is 20 a factor of u?
True
Let j(d) = -d**3 + 5*d**2 + 6*d - 4. Is j(4) a multiple of 18?
True
Let t = -1 + 4. Suppose 10 + 26 = t*f. Does 30 divide f/(-18)*(-94 + 1)?
False
Suppose 2*w - 1399 = -5*c + 2*c, -5*w - c + 3465 = 0. Does 38 divide w?
False
Let b be (0 - (-2 + 2)) + 43 + 1. Suppose b + 116 = 2*q. Does 32 divide q?
False
Let f = -69 - -1180. Is f a multiple of 101?
True
Let s(z) = -z**2 - 15*z + 24. Let g be s(-17). Let y be g/(-3)*30/20. Suppose -4*t = o, 2*o = -o + y*t + 34. Is 4 a factor of o?
True
Suppose -f - 7*n - 224 = -3*n, n = 2*f + 430. Is 18 a factor of 2/((20/f)/(-5))?
True
Suppose -2*j - 3*w + 2601 = -4*w, -5*j = 4*w - 6470. Does 59 divide j?
True
Let i(v) = v**3 - 19*v**2 - 71*v - 75. Does 4 divide i(23)?
True
Let f(s) be the third derivative of s**4/12 + 5*s**3/2 + s**2. Let v = -454 - -449. Is f(v) a multiple of 5?
True
Is (3738/18 - 9)/((-4)/(-6)) a multiple of 3?
False
Suppose 5 = -10*c + 11*c. Suppose -5*z + 257 = c*r - 6*r, 217 = 4*z + 3*r. Is z a multiple of 26?
True
Let w be (5/(-5))/((-2)/8). Suppose 4*t + t - 415 = 2*y, -5*t + w*y = -425. Does 10 divide t?
False
Suppose 0*z + f + 983 = 3*z, 2*f - 1631 = -5*z. Suppose -5*m + 116 = k, -3*k = -5*m - z - 21. Does 20 divide k?
False
Let t = 105 + -108. Is (-4 + t*87/(-18))*18 a multiple of 39?
False
Suppose 3*a = 3*s + 3567, 15*s - 13*s = 3*a - 3562. Is a a multiple of 13?
False
Let b(g) = g**3 - 5*g**2 - 7*g + 9. Let j be b(6). Let n be (-9 + 3)/j + 26. Let i = 48 - n. Is 24 a factor of i?
True
Is (287/82)/((-1)/(-1266)) a multiple of 15?
False
Let f(a) = 4*a**2 + 2*a + 103. Is f(7) a multiple of 9?
False
Suppose -274*k = -266*k - 3248. Is 14 a factor of k?
True
Let c be 4 - 26/6 - 32/(-6). Suppose c*d = -20 + 160. Is 18 a factor of d?
False
Let p = -30 - -31. Let d be (-37)/p - (3 + 0). Is 39 a factor of ((-462)/(-56))/((-3)/d)?
False
Suppose -3*m - 4*v = -0 - 3, 3*m - 21 = 2*v. Let s be (8 - 3) + m/5. Is 16 a factor of (-4 + 16)/(s/8)?
True
Is 9 a factor of -505*(-1 + (-2 - -2))?
False
Suppose -31*a = -4*a - 53433. Does 12 divide a?
False
Let s = 625 + -605. Is 2 a factor of s?
True
Suppose -77 = -14*n + 3*n. Is n a multiple of 3?
False
Suppose 2*o - 15 = -o. Suppose o*k - 82 - 143 = 0. Does 9 divide k?
True
Let i(o) = -o + 5*o - 4 + 16*o. Let k be i(3). Suppose 64 = w - 2*j, 3*j + k = w - 10. Does 12 divide w?
True
Is 10 a factor of (-1)/((-22)/4) - (-90414)/33?
True
Is -20 - -167 - 2/(-1 - 0) a multiple of 26?
False
Suppose 464 = 4*z - 2*b, -4*b - 209 = -5*z + 365. Let d = 171 - z. Does 9 divide d?
False
Suppose 10*w - 485 = 5*w. Let x = 5 + w. Let k = x - 54. Is k a multiple of 16?
True
Suppose 0 = -m - 4*m + 100. Let q(l) = -m*l - 2 - l**2 - 6 + 33*l. Does 6 divide q(9)?
False
Let f be (0 - -64)*1/(-2). Let m = 4 - f. Let x = -15 + m. Does 13 divide x?
False
Is 134/3*(-180)/((-90)/9) a multiple of 22?
False
Suppose 2*s = 5*s + 27. Suppose 0 = -5*d + 9*d - 20, 54 = 4*m - 2*d. Let l = s + m. Is l a multiple of 4?
False
Let h be ((-12)/(-10))/((-15)/(-100)). Suppose 0*s + 4*s - h = 0, 5*f + s = 202. Is 3 a factor of f?
False
Suppose -v + 3*v = -4. Let m be 1*v*27/18. Does 15 divide (-4)/m*435/10?
False
Let u = 191 + 105. Is u a multiple of 74?
True
Suppose -26*g = 18*g - 36432. Does 69 divide g?
True
Let z = 426 - 362. Does 2 divide z?
True
Let v(d) = -152*d - 540. Does 12 divide v(-15)?
True
Suppose 0 = -4*u - 9*a + 6*a + 507, -3*a - 654 = -5*u. Is 13 a factor of u?
False
Suppose -3 = 4*w - 3*w, 2*u + 2*w - 128 = 0. Let r = -51 + u. Is r a multiple of 8?
True
Let i = -65 + 72. Suppose -7*o = i*o - 2058. Does 12 divide o?
False
Suppose -9 + 17 = -2*k. Does 4 divide 35/(-14)*k*3/2?
False
Let u(i) = 6*i - 204. Does 3 divide u(70)?
True
Let i = 1930 - 1378. Suppose 4*x = -3*p + 320, 5*p + 0*x - i = -2*x. Suppose 7*d = 3*d + p. Does 7 divide d?
True
Let w = 2116 - 2097. Is 6 a factor of w?
False
Let u = 129 + 171. Is 14 a factor of u?
False
Let f(k) = 37*k - 141. Does 61 divide f(17)?
True
Let i(l) = 117*l**2 + 2. Let r be i(2). Is ((-4)/(-8))/(5/r) a multiple of 47?
True
Suppose 0 = 10*b - 2239 - 4101. Does 16 divide b?
False
Suppose -4*c + 2*g = -14038, -93*c - 5*g = -89*c - 14045. Is c a multiple of 26?
True
Suppose 4*x - 480 = 5*m, -83 + 6 = m + 3*x. Let k = -25 - m. Is 5 a factor of k?
False
Let j be 0 + (1 - -3) - 0. Suppose 10 = -5*o - 3*g, o = j*o - 4*g + 6. Is 5 a factor of 3 + (3 - (1 + o))?
False
Let h be (-9)/(-5) - (-1)/5. Let f(l) = -l**3 + 15*l**2 - 14*l - 8. Let p be f(14). Let i = h - p. Is i a multiple of 10?
True
Suppose 0 = 6*x - x - 375. Suppose -5*m - 2*h + x = -2*m, 2*h + 87 = 3*m. Is 10 a factor of m?
False
Suppose 6*f - 5939 = 901. Is 29 a factor of f?
False
Let g(z) = 2*z**2 + 22*z + 4. Let r be g(-11). Suppose 0 = r*j - 0*p - 3*p - 173, 5*j - 3*p - 214 = 0. Is j a multiple of 30?
False
Suppose 0 = 4*z - 2*s - 72, z - 4*z + 43 = 4*s. Let n = z - 16. Is (6/5)/(n/15) a multiple of 18?
True
Let w(d) = 11*d**2 + 1. Let z be (-8 + -1)*10/(-45). Let t be w(z). Suppose 0*h = 5*h - t. Is 5 a factor of h?
False
Let q(t) = t**3 - 18*t**2 + 4*t - 50. Let s be q(18). Suppose s*o = 12*o + 670. Is o a multiple of 4?
False
Suppose 14*p = 13*p + 25. Suppose -5*g = -5*j - p, g + 3*g - 20 = -3*j. Suppose -n - f + 9 = j, -n + 2*f - 31 = -4*n. Is n a multiple of 2?
False
Let h = -364 + 537. Suppose -4*j = 2*f - 777 + h, 3*f - 12 = 0. Is 17 a factor of j?
False
Let s(h) = -9*h + 25. Let m be s(-6). Let q be 3/5 + 816/15. Let y = m - q. Is