. Suppose i*z - d = 21. Is z a multiple of 5?
False
Let i = 3 - 5. Let v be 10 + -5 - (i + 3). Suppose -v*r = 8 - 64. Does 14 divide r?
True
Suppose 173 = 3*n + 2*k, -127 = -4*n + 4*k + 77. Let z = n + -34. Is (-152)/(-7) + 6/z a multiple of 9?
False
Let x(o) = o**2 + 2*o. Let c be x(-3). Suppose -c*t - 270 = -6*t. Suppose -3*b - 12 = b, -t = -4*p - 2*b. Is 12 a factor of p?
True
Suppose -2*a - 2*a = -20. Let l = a + -3. Let t(z) = 3*z**2. Does 6 divide t(l)?
True
Let m = 8 + 0. Is m a multiple of 4?
True
Let g = -70 + 49. Let w = 4 - g. Does 16 divide w?
False
Let h = 35 - 24. Let m = 74 + h. Let p = -60 + m. Is 9 a factor of p?
False
Let g(x) = -7*x**3 + x**2 + 4*x + 3. Let k(w) = -w**3 + w + 1. Let l(u) = g(u) - 3*k(u). Let n be l(-1). Let s(q) = q**3 - 2*q**2 - 6*q + 1. Does 5 divide s(n)?
False
Is 12 a factor of (-6 + (1 - -1))/(1/(-21))?
True
Let a(i) = 2*i**2 - 15*i + 18. Is a(13) a multiple of 23?
True
Suppose 3 = -2*q - 5*a, -1 = -a + 2*a. Suppose -8 = -l - q. Is 2 a factor of (-3)/6 - l/(-2)?
False
Let o(c) = -c**3 - c**2 + 3*c. Let z(k) = k**2. Let t(y) = o(y) + 5*z(y). Let l be t(-3). Suppose 0*n + l = 2*n. Does 16 divide n?
False
Does 2 divide (-4)/3*(0 - (-1 + 4))?
True
Suppose 140 = 4*n + 4*b, n - 5*b - 31 = -2*b. Suppose n = j + j. Is j a multiple of 17?
True
Let y(r) = r**2 - 8*r + 8. Let h be y(8). Suppose 0 = -5*o + 5*w + 12 - 2, -h = -o - w. Suppose -3*j = 10 + o, -5*j + 23 = 4*k. Does 5 divide k?
False
Let r(n) = -n**3 + 4*n - 3. Let j be r(2). Let h(t) be the second derivative of -t**3 + 2*t**2 - 2*t. Is 12 a factor of h(j)?
False
Does 20 divide -2 + 197 - (-1 - 4)?
True
Let k be (5 + (2 - 2))/1. Suppose -k = 2*h + 1. Is 10 a factor of (30 + 6/h)/1?
False
Suppose 283 = 5*b - f, -126 + 18 = -2*b + 3*f. Is b a multiple of 12?
False
Let t(f) = f**2 + 3*f - 5. Let r be t(-5). Let g = 49 + -30. Let k = g + r. Is k a multiple of 12?
True
Suppose -5*t - 2*r = 13, 4*t - 4*r + 0*r = -16. Let x be (5 + t)*(-10)/4. Let i(f) = 3*f**2 + 8*f + 4. Does 13 divide i(x)?
True
Suppose 2*b - 10 - 14 = 0. Suppose -d + 4 = -b. Does 12 divide d?
False
Is (-1)/(-6) - (-1001)/42 a multiple of 3?
True
Let s = 111 - 101. Is s even?
True
Let p be 3/(-3) + 206/2. Suppose -c - p = -4*c. Suppose 0 = 4*n - 78 - c. Is n a multiple of 14?
True
Suppose 9*w = 4*w. Suppose -n - 3*n = w. Is 21 a factor of (-3 + (n - -17))*3?
True
Let j = -4 + 7. Suppose 34 - 10 = 3*f - j*t, -2*t - 3 = -f. Is f a multiple of 11?
False
Let s(n) = 6*n - 5*n + 7*n + 3. Does 5 divide s(2)?
False
Suppose 2*v + v + 18 = 0. Let p = -1 - v. Suppose k - 151 = -p*t - 2*k, 3 = -k. Does 12 divide t?
False
Let p = -32 + 42. Is p a multiple of 3?
False
Suppose -2*u + 2 = -u, 5*i - 2*u = 741. Is i a multiple of 35?
False
Suppose -2*s = 5*a - 1664, 4*a - 1324 = -3*s - s. Suppose 4*q - 4*d = 306 + a, -2*d + 8 = 0. Is q/14 + (-4)/(-14) a multiple of 12?
True
Suppose 0 = -6*g + 2*g + 176. Is 22 a factor of 5/((-15)/g)*-3?
True
Suppose -5*h + 1 + 19 = 0. Suppose -h*c = -3*c - 20. Does 14 divide c?
False
Let z(u) = u**2 + 2*u + 1. Does 26 divide z(-7)?
False
Let s = -220 + 316. Let z = s - 57. Is z a multiple of 13?
True
Let m be (1 + 4)*14/5. Let i be 4*(m/4 + -3). Is 1/i + (-118)/(-4) a multiple of 19?
False
Let c(w) = w + 2. Let p be c(2). Suppose 3*z - 6*z + 108 = 0. Suppose -z = -p*s - 3*n + 35, -3*n = 5*s - 88. Does 12 divide s?
False
Let h(p) = -p**3 - p**2 + 2. Let w be h(-2). Suppose -78 = -w*q + 4*q. Does 13 divide q?
True
Is 12 a factor of 396/(-9)*6/(-4)?
False
Suppose 39*n = 44*n - 965. Is n a multiple of 16?
False
Suppose 0 = w + w. Suppose 2*j = -w*j + i + 52, -129 = -5*j + 3*i. Is j a multiple of 24?
False
Let r(c) = 8*c - 10. Let h be r(7). Let q be h/3 + (-3)/9. Suppose -b - 4*l + 39 = q, 5*l = -b + 22. Is 13 a factor of b?
False
Let i be (-40)/((-164)/40 + 4). Suppose 4*d + d = i. Is d a multiple of 19?
False
Suppose 5*f - 1982 = -4*k, 0 = -4*f - 11*k + 15*k + 1564. Is 16 a factor of f?
False
Suppose -3*v = -4*y - 7*v + 124, 2*y - 3*v - 57 = 0. Is 10 a factor of y?
True
Let n = 32 - -49. Is n a multiple of 27?
True
Let y(r) = r**3 + r**2 + r + 48. Let f be y(0). Is f/(-9)*(-6)/4 a multiple of 7?
False
Let i be (3/(-9))/(2/6). Suppose 0 = 2*x - 0 - 14. Let q = x + i. Is q a multiple of 3?
True
Let p be (3 + -2)/((-2)/20). Let i = -6 - p. Suppose 56 = i*x - 40. Does 12 divide x?
True
Suppose 5*u + 10 = 2*b - 0*b, 0 = -3*b - 2*u - 4. Suppose -5*m = -b*m - 110. Is 6 a factor of m?
False
Suppose -44 = -3*n + 2*x, 3*x - 16 + 4 = -2*n. Suppose -c + 4*a = c + n, 3*a = -3*c + 9. Suppose 4*t - 43 - 21 = c. Does 16 divide t?
True
Let l = -26 + 30. Suppose -l*x = -210 - 90. Does 17 divide x?
False
Let l be 5/3 - 1/(-3). Is 14 a factor of 4*(-1)/l + 16?
True
Let x = -2 - -3. Let o(y) = 4*y**3 + y. Let h be o(x). Let z(a) = -a**2 + 7*a - 2. Is 5 a factor of z(h)?
False
Let y = 25 - 44. Let g = y - 28. Let l = -33 - g. Does 7 divide l?
True
Let z(f) = -2*f**2 - 7*f. Let o be z(-5). Let g be (-5)/(o/(-48)) + 0. Is (84/16)/((-6)/g) a multiple of 14?
True
Let a(t) = -2*t**3 - 2*t**2 - 12*t - 3. Is a(-3) a multiple of 21?
False
Let k be (10/(-5))/((-4)/74). Suppose -2*h = 2*t - 58, 5*t + 2*h = k + 96. Is 12 a factor of t?
False
Let d = -60 - -106. Does 12 divide d?
False
Let b be 11/3 + 8/(-12). Suppose -4*t - 40 = -4*y, t - 10 = b*t. Let i = y - 1. Is 2 a factor of i?
True
Suppose 2*c = -4*c + 372. Is c a multiple of 31?
True
Let h(v) = 3*v - 12*v + 13 - 3. Does 27 divide h(-9)?
False
Suppose 5*h + 11 + 49 = 0. Let g = h - -28. Suppose 5*x - 9 - g = 0. Is 5 a factor of x?
True
Suppose -2*w - 1 = -w, -3*d - 23 = -w. Let u = d + 13. Is u even?
False
Let r be (18/21)/((-2)/(-84)). Let d = r + 27. Does 21 divide d?
True
Let a = 386 + -171. Is a a multiple of 17?
False
Let s = 85 + 30. Is s a multiple of 14?
False
Let k(u) = u**3 - u**2 + u + 52. Is k(0) a multiple of 11?
False
Let k be -2 + 1/(3/(-9)). Let v = 17 + k. Is 6 a factor of v?
True
Suppose -x = -4*y, -4*x - y + 21 = x. Suppose -2*c - 40 = -2*j, -2*j + 22 = -0*j + x*c. Is 7 a factor of j?
False
Suppose -10 = -6*y + 68. Suppose y*z = 10*z + 162. Does 18 divide z?
True
Suppose -s + 0*p + 4*p + 28 = 0, 4*p = 4*s - 100. Is 6 a factor of s?
True
Let l(n) = 197*n**3 + 2*n**2 - 2*n + 1. Is l(1) a multiple of 22?
True
Let v(s) be the first derivative of s**3 + s**2/2 - 1. Let k be v(-1). Suppose 3*q - 62 = 2*r, k*q + 7*r - 73 = 2*r. Is q a multiple of 12?
True
Let o be ((-24)/3 - -3)/(-1). Suppose 9 = o*u - 11. Is u a multiple of 3?
False
Let l(r) = 9*r - 2. Let o be l(3). Suppose 3*v - 5*d - o = 0, 5*v - 3*d - 21 = 2*v. Suppose v*g - 74 - 36 = 0. Does 8 divide g?
False
Let l(b) = 2*b - 6. Let f be l(5). Does 6 divide ((-65)/20)/((-1)/f)?
False
Suppose 2*k + k - 4*a = 242, -311 = -4*k + 3*a. Suppose 2*y - 2*z + 94 = 0, 2*y + 2*z + 0*z = -k. Let w = -27 - y. Does 7 divide w?
False
Suppose -3*b + 73 = 4*l - 63, 2*b = -8. Does 6 divide l?
False
Suppose j - 2*j + 79 = 5*a, -5*j + 3*a + 367 = 0. Is j a multiple of 22?
False
Let g = -122 - -252. Let k be (4/1)/2*2. Suppose -k*z = z - g. Is z a multiple of 12?
False
Suppose -23*k + 12 = -20*k. Is k even?
True
Suppose 4*a - 4*s - 72 = 0, -5*a - s + 24 = -72. Let t = 31 - a. Let g = t + 26. Is g a multiple of 14?
False
Let s be (2/3)/((-2)/(-15)). Suppose 8 = s*v - 12. Suppose -v*k + 15 = -3*k. Is k a multiple of 11?
False
Let f = 18 + 391. Is f a multiple of 16?
False
Let s be 18/117 - (-37)/13. Suppose 17 = s*y - 91. Does 12 divide y?
True
Let u = 353 - 242. Does 37 divide u?
True
Let a be (-68)/(-5) - (-4)/10. Suppose 4*d - 4*c = a + 122, d - 2*c = 38. Is 15 a factor of d?
True
Suppose 33*b - 39*b + 984 = 0. Is 41 a factor of b?
True
Suppose -2*j + 2 = -2. Let i = 40 - 20. Suppose z = j*z - i. Does 10 divide z?
True
Let j = 10 + -15. Let b = -9 - j. Does 10 divide 963/33 - b/(-22)?
False
Is (61 - 4) + 2/(-1 - 0) a multiple of 7?
False
Let i(p) = -139*p**3 - p**2. Let r be i(1). Let c = r - -207. Does 19 divide c?
False
Suppose 4 = 2*x - 2. Is 3 a factor of x?
True
Let r = -77 + 121. Does 12 divide r?
False
Suppose 0*g + 3*g = 0. Let x be -2 + 1 + g - 11. Let b = 18 + x. Does 6 divide b?
True
Let v = 9 + -4. Suppose v*f = 9 + 6. Suppose -34 = u - f*u. Does 14 divide u?
False
Let h(q) = -6*q + 12. Sup