?
False
Suppose g + t = -4*t + 430, 0 = 5*g - 4*t - 2063. Suppose -v = -2*c + 3*c - 79, v - g = -5*c. Is 7 a factor of c?
True
Suppose r - 22488 = p, 7*p - 13*p = -r + 22498. Is r a multiple of 24?
False
Suppose -4*k = 5*r - r - 592, -r - 428 = -3*k. Let b = 110 + -209. Let g = b + k. Is 9 a factor of g?
True
Suppose 28*w + 34595 - 115459 = 0. Does 19 divide w?
True
Suppose 0 = 10*r + 71 + 39. Let u(o) = -4 + 2*o - 4*o - 2 + o. Is u(r) a multiple of 2?
False
Let m be (0 + -3)*(-2 + 1). Suppose m*y = -55 - 17. Is 15 a factor of (1 + -6)*y/8?
True
Let i = -18 + 21. Suppose b + 452 = i*b + 2*o, -5*b = 3*o - 1140. Does 21 divide b?
True
Let h = 10 + -2. Let f(n) = 2*n**3 - 8*n**2 - 7*n - 19. Is f(h) a multiple of 70?
False
Let h = -140 + 235. Let m be (-2)/4 + h/10. Suppose -m*f = -164 - 169. Does 5 divide f?
False
Suppose 3271392 = 142*d - 612876. Does 282 divide d?
True
Let q = 392 + 531. Does 47 divide q?
False
Let k be (-10 - (-2 - 9))/(2/8). Does 13 divide 5 - 7 - k - 16*-2?
True
Suppose 0*j = -4*j - 32. Let p be j/(-4) - -2*(-38 - 3). Let v = -70 - p. Does 10 divide v?
True
Let w(z) = 8 - 120*z + 36*z - 62*z. Is 30 a factor of w(-2)?
True
Suppose -4*t - 5*t + 648 = 0. Suppose -7*x + x + t = 0. Suppose 104 + 616 = x*c. Is c a multiple of 20?
True
Suppose -10*r - 2 = -11*r. Let m be 223/r + 2/(-12)*-9. Suppose -m - 82 = -5*s. Is s a multiple of 20?
False
Suppose -h + 9 = 2*h. Let v = 29 - -12. Let p = h + v. Is 15 a factor of p?
False
Suppose -21*j + 109*j = 97592 + 70136. Is 10 a factor of j?
False
Let c be (-8)/(-28) + ((-169488)/56)/9. Let k = 1034 - 474. Let p = c + k. Is p a multiple of 14?
True
Let n be 4/3*15/10. Suppose -3*s = -n*z - s + 196, z - 104 = -5*s. Suppose -3*l + a + z = 0, -3*l + l + 56 = -4*a. Is l a multiple of 19?
False
Let a = 1536 + 2720. Is a a multiple of 28?
True
Is 3/7 + 24793839/2205 - 4/(-20) a multiple of 36?
False
Let d = 139 - 139. Suppose y + 3*o - 197 = d, 2*o + 370 = 2*y - 0*y. Is 14 a factor of y?
False
Suppose -2*b = 5*s - 158, 3*b - 4*s = -85 + 345. Suppose -91*a + 2086 = -b*a. Is 4 a factor of a?
False
Let g be (0 - 0 - 3) + 760/(-10). Let d = -58 - g. Is 3 a factor of d?
True
Suppose 11*p + 544251 = 93*p - 39*p. Does 57 divide p?
False
Let u be ((-25)/(-2))/(2/12). Let k = 107 - u. Is k even?
True
Let x = 343 - -901. Does 4 divide x?
True
Let n(z) = 3*z**2 - 27*z + 14. Let m be n(9). Let c = m + 13. Is c a multiple of 9?
True
Suppose -4*p - 21 = -3*i - p, -2*i + 10 = -4*p. Suppose -4*h + r + 141 = -2*h, 0 = -3*r - i. Is 9 a factor of h?
False
Let n(f) = 8*f + 43. Let l(j) = -8*j - 42. Let g(y) = -4*l(y) - 3*n(y). Let x be g(-6). Let k(z) = -2*z**3 - 17*z**2 - 9*z + 3. Is 15 a factor of k(x)?
True
Is 20 + -14 - ((-3838)/8 + (-1)/4) a multiple of 54?
True
Let f = 546 - 540. Is 215 - (-2 - (f - 1)) a multiple of 64?
False
Let w(f) = -2*f**2 + 8*f - 6. Let q be w(4). Let h(o) = -o**3 + 4*o**2 + 3*o - 30. Does 35 divide h(q)?
False
Let j(v) = 164*v**2 - v - 1. Let x be j(1). Suppose 7*o - 1026 = -12*o. Let h = o + x. Is 8 a factor of h?
True
Let b(t) = -t**3 - t**2 + t. Let o be b(0). Suppose g + 4*m - 7 = -1, o = -3*g + m + 31. Does 12 divide (-5)/25 - (-782)/g?
False
Does 11 divide (121/11)/(1 - 206/207)?
True
Let g = 1546 - 1546. Let v(f) = -f**2 + 0*f**2 + 50 - 3. Does 10 divide v(g)?
False
Let k(x) = 2345*x - 137. Does 13 divide k(3)?
False
Does 49 divide -6 - (12 + 54067/(-13))?
False
Let l(c) = -9 + 11*c + 20 + 0*c**2 + 3*c**2 - 2*c**2. Let n be l(-11). Suppose 0 = -6*z + n*z - 230. Does 17 divide z?
False
Let l(x) = x**3 - 5*x**2 - 20*x - 23. Let m be l(10). Suppose 5*w - 3*k = -231 - 1208, -w - m = 3*k. Is 13 a factor of (-12 + 15)*w/(-6)?
True
Suppose 6*h + 8 = 8*h. Suppose f = 2*w - 5, h*w - 12 = 5*f + 1. Is 20 a factor of (16/(-20) + 2)*(69 - f)?
False
Let x(u) = -2*u**3 - 23*u**2 + 13*u + 16. Let i be x(-12). Does 23 divide (i + -8 - -2) + 278?
True
Suppose 7*o = 3*o + 20. Suppose o*r + 2465 = 2*j, 3*j + 687 = 4*r + 4388. Suppose 0 = p + 4*p - j. Is p a multiple of 13?
True
Is 30/(-20)*(-1 + -1) + 2569 + -5 a multiple of 17?
True
Let m = 5402 + -2588. Is m a multiple of 3?
True
Let s(m) = 5*m + 7. Let a be s(5). Let c = a + -10. Is (2 + c)*3 - 3 a multiple of 24?
False
Let p = 66 - -27. Let z = p - 93. Suppose 4*q + 113 = 3*n, -2*q = -4*n - z*n + 154. Is 3 a factor of n?
True
Does 78 divide 13482/(-15)*(5/3)/(93/(-279))?
False
Let j = -408 + 408. Does 25 divide (j - -1 - 0) + 524/1?
True
Let u = -2177 + 1541. Let k = -336 - u. Does 16 divide k?
False
Let p = 5190 - 3430. Is 55 a factor of p?
True
Let v be 24/7 - 12/28 - 4. Let s(r) = 12*r**3 - 2*r**2 + r + 2. Let k be s(v). Does 18 divide 2100/39 - 2/k?
True
Let w(c) = -c**2 - 28*c - 55. Let y be w(-23). Let b = y + -28. Is b a multiple of 16?
True
Let n = -1426 + 2206. Suppose -n = -4*r + 64. Is 13 a factor of r?
False
Let n be (16/6 - 3)/(3/(-18)). Does 30 divide n*(1/(-1))/((-16)/1816)?
False
Let c(l) be the third derivative of -l**6/24 + l**5/15 - l**4/8 + l**3/3 - 65*l**2. Is 11 a factor of c(-4)?
False
Let o(r) = -502*r + 3759. Does 20 divide o(-15)?
False
Let k be (0 + 25/5)*1. Suppose -5*o + 1295 = k*j - 10*o, 2*j - 517 = 3*o. Does 13 divide j?
True
Let w = 51999 - 29300. Does 47 divide w?
False
Suppose 0 = -27*l + 42*l - 66180. Does 35 divide l?
False
Let q = 40 - 36. Let b be 0/(3 - (-3 + q)). Suppose 0 = -5*o + 10, b*w - 4*w + 4*o = -316. Is w a multiple of 9?
True
Suppose 22*j - 10336 = -10*j. Let o = j + -178. Does 15 divide o?
False
Let l be ((-3)/2 + 0)*-44. Let v(s) = -s**3 - 52*s**2 + 55*s + 88. Let n be v(-53). Let u = n + l. Is u a multiple of 8?
True
Suppose -x = 5*c - 69, -2*x - 15 + 167 = 3*c. Let n = 99 + x. Is 16 a factor of n?
False
Suppose 7 - 3 = 2*o. Suppose 0 = -10*w + 8*w + o. Is -1 + (12 - (w - 4)) a multiple of 7?
True
Let p(a) be the second derivative of -a**5/20 - a**4/6 + 7*a**3/2 - 10*a**2 - 181*a. Is 14 a factor of p(-8)?
True
Let x(b) = 5*b + 119. Let z(p) = 6*p - 184. Let w be z(27). Is x(w) even?
False
Suppose 240 = -5*a + a. Let n = a + 126. Suppose -34*y + n = -31*y. Is 2 a factor of y?
True
Is 42 a factor of 10/(-35) - (-155421)/147?
False
Is 24 a factor of (-13543)/(-15) + 2/15?
False
Suppose 5 = 2*g - q, g = -2*q - q - 1. Suppose -g*i = -3*h + 1971, h - 5*i - 296 = 348. Is h a multiple of 79?
False
Suppose -6*y + 2*y = -216. Let f be (2/6)/((-6)/y). Is 36 a factor of f + (-2 - -6) - -72?
False
Suppose -n + 4*l + 432 = 0, 5*l - 878 - 401 = -3*n. Suppose 13*x = -n + 2144. Is 36 a factor of x?
False
Suppose -126*o + 2904 = t - 124*o, -5*t + 14475 = o. Does 73 divide t?
False
Suppose -2*o + 4*z = 32, -32 - 6 = 2*o - z. Let v = o - -71. Does 5 divide v?
False
Suppose -686 - 3227 = -43*b. Suppose -5*x + 368 = -w - 57, 0 = -x - w + b. Is x a multiple of 3?
False
Suppose -4*l + r = -3158, -3*l = 5*r - 7*r - 2366. Let s = l + -454. Does 42 divide s?
True
Let v = 5196 + -3205. Is v a multiple of 11?
True
Let i = -17523 - -27883. Does 7 divide i?
True
Suppose 3*b + 5*y = 19, -25*y = -26*y + 2. Let c = -92 - -167. Suppose -z = -5*p + 138, -b*p + 18 = -4*z - c. Is p a multiple of 8?
False
Let f(i) = 2860*i - 21. Let d be f(1). Suppose 5*m + 7*w - 5*w = 3543, 4*m - 3*w - d = 0. Is 15 a factor of m?
False
Suppose -479 + 287 = 16*p. Let u(n) be the second derivative of -n**5/20 - 13*n**4/12 - 10*n**3/3 - 13*n**2 + 2*n. Does 35 divide u(p)?
True
Let m be (10284/5)/(17/(-85)). Is m/(-20) + ((-1)/(-5))/(-1) a multiple of 45?
False
Suppose 36 = 2*v + o + o, 12 = -3*o. Let h = 426 - 405. Suppose -v*t = -h*t - 56. Is 14 a factor of t?
True
Suppose 2*l = 105 + 161. Suppose -2*a + l + 353 = 0. Does 27 divide a?
True
Suppose 2*a + 0*a + 52 = 3*c, 111 = -5*a - 2*c. Let y be -12*(-8)/96 - (-62)/1. Let l = y + a. Does 8 divide l?
True
Suppose 0 = 10*o - 13 - 7. Let p be ((421 - 1)/o)/((-6)/4). Let h = -47 - p. Is 31 a factor of h?
True
Suppose 2*l - l = h + 39, 3*l + 4*h = 124. Suppose z + l = 370. Does 33 divide z?
True
Let q = 514 - 682. Let a = q - -969. Is 9 a factor of a?
True
Suppose 22*t - 3*t = -8*t + 1012581. Does 8 divide t?
False
Let o = -847 + 557. Let s = 330 + o. Is s a multiple of 4?
True
Let d be 9/(-15) + (-13)/(-5). Suppose 0 = -u - d*u + 165. Let l = 5 + u. Is l a multiple of 12?
True
Let n(q) = 401*q**2 