 factor of x(-4)?
False
Let b = -43 - -48. Suppose b*x + 4*w = 277, -4*x + 3*w = 2*w - 230. Suppose 0 = -3*j + x + 57. Does 27 divide j?
False
Let k = 174 - 168. Suppose -13*m + 1254 = k*m. Is 3 a factor of m?
True
Let i = -202 + 207. Let f(u) = -u**3 + 8*u**2 + 2*u + 2. Is f(i) a multiple of 7?
False
Let j be ((-2)/(-5) - 64/(-40)) + 16. Suppose 2*k - 3*k + j = 0. Suppose p - k = -0*p. Is 16 a factor of p?
False
Suppose -149*s - 630630 = -394*s. Is 234 a factor of s?
True
Let f(n) = -76*n - 8. Let x(v) = 19*v + 2. Let q(t) = -2*f(t) - 9*x(t). Let z be q(-8). Suppose -22 = 2*h - z. Is h a multiple of 34?
False
Suppose -c - 8*k = -7*k - 4106, -20542 = -5*c - 2*k. Is c a multiple of 14?
False
Let u(c) = c**3 - 27*c**2 + 28*c - 30. Let v be u(21). Does 58 divide (3/(-6))/(2/v*1)?
True
Suppose 0*m - 5*g + 21 = 4*m, -2*m - 5*g + 13 = 0. Suppose -x - a + 6 + 4 = 0, 5*a + 13 = m*x. Suppose 16*r = x*r + 936. Is r a multiple of 8?
True
Let i(r) = r**2 + 7*r + 8. Let g be i(-6). Let n(y) = y**2 - 4*y + 3. Let l be n(g). Does 10 divide -7*l/((-21)/(-30))?
True
Let b = -640 - -643. Suppose 805 + 135 = 4*u. Suppose -b*k + 71 + u = 0. Does 10 divide k?
False
Suppose -4*u + 4*z = -27612, -96*z + 27648 = 4*u - 94*z. Is u a multiple of 47?
True
Let h be -4 - (1 + -1 + 4). Is 6660/27*(-12)/h a multiple of 37?
True
Let s(d) = 2*d + 35. Let r be s(-18). Let v(x) = 0 - x + 1 - 5*x + 0*x. Is 2 a factor of v(r)?
False
Suppose -8*b - 124166 = -5*i, -3*i - 74570 = -6*i - 4*b. Is i a multiple of 148?
False
Does 92 divide (452/(-1017) - ((-8)/18 + -1))*1529?
False
Suppose -572270 - 437865 = -35*g. Is g a multiple of 15?
False
Suppose 356*s + 21 = 359*s. Suppose -3*c = s + 5, -5*x + 5*c + 1460 = 0. Does 18 divide x?
True
Let c(x) = x**3 + 14*x**2 - x - 12. Let d be c(-14). Suppose -3*m + 811 = 2*y, 5*y + 0*m = -d*m + 2011. Is y a multiple of 35?
False
Suppose -269*j + 44044 = -255*j. Does 58 divide j?
False
Let x be 0 + 33/(4 + -1). Let f(t) = 59*t + 101. Is f(x) a multiple of 24?
False
Does 190 divide 1392/(-232)*(1 - 284) - -12?
True
Suppose -13*c = 6*c - 110*c + 559013. Does 24 divide c?
False
Suppose 10 = -5*y - 5*r, 0 = -3*r - 3 - 3. Suppose -15*o + 4617 + 6933 = y. Does 50 divide o?
False
Let t(v) = 80*v - 144. Does 22 divide t(28)?
False
Let d = 1517 + -926. Suppose -753 = -3*h + d. Suppose -7*f - h = -11*f. Is 28 a factor of f?
True
Let x = 10656 - 6529. Is x a multiple of 5?
False
Suppose 5*i = -21*f + 23*f + 63225, 0 = -5*f. Is i a multiple of 38?
False
Let d be (-5)/(20/(-3))*(-16)/(-6). Let n(f) = 11*f**3 - 3*f + 5. Let g be n(d). Let s = g + 33. Is s a multiple of 15?
True
Let t = -547 + 700. Suppose 3*u - d + t = 1271, 0 = -3*u - 2*d + 1103. Is u a multiple of 119?
False
Suppose -10*c + 2*g + 182 = -5*c, 3*c - 98 = 4*g. Suppose -2237 - c = -5*d - 5*l, d - 3*l - 475 = 0. Is d a multiple of 38?
False
Let j(w) = -2*w**3 - 18*w**2 + 2*w + 25. Let i be j(-13). Let n = -953 + i. Suppose 3*t + 5*d - 214 = -0*t, -n = -5*t + 2*d. Does 26 divide t?
True
Suppose 64*n = 354100 + 230540. Does 12 divide n?
False
Does 11 divide (2/(-5) - 53/530)*-24674?
False
Let c = 179 - 182. Is (((-462)/(-12))/(-7))/(c/6) even?
False
Let b(v) be the second derivative of -v**5/20 - 13*v**4/12 - v**3/3 + 15*v**2/2 - v. Suppose -1105 = -113*m + 198*m. Is b(m) a multiple of 7?
False
Suppose 0*q + 3*q = -198. Let b be 3/(9*(-2)/q). Let m = b - -85. Is 26 a factor of m?
False
Does 15 divide (-7 + 39/(-52))*-404?
False
Suppose 2*s = -6*o + 3*o - 27, 0 = -4*o - 5*s - 43. Is 24 a factor of 151 - (o - (-2 - 3))?
False
Let s(c) = -5*c - 3. Let l be s(-8). Let r = -2 + l. Let z = r + -3. Is z a multiple of 4?
True
Let h(r) = 9791*r**3 - 9*r**2 + 9*r - 1. Does 11 divide h(1)?
True
Suppose 0*k = 2*i - 3*k - 6, 2*k - 9 = -3*i. Suppose -4*v - 429 = -3*m, 2*v - 447 = -i*m - 0*v. Suppose 4*a - 11*a = -m. Does 3 divide a?
True
Let h be (-359)/(4/(-2) - -3). Let y = -940 + 1493. Let u = h + y. Is u a multiple of 25?
False
Let d(c) = 2*c**2 - 10*c - 58. Let a be -8*(3/1 + 516/(-24)). Let l = -155 + a. Is d(l) a multiple of 4?
False
Suppose 4*j + 269 = n, -2*j - 200 - 77 = -n. Is n a multiple of 15?
True
Let w = 261 - 671. Let r = w + 710. Does 15 divide r?
True
Let f = -1584 + 535. Let q = f - -1511. Is 38 a factor of q?
False
Let f(u) be the first derivative of u**2/2 + 39*u + 3. Let o be f(-17). Suppose 5*y - 65 = -i, 0*y - 4*i + o = 3*y. Is 7 a factor of y?
True
Let d = -756 - -1131. Suppose 1014 = -9*u + d. Is (7/((-21)/(-6)))/(-2)*u a multiple of 25?
False
Suppose 0 = 2*r - 63 - 97. Does 22 divide r/2*75/125?
False
Does 4 divide (-1380)/(-9)*447/745?
True
Let i be 1 + (-16)/10 - 297/(-45). Suppose -5*a + 2*a = -i. Suppose 3*b - 10 = a*b. Does 5 divide b?
True
Let u(w) = -43*w - 968. Does 42 divide u(-44)?
True
Suppose -c - 11 = -3*x - 4, -4*x = c - 14. Suppose -q + c + 4 = 0. Let b(y) = 4*y + 26. Is 10 a factor of b(q)?
True
Let n(i) = 4*i + 2 + 4*i**3 - i**2 + 0*i - 5*i**3 - 6*i. Let o be n(0). Suppose -d + 56 = -o*y + 4*y, 0 = -4*y - 5*d + 106. Does 12 divide y?
False
Let f = 13 - 11. Suppose 0 = 5*n - 2*k - f*k - 457, n - 5*k - 83 = 0. Suppose w + n = 6*w + u, 0 = -3*w - u + 57. Is 2 a factor of w?
True
Let l(b) = 2*b**3 - 58*b**2 - 77*b + 259. Is 17 a factor of l(39)?
True
Let d(j) = 0*j**3 + 35*j - 29 - 6 + 0*j**2 - 13*j**2 - j**3. Does 16 divide d(-16)?
False
Suppose 0 = 5*t - 5*d - 64968 - 40732, -3*t = -d - 63434. Is t a multiple of 57?
True
Let f(s) = 1608*s + 5010. Does 56 divide f(17)?
False
Let v(o) = -3*o**2 + 105*o - 16. Let a(p) = -22*p - 121. Let l be a(-7). Is 14 a factor of v(l)?
True
Let k(y) = 234*y + 12125. Is 25 a factor of k(0)?
True
Let c(p) be the first derivative of -33*p**4 - p - 2. Let g be c(-1). Let x = g - 76. Does 8 divide x?
False
Let h(v) = -7*v**2 - v**3 + 0*v**3 + 20 + v + 3*v. Let n(o) = -123*o - 869. Let d be n(-7). Does 21 divide h(d)?
False
Let m(q) = 2*q**2 - 12*q + 18. Let u be m(6). Suppose 0 = -14*o + u*o + 88. Let g = 121 - o. Does 24 divide g?
False
Suppose -10*y - 2169 = -19*y. Let r = y + 238. Is r a multiple of 30?
False
Let s = -4187 + 13547. Does 78 divide s?
True
Is 4 a factor of (15521/2 - 4)*2/1?
False
Let x(y) = 145*y - 323. Let z be x(5). Let p = z - -813. Is 15 a factor of p?
True
Let l(r) = 6*r + 12*r + 10 - 12*r. Does 22 divide l(2)?
True
Suppose j + 11322 = 3*p, 2*j - 18904 = -5*p - 2*j. Does 32 divide p?
True
Is 12/((-264)/(-121))*(-2 - -372) a multiple of 28?
False
Let x(s) = s**3 + 2*s**2 - 9*s + 1. Suppose -8*a - a - 36 = 0. Let p be x(a). Suppose -4 = -n, p*k - 318 - 78 = n. Is k a multiple of 8?
True
Is 28 a factor of 7 - (76/(-12))/(3/315)?
True
Let c be 198/8 + 3/12. Suppose 0 = -3*z - 2*z - c, -37 = -4*x + z. Suppose 5 - 77 = -x*m. Is 9 a factor of m?
True
Suppose 4*v - 156 = -l - l, 3*v = -2*l + 155. Suppose 494 = 5*p - 3*h, 2*p - 5*h - l - 114 = 0. Is p a multiple of 20?
True
Let t = 31 - 31. Suppose f + 7 + 38 = t. Let q = f + 87. Is q a multiple of 14?
True
Let o(v) = -v**3 - 4*v**2 + 2*v + 7. Let k(t) = -4*t + 83. Let a be k(22). Is o(a) a multiple of 22?
True
Let c(s) = -24*s**3 + 8*s**2 + 134*s + 732. Does 5 divide c(-6)?
True
Suppose -7643 = -3*v + 2*k + 4443, -2*v = -5*k - 8039. Is v a multiple of 8?
True
Is 6656/10 + 70/175 a multiple of 9?
True
Let s be (-10 - -8)/((-1)/34*-2). Let x = -34 - s. Suppose 0 = 4*u - 4*d - 128, 0 = -3*u - x*u - 3*d + 72. Does 7 divide u?
True
Let f(b) = 227*b + 2. Let c = 177 - 175. Is 12 a factor of f(c)?
True
Suppose -51 = -17*y + 51, -a - y + 11931 = 0. Is a a multiple of 265?
True
Suppose 5*c = -4*y - 1415, -3*y + 2*c - 370 = -2*y. Let i = -150 - y. Is 15 a factor of i?
True
Let v(w) = 3*w**2 - 25*w. Let h be v(8). Let j(o) = -65*o - 7. Does 8 divide j(h)?
False
Let l = -103 + 107. Let w be 0 + 2 - 24/(-3) - l. Suppose w*b - b = 625. Does 48 divide b?
False
Suppose -2*v + 540 = -24*l + 29*l, 0 = -2*v - 10. Is 17 a factor of (-88)/l - (-1198)/10?
True
Let p = -105 - -147. Let c(l) = 11*l - 13. Let w be c(3). Let t = p - w. Does 22 divide t?
True
Let z be 5 + 4/12*-3. Suppose -137 = 2*c - h, -81 = -z*c - 2*h - 343. Let o = c - -249. Is o a multiple of 26?
True
Suppose -3*s = 2*h - 18, -h + 23 = 5*s + 7. Suppose 6*w - 762 = 4*w + 4*v, -3*v - h = 0. Suppose w + 103 = 8*z. Does 15 divide z?