
True
Let o = -25 - 11. Suppose 4*q = 3*q + 4*z - 39, -q - 63 = 4*z. Let l = o - q. Is l a multiple of 5?
True
Let m = 14 + 13. Let d be m/(-45) + (-6)/(-10). Suppose 2*i - 88 = -d*i + 4*w, 5*i - 207 = -3*w. Does 9 divide i?
False
Let q = -372 + 535. Is 2 a factor of q?
False
Let l(w) = -w**3 + 11*w**2 + 13*w - 9. Let y be l(12). Suppose 1 = -x + y. Is 9 a factor of 13 + (0 - 6) + x?
True
Suppose -12*n = -1970 - 3310. Is 55 a factor of n?
True
Suppose -3*l = -2*l + 5*f - 19, 3*l = 4*f. Suppose 0 = -2*y + 4*q + 136, l*y - 198 = 5*q + 74. Suppose 4*u + y = 8*u. Does 5 divide u?
False
Suppose 415 = -9*a + 4*a. Let h = a - -144. Does 21 divide h?
False
Let m be -3 + (-45)/(-7 - -2). Let f(r) = 3*r - 3. Is f(m) a multiple of 7?
False
Let k(y) = -y**3 + 35*y**2 + 82*y - 73. Is 7 a factor of k(37)?
False
Let s(a) = a**2 + 26*a + 1. Is 4 a factor of s(7)?
True
Let o(w) = 7*w**2 + 5*w - 5. Let u(n) = -n**2 + 14*n + 2. Let j be u(14). Let m be o(j). Suppose -m = 3*d - 6*d. Is 3 a factor of d?
False
Let k = -16 - -20. Let g be (-1 + 0)*k/(-2). Suppose -5 = g*f - 45. Does 5 divide f?
True
Suppose -3031 = -4*f - 1543. Does 6 divide f?
True
Let y be (-4)/6 - 100/(-6). Suppose 19 + y = -l. Let g = l - -79. Is 19 a factor of g?
False
Let n(d) = 3*d - 20. Let s be n(8). Suppose s*y - 19 = 21. Is y a multiple of 10?
True
Suppose -68 = 2*q - 190. Let r be 19 + q - (0 + -2). Suppose -2*o + 2*z = -r, -4*o = 4*z - 169 - 19. Is 13 a factor of o?
False
Let x(v) = 139*v + 5. Let y be x(5). Suppose -6*u = u - y. Is u a multiple of 20?
True
Let n(k) = k**2 - 5*k + 5. Suppose 9 = 4*x - 2*x - 3*l, 0 = 3*x - 4*l - 15. Let v be n(x). Suppose -3*y = -v - 103. Is y a multiple of 16?
True
Suppose -15 = -3*y, -27*p = -24*p - 4*y - 1660. Is 40 a factor of p?
True
Is 8 a factor of (-4)/((-7)/2450*7)?
True
Does 3 divide ((-13)/2)/(-1 + (-483)/(-504))?
True
Let p(z) = -49*z**2 - 4*z + 8. Let w(i) = 97*i**2 + 7*i - 16. Let n(b) = 5*p(b) + 3*w(b). Is 18 a factor of n(2)?
False
Does 13 divide 1 + (11 - -5943) + 13?
False
Is 7 a factor of 10872/14 - (-33)/77?
True
Is (0 + 60)*(-4 + 5) a multiple of 17?
False
Let a = 4 - -1. Suppose 3*x + 3*c - 250 = -76, 0 = a*x + c - 298. Is 14 a factor of x - (4 + -4)/(-1)?
False
Suppose 12*t + 4104 = 18*t. Does 19 divide t?
True
Suppose 2*t = 4*a + 4, 0 = 3*a - 3 + 6. Is 5 a factor of 150/(-6)*(-1 - t)?
True
Let q(v) = -v**3 + 2*v**2 + v. Let l be q(-1). Suppose l*g = 222 - 54. Suppose -3*u = -2*o - u + g, 3*u = -2*o + 69. Does 21 divide o?
False
Let l(a) = 53*a + 3. Let w be l(5). Suppose 3*g - w = -4*p, 6*p = p + 5*g + 370. Does 10 divide p?
True
Let y be (2/(-8))/(7/(-84)). Let u = y + 25. Is u a multiple of 14?
True
Suppose -26*g + 2228 = -22*g. Suppose 0 = 3*j - g + 95. Is 14 a factor of j?
True
Suppose 7*l + l = -88. Let t be 2*3*l/(-22). Suppose v - t*o = -7 - 6, -4*o + 20 = 0. Is v a multiple of 2?
True
Let g(r) = r**2 - 19*r + 3. Let k be g(8). Let i = 271 + k. Suppose -223 = -5*h - 0*o + o, -3*o + i = 4*h. Does 12 divide h?
False
Suppose 4770 = 4*j - 2*c, -7*c + 11*c = -4*j + 4800. Is 8 a factor of j?
False
Is (-284 + 2 + 7)/(1/(-4)) a multiple of 54?
False
Let f(w) = -w**2 - 7*w - 2. Let h be f(-2). Let s(p) = p**3 - 6*p**2 - 2*p + 19. Does 19 divide s(h)?
False
Let m = -255 + 395. Does 28 divide m?
True
Let r = 435 + -275. Is r a multiple of 9?
False
Let j(r) = 2*r. Let t(p) = -10*p + 1. Let n(y) = 2*j(y) + 2*t(y). Let z(d) = -d**3 - d**2 + 20*d - 1. Let a be z(4). Is n(a) a multiple of 6?
True
Let f(v) = -v + 14. Let p(m) = -m**2 + 7*m - 10. Let a be p(5). Is 7 a factor of f(a)?
True
Suppose -5*d + 5*k = -1395, d + 30*k - 271 = 35*k. Does 29 divide d?
False
Let j(h) = -8*h**2 - 7*h - 11. Let q be j(-3). Let i = q + 92. Is i a multiple of 8?
False
Suppose 5*n = n - a + 10701, -3*n + a = -8024. Is n a multiple of 11?
False
Let f(w) = w**3 - 3*w**2 - 4*w + 7. Let v be f(4). Let s be v + -10 + (-2 - -6). Suppose -4*r = 5*o - 200 - s, 0 = 2*r + 2*o - 102. Is 18 a factor of r?
True
Let z = 320 + -203. Is 11 a factor of z?
False
Let z be (-4)/(-1 + (-27)/(-21)). Let d = z - -20. Let x = d - -52. Is x a multiple of 15?
False
Suppose b - 984 = -2*f, 5*b + 514 = 24*f - 23*f. Is f a multiple of 13?
True
Suppose 2*s - n = 667, 0 = 15*s - 18*s + 2*n + 1001. Is s a multiple of 9?
True
Let a(i) be the third derivative of -i**6/60 - i**5/10 - i**4/12 - i**3 + 2*i**2. Let s be a(-4). Suppose -4*d = -16, 2*j - s = -j + 5*d. Is j a multiple of 18?
True
Let z be 2*((-2)/(-4))/(-1). Let o = z - -3. Suppose -o*p - 3*p + 155 = 0. Is p a multiple of 15?
False
Does 5 divide ((-374)/(-12))/17*30?
True
Suppose -5*z = -75 - 60. Does 6 divide z?
False
Is 13 a factor of (1785/60)/(((-28)/64)/(-7))?
False
Let h(j) = 2*j**3 - j**2 + 22*j - 13. Let r be h(6). Let x = -347 + r. Does 12 divide x?
True
Suppose 0 = -5*j - 25, -j = -f - 3*f - 2067. Is f/(-18) - (-4)/18 a multiple of 7?
False
Let i(b) = -6*b - 64. Let y be i(-26). Suppose 2*x + 20 = y. Is 12 a factor of x?
True
Let n(c) be the second derivative of 13*c**4/6 - 5*c**2/2 + 20*c. Does 33 divide n(2)?
True
Let v(j) = j - 2. Let a be v(5). Let y be (a + -3)*(-1 - 0). Does 4 divide y - (-44)/8*2?
False
Suppose 5 - 2 = 3*s. Is (1/(-1))/(-3*s/93) a multiple of 3?
False
Is (154 + -4)*882/105 a multiple of 30?
True
Suppose -2*r - 155 = -3*b + 280, -2*r = 4*b - 566. Is 11 a factor of b?
True
Let q(n) = 3*n**2 + 11*n + 13. Let m(x) be the first derivative of -2*x**3/3 - 3*x**2 - 7*x + 3. Let h(s) = -5*m(s) - 3*q(s). Does 10 divide h(-6)?
True
Suppose -p = p + 4. Let g(w) = -w**3 - w**2 + 3*w + 3. Let r be g(p). Does 10 divide r/(3/60 + 0)?
True
Suppose -102*g + 4167 = -93*g. Is 10 a factor of g?
False
Does 13 divide ((-23049)/26)/((-6)/28)?
False
Suppose -13*x + 1720 = 4. Is x a multiple of 6?
True
Let u(h) = h**3 + 15*h**2 - 16*h + 3. Let x be u(-16). Suppose x*z = 2*v + 115, -z - 2*v - 2*v = -43. Is 13 a factor of z?
True
Is 36/(-10)*(-15 - (-420)/(-8)) a multiple of 9?
True
Let c = -392 - -832. Is 44 a factor of c?
True
Suppose 2*r - 37 - 99 = 0. Suppose -p = -5*p + r. Suppose 0 = h + 5 - p. Does 9 divide h?
False
Suppose -k = c - 7, 2*k - 1 = -2*k + 5*c. Suppose 0 = k*t + 5 - 13. Suppose 4 = -t*h, 0 = -2*w + h + h + 24. Is 4 a factor of w?
False
Suppose 5*w - 2749 = 3*l + 2045, -2*w - 2*l = -1908. Is 6 a factor of w?
False
Does 32 divide 0 + 398 + 2 + 1 + 1?
False
Let z be (4/4)/(1 + 0). Let f(t) = 5*t - 10. Let n be f(3). Suppose 2 = i + n*s + z, -3*s = -4*i + 96. Does 7 divide i?
True
Does 6 divide (-2)/(1 - 7)*15 - -2?
False
Suppose 3*f + 603 = 4*s, 11*f - 309 = -2*s + 14*f. Is s even?
False
Suppose x + 5*g = 308 + 6, -4*g = -3*x + 847. Is 24 a factor of x?
False
Let c = 11 + -6. Suppose -i - c*r = -3 - 21, -4*i = 3*r - 96. Suppose 5*b = z - 9 - i, -5*b - 59 = -3*z. Is 13 a factor of z?
True
Suppose 252 = 343*t - 340*t. Is t a multiple of 21?
True
Let x = 1748 - 825. Is 13 a factor of x?
True
Suppose 14400 = 3*p + 22*p. Is 18 a factor of p?
True
Suppose u + 0*t + 4*t - 345 = 0, u - 2*t - 327 = 0. Is u a multiple of 10?
False
Let x be 3 - 4/(-12)*-3. Let y(v) = -3 - 3*v**x + 24*v**2 - 2 + 4*v + 7. Does 26 divide y(-2)?
True
Let l(s) = -s**3 - 10*s**2 - 15*s - 36. Let r be l(-7). Let u be (3 - (-1 + 3))*-30. Let m = u - r. Does 15 divide m?
False
Let b(s) = 3*s**3 - 3*s**2 + 8*s - 4. Suppose 0 = -4*z - 3*u + 16 - 4, -4*u - 9 = -3*z. Is b(z) a multiple of 18?
False
Let w(q) be the third derivative of -3*q**4/4 - q**3 - 3*q**2. Let y be w(-7). Suppose -5*b = -5*n + y, 120 = 5*n - 3*b - b. Does 8 divide n?
True
Let d(m) = m**3 - 6*m**2 - 7*m - 2. Suppose -3*s + 13 = 4*o, -5 = 3*s - 4*o - 34. Let y be d(s). Is 40/15*(-3)/y even?
True
Let x = -1 - 1. Let h = -7 + 11. Does 4 divide -2 - (x - (2 + h))?
False
Let l(d) = d**3 - 7*d**2 - 3*d - 3. Let z be l(7). Let b be 8/z*9*-1. Let j = 1 + b. Does 2 divide j?
True
Suppose 6*r - 109 = 155. Is 11 a factor of r?
True
Suppose -6*p + 5*p = 5. Let x = 5 + p. Suppose 2*h + 6*c - 3 = c, -5*h + 3*c + 23 = x. Is h a multiple of 2?
True
Suppose -26*f + 3975 - 673 = 0. Does 11 divide f?
False
Let g be 10 - 8/(-4)*1. Let z = g + -63. Let h = -8 - z. Is 13 a factor of h?
False
Suppose -5*r - 2*s - 10 = 0, -3*s + 20 = -2*r - 7*s. Does 13 divide r/5 + 20 + 2?
False
Let w = -589 + 2343