 Is r a multiple of 53?
False
Let y = -6160 - -14524. Is y a multiple of 16?
False
Is 10 a factor of (10 - 865)*(-40)/12?
True
Let g(r) = 933*r - 1874. Does 65 divide g(8)?
True
Suppose 0*m = -0*m - 3*m. Suppose -2*u - k = m, u = -2*u - 2*k. Suppose u = 2*c - 5*l - 215, -5*c + 2*l = -3*l - 575. Does 11 divide c?
False
Let t be (5 + 1)*(-40)/24*1. Let r(f) = -16*f - 22. Does 3 divide r(t)?
True
Let g be (-1)/(2/(-304)*4). Suppose 6 = k - g. Is k even?
True
Suppose 3*s + o - 76280 = 0, 5*o - 27951 = -2*s + 22885. Is 12 a factor of s?
True
Is 5 a factor of (-63 - -67) + 1/((-1)/(-1931))?
True
Is 4 a factor of (25 - (-150)/(-25)) + 7618?
False
Suppose -7*k + 11*k = 5*p - 1545, -2*p - 4*k + 618 = 0. Is p a multiple of 4?
False
Let d = 90 + -6. Suppose 0 = 76*g - d*g + 4640. Is 40 a factor of g?
False
Suppose -3 = 4*i + 5. Suppose 48*n + 12*n - 245 = -5. Is (6/n)/(i/(-276)) a multiple of 13?
False
Suppose -4*a = -28, -2*d + 7434 - 313 = -a. Is 33 a factor of d?
True
Let t(b) = -2*b + 432. Let a = 206 + -206. Is t(a) a multiple of 24?
True
Let d(x) = 129*x - 4 + 1 - 385*x. Does 35 divide d(-1)?
False
Suppose 2*o = -6*o + 64. Suppose 4*m - 4*t - o = 0, 2*t + 0 = -2*m + 8. Is 9 a factor of (231/m - -1) + -2 + 5?
True
Let j = 60 + -857. Let u = j - -452. Let h = u + 483. Is 40 a factor of h?
False
Suppose o = 3, -3 + 19 = i + 4*o. Suppose 5*t = m + 604 - 212, -313 = -i*t + m. Let n = -38 + t. Is 7 a factor of n?
False
Let r be (-4)/(-10) + (-8615)/(-25). Suppose 0 = 16*j - 327 - r. Is j a multiple of 21?
True
Let h = 26508 + -15198. Does 17 divide h?
False
Let x(g) be the second derivative of g**8/6720 + g**7/1260 + 21*g**5/40 - g**4/3 + 16*g. Let t(h) be the third derivative of x(h). Does 9 divide t(0)?
True
Suppose -2*d = 2*h - 8, 2*h + 2*h - 16 = 4*d. Suppose d = 7*r + 15*r - 10626. Is 7 a factor of r?
True
Suppose 0*u - 7 = u - c, u - 3*c - 1 = 0. Is 604*1 + (-17 - u) a multiple of 46?
True
Let k(d) = 4*d + 54. Let h be k(-10). Suppose 1305 = h*x + x. Is x a multiple of 13?
False
Suppose -22 + 10 = -6*b. Suppose 0 = -4*k - b*c + 1974, -6*c - 1500 = -3*k - c. Does 9 divide k?
True
Let g = 1072 - 19. Suppose -g = -3*k + 111. Suppose 4*i - k - 384 = -5*y, 3*i + 751 = 5*y. Is 18 a factor of y?
False
Suppose 0 = 3*l - 2*n - 27007, 88*l = 85*l + 4*n + 27017. Does 52 divide l?
False
Suppose -4*g + 3*u + 2241 + 3082 = 0, 0 = 4*g - u - 5321. Suppose -1050 = -7*o + g. Does 26 divide o?
False
Suppose 0 = 4*x - b - 24, -5*x + 4*b = -b - 45. Suppose 82 + 18 = x*h. Is 6 a factor of h?
False
Suppose -2*p = 4*y - 77378, -15654 = 4*y - 2*p - 93028. Does 208 divide y?
True
Let a = 341 - 340. Is 18 a factor of (8*(-4)/(-32))/(a/584)?
False
Suppose -2*y - 4*p = -65118, 65154 = 2*y - 94*p + 89*p. Suppose -3*k - 26*k + y = 0. Is 23 a factor of k?
False
Suppose -2 = 7*i - 16. Suppose 5 = 5*c + 7*p - 2*p, p = i*c - 11. Suppose -364 = -c*z - 3*j, -488 + 124 = -4*z + 5*j. Is z a multiple of 13?
True
Suppose -4435*h = -2216*h - 2218*h - 6062. Is h a multiple of 7?
True
Suppose 20*r + 24 = 8*r. Let l = 119 + r. Does 8 divide l?
False
Let r = 21371 - 17148. Is r even?
False
Let a(z) = -14*z + 2. Let f(v) = -v**2 + 6*v + 19. Let x be f(8). Suppose l = -0 - x. Is 22 a factor of a(l)?
True
Let z = 38 - 33. Suppose 201 + 114 = z*v. Suppose -2*j + 5*j - v = -3*p, 3*p - 69 = -j. Does 24 divide p?
True
Let o(h) = 10*h + 24. Let u(z) = 9*z + 25. Let m(y) = -6*o(y) + 7*u(y). Let f be m(-8). Does 9 divide -21*f/(98/(-12))?
True
Let f(q) be the third derivative of q**5/60 - 7*q**4/24 - 16*q**3/3 - 8*q**2 - q. Is 71 a factor of f(28)?
False
Let g(w) = -w**2 - 5*w - 2. Let t be g(-6). Suppose 403 = 22*v + 491. Is (126/v)/(3/t) a multiple of 10?
False
Suppose 27*q = 83 - 2. Suppose -4*g + 255 = -4*h + 11, -5*h = -q*g + 179. Is g a multiple of 11?
False
Suppose 707548 + 494401 + 330403 = 96*s. Is s a multiple of 46?
True
Suppose -h + 11645 = 61*c - 56*c, -2*h + 23248 = 3*c. Does 23 divide h?
True
Let n(u) = 260*u**2 + 10*u - 10. Suppose 0 = 5*y + y - 6. Is n(y) a multiple of 17?
False
Suppose 3*c = -0*c + 6. Suppose -2*j + 3*j = -3*p + 204, 8 = c*p. Is j a multiple of 53?
False
Let u(i) = -i - 6. Let l be u(-3). Let a be (3 - 1 - l)*(0 - -5). Let y = -5 + a. Does 12 divide y?
False
Is ((-5)/2 + 2)/(119/(-485520)) a multiple of 17?
True
Let f(m) = 11*m**2 - 16*m + 2. Let s be f(-10). Suppose s = 4*d + 194. Let l = d - 179. Does 14 divide l?
False
Suppose 3*x - 624 = -5*o, -4*x - 24*o + 832 = -19*o. Is 13 a factor of x?
True
Suppose 0 = d + 2*d + 8*d. Suppose 3*b + 34 = 3*z - b, 4*z - 2*b - 42 = d. Is 4 a factor of ((-15)/z)/(249/(-240) + 1)?
True
Let t(v) be the second derivative of v**5/20 - v**4/6 - v**3/6 + 5*v**2/2 + 12*v. Let l be t(0). Suppose 2*z - 225 = -3*m, -l*m + 0*m = 25. Is 24 a factor of z?
True
Let t = 554 - 255. Let o = t - 149. Does 2 divide o?
True
Let d be (6 - -14) + (-8)/(-2). Suppose -w + d - 9 = -f, 5*f - 33 = -w. Let l = 33 + w. Is 17 a factor of l?
True
Let u(d) = -d**3 + 2*d - 13*d + d**2 + 7*d**2 + d. Let s be u(6). Is 22 a factor of (-1854)/s*8/(-6)?
False
Let l(y) = 7*y**2 + 149*y + 49. Is l(-28) a multiple of 21?
True
Suppose -16*g = -227065 - 325031. Is 45 a factor of g?
False
Suppose -401 = -h + 5*j + 227, 5*j = -20. Let w = h + -573. Is 5 a factor of w?
True
Does 137 divide (-170)/(-765) - (-39452)/18?
True
Suppose 944 = -4*p + f, 4*f + 0*f + 253 = -p. Let u = 1018 + -473. Let s = u + p. Does 33 divide s?
False
Suppose -u + 3730 + 2624 = p, 16 = -4*p. Is u a multiple of 70?
False
Suppose -2*w + 2*n = -8708, 2714 = w + 5*n - 1616. Does 6 divide w?
True
Let l(t) = -8*t**2 + 6*t - 25. Let y be l(-8). Let x = y + 1001. Is x a multiple of 17?
False
Let m(j) = -2*j**3 - 13*j**2 - 3*j + 18. Let y be m(-6). Suppose y = 92*u - 91*u - 2118. Does 26 divide u?
False
Let j(f) = f**2 - 18*f + 27. Let m be j(16). Is 11 a factor of 140*5 - (m + (1 - 0))?
True
Let x = 160 - 158. Suppose 0 = -2*y + 3*z + 234, 0 = -4*y - 2*z - 2*z + 428. Suppose x*g + y = 4*j + 3, -21 = -j - g. Is 5 a factor of j?
True
Suppose 11185 + 10950 = 5*t - 5*l, 0 = 5*t - 2*l - 22147. Is t a multiple of 32?
False
Let q = 645 - 445. Suppose q = -2*r + 4*r. Suppose -5*d = 5*n - r, 4*n - 54 = 2*d + 20. Is n a multiple of 3?
False
Suppose 22*l + 5*i = 27*l - 29615, 5*l - 15*i = 29565. Is 13 a factor of l?
True
Suppose 0 = 149*b - 330796 - 149878. Is b a multiple of 55?
False
Let s(f) = 5*f + 15. Let v(d) = -d - 5. Let a be v(0). Let q be s(a). Does 4 divide (-126)/q - 30/50?
True
Is 10 a factor of (-35)/((-210)/21948) - 14?
False
Suppose 0 = -23*o + 22*o + 2. Suppose 5*y + 139 = 4*s - 0*y, o*y = 2*s - 72. Is 19 a factor of s?
False
Let m(s) be the third derivative of s**5/60 - 4*s**4/3 - s**3/3 - 72*s**2 + s. Is m(-4) a multiple of 19?
False
Let s(a) = 24*a - 124 - 11*a + 17 + 15*a. Is 21 a factor of s(24)?
False
Suppose -1986*u + 1973*u = -59072. Is u a multiple of 8?
True
Suppose -6*c + 811 = j - 31550, 8 = c. Is j a multiple of 143?
False
Let o(w) = -w**2 - 62*w + 5887. Is 121 a factor of o(0)?
False
Suppose 4*j - 401 = -q, 1247 = 11*q - 8*q + j. Let l = -50 + q. Does 3 divide l?
False
Suppose -580*n + 3*z = -579*n - 6298, -4*n - 2*z = -25178. Does 13 divide n?
False
Let c(w) = -24*w**3 - 3*w**2 + 19*w + 100. Does 89 divide c(-5)?
False
Let f = 2 - 0. Let u be 2/1 + -3 + f. Does 17 divide 57/u*-4*(-1)/12?
False
Let t(j) = -j**3 - 2*j**2 - j - 2. Let i be t(-3). Let k(g) be the first derivative of g**3/3 + 3*g**2 - 16*g + 1. Is 18 a factor of k(i)?
True
Suppose 0 = -i - 3, 3*i = 2*d - 42 + 13. Suppose 0 = -d*k + 17*k. Suppose k = 2*u + 7 - 19. Is u a multiple of 6?
True
Let l(d) = d**3 - 13*d**2 + 4*d - 11. Let g(h) = h**2 - 2*h - 6. Let x be g(4). Suppose -5*m + 5*b = -65, -b = 5*m - x*m - 39. Is l(m) a multiple of 17?
False
Let g = 822 - -2655. Let m = g + -5289. Does 15 divide m/(-30) - (-6)/(-15)?
True
Suppose -3*n - 2*c = -7*c + 2, 4*n - 4*c = 0. Is 351*n + (2 - -4 - 6) a multiple of 27?
True
Suppose 0 = 5*b + 5*m, 3*m - 1 = -5*b - m. Let n be (1 - b)*(20/(-5))/4. Suppose 2*d - h + 10 - 193 = n, 5*d - 2*h - 456 = 0. Is 30 a factor of d?
True
Suppose r - 4*k = -4*r + 76, -2*r + 40 = -4*k. Suppose -5*l - 588 = -r*l. Suppose l = 8*o - 2*o. Does 12 divide o?
False
Suppose -o = 5*z - 37154, 7*z + 6*o -