(-18)/3. Suppose -h*a = -v*a - 21. Does 7 divide a?
True
Let m(u) = -u**2 - 4*u + 1. Let z be m(-3). Suppose b + 0*b - 6 = -3*k, -z*b - 4*k = -40. Suppose -b*h - 351 = -15*h. Does 25 divide h?
False
Suppose -2*a = 2*u + 3*u + 17, -4*u = -5*a + 40. Does 6 divide (-18)/45*u*19 + 0?
False
Let y be 0 + -2 + 1 - 6. Let g be 2/y*(-18 - -4). Let q = 10 + g. Is q a multiple of 14?
True
Suppose 16*l - 111 - 1 = 0. Suppose -9*m = -l*m - 284. Does 32 divide m?
False
Suppose 0 = -a + 4*q + 125, q = 6*a - a - 587. Is 47 a factor of a?
False
Suppose 5*g - 2348 = -4*r, -5*r + 5*g + 2968 = 78. Does 97 divide r?
True
Let r be 15/(-3) - (-2245 + 1). Suppose -623 = -9*x + r. Is 53 a factor of x?
True
Let h be 1350/(-10) - (-1 - -4). Let g = h - -199. Is g a multiple of 7?
False
Let z = -781 - -1111. Is z a multiple of 4?
False
Suppose 6*n + g - 1298 = 2*n, 5*n + 2*g - 1624 = 0. Is 36 a factor of n?
True
Let i(r) be the second derivative of -r**5/20 + 7*r**4/6 + 11*r**3/6 - 4*r**2 - 20*r. Does 10 divide i(14)?
False
Let a = -5 + -7. Let v(f) = f**2 + 10*f - 14. Is 3 a factor of v(a)?
False
Suppose -18*y + 13*y + 1150 = 0. Is y a multiple of 5?
True
Suppose 9*b = 5*b + 3*q + 19, -5*b = -q - 32. Does 7 divide b?
True
Does 18 divide (1 - -5*19)/((-12)/(-138))?
False
Let l(z) = -z**3 - 5*z**2 - 4*z. Let x be l(-4). Let h be ((0 - x)*-1)/(-2). Does 13 divide h + 2 - (-5 - 7)?
False
Let t = 9 - 9. Suppose -2*p - 2*p + 96 = t. Is p a multiple of 7?
False
Is 12/(3 + 3) + 313 a multiple of 35?
True
Let x(h) = h**2 + 6 + 0 - 4*h + 0*h**2. Let c be x(4). Is (-15)/c*132/(-10) a multiple of 11?
True
Let r(t) = -2*t**2 - 9*t - 4. Let j be r(-4). Suppose 2*x = 5*m - 229, j = 3*m + m + 2*x - 194. Is m a multiple of 14?
False
Suppose 6*x - 954 = 3648. Suppose 0 = -6*o + 985 + x. Is 43 a factor of o?
False
Does 2 divide (2 - 65/(-3)) + 14/(-21)?
False
Suppose 4*y - 6 = 4*f + f, 2*f + y = 8. Suppose -2*j + q = -153, 0*j + 81 = j - f*q. Suppose -4*w + 1 = -j. Does 10 divide w?
False
Let r = 2925 + 617. Is 22 a factor of r?
True
Let l be (-46)/14 + (-6)/(-21). Let o(r) = r**2 + 5*r + 3. Let q be o(l). Does 3 divide (-9)/5*(q - 2)?
True
Let r(p) = 13*p**2 - 2*p + 7. Let t = -54 - -59. Is r(t) a multiple of 44?
False
Does 56 divide ((-223)/(-2))/1 - (-31)/62?
True
Suppose -2*f - 2*f = -20. Suppose -k + 3*h - 9 = 0, f*k - 2*h - 3 - 17 = 0. Suppose k*r - 11*r = -50. Is r a multiple of 6?
False
Suppose 0 = 4*d + d - 85. Let w = d + -15. Suppose -2*c + 4 = -w. Does 3 divide c?
True
Suppose -30*l - 9*l = -31356. Is 12 a factor of l?
True
Suppose -361 + 91 = -10*w. Suppose -5*f + 2*i + 15 = 4*i, -4*i = 4*f - 12. Suppose 5*s + 4*c = 244, f*c = -s + 24 + w. Does 16 divide s?
True
Is 2 a factor of (-9 - -10)*9 - -111?
True
Let g(w) = 5*w**2 - 14*w + 6. Let x(v) = 6*v**2 - 15*v + 6. Suppose -15 = 4*j + 5*a, 2*a = 5*j + 3*a + 24. Let s(q) = j*g(q) + 4*x(q). Does 4 divide s(8)?
False
Does 9 divide (-2*18/4)/(150/(-200))?
False
Let p(n) = -3*n - 23. Does 7 divide p(-24)?
True
Suppose -3*z + 132 = -14*z. Let k(g) = -g**3 - 12*g**2 - 17*g + 16. Is 44 a factor of k(z)?
True
Suppose 0 = 4*g + 3*r - 11969, -2*r - 214 = 2*g - 6200. Is g a multiple of 23?
True
Let f(b) = -3*b**3 - 8*b**2 - 6*b - 38. Is f(-9) a multiple of 56?
False
Suppose -9 = w + 2*h, -19 = -2*w + 5*h + 8. Does 11 divide (-1220)/(-8) - (4/w)/(-8)?
False
Let n = -72 - -12. Let r = -24 - n. Let b = 65 - r. Does 12 divide b?
False
Suppose 4*a + 18 = 26. Is (113/a)/((-10)/(-20)) a multiple of 30?
False
Suppose 10*v - 597 - 1293 = 0. Is ((-9)/(v/196))/((-1)/12) a multiple of 16?
True
Suppose -9*k - 10 = -14*k. Suppose 2*p - 7*p = -j - 90, -k*p - j = -36. Suppose p = x + 2*x. Is x a multiple of 3?
True
Let u(c) = 3*c**2 + 14*c + 77. Let b(g) = 4*g**2 + 21*g + 115. Let j(r) = -5*b(r) + 7*u(r). Is j(11) a multiple of 8?
True
Let z(m) = -m**3 + 9*m**2 + 2*m - 7. Suppose -73 = h - 3*h + 3*j, -2*h + j + 71 = 0. Suppose 15*w + h = 20*w. Is 15 a factor of z(w)?
True
Let c(s) = -5*s**3 + 9*s**2 - 2*s - 15. Let a(i) = 6*i**3 - 9*i**2 + 3*i + 16. Let r(l) = 4*a(l) + 5*c(l). Is 4 a factor of r(9)?
False
Let a(v) = v - 6. Let m(u) = -u + 1. Let j(o) = -a(o) - 2*m(o). Let l(k) = -k - 12. Let d be l(-15). Is 2 a factor of j(d)?
False
Suppose -14*y = -11*y - 660. Suppose k = -4*k + y. Does 15 divide k?
False
Suppose 0 = q - 4*q - 12. Is ((-30)/(-8) - 4) + (-241)/q a multiple of 20?
True
Suppose 2*o = 5*o + 5*t - 208, 5*o - 5*t - 400 = 0. Suppose -4*j = d - 5*d + o, 3*j = -3*d + 51. Is d a multiple of 7?
False
Let n = 547 + -67. Is 48 a factor of n?
True
Suppose 2 = -3*q - 3*i + 5, q + 4*i - 10 = 0. Is (-6081)/(-27) - q/36*-4 a multiple of 12?
False
Let h(j) = 3*j**2 + 58*j + 26. Let l be h(-19). Suppose l*v - 210 = 196. Is v a multiple of 25?
False
Let h be ((-28)/6 + 5)*(0 - -9). Suppose 4*u - 196 = -w, -h*u + 167 = -2*w + 515. Does 30 divide w?
True
Suppose 2*y + 69 = 4*y + m, -2*y + 4*m + 64 = 0. Let k = 89 - y. Does 25 divide k?
False
Let i be (2 + -3)*-5*6/(-15). Is 2 + 0 - (282/i - 2) a multiple of 29?
True
Let q(m) = m**2 - 2*m - 3. Let b be q(3). Suppose 2*t - 4*t - 164 = b. Let l = -59 - t. Is l a multiple of 23?
True
Let z(c) = -36*c - 17. Let p(t) = 12*t + 6. Let g(j) = 11*p(j) + 4*z(j). Let h = -5 + 2. Is 10 a factor of g(h)?
False
Let h(c) = 39*c**2 + 2*c - 2. Let s be h(1). Suppose 34*r + 330 = s*r. Does 9 divide r?
False
Suppose -4707 = -8*u + 461. Is 19 a factor of u?
True
Suppose 3*x - 27 - 6 = -4*w, w + 4*x = -8. Let a be (-7)/((-21)/w) - -66. Let c = a - 20. Does 7 divide c?
False
Let b be (-12)/10*(-2 - 3). Suppose -4*n + b*n = 4. Is 51 - ((-1)/(-1) + n) a multiple of 16?
True
Suppose v - 26 = -2*n, -5*n - 68 = -5*v + 107. Is 8 a factor of v?
True
Let k = -107 - -69. Let a = -23 - k. Is a a multiple of 5?
True
Suppose -3*y + d = 395, y + d + 31 = -98. Let a = 189 + y. Does 29 divide a?
True
Suppose -5*f = 424 - 1469. Is 19 a factor of f?
True
Suppose -10*t = -7*t - 1299. Suppose -9*b - 145 = -t. Is 19 a factor of b?
False
Is 73 a factor of 3606/4*(-156)/(-117)?
False
Let h(f) = -f**3 + 4*f**2 + 6*f. Let n be h(5). Suppose -5*a + n = -3*p + 45, -p = -4*a - 11. Is 4 a factor of p?
False
Suppose 2194 = 3*f + 2*p, -459 = -3*f + 2*p + 1739. Does 6 divide f?
True
Suppose 3*w - 10*b + 6*b = 467, 8 = -4*b. Is w a multiple of 15?
False
Let u = -58 + 61. Let c(p) = 48*p - 9. Is 9 a factor of c(u)?
True
Let c be (0 - 1)/(3/(-12)). Suppose -3*f - 5*h + 110 = 0, -h = -c*f - 0*h + 162. Suppose -4*g + 3*g = -f. Does 8 divide g?
True
Let n = 226 - 205. Does 21 divide n?
True
Let b(c) = -170*c**3 - 17*c**2 - 19*c. Is b(-2) a multiple of 21?
False
Suppose 11 = 4*y - 5. Suppose -y*d = -d - 507. Suppose 2*k + q = 4*q + 98, 0 = -3*k - q + d. Is 16 a factor of k?
False
Does 19 divide 5 + (-879 + -1)*54/(-15)?
True
Suppose -5*o + 431 + 129 = 0. Suppose 3*f - 293 = o. Is 15 a factor of f?
True
Let j(c) = -2*c - 7*c + 7*c + 9 + 5*c. Is 8 a factor of j(7)?
False
Let v(c) = -3*c + 22. Let t be v(5). Suppose 0 = t*u - u - 54. Is 2 a factor of u?
False
Let j(x) = -2*x + 2 + 6 - 7*x + 8*x**2 - x**3. Is 19 a factor of j(5)?
True
Let b(r) = 2*r**2 - 16*r - 2. Let k be b(8). Let a(d) = 6*d**2 - 6*d - 2. Is a(k) a multiple of 33?
False
Let l = 0 - 0. Suppose -14 = -11*q + 19. Let o = q + l. Is o a multiple of 3?
True
Suppose 4*n + t + 188 = 6*t, n = -t - 38. Let k be 2/4*n/3. Is (-7 - 7)*k/2 a multiple of 15?
False
Suppose -378 = 131*z - 134*z. Is z a multiple of 6?
True
Let r(v) be the second derivative of -21*v**3/2 - 4*v**2 - v - 4. Does 8 divide r(-2)?
False
Let d = 1201 + 316. Is d a multiple of 43?
False
Let d(m) = -m**2 + 3*m - 6. Let l be d(4). Let f = -9 - l. Suppose 51 = b - f. Is b a multiple of 13?
True
Let a(d) = 97*d**2. Let v be a(-1). Let o = -9 + v. Does 22 divide o?
True
Let p be (6/(-9))/((-2)/951). Let r = p + -218. Is 11 a factor of r?
True
Let x(j) = 2*j**2 + 6*j - 191. Does 43 divide x(-22)?
True
Let l be -100*(-6)/4 + 3. Is 24 a factor of 3028/18 - 34/l?
True
Let v(j) = 3*j + 23. Let b be v(-7). Suppose 88 - 22 = b*x. Does 15 divide x?
False
Let g(o) = -o**3 - 5*o**2 + 5*o + 4. Let m be g(-6). Let t = 66 - m. Does 7 divide t?
True
Does 34 divide (-20)/15*(19635/(-10))/11?
True
Let p(o) = -4*o - 15. Let s be p(-6). Let a(c) = c - 6 - 27 + s + 