oes 18 divide j(-19)?
False
Let g = -96 + 104. Suppose -j + 0*o + 3*o + 4 = 0, 2*j - g = 3*o. Is j a multiple of 2?
True
Let j(a) = -a**3 - 57*a**2 - 321*a + 110. Does 15 divide j(-55)?
True
Let z(w) = -19*w**2 - 3*w - 21. Let c(r) = -10*r**2 - r - 11. Let g(s) = 7*c(s) - 4*z(s). Let k = -56 - -49. Does 14 divide g(k)?
True
Does 80 divide ((-4)/4)/(2/(-16)) + 1190816/68?
True
Suppose 2*n - 4 = 0, 3*y + 3*n - 7*n = -2. Suppose 0 = v - y*l + 7*l - 584, 5*v = 4*l + 2978. Is v a multiple of 44?
False
Suppose 2*u = -31*r + 28*r + 3641, 3*r + 4*u = 3637. Is 9 a factor of r?
True
Let g(r) = 12*r + 59. Let m be g(-5). Is 2059/(-87)*(-23 + m) a multiple of 71?
True
Let g be 18/(-10) + 2 + 172/215. Let m(a) = a**2 + 8*a + 10. Let i be m(-7). Suppose -i*k + 435 = 3*o, -g - 3 = 2*k. Does 21 divide o?
True
Let o = 32182 + 3126. Does 265 divide o?
False
Suppose -1238 = 6*j + 670. Let d = -181 - j. Does 20 divide d?
False
Let f(l) = -1060*l + 764. Does 13 divide f(-32)?
True
Suppose 51*l - 68481 - 146178 = 0. Does 60 divide l?
False
Is 5 + (9 - 2) + 2070 a multiple of 36?
False
Let i = -2209 - -3441. Suppose -148*m + 155*m - i = 0. Does 18 divide m?
False
Suppose 2*h = -l + 5, 3*h - h - 3*l - 17 = 0. Let z = -9 - -13. Suppose -36 - h = -z*p. Is 2 a factor of p?
True
Suppose -4*w = -71 - 49. Let a be 151 + (18/(-10) - (-24)/w). Suppose -17*l + 12*l + a = 0. Is l a multiple of 6?
True
Let k(x) = -x**3 + x + 121. Let m(g) = -2*g**3 + 28*g**2 + 31*g - 15. Let z be m(15). Does 4 divide k(z)?
False
Suppose -2*g - 488 = -y, 8*y - 485 = 7*y + g. Is (-208224)/y*((-1)/2 + 0) a multiple of 4?
True
Suppose 0 = -4*c + 9*j - 8*j + 13609, -2*c = j - 6803. Is 26 a factor of c?
False
Let u(b) = 43*b**2 + b + 1. Suppose -26 = -4*z - 78. Let g be z/39*3/1. Is u(g) a multiple of 12?
False
Let n be (-44)/(-20) - 1/5. Let y be (1 + -3 - -4)/2*6. Suppose -14 = -g + h, -n*g - y*h + 52 = -2*h. Is g a multiple of 4?
False
Suppose 6*o = 4*o + 166. Suppose o + 22 = 3*t. Is 5 a factor of t?
True
Let t(q) = 611*q + 264. Does 9 divide t(3)?
True
Let z = 66 + -68. Let u be (z/(-5))/((-6)/(-450)). Suppose 3*c = -0*c + u. Is c a multiple of 2?
True
Let n be (0 + 1)/((-4)/88). Let w(j) = -11*j - 202. Is 20 a factor of w(n)?
True
Let k = 235 + -197. Suppose z - 4*p - 240 = 0, -k*p + 720 = 3*z - 39*p. Does 4 divide z?
True
Is 19 a factor of 13 - (-1162 - 9/9)?
False
Let r(z) = -727*z + 299. Is r(-1) a multiple of 67?
False
Suppose 0 = -91*t + 95*t + i - 4333, 2*t - 4*i = 2198. Does 119 divide t?
False
Suppose 100*o + 5*m = 96*o + 67496, -5*o + 84344 = 3*m. Does 124 divide o?
True
Suppose 579 - 576 = -v, -6015 = -p + 5*v. Does 4 divide p?
True
Let f(j) = -j**2 + 6 - 14 + 33*j - 57 + 24. Is f(16) a multiple of 33?
True
Let z = 995 + -581. Suppose -8*i = -162 - z. Is i a multiple of 18?
True
Let m be 1097 - ((-4)/4)/(-1)*-1. Let y = -643 + m. Does 22 divide y/15 - (-2)/(-18)*3?
False
Let p(h) = -4*h**2 - 8*h + 1. Let u be p(-6). Let n = u - 102. Let l = -71 - n. Is 42 a factor of l?
True
Suppose -2*j = -x - 6072, 22*j + x + 15180 = 27*j. Is j a multiple of 9?
False
Suppose -47*c + 45*c = -84. Suppose 0*q - 6*q + c = 0. Suppose q*i + 408 = 10*i. Does 17 divide i?
True
Suppose -4*y + 52 = -l, 63 - 5 = 3*y + 4*l. Let f(t) = 2*t**2 - 12*t + 14. Is f(y) a multiple of 17?
True
Let p(d) be the first derivative of 105*d**2/2 - 6*d - 13. Let v be p(6). Is 15 a factor of (-2)/(-2 - v/(-315))?
True
Suppose 51 = -19*t + 146. Suppose 3*w - r - 1068 = 0, -7*r = -t*r - 6. Is w a multiple of 5?
False
Suppose -h = 5*v - 7, 0*v - 8 = -h - 4*v. Suppose 11*u + u = h. Does 38 divide (43 - 8) + 3/u?
True
Suppose -2*b + 163 = v, -8*v = -3*v - b - 848. Suppose -161*f - 1784 = -v*f. Is f a multiple of 14?
False
Let y(v) = 2*v - 48. Let p be y(26). Suppose 5*u + 2*f + 180 = 9*u, -p*u - 3*f = -160. Is u a multiple of 9?
False
Is (210/20 + -10)*16 + 14006 a multiple of 98?
True
Let m be 0 + 83 - (17 - 24). Suppose -3*o + 170 + 292 = 0. Let v = o - m. Is 9 a factor of v?
False
Suppose -5*y - 5 = -35, y = 3*c - 38478. Is 63 a factor of c?
False
Is (33662/(-7))/(80/(-1120)*(4 - 2)) a multiple of 10?
False
Let f = 9047 + -4680. Does 11 divide f?
True
Let n = -545 - -468. Let d = n - -109. Is d a multiple of 4?
True
Suppose 0 = -2*l - 2*l + 12. Suppose 3*r = -2*p - 0*r + 158, -237 = -l*p - 2*r. Suppose 28 = -3*y + p. Is 3 a factor of y?
False
Let t(k) = -k**3 + 14*k**2 + 2*k - 23. Let d be t(14). Suppose d*r - 1262 = l, 185 = r + 3*l - 61. Is 42 a factor of r?
True
Suppose 5*k - 20 = -0*k. Let c be ((-6)/(-8))/((-33)/(-24) + -1). Suppose 0 = k*j + 5*v - 116, -4*j + 0*j + 104 = c*v. Does 5 divide j?
False
Let m be (-33)/(-33)*4/(-2). Is 30 a factor of (158 + m)/(-6 - 217/(-35))?
True
Let v(m) = -m**2 - 29*m - 35. Let h be v(-27). Suppose h*q - 23*q = -1400. Does 14 divide q?
True
Let q(n) = -776*n + 2439. Does 21 divide q(-12)?
False
Suppose -4*o - 22 = t, -2*t + o = -3*o + 68. Let w = -112 - t. Let r = -3 - w. Is 20 a factor of r?
False
Suppose 0*b - 400 = -8*b. Suppose 4*y + 16 = 0, d + 4*d - b = 5*y. Is ((-16)/(-3))/(d/54) a multiple of 24?
True
Let h(n) = 70*n - 45. Let c(r) = 3*r + 2. Let v(i) = 6*c(i) - h(i). Is 14 a factor of v(-18)?
False
Let l(n) = 53*n - 34. Let d be l(30). Suppose 12*a + 1168 = 15*a + r, 2*r = -4*a + d. Does 10 divide a?
True
Is (2 - 6550)*((-30)/8 + 3) a multiple of 16?
False
Suppose 29*r - 233 - 782 = 0. Suppose -232 = -4*d - 4*a, 4*a = 2*a - 10. Suppose -r = 4*h - d. Does 6 divide h?
False
Let p(h) = h**2 - 10*h - 23. Let a be p(11). Let n be a/21*(-21)/6. Is 4 a factor of (n - 1)*(-1044)/(-18)?
False
Suppose 474 = 3*w - 12. Let z = -75 + w. Does 29 divide z?
True
Suppose -98296 - 1394130 = -122*s. Is s a multiple of 13?
True
Let p(f) = 3*f**2 + f - 6. Let s be p(0). Suppose -3*m - 7 = -4*o, 4*o - 3*m = -o + 11. Is s/o + (-167)/(-2) a multiple of 18?
False
Suppose 2814 - 506 = 2*g. Let j = g - 795. Does 29 divide j?
False
Let i(l) = -l**2 - 11*l - 2. Let d(s) = 4*s - 1. Let q be d(8). Suppose -q*m + 30 = -36*m. Does 4 divide i(m)?
True
Let a = -9135 - -10290. Is a a multiple of 33?
True
Let j(x) = 2*x**2 - 49*x + 31. Let m be j(24). Suppose u + m*k - 856 = 4*k, -5*u + 4280 = -5*k. Is 42 a factor of u?
False
Let m be (-2 + 2 + 0)*(-2)/4. Let h(a) = -a**3 - a**2 + 2*a + 2. Let r be h(m). Is 2288/96 + r/12 a multiple of 8?
True
Suppose -5*n + 9*n - 5*y = -6969, -8700 = 5*n - 4*y. Let b = -716 - n. Is 13 a factor of b?
False
Is (-6 - (-3 - 6))*((-2094)/(-9) + 3) a multiple of 32?
False
Let d be (7 + -3)*(2787/(-12) - 3). Let z = -545 - d. Is z a multiple of 18?
True
Let u(o) = -o**2 - 8*o + 4. Let t be u(-8). Does 2 divide t*30*24/60?
True
Let k = 641 - 500. Is 141 a factor of k?
True
Let v(m) = 1. Let j(g) = g**2 - 8*g + 18. Let q(t) = -j(t) + 5*v(t). Let a be q(5). Suppose -4*w + 5*s + 102 = 2*s, s = -a. Is 8 a factor of w?
True
Let t(i) be the third derivative of 0 + 1/15*i**5 - 11/24*i**4 - 11/6*i**3 - 7*i**2 + 0*i. Is t(-5) a multiple of 18?
True
Let s(t) = -2*t**2 + 5*t + 165. Suppose 0 = -29*o + 35*o. Let k be s(o). Suppose -81 = -a + k. Is a a multiple of 21?
False
Suppose 4*h = 5*j + 807, -h = j - 172 - 32. Is h even?
False
Let k(g) = g**3 + 10*g**2 - 17*g - 19. Let d = -133 - -135. Suppose 3*j - 13 = 2*o, -2*j + 27 = -d*o - o. Is k(o) a multiple of 13?
False
Let x = -244 + -81. Let m = x + 460. Does 9 divide m?
True
Let a(m) = 13*m**2 - 3*m - 4. Let w be a(-1). Let t(s) = 17 - w*s + 6*s - 11*s - 10*s**2 - s**3. Is t(-8) a multiple of 5?
True
Let j = 68 - 64. Suppose 0 = 2*x + j*b + 69 - 329, 4*x + b = 499. Is 8 a factor of x?
False
Let m(f) = 29*f**2 + 16*f + 89. Let h be m(-4). Suppose h + 421 = 7*v. Does 10 divide v?
True
Suppose 4*b + 2*i = 30, -4*b - 3*i + 6*i = -15. Let x be ((-920)/(-16))/((-3)/b). Let c = x - -206. Does 17 divide c?
False
Let x = 3475 + -3370. Is x a multiple of 21?
True
Suppose -2*j = y - 109, -2*j - 2*j - 4*y = -228. Suppose 1498 = -j*w + 8050. Does 21 divide w?
True
Suppose 265235 = 95*c + 10267 - 163602. Is c a multiple of 33?
False
Let s(a) = 3*a**2 - 2*a + 1. Let j be s(5). Let h = 70 - j. Suppose 532 - 68 = h*y. Is 26 a factor of y?
False
Let p = -8450 - -22059. Is 57 a factor of p?
False
Suppose 0 = 22*o - 17*o - 15. Suppose o*a = 3*q - 297, 0 = -14*a + 19*a