 a factor of v(y)?
True
Suppose -v + 12 = 3*v. Suppose k - 1638 = -2*t - k, -3*t + 2469 = -v*k. Suppose -t + 263 = -6*g. Is 31 a factor of g?
True
Is 106 a factor of (-7 - -1)*(13368/(-72) + -1)?
False
Let s = -10829 - -22360. Does 70 divide s?
False
Let i(y) = -5*y**3 + 18*y**2 - 4*y + 2. Let m(x) = 9*x**3 - 36*x**2 + 8*x - 3. Let o(s) = 5*i(s) + 3*m(s). Is 2 a factor of o(9)?
False
Suppose u + 16 - 1 = -5*z, 5*u = z + 3. Is 12 a factor of 4 - (2360/(-24))/((-1)/z)?
False
Let z(k) = -105*k + 20. Let h be z(4). Let c be h/12*24/(-20). Suppose 8 = 5*j - 3*j, 0 = l + j - c. Is l a multiple of 9?
True
Suppose 9*f - 1165 = -139. Let b = 138 - f. Does 3 divide b?
True
Suppose 3*o + 23784 = 3*r, -2*o = -6*r + 5*r + 7933. Is r a multiple of 57?
True
Let t = -2189 - -4610. Suppose 0*w + 3*w + 2*u = t, 2*w - 3*u = 1614. Is 16 a factor of w?
False
Let g = -2448 - -3510. Let a = g - 687. Suppose -2*t + 7*t = a. Does 9 divide t?
False
Suppose r + 365 = -4*r - v, 0 = r - 2*v + 84. Does 18 divide r/(-370) + 2*(-4678)/(-20)?
True
Suppose -1520*k + 1511*k = -37719. Does 21 divide k?
False
Let y = 110 + -88. Suppose -y*h = -17*h - 3280. Is 16 a factor of h?
True
Let z(t) = -t**3 - 31*t**2 - 58*t + 26. Let v be z(-29). Suppose -v*p = 2339 - 10451. Is p a multiple of 26?
True
Suppose 0 = -237*d + 234*d + 6. Suppose 6 = 2*x - 4*x, -d*l + x = -783. Does 39 divide l?
True
Suppose 0 = -3*n - 2*z + 3901, -3*n = 3*z + 2*z - 3898. Let m = -589 + n. Does 8 divide m?
True
Let l = -262 - -456. Let c = l - 356. Let k = -115 - c. Is 5 a factor of k?
False
Let r(i) = i**3 - 11*i**2 + 2*i - 19. Let m(n) = -n**3 + n**2 - n + 1. Let x(d) = -2*m(d) - r(d). Let s be x(-9). Suppose 16*w = s*w - 72. Is 9 a factor of w?
True
Suppose 0 = -n + 3*h + 81, 2*n - 11*h = -9*h + 174. Is n - (-9 - (-5 + 1)) a multiple of 19?
True
Suppose -11*g = -3*z - 9*g + 97, 4*z - 2*g = 132. Let y be (-3840)/z + 1 + 27/(-21). Let k = 222 + y. Is 16 a factor of k?
True
Let q(j) = -j**3 - 8*j**2 + 20*j + 3. Let a be q(-10). Suppose 5*v - 2*t - 920 = 0, 0 = -4*v - a*t + 824 - 65. Is v a multiple of 6?
True
Does 13 divide (-2 + -2)/((-668)/113393)?
False
Let x(t) = -t**3 + t**2 + t + 2. Let g be x(2). Let w = -58 + 62. Suppose -11 + 31 = w*m, -4*b - 5*m + 93 = g. Is b a multiple of 17?
True
Is 25 - 46 - -23865 - 10 a multiple of 24?
False
Suppose 8*d = 11*d - 1482. Suppose n = -3*m + d, -4*m + 0*n + 3*n + 637 = 0. Suppose -5*a - b = -275, 2*b - m = -3*a + b. Is a a multiple of 4?
True
Let k(j) = 52*j - 49. Let f(l) = 13*l - 12. Let p(w) = -9*f(w) + 2*k(w). Let z be p(-15). Suppose 3*g - 221 = -5*d + z, d + 3*g = 78. Is d a multiple of 22?
False
Let w(o) = o**2 + 26*o + 25. Let h be w(-25). Suppose 3*n - 175 = -2*s, -2*s - s - 3*n + 255 = h. Is 3 a factor of s?
False
Let s(a) = -2*a**3 - 20*a**2 - 3*a - 13. Let d be s(-6). Let m = -189 - d. Is m a multiple of 13?
False
Suppose -93*h + 529909 = 92251. Is 26 a factor of h?
True
Suppose 5*p + 3*p - 680 = 0. Let n = -78 + p. Suppose -5*t - 210 = -n*t. Is 21 a factor of t?
True
Let t = 57 - 33. Let n be 4*3/t*4. Does 8 divide (3 + 60 - 1/1) + n?
True
Let x(b) be the third derivative of -b**4/4 - 5*b**3/2 - 7*b**2. Suppose 0 = 3*h - 6*h - 24. Is 17 a factor of x(h)?
False
Suppose -22077 = -14*c + 85527. Is c a multiple of 21?
True
Suppose -5 = -s - 8. Let u be (40/12*s)/(-2). Suppose 37 = 4*j - 4*c - 11, -u*j = 3*c - 28. Does 2 divide j?
True
Let m be 16/72 + (-48)/(-27). Suppose 193 = 5*r - 3*y, 10*r = 7*r - m*y + 131. Is r even?
False
Suppose 0 = -9*u + 20*u. Suppose u = -3*z - n + 67, -5*n + 0 = 10. Suppose 21*k = z*k - 64. Does 8 divide k?
True
Let n(t) = 24*t + 14. Suppose -26*p + 30*p - 72 = -4*c, -4*c + 96 = -2*p. Is n(c) a multiple of 28?
False
Let r = -48 - -50. Let w(u) = 8*u**3 + 45 - 3*u**3 + u**r - 4*u**3. Does 15 divide w(0)?
True
Let s = 19139 - 10904. Is s a multiple of 183?
True
Suppose -7*p = -0*p + 140. Let k be (-3668)/p + (-4)/10. Let u = -66 + k. Does 29 divide u?
False
Let c = 42 + -20. Does 48 divide c/((3/24)/(-3 - -6))?
True
Suppose -170500 = 226*v - 724200. Does 35 divide v?
True
Let a = -40 + 43. Suppose a*m - 5 = 10. Suppose -l + 245 = m*d + 4*l, -3*d + 4*l = -126. Is d a multiple of 9?
False
Let q = -340 - 710. Is q/(-4)*2484/483 a multiple of 45?
True
Let d = 388 - 307. Let q = -64 + d. Does 2 divide q?
False
Let y(b) be the second derivative of b**4/6 - 5*b**3/6 - 28*b**2 + 31*b. Is y(13) a multiple of 9?
False
Let q(w) = 32*w + 303. Let a(f) = 61*f + 607. Let r(x) = 6*a(x) - 11*q(x). Is r(0) a multiple of 38?
False
Let a(v) = 21*v + 55. Let p = 315 + -304. Is a(p) a multiple of 13?
True
Suppose 0 = -7*h + 88 - 74. Suppose -h*x + 854 = -2*q, -7*q + 2*q = 2*x - 861. Does 14 divide x?
False
Is 5098 + (12/((-36)/(-21)) - 8) a multiple of 49?
False
Suppose -74*f = -32*f - 386358. Is 18 a factor of f?
False
Suppose 9*d - 2271 = 2310. Is d a multiple of 7?
False
Suppose 0 = -20*y + 5759 + 43201. Is y a multiple of 48?
True
Let n be (-134)/(-11) + 34/(-187). Let i be (-35)/10*(-32)/4. Let w = i - n. Is w a multiple of 3?
False
Let y be (-2)/(2 - 73/36). Let s = 151 + -119. Let l = s + y. Does 26 divide l?
True
Suppose -75796 + 72653 = -8*v + 387129. Does 16 divide v?
True
Suppose 5*i - 3*i - 304 = 0. Suppose -17*y + 13*y = i. Let b = 88 + y. Is b a multiple of 4?
False
Let h be 4/26 - (2 - 14030/65). Suppose h + 470 = 3*z. Is 44 a factor of z?
False
Let v(s) be the third derivative of -7*s**5/60 - 3*s**4/8 - 18*s**2. Let m be v(-3). Is 25 a factor of 2/9 - (1612/m + 0)?
False
Suppose -35*y - 3700 = -299625. Is y a multiple of 37?
False
Let z = 3244 + 1706. Is 11 a factor of z?
True
Let v = 27 - 25. Suppose -v*j + 432 = -8*j. Let s = j - -88. Is 15 a factor of s?
False
Suppose 4 = -0*c - 4*c + 4*b, -5*b = 4*c - 5. Suppose -31 = 5*n - 6, c = -4*t + 5*n + 713. Suppose -5*v = -v - t. Does 12 divide v?
False
Let s(z) = 94*z**2 + 254*z + 187. Does 43 divide s(-14)?
False
Suppose 352687 = 68*v - 37*v. Does 35 divide v?
False
Does 4 divide 20/(-230) - ((-5720)/16)/(115/240)?
False
Let z = 13124 + 9148. Does 64 divide z?
True
Suppose 124*m + 192 = 130*m. Suppose -4*k + 142 = 4*r - 5*k, -r + 2*k + m = 0. Is r a multiple of 22?
False
Let c be (-2 + -3 + -176)*(-4)/4. Let y = -143 + c. Is 10 a factor of y?
False
Suppose 39*n = 37*n - p + 623, 2*p = -2*n + 618. Let s = n + -170. Is s a multiple of 2?
True
Let c = -4792 - -9706. Is c a multiple of 54?
True
Let x = -4077 + 5004. Does 136 divide x?
False
Suppose -31*d = -111505 + 8058. Is d a multiple of 71?
True
Let g = 218 + -212. Suppose g*j = 1706 + 334. Is j a multiple of 34?
True
Let x(a) = 2*a**3 + 136*a**2 + 104*a + 226. Is 43 a factor of x(-67)?
True
Let l(a) = -2*a**2 + 8*a - 8. Let m be l(4). Is 26 a factor of -1 + (m/(-10) - (-11837)/35)?
True
Let s(b) = 32*b + 2. Let m be s(-1). Let t be 13 + (-4 - m/5). Suppose 3*h = t, -2*w = 2*h - 238 - 76. Is w a multiple of 23?
False
Let h be 10 - (-6)/(-9)*-3*1. Suppose -5*a = -4*g - h, 5*g - 4*a = -4 - 2. Suppose -84 = -4*p + c, 42 = g*p - 0*c - 2*c. Is p a multiple of 3?
True
Suppose 620342 = 82*b - 728310 + 156782. Does 29 divide b?
False
Let f(d) be the second derivative of -d**5/20 + d**4/4 + d**3/2 + 3*d**2 + 30*d. Let n be f(4). Suppose -n*a + 9 + 99 = 0. Does 9 divide a?
True
Suppose 5*r - 11375 = 2*o + 2547, 2*r - 4*o - 5588 = 0. Is 4 a factor of r?
False
Let v = 14819 - -28296. Does 20 divide v?
False
Let v(s) = -332*s - 706. Does 105 divide v(-23)?
True
Let n(b) = -b**3 + 8*b**2 + 25*b - 1. Let j = -108 + 118. Is 43 a factor of n(j)?
False
Let y = -193 + 293. Suppose -5*n - y = -s, -s - 2*n - 4 + 118 = 0. Does 11 divide s?
True
Let i(u) = -u**3 - u**2 - u. Let o(d) = 86*d**3 - 7*d**2 - 4*d - 1. Let k(f) = 5*i(f) - o(f). Let c be k(1). Let l = -66 - c. Is 23 a factor of l?
True
Is (2 + -1)*(561 + (-20 - -11)) a multiple of 23?
True
Let a(o) = 53*o + 1. Let s be a(4). Suppose 7*w + 3 = i + 3*w, -8 = -4*w. Suppose s = i*n - 8*n. Is 21 a factor of n?
False
Suppose 0*n + 4*n - 5 = -5*c, 11 = n - 2*c. Suppose d + 5*k = -21, 2*d - 3*k + n = 7*d. Suppose -2*w - 3*x = -d*w + 417, -5*x = -2*w + 423. Does 12 divide w?
True
Let x(a) = -a**2 - 4*a + 7. Let h be x(2). Let m be ((-42)/h)/(3/20). Does 4 divide 4/3 + m/21?
True
Suppose -7*o - 490 = -12*o.