) = -3*y**2 + 58*y + 17. Is 10 a factor of r(14)?
False
Suppose 7*o - 70 - 14 = 0. Let u = o - 2. Does 5 divide u?
True
Let g(q) = -q**2 + 4*q. Let a be g(4). Suppose 0 = -a*f + 4*f + 2*c - 1666, 3*c + 420 = f. Suppose -2*v + f = v. Is v a multiple of 36?
False
Let z(f) be the first derivative of 9*f**2/2 + 5*f - 26. Does 16 divide z(3)?
True
Let j = 61 - 61. Is 15 a factor of (-29 + j)*1/(2/(-2))?
False
Suppose -221*s = 5*q - 224*s - 5362, -4*s + 1077 = q. Is q a multiple of 50?
False
Let i(y) = 4*y**2 + 11*y - 3. Let h(z) = z**2 + 4*z - 1. Let u(k) = -7*h(k) + 2*i(k). Let o = -324 + 331. Is u(o) a multiple of 8?
True
Let a(v) = 10*v**2 + 27*v - 13. Does 14 divide a(6)?
False
Suppose 3*i + 2*f = 2228, 0*f - 3*f = -5*i + 3726. Is 62 a factor of i?
True
Suppose -15*r = -3*v - 10*r + 369, r + 3 = 0. Is 2 a factor of v?
True
Let t be (-4)/6*225/(-10). Let h be -1 - (0 + 44/(-2)). Let n = t + h. Does 12 divide n?
True
Is 98494/42 + (-4)/(-126)*-3 a multiple of 7?
True
Suppose -887 = -29*t + 4478. Is t a multiple of 37?
True
Let u = 3398 + -1022. Is u a multiple of 22?
True
Let c = 672 - 478. Is 9 a factor of c?
False
Suppose -4*u = 1 - 9. Let c(h) = -3 + 4*h**2 + 3*h - 1 - h + 2. Does 5 divide c(u)?
False
Let p be (-2125)/(-51) + (-2)/3. Suppose -14 = -z + 3*z. Let m = p + z. Is 10 a factor of m?
False
Suppose 0 = -2*k + 1 + 5. Let y(f) = -f**2 + f. Let q be y(k). Let w = 32 - q. Is w a multiple of 18?
False
Is ((-1)/9)/((-2)/10026) a multiple of 6?
False
Suppose 391 = 4*q - 3*q - 5*r, -3*q = 3*r - 1227. Is 7 a factor of q?
True
Suppose 0 = -2*u - 5*y + 8, 0 = -4*u + 6*y - 2*y + 72. Let g = u - 12. Does 28 divide (48 - 3) + g - 2?
False
Suppose 5*w = 2*y + 15, 2*w + w = 3*y. Suppose 5*b - 22 = -3*s, y*s - 2*b - 2*b = 12. Is 2 a factor of s?
True
Let q(g) = -7*g - 4. Let v be q(-2). Let r be (-41)/13 + v/65. Is 4/(-6) + (-128)/r a multiple of 14?
True
Let k(x) = -x**2 + 14*x - 9. Let m be k(8). Let h = m + -18. Is 7 a factor of h?
True
Let s(k) = -2*k + 2*k + 0*k - 1 + k. Let r be s(6). Is (-29)/(-5) - r/(-25) a multiple of 6?
True
Suppose 0 = 22*f + f - 13984. Is f a multiple of 19?
True
Suppose 0 = 2*v + 3*d - 840, -433 = -9*v + 8*v + 5*d. Does 9 divide v?
True
Suppose 2*j = -2*q + 4210, -4*j - 13*q + 10*q + 8424 = 0. Is j a multiple of 7?
False
Suppose -4*h - 4*k = -5*h + 116, 453 = 4*h - 5*k. Is 61 a factor of h?
False
Suppose -6*m + 30 = -36. Let y be m/3 - 6/9. Is 4 - (2 - 2)/y even?
True
Suppose -2*f + 7*f - 4*b - 4050 = 0, -5*b = -f + 810. Does 3 divide f?
True
Suppose 19 = g - 5*x, 4*x + 25 = 2*g - 13. Suppose 84 = -9*q + 2*q. Let w = q + g. Is w a multiple of 2?
False
Let a(y) = -2*y**2 - 12*y + 2. Let t be a(-6). Suppose 3*p = 3*f - t*f + 343, -3*f = 4*p - 453. Is 19 a factor of p?
True
Suppose -3*r = -3*z - 3, r - z = 2*r - 3. Does 12 divide ((-6)/(-4))/(3/r) + 157?
False
Suppose 9*t - 4*t - 4*a - 7930 = 0, -1580 = -t + 2*a. Is t a multiple of 53?
True
Let f = 22 + -28. Is 10 a factor of 1620/24 + f/(-4)?
False
Let m = 2 - 1. Let p = m - 8. Let n = p - -13. Does 3 divide n?
True
Let m(x) = x**2 + 5*x + 3. Let g = 21 + -36. Let h = g - -7. Is 11 a factor of m(h)?
False
Let p(g) = -3*g - 15. Let u(c) = c - 1. Let b(q) = p(q) - 2*u(q). Is 13 a factor of b(-6)?
False
Suppose -4*t = -2*k - 290, 2*t = -4*k - 46 + 216. Let w = t - 17. Is w a multiple of 4?
False
Is 18 a factor of (-72)/(-10)*(-45)/(-6)*2?
True
Suppose 4*o - u = 32, -2 - 4 = -2*o - 2*u. Suppose o = 6*d - 17. Does 15 divide 90*(d - (-20)/(-6))?
True
Let p(k) = -k - 9. Suppose 0 = 6*m - 10*m - 56. Let y be p(m). Does 21 divide 4/10*y - -34?
False
Let c(d) = d + 4. Let r be c(3). Let s be (-10)/(-2) - 21/r. Suppose -s*m - 288 = -3*j, 2*j + 4*m = 4*j - 192. Is 27 a factor of j?
False
Suppose p = 124 + 260. Suppose -7*k = -3*k - p. Suppose -2*x - 5*w = -k, 0*w = 5*x - 2*w - 182. Does 8 divide x?
False
Suppose -n - 89 = 5*s - 302, 3*s - 123 = n. Suppose -3*g - 57 = -3*j, 5*j + s = g + 141. Is j a multiple of 10?
True
Let t = -17 + 43. Suppose -4*w = 3*r - r - t, 5*r = -2*w + 9. Suppose m - 27 = -w. Is m a multiple of 5?
True
Suppose -2*d + 3*d - 2*o - 37 = 0, -3*o = -2*d + 71. Is 31 a factor of d?
True
Let j(w) be the second derivative of w**4 - 2*w**3/3 + w**2 + 2*w. Let k be j(2). Suppose 0 = 3*b - 0*b - k. Is 7 a factor of b?
True
Let x be (-1 + 3)*10/(-10). Let b be 1 - (2 + -1 + x). Suppose b*g - 4*g + 40 = 2*y, 2*g + y = 42. Is g a multiple of 5?
False
Suppose 593 = 7*y - 541. Is 6 a factor of y?
True
Suppose 0*a = 5*a - 80. Suppose -5*x + 150 = 5*w, 4*x - 2*x = -5*w + 57. Let c = x - a. Is 5 a factor of c?
True
Let l(z) be the first derivative of z**2/2 - 2*z + 6. Let b be l(8). Suppose 3*n = -9, -n = 5*v - b - 251. Is 12 a factor of v?
False
Suppose 3*t = 5*n - 0*t - 457, -4*n - 4*t = -340. Suppose -136 - n = -5*o. Does 13 divide o?
False
Suppose 4*i = 5*t - 4996, -3*t + 2997 = -8*i + 5*i. Does 20 divide t?
True
Let g(i) be the first derivative of 4*i**3 - 5*i**2/2 + 9*i + 10. Is 25 a factor of g(4)?
False
Let d(s) = s**3 - 7*s**2 + 7*s + 1. Let p be d(6). Let b be -4 + p + (-3 - 0). Suppose b = 2*c - 3*c + 9. Is 3 a factor of c?
True
Suppose 3*k + 363 = -3*f, -173 = 2*k + f + 68. Let v = k - -175. Is v a multiple of 11?
True
Does 42 divide (15096/185)/(2 + 136/(-70))?
True
Suppose -n + 0*n = 0. Suppose n = o + 2*o + 9. Does 3 divide o/(-6)*(-3 - -19)?
False
Let i = 23 + -6. Suppose i*t - 781 = 188. Is t a multiple of 19?
True
Suppose 2*j = -3*r + 1249, -j - 3*r - 118 = -738. Does 17 divide j?
True
Let b be (-2 - -2)*3/6. Suppose -4*k = -b*k - 924. Suppose -k = -4*l + 189. Is l a multiple of 21?
True
Let z(a) = -a**2 - 8*a - 12. Let l be z(-4). Suppose -499 - 1 = -4*i. Suppose -v - 57 = -3*r - l*v, -5*r + v = -i. Is r a multiple of 7?
False
Does 13 divide 22701/9 + 20/(-60)?
True
Does 10 divide (13 + -72)/((-2)/(7 - 3))?
False
Let d = -194 - -387. Does 65 divide d?
False
Is (6 - 9)*(-573 - 6) a multiple of 6?
False
Let b = -5 + 5. Suppose o + o - 24 = b. Does 19 divide 38*-3*(-2)/o?
True
Let g be (-2)/((-3)/((-1401)/(-2))). Suppose 143 - g = -3*t. Does 36 divide t?
True
Let i(v) = -v**3 + 4*v**2 - 2*v - 4. Let x be i(3). Is 5 - x*(0 + 7) a multiple of 11?
False
Suppose 3*y - 1060 = 2*m, -5*m - 1247 = -4*y + 178. Is y a multiple of 14?
True
Let h = -50 - -52. Suppose -h*d - 2*p + 670 = d, -4*d + 2*p + 884 = 0. Is d a multiple of 34?
False
Let s(x) be the third derivative of -x**6/120 - x**5/10 + x**4/8 - 2*x**3/3 + 116*x**2. Let t be (-1)/(-2*(-2)/28). Is 12 a factor of s(t)?
True
Suppose 2*s - z - 6 = z, 0 = -5*s - 3*z + 7. Suppose -4*g + a + 4*a + 20 = 0, 0 = -2*g - s*a + 10. Suppose g*j = 76 + 19. Is j a multiple of 12?
False
Is 4/(-10) + 15490*16/100 a multiple of 42?
True
Suppose 2*l - 2*q = -2*l + 1102, 0 = -3*l - 4*q + 843. Let u = l - 89. Let s = u - 111. Does 29 divide s?
False
Let l = 1620 - 740. Does 10 divide l?
True
Let f = 1447 - 1024. Is f a multiple of 9?
True
Let k = 147 - 7. Suppose k = -22*i + 26*i. Is i a multiple of 4?
False
Let p be 0/((-2)/1)*(1 + -2). Suppose p*k - k = -198. Is k a multiple of 18?
True
Let i(x) = -2*x - 2. Let v be i(-7). Let h = v - 0. Is (-3)/(-12) + 429/h a multiple of 12?
True
Let c(i) = i**3 + 11*i**2 - 15*i - 3. Is 11 a factor of c(-12)?
True
Is 47 + 8 + -16 + 6 a multiple of 3?
True
Does 21 divide -8 - (-1539 - (-3 - 5))?
False
Let c(a) = a**3 + 8*a**2 - 10*a - 6. Let h be c(-9). Suppose h*u = -3*u - 270. Let g = -30 - u. Is 6 a factor of g?
False
Suppose -6*j - 112 = -4*j - 5*n, -13*j - 5*n = 653. Suppose -2*v + 184 = -4*g, 2*v = 5*v + 3*g - 231. Let o = v + j. Is 31 a factor of o?
True
Let z = 50 + -48. Does 10 divide -42*(-3)/6 - (-4)/z?
False
Let x(c) = 3*c**3 - 2*c**2 - 3*c + 193. Is x(0) a multiple of 5?
False
Let x(z) = 3*z**3 - 2*z**2 - z. Let v be x(2). Suppose 0*f - 4*f = 0, 4*f + v = 2*b. Suppose -b = -2*m + 9. Is m a multiple of 8?
True
Let y(q) = -q**3 + 9*q**2 - 6*q - 7. Let l be y(8). Let g be ((-3)/l)/(1/(-123)). Suppose 1 + 0 = -d + 4*h, 5*d - g = -3*h. Does 4 divide d?
False
Let t(q) = 5*q**3 - 16*q**3 + 10*q**3 + 8*q - 2*q**2 + 2. Let f be t(-4). Suppose f*n - n = 18. Is 9 a factor of n?
True
Suppose 0 = j, -2*q - 9*j + 588 = -7*j. Does 14 divide q?
True
Let u = -14 - -20. Let p be (21/6)/((-1)/(-2)). Is (