?
True
Suppose -4*t - 9 = -133. Let k = t + -25. Suppose y - 11*x + k*x = 47, 0 = 3*y - x - 127. Is y a multiple of 6?
True
Does 127 divide 127*(-144)/(-20)*(-140)/(-21)?
True
Is 18 a factor of (-83 + 33)/((-2)/306)?
True
Let k(z) = z**2 - 158*z + 8496. Is k(0) a multiple of 12?
True
Let n(g) = 33*g**2 + 134*g - 2772. Is 11 a factor of n(18)?
False
Let p = 312 - 309. Let x(s) = 27*s**2 - 3*s - 4. Is 10 a factor of x(p)?
True
Let n(c) = 706*c + 171. Does 12 divide n(25)?
False
Suppose 23*d = 4*d - 95. Is (-3512)/d - 4 - (-4)/(-10) a multiple of 11?
False
Let m(k) = -k**3 + 3*k**2 + 3*k + 5. Let h be m(-2). Suppose h*l + 4 = 17*l. Let t(u) = 6*u**2 - 2*u - 2. Is 16 a factor of t(l)?
False
Let t = 11899 - 7977. Does 223 divide t?
False
Let y(r) = -r**3 - 26*r**2 + 24*r - 20. Suppose -13*u - 108 = -9*u. Let a be y(u). Let z = 286 - a. Does 15 divide z?
True
Let s be (18 - 19) + 8/(-2)*-1. Suppose 2*f - 4*j + 350 = -s*j, -2*j - 684 = 4*f. Let c = -108 - f. Is 14 a factor of c?
False
Let o be 5/(6 + -16)*-374. Let u(i) = -i**3 + 3*i**2 + 2*i + 11. Let b be u(6). Let w = b + o. Does 34 divide w?
True
Let q be ((-35)/10)/((-7)/14). Suppose -q*y + 2375 - 338 = 0. Is y a multiple of 15?
False
Let k(g) = -3*g - 17. Let l(y) = -3*y. Let u(s) = 2*k(s) - 10*l(s). Is 33 a factor of u(22)?
False
Suppose 3*r = -6, j + 4*r + 2 = 3. Suppose -j*o + 31 = -473. Suppose 4*i - 260 = -4*w + o, 313 = 4*w + i. Does 25 divide w?
False
Suppose 8*y + 963 = s + 5*y, -3*y = -3*s + 2895. Does 46 divide s?
True
Suppose 845*d - 366996 - 571424 = 817*d. Is 13 a factor of d?
False
Does 41 divide (((-9)/(-6))/((-18)/(-147)))/(2/656)?
True
Let g be 30/9*(-18)/(-10). Suppose -3*k = 5*z - 10*z + 98, -3*k + 16 = z. Let m = z - g. Is 4 a factor of m?
False
Let f = 430 + -739. Let z = f - -465. Is 13 a factor of z?
True
Does 11 divide (12*(-279)/(-42))/(70/4410)?
False
Suppose -13125 = -4*h - 5*o, 1151 + 5374 = 2*h - 5*o. Let p = h - 1790. Is 15 a factor of p?
True
Is 5 a factor of (8 - 24)/(-208) - 3457/(-13)?
False
Let m = -28 + 28. Let s be 1/((-4 - m)/(-668)). Suppose -3*r + 168 = 5*j, 2*r = -8*j + 3*j + s. Does 10 divide j?
False
Let d be (129/(-86))/(3/2). Is (-3*804)/(-12) - 1*d a multiple of 7?
False
Let f be 4/(-18) - (-8)/36. Suppose f = -6*z - 23 - 13. Let w(o) = o**3 + 6*o**2 - 3*o - 9. Is w(z) a multiple of 3?
True
Let a = 61 - 41. Suppose -4*q + 9*q - a = 0. Suppose -q*l = 5*f - 92, l + 3*l = 5*f - 108. Is f a multiple of 10?
True
Suppose -125 = -8*z - 101. Suppose z*a + 18*a - 11046 = 0. Is 19 a factor of a?
False
Let u = 6159 - 4221. Is 57 a factor of u?
True
Let l(v) = 100*v**2 + 60*v - 30. Is 26 a factor of l(7)?
False
Suppose -x - 120 = -6*x. Let m = x - 11. Is 10 a factor of m?
False
Let a = 45700 - 22781. Does 35 divide a?
False
Suppose -45*p = -176433 - 74367 - 81660. Is p a multiple of 4?
True
Is 9 a factor of 5*18/15 + 9986*(-3)/(-2)?
True
Let a = -14 - -13. Let g(s) = -113*s**2 - 3*s - 3. Let f be g(a). Let b = f - -227. Is 19 a factor of b?
True
Suppose 5*d - 2*b = 23964, 2*b = 3*d - 0*b - 14376. Suppose 8*l + 1626 = d. Is l a multiple of 9?
True
Suppose 66*g = 143*g - 93*g + 430464. Is g a multiple of 12?
True
Let a(r) = -4*r**3 + 2*r + 11. Let l be a(-5). Let b = l + -380. Is 11 a factor of b?
True
Let i(b) = -7*b**3 - 16*b**2 + 27*b + 35. Let s(t) = -3*t**3 - 8*t**2 + 14*t + 17. Let v(c) = 2*i(c) - 5*s(c). Is v(-7) a multiple of 8?
False
Let y be -9*(2/(-9) + (-50)/225). Let m = 30 - 18. Suppose y*a = m, 5*l - 47 = -2*a - 2*a. Is l a multiple of 7?
True
Suppose -3*c + 0 = -12. Suppose -5*j + 30 = -10*j + 11*j. Suppose -342 = -j*z - c*z. Is z a multiple of 9?
False
Suppose w - 4*w - 15 = 0. Let l(u) = -u**3 - 7*u**2 - 12*u - 8. Let q be l(w). Suppose -94 = -a - q*p, 223 = -a + 3*a - 3*p. Is a a multiple of 36?
False
Let t(p) = -p + 13. Let r be t(13). Suppose 2*h + 2*i = i + 156, r = -5*i. Suppose 0 = 7*f + h - 1324. Is 12 a factor of f?
False
Let z(p) = 90*p**2 + 35*p - 134. Is z(7) a multiple of 33?
True
Suppose 2*x - 122 - 14 = 3*g, 2*g - 3*x = -89. Let q be (g/4 - 4)/(1/4). Let f = q + 149. Is f a multiple of 12?
False
Let h be (-2)/((3/(-387))/((-4)/8)). Let u = 250 + h. Is u a multiple of 5?
False
Let o = 22 - -4. Let m = o - 22. Suppose -w + 3*l + 113 = 0, 3*l = 4*w + m*l - 517. Is 16 a factor of w?
True
Let u = 153 + -97. Suppose 0 = 4*s, p - u + 3 = 3*s. Is 4 a factor of p?
False
Let l = -5949 + 11273. Is 22 a factor of l?
True
Let d = 70 + -71. Let l(x) = -80*x**3 + 2*x**2 + 2*x + 1. Let f be l(d). Is 78/(-4)*-2 - f/(-27) a multiple of 25?
False
Let g(l) = -6*l**3 - 6*l**2 + 7*l + 52. Let n be g(-7). Let h = -837 + n. Is h a multiple of 15?
True
Suppose 20 = 13*j - 45. Suppose -j*z = -12*z + 1540. Is z a multiple of 55?
True
Suppose 0 = 13*n + 19*n - 213022 - 990434. Does 22 divide n?
False
Suppose -9*s - 118720 = 3*s - 82*s. Is s a multiple of 51?
False
Let d = -2392 + 8468. Does 62 divide d?
True
Let z(n) = n**2 + 8*n - 3. Let j be z(14). Suppose 5*v = 3*f - 5*f + j, 5*v - 5 = 0. Is 5 a factor of (-20)/f - 377/(-15)?
True
Suppose -5*c = -6*c. Suppose -3*d = 5*o - 718 + 42, 4*o + 4 = c. Suppose -2*g - 3*r = 2*r - d, 2*g - 257 = 5*r. Is g a multiple of 11?
True
Let s(f) = f**3 - 19*f**2 - 17*f - 57. Let k be s(20). Suppose k*u - 323 = 2*u. Does 17 divide u?
True
Does 47 divide 49060/12 + ((-2)/(-10))/(330/1100)?
True
Suppose -6 = -50*w + 47*w. Let r = 33 + w. Does 5 divide r?
True
Let y(n) = -16*n + 1350. Let g be y(0). Suppose -18*w + g = -12*w. Does 18 divide w?
False
Let a(y) = -y**2 + 4*y + 3 + 0*y - 12 + 4*y. Let d be a(3). Does 9 divide (d/(-10))/((-5)/150)?
True
Let o be (5 - 402)/(3/(-3)). Let f = o + 37. Let h = -283 + f. Is h a multiple of 31?
False
Let m be 4/24 - 76/24 - -11. Is (((-180)/m)/(-5) + -5)*-1066 a multiple of 36?
False
Does 9 divide (-2)/15 + 107860/75 + -1?
False
Let i = 1261 + 20447. Does 27 divide i?
True
Let d = 5666 + -2679. Is d a multiple of 29?
True
Suppose 74 = 5*f - 2*v, 0*v - 20 = -2*f + 4*v. Suppose -2*c + 4*c + f = 0. Let z(k) = -k**3 - 6*k**2 + 11*k - 14. Is 7 a factor of z(c)?
False
Suppose -43*c + 40*c = -5*d - 183, -c + 74 = -2*d. Is 2/(-6) + (-2821)/d even?
True
Let i be (-140)/7*408/15*1. Let n = -280 - i. Is n a multiple of 33?
True
Let o(i) = -i**2 - i + 44. Let q be o(6). Does 25 divide 108/q + 13/(91/(-28))?
True
Let g be -8*2/(-4) + -3 + 1. Suppose -g*f = -2*m - 1628, 0 = -0*f + f - 2*m - 813. Does 14 divide f?
False
Suppose 2*b + 4 = -10. Let h be 3384/235 + (1 - b/(-5)). Suppose -8 = 4*a, -h = -t + 4*a + 6. Is 3 a factor of t?
True
Let w = 4035 - 3676. Let s be (1*-4)/(6/(-2043)). Suppose -3*m + s = -5*a + w, -4*m = 2*a - 1294. Does 41 divide m?
False
Let m be 1412/(-36) - (-4)/18. Let d = m - -44. Suppose 4*o = 0, 2*l - d*o - 41 + 7 = 0. Is 8 a factor of l?
False
Let o(g) = g**2 + 3*g - 15. Let r be o(13). Suppose 2*t - 5*f - 386 = 0, t + 3*f = -f + r. Suppose 3*m = t + 305. Does 20 divide m?
False
Let a = -6046 + 10204. Is a a multiple of 4?
False
Suppose 0 = 3*a - 4*w + 1508, 4*w = a + 2*w + 500. Let i = a + 927. Suppose -i + 83 = -8*m. Does 21 divide m?
True
Suppose 197*x - 799252 = 342757. Does 7 divide x?
False
Suppose -4*s - x + 38 = 0, 11*x = 3*s + 10*x - 25. Let l(h) be the first derivative of h**3/3 + 15*h**2/2 - 18*h + 4. Is l(s) a multiple of 11?
True
Let r(s) = -s**3 + 10*s**2 - 14*s - 1. Let w be r(7). Suppose b - 41 = -w. Is 4 a factor of -2 + (-2)/b + (-1542)/(-42)?
False
Let t = 897 - 285. Let y = t - 573. Is 2 a factor of y?
False
Suppose 0 = -3*c - 5*f + 4797, 0 = 5*c + 5*f - 2100 - 5905. Suppose -1668 - c = -8*a. Does 26 divide a?
False
Let m = -38 + 44. Suppose -3*v = j - 7 - m, -33 = -5*v + 4*j. Suppose -v*s = 4*i - 9*i - 395, 78 = s - 2*i. Does 31 divide s?
False
Let g(v) = 2*v**3 - 53*v**2 + 172*v + 29. Is 94 a factor of g(23)?
True
Let i(y) = 16*y - 4 - 1 - y + 3. Let s be i(11). Suppose -67 = -o + r, -5*r - 101 = -4*o + s. Is 18 a factor of o?
False
Let q(d) = -d**2 - 2*d + 16. Let r be q(-5). Let f(k) = 201*k**2 - 4*k - 2. Is f(r) a multiple of 15?
True
Suppose -23*t + 25*t - 242 = -4*j, 3*t + 3*j = 348. Suppose -3091*i = -3094*i + t. Is 2 a factor of i?
False
Suppose 3 - 45 = -14*o. Suppose 0 = o*t - 178 - 218. Is 11 a factor of t?
True
Let t = -4267 - -10626. Is 24 a