 12 a factor of (-73)/(2 - 2 - (m + 5))?
False
Suppose 0 = -5*t + 5*b + 45, 4*t - 35 = t + 5*b. Suppose t*q - 2047 = -3*x + 68, -x = 5*q - 695. Is x a multiple of 5?
True
Suppose -5*p + o - 3*o = -31465, 4*p - 25184 = -4*o. Does 9 divide p?
True
Suppose 71*a - 89*a = -1458. Suppose -d - 116 + a = -f, 180 = 4*f + 4*d. Does 20 divide f?
True
Let h(w) = w**3 - 37*w**2 - 5*w + 194. Let a be h(37). Is 66 a factor of (0 + a)/((-3180)/(-352) - 9)?
True
Let g(p) = 5*p**2 - 2*p - 2. Let q be g(-1). Suppose 7*o = 2*o + 5*x + 505, -o + q*x = -105. Is 15 a factor of o?
False
Let p(d) = 58*d**2 - 29*d - 829. Is p(-13) a multiple of 34?
True
Let j(d) = 2*d + 8. Let k(w) = w + 9. Let n be k(-6). Let p be j(n). Is (-35)/p*12/(-5) even?
True
Suppose -5*s - 4*t = -83 - 3, -4*t = -16. Let h be 1 + (-18)/s - (-2465)/(-119). Let n(z) = z**2 + 15*z + 42. Does 42 divide n(h)?
True
Suppose 21*y = -4*y + 100. Let b(m) = 8*m + 48. Is b(y) a multiple of 15?
False
Let y(b) be the first derivative of -1/4*b**4 - 5 + 0*b**3 + 69*b - 1/2*b**2. Is y(0) a multiple of 14?
False
Let f(t) = 41*t - 5 + 13*t**2 + t**3 - 7 - 40*t. Let v be f(-12). Is 36 a factor of -1*v*24/(-16)?
True
Suppose -6*t - 33*t + 127764 = 0. Does 12 divide t?
True
Let v be (-48 - 2)/((-44)/66). Suppose -v*b = -54*b - 1533. Is 5 a factor of b?
False
Suppose 0 = 3*s + 3, -5*g = -4*g - 4*s - 85. Suppose -101 = -o - 3*r, -2*o + 3*r - g = -265. Is 9 a factor of o?
False
Let y(d) = 4*d**2 + d. Let t be y(2). Suppose -87 - t = 5*j. Let k = j - -34. Does 8 divide k?
False
Suppose 13*n - 12096 = n. Suppose 0 = -6*y + 3*y + n. Is 14 a factor of y?
True
Suppose -28*o = -22*o - 234. Is 8 a factor of ((-416)/o)/(4/(-6))?
True
Let j be 9/21 + ((-2280)/21)/(-1). Suppose 6 = 112*w - j*w. Suppose -3*n + 4*r = -58, -r - 59 + 17 = -w*n. Does 7 divide n?
False
Let k(w) = 19*w**2 + 3*w + 8. Let q = 359 + -365. Is k(q) a multiple of 12?
False
Let z(p) = -2*p**2 - 22*p - 14. Let b be z(-10). Let g(r) = 13*r**2 - 6*r - 13. Does 13 divide g(b)?
False
Suppose -13*a = -15*a + 3*c + 35089, 5*c = -3*a + 52643. Is 15 a factor of a?
False
Let l = 15 + -11. Suppose b = l*r + 20, 0 = -4*b - 3*r + 8*r + 25. Is 4*(b/3 - -21) a multiple of 21?
True
Suppose 4*w + 120 = 2*q, -q - 2*w - 110 = -3*q. Suppose 21*o - 8749 = q. Does 15 divide o?
False
Suppose 2*z - 1474 = 1990. Does 12 divide z?
False
Let c = 642 + -631. Let r(m) = -25*m + 288. Does 4 divide r(c)?
False
Suppose -8627 = -5*k - 2*g + 4389, 3*g + 6 = 0. Is 124 a factor of k?
True
Let j be (-2)/13 + 290/26. Suppose 5*t - j*t = -78. Let p = t - -16. Is p a multiple of 17?
False
Suppose 4*r + 45853 = 5*p, 9*p + 27488 = 12*p + r. Is p a multiple of 235?
True
Let o = -647 - -647. Suppose 10*q - 278 - 1762 = o. Is 4 a factor of q?
True
Does 158 divide (0 - 6 - 21719)*(-15 - -13)?
True
Suppose -5*j = -7 - 3. Suppose 4*z - 2*d = 14, 3*z + 2*z + 2*d = 13. Suppose 5*g + 2*n - 93 = 0, z*n - j*n + 20 = g. Does 19 divide g?
True
Let m be (-112)/(-1 - (-45)/51). Let v = m - 658. Is 6 a factor of v?
True
Let c(q) = q**3 + 45*q**2 - 21*q - 185. Does 43 divide c(-44)?
False
Let h(b) = 2*b**2 + 52*b - 122. Let p be 1 + (-4 - -1) - -3 - 37. Is 26 a factor of h(p)?
True
Let t be (4 - (-3 + (-30)/(-4)))*0. Suppose t = -11*g + 18*g - 364. Is 13 a factor of g?
True
Let y(j) = j**3 - 4*j**2 - j + 8. Let w be y(4). Suppose 0 = 3*q + w*q - 91. Let v(l) = l + 19. Does 8 divide v(q)?
True
Suppose x = -16*x + 238. Is ((-343)/x)/(-7)*54 a multiple of 27?
True
Suppose -t - 2*q + 178 = 0, -3*t - 5*q = -2*t - 178. Let o = 340 + t. Is 74 a factor of o?
True
Is (-1104)/(-1288) - ((-30)/20 - (-135879)/(-14)) a multiple of 8?
False
Let l(h) = 108*h**2 - h. Let n be l(1). Suppose 10*i = 567 + 963. Let o = i - n. Does 18 divide o?
False
Let x(h) = -25*h - 125. Let a be x(-5). Suppose -3*l = u - 661, a = 4*u - 6*u + 2. Is l a multiple of 5?
True
Let f(l) = l**3 - 29*l**2 + 28*l + 6. Let o be f(28). Let g(c) be the second derivative of -c**4/12 + 19*c**3/6 - 7*c**2/2 - c. Is 18 a factor of g(o)?
False
Suppose 2*j = 3*w + 11, -3*w + 3 - 6 = 0. Suppose j*g - 437 = 2*i + 181, -3*g + 441 = 3*i. Suppose -38*v = -36*v - g. Does 7 divide v?
False
Suppose -2*l + 2*z + 3192 + 1036 = 0, 4*z + 4234 = 2*l. Is l a multiple of 13?
False
Suppose 0 = 16*d - 2*d + 4480. Let i = -127 - d. Is 15 a factor of i?
False
Let w(c) = 81*c**2 - 13*c - 180. Is 35 a factor of w(-17)?
True
Suppose -5*w + 4208 = 4*v, -2*w + 1588 = -v - 90. Does 56 divide w?
True
Suppose 2*u = 64 - 306. Suppose y - 5*w = -23, -64*w + 63*w = y - 7. Is 29 a factor of (y + -3)*(u - 0)?
False
Let u(k) = 2*k**2 - 6*k - 7. Let w be u(5). Let p(a) be the first derivative of -a**4/4 + 14*a**3/3 - 5*a**2 + 19*a - 311. Is p(w) a multiple of 30?
False
Let w(y) = y**2 + 18*y - 15. Let p = -63 + 44. Let x be w(p). Suppose 0 = -5*q + x*q + 231. Does 33 divide q?
True
Suppose -4*m + 24483 = -m - d, -4*m = -2*d - 32646. Does 48 divide m?
True
Let x = 474 + -126. Is 12 a factor of x?
True
Let q(c) = -2*c**3 - 12*c**2 - 4*c + 7. Suppose -24*y + 21*y + 4*x = 18, -3*x = -5*y - 30. Is q(y) a multiple of 3?
False
Suppose s - 4*v = 605, -2*s + 1157 = v - 26. Suppose s = 3*m - 4*o, -o = 2*o - 3. Does 18 divide m?
False
Let h be 56/16 - (1 - (-9)/(-6)). Suppose -2*j = 4*n - 44, 5*j - h*n = 84 + 54. Does 14 divide j?
False
Suppose -50 = -g - 8*q + 4*q, -2*g + 5*q + 74 = 0. Let t = g + 46. Is t a multiple of 8?
True
Let z = 15146 - 12106. Is z a multiple of 40?
True
Does 31 divide 1048/655 + 149706/15?
True
Suppose -50*f + 67*f - 31042 = 0. Is 22 a factor of f?
True
Suppose 4*c + w - 754 - 1300 = 0, -2*w - 1535 = -3*c. Suppose -c*q = -511*q - 168. Is q a multiple of 7?
True
Let x be (-3)/((-9)/(-194))*(-27)/(-9). Let s = 320 + x. Is s a multiple of 21?
True
Suppose -32 = 4*c + n, 4*n + 0*n = -3*c - 24. Let a(z) = -8*z - 32. Let p be a(c). Let f = p - 26. Is f a multiple of 3?
True
Suppose 3*i - 15*n = -8*n + 8645, 11544 = 4*i - 5*n. Is 83 a factor of i?
False
Let x = 926 + -1542. Let g = -606 - x. Does 3 divide g?
False
Let a = 230 - 257. Does 7 divide (-45)/a - 2180/(-15)?
True
Suppose 0 = -6*c + 23 + 241. Suppose -c*u + 3072 = -38*u. Does 25 divide u?
False
Let y(w) = w**3 + 34*w**2 + 94*w - 100. Is 35 a factor of y(-22)?
True
Suppose q - 24 - 31 = -2*c, c - 5*q = 55. Let i(b) = b**2 - 16*b + 18. Let g be i(14). Is 6 a factor of (g/c)/(1/(-54))?
True
Let q(a) = 2*a**2 + 16*a + 23. Let d be q(-9). Let x = -29 + d. Is 8 a factor of ((-64)/x - -4)*-24?
True
Let x be (7 - 10) + 8 + 770/2. Let c = 271 + x. Is c a multiple of 24?
False
Suppose -r + c + 4 = -4, 0 = 3*r + 5*c + 16. Suppose r*f - 12 = -f - 3*i, -3*i + 18 = 5*f. Is 2/(-3) - (-2 + (-154)/f) a multiple of 9?
True
Let j = 6339 + 903. Is j a multiple of 34?
True
Let r = 23412 + -23394. Does 11 divide r?
False
Let b = -413 + 421. Suppose 6870 = b*y - 138. Does 12 divide y?
True
Let o = 45 + -52. Let z be o/(-2)*612/18. Suppose 2*t = x - z, 2*x = -2*x + 4*t + 468. Does 23 divide x?
True
Let j(f) = 2*f**3 + 27*f**2 - 177*f + 31. Does 20 divide j(24)?
False
Let l(u) = 0 + u**3 + 4 - 15*u**2 + 4 + u. Let j be 2/((-28)/(-30))*(-4 - -11). Does 23 divide l(j)?
True
Suppose 3*b + 22 = k, 4*k + 2 = 3*b + 117. Let s be 5/(-20)*k*20. Let r = -65 - s. Is r a multiple of 30?
True
Let k(t) = -t**3 + 6*t**2 + 5*t - 6. Let r(s) = s**3 - 6*s**2 + 3*s - 11. Let m be r(6). Suppose -5 = m*b - 8*b. Is 4 a factor of k(b)?
True
Let h(y) = -3*y**3 + 3*y**2 + 7*y - 16. Let z(b) = 4*b - 164. Let r be z(40). Does 14 divide h(r)?
True
Let m(q) = q**2 + 16*q - 72. Let a be m(-32). Suppose a = -17*x + 22*x. Is 35 a factor of x?
False
Let b(l) = -l**2 - 4*l + 2. Let o be b(-3). Let v be o/(-5) + (5 - (-1 + 1)). Suppose v*t - 649 = -w, -w + 4 = -1. Is t a multiple of 17?
False
Suppose 4*l - 20 = 9*l, -184 = -4*z - 5*l. Let g(t) = -t**3 - 2*t - 3. Let p be g(-1). Suppose p = -2*d - 15 + z. Is 18 a factor of d?
True
Let f = -16337 + 18571. Is 20 a factor of f?
False
Suppose -28*j = -20*j - 2496. Let h = -188 + j. Does 31 divide h?
True
Suppose f + 5*w + 112 = 0, 0*f + 356 = -3*f + 5*w. Let l = f - -249. Does 12 divide l?
True
Let a = -11 - -14. Suppose 2*x = 5*x - 4*y - 8, a*y = 3. Suppose -2*c - 3*k + 184 = -5*k, x*k + 80 = c. Is c a multiple of 16?
True
Let r(t) = -t + 7.