tiple of 7?
False
Suppose -i + 3 + 0 = 0. Suppose 5*v - 68 = -2*y, 0 = 2*v + i*v + y - 64. Is 3 a factor of v?
True
Let t = 145 - 74. Let r = t + -156. Let x = r - -163. Is x a multiple of 26?
True
Let o = 269 + -88. Does 53 divide o?
False
Suppose 0 = 20*a - 4*a - 1264. Is 7 a factor of a?
False
Let u be ((-9)/(-6))/(-3)*-6. Suppose 0*i - 69 = u*i. Let g = -13 - i. Does 5 divide g?
True
Suppose 3*i = -i. Suppose i = c + 4*p - 48, -2*c - 4*p = -23 - 85. Does 60 divide c?
True
Let z = -3 - 15. Let n = z + -9. Is 6 a factor of n/(((-9)/(-2))/(-3))?
True
Let k be 3 - (-23 + 1 + -2). Suppose -4*i + k = w - 6*w, 4*i = 2*w + 18. Let s(m) = -m + 6. Is s(w) even?
False
Let d(z) = 11*z + 283. Does 6 divide d(-23)?
True
Suppose 0 = -10*r + 15*r - 1300. Does 10 divide r?
True
Suppose 16 + 64 = 5*w. Let h = w - 16. Suppose h = -6*d + 4*d + 146. Does 19 divide d?
False
Let u = 42 - -6. Let c = -32 + u. Does 3 divide c?
False
Is 7/3 + 394/6 a multiple of 17?
True
Let k(f) = -4*f**2 - f**2 + 2*f**2 + 6*f**2 - 3. Let b be k(2). Suppose 186 = 4*j + 4*i - b*i, 0 = j - 4*i - 52. Does 22 divide j?
True
Let u(b) = 28*b + 135. Is 17 a factor of u(30)?
False
Let m = -362 - -183. Let i = -102 - m. Is i a multiple of 15?
False
Let o be 7/3 + (-2)/(-3). Let w be -15*(-9)/81*(-9)/(-5). Suppose w*c + 3*f = 90, f - o*f = 0. Is 13 a factor of c?
False
Suppose 3*n - 89 = 2*x, n + 3*x = 2*n - 18. Is 3 a factor of n?
True
Let i(g) be the second derivative of -g**5/20 - 3*g**4/4 - g**3/3 - 9*g**2/2 + 11*g. Does 2 divide i(-9)?
False
Let b(w) = w**3 + 8*w**2 - 11*w - 26. Does 3 divide b(-5)?
False
Does 17 divide -190*(-11)/(44/6)?
False
Let f(a) = 26*a - 98. Is 18 a factor of f(10)?
True
Let r be (-9)/21 - (-54)/(-21). Is 9 a factor of (-42)/(-2)*(r - -6)?
True
Suppose 6*w = 3 + 3. Let l be 1*(w/1 + 1). Is 2 a factor of l/(-2) - (-7)/1?
True
Let i(q) = 2*q**2 + 12*q + 8. Let w be i(-8). Suppose -115 = 7*m - 2*m. Let c = m + w. Does 15 divide c?
False
Let b = 161 - 163. Let o(a) = -1. Let p(r) = 10*r**2 - 2*r - 6. Let d(w) = -o(w) + p(w). Does 13 divide d(b)?
True
Let r be 85/(-34) - 1/(-2). Suppose -5*b - 15 = -35. Let s = b + r. Is s a multiple of 2?
True
Let q(p) = 2 - 63*p - 65*p + 5*p**2 + 116*p. Does 13 divide q(5)?
False
Is 38 a factor of (-8298)/(-8) + (-48)/(-64)?
False
Suppose 41 = -w + 49. Does 8 divide w?
True
Let m be (-19)/(-7) - 2/(-7). Suppose 0 = -m*i - 4*a + 380, -i + 0*a + 116 = -4*a. Suppose 4*v - 188 = -5*c, -4*c + 4*v + 12 = -i. Is c a multiple of 12?
True
Suppose -4*l - 125 = -8*l + 3*y, 155 = 5*l - 4*y. Suppose 13*w - l = 12*w. Is 5 a factor of w?
True
Let x be (-4)/18 - (-505)/45. Let c(i) be the second derivative of -i**4/12 + 11*i**3/6 + 9*i**2/2 - i. Is 2 a factor of c(x)?
False
Let t(a) = 6*a**2 - 2*a + 7. Let z(o) = 4*o**3. Let i be z(1). Is t(i) a multiple of 31?
False
Let m(n) = -22*n + 8. Let t be m(-2). Suppose -b - 2*f = -t - 175, -5*b + 1160 = 5*f. Is 33 a factor of b?
False
Let s(l) = -2*l**2 - 5*l - 1. Let a be s(-4). Let h(f) = -f + 8. Is 7 a factor of h(a)?
True
Is 102 - ((-78)/(-182))/((-2)/(-14)) a multiple of 3?
True
Suppose 3*f + 5*t - 552 = 8*t, 0 = -f - 3*t + 196. Is f a multiple of 20?
False
Let v = 474 + -262. Is v a multiple of 24?
False
Let y = 12 - 10. Suppose 0 = -5*t + y*t + 117. Is t a multiple of 3?
True
Suppose 14651 = 13*s - 19812. Is s a multiple of 22?
False
Suppose -31 - 154 = -5*l. Suppose -l - 3 = 4*x. Is 11 a factor of (5/x)/(1/(-24))?
False
Suppose -z + 2*n = -2*n - 128, 5*z = -4*n + 568. Does 11 divide z?
False
Suppose -2*a - 2*t = -46, 0*t = -3*t. Let d be 2/(-11) - (-140)/44. Is (a - -1)/(3/d) a multiple of 8?
True
Let n = -3 + 6. Suppose 0*p + n*p = b - 72, 5*b + 3*p = 414. Is b a multiple of 17?
False
Suppose -58 = -f + 3*q, -2*f = -5*q - 30 - 84. Suppose -f = -2*j + 2*k, -2*k = -j + 4*j - 68. Suppose 0 = 2*d + d - j. Is d a multiple of 3?
False
Suppose o + 7 = -0*z + 3*z, 4*z - 12 = 0. Let w(i) = -i**2 + 5*i - 4. Let v be w(o). Suppose 0 = 2*m + v*c - 60, -5*m + 0*m - 2*c = -144. Is 6 a factor of m?
False
Does 28 divide (33 + 5/(-1))*11?
True
Let h = 69 + -65. Suppose -h*l - 278 = -6*l. Is l a multiple of 43?
False
Is (-1)/((22/56)/(-11))*12 a multiple of 16?
True
Let q = 1397 - 387. Does 64 divide q?
False
Is 154 a factor of 410/(-164) + 6781/2?
True
Let y = 25 + -22. Suppose -y*a = -11 - 97. Suppose n + 0*n = a. Does 6 divide n?
True
Let m = 16 - 4. Suppose -m = -h + 28. Suppose 2*d = 14 + h. Is d a multiple of 9?
True
Let k(m) = 7*m + 7. Let p be k(5). Suppose 4*s - n = p, 0 = -3*s + 3*n - 7 + 43. Suppose b - s = -4. Does 6 divide b?
True
Suppose -5*a - 2*a + 56 = 0. Suppose -a*y = -12*y + 92. Is 23 a factor of y?
True
Let p = -297 + 300. Let i be (333/(-12))/(2/(-16)). Suppose p*a - 9*a = -i. Does 15 divide a?
False
Is (-19425)/(-74)*(-72)/(-10) a multiple of 27?
True
Suppose l = 3*t + 138, -4*l = 3*t - 439 - 113. Suppose -l = -19*m + 16*m. Does 23 divide m?
True
Let m = -13 + 20. Suppose g + 3 = m. Suppose -y = -2*x + 43, g*y = 3*x - 4*x + 44. Does 24 divide x?
True
Let p(d) = 276*d + 18. Let f be p(-3). Let x = -502 - f. Does 28 divide x?
True
Let g = 142 + -112. Does 10 divide g?
True
Suppose -11*j + 1588 = -4572. Does 20 divide j?
True
Let q = 24 - 17. Suppose -r - 3*t = -36, 3*r - q*r + 4*t = -208. Suppose 4*s - r = -z, -4*z - 5*s = -3*s - 192. Does 24 divide z?
True
Suppose -12 = d - 2*n, 7*n - 2*n - 48 = 4*d. Let r = d - -83. Is 17 a factor of r?
False
Let y be (1 - 1)/(1 - 3). Suppose 6 = -2*z - q + 4*q, 2*z + q - 10 = y. Is 8 a factor of -1*(-14 - z - 2)?
False
Let l(f) be the first derivative of -f**3/3 - 5*f**2 - 12*f + 6. Let a be l(-10). Is 15 a factor of (-350)/10*a/14?
True
Let z(n) = n**3 + 8*n**2 - 6*n + 16. Does 7 divide z(-7)?
False
Let o(v) = v**2 - v - 1. Let a(h) = -5*h**2 + 38*h + 18. Let s(j) = -a(j) - 6*o(j). Does 48 divide s(-14)?
True
Let k(c) be the second derivative of -c**4/12 - 7*c**3/6 - 3*c**2 + 9*c. Let r be k(-5). Does 17 divide 3 - -43 - 8/r?
False
Let j(w) = -19*w**3 - 9*w**2 - 22*w - 4. Does 14 divide j(-4)?
False
Suppose 4*z = -z + 15. Suppose 2 = -z*x + 4*l - 1, -5*l + 18 = x. Suppose -x*c - 45 = -2*i, 2*c - 51 = -3*i + c. Does 18 divide i?
True
Suppose -r + 2*y + 59 = -5, -y = 0. Does 64 divide r?
True
Suppose -4*w + 4968 = u, u + 1237 = 4*w - 3*w. Suppose 7*c + 387 = w. Is 18 a factor of c?
False
Let p(z) = 8*z - 10. Let s(j) = j**3 + 7*j**2 - 8*j - 6. Let d be s(-8). Let b(a) = a**2 + 4*a - 4. Let i be b(d). Is p(i) a multiple of 27?
True
Let y(q) = -q**3 + 10*q**2 + 14*q - 2. Suppose -60 = p - 6*p. Let a be y(p). Is 12 a factor of 10/15 + a/(-6)?
False
Suppose 5*n = 13 + 37. Let g(j) = -n*j + 4*j + 2*j - 3*j**2 + 4*j**2 + 7. Is 24 a factor of g(10)?
False
Suppose -12*m + 4573 = -8*m + 3*v, 2*v - 2286 = -2*m. Is m a multiple of 13?
True
Let d(i) = -8*i**3 - 4*i**2 - 3*i - 10. Is d(-3) a multiple of 19?
False
Let d(c) = -2 - 5*c - 4 - 5 + 4*c**2 - 2*c**2. Is d(-5) a multiple of 18?
False
Let r = 10 + 11. Suppose p + 35 = 5*z, -5*p - 36 = 5*z + 79. Let t = r - p. Does 15 divide t?
False
Let v(q) = 7*q + 3. Let c be v(1). Suppose -4*z - c = -2*z - 5*r, -5*z + 41 = 4*r. Suppose z = -2*w - 3*y, -7 - 3 = w + 3*y. Does 5 divide w?
True
Let u be -3 + (6 - (1 - 0)). Suppose u*z + 50 = 3*z. Let y = -32 + z. Does 9 divide y?
True
Suppose -8*p + 2200 = -3*p + j, 0 = 4*p - 4*j - 1760. Let m = p - 297. Is 44 a factor of m?
False
Let p(a) = a**3 - 4*a**2 - 2*a - 1. Let w be 4/26 - 8/52. Let l be 8 + -2 + (-1 - w). Is 7 a factor of p(l)?
True
Let m be 2*(-655)/20*-2. Suppose -3*c = 12, 4*t - 5*c - m = 117. Does 19 divide t?
True
Let o be 1/1 - 0 - -7. Suppose 0 = -13*j + 11*j + 4. Let s = j + o. Is 5 a factor of s?
True
Let p = 387 + -195. Suppose 76 = 2*m - p. Let f = m + -95. Is f a multiple of 10?
False
Let n = 151 - 91. Is (0 + n)/(((-144)/27)/(-8)) a multiple of 30?
True
Suppose 19 = 2*t - 5*k, -2*t + 0*k - k + 13 = 0. Suppose t = 8*w - 321. Does 41 divide w?
True
Suppose 0 = 3*i - 149 - 448. Suppose -2*g = 49 - i. Suppose 5*z - g - 45 = 0. Does 14 divide z?
False
Let g(q) = -2*q + 2. Let o be g(0). Suppose -5*n = -n + 20, -o*n - 8 = b. Suppose -b*h = -0*h - 36. Does 9 divide h?
True
Let u(w) = -3*w**2 - 6*w + 1. Let t be u(5). Let m = t + 147. Does 5 divide m?
False
Su