 = 69*b - 5. Let z be m(-7). Is z/(-8) + (-3 - -1) a multiple of 19?
False
Let x(s) = -s**2 + 8*s**2 - 6*s**2 - 1. Is x(5) a multiple of 8?
True
Let v = -1 + -6. Let u = 0 - v. Does 6 divide u?
False
Let q = -1 + 3. Suppose 4*z + 3*y = 4*y + 10, z - q*y - 6 = 0. Suppose z*x + 2*l - 50 = 0, -4*l = -5*x + 24 + 110. Does 8 divide x?
False
Is 53 a factor of -1 + 199 - -3*(1 - 2)?
False
Let t = -4 - -36. Let i be ((-4)/(-1) - 54)*-1. Let z = i - t. Is z a multiple of 18?
True
Let m(v) = -v**2 - v + 1. Let a(x) = 3*x**2 + 2*x - 6. Let r(b) = -a(b) - 6*m(b). Let d be r(-3). Is 16 a factor of -5*(1 - 111/d)?
True
Let c(a) = 236*a**2 + a - 2. Is c(1) a multiple of 44?
False
Is 24 a factor of (-34 + 5)*(0 - 2)?
False
Let d = 3 + 7. Is d a multiple of 5?
True
Let i(m) = -m**3 + m**2 - 2*m. Let x be i(0). Let s = 1 + 1. Suppose s*d - y = 29, 3*d - 3*y + 0*y - 42 = x. Is 6 a factor of d?
False
Suppose -3*x + 2*x + 68 = 4*b, 0 = -5*x + 5*b + 365. Is x a multiple of 12?
True
Suppose 2*c + 4 = 0, 0*f - 3*f = -5*c - 55. Suppose 2*j - 4*r = -2*r + 54, 0 = -3*r - f. Is 15 a factor of j?
False
Suppose -k - 3*s - 206 = -54, -4*k + 2*s = 552. Is ((-16)/(-10))/((-8)/k) a multiple of 14?
True
Suppose 0*b - 2*b - 14 = 0. Let r = 12 + b. Suppose -14 = -r*k - 4. Is k a multiple of 2?
True
Let o(z) = z**3 - 5*z - 2. Is o(3) a multiple of 3?
False
Suppose -4*r + 3*k + 416 = 0, 5*r + 0*k + 2*k = 520. Is r a multiple of 13?
True
Let v(u) = u**3 + 24*u**2 + 41*u + 55. Does 18 divide v(-22)?
False
Let b(o) = -o**2 + o + 18. Let v = -4 - -4. Let g be (v/(-1))/(-3 + 1). Is b(g) a multiple of 12?
False
Let f(w) = w + 10. Let o(s) = -s + 3. Let y be o(3). Suppose y = -2*l - 3*l. Is f(l) a multiple of 10?
True
Suppose 5*k = -2*z + 145, -z = z + 3*k - 151. Does 20 divide z?
True
Let r be 10/((3 + -4)*1). Is 5 a factor of (-6)/3 + 0 - r?
False
Suppose 0 = -d + 8 + 83. Suppose 3*r + 0*p - 4*p = d, 4*r + 4*p - 112 = 0. Is r a multiple of 14?
False
Is 19 + -4 + (-4)/(-2) a multiple of 7?
False
Suppose -10 + 2 = -4*z. Let s be z/(-7) + 32/14. Suppose -s*d - 9 = -51. Is d a multiple of 9?
False
Let r(t) = -t**3 - 24*t**2 - 24*t + 36. Is 15 a factor of r(-23)?
False
Let n = 2 - 1. Suppose f + n = -x, x - 4*f = 4*x - 2. Let s(l) = l**2 + 3*l - 6. Is s(x) a multiple of 8?
False
Suppose -2*p + 4*p = 3*o - 38, 0 = 4*o - p - 44. Is o a multiple of 5?
True
Suppose o = -30 + 12. Let q = -9 - o. Is q a multiple of 3?
True
Let m be (2 + 70)/4 - 2. Let a = 1 + 3. Let h = m + a. Is h a multiple of 11?
False
Suppose 5*v - 54 = 4*v. Is 18 a factor of v?
True
Does 5 divide 13 - ((-4)/3)/(4/6)?
True
Does 15 divide (4/6)/((-1)/(-39))?
False
Suppose -16 = -3*i - j, -4*i + j + 23 = 4*j. Suppose -3*t = i*k - 14, -24 = -6*k + 2*k + 4*t. Is 4 a factor of k?
True
Let s(d) = 3*d**3 + d**2 + d - 1. Let j be s(1). Suppose -177 = 5*k + 2*n, j*k = -5*n + 74 - 202. Let h = -23 - k. Is h a multiple of 14?
True
Suppose -o - 2*o + 18 = 0. Let j = 18 - o. Does 12 divide j?
True
Let i be (-2 + -4)*2/(-6). Is i/(-8) + (-122)/(-8) a multiple of 15?
True
Let k(q) be the first derivative of q**2/2 - 2*q + 2. Let c be k(-6). Is (-445)/(-20) - (-2)/c a multiple of 10?
False
Suppose 3*x - 4 = x. Suppose -10 = -x*v + 52. Does 16 divide v?
False
Let l(t) = -14*t - 30. Is l(-11) a multiple of 62?
True
Let s(i) = 5*i**3 - i**2 - i + 1. Let b be s(1). Let p be 2/b*-2*-4. Suppose -p*v = v - 45. Is 8 a factor of v?
False
Let c be 15/(0 - -3) + -1. Suppose v - 6*y + 2*y - 12 = 0, -c*y + 68 = 3*v. Does 8 divide v?
False
Let c be 5 - (-1 + (2 - 0)). Suppose 65 - 17 = c*o. Is 11 a factor of o?
False
Let u be (-6)/4*(-92)/3. Let q = u - 26. Is q a multiple of 13?
False
Let q(d) = -17*d + 4. Does 21 divide q(-1)?
True
Suppose -64 = k - 0*k + 3*a, k - 4*a = -43. Let v = k + 107. Does 13 divide v?
True
Let j be (3 - 0)/(54/180). Is (50/(-4))/((-5)/j) a multiple of 25?
True
Suppose 3 + 0 = -3*d. Let y be (0/d)/(3 - 4). Suppose 2*a = -y*a + 40. Is a a multiple of 7?
False
Let j(q) = -3*q - 9. Is j(-4) a multiple of 3?
True
Suppose 392 = 7*k - 3*k - 5*y, 3*k = -3*y + 267. Is 10 a factor of k?
False
Suppose 358 + 178 = 4*y. Is y a multiple of 20?
False
Suppose 58 = 5*h + v, -2*v = -5*h + v + 46. Let b(p) = -p**2 + 10*p + 11. Let q be b(h). Suppose -4*x = 4*r - 56, -3*r - 56 = -q*x - 4*x. Is 6 a factor of x?
False
Does 3 divide ((-48)/36)/((-2)/12)?
False
Suppose 136 = 4*u - 4*r, -2*r - 99 = -2*u - u. Suppose 2*y = -u + 97. Is y a multiple of 11?
True
Suppose 5*a = -3*p + 2*p - 18, -3*p = -a - 10. Is p/8*(-6 + 98) a multiple of 20?
False
Let p = -6 - -4. Let w = -2 + p. Is 8 + -2 - (-4)/w a multiple of 5?
True
Let n(g) = g**2 + 7*g + 3. Let u be n(-8). Suppose k - u = 3. Is 4 a factor of k?
False
Let x(b) = -3*b**3 - 6*b**2 - 4*b + 3. Let s(o) = -3*o**3 - 5*o**2 - 3*o + 2. Let v(f) = -5*s(f) + 4*x(f). Does 13 divide v(2)?
False
Let g(o) = o - 26. Let b be g(0). Does 11 divide b*-3*1/2?
False
Suppose 14 = a - 2*a. Let z = 5 - a. Is 7 a factor of z?
False
Is 19 a factor of (-228)/(-30)*(16 + -1)?
True
Let f = -70 - -41. Let r(t) = t. Let g be r(0). Does 11 divide 2 - g - f - 2?
False
Let i = 97 + -28. Suppose -n = -4*k - 34 + 89, i = 5*k - n. Does 7 divide k?
True
Suppose c - 6 = 93. Is 6 a factor of c?
False
Let i be ((-42)/(-5))/(6/40). Suppose 18 = -g + i. Does 23 divide g?
False
Let u(h) = 13*h**2 - h + 1. Suppose 3*w + 5 = 3*t + t, 0 = -2*t + 4. Is 8 a factor of u(w)?
False
Let a = -29 - -77. Does 10 divide a?
False
Let n = 35 - -10. Is 8 a factor of n?
False
Suppose -5*v = 5*i + 55, -4*i = -2*v - 2*v + 28. Let q = i - -16. Is 4 a factor of q?
False
Suppose 9 + 27 = r. Is r a multiple of 19?
False
Suppose 0 = 29*s - 27*s - 126. Is s a multiple of 7?
True
Let v(c) = c**3 - 9*c**2 + 5. Let b be v(9). Suppose 0 = b*p - r + 3*r - 23, -4*r = 4. Suppose -86 = -p*x + 4. Is 6 a factor of x?
True
Suppose 3*v = -2*v + 135. Let q = v - -57. Does 20 divide q?
False
Let u(o) = -o**3 + 6*o**2 + 8*o - 5. Let b be u(7). Suppose 21 = 3*d - b*d. Does 12 divide d?
False
Let g = 7 - 5. Suppose 0*u = -g*u + p + 15, 5*p = -25. Suppose -4*m - 3*b + 42 = -0*m, -u*m + 5*b = -70. Does 12 divide m?
True
Does 11 divide 4/(-18) - ((-116760)/(-54))/(-10)?
False
Is 44 a factor of 3*(2 - 119/(-3)*2)?
False
Suppose -4*p + 248 = 4*m, 0*p - p - 118 = -2*m. Is 21 a factor of m?
False
Let d(v) = v + 10. Let b(l) = l**3 - 3*l**2 - 2*l - 1. Let p be b(3). Let g be d(p). Does 14 divide 8/g*(-21)/(-4)?
True
Suppose 4*x = 14*x - 860. Is 8 a factor of x?
False
Let z(i) = 3*i**2 - 11*i + 7. Let c be z(7). Suppose -3*l + 10 = -c. Suppose -3*m + 5 = -5*k, 3*m + 2*m - l = -2*k. Is k even?
True
Let s(x) = x**3 - 13*x**2 + 7*x - 17. Is 16 a factor of s(13)?
False
Suppose -14 = -w + 68. Is (-4 + w)/(2*1) a multiple of 13?
True
Let f = 0 - -5. Suppose -f*i + 16 = -3*i. Is i a multiple of 8?
True
Suppose -5*g - 13 - 82 = -4*d, -2*d = g - 65. Is d a multiple of 19?
False
Suppose -4*f + w + 133 = -90, -f = -4*w - 37. Is f a multiple of 19?
True
Let l = 26 - -107. Let n = -79 + l. Is 15 a factor of n?
False
Let i be (-166)/7 - (-2)/(-7). Let l = 42 + i. Is 6 a factor of l?
True
Let l(r) = r**2 + 2*r + 3. Let b be l(-2). Let g(s) = -s**3 + 4*s**2 - 4*s + 2. Let y be g(b). Is (6/(-3))/(y/10) a multiple of 10?
True
Let p(y) = y**2 + y - 1. Let q be p(-5). Suppose q = 3*s - 8. Does 8 divide s?
False
Suppose 2*d = -0*d + 34. Is 8 a factor of d?
False
Let n = 8 + 17. Suppose i + 1 + 4 = -2*b, 5*i + n = -3*b. Suppose 0 = 3*g + f - 48, -g + 16 = 3*f - b*f. Does 6 divide g?
False
Let n(g) = g + 6. Suppose 5*f = -3*j + 197, 2*j - 27 = 4*f - 189. Suppose -z = 3*z - f. Is n(z) a multiple of 9?
False
Suppose -6*z = -9*z. Is 29 - (-4 + z - -5) a multiple of 28?
True
Let v(i) = i - 6. Let q be v(-9). Does 5 divide (1/1)/((-1)/q)?
True
Suppose 4 = 3*v - 11. Let r = v - -21. Is 12 a factor of r?
False
Let l(o) = 3*o + 1. Let b be l(13). Suppose 72 = -n - 2*n. Let w = n + b. Is 5 a factor of w?
False
Let j(m) = -m**2 - m + 2. Let x be j(-2). Let z(l) = -l**2 - l + 3. Let q be z(x). Suppose -5*t + 39 = 4*u, -4*u + 23 = q*t + 6. Does 11 divide t?
True
Let l = -4 + 10. Let p be 1/(-4) - 663/(-12). Suppose -p = -l*n + n. Is 6 a factor of n?
False
Suppose -2 = 3*u - o - 3, 4*o - 28 = -4*u. Suppose -p + 4*j = u*j - 7