ppose 0*z - 257 = -3*r + z, z = 4. Is r a multiple of 29?
True
Suppose 2*w = -0 + 2. Let l be (-1 - 0) + (3 - w). Is (-2 - 2)*(-3 + l) a multiple of 7?
False
Does 14 divide ((-420)/(-18))/((-1)/(-3))?
True
Let o(s) = -s**2 + s + 5. Let y be o(0). Let v = -2 + y. Is (1 - 2) + v*2 a multiple of 5?
True
Suppose -8*w + 431 + 1793 = 0. Is 37 a factor of w?
False
Let a be (-1 - (-4 + 2))/1. Suppose 13 = 4*j + a. Let m = j + 4. Is m a multiple of 7?
True
Suppose 0 = 3*m - 5*x - 19, 4*x = 2*m + 3*m - 23. Is 3 a factor of m?
True
Let p(k) = k**2 - 3*k + 3. Let b(t) = 3*t**2 - 8*t + 9. Let m(n) = -n**2 + 5*n + 6. Let a be m(5). Let g(r) = a*b(r) - 17*p(r). Does 9 divide g(-7)?
False
Is -2 + (-28)/(-13) + (-22990)/(-130) a multiple of 38?
False
Suppose 2*o = o. Suppose 3*l + 0 - 3 = o. Is 5 a factor of (-15)/12*l*-4?
True
Let j = -10 + 9. Does 8 divide j/4 + 485/20?
True
Suppose -3*j + 299 - 113 = 0. Is j a multiple of 10?
False
Let u(l) be the first derivative of l**4/4 + 2*l**3 - 3*l**2/2 - 4*l - 2. Is 18 a factor of u(-5)?
True
Suppose 0 = 6*o - 3*o - 48. Is 8 a factor of o?
True
Suppose 2*t + 15 = 5, 2*x - 3*t = 261. Is x a multiple of 32?
False
Is ((-260)/78)/(1/(-3)) a multiple of 9?
False
Suppose 0 = 4*w - 487 - 905. Is 12 a factor of w?
True
Suppose -55 = -k + 61. Let s be (-193)/(-3) + 3/(-9). Let q = k - s. Is 14 a factor of q?
False
Let k(m) = -2*m**2 - 2*m + 16. Let d be k(13). Is 7 a factor of 8/10 + d/(-15)?
False
Let j(r) = r**3 - 14*r**2 - 20*r - 10. Does 8 divide j(16)?
False
Suppose -4*p + 3*k = -2*k - 65, -55 = -4*p + 3*k. Let d = p + -4. Is 6 a factor of d?
True
Let d(n) = 32*n. Is d(4) a multiple of 34?
False
Let j be (1/(-2))/((-3)/36). Suppose -i + 0*i = 0. Suppose i = v - j*v + 80. Is 16 a factor of v?
True
Let s(h) = -h + 25. Is 8 a factor of s(16)?
False
Let k(w) = 38*w**2 + w - 1. Is k(1) a multiple of 16?
False
Let w(p) = -p**3 - p**2 + 3*p + 7. Is w(-5) a multiple of 10?
False
Suppose 0 = 5*g - 4 - 6. Suppose -q - g*q + 36 = 0. Is q a multiple of 4?
True
Suppose -5*a + 5*w = -5, w = -2*a - 4*w + 37. Let v be -2*3/a*3. Is 3 a factor of 3 + -1 - v/1?
False
Let n be 51 + 0*(-1)/3. Suppose -4*u + n - 15 = 0. Let o = 20 - u. Does 5 divide o?
False
Let a = 0 - -1. Let b = 5 + a. Is b a multiple of 5?
False
Let y = -12 + 30. Suppose -5*d - 2*l - y = 0, -2*d + 3*l - 19 = 2*d. Is ((-30)/d)/1*2 a multiple of 13?
False
Let o = -10 - -11. Let r = 0 - o. Is (-1 - 0)*39*r a multiple of 13?
True
Let y be (-4)/14 - 326/(-14). Suppose 0 = -j - 8 + y. Does 5 divide j?
True
Let b(t) = 43*t + 1. Let y be b(5). Suppose -3*v - y = -5*v. Suppose 20 = -4*z + v. Does 12 divide z?
False
Suppose o + 68 = 257. Suppose o = 3*b - 0*b. Does 21 divide b?
True
Suppose -5*g + 139 = 1214. Does 11 divide (g/20)/((-1)/4)?
False
Let h(o) = -o + 10. Let t be h(6). Let k be (-3)/t + 6/8. Suppose -5*r + 67 = 3*c - 0*c, 2*c - 5*r - 3 = k. Does 14 divide c?
True
Is (-4)/(-18) + (-1078)/(-9) - -2 a multiple of 14?
False
Let t(f) = -3*f + 15. Let d be t(6). Does 6 divide 2/d*(-3 - 6)?
True
Suppose 61 + 175 = 4*z. Does 2 divide z?
False
Let h be (12/16)/((-1)/12). Is (h/3)/(3/(-21)) a multiple of 7?
True
Suppose 0 = -v - 4*y - 26, v - y = y - 8. Let x = 0 - v. Suppose 0 = -k + 32 + x. Does 16 divide k?
False
Suppose -2*g = 4*x - 8 - 18, -g = 5*x - 16. Is 11 a factor of g?
True
Let i(o) = -o**2 + 6*o - 6. Let c be i(5). Let g(t) = -4*t**3 - t**2 + t + 1. Let x be g(c). Does 4 divide 12*((-1)/x)/(-1)?
True
Let h(w) = -4*w**2 + 5*w - 3. Let y be h(3). Let o = y + 43. Is 19 a factor of o?
True
Suppose 5*d = -0*d + 5*j + 445, -3*j + 421 = 5*d. Is d a multiple of 9?
False
Suppose 2*j = 33 + 51. Suppose -13*g = -10*g - 132. Suppose 2*i + n = j, 4*i = -3*n + 38 + g. Does 12 divide i?
False
Suppose 0 = q + 3*q - 176. Is q a multiple of 14?
False
Let u(q) = q**2 - 11*q + 16. Let j be 0/((2 + 0)/(-1)). Suppose 2*n = 3*m - 49, -5*m + n + 70 = -j*m. Is 14 a factor of u(m)?
True
Suppose 4*l = -5 + 25. Suppose 4*c + 4*s = 24, 0*s = 4*c - s - 24. Suppose c = -t + 5*p + 17, -t + l = p. Is t a multiple of 5?
False
Let u = -189 + 270. Does 9 divide u?
True
Let f = 28 - 22. Is f a multiple of 6?
True
Let x = 28 + -87. Is 3/9 + x/(-3) a multiple of 20?
True
Let r(v) = v**2 + 7*v + 7. Let l = -1 - 6. Does 5 divide r(l)?
False
Suppose 6*j + 5*b = 2*j - 3, -2*b + 3 = 3*j. Let l be 1/j + 26/3. Let f = l - -9. Is 10 a factor of f?
False
Suppose 5*b - 34 = 3*b - f, -2*b + 30 = -f. Suppose -p + b = 1. Is p a multiple of 15?
True
Suppose 1 - 10 = -3*a. Let p be 6/9 + 10/a. Suppose -l = p*l - 115. Is l a multiple of 9?
False
Let u(w) = -w**2 - 11*w. Does 8 divide u(-8)?
True
Let c(a) = 23*a - 1. Let y(j) = 8*j. Let h(t) = 3*c(t) - 8*y(t). Let r be h(2). Suppose 2*i = 3*i - r. Does 3 divide i?
False
Let k be (-1 - 5)*1 - -2. Does 10 divide 35*k/(-56)*20?
True
Let g(s) be the first derivative of 5*s**3/6 - s**2 + 4*s + 4. Let m(j) be the first derivative of g(j). Does 13 divide m(3)?
True
Let i(o) be the first derivative of 4*o**2 - 2*o - 2. Let w(c) = -2*c**3 - 3*c**2 - c - 2. Let a be w(-2). Does 15 divide i(a)?
True
Let s(v) = -v**3 + 11*v**2 - 7*v - 8. Is 22 a factor of s(10)?
True
Let z be 196/18*-3*-3. Suppose -5*v - 19 = l - z, 0 = -3*l + v + 285. Let x = l + -60. Is 17 a factor of x?
True
Suppose -3*k - w = k - 7, -3*w + 8 = -k. Let m(z) = -9*z - 1. Let s be m(k). Does 10 divide -2*2/4*s?
True
Let n be (-4)/(-6)*3 + 3. Suppose -n*y + 140 = -0*y + 5*u, -5*y - 3*u = -146. Let w = y + -11. Is w a multiple of 13?
False
Suppose c + 3 = 5. Suppose 0 = -2*m - 2*f + 66, 0 = -3*m - c*f - 2*f + 103. Does 14 divide m?
False
Is (-8 + 17)*16/6 a multiple of 4?
True
Let x = 37 - 25. Let r(c) = c**2 + 3*c - 4. Let t be r(-4). Suppose t*y = -y + x. Does 6 divide y?
True
Is ((-483)/28)/((-3)/8) a multiple of 6?
False
Let l = -22 + 29. Suppose -225 = -5*m + 5*d, -4*m - 2*d - 134 = -l*m. Is m a multiple of 13?
False
Does 7 divide -6*54/(-4) - 3?
False
Let t(h) = -h**2 + 9*h + 4. Let c be t(6). Suppose c = w + 1. Does 12 divide w?
False
Suppose -2*v + 2 = -4. Let u be (v + 0)/(6/(-4)). Is 16 a factor of 9*(u/(-3) + 2)?
False
Suppose -48 = -2*m + 5*r, 3*r + 7 + 83 = 3*m. Is m a multiple of 17?
True
Is -3 - (1 + -49 + 0) a multiple of 9?
True
Suppose 3*f = -4*z - 3, -4*z - 6 = -f - 3*z. Suppose -n + 7 = -f. Is 10 a factor of n?
True
Suppose -2*v + 5 = 3*l - 7*v, 0 = -2*l + 5*v. Suppose 5*y = -5, y - 16 = l*p + 3. Let d(w) = -11*w - 2. Does 17 divide d(p)?
False
Suppose -4*r = -7*r + 5*y + 2085, -5*r - 4*y + 3512 = 0. Suppose -r - 68 = 2*v. Does 14 divide v/(-28) + (-2)/(-7)?
True
Suppose 7*g - 3*g + 44 = 4*v, 14 = v - 4*g. Is v a multiple of 10?
True
Let r(z) be the second derivative of z**4/4 - z**3 + 6*z. Suppose 3*s + 0*s = 12. Does 12 divide r(s)?
True
Let k(q) be the third derivative of 7*q**5/60 - q**3/6 + q**2. Let x be 14/18 + 10/45. Does 6 divide k(x)?
True
Let h(l) = -l**3 + 6*l**2 + 5*l + 4. Let r be h(7). Let y = r - -15. Let x(n) = 2*n**2 - 5*n - 3. Is 9 a factor of x(y)?
False
Let z be 0 + 17 - (0 + 2). Let i be (4/4)/((-3)/(-18)). Let r = z - i. Does 9 divide r?
True
Let v(w) = -7*w + 6. Let m be v(-6). Suppose -m - 22 = -5*k. Does 7 divide k?
True
Let l(u) = u - 16. Let j be l(7). Is 4 a factor of (42/(-9))/(2/j)?
False
Let u(t) = 26*t + 2. Let w = 14 + -12. Is 18 a factor of u(w)?
True
Let f be (1/1)/(-1) + 4. Let v be (1 + 5 - f) + 0. Suppose -y = 3*b - 106, 9*b - 174 = 4*b - v*y. Is 10 a factor of b?
False
Let b = 48 + -21. Does 9 divide b?
True
Suppose 4*t - 175 = -h, 4*h = -3*t + 4*t - 48. Is t a multiple of 10?
False
Suppose -6*o = -461 - 319. Is 13 a factor of o?
True
Let g(l) = l**2 + 2*l - 3. Does 16 divide g(6)?
False
Let t(i) = i**2 + 9*i - 7. Let n be t(-10). Suppose n*m + 2 - 29 = 0. Is 3 a factor of m?
True
Let y(x) be the third derivative of -x**4/8 + 5*x**3/6 + 4*x**2. Does 8 divide y(-7)?
False
Suppose 3*f = 3*l + 33, -2*l - 3*f = 34 + 13. Let q = l + 2. Let s = q - -28. Is 7 a factor of s?
True
Is 4/(-10) + 376/40 even?
False
Let s be (2 - 3) + 6 + -1. Let f = s + -1. Is 3/(0 + 1/f) a multiple of 6?
False
Let z be 3*-6*(-4)/(-8). Is ((-24)/z)/((-4)/(-48)) a multiple of 8?
True
Let r(c) = 4*c**2 + 3*c - 3. Does 4 divide r(-3)?
True
Let n(o) = -9*o - 13. Is 7 a factor of n(-5)?
F