 a multiple of 16?
True
Suppose -m + 3*m + 2*q - 6662 = 0, -q - 6644 = -2*m. Is 14 a factor of m?
False
Let y = -10 - -82. Let d be (-2 - y/(-39)) + 54/13. Suppose 0*h = -5*w + 2*h + 430, d*h + 356 = 4*w. Is w a multiple of 7?
True
Let v = -539 + 1518. Suppose -7*n + 18*n - v = 0. Is n a multiple of 26?
False
Let v(t) be the first derivative of 75*t**2/2 - 73*t + 33. Does 15 divide v(11)?
False
Suppose -h - 3853 = -2*t, 8*h - 6*h = -5*t + 9637. Let o = -1359 + t. Is o a multiple of 33?
False
Let y = -273 - -577. Suppose 1254 = 19*w - y. Does 4 divide w?
False
Let t(a) = -22*a**2 - 764*a - 40. Does 94 divide t(-32)?
True
Let a be (-1 + 25/35)/(3/(-21)). Suppose a*n + 243 = 5*h, n + 110 = 2*h + 12. Is h a multiple of 2?
False
Let i(g) = 4577*g**3 + 6*g**2 + g - 8. Is 26 a factor of i(1)?
True
Suppose 5*q - 303751 = 40675 - 60711. Does 11 divide q?
False
Suppose -4*w + 6*d + 328 = 2*d, -d = 2*w - 170. Let x = w - 89. Does 12 divide (86 - -14)*(-6)/x?
True
Let i(j) = 61*j**3 + j**2. Let c be i(1). Let z be 2/(-11) - c/22. Is 21 a factor of (-23)/(-1*(-1)/z)?
False
Let z = 284 - 284. Suppose 2*l + 32 = 3*l + w, z = -5*w - 10. Is 17 a factor of l?
True
Let w(y) = 1669*y - 757. Does 14 divide w(19)?
True
Let y be 13 + 0 - (2 - -1). Suppose -25*u + 30*u = y. Suppose 3*f = 4*p - 246, 0*p = -p - u*f + 67. Is 9 a factor of p?
True
Suppose -22*t + 38*t = 15744. Is 5 a factor of t?
False
Let m(o) = 7 - 11*o - 3*o + 40*o - 2*o + 6*o**2. Is m(-5) even?
False
Let d(m) = -2*m**2 + 4*m - 3. Let s be d(2). Let x(l) = -l**3 - 13*l**2 - 22*l - 8. Let v be x(-11). Does 11 divide -3 - (-27)/(2/v*s)?
True
Let r = 28 - 22. Suppose 5*m - 4 - r = 0. Suppose -648 = -m*x - 7*x. Does 36 divide x?
True
Let q be ((126/10)/(-3))/(20/100). Let y be 1968/q + (2/7)/(-1). Let r = y - -210. Does 23 divide r?
False
Let w(d) = d**3 - 7*d**2 - 6*d - 11. Let t be w(8). Let s(k) = 14*k - 6. Let y be s(t). Is (y/20 - 3) + 208/10 a multiple of 7?
True
Suppose -2*r - 20 = -7*r, -5*c = 5*r - 45. Suppose c*q + 2*h - 956 = 0, -2*h + 118 + 646 = 4*q. Is q a multiple of 24?
True
Let i = 2028 + -1150. Suppose 161 + 121 = y + l, i = 3*y - 5*l. Does 11 divide y?
True
Let g = -731 + 744. Is 1270 - -1 - (g + -3 + -7) a multiple of 95?
False
Let q = -113 - 268. Let j = 295 - q. Is 52 a factor of j?
True
Suppose -3*z + 13 = h, -z - 2*h - 1 = h. Suppose -5*k + 1029 = -4*i, 0 = 3*k - 4*k + 4*i + 209. Suppose 5*w = r - 3*r + 200, z*w = -3*r + k. Does 8 divide w?
False
Suppose 3*y - 7434 = 3*i, -3*y - i = -5*i - 7432. Suppose -18*r - y = -20*r. Is r a multiple of 40?
True
Suppose -5*i = 5*x - 4148 - 5402, -i - 3*x + 1908 = 0. Is 13 a factor of i?
True
Let o be (0/1)/(-6 - -9). Suppose 978 = 6*z - o*z. Does 22 divide z?
False
Let y be 6 - (0 - -8 - 472). Suppose u + 2*x = 606, -1966 = -4*u - 4*x + y. Is u a multiple of 17?
True
Is 1*-13 + (-61479)/(-11) a multiple of 18?
False
Let k be 0*(-5)/(-10)*-1. Suppose 5*g - g - q - 836 = k, 3*g + 5*q - 650 = 0. Does 14 divide g?
True
Let c be 2*-2 - (-24 + 20). Suppose c = -3*m - 12*z + 17*z + 1275, 2*m + 3*z - 831 = 0. Is 21 a factor of m?
True
Let b(c) = -4*c - 70. Let h be b(-18). Suppose -1572 = 4*x + 3*g + g, h*x = -g - 786. Let p = -197 - x. Is p a multiple of 7?
True
Suppose 12 = -83*v + 79*v, 0 = -27*j - 4*v + 24072. Is 4 a factor of j?
True
Let w = -6304 - -9713. Is w a multiple of 4?
False
Is 4 a factor of (8/(-8))/(3/1 - 1033/344)?
True
Let y(o) = 5*o**2 - 3*o - 4. Let x be y(-1). Suppose 22 = w - x. Is w a multiple of 2?
True
Let r = -15171 + 30931. Does 40 divide r?
True
Let g(h) = h**2 + 11*h + 29. Let s be g(-11). Suppose -624 = 13*q - s*q. Does 39 divide q?
True
Let v(y) = 3*y**2 - y - 1. Let w be v(-1). Suppose -w*n = -1 - 11. Suppose n*o = -0*o + 60. Does 2 divide o?
False
Let r = 210 - 205. Suppose r*u - 1251 + 296 = 0. Is 26 a factor of u?
False
Suppose -2*c - 4*k + 383 = -7*k, 4*k - 816 = -4*c. Let y = c - 154. Is 3 a factor of y?
True
Suppose 20*v + 57024 = 3*i + 18*v, 2*i = v + 38015. Does 179 divide i?
False
Let r = -148 + 151. Does 17 divide 0 - -2 - (-3 - (49 - r))?
True
Let y = 1289 + -706. Does 5 divide y?
False
Suppose 2*q = 4*g + 28412, 4*q - 9*g - 56842 = -10*g. Is q a multiple of 145?
True
Suppose 5*x = i + 735, -5*i + 25 = -0*i. Suppose 0 = 3*w - 2*k + 49 - x, 20 = w - 5*k. Let r = w - 19. Does 7 divide r?
False
Suppose 2*v + 5*j + 203 = 0, 25*j - 22*j = -5*v - 479. Is 33 a factor of ((-33)/2)/(47/v)?
True
Let y(k) = k**2 - 25*k + 14. Suppose -65 = -5*x - 10. Let o be y(x). Let i = -95 - o. Does 9 divide i?
True
Is 7 a factor of (17591/3 + -3 - 3) + 44/33?
True
Let j be -4 - (-42 + 1)/(2/402). Suppose 37*m - 26293 = -j. Is 8 a factor of m?
True
Let q = 219 - -266. Suppose 13*f = 87 + q. Suppose 16*u + f = 18*u. Does 22 divide u?
True
Let h = 150 + -34. Is 7 a factor of h + 6/((3/(-2))/1)?
True
Let s be (-1 - 13)*(-14)/4. Suppose 100 = 14*l - 12*l. Suppose -s*o = -l*o + 6. Is 3 a factor of o?
True
Let a(o) = 105*o + 245. Does 70 divide a(5)?
True
Let s = 25 - 22. Suppose s*z + 5*z - 3*z = 0. Suppose 4*d + 4 = z, -3*u = -2*u - 3*d - 98. Is u a multiple of 23?
False
Let h(j) = -7*j - 61. Let x be h(-7). Let u(n) = -15*n**2 - n**3 + 29*n**2 + 15 + n - 12*n**2 - 13*n**2. Is 21 a factor of u(x)?
True
Suppose -28 = -2*l - 8. Let d be (l/(-6))/(-3 - (-20)/6). Let k(f) = -29*f - 24. Is 11 a factor of k(d)?
True
Suppose 4*a + 13*p = 8*p + 23, -5*a + 33 = 2*p. Let t(s) = s**2 + 8*s - 93. Is t(a) a multiple of 4?
True
Let y be 18/9 - (-3)/(1 + 2). Suppose -c - 12 = -4*v, -2*v - 3*c = y*v - 32. Let p(u) = 10*u - 22. Does 18 divide p(v)?
True
Suppose -3*a = -2*g - 457 - 787, 4*g - 1220 = -3*a. Suppose 5*n - a = 113. Does 3 divide n?
True
Let h = 233 - 196. Let z = 86 - h. Is 10 a factor of z?
False
Is 1946 - (12 - (10 + 13)) a multiple of 21?
False
Let r be 5/(-1 - 20/(-22)). Let o = r + 37. Is 10 a factor of o/81 + ((-74)/(-9) - -2)?
True
Let n(u) = 42*u**2 - 52*u + 10. Is n(11) a multiple of 8?
True
Let g(o) = o**2 - 19*o + 83. Let p be g(6). Suppose 2*w - p = -z - 4, 5*w - 5*z = 25. Is w even?
True
Suppose 2*w - 88 - 58 = 0. Let l = w + -94. Is 42*(-49)/l - (2 + 0) a multiple of 24?
True
Suppose 0 = -5*q - 3*w - 9, 0*w + 4*w - 2 = -2*q. Let u = q - -6. Is (u + -5)/((-1)/1) + 74 a multiple of 13?
False
Let m be -251*1/(-4) - 415/(-332). Suppose -m = -i + 26. Is i a multiple of 30?
True
Let y(o) = o**3 + 92*o**2 - 285*o + 362. Let u be y(-95). Suppose 0 = -r - 0 + 2. Suppose 2*v - 4*v - r*q + 182 = 0, -u = -4*v - 5*q. Does 20 divide v?
False
Suppose -2*m + 5*m + 673 = 4*g, 0 = 4*g + 5*m - 713. Let t(a) = -19*a + 60. Let h be t(3). Suppose 4*p - g = h*l, -2*p + 54 = -p + 2*l. Does 17 divide p?
False
Suppose -127782 = -7*z + 5428. Is z a multiple of 110?
True
Let v(c) = 120*c**3 + 2*c**2 - 4*c + 2. Let o be v(1). Let p = 122 - o. Suppose -p*w + 539 = 213. Does 17 divide w?
False
Let f be ((-142)/4 - -7)*-8. Is -6 + 4 + (-9)/((-27)/f) a multiple of 3?
False
Suppose -2*n = -3*x + 5*x - 342, -699 = -4*n - x. Let z = n - -263. Suppose -7*b + 121 = -z. Is b a multiple of 28?
False
Let n(q) = 2*q + 3*q**3 + 2*q**3 + 3*q**3 - 2*q**2 - 7*q**3. Let l be n(2). Suppose 315 = 5*t - 3*k, -l*t - k = -t - 189. Does 9 divide t?
True
Let j(c) = 10*c**2 - 187*c - 35. Is j(22) a multiple of 2?
False
Suppose 40884 = 17*f - 48706. Is f a multiple of 8?
False
Let j(n) = -62 + 2*n**3 - 4*n**3 + 24*n**2 - 5*n - 8*n + 3*n**3 - 43*n. Does 14 divide j(-26)?
True
Is 140 a factor of 17/(612/30969) + ((-63)/(-12))/7?
False
Let l(h) = h**3 - 71*h**2 + 178*h + 214. Does 13 divide l(70)?
True
Let a = 278 - 268. Suppose -2*c = 5*f - c - 473, -5*c = a. Does 3 divide f?
False
Let z(p) = p**3 + 27*p**2 + 25*p - 6. Let r be z(-26). Let n(q) = -q**3 + 20*q**2 + q - 20. Let m be n(r). Let l(s) = -5*s + 42. Does 7 divide l(m)?
True
Suppose -656 = x + 2*x + 4*f, 0 = -5*f + 5. Let o = -190 - x. Is o a multiple of 6?
True
Let b(g) = 340*g**2 - 4*g - 3. Let u = 589 - 590. Is 4 a factor of b(u)?
False
Let f = 3922 + -976. Does 16 divide f?
False
Let i = 38 + 6. Let l(g) = 10*g + i + 13*g - 31*g. Is l(-23) a multiple of 12?
True
Is 12 a factor of 61/(8*(-5)/(-3560)) + 7?
True
Let f = 4371 + -3973. Is f a multiple of 3?
False
Suppose 0 = 2*v - 749 - 703. Suppose v = 7*f + 89. Suppose s -