63 = 7*u - 4*u, -280 = -5*u - 5*b. Is u a multiple of 5?
True
Let p be (12/14)/2 + 1914/42 + -32. Let m(u) = -u**3 + 13*u**2 + 2*u + 13. Let o(n) = n. Let j(x) = -m(x) - 4*o(x). Is j(p) a multiple of 11?
True
Suppose 3264 = 12*c + 336. Let o = -13 + c. Does 14 divide o?
False
Suppose u + 2*u - 2*b - 7 = 0, -4*b = 4*u - 16. Let k(i) = i**u + 5 + 5 + 20*i + 0*i**3 + 5*i**2 + 17*i**2. Is k(-21) a multiple of 3?
False
Let l = 221 - 191. Is 4/l - 5012/(-210) a multiple of 6?
True
Let c(a) = 1097*a**2 - 27*a + 59. Is c(2) a multiple of 154?
False
Let g = -34 + 33. Let a be 7/(30/(-35) - g). Let w = a + 27. Is w a multiple of 12?
False
Let k be (-4 - (-3 - -4)) + 3. Let z be (3/((-12)/40))/(k/5). Let v(r) = -r**2 + 31*r + 49. Does 35 divide v(z)?
False
Is 5 a factor of (-40)/(-8 - -3)*(-286)/(-4)?
False
Suppose 4*s = -c - 27, -2*s + 0*c = -4*c. Is 38 a factor of (s - (0 + 2)) + 46?
True
Is (-16885)/(-25) - 252/180 a multiple of 3?
False
Is (1952/160 + -13)/(2 - (-23882)/(-11940)) a multiple of 33?
False
Let f be -6 + 4 + -1 - 0/7. Let w be f + (-2)/1 - -9. Suppose 5*o = -2*c + 1221, 0 = -w*o + 3*o - 5*c + 235. Is o a multiple of 13?
False
Suppose -r + 25 = 4*r, 0 = -3*o + 2*r - 256. Let i = 253 + o. Does 11 divide i?
False
Suppose -2*g - 327 - 59 = 0. Let x = g + 358. Is 15 a factor of x?
True
Let y = 192 + -181. Suppose -4*o = y*o - 6075. Is 9 a factor of o?
True
Suppose -43*g - 50*g = -20*g - 147314. Is 20 a factor of g?
False
Let z = -70 + 56. Let f(t) = -t. Let u be f(z). Let v(q) = -2*q**2 + 29*q + 11. Is 4 a factor of v(u)?
False
Suppose 0 = 2*f + j - 639, 0 = 5*j + 1 + 24. Suppose -4*a + 9*a - 30 = 0, -4*l - 4*a = -44. Suppose 5*w + b - f = 0, l*w + b + 2*b = 326. Does 8 divide w?
True
Suppose 3*h - d = -3*d + 172, 0 = -3*h - 3*d + 168. Does 19 divide (134 - 1)*(h + -59)?
True
Suppose -26 = -2*a - 4*l, 0 = 5*a - 2*l - 5. Suppose -6*x - 2*h + 6 = -11*x, h = x + a. Suppose 9*b - 3*b - 468 = x. Is 26 a factor of b?
True
Suppose -32*l + 10209 + 2751 = 112*l. Does 29 divide l?
False
Suppose 0 = 9*c - 2511 - 15669. Is 10 a factor of c?
True
Let y(o) = 7*o + 2. Let t be y(-2). Let d = 8 + t. Let m = 21 - d. Is m a multiple of 7?
False
Suppose -7*p + 24 + 4 = 0. Suppose p*l - 5 = 655. Is 28 a factor of l?
False
Let t be (9 + -39)*(-710)/25. Suppose 0 = -8*o + 3180 + t. Does 24 divide o?
True
Let p(m) = 7*m + 4 + 38*m**2 - 10*m + m. Let l be p(2). Suppose 2*q + j = 2*j + 268, 4*j - l = -q. Does 17 divide q?
True
Suppose 5*v + 30 = 0, 290*v + 45024 = 5*z + 286*v. Is 120 a factor of z?
True
Let x(r) = 304*r - 102*r + 0 + 8. Let i be x(-2). Let y = i - -581. Is 9 a factor of y?
False
Let h = -122 + 153. Suppose -7*i + 179 = -h. Does 8 divide i?
False
Suppose -23*m = 5*m + 84. Is (1 - m)*(-29890)/(-196) a multiple of 8?
False
Let s = -4197 + 26117. Is 40 a factor of s?
True
Suppose -3*j - 22*j = -175. Suppose -j*m + 4175 = -1943. Does 14 divide m?
False
Let h(l) = 16*l**2 + 8*l - 91 - l**2 - 27*l + 22*l**2 + l**2. Is 28 a factor of h(-7)?
True
Let u(g) = -g**3 + 660*g - 661*g - g**2 + 1 + 0*g**2. Let a(d) = -6*d**3 - d**2 - 3*d + 3. Let f(l) = -a(l) + 3*u(l). Does 6 divide f(2)?
False
Suppose -3*l = -2*q - 1210, -2*q = l - 205 - 185. Is 58 a factor of (5/(-1) - -11) + l?
True
Let s = 5320 + -4443. Is 2 a factor of s?
False
Let d = -176 + 347. Suppose -165*g + d*g - 588 = 0. Is 33 a factor of g?
False
Let g = -10185 + 21688. Is 46 a factor of g?
False
Let w(q) = -21*q**3 - 2*q**2 - 41*q - 146. Does 4 divide w(-4)?
False
Let d(f) = 19*f**2 + 4*f - 725. Does 55 divide d(22)?
False
Let i be (-1 - -2)*(-6 + 5 - -1). Suppose 3*q - 69 = -i*q. Is 5 a factor of q?
False
Suppose -768*s + 687*s + 1104840 = 0. Does 62 divide s?
True
Let w(f) = 9*f + 86. Let n be w(-9). Suppose -4*h + 617 + 1260 = n*q, 3*q - 2343 = -5*h. Is h a multiple of 9?
True
Is 10 a factor of 193206/21 - ((-6)/(-9))/(14/6)?
True
Let f(j) = 220 - 222 - 8*j**2 + 2*j**2 - 2*j**3 + 8*j - 11*j + 38*j**2. Does 25 divide f(6)?
True
Let h(u) be the first derivative of 13*u**2 - 4*u + 47. Does 2 divide h(3)?
True
Suppose 116 = 25*a - 29*a. Let w = 87 - a. Is w a multiple of 17?
False
Let l(f) = 3*f**2 + 98*f - 19. Let z be l(-34). Suppose 5*p + z = 377. Does 4 divide p?
True
Suppose -v + 2*y + 12 = 0, -4*y - 48 = -0*v - 5*v. Let w be (13 + (4 - v))*-5. Does 41 divide (-830)/(-4)*(-12)/w*3?
False
Let x(m) = -13*m**3 - 3*m**2 - 4*m + 24. Let f be x(3). Let z = 1178 + f. Is z a multiple of 58?
True
Let d(f) = f**3 - 4*f**2 - 5*f + 2. Let x be d(7). Let p = 168 - x. Is 6 a factor of p?
True
Let w = 2311 - 1975. Does 14 divide w?
True
Let q(y) = -362*y + 90. Is 80 a factor of q(-15)?
True
Let t = 147 - 165. Is t/(-42) + (-3)/((-21)/326) even?
False
Suppose -7*i = -2*i + 160. Let p = -27 - i. Suppose u = 2*d - 47, 3*d + p*u = 2*u + 48. Is 7 a factor of d?
True
Let m(i) = 24*i + 98. Let s be m(-4). Is 8 a factor of (585/(-455))/(s/(-28))?
False
Suppose 0 = -32*s + 889489 - 263569. Is s a multiple of 34?
False
Let z(t) = 2*t - 14. Let b be z(8). Let l be ((-10)/(-4))/(b/12). Is (-7)/(-2)*l/((-735)/(-308)) a multiple of 4?
False
Let q(a) = a**3 + 35*a**2 + 14*a - 39. Is q(-15) a multiple of 39?
True
Suppose -3*g = 3*c - 7521, -5*c + 2*g = 1542 - 14042. Is 28 a factor of c?
False
Let s = -577 + 582. Suppose -4*g + 5632 = -f, -s*g + 10*g - 7023 = -3*f. Does 14 divide g?
False
Let h = -7155 - -7303. Is 24 a factor of h?
False
Let k be (1/((-18)/12))/(1/(-6)). Suppose -k*z = -2*d - 14, -4*z + d = -7 - 8. Suppose -162 = -2*r - 4*q, 0*q + 81 = r + z*q. Is 21 a factor of r?
False
Suppose 6*i = b - 603, 4*i + 645 = b + 5*i. Does 2 divide b?
False
Suppose 4*h - 8 = 0, -4*j + 2595 = -4*h - 3313. Does 51 divide j?
True
Let q = -2312 + 593. Is 2/5 - q/15 a multiple of 5?
True
Suppose 16*w - 18 = 15*w. Suppose 0*z - w*z + 6948 = 0. Is 18 a factor of z?
False
Let w = 15339 + -13286. Is w a multiple of 80?
False
Let y(m) = m - 65. Let t(z) = 12 - 9 - 35 + z - 32. Let j(s) = 4*t(s) - 5*y(s). Is j(0) a multiple of 8?
False
Let l(t) = -t**2 + 2*t + 8. Let k be l(6). Let h = 232 - 231. Is (-7*h)/(2/k) a multiple of 28?
True
Let u be (4/9)/(2*1/9). Suppose -4*a - 2*k = -4, 0 = 2*a - u*k - 0*k + 4. Suppose 0 = 6*g - a*g - 114. Is 2 a factor of g?
False
Let d(c) = -5*c + 5. Let m be d(11). Let b be (-26)/156 + m/(-12). Suppose b*y + 2*q - 482 = 0, 0 = -2*y + 3*q - 0*q + 237. Is 30 a factor of y?
True
Let z(s) = 1468*s + 280. Is z(1) a multiple of 46?
True
Suppose -24 = -16*p + 8. Suppose 3*m = 0, 5*m + 612 = p*v + 4. Is v a multiple of 12?
False
Let u(b) = -6*b**3 + 155*b**2 + 40*b - 19. Is 6 a factor of u(26)?
False
Let i be ((-6)/(-1))/(9/6). Suppose 0 = -3*b - i*d + 8 - 22, 4*b + d - 3 = 0. Suppose 0 = 10*y - 308 - b. Is y a multiple of 31?
True
Let k(g) = -1087*g - 2137. Does 154 divide k(-30)?
False
Let m(k) = -k**3 + 3*k**2 + 179. Let q be 0*(5 + -4)/3. Is m(q) a multiple of 17?
False
Suppose 17*f = -16379 + 71918. Suppose -2481 - f = -12*x. Does 22 divide x?
False
Let l be 1/(-3 - -2) - 582. Suppose -345*r + 342*r - 1221 = 0. Let f = r - l. Does 14 divide f?
False
Let u = 530 + -526. Is ((-10)/(-30))/(u*(-2)/(-4200)) a multiple of 2?
False
Suppose 5*o = 7529 + 26376. Is o a multiple of 8?
False
Let o = -2115 - -2669. Does 58 divide o?
False
Let w = 64 - -25. Let b(c) = 112*c - w*c + 24*c**2 + 30 - 2*c**3 + 3*c**3. Is 24 a factor of b(-23)?
False
Suppose 684261 = 135*m + 10881. Is m a multiple of 46?
False
Let s be 3*-1*(-4)/6. Let t(j) = -2*j**3 - 5*j**2 - 48. Let d be t(-4). Suppose -s*y + 2*f + 127 - 11 = d, -4*f = 3*y - 188. Is 20 a factor of y?
True
Suppose y - 2 = -u - u, 0 = -y - 4*u. Suppose -4319 = -y*j + n, 5*j = 31*n - 27*n + 5396. Is 59 a factor of j?
False
Let p = 801 - 395. Suppose -30*c + 27*c = q - p, 0 = -2*q - 5*c + 815. Is 5 a factor of q?
True
Suppose 0 = -2*c + 67 + 149. Suppose -7*u - 332 = -c. Let p = u + 81. Does 7 divide p?
True
Let a be -6 - -9 - -506 - -5. Suppose -3*b + 2*o = -a, 0 = b + 3*o + o - 148. Is b a multiple of 14?
True
Let o(c) = -320*c + 1. Let h be o(-1). Is 10 a factor of 22/(-44) - h/(-2)?
True
Let s(q) = -3 + q - q**3 + 0 + 1 - 6*q**2 + 8*q**2. Let m be s(0). Let u(l) = -10*l + 3. Is u(m) a multiple of 23?
True
Suppose 0*a - 2780 = -5*a. Let n = a + 665. Is 11 a factor of n?
True
L