t?
True
Suppose -1305 - 1539 = 2*q. Is 16 a factor of 5/(q/714 + 2) + -5?
False
Let j(k) = -7704*k - 299. Is 53 a factor of j(-1)?
False
Let u = 30 + -26. Suppose -5*d + 10 = 5*w - 2*d, -8 = -4*w + u*d. Is 17 a factor of (2 - 573/(-9))*(w - -1)?
False
Suppose -59 = b + 2*l, -3*l + 193 = -3*b - l. Let y = -84 + 90. Is 6 a factor of y/(-27) - 2975/b?
False
Does 7 divide 66/30*-5 - -666?
False
Suppose 0 = 3715*n - 3725*n + 2250. Is n a multiple of 45?
True
Suppose 1016*s = 1024*s - 40. Does 71 divide -142*((-56)/(-16) - s)?
True
Let o be (-2032)/(-8) - ((-8)/2)/(-2). Let w be o/21 - (1 + (-1)/(-1)). Suppose -5*a + 135 = w. Is 2 a factor of a?
False
Let c(b) = 12*b - 5. Let f be c(2). Let m(s) = 12*s + 52 - f + 14*s - s**2. Does 11 divide m(23)?
False
Let f(d) = 3*d**3 + 13*d**2 - 258*d - 84. Is f(21) a multiple of 58?
True
Let v(f) = -f - 20. Let o be v(-22). Suppose 25*g = n + 21*g - 506, -o*n + 5*g = -1021. Is 37 a factor of n?
True
Let d = 27 - -22. Let h be 4/34 - d/(-17). Suppose p - 21 - 60 = -5*n, -75 = -p - h*n. Is 22 a factor of p?
True
Let c be (-12)/((-2)/1)*732/(-36). Let t = -85 - c. Suppose -2*m + t = -7. Is m a multiple of 2?
True
Suppose 0 = x + 59*j - 51*j - 2569, 7682 = 3*x - j. Is x a multiple of 92?
False
Suppose 9*u - 8 = 5*u. Suppose 0 = 2*b + d - 220, 41 + 167 = 2*b - u*d. Is b a multiple of 18?
True
Let c be (16/3)/(5/360). Suppose 3*x - c = -2*p + 236, 3*x = 4*p + 596. Does 4 divide x?
True
Let i = 82 + -55. Let r = i + -16. Suppose -5*x = 4*z - 115 + r, -4*x = -16. Is z a multiple of 10?
False
Let v be (5/((-50)/36))/(858/(-2860)). Let p(w) be the first derivative of -w**2/2 + 50*w - 4. Is 38 a factor of p(v)?
True
Let r(v) = 262*v**3 + 2*v**2 + 2*v + 1. Let l be r(-1). Let q be 4/(-10)*130/52 - 3*31. Let n = q - l. Is n a multiple of 15?
False
Suppose -3*q + 3557 = -4*o, -4731 = -4*q - 12*o + 15*o. Suppose -4*y + q = -413. Does 10 divide y?
False
Suppose 4*f = 2*c - 0*f + 4, -4 = -c + 5*f. Let v(t) = 3*t**2 + 4*t + 2. Is v(c) a multiple of 20?
False
Suppose -2*b = -4*g - 292, 2*g + 24 + 266 = 2*b. Suppose 6 = 2*p, -2*v - 5*p + 281 + b = 0. Suppose v = 5*l - 555. Is 47 a factor of l?
False
Is (-33871977)/(-9807) - (26/14 - 1) a multiple of 2?
False
Suppose 387 = 10*k - 243. Let z = k + 231. Is z a multiple of 12?
False
Let m be 279 - (0/(-4) + 0). Suppose 3*w - 1557 = 5*o, 0 = -3*w + 2*w - o + 519. Let l = w - m. Does 41 divide l?
False
Let w be (-33)/22 + (-11)/(-2). Suppose -2*x - w*x + 678 = 0. Is x a multiple of 20?
False
Let k(y) = y**3 - 9*y**2 + 9*y - 5. Let r be k(8). Suppose r*x - x = 2*u - 528, -4*u + 1054 = -5*x. Does 14 divide u?
True
Let g be -31 + -9 + -2*1/(-2). Let z = g - -29. Let s = z + 52. Does 6 divide s?
True
Let r = 3 + -1. Suppose -16*m + 59*m = 559. Suppose 3*o - m = 2*o + r*t, 0 = -2*o - 3*t + 47. Is 11 a factor of o?
False
Let k = 24 + -26. Is (-297 + 2)*2/k a multiple of 34?
False
Suppose -14*k - 114 + 338 = 0. Suppose -17*r = -k*r - 192. Suppose 4*j + 0*j = r. Is 7 a factor of j?
False
Let v be (-52)/((-134)/130 + 1). Suppose 7*d - 2846 = v. Is d a multiple of 72?
True
Let y = 2199 + -978. Is y a multiple of 33?
True
Suppose -2*p + 6782 = -f, -57*p + 16910 = -52*p - 10*f. Is 20 a factor of p?
False
Suppose 16*m + 112499 = 35*m. Is 31 a factor of m?
True
Let h(n) = -n**3 - 28*n**2 + 50*n - 334. Is h(-31) a multiple of 5?
False
Suppose 4153 - 46481 = 8*p - 12*p. Is 22 a factor of p?
True
Does 13 divide (34 - -337)*85/35?
False
Let y = 8328 - 3215. Is 7 a factor of y?
False
Let y(j) = 15*j - 11. Let l be y(1). Suppose -2*n - 5*r = -272, -n + 136 = 3*r - l*r. Is 25 a factor of n?
False
Suppose 34*d - 7*d + 26*d - 214756 = 0. Is d a multiple of 42?
False
Suppose -2*s = -5*m + 3*s + 20, s - 14 = -2*m. Suppose 0 = -m*o - 17 - 7. Is 15 a factor of (-3264)/(-36) + o/6?
True
Let b = 248 + 246. Let h = -398 + b. Does 4 divide h?
True
Is 21 a factor of (-121584)/306*(-9)/2?
False
Let s(l) = 287*l**2 - 75*l + 154. Is s(2) a multiple of 4?
True
Is 86 a factor of ((-296)/444)/(2/22704*-2)?
True
Let v = -2422 + 868. Let c = -979 - v. Does 25 divide c?
True
Let c be (450/24 - -10) + 3/(-4). Is c/70 + (0 - 9596/(-10)) a multiple of 30?
True
Let t(x) = -x**3 + 6*x**2 + 6. Let y = 182 + -177. Does 5 divide t(y)?
False
Let h(w) be the third derivative of 13*w**6/120 - w**5/30 + w**4/6 - 5*w**3/6 - 3*w**2 + 7. Does 11 divide h(2)?
True
Suppose -56*x = -4477881 + 1061601. Is 15 a factor of x?
True
Suppose 13*f + 5*k = 9*f + 1540, 0 = 3*f + 5*k - 1155. Does 11 divide f?
True
Suppose -4*j + 0*f = 4*f - 31416, -2*j = 5*f - 15708. Is 51 a factor of j?
True
Let z(b) = b**2 + 14*b + 8. Let m be z(-13). Let j be 2 - m - (2 - 1). Let f = 28 - j. Is 22 a factor of f?
True
Let f = -1030 + 2208. Is f a multiple of 10?
False
Let o(s) = -543*s**3 + 37*s**2 + 125*s + 10. Is 74 a factor of o(-4)?
True
Let a = -676 + 1578. Let u = a + -755. Does 21 divide u?
True
Let c = -351 + 599. Let r = c + -27. Is r a multiple of 31?
False
Suppose 80 = -3*p + 8*p. Suppose -3*k + x = -12108, -k + 27*x = 24*x - 4036. Does 16 divide p/(-56) - k/(-14)?
True
Suppose 40866 = -873*z + 887*z. Is z a multiple of 21?
True
Is 10173 - (31 - (7 + 5)) a multiple of 32?
False
Suppose 154*d = 24*d + 961480. Is d a multiple of 201?
False
Suppose 30*m - 47*m = -35*m + 104382. Is 10 a factor of m?
False
Let l(u) be the second derivative of 7*u**5/30 + u**4/8 - 2*u**3/3 - 39*u**2/2 - 34*u. Let w(r) be the first derivative of l(r). Is 52 a factor of w(-4)?
True
Suppose -54*y + 15*y = 4719. Let g(m) = -16*m**2 + 5*m - 1. Let h be g(4). Let q = y - h. Does 29 divide q?
True
Let r(s) = -s**3 + 15*s**2 + 35*s + 315. Is r(-11) a multiple of 25?
False
Let q = -5034 + 5053. Suppose -t = -31 - 50. Suppose -t = -2*s + q. Does 25 divide s?
True
Suppose 9*x - 11*x + 4084 = -2*b, 2*x + 4*b - 4072 = 0. Does 24 divide x?
True
Let z be (0 - 1)/(2/(-4932)). Suppose -5*x - 511 = -z. Is 13 a factor of (-2)/12*2 - x/(-3)?
True
Let h be ((-66)/3)/(5/15). Let r = h - -63. Does 28 divide 73/(-3 + (1 - r)) - 3?
False
Let s = 90 + -80. Suppose 5*u + s*u - 300 = 0. Does 20 divide u?
True
Suppose 5*c + 25 = 0, -z - 39 = -3*c - 152. Suppose -4*w - 4*u = -392, -w + u - 4*u = -z. Does 7 divide w?
True
Suppose -3*w = 3*n - w - 2, 5*n = -3*w + 5. Suppose -4*d + n*u - 15 = 5, u = -5*d - 25. Does 11 divide (-24)/d*1840/69?
False
Let l = 47 - 45. Suppose -487 = -4*x + 5*h, -l*x - 4*h + 231 = -9*h. Is 10 a factor of x?
False
Let p(w) = -22*w - 190. Let a be p(-20). Suppose 0 = -5*g - 0*g + 25. Suppose -g*r = 6*y - y - a, -r = -y + 42. Is y a multiple of 15?
False
Let f = 6222 - 6218. Let x = 54 + 2. Does 7 divide ((-11)/((-110)/x))/(f/10)?
True
Let l(f) = f**3 - 5*f**2 - 7*f + 13. Let q be l(6). Suppose -q = -25*j + 318. Is j a multiple of 13?
True
Suppose 62*n = 36*n + 28*n - 17870. Is 113 a factor of n?
False
Let f be (1 - 0)/((-6)/(-24)). Suppose 62*x = 53*x + 1710. Suppose 4*j - 64 - 88 = f*r, x = 5*j - r. Does 7 divide j?
False
Let v be 4/(-6) - (690/18)/1. Let j be 1/(-2) - v/(-6)*-3. Suppose 117 = 7*d + j. Is d even?
True
Let o(r) = 49*r + 16*r - 60*r - 78. Suppose n + 2 = -1, 2*j = 4*n + 52. Is o(j) a multiple of 11?
True
Let n be (3 + -1)/((-90)/(-225)). Suppose -2691 = -n*a + 389. Is 77 a factor of a?
True
Let j be (2 + (-10)/4)/1*-8. Suppose 4*x = -4*o + 116 + 100, j*o + 232 = 4*x. Is 8 a factor of x?
True
Let j be 1/3 - 7574/(-21) - -2. Let i = j + -55. Is 23 a factor of i?
False
Let t(z) = -18 + z - 2*z**2 + 4*z**2 - 3*z + z. Is t(6) a multiple of 5?
False
Let i(o) = -37*o**3 - 8*o**2 - 28*o + 28. Does 42 divide i(-7)?
False
Let r(h) = -22*h**2 + 11*h + 35*h**2 - 2 - 8*h**2 - 2. Is r(9) a multiple of 50?
True
Suppose -4*s = -f + 82, f + 2*s + 482 = 6*f. Suppose -f = -l + 75. Does 20 divide l?
False
Let g(a) = 2*a**3 - 20*a**2 + 3*a - 30. Let v be g(10). Suppose 2*b - 282 = -2*x, 4*x + 4*b - 9*b - 591 = v. Is 11 a factor of x?
False
Let z(w) = -8*w**2 + 6*w - 37. Let p(g) = -3*g**2 + 3*g - 18. Let m(y) = 5*p(y) - 2*z(y). Let n(f) = f + 1. Let v be n(-12). Does 18 divide m(v)?
True
Suppose -c - 474 = -466. Let a(h) = 16*h**2 + 18*h - 13. Is 17 a factor of a(c)?
True
Let c = -456 + 458. Suppose 0*d - 1027 = -3*d + c*q, 5*d = -5*q + 1720. Is 7 a factor of d?
True
Suppose -27531 = 8*q