154008. Is y a multiple of 92?
True
Let x(i) = 13*i + 5*i + 2 - 5*i. Does 15 divide x(1)?
True
Is 10 a factor of (-2)/(6/(-56 + -4))?
True
Let g = -8 + 10. Suppose 3*y = -v + 13, 4*y - 2*y - g = 0. Is 5 a factor of v?
True
Suppose -4*d + 4*f = -5*d - 15, 25 = 3*d - 2*f. Suppose 5*j - 26 - d = -2*r, -3*r + 4*j = -58. Is r even?
True
Let a be 9/(-6)*-22 + -3. Let g = 28 + -13. Let d = a + g. Is 15 a factor of d?
True
Let g(d) = 2*d**2 - d + 8. Let w be g(5). Let s = w + -28. Does 13 divide (-1 - -1) + (s - 1)?
False
Suppose -4*t + 0 = h - 1, 0 = 5*h - 2*t - 27. Suppose -3*u = 2*w + 2*w - 21, 0 = -h*w - u + 18. Does 16 divide (-9)/(w/(-1)) + 13?
True
Let j be (-108)/8*32/(-12). Let s = 30 - j. Is 19 a factor of 8/s*(-456)/16?
True
Let w(x) = x**3 + 7*x**2 + 2*x + 1. Let p be w(-5). Suppose -90 = -3*j - 3*o, -j + 2*o + 45 = 6*o. Let z = p - j. Does 9 divide z?
False
Let i = 19 + -22. Let u = i - 65. Let r = u - -128. Does 14 divide r?
False
Suppose -6*z + 933 + 1467 = 0. Is z a multiple of 8?
True
Let r(c) = -7*c + 12. Let k(j) = -j. Let w(b) = -6*k(b) + r(b). Let x be w(-16). Suppose p = 3*s + 28, -5*s + 3*s = p - x. Is 7 a factor of p?
True
Is (6/60 + 322/(-20))*-41 a multiple of 30?
False
Suppose 2*k + 68 = 4*m, -2*m = 5*k - 0*k - 22. Suppose b - m = 6. Let t = 20 + b. Is 14 a factor of t?
True
Does 7 divide (-789)/(-1) + (-792)/72?
False
Suppose 0 = -s + 61 + 2. Let d = -15 + s. Does 13 divide d?
False
Let f(q) = -q**3 + 12*q**2 - 6*q - 8. Let s be f(8). Suppose -4*j + s = j. Does 7 divide 70/(-4)*(-112)/j?
True
Suppose 3*h - 5*x + 2275 = 0, -3*h - 806 = 2*x + 1434. Suppose -4*f + 117 = -3*f. Is 29 a factor of h/(-26) + 18/f?
True
Let q(r) = -169*r - 9. Is q(-3) a multiple of 21?
False
Is 6 a factor of 28/10*(5 - -85)?
True
Let i(v) = -2*v**3 - 2*v**2 + 1. Let m be i(-1). Let a = -6 + 7. Does 11 divide m - (a + -4 + -7)?
True
Let b(j) = -j**3 + 5*j**2 + 8*j + 2. Let f = -74 - -79. Is 7 a factor of b(f)?
True
Does 58 divide -464*(10/6)/(2/(-3))?
True
Let y(h) = h**3 + 6*h**2 + 2*h - 4. Let i be y(-5). Let f = -10 + i. Is 36 a factor of ((-36)/(-3))/(f/3)?
True
Suppose k = -2*t + 431, 8*k - 1260 = 5*k + 5*t. Does 5 divide k?
True
Let x be (-4)/(-10) - (-104)/40. Suppose b + x*b = 8. Suppose -57 = -b*z + z. Does 13 divide z?
False
Suppose 5*i = 10, 670 = 2*u + 3*u - 5*i. Let g = 0 - 0. Suppose g = 4*a - u - 8. Is a a multiple of 10?
False
Let n be (-3)/(1 - (-3 + 5)). Suppose 3*m - 6 = -n*d, -6*m = d - 2*m - 8. Suppose -4*w = -d*g - 3*g - 86, 2*g = -5*w + 96. Is w a multiple of 10?
True
Let p = -1051 + 1522. Is 29 a factor of p?
False
Suppose 5*d - 3*p - 2904 - 4670 = 0, -3*p + 4530 = 3*d. Is d a multiple of 34?
False
Let x = -41 - -42. Let v(z) = 55*z**3 + 2*z**2 - 1. Does 9 divide v(x)?
False
Let q be (-116)/(-8)*-1*-32. Suppose -3*g - g = -q. Suppose -g - 28 = -4*x. Does 13 divide x?
False
Let a be (-5)/((-30)/(-4)) - 70/(-6). Suppose a + 19 = m - 3*u, 2*u = -5*m + 167. Is m a multiple of 32?
False
Suppose -36*l + 32 = -26752. Is l a multiple of 12?
True
Let b(i) = -i**2 - i + 4. Let p be b(-2). Suppose 0 = 3*s + p*s - 2*r - 528, 0 = -2*s - 4*r + 216. Is s a multiple of 29?
False
Let r(x) be the second derivative of -x**5/15 + 5*x**4/24 + 7*x**3/6 - x. Let f(a) be the second derivative of r(a). Is 24 a factor of f(-9)?
False
Let i(q) = -49*q - 136. Is i(-17) a multiple of 17?
True
Let r(u) = -15*u + 522. Is r(10) a multiple of 30?
False
Let p = -204 - -376. Suppose 5*z + 133 = -3*c, -4*c - p = 4*z - 0*z. Let j = c - -73. Is 20 a factor of j?
False
Let f(x) = -4*x**2 - x + 1. Let l be f(-4). Let v = l - -84. Suppose 2*d + i - 6*i = v, -51 = -5*d + i. Is d a multiple of 7?
False
Suppose -3*w + 5*c = w - 49, 5*w = -4*c + 10. Suppose 0 = n + n + 4*v, -n + 4*v + w = 0. Is (21/12)/(n/8) a multiple of 2?
False
Suppose -3*z - 2*v - 14 = z, -5*z - 2*v = 20. Suppose 7*i + 41 = 4*i - l, -54 = 4*i + 2*l. Let b = z - i. Does 2 divide b?
True
Let u(h) = 18*h + 103. Let b be u(8). Suppose -2*t - 320 = -0*t. Let c = b + t. Is 31 a factor of c?
False
Let m = -721 - -1166. Is 12 a factor of m?
False
Suppose -1048 = -2*p + 652. Is 34 a factor of p?
True
Suppose -5*n = -k - 19, 2*n + 2*k - 4*k = 6. Suppose 3*d - n*d - 4*c - 5 = 0, 3*c = -d - 1. Suppose 6 = x - d. Does 16 divide x?
False
Suppose r + 5 = 0, -2*t + 2*r - r + 131 = 0. Suppose -t = -4*d + 93. Does 13 divide 4*(-1 + d/4)?
False
Let h be 1*(-3 + (7 - 4)). Suppose h*i = -i + 22. Is i a multiple of 7?
False
Suppose -118 = o + o + v, 244 = -4*o + 2*v. Is (-45)/o + (-229)/(-4) a multiple of 29?
True
Does 2 divide (1 + 29/4)/(153/408)?
True
Suppose 0 = -o + 2*j - 7, -o + 3*j - 7 = -3*o. Is (-1)/(-2)*(26 + o)*2 a multiple of 25?
True
Let h be (-136)/(-6)*15/10. Let t = 84 - h. Does 5 divide t?
True
Suppose 1142 + 6117 = 7*i. Is 7 a factor of i?
False
Let z(s) = s + 9. Let o be z(-5). Let p = o - 2. Suppose p*n - 495 = -5*h, 0 = -5*h - n + 4*n + 495. Does 33 divide h?
True
Let q(d) = -102*d + 459. Does 17 divide q(-16)?
True
Does 28 divide (-14)/21 + ((-344)/(-3))/4?
True
Let j = -18 - -210. Suppose 2*n = -4 - 4, 0 = 2*v + 4*n - j. Is v a multiple of 18?
False
Let b = 8 + -6. Suppose -4*t - 31 = -3*f, 0*f - 2*t = f + 3. Suppose -4*l = f*v - 30, -b*v + 3 = -1. Does 2 divide l?
False
Let y be (151 - 0 - 0)/(11/(-11)). Let o = y - -294. Does 26 divide o?
False
Let l = -895 + 1014. Is 7 a factor of l?
True
Suppose 0 = -4*k - 3*r - 14 - 17, 2*r + 18 = -2*k. Let p be (k - -3)/(1/2). Is 23 - (2 + p)/(-1) a multiple of 5?
False
Does 29 divide (15/5)/6*1306?
False
Suppose -2*g + 169 = t, 0 = -14*g + 13*g - 4*t + 102. Is g a multiple of 4?
False
Let k(u) = 19*u**2 + 40*u + 18. Is 37 a factor of k(-13)?
False
Let z = -321 + 317. Suppose 5*x = -0*x + 25. Does 13 divide 5/(z/((-300)/x))?
False
Let i be 3/6 + 4/(24/2511). Suppose 44 = -5*k + i. Is k a multiple of 10?
False
Suppose -2*o - 2 = -22. Let y(j) = -8 - j + 8*j - 21*j + 2*j**2. Does 26 divide y(o)?
True
Let p(w) = -17*w + w**3 - 1 + 12*w - 4*w**2 + 0 - 1. Let h be p(5). Is 20 a factor of -16*(h + 7)*-1?
True
Suppose 0 = -4*z + 3*z - z. Let q(k) = -k**3 + k**2 - k + 76. Does 19 divide q(z)?
True
Suppose -4*a - 4*y + 772 = 0, -5*a + y + 57 = -902. Does 24 divide a?
True
Let c be (9 - 0/(-1))/(1/(-1)). Is 13 a factor of (c/1)/(6/(-18))?
False
Suppose l + 2*l + 3 = 0. Let j be 4 - (0/l - 1). Suppose 2 = p + 2*k + 3*k, k + 10 = j*p. Is p a multiple of 2?
True
Suppose 5*g = -a + 4681, -4*a = -3*a - 1. Does 13 divide g?
True
Let x(h) = -h**3 - 41*h**2 - 14*h - 51. Is 6 a factor of x(-41)?
False
Suppose 4*w + 792 = 3*d, 4*w = 20*d - 21*d + 264. Is d a multiple of 12?
True
Suppose 0 = -0*l + l - 4. Suppose 6*s = 3*s + 5*w - 15, -4*s + l*w - 12 = 0. Let c = 3 - s. Does 2 divide c?
False
Let m = 17 - 9. Suppose 0 = 2*h - 4*k + 6, h + 2*k - m = 9. Is 2 a factor of h?
False
Let x(b) = 7*b - 6. Suppose -5*t + 23 = -3*g - 11, t = -5*g + 18. Suppose -4*z = -t*z + 32. Does 12 divide x(z)?
False
Let x(o) = o**3 - 3*o**2 + 3*o. Let w = 5 - 3. Let i be 1/w - (-3)/2. Is x(i) a multiple of 2?
True
Is 5 a factor of -2*((-9204)/24 - 9)?
True
Let a(i) = -4*i - 12. Let s be a(-3). Suppose -3*h + 414 = h - 5*r, -2*h + 3*r + 206 = s. Is h a multiple of 53?
True
Suppose -x = -2*d + 52, 14*x - 17*x = -d + 16. Does 14 divide d?
True
Let z(y) = y**2 + 35*y - 64. Is 12 a factor of z(31)?
False
Suppose -82*o - 408 = -83*o. Is o a multiple of 8?
True
Let c(j) = -j**3 + 5*j**2 + 4*j - 8. Let o(v) = -12 + 5*v**2 + 4*v + v - 2*v + 3 - v**3. Let h(i) = -3*c(i) + 2*o(i). Does 6 divide h(6)?
True
Let l(v) = v**3 + 12*v**2 - 19*v - 18. Let f = 11 - 7. Suppose 0 = f*x - 2*x + 26. Does 20 divide l(x)?
True
Let i = 17 - 11. Suppose -4 = -2*f, o + i*f - 70 = f. Is 20 a factor of o?
True
Let y(p) = 3*p**3 - 2*p**2 + 4*p - 2. Let h be y(2). Let u = h + -18. Is 4/(16/12) + u even?
False
Let t(x) = -x**2 + 19*x + 146. Let y be t(-6). Suppose -4*u + 136 + 728 = -4*n, -4*n - 864 = -u. Is (2/y)/(6/n) a multiple of 6?
True
Let h(l) = -7*l - 19. Let n be h(-7). Suppose 0 = -3*r + 4*r - n. Is r a multiple of 6?
True
Let s be 1 + -1 + 16*-2. Let z be 2/8 + 136/s. Let c(m) = 4*m**2 + 4*m + 6. Does 18 divide c(z)?
True
Suppose 0*k = -4*g - 5*k - 341, 3*k = 3*g + 249. Let t = g - -127. Is t a multiple of 15?
False
Let 