. Is 113 a factor of z?
True
Suppose -5*d + 8814 = 2*n, 299*n - 2*d = 297*n + 8856. Does 134 divide n?
True
Let r(o) = -2*o**2 + 3*o + 1540. Let k be r(0). Suppose -2*j + 3*x + 616 = 0, 0*j + 4*x = 5*j - k. Does 28 divide j?
True
Let z = -485 - -499. Suppose 12*k + 330 = z*k. Is k a multiple of 10?
False
Let p be (-1)/2*(-28 - -28). Let d(t) = t**3 + 3*t + 209. Does 19 divide d(p)?
True
Let y(f) be the second derivative of 2*f**3 + 8*f**2 - 28*f. Let b be y(-4). Is 6 a factor of 136/b*-1*8?
False
Let x = -329 + 468. Let z be 2/(-4) + (-1175)/50*3. Let u = z + x. Is 15 a factor of u?
False
Suppose 3*u - 5*f = 17058, 5*f - 20356 + 3268 = -3*u. Is u a multiple of 14?
False
Let r = 16482 - -9362. Is 14 a factor of r?
True
Let s(j) = 5*j**3 + 36*j**2 - 12*j + 24. Does 24 divide s(6)?
True
Let k(a) = 62*a + 28. Let b be k(15). Suppose 12 = -4*h, 0*h - b = -4*q - 2*h. Is q a multiple of 10?
False
Suppose 0 = -15*j + 30684 - 8289. Let c = j + -543. Does 10 divide c?
True
Suppose 2*y = 4*y - 562. Suppose 15*j - 229 = y. Does 4 divide j?
False
Does 21 divide 6462 + (7 - 110/11)?
False
Let r = 8824 + -4403. Is r a multiple of 21?
False
Let p(a) = -3*a - 33. Let g(w) = -w**3 + 6*w**2 - w - 5. Let b be g(6). Let z be p(b). Suppose z*n - 5*n - 2*c = -68, 2*n = 5*c + 4. Is 3 a factor of n?
True
Suppose -100*f + 54947 + 263653 = 0. Is f a multiple of 54?
True
Let d = -289 - -294. Suppose -1632 = -d*o - 3*r + 938, -o - 2*r = -521. Is 73 a factor of o?
True
Let t = -1177 - -1228. Let k be (-2)/(-5) + 72/20. Let s = t - k. Is s a multiple of 14?
False
Suppose 0 = 4*g - 2800 - 187952. Is 71 a factor of (-11)/((-462)/g) + (-4)/(-7)?
True
Suppose -127 = -5*g - 57. Let b = 16 - g. Is 2 a factor of (-5 - 168/(-32))/(b/152)?
False
Suppose -4*s + 10 = -5*a, 3*a - 7*s + 4 = -5*s. Let g(q) = 546*q + 84. Does 12 divide g(a)?
True
Let m be (31 + -30)/((2/42)/1). Suppose 0 = -m*v + 25*v - 56. Suppose -10*w + v*w = 424. Is w a multiple of 26?
False
Let p = -14 - 21. Let d(g) = -11*g + 11. Let y be d(-14). Let r = y - p. Is r a multiple of 20?
True
Suppose 10598 = -6*x + 57066 + 17564. Is 92 a factor of x?
True
Let w(d) = 30*d + 7. Let a be w(6). Let q = 377 - a. Is q/12 - 1 - 6/(-36) a multiple of 5?
True
Let h = 2833 + 23644. Is 40 a factor of (-4)/(-22) - h/(-121)?
False
Let i(h) = -6*h - h**2 - 10*h + 0*h**2. Let u = -10709 - -10697. Is 12 a factor of i(u)?
True
Let j = 775 - 553. Let g = -302 + 620. Let k = g - j. Is 24 a factor of k?
True
Let f = 737 + 2094. Suppose -2609 = -10*n + f. Does 6 divide n?
False
Let h(t) be the third derivative of t**6/40 - t**5/6 - 2*t**4/3 + 9*t**3/2 - 41*t**2. Does 15 divide h(6)?
False
Let n(t) be the third derivative of -t**5/30 - t**4/24 + t**3/3 + 20*t**2. Let z be n(-2). Is 16 a factor of z*2/(-12) + (-276)/(-18)?
True
Is 21 a factor of (-272)/64 + 6 + 152610/8?
False
Suppose 0 = -y + 5*f + 6334, 16*f - 12698 = -2*y + 11*f. Is y a multiple of 61?
True
Suppose 13*p - 733260 = -4*g - 0*g, 4*p - 2*g = 225612. Is p a multiple of 12?
False
Let o(c) = 13*c**3 + 6*c**2 + 5*c - 6. Let i be o(3). Suppose -8*x + i = -5*x. Is 6 a factor of x?
True
Suppose -4*t - 286 - 214 = 0. Let o = t - -231. Does 19 divide o?
False
Suppose -i = -65 - 33. Suppose i*l = 93*l. Suppose -5*f + 520 - 195 = l. Is 7 a factor of f?
False
Suppose 52*y - 76*y + 390342 = 110*y. Is y a multiple of 18?
False
Suppose -f - 79 = -o, -o - 46 = -4*f - 371. Let k = 82 + f. Suppose k = 2*m - 47 - 37. Is 16 a factor of m?
False
Let k(t) = 8*t - 34. Let l be k(10). Suppose m - 11 = 24. Let s = l - m. Is s a multiple of 7?
False
Let q(k) = -8*k**3 - 9*k**2 - 15*k + 21. Let s(c) = -4*c**3 - 5*c**2 - 8*c + 11. Let o(t) = 4*q(t) - 7*s(t). Let b be o(5). Is 12 a factor of (-3)/7 - b/14?
False
Let t be -9*(4/(4/5) - 14). Suppose 85*j - t*j = 1628. Is j a multiple of 11?
True
Suppose -8*h = -5235 - 6493. Let l = h + -724. Is l a multiple of 14?
True
Suppose -51*z + 24960 = 48*z - 94*z. Is z a multiple of 96?
True
Is 6 a factor of (20/(-45)*-6 + -2)*1314?
True
Let g(d) = -402*d**2 + 5. Let v(t) = 805*t**2 + t - 11. Let h(o) = -7*g(o) - 3*v(o). Does 16 divide h(-1)?
True
Let k(i) = 18*i**2 - 4*i - 102. Is 8 a factor of k(-27)?
True
Let m be 510/4*12/9. Suppose 9*u = 604 - 505. Suppose -u*s + m = -s. Does 2 divide s?
False
Suppose -6*q - 395 - 1123 = 0. Does 18 divide 5 + q*(2 + -1)*-2?
False
Suppose -1219*s = -1338*s + 2429861. Is 7 a factor of s?
True
Suppose -k = -2*n - 1239 - 10669, -11899 = -k + 5*n. Suppose -8*u - k = 4934. Does 13 divide (2/(-4))/(27/u)?
True
Let a = -31 - -37. Suppose -29 = -3*n - a*b + b, 36 = 5*n - 4*b. Let v(l) = l**3 - 6*l**2 - 11*l + 6. Does 23 divide v(n)?
True
Let f = -309 + 94. Suppose 4*o + 264 = -244. Let t = o - f. Is 11 a factor of t?
True
Let w be -14 - 10/(-5)*(-2)/4. Let o(x) = -x**3 - 12*x**2 - 26*x - 15. Is o(w) a multiple of 14?
True
Suppose 70*z + 5*d = 66*z + 53449, 3*d - 66795 = -5*z. Is z a multiple of 23?
False
Is (-4768)/24*(-2 - 6/(72/390)) a multiple of 18?
False
Suppose 28160734 = 582*z - 11817093 + 8516071. Is 76 a factor of z?
False
Let j = -5 - -8. Suppose 0 = 5*r - 2 - j. Is 40 a factor of (4/4)/(r/177)?
False
Let h(i) = i**3 - 4*i**2 + 9. Let t be h(4). Suppose 3500 = t*c + 197. Does 23 divide c?
False
Let j be (1 + 1/(-7))/((-23)/(-2093)). Suppose 42 = -4*s - j. Does 3 divide 10/s + 55/3?
True
Let y(i) = -i**2 - 18*i + 29. Let g be y(-19). Suppose -3*o + 4*m = -6, -3*o + 2*m = 2*o - g. Suppose 5*b - 161 = -o*c, 2*c - 2*b - 188 = 2*b. Does 13 divide c?
False
Suppose 255*v + 2304 = 261*v. Suppose 5*l + 3*z + 928 = 10*l, -2*l - 2*z + v = 0. Is 18 a factor of l?
False
Let j = 383 - 256. Suppose g = 5*q + 44, -4*g + 4*q = -j + 15. Is g a multiple of 7?
False
Let k be (10/(-3))/(122/183). Let i(y) = -38*y + 23. Is 10 a factor of i(k)?
False
Let o(h) = h**2 + 23*h - 60. Let p(y) = -y - 22. Let c be p(11). Is 30 a factor of o(c)?
True
Let p(l) = 2*l**3 - 3*l**2 + 3*l - 5. Let h be p(2). Suppose -h*y + 10*y - 980 = 0. Does 14 divide y?
True
Suppose -5*q - 12 = 13. Let j be (-18)/(-5)*q/(-3). Suppose 0 = j*y - 85 + 1. Is 3 a factor of y?
False
Suppose 3*s = 5*q + 11524, -3*s = -4*q + 742 - 12267. Is s a multiple of 44?
False
Let w(q) = 59 - 4*q - 24*q**2 - 5 - q**3 + 2*q**2. Does 18 divide w(-23)?
False
Is 1163224/96 + (-13)/(-156) a multiple of 21?
True
Suppose -4*q = -l - 9*q + 229, -5*q = 4*l - 931. Suppose -3*o + 3*r = -l, o - 3*r - 81 = -r. Let h = 165 - o. Does 24 divide h?
False
Let h(v) = -3*v**3 + 9*v**2 + 102*v - 4. Does 94 divide h(-7)?
True
Let q(g) = g + 5. Let w be q(5). Suppose -2072 = w*y - 3*y. Let h = 423 + y. Does 17 divide h?
False
Suppose -8*d - 178*d = -33*d - 4215456. Is d a multiple of 84?
True
Let v(f) = -2*f**2 + 34*f - 24. Let h be (-26)/((6 - 3) + -5). Is 20 a factor of v(h)?
True
Let h(n) = 10*n - 15. Let y(t) = -2*t + 3. Let s(v) = 2*h(v) + 11*y(v). Let r be s(-4). Suppose r*x - 90 = 405. Is 19 a factor of x?
False
Let y be ((-792)/(-11))/((-2)/2 - -3). Does 4 divide y/(-15)*(-5)/30*15?
False
Suppose 402 = -6*i - 0*i. Let g = 72 + i. Suppose 5*y - s - 215 = -2*s, 0 = g*y - 5*s - 215. Is 43 a factor of y?
True
Let x be 4833/18 - 9/6. Suppose t - x = 258. Is 35 a factor of t?
True
Let j(o) = 724*o - 12092. Is j(82) a multiple of 106?
True
Let j(b) = 7410*b**2 + 2*b + 3. Let x be j(-1). Suppose 20176 = 15*n + x. Is n a multiple of 23?
True
Suppose 0 = -2*i + 2*d + 779 - 19, 780 = 2*i + 3*d. Does 24 divide i?
True
Suppose 21*g + 37721 = 507281. Is g a multiple of 104?
True
Does 151 divide 5/(-40) - (2 - 4 - (-1603405)/(-40))?
False
Suppose -p + 22022 = 2*i, 25*i - 26*i + 2*p = -10996. Is i a multiple of 43?
True
Let g(x) be the third derivative of 17*x**5/15 + 7*x**4/24 - x**3 + 79*x**2 - 1. Is 10 a factor of g(2)?
True
Let u = 768 - 250. Suppose 20*v = 1222 + u. Is 15 a factor of v?
False
Let m = 559 - 398. Let q = m + 60. Is 10 a factor of q?
False
Suppose -54*g + 7*g = 8*g - 72600. Is g a multiple of 30?
True
Is 42 a factor of 211548/69 + (-2)/(-23)?
True
Let u = -2136 + 3269. Let v = -431 + u. Is 6 a factor of v?
True
Let w be (-3)/(-6)*0 - 0. Suppose w = -5*j + 32 - 12. Is 17 a factor of (j - 8)*153/(-6)?
True
Let k(j) be the first derivative of -9*j**2/2 - 22*j + 9. Let o be k(-3). Suppose -4*n = -3*n + 5*q