(o)?
True
Is 21 a factor of (-391 - -396)*1/(-15) + (-22720)/(-3)?
False
Let v = -6777 + 11817. Is 91 a factor of v?
False
Let c = -30756 - -37456. Is c a multiple of 134?
True
Let z = 412 - 70. Let j = z - -77. Is 4 a factor of j?
False
Let m(y) = -y**2 + 2*y. Suppose v - 20 = -4*d, -3*v = -0*d + 2*d - 20. Let q be m(d). Does 7 divide (-762)/(-27) + q/36?
True
Is 113 a factor of 3040620/1275 - (7/(-10) + (-1)/(-2))?
False
Is 160 a factor of 9329580/1287 + (-1)/11?
False
Let i = 115 + -80. Let q be -8*(-4 + i/(-10)). Suppose 0 = -5*v + g - q + 239, -4*v - 4*g = -148. Is 4 a factor of v?
True
Let d(z) = z**3 + 20*z**2 + 341*z - 15. Is 10 a factor of d(18)?
False
Let i(v) = -3*v**2 + 12. Suppose 31*g - 24*g = -42. Let l be i(g). Is -5 + -1 + l/(-3) a multiple of 19?
False
Does 116 divide (-2)/(-12) - 15033*30/(-108)?
True
Suppose 0 = -3*g - 1 + 31. Is 390/(-13)*g/(-2) a multiple of 50?
True
Suppose -3*z - 20 = 4*g - z, 5*z = 3*g - 11. Let l be (-9)/(-12) + g/4. Suppose 5*d + 4*m - m - 142 = l, -27 = -d - 2*m. Is d a multiple of 19?
False
Let b(u) = 211*u**2 - 427*u + 17. Is 140 a factor of b(10)?
False
Is 12 a factor of (-8 - (-1 + -2))/1 + (13352 - 24)?
False
Suppose 12*d + 402 = 13*d. Let s = -141 + d. Is 87 a factor of s?
True
Let w(k) be the third derivative of 2*k**5/5 - k**4/12 + 19*k**3/6 - 70*k**2 - 2. Does 19 divide w(7)?
False
Let f(r) = -r**3 - 15*r**2 - 46*r + 16. Let w(m) = m - 1. Let z(p) = f(p) + 3*w(p). Is z(-13) a multiple of 39?
True
Let p(c) = 7*c + 30. Let q be p(-4). Suppose 3*n = 2*a - 39, -3*a = 5*n - q*n - 21. Suppose 0 = -a*v + 10*v + 96. Is v a multiple of 12?
True
Suppose 0 = 2*h + h - 129. Suppose 20*z + 20950 = 70*z. Suppose h + z = 6*c. Is c a multiple of 22?
False
Let n(j) = -j**3 - 4*j**2 + 4*j + 6. Let g be n(-7). Suppose 4*u - 50 = -v, 0*u + 3*u = -2*v + g. Does 2 divide v?
True
Let j = -167 - -456. Let q = j - 274. Does 2 divide q?
False
Suppose 12*j + 438 = 3018. Let n = j + -141. Does 6 divide n?
False
Let q(r) = -15*r**3 + 4*r**2 - 2*r + 5. Let n be q(-4). Suppose 4*t + 27 - n = -2*i, -3*t = i - 755. Does 3 divide ((-6)/5)/((-20)/t)?
True
Let z be 2138/10 + -1 - 10/(-50). Let x = z + 219. Is x a multiple of 24?
True
Suppose 6*r - 8*r - 6275 = -m, 4*m + 2*r = 25120. Is m a multiple of 21?
True
Suppose 58 = -3*i - 5*o - 150, 0 = 5*o - 20. Let d = -2749 + 2774. Let g = d - i. Is g a multiple of 25?
False
Suppose 5*s - 4*n + 15 = 155, 0 = 4*n. Suppose -136 = -4*v + y + 3*y, -4*y = -16. Suppose s + v = 11*x. Is x even?
True
Let p = 850 + -637. Does 31 divide -4 - p/(-1) - -8?
True
Let k(j) = -48*j + 94. Let y be k(5). Let g = y + 236. Is 6 a factor of g?
True
Let x(z) = 254*z**3 - z + 5*z - 5*z + 2. Let l be x(1). Suppose -5*k + l = -335. Does 16 divide k?
False
Suppose 0 = -4*u - 171 + 27. Let g = -1136 + 1308. Let c = u + g. Is 24 a factor of c?
False
Suppose 30*c + 600 = 35*c. Suppose 2*v = -3*v, -2*h + 4*v = -c. Is 5 a factor of h?
True
Let o = 245 - 242. Suppose 4*w + x = -0*w + 1258, -o*x = 6. Does 59 divide w?
False
Suppose 0 = -0*z + 5*z. Suppose f - 12 = -z*f. Is f a multiple of 2?
True
Let a(p) = p**3 + 17*p**2 - 30*p - 5. Let c be a(-19). Let b = c - -310. Is 51 a factor of b?
True
Suppose 16 = -3*p + 7. Is 34 a factor of (4 + 3 + -6)/(p/(-369))?
False
Let l(j) = j**2 - 3*j + 12. Let c be l(-17). Let v = c - -55. Is v a multiple of 4?
False
Suppose 10 = h - 6*h. Let i be (36/90)/(h/(-320)). Let t = -28 + i. Is t a multiple of 9?
True
Is (13500/315)/(1/7) a multiple of 50?
True
Let k(w) = 42*w - 115. Does 4 divide k(38)?
False
Let f(h) = 2*h**3 - 12*h - 5*h**2 - 3*h + 0*h**2 + 5*h + 32. Does 40 divide f(4)?
True
Let j = -4 + 9. Suppose 2*u - 3*f = -2*f - 71, j*f = u + 31. Let n = u + 42. Is n a multiple of 6?
True
Suppose 1953 = 2*m - 3*q, -3*q = -48*m + 50*m - 1935. Is 54 a factor of m?
True
Let k = -7059 - -19509. Is k a multiple of 33?
False
Suppose 0 = 8*c - 7*c. Suppose -139*q + 130*q + 3060 = c. Is q a multiple of 68?
True
Let w be -5*-4*4/(-16). Let s = 173 - 136. Let v = s - w. Is v a multiple of 14?
True
Suppose -3*o - 1455 = 3*i - 2*i, -2*i + 1464 = -3*o. Let w = o + 999. Is 57 a factor of w?
True
Let y = 6711 + 43450. Does 103 divide y?
True
Let k be (4/6)/((-2)/(-6)). Let n(a) = 2*a + 24*a**k + 0*a + 3*a - a**2 - 6. Is n(2) a multiple of 24?
True
Let x = -452 - -736. Suppose -2*q + 295 = 2*c + 89, 2*q = 3*c - x. Is c a multiple of 3?
False
Let m(j) = -j**3 + 6*j**2 + 4*j + 21. Let b(g) = 3*g**2 + g - 7. Let h be b(2). Let p be m(h). Is 21 a factor of -1 + (-2)/(6/(-129)) + p?
True
Suppose 10641 = -26*j + 29*j + 3*r, -3*j = -r - 10637. Is j a multiple of 175?
False
Suppose 2*v = a - 152, 0*v + 12 = -4*v. Let g = a - 22. Does 62 divide g?
True
Let i = -294 - -298. Suppose -v - 418 = -3*z, 424 = 3*z - i*v + 6*v. Is 35 a factor of z?
True
Let g = 39753 - 18180. Is 47 a factor of g?
True
Suppose d - 1 = 0, 32*o - 3331 = 30*o + 3*d. Is o a multiple of 27?
False
Suppose -12*g + 100 = 40. Is 2/40*g + (-7905)/(-12) a multiple of 53?
False
Let h be (-1539)/(-76) - (1 + 9/(-12)). Suppose 20935 = h*a + 33*a. Is 26 a factor of a?
False
Suppose -4*f = -64516 - 9113 + 18721. Is f a multiple of 21?
False
Let m(i) = 10*i**2 + 12*i + 15. Let j be m(10). Suppose -j + 15 = -5*w. Suppose 3*l = l + w. Is l a multiple of 28?
True
Suppose 62865 = 57687*r - 57676*r. Is 70 a factor of r?
False
Let k = 3473 - 603. Is 10 a factor of k?
True
Let j be 4*1 - (33 + -11). Let d = j + 23. Is 41 a factor of (-5852)/(-55) - d/(50/4)?
False
Suppose 3*v + 5*u - 50596 = 0, 84376 = -170*v + 175*v - 4*u. Is v a multiple of 14?
False
Suppose 129285 = -1219*d + 1236*d. Does 169 divide d?
True
Let t(k) = k**3 - 19*k**2 - 269*k - 90. Is 56 a factor of t(32)?
False
Suppose 1 + 919 = 40*o. Suppose o*y - 24*y = -24. Is 3 a factor of y?
True
Let x = 1038 + 5117. Is 52 a factor of x?
False
Let j = 7089 - -357. Is 5 a factor of j?
False
Let s(x) = -x**3 + 45*x**2 + 31*x - 830. Is s(42) a multiple of 7?
False
Let g(v) = v**2 - 6. Suppose 0 = -2*m - 5*m. Let w be g(m). Let f(p) = -23*p - 30. Is 12 a factor of f(w)?
True
Suppose -36*l + 45*l = 180. Suppose l = -5*g + 405. Suppose p - 197 + g = 0. Does 8 divide p?
True
Suppose -5*l - 36 = -14*l. Suppose 0 = l*s + 3*p - 2325, -8*p = -6*p + 10. Is 15 a factor of s?
True
Let u = -6 + 92. Suppose 0 = 2*j - 26 - u. Does 7 divide j?
True
Let l(x) = -1122*x**3 - 4*x**2 + 12*x + 24. Is l(-2) a multiple of 64?
True
Let f(o) = 63*o - 55. Does 25 divide f(2)?
False
Suppose 2*w - 219 = -w + 3*m, 4*w - m - 295 = 0. Is (-72 + w)/(1/87) a multiple of 8?
False
Let r = -4155 - -5663. Is 10 a factor of r?
False
Suppose -51 = f + 17. Suppose 18*q - 16*q = 3*v - 338, 0 = 3*v + 2*q - 322. Let l = v + f. Is 7 a factor of l?
True
Let s = 47 + -1. Let j = 33 - s. Is 12 a factor of 20/3*(-3 - (1 + j))?
True
Suppose -245*k + 955517 = -453285 - 2699358. Does 97 divide k?
False
Let t = -3 - -6. Let m(x) = -326 + 106 + 5*x + 115 + 111. Is m(t) a multiple of 5?
False
Suppose 0 = 2*x - 3*y - 23, -y - 1 = -6. Suppose 23*w = x*w + 1520. Does 68 divide w?
False
Let m = 108 + -103. Suppose 5*u + 642 = 4*c + 2129, -c - 1493 = -m*u. Does 29 divide u?
False
Let y = 93 + -86. Let d(k) = k**2 - k + 14. Does 8 divide d(y)?
True
Let a = -158 - -162. Suppose a*t + 0*t - 20 = 0, -p - 5*t + 103 = 0. Is 26 a factor of p?
True
Let h(w) = 10 - 3*w**3 + 19 - 3*w**2 + 0*w + 9 - 33 + w. Is h(-4) a multiple of 5?
True
Let v = -183 + 193. Suppose -2*h - 9*t = -v*t - 157, 5*t = -2*h + 127. Is h a multiple of 10?
False
Is (-5898)/(9 + (-180)/18) a multiple of 34?
False
Let n(m) = 2*m**2 - 8*m + 12. Let d be n(2). Suppose 192 = 5*g + 4*k, -3*g + 48 = -2*g + d*k. Is g a multiple of 12?
True
Let o be -152*2/(-6) + (-34)/51. Let m = o + -50. Suppose -4*p + 3*i - 157 = -9*p, m = -5*p + 4*i + 164. Is 8 a factor of p?
True
Suppose l = 5*l - 564. Let m = -82 + l. Let s = 21 + m. Is 39 a factor of s?
False
Let i be -15*4/(-12*1). Suppose 7*k - 2*h = 9*k + 2, -20 = i*h. Suppose -21 = -s + k*j, 1 = -5*s - j + 26. Does 3 divide s?
True
Suppose -b = 4*k + 24501, 0 = 2*k - 6*b + 2*b + 12246. Does 20 divide (-30)/(-12) - k/10?
False
Let v(d) = d**3 + 12*d**2 - 22*d - 125. Let g be v(-13). Let m(a) = 14*a**2 + 18 - 6*a**2 + a**3 + 4*a - 5*a. Does 19 divide m(g