) = 2*i**2 - 5. Is 11 a factor of v(-4)?
False
Suppose -2*c - 26 = 2. Is 44/(-3)*63/c a multiple of 9?
False
Let a = 217 + -115. Is 17 a factor of a?
True
Suppose 2*l = 6*f - f + 127, -236 = -4*l + 4*f. Is 8 a factor of l?
True
Let v(w) = 8*w**2 + 4*w. Let l be v(-3). Suppose 0 = 2*j - l + 6. Is 8 a factor of j?
False
Suppose 11*n - 9*n = 184. Is 23 a factor of n?
True
Is 5 a factor of 60/16*64/12?
True
Let z = -10 + 33. Let v = 38 - z. Is v a multiple of 15?
True
Let n = 5 + -6. Let g(z) = -20*z**3 - z**2 - z. Is 8 a factor of g(n)?
False
Let d(r) = r**3 + 13*r**2 + 15*r - 13. Let s be d(-11). Suppose -5*n + p = -s, n - 6 + 2 = -2*p. Is n a multiple of 3?
True
Let l(q) = q**2. Let z be l(4). Suppose z = 4*g - 2*g. Does 5 divide g?
False
Suppose -3*q - 2 = -11. Suppose q*i - 305 = -5*z - 2*i, 3*z - 169 = 4*i. Is z a multiple of 10?
False
Suppose 0 = -0*t + t - 2. Suppose -88 = -t*u - 3*u - 3*h, -3*h = 4*u - 71. Does 17 divide u?
True
Let a(p) = -p**3 - 4*p**2 + 3*p - 7. Let v be a(-5). Suppose -2*d - 95 = -v*q, -2*q - d = -5*d - 74. Is 10 a factor of q?
False
Let k(t) = -2*t**2 + 3*t**2 - t**2 - t**2 + 23*t**3 + 1. Let c be -1*(-2)/(2 + 0). Is k(c) a multiple of 10?
False
Let p = 1024 + -679. Does 19 divide p/9 + (-1)/3?
True
Suppose 0 = v - 3*c - 54, 0*c + 355 = 5*v + 2*c. Suppose -x + 54 = p, -3*x + v = p + x. Suppose -p = -4*o + 123. Does 12 divide o?
False
Suppose -3*g = -2*i + 808, -2*g = 2*g. Is 34 a factor of i?
False
Suppose 22 = 5*j - 113. Is j a multiple of 19?
False
Let d(f) = -f**2 - f. Let s be d(1). Is 3 a factor of s/(-4)*(-2 - -14)?
True
Let v(i) = -4 + 2 + 10*i**2 - 10*i + 4 + 0 - i**3. Is v(8) a multiple of 10?
True
Let n(x) = -x**2 + 6*x - 4. Let b be n(4). Let i be 10/b*(2 + 0). Suppose -i*h + 36 = -h. Is 9 a factor of h?
True
Let i(q) = -20*q - 3. Does 13 divide i(-2)?
False
Let v(b) = -25*b + 1. Is v(-7) a multiple of 16?
True
Let o(w) = -22*w**3 - 3*w - 3. Does 5 divide o(-1)?
False
Suppose 0 = -0*k + 4*k - 4. Let l be (10/(-4))/(k/(-2)). Suppose 4*a - 53 = -l. Is 12 a factor of a?
True
Let w(v) = v**3 - 5*v**2 + 4*v + 4. Does 6 divide w(5)?
True
Suppose 7*w = 11*w - 612. Is 9 a factor of w?
True
Suppose -4*i - 36 = -648. Let r = i + -99. Is 19 a factor of r?
False
Let t = 12 - 6. Is 3 a factor of t?
True
Let s = 4 + -9. Let z(w) = w**2 + 2*w - 3. Let b be z(s). Let u = b - 7. Is 5 a factor of u?
True
Suppose -9 = 2*b + 23. Is (28/b)/((-3)/12) a multiple of 3?
False
Suppose 3*h = 2*h. Let o = h + 5. Suppose 2*b = o*x + 3*b - 54, -3*x + 5*b = -38. Is 5 a factor of x?
False
Let b(f) = f**3 + 6*f**2 + 7*f + 8. Let j be b(-6). Suppose 6*m - 2*m - 96 = -2*p, -3*p = 2*m - 152. Let r = j + p. Does 10 divide r?
False
Suppose -3*p - 38 = -4*g - p, -2*p = 4*g - 18. Is 3 a factor of g?
False
Suppose -12 = -2*u - 0*u. Let r(j) = 3*j. Let i be r(u). Suppose 4*c - i - 42 = 0. Does 15 divide c?
True
Let m(w) be the second derivative of 71*w**5/20 + w**4/4 - w**3/6 - w**2/2 + 7*w. Is m(1) a multiple of 19?
False
Let q = -4 + 27. Is q a multiple of 23?
True
Suppose 0 = -5*h + r - 2, h - 5*h + 5 = -3*r. Let b be 4 - (-1 - (h - -1)). Suppose -1 - 11 = -3*m, -37 = -b*c - 3*m. Is 2 a factor of c?
False
Let h(w) be the third derivative of w**4/3 + w**3/3 - 3*w**2. Is 5 a factor of h(1)?
True
Let r be (-113)/(-4) - (-1)/(-4). Suppose 2*z = -4*k + 64, -1 + r = z - 3*k. Is 15 a factor of z?
True
Let b(y) = 3*y**2 - 2*y - 1. Let r be b(2). Suppose -2*p + r - 1 = 0. Suppose 5*o - 61 = -4*z, -p*o - 62 = -8*o - 3*z. Does 11 divide o?
False
Suppose -h + 3 = -0*h. Let g = h + 0. Suppose -5*l - 2*i + 26 = -g*l, 0 = -5*l + 2*i + 44. Does 5 divide l?
True
Suppose n - 5*n - 92 = -d, 0 = -2*n + d - 46. Let t = n - -32. Is t a multiple of 7?
False
Suppose 12 - 3 = 3*r. Is 1 + 5 - (2 - r) a multiple of 7?
True
Let a be (-393)/(2/4 - 2). Suppose 4*h = -h - 4*u + 448, 3*h = u + a. Does 27 divide h?
False
Suppose 4*h - a - 3*a = 248, 0 = -5*h - 4*a + 265. Suppose 0 = 10*r - 13*r + h. Is 10 a factor of r?
False
Suppose 4*h + 2*u + 384 = 7*h, -u = -4*h + 512. Is h a multiple of 8?
True
Suppose m = 4 + 28. Is m a multiple of 3?
False
Let q(j) = -3*j. Let x be q(-2). Let f be -8*3/x*-4. Suppose f = o - 7. Is 17 a factor of o?
False
Let y(t) = 0*t**2 - 7 + 4*t**2 - 2*t**2 + 5*t - 2*t. Does 9 divide y(-5)?
False
Let s = -21 - -38. Suppose -s = -l - 2*n + 3, 0 = 4*n - 8. Is 5 a factor of l?
False
Let h(x) = 3*x**2 + 11*x - 9. Let o(k) = 10*k**2 + 34*k - 27. Let p(s) = -7*h(s) + 2*o(s). Does 3 divide p(-8)?
False
Let v(i) = i**2 - 4*i + 5. Let y be v(4). Let m(p) = -5 - p + 0 + 6 + 2*p. Is m(y) a multiple of 4?
False
Suppose 5*l - 2*y + 4*y + 51 = 0, -l - 4*y - 21 = 0. Let i = -23 - l. Is 3 a factor of -4 - -4 - i/2?
False
Is 30 a factor of 40/(-15)*(-90)/4?
True
Let o(y) = y**2 - 4*y - 6. Let m(t) = t + 18. Let i be m(-10). Does 13 divide o(i)?
True
Let a(q) = -3*q - 5. Let h be a(-9). Suppose 5*n + 2*k - 6 = 12, -5*n + h = 3*k. Suppose t - 33 = -4*g, -g - 3*t = -n*g - 8. Is g a multiple of 7?
True
Let p(h) = -3*h + 1. Let n be p(1). Does 18 divide 2*(n - 1 - -39)?
True
Let l = 6 + 4. Does 4 divide l?
False
Suppose -402 = -4*f + 2*b - 0*b, -4*b - 204 = -2*f. Does 25 divide f?
True
Suppose -4*h + h - 2*c + 7 = 0, -16 = -4*h + 4*c. Suppose h = 8*z - 7*z. Does 2 divide z?
False
Let j be (-14)/4*(8 - 6). Let t = j + 4. Does 13 divide -1*(36 + t)/(-1)?
False
Let b = 19 - 15. Suppose t + 177 = 4*g, -b*g - t + 212 = 29. Is 11 a factor of g?
False
Let f be 2 + (-3 - 12/(-3)). Suppose 62 = -x + f*x. Is 18 a factor of x?
False
Let k = 4 + 0. Suppose -k*p + 35 = p. Suppose -a = -27 - p. Does 17 divide a?
True
Suppose -3*d = b - 3*b + 5, -4*d - 2 = -5*b. Let s = -1 + 4. Does 9 divide 6/(((-2)/s)/b)?
True
Suppose -31 = -l + z, -4*z + 110 + 18 = 3*l. Does 18 divide l?
True
Is 0 - 5*-26 - 0 a multiple of 13?
True
Let s = 77 + -63. Is 14 a factor of s?
True
Let s(o) = 11*o - 53. Is 8 a factor of s(7)?
True
Suppose -2 - 7 = -3*d. Suppose -d*a - 4*z + 146 - 21 = 0, 2*a + 2*z - 80 = 0. Does 7 divide a?
True
Let b be -2 + 2 + 10/(-1). Let n be 2/b - (-222)/10. Suppose -n = -2*l + 2*a, 0 = -l - 3*a - 1 - 8. Does 5 divide l?
False
Let d(s) = 0 - 2*s - s**3 - s**2 - s**3 - 4 + 3*s**3. Let l be d(3). Let p = l + -3. Is p a multiple of 5?
True
Is 7/((-105)/340)*-6 a multiple of 34?
True
Suppose 2 + 98 = 5*v. Is 5 a factor of v?
True
Let k(l) = l**3 + 6*l**2 - 2*l + 6. Is k(-6) a multiple of 6?
True
Let z be (-14)/(-3) + 6/(-9). Suppose -100 = -z*l + 2*l. Is l a multiple of 8?
False
Suppose 3*j - 10 = 2*t, 5*t - 5*j + 41 = 11. Let g be (-2 - t)/((-2)/(-8)). Let m = 42 - g. Is m a multiple of 18?
True
Does 37 divide 6/(-3)*(-1 - (-514)/(-4))?
True
Let v = -3 + 5. Suppose -v*m + 0*r = -2*r - 270, 3*m = 2*r + 405. Suppose 8*g = 3*g + m. Is 9 a factor of g?
True
Let n = -115 - -142. Is n a multiple of 2?
False
Suppose 2*b + 4*v = -24, 3*b + v + 52 = 3*v. Let k = b - -26. Is k a multiple of 5?
True
Suppose -2*c = -6*c. Suppose c*u = -u. Suppose u*h = 3*h - 138. Is 16 a factor of h?
False
Let t = 489 - 228. Is 29 a factor of t?
True
Let m = 85 - 61. Suppose -t = 2*t - m. Does 7 divide t?
False
Let y be 6/21 + 2292/14. Suppose 0 = 5*d - 3*j + j + y, -d - 31 = -j. Let t = -20 - d. Does 10 divide t?
False
Let x be 2/(-6)*0/(-6). Suppose 4*k = 3*w + 95, x*k + 2*w = 5*k - 110. Is k a multiple of 8?
False
Let a = 23 - 89. Let n = 96 + a. Is n a multiple of 10?
True
Suppose 2*y = -5*m + 296, 5*m - 3*m + y = 118. Is m a multiple of 34?
False
Let b be 0 - (-22)/2*2. Suppose -79 = -4*x + 5*z + b, 14 = x + z. Does 19 divide x?
True
Let u(v) = -4 + 9*v**3 + 2*v + 8 + 5*v**2 - 8*v**3 + 0. Is 8 a factor of u(-3)?
True
Let t = 10 - 10. Suppose 3*r = 3 - t. Is (10/(-25))/(r/(-25)) a multiple of 6?
False
Suppose i - 5*c = -3*i + 716, -c = -3*i + 537. Does 12 divide i?
False
Let b be -1 + 3/(-3)*25. Let y = -19 - b. Is y a multiple of 2?
False
Suppose -h + 4*h - 6 = 0. Suppose t = h*v - 91, -6*v - t + 245 = -v. Does 16 divide v?
True
Let x(f) = -f**3 - f + 9. Does 3 divide x(0)?
True
Let m = -2 + 3. Let y(f) = 5 - 5 + 37*f**2 - m. Is 18 a factor of y(1)?
True
Suppose 32 = -2*y - 5*o, 2*y - 3*y - 10 = o. Let m(v) = -v**3 - 5*v**2 + 2*v. Is m(y) a multiple of 7?
False
Let y = -16 + 7. Let f = y - 5. Let t = f - -2